Topology 2 Munkres

Machine Translated by Google
Soluciones a
Topología
Capítulo 2 - Espacios Topológicos y Funciones Continuas
James Munkres
Soluciones por positrón0802

https://positron0802.wordpress.com
1 enero 2021
Contenido
2 Espacios Topológicos y Funciones Continuas 1

12 Espacios Topológicos . . . . ... . . . . ... . . . . ... . . . . ... . . . . ... 1
13 Base para una topología . . . . . . . . . . . ... . . . . ... . . . . ... . . . . ... 1
14 La topología de orden . . . . ... . . . . ... . . . . ... . . . . ... . . . . ... 4
15 La topología del producto en ÿÿ × ÿÿ . . . . ... . . . . ... . . . . ... . . . . ... 4
16 La topología del subespacio . . . . . . . . . ... . . . . ... . . . . ... . . . . ... 4
17 Conjuntos cerrados y puntos límite. . . . . . ... . . . . ... . . . . ... . . . . ... 6
18 Funciones continuas. . . ... . . . . ... . . . . ... . . . . ... . . . . ... 11
19 La topología del producto . . . . . . . . . . ... . . . . ... . . . . ... . . . . ... 14
20 La topología métrica. . . ... . . . . ... . . . . ... . . . . ... . . . . . . . 17
21 La topología métrica (continuación) . . . ... . . . . ... . . . . ... . . . . . . . 23
22 La topología del cociente . . ... . . . . ... . . . . ... . . . . ... . . . . . . . 27
Ejercicios complementarios: grupos topológicos. . . . . . ... . . . . ... . . . . . . . 28
2 Espacios Topológicos y Funciones Continuas

12 espacios topológicos
Sin Ejercicios.
13 Base para una topología
Ejercicio 13.1. Para todo ÿÿ ÿ ÿÿ existe un conjunto abierto ÿÿÿÿ tal que ÿÿ ÿ ÿÿÿÿ y ÿÿÿÿ ÿ ÿÿ. Después
ÿÿ = Ð ÿÿ ÿÿÿ ÿÿÿÿ es abierto en ÿÿ porque es una unión de conjuntos abiertos.
1
Ejercicio 13.2. Estas topologías se enumeran a continuación:
ÿÿ1 = {ÿ, ÿÿ}, ÿÿ2 = {ÿ, {ÿÿ}, {ÿÿ, ÿÿ}, ÿÿ},
ÿÿ3 = {ÿ, {ÿÿ}, {ÿÿ, ÿÿ}, {ÿÿ, ÿÿ}, ÿÿ}, ÿÿ4 = {ÿ, {ÿÿ}, ÿÿ}, ÿÿ6 = {ÿ,
ÿÿ5 = {ÿ, {ÿÿ}, {ÿÿ, ÿÿ}, ÿÿ}, ÿÿ7 = {ÿ, {ÿÿ}, {ÿÿ}, {ÿÿ, ÿÿ}, { ÿÿ, ÿÿ}, ÿÿ}, ÿÿ8 = {ÿ,
{ÿÿ, ÿÿ}, ÿÿ}, ÿÿ9 = {ÿ, {ÿÿ}, {ÿÿ}, {ÿÿ}, {ÿÿ}, {ÿÿ}, {ÿÿ, ÿÿ}, ÿÿ},
{ÿÿ, ÿÿ}, {ÿÿ, ÿÿ}, {ÿÿ, ÿÿ}, ÿÿ }.
ÿÿ1 es más grueso que cualquier otra topología y ÿÿ9 es más bajo que cualquier otra topología. Otras inclusiones son ÿÿ7 ÿ ÿÿ2 ÿ ÿÿ8, ÿÿ4 ÿ ÿÿ3 ÿ ÿÿ6, ÿÿ7 ÿ ÿÿ3 ÿ ÿÿ6 y ÿÿ4 ÿ ÿÿ8.
Ejercicio 13.3. ÿÿÿÿ es el conjunto de todos los subconjuntos ÿÿ de ÿÿ tal que ÿÿ \ ÿÿ es contable o es todo de ÿÿ . Claramente,
ÿ y ÿÿ están en ÿÿÿÿ . Sea {ÿÿÿÿ }ÿÿ ÿÿÿ una familia de conjuntos en ÿÿÿÿ . Después
ÿÿ \ Ø ÿÿÿÿ = Ù (ÿÿ \ ÿÿÿÿ )

ÿÿ ÿÿÿ ÿÿ ÿÿÿ
es una intersección de conjuntos contables, por lo tanto contable. Si ÿÿ1, . . . ,ÿÿÿÿ son elementos en ÿÿÿÿ, entonces
(ÿÿ \ ÿÿÿÿ)
ÿÿ \ Ùÿÿ ÿÿÿÿ = Øÿÿ
ÿÿ=1 ÿÿ=1
es contable siendo una unión de conjuntos contables. De ello se deduce que ÿÿÿÿ es una topología sobre ÿÿ .
Por otro lado, ÿÿÿ en general no es una topología sobre ÿÿ . Por ejemplo, sean ÿÿ = R, ÿÿ1 = (ÿÿ, 0) y ÿÿ2 = (0, ÿ). Entonces
ÿÿ1 y ÿÿ2 están en ÿÿÿ pero ÿÿ1 ÿÿÿ2 = R \ {0} no lo está.
Ejercicio 13.4. (a) Como ÿ y ÿÿ pertenecen a ÿÿÿÿ por cada ÿÿ, pertenecen a Ñ ÿÿ ÿÿÿÿ . Sea {ÿÿÿÿ } ÿÿ
una colección de conjuntos abiertos en ÿÿ ÿÿÿÿ . Para cualquier ÿÿ fijo tenemos Ð ÿÿ ÿÿÿÿ ÿ ÿÿÿÿ ya que ÿÿÿÿ es una topología
ÿÿÿÿÿ .ÑDe manera similar, si ÿÿ1, . . . ,ÿÿÿÿ son elementos de Ñ ÿÿ ÿÿÿÿ, entonces para cada ÿÿ tenemos
Ñ sobre ÿÿ, entonces Ð ÿÿ ÿÿÿÿÿÿ
Ðÿÿ ÿÿ=1ÿÿÿÿ ÿ ÿÿÿÿ y por lo tanto Ðÿÿ ÿÿ=1ÿÿÿÿ ÿ ÿÿ ÿÿÿÿ . Se sigue que Ñ ÿÿ ÿÿÿÿ es una topología sobre ÿÿ .
Por otro lado, el sindicato Ð ÿÿ Ñ ÿÿÿÿ no es en general una topología sobre ÿÿ . Por ejemplo, sea ÿÿ = {ÿÿ,
ÿÿ, ÿÿ}. Entonces ÿÿ1 = {ÿ, ÿÿ, {ÿÿ}} y ÿÿ2 = {ÿ, ÿÿ, {ÿÿ}} son topologías sobre ÿÿ pero ÿÿ1 ÿ ÿÿ2 = {ÿ, ÿÿ, {ÿÿ}, {ÿÿ}} no lo es.
(b) Primero demostramos que existe una única topología mínima en ÿÿ que contiene todas las colecciones ÿÿÿÿ . La
unicidad de tal topología es clara. Para cada ÿÿ, sea ÿÿÿ una base para ÿÿÿÿ . Sea ÿÿ la topología generada por la subbase ÿÿ =
Ð ÿÿÿ . Entonces el conjunto ÿ de todas las intersecciones
ÿÿ finitas
ÿÿ paradetodo
elementos
ÿÿ. Ahora
de demostramos
ÿÿ es una baseque
para
si ÿÿ
ÿÿ.es
Claramente
una topología
ÿÿÿÿ ÿ
sobre ÿÿ tal que ÿÿÿÿ ÿ ÿÿ para todo ÿÿ, entonces ÿÿ ÿ ÿÿ. Dado tal ÿÿ, tenemos ÿÿÿ ÿ ÿÿ para todo ÿÿ, entonces ÿÿ ÿ ÿÿ.
Dado que ÿÿ es una topología, debe contener todas las intersecciones finitas de elementos de ÿÿ, por lo que ÿ ÿ ÿÿ y, por lo
tanto, ÿÿ ÿ ÿÿ. Concluimos que la topología ÿÿ generada por la subbase ÿÿ = Ð topología más pequeña ÿÿenÿÿÿ es elcontiene
ÿÿ que único todas
las colecciones ÿÿÿÿ .
Ahora demostramos que existe una única topología máxima contenida en todo ÿÿÿÿ . Singularidad de ÿÿÿÿ . Ya sabemos
tal topología es clara. Considera ÿÿ = Ñ ÿÿ que ÿÿ es una topología por (a), y
2 Soluciones por positrón0802

claramente ÿÿ ÿ ÿÿÿÿ para todo ÿÿ. Si ÿÿ es otra topología contenida en todos los ÿÿÿÿ, debe estar contenido en su
intersección, entonces ÿÿ ÿ ÿÿ. De ello se deduce que ÿÿ es la única topología más grande contenida en todos los
ÿÿÿÿ . (c) Usamos los resultados obtenidos en (b). La topología más pequeña que contiene ÿÿ1 y ÿÿ2 tiene
ÿÿ1ÿÿÿ2 = {ÿ, ÿÿ, {ÿÿ}, {ÿÿ, ÿÿ}, {ÿÿ, ÿÿ}} como subbase; tomando uniones de intersecciones de elementos de ÿÿ1 ÿ
ÿÿ2, encontramos que esta topología es {ÿ, ÿÿ, {ÿÿ}, {ÿÿ}, {ÿÿ, ÿÿ}, {ÿÿ, ÿÿ}}. La topología más grande contenida en ÿÿ1
y ÿÿ2 es su intersección ÿÿ1 ÿ ÿÿ2 = {ÿ, ÿÿ, {ÿÿ}}.
Ejercicio 13.5. Sea ÿÿ la topología generada por ÿÿ y sea ÿÿ la intersección de todas las topologías en ÿÿ que
contiene ÿÿ. Claramente ÿÿ ÿ ÿÿ ya que ÿÿ es una topología en ÿÿ que contiene ÿÿ. Por el contrario, sea ÿÿ ÿ ÿÿ, de
modo que ÿÿ es una unión de elementos de ÿÿ. Como cada uno de estos elementos también es un elemento de ÿÿ,
su unión ÿÿ pertenece a ÿÿ. Por lo tanto, ÿÿ ÿ ÿÿ y la igualdad se cumplen.
Si ahora consideramos ÿÿ como una subbase, entonces los elementos de ÿÿ son unión de intersecciones finitas
de elementos de ÿÿ. La inclusión ÿÿ ÿ ÿÿ es nuevamente clara y ÿÿ ÿ ÿÿ se cumple ya que toda unión de intersecciones
finitas de elementos de ÿÿ pertenece a ÿÿ.
Ejercicio 13.6. Sean ÿÿÿ y ÿÿÿÿ las topologías de Rÿ y Rÿÿ respectivamente. Dado el elemento base [0, 1) para ÿÿÿ ,
no hay ningún elemento base para dado
similar, ÿÿÿÿ que contenga
el elemento 0 y esté
base contenido
(ÿ1, 1) \ ÿÿ paraen [0, 1),
ÿÿÿÿ, no por
hayloelemento
que ÿÿÿ base
ÿ ÿÿÿÿpara
. Deÿÿÿ
manera
que
contenga 0 contenido en (ÿ1, 1) \ ÿÿ, entonces ÿÿÿÿ ÿ ÿÿÿ .
Ejercicio 13.7. Dado ÿÿ < ÿÿ en R, si ÿÿ ÿ (ÿÿ, ÿÿ) \ ÿÿ entonces ÿÿ ÿ (ÿÿ ÿ ÿÿ, ÿÿ] ÿ (ÿÿ, ÿÿ) \ ÿÿ para un ÿÿ
suficientemente pequeño. Por lo tanto, ÿÿ4 es menor que ÿÿ2. Cada elemento básico porque ÿÿ5 es abierto en ÿÿ1, y
todo elemento base de ÿÿ1 es un elemento base de ÿÿ2. Se sigue que ÿÿ5 ÿ ÿÿ1 ÿ ÿÿ2 ÿ ÿÿ4. Como todo conjunto
abierto en ÿÿ3 es abierto en ÿÿ1, también tenemos ÿÿ3 ÿ ÿÿ1 ÿ ÿÿ2 ÿ ÿÿ 4. Finalmente, demostramos que ÿÿ 3 y ÿÿ 5
no son comparables. De hecho, R \ {0, 1} está abierto en ÿÿ 3, pero no es una unión de elementos básicos para ÿÿ 5,
por lo que ÿÿ 3 ÿ ÿÿ 5. Por el contrario, (ÿ ÿ, 0) está abierto en ÿÿ5 y claramente no está abierto en ÿÿ3, por lo que ÿÿ5 ÿ ÿÿ3.
Ejercicio 13.8. (a) Primero tenga en cuenta que ÿ es una base para una topología en R. Esto se sigue del
hecho de que la unión de sus elementos es todo R y la intersección de dos elementos de ÿ está vacía o es
otro elemento de ÿ. Sea ÿÿ la topología estándar en R. Claramente, la topología generada por ÿ es más
gruesa que ÿÿ. Sean ÿÿ ÿ ÿÿ y ÿÿ ÿ ÿÿ . Entonces ÿÿ contiene un intervalo abierto de centro ÿÿ. Dado que
los racionales son densos en R con la topología estándar, existe ÿÿ ÿ Q tal que ÿÿ ÿ (ÿÿ ÿ ÿÿ, ÿÿ + ÿÿ) ÿ ÿÿ .
Esto prueba que ÿÿ es más gruesa que la topología generada por ÿ. Concluimos que ÿ genera la topología
estándar en R. (b) ÿÿ es una base para una topología en R ya que la unión de sus elementos es R y la
intersección de dos elementos de ÿÿ está vacía o es otro elemento de ÿÿ. Ahora considera [ÿÿ, ÿÿ),
donde ÿÿ es cualquier número irracional y ÿÿ es cualquier número real mayor que ÿÿ. Entonces [ÿÿ, ÿÿ) es
un elemento base para la topología de Rÿ , pero [ÿÿ, ÿÿ) no es una unión de elementos de ÿÿ. De hecho,
supongamos quealguna
[ÿÿ, ÿÿ)ÿÿ.
= ÿÿÿ
Como
[ÿÿÿÿ,
ÿÿ es
ÿÿÿÿ
irracional,
) para los
debemos
racionales
tener
ÿÿÿÿ,
ÿÿÿÿ
ÿÿÿÿ
< ÿÿ,
. Entonces
pero luego
ÿÿ ÿÿÿÿ
ÿ [ÿÿÿÿ,
ÿ [ÿÿ,
ÿÿÿÿ
ÿÿ),) por
una
contradicción. De ello se deduce que la topología generada por ÿÿ es estrictamente más gruesa que la
topología del límite inferior en R.

14 La topología del orden
14 La topología del orden

Sin Ejercicios.
15 La topología del producto en ÿÿ × ÿÿ

Sin Ejercicios.
16 La topología del subespacio

Ejercicio 16.1. Sea ÿÿ la topología que hereda ÿÿ como un subespacio de ÿÿ, y sea ÿÿ la topología it Un elemento base
hereda como un subespacio de ÿÿ . (estándar) para ÿÿ tiene la forma ÿÿ ÿÿÿ donde ÿÿ es abierto
en ÿÿ, entonces es de la forma (ÿÿ ÿÿÿ ) ÿ ÿÿ = ÿÿ ÿ ÿÿ donde ÿÿ está abierta en ÿÿ . Por lo tanto, todo elemento base de ÿÿ es
también elemento base de ÿÿ. Por el contrario, un elemento básico (estándar) para ÿÿ tiene la forma ÿÿ ÿ ÿÿ = ÿÿ ÿ ÿÿ ÿ ÿÿ donde
ÿÿ está abierto en ÿÿ . Dado que ÿÿ ÿ ÿÿ está abierto en ÿÿ,
para
esteÿÿes
esun
unelemento
elementobase
basepara
paraÿÿ,
ÿÿ.por
Selosigue
que que
cadaÿÿelemento
= ÿÿ. base
Ejercicio 16.2. Denota por ÿÿ0 y ÿÿÿÿÿÿestas topologías subespaciales correspondientes. Como todo conjunto abierto en ÿÿÿÿ
tiene la forma ÿÿ ÿ ÿÿ con ÿÿ ÿ ÿÿ ÿ ÿÿ0 , todo conjunto abierto en Sin
ÿÿÿÿembargo,
es abierto
puede
en ÿÿ0
que
. Por
no sea
lo tanto
estrictamente
, ÿÿ0 es menor
ner.
ÿÿ
ejemplo,
Si,
quepor
ÿÿÿÿ.
ÿÿ
tiene un solo elemento, entonces ÿÿÿÿ y ÿÿ0 son iguales.
ÿÿ
ÿÿ
Ejercicio 16.3. ÿÿ está abierto en R y ÿÿ ÿ ÿÿ = ÿÿ, entonces también está abierto en ÿÿ .

