ENTREGA 1

Marcos Romero Villodres 22M101

March 25, 2025

1 Hoja 0
1.1 Problema 1
Sean A, B, C y D cuatro subconjuntos de X. Demostrar las siguientes
afirmaciones:
a) A \ (B ∩ C) = (A \ B) ∪ (A \ C)

Demostraré el doble contenido:

”⊂”: Sea x ∈ (A \ (B ∩ C)), esto significa que x ∈ A pero x ∈/ (B ∩ C) y por la
definición de intersección x ∈
/B ox∈/ C, por lo que existen dos casos posibles:
i)x ∈ A y x ∈ / C. Por tanto es evidente que x ∈ (A \ C) y por tanto x ∈
(A \ B) ∪ (A \ C).
ii)x ∈ A y x ∈ / B. Por tanto es evidente que x ∈ (A \ B) y por tanto x ∈
(A \ B) ∪ (A \ C).
”⊃”: Sea x ∈ (A \ B) ∪ (A \ C), por lo que sabemos que x ∈ (A \ B) o
x ∈ (A \ C) es decir x ∈ A y x ∈ /B ox∈ / C,en los dos casos x ∈
/ (B ∩ C) por lo
que x ∈ (A \ (B ∩ C)).

Por lo que queda demostrado que A \ (B ∩ C) = (A \ B) ∪ (A \ C).

b) (A × B) ∪ (C × D) ⊂ (A ∪ C) × (B ∪ D), pero no se da la igualdad en general.

Sea (x, y) ∈ ((A × B) ∪ (C × D)), esto significa que‘(x, y) pertenece a alguno de

los dos productos cartesianos, quedando dos casos:
i) (x, y) ∈ (A × B) por lo que x ∈ A y y ∈ B, por tanto es evidente que
x ∈ (A ∪ C) y y ∈ (B ∪ D) y por ende (x, y) ∈ ((A ∪ C) × (B ∪ D)).
ii) (x, y) ∈ (C × D) por lo que x ∈ C y y ∈ D, por tanto es evidente que
x ∈ (A ∪ C) y y ∈ (B ∪ D) y por ende (x, y) ∈ ((A ∪ C) × (B ∪ D)).

Quedando demostrado que (A × B) ∪ (C × D) ⊂ (A ∪ C) × (B ∪ D). Para

demostrar que el otro contenido no se da en general utilizaré un ejemplo:
Tomando los conjuntos A = {1}, B = {2}, C = {3}, D = {4}, ((A × B) ∪ (C ×
D)) = {{1, 2}{3, 4}} mientras que ((A∪C)×(B∪D)) = {{1, 2}{1, 4}, {3, 2}{3, 4}},

1
observando que dos de los elementos pertenecen a la segunda expresión pero no
a la primera.

1.2 Problema 2
Sea f : A −→ B y B0 , B1 ⊂ B. Demostrar que:
a) f (f −1 (B0 )) ⊂ B0 y que la igualdad se satisface si f es sobreyectiva.

Por definición f −1 (B0 ) son todos los elementos x ∈ A tal que f (a) ∈ B0 . Por
tanto se cumple que f (f −1 (B0 )) ⊂ B0 . Para el otro contenido, necesitamos que
f sea sobreyectiva para asegurarnos de que todas las pre-imágenes de elementos
de B0 son distintas del vacı́o y por tanto las imágenes de estas coinciden con el
conjunto B0 .

b) f −1 (B0 \ B1 ) = f −1 (B0 ) \ f −1 (B1 ).

Sea x ∈ f −1 (B0 \ B1 ). Esto significa que f (x) ∈ B0 \ B1 , es decir, f (x) ∈ B0

pero f (x) ∈ / B1 . Entonces, x ∈ f −1 (B0 ) y x ∈ / f −1 (B1 ), lo que implica que
x ∈ f (B0 ) \ f (B1 ). Ası́, f (B0 \ B1 ) ⊂ f (B0 ) \ f −1 (B1 ).
−1 −1 −1 −1

