Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Topologia General Dario Sanchez PDF
Topologia General Dario Sanchez PDF
danojuanos@hotmail.com
danojuanos@tutopia.com
El objeto de estas notas es brindar al lector un modelo de aprendizaje. A continuacin encontrar
ms de cien resultados bsicos, entre los cuales se hallan definiciones, teoremas, corolarios y
algunos ejemplos, es posible que encuentre la manera de volver a redactar algunos, entonces
hgalo de forma que los pueda recordar despus. Para las demostraciones es indispensable el uso
de una biblioteca con un buen nmero de textos de topologa general, en esta forma el estudiante
utiliza tcticas de investigacin y emplear la biblioteca. Luego encontrar resultados en donde se
ha dado una posible demostracin, la cual se supone es correcta, sin descartar la posibilidad de
que haya algunos errores; el lector deber revisarlas analizando cual de los resultados bsicos se
han utilizado en la prueba.
1. RESULTADOS BASICOS
1 Una
se tiene
l. B E . C E l . B C
Cualesquiera sean B C D Q , se tiene
l. B D . C D l . B C
Si E, F son dos subconjuntos no vacos de Q , se define la distancia entre ellos
por
B C Q
Daro Snchez H.
TOPOLOGIA GENERAL
. E F 380 . + , + E , F
Una aplicacin 0 Q R de un espacio mtrico Q en un espacio mtrico R , se
llama una inmersin isomtrica cuando
. 0 B 0 C . B C
cualesquiera sean B C Q . Si adems, 0 es una aplicacin de Q sobre R , entonces
se dice que 0 es una isometra de Q sobre R , o una isometra entre Q y R .
3 . Sean
Daro Snchez H.
TOPOLOGIA GENERAL
4 . Sean
F ! " , donde 1 C
C
"lCl ,
5.Sean
Daro Snchez H.
TOPOLOGIA GENERAL
3. Q .
Q .w
es un homeomorfismo.
Las mtricas . y . w son equivalentes si y slo si, toda bola abierta segn una
cualesquiera de esas mtricas contiene otra bola de mismo centro segn la otra
mtrica.
Si existen nmeros reales 7 8 ! tales que . B C 8. w B C y . w B C 7. B C
cualesquiera
sean los puntos
B C Q entonces las mtricas . y . w son
equivalentes.
La recproca de esta afirmacin es falsa, para eso tome en d la mtrica
. w B C lB$ C$ l . w es equivalente a la mtrica usual de d y no existen 7 8 tales
que . B C 8. w B C y . w B C 7. B C .
Sean Q . y R ." espacios mtricos y 0 Q R una aplicacin biunvoca. Sea
. w la mtrica inducida por 0 en Q , esto es, . w B C ." 0 B 0 C , B C Q
Entonces . y . w son equivalentes si y slo si, 0 es un homeomorfismo de Q
sobre 0 Q .
Sean Q . y R ." espacios mtricos y 0 Q R una aplicacin biunvoca. La
mtrica definida en Q por 3 B C . B C ." 0 B 0 C es equivalente a .
. BC
Sea Q . un espacio mtrico. La mtrica . w w B C ".
nos da una prueba
BC
de que todo espacio mtrico es homeomorfo a un espacio mtrico acotado, pues
. w w B C " cualquiera que sean B C Q .
6. Sean
Daro Snchez H.
TOPOLOGIA GENERAL
R sea continua, es
E de todo subconjunto abierto
9.
Daro Snchez H.
TOPOLOGIA GENERAL
10.
11.
Daro Snchez H.
TOPOLOGIA GENERAL
12.
Daro Snchez H.
TOPOLOGIA GENERAL
14.
Daro Snchez H.
TOPOLOGIA GENERAL
15.
Daro Snchez H.
TOPOLOGIA GENERAL
10
16.
17.
. BJ
. BJ . BK
Daro Snchez H.
TOPOLOGIA GENERAL
11
18. Sea W
19.
Daro Snchez H.
12
TOPOLOGIA GENERAL
21.
Daro Snchez H.
13
TOPOLOGIA GENERAL
22. Lmites: En
B, existe un ndice 8! tal que si 8 8! implica que B8 E. En este caso se dice que
la sucesin B8 8 es convergente y que converge a B.
En un espacio mtrico \ , lim B8 B si y solamente si para cada vecindad Z del
8
Sea T ! " "# 8" con la mtrica inducida de la recta. Dada una sucesin
B8 8 en un espacio mtrico Q , se tiene lim B8 B Q si y slo si, la aplicacin
0 T
Q definida por 0 8" B8 0 ! B es continua.
Sea Q Q" Q5 un producto de espacios mtricos. Dar una sucesin
B8 8 en Q equivale a dar 5 sucesiones coordenadas B8" 8 en Q" , ,B85 8 en
8
Daro Snchez H.
14
TOPOLOGIA GENERAL
23. Sean Q
se tiene
24.Sucesiones de funciones.
Daro Snchez H.
15
TOPOLOGIA GENERAL
entonces 08 0 uniformemente en W
W3 .
3"
Daro Snchez H.
16
TOPOLOGIA GENERAL
26.
B+
para + E E, es continua.
de la convergencia simple.
Daro Snchez H.
17
TOPOLOGIA GENERAL
27.Sean
B+
28.
Daro Snchez H.
TOPOLOGIA GENERAL
18
29. Sea
E representante :\
Q de los 0 \ Q
si y solamente
Daro Snchez H.
TOPOLOGIA GENERAL
19
31.Sea
32.Llmase
espacio de Hilbert
a todo espacio vectorial I , provisto de un
producto interno <B,C> y completo relativamente a la norma lBl B B .
El espacio de Hilbert de las sucesiones de cuadrado sumable. Sea H el
conjunto de las sucesiones B B" B# B8 de nmeros reales tales que
8"
B#8 .
Dados B B3 C C8 en H
absolutamente convergente y l
B3 C3 l
B3 C 3
3
es
s 0 , donde 0 Q Q
s es
de un espacio mtrico Q es un par Q
s es completo y 0 Q es denso en Q
s.
una inmersin isometrica, Q
s
nica isometra : Q
Q tal que : 0 1.
Todo subconjunto abierto E de un espacio mtrico completo Q , es homeomorfo
a un espacio mtrico completo. Tmese 0 Q d funcin continua que se anula en
Q E 0 B . B Q E . : E d ; : B 0 "B
33. Un completado
34.
Daro Snchez H.
TOPOLOGIA GENERAL
20
35.Un
36.
Daro Snchez H.
21
TOPOLOGIA GENERAL
37.
38.
Daro Snchez H.
TOPOLOGIA GENERAL
22
J- .
-A
39.
40. Si la topologa de ]
41.
Daro Snchez H.
TOPOLOGIA GENERAL
23
42.
43.
44.
Daro Snchez H.
TOPOLOGIA GENERAL
24
45.Teorema de Riesz:
46.Una
47.Un
Daro Snchez H.
TOPOLOGIA GENERAL
25
333 \
48.Un
Daro Snchez H.
TOPOLOGIA GENERAL
26
..
33 Q es un espacio de Lindelof
333 Q es separable.
El resultado de arriba es falso para espacios topolgicos cualesquiera.
Sea I un subconjunto denso de un espacio mtrico Q . Las bolas abiertas
F B 8" con B I y 8 constituyen una base de Q .
49.Sea
50.Un
51.
Daro Snchez H.
TOPOLOGIA GENERAL
27
3"
52.Dados
Daro Snchez H.
TOPOLOGIA GENERAL
28
53.
54.Un
Daro Snchez H.
29
TOPOLOGIA GENERAL
proyecciones sean continuas. Sea Y. un abierto en \. , para que :.< sea continua
es necesario y suficiente que :.<" Y. sea abierto en \ para toda eleccin del
abierto Y. en \. . Ahora :.<" Y. es considerado como el producto de los \< "
donde se sustituye \. por Y. .aqu :.<"
:.
Luego :.<" Y. Y. # \- franja de anchura Y. .
- A
- - 3
donde Y-" \-" Y-5 \-5 son abiertos. Aqu por simplicidad se escribe - -3
para indicar que - A -" -5 . Estos elementos son llamados abiertos
elementales.
Los abiertos elementales constituyen una base para la topologa 7 en el
producto cartesiano \ # \- . Un abierto de 7 es por definicin una reunin de
- A
abiertos elementales.
Sea \- -A una familia de espacios topolgicos. La topologa menos fina en el
producto cartesiano \ # \- que deja continuas todas las proyecciones
- A
:-< \ \- es la que tiene una base formada por los abiertos elementales
:-<" Y-" :-<" Y-5 Y-" Y-5 # \"
- - 3
Daro Snchez H.
30
TOPOLOGIA GENERAL
56.
- A
subconjunto abierto de \ # \- .
- A
- A
-A
de valores de -.
En particular el producto cartesiano de una familia de espacios discretos no es
un espacio discreto (salvo en el caso de espacios reducidos a un punto para un
nmero finito de ellos)
Una sucesin B8 8 en el espacio producto \ # \- converge para un punto
- A
+ \ si y slo si, para cada ndice -, se tiene lim B8- +- , donde B8- :-< B8 y
8
+- :-< + .
En particular en el espacio \ A = A \ una sucesin de aplicaciones 08 A \
converge para una aplicacin 0 A \ si y slo si, para cada - A, se tiene
lim 08 - 0 - . Esto justifica la denominacin de topologa de convergencia
simple.
57.
- A
Daro Snchez H.
31
TOPOLOGIA GENERAL
58. Sea Q- -A una familia de espacios mtricos cada uno de los cuales posee por
lo menos dos puntos. La topologa producto en Q # Q- es metrizable si y slo
- A
si, A es enumerable.
Para mostrar el recproco de la afirmacin de arriba tmese A y defnase
. Q Q
d tomando
. B C
" . B3 C3
#3 ". B3 C3
59.Sea
: B" B# ! B" B# B8
8"
donde la mtrica en ! #
definida por
B8
$8
entonces : es un homeomorfismo.
8"
lB8 C8 l
$8 ,
B B8 C C8 ,
< B" B# B8
8"
, donde
B8
#8 .
33
Para todo 8 ,
8
O O O O.
el
conjunto
de
Cantor
es
homeomorfo
Daro Snchez H.
32
TOPOLOGIA GENERAL
- A, \- es un espacio de Hausdorff.
El producto cartesiano \ \" \8 es conexo si y slo si, cualquier factor
de \ es conexo.
El producto cartesiano \ # \- es conexo si y slo si, cada factor \- es
conexo.
- A
61. Sea
-A
- A
suficiente que todos los factores \- sean localmente conexos con excepcin de un
nmero finito de ellos los cuales son conexos.
El producto de una infinidad de espacios localmente conexos puede no ser
localmente conexo, como contra-ejemplo el espacio ! # es el producto de una
infinidad de copias del espacio conexo ! # pero no es localmente conexo pues es
homeomorfo al conjunto de Cantor.
Daro Snchez H.
TOPOLOGIA GENERAL
33
factores \- son compactos salvo para un nmero finito de ellos los cuales son
localmente compactos.
63.
Casos particulares:
+
La topologa de la convergencia simple
\ Q S \ Q cuando es la coleccin de las partes finitas de \ o sea ,
consiste de las partes de \ que se reducen a un punto.
Daro Snchez H.
34
TOPOLOGIA GENERAL
66.Sea
. 0 1
8"
"
#8
=?:
B W8
. 0 B 1 B
". 0 B 1 B
Daro Snchez H.
35
TOPOLOGIA GENERAL
8"
"
#8
=?:
8>8
l0 > 1 > l
"l0 > 1 > l
67.
El
conjunto
J,
imagen
] # Y W Q y : 0 0 lW
W
W ,
de
la
aplicacin
es cerrado en ] .
: \ Q
] donde
68.
siendo B 0 0 B , 0 I \ Q
69.
Daro Snchez H.
36
TOPOLOGIA GENERAL
71.
BO
72.
73.
Daro Snchez H.
TOPOLOGIA GENERAL
37
B\
Daro Snchez H.
TOPOLOGIA GENERAL
38
76. El
77. Topologa compacto abierta. Sea \ un espacio topolgico. Dada una coleccin
Daro Snchez H.
39
TOPOLOGIA GENERAL
-+ \ ] es Hausdorff.
79. Sean 0
80. Sean
restriccin 0 \ P ^ de 0 a \ P es continua.
Dados los conjuntos \ ] indicaremos por @ -+ \ \ ] ] definida por
@ 0 B 0 B que asocia a cada par 0 B el valor 0 B de 0 en B, llamada
valuacin.
81.Si
] definida por
0 \ ] ^ sea continua.
Sea \ un espacio de Hausdorff localmente compacto. La aplicacin
@ -+ \ ] \ ] definida por @ 0 B 0 B es continua.
Obervacin: Dados un espacio de Hausdorff localmemente compacto \ y un
espacio topolgico cualquiera ] , la topologa compacta-abierta es la menos fina
en \ ] que deja continua la aplicacin @ \ ] \ ] . Cuando ] no es
localmente compacto una tal topologa no existe.
82.Sean
0 B C 0 B C es un homeomorfismo de -+ \ ] ^ sobre -+ \ -+ ] ^ .
d continua
Daro Snchez H.
40
TOPOLOGIA GENERAL
85.
86.
Para
que
la
aplicacin
continua
:\
M,
as
definida
sea
un
Daro Snchez H.
TOPOLOGIA GENERAL
41
87.
Compactificacin de Stone-Cech:
Dado el espacio de Hausdorff
completamente regular \ indiquemos con " \ : \ la imagen de la aplicacin
: \ M . Entonces " \ es un espacio de Hausdorff compacto y : \ " \
es
una compactificacin de \ , llamada la compactificacin de Stone-Cech del
espacio \ .
Muchas veces el espacio " \ es llamado la compactificacin de Stone-Cech del
espacio \ , queda subentendida la aplicacin natural
:\ " \ ,
: \ 0 B 0 .
88.
89.
90.
Daro Snchez H.
42
TOPOLOGIA GENERAL
2. RESULTADOS PROBADOS
1..Sea Q
Daro Snchez H.
43
TOPOLOGIA GENERAL
33 3 \ \ max
sup
B\]
. B ]
sup
C] \
. C \ sup . B \ !
B\
ya que
. B \ ! aB \
333 3 \ ] max sup . B ] sup . C \ !, esto equivale a decir que
B\
C]
sup . B ] ! sup . C \ =!
o sea que
B\
C]
aB \ . B ] ! aC ] .
Por la propiedad 33 de los conjuntos de Q
aB \ B ] aC ] C \ , de donde \
3@ 3 \ ] maxsup . B ] sup . C \
B\
C]
C \ !
dada en la hiptesis, se tiene
] ] \ , o sea que \ ] .
y como . B ] ! . C \ !,
se
. B ] 380 . B C . B D 380 . C D . B D . D ]
C]
C]
. C \ . D \ . C D 3 ^ \ . C D
la cual es vlida para todo C ] y todo D ^
Tomando 380 se tiene que
D^
. C \ 3 ^ \ . C ^ 3 ^ \ 3 ] ^
de donde hemos probado " # y se tiene
3 \ ] 3 \ ^ 3 ^ ] .
Segunda parte: 3 \ ] < implica que
max sup . B ] sup . C \ <
B\
C]
Existe
B\
tal
que
aC ] . B C < existe
C]
tal
que
aB \ . B C <, entonces aC ] bC \ tal que C F B < aB \ bC ] tal
que B F C < , o sea
aC ] C F B < , , aB \ B F C <
B\
C]
Daro Snchez H.
TOPOLOGIA GENERAL
lo cual es equivalente a
] F B < \
B\
C]
44
F C < Y ] <
Daro Snchez H.
45
TOPOLOGIA GENERAL
B\
380 . D C . D B 380 . B C
C]
o sea que
C]
aC aD
aB aD
. D \ . \ C . D C
aC aD
. D ] . D B . D ]
aB aD
recibindose
. D \ 3 \ ] . D C \ ] . D C
aC ]
. D ] 3 \ ] . D B \ ] . D B
aB \
Por lo tanto
. D \ \ ] . D ]
aD Q
. D ] \ ] . D \
aD Q
Obtenindose
l. D \ . D ] l \ ]
Resta mostrar que 3 \ ] \ ] , en efecto, se conoce que
l. B E . C E l . B C
para cualquier subconjunto no vaco E En particular para E \ se tiene
l. B \ . C \ l . B C
aB aC
para B \ se tiene
. C \ . B C
aB \ aC Q
o sea que
sup . B ] \ ] .
C]
por lo tanto
+
3 \ ] \ ]
HIJ
ll.
s
s
s\ .
s] ll sup.\ D .] D D Q .
. . \ . ]
DQ
s\ .
s] ll o sea
Se sigue de la afirmacin que \ ] , por lo tanto ll.
que .\ y .] estn a una distancia finita en Q .
s\ s
, Probemos ahora que ll.
. ] ll 3 \ ]
Se sabe que si B \ . B \ !, por lo tanto
s\ .
s] ll
sup . B ] sup l. B \ . B ] l sup l. B \ . B ] l ll.
B\
B\
BQ
\Q
tambin
s\ .
s] ll
sup . C \ sup l. C \ . C ] l sup l. C \ . C ] l ll.
C]
C]
CQ
] Q
Daro Snchez H.
TOPOLOGIA GENERAL
46
de donde se tiene
s\ .
s] ll.
3 \ ] max sup . C \ sup . B ] ll.
C]
B\
s\ s
Mostremos ahora ll.
. ] ll 3 \ ] o sea que
l. D \ . D ] l 3 \ ]
aD Q
lo cual es equivalente a
3 \ ] . D \ . D ] 3 \ ]
aD Q
esto es, mostrar la veracidad de las dos desigualdades siguientes:
. D \ 3 \ ] . D ]
aD Q
. D ] 3 \ ] . D \
aD Q .
Para esto se sabe que
. D B . B C . D C
aB aC aD
. D C . D B . B C
aB aC aD
de donde se obtiene
. D \ . \ C . D C
aC aD
. D ] . D B . D ]
aB aD
de manera que tenemos
. D \ 3 \ ] . D ]
aD Q
. D ] 3 \ ] . D \
aD Q
3.Sea W 8 B d8" lBl " la esfera unitaria 8-dimensional, con la mtrica lB Cl,
Daro Snchez H.
TOPOLOGIA GENERAL
47
4.Sean
un nmero
A 0 + inf$ 0 F + <
R en el punto + es
Daro Snchez H.
SOLUCIN. +
que
TOPOLOGIA GENERAL
0 B
Ahora
48
. w 0 > 0 >w #%
a% ! .
w
#%
> > F + 5
Ahora
por lo tanto A 0 + !
Si A0 B ! entonces dado % ! existe < ! tal que
sup
. w 0 > 0 >w % . w 0 > 0 >w % a> a>w F + <
w
> > F + <
Ahora
A 0 !
inf
8 " $ &
$ 0 F !
B C F ! 8
"
8
#.
d 8 ; entre L < d 8 B8 ! y
- Entre
d 8" ! .
T B d 8 B" ! B8 ! y d 8" ! .
SOLUCIN. + Sea : d 8 ! W 8 d definida as:
B
lBl lBl " si lBl "
: B
B lBl"
si lBl "
lBl lBl
como B ! entonces |Bl !, adems
lBl"
lBl
"
"
lBl
B
lBl
B
W 8 ya que lBl
" por otra parte
Daro Snchez H.
49
TOPOLOGIA GENERAL
Ahora sea 1 W 8 d
1 C D
" D C si D !
"
si D !
"D C
C D
C D
si " D "
"
si "D
"
B
1 lBl
lBl ", si lBl "
1: B
B
"
1 lBll " lBl , si lBl "
C D
inyectiva.
"
"
"
"
lBl
B
lBl ,
B
lBl ,
si lBl " !
si "
"
lBl
lBl"
lBl
B, si lBl "
B,
B, si lBl "
o sea que 1 : M.d8" ! .
As : es sobre, por lo tanto : es biyectiva y se tiene :" 1
333) : es continua: En efecto : :" :# donde
:" d 8" ! d 8" !
B
B lBl
es continua,
:# d 8" !
B
lBl"
lBl" lBl
lBl"
d
lBl " si lBl "
lBl"
si |Bl "
lBl
entonces :# es continua.
D!
D!
D!
D!
es abierta.
Luego : es un homeomorfismo.
(,) 3) Se define
D!
D!
Daro Snchez H.
TOPOLOGIA GENERAL
50
: L B d 8 B8 !
d8
"
#
8
B B B B" B# B8" log B8
as : 3.d 3.d log como B8 ! entonces log B8 d est bien definido por
lo tanto : queda bien definida.
Ahora
1 d 8 L B d 8 B8 !
8
B" B8" B8 B" B8" /B
es tambin bien definida y adems
8
1 : B" B8 1 B" log B8 B" B8" /log B B" B8" B8
o sea 1 : M.L y
8
8
: 1 B" B8 :B" /B B" B8" log/B B" B8
o sea : 1 M.d8
Por lo tanto : es biyectiva y tiene por inversa :" 1.
Como : y :" son continuas entonces : es un homeomorfismo.
33) Ahora L B d 8 B8 ! d 8" !
B" B8 B" B8
es claramente continua y un homeomorfismo.
(- ) Tomemos
: T B d 8 B" ! B# ! B8 ! d 8" !
B" B8" B8 B C lBl# C# #BC
donde B B" B# B8" C B8 . Es claro que : est bien definida ya que
: B C lBl# C# #BC l B" B8" l# B8 # #B" B8 #B3 B8 #B8"B8
y se tiene que #B8" B8 ! .
Para mostrar que : es un homeomorfismo basta probarlo para dos dimensiones o
sea considerar : T B d # B" ! B# ! d !
: es inyectiva
: B C : B" C# B# C# #BC B#" C"# #B" C"
o sea que
B# C# B#" C"# , , #BC #B" C"
de donde tenemos
B# #BC3 C# B#" #B" C" 3 C# B 3C # B3 3C" # B C # B" C" #
de donde
B B" C C"
pero B B" C C" no se puede presentar ya que el punto B" C" T por
lo tanto
B B" C C" , o sea B C B" C" .
: es sobreyectiva:
Sea A d ! tal que A A" A# , A" ! A# ! para hallar B C T
utilizamos mtodos elementales
B# C# #BC A" A# B# C# A" #BC A#
entonces se tiene que B# C# A" B A#C# C A#B# de donde se debe tener
o sea que
A##
%C #
C # A" B#
A##
%B#
A"
Daro Snchez H.
51
TOPOLOGIA GENERAL
A A# A#
A#
#B
A#
A lAl
# " #
A#
# A" lAl
B C A" lAl
, # AA#lAl
#
"
A A" !
: B !
: ! C
! A" ! A" !
en ese caso
Si A ! A# ! A" ! A" !
#
lBl#
#B B
B B
B8
A" lAl A# A A8
# # A$" lAl si A" !
"
: A
si A8 ! A" !
! A"
donde A A" A8" A8 .
En dos dimensiones tendramos
A" lAl
A
# # A"#lAl
"
: A
! A"
y se tiene
: :" A
: A" lAl
A# A A8
$
# A" lAl
# A" lAl
A" lAl
si A" !
si A# ! A" !
A lAl A A
A## A$# A8#
# "##A# lAl8
#A" lAl
"
" lAl
A# A$ A8 #A# "AA" lAl
A# A$ A 8
A" A# A8
A A
si A" !
o sea
::
"
: es continua.
Cuando A" ! A# ! es claro que :" <" <# es continua ya que
<" T d
y <# T d
A" A# # AA#lAl
A" lAl
A" A # : A " A #
"
#
"
Daro Snchez H.
52
TOPOLOGIA GENERAL
A# A A8
$
# A" lAl
A" !
A" !
donde B A" C A# A8 , as
A" A# A8 B C
lim :" B C
B!
C !
lim
B!
C!
Bl BC l
# BlC BC l
#
C
! lim #
C!
Bl #BC l # BlC BC l
! lim lim
#
Bl
BC l
C! B!
C
C! #C #
! lim
! !
6.
B C
lBl# C# #BC
Daro Snchez H.
TOPOLOGIA GENERAL
53
se sigue que
l0 B 1 B l 5# ,
aB \
en particular para B + tenemos l0 + 1 + l 5# o sea
5# 0 + 1 + 5#
de donde
0 + 1 + 5# 0 + 5# 1 +
ahora como 0 + 5 , entonces 0 + 5# 5 5# 5# por lo tanto 1 + 5# !,
entonces 1 E+ as F 0 % E+ y E+ es abierto.
- Q d 0 d d y E0 B d 0 B !
E0 no es abierto en general. Para eso consideremos la funcin 0 d d
definida por
" si B +
0 B
" si B +
E0 B d0 B ! + B! + E0 y para todo < ! existe B F + < tal
que 0 B ! entonces B E0 por lo tanto F B! <
E0 o sea E0 no es abierto.
Ntese que E0 depende de 0 , as si 0 es positivo, o sea 0 B ! aB \ en ese
caso E0 es claramente abierto.
. Q d 8 , E B d 8 B" es entero !.
E es cerrado: Para esto considrese la aplicacin
C 8 d 8 "d
"
#
B B B
de las B
Daro Snchez H.
54
TOPOLOGIA GENERAL
B# C # "
Daro Snchez H.
TOPOLOGIA GENERAL
55
5
Tomando ! % ,+
5 ! , + sea F 0 ;% y 1 F 0 % l1 B 0 B l %, o
sea 0 B % 1 B 0 B % integrando miembro a miembro tenemos
'+, 0 B % .B '+, 1 B .B '+, 0 B % .B
entonces
,
! 5 % , + '+ 1 B .B 5 % , +
,
de esta desigualdad recibimos que '+ 1 B .B ! entonces 1 E o sea E es
abierto.
4 Q d & E puntos que tienen exactamente tres coordenadas !
E no es abierto, pues sea + " " " ! ! E y para todo + % en punto
" " " #% #% F + % mientras que " " " #% #% E, luego E no es abierto en Q
7.Sea
Daro Snchez H.
56
TOPOLOGIA GENERAL
p
abierto entonces existe < ! tal que F< > E donde F< > es una bola abierta de
p
centro en > y radio < ! entonces la bola cerrada F #< > E.
Para cada >3 , 3 " # 8 sabemos que existe una sucesin ;3 de nmeros
racionales que convergen hacia >3 , esto es, sea %< #< % ! y suficientemente
pequeo entonces existe R3 tal que si 7 R3 entonces
7
l;3 >3 l %8
"
7
8
5"
>5 ;5
8
5"
%8 8 8% #
#
%
8
<
#
33) Mostremos ahora que si es una coleccin de abiertos dos a dos disyuntos no
vacos de d 8 entonces es enumerable.
Basta observar que esto es una generalizacin de: "Sea f una coleccin de abiertos
dos a dos disyuntos de d no vacos entonces f es enumerable". Veamos esta
afirmacin, sea B" B# B8 el conjunto de los nmeros racionales el cual
es un conjunto bien ordenado. Sea E f entonces podemos hablar de
1
(E min8 B8 E B8 entonces la correspondencia E (E es biunvoca
(esta bien definida porque si E F (E (F , puesto que si (E (F entonces
existe B(EF E F enpocontradiccin con el hecho de que E F ), en forma
anloga se muestra que 1 es biunvoca, ya que si (E (F entonces
min8 B8 E min8 B8 F o sea que existe un B(EF E y B(EF F
como E F por lo tanto E F Entonces f es equipotente a un subconjunto
de .
Para el caso general sea E3 3M una coleccin de abiertos de d 8 dos a dos
disyuntos, por la primera parte sabemos que en cada E3 existe por lo menos un
puntos con coordenadas racionales; consideremos entonces
p B B B B ! 3 8.
8 B
"
#
8
3
Como 8 es enumerable entonces puede bien ordenarse como
8 Bp8 8 Bp8 8 .
La correspondencia
Daro Snchez H.
TOPOLOGIA GENERAL
57
( 3 min8 Bp8 E3
9.
+ Como l0 B l ! aB M l0 w B l ! aB M , entonces
l0 l sup l0 B l l0 w B l !
BM
, l0 l sup l0 B l l0 w B l ! l0 B 0 w B l ! aB M
BM
! 0 w B ! aB M
l0 B l ! l0 w B l ! aB M 0
o sea 0 !.
Daro Snchez H.
TOPOLOGIA GENERAL
58
BM
BM
BM
. Sabemos que
l0 B 1 B l l0 B l l1 B l
aB M
w
w
w
w
l0 B 1 B l l0 B l l1 B l aB M
de donde se tiene que
l0 B 1 B l l0 w B 1w B l l0 B l l0 w B l l1 B l l1 w B l aB M .
Por lo tanto
l sup l 0 1 B l l 0 +1 w B l sup l0 B l l0 w B l l1 B l l1 w B l
BM
BM
BM
BM
BM
llH 0 H 1 ll l0 1l
Luego H es una aplicacin continua, ya que H es una contraccin dbil.
333) El conjunto E 0 " M 0 w B! ! es abierto.
En efecto, sea F 1 ! M d 1 B! !, F es abierto, ya que si F entonces
F es abierto por definicin. Si F sea 2 F, entonces 2 B! !.
Sea $ 2 B! y R 2 $ una bola de centro 2 y radio $, y sea
0 R 2$ sup l0 B 2 B l ll0 2ll $
BM
H0
0w
Daro Snchez H.
59
TOPOLOGIA GENERAL
sup l0 B 0! l'+ .B
o sea
BM
l 0 0! l ll0 0! ll , + $ , +
Luego : es continua.
@) Si l0 l sup l0 B l es la normal de " M , H no es continua.
BM
Tomando + , ! " M 08 B
8 B8"
8
B8
8.
8"
%
,+
, + %
H 08
B
Si H es continua se debe tener H 08
H ! . Pero
w
lH 0 H ! l l07
l sup l08w l sup l08w B l sup lB8" l ".
BM
BM
BM
"
. 08 0 sup #8"
=/8 #8 " B
"
#8"
y por consiguiente 08 F0 %.
10.Sea
Daro Snchez H.
60
TOPOLOGIA GENERAL
igualdad
"
vemoslo: sea C :" : E
: C : E
o sea que
K C : E K B esto equivale a afirmar que existe B E tal que K C K B
BE
1K
sea
C 1 E
1K
b1 K C 1 E
de
donde
K B pero C :" C
C :" C :"
BE
BE
por lo tanto
BE
existe
K B
de
K B :" : E ,
1 identidad.
Daro Snchez H.
TOPOLOGIA GENERAL
61
del caso ,
p p
C 8 p
B p
C 8 o sea
SOLUCIN. X 8 d 8 8 donde B
p
p
p
p
p
p
p
B C 8 B C 8 8 8
8
Sea K 7p8 d
d 8 7p8 B p
B p
8 p
8 8 7p8 es un homeomorfismo de d 8 por
ser 7p8 78" 78# 788 y cada una de las componentes es una translacin por lo
tanto un homeomorfismo. K es un grupo con la composicin.
p p
p por lo tanto X 8 d 8 K y se
Ahora K 7p8 B p
B p
8 7p8 K B
88
tiene que el toro es un caso particular del problema en consideracin.
8 W 8 donde B C C B.
Sea K 1" 1# dadas por
1" W 8 W 8 , 1 # W 8
W8 ,
B B
B B
1" y 1# son claramente homeomorfismos. K es un grupo con la composicin pues
1" 1" 1 "
1# 1# 1"
1" 1# 1# 1# 1".
Ahora
K B 1" B 1# B B B.
8
8
Luego W K W 8 obteniendose que el plano proyectivo 8 es un caso
particular del problema considerado.
d
El cilindro W " d
d
, 8 la
d B 8 C B C d 8 Sea 78 d
B B 8
translacin, por lo tanto 78 es un homeomorfismo de d .
Sea
K 1 78 3. d d d1 B C B 8 C 8 .
Como 78 e 3. son homeomorfismos entonces 1 78 3. es un homeomorfismo.
Si definimos en K la ley de composicin
1 1" 78 3. 77 3. 78 77 3.
se obtiene que K es un grupo. Consideremos las rbitas de cada p
B d d
p
B B C
K B 1p
B 1 B C B 8 C 1 K B 8 C 8
Por lo tanto
dd
d
"
K d W d
Tenindose que el cilindro tambin es un caso particular del presente problema.
11. Sean 0 1 \
Daro Snchez H.
TOPOLOGIA GENERAL
62
Como 0 1 \ ] son aplicaciones continuas, se sigue que 0 " E" y 1" E# son
abiertos en \ por ser imagenes recprocas de abiertos por aplicaciones continuas.
Sea F 0 " E" 1" E# , F pues B F y F es abierto por ser la interseccin
de dos abiertos. Veamos que F CI , en efecto para todo D F entonces 0 D E"
y 1 D E# como E" E# se sigue que 0 D 1 D esto implica que D CI
Luego para todo B CI existe F abierto en \ tal que B F CI entonces CI
es abierto por lo tanto I es cerrado.
33) Veamos que la condicin de ser ] Hausdorff no puede eliminarse. Basta dar un
ejemplo, sea ] ! " # y \ d 7] ] ! una topologa en ] .
Se definen
! si B !
! si B !
0 \ d
] 0 B
1\ ], 1 B
" si B !
# si B !
"
"
0 y 1 son continuas, ya que 0 ! ! 0 ] d \ 0 " y
1" ! !
1" ] \
1" , que son abiertos.
Sea E B d \0 B 1 B ! que es abierto en \ .
Obsrvese que ] con esa topologa no es Hausdorff.
Si la hiptesis de ] ser Hausdorff no fuese esencial,
deberamos tener E
cerrado en \ ya que 0 1 \ ] son continuas y como se vi E es abierto, pero
esto es una contradiccinpo pues d no puede tener subconjuntos propios que
sean abiertos y cerrados a la vez ya que d es conexo .
" , # W W
$ W W
% W X W X
SOLUCIN. ") Sea \ un espacio topolgico entonces \ es un abierto de la
topologa, C\ su complemento es un cerrado de la topologa, as, C\ es
cerrado. Sabemos que si J \ es cerrado entonces J J y recprocamente,
por lo tanto como \ y es cerrado entonces .
#) Sea B W \ , como \ es abierto, existe Y B vecindad de B tal que Y B \ y
B Y B ; como B W se sigue que B Y B y, W Y B por lo tanto B W ,
o sea W W .
$) Sabemos que W es el menor cerrado que contiene a W por lo tanto W es cerrado,
adems W \ por lo tanto por un resultado bsico cul? se sigue que W W
%)Sea B W X entonces existe Z vecindad de B en \ tal que B Z y
Z W X , ahora Z W X Z W Z X , esto impica que B Z y,
Z W , , Z X o sea B Z Z W B Z Z X de donde
B W B X B W X
Recprocamente que B W X B W B X entonces para toda Z" vecindad de
B y Z# vecindad de B en \ , se tiene que
B Z" Z " W B Z # Z # X .
Esto es equivalente a
B Z Z" Z# Z W Z X
Daro Snchez H.
63
TOPOLOGIA GENERAL
o sea que
BZ Z W Z X BZ Z W X
Luego B W X . De donde se concluye que W X W X
W X W
W X W
W X W X W X , o sea que W X W X .
W X X
3 W X X
333) Sea : P \
P \ . Sea 7 eE \ : \ E : CE CEf,
7
W
W
es una topologa en \ , en efecto,
+ Como : C \ \ \ C \ entonces 7 .
: \ C\
C\ \ 7 .
"
3M
Luego
:\ E3 C E3
3M
3M
:\ E3
3M
3M
C E3 C E3 CE3 a3 M
E3
CE3 C3
M
3M
MM tenemos que :\
3M
3M
E3
E3 C3
M
3M
3M
3"
Luego
MM
E3 7
3M
7 , entonces
E3 7
3"
ya que E3 \ ,
E3 \ y
3"
E3
3M
E3
3"
CE3
3"
CE3 C E3
CE3 3
3"
"
3"
8
E3 7
Daro Snchez H.
64
TOPOLOGIA GENERAL
: \
E3
3"
E3
3"
E3 7 .
3"
13. Sea 0 \
0 Z 0 C ] 0 C\ Y
C\ 0 0 C\ Y
C\ C\ Y Y
"
"
C\ Y 0 0 C\ Y C\ 0 0 C\ Y
C\ C\ Y
Luego para todo C ] , y todo Y 7\ con 0 " C Y , basta tomar
Z C ] 0 C\ Y .
) Recprocamente, sea J cerrado en \ de donde 0 J ] , queremos probar que
0 J es cerrado, vemos por consiguiente que C] 0 J es abierto.
Sea C C] 0 J ] entonces 0 " C 0 " C] 0 J
C\ 0 " 0 J
"
Como 0 " 0 J
C\ J es abierto as
J entonces 0 C C\ J como J es cerrado
"
por la condicin (de la hiptesis) existe Z tal que C Z y 0 Z C\ J o sea que
0 " Z J
Se afirma que Z 0 J , porque si Z 0 J entonces
b- Z 0 J - Z - 0 J
o sea que
bB J tal que - 0 B Z B J
entonces
bB J tal que B 0 " Z B J
o sea que 0 " Z J , lo cualpo es contradictorio as Z 0 J , en total se
tiene
C Z Z
C] 0 J
as que C] 0 J es abierto. Luego 0 es cerrado.
Ver otra demostracin por un mtodo diferente en el problema 87)
"
"
"
Daro Snchez H.
TOPOLOGIA GENERAL
65
14. Sea 0 \
Daro Snchez H.
TOPOLOGIA GENERAL
66
Sea : ^" 0
1 : 0 2 : , como 0 es un homeomorfismo local existe Y
abierto en \ tal que
1 : Y y 0l Y 0 Y
es un homeomorfismo, tomando
como en ,
se obtiene que
"
Z 2
Y
1 " Y
"
:2
Y
1 " Y ^"
$) Sea ^# D ^1 D 2 D , ^# es abierto
0
1 D 1 D 0 [" 0 2 D 2 D 0 [ #
tomando
Z 1" 0 ["
2 " 0 [#
se tiene:
3) Z es abierto, ya que 1 2 son continuas, 0 [" 0 [# son abiertos en ] y la
interseccin de dos abiertos en ^ es abierto.
33) Como 1 D 0 [" 2 D 0 [# se sigue que
D 1" 0 [" 2 " 0 [# Z
333) Z ^# en efecto; sea : Z 1" 0 [" 2 " 0 [# , entonces
: 1" 0 [" : 2 " 0 [# 1 : 0 [" 2 : 0 [#
como 0 [" 0 [# entonces 1 : 2 : : ^# .
%) ^ ^" ^# , ^" ^" ^# son abiertos disyuntos. Como ^ es conexo se sigue
2.
que ^# . Por lo tanto ^ D1 D 2 D o sea 1
15.Para
Daro Snchez H.
67
TOPOLOGIA GENERAL
SOLUCIN.
porque si
BZ
entonces
BZ
B ZB
ZB
esto po es contradictorio.
Recprocamente sea B C en \ entonces existe ZB vecindad tal que
C ZB o sea cC ZB caZB C ZB bZB tal que C ZB
BZ
entonces,
BZ
Daro Snchez H.
16.Sea Q
TOPOLOGIA GENERAL
68
Se define
#
0 Q 8
d8
E "<+ columna de E #.+ columna de E 8=37+ columna de E
+"" +#" +8" +"# +## +8# +"8 +#8 +88
Es claro que 0 esta bien definida, ya que si +34 ,34 +34 ,34 para todo
3 " # 8 y todo 4 " # 8 luego 0 +34 0 ,34
0 es inyectiva, pues si +34 ,34 entonces para algn 3 4 +34 ,34 entonces
0 +34 tiene la 8 4 " sima coordenada diferente de la 8 4 " sima
coordenada de 0 ,34 de donde
+34 ,34 0 +34 0 ,34 .
8#
0 es sobre, pues para todo T d , existe una matriz E, 8 8 con las siguientes
caractersticas:
+
"/<+ columna de E es formada por las coordenadas " p 8-sima de T
+
#.+ columna de E es formada por las coordenadas, 8 " p #8-sima de T
+
=37+
8
columna de E es formada por las coordenadas, 8 8 " p 8# -simas de T .
Entonces 0 E T
#
As 0 es una correspondencia biunvoca entre Q 8 y d 8 .
Dados E +34 y F ,34 en Q 8 tomemos
. w E F . 0 E 0 F . +"" +34 +88 maxl+34 ,34 l 3 " 4 8
#
donde . es una de las mtricas del espacio euclidiano d 8 Como 0 es biunvoca y
#
d 8 es un espacio mtrico con . , entonces . w es una mtrica en Q 8 llamada
Daro Snchez H.
TOPOLOGIA GENERAL
69
"
3" 38
"35 8
"
34
./> \34
./> \
>
K 8
K 8" K 8" K 8" K 8"
\ \"" \#" \34 \88
p
./> ./> ./> ./> ./>
#
d d d d d8
./>\"" ./>\#" ./>\34 ./>\88
p
=31 =31 =31 =31 =31
#
d d d d d8
Daro Snchez H.
"
""
./>\"" "
#"
./>\#" "
0 "
K 8
" 34 ./>\34
"
"
T ./>\
T- - ./>\
> K 8
K 8
"
./>\
70
TOPOLOGIA GENERAL
"
\34 K 8 "
Entonces
34
./>\34
"
a3 a4
./>\34
./>\
34
< >T
"
./>\
34
./>\34 "
88
./>\88
>
p
p ./>
0 " =31
=
""
8
4"
entonces
"
"
8#34
#
834
!
" 3 " # 8
4"
4"
34
de donde se recibe:
l834 l "
3 4 " # 8
Entonces si Q 734 R 834 son matrices de b 8 se debe tener
l734 l " y l834 l " para 3 4 " # 8
de donde se tiene que
. w Q R supl734 834 l 3 4 " # 8 #
Como Q y R son elementos arbitrarios de b 8 se sigue que b 8 es acotado.
Observemos ahora que la aplicacin
Q 8 > R 8
R R>
Daro Snchez H.
71
TOPOLOGIA GENERAL
R R
R
R R>
Sea M la matriz identidad. Como X 3. > y 3. > son funciones continuas se sigue
que X es continua. M es un conjunto cerrado en Q 8 ahora
7 X " M b 8
Siendo 7 y X funciones continuas se sigue que 7 X es continua, luego b 8
es cerrado ya que es la imagen recproca de un cerrado por una aplicacin
continua.
0 El conjunto K 8 de las matrices cuyo determinante es ! es abierto y
cerrado en K 8
E K 8 ./> E !
Sea ./> K 8 d ! ! ! una funcin continua, pues es la
restriccin de ./> Q 8 d a K 8 Q 8 y esta aplicacin es continua. Ahora
./>" ! K 8 y siendo ! un subconjunto abierto y cerrado de
d ! y la aplicacin ./> continua entonces se sigue que K 8 es un
subconjunto abierto y cerrado de K 8 .
1 Ser K 8 cerrado en Q 8 ?
No, pues ./> Q 8 d es continua y K 8 ./>" ! , como ! es
abierto en d y K 8 es la imagen inversa por una aplicacin continua de un
abierto de d , se sigue que K 8 es un abierto de Q 8 .
K 8 pues M K 8 .
Q 8 K 8 ya que K 8 Q 8 y K 8 K 8
Si K 8 fuera cerrado en Q 8 tendramos en Q 8 un subconjunto abierto y
cerrado diferente del vaco esto implicara que Q 8 no es conexo, esto es absurdo
#
ya que Q 8 es homeomorfo a d 8 que es conexo por tanto Q 8 es conexo.
Recurdese que en la parte + se mostr que la correspondencia biunvoca 0 es
una isometra ya que . w E F . 0 E 0 F por lo tanto 0 es un homeomorfismo.
17.Para
aB W aC W
Daro Snchez H.
72
TOPOLOGIA GENERAL
inf . + C . + B inf . B C aB W
CW
CW
o sea que
. + W . + B . B W
aB W
. + W . +B aB W
de donde
. + W . + W
"
aB W aC W
entonces
inf . + C . + B inf . B C
CW
CW
aB W
. + W . + B
de donde
aB W
. + W . + W
. + W . + W .
18.Sea
Daro Snchez H.
73
TOPOLOGIA GENERAL
B C \ \ B C B C \ \BIC K
Como J y
B con B J no se pueden separar, se sigue que \I no es un espacio
de Hausdorff.
. Si K \ \ es cerrado y la relacin I es abierta entonces \I es Hausdorff.
Como I es una relacin abierta la aplicacin
0 \I \I
\\ II
es un homeomorfismo, ya que la relacin I I es definida como en el lgebra
0
B 0
C 0 es continua y abierta, basta considerar la descomposicin cannica
y aplicar este resultado: "Sean \ ] dos espacios topolgicos, 0 \ ] una
aplicacin continua, V la relacin de equivalencia 0 B 0 C
en \
:
2
3
\ \V 0 \ ] la descomposicin cannica de 0 . Las tres propiedades
siguientes son equivalentes:
3) 0 es un aplicacin abierta.
33) Las tres aplicaciones : 2 3 son abiertas.
333) La relacin de equivalencia V es abierta, 2 es un homeomorfismo y
0 \ es una parte abierta de ] "
Ahora
?\\
\\ : B : C : B : C
I
II
\\
II
entonces < E < E por lo tanto < E < E pero < es continua entonces
<E < E . Luego < E < E . En total se tiene
Daro Snchez H.
74
TOPOLOGIA GENERAL
H+.9
/B3=>/
a8 8! . B8 + %
% %" % 3
8! maxR!" R!:
si 8 "
si 8 :
Tenemos que
20.Sea
biunvoca :
la sucesin C8 B: 8 tambin converge en Q y se tiene
lim C8 lim B8 . Qu otra hiptesis puede sustituir el hecho de que : sea
biunvoca?
C8 8 B: 8 8 B8 8"
Daro Snchez H.
75
TOPOLOGIA GENERAL
,
Ejemplo: Sea :" :# :$ # $ & ( una enumeracin en orden
creciente de los nmeros primos, y tomemos:
R" " # " :"
R # $ R " : # R "
R5 : 5
R5 .
3"
B
d
definida por B5 ! si 5: ": # .
" #
5
8 B 8 B8
Entonces B8 8R3 converge para !, aR3 , pues cada R3 slo tiene un nmero primo :3
Pero B8 8 no converge para ! pues existen nmeros primos arbitrariamente
grandes. Luego la respuesta a la pregunta no es verdad.
- Consideremos el siguiente ejemplo: Sea C8 8 B:" B:# B:8 donde
:
C8 B: B B8: por lo tanto por el ejercicio en cuestin la parte +
8 8 :
C8 8 es convergente y su lmite lim C8 lim B8 o sea que lim B:8 lim B8 .
Tomamos ahora
5"
B " si 5: :
21.Sea
Daro Snchez H.
76
TOPOLOGIA GENERAL
sup . B8 C8 $% . B8 C8 $% a8
8
Por otro lado tenemos
% . B8! B8" . B8! C8! . C8! C8" . C8" B8" $% . C8! C8"
o sea, se tiene que
%
IB3=>/
T +<+ >9.9
%! 8! b8" 8! tal que . C8! C8" $
%
$
B"
B#
:
#;
:
#;
:
#;
C"
C#
C8
"
#8!
#
$8!
B8 8 B$
y
C8 8
:
B8 #;
" 8 8"
88!
Entonces dado % ! tenemos que C8 8 F B8 8 %
:
#;
:
#;
"
#8!
:
#;
8"
88!
pues
. B8 8 C8 8 suplC8 B8 l 8 %
:
y C8 8 es convergente, pero B8 8 no es convergente pues para ! $ #;
y
para todo 8! , existe 8" tal que . B8! B8" $ , luego el conjunto de las
sucesiones de nmeros racionales no forman un conjunto cerrado de .
- Sea E 3B8 8 3B8 y 3B8 3B Q . Sea 0 E
Q vemos que 0 es
3B8 8 3B
continua en el punto 3B8 8 , esto es dado % !, existe $ ! tal que
. 4B8 8 3B8 8 $ . 3B 4B %
Sabemos que
M . 4B8 3B8 sup. 4B8 3B8 8
MM 3B8 8 3B dado % ! existe 8" tal que a8 8" . 3B8 3B
/B3=>/ a8 8# . 4B8 4B $%
MMM 4B7 4B .+.9
%! 8
#
%
$
%
$
Daro Snchez H.
TOPOLOGIA GENERAL
77
por lo tanto
. 3B 4B $% $% /% %
Luego 0 es continua en cada 3B8 8 E 0 es continua en E
22.Sean, \
23.Un
Daro Snchez H.
TOPOLOGIA GENERAL
78
Anlogamente
Daro Snchez H.
79
TOPOLOGIA GENERAL
Como Cd
$+ + es cerrado.
. Sea K 7 ) 7 8 como
7 8) 7" 8" ) 7 7" 8 8" )
se sigue que K es un subgrupo aditivo de d.
Afirmacin: K es denso en d . En efecto, si suponemos que K no es denso, se sigue
de la parte , que existe + ! tal que K +. Como ) ! ") se sigue que
) K por lo tanto existe 8! 8! ! tal que
) 8! +
*
Ahora " ) 7 8) con 7 8 " entonces " ) K + por lo tanto existe
5 tal que " ) 5+, de * tenemos que " ) 85! ) o sea 8! 5 8! ) o sea
"
!
que ") 58
8! , como ) d entonces ) d , esto nos lleva a una po
contradiccin. Luego K tiene que ser denso en d.
24.
!
!
" !
! "
!
!
!
! ! "
!
!
! !
!
"
!
N
-9=
=/8 "
! !
"
!
=/8 -9=
"
"
!
!
! !
Como
N" N # N 5
M
M
N3
-9=
=/8
donde
=/8
con d
-9=
"
-9=5
=/85
=/85 -9=5
Daro Snchez H.
TOPOLOGIA GENERAL
"
!
-9=1
=/81
"
=/81 -9=1
Definimos : ! "
b #
=/8>
> -9=>
=/8> -9=>
80
M
M
N3 >
-9=
>
=/8 >
con d
=/8 > -9= >
Tenemos claramente que
0 ! M8
0 " N
0 es continua.
Sea ahora 1 ! "
b 8
> T 0 > T "
tenemos
3) 1 es continua
33) 1 ! T MT " M
333) 1 " T N T " T T " ET T " E
Luego 1 es un camino entre M E.
Esto nos permite definir un camino en dos elementos arbitrarios E F b 8 Sean
T b 8 U b 8 tales que E T N T " y F UN" U" donde, como arriba
N N " N # N 5 N" N"" N"# N"5
as que los N 3 y N"3 son de la forma " dada al inicio del problema.
Definimos 0 ! "
b 8
, y, 1 ! "
b 8
> 0 > N >
> 1 > N" " >
Tenindose
8
" " N"
11 !" N
00 !" M
N
N" ! M8
Tmese ahora
L ! "
>
b 8
>
1 #>
si ! > "#
0 #> " si #" > "
Daro Snchez H.
TOPOLOGIA GENERAL
81
" L ! 1 ! N"
# L "# 1# "# 1 " N" ! M8
0 # "# " 0 " " 0 ! M8
$ L " 0 # " " 0 " N
% L resulta continua.
Tenemos ahora, como se hizo arriba
: ! "
b 8
UL > U" ! > "#
>
: >
T L > T " "# > "
tenemos entonces
3) : es continua por construccin
33) : ! UL ! U" U1 ! U" UN" U" U U" FU U" F
333) : " T L " T " T 0 " T " T N T " T T " ET T " E
As se ha construido un camino de E hacia F por lo tanto b 8 es conexa por
caminos.
25. Sea
Daro Snchez H.
82
TOPOLOGIA GENERAL
"
8 7
#
/B3=>/8
B8 8 C8 8 S .+.9
%! 8" 8# a878# . C8 C7 %
a878 . B B
%
#
%! 8! max8" 8# a7 8>8! . B7 C7 B8 C8 . B7 B8 . C7 C8 %
26.Sea
8"
Sea W8
reales ya que
3"
+8
8"
||
+85 l
5!
+85 %
5"
+8 +8" +7"
+85 %.
5!
27.Introducir en el espacio
Daro Snchez H.
TOPOLOGIA GENERAL
83
Sea % " entonces existe 8! tal que a7,8 8! inf" . B8 B7 % " entonces
. B8 B7 inf" . B8 B7 % ", entonces B8 8 es una sucesin de Cauchy
en d 8 . por lo tanto d 8 . w es completo.
denso en \
- W denso en \ , X denso en ] W X denso en \ ]
. W denso en \ , E abierto en \ W E denso en E
/ W denso en \ W X \ W denso en X y X denso en \
W denso en d
ejemplo: X d denso en d W X no es denso en d .
.
W X W X \]
" W E W E \ E E
E abierto
# W E W E \ E E
$ E es abierto en \ E W es abierto en W .
E W es denso en E a ZE abierto en E ZE W E .
Ahora ZE Z\ E donde Z\ es un abierto en \ , como E es abierto en \ se sigue
que ZE es abierto en \ ZE W W \ as ZE E ZE E ZE . Luego
ZE W E ZE W E ZE W .
/ W X \ W X \ \ X \ , entonces X \ y X es denso en \
X
W\
W W X \ X X W es denso en X
Daro Snchez H.
84
TOPOLOGIA GENERAL
W \
W \ y W es denso en \
Si 0 < W \ , por lo tanto, 0 < W W 0 < W W W pero 0 < W \ entonces
\W
W \ y W es denso.
W\W\
1 Si E es un abierto en \ entonces como W \ E W . Supongamos que \
no es conexo, esto significa que existen abiertos E F no vacos en \ tales que
E F \ E F .
w
Sean E E W F w F W abiertos no vacos de W como
Ew F w E W F W E F W W
y
Ew F w E W F W E F W \ W W
se sigue que W no es conexo p (absurdo).
2 Para cada B \ existe B un sistema fundamental de vecindades
enumerables asociado a B tal que a [ vecindad
de B existe Z B tal que
B Z [
B lim B8 para toda vecindad Z B en \ existe 8! tal que a8 8! B8 Z
8
como B8 Z a8 Z W , as W es denso en \
Para todo B \ W y para todo Y vecindad de B, existe Z8 W B tal que
B Z8 W Y W donde Z" Z# Z$ Z8 y Z3 W
Tomando B" Z" W B# Z# W B8 Z8 W , obtenemos una sucesin de
puntos B8 en W tal que lim B8 B ya que B Z8 a8.
3 Si B es aislado existe Z una vecindad de B en \ tal que Z \ B en
esta forma \ B no sera denso ya que para toda Y vecindad de B,
Y \ B p, obteniendo una contradiccin
) B no es aislado en \ entonces para toda vecindad de B Z \ B
implica que a Z vecindad de B en \ , Z \ B
esto implica que
\ B es denso en \
4 Sea ^ un conjunto no enumerable, bien ordenado, dotado de ltimo elemento y
sea \ B ^B H donde H es el menor elemento de ^ tal que el conjunto \
no es enumerable. Se considera en \ la topologa del orden, por consiguiente H no
es punto aislado en \ y para todo subconjunto enumerable I \ , existe E
abierto en \ con H E y E I concluyndose que \ es un espacio de
Hausdorff no mtrizable. Si aceptamos esto, en el espacio anterior, el subespacio
\ H es denso en \ pero H no es lmite de una sucesin de puntos de
\ H. Entonces por la parte 3 anterior \ H es denso en \ pues H no es
punto aislado.
H no es lmite de una sucesin de puntos de \ H, pues para toda B8 8
(enumerable) existe E abierto en \ , con H E y E B8 8 esto muestra que
H no puede ser lmite de ninguna sucesin.
Daro Snchez H.
85
TOPOLOGIA GENERAL
29.En
#
#
" lBl " lB8 l
%# "
Daro Snchez H.
TOPOLOGIA GENERAL
Si B" ! lBl#
3"
B3 B" a3
contradictorio
30.Sea
86
L B8 8
B8#
8"
B8 L es un subespacio
+ El conjunto L! B8 8 B" B# B8 ! !
vectorial.
, /3 ! " ! forman una base de L! .
- L! es denso en L
Daro Snchez H.
TOPOLOGIA GENERAL
87
a8 8!
88!
B#8 %#
8!
. B B lB Bl
B3 B3 #
B#3
B3# %
ll
38!
38! "
3"
!
32.
Daro Snchez H.
88
TOPOLOGIA GENERAL
o sea
"
! , > 8"
8"
"
#8"
:8 > 8" !> " > #8 8" ", ! > "
#8" "
> " > 8" ! , ! > "
#8 8"
0 ! :" ! :# ! :8 ! ! !
Sea >8 ! una sucesin de puntos tendientes a ! Como
Por lo tanto
donde
>
"
!
8
34.
35. Sea H8 B d lBl " y W 8" B d lBl " Las siguientes afirmaciones
son equivalentes: + Toda aplicacin continua 0 H8 H8 posee un punto fijo.
, No existe una retraccin < H8 W 8" .
SOLUCIN. + , Procedemos por contradicin, supongamos que existe una
retraccin < H8 W 8" entonces tomemos 0 H8 H8 como la compuesta de < y la
funcin antpoda E o sea H8 < W 8" E H8 tomando 0 E < que es continua
tenemos
Daro Snchez H.
89
TOPOLOGIA GENERAL
<lW 8" 3.
36.
% entonces B8 B y Q es completo.
. BB B %
a8 8! . 0 B8 0 B
ll
37. No
Daro Snchez H.
90
TOPOLOGIA GENERAL
38.Dados
J8
8"
ya
que para todo B ! ", B puede ser expresado por una expansin ternaria,
B
3"
B3
$3 ,
B ! B" B# B$ .
Daro Snchez H.
91
TOPOLOGIA GENERAL
. D8 8 A8 8
$% $"8 D D8 8 y A A8 8 J8
ll
ll
D
A
donde J8 es uno de los intervalos cerrados de la reunin J J8 $ J8 $"8 .
Entonces los 8 primeros trminos de D8 8 y A8 8 coinciden los 8 primeros
trminos de D8w 8 y Aw8 8 tambin coinciden. Entonces D w D8w 8
y Aw Aw8 8 J8 . D8w 8 Aw8 8 $"8 % 2 es continua.
De modo anlogo se demuestra que 2 " es continua, entonces 2 es un
homeomorfismo y es fcil ver que 2 B C; ya que 2 B8 2 Bw8 entonces
Bw8 B8 si 8 E y B8 C8
C8 8 O
Bw B si 8 F y Bw C
8
8
8
8
40.Sea
Y d 8 un conjunto abierto y 0 Y
0 B X B: B
d8
es
un
tal
que
Daro Snchez H.
42.Sean
92
TOPOLOGIA GENERAL
donde
"
" 0> es continua y por lo tanto . 0> +> 0> +> 5. +> +>
# :X
Q es continua, esto es dado % ! existe $" ! tal que si
> +>
. > > $" . 0> +> 0> +> % " 5
Entonces tomando $ $" tenemos
. > > $ . : > : > 5. +> +> % "-5 . : > : > 5. +> +> % " 5
pero +> : > por lo tanto
. : > : > 5. : > : > " 5 . : > : > " 5 %
como ! 5 " " 5 ! por lo tanto . : > : > %.
Luego : es continua en > Como eso vale para todo > X : es continua.
J8
8"
igual a un punto de Q .
J8
8"
no puede contener ms de
un punto , entonces es suficiente mostrar que J no es vaco.
Sea B8 J8 ; como $ J8 ! entonces B8 8 es una sucesin de Cauchy, puesto
que Q es completo, B8 8 converge para algn B Q . Mostremos que B J8
y para esto es suficiente mostrar que B J8! .
J8
Daro Snchez H.
93
TOPOLOGIA GENERAL
44.Sea
3"
"
3#
B3#
3#
" a3
3"
Luego X es continua.
X es inyectiva, pues X B X C B" B## C" C##
luego B C.
X
45. Sea
pues
8"
"
8#
B3
3
C3
3
a3 B3 C3 a3
es convergente
E un
B+
. 0 B 0 C
SOLUCIN.
% Criterio de Cauchy .
%
/B3=>/
+ Sea lim 0 B - .+.9
%! +Z+ B Z+ . 0 B - #
B+
Sean B C Z+ . 0 B 0 C . 0 B - . - 0 C #% #% %.
, Dado % " entonces existe Z" + B" C" Z" . 0 B" 0 B"
"
Daro Snchez H.
94
TOPOLOGIA GENERAL
B+
B Z8 B8 Z8 . 0 B 0 B8
b8! 8 8! . 0 B8 - #%
0 B8 - .+.9
%!
46.Sean
. 0 B8 -
"
8
%
#
%
#
%
#
lBl "
BI
C
3 l0 l ! l0 B l ! alBl " l0 C lCl
lCl lCll0 lCl !
!.
para todo C I 0
! l0 l l0 B l ! alBl "
Si
0
33
l-0 l supl -0 B l lBl " supl-ll0 B l lBl " l-lsupl0 B l lBl " l-ll0 l
333 l0 1l supl0 B 1 B l lBl " supl0 B l l1 B l lBl "
sup l0 B l sup l1 B l l0 l l1l
lBl "
lBl "
Parte , Sea l0 l sup l0 B l P inf5 ! l0 B l 5lBl aB I tenemos que
SOLUCIN. Parte +
|0 C l l0 llCl
C
l0 l l0 lCl
l
"
lCl l0
C l l0 C l l0 l lCl
Tomemos C
B
lBl
con B ! tenemos
tomando adems 5 l0 l
l0 l P inf5 ! l0 B l 5lBl
Supongamos ahora l0 l P De la definicin de inf se recibe que
se tiene
/B3=>/
.+.9
/B3=>/
%!
5! B! I
" P%5
#l0 B! l5lB! l
B!
P%
lB! l
"
Daro Snchez H.
o sea que
95
TOPOLOGIA GENERAL
.+.9
a B I con lBl " l0 B l % P
%!
.+.9
a B I con lBl " l0 B l P %
%!
En particular para B lBB!! l se tiene que
0
B!
P%
lB! l
l08 0 l %.
Parte . J completo I J es completo.
Sea 08 8 I J una sucesin de Cauchy, entonces esto significa que
08 B 8 es una sucesin de J , por lo tanto converge para 0 B solo resta probar
que la convergencia es uniforme en ese caso tendramos que I J es completo.
47.Dado
48.Sea \
,+
8
as $ + ,
,+
8
Daro Snchez H.
TOPOLOGIA GENERAL
96
Daro Snchez H.
TOPOLOGIA GENERAL
97
lim B85 B a Z B , existe 8!5 tal que 85 8!5 implica que B85 Z entonces
para todo Z B, Z W ;
si a partir de un
8!5 , B W
entonces
Z" Z# Z7 la sucesin sera finita entonces B W .
En particular si \ es compacto por un resultado bsico cul? todo subconjunto
infinito posee un punto de acumulacin y siendo \ un espacio I" todas las
sucesiones en \ poseen una subsucesin convergente y por lo tanto \ es
secuencialmente compacto.
El espacio ] \ H no es compacto pero todo subconjunto infinito de ]
posee un punto de acumulacin y por lo tanto toda sucesin en ] posee una
subsucesin convergente, esto es ] es secuencialmente compacto.
50.Si
cuando 8 as 1 no es acotada po
51.En
Daro Snchez H.
98
TOPOLOGIA GENERAL
E- E un
-P
53.Toda
Daro Snchez H.
99
TOPOLOGIA GENERAL
5!
cuando 5 !,
l6l
entonces
l6l
l5l
permanece acotado y
<6
l6l
! cuando 6 !. Luego
lim = 5
5! l5l
w
55.Sea
%
#
. 7! 1 B
%
#
entonces
. 7! 1 B . 7! 0 B
% #% #%
dado que % 7! C0 \ entonces . 7! 0 B %
a
De donde tenemos que
. 7! 1 B #%
B\
Hemos mostrado que 1 \ Q es tal que 1 \ Q y existe 7! Q tal que
. 7! 1 B #%
aB Q para algn % !, por ser 1 continua de \ en Q entonces
7! 1 B para todo B \ de donde 1 no es sobre, por lo tanto #% 0
CJ , se
sigue que CJ es abierto, de donde se obtiene que J es cerrado.
Daro Snchez H.
56.Sea
100
TOPOLOGIA GENERAL
tal que
. 0 B 0 C
57.Sea
Q es tal que
. 0 B 0 C
Por lo tanto
de donde
Luego
0 84 B 0 8 4 C
B C
. B C . 0 8 B .0 8 C
. 0 B 0 C
. B C
. B C
58.Prubese que:
Daro Snchez H.
101
TOPOLOGIA GENERAL
Daro Snchez H.
102
TOPOLOGIA GENERAL
59.
que
no
es
compacto
J3 J 8
3"
entonces
es
infinto
Daro Snchez H.
TOPOLOGIA GENERAL
103
B Q Z b F B %
%!
60.Un
los
son
una
con
un recubrimiento de \ . Considrese
Daro Snchez H.
TOPOLOGIA GENERAL
104
61.Si
0 Q
Daro Snchez H.
105
TOPOLOGIA GENERAL
63. +
F"
BJ
B E#
3) a8 " J E8 as
33) Sea B
E8
8"
F
F B E8 B
BJ
J
J E8
8"
"
#
"
8
B . Mostremos que J
E8
8"
E8
8"
. C J ! Si J es cerrado, C J
E8 J .
8"
64.
Daro Snchez H.
106
TOPOLOGIA GENERAL
O8
5"
Q Y
O8
8"
Q Y O Q Y
pero esto po
es absurdo pues por hiptesis O Y y por lo tanto
O Q Y .
, O" O# O8 donde cada O8 es compacto y conexo contenidos en un
espacio mtrico por lo tanto espacio de Hausdorff entonces O es cerrado. Entonces
a8 . Entonces O
J8 d # J
8"
donde J es
65. En
7]
] \ +, \ , 7\
Daro Snchez H.
TOPOLOGIA GENERAL
107
66.
67.En un espacio topolgico con base enumerable, toda base tiene una sub-base
enumerable.
Daro Snchez H.
108
TOPOLOGIA GENERAL
G
G 7
\ /= P38./690
F8
3"
G 83 .
G83 7
68.Sea W
70.Sea
c I .
..
Lindelof existe E-" ,E-# , ,E-8 , tal que E-8 E- .
Tomando
8"
-P
Daro Snchez H.
se tiene
109
TOPOLOGIA GENERAL
E8"
E- .
Por el
71.En
Daro Snchez H.
110
TOPOLOGIA GENERAL
W
ZB W W Z 8 W .
B
8"
W
As W esta contenido en un conjunto enumerable esto implica que W es enumerable
lo cual est contra la hiptesis dada para Wpo obtenindose una contradiccin. As
W contiene un punto de acumulacin. Anlogamente se procede en el caso de ser
\ un espacio de Lindelf pues en realidad este ha sido el argumento usado en la
prueba antes descrita.
Caso general: Por contradiccin supongamos que ningn B W es punto de
acumulacin de \ aB W , bZB tal que # Z W # W
W ZB W W
Z" W Z # W
BW
W es Lindelf
74.Un
Daro Snchez H.
111
TOPOLOGIA GENERAL
75.Un
J
-P -
\E
E \E \
J-\ \ E E J-\ E
8
E \E
Por lo tanto E
J-E8
8
E
\E E
J
8 -8
J-8
0 " R- 0 "
R-
R-
R-
"
0 0 \
Daro Snchez H.
! 0 " R-8 8
Ahora
112
TOPOLOGIA GENERAL
0 \ 0
0 " R-8
0 " R-8 \ .
0 0 " R- 8
8
R-8
R -8
R-8
interseccin vaca.
SOLUCIN. Tomando Z CO . Fjese un miembro O" de O . Puesto que ningn
punto de O" pertenece a cada O , Z es un recubrimiento abierto de O" Por lo
tanto O" Z" Z8 para alguna coleccin finita Z3 3 . Esto implica que
O" O" O8 .
Y8 .
8
B\
Z8
Daro Snchez H.
113
TOPOLOGIA GENERAL
E8 y F
F8 , as
los conjuntos E F son abiertos pues cada uno de los E8 y F8 son abiertos
Se tiene: + J E y K F .
En efecto si B J entonces B Y8 para algn 8 . Como Z " Z # Z 8 no
contienen puntos de J debe ser B E8 de donde B E. La inclusin K F es
anloga.
, Finalmente afirmamos que E F . Para eso se debe mostrar que E7 F8
siendo 7 8 arbitrarios. Por consiguiente, basta que E7 F7: . Ahora si
B E7 entonces B Y7 . Por otro lado si B F7: entonces B Y " Y 7: y en
particular B Y7 . Luego E7 F7: ; esto concluye la demostracin.
79.Sean
80.Para
Daro Snchez H.
114
TOPOLOGIA GENERAL
E8 para cada 8 :8 \
8"
! "
Ahora
sea
BJ
"
"
B0 ! J
0 ! .
:8 B
#8
8"
8"
l :8 B l
#8
8"
entonces
:8 B
#8
"
#8
8"
:8 B ! a8 0 B !,
8"
:8" !
:8 B
#8
entonces
:8 B ! a8 B
a8
"
entonces B J de donde J 0 !
) Supongamos que existe 0 \ ! " tal que J 0 " ! .
Tmese E8 B \0 B 8" el cual es un conjunto abierto para todo 8, ahora
E8 B \0
8"
B ! 0 " ! J
y J es un conjunto K$ .
\ es separable
\ es un espacio de Lindelf
Daro Snchez H.
Sea T :
B F : G -: .
115
TOPOLOGIA GENERAL
tal
Se
enumerable.
W G Si W es separable entonces W posee un subconjunto enumerable denso
H B" B# . Sea E8 8 una coleccin de subconjuntos abiertos dos a dos
disyuntos. Como todo abierto en \ , contiene por lo menos un punto de H
entonces para cada E8 existe por lo menos un B8 E8 B8 H . Construyamos la
siguiente aplicacin
: E8 8
H .
E8 B8
Tenemos E8 E7 E8 E7 . Luego B8 B7 , en esta forma : es biunvoca.
Como H es enumerable infinito entonces E8 8 es enumerable.
G Contra-ejemplo; considrese la compactificacin de un espacio
P
s es compacto Q
s es de Lindelf. Pero sus puntos
discreto Q no enumerable Q
forman una familia de abiertos disyuntos que no es enumerable.
W Sea ^ un conjunto no enumerable bien ordenado teniendo ltimo
P
elemento. Indicaremos con H el menor elemento de ^ tal que el conjunto
\ B ^ B H es no enumerable, \ es compacto entonces todo recubrimiento
admita un subrecubrimiento finito por tanto \ es un espacio de Lindelf. Ya fue
visto en otro problema cul? que \ no es separable.
82.
Daro Snchez H.
TOPOLOGIA GENERAL
116
83. El plano \ \
Daro Snchez H.
117
TOPOLOGIA GENERAL
3"
C3 K
8"
$2" 5 [ [
2 " 5
abierto
Vecindad de h
Daro Snchez H.
TOPOLOGIA GENERAL
K L
BL
118
producto de elementos de Z .
Ahora Z " B" B Z es una vecindad del elemento neutro. Sea
[ Z Z " es una vecindad de / y [ [ " se puede admitir que Z es
simtrica o sea Z Z " . En ese caso K Z 8 . Cada Z 8 tiene base enumerable.
Luego K tiene base enumerable, por ser la aplicacin Z 8
Z Z Z
8
87.Sea 0 \
n-veces
Z ,
88. +
Daro Snchez H.
119
TOPOLOGIA GENERAL
K-
3"
BO
90.El
Daro Snchez H.
entonces
120
TOPOLOGIA GENERAL
C:"<
91.Sea
R E: E E
as : Z Z : [ [ en cuyo caso : Z : [ , siguindose que \E
es normal de Hausdorff.
Si B E C \ E, entonces B C, como \ es normal bZ C y b[ E tal que
Z [
Los otros casos se siguen del hecho de que
"
"
R
:
:
R
:
E
92. "Sea E #\- abierto y para cada - P sea E- :-< E se tiene E- \excepto para un nmero finito de valores de -. Existe un abierto elemental Y y
Y Y- " Y- # Y-8 # \- . Ahora :-< Y :-< E Y- E- por lo tanto
- - 3
como Y- \- salvo para un nmero finito de valores de -, se sigue que E- \excepto para un nmero finito de valores de -.
# Para cada - P, sea W- \- . La topologa inducida en #W- por la aplicacin de
inclusin + #W-
Daro Snchez H.
es denso es \-
+ +:#W- W
SOLUCIN.
121
TOPOLOGIA GENERAL
donde Y-3 W-3 es abierto en W-3 . Tambin :-< \ \- es continua por lo tanto
:-< W :-< lW W \- es continua por tanto #W- tiene la topologa producto.
, #W- #W-
-P
B #W -
#W-w
W - \- a- #W- #W - #\-.
W- denso
93.Sea
-P
asociatividad
-P
Daro Snchez H.
122
TOPOLOGIA GENERAL
# # \-
-P
SOLUCIN.
# \- .
B # # \-P
B B
"
- -P
0 # \-P
B B-
- YP
B B-
# ]
B B
-P
-P
B # \
-P
B # \-
-P
, ] # \ -P
0 B C
E
C C- -P C- B-
-P
:<
1-
# ] # \ll
ll
\-
-P
proyeccin de \ en el factor \-
94.Una
-: P
: # \-P
# \-
-P
es un homeomorfismo.
95.Sean
\ R
Daro Snchez H.
123
TOPOLOGIA GENERAL
SOLUCIN. Mostremos que para todo 0 y para todo E abierto es \ R , tal que
: 0 E existe F abierto en \ Q tal que a1 F : 1 : 1 E.
Sea Z un vecindad de 0 en \ R tenemos
E Z : 0 W % 1 \ R . 1lW : 0 lW
% 1 \ R . 1 B 1 0 B % aB W
: es uniformemente continua, esto es,
dado % ! b $ ! tal que . B C $ . : B : C % aB aC Q
"
Para este $ se construye
F [ 0 W $ 1 \ Q .1 B 0 B $ , aB W
As para 1 F .1 B 0 B $
entonces por " tenemos
.: 1 B : 0 B %, aB W : 1 E.
96.Sea
que . B8 B8"
"
8# ,
Sea W8 "
"
##
"
$#
"
8# .
8"
"
8#
Como lim W8
"
8# ,
/B3=>/
de Cauchy por lo tanto H+.9
%! 8! 7 8 8! lW8 W7 l %. En particular como
8
8"
97.Sean
.
>
>
$
. 0 > 0 >w " 5 %
%!
$ !
o sea que
. 0> B 0>w B " 5 % aB Q
donde 5 es la constante de contraccin de 0> o sea 5 es tal que ! 5 " y
. 0> B 0> C 5. B C
aB C Q
#
Daro Snchez H.
124
TOPOLOGIA GENERAL
%!
. : 0> : 0 > w
:V Q
0>
/B3=>/
"5 %$ ! ./
Q
+>
o sea que
. : 0> : 0 > w
5. : 0> : 0>w
se tiene que
"5 %
"5 % "
5 . : 0 > : 0 >w
"
5 %
. : 0> : 0 > w %
o sea : es continua en 0>w luego es continua.
98.Sean O
3"
99.Sean
\ un espacio topolgico y 0 \
3"
Daro Snchez H.
100.Sean
TOPOLOGIA GENERAL
125
SOLUCIN. ) Sea 2 H entonces existe 2 " tal que 2 " 2 3. y 2 " es derivable
5!
sea 2 B 6 C 5 5 2 B 6 C 2 B 6 2 B y 5 ! 6 ! ya que 2
es un homeomorfismo. Entonces
6 1 C 5 1 5 2 w B " 2 B 6 2 B = 5 2 w B " 2 w B 6 < 6 = 5
l6l 2w B " < 6
= 5 2 w B " < 6 =l5l5 l5l
l6l
Daro Snchez H.
cuando 5 !
TOPOLOGIA GENERAL
l6l
l5l
permanece acotado y
<6
l6l
126
102. Pruebe
Daro Snchez H.
TOPOLOGIA GENERAL
127
obtenemos as que
\ Y -" Y -# Y - 8 Y - !
y \ es compacto.
Todo subconjunto W \ de \ es compacto ya que si W es finito entonces es
compacto y si W es infinito entonces se toma un recubrimiento por abiertos de W y
en la misma forma que se hizo para \ , se obtiene un subrecubrimiento finito
cubriendo a \ y por lo tanto a W siguindose que W es compacto. Note que el
espacio no es Hausdorff, pues dos colas siempre se encuentran y \ es infinito.
103.Pruebe
Daro Snchez H.
\ B!
:
J
\
TOPOLOGIA GENERAL
] C!
<
128
]
Como :, < son homeomorfismos de \ B! sobre : \ B! y de ] C! sobre
< ] C se puede definir J \ ] de la siguiente manera J B <0 :" B
para B : \ B! J B! C! en esta forma obtenemos un homeomorfismo de
\ sobre ] , donde 0 es el homeomorfismo dado en la hiptesis.
Ejemplo. Tomemos como \ ! 1 ! #1 localmente compacto, ] W " W "
compacto B! 1 y C! ! ! en ese caso 0 es un homeomorfismo de \ 1
sobre ] ! ! pero \
].
105.
107.
Y Z\ E abierto en X
Daro Snchez H.
TOPOLOGIA GENERAL
129
Y- -P de O tal que Y-
Y sea abierto conexo. Sea % ! el nmero de Lebesgue
de este recubrimiento el cual existe pues O es compacto. Extraemos un nmero
finito de elementos de la coleccin Y- -P tal que O
Y-" Y-# Y-8 lo cual
tambin es posible por la compacidad de O con B C O tales que B C Y-3 para
algn " 3 8 entonces tenemos que lB Cl $ Y-3 % y se tiene que B C Y-3
como O
Y-" Y-# Y-8 Y se sigue que B C Y lo cual queramos
mostrar.
108.Sea
recubrimiento abierto \
-P
abierto entonces E-
:T
109.Sea
+-
" +W
,W existe - W / ,# Todo subconjunto W" de W tiene un primer elemento.
Supongamos que W no es enumerable entonces como d tiene una base
enumerable entonces W tiene un punto de acumulacin H as W H, donde es
el primer elemento de W En este conjunto se distinguen dos partes, como
sabemos, la parte numerable y la parte no enumerable as
B H es un subconjunto de W que no es enumerable y donde cada punto es un
punto aislado, as W no tiene base enumerable po esto es contradictorio ya que
por un resultado bsico cul? se sabe que si un espacio topolgico tiene base
enumerable, entonces, todo subconjunto de l tiene base enumerable.
110.Indique cuales de las afirmaciones de abajo son verdadera y presente contraejemplos para las falsas.
+ Todo espacio de Hausdorff compacto tiene base enumerable.
, Todo espacio mtrico conexo tiene base enumerable.
- El espacio de Hilbert L tiene base enumerable.
Daro Snchez H.
TOPOLOGIA GENERAL
130
W W 0 " 0 W
de aqu se tiene inmediatamente que
0 W 0 W
Daro Snchez H.
131
TOPOLOGIA GENERAL
0 F 0 F
o sea
0 0 " J J
0 E J E 0 " J E.
113.Defina
Veamos la afirmacin; si
C
Z B
Z B, C con B C entonces
Z C Z aZ B a[ C [ Z aZ B
Z B
Daro Snchez H.
TOPOLOGIA GENERAL
132
Hausdorff pues
B J tenemos que B y J no se pueden separar.
116. Pruebe
Daro Snchez H.
133
TOPOLOGIA GENERAL
118. Pruebe que todo subconjunto abierto conexo E d8 es conexo por caminos.
SOLUCIN. Sea E un conjunto abierto conexo entonces para cada B E existe una
de
+ un subconjunto W \ , W , con 0 < W ,
, un subconjunto W \ con 0 < W \
SOLUCIN. 0 < W B \B 38> W , y, B 38> \ W W CW o sea B 0 <W si
para todo abierto Z que contiene a B Z contiene puntos de W y Z contiene puntos
de \ W o sea Z 38>W y Z 38> \ E
+ W \,
W
con 0 < W \ + ,- 7\ + , - \ W , -
CW + entonces W W 0 < W W CW , - +
, W , \ d 0 < \
120. Probar que si W \ es abierto entonces 0 < W tiene interior vaco. Examine
si vale lo mismo, cuando W es cerrado.
SOLUCIN. 0 < W B \ B 38>W B 38>\ W W CW
+ W W 38>W
E E
CW W
Luego 0 <W
, W W tenemos
38> 0 <W W CW W CW
Luego 0 <W
EF EF
FF
W CW W CW W CW
E E aE
121.En
Daro Snchez H.
134
TOPOLOGIA GENERAL
#W-
#. #W - # W- W-w #W-
#W-w
#W-w vemoslo
aE abierto conteniendo B B-
-P
E #W-
#W -
#W-w .
B B-
-P
122.Sean
B- W-w ,
a- entonces
E- W- B- E- y E- es abierto en W- .
B B-
-P
-P
:-<
"
E- #W-
\ un espacio topolgico y Q
$% a08 I
%! Z B! @/-38.+. ./ B! aB Z B! . 08 B 08 B!
$ Por tanto tenemos
Daro Snchez H.
TOPOLOGIA GENERAL
135
H+.9
/B3=>/
%!
R ! a8 7 R y tomando B! H Z B se tiene
. 08 B 07 B . 08 B 08 B! . 08 B! 07 B! . 07 B! 07 B $% $% $% %
% As 08 B 8 es una sucesin de Cauchy de Q , como Q es un espacio mtrico
completo entonces existe 0 \ Q tal que 08 B 0 B , por lo tanto 08 0 en I=
123.Sea
Apndice
Los problemas que siguen ya estan demostrados, pero ahora se usa otro modelo
de demostracin que nos brinda puntos de vista diferentes y permite una fijacin
sobre los resultados por ellos propuestos.
Cualquier comentario por favor hacerlo a www.danojuanos@hotmail.com
124.Sea
Daro Snchez H.
136
TOPOLOGIA GENERAL
33 Si . B \ !, entonces B \ .
Afirmacin
3 \ ] .
, Supngase 3 \ ] <
Sea
B! \ ,
como
3 \ ] <,
entonces
sup. B ] B \ <
y
sup. C \ C ] < Luego . B! ] <. Por la definicin de sup tenemos que
existe
C! ]
tal
que
. B! ] . B ! C ! < ,
por
lo
tanto
B! FC! < FC < Y ] V, luego \ Y ] < Anlogamente ] Y \ <
C]
Daro Snchez H.
TOPOLOGIA GENERAL
137
De l. B ] . D ] l . B D , se ve que
. D ] . B ] . B D . B D supH \ ] . B D 3\ ] . B D % 3\
] , luego . D ] . D \ 3\ ] %, o sea que,
. D \ . D ] 3\ ] %
De M y MM , tenemos que
l. D \ . D ] l 3\ ] % a% ! aD Q
Luego
MM
Daro Snchez H.
TOPOLOGIA GENERAL
138
. s
. \ s
. ] supl. D \ . D ] l D Q 3\ ] % a% !
y por lo tanto
. s
. \ s
. ] 3\ ]
126. Sea W 8 B d8" lBl " la "esfera unitaria" 8 dimensional, con la mtrica
lB Cl inducida de d 8" . Para cada B B" B# B8" W 8 se tiene tambin
Daro Snchez H.
139
TOPOLOGIA GENERAL
d en el punto !, donde 0 B
=/8 B" si B !
!
si B !
SOLUCIN. + Supngase que A 0 + ! y sea % !. Entonces por la definicin de
inf tenemos que b< ! tal que $ 0 F+ < %, o sea b< ! tal que
. 0 B 0 C % aB C F+ <. En particular aB F+ <, tenemos . 0 + 0 B %, o
sea 0 es continua en +
Supngase ahora que 0 es continua en +
3 Es claro que ! $ 0 F+ < a< !
33 Si % !, por ser 0 continua en +, b<! ! tal que, B F+ <! implica que
0 B F0 + $% o sea, aB C F+ <! , se tiene . 0 B 0 C #$% . Entonces
$ F+ <! #$% %
Por 3 33 , se tiene que A 0 + ! esto segn la definicin de inf
=/8 B" si B !
, Sea 0 d d dada por 0 B
!
si B !
Calculemos A 0 ! . Supngase < ! un nmero dado. Entonces existe 8 tal
#
#
"
que 8" <. Si tomamos B! %8"
1 y C! %8$ 1 , se tiene que ! B! #81 < y que
, Calcle la oscilacin de 0 d
! C!
"
#8" 1
<,
y por lo tanto
B! C! F! <
y tambin
0 B! " y
0 C! "
Conclusin: a< ! bB! C! F! < tal que . 0 B! 0 C! #.
Luego $ 0 F! < # a< !. Pero l0 B l " de donde $ F! < # a< !.
Recibindose que A 0 ! #.
entre L B d 8 B8 ! y d 8" ! .
- Entre T B d 8 B" ! B8 ! y d 8" !
SOLUCIN. + 1 d 8" + W 8 d .
Consideremos los siguientes homeomorfismos y sus respectivos inversos:
"
d 8" ! g d 8" +
B+
B
"
d 8" + g d 8" !
B
B+
:
#
W 8 !
d 8" !
>B
B >
"
:
d 8" !
W 8 !
B lBl
B
lBl
<
$
W8 d
W 8 !
B />
B >
Daro Snchez H.
140
TOPOLOGIA GENERAL
<"
W 8 !
W8 d
B lg>
B >
Tenemos entonces que 2 W 8 d d 8" + dada por
2 B > g : < B > g : B /> g /> B /> B +
es un homeomorfismo cuyo inverso es 2 " d 8" + W 8 d es dado por
B+
B+
2 " B <" :" g " B <" :" B + <" lB+l
lB +l lB+l
lglB +l
d 5 . En efecto, tenemos
5"
5
d 5" d 5" d 5-" d d 5 .
induccin
8
Luego T d
129.En
8"
8"
! .
+ parte
"
Daro Snchez H.
TOPOLOGIA GENERAL
141
/ , si B es racional !
" , si B es racional !
2 Sea 0 d d dada por 0 B
B
/ , si B es irracional !
" , si B es irracional !
Tenemos que 0 Fd d pues l0 B l " aB y 0 es discontinua en todo punto
de d .
Dado % ! sea F0 % en Q
y tomemos >! d tal que />! #%
es posible pues /B !
.
B
0 B si B B!
1 B
.
! si B B!
Tenemos entonces que 1 F0 %, pero 1 es continua en todo punto B B! esto
es 1 E Como % ! es arbitrario, concluimos que E no es abierto.
B
3 La aplicacin : Q d dada por : 0 '+ 0 B .B es continua ver resultados
bsicos en anlisis en d 8 y entonces E :" ! es abierto en Q pues !
es abierto en d .
Sea 1 d
d dada por
Daro Snchez H.
142
TOPOLOGIA GENERAL
4 Sea C " " " ! ! E. Para cualquier % !, tenemos B " " " #% ! E y sin
embargo . B C #% . Luego B FC %. Concluimos que E no es abierto en Q
130. Sea
+ 3 <3
3"
l+3 <3 l %
3"
y entonces < F+ % E
8
, Sea E- -P tal que E-
d es abierto y E- E. , si . -. Para este
ejercicio podemos suponer los E- , pues si algn E- y lo restante es
enumerable, entonces el total continuar enumerable.
Para cada - P, fijamos por eleccin <- E- <- 8 dado por la parte +
Tomemos una aplicacin 0 P 8 dada por 0- <- y obtenemos que 0 es
biunvoca pues si - ., esto es, si E- E. , tenemos que 0- <- <. 0..
Luego P es enumerable y por lo tanto tambin.
- Sea M d un intervalo y 0 M d montana. Podemos sin perder generalidad
suponer que M es abierto. Sean 0 B lim 0 > y 0 B lim 0 > y suponga para
>B
>B
>B
>B
Daro Snchez H.
TOPOLOGIA GENERAL
143
Entonces 0 B 0 B 0 B aB M y si + B C entonces 0 B 0 C .
Adems, 0 es continua en B 0 B 0 B 0 B (Para estas propiedades ver
Walter Rudin, Principles of Mathematical Analisis- pg. 82/83).
Sean
B B"
puntos
de
discontinuidad
de
0 entonces
0 B 0 B 0 B3 0 B"
y entonces la coleccin 0 B 0 B B es
punto de discontinuidad de 0 es una coleccin de intervalos abiertos dos a dos
disyuntos en d y por la parte , , es enumerable. Luego tambin lo son los
puntos de discontinuidad de 0 .
132.Sea
w
continua + |0 l supl0 > l l0 > l > M es norma,
! son obvias.
3) l!l ! y l0 l ! 0
33) Si - d , entonces |-0 l l-ll0 l , es fcil
333) l0 1l l0 l l1l
Sean 0 1 " M. Sabemos que 0 1 w > 0 w > 1w > y entonces a> M , tenemos
l0 l l1l l0 > l l0 w > l l1 > l l1 w > l l0 > 1 > l l0 w > 1 w > l
l 0 1 > ll 0 1 w > l
Luego l0 l l1l supl 0 1 > l l 0 1 w > l > M l0 1l
, H " M ! + , d H 0 0 w
lH 0 H 1 l l0 w 1w l supl 0 1 w > l > M supl 0 1 > l l 0 1 w > l > M
l0 1l .
Luego H es una contraccin dbil y por lo tanto continua.
- B! M E 0 " M 0 w B! !.
Sea F 1 ! M 1 B! ! y sea 0 F entonces 0 B! ! y tomemos
! % 0 B! en la bola F 0 % . Si 2 ! M y si 2 F0 %, tenemos que . 0 2 %;
en particular, . 0 B! 2 B! % o sea , l2 B! 0 B! l %
y entonces
2 B! 0 B! % o sea, 2 F y F es abierto en ! M
Ahora H " M ! M es continua y E H" F por lo tanto E es abierto en
" M
,
,
. : " M d : 0 '+ 0 w > .>. Sea ! M d definida por 1 '+ 1 > .>
y tomemos la compuesta H " M
d as
, w
w
H > 0 '+ 0 > .> : > .
Luego : H y como H es continua, basta mostrar que lo es.
Daro Snchez H.
144
TOPOLOGIA GENERAL
Sean 1 2 ! M tenemos
,
,
,
l 1 2 l '+ 1 > .> '+ 2 > .> '+ 1 > 2 > .> , + supl1 > 2 > l
, + . 1 2
y por consiguiente es Lipschitziana, luego es continua.
"
/ Sea " M con la norma del supremo, M ! ". Sea !
y sea $ !.
0 M
"
B8
Entonces existe 8 R tal que 8 $ y tomemos la funcin 08 B 8 Tenemos que
. 08 0 8" $ y sin embargo se tiene . H 08 H 0 . 08w 0 w " Luego H no es
continua en 0
!
Sea ahora 0 B B 0 " M donde M ! #1 y sea % !. Entonces existe 8
"
tal
que
y
sea
B! 1 M . Tmese
ahora
la
funcin
#8" %
"
"
08 B B #8" =/8 #8 " B ; 08 M
y
"
. 08 0 sup #8"
=/8 #8 " B
"
#8"
y por consiguiente 08 F0 %.
Tenemos que 0 w B! 0 w 1 " ! mientras que 08w B! 08w 1 " " ! Por
consiguiente 08 E y E no es abierto.
133.Sean
1K
1K
Daro Snchez H.
TOPOLOGIA GENERAL
145
134.Sean 0 1 \
Daro Snchez H.
TOPOLOGIA GENERAL
146
! B
B!
! B B !
Se verifica que 0 y 1 son continuas y que J B d 0 B 1 B ! no es
cerrado en d .
W W;
W X W X .
3
WX WWX W
WX X WX X
3
W X W X .
- Sea \ un conjunto y : P \
P \ tal que : goza de las cuatro propiedades
" % y por consiguiente de 3 y 33 tambin.
Defnase E abierto : \E \ E
Daro Snchez H.
TOPOLOGIA GENERAL
147
"
M : \ \ : \ \ luego \ es abierto
MM :\ :\ P\ por consiguiente :\ \ . Pero por # , \ :\.
Luego \ :\ y entonces es abierto
MMM Sea E--P una familia de abiertos, esto es, :\ E- \ E- , a-. tenemos
3
que :\ E- : \ E- :\ E- a- , entonces
-
: : W
: W \ \: W
#
luego \ : W es abierto y por lo tanto : W es cerrado y como : W W ,
tenemos que W : W por la definicin de W . Pero W es cerrado, de donde \ W
es abierto y entonces
:W : \ \ W \\ W W
Por # , tenemos W W : W :W W con lo cual termina la demostracin.
136.
Daro Snchez H.
TOPOLOGIA GENERAL
148
137.Para
138.Sea
Daro Snchez H.
149
TOPOLOGIA GENERAL
Sea
./> Q 8
dada
por
./> E
5
donde
+.4 \
+.4\
""
8"
+.4\
+.4\
+.4\
34
38
88
lo son.
Daro Snchez H.
150
TOPOLOGIA GENERAL
La funcin K 8
d ! dada por : \
"
./> \
./>\
K8
"
+.4\
./> \
0 Consideremos la composicin
Q 8 - Q 8 Q 8
\
\ \ >
7 Q 8 ./> d
>
\ \ > ./>\\
./> 7 - Q 8
d es continua pues cada uno de los factores es continua.
Como \ S 8 ./>\ ", tenemos que S 8 ./> " " " que es cerrado
en Q 8 pues " " es cerrado en d . (o an, \ S 8 \ \ > M luego
S 8 ./> 7 - " "
Por
otra
parte,
tenemos
a3 " 8 entonces
l+34 l " a3 4 " 8 lEl . E ! sup
#
+34
"
4"
l+34 l ".
" 34 8
Luego S 8 H! " bola cerrada de centro en la matriz nula y radio ", entonces
S 8 es acotado.
1 K \ Q 8 ./>\ ! es abierto en Q 8 pues K 8 ./> " ! y
./> Q 8 d es una funcin continua. De manera anloga, tenemos que
K 8 \ Q 8 ./> \ !
es abierto en Q 8 . Luego K 8 y K 8 son abiertos en K8 y
K 8 K 8 K 8 ,
.3=C?8>+
Daro Snchez H.
TOPOLOGIA GENERAL
151
139.Para
Daro Snchez H.
152
TOPOLOGIA GENERAL
tiene ?I@
Como : es abierta, tenemos que
B :Y es abierto y
C :Z abierto y si existe
donde
A?
?Y
A :Y :Z , entonces
, o sea, existe ? Y existe @ Z tal
A@ , donde @Z
que
?
@ , esto es, ?I@ po contradiccin. Luego :Y :Z
Hausdorff.
y \I es de
SOLUCIN. + Dado % !, para cada 3 " : b83 R3 tal que 88 3 entonces
3
. B8 + %. Tomemos 8! max8" 8: .
. B8 + % luego limB8 +
Entonces
!
a88
8
8R
tenemos
que
R5 : 5
R5 .
3"
B
d
definida por B5 ! si 5: ": # .
" #
5
8 B 8 B8
converge para !, aR3 , pues cada R3 slo tiene un nmero primo
5"
B " si 5: :
Entonces B8 8R3
:3
Pero B8 8 no converge para ! pues existen nmeros primos arbitrariamente
grandes. Luego la respuesta a la pregunta no es verdad.
142.Sea
Daro Snchez H.
153
TOPOLOGIA GENERAL
SOLUCIN. + Supngase B8 + y :
y
8 8 :
entonces B8 +, tenemos que B: 8 B8: +
143.Sea
, Sea d
d y probemos que no es cerrado en . Para esto,
tomemos d y como es denso en d , existe una sucesin 0 8 8 tal que
0 8 y 0 8 a8 . Tomemos ahora una sucesin 07 7 , donde cada
07 esta definida por:
0" 8 8 0 " 0 " 0 "
0# 8 8 0 " 0 # 0 #
Daro Snchez H.
154
TOPOLOGIA GENERAL
07 8 8 0 " 0 # 0 7 " 0 7
Sea
dado
. B8 8 C8 8
%!
%
$
Como
B8 8
tomemos
C8 8
B8 Bb8" 88" . B8 B %
C8 Cb8# 88# . C8 C %$
$
tal
que
144.Sean
Daro Snchez H.
TOPOLOGIA GENERAL
155
tenemos B K y entonces K d .
, Si K !, entonces K !. Suponga K ! y K no denso en d ; por la parte
+ ! no es punto de acumulacin de K esto es, b% !, tal que
% % ! K .
Sea E 1 K 1 !. Entonces E pues K ! y como E es acotado
DLL
Daro Snchez H.
156
TOPOLOGIA GENERAL
BIBLIOGRAFIA
- Bourbaki, N., Thorie des Ensembles, Fascicule de Rsultats, Hermann, Pars,
1958.
- Bourbaki, N., Topologie Gnrale, Hermann, 1961, Hocking, J.G., & Young, G.S.,
- Chinn, W.G. & Steenrod, N.E., First Concepts of Topology, Random House, Inc.,
N.Y., 1966.
- Halmos, P.R., Teora Intuitiva de Conjuntos, Cecsa, Mxico D.F., 1965.
- Hall, D.W. & Spencer II, G. L., Elementary Topology, John Wiley & Sons, Inc., N.Y.
1960.
- Hocking, J.G. & Young, G.S., Topologa, Editorial Revert S.A., 1966.
- Kelley, J.L., General Topology, Editorial Board, N.Y., 1970.
- Mendelson, B., Introduction to Topology, Allyn & Bacon, Inc., Boston, 1966.
danojuanos@hotmail.com
danojuanos@tutopia.com
de
este
trabajo
en
el
Daro Snchez H.
TOPOLOGIA GENERAL
157