Capı́tulo I: Espacios métricos.

7 de octubre de 2008

1. Conjuntos densos.
Sea (E, d) un espacio métrico.

Definición 1 Se dice que A ⊆ E es denso (en E) si A intersecta todas las bolas abiertas
de E. Es decir, A es denso si A ∩ Bo (x, R) 6= ∅ para todo x ∈ E y todo R > 0.

Ejemplo 1 Los conjuntos Q y R \ Q son densos en (R, | · |).

Ejercicio 1 Sea E = [0, 1] con la métrica d(x, y) = |x − y|. Probar que el siguiente conjunto
es denso en E:
k
A = { n : n ≥ 0, 0 ≤ k ≤ 2n }.
2
A se conoce como el conjunto de los números diádicos.

Proposición 1 Sea A ⊆ E. Las siguientes afirmaciones son equivalentes:

1. A es denso en E.

2. A = E.

3. Todo abierto no vacı́o O ⊆ E satisface A ∩ O 6= ∅.

Demostración: La equivalencia entre las afirmaciones 1 y 3 es directa de la definición de

abierto y de conjunto denso.
Para probar que la afirmación 1 es equivalente a la 2, recordemos que A es el conjunto de
todos los x ∈ E tales que para todo R > 0, Bo (x, R) ∩ A 6= ∅. Luego, A = E es equivalente
a decir que para todo x ∈ E y R > 0 se tiene Bo (x, R) ∩ E 6= ∅, lo que significa que A es
denso. 

Definición 2 Se dice que el espacio métrico (E, d) es separable si existe un subconjunto

numerable de E que es denso.

Ejemplo 2 (R, | · |) es separable, pues Q ⊆ R es denso y numerable.

Definición 3 Se dice que A ⊆ E es nunca denso si el exterior de A es denso en E.

Proposición 2 A ⊆ E es nunca denso si y sólo si int(A) = ∅.

1
Demostración: Si existe x ∈ int(A) entonces existe R > 0 tal que Bo (x, R) ⊆ A. Ya que
A = (int(Ac ))c , esto implica que Bo (x, R) ∩ int(Ac ) = ∅ y, por lo tanto, int(Ac ) no es denso.
Con esto mostramos que si A es nunca denso entonces int(A) = ∅.
c
Si int(A) = ∅, entonces para todo x ∈ E y todo R > 0 la bola Bo (x, R) intersecta A . Como
c
A = int(Ac ), esto implica que todo x ∈ E está en int(Ac ), lo que significa que int(Ac ) es
denso. 

Observación 1 El interior de A no necesariamente es igual al interior de A. Por ejemplo,

si tomamos R con la métrica natural, el interior de Q es vacı́o, pero el interior de Q = R es
igual a R.

Ejemplo 3 El conjunto de Cantor en [0, 1] es nunca denso.