Recı́procamente, si x ∈ f −1 (B0 ) \ f −1 (B1 ), entonces x ∈ f −1 (B0 ) y x ∈ /

f −1 (B1 ). Esto significa que f (x) ∈ B0 pero f (x) ∈
/ B1 , es decir, f (x) ∈ B0 \ B1 .
Por lo tanto, x ∈ f −1 (B0 \ B1 ), lo que muestra la inclusión f −1 (B0 ) \ f −1 (B1 ) ⊂
f −1 (B0 \ B1 ).

Por tanto f −1 (B0 \ B1 ) = f −1 (B0 ) \ f −1 (B1 ).

2 Hoja 1
2.1 Problema 3
Sea X un conjunto y sea a ∈ X. Estudiar si las siguientes familias son
topologı́as en X.
a) τa = {U ⊂ X|a ∈ U } ∪ {∅}

1)¿∅, X ∈ τa ? ∅ pertenece a τa por definición y como a ∈ X entonces X ∈ τa .

2) Sea {Uλ }λ∈Λ una colección de conjuntos tal que ∀λ ∈ Λ se verifica que
a ∈ Uλ , es decir todos los conjuntos de la colección pertenecen a τa .¿Su unión
pertenecerá a τa ? Descartamos los casos en los que ∅ S o X sean alguno de los
Uλ . Entonces como a ∈ Uλ ∀λ ∈ Λ se verifica que a ∈ ( λ∈Λ Uλ ) y por tanto el
resultado se la unión pertenecerá a τa .
3) Sean U, V conjuntos tal que a ∈ U y a ∈ V . Por tanto es evidente que
a ∈ (U ∩ V ), por lo que la intersección pertenece a τa .

Por lo que queda demostrado que τa es una topologı́a.

2
b) τ∞ = {U ⊂ X|X \ U es infinito } ∪ {∅, X}

1)∅, X ∈ τ∞ por definición.

2) Sea {Uλ }λ∈Λ una colección de conjuntos tal que ∀λ ∈ Λ se verifica que todos
los conjuntos de la colección pertenecen a τ∞ . Descartamos
S los casos
T en los que
∅ o X sean alguno de los Uλ . Sabemos que X \ λ∈Λ ({Uλ }) = λ∈Λ (X \ Uλ ).
Como la intersección de conjuntos infinitos no tiene que ser necesariamente un
conjunto infinito concluimos que τ∞ no es una topologı́a.

2.2 Problema 4
a) Sean τ1 , τ2 dos topologı́as en X con bases respectivas B1 , B2 . Demuestra
que τ1 es más fina que τ2 si y solo si para cada punto x ∈ X y cada abierto
básico B2 ∈ B2 que contenga a x, existe otro abierto básico B1 ∈ B1 tal que
x ∈ B1 ⊂ B2 .

”→”: Partimos de que τ1 es más fina que τ2 , es decir, todos los elementos de τ2
están en τ1 . Por tanto para cada punto x ∈ X y cada abierto básico B2 ∈ B2 que
contenga a x, como B2 es abierto de τ1 , por definición de base existirá B1 ∈ B1
tal que x ∈ B1 ⊂ B2 .
”←”: Partimos de que para cada punto x ∈ X y cada abierto básico B2 ∈ B2
que contenga a x, existe otro abierto básico B1 ∈ B1 tal que x ∈ B1 ⊂ B2 . Esto
quiere decir que B2 es abierto de τ1 por la observación 1.17, es decir, que todos
los elementos de τ2 están en τ1 .

b) Utiliza (a) para demostrar que la topologı́a en R con base B = {(−∞, a) :

a ∈ R} es menos fina que la usual.

Una base de la topologı́a usual es Bu = {(a, b) : a, b ∈ R}. Es fácil ver que para
cada x ∈ R y cada B2 de la forma (−∞, b) tal que x ∈ B2 existe B1 = (a, b) con
a < x que cumple x ∈ B1 ⊂ B2 . Y por tanto la topologı́a usual es más fina.

