Teorema de Separabilidad, 2-numerabilidad y Lindelöf

6.11 Teorema: Sea (E, d) un espacio métrico. Las siguientes afirmaciones son equivalentes:

1. E es separable.
2. E es 2-numerable.
3. E es de Lindelöf.

Demostración: Sea (E, d) un espacio métrico. Si E es separable, contendrá un conjunto D = {xn} denso y numerable. Es claro que B = {B(xn, r) : xn ∈ D, r ∈ Q} es numerable. Veamos que es una base: dado un abierto U y un punto x ∈ U, existirá r ∈ Q tal que B(x, r) ⊂ U. Pero D denso implica D ∩ Seguir leyendo “Propiedades y Teoremas de Espacios Métricos y Topológicos” »