1 1
ÿÿ no está abierto en R, pero ÿÿ = ÿÿ ÿÿÿ donde ÿÿ = (ÿ2, ÿ ) ÿ ( 2 , 2) está abierto en R, entonces ÿÿ está .
2
abierto en ÿÿ ÿÿ y ÿÿ no están abiertos en R ni en ÿÿ, ya que no hay base (para ÿÿ o R) conjunto abierto que contenga ÿ ÿÿ
ÿ ÿÿ y contenido en ÿÿ o ÿÿ. }ÿÿÿZ+ = ÿ
12
1 1
) está abierta en R. Como ÿÿ ÿ ÿÿ = ÿÿ, también está abierta en ÿÿ .
ÿ
Finalmente, ÿÿ = (0, 1) \ { ÿÿ ÿÿ=1
( 1 ÿÿ+1 , ÿÿ
Ejercicio 16.4. Sea ÿÿ × ÿÿ un elemento base (estándar) para ÿÿ × ÿÿ, de modo que ÿÿ esté abierto en ÿÿ y ÿÿ esté abierto en
ÿÿ. Entonces ÿÿ1uniones
(ÿÿ × ÿÿsatisfacen
) = ÿÿ estáÿÿabierto
( Ð en ÿÿ y ÿÿ2 (ÿÿ × ÿÿ ) = ÿÿ está abierto en ÿÿ . Dado que funciones arbitrarias y
ÿÿ ÿÿÿÿ ) = Ð ÿÿ ÿÿ (ÿÿÿÿ ), se sigue que ÿÿ1 y ÿÿ2 son mapas abiertos.
Ejercicio 16.5. (a) Sea ÿÿ un conjunto abierto de base (estándar) en ÿÿ × ÿÿ, de modo que ÿÿ = ÿÿ × ÿÿ donde ÿÿ está abierto
0
en ÿÿ y ÿÿ está abierto en ÿÿ . Como ÿÿ ÿ ÿÿ0 y ÿÿ ÿ ÿÿ0 y ÿÿ está abierto en ÿÿ ,y,entonces
por lo tanto,
ÿÿ estálaabierto
topología
en ÿÿdel producto en
0 0 0
. Por lo tanto, todo conjunto abierto de bases en ÿÿ × ÿÿ es abierto × ÿÿ
ÿÿ 0 × ÿÿ 0 en ÿÿ y es menor que la topología del producto en ÿÿ × ÿÿ .
0 0
(b) Lo contrario se cumple. Supongamos que la topología del producto en ÿÿ la topología del × ÿÿ es ner que el
producto en ÿÿ × ÿÿ . Sea ÿÿ abierto en ÿÿ y ÿÿ abierto en ÿÿ; sea ÿÿ ÿ ÿÿ y ÿÿ ÿ ÿÿ . Desde ×ÿÿ

0 0 0 0
ÿÿ ×ÿÿ está abierto en ÿÿ ×ÿÿ, también está abierto en , entonces existe un conjunto abierto ÿÿ de ÿÿ y un ÿ ÿÿ abierto.
0 0 0 0 0 0
× ÿÿ ÿ ÿÿ × ÿÿ . Se sigue que ÿÿ ÿ ÿÿ
ÿÿ de ÿÿ tal que ÿÿ × ÿÿ ÿ ÿÿ conjunto ÿ ÿÿ y ÿÿ ÿ ÿÿ Nosotros
concluye que ÿÿ ÿ ÿÿ0 y ÿÿ ÿ ÿÿ0 .
Ejercicio 16.6. En el ejercicio 13.8 ya probamos que
ÿ = {(ÿÿ, ÿÿ) | ÿÿ < ÿÿ, ÿÿ y ÿÿ racionales}

16 La topología del subespacio
2
es una base para R, entonces por el Teorema 15.1 el conjunto anterior es una base para R .
Ejercicio 16.7. No. Considere ÿÿ = Q con el orden habitual y sea ÿÿ cualquier número real irracional.
Entonces ÿÿ = (ÿÿÿ, ÿÿ) ÿ Q es convexo en Q pero no es un intervalo ni un rayo en Q.
Ejercicio 16.8. Recuerde que R, Rÿ , Rÿÿ y Rÿÿ denotan las topologías estándar, de límite inferior, discreta y de límite superior
en el conjunto R, respectivamente. Identificaremos ÿÿ con el conjunto de los números reales y, en consecuencia, consideraremos
su dirección. (Por ejemplo, si ÿÿ es una línea vertical, entonces ÿÿ se puede dirigir hacia arriba o hacia abajo).
Primero considera ÿÿ como un subespacio de Rÿ ×R, que tiene todos los conjuntos de la forma [ÿÿ, ÿÿ)× (ÿÿ, ÿÿ) como base.
Si ÿÿ es vertical, entonces la topología en ÿÿ es la de R (sin importar su dirección). Si ÿÿ no es vertical, consideraremos su
dirección. Diremos que ÿÿ está "dirigida a la derecha" si la coordenada ÿÿ crece en la dirección de ÿÿ, y que está "dirigida a la
izquierda" si ÿÿ decrece en la dirección de ÿÿ.
Si ÿÿ está dirigido hacia la derecha, la intersección de ÿÿ con un elemento base para Rÿ × R es un intervalo abierto o semiabierto
en ÿÿ que incluye el extremo izquierdo, por lo que la topología en ÿÿ en este caso es la de Rÿ . Del mismo modo, si ÿÿ se dirige
hacia la izquierda, la topología que hereda ÿÿ es la de Rÿÿ .
Ahora considera ÿÿ como un subespacio de Rÿ × Rÿ , que tiene todos los conjuntos [ÿÿ, ÿÿ) × [ÿÿ, ÿÿ) como base. Si ÿÿ es
vertical, debemos considerar dos casos: si ÿÿ está dirigido hacia arriba, entonces la topología en ÿÿ es la de y si está dirigido
dirigida
hacia
a laabajo,
derecha,
su topología
depende es
de la
sude
pendiente.
Rÿÿ . Ahora,
Si tiene
si ÿÿpendiente
no es vertical,
no negativa,
dependeÿÿdehereda
Rÿ , nuevamente
la topologíade
desu
Rÿdirección.
, ya que laSi ÿÿ está
intersección de ÿÿ con un elemento base es un intervalo semiabierto en ÿÿ que incluye el extremo izquierdo. Ahora, si ÿÿ tiene
pendiente negativa, entonces la intersección de ÿÿescon
la de
unRÿÿ
elemento
. De manera
base puede
similar,
sersiun
ÿÿsolo
estápunto,
dirigidapor
hacia
lo que
la izquierda,
la topología
entonces
en ÿÿ
su topología es la de Rÿÿ si tiene pendiente no positiva, y la de Rÿÿ si tiene pendiente negativa.
Ejercicio 16.9. Un elemento base (estándar) para la topología de producto Rÿÿ×R tiene la forma {ÿÿ}×(ÿÿ, ÿÿ), por lo que también
es un conjunto abierto en la topología de orden de diccionario en R×R. Por el contrario, considera un intervalo (ÿÿ × ÿÿ, ÿÿ × ÿÿ)
en la topología de orden del diccionario en R × R. Si ÿÿ = ÿÿ, este intervalo está claramente abierto en Rÿÿ × R, así que asume
ÿÿ < ÿÿ. Queremos mostrar que es una unión de conjuntos de la forma {ÿÿ} × (ÿÿ, ÿÿ). Notamos que como ÿÿ < ÿÿ, tenemos (ÿÿ ×
ÿÿ, ÿÿ × ÿÿ) = ÿÿ ÿÿÿ ÿÿÿ donde
ÿÿ = Ø {ÿÿ} × (ÿÿ, ÿÿ) , ÿÿ = Ø {ÿÿ} × (ÿÿ, ÿÿ) y ÿÿ = Ø {ÿÿ} × (ÿÿ, ÿÿ) .

ÿÿ<ÿÿ ÿÿ<ÿÿ ÿÿ<ÿÿ<ÿÿ
ÿÿ<ÿÿ
De ello se deduce que la topología de orden de diccionario en el conjunto R × R es la misma que la topología del producto
2
Rÿÿ × R. Esta topología es estrictamente mejor que la topología estándar en R : claramente todo conjunto
2 en R abierto con la topología estándar está abierto en Rÿÿ × R con la topología producto, y el conjunto abierto {0} × (0, 1) de
2 .
Rÿÿ × R no está abierto en R
Ejercicio 16.10. En el conjunto ÿÿ × ÿÿ, sea ÿÿ1 la topología del producto, ÿÿ2 la topología de orden de diccionario y ÿÿ3 la
topología heredada como un subespacio de R×R en la topología de orden de diccionario.
Mostraremos que ÿÿ1 ( ÿÿ3, ÿÿ2 ( ÿÿ3, y que ÿÿ1 y ÿÿ2 no son comparables.

17 Conjuntos cerrados y puntos límite
Primero probamos que ÿÿ1 y ÿÿ2 no son comparables. Sea ÿ1 la base de ÿÿ1 que consiste en
todos los conjuntos de la forma (ÿÿ ÿ ÿÿ) × (ÿÿ ÿ ÿÿ), donde ÿÿ y ÿÿ están abiertos en R; sea ÿ2 la base habitual
para la topología de orden ÿÿ2, que consta de todos los intervalos de la forma (ÿÿ × ÿÿ, ÿÿ × ÿÿ), [0 × 0, ÿÿ × ÿÿ ) y
1 1
(ÿÿ × ÿ, 1 × 1]. Entonces ÿÿ = ÿÿ × ( 2 , 1] ÿ ÿ1 y pero no hay× base
1 ÿ ÿÿabierta
2
, en ÿ2 que
1 1
×1 yÿÿ2
contiene entonces está contenido
ÿ ÿÿ1. en ÿÿ el conjunto
Por el contrario, , ÿÿ = { } × (0, 1) está en ÿ2 y
2 2
1 1 1 1
× ÿ ÿÿ , pero no hay un conjunto abierto base en ÿ1 que contenga × y contenido en ÿÿ , entonces ÿÿ1 ÿ ÿÿ2.
2 2 2 2
Ahora, en el ejercicio 9, la topología de orden de diccionario en R × R es la misma que la topología del producto
Rÿÿ × R. Por lo tanto, toda base abierta en ÿÿ1 es abierta en ÿÿ3, por lo que ÿÿ1 ÿ ÿÿ3. Del mismo modo, cualquier base abierta
conjunto en ÿ2 es abierto en ÿÿ3, entonces ÿÿ2 ÿ ÿÿ3. Finalmente, ambas afirmaciones son estrictas ya que ÿÿ1 y ÿÿ2 no son
comparable.
Ejercicio 17.1. Si {ÿÿ \ ÿÿÿÿ }ÿÿ ÿÿÿ es una familia de elementos de ÿÿ, entonces
ÿÿÿÿ
Ø (ÿÿ \ ÿÿÿÿ ) = ÿÿ \ Ù
ÿÿ ÿÿÿ ÿÿ ÿÿÿ
pertenece a ÿÿ, y si ÿÿ \ ÿÿ1, . . . , ÿÿ \ ÿÿÿÿ están en ÿÿ, entonces
ÿÿÿÿ
Ùÿÿ (ÿÿ \ ÿÿÿÿ) = ÿÿ \ Øÿÿ
ÿÿ=1 ÿÿ=1
está en ÿÿ. Por lo tanto, ÿÿ es una topología sobre ÿÿ .
Ejercicio 17.2. Si ÿÿ está cerrado en ÿÿ, entonces ÿÿ = ÿÿ ÿ ÿÿ para algún ÿÿ cerrado en ÿÿ . Como ÿÿ y ÿÿ son
cerrado en ÿÿ, su intersección ÿÿ es cerrado en ÿÿ .
Ejercicio 17.3. Como ÿÿ \ ÿÿ está abierto en ÿÿ y ÿÿ \ ÿÿ está abierto en ÿÿ, se sigue que
(ÿÿ × ÿÿ) \ (ÿÿ × ÿÿ) = ((ÿÿ \ ÿÿ) × ÿÿ) ÿ (ÿÿ × (ÿÿ \ ÿÿ))
es abierto en ÿÿ × ÿÿ .
Ejercicio 17.4. Ya que
ÿÿ \ (ÿÿ \ ÿÿ) = (ÿÿ \ ÿÿ ) ÿ ÿÿ y ÿÿ \ (ÿÿ \ ÿÿ ) = (ÿÿ \ ÿÿ) ÿÿÿ ,
se sigue que ÿÿ \ (ÿÿ \ ÿÿ) es cerrado en ÿÿ y ÿÿ \ (ÿÿ \ ÿÿ ) es abierto en ÿÿ .
Ejercicio 17.5. Sea ÿÿ ÿ ÿÿ . Si ÿÿ < ÿÿ o ÿÿ > ÿÿ, entonces la semirrecta abierta (ÿÿ, ÿÿ), respectivamente (ÿÿ, ÿ), es una
vecindad de ÿÿ que no se interseca con (ÿÿ, ÿÿ). Se sigue que (ÿÿ, ÿÿ) ÿ [ÿÿ, ÿÿ]. La igualdad se mantiene
precisamente si tanto ÿÿ como ÿÿ son puntos límite de ÿÿ .

Ejercicio 17.6. (a) ÿÿ es cerrado y contiene ÿÿ, entonces ÿÿ ÿ ÿÿ. (b)
Dado que ÿÿ ÿ ÿÿ es cerrado y contiene tanto ÿÿ como ÿÿ, contiene ÿÿ y ÿÿ, por lo tanto, su unión.
Por el contrario, ÿÿ ÿ ÿÿ es cerrado y contiene ÿÿ ÿ ÿÿ, por lo que contiene ÿÿ ÿ ÿÿ. ÿÿÿÿ,
(c) Si ÿÿ ÿ Ð ÿÿ luego ÿÿ ÿ ÿÿÿÿ para alguna ÿÿ fija. Así todo barrio ÿÿ de ÿÿ se interseca
esta ÿÿÿÿ, por lo tanto interseca a Ð
ÿÿ ÿÿÿÿ . Por lo tanto Ð ÿÿ ÿÿÿÿ ÿ Ð ÿÿ ÿÿÿÿ . Para ver un ejemplo donde falla la igualdad,
considere R con la topología estándar y todos los conjuntos de un punto {ÿÿ} con ÿÿ racional. Entonces {ÿÿ} = {ÿÿ} para
cada uno de estos conjuntos, de modo que Ð ÿÿÿQ {ÿÿ} = Q, pero Ð ÿÿÿQ{ÿÿ} = Q = R.
Ejercicio 17.7. Es correcto que si ÿÿ ÿ Ð interseca ÿÿ ÿÿÿÿ entonces cada barrioÿÿ de ÿÿ interseca a Ð ÿÿ ÿÿÿÿ,
a alguna ÿÿÿÿ . Pero este ÿÿÿÿ puede ser distinto para diferentes vecindarios, por lo que no necesariamente todos los
vecindariosÿÿ de ÿÿ se cruzan con el mismo ÿÿÿÿ . Por lo tanto, no podemos concluir que ÿÿ debe pertenecer a la clausura
de alguna ÿÿÿÿ fija .
Ejercicio 17.8. (a) La inclusión ÿÿ ÿ ÿÿ ÿ ÿÿ ÿ ÿÿ se cumple: dado que ÿÿ ÿ ÿÿ es cerrado y contiene ÿÿ ÿ ÿÿ, contiene su
cierre. La otra inclusión no se cumple en general. Por ejemplo, Q = R \ Q = R, entonces Q ÿ R \ Q = R, pero Q ÿ (R \ Q) = ÿ
= ÿ. (b) De manera similar a (a), como Ñ ÿÿÿÿ, contiene su clausura. Así Ñ
ÿÿ
ÿÿÿÿ es una intersección de conjuntos cerrados es cerrado; ya que contiene
NORTE
ÿÿ ÿÿ ÿÿÿÿ ÿÑ _ ÿÿ ÿÿÿÿ . La otra inclusión no se cumple en general:
podemos considerar el mismo ejemplo dado en (a).
(c) La inclusión ÿÿ\ÿÿ ÿ ÿÿ \ ÿÿ se cumple: sea ÿÿ ÿ ÿÿ\ÿÿ. Entonces todo entorno de ÿÿ se interseca con ÿÿ, y existe
algún entorno ÿÿ de ÿÿ tal que ÿÿ ÿ ÿÿ = ÿ. Supongamos que ÿÿ ÿ ÿÿ \ ÿÿ. Entonces también existe un entorno ÿÿ de ÿÿ tal
que ÿÿ ÿ (ÿÿ\ÿÿ) = ÿ. Así ÿÿ ÿÿÿ es una vecindad de ÿÿ tal que (ÿÿ ÿÿÿ ) ÿ ÿÿ = ÿ y (ÿÿ ÿÿÿ ) ÿ (ÿÿ \ ÿÿ) = ÿ, entonces (ÿÿ ÿÿÿ )
ÿÿÿ = ÿ, una contradicción. Se sigue que ÿÿ\ÿÿ ÿ ÿÿ \ ÿÿ. La otra inclusión no se cumple en general: en la topología estándar
de R tenemos Q \ R \ Q = R \ R = ÿ pero Q \ (R \ Q) = Q = R.
Ejercicio 17.9. Por el Ejercicio 3 sabemos que ÿÿ×ÿÿ está cerrado en ÿÿ ×ÿÿ . Entonces ÿÿ×ÿÿ es cerrado y contiene ÿÿ ×
ÿÿ, por lo tanto, contiene su cierre. Por el contrario, sea ÿÿ ×ÿÿ ÿ ÿÿ × ÿÿ. Sean ÿÿ un vecindario de ÿÿ en ÿÿ y ÿÿ un
vecindario de ÿÿ en ÿÿ. Como ÿÿ ÿ ÿÿ, tenemos ÿÿÿÿÿ)
ÿ ÿÿ×ÿ (ÿÿ
ÿ. Del
ÿ ÿÿ)
mismo
ÿ ÿ. Por
modo,
lo tanto,
ÿÿ ÿ ÿÿ
todo
ÿ ÿ,elemento
entoncesbase
(ÿÿ ×ÿÿ
para) ÿÿ
ÿ (ÿÿ
×ÿÿ× que
ÿÿ) = (ÿÿ
contiene ÿÿ ×ÿÿ se interseca con ÿÿ × ÿÿ, por lo que ÿÿ × ÿÿ ÿ ÿÿ × ÿÿ. Por lo tanto, ÿÿ × ÿÿ ÿ ÿÿ × ÿÿ y la igualdad se cumple.
Ejercicio 17.10. Sea ÿÿ un espacio topológico con la topología de orden. Sean ÿÿ y ÿÿ puntos distintos de ÿÿ . Sin pérdida
de generalidad,+ÿ)
suponga ÿÿ ÿ< (ÿÿ,
y (ÿÿ, ÿÿ) ÿÿ. Si
+ÿ)hay
= ÿ.unSielemento ÿÿ entre ÿÿ
no hay elementos y ÿÿ,ÿÿtaly que
entre ÿÿ < ÿÿ <(ÿÿ,
ÿÿ, entonces ÿÿ, entonces
ÿÿ) y (ÿÿ, ÿÿ
+ÿ)ÿson
(ÿÿ,barrios
ÿÿ), ÿÿ de
ÿ (ÿÿ,
ÿÿ
y ÿÿ respectivamente que son disjuntos. Como ÿÿ, ÿÿ ÿ ÿÿ eran arbitrarios, concluimos que ÿÿ es Hausdor .
Ejercicio 17.11. Sean ÿÿ y ÿÿ Hausdor. Sean ÿÿ × ÿÿ y ÿÿ × ÿÿ dos puntos distintos de ÿÿ × ÿÿ Primero supón que ÿÿ ÿ ÿÿ. .
Entonces existe un entorno ÿÿ de ÿÿ y un entorno ÿÿ de ÿÿ tal que ÿÿ ÿÿÿ = ÿ. Por lo tanto, ÿÿ × ÿÿ es un vecindario de ÿÿ
×ÿÿ, ÿÿ × ÿÿ es un vecindario de ÿÿ ×ÿÿ y (ÿÿ × ÿÿ) ÿ (ÿÿ × ÿÿ) = (ÿÿ ÿ ÿÿ ) × ÿÿ = ÿ. Si ÿÿ = ÿÿ, entonces ÿÿ ÿ ÿÿ y procedemos
de manera similar.
Se sigue que ÿÿ × ÿÿ es Hausdor.

Ejercicio 17.12. Sea ÿÿ un espacio de Hausdor y ÿÿ un subespacio de ÿÿ . Sean ÿÿ y ÿÿ dos puntos distintos de ÿÿ . Como
también son puntos
abierto
deen
ÿÿ,ÿÿexisten
y contiene
conjuntos
ÿÿ, ÿÿabiertos
ÿÿÿ estáÿÿ
abierto
y ÿÿ en
enÿÿ
ÿÿtales
y contiene
que ÿÿÿÿ
ÿ ÿÿ
y (ÿÿ
ÿÿ ÿ ÿÿ)
ÿÿ yÿÿÿ
(ÿÿÿÿÿ
ÿ ÿÿ)
= ÿ.= Entonces
ÿ. Como ÿÿ,
ÿÿ ÿÿ ÿÿ ,
ÿÿÿÿestá
eran arbitrarios, concluimos que ÿÿ es Hausdor .
Ejercicio 17.13. Sean ÿÿ Hausdor y ÿÿ ×ÿÿ ÿ ÿÿ \ÿ. Entonces ÿÿ ÿ ÿÿ, entonces existen vecindarios ÿÿ y ÿÿ de ÿÿ y ÿÿ
respectivamente que son disjuntos. Por lo tanto, ÿÿ × ÿÿ ÿ ÿÿ × ÿÿ ÿ ÿÿ \ ÿ. Se sigue que ÿÿ \ ÿ es abierto en ÿÿ × ÿÿ
.
Por el contrario, suponga que ÿ está cerrado en ÿÿ × ÿÿ y sean ÿÿ, ÿÿ dos puntos distintos de ÿÿ . Entonces ÿÿ × ÿÿ ÿ ÿÿ
\ ÿ, que es abierto en ÿÿ × ÿÿ, entonces existen conjuntos abiertos ÿÿ y ÿÿ de ÿÿ tales que ÿÿ × ÿÿ ÿ ÿÿ ×ÿÿ ÿ ÿÿ \ ÿ. Por lo
tanto, ÿÿ es un vecindario de ÿÿ, ÿÿ es un vecindario de ÿÿ y son disjuntos.
Por lo tanto, ÿÿ es Hausdor.
Ejercicio 17.14. Sean ÿÿ ÿ R y ÿÿ cualquier entorno de ÿÿ en la topología de complemento finito en R. Entonces R\ÿÿ es finito,
por lo que solo hay un número finito de ÿÿÿÿ que no está en ÿÿ. Como todas las ÿÿÿÿ son diferentes, existe ÿÿ ÿ Z+ tal que
ÿÿÿÿ ÿ ÿÿ para todo ÿÿ ÿ ÿÿ . Como ÿÿ era arbitrario, tenemos ÿÿÿÿ ÿ ÿÿ. De ello se deduce que la sucesión ÿÿÿÿ converge a
todo número real en la topología de complemento finito en R. De hecho, esto funciona para cada sucesión ÿÿÿÿ en la que
dado ÿÿ ÿ R, entonces ÿÿ = ÿÿÿÿ solo para finitos valores de ÿÿ.
Ejercicio 17.15. Si ÿÿ satisface el axioma de ÿÿ1 y ÿÿ, ÿÿ son dos puntos distintos de ÿÿ, entonces ÿÿ \ {ÿÿ} y ÿÿ \ {ÿÿ} son
vecindades de ÿÿ y ÿÿ, respectivamente, que no se contienen entre sí. Por el contrario, supón que para cada par de puntos
de ÿÿ, cada uno tiene una vecindad que no contiene al otro. Sea ÿÿ . Entonces, para cada ÿÿ ÿ ÿÿ \ {ÿÿ}, existe un entorno
singleton es cerrado,
ÿÿÿÿ de
porÿÿ
lo que
que no
loscontiene
conjuntos
ÿÿ,depor
puntos
lo quefinitos
un punto
son cerrados
en ÿÿ {ÿÿ}y ÿÿ
ÿÿ =satisface
Ð ÿÿÿÿÿ el
ÿÿÿÿ
axioma
está de
abierto.
ÿÿ1 . Por tanto, todo
Ejercicio 17.16. Recordar que
ÿÿ1 = la topología estándar, ÿÿ2 =
la topología de Rÿÿ, ÿÿ3 = la
topología del complemento finito, ÿÿ4 = la
topología del límite superior, que tiene todos los conjuntos (ÿÿ, ÿÿ] como
base, ÿÿ5 = la topología que tiene todos los conjuntos (ÿÿ, ÿÿ ) = {ÿÿ | ÿÿ < ÿÿ} como base.
(a) En ÿÿ1: el único punto límite de ÿÿ es 0, por lo que su cierre es ÿÿ = ÿÿ ÿ {0}.

En ÿÿ2: ÿÿ es cerrado en esta topología, entonces ÿÿ = ÿÿ.
En ÿÿ3: en el Ejercicio 14 demostramos que todo punto es un punto límite de ÿÿ en esta topología, por lo que ÿÿ = R.
En ÿÿ4: ÿÿ no tiene puntos límite (Aquí 0 no es un punto límite de ÿÿ ya que las vecindades de 0 de la
forma (ÿÿ, 0], ÿÿ < 0, no interseca a ÿÿ). Por lo tanto, ÿÿ = ÿÿ.
En ÿÿ5: todo punto ÿÿ tal que 0 ÿ ÿÿ es un punto límite de ÿÿ, entonces ÿÿ = [0, ÿ). (b) ÿÿ1 y
ÿÿ2 son Hausdor: si ÿÿ, ÿÿ ÿ R, ÿÿ < ÿÿ, entonces (ÿÿ, ÿÿ +ÿÿ) y (ÿÿ ÿÿÿ, +ÿ), donde ÿÿ = ÿÿ+ÿÿ 2 ,
son barrios de ÿÿ y ÿÿ respectivamente, y son disjuntos. Por lo tanto, también son ÿÿ1.

,
ÿÿ3 claramente no es Hausdor pero es ÿÿ1 ya que todos los puntos son cerrados. ÿÿ4 es Hausdor : si ÿÿ < ÿÿ,
entonces (ÿÿ, ÿÿ] y (ÿÿ, ÿÿ] son barrios de ÿÿ y ÿÿ respectivamente que son disjuntos. Por lo tanto, también es ÿÿ1. ÿÿ5 no es ÿÿ1: Si ÿÿ < ÿÿ, hay no hay
barrio de ÿÿ que no contenga ÿÿ (ver Ejercicio 15).
Por lo tanto, tampoco es Hausdor.
Ejercicio 17.17. Recuerda que ÿÿ = { [ÿÿ, ÿÿ) | ÿÿ < ÿÿ, ÿÿ y ÿÿ racional}.

Primero considere la topología del límite inferior. Aquí 0 es el único punto límite de ÿÿ que no está en ÿÿ; ten en cuenta
que ÿ 2 no es un punto límite ya que la vecindad [ ÿ 2, ÿ) no interseca a ÿÿ. Así ÿÿ = [0, ÿ 2), y de manera similar ÿÿ = [ ÿ 2, 3).
Ahora considera la topología generada por la base ÿÿ. Como ÿ 2 es irracional, en esta topología
todo entorno básico de ÿ 2 interseca a ÿÿ, por lo que ÿÿ = [0, ÿ 2]. Del mismo modo ÿÿ = [ ÿ 2, 3).
Ejercicio 17.18. Como ÿÿ = ÿÿ ÿ ÿÿ 0

para todo subconjunto ÿÿ, basta con encontrar los puntos límite de estos
conjuntos. Para ÿÿ, ten en cuenta que todo vecindario de 0 × 1 contiene un vecindario de la forma (0 × ÿÿ, ÿÿ × ÿÿ) para algún
1
ÿÿ < 1 y 0 < ÿÿ ÿ 1, por lo que contiene todos los puntos × 0 para ÿÿ suficientemente grande
ÿÿ
.
Ten en cuenta que ningún punto 0 × ÿÿ para ÿÿ < 1 es un punto límite de ÿÿ. Por ejemplo, si ÿÿ = 0 entonces {0} × [0, 1) es a
0
vecindad de 0 × 0 que no contiene ningún punto de ÿÿ. Así vemos que ÿÿ = {0 × 1}.
De manera similar, para ÿÿ observa que cada vecindario de 1×0 contiene un vecindario de la forma (ÿÿ × ÿÿ, 1 × ÿÿ)
1
para algún 0 ÿ ÿÿ < 1 y ÿÿ > 0, por lo que contiene todos los puntos (1 ÿ para ÿÿ grande, por lo que
ÿÿ
)ÿÿ
× = 1{1
2
× 0} = ÿÿ
0
0 0 0 1
De manera similar, ÿÿ = ( (0, 1] × {0}) ÿ ( [0, 1) × {1}) y ÿÿ ={ 2
} × [0, 1].
Ejercicio 17.19. (a) Supongamos ÿÿ ÿ IntÿÿÿBdÿÿ. Entonces existe un entorno ÿÿ de ÿÿ contenido en ÿÿ. Pero todo conjunto
abierto que contiene ÿÿ debe intersecar a ÿÿ \ ÿÿ, por lo que ÿÿ ÿ (ÿÿ \ ÿÿ) ÿ ÿ, una contradicción.
Se sigue que Intÿÿ y Bdÿÿ son disjuntos.
Como Intÿÿ ÿ ÿÿ y Bdÿÿ ÿ ÿÿ, tenemos Intÿÿ ÿ Bdÿÿ ÿ ÿÿ. Por el contrario, sea ÿÿ ÿ ÿÿ y suponga ÿÿ ÿ Bdÿÿ. Entonces ÿÿ
ÿ ÿÿ \ ÿÿ, entonces hay un vecindario ÿÿ de ÿÿ que no interseca a ÿÿ \ ÿÿ. Este es un entorno de ÿÿ contenido en ÿÿ, entonces
ÿÿ ÿ Intÿÿ. Concluimos que ÿÿ = Intÿÿ ÿ Bdÿÿ.
(b) Por (a), Bdÿÿ = ÿ si y solo si Intÿÿ = ÿÿ = ÿÿ, si y solo si ÿÿ es abierto y cerrado. (c) ÿÿ es abierto si y solo si ÿÿ
= Intÿÿ si y solo si Bdÿÿ = ÿÿ \ Intÿÿ = ÿÿ \ ÿÿ . (d) No. Si ÿÿ = R \ {0} en la topología estándar de R, entonces ÿÿ =
R, entonces Int (ÿÿ ) = R ÿ ÿÿ .
Ejercicio 17.20. (a) Cualquier vecindad de un punto en ÿÿ contiene un punto que no está en ÿÿ, entonces Intÿÿ = ÿ. ÿÿ es
cerrado porque contiene todos sus puntos límite, entonces Bdÿÿ = ÿÿ = ÿÿ.
(b) ÿÿ es abierto, entonces Int ÿÿ = ÿÿ. Ten en cuenta que ÿÿ = [0, ÿ)×R, por lo que Bd ÿÿ = ÿÿ\Int ÿÿ = ({0}×R)ÿ (R+×{0}).
(c) Intÿÿ = R+ × R y Bdÿÿ = (Rÿ × {0}) ÿ ({0} × R). (d) Todo entorno de un punto en ÿÿ contiene un punto que no está en
ÿÿ, por lo que Intÿÿ = ÿ. Cada
2
vecindad de un punto en R (e) ÿÿ es la interseca a ÿÿ, entonces Bdÿÿ = ÿÿ = R2 .
2 2
ÿ ÿÿ
región entre la hipérbola ÿÿ = 1 y las rectas ÿÿ = ÿÿ, ÿÿ = ÿÿÿ, incluidos los puntos de la hipérbola pero no los de las
rectas. Cada vecindad de punto en el

2 2
la hipérbola contiene un punto que no está en ÿÿ, entonces Int ÿÿ = {ÿÿ × ÿÿ | 0 < ÿÿ ÿ ÿÿ <1}. Por la misma razón,
2 22o
Bd ÿÿ = {ÿÿ × ÿÿ | ÿÿ (f) 2 = ÿÿ ÿÿ ÿ ÿÿ = 1}.
De manera similar a ÿÿ, tenemos Int ÿÿ = {ÿÿ × ÿÿ | ÿÿ ÿ 0 y ÿÿ < 1/ÿÿ} y Bd ÿÿ = ({0} × R) ÿ
({ÿÿ × ÿÿ | ÿÿ ÿ 0 y ÿÿ = 1/ÿÿ}).
Ejercicio 17.21. (a) Sea ÿÿ(ÿÿ) el conjunto potencia de ÿÿ (el conjunto de todos los subconjuntos de ÿÿ). Sean ÿÿ,ÿÿ y ÿÿ las
operaciones ÿÿ(ÿÿ) ÿ ÿÿ(ÿÿ) de clausura, interior y complemento respectivamente. Es decir, si ÿÿ ÿ ÿÿ, entonces ÿÿ (ÿÿ) = ÿÿ, ÿÿ(ÿÿ)
= Intÿÿ y ÿÿ(ÿÿ) = ÿÿ \ ÿÿ. Sea ÿÿ el conjunto de cadenas (listas ordenadas finitas) en ÿÿ y ÿÿ, es decir, si ÿÿ ÿ ÿÿ entonces ÿÿ es una
composición finita de funciones ÿÿ(ÿÿ) ÿ ÿÿ(ÿÿ) que son ÿÿ o ÿÿ; por ejemplo, ÿÿ = ÿÿÿÿÿÿÿÿÿÿ es una composición de este tipo. Sea
ÿÿ ÿ ÿÿ . Queremos mostrar que el conjunto ÿÿ (ÿÿ) = {ÿÿ(ÿÿ) | ÿÿ ÿ ÿÿ } tiene como máximo 14 elementos. La prueba
lasse
siguientes
apoyará en
identidades:
(1) ÿÿÿÿ (ÿÿ) = ÿÿ (ÿÿ) y ÿÿÿÿ(ÿÿ) = ÿÿ(ÿÿ). (2)

ÿÿÿÿ(ÿÿ) = ÿÿ. (3) ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ(ÿÿ) =
ÿÿÿÿÿÿÿÿ(ÿÿ) y ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ (ÿÿ) = ÿÿÿÿÿÿÿÿ (ÿÿ).
El primero se cumple porque ÿÿ (ÿÿ) ya está cerrado y ÿÿ(ÿÿ) ya está abierto; el segundo es obvio.
Ahora mostramos (3). Primero observa que ÿÿ \ ÿÿ = ÿÿ \ Intÿÿ. En nuestra notación, esto se lee ÿÿÿÿ(ÿÿ) = ÿÿÿÿ(ÿÿ).
Entonces ÿÿÿÿÿÿÿÿ(ÿÿ) = ÿÿÿÿÿÿÿÿ(ÿÿ) = ÿÿÿÿ(ÿÿ), por lo que la primera ecuación en (3) es equivalente a ÿÿÿÿÿÿÿÿ(ÿÿ) = ÿÿÿÿ(ÿÿ),
que ahora demostramos. Por un lado, ÿÿÿÿÿÿ (ÿÿ) ÿ ÿÿÿÿ (ÿÿ) implica ÿÿÿÿÿÿÿÿ (ÿÿ) ÿ ÿÿÿÿÿÿ (ÿÿ) = ÿÿÿÿ (ÿÿ), y por otro lado, de ÿÿ
(ÿÿ) ÿ ÿÿÿÿ (ÿÿ) obtenemos ÿÿÿÿ (( ÿÿ) = ÿÿÿÿÿÿ(ÿÿ) ÿ ÿÿÿÿÿÿÿÿ(ÿÿ). Deducimos que ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ (ÿÿ) = ÿÿÿÿÿÿÿÿ (ÿÿ), y
aplicando esta identidad con ÿÿ reemplazado por ÿÿ (ÿÿ) (y usando (2)) tenemos ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ (ÿÿ) = ÿÿÿÿÿÿ (ÿÿ), lo que a su vez
implica ÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿÿ (( ÿÿ) = ÿÿÿÿÿÿÿÿ (ÿÿ).
Ahora demostramos que ÿÿ (ÿÿ) tiene como máximo 14 elementos. Para ello, nótese que por (1) y (2) basta considerar
cadenas ÿÿ ÿ ÿÿ que no contienen las subcadenas ÿÿÿÿ y ÿÿÿÿ, es decir, solo necesitamos considerar ÿÿ(ÿÿ) para aquellas ÿÿ ÿ ÿÿ
que no tiene ÿÿ ni ÿÿ consecutivas.
Además, por (3) se sigue que cualquier cadena de longitud superior a 7 puede reducirse a una de longitud inferior o igual a 7. Por
último, tenga en cuenta que al final del último párrafo deducimos la identidad ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ (ÿÿ) = ÿÿÿÿÿÿ (ÿÿ), por lo que esa
cuerda de longitud 7 no es necesaria. De ello se deduce que los elementos de ÿÿ son (con repeticiones permitidas)
ÿÿ, ÿÿ (ÿÿ), ÿÿ (ÿÿ), ÿÿÿÿ (ÿÿ), ÿÿÿÿ (ÿÿ), ÿÿÿÿÿÿ (ÿÿ), ÿÿÿÿÿÿ (ÿÿ), ÿÿÿÿÿÿÿÿ (ÿÿ), ÿÿÿÿÿÿÿÿ (ÿÿ),
ÿÿÿÿÿÿÿÿÿÿ (ÿÿ), ÿÿÿÿÿÿÿÿÿÿ (ÿÿ (ÿÿ ), ÿÿÿÿÿÿÿÿÿÿÿÿ (ÿÿ), ÿÿÿÿÿÿÿÿÿÿÿÿ (ÿÿ),
es decir, ÿÿ (ÿÿ) tiene como máximo 14 elementos.
(b) Considera ÿÿ = (0, 1) ÿ (1, 2) ÿ {3} ÿ ([4, 5] ÿ Q). Entonces ÿÿ (ÿÿ) tiene exactamente 14 elementos:
1. ÿÿ = (0, 1) ÿ (1, 2) ÿ {3} ÿ ([4, 5] ÿ Q). 2. ÿÿ (ÿÿ) = [0,

2] ÿ {3} ÿ [4, 5] 3. ÿÿ(ÿÿ) = (ÿÿ, 0] ÿ {1} ÿ [2, 3) ÿ (3, 4 ) ÿ
([4, 5] ÿ (R \ Q)) ÿ (5, ÿ). 4. ÿÿÿÿ (ÿÿ) = (ÿÿ, 0) ÿ (2, 3) ÿ (3, 4) ÿ (5, ÿ). 5. ÿÿÿÿ(ÿÿ) = (ÿÿ, 0] ÿ {1}
ÿ [2, ÿ).

18 funciones continuas
6. ÿÿÿÿÿÿ (ÿÿ) = (ÿÿ, 0] ÿ [2, 4] ÿ [5, ÿ). 7.

ÿÿÿÿÿÿ(ÿÿ) = (0, 1) ÿ (1, 2). 8. ÿÿÿÿÿÿÿÿ (ÿÿ) = (0,
2) ÿ (4, 5). 9. ÿÿÿÿÿÿÿÿ(ÿÿ) = [0, 2]. 10. ÿÿÿÿÿÿÿÿÿÿ
(ÿÿ) = [0, 2] ÿ [4, 5]. 11. ÿÿÿÿÿÿÿÿÿÿ(ÿÿ) = (ÿÿ, 0)
ÿ (2, ÿ). 12. ÿÿÿÿÿÿÿÿÿÿÿÿ (ÿÿ) = (ÿÿ, 0) ÿ (2, 4) ÿ
(5, ÿ). 13. ÿÿÿÿÿÿÿÿÿÿÿÿ(ÿÿ) = (ÿÿ, 0] ÿ [2, ÿ). 14.
ÿÿÿÿÿÿÿÿÿÿÿÿÿÿ(ÿÿ) = (0, 2).
Ejercicio 18.1. Sea ÿÿ continua en el sentido ÿÿ-ÿÿ, y sea ÿÿ un subconjunto abierto de R. Sea ÿÿ0 ÿ ÿÿ Suponiendo que
ÿ1
existe ÿÿ > 0(ÿÿ).
tal que
Entonces
|ÿÿ ÿ ÿÿ0
ÿÿ| contiene
< ÿÿ implica
un intervalo
|ÿÿ (ÿÿ) ÿde
ÿÿla(ÿÿ0)|
forma< (ÿÿ
ÿÿ. De
(ÿÿ0)
este
ÿ ÿÿ,
modo
ÿÿ (ÿÿ0) + ÿÿ) para algún ÿÿ > 0.
ÿ1 ÿ1
ÿÿ ÿ (ÿÿ0 ÿ ÿÿ, ÿÿ0 + ÿÿ) ÿ ÿÿ (ÿÿ ) y por lo tanto ÿÿ (ÿÿ ) está abierto. De ello se deduce que ÿÿ es continua en el
definición de conjunto abierto.
Ejercicio 18.2. No. Sea ÿÿ : R ÿ {ÿÿ0} una función constante, R con la topología estándar. Entonces cualquier número real es
punto límite de R, pero ÿÿ0 no es punto límite de {ÿÿ0}.
ÿ1 0
Ejercicio 18.3. (a) ÿÿ es continua si y solo si ÿÿ ÿÿ, si y solo si (ÿÿ ) = ÿÿ está abierto en ÿÿ para cada conjunto abierto ÿÿ en
ÿÿ ÿ ÿÿ0 . (b) Por (a), ÿÿ y ÿÿ
ÿ1
son continuas si y solo si ÿÿ ÿ ÿÿ0 y ÿÿ0 ÿ ÿÿ.
Ejercicio 18.4. ÿÿ y ÿÿ son claramente inyectivos. También son continuos ya que cada uno de sus componentes es continuo
0 0
: ÿÿ ÿ de
(Teorema 18.4), por lo que los mapas ÿÿ que restringen el rango ÿÿ ×ÿÿ{ÿÿ0} : ÿÿ son
y ÿÿ yrespectivamente
ÿÿ ÿ {ÿÿ0} × ÿÿ obtenido
continuos (Teoremapor18.2(d)).
Queda por demostrar que ÿÿ son mapas abiertos. Si ÿÿ está abierto en ÿÿ, entonces ÿÿ 0 (ÿÿ ) = ÿÿ × {ÿÿ0} = (ÿÿ × {ÿÿ0}) ÿ (ÿÿ
0 0
× ÿÿ) estáyabierto
ÿÿ en ÿÿ × {ÿÿ0}, entonces ÿÿ es un mapa abierto. Se sigue que ÿÿ y ÿÿ son incrustaciones.
0 0
es un mapa abierto. Del mismo modo ÿÿ
Ejercicio 18.5. De ne ÿÿ : (0, 1) ÿ (ÿÿ, ÿÿ) mediante la ecuación ÿÿ (ÿÿ) = (ÿÿ ÿ ÿÿ)ÿÿ + ÿÿ. Entonces ÿÿ es biyectiva
ÿ1 ÿ1
y continua con continua inversa ÿÿ : (ÿÿ, ÿÿ) ÿ (0, 1) dado por ÿÿ Por lo (ÿÿ) = (ÿÿ ÿ ÿÿ)/(ÿÿ ÿ ÿÿ).
tanto, ÿÿ es un homeomorfismo. De manera similar, ÿÿ : [0, 1] ÿ [ÿÿ, ÿÿ] dada por ÿÿ(ÿÿ) = (ÿÿ ÿ ÿÿ)ÿÿ + ÿÿ es un homeomorfismo.
Ejercicio 18.6. Considerar

ÿÿ : R ÿ R
para ÿÿ ÿ Q,
ÿÿ ÿÿ ( ÿÿÿÿÿ para ÿÿ ÿ R \ Q.
Decimos que ÿÿ es continua precisamente en 0. De hecho, sea ÿÿ ÿ 0. Si ÿÿ ÿ Q, entonces ÿÿ = (0, 2ÿÿ) o ÿÿ = (2ÿÿ, 0)
(dependiendo del signo de ÿÿ) es un vecindario de ÿÿ (ÿÿ) = ÿÿ para la cual hay

ningún barrio ÿÿ de ÿÿ con ÿÿ (ÿÿ ) ÿ ÿÿ . Si ÿÿ ÿ R \ Q, el vecindario (ÿ2ÿÿ, 0) o (0, ÿ2ÿÿ) (dependiendo

del signo de ÿÿ) de ÿÿ (ÿÿ) = ÿÿÿ sirve para el mismo propósito. Entonces, si ÿÿ ÿ 0 entonces ÿÿ no es continua en
ÿÿ. Para ÿÿ = 0, dada una vecindad ÿÿ de ÿÿ (0) = 0 existe ÿÿ > 0 tal que (ÿÿÿ, ÿÿ) ÿ ÿÿ
, y ÿÿ ( (ÿÿÿ, ÿÿ)) = (ÿÿÿ, ÿÿ). De ello se deduce que ÿÿ es continua en 0.
Ejercicio 18.7. (a) Sean ÿÿ0 ÿ Rÿ y ÿÿ un entorno de ÿÿ (ÿÿ0) en R. Entonces existe ÿÿ > 0 tal que (ÿÿ (ÿÿ0) ÿ ÿÿ,
ÿÿ (ÿÿ0) + ÿÿ) ÿ ÿÿ . Como ÿÿ es continua por la derecha, existe ÿÿ > 0 tal que 0 < ÿÿ ÿ ÿÿ0 < ÿÿ implica |ÿÿ (ÿÿ) ÿ
ÿÿ (ÿÿ0)| < ÿÿ. Por lo tanto, ÿÿ = [ÿÿ0, ÿÿ0 + ÿÿ) es un entorno de ÿÿ0 tal que ÿÿ (ÿÿ ) ÿ ÿÿ (b) Tenga en cuenta que
, entonces
en Rÿ , cualquier intervalo [ÿÿ, ÿÿ) es
ÿÿ es
tanto
continua
abiertoen
como
ÿÿ0.cerrado:
Se siguees
que
un ÿÿ
conjunto
: Rÿ ÿ R
abierto
es continua
básico , y R \ [ÿÿ, ÿÿ) =
(ÿÿ, ÿÿ) ÿ [ÿÿ, ÿ) es unión de conjuntos abiertos. Por lo tanto, si ÿÿ es continua cuando se considera como
( [ÿÿ, ÿÿ)) debe ser abierta y cerrada en R, por lo tanto, vacía o toda
ÿ1
función R ÿ Rÿ , toda preimagen ÿÿ de R.
Por lo tanto, ÿÿ debe ser constante.
Cuando ÿÿ se considera como una función Rÿ ÿ Rÿ , la continuidad significa que para todo ÿÿ y todo ÿÿ > 0
existe ÿÿ > 0 tal que ÿÿ ( [ÿÿ, ÿÿ + ÿÿ)) ÿ [ÿÿ (ÿÿ), ÿÿ (ÿÿ) + ÿÿ). Esto significa que ÿÿ es continua por la derecha y
localmente no decreciente por la derecha.
Ejercicio 18.8. (a) Probamos que ÿÿ = {ÿÿ | ÿÿ(ÿÿ) < ÿÿ (ÿÿ)} está abierto en ÿÿ ÿÿ(ÿÿ) < . Sea ÿÿ ÿ ÿÿ , de modo que
ÿ1 ÿ1
ÿÿ (ÿÿ). Si hay un elemento ÿÿ entre ÿÿ(ÿÿ) y ÿÿ (ÿÿ), entonces ÿÿ ÿ ÿÿ Si no hay elementos
((ÿÿ, ÿÿ))ÿÿÿ ( (ÿÿ, +ÿ)).
ÿ1 ÿ1
entre ÿÿ(ÿÿ) y ÿÿ (ÿÿ), entonces ÿÿ ÿ ÿÿ que todas estas preimágenes están
( (ÿÿ,abiertas
ÿÿ (ÿÿ)) ÿ ÿÿ ( (ÿÿ(ÿÿ), +ÿ)). Nota
desde ÿÿ y ÿÿ son continuos. Así ÿÿ = ÿÿ ÿÿÿ , dónde
ÿ1 ÿ1 ÿ1 ÿ1
ÿÿ = Ø ÿÿ ((ÿÿ, ÿÿ)) ÿ ÿÿ ( (ÿÿ, +ÿ)) y ÿÿ = Ø ÿÿ ( (ÿÿ, ÿÿ (ÿÿ)) ÿ ÿÿ ( (ÿÿ(ÿÿ), +ÿ))
ÿÿ ÿÿÿ ÿÿ(ÿÿ)<ÿÿ (ÿÿ)
(ÿÿ(ÿÿ),ÿÿ (ÿÿ))=ÿ
están abiertos en ÿÿ . Entonces ÿÿ está abierto en ÿÿ y por lo tanto ÿÿ \ ÿÿ = {ÿÿ | ÿÿ (ÿÿ) ÿ ÿÿ(ÿÿ)} está .
cerrado en ÿÿ (b) Seguimos la pista. Sea ÿÿ = {ÿÿ | ÿÿ (ÿÿ) ÿ ÿÿ(ÿÿ)} y ÿÿ = {ÿÿ | ÿÿ(ÿÿ) ÿ ÿÿ (ÿÿ)}. Entonces ÿÿ
y ÿÿ están cerrados en ÿÿ por (a), ÿÿ ÿ ÿÿ = {ÿÿ | ÿÿ (ÿÿ) = ÿÿ(ÿÿ)}, y ÿÿ = ÿÿ ÿ ÿÿ. Como ÿÿ y ÿÿ son continuas, sus
0 0
restricciones ÿÿ que : ÿÿ ÿ ÿÿ y ÿÿ : ÿÿ ÿ ÿÿ son continuas. Se sigue del lema pegado
0 (ÿÿ) si ÿÿ ÿ ÿÿ,
ÿ : ÿÿ ÿ ÿÿ, ÿ(ÿÿ) = min{ÿÿ (ÿÿ), ÿÿ(ÿÿ)} = ( ÿÿ ÿÿ 0 (ÿÿ) si ÿÿ ÿ ÿÿ

es continuo
Ejercicio 18.9. (a) Si la colección {ÿÿÿÿ }ÿÿ tiene dos elementos, este es el lema de pegado. Si tiene ÿÿ > 2
elementos, aplica inducción.
(b) Sea ÿÿ0 = (ÿÿ, 0], y ÿÿÿÿ = [1/ÿÿ, ÿ) si ÿÿ ÿ 1. Entonces cada ÿÿÿÿ está cerrado en R y R = Ð Sea ÿÿ ÿÿÿÿ.
ÿÿ : R ÿ R
ÿÿ ÿÿ ( 01sisiÿÿ
ÿÿÿÿÿÿÿÿ
ÿÿ0.para alguna ÿÿ ÿ 1,

Entonces ÿÿ |ÿÿÿÿ es continua para todo ÿÿ, pero ÿÿ no es continua en 0.
(c) Dado ÿÿ ÿ ÿÿ hay una vecindad ÿÿÿÿ de ÿÿ tal que ÿÿÿÿ interseca solo a finitas de (ÿÿÿÿ ÿÿÿÿÿ)
= Ðÿÿ ÿÿÿÿ, digamosÿÿ1,
por (a). se
. . sigue
, ÿÿÿÿ.que
Tenÿÿen|ÿÿÿÿ
cuenta
es continua. , ÿÿ,loÿÿÿÿ
que para Por
cada ÿÿ = ÿÿÿÿÿ
tanto, . . .=está
1, ÿÿ cerrado
yÐcada
, donde en ÿÿÿÿ
ÿÿ | (ÿÿÿÿ
cada ÿÿÿÿ. está
Dado
ÿ ÿÿÿÿ) queÿÿÿÿ
esabierta
continua,
ÿÿ=1
en ÿÿ y cada ÿÿ |ÿÿÿÿ es continua, por lo que ÿÿ es continua (Teorema 18.2(f)). ÿÿ ÿÿÿÿ,
Ejercicio 18.10. Sea ÿÿ abierto en ÿÿ y ÿÿ abierto en ÿÿ, de modo que ÿÿ ×ÿÿ sea un elemento base para ÿÿ×ÿÿ.
ÿ1 ÿ1 ÿ1
Entonces (ÿÿ ) está abierto en ÿÿ y ÿÿ (ÿÿ ) está abierto en ÿÿ. Además, ÿÿ ×ÿÿ ÿ (ÿÿ ×ÿÿ) (ÿÿ ×ÿÿ ) si y solo
ÿ1 ÿ1
ÿÿ si ÿÿ (ÿÿ) × ÿÿ(ÿÿ) ÿ ÿÿ ×ÿÿ , si y solo si ÿÿ ÿ ÿÿ (ÿÿ ) y ÿÿ ÿ ÿÿ (ÿÿ ), entonces
ÿ1 ÿ1 ÿ1
(ÿÿ × ÿÿ) (ÿÿ ×ÿÿ ) = ÿÿ (ÿÿ ) × ÿÿ (ÿÿ ),
está abierto en ÿÿ × ÿÿ. Deducimos que ÿÿ × ÿÿ es continua.
Ejercicio 18.11. Supongamos que ÿÿ es continua. Dado ÿÿ0 ÿ ÿÿ, la función ÿ : ÿÿ ÿ ÿÿ dada por ÿ(ÿÿ) = ÿÿ (ÿÿ × ÿÿ0) es la
combinación de la incrustación continua ÿÿ ÿ ÿÿ × ÿÿ, ÿÿ ÿÿ ÿÿ × ÿÿ0 (ver ejercicio 18.4) y ÿÿ, entonces ÿ es continua. De manera
similar, ÿÿ : ÿÿ ÿ ÿÿ definida por ÿÿ (ÿÿ) = ÿÿ (ÿÿ0 ×ÿÿ) es continua para todo ÿÿ0 ÿ ÿÿ
.
Ejercicio 18.12. (a) Sea ÿÿ0 en R y sea ÿ : R ÿ R definido por
2 2
+ ÿÿ0 ) si ÿÿ × ÿÿ0 ÿ 0 × 0, si
0 ÿÿ × ÿÿ0 = 0 × 0.
ÿ(ÿÿ) = ÿÿ (ÿÿ × ÿÿ0) = ( ÿÿ ÿÿ0/(ÿÿ
2 2
Si ÿÿ0 = 0, entonces ÿ(ÿÿ) = 0 para todo ÿÿ ÿ R, entonces ÿ es continua. Si ÿÿ0 ÿ 0, entonces ÿ(ÿÿ) = ÿÿÿÿ0/(ÿÿ ) también es0
+ ÿÿ
continua (por cálculo elemental). Como la función ÿÿ : R ÿ R dada por ÿÿ (ÿÿ) = ÿÿ (ÿÿ0 × ÿÿ) es la misma función que ÿ, ÿÿ es
continua en cada variable por separado. (b) ÿÿ : R ÿ R viene dada por
0 si ÿÿ = 0.
ÿÿ(ÿÿ) = ÿÿ (ÿÿ × ÿÿ) = ( 1/2 si ÿÿ ÿ 0,
1
(c) Tenga en cuenta que (ÿ1
2,2 ) es una vecindad de ÿÿ (0 × 0) = 0, pero no hay una vecindad de ÿÿ
1
0 × 0 tal que ÿÿ (ÿÿ ) ÿ (ÿ1 por lo que2 , 2 ), ya que todo entorno de 0 × 0 contiene un punto ÿÿ × ÿÿ ÿ 0 × 0
ÿÿ (ÿÿ × ÿÿ) = 1/2.
Ejercicio 18.13. Sean ÿ, ÿÿ : ÿÿ ÿ ÿÿ extensiones continuas de ÿÿ . Supongamos que hay un punto ÿÿ ÿ ÿÿ tal que ÿ(ÿÿ) ÿ ÿÿ(ÿÿ).
0
Como ÿ = ÿÿ sobre ÿÿ, debemos tener ÿÿ ÿ ÿÿ hay un entorno ÿÿ de ÿ(ÿÿ) y un entorno ÿÿ de ÿÿ(ÿÿ). Como
tal que ÿÿ
ÿÿ es
ÿ ÿÿHausdor
= ÿ. Como ,
(ÿÿ ) es un vecindario de ÿÿ. Dado que ÿÿ ÿ ÿÿ
ÿ1 ÿ1 0
ÿ y ÿÿ son continuas, ÿ (ÿÿ) ÿ ÿÿ , hay un punto (ÿÿ )
ÿ1 ÿ1 ÿ1 ÿ1
ÿÿ ÿ ÿ (ÿÿ) ÿÿÿ (ÿÿ ) ÿÿÿ diferente de ÿÿ. Pero ÿ = ÿÿ sobre ÿÿ, entonces ÿÿ (ÿÿ ) ÿÿÿ = ÿ ÿÿÿ y por lo tanto (ÿÿ
ÿ1 ÿ1 ÿ1
ÿÿ ÿ ÿ (ÿÿ ) ÿ ÿ (ÿÿ) = ÿ ÿÿÿ ) = ÿ, una contradicción. Se sigue que ÿ = ÿÿ sobre ÿÿ.

19 La topología del producto

Ejercicio 19.1. Sea ÿÿ el conjunto de todos los conjuntos de la forma Î ÿÿ; Sea ÿ la ÿÿ ÿÿÿÿ, donde ÿÿÿÿ ÿ ÿÿÿ para cada
base de la topología de caja ÿÿ en Î donde ÿÿÿÿ está abierto en ÿÿÿÿ para
ÿÿ ÿÿÿÿ cada
que ÿÿ. de todos los conjuntos de la forma Î ÿÿ
consta ÿÿÿÿ,
Probamos que ÿÿ es una base para una topología sobre Î ÿÿÿÿ dos elementos en ÿÿ y x = (ÿÿÿÿ )ÿÿ ÿ (Î ÿÿ ÿÿÿÿ, y eso
esta topología es igual a ÿÿ. Sea Î ( Î ÿÿ ÿÿÿÿ, Î ÿÿ ÿÿ ÿÿÿÿ )
ÿÿ ÿÿÿÿ ) = Î ÿÿ ÿ (ÿÿÿÿ ÿ ÿÿÿÿ ). Para cada ÿÿ, existe ÿÿÿÿ ÿ ÿÿÿ tal que ÿÿÿÿ ÿ ÿÿÿÿ ÿ (ÿÿÿÿ ÿ ÿÿÿÿ ).
Así x ÿ Î ÿÿÿÿ ÿ (Î para

ÿÿ ÿÿ ÿÿÿÿ ) ÿ (Î ÿÿ ÿÿÿÿ ), donde Î ÿÿ ÿÿÿÿ ÿ ÿÿ. De ello se deduce que ÿÿ es de hecho una base
una topología ÿÿ sobre Î x = ÿÿ ÿÿÿÿ . Ahora probamos ÿÿ = ÿÿ. Claramente ÿÿ ÿ ÿÿ ya que ÿÿ ÿ ÿ. Ahora sea ÿÿÿÿ ÿ ÿ.
(ÿÿÿÿ )ÿÿ ÿ Î x ÿ Î ÿÿÿÿ Para
ÿÿ ÿ Î La cada ÿÿ, existe ÿÿÿÿ ÿ ÿÿÿ tal que ÿÿÿÿ ÿ ÿÿÿÿ ÿ ÿÿÿÿ, de modo que
prueba del
ÿÿ topología
enunciadodel
ÿÿ para
ÿÿÿÿla
donde Î ÿÿ ÿÿÿÿ ÿ ÿÿ. Esto prueba ÿÿ ÿ ÿÿ, por lo que se cumple la igualdad.
producto es análoga.
Ejercicio 19.2. Si el producto Î producto ÿÿ A ÿÿÿÿ se le da la topología de caja (resp. topología de producto), luego ÿÿÿÿ )
Î ÿÿ ÿÿÿÿ en la topología de caja (resp. topología de producto) es un subespacio con base ( Î ÿÿ ÿ
(Î ÿÿ ÿÿÿÿ ) = Î ÿÿ (ÿÿÿÿ ÿÿÿÿÿ ), dondeÿÿÿÿ está abierto en ÿÿÿÿ para cada ÿÿ (resp. yÿÿÿÿ = ÿÿÿÿ excepto por noche
muchos valores de ÿÿ).
Ejercicio 19.3. La siguiente prueba funciona tanto para las topologías de caja como de producto en Î Sean x = ÿÿ ÿÿÿÿ .
(ÿÿÿÿ )ÿÿ y y = (ÿÿÿÿ )ÿÿ puntos distintos de Î que ÿÿÿÿ ÿ ÿÿÿÿ . Como ÿÿÿÿ
ÿÿ ÿÿÿÿ
es .Hausdor
Entonces
deexiste
ÿÿÿÿ tal
un que
índice
ÿÿ ÿÿ
ÿ ÿÿ
tal= ÿ.
Sea ÿÿ = Î , hay un barrio ÿÿ de ÿÿÿÿ y un barrio ÿÿ ÿÿÿÿ, donde ÿÿÿÿ = ÿÿ y ÿÿÿÿ = ÿÿÿÿ
ÿÿ para todo ÿÿ ÿ ÿÿ; sea ÿÿÿÿ, donde ÿÿÿÿ = ÿÿ y ÿÿÿÿ = ÿÿÿÿ para
ÿÿ = Î y ÿÿ todo ÿÿ ÿ ÿÿ. Entonces ÿÿ y ÿÿ son vecindarios de x y
respectivamente tales que ÿÿ ÿ ÿÿ = ÿ. De ello se deduce que Î ÿÿ ÿÿÿÿ es Hausdor.
Ejercicio 19.4. Sea ÿÿ : (ÿÿ1 × · · · × ÿÿÿÿÿ1) × ÿÿÿÿ ÿ ÿÿ1 × · · · × ÿÿÿÿ
ÿÿ ( ( (ÿÿ1, . . . ,ÿÿÿÿÿ1), ÿÿÿÿ)) = (ÿÿ1, . . . , ÿÿÿÿ).
ÿ1
ÿÿ es claramente biyectiva. Si ÿÿÿÿ está abierto en ÿÿÿÿ para ÿÿ = 1, . . . , ÿÿ, (ÿÿ1×· · ·×ÿÿÿÿ) = (ÿÿ1×· · ·×ÿÿÿÿÿ1)×ÿÿÿÿ
entonces ÿÿ es abierto en (ÿÿ1 × · · · × ÿÿÿÿÿ1) × ÿÿÿÿ, por lo que ÿÿ es continua.
Ahora, (ÿÿ1×· · ·×ÿÿÿÿÿ1) ×ÿÿÿÿ tiene una base que consta de elementos de la forma (ÿÿ1×· · ·×ÿÿÿÿÿ1) ×ÿÿÿÿ
donde cada ÿÿÿÿ es un elemento base para ÿÿÿÿ . Ya que
ÿÿ ( (ÿÿ1 × · · · × ÿÿÿÿÿ1) × ÿÿÿÿ) = ÿÿ1 × · · · × ÿÿÿÿ
es abierto en ÿÿ1 × · · · × ÿÿÿÿ, entonces ÿÿ es un mapa abierto. Por lo tanto, ÿÿ es un homeomorfismo.
Ejercicio 19.5. Sea ÿÿ : ÿÿ ÿ Î ÿÿ ÿÿÿ ÿÿÿÿ por la ecuación
ÿÿ (ÿÿ) = (ÿÿÿÿ (ÿÿ))ÿÿ ÿÿÿ ,
donde ÿÿÿÿ : ÿÿ ÿ ÿÿÿÿ para cada ÿÿ. Sea Î ÿÿ ÿÿÿÿ tiene la topología de caja. Entonces si ÿÿ es continua, ÿÿÿÿ
continua para cada ÿÿ. De hecho, x ÿÿ ÿ ÿÿ y recuerda que la proyección ÿÿÿÿ : Î ÿÿÿÿ ÿ ÿÿÿÿ es continua.ÿÿPor lo tanto ÿÿÿÿ
= ÿÿÿÿ ÿÿÿ es el compuesto de dos funciones continuas, por lo tanto, continua.

ÿÿ
Ejercicio 19.6. Para cada ÿÿ ÿ Z+, escribimos xÿÿ = (ÿÿ ÿÿ )ÿÿ, de modo que ÿÿÿÿ (xÿÿ) = ÿÿ Primero por cada ÿÿ.
ÿÿ ÿÿ
supongamos que la secuencia x1, x2, . . . converge a x = (ÿÿÿÿ )ÿÿ en el espacio producto Î ÿÿÿÿ, donde ÿÿÿÿ = ÿÿÿÿ para ÿÿ ÿÿÿÿ .
Fija un índice ÿÿ y deja que ÿÿ sea un vecindario de ÿÿÿÿ (x) = ÿÿÿÿ . Sea ÿÿ = Î cada ÿÿ ÿ ÿÿ y ÿÿÿÿ = ÿÿ
ÿÿ . Entonces ÿÿ es un entorno de x, entonces existe ÿÿ ÿ Z+ tal que xÿÿ ÿ ÿÿ ÿÿ para todo ÿÿ ÿ ÿÿ . Por lo tanto ÿÿÿÿ (xÿÿ) = ÿÿ ÿ ÿÿ para todo
ÿÿ ÿ ÿÿ . Como ÿÿ era arbitrario, se sigue que ÿÿÿÿ (x1), ÿÿÿÿ (x2), . . . converge a ÿÿÿÿ
(x). Como ÿÿ era arbitrario, esto es válido para todos los
ÿÿ índices ÿÿ.
Por el contrario, supón que la sucesión ÿÿÿÿ (x1), ÿÿÿÿ (x2), . . . converge a ÿÿÿÿ (x) para cada ÿÿ. Sea ÿÿÿÿ para conjuntos abiertos ÿÿÿÿ en ÿÿÿÿ tales que
ÿÿ sea un entorno base de x en Î ÿÿÿÿ = ÿÿÿÿ excepto ÿÿ ÿÿÿÿ, de modo que ÿÿ = Î ÿÿ
finitamente muchos índices ÿÿ1, . . . , ÿÿÿÿ . Para cada ÿÿ = 1, . . . , ÿÿ, existe ÿÿÿÿ ÿ Z+ tal que ÿÿÿÿÿÿ (xÿÿ) = ÿÿ ÿ ÿÿÿÿÿÿ para todo ÿÿ ÿ
ÿÿÿÿ ÿÿ
entonces ÿÿ
ÿÿÿÿ . Por lo tanto, si ÿÿ > max{ÿÿÿÿ
ÿÿ } ÿÿ todo ÿÿ ÿ ÿÿ . Como ÿÿ era arbitrario, se sigue que x1, x2,ÿÿ=1
. . ., converge a x.ÿ ÿÿÿÿ para todo ÿÿ y
ÿÿ
Si yo ÿÿ ÿÿÿÿ tiene la topología de caja en lugar de la topología de producto, esto ya no es cierto. Por ejemplo, considere R ÿÿ con la
topología de caja y x = (0, 0, . . .). Después
1
ÿÿ = (ÿ1, 1) × (ÿ1 , ) × · · · × (ÿ1 , 1)×···
2 2 ÿÿ ÿÿ
1 1
es una vecindad de x. Para ÿÿ ÿ Z+, sea xÿÿ = ( (ÿÿÿÿ(xÿÿ))ÿÿÿ1 = (1, a ÿÿ
,
ÿÿ
, . . .). Para cualquier ÿÿ ÿ Z+, la secuencia . . .) converge a
1 1
x, ya que para cualquier ÿÿ2 ÿ, Z+, xÿÿ ÿ ÿÿ= .0, pero la secuencia x1, x2, . . . no converge
3 , ÿÿÿÿ(x)
ÿÿ
Ejercicio 19.7. Primero considere R en la topología de caja. Si x = (ÿÿÿÿ)ÿÿ ÿ R ÿ, entonces ÿÿÿÿ ÿ 0 para in nitos índices ÿÿ ÿ
Z+. Para cada uno de estos índices existe un conjunto abierto ÿÿÿÿ de R tal que ÿÿÿÿ ÿ ÿÿÿÿ y 0 ÿ ÿÿÿÿ. Sea ÿÿ = Î ÿÿÿÿ, donde ÿÿÿÿ es uno
de estos conjuntos si ÿÿÿÿ ÿ 0 y ÿÿÿÿ
ÿÿ de
= caja.
R si ÿÿÿÿ = 0. Entonces ÿÿ es una vecindad de x tal que ÿÿ ÿ R era arbitraria, entonces en la topología
ÿ ÿ
= ÿ, entonces X ÿ (R ÿ) 0 . Dado que x ÿ R
ÿ
Rÿ = R
ÿÿ
Ahora considere R en la topología del producto. Sea x = (ÿÿÿÿ)ÿÿ ÿ R ÿÿ \ R ÿ y sea ÿÿ una base ÿÿÿÿ, donde ÿÿÿÿ está abierto
vecindad de x en R ÿÿ. Entonces ÿÿ = Î todos excepto ÿÿ en R para cada ÿÿ y ÿÿÿÿ = R para
finitamente muchos enteros positivos ÿÿ. Sea ÿÿ ÿ Z+ tal que ÿÿÿÿ = R para todo ÿÿ ÿ ÿÿ . Entonces sea y = (ÿÿÿÿ) ÿ R ÿÿ tal que ÿÿÿÿ = ÿÿÿÿ
para todo ÿÿ < ÿÿ y ÿÿÿÿ
ÿ ÿÿ =
la 0topología
para tododel
ÿÿproducto.
ÿ ÿÿ . Así y ÿ R ÿ y ÿ ÿÿ ÿ ÿ. Como ÿÿ era arbitrario, tenemos x ÿ (R ÿ) 0 . Concluimos que Rÿ = R y
ÿ ÿÿ
, entonces r en
ÿ1 ÿÿ ÿÿ
Ejercicio 19.8. ÿ es biyectiva con inversa ÿ :R ÿR dada por
ÿ1
ÿ ( (ÿÿ1, ÿÿ2, . . .)) = ( (ÿÿ1 ÿ ÿÿ1)/ÿÿ1, (ÿÿ2 ÿ ÿÿ2)/ÿÿ2, . . .).
ÿÿ
ÿ(x) = (ÿÿÿ
ÿÿ tener
(x))ÿÿ.laComo
topología
cadadel
ÿÿÿproducto.
es continuo,
Paraentonces
cada ÿÿ ÿÿZ+,
es continuo.
sea ÿÿÿ : R
Del
Sea
mismo
R tal que ÿ R dado por ÿÿÿ (x) = ÿÿÿÿÿÿÿÿ +ÿÿÿÿ , es
ÿ1
modo, ÿ continua, por lo que ÿ es un homeomorfismo de R ÿÿ consigo mismo en la topología del producto. que contiene ÿ(x).
ÿÿ
Ahora permita que R ÿÿ tenga la topología de caja. Seaÿÿ = Î ÿÿ ÿÿÿÿ sea un elemento base para R
Para cada ÿÿ, deje que ÿÿÿÿ sea perfectamente pequeño de modo que el intervalo (ÿÿÿÿÿÿÿÿ + ÿÿÿÿ - ÿÿÿÿÿÿÿÿ, ÿÿÿÿÿÿÿÿ + ÿÿÿÿ + ÿÿÿÿÿÿÿÿ)
esté completamente contenido en ÿÿÿÿ, de modo que ÿÿÿÿ = (ÿÿÿÿ ÿÿ ÿÿ , ÿÿÿÿ + ÿÿ) satisface ÿÿÿ (( ÿÿÿÿ) ÿ ÿÿÿÿ. Por lo tanto, Î
ÿÿ ÿÿÿÿ está abierto en

R ÿÿ que contiene x y ÿ( Î ÿÿ ÿÿÿÿ) ÿ Î ÿÿ ÿÿÿÿ. Como x y ÿÿ eran arbitrarios, entonces ÿ es continua. es continua y,
ÿ1
Del mismo modo, ÿ por lo tanto, ÿ es un homeomorfismo de R ÿÿ consigo mismo en la topología de caja.
Ejercicio 19.9. Recuérdese que el axioma de elección es equivalente a la existencia de funciones de elección (Lema 9.2): dada una
colección ÿ de conjuntos no vacíos, existe una función
ÿÿ
ÿÿ: ÿ ÿ Ø
ÿÿÿÿ
tal que ÿÿ(ÿÿ) es un elemento de ÿÿ, para cada ÿÿ ÿ ÿ.
Primero suponga que para cualquier familia indexada {ÿÿÿÿ }ÿÿ ÿÿÿ de conjuntos no vacíos, con ÿÿ ÿ 0, el producto cartesiano Î
ÿÿ ÿÿÿ ÿÿÿÿ no ÿÿÿÿÿ
está vacío.
ÿÿ tal Sea
que ÿÿ una ÿcolección
ÿÿ(ÿÿ) de conjuntos
ÿÿ para cada no vacíos.
ÿÿ ÿ ÿÿ. Primero Tenemosÿÿ:
indexamos que demostrar
sea ÿÿ = ÿÿ yque
ÿÿ : existe
ÿÿ ÿ ÿÿuna función
dado por ÿÿÿÿ: ÿÿ =ÿ ÿÿ.
(ÿÿ) Ð
Entonces {ÿÿ}ÿÿÿÿÿ es una familia indexada de conjuntos,
hipótesis,
por lo
este
que
producto
podemosnoconsiderar
es vacío, por
su producto
lo que existe
cartesiano
una función
Î ÿÿÿÿÿ ÿÿ. Por
ÿÿ
x: ÿÿ ÿ Ø
ÿÿÿÿÿ
tal que x(ÿÿ) ÿ ÿÿ para cada ÿÿ ÿ ÿÿ. Entonces ÿÿ = x es la función que buscábamos.
Ahora supongamos que se cumple el axioma de elección, y sea {ÿÿÿÿ }ÿÿ ÿÿÿ una familia indexada de conjuntos no vacíos,
con ÿÿ ÿ 0. Esto significa que hay una colección no vacía de conjuntos ÿÿ y hay una indexación ( es decir, sobreyectiva) función ÿÿ :
ÿÿ ÿ ÿÿ tal que ÿÿ (ÿÿ) = ÿÿÿÿ ÿ ÿÿ para cada ÿÿ ÿ ÿÿ . Por el axioma de elección, existe una función ÿÿ: ÿÿ ÿ Ð ÿÿÿÿÿ ÿÿ tal que ÿÿ(ÿÿ)
ÿ ÿÿ para cada ÿÿ ÿ ÿÿ.
Así la función
ÿÿÿÿ
x: = ÿÿ ÿ ÿÿ : ÿÿ ÿ ÿÿ = Ø
ÿÿ ÿÿÿ
satisface es x(ÿÿ) = ÿÿ(ÿÿ (ÿÿ)) = ÿÿ(ÿÿÿÿ ) ÿ ÿÿÿÿ para cada ÿÿ ÿ ÿÿ, entonces el producto Î ÿÿ ÿÿÿ ÿÿÿÿ es no vacío.
Ejercicio 19.10. (a) Sea ÿÿ el conjunto de todas las topologías en ÿÿ para las que cada ÿÿÿÿ es continua.
Entonces ÿÿ ÿ ÿ ya que la topología discreta en ÿÿ está en ÿÿ, y ÿÿ = Ñ ÿÿÿÿÿ ÿÿ es una topología en ÿÿ del Ejercicio 13.4. Esta es
claramente la topología más gruesa ÿÿ para la cual cada ÿÿÿÿ es continua, como cualquier otra topología que satisfaga ÿÿ esta
condición debe estar en ÿÿ y por lo tanto ÿÿ ÿ ÿÿ.
(b) Notamos que cada ÿÿÿÿ es continua en una topología ÿÿ si y solo si ÿÿ ÿ ÿÿ. Como ÿÿ es la intersección de todas esas
topologías, entonces ÿÿ es igual a la intersección de todas las topologías que contienen ÿÿ. Así, por el Ejercicio 13.5, ÿÿ es una
subbase de ÿÿ.
(c) Si ÿÿ : ÿÿ ÿ ÿÿ es continua relativa a ÿÿ, entonces cada ÿÿÿÿ ÿ ÿÿ es una composición de funciones continuas, por lo tanto,
continua. Por el contrario, asume que cada ÿÿÿÿ ÿ ÿÿ es continua. Basta probar que ÿÿ
ÿ1 ÿ1 ÿ1 ÿ1 ÿ1
(ÿÿ (ÿÿÿÿ )) está abierto en ÿÿ para todo elemento de subbase ÿÿ ÿÿ (ÿÿÿÿ ) en ÿÿ. Pero ÿÿ (ÿÿ
ÿÿ (ÿÿÿÿ )) =
ÿ1
(ÿÿÿÿ ÿ ÿÿ (ÿÿÿÿ ) para cada uno de esos elementos, por lo que está abierto.
ÿ1 ÿ1
ÿÿ) (d) Sea ÿÿ un elemento base de ÿÿ, de modo que ÿÿ = ÿÿ ÿÿ1 (ÿÿÿÿ1 ) ÿ · · · ÿ ÿÿ ÿÿÿÿ, ÿÿÿÿ (ÿÿÿÿÿÿ ) para algunos índices ÿÿÿÿ
y algunos conjuntos ÿÿÿÿÿÿ abiertos en ÿÿÿÿÿÿ para cada ÿÿ. Sea ÿÿ = Î ÿÿ donde ÿÿÿÿÿÿ = ÿÿÿÿÿÿ para todo ÿÿ y ÿÿÿÿ = ÿÿÿÿ
dieciséis
Soluciones por positrón0802
20 La topología métrica
para todos los demás índices. Si x = (ÿÿÿÿ )ÿÿ ÿ ÿÿ (ÿÿ), entonces ÿÿ (ÿÿ) = x para algún ÿÿ ÿ ÿÿ, entonces ÿÿÿÿÿÿ = ÿÿÿÿÿÿ (ÿÿ) ÿ
ÿÿÿÿÿÿ Así ÿÿ ÿ). Como ÿÿ es abierto en Î abre en ÿÿ para todo ÿÿ ÿ ÿÿ.
ÿÿ ÿÿÿÿ, ÿÿ = ÿÿ (ÿÿ) está abierto en ÿÿ. De ello se deduce que ÿÿ (ÿÿ ) es
ÿÿ ÿÿ
Ejercicio 20.1. (a) Sea ÿÿ la métrica al cuadrado en R . Entonces para x, y ÿ R tenemos
0
ÿÿ (x, y) ÿ ÿÿ (x, y) ÿ ÿÿÿÿ (x, y).
Así, para todo x ÿ R ÿÿ y todo ÿÿ > 0, tenemos
ÿÿÿÿ (x, ÿÿ/ÿÿ) ÿ ÿÿÿÿ 0 (x, ÿÿ) ÿ ÿÿÿÿ (x, ÿÿ).
0 0
De ello se deduce que las topologías en R ÿÿ inducidas por ÿÿ y ÿÿ son iguales (Lema 20.2), entonces ÿÿ induce el
ÿÿ
topología habitual en R como lo hace ÿÿ (Teorema 20.3).
ÿÿ
(b) De manera similar a (a), para todo x, y ÿ R tenemos
0
1/
ÿÿ (x, y) ÿ ÿÿ ÿÿ (x, y) ÿ ÿÿ ÿÿ (x, y),
asi que
ÿÿÿÿ (x, ÿÿ/ÿÿ 1/ÿÿ ) ÿ ÿÿÿÿ 0 (x, ÿÿ) ÿ ÿÿÿÿ (x, ÿÿ)
0 ÿÿ
y por tanto la topología inducida por ÿÿ es la topología del producto en R .
Ejercicio 20.2. Según el ejercicio 16.9, la topología de orden de diccionario en R×R es la misma que la topología del producto Rÿÿ ×
R, donde Rÿÿ denota R con la topología discreta. Sabemos que Rÿÿ y R son metrizables. Por lo tanto, basta con demostrar que el
producto de dos espacios metrizables es metrizable.
0
Sean ÿÿ y ÿÿ espacios metrizables, con métricas ÿÿ y ÿÿ respectivamente. En ÿÿ × ÿÿ, de ne
ÿÿ (ÿÿ × ÿÿ,ÿÿ × ÿÿ) = máx{ÿÿ (ÿÿ,ÿÿ), ÿÿ0 (ÿÿ, ÿÿ)}.
Entonces ÿÿ es una métrica en ÿÿ × ÿÿ; queda probar que induce la topología del producto sobre ÿÿ × ÿÿ Si ÿÿÿÿ (ÿÿ, ÿÿ1) × ÿÿÿÿ (ÿÿ, .
ÿÿ2) es un elemento base del espacio producto ÿÿ × ÿÿ, y ÿÿ = min{ÿÿ1, ÿÿ2}, entonces ÿÿ ×ÿÿ ÿ ÿÿÿÿ (ÿÿ ×ÿÿ, ÿÿ) ÿ ÿÿÿÿ (ÿÿ, ÿÿ1)
×ÿÿÿÿ (ÿÿ, ÿÿ2), por lo que la topología del producto es más gruesa que la topología ÿÿ.
Por el contrario, si ÿÿÿÿ (ÿÿ ×ÿÿ, ÿÿ) es un elemento base para la topología ÿÿ, entonces ÿÿ ×ÿÿ ÿ ÿÿÿÿ (ÿÿ, ÿÿ) ×ÿÿÿÿ 0 (ÿÿ, ÿÿ) ÿ ÿÿÿÿ
(ÿÿ ×ÿÿ), ÿÿ ×ÿÿ, por lo que la topología del producto es menor que la topología ÿÿ. De ello se deduce que ambas topologías son
iguales, por lo que el espacio producto ÿÿ × ÿÿ es metrizable.
ÿ1
Ejercicio 20.3. (a) Sea ÿÿ < ÿÿ en R; seaÿÿ = ÿÿ ( (ÿÿ, ÿÿ)) y ÿÿ ×ÿÿ ÿ ÿÿ . Sea ÿÿ = ÿÿ (ÿÿ, ÿÿ), de modo que ÿÿ < ÿÿ <
ÿÿ. Toma ÿÿ > 0 suficientemente pequeño para satisfacer ÿÿ < ÿÿ ÿ2ÿÿ y ÿÿ +2ÿÿ < ÿÿ. Decimos que ÿÿÿÿ (ÿÿ, ÿÿ) ×ÿÿÿÿ (ÿÿ, ÿÿ) es
un vecindario de ÿÿ ×ÿÿ en ÿÿ ×ÿÿ contenido en ÿÿ . De hecho, sea ÿÿ ×ÿÿ ÿ ÿÿÿÿ (ÿÿ, ÿÿ) × ÿÿÿÿ (ÿÿ, ÿÿ). Entonces ÿÿ (ÿÿ,ÿÿ) < ÿÿ y
ÿÿ (ÿÿ, ÿÿ) < ÿÿ, entonces
ÿÿ (ÿÿ, ÿÿ) ÿ ÿÿ (ÿÿ, ÿÿ) + ÿÿ (ÿÿ, ÿÿ) + ÿÿ (ÿÿ, ÿÿ) < ÿÿ + 2ÿÿ < ÿÿ.

También tenemos
ÿÿ (ÿÿ, ÿÿ) ÿ ÿÿ (ÿÿ,ÿÿ) + ÿÿ (ÿÿ, ÿÿ) + ÿÿ (ÿÿ, ÿÿ),
asi que
ÿÿ < ÿÿ ÿ 2ÿÿ < ÿÿ (ÿÿ, ÿÿ) ÿ ÿÿ (ÿÿ,ÿÿ) ÿ ÿÿ (ÿÿ, ÿÿ) ÿ ÿÿ (ÿÿ,ÿÿ).
ÿ1
Así ÿÿ < ÿÿ (ÿÿ, ÿÿ) < ÿÿ y por lo tanto ÿÿ × ÿÿ ÿ ÿÿ ÿÿ era ( (ÿÿ, ÿÿ)) = ÿÿ . Por lo tanto ÿÿ es abierto en ÿÿ × ÿÿ y como
arbitrario, se sigue que ÿÿ es continua.
(b) Considera ÿÿÿÿ (ÿÿ, ÿÿ) para alguna ÿÿ ÿ ÿÿ y ÿÿ > 0. Como ÿÿ : ÿÿ continua en
0
× ÿÿ 0
ÿ R es continua, ÿÿ la función
0
es
cada variable por separado (Ejercicio 18.11). Así, dado ÿÿ ÿ ÿÿ

0
ÿ : ÿÿ
0
ÿR
ÿ1
dada por ÿ(ÿÿ) = ÿÿ (ÿÿ, ÿÿ) es continua. Como ÿÿÿÿ (ÿÿ, ÿÿ) = {ÿÿ | ÿÿ (ÿÿ, ÿÿ) < ÿÿ} = ÿ que ÿÿÿÿ (ÿÿ, ( (ÿ1, ÿÿ)), se sigue
0 0
ÿÿ) está abierto en ÿÿ . Concluimos que la topología de ÿÿ es menor que la topología de ÿÿ .
Ejercicio 20.4. (a) En la topología del producto, ÿÿ, ÿÿ y ÿ son continuas ya que cada una de sus funciones componentes lo son.
Para probar que ninguna de estas tres funciones es continua en la topología de caja, considere el conjunto
1 1 1 1
ÿÿ = (ÿ1, 1) × (ÿ 2 2 , ) × · · · × (ÿ 2 2 , )×··· .
ÿÿ ÿÿ ÿÿ ÿÿ
ÿÿ
Entonces ÿÿ es abierto en R en la topología de caja, pero
ÿ1 ÿ1 ÿ1
ÿÿ (ÿÿ) = ÿÿ (ÿÿ) = ÿ (ÿÿ) = {0}
no está abierto en R.
ÿ1
Ahora consideramos la topología uniforme en R ÿÿ. Desde ÿÿ (ÿÿÿÿ (0, 1)) = {0}, ÿÿ no es continua en la
topología uniforme. Probamos que tanto ÿÿ como ÿ son continuas. Sean ÿÿ ÿ R, ÿÿ = ÿÿÿÿ (ÿÿ(ÿÿ), ÿÿ) una bola con centro en ÿÿ(ÿÿ)
y ÿÿ = ÿÿÿÿ (ÿ(ÿÿ), ÿÿ) una bola con centro en ÿ(ÿÿ). Para probar que ÿÿ y ÿ son continuos, encontraremos un entorno ÿÿ de ÿÿ en R
tal que ÿÿ(ÿÿ ) ÿ ÿÿ y ÿ(ÿÿ ) ÿ ÿÿ . Observa que para ÿÿ ÿ R tal que ÿÿ (ÿÿ, ÿÿ) < 1,
ÿÿ
ÿÿ
ÿÿ (ÿÿ(ÿÿ), ÿÿ(ÿÿ)) = cenar {ÿÿ (ÿÿ, ÿÿ)} = ÿÿ (ÿÿ, ÿÿ) = cenar {ÿÿ ( ÿÿ , )} = ÿÿ (ÿ(ÿÿ), ÿ(ÿÿ)).
ÿÿ
ÿÿ ÿÿ
Por lo tanto, podemos tomar ÿÿ = (ÿÿ ÿ ÿÿ, ÿÿ + ÿÿ), donde ÿÿ = min{ÿÿ, ÿÿ}. (b)
Primero consideramos la sucesión (wÿÿ)ÿÿ . En la topología producto, un entorno base de 0 ÿÿÿÿ donde ÿÿÿÿ = R
tiene la forma ÿÿ = Î ÿÿ
excepto para finitos valores de ÿÿ y todos los ÿÿÿÿ restantes contienen 0. Si ÿÿ es el valor máximo de
ÿÿ para el cual ÿÿÿÿ ÿ R, entonces wÿÿ ÿ ÿÿ para todo ÿÿ > ÿÿ . Así (wÿÿ)ÿÿ converge a 0 en la topología del producto. Si converge
en cualquiera de las otras topologías, también debe converger a 0 , ya que estas topologías son Hausdor. Para la topología
uniforme, observa que, dado ÿÿ ÿ 1, ÿÿ (wÿÿ , 0) > 1, entonces wÿÿ ÿ ÿÿÿÿ (0, 1) para todo ÿÿ. Por lo tanto (wÿÿ)ÿÿ no converge en
la topología uniforme. Dado que la topología de caja es más estrecha que la topología uniforme, se deduce que (wÿÿ) tampoco
converge en la topología de caja.
Ahora considera la sucesión (xÿÿ)ÿÿ . Si ÿÿ = ÿÿÿÿ (0, ÿÿ) es bola centrada en 0, sea ÿÿ ÿ Z+ tal que y por lo tanto
1/ÿÿ < ÿÿ. Entonces xÿÿ ÿ ÿÿ para todo ÿÿ ÿ ÿÿ , (xÿÿ)ÿÿ converge a 0 en la topología uniforme. Ya que

la topología del producto es más gruesa que la topología uniforme, (xÿÿ)ÿÿ converge a 0 también en la topología del
1
producto. Pero (xÿÿ)ÿÿ no converge en la topología de caja, ya que xÿÿ ÿ (ÿ1, 1) ×·× (ÿ1 para todo ÿÿ ÿ Z+. ÿÿ
, ÿÿ
) ×· · ·
Los mismos argumentos muestran que (yÿÿ )ÿÿ converge a 0 en las topologías uniforme y producto,
pero no converge en la topología de caja.
Finalmente, dado
ÿÿ = (ÿÿÿ1, ÿÿ1) × (ÿÿÿ2, ÿÿ2) × · · · × (ÿÿÿÿÿ, ÿÿÿÿ) × · · ·
sea ÿÿ ÿ Z+ tal que 1/ÿÿ < min{ÿÿ1, ÿÿ2}. Entonces zÿÿ ÿ ÿÿ para todo ÿÿ ÿ ÿÿ . Dado que cualquier base vecina de 0 en
la topología de caja contiene una forma de ÿÿ, se deduce que (zÿÿ)ÿÿ converge a 0 en la topología de caja, por lo tanto,
también en las otras dos topologías.
ÿ
Ejercicio 20.5. Sea x = (ÿÿÿÿ)ÿÿ ÿ (R ÿ) 0 . Dado 0 < ÿÿ < 1 tenemos ÿÿÿÿ (x, ÿÿ) ÿR y = ÿ ÿ, entonces existe
(ÿÿÿÿ)ÿÿ ÿ R ÿ tal <que supÿÿ {ÿÿ (ÿÿÿÿ
1, afirmamos , ÿÿÿÿ)}
que se sigue <que
ÿÿ.xDado que esto
converge es válido
a cero. parasuponga
De hecho, todo 0 < que
ÿÿ x no converge a cero.
Entonces existe una subsecuencia ÿÿÿÿÿÿ de ÿÿÿÿ tal que |ÿÿÿÿÿÿ | > ÿÿ para todo ÿÿ ÿ Z+ y alguna ÿÿ > 0, por lo que no
hay ÿ para lo cual supÿÿ {ÿÿ (ÿÿÿÿ , ÿÿÿÿ)} < min{1, ÿÿ}. Pero entonces x ÿ (R ÿ) 0 y ÿ R Por el contrario, sea x = (ÿÿÿÿ)ÿÿ
y ÿ R ÿÿÿ tal
R convergente
que 0 < |ÿÿ1 a
ÿÿÿ1
cero| <y ÿÿ,
seaÿÿÿÿ
0 < ÿÿ
= ÿÿÿÿ
< 1. Entonces
para todo existe
1 < ÿÿ ÿÿ
< ÿÿ
ÿ Z+
y ÿÿÿÿ
tal que , una
= 0|ÿÿÿÿ
para <contradicción
|todo
ÿÿÿÿ
para
ÿ ÿÿtodos
. Entonces
los ÿÿ ÿy ÿÿ
ÿ R. Sea
ÿ, y
ÿÿ
ÿ x y supÿÿ {ÿÿ (ÿÿÿÿ , ÿÿÿÿ)} < ÿÿ, entonces y ÿ ÿÿÿÿ que
0 Concluimos (x, ÿÿ). Como 0 de
la clausura < ÿÿ
R < 1 era arbitrario, se sigue que x ÿ (R ÿ)
.
ÿ
en la topología uniforme es el subespacio de todas las secuencias
que convergen a 0.
Ejercicio 20.6. (a) Sea ÿÿÿÿ una secuencia de números reales positivos que convergen a ÿÿ tal que ÿÿÿÿ < ÿÿ para todo
ÿÿ ÿ Z+. Entonces y = (ÿÿÿÿ +ÿÿÿÿ)ÿÿÿZ+ ÿ ÿÿ (x, ÿÿ), pero ÿÿ (x, y) = supÿÿ {ÿÿ (ÿÿÿÿ, ÿÿÿÿ)} = ÿÿ, entonces y ÿ ÿÿÿÿ (x,
ÿÿ). (b) Toma el mismo y = (ÿÿÿÿ +ÿÿÿÿ)ÿÿÿZ+ del literal (a). Entonces y ÿ ÿÿ (x, ÿÿ), pero afirmamos que no hay ÿÿ
> 0 tal que ÿÿÿÿ (y, ÿÿ) ÿ ÿÿ (x, ÿÿ). De hecho, sea ÿÿ > 0. Dado que ÿÿÿÿ ÿ ÿÿ, existe ÿÿ ÿ Z+ tal que ÿÿ (ÿÿ, ÿÿÿÿ) < ÿÿ
para todo ÿÿ ÿ ÿÿ . Sea z = (ÿÿÿÿ)ÿÿ ÿ R ÿÿ tal que ÿÿÿÿ Entonces
= ÿÿÿÿ para
z ÿtodo
ÿÿÿÿÿÿ(y,< ÿÿ)
ÿÿ ypero
ÿÿÿÿz =ÿ ÿÿÿÿ
ÿÿ (x,+ÿÿ).
ÿÿ para
Comotodo ÿÿ0ÿera
ÿÿ > ÿÿ .
arbitrario, no existe ÿÿ > 0 tal que ÿÿÿÿ (y, ÿÿ) ÿ ÿÿ (x, ÿÿ), por lo que ÿÿ (x, ÿÿ) no está abierto en la topología uniforme.
(c) Si y ÿ ÿÿÿÿ (x, ÿÿ), entonces ÿÿ B supÿÿ {ÿÿ (ÿÿÿÿ , ÿÿÿÿ)} < ÿÿ. Así, para cualquier ÿÿ < ÿÿ < ÿÿ, y ÿ ÿÿ (x, ÿÿ).
Por el contrario, sea y ÿ Ð ÿÿ<ÿÿ
ÿÿÿÿ)} ÿÿ (x,<ÿÿ).
ÿ ÿÿ ÿÿ yEntonces
y ÿ ÿÿÿÿ existe
(x, ÿÿ).ÿÿ < ÿÿ tal que ÿÿ ÿ ÿÿ (x, ÿÿ), entonces supÿÿ {ÿÿ (ÿÿÿÿ ,
ÿÿ ÿÿ
Ejercicio 20.7. Recuerda que ÿ : R ÿR es dado por
ÿ( (ÿÿ1, ÿÿ2, . . .)) = (ÿÿ1ÿÿ1 + ÿÿ1, ÿÿ2ÿÿ2 + ÿÿ2, . . .),
ÿ1 ÿÿ ÿÿ
donde ÿÿÿÿ > 0 para todo ÿÿ ÿ Z+. Recuerda que ÿ es biyectiva con inversa ÿ :R ÿR dada por
ÿ ÿ1 ( (ÿÿ1, ÿÿ2, . . .)) = ( (ÿÿ1 ÿ ÿÿ1)/ÿÿ1, (ÿÿ2 ÿ ÿÿ2)/ÿÿ2, . . .).

Tenga en cuenta que, para x, y ÿ R ÿÿ,
ÿÿ (ÿ(x), ÿ(y)) = sup {min{ÿÿÿÿ |ÿÿÿÿ ÿ ÿÿÿÿ |, 1}}.

ÿÿ
Ahora, supongamos que (ÿÿÿÿ)ÿÿ está acotado, digamos ÿÿÿÿ ÿ ÿÿ para algún ÿÿ > 0 y todo ÿÿ ÿ Z+. Decimos que en tal caso ÿ es continua. Sea
x ÿ R ÿÿ, y sea ÿÿÿÿ (ÿ(x), ÿÿ) una bola con centro en ÿ(x). Toma ÿÿ > 0 satisfaciendo ÿÿ < min{ } y sea ÿÿ = ÿÿÿÿ (x, ÿÿ). Entonces ÿÿ es una vecindad
1
de x. Además, si ÿÿ (x, y) = supÿÿ {min{|ÿÿÿÿ
ÿÿ ÿÿ , ÿ ÿÿÿÿ
ÿ ÿÿÿÿ (ÿ(x),|,ÿÿ).
1}} Por
< ÿÿ,loentonces
tanto ÿ(ÿÿÿÿ) (ÿ(x),
ÿ ÿÿÿÿÿ(y))
(ÿ(x),= ÿÿ),
supÿÿ {min{ÿÿÿÿ |ÿÿÿÿ
y deducimos que ÿÿes
ÿÿÿÿ |, 1}} < ÿÿÿÿ < ÿÿ y por tanto ÿ(y)
ÿÿ
y ÿ ÿÿ ,
continuo.
Por otro lado, supón que (ÿÿÿÿ)ÿÿ no está acotado. Decimos que ÿ no es continuo en 0.
De hecho, sea 0 < ÿÿ < 1 y considere la vecindad ÿÿ = ÿÿÿÿ (ÿ(0), ÿÿ) de 0. Probamos que dado ÿÿ > 0, la vecindadÿÿÿÿ = ÿÿÿÿ (0, ÿÿ) de 0 no satisface
ÿ( ÿÿÿÿ ) ÿ ÿÿ . Sea ÿÿ > 0 cualquier número positivo menor que ÿÿ, y sea y = (ÿÿ, ÿÿ, . . .). Entonces y ÿ ÿÿÿÿ . Como (ÿÿÿÿ)ÿÿ no está acotado, existe
ÿÿ ÿ Z+ tal que ÿÿÿÿ ÿÿ > 1. Entonces ÿÿ (ÿ(0), ÿ(y)) = supÿÿ {min{ÿÿÿÿÿÿ, 1}} = 1 > ÿÿ, entonces ÿ(y) ÿ ÿÿ . Por lo tanto, ÿ(ÿÿÿÿ ) ÿ ÿÿ para todo ÿÿ > 0,
entonces ÿ no es continua en 0.
Concluimos que ÿ es continua si y solo si la secuencia (ÿÿÿÿ)ÿÿ está acotada.

ÿ1 1
De manera similar, ÿ )ÿÿ
es continua si y solo
está acotado, por si
lo (que
)ÿÿ ÿestán
es unacotadas.
homeomorfismo si y
ÿÿÿÿ
1
solo si tanto (ÿÿÿÿ)ÿÿ como (
ÿÿÿÿ
Ejercicio 20.8. (a) Para todo x, y ÿ R ÿÿ,
ÿÿ (x, y) ÿ ÿÿÿ 2 (x, y).
Entonces, para todo x ÿ R ÿÿ y todo ÿÿ > 0,
ÿÿÿ 2 (x, ÿÿ) ÿ ÿÿÿÿ (x, ÿÿ),
2 2
lo que prueba la topología uniforme ÿ ÿ y ÿ ÿÿÿ 2 (x, ÿÿ). -topología. Ahora sea ÿÿÿ 2 (x, ÿÿ) una bola en el ÿ -topología y
Sea ÿÿ = ÿÿÿ 2 (x, y) y ÿÿ = ÿÿ ÿ ÿÿ. Considere el conjunto
ÿÿ ÿÿ ÿÿ ÿÿ ÿÿ ÿÿ
ÿÿ = (ÿÿ1 ÿ ) × (ÿÿ2 ÿ ) × · · · × (ÿÿÿÿ ÿ ) × · · · , ÿÿ1 + , ÿÿ2 + , ÿÿÿÿ ÿ 2 2/2 2 2/2 2 3/2 2 3/2 2 (ÿÿ+1)/2 2 (ÿÿ+1)/2 ,
ÿÿ
que está abierto en la topología de caja y contiene y. Si z ÿ ÿÿ , entonces |ÿÿÿÿ ÿ ÿÿÿÿ | < por cada ÿÿ, entonces
2 (ÿÿ+1)/2
1/2 2 1/2 1/2

ÿÿ 1
(ÿÿÿÿ ÿ ÿÿÿÿ) < ÿÿ .
ÿÿÿ 2 (y, z) = "Õÿ ÿÿ=1 2# ÿ "Õÿ ÿÿ=1 2 ÿÿ+1 # = ÿÿ "Õÿ ÿÿ=1 2 ÿÿ+1 #
De este modo
ÿÿÿ 2 (z, x) ÿ ÿÿÿ 2 (z, y) + ÿÿÿ 2 (y, x) < ÿÿ + ÿÿ = ÿÿ
y por tanto z ÿ ÿÿÿ 2 (x, ÿÿ). De ello se deduce que ÿÿÿ 2 (x, ÿÿ) está abierto en la topología de caja, y deducimos que
2 ÿ -topología ÿ topología de caja.

(b) En ÿÿ, tenemos
2
topología de producto ÿ topología uniforme ÿ ÿ -topología ÿ topología de caja.
ÿ
Para probar estas cuatro topologías heredadas por R topologías en son distintos, encontramos conjuntos abiertos en el ner
ÿ ÿ ÿ ÿ
R ÿ que no están abiertas

igual a
enRlas
ÿ con
topologías
el producto,
más uniforme,
gruesas. Sea
ÿ R R R y R ÿÿ denotan el
ÿÿ , ÿÿ , ÿ2
2
, y topologías de caja, respectivamente, que hereda de ÿÿ .
ÿ
es
Sea ÿÿ = ÿÿÿÿ (0, ÿÿ) ÿ ÿÿ, 0 < ÿÿ < 1, una bola en la topología uniforme en ÿÿ, de modo que ÿÿ ÿ R contenga y, así que
ÿ ÿ
no vacío y abierto en R que ÿÿ ÿÿ . Si y ÿ ÿÿ ÿR ÿ y ÿÿ es un entorno base en R ÿÿ excepto por finitos

ÿ
tiene la forma ÿÿ = Î ÿÿ ÿÿÿÿ donde ÿÿÿÿ = R ÿÿ ÿÿ, claramente ÿÿ ÿ ÿÿ ÿ R ÿ .

ÿ ÿ
Esto prueba que ÿÿ ÿ R no está abierto en R ÿÿ .

2 ÿ
Sea ÿÿ = ÿÿÿ 2 (0, 2ÿÿ) ÿ ÿÿ, 0 < ÿÿ < 1, una bola en ÿÿ en el ÿ en R -topología, tal que ÿÿ ÿ R está
ÿ
abierto ÿ 2 . Entonces x = (ÿÿ, 0, 0, . . .) ÿ ÿÿ ÿ R ÿ. Probamos que no hay bola en la topología uniforme

que contiene x y está contenido en ÿÿ. Sea 0 < ÿÿ < 1 y ÿÿ = ÿÿÿÿ (x, ÿÿ) ÿ R ÿ ser una de esas bolas. Dejar
2 2 + ÿÿ
ÿÿ ÿ ÿÿ < ÿÿ < ÿÿ, y ÿÿ < ÿÿ; sea ÿÿ ÿ Z+ tal que ÿÿ ÿÿ 2 > 4ÿÿ . Entonces y = (ÿÿ, ÿÿ, . . . , ÿÿ, 0, 0, . . .),
2 2 2 = ÿÿ
donde ÿÿÿÿ = ÿÿ para 2 ÿ ÿÿ ÿ ÿÿ + 1, pertenece a ÿÿ . Pero yo ÿÿ ÿÿ ÿÿ
ÿÿ + ÿÿ 2 > 4ÿÿ , entonces y ÿ ÿÿ. Resulta que
ÿ ÿ
ÿÿ ÿ R no está abierto en R ÿÿ .
Finalmente, sea ÿÿ = ÿÿ ÿ ( (ÿ1, 1) × · · · × (ÿ1/ÿÿ, 1/ÿÿ) × · · · ), que está abierto en la topología de caja en no es un subconjunto
ÿ ÿ ÿ
ÿÿ . Entonces ÿÿ ÿ R está abierto en Rÿÿ . Probamos que dado ÿÿ > 0, la bola ÿÿÿ 2 (0, ÿÿ) ÿ R de ÿÿ ÿ Rÿ . De
hecho, dado ÿÿ > 0, existe ÿÿ ÿ Z+ tal que 1/ÿÿ < ÿÿ . Sea z = (ÿÿÿÿ)ÿÿ ÿ R ÿ tal que ÿÿÿÿ = 0 para todo ÿÿ excepto ÿÿ = cual
ÿÿ para
ÿÿÿÿel=
1/ÿÿ . Entonces z ÿ ÿÿÿ 2 (0, ÿÿ) ÿ R ÿ, pero ,z ÿ ÿÿ ÿ R ÿ.
ÿ ÿ
Deducimos que ÿÿ ÿ R no está abierto en R ÿ2.
2
(c) Sean ÿÿÿÿ, ÿÿÿÿ, ÿÿÿ 2 y ÿÿÿÿ el conjunto ÿÿ con el producto, uniforme, ÿ , y topologías de caja,
respectivamente, que ÿÿ hereda de ÿÿ Primero, .
afirmamos que ÿÿÿÿ es estrictamente menor que ÿÿÿ 2 . En efecto, el conjunto
ÿÿ = (ÿ1, 1) × · · · × (ÿ1/ÿÿ, 1/ÿÿ) × · · ·
está abierto en la topología de caja en R ÿÿ, entonces ÿÿ ÿÿÿ está abierto en ÿÿÿÿ . Sea ÿÿÿ 2 (0, ÿÿ) ÿÿÿ cualquier bola en ÿÿÿ 2 con
centro 0. Sea ÿÿ ÿ Z+ tal que 1/ÿÿ < ÿÿ; sea z = (0, . . . , 0, 1/ÿÿ , 0, . . .), donde
(0,1/ÿÿ
ÿÿ) está
ÿ ÿÿ,en
pero
la ÿÿ-ésima
z ÿ ÿÿ ÿ ÿÿentrada. Entonces z ÿ ÿÿÿ 2
. Por lo tanto, ÿÿ ÿ ÿÿ no es abierto en ÿÿÿ 2 y se sigue que ÿÿÿÿ es
estrictamente menor que ÿÿÿ 2 .
Ahora probamos que ÿÿÿÿ es menor que ÿÿÿ 2, lo que implica que ÿÿÿÿ, ÿÿÿÿ y ÿÿÿ 2 son iguales. Basta probar que para cada
bola en ÿÿÿ 2 con centro en algún x, hay un conjunto abierto en ÿÿÿÿ que contiene x y está contenido en él. Sea ÿÿ = ÿÿÿ 2 (x, ÿÿ) ÿ
ÿÿ una de esas bolas. Como ÿÿ > 0 es x, existe ÿÿ ÿ Z+ tal que
2
1 ÿÿ
< .
Õÿ ÿÿ 2 2
ÿÿ=ÿÿ +1
Considera ÿÿ = ÿÿ ÿ (Î ÿÿ ÿÿÿÿ), donde
ÿÿ ÿÿ
ÿÿÿÿ = ÿÿÿÿ ÿ , ÿÿÿÿ + 2 (ÿÿ+1)/2 2 para ÿÿ < ÿÿ , y ÿÿÿÿ = R para ÿÿ ÿ ÿÿ .

(ÿÿ+1)/2

Entonces ÿÿ es un vecindario de x en ÿÿÿÿ . Además, si y ÿ ÿÿ , después
ÿÿ 2 2 2
2
ÿÿ 1 ÿÿ 1 ÿÿ
(ÿÿÿÿ ÿ ÿÿÿÿ) < + 2 = ÿÿ ,

Õÿ ÿÕ 2 ÿÿ+1 + Õÿ ÿÿ 2 2 Õÿ 2 ÿÿ 2
ÿÿ=1 ÿÿ=1 ÿÿ=ÿÿ +1 ÿÿ=1
entonces y ÿ ÿÿ. Por lo tanto , ÿÿÿÿ es menor que ÿÿÿ 2, entonces ÿÿÿÿ = ÿÿÿÿ = ÿÿÿ 2
.
Ejercicio 20.9. (a) Esto se sigue de la ley distributiva en R.
(b) Seguimos la pista. Si x o y es cero, todo es cero, así que suponga que x, y ÿ 0. Establecer
ÿÿ = 1/kxk y ÿÿ = 1/kyk. Después
2 2 2
0 ÿ kÿÿx ± ÿÿyk = (ÿÿx ± ÿÿy) · (ÿÿx ± ÿÿy) = ÿÿ (x · x) + ÿÿ (y · y) ± 2ÿÿÿÿ (x · y),
2 2
entonces ±2ÿÿÿÿ (x · y) (x · x) + ÿÿ (y · y), es decir ±(x · y) ÿ kxk kyk. Se sigue que |x · y| ÿ kxk kyk.
ÿ ÿÿ (c) Seguimos la pista. Usando (b), encontramos
2
kx + yk = (x + y, x + y) = (x, x) + 2(x, y) + (y, y)
2 2 2 2
= kxk + 2(x, y) + kyk ÿ kxk + 2kxk kyk + kyk = (kxk + kyk)2 .
(d) La función ÿÿ viene dada por ÿÿ (a, b) = ka ÿ bk. Las propiedades (1) y (2) de una métrica son claras.
La propiedad (3) se sigue de (c), siendo x = a ÿ c y y = c ÿ b.
Ejercicio 20.10. (a) Seguimos la pista. Sean x, y ÿ ÿÿ . Para cada ÿÿ ÿ Z+, sea xÿÿ = (|ÿÿ1 |, . . . , |ÿÿÿÿ |) y yÿÿ = (|ÿÿ1 |, . . . , |
ÿÿÿÿ |). Por el ejercicio 20.9(b),
Õÿÿ
|ÿÿÿÿÿÿÿÿ | = |xÿÿ · yÿÿ | ÿ kxÿÿ k kyÿÿ k.
ÿÿ=1
Como x, y ÿ ÿÿ, kxÿÿ k y kyÿÿ k son finitos, entonces Í ÿÿ |ÿÿÿÿÿÿÿÿ | converge (b)
Sean x, y ÿ ÿÿ y ÿÿ ÿ R. Para cada ÿÿ ÿ Z+,
2 2 2 2 2
ÿÿ
(ÿÿÿÿ + ÿÿÿÿ) ÿÿ ÿÿ
ÿÿ (ÿÿÿÿÿÿ) ÿÿ ,
Õÿÿ ÿ Õÿÿ + Õÿÿ ÿÿ
+ 2 Õÿÿ |ÿÿÿÿÿÿÿÿ | y Õÿÿ = ÿÿ 2Õÿÿ
ÿÿ=1 ÿÿ=1 ÿÿ=1 ÿÿ=1 ÿÿ=1 ÿÿ=1
por lo que sus sumas parciales están acotadas. De ello se deduce que x + y y ÿÿx pertenecen a ÿÿ .
(c) Las propiedades (1) y (2) de una métrica son claras. Sean x, y, z ÿ ÿÿ . Para cada ÿÿ ÿ Z+, sea xÿÿ = (ÿÿ1, . . . , ÿÿÿÿ),
yÿÿ = (ÿÿ1, . . . , ÿÿÿÿ)laydesigualdad
deducimos zÿÿ = (ÿÿ1, .triangular
. . , ÿÿÿÿ).para
Por ÿÿ.
el ejercicio 20.9(d),
Por lo tanto, kxÿÿ
ÿÿ es unaÿmétrica
zÿÿ k ÿ en
kxÿÿ
ÿÿ ÿ yÿÿ k + kyÿÿ ÿ zÿÿ k. Si ÿÿ ÿ ÿ
.
ÿÿ
Ejercicio 20.11. Seguimos la pista. Sea ÿÿ : R+ ÿ [0, 1) dada por ÿÿ (ÿÿ) = continua, acotada, 1+ÿÿ . Ten en cuenta
ÿ1
estrictamente creciente y biyectiva con inversa continua ÿÿ dada por ÿÿ 1ÿÿÿ . Además, observa que ÿÿ que ÿÿ es : [0, 1)
ÿ1 ÿÿ 0 0
(ÿÿ) = ÿ R+ = ÿÿ ÿ ÿÿ : ÿÿ × ÿÿ ÿ [0, 1), por lo que ÿÿ está acotado.

21 La topología métrica (continuación)
Como ÿÿ (ÿÿ) es cero si y solo si ÿÿ = 0, ÿÿ (ÿÿ, ÿÿ) es cero si y solo si ÿÿ = ÿÿ. Como ÿÿ es una métrica, ÿÿ 0 (ÿÿ, ÿÿ) = ÿÿ 0 (ÿÿ, ÿÿ) para
todo ÿÿ, ÿÿ ÿ ÿÿ . Queda probar la desigualdad del triángulo. Observa que para cualquier ÿÿ, ÿÿ ÿ 0,
ÿÿ ÿÿ
ÿÿ (ÿÿ + ÿÿ) ÿ ÿÿ (ÿÿ) = ÿ = ÿÿ (ÿÿ).

(1 + ÿÿ + ÿÿ) (1 + ÿÿ) 1 + ÿÿ
Como ÿÿ es creciente, tenemos
0 0 0
ÿÿ (ÿÿ, ÿÿ) + ÿÿ (ÿÿ, ÿÿ) = ÿÿ (ÿÿ (ÿÿ, ÿÿ)) + ÿÿ (ÿÿ (ÿÿ, ÿÿ)) ÿ ÿÿ (ÿÿ (ÿÿ, ÿÿ) + ÿÿ (ÿÿ, ÿÿ)) ÿ ÿÿ (ÿÿ (ÿÿ, ÿÿ) )) = ÿÿ (ÿÿ, ÿÿ).
Entonces 0 es una métrica.

0
ÿÿ Ahora demostramos que ÿÿ induce la topología de ÿÿ . Sean ÿÿÿÿ y ÿÿÿÿ 0 el conjunto ÿÿ en respectivamente. Como ÿÿ :
0
topologías inducidas por ÿÿ y ÿÿ 20.3(a)), ÿÿÿÿ ×ÿÿÿÿ ÿ R y ÿÿ son continuas (Ejercicio = ÿÿ ÿ ÿÿ : ÿÿÿÿ × ÿÿÿÿ ÿ R es continua, entonces
0
se sigue que ÿÿ es menor que ÿÿÿÿ 0.
el De
Ejercicio 20.3(b) muestra que ÿÿÿÿ
ÿ1 0
manera similar, dado que ÿÿ = ÿÿ ÿ ÿÿ : ÿÿÿÿ 0 × ÿÿÿÿ 0 ÿ R es continua, ÿÿÿÿ 0 es menor que ÿÿÿÿ .

0
Ejercicio 21.1. Está claro que ÿÿ = ÿÿ|ÿÿ × ÿÿ es una métrica en ÿÿ. Sea ÿÿÿÿ 0 el conjunto ÿÿ con la topología inducida
0
, elementos
por la métrica ÿÿ y ÿÿÿÿ el conjunto ÿÿ en la topología subespacial
de la forma
heredada
ÿÿ = ÿÿÿÿ
por ÿÿ
(ÿÿ,
. Entonces
ÿÿ) ÿ ÿÿ, donde
ÿÿÿÿ tiene
ÿÿÿÿuna
(ÿÿ,base
ÿÿ) es
que
una
consiste
bola en
tomando
enÿÿ ,
ÿÿ = ÿÿÿÿÿ (ÿÿ, ÿÿ) tenemos ÿÿ ÿ ÿÿÿÿ 0 (ÿÿ, ÿÿ) ÿ ÿÿ . Por lo tanto, ÿÿÿÿ 0 es menor que ÿÿÿÿ . .
Dados tales ÿÿ y ÿÿ ÿ ÿÿ
Por el contrario, ÿÿÿÿ 0 tiene una base que consta de elementos de la forma ÿÿÿÿ 0 (ÿÿ, ÿÿ) = {ÿÿ ÿ ÿÿ | ÿÿ 0 (ÿÿ, ÿÿ) < ÿÿ} para ÿÿ ÿ ÿÿ;
como ÿÿÿÿ 0 (ÿÿ, ÿÿ) = ÿÿÿÿ (ÿÿ, ÿÿ) ÿ ÿÿ, se sigue que ÿÿÿÿ es menor que ÿÿÿÿ 0. Concluimos que ÿÿÿÿ 0 = ÿÿÿÿ .
Ejercicio 21.2. Es fácil ver que ÿÿ es inyectiva: si ÿÿ (ÿÿ) = ÿÿ (ÿÿ), entonces ÿÿÿÿ (ÿÿ (ÿÿ), ÿÿ (ÿÿ)) = 0 = ÿÿÿÿ (ÿÿ, ÿÿ), entonces ÿÿ = ÿÿ.
Sea ÿÿ ÿ ÿÿ, y sea ÿÿ un barrio de ÿÿ (ÿÿ) en ÿÿ ÿÿÿÿÿÿ (ÿÿ (ÿÿ), ÿÿ). Por hipótesis, ÿÿ tal que ÿÿ (ÿÿÿÿÿÿ. Entonces
(ÿÿ, ÿÿ)) ÿ ÿÿ
ÿÿ contiene
. De ello una bola
se deduce
ÿ1
que ÿÿ es continua, de ahí también la restricción
(ÿÿÿÿÿÿ
ÿÿ ÿÿ (ÿÿ
(ÿÿ).
(ÿÿ),
Queda
ÿÿ)) por
= ÿÿÿÿÿÿ
demostrar
(ÿÿ, ÿÿ),
queentonces
ÿÿ ÿÿÿÿÿÿ (ÿÿ, ÿÿ) es un vecindario de ÿÿ
0
: ÿÿ ÿ
0
es un mapa abierto: si ÿÿ 0 (ÿÿ) ÿ ÿÿ (ÿÿ) y ÿÿ es vecindad de ÿÿ,
0ÿ1
entonces ÿÿ contiene una bola ÿÿÿÿÿÿ (ÿÿ, ÿÿ), y ÿÿ (ÿÿÿÿÿÿ (ÿÿ 0 (ÿÿ), ÿÿ)) ÿ ÿÿ . Concluimos que ÿÿ es una incrustación.
Ejercicio 21.3. (a) Primero probamos que ÿÿ es una métrica. Las propiedades (1) y (2) de una métrica se satisfacen trivialmente. Sean
x, y, z ÿ ÿÿ1 × · · · × ÿÿÿÿ. Como cada ÿÿÿÿ es una métrica en ÿÿÿÿ , entonces
ÿÿ (x, y) + ÿÿ (y, z) ÿ ÿÿÿÿ(ÿÿÿÿ , ÿÿÿÿ) + ÿÿÿÿ(ÿÿÿÿ , ÿÿÿÿ) ÿ ÿÿÿÿ(ÿÿÿÿ , ÿÿÿÿ)
para cada ÿÿ = 1, . . . , ÿÿ, entonces ÿÿ (x, y) + ÿÿ (y, z) ÿ ÿÿ (x, z).

Ahora probamos que ÿÿ induce la topología del producto en ÿÿ1 × · · · ×ÿÿÿÿ. Considera un elemento base ÿÿÿÿ1 (ÿÿÿÿ , ÿÿÿÿ) × · ·
· × ÿÿÿÿÿÿ (ÿÿÿÿ, ÿÿÿÿ) para el espacio producto ÿÿ1 × · · · × ÿÿÿÿ. Si ÿÿ = min{ÿÿ1, . . . , ÿÿÿÿ}, entonces ÿÿÿÿ (x, ÿÿ) ÿ ÿÿÿÿ1
ÿÿÿÿ)
(ÿÿÿÿ
× ·, · · ×
ÿÿÿÿÿÿ (ÿÿÿÿ, ÿÿÿÿ), por lo que la topología ÿÿ es mejor que la topología del producto.
Por el contrario, si ÿÿÿÿ (x, ÿÿ) es un elemento base para la topología ÿÿ, entonces ÿÿÿÿ1 (ÿÿÿÿ , ÿÿ) × · · · × ÿÿÿÿÿÿ (ÿÿÿÿ, ÿÿ) ÿ ÿÿÿÿ (x,
ÿÿ), por lo que la topología del producto es ner que la topología ÿÿ. Por lo tanto, ÿÿ induce la topología del producto en ÿÿ1 × · · · × ÿÿÿÿ.

(b) Las propiedades (1) y (2) de una métrica se satisfacen claramente con ÿÿ. Ahora, como para cada ÿÿ y todo x, y, z ÿ Î
ÿÿ ÿÿÿÿ tenemos
ÿÿÿÿ(ÿÿÿÿ , ÿÿÿÿ) ÿÿÿÿ(ÿÿÿÿ , ÿÿÿÿ) ÿÿÿÿ(ÿÿÿÿ ,

ÿ + ÿÿÿÿ) ÿ ÿÿ(x, y) + ÿÿ(x, z),
ÿÿ ÿÿ ÿÿ
entonces ÿÿ(x, z) ÿ ÿÿ(x, y) + ÿÿ(x, z) para toda topología x, y, z ÿ Î ÿÿ ÿÿÿÿ . Ahora probamos que ÿÿ induce el producto
en Î sea una vecindadÿÿÿÿ
base. Esto
de x en
ÿÿ es completamente
la topología ÿÿ. Encontramos
análogo al Teorema 20.5. Sea x ÿ Î ÿÿ
ÿÿÿÿ y sea ÿÿÿÿ (x, ÿÿ)
un conjunto abierto ÿÿ en la topología del producto tal que x ÿ ÿÿ ÿ ÿÿÿÿ (x, ÿÿ). Sea ÿÿ ÿ Z+ tal que 1/ÿÿ < ÿÿ, y sea
ÿÿ = (ÿÿ1 ÿ ÿÿ, ÿÿ1 + ÿÿ) × · · · × (ÿÿÿÿ ÿ ÿÿ, ÿÿÿÿ + ÿÿ) × ÿÿÿÿ +1 × ÿÿÿÿ +2 × · · · .
Para todo y ÿ Î ÿÿ
ÿÿÿÿ tenemos
ÿÿÿÿ(ÿÿÿÿ , ÿÿÿÿ) 1
ÿ ÿÿ para todo ÿÿ ÿ ÿÿ .
ÿÿ
Por tanto, si ÿÿ ÿ ÿÿ ,
ÿÿ1 (ÿÿ1, ÿÿ1) ÿÿÿÿ ÿ1 (ÿÿÿÿ ÿ1, ÿÿÿÿ ÿ1)

1
,... , ,
ÿÿ(x, y) ÿ n máximo 1 ÿÿ ÿ 1 ÿÿ o < ÿÿ,
entonces ÿÿ ÿ ÿÿÿÿ (x, ÿÿ). Por lo tanto, la topología del producto es mejor que la topología ÿÿ.
Ahora sea x ÿ Î ÿÿ
ÿÿÿÿ y sea Î ÿÿ ÿÿÿÿ sea un elemento base para la topología del producto que contiene x, < ÿÿÿÿ .
donde ÿÿÿÿ = ÿÿÿÿ para todos los índices excepto finitos, digamos ÿÿ1 < ÿÿÿÿÿÿ . . . Sea 0 < ÿÿ < 1 tal que ÿÿ . Sea ÿÿ = ÿÿ/ÿÿÿÿ .
ÿ ÿÿÿÿÿÿÿÿ (ÿÿÿÿÿÿ , ÿÿ) ÿ ÿÿÿÿÿÿ para todo ÿÿ = 1, . . . , Decimos que x ÿ ÿÿÿÿ (x, ÿÿ) ÿ Î ÿÿ
ÿÿÿÿ .
De hecho, si y ÿ ÿÿÿÿ (x, ÿÿ), entonces
ÿÿ
ÿÿÿÿÿÿ (ÿÿÿÿÿÿ , ÿÿÿÿÿÿ )
< ÿÿ = para todo ÿÿ = 1, . . . , ÿÿ ,
ÿÿÿÿ ÿÿÿÿ
entonces ÿÿÿÿÿÿ (ÿÿÿÿÿÿ , ÿÿÿÿÿÿ ) < ÿÿ para todo ÿÿ y por lo ÿÿ ÿÿÿÿ . De ello se deduce que la topología ÿÿ es más estrecha que la
tanto y ÿ Î topología del producto. Concluimos que estas dos topologías son iguales.
1
Ejercicio 21.4. Si ÿÿ ÿ Rÿ , entonces la colección {ÿÿÿÿ}ÿÿÿZ+ donde ÿÿÿÿ = [ÿÿ, ÿÿ + ) para cada ÿÿ ÿ ÿÿZ+ es una base contable en
ÿÿ: si ÿÿ es cualquier vecindad de ÿÿ en Rÿ , entonces ÿÿ contiene una base vecindad
alguna ÿÿÿÿ.
[ÿÿ, ÿÿ)
Como
de ÿÿ,
ÿÿyÿeste
Rÿ era
conjunto
arbitrario,
debeRÿ
contener
satisface
el primer axioma de contabilidad.
Ahora sea [0, 1] × [0, 1] el cuadrado ordenado (topología del orden del diccionario). La colección ) para ÿÿ ÿ Z+ es una base
1
{ÿÿÿÿ}ÿÿÿZ+ donde ÿÿÿÿ = [0 × 0, 0 × donde ÿÿ contable en 0 × 0, y de manera similar {ÿÿÿÿ}ÿÿÿZ+
1
ÿÿÿÿ = (1 × 1 ÿ 1 × 1] para ÿÿÿÿÿ, Z+
base
es contable
una en 1 × 1.
Ahora sea ÿÿ × ÿÿ ÿ [0, 1] × [0, 1] con ÿÿ × ÿÿ ÿ 0 × 0, 1 × 1. Si ÿÿ ÿ 0, 1, sea ÿÿ = min{ÿÿ, 1 ÿ ÿÿ}. Entonces ))}ÿÿÿZ+ es una
ÿÿ ÿÿ ÿÿ 1
{(ÿÿ × (ÿÿ ÿ ÿÿ
), ÿÿ × (ÿÿ + ÿÿ base contable en ÿÿ ×ÿÿ. Si ÿÿ = 0, entonces {( (ÿÿ ÿ ) ×0, ÿÿ × ÿÿ )}ÿÿÿZ+
1 ÿÿ 1ÿÿÿ
es una base contable en ÿÿ × ÿÿ = ÿÿ × 0. Finalmente, si ÿÿ = 1, entonces {(ÿÿ × (1 ÿ ), (ÿÿ + ) × ÿÿ
1)}ÿÿÿZ+ es una
ÿÿ base contable en
ÿÿ × ÿÿ = ÿÿ × 1. Esto cubre todos los casos posibles, por lo que el cuadrado ordenado satisface el primer axioma de contabilidad.

Ejercicio 21.5. Seguimos la pista. Por el ejercicio 19.6, si ÿÿÿÿ ÿ ÿÿ en ÿÿ y ÿÿÿÿ ÿ ÿÿ en ÿÿ, entonces . Como la suma +: R × R ÿ R es
+ÿÿÿÿ converge a +(ÿÿ ×ÿÿ) + = ÿÿ ÿÿ continua por el Lema
por el teorema 21.4,
21.3. Del se sigue
mismo de ÿÿÿÿ ÿÿÿÿÿ
modo, × ÿÿÿÿÿÿÿÿ
ÿÿÿÿÿ
× ÿÿy en ÿÿ × ÿÿÿque
ÿÿÿÿÿÿÿÿ +(ÿÿÿÿ
ÿÿÿÿ. ×ÿÿÿÿ)
Si cada ÿÿÿÿ=ÿÿÿÿÿ
0 y ÿÿ ÿ
0, entonces ÿÿÿÿ × 1/ÿÿÿÿ es una secuencia bien de nida en R × R y converge a ÿÿ × 1/ÿÿ. Como la multiplicación es continua, se sigue
que ÿÿÿÿ/ÿÿÿÿ ÿ ÿÿ/ÿÿ.
Ejercicio 21.6. Si 0 ÿ ÿÿ < 1 es fijo, entonces ÿÿÿÿ (ÿÿ) ÿ 0 cuando ÿÿ ÿ ÿ. Como ÿÿÿÿ (1) = 1 para todo ÿÿ, ÿÿÿÿ (1) ÿ 1.
Así (ÿÿÿÿ)ÿÿ converge a ÿÿ : [0, 1] ÿ R dado por ÿÿ (ÿÿ) = 0 si ÿÿ = 0 y ÿÿ (1) = 1. La secuencia 1/ÿÿ (ÿÿÿÿ)ÿÿ no converge uniformemente,
dado que 0 < ÿÿ
< 1 y ÿÿ ÿ Z+, para ÿÿ = ÿÿ tenemos ÿÿ (ÿÿÿÿ (ÿÿ), ÿÿ (ÿÿ)) = ÿÿ. También podemos aplicar el Teorema 21.6: la convergencia no ya es que
uniforme
ÿÿ
no es continua.
Ejercicio 21.7. Supongamos que (ÿÿÿÿ)ÿÿ converge uniformemente a ÿÿ : ÿÿ ÿ R. Sea ÿÿ una vecindad de ÿÿ en (R ÿÿ, ÿÿ). Necesitamos
encontrar algún ÿÿ ÿ ÿÿ+ tal que ÿÿÿÿ ÿ ÿÿ para todo ÿÿ ÿ ÿÿ . Sea 0 < ÿÿ < 1 tal que ÿÿ ÿ ÿÿÿÿ (ÿÿ , ÿÿ) ÿ ÿÿ . Por hipótesis, existe ÿÿ ÿ Z+ tal
que ÿÿ (ÿÿÿÿ (ÿÿ), ÿÿ (ÿÿ)) < ÿÿ/2 para todo ÿÿ ÿ ÿÿ y todo ÿÿ ÿ ÿÿ . Después
ÿÿ
ÿÿ (ÿÿ , ÿÿÿÿ) = cenar {ÿÿ (ÿÿ (ÿÿ), ÿÿÿÿ (ÿÿ))} ÿ < ÿÿ

2
ÿÿ ÿÿÿ
para todos ÿÿ ÿ ÿÿ , y por tanto ÿÿÿÿ ÿ ÿÿ para todo ÿÿ ÿ ÿÿ .

0
Por el contrario, supón que la sucesión (ÿÿÿÿ)ÿÿ converge a ÿÿ en (R ÿÿ, ÿÿ). Sea ÿÿ > 0; dejar ÿÿ <
min{1, ÿÿ}. Entonces existe ÿÿ ÿ Z+ tal que ÿÿÿÿ ÿ ÿÿÿÿ (ÿÿ , ÿÿ0 ) para todo ÿÿ ÿ ÿÿ . Por lo tanto, para todo ÿÿ ÿ ÿÿ y todo ÿÿ ÿ ÿÿ
,
ÿÿ 0
ÿÿ (ÿÿ (ÿÿ), ÿÿÿÿ (ÿÿ)) ÿ sup {ÿÿ (ÿÿ (ÿÿ), ÿÿÿÿ (ÿÿ))} 0<1 {ÿÿ (ÿÿ (ÿÿ), ÿÿÿÿ (ÿÿ))} < ÿÿ = sup ÿÿ ÿÿÿ < ÿÿ,
ÿÿ ÿÿÿ
entonces (ÿÿÿÿ)ÿÿ converge uniformemente a ÿÿ .
Ejercicio 21.8. Sea ÿÿ la métrica en ÿÿ . Sea ÿÿ un vecindario de ÿÿ (ÿÿ), y sea ÿÿ > 0 tal que ÿÿ (ÿÿ) ÿ ÿÿÿÿ (ÿÿ (ÿÿ), ÿÿ) ÿ ÿÿ . Como
(ÿÿÿÿ)ÿÿ converge uniformemente a ÿÿ , existe ÿÿ1 ÿ Z+ tal que ÿÿ (ÿÿÿÿ (ÿÿ), ÿÿ (ÿÿ)) < ÿÿ/2 paraÿÿ
todo
( ÿÿÿÿÿÿÿÿ),
ÿ ÿÿ yÿÿtodo
(ÿÿÿÿ))
ÿÿ ÿ<ÿÿ1,
ÿÿ/2de
para
modo
todo
que
ÿÿ ÿ ÿÿ1.
Además, ÿÿ es continua, entonces existe ÿÿ2 ÿ Z+ tal que ÿÿ (ÿÿ (ÿÿÿÿ), ÿÿ (ÿÿ)) < ÿÿ/2 para todo ÿÿ ÿ ÿÿ2.
Entonces, si ÿÿ > max{ÿÿ1, ÿÿ2}, entonces
ÿÿ ÿÿ
ÿ ÿÿ (ÿÿÿÿ ( ÿÿÿÿ ) , ÿÿ (ÿÿÿÿ)) + ÿÿ (ÿÿ (ÿÿÿÿ), ÿÿ (ÿÿ)) < + = ÿÿ

22
para todos ÿÿ ÿ ÿÿ , entonces ÿÿÿÿ (ÿÿÿÿ) ÿ ÿÿ para todo ÿÿ ÿ ÿÿ . De ello se deduce que (ÿÿÿÿ (ÿÿÿÿ))ÿÿ converge a ÿÿ (ÿÿ).
Ejercicio 21.9. (a) Claramente ÿÿÿÿ (0) ÿ 0. Ahora sea ÿÿ ÿ R \ {0} y sea ÿÿ(0, ÿÿ) una bola con centro en 0. Si
2 2 ÿÿ
ÿÿ ÿ Z+ es tal que ÿÿ ÿ 2ÿÿÿÿ > 1 y 1/ÿÿ < ÿÿ, entonces
1 1 1 1
|ÿÿÿÿ (ÿÿ)| = < ÿ < ÿÿ
3 2 2ÿÿ + 1 ÿÿ ÿÿ
ÿÿ (ÿÿ 2ÿÿ 2 ÿ 2ÿÿÿÿ)
ÿ
(ÿÿ ÿÿ
2)+1
ÿÿ

para todos ÿÿ ÿ ÿÿ . Así ÿÿÿÿ (ÿÿ) ÿ 0.
(b) Sea ÿÿÿÿ = 1/ÿÿ para ÿÿ ÿ Z+. Entonces ÿÿÿÿ ÿ 0, pero ÿÿÿÿ (ÿÿÿÿ) = 1 ÿ ÿÿ (0) = 0 para todo ÿÿ. Como cada ÿÿÿÿ es
continua, del ejercicio 21.8 se deduce que (ÿÿÿÿ)ÿÿ no converge uniformemente a ÿÿ .
Ejercicio 21.10. Por el Teorema 21.5, la función ÿÿ : R×R ÿ R dada por ÿÿ (ÿÿ×ÿÿ) = ÿÿÿÿ es continua y ÿÿ es la preimagen de ÿÿ bajo
el conjunto cerrado {1} en R, por lo que ÿÿ es cerrado. Del mismo modo ÿÿ : R × R ÿ R dado por ÿÿ(ÿÿ × ÿÿ) = ÿÿ ( [0, 1]), por lo que ÿÿ
2 2 1 ÿ1 ÿ1 1
cerrado. + ÿÿ es continua y ÿÿ = ÿÿ ({1}), ÿÿ2 = ÿÿ y ÿÿ 2 son
Ejercicio 21.11. (a) Sea ÿÿ = supÿÿ {ÿÿÿÿ}, que existe ya que (ÿÿÿÿ)ÿÿ está acotado. Dado ÿÿ > 0, existe ÿÿ ÿ Z+ tal que ÿÿÿÿ ÿ (ÿÿ ÿ ÿÿ,
ÿÿ] ÿ ÿÿ(ÿÿ, ÿÿ), de modo que ÿÿÿÿ ÿ ÿÿ(ÿÿ, ÿÿ) para todo ÿÿ ÿ ÿÿ . ÿÿÿÿ y ÿÿÿÿ = Íÿÿ
(b) Sea ÿÿÿÿ = Íÿÿ ÿÿ=1 ÿÿÿÿ , ÿÿÿÿ = Íÿÿ ÿÿ=1 ÿÿ=1 (ÿÿÿÿÿÿ + ÿÿÿÿ), ÿÿ ÿ Z+. Dado ÿÿ > 0, existe ÿÿ1 ÿ Z+ tal que
ÿÿÿÿ ÿ ÿÿ(ÿÿ, ÿÿ) para todo ÿÿ ÿ ÿÿ1, y ÿÿ2 ÿ Z+ tal que ÿÿÿÿ ÿ ÿÿ(ÿÿ, ÿÿ) para todo ÿÿ ÿ2. Si ÿÿ = max{ÿÿ1, ÿÿ2}, entonces
ÿÿÿÿ = ÿÿÿÿÿÿ + ÿÿÿÿ ÿ ÿÿ(ÿÿÿÿ + ÿÿ, ÿÿ)

ÿÿÿÿ = Õÿÿ (ÿÿÿÿÿÿ + ÿÿÿÿ) = ÿÿ Õÿÿ ÿÿÿÿ + Õÿÿ
ÿÿ=1 ÿÿ=1 ÿÿ=1
para todos ÿÿ ÿ ÿÿ, entonces ÿÿÿÿ ÿ ÿÿÿÿ + ÿÿ, es decir, Í ÿÿ (ÿÿÿÿÿÿ + ÿÿÿÿ) converge a ÿÿÿÿ + ÿÿ . |
(c) Seguimos la pista. Sea ÿÿÿÿ = Íÿÿ ÿÿ=1 ÿÿÿÿ , ÿÿÿÿ = Íÿÿ ÿÿ=1 ÿÿÿÿ | y ÿÿÿÿ = Íÿÿ ÿÿ=1 |ÿÿÿÿ | + ÿÿÿÿ para ÿÿ ÿ Z+. Como
Í ÿÿ ÿÿÿÿ converge y 0 ÿ ÿÿÿÿ para todo ÿÿ, tenemos ÿÿÿÿ ÿ ÿÿ para algunos ÿÿ ÿ 0. Entonces ÿÿÿÿ está acotado y |ÿÿÿÿ | converge Del
ÿÿÿÿ ÿ ÿÿÿÿ+1 para todo ÿÿ, entonces, usando (a), (ÿÿÿÿ)ÿÿ converge, es ÿÿ mismo modo, ÿÿÿÿ está acotado
decir, Í y ÿÿÿÿ ÿ ÿÿÿÿ+1 para todo ÿÿ, entonces
(|ÿÿÿÿÍ converge, ya su vezEntonces,
| + ÿÿÿÿ) converge. Í ÿÿ por (b), Í ÿÿ
(|ÿÿÿÿ | ÿ |ÿÿÿÿ | ÿ ÿÿÿÿ) = Í ÿÿ
(ÿÿÿÿÿ)
ÿÿ
ÿ(ÿÿÿÿÿ) = Í ÿÿ ÿÿÿÿ converge.
(d) Sea ÿÿ ÿ ÿÿ . Dado que |ÿÿÿÿ(ÿÿ)| ÿ ÿÿÿÿ para todo ÿÿ e Í ÿÿ ÿÿÿÿ converge, Í ÿÿ ÿÿÿÿ(ÿÿ) converge por (c), por lo que la
sucesión (ÿÿÿÿ (ÿÿ))ÿÿ converge en algún ÿÿ(ÿÿ). Así (ÿÿÿÿ)ÿÿ converge puntualmente a una función ÿÿ.
Probamos que la convergencia es uniforme. Sea ÿÿÿÿ = Íÿ ÿÿ=ÿÿ+1 ÿÿÿÿ . Si ÿÿ > ÿÿ y ÿÿ ÿ ÿÿ, entonces
ÿÿ ÿÿ
ÿÿÿÿ = ÿÿÿÿ.
|ÿÿÿÿ (ÿÿ) ÿ ÿÿÿÿ (ÿÿ)| = Õ ÿÿÿÿ(ÿÿ) ÿ Õ |ÿÿÿÿ(ÿÿ)| ÿ Õÿ
ÿÿ=ÿÿ+1 ÿÿ=ÿÿ+1 ÿÿ=ÿÿ+1
Así, si ÿÿ ÿ ÿ tenemos |ÿÿ(ÿÿ) ÿ ÿÿÿÿ (ÿÿ)| ÿ ÿÿÿÿ para todo ÿÿ ÿ Z+ y todo ÿÿ ÿ ÿÿ . Dado que Í tal que |ÿÿ(ÿÿ) ÿ ÿÿÿÿ ÿÿÿÿ converge, ÿÿ
dado ÿÿ > 0 existe ÿÿ ÿ Z+ tal que ÿÿÿÿ < ÿÿ para todo ÿÿ ÿ ÿÿ ÿÿ ÿ ÿÿ y todo ÿÿ ÿ ÿÿ . De , (ÿÿ)| < ÿÿ para todos
ello se deduce que (ÿÿÿÿ)ÿÿ converge uniformemente a ÿÿ.
2
Ejercicio 21.12. (a) Seguimos la pista. Sea (ÿÿ0, ÿÿ0) ÿ R y sea ÿÿ > 0; elige ÿÿ = ÿÿ/2. Si ÿÿ ( (ÿÿ, ÿÿ), (ÿÿ0, ÿÿ0)) < ÿÿ, entonces ÿÿ (ÿÿ
+ ÿÿ, ÿÿ0 + ÿÿ0) ÿ |ÿÿ ÿ ÿÿ0 | + |ÿÿ ÿÿÿ0 | ÿ 2ÿÿ ( (ÿÿ, ÿÿ), (ÿÿ0, ÿÿ0)) < 2ÿÿ = ÿÿ. Se sigue que la suma es continua.
2
(b) Sea (ÿÿ0, ÿÿ0) ÿ R y sea ÿÿ > 0. Elige ÿÿ < min{ÿÿ/(|ÿÿ0 | + |ÿÿ0 | +1), 1}. Si ÿÿ ( (ÿÿ, ÿÿ), (ÿÿ0, ÿÿ0)) <

22 La topología del cociente
ÿÿ, entonces
ÿÿ (ÿÿÿÿ, ÿÿ0ÿÿ0) ÿ |ÿÿ0 ||ÿÿ ÿ ÿÿ0 | + |ÿÿ0 ||ÿÿ ÿ ÿÿ0 | + |ÿÿ ÿ ÿÿ0 ||ÿÿ ÿ ÿÿ0 |
ÿ ÿÿ ( (ÿÿ, ÿÿ), (ÿÿ0, ÿÿ0)) (|ÿÿ0 | + |ÿÿ0 | + ÿÿ ( (ÿÿ, ÿÿ), (ÿÿ0, ÿÿ0)) <
ÿÿ (|ÿÿ0 | + |ÿÿ0 | + ÿÿ )
ÿÿ
< (|ÿÿ0 | + |ÿÿ0 | + 1) = ÿÿ. |
ÿÿ0 | + |ÿÿ0 | + 1
Por lo tanto la multiplicación es continua.
(c) Seguimos la pista. Sea ÿÿ : R \ {0} ÿ R ÿÿ (ÿÿ) = 1/ÿÿ. Sea (ÿÿ, ÿÿ) un ( (ÿÿ, ÿÿ)) =
ÿ1 ÿ1
intervalo en R. Si ÿÿ > 0 o ÿÿ < 0, entonces ÿÿ (ÿÿ, 1/ÿÿ) ÿ (1/ ( (ÿÿ, ÿÿ)) = (1/ÿÿ, 1/ÿÿ). Si ÿÿ < 0 < ÿÿ, ÿÿ
ÿ1
ÿÿ, +ÿ). Si ÿÿ = 0 y ÿÿ > 0, entonces ÿÿ ÿÿ ( (0, ÿÿ)) = (1/ÿÿ, +ÿ); si ÿÿ = 0 y ÿÿ < 0,
ÿ1 ÿ1
( (ÿÿ, 0)) = (ÿÿ, 1/ÿÿ). En cualquier caso ÿÿ (d) Como ( (ÿÿ, ÿÿ)) es abierto, por lo que ÿÿ es continua.
la función ÿÿ : R ÿ R dada por ÿÿ(ÿÿ) = ÿÿÿ y la función identidad 1R : R ÿ R son continuas, se sigue que 1R × ÿÿ : R × R, (ÿÿ, ÿÿ) ÿÿ
ÿÿ × (ÿÿÿ) es continua (ver Ejercicio 18.10).
Entonces la operación de resta ÿÿ × ÿÿ ÿÿ ÿÿ ÿ ÿÿ es continua siendo el compuesto + ÿ (1R × ÿÿ).
De manera similar, la operación de cociente ÿÿ ×ÿÿ ÿÿ ÿÿ/ÿÿ de R × (R \ {0}) a R es continua ya que es donde ÿÿ está dada en el literal
ÿÿ , (c). compuesto de la operación de multiplicación con 1R ×

Ejercicio 22.1. Los subconjuntos impropios no vacíos de ÿÿ son {ÿÿ}, {ÿÿ}, {ÿÿ}, {ÿÿ, ÿÿ}, {ÿÿ, ÿÿ}, {ÿÿ, ÿÿ}. De ({ÿÿ}) = (0, ÿ), ÿÿÿ1 ({ÿÿ}) =
ÿ1
esos, ÿÿ (ÿÿ, 0), ÿÿÿ1 ({ÿÿ, ÿÿ}) = (ÿÿ, 0) ÿ (0, ÿ) están abiertos en R, y
ÿ1
ÿÿ ({ÿÿ}) = {0}, ÿÿÿ1 ({ÿÿ, ÿÿ}) = [0, ÿ), ÿÿÿ1 ({ÿÿ, ÿÿ}) = (ÿÿ, 0] no lo son.
ÿ1
Ejercicio 22.2. (a) Sea 1ÿÿ : ÿÿ ÿ ÿÿ la función identidad en ÿÿ abierta en ÿÿ, entonces . Si ÿÿ es un subconjunto de ÿÿ y ÿÿ (ÿÿ) es
ÿ1 ÿ1 ÿ1
ÿÿ (ÿÿ (ÿÿ )) = 1 ÿÿ
(ÿÿ ) = ÿÿ está abierto en ÿÿ por continuidad de ÿÿ . Entonces ÿÿ es un cociente
mapa.
(b) La función de inclusión ÿÿ : ÿÿ ÿ ÿÿ es continua y ÿÿ ÿ ÿÿ = 1ÿÿ es la identidad. Por lo tanto, ÿÿ es un mapa cociente de (a).
Ejercicio 22.3. Tenga en cuenta queÿÿ = (R+×R)ÿ(R×{0}). Sea ÿÿ : ÿÿ ÿ R×{0} ÿÿ(ÿÿ×ÿÿ) = ÿÿ×0.
Ten en cuenta que ÿÿ es continua porque es la restricción de la función continua R × R ÿ R × {0} dada por la misma fórmula. Además,
ÿÿ(ÿÿ ×0) = ÿÿ ×0 para todo ÿÿ ×0 ÿ R× {0}, por lo que ÿÿ es una retracción. Del ejercicio 22.2 se deduce que ÿÿ es un mapa cociente.
Sea ÿ : R× {0} ÿ R dado por ÿ(ÿÿ × 0) = ÿÿ.
Entonces ÿ es un homeomorfismo, por lo que en particular es un mapa de cociente. Por lo tanto, ÿÿ = ÿ ÿ ÿÿ es un mapa de cociente.
Ahora, (R × R+) ÿ ÿÿ está abierto en ÿÿ, pero ÿÿ( (R × R+) ÿ ÿÿ) = R+ no está abierto en R, entonces ÿÿ no es un mapa abierto. Sea ÿÿ =
ÿÿ 3ÿÿ
< ÿÿ < ÿÿ ÿ ÿÿ es cerrado en ÿÿ. Pero ÿÿ(ÿÿ ÿ ÿÿ) = ( ÿÿ
{ÿÿ × tan ÿÿ | }. Entonces ÿÿ es cerrado en R, entonces
2 2
3ÿÿ
2, 2
) no es cerrado en R, por lo que ÿÿ no es un morfismo cerrado.
2
Ejercicio 22.4. (a) Seguimos la pista. De ne ÿÿ : R × R ÿ R por ÿÿ(ÿÿ × ÿÿ) = ÿÿ + ÿÿ sobreyectiva y continua. Como ÿÿ . Entonces ÿÿ es
ÿ ÿ1
función continua ÿÿ : ÿÿ = {ÿÿ ({ÿÿ}) | ÿÿ ÿ R}, por el Corolario 22.3 ÿÿ induce una biyectiva ÿ R. Ahoraÿ :
ÿ
R ÿ R×R dado por ÿ(ÿÿ) = ÿÿ×0 es una continua inversa por la derecha

de ÿÿ. Así, por el Ejercicio 22.2(a), ÿÿ es un mapa de cociente. Por el Corolario 22.3, ÿÿ es un homeomorfismo entre ÿÿ ÿ y
R.
2 2
(b) Del mismo modo, define ÿÿ : R × R ÿ R+ por ÿÿ(ÿÿ × ÿÿ) = ÿÿ + ; ÿÿ es sobreyectiva y continua. ÿ R+. La
Desde ÿÿ ÿ = {ÿÿ ÿ1 ÿÿ ({ÿÿ}) | ÿÿ ÿ R+}, ÿÿ induce una función continua biyectiva ÿÿ : ÿÿ ÿ
función ÿ : R+ ÿ R ×
R dada por ÿ(ÿÿ) = ÿ ÿÿ × 0 es un inverso continuo por la derecha de ÿÿ, por lo que ÿÿ es una función cociente del Ejercicio
22.2(a). Por lo tanto, por el Corolario 22.3, ÿÿ es un homeomorfismo entre ÿÿ ÿ y R+.
Ejercicio 22.5. Sea ÿÿ abierto en ÿÿ. Como ÿÿ está abierto en ÿÿ, ÿÿ también está abierto en ÿÿ, entonces ÿÿ(ÿÿ ) está abierto
en ÿÿ . Como ÿÿ(ÿÿ ) = ÿÿ(ÿÿ ) = ÿÿ(ÿÿ ) ÿ ÿÿ(ÿÿ), el conjunto ÿÿ(ÿÿ ) es abierto en ÿÿ(ÿÿ). Por lo tanto, ÿÿ es un mapa abierto.
Ejercicio 22.6. (a) Sea ÿÿ ÿ ÿÿ el punto en el que colapsa el conjunto ÿÿ, es decir, ÿÿ = {ÿÿ ÿ Rÿ | ÿÿ ÿ ÿÿ}. Sea ÿÿ ÿ ÿÿ;
mostramos que {ÿÿ} es cerrado en ÿÿ Si ÿÿ ÿ ÿÿ, entonces ÿÿ es un. subconjunto
cerrado en Rÿde.un punto deque
(Recuerde Rÿ ,Rÿ
({ÿÿ}) = {ÿÿ }, que
es Hausdor es lo
.) Por
ÿ1
decir ÿÿ = {ÿÿ}. Entonces tanto, dado que
ÿ1
ÿÿ ÿÿ es un mapa cociente, {ÿÿ} está cerrado en ÿÿ . Ahora, si ÿÿ = ÿÿ, entonces ({ÿÿ}) = ÿÿ, que también está cerrado en
Rÿ , ÿÿ entonces {ÿÿ} también está cerrado en ÿÿ. Esto prueba que ÿÿ es ÿÿ1.
ahora probamos que ÿÿ no es Hausdor. Considere ÿÿ, {0} ÿ ÿÿ . Supongamosque ÿÿ ,ÿÿ son conjuntos abiertos (ÿÿ ) es
ÿ1
en ÿÿ tal que ÿÿ ÿ ÿÿ , {0} ÿ ÿÿ y ÿÿ ÿ ÿÿ =, ÿ. Entonces ÿÿ (ÿÿ ) es un abierto en Rÿ y contiene ÿÿ como
ÿ1 ÿ1 ÿ1 ÿ1
un subconjunto y entorno de 0 en Rÿ , entonces ÿÿ (ÿÿ ) ÿ ÿÿ (ÿÿ) = ÿÿ (ÿÿ ÿ ÿÿ ) ÿ ÿ, un
ÿÿ contradicción. De ello se deduce que ÿÿ no es Hausdor .
(b) Seguimos la pista. Como ÿÿ no es Hausdor cerrado en ÿÿ , la diagonal ÿ = {ÿÿ × ÿÿ | ÿÿ ÿ ÿÿ } no es

ÿ1
×ÿÿ por el Ejercicio 17.13. Mostramos que (ÿÿ ×ÿÿ) (ÿ) está cerrado en Rÿ ×Rÿ ; esto prueba que
ÿ1
ÿÿ × ÿÿ no es un mapa de cociente. Ten en cuenta que ÿÿ × ÿÿ ÿ (ÿÿ × (ÿ) si y solo si ÿÿ(ÿÿ) × ÿÿ(ÿÿ) ÿ ÿ. Después
ÿ1
ÿÿ) (ÿÿ × ÿÿ) (ÿ) = ÿÿ ÿ (ÿÿ × ÿÿ), donde ÿÿ = {ÿÿ × ÿÿ | ÿÿ ÿ Rÿ } es la diagonal en Rÿ × Rÿ . Como Rÿ es ÿÿ es cerrado en Rÿ
ÿ1
Hausdor , ×Rÿ . Como ÿÿ ×ÿÿ también es cerrado en Rÿ ×Rÿ , se sigue que (ÿÿ ×ÿÿ) (ÿ)
está cerrado en Rÿ × Rÿ .
Ejercicios Complementarios: Grupos Topológicos

Ejercicio complementario 1. Primero asume que ÿÿ es un grupo topológico. El mapa ÿÿ × ÿÿ ÿ ÿÿ,
ÿ1 ÿ1
ÿÿ ·ÿÿ corresponde, es
a ÿÿ
el ×compuesto
ÿÿ ÿ ÿÿ, ÿÿdel
× ÿÿ
mapa
ÿÿ ÿÿÿÿ· ×ÿÿ
ÿÿ. El
ÿ ÿÿ
último
×ÿÿ,es
ÿÿcontinuo
×ÿÿ ÿÿ ÿÿpor
×ÿÿ , y la
definición de grupo multiplicación
topológico, ÿÿ ×ÿÿ ÿÿ
y el primero
es continuo por definición de grupo topológico y Ejercicio 18.10.
ÿ1
Por el contrario, asume el mapa ÿÿ : ÿÿ × ÿÿ ÿ ÿÿ, ÿÿ × ÿÿ ÿÿ ÿÿ · ÿÿ , es continuo Sea ÿÿ ÿ ÿÿ
denota el elemento de identidad. De los ejercicios 18.10 y 18.11 se deduce que los mapas ÿÿ ÿ ÿÿ, ÿÿ ÿÿ ÿÿ (ÿÿ ×ÿÿ) = ÿÿ y
ÿ1
ÿÿ × ÿÿ ÿ ÿÿ, ÿÿ ×ÿÿ ÿÿ ÿÿ, (ÿÿ × ÿÿ (ÿÿ ×ÿÿ) = ÿÿ) · ÿÿ, son continuas. Por lo tanto, ÿÿ es un grupo topológico.
Ejercicio complementario 2. (a) El espacio Z es discreto, por lo que es Hausdor (en particular ÿÿ1) y las funciones de
multiplicación e inversión son claramente continuas.
(b) El espacio R es Hausdor (en particularÿÿ1), la suma R×R ÿ R, ÿÿ×ÿÿ ÿÿ ÿÿ+ÿÿ, es continua por el Ejercicio 21.12(a)
y la función de inversión R ÿ R, ÿÿ ÿÿ ÿÿÿ , es continua por los ejercicios 18.11 y 21.12(d).

(c) El espacio R es Hausdor (en particular ÿÿ1), la multiplicación R+ × R+ ÿ R+, ÿÿ × ÿÿ ÿÿ ÿÿ + ÿÿ, es continua por el Ejercicio
21.12(b) y la función de inversión R+ ÿ R+, ÿÿ ÿÿ 1 /ÿÿ, es continua por los Ejercicios 18.11 y 21.12(d). es Hausdor (en particular ÿÿ1)
siendo un subespacio de R abierto y ÿÿ × ÿÿ ÿ ÿÿ
1 2
(d) El espacio ÿÿ 1 1 = C. Considere el mapa (ÿÿ ).
× ÿÿ ÿ ÿÿ ÿ1 1 . Sea ÿÿ ÿ ÿÿ ÿ1
1 ÿÿ : ÿÿ dada por ÿÿ (ÿÿ × ÿÿ) = ÿÿ · ÿÿ ÿÿÿÿ Escribe
ÿÿÿÿ ÿÿ = ÿÿ ÿÿ(ÿÿÿÿÿ) y ÿÿ = ÿÿ . Entonces ÿÿ(ÿÿ ×
ÿÿ) = ÿÿ subconjunto
ÿÿ <abierto
ÿÿ + ÿÿ}
ÿÿÿÿ,ÿÿ
ÿ ÿÿ = {ÿÿ | ÿÿ ÿ ÿÿ < ÿ ÿÿ . Para ÿÿ ÿ [0, 2ÿÿ] y ÿÿ > 0, considera . Como ÿÿ es abierto,
ÿÿÿÿ 1
existe ÿÿ > 0 tal que ÿ ÿÿÿÿÿÿÿ,ÿÿ ÿ ÿÿ . Así, ÿÿ ÿ ÿÿÿÿ,ÿÿ/2,
ÿÿ(ÿÿÿÿÿ) que ÿÿ
ÿÿ ÿ ÿÿÿÿ,ÿÿ/2 y ÿÿ (ÿÿÿÿ,ÿÿ/2 × ÿÿÿÿ,ÿÿ/2) ÿ ÿÿÿÿÿÿÿ,ÿÿ, de modo que (ÿÿ ). Por lo tanto, ÿÿ es continua. Por el ejercicio
ÿ1
ÿÿÿÿ,ÿÿ/2 × ÿÿÿÿ,ÿÿ/2 ÿ ÿÿ complementario 1, deducimos que
1
(ÿÿ ,topológico.
·) es un grupo
(e) El espacio GL(ÿÿ)
2
ÿÿ
es Hausdor (en particular ÿÿ1) siendo un subespacio de R . Cada componente del
mapa del producto GL(ÿÿ) × GL(ÿÿ) ÿ GL(ÿÿ), ÿÿ × ÿÿ ÿÿ ÿÿÿÿ, es un polinomio de las entradas, por lo que es continuo. Finalmente, la
ÿ1
función de inversión GL(ÿÿ) ÿ GL(ÿÿ), ÿÿ ÿÿ ÿÿ es continua por la regla de Cramer. ,
Ejercicio complementario 3. Tanto ÿÿ como ÿÿ son ÿÿ1 ya que son subespacios de ÿÿ. Sea ÿÿ : ÿÿ×ÿÿ ÿ ÿÿ dado por ÿÿ (ÿÿ × ÿÿ) = ÿÿ ·
ÿ1
ÿÿ . Entonces ÿÿ es continuo según el Ejercicio complementario 1. Dado que ÿÿ es un subgrupo,
ÿÿ se restringe a una función ÿÿ × ÿÿ ÿ ÿÿ, que nuevamente es continua, por lo que ÿÿ es un grupo topológico según el Ejercicio
complementario 1. De manera similar, para ver que ÿÿ es un grupo topológico es suficiente para probar que ÿÿ se restringe a un morfismo
ÿÿ × ÿÿ ÿ ÿÿ, y esto se sigue del Teorema 18.1(b) y del Ejercicio
17.9.
Ejercicio complementario 4. Tanto ÿÿÿÿ como ÿÿÿÿ son continuas por el Ejercicio 18.11; además, son biyectivas con inversas ÿÿÿÿ ÿ1
y ÿÿÿÿ ÿ1 respectivamente, que son continuas. Por lo tanto , ÿÿÿÿ y ÿÿÿÿ son homeomorfismos. Finalmente, dado ÿÿ, ÿÿ ÿ ÿÿ, la función
ÿÿÿÿ·ÿÿ ÿ1 es un homeomorfismo de ÿÿ sobre sí mismo que envía ÿÿ a ÿÿ. Por lo tanto, ÿÿ es un espacio homogéneo.
Ejercicio complementario 5. Sea ÿÿ : ÿÿ ÿ ÿÿ/ÿÿ el mapa del cociente. Para ÿÿ ÿ ÿÿ, sean ÿÿÿÿ : ÿÿ ÿ ÿÿ y ÿÿÿÿ : ÿÿ ÿ ÿÿ los
homeomorfismos dados en el ejercicio complementario 4.
(a) Considere ÿÿ = ÿÿ ÿ ÿÿÿÿ : ÿÿ ÿ ÿÿ/ÿÿ, de modo que ÿÿ(ÿÿ) = (ÿÿ ·ÿÿ)ÿÿ . Entonces ÿÿ es una composición de mapas de cocientes,
ÿ1 ÿ1
(ÿÿÿÿ)
por lo tanto, cociente. Ten en cuenta que para ÿÿ ÿ ÿÿ, tenemos ÿÿ · ÿÿ)ÿÿ . Como ÿÿÿÿ=pasa
(ÿÿ por todas
hacelas
(ÿÿclases laterales,
· ÿÿ)ÿÿ, de modotambién lo
que ÿÿ/ÿÿ
ÿ1 ÿ1
= {ÿÿ (ÿÿÿÿ) | ÿÿÿÿ ÿ ÿÿ/ÿÿ}. Del Corolario 22.3
(ÿÿ ·ÿÿ)ÿÿ se sigue que
. Finalmente, ÿÿ induce
observa queun homeomorfismo
dado
entonces
ÿÿÿÿ,ÿÿ/ÿÿ
ÿÿÿÿ es ÿÿeÿÿ
ÿ ÿÿ/ÿÿ,
un : ÿÿ/ÿÿ
espacio
tenemos ÿÿÿeÿÿ·ÿÿ
ÿÿ/ÿÿ dado
homogéneo. por ÿÿeÿÿ
ÿ1 (ÿÿÿÿ) (ÿÿÿÿ) =
= ÿÿÿÿ,
(b) Sea ÿÿ ÿ ÿÿ. Como ÿÿ es cerrado y ÿÿÿÿ : ÿÿ ÿ ÿÿ es un homeomorfismo, ÿÿÿÿ (ÿÿ) = ÿÿÿÿ = ({ÿÿÿÿ}) es cerrado en ÿÿ, y por lo
ÿ1
ÿÿ tanto {ÿÿÿÿ} es cerrado en ÿÿ/ÿÿ . (c) Sea ÿÿ abierto en ÿÿ. Entonces ÿÿÿ (ÿÿ ) ÿ ÿÿ es abierto para todo ÿ ÿ ÿÿ, entonces
ÿ1
ÿÿ (ÿÿ(ÿÿ )) = ÿÿ ÿ1 Ø ÿÿÿ (ÿÿ )
ÿÿ ÿÿÿ {ÿÿÿÿ} !=Ø ÿÿÿÿ
está abierto en ÿÿ y por lo tanto ÿÿ(ÿÿ ) está abierto en ÿÿ/ÿÿ .

(d) La operación ÿÿ/ÿÿ ×ÿÿ/ÿÿ ÿ ÿÿ/ÿÿ dada por ÿÿÿÿ ×ÿÿÿÿ ÿÿ (ÿÿ · ÿÿ)ÿÿ está bien de nida ya que ÿÿ es normal y dota a ÿÿ/
ÿÿ de una estructura de grupo con identidad elemento ÿÿÿÿ = ÿÿ e inversos = ÿÿ ÿ1ÿÿ dado por (ÿÿÿÿ)
ÿ1
. De la parte (b), ÿÿ/ÿÿ es ÿÿ1. Ahora considera la función ÿÿ : ÿÿ × ÿÿ ÿ ÿÿ
ÿ1
dada por ÿÿ (ÿÿ ×ÿÿ) = ÿÿ ·ÿÿ ÿÿ/ . Por el Ejercicio Complementario 1, ÿÿ es continua, de modo que ÿÿ ÿ ÿÿ : ÿÿ ×ÿÿ ÿ
ÿÿ es continua. Por la parte (c), ÿÿ es abierta. Por lo tanto, ÿÿ × ÿÿ : ÿÿ × ÿÿ ÿ ÿÿ/ÿÿ × ÿÿ/ÿÿ es abierto y sobreyectivo, por lo que
en particular es un mapa cociente. Además, para cualquier ÿÿÿÿ × ÿÿÿÿ ÿ ÿÿ/ÿÿ × ÿÿ/ÿÿ y ÿÿ ×ÿÿ ÿ (ÿÿ × ÿÿ) ÿÿ × ÿÿ. Por el
ÿ1 ÿ1
Teorema 22.2, ÿÿ ÿ ÿÿ induce
(ÿÿÿÿ ×ÿÿÿÿ)
una función
tenemos
continua
ÿÿ ÿ ÿÿÿÿ(ÿÿ
: ÿÿ/ÿÿ
×ÿÿ) ×ÿÿ/ÿÿ
= (ÿÿ · ÿÿÿÿÿ/ÿÿ, que)ÿÿ,
dada
entonces
por ÿÿ ÿ ÿÿ constante en las bres de
ÿ1 ÿ1
ÿÿ (ÿÿÿÿ × ÿÿÿÿ) ÿÿ (ÿÿ · ÿÿ )ÿÿ = (ÿÿÿÿ) · (ÿÿÿÿ) . Del ejercicio complementario 1 se deduce que ÿÿ/ÿÿ
es un grupo topológico.
1
Ejercicio complementario 6. Sea ÿÿ : R ÿ R/Z el mapa del cociente. Considere el mapa ÿÿ : R ÿ ÿÿ dado por mapa ÿÿ(ÿÿ) =
ÿÿ2ÿÿÿÿ
. Entonces
ÿÿ; por tanto, por el Corolario las un
22.3 induce fibras de ÿÿ son precisamente
homeomorfismo losAdemás,
ÿÿ : R/Z ÿ ÿÿ elementos de R/Z.
nótese queNota ÿÿ es un
ÿÿ también escociente
un homomorfismo
1 ÿÿ2ÿÿÿÿ .
de grupo (por lo tanto, un isomorfismo). dado por ÿÿ (ÿÿ +Z) = ÿÿ
Ejercicio complementario 7. (a) Usamos la pista. Sea ÿÿ una vecindad de ÿÿ. Como la multiplicación ÿÿ ×ÿÿ ÿ ÿÿ, ÿÿ ×ÿÿ ÿÿ
ÿÿ · ÿÿ, es continua y genera ÿÿ ×ÿÿ ÿÿ ÿÿ, existe un entorno ÿÿ de ÿÿ tal que ÿÿ ·ÿÿ ÿ ÿÿ . Por el Ejercicio Complementario 1, la
ÿ1
función ÿÿ ×ÿÿ ÿ ÿÿ, ÿÿ ×ÿÿ ÿÿ ÿÿ · ÿÿ es continua y envía ÿÿ ×ÿÿ ÿÿ ÿÿ, por lo que existe un entorno ÿÿ de ÿÿ tal que ÿÿ · ÿÿ ÿ ÿÿ .,
ÿ1
Entonces ÿÿ = ÿÿ · ÿÿÿ1 es un entorno simétrico de ÿÿ tal que ÿÿ · ÿÿ ÿ ÿÿ . (b) Sea ÿÿ ÿ ÿÿ en ÿÿ.
ÿ1 ÿ1
Como ÿÿ es ÿÿ1, el conjunto de un punto {ÿÿ · ÿÿ } es cerrado, entonces ÿÿ = ÿÿ \ {ÿÿ · ÿÿ
} Esta abierto. Por (a) Por la parte (a), existe un entorno simétrico ÿÿ de ÿÿ tal que ÿÿ · ÿÿ ÿ ÿÿ .
Supongamos que ÿÿ ÿ (ÿÿ · ÿÿ) ÿ (ÿÿ ·ÿÿ). Entonces existen ÿÿ1, ÿÿ2 ÿ ÿÿ tales que ÿÿ = ÿÿ1 · ÿÿ = ÿÿ2 ·ÿÿ. Pero entonces una
ÿ1 ÿ1 = ÿÿ 1
ÿÿ · ÿÿ ·ÿÿ2 ÿ ÿÿ ÿ1 ·ÿÿ = ÿÿ ·ÿÿ ÿ ÿÿ , contradicción. Se sigue que ÿÿ · ÿÿ y ÿÿ · ÿÿ son disjuntos.
En particular, ÿÿ es Hausdor. (c) Sean
ÿ1
ÿÿ ÿ ÿÿ cerrados y ÿÿ ÿ ÿÿ. Entonces ÿÿ · ÿÿ está cerrado por el ejercicio complementario 4, por lo
ÿ1
ÿÿ = ÿÿ \ÿÿ · ÿÿ que está abierto en ÿÿ. Por la parte (a), existe un entorno simétrico ÿÿ de ÿÿ tal que
ÿÿ · ÿÿ ÿ ÿÿ . Entonces, de manera similar a la parte (b), ÿÿ · ÿÿ y ÿÿ · ÿÿ son disjuntas. Además, como ÿÿ ÿ ÿÿ , contienenÿÿ y ÿÿ
respectivamente, y están abiertos por el Ejercicio complementario 4.
0 0 ÿ1
(d) Sea ÿÿ estar cerrado en ÿÿ/ÿÿ y ÿÿÿÿ ÿ ÿÿ/ÿÿ un punto que no está en ÿÿ . Entonces ÿÿ = ÿÿ (ÿÿ) es cerrado
0
y subconjunto saturado de ÿÿ tal que ÿÿ(ÿÿ) = ÿÿ vecindario ÿÿ y ÿÿ ÿ ÿÿ. Como en (c), existe un simétrico
de ÿÿ ÿ ÿÿ tal que ÿÿ ·ÿÿ y ÿÿ · ÿÿ son disjuntos. Según el ejercicio complementario 5(c), ÿÿ(ÿÿ ·ÿÿ) y ÿÿ(ÿÿ · ÿÿ) son abiertos y
0
contienen ÿÿ y ÿÿÿÿ respectivamente. Queda por demostrar que son Entonces
disjuntos, existen
así queÿÿ1,
supongamos
ÿÿ2 ÿ ÿÿ yÿÿ
ÿÿÿÿÿÿ(ÿÿ
ÿÿ tales
· ÿÿ)que
ÿ ÿÿ(ÿÿ
ÿÿ = ·(ÿÿ1
ÿÿ).
·ÿÿ)ÿÿ = (ÿÿ2 · ÿÿ)ÿÿ, de modo que ÿÿ2 · ÿÿ = ÿÿ1 ·ÿÿ ·ÿ para algún ÿ ÿ ÿÿ
0
. Pero ÿÿ(ÿÿ ·ÿ) = (ÿÿ ·ÿ)ÿÿ = ÿÿÿÿ ÿ ÿÿ de ,
modo que ÿÿ · ÿ ÿ ÿÿ. Entonces ÿÿ2 · ÿÿ = ÿÿ1 ·ÿÿ · ÿ ÿ (ÿÿ ·ÿÿ) ÿ (ÿÿ · ÿÿ), una contradicción. Por tanto, ÿÿ(ÿÿ ·ÿÿ) y ÿÿ(ÿÿ · ÿÿ)
0
son barrios abiertos disjuntos de ÿÿ y ÿÿÿÿ respectivamente, y deducimos
en cuenta
queque
ÿÿ/ÿÿ
no satisface
usamos elelhecho
axioma
dede
que
regularidad.
ÿÿ sea cerrado).
(Tenga

Envíe sus comentarios, sugerencias y correcciones por correo electrónico o en el

sitio web. https://positron0802.wordpress.com positron0802@mail.com

Topology 2 Munkres

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Topology 2 Munkres

Cargado por

Copyright:

Formatos disponibles

Machine Translated by Google

Soluciones por positrón0802

2 Espacios Topológicos y Funciones Continuas 1

2 Espacios Topológicos y Funciones Continuas

13 Base para una topología

13 Base para una topología

Ejercicio 13.2. Estas topologías se enumeran a continuación:

ÿÿ1 = {ÿ, ÿÿ}, ÿÿ2 = {ÿ, {ÿÿ}, {ÿÿ, ÿÿ}, ÿÿ},

{ÿÿ, ÿÿ}, {ÿÿ, ÿÿ}, {ÿÿ, ÿÿ}, ÿÿ }.

ÿÿ \ Ø ÿÿÿÿ = Ù (ÿÿ \ ÿÿÿÿ )

2 Soluciones por positrón0802

13 Base para una topología

3 Soluciones por positrón0802

14 La topología del orden

14 La topología del orden

15 La topología del producto en ÿÿ × ÿÿ

16 La topología del subespacio

Ejercicio 16.3. ÿÿ está abierto en R y ÿÿ ÿ ÿÿ = ÿÿ, entonces también está abierto en ÿÿ .

producto en ÿÿ × ÿÿ . Sea ÿÿ abierto en ÿÿ y ÿÿ abierto en ÿÿ; sea ÿÿ ÿ ÿÿ y ÿÿ ÿ ÿÿ . Desde ×ÿÿ

Ejercicio 16.6. En el ejercicio 13.8 ya probamos que

ÿ = {(ÿÿ, ÿÿ) | ÿÿ < ÿÿ, ÿÿ y ÿÿ racionales}

4 Soluciones por positrón0802

16 La topología del subespacio

ÿÿ = Ø {ÿÿ} × (ÿÿ, ÿÿ) , ÿÿ = Ø {ÿÿ} × (ÿÿ, ÿÿ) y ÿÿ = Ø {ÿÿ} × (ÿÿ, ÿÿ) .

5 Soluciones por positrón0802

17 Conjuntos cerrados y puntos límite

17 Conjuntos cerrados y puntos límite

pertenece a ÿÿ, y si ÿÿ \ ÿÿ1, . . . , ÿÿ \ ÿÿÿÿ están en ÿÿ, entonces

está en ÿÿ. Por lo tanto, ÿÿ es una topología sobre ÿÿ .

Ejercicio 17.4. Ya que

ÿÿ \ (ÿÿ \ ÿÿ) = (ÿÿ \ ÿÿ ) ÿ ÿÿ y ÿÿ \ (ÿÿ \ ÿÿ ) = (ÿÿ \ ÿÿ) ÿÿÿ ,

se sigue que ÿÿ \ (ÿÿ \ ÿÿ) es cerrado en ÿÿ y ÿÿ \ (ÿÿ \ ÿÿ ) es abierto en ÿÿ .

6 Soluciones por positrón0802

17 Conjuntos cerrados y puntos límite

Ejercicio 17.6. (a) ÿÿ es cerrado y contiene ÿÿ, entonces ÿÿ ÿ ÿÿ. (b)

7 Soluciones por positrón0802

17 Conjuntos cerrados y puntos límite

Ejercicio 17.16. Recordar que

ÿÿ1 = la topología estándar, ÿÿ2 =

la topología de Rÿÿ, ÿÿ3 = la

topología del complemento finito, ÿÿ4 = la

(a) En ÿÿ1: el único punto límite de ÿÿ es 0, por lo que su cierre es ÿÿ = ÿÿ ÿ {0}.

8 Soluciones por positrón0802

17 Conjuntos cerrados y puntos límite

barrio de ÿÿ que no contenga ÿÿ (ver Ejercicio 15).

Por lo tanto, tampoco es Hausdor.

Ejercicio 17.17. Recuerda que ÿÿ = { [ÿÿ, ÿÿ) | ÿÿ < ÿÿ, ÿÿ y ÿÿ racional}.

Ejercicio 17.18. Como ÿÿ = ÿÿ ÿ ÿÿ 0

R, entonces Int (ÿÿ ) = R ÿ ÿÿ .

9 Soluciones por positrón0802

17 Conjuntos cerrados y puntos límite

(1) ÿÿÿÿ (ÿÿ) = ÿÿ (ÿÿ) y ÿÿÿÿ(ÿÿ) = ÿÿ(ÿÿ). (2)

ÿÿÿÿÿÿÿÿÿÿ (ÿÿ), ÿÿÿÿÿÿÿÿÿÿ (ÿÿ (ÿÿ ), ÿÿÿÿÿÿÿÿÿÿÿÿ (ÿÿ), ÿÿÿÿÿÿÿÿÿÿÿÿ (ÿÿ),

es decir, ÿÿ (ÿÿ) tiene como máximo 14 elementos.

1. ÿÿ = (0, 1) ÿ (1, 2) ÿ {3} ÿ ([4, 5] ÿ Q). 2. ÿÿ (ÿÿ) = [0,

10 Soluciones por positrón0802

6. ÿÿÿÿÿÿ (ÿÿ) = (ÿÿ, 0] ÿ [2, 4] ÿ [5, ÿ). 7.

Ejercicio 18.6. Considerar

11 Soluciones por positrón0802

ningún barrio ÿÿ de ÿÿ con ÿÿ (ÿÿ ) ÿ ÿÿ . Si ÿÿ ÿ R \ Q, el vecindario (ÿ2ÿÿ, 0) o (0, ÿ2ÿÿ) (dependiendo

ÿ : ÿÿ ÿ ÿÿ, ÿ(ÿÿ) = min{ÿÿ (ÿÿ), ÿÿ(ÿÿ)} = ( ÿÿ ÿÿ 0 (ÿÿ) si ÿÿ ÿ ÿÿ

12 Soluciones por positrón0802