2.3 Problema 5
Calcula de forma razonada el interior, la adherencia, la frontera y los subcon-
juntos de puntos aislados y de acumulación del subconjunto
 
1 n
A = (−5, −2) ∪ {−1} ∪ (1 − ) | n ∈ N ∪ [3, 4]
n
en R con las topologı́as usual, de Kolmogoroff, de Sorgenfrey, de los comple-
mentos finitos, discreta e indiscreta.

Topologı́a usual: i) Interior: si x < −5 no existe ϵ > 0 tal que (−5−ϵ, −5+ϵ) ⊂
A por lo que no forma parte del interior. Lo mismo pasa para −2 < x <= 3 y
para x ≥ 4. A◦ = (−5, −2) ∪ (3, 4).

3
ii) Adherencia: Partimos de que A ⊂ A. Si x < −5 el entorno x − ϵ − 5)
con ϵ > 0 tiene intersección vacı́a con A. En −2 < x < −1 tiene intersección
vacı́a con A el entorno (−2, −1). Si (−1 < x < 0) el entorno (−1, 0) tiene
intersección vacı́a con A. Si 0 < x < 1e existe un entorno (x − ϵ, x + ϵ) que
no contiene términos de la sucesión y po tanto no tiene intersección con x. Si
1 1
e < x < 3 o x > 4 usaremos los entornos. ( e , 3) y (4, x + ϵ). En los casos -5, 2,
1
e cualquiera de sus  entornos tienen intersección no vacı́a con A. Por lo que A
= [−5, −2] ∪ −1 ∪ (1 − n1 )n | n ∈ N ∪ 1e ∪ [3, 4].
iii) Frontera: Como A = A◦ ⊔ F r(A) esto significa que F r(A) = {−5, −2, −1} ∪
(1 − n1 )n | n ∈ N ∪ {3, 4}


iv) Aislados: Los puntos x que poseen entornos tal que la intersección de estos
con A es x son ais(A) = {−1} ∪ (1 − n1 )n | n ∈ N


v) Acumulación: Como A = ais(A) ⊔ A′ entonces A′ = [−5, 2] ∪ 1e ∪ [3, 4].

Kolmogoroff:
i) Interior: A◦ = ∅ ya que ∀x ∈ R no existe entorno (x − ϵ, ∞) ⊂ A con ϵ > 0.
ii) Adherencia: A ⊂ A y además ∀x ≤ 4 todo entorno (x − ϵ, ∞) conϵ > 0 tiene
intersección no vacı́a con A. Cualquier punto x > 4 tiene el entorno (x − ϵ, ∞)
fuera de A. Por lo que A = (−∞, 4].
iii) Frontera: Como A = A◦ ⊔ F r(A) entonces F r(A) = A = (−∞, 4].
iv) Aislados: ais(A) = ∅ ya que ∀x ∈ R no existe entorno de x tal que la
intersección de este con A sea solo x.
v) Acumulación: Como A = ais(A) ⊔ A′ entonces A′ = A = (−∞, 4].

Sorgenfrey:
i) Interior: A◦ = (−5, −2) ∪ [3, 4) ya que si x ∈ (−5, −2) entonces[x, −2) y si
x ∈ [3, 4) entonces[x, 4) están contenidos en A.
ii) Adherencia: A ⊂ A y además todo entorno de 5 tiene intersección no vacı́a
con A por lo que A = [−5, 2) ∪ {−1} ∪ (1 − n1 )n | n ∈ N ∪ [3, 4]


iii) Frontera: Como A = A◦ ⊔ F r(A) entonces F r(A) = {5, −1} ∪ {(1 − n1 )n |

n ∈ N} ∪ {4}.
iv) Aislados: ais(A) = {−1} ∪ {(1 − n1 )n | n ∈ N} ∪ {4}, ya que todos estos
puntos tienen un entorno [x, x + ϵ] con ϵ > 0 y intersección con A solo x. El
resto de puntos no cumplen esta condición.
v) Acumulación: Como A = ais(A) ⊔ A′ entonces A′ = [−5, −2) ∪ [3, 4]

Complementos finitos:
i) Interior: A◦ = ∅ ya que no existe ningún entorno de cualquier x ∈ R está
contenido en A.
ii) Adherencia: A = R ya que todo entorno de cualquier x ∈ R tiene intersección
no vacı́a con A.
iii) Frontera: Como A = A◦ ⊔ F r(A) entonces F r(A) = R.
iv) Aislados: ais(A) = ∅ ya que ningún punto tiene un entorno tal que la
intersección de este con A sea solo el punto.
v) Como A = ais(A) ⊔ A′ entonces A′ = R.

4
Topologı́a discreta:
En esta topologı́a todos los subconjuntos son abiertos y cerrados luego A =
A◦ = A y además ais(A) = A ya que los entornos unipuntuales intersectan a A
en el punto. A = A◦ ⊔ F r(A) y A = ais(A) ⊔ A′ luego F r(A) = A′ = ∅.

Topologı́a indiscreta:
El único entorno de cualquier punto en esta topologı́a es el total, es decir R.
Luego A◦=∅ , A = R, F r(A) = R, ais(A) = ∅ y A′ = R.

2.4 Problema 6
Sea τCN = {U ⊂ R : X \ U es finito o numerable} ∪ {∅}.
(a) Demuestra que τCN es una topologı́a en R.

1) R ∈ τCN ya que R ⊂ R = ∅ que evidentemente es finito. ∅ ∈ τCN por

definición. S
T Sea {Uλ }λ∈Λ una colección de conjuntos de τCN entonces X \ λ∈Λ ({Uλ }) =
2)
λ∈Λ (X \ Uλ ) y la intersección de conjuntos finitos o numerables es un conjunto
finito o numerable.
3) Sean U, V conjuntos de τCN entonces X \ (U ∩ V ) = X \ U ∪ X \ V y la unión
de conjuntos finitos o numerables es un conjunto finito o numerable.

(b) Demuestra que si τ2 es más fina que τ1 y una sucesión converge a x en τ2 ,

entonces también converge a x en τ1 .

Partimos de que para cualquier entorno de x en τ2 la sucesión tiene un ı́ndice a

partir del cual todos sus elementos están en el entorno. Como tau2 es más fina
que τ1 entonces todos los entornos de x enτ1 son entornos de x en τ2 , los cuales
cumplen la propiedad anterior y por tanto la sucesión converge a x en τ1 .

(c) Demuestra que una sucesión de infinitos términos diferentes no converge a

ningún punto en τCN .*

Una sucesión (xn ) en τCN converge a un punto x si para todo entorno Nx de

x, existe un ı́ndice n0 tal que si n > n0 entonces xn ∈ Nx . Los entornos en
τCN son de la forma R \ S con S conjunto finito o numerable. Entonces como
existen entornos en cada x que excluyen un conjunto numerable e infinito de
puntos, esto quiere decir que no existe n0 tal que si n > n0 entonces para todo
N entorno de x se verifica que xn ∈ N , porque podemos escoger el N que
excluya un número infinito numerable de los términos de esa sucesión.

(d) Utiliza los apartados anteriores y la transitividad para comparar τCN con
el resto de topologı́as de R.*

En τU existen sucesiones distintas de las constantes que convergen a un único

5
punto como la sucesión n12 . Por lo que τCN no puede ser más gruesa que la usual,
además tampoco más fina ya que R \ Q ∈ τCN siendo Q un conjunto numerable
pero R \ Q ∈/ τU . Tampoco es comparable con la topologı́a de Sorgenfrey debido
a (b) y a que R \ Q no es abierto en Sorgenfrey. Es sencillo ver que τCN es
más fina que τCF , ya que contiene por definición todos sus abiertos. Además no
es comparable con la topologı́a de Kolmogoroff ya que R \ Q ∈ / τK y (0, ∞) ∈/
τCN . Por tanto podemos afirmar que τCN es más fina que τCF y que τI , no es
comparable con τU ni τS ni τK pero sı́ es más gruesa que τD .

3 Hoja 2
3.1 Problema 7
(a) Estudia la continuidad de la función f : R → R, x 7→ f (x) = x2 con las
topologı́as usual, de Kolmogoroff, de Sorgenfrey y de los complementos finitos
(tomando siempre la misma topologı́a de partida y llegada).

Topologı́a usual:
Tomando un abierto V√ en √ el espacio√ de√llegada este será de la forma (a, b),
entonces f −1 (V ) = (− b, − a) ∪ (− a, b) abierto en la topologı́a usual. Por
lo que es continua.

Kolmogoroff:
No es continua, para los puntos x < 0 se verifica que un entono de f (x) es (0, ∞),
sin embargo este entorno no contiene a la imagen de algún entorno de x que será
de la forma (x − ϵ, ∞) con ϵ > 0, ya que 0 ∈ (x − 1, ∞) pero f (0) = 0 ∈ / (0, ∞).

Sorgenfrey: √ √
No√es continua,
√ tomando V = [a, b) su preimagen es f −1 (V ) = (− b, − a] ∪
[− a, b) que no es abierto en la topologı́a de Sorgenfrey debido al segmento
negativo.

Complementos finitos:
Tomando un abierto V en el espacio de llegada este será de la forma R \
√ √ √ √
{x1 , ..., xn } con n ∈ N y la preimagen será f −1 (V ) = R\{− x1 , x1 , ..., − xn , xn }
abierto en la topologı́a de complementos finitos. Por tanto es continua.

(b) Sea f : R → R una función continua con la topologı́a usual. Demuestra

que f es también continua con la topologı́a de Sorgenfrey si y solo si es no
decreciente (i.e. para todo x, y ∈ R con x < y se tiene f (x) ≤ f (y)).

”→”: Partimos de que f es continua en las topologı́as usual y de Sorgenfrey.

Supongamos que la función es decreciente entre los puntos x, y ∈ R, es decir
x < y y f (x) > f (y). Tomando x < x0 < y entonces f (x) > f (x0 ) > f (y) y
N ′ = [f (x0 ), f (x)) es entorno de f (x0 ) en Sorgenfrey, sin embargo los entornos

6
de x0 son de la forma N = [x0 , y) y f (N ) = (f (y), f (x0 )] que no está contenido
en N ′ . Por lo que f tiene que ser creciente.
”←”: Partimos de que f es continua en la topologı́a usual y es creciente. Para
todo x0 ∈ R sabemos que cualquier entorno de f (x0 ) será de la forma N ′ =
[f (x0 ), f (x0 ) + ϵ) con ϵ > 0, entonces podemos tomar un δ > 0 tal que N =
[x0 , x0 + δ) y f (N ) = [f (x0 ), f (x0 + δ)) ⊂ N ′ , y por tanto es continua en la
topologı́a de Sorgenfrey.

3.2 Problema 8
Estudiar si la recta de Sorgenfrey (R, τS ) es homeomorfa al conjunto de los
números reales R dotado de la topologı́a inducida por la base

B = {(a, b] | a, b ∈ R, a < b}

Mediante la función f : (R, τS ) −→ (R, τB ) definida por f (x) = −x.

Es claro que f es biyectiva. Es continua ya que para x ∈ R entonces los entornos
de f (x) son N ′ = (a, f (x)] con a < f (x),para cada N ′ escogemos N = [x, −a)
entorno de x que verifica f (N ) = (f (−a) = a, f (x)] ⊂ N ′ .
Como f −1 (x) = −x idéntica a f (x), se demuestra recı́procamente que f −1 es
continua y por tanto f es un homeomorfismo válido. Por lo que τS y τB son
homeomorfas.

4 Hoja 3
4.1 Problema 9
(a) Demuestra que dados dos subespacios topológicos A ⊂ (X, τX ), B ⊂ (Y, τY ),
se verifica que el interior en el producto es el producto de interiores, es decir,
(A × B)◦ = A◦ × B ◦ .

”⊂” Sea (a, b) ∈ (A × B)◦ , es decir existe un entorno abierto U × V tal que
(a, b) ∈ U × V . Por tanto a ∈ U y b ∈ V , es decir son puntos interiores de sus
respectivos subconjuntos.
”⊃”: Sea (a, b) ∈ (A◦ × B ◦ ), esto quiere decir que existen abiertos U, V tales
que a ∈ U ⊂ A y b ∈ V ⊂ B, por tanto (a, b) ∈ (U × V ) ⊂ (A × B), y esto
quiere decir que (a, b) es punto interior de (A × B).

Consideremos el producto (R2 , τCF × τD ) = (R, τCF ) × (R, τD ) de la recta real

con la topologı́a de los complementos finitos con la recta real con la topologı́a
discreta.
(b) Calcula el interior, la adherencia, la acumulación, la frontera y los puntos
aislados del conjunto [0, 1] × [0, 1].

i) Interior: En τCF el interior es ∅ ya que no existe ningún entorno de la forma

7
R{x1 , ...xn } que esté contenido en[0, 1]. En τD como todos los conjuntos son
abiertos y cerrados entonces el interior del conjunto es igual al conjunto. Por
tanto el interior del producto es ∅.
ii) Adherencia: En τCF la adherencia es R ya que todos los entornos de cualquier
punto tiene intersección no vacı́a con [0, 1]. En τD como todos los conjuntos son
abiertos y cerrados entonces la adherencia del conjunto es igual al conjunto. Por
tanto la adherencia del producto es R × [0, 1].
iii) Acumulación: En τCF la acumulación es R ya que todos los entornos de
cualquier punto tiene intersección no vacı́a excluyendo el punto con [0, 1]. En
τD ningún punto es de acumulación ya que el entorno unipuntual excluyendo el
punto tiene intersección vacı́a con [0, 1]. Por tanto la acumulación del total es
∅.
iv) Frontera: Como A = A◦ ⊔ F r(A) entonces como el interior coincide con la
adherencia en τD esto quiere decir que su frontera es ∅, por tanto la frontera del
producto es ∅.
v) Aislados: Como A = ais(A) ⊔ A′ y la acumulación coincide con la adherencia
en τCF , entonces los puntos aislados de esta parte es ∅. Por tanto los puntos
aislados del producto es ∅.

4.2 Problema 10
Demostrar que un espacio topológico X es T2 si y solo si el conjunto

∆ = {(x, x) | x ∈ X}

es cerrado en X × X con la topologı́a producto.

”−→”: Partimos de que X es T2 . Dados un punto (x, y) ∈ (X × X) \ ∆, esto

quiere decir que x ̸= y y como X es T2 entonces existen U, V abiertos de X
tal que x ∈ U y y ∈ V y como U × V no contiene ningún punto de la forma
(z, z) ∈ ∆ por lo que U × V ⊂ (X × X) \ ∆, por lo que (X × X) \ ∆ es abierto
y por tanto ∆ es cerrado.
”←−”: Partimos de que ∆ es cerrado y por tanto (X × X) \ ∆ es abierto. Por
lo que para (x, y) ∈ (X × X) \ ∆ se tiene que existe conjunto abierto U × V tal
que (x, y) ∈ (U × V ), por lo que x ∈ U y y ∈ V . Además x ̸= y ya que (x, y)
pertenece a (X × X) \ ∆. Como los puntos de la forma(z, z) no pertenecen a
(X × X) \ ∆ entonces U ∩ V = ∅, cumpliendo X la definición de T2 .

4.3 Problema 11
En R2 con la topologı́a usual se considera la relación de equivalencia

(x, y) ∼ (x′ , y ′ ) si x2 + y 2 = x′2 + y ′2 .

Demostrar que el espacio cociente R2 / ∼ es homeomorfo a [0, +∞) con la

topologı́a usual.

8
Mediante
p la función f : (R2 / ∼, τU ) −→ ([0, ∞), τU ) definida por f (x, y) =
x2 + y 2 , que convierte a las circunferencias de R2 en el punto equivalente a
su radio.
Sean
p (x1 , y1 ),p (x2 , y2 ) ∈ R ∼ tal que f (x1 , y1 ) = f (x2 , y2 ), es decir:
x21 + y12 = x22 + y22 ←→ x21 + y12 = x22 + y22 que es justamente la relación de
equivalencia, por lo que es inyectiva.
Sea ρ ∈ [0, ∞) entonces es evidente que existe circunferencia con este radio y
por tanto que existe (x, y) tal que f (x, y) = ρ, por lo que es sobreyectiva.
Sea V conjunto abierto de [0, ∞) esto quiere decir que es de la forma (a, b) o
(a, ∞) con a < b. Las preimágenes de estos conjuntos siguen siendo abiertos en
R2 .
Recı́procamente si U es abierto en R2 / ∼ será abierta su imagen por f .
Por tanto f es un homeomorfismo y R2 / ∼ es homeomorfo a [0, +∞).

4.4 Problema 12
Describir los siguientes espacios cocientes del intervalo cerrado [−3, 3] ⊂ R:
(a) En [−3, 3] se identifican a un punto todos los números enteros.

Esto implica que los abiertos son cualquier conjunto del tipo (a, b) que no con-
tenga ningún entero de [−3, 3], y si contiene a algún entero entonces los contiene
a todos y a entornos abiertos alrededor de estos.
(b) En [−3, 3] se identifican a un punto los enteros pares y a otro distinto los
enteros impares.

Existen cuatro tipos de abiertos:

i) Son de la forma (a, b) si no contienen a ningún entero

9
 ii) Contienen a los impares y a entornos (a, b) alrededor de estos.
iii) Contienen a los pares y a entornos (a, b) alrededor de estos.
iv) Contienen a los pares, los impares y entornos abiertos alrededor de estos.
(c) En [−3, 3] se identifican a un punto todos los elementos de la sucesión
(−3/n)n∈N y a otro punto distinto todos los de la sucesión (3/n)n∈N .

En este espacio el punto 0 es especial, ya que no se puede separar de los elementos

de las dos sucesiones, por lo que cualquier entorno de 0 debe contener a las
sucesiones, por tanto el único entorno de 0 es el [−3, 3].
El resto de abiertos son:
i) De la forma (a, b) si no contienen nigún elemento de las sucesiones.
ii) (0, 3] si contienen algún elemento de la sucesión positiva.
iii) [−3, 0) si contienen algún elemento de la sucesión negativa.
iv) El único abierto que contiene a todos los elementos de las dos sucesiones
es el total [−3, 3].

4.5 Problema 13 (*)

Demuestra que el colapso del subespacio A = [0, 1] en la recta real con la
topologı́a usual es homeomorfo a la propia recta real, es decir, (R/A, τu∗ ) ≈
(R, τu ).

Mediante la función h : (R/A, τU ∗) −→ (R, τU ) definida por:


x,
 si x < 0
h([x]) = 0, si x ∈ A

x − 1, si x > 1


Comprobemos que la función h es un homeomorfismo.

Sean x1 , x2 ∈ R/A tal que h(x1 ) = h(x2 ), entonces solo es posible que [x1 ] =
[x2 ], luego es inyectiva.
Para todo y ∈ R existe [x] tal que h([x] = y), luego es sobreyectiva.
h es continua porque es o la identidad o una traslación, que son continuas en la
topologı́a usual.
La inversa de h es: 
x,
 si x < 0
h−1 (x) = A, si x = 0

x + 1, si x > 0


10
h−1 al igual que h es continua porque es o la identidad o una traslación.
Por tanto h es un homeomorfismo y (R/A, τu∗ ) ≈ (R, τu ).

4.6 Problema 14
Consideremos en R la topologı́a de los complementos numerables τCN (ver Prob-
lema 6, Entrega 1) y la topologı́a discreta τD .
(a) Prueba que las únicas sucesiones convergentes en (R, τCN ) y (R, τD ) son las
eventualmente constantes (i.e. constantes a partir de un n0 ∈ N).

En τD es evidente esto, ya que como en cada x ∈ X existe el entorno unipuntual

{x}, necesitamos que la sucesión sea una constante para que esté en el conjunto
unipuntual a partir de un n0 .
En τCN si la sucesión no es constante podemos tomar un entorno de x de forma
que no contenga a un conjunto infinito numerable de esta sucesión y por tanto
no converge en ningún x. Pero si la sucesión es constante convergerá en esta,
ya que todo entorno de la constante la contiene.

(b) Muestra que id : (R, τCN ) → (R, τD ) no es continua pero lleva sucesiones
convergentes a x en (R, τCN ) en sucesiones convergentes a id(x) = x en (R, τD ).
Deduce que (R, τCN ) no puede ser metrizable (ver Proposición IV.12 del libro).

Como τD es más fina que τCN por el lema 2.5 del libro esta aplicación no
es constante. Sea una sucesión constante (xn ) con convergencia a x en τCN ,
entonces la imagen de los elementos de la sucesión son los mismos elementos al
utilizar la identidad. Por lo que la sucesión convergerá a x en τD ya que todo
conjunto de x lo contiene y los elementos de la sucesión son todos x.
Por la proposición 4.12 como f no es continua pero si se cumple que la sucesión
converge a x en el espacio de salida y a id(x) = x en el de llegada, alguno de los
espacios de salida o de llegada no cumple los requisitos de la proposición, que es
que los dos sean metrizables. Y como τD es metrizable por la métrica discreta,
entonces solo es posible que τCN no sea metrizable.

(c) Sea A := [0, 1] ⊂ R. Calcula su adherencia A y comprueba que no co-

incide con el conjunto de números reales x ∈ R para los cuales existe alguna
sucesión (xn ) ⊂ A que converge a x. Deduce otra vez que (R, τCN ) no puede
ser metrizable (ver Proposición IV.11 del libro).

Es evidente que A = R porque no podemos encontrar un entorno Nx de algún

x que excluya a todo el conjunto A, ya que este no es ni finito ni numerable.
Como se cumple que A ⊂ X pero la adherencia no está bien definida según la
proposición 4.11, ya que existen sucesiones fuera de A que convergen en puntos
de A entonces no se cumplen alguno de los requisitos de la proposición, y este
es que τCN sea metrizable.

11
4.7 Problema 15
Demuestra que la recta de Sorgenfrey es normal (pista: imitar la demostración
de que todo espacio metrizable es normal y separar dos cerrados C y D de la
recta de Sorgenfrey por uniones de intervalos de la forma [c, c + εc /2), c ∈ C
con εc tal que [c, c + εc ) ∩ D = ∅).

Sean C, D cerrados de Sorgenfrey tal que C ∩ D = ∅, entonces para cada c ∈ C

existe [c, c + εc ) entorno de c con εc > 0 tal que [c, c + εc ) ∩ D = ∅, si no fuese
vacı́o entonces c ∈ D = D, lo que es imposible. De la misma forma para cada
d ∈ D existe [d, d + εd ) entorno
S de d con εd > 0 tal S que [d, d + εd ) ∩ C = ∅.
Tomando los abiertos U = c∈C [c, c + εc /2) y V = d∈D [d, d + εd /2) verifican
que C ⊂ U y D ⊂ V . Veamos que U ∩ V = ∅, supongamos que existe z ∈ U ∩ V
y sean c ∈ C, d ∈ D tales que z ∈ [c, c + εc /2) y z ∈ [d, d + εd /2), pero esto no
es posible ya que z > d y z > c pero c ∈ /Dyd∈ / C, por lo que solo es posible
que U ∩ V = ∅ y por tanto τS es T4 .

12