Professional Documents
Culture Documents
0 Q T 1 R U Sean aplicaciones continuas. Entonces, la aplicacin
: : Q R T U B C 0 B 1 C ( ) ( ) ( ) ( ) definida por es continua.
Un HOMEOMORFISMO es una aplicacin continua y biunvoca de un espacio 0 Q R
mtrico sobre un espacio mtrico , tal que su aplicacin inversa Q R 0 R Q
"
abierto segn . T
\ Dadas las topologas y en un conjunto , para que sea ms fina que es T T T T
w w
necesario y suficiente que la aplicacin identidad sea continua. 3 \ \ ( ) ( ) T T
w
Para que dos mtricas y en el mismo conjunto definan la misma . . Q
w
topologa es necesario y suficiente que ellas sean equivalentes.
0 \ ] \ ] Una aplicacin , de un espacio topolgico en un espacio toplogico
se dice cuando, para cada abierto es abierto en . abierta E \ 0 E ] ( )
0 \ ] \ Una aplicacin biunvoca , de un espacio topolgico sobre el espacio
topolgico es un homeomorfismo si y slo si, es continua y abierta. ]
\ EH. Un espacio topolgico es llamado un espacio de Hausdorff
( ) o espacio separado cuando, dados dos puntos arbitrarios en , existen B C \
abiertos , tales que y , . E F \ B E C F E F
Un espacio mtrico es un espacio de Hausdorff, por tanto todo espacio
metrizable es un espacio de Hausdorff, la recproca es falsa.
\ Resulta de la definicin EH que en un espacio de Hausdorff , para cada punto
de , el conjunto es un abierto de . La recproca es falsa, por B \ \ B \
ejemplo, tome , un conjunto infinito con la toplogia de los complementos de \
los subconjuntos finitos de , aqu es abierto y no es Hausdorff ni \ \ B \ ( ) T
metrizable.
11. Sea una aplicacin de un conjunto arbitrario en un espacio 0 W \ W
toplogico . La coleccin de las imgenes inversas de los abiertos \ 0 E T
"
( )
E \ 0 W por la aplicacin es una topologa en . La topologa as construida es T
llamada, en por la aplicacin topologa inducida W 0 W \
0 W \ La topologa inducida por es la dentro de todas las menos fina
topologas en que dejan a la aplicacin continua. W 0 W \
W \ 3 W \ E \ Sea , la inclusin es tal que, si es un abierto, se tiene que
3 E E W 3 W
"
( ) ; de modo que la topologa inducida por en tiene por abiertos las
intersecciones de los abiertos con el subconjunto . con sta E W E \ W W
topologa es llamado un del espacio topolgico . subespacio \
\ U \ U Sean un espacio topolgico, un conjunto cualquiera y una :
aplicacin de en . Indiquemos por la coleccin de los subconjuntos \ U F U T
tales que es abierto en . es una topolgia en llamada :
"
( ) F \ U T co-inducida
por la aplicacin . :
Daro Snchez H. 7 TOPOLOGIA GENERAL
U La topologa es la ms fina topologa en con la propiedad de co-inducida
dejar la aplicacin continua. : \ U
\ ^ 1 U ^ 0 \ U U Sean espacios topolgicos donde posee la topologa
co-inducida por . Entonces es una aplicacin continua si slo si, 0 1 U ^
1 0 \ ^ es continua.
\ U U Sean y con la topologa co-inducida. Entonces con respecto a la :
topologa co-inducida es un esto es, los puntos U \ :( ) subespacio discreto,
son abiertos.
12. Sea un espacio topolgico y una aplicacin de sobre un \ \ U \ :
conjunto . Para todo se tiene , pero dado en general U X U X X W \ : :
"
( )
cuando no es sobre, apenas se tiene . : : :
"
= W ( )
W \ Un subconjunto se dice relativamente a cuando saturado ( ) :
: :
"
W W ( ) .
W W El menor conjunto saturado que contiene a es llamado el de . saturamiento
U \ U Supongamos ahora que tiene la topologa co-inducida por . Entonces, :
para todo , el conjunto es abierto en si y slo si, su saturamiento W \ W U :( )
: :
"
W \ ( ) es abierto en .
\ I \ Sea un espacio topolgico y una relacin de equivalencia en . En el
conjunto cociente de por la relacin , consideremos la topologa co- U \I \ I
inicial dada por la aplicacin cannica , que asocia a cada la : \ \I B \
clase de equivalencia que lo contiene. Esta es la en . topologa cociente \I
El espacio topolgico es el espacio cociente de por la relacin . \I \ I
: es llamada aplicacin cociente.
\ ] 0 \ ] ] Sean , espacios topolgicos y una aplicacin continua sobre . Se
define la relacin por: . Consideremos la aplicacin I BIB 0 B 0 B
w w
( ) ( )
cociente , existe una nica aplicacin tal que : \ \I 0 \I ]
0 B 0 B 0 \I ] ( ) ( ) ( ) : . No siempre es un homeomorfismo. Para que eso se
tenga es necesario y suficiente que la topologa de sea co-inducida por . ] 0
0 \ ] \ ] Si es una aplicacin continua y abierta de sobre , entonces la
topologa de es co-inducida por . ] 0
0 \ ] Una aplicacin es un cuando todo punto homeomorfismo local
B \ Y 0 Y Z ] 0 pertenece a un abierto tal que es abierto en y es un ( )
homeomorfismo de sobre . Y Z
I \ Dada una relacin de equivalencia en un espacio topolgico , la aplicacin
cociente es abierta si y slo si, el saturamiento de todo : : : \ \I E ( )
"
subconjunto abierto , es an abierto. E \
\ \I I Cuando es una aplicacin abierta, la relacin de equivalencia se :
dice una relacin abierta.
13. Una , o simplemente, una en un espacio topolgico base de abiertos base \
es una coleccin de subconjuntos abiertos de llamados \ abiertos bsicos
con la siguiente propiedad: Todo subconjunto se expresa como reunin de E \
abiertos pertenecientes a . F E F
- -
-
Daro Snchez H. 8 TOPOLOGIA GENERAL
\ \ Sea un espacio topolgico. Una coleccin de abiertos de constituyen una
base de si y slo si, para cada abierto y cada punto existe un \ E \ B E
conjunto tal que . F B F E
B B
( )
un abierto que contiene a como elemento. B
+ E \ ( ) Un conjunto es abierto en un espacio topolgico si y slo si, es una
vecindad de cada uno de sus puntos.
( ) , \ ] 0 \ ] Sean , espacios topolgicos. Una aplicacin es continua en el
punto si y slo si, para cada vecindad del punto en existe una + \ Z 0 + ] ( )
vecindad del punto en tal que . Y + \ 0 Y Z ( )
Daro Snchez H. 9 TOPOLOGIA GENERAL
W \ La de un subconjunto de un espacio topolgico es un conjunto frontera
fr( ) W B \ B formado por todos los puntos tales que toda vecindad de contiene
puntos de y del complementario , esto es, W \ W
. fr( ) ( ) W B \ B 38> \ W B 38>W W W C
\
38> W W W Si entonces . ( ) ( ) fr
] \ ] B \ Sea un espacio topolgico, un subespacio de y un punto de . Las
vecindades de son las intersecciones donde es una vecindad de B Z \ Z B
en . ]
15. Un subconjunto de un espacio topolgico se dice cuando su J \ cerrado
complementario es abierto. \ J
J \ A fin de que sea un subconjunto cerrado de , es necesario y suficiente que
para cada exista un abierto con , esto es, y B \ J Y B Y \ J B Y
B B B
Y J
B
.
\ Los subconjuntos cerrados de un espacio topolgico gozan de las siguientes
propiedades:
El conjunto vaco y el espacio entero son cerrados. ( ) " \
La interseccin de una familia cualquiera ( ) # J J J
-
- - - A
( ) finita o infinita de subconjuntos cerrados es un subconjunto cerrado J \
-
de . \
La reunin de un nmero finito de subconjuntos ( ) $ J J J
" 8
cerrados es un subconjunto cerrado de . J J \ \
" 8
\ ] 0 \ ] Sean y espacios topolgicos. Para que una aplicacin sea continua
es necesario y suficiente que la imagen inversa de todo subconjunto 0 J
" w
( )
cerrado sea un subconjunto cerrado en . J ] \
w
0 \ ] \ ] 0 Sea una aplicacin biunvoca de sobre . A fin de que sea un
homeomorfismo es necesario y suficiente que la siguiente condicin sea
satisfecha: Dado , es cerrado en si y slo si, es cerrado en . T \ 0 T ] T \ ( )
\ B \ En un espacio de Hausdorff , todo punto es un subconjunto cerrado de . La
recproca es falsa, como ejemplo tome la topologa de los complementos finitos
sobre un espacio infinito . \
0 \ ] \ ] Una aplicacin espacios topolgicos se dice cuando ( ) cerrada
la imagen de todo subconjunto cerrado es un subconjunto cerrado de 0 J J \ ( )
] .
\ ] ] Sean , espacios topolgicos, un espacio de Hausdorff. El grfico de una
aplicacin continua es un subconjunto cerrado 0 \ ]
G( ) ( ) ( ) J B 0 B \ ] B \
del espacio producto . \ ]
\ Q 0 \ Q Sea un espacio topolgico y un espacio mtrico. Dada , las
aplicaciones que estan a una distancia finita de y son continuas en un punto 0
dado forman un subconjunto cerrado del espacio . + \ \ Q
0
( )
Daro Snchez H. 10 TOPOLOGIA GENERAL
\ Q Las aplicaciones continuas forman un subconjunto cerrado de . En
0
( )
particular, las aplicaciones continuas acotadas forman un subconjunto cerrado de
( ) \ Q .
16. Sea un subconjunto de un espacio topolgico , un punto se dice W \ B \
adherente a cuando toda vecindad de en contiene por lo menos un W B \
punto de . W
\ W El conjunto de los puntos de que son adherentes a es llamado la cerradura
o de y es indicado por . adherencia W W
B W E \ B E As si y slo si, para todo abierto del espacio con implica
E W .
W W W \ Evidentemente, cualquiera que sea .
W \ La adherencia de un subconjunto en un espacio topolgico , es la
interseccin de todos los subconjuntos cerrados de que contienen a . \ W
J \ J J es cerrado si y solamente si .
W \ La adherencia de un conjunto en un espacio topolgico es el menor
subconjunto cerrado de que contiene a . Ms exactamente \ W
es cerrado en ( ) " W \
( ) # W W
si es un subconjunto cerrado de que contiene a , entonces . ( ) $ J \ W J W
\ ] Sea un subespacio de un espacio topolgico . La adherencia
( ) relativamente a de un subconjunto es la interseccin de con la \ W \ \
adherencia de en . W ] W \ W
\ ]
W Q . B W Sea un subconjunto de un espacio mtrico . Entonces si y slo si, ( )
. B W ! ( ) .
J Q . Para que un subconjunto de un espacio mtrico sea cerrado es ( )
condicin necesaria y suficiente que implique que . . B J ! B J ( )
17. Dados dos subespacios cerrados distintos en un espacio mtrico , J K Q . ( )
existe una funcin real continua tal que
si
si
: : Q ! " B
! B J
" B K
( )
( ) Basta definir : B
. BJ
. BJ . BK
( )
( ) ( )
J K Q . Sean subconjuntos cerrados disyuntos en un espacio mtrico . ( )
Existen abiertos en tales que y . Y Z Q J Y K Z Y Z
\ Un espacio topolgico se llama cuando dados dos cerrados normal
J K \ J K Y Z \ J Y K Z , , con existen abiertos con , y
Y Z .
Todo espacio topolgico mtrizable es un espacio . normal
\ TEOREMA DE URYSOHN: En todo espacio normal , dados dos cerrados disyuntos
J K \ ! " , existe siempre una funcin real continua tal que :
si
si
:( )
B
! B J
" B K
Daro Snchez H. 11 TOPOLOGIA GENERAL
J K \ Sean subconjuntos cerrados disyuntos en un espacio topolgico . Una
funcin continua con , es llamada una : : : \ ! " J ! K " ( ) ( ) funcin de
Urysohn del par . ( ) J K
W \ W W es cerrado si y solamente si . fr( )
18. Sea un subconjunto de un espacio topolgico . Un punto es llamado W \ B \
un de cuando toda vecindad de en contiene punto de acumulacin W Z B \
algn punto , distinto del punto . El conjunto de todos los puntos de = W B
acumulacin de se llama y es indicado con . W W derivado
w
\ W \ W W W Sea un espacio topolgico. Para todo subconjunto se tiene .
w
J \ Un conjunto es cerrado si y slo si, contiene todos sus puntos de
acumulacin.
W \ W Si no posee puntos de acumulacin, entonces, todo subconjunto de es
cerrado en . \
\ B \ Sea un espacio de Hausdorff. Para que un punto sea de acumulacin de
un subconjunto es necesario y suficiente que toda vecindad de contenga W \ B
una infinidad de puntos de . W
En un espacio de Hausdorff, todo conjunto finito tiene derivado vaco.
\ W En un espacio de Hausdorff , el derivado de cualquier subconjunto es
cerrado, esto es, . W W
w ww
19. Un espacio topolgico se llama cuando y son los nicos \ \ conexo
subconjuntos simultneamente abiertos y cerrados.
\ Un espacio topolgico es si y solamente si, no puede ser expresado conexo
como reunin de dos subconjuntos abiertos, disyuntos y no vacos.
W Un conjunto es abierto y cerrado simultneamente si y slo si, su frontera es
vaca.
Todo intervalo de la recta es un espacio conexo.
Todo subconjunto conexo de la recta es un intervalo.
W 0 \ ] La imagen de un conjunto conexo por una aplicacin continua , es un
conjunto conexo 0 W ( )
\ 0 \ d Sean un espacio topolgico conexo y una funcin real continua. La
imagen es un intervalo. 0 \ ( )
0 + , d + , Sea una funcin real continua definida en el intervalo . Si
0 + - 0 , B + , 0 B - ( ) ( ) ( ) entonces existe tal que .
\ 0 M \ M Un en un espacio topolgico es una aplicacin , donde es camino
el intervalo cerrado . Los puntos y son llamados los extremos ! " + 0 ! , 0 " ( ) ( )
del camino , es el punto inicial y el punto final. 0 + 0 ! , 0 " ( ) ( )
\ Un espacio topolgico se dice cuando conexo por camino o por arcos,
dados dos puntos cualesquiera existe siempre un camino con + , \ 0 M \
0 ! + 0 " , ( ) ( ) y .
I W I Sea un espacio vectorial normado, un subconjunto se dice convexo
cuando, dados dos puntos cualesquiera el segmento de recta + , W
+ , " > + >, ! > " W ( ) est enteramente contenida en .
Daro Snchez H. 12 TOPOLOGIA GENERAL
20. Si los caminos en el mismo espacio topolgico son tales que 0 1 M \ \
0 " 1 ! 0 1 M \ ( ) ( ) , se puede definir un camino , del siguiente yuxtapuesto
modo
si
si
( )( )
_
( )
( )
0 1 >
0 #> ! >
1 #> " > "
"
#
"
#
Todo espacio topolgico conexo por arcos, es conexo.
La recproca de la afirmacin anterior es falsa, tome como ejemplo el llamado
espacio peinilla, esto es, la reunin en de los siguientes conjuntos: d
#
" N B ! ! B " El segmento unitario del eje de las abscisas, ( )
# N C ! C " segmentos verticales unitarios , levantados sobre los
8
"
8
puntos de los cuales tienen abscisa de la forma N 8
"
8
$ + ! el punto
"
#
\ W \ Sea un espacio topolgico y un subconjunto de se dice cuando denso
W \ W \ . Si es adems conexo, tambin es conexo.
W \ W X W Sea un subconjunto conexo del espacio topolgico . Si entonces
X es conexo.
W d 2 W d W 0 W 0 W Si , es un homeomorfismo de sobre entonces tiene ( ) ( )
#
interior vaco en . Procediendo por absurdo se llega a que un intervalo es d
#
homeomorfo a un disco, lo cual es contradictorio. po
N d 0 N d Sea un intervalo. Una funcin continua es un homeomorfismo de
N 0 N 0 sobre si y solamente si es estrictamente montona. ( )
W Sea una familia de subconjuntos conexos de un espacio topolgico. Si
- -
existe un punto , comn a todos los , entonces es conexo. B W W W
! - -
-
\ La reunin de todos los subconjuntos conexos de un espacio topolgico que
contienen un punto es un conjunto conexo el cual llamaremos B \ G
B
componente conexa de en el espacio. B
\ La componente conexa es un subconjunto conexo maximal de . G
B
Toda componente conexa es un conjunto cerrado. G
B
\ es conexo, si y solamente si, es la componente conexa de cada uno de sus
puntos.
Ntese que el conjunto de los nmeros racionales es un espacio no discreto.
21. Un espacio topolgico se dice totalmente disconexo cuando sus nicos \
subconjuntos conexos son y sus puntos. Esto equivale a decir que sus
componentes conexas son puntos.
\ B \ Un espacio topolgico se dice cuando para todo y localmente conexo
toda vecindad de , existe una vecindad conexa de tal que . Y B Z B Z Y
El conjunto de los nmeros racionales no es conexo ni localmente conexo.
Todo espacio vectorial normado es localmente conexo, pues toda bola es
conexa.
Un espacio conexo puede no ser localmente conexo, tome por ejemplo el
espacio peinilla.
Daro Snchez H. 13 TOPOLOGIA GENERAL
\ A fin de que un espacio topolgico sea localmente conexo es necesario y
suficiente que para cada abierto , las componentes conexas de sean E \ E
subconjuntos abiertos de . \
B Una de un punto en un espacio componente conexa por caminos
topolgico es la reunin de todos los subconjuntos conexos por caminos de \ \
que contienen a . B
\ Un espacio topolgico se dice cuando localmente conexo por caminos
para todo y toda vecindad de existe una vecindad de conexa por B \ Y B Z B
caminos con . Z Y
\ \ Sea un espacio localmente conexo por caminos. Si por otra parte es conexo
entonces tambin es conexo por caminos.
G \ W \ Sea un subconjunto conexo de un espacio topolgico . Si para algn ,
se tiene que y entonces . O sea si un G W G \ W G W
( ) ( ) fr
conjunto conexo contiene un punto interior de y un punto fuera de , G W W
entonces contiene algn punto de la frontera de . G W
22. Lmites: En un espacio mtrico para una sucesin , se tiene que Q B Q
8 8
B B E lim
8
8
si y solamente si, para todo subconjunto abierto conteniendo al punto
B 8 8 8 B E , existe un ndice tal que si implica que . En este caso se dice que
! ! 8
la sucesin es y que a . B B
8 8
convergente converge
\ B B Z En un espacio mtrico , si y solamente si para cada vecindad del lim
8
8
punto existe un indice tal que para todo . B 8 B Z 8 8
! 8 !
Q En un espacio mtrico , una sucesin convergente posee un nico lmite.
B B B Q Para que una sucesin en un espacio mtrico , posea una
" # 8
subsucesin convergente para un punto es necesario y suficiente que toda + Q
vecindad de contenga trminos con ndices arbitrariamente grandes. + B 8
8
B + B + Si , entonces toda subsucesin de converge para .
8 8 8
+ Q B + 8 Sea un punto aislado. Entonces si y slo si, existe tal que
8 !
B + 8 8
8 !
para todo .
Q Toda sucesin convergente en un espacio mtrico es acotada. La recproca es
falsa.
E Q Dado un subconjunto no vaco acotado , de un espacio mtrico , existen
sucesiones de puntos tales que . (Ntese que B C E . B C E
8 8 8 8
8
lim ( ) ( ) $
B C
8 8 8 8
no necesariamente son sucesiones convergentes). Anlogamente,
dado existe una sucesin de puntos con . + Q + E . + + . + E
8 8
8
lim ( ) ( )
Finalmente, dados , existen sucesiones de puntos con E F Q + E , F
8 8
. + , . E F ( ) ( )
8 8
.
T ! " Sea con la mtrica inducida de la recta. Dada una sucesin
" "
# 8
B Q B B Q
8 8 8
8
en un espacio mtrico , se tiene si y slo si, la aplicacin lim
0 T Q 0 B 0 ! B
"
8
8
( ) definida por es continua.
Q Q Q Sea un producto de espacios mtricos. Dar una sucesin
" 5
B Q 5 B Q B
8 8 8" 8 " 85 8
en equivale a dar sucesiones coordenadas en , , en
Daro Snchez H. 14 TOPOLOGIA GENERAL
Q B B B B + + + + Q
5 8 8" 8# 85 " # 5
de modo que . Sea , se tiene ( ) ( )
lim lim
8 8
8 83 3
B + 3 " # 5 B + si y slo si, para cada se tiene .
23. Sean y espacios mtricos. Para que una aplicacin sea continua Q R 0 Q R
en el punto es necesario y suficiente que si en entonces + Q B + Q 0 B 0 +
8 8
( ) ( )
en R
0 Q R + Q B + Para que sea continua en el punto es suficiente que si en
8
Q 0 B R implique que sea convergente en . ( )
8 8
0 Q R Para que sea continua es necesario y suficiente que la imagen
0 B B Q R ( )
8 8 8 8
de toda sucesin convergente en , sea convergente en .
0 Q R + Q A fin de que sea continua en el punto es suficiente que para
toda sucesin en convergente para , entonces la sucesin imagen B Q +
8 8
0 B 0 + ( ) ( )
8 8
admita una subsucesin convergente a .
W Q B W Q Sea un subconjunto de un espacio mtrico . Para que en es
necesario y suficiente que sea lmite de una sucesin de puntos . B B W
8
B Q W B B B W Un punto pertenece a la frontera de si y slo si, , y lim
8
8 8
B C C Q W lim
8
8 8
.
0 1 Q R W Q 0 B 1 B Sean aplicaciones continuas. Dado si para todo ( ) ( )
B W 0 B 1 B B W entonces para todo . ( ) ( )
J Q Para que un subconjunto de un espacio mtrico sea cerrado es necesario y
suficiente que l contenga el lmite de toda sucesin de puntos . B J
8
Q E Q Sea un espacio mtrico. Para que un subconjunto sea abierto es
necesario y suficiente que si toda sucesin que converge para un punto B
8 8
+ E B E 8 , se tenga que para todo suficientemente grande.
8
Q B Q Sea un espacio mtrico. Para que sea punto de acumulacin de un
subconjunto es necesario y suficiente que exista una sucesin de puntos W Q
B W B B B B 7 8
8 8 7 8
con y para .
24.Sucesiones de funciones. Sea un conjunto cualquiera y un espacio mtrico. \ Q
Se dice que una sucesin de aplicaciones converge para 0 \ Q
8
simplemente
una aplicacin cuando, para cada , la sucesin 0 \ Q B \
0 B 0 B 0 B 0 B Q 0 B Q
" # 8 8
( ) ( ) ( ) ( ) ( ) de puntos converge para el punto .
0 0 B \ ! As simplemente, si y solamente si, para cada y cada existe
8
%
un nmero positivo tal que implica . 8 8 B 8 8 B . 0 B 0 B
! ! ! 8
( ) ( ) ( ) ( ) ( ) % % %
0 0 ! Se dice que uniformemente, si y slo si, cuando dado es posible
8
%
obtener (dependiendo slo de ) tal que implica 8 8 8 8 . 0 B 0 B
! ! ! 8
( ) ( ) ( ) ( ) % % %
para todo . B \
0 0 0 0 Si uniformemente, entonces simplemente, la recproca es falsa.
8 8
0 0 8 0 Si uniformemente, entonces para todo suficientemente grande, est
8 8
a una distancia finita de y en el espacio . Recprocamente si 0 0 0 \ Q
8 0
( )
0 0 \ Q 0 0
8 0 8
en entonces converge uniformemente para . ( )
0 \ Q El lmite de una sucesin uniformemente convergente de aplicaciones
8
es una aplicacin acotada 0 \ Q
Daro Snchez H. 15 TOPOLOGIA GENERAL
0 0 0 0 Se tiene que uniformementesi y slo si, como puntos del espacio
8 8
( ) \ Q .
0 0 0 0 Si simplemente, entonces se puede tener cada acotada sin que lo
8 8
sea.
Tome para cada , la funcin dada por 8 0 d d
8
0 0 0 d d 0 B B 0 0
! lBl 8
8 lBl 8
8 8 8
( )
para
para >
dada por . Cada es acotada, no.
\ Q 0 Sean un espacio topolgico, un espacio mtrico y una sucesin de
8 8
funciones de en convergiendo uniformemente para una aplicacin . \ Q 0 \ Q
Si cada es continua en un punto dado entonces es continua en el 0 + \ 0
8
punto . +
\ Q Dados un conjunto y un espacio mtrico , fijamos una coleccin de G
partes de . Se dice que una sucesin de aplicaciones converge para \ 0 \ Q
8
una aplicacin de cuando, para 0 \ Q uniformemente en los subconjuntos G
cada , la sucesin de las restricciones converge uniformemente W 0 l W Q G
8 W
para la restriccin . Esto significa que para cada y cada 0l W Q W !
W
G %
existe un entero tal que implica para todo 8 8 W 8 8 . 0 B 0 B
! ! ! 8
( ) ( ) ( ) ( ) % %
B W.
0 Q R 0 Q Dada una sucesin de aplicaciones continuas y una aplicacin
8
R B Q Z 0 l , supongamos que cada punto posea una vecindad tal que converge
8 Z
uniformemente (esto es, converge uniformemente para , localmente) 0 0
8
entonces es continua. 0 Q R
0 d d - 0 - Sea una funcin y un nmero real. Se dice que tiene lmite en
infinito cuando, para cada , existe tal que implica . % % ! 5 ! lBl 5 l0 B -l ( )
Se escribe entonces . lim
lBl
0 B - ( )
0 0 W W \ Si uniformemente en cada uno de los subconjuntos
8 " 5
entonces uniformemente en . 0 0 W W
8 3
3 "
5
0 0 W 0 0 Si uniformemente en , entonces uniformemente en cualquier
8 8
parte de . W
25.Lmite de una funcin.- Sea una aplicacin del espacio mtrico en 0 Q R Q
el espacio mtrico . Dado un punto se dice que el punto es el lmite R + R , R
de cuando tiende para , y escribimos cuando todo existe 0 B B + , 0 B ! ( ) ( ) lim
B+
%
$ $ % ! . B + . 0 B , tal que implica . ( ) ( ) ( )
E \ 0 E ] Sean un subconjunto del espacio topolgico , una aplicacin
definida en y tomando valores en un espacio topolgico y un punto de E ] + E
\ E , ] 0 B B , adherente al conjunto . Diremos que el punto es lmite de cuando ( )
tiende para si para cualquier tal que implica + Z , bY B B Y E ( ) ( )
0 B Z , 0 B ( ) ( ) . Se escribe entonces . lim
B+
] Cuando el espacio es Hausdorff, se tiene unicidad cuando el lmite existe.
Daro Snchez H. 16 TOPOLOGIA GENERAL
Q R E Q 0 E R + E Sean espacios mtricos, , y . Para que exista
, 0 B 0 B , B E lim lim
B+ B
8 8
( ) ( ) es necesario que para toda sucesin de puntos
con y es suficiente que sea convergente en , siempre que B + 0 B R
8 8 8
( )
B E B +
8 8
,
Q R E Q 0 E R Sean espacios mtricos, un subespacio de y una aplicacin
continua. Si para cada existe el lmite entonces la aplicacin + E 0 B J E lim
B+
( )
R J + 0 + + E J + 0 B + E E definida por para y para , es continua. ( ) ( ) ( ) ( ) lim
B+
26. Un sistema fundamental de vecindades de un punto en un espacio B
topolgico es una coleccin de vecindades de con la siguiente \ B B ( )
propiedad: Dada cualquier vecindad de en el espacio , existe una vecindad Y B \
Z B Z Y ( ) tal que .
B El sistema se dice sistema fundamental enumerable cuando es un conjunto ( )
enumerable.
+ B B Sea un sistema fundamental de vecindades de un punto en un espacio ( ) ( )
topolgico . A fin de que pertenezca al interior de un conjunto es \ B W \
necesario y suficiente que exista tal que Anlogamente si y Z B Z W B W ( )
slo si, para toda se tiene . Z B Z W ( )
( ) ( ) , \ ] 0 \ ] + Sean , espacios topolgicos una aplicacin, un sistema
fundamental de vecindades de un punto y un sistema fundamental de + \ , ( )
vecindades del punto . Para que sea continua en el punto es , 0 + ] 0 + ( )
necesario y suficiente que para cualquier existe tal que [ , Z + ( ) ( )
0 Z [ ( ) .
B En un espacio mtrico todo punto posee un sistema fundamental de
vecindades enumerable.
> > > d N N N d 8 Sean , intervalos y constryase los conjuntos
" # 8 " # 8
E > > N N 0 d d 0 > N 0 > N ( ) ( ) ( )
" 8 " 8 " " 8 8
En esta forma toda funcin pertenece a alguno de los conjunto de 0 d d \ ( )
la forma . Se sigue entonces que estos conjuntos E > > N N ( )
" 8 " 8
E > > N N \ ( )
" 8 " 8
forman una base de una topologa para llamada topologa
de la convergencia simple.
La topologa as definida brinda un ejemplo de un espacio topolgico donde los
puntos no admiten un sistema fundamental de vecindades enumerables.
\ I B \ Un espacio topolgico es un cuando todo punto posee un espacio
"
sistema fundamental de vecindades enumerable.
En un espacio de Hausdorff, una sucesin convergente posee un nico lmite.
Recprocamente, si es un espacio en el cual toda sucesin convergente posee \ I
"
un nico lmite, entonces es un espacio de Hausdorff. \
\ B En un espacio topolgico para que una sucesin posea una
8 8
subsucesin convergente para un punto es necesario que toda vecindad de D \ D
contenga trminos con ndices arbitrariamente grande. Si es un espacio , B \ I
8 "
esta condicin es tambin suficiente.
Daro Snchez H. 17 TOPOLOGIA GENERAL
\ ] ] Sean y espacios topolgicos, de Hausdorff. Para que una aplicacin
0 \ ] + \ B + sea continua en el punto es necesario que implique
8
0 B 0 + ] \ I ( ) ( )
8 "
en . Cuando es un espacio esta condicin tambin es
suficiente (aunque no sea ) . ] I
"
W \ B W Sea un subconjunto de un espacio topolgico . Para que es suficiente
que exista una sucesin de puntos con . Cuando es un espacio B W B B \
8 8
8
lim
I
"
esta condicin tambin es necesaria.
\ Un espacio topolgico se dice si todo punto posee un sistema regular
fundamental de vecindades cerradas.
0 E ] E Sea una aplicacin continua, definida en un subespacio de un
espacio topolgico y tomando valores en un espacio de Hausdorff regular . Si \ ]
para cada existe el lmite entonces la aplicacin definida + E 0 B J E ] lim
B+
( )
por , es continua. J + 0 B + E ( ) ( ) lim
B+
27.Sean , espacios mtricos. Una aplicacin se dice uniformemente Q R 0 Q R
continua cuando, para todo dado arbitrariamente se puede obtener un % $ ! !
tal qu implica que , cualesquiera sean . ( ) ( ) ( ) ( ) B C . 0 B 0 C B C Q $ %
Q R T 0 Q R 1 R T Sean espacios mtricos. Si y son funciones
uniformemente continuas entonces es uniformemente continua. 1 0 Q T
0 Q R E Q 0l Si es uniformemente continua y entonces la restriccin es
E
uniformemente continua.
0 Q R Decimos que una aplicacin satisface a una condicin de Ho lder de
..
orden , cuando para cualquier , se tiene B C Q
. 0 B 0 C - . B C ( ) ( ) ( ) ( )
donde y son constantes. Si esto ocurre es uniformemente continua. - 0
1 d d 0 d d
B B B B
, son homeomorfismos uniformemente continuos
_ _
$
cuyos inversos no son uniformemente continuos. Tambin nos brindan un ejemplo
de funciones que son uniformemente continuas y no cumplen la condicin de
Lipschitz.
28. Sean y respectivamente y mtricas uniformemente equivalentes en . . . .
w w
"
"
( )
un espacio mtrico resp. un espacio mtrico . Si es Q R 0 Q . R . ( ) ( ) ( )
"
uniformemente continua, entonces tambin lo es. 0 Q . R . ( ) ( )
w w
"
Q R \ Q Sean espacios mtricos y un conjunto. Para que una aplicacin :
R \ Q \ R induzca una aplicacin continua :
( ) ( )
( ) ( ) definida por , es suficiente que sea uniformemente continua. Si : : :
0 0
\ es infinito, esta condicin tambin es necesaria.
0 \ Q Si una secuencia de aplicaciones converge uniformemente para
8
0 \ Q Q R 0 \ R y si es uniformemente continua, entonces : :
8
converge uniformemente para . : 0 \ R
Q R \ Q \ R Si es un homeomorfismo uniforme, entonces es : : ( ) ( )
\ R \ Q
Daro Snchez H. 18 TOPOLOGIA GENERAL
Q R Si a ms de ser uniformemente continua es una aplicacin acotada :
( ) ( ) ( ) ( ) en particular, si la mtrica de es acotada entonces y R \ Q \ R :
( ) \ Q
( ) ( ) \ Q \ R .
Q Dos mtricas uniformemente equivalente en un espacio mtrica definen la
misma topologa en . Si ambas mtricas son acotadas, ellas definen en ( ) \ Q
( ) ( ) \ Q \ Q mtricas uniformemente equivalentes.
\ Q Sean cuales fueren el conjunto y el espacio mtrico , el espacio topolgico
( ) \ Q es mtrizable.
Dado un espacio mtrico , las mtricas y definidas por ( ) Q . . .
w ww
. 738" . B C . .
w ww
. BC
". BC
( ) y son uniformemente equivalentes a .
( )
( )
29. Sea el producto cartesiano de los espacios mtricos con la R R R R
" 5 3
mtrica dada por
. . B C 7+B. B C . B C B B B C C C
ww
" " 5 5 " 5 " 5
( ) ( ) ( ) ( ) ( )
Sea otro espacio mtrico, una aplicacin es uniformemente continua Q 0 Q R
si y slo si, las aplicaciones coordenadas definidas por 0 Q R
3 3
0 B 0 B 0 B B Q ( ) ( ) ( ) ( )
" 5
son uniformemente continuas.
] Se dice que un espacio topolgico es de una familia de suma topolgica
subespacios cuando los son dos a dos disyuntos y cada uno ] ] ] ]
E
de ellos es abierto y por lo tanto cerrado en . ( ) ]
\ Q \ Q Un ejemplo es , ( ) ( )
w
w
representante : de los E \ Q \ Q ( )
0
30. Una sucesin en un espacio mtrico es de si y solamente B Q
8 8
Cauchy
si donde . lim
8
8 8 8 8"
$( ) \ ! \ B B
Toda sucesin de Cauchy es acotada.
+ En un espacio mtrico: Toda subsucesin de una sucesin de Cauchy es ( )
tambin una sucesin de Cauchy. Toda sucesin convergente es una sucesin ( ) ,
de Cauchy. La imagen de una sucesin de Cauchy, por una aplicacin ( ) -
uniformemente continua, es una sucesin de Cauchy.
Q Dos mtricas uniformemente equivalentes en el mismo espacio mtrico
determinan las mismas sucesiones de Cauchy en . Q
T " Q Q Q 5 Sean , el producto cartesiano de
" " "
# $ 8
" 5
espacios mtricos, una funcin definida por 0 T Q
. 0 B B B B
( )
"
8
8 8" 8# 85
Se tiene que es una sucesin de Cauchy si cada una de las sucesiones B
8 8
B B B 3 " # 5
"3 #3 83
es de Cauchy para cada . Adems tenemos que las
siguientes afirmaciones son equivalentes:
( ) 3 B Q es una sucesin de Cauchy en el espacio mtrico .
8 8
( ) 33 0 T Q es uniformemente continua.
( )
333 0 T Q 0 B Para cada , determinada por , es uniformemente continua.
3 3 3 83
"
8
( ) 3@ B Q Cada sucesin de coordenadas es de Cauchy en .
83 8 3
Daro Snchez H. 19 TOPOLOGIA GENERAL
31.Sea una sucesin de Cauchy en un espacio mtrico . Si alguna B Q
8 8
subsucesin converge para un punto entonces tambin B B Q B
85 5 8 8
converge para el punto . B
Q Se dice que un espacio mtrico es cuando toda sucesin de completo
Cauchy en es convergente. Q
Q Q Q El producto cartesiano es completo, si y solamente si, cada
" 5
uno de los factores es un espacio mtrico completo. Q Q Q
" # 5
d El espacio euclidiano es completo.
8
\ Q \ Q Dado , sea el conjunto de las aplicaciones continuas ( )
#
8
B .
B B C C B C Dados en la serie de nmeros reales es
3 8 3 3
3
H
_
absolutamente convergente y . l B C l lB C l lBl lCl
_ _
3 3
3 3 3 3
33. Un de un espacio mtrico es un par , donde es completado Q Q 0 0 Q Q
s s
una inmersin isometrica, es completo y es denso en . Q 0 Q Q
s s
( )
Q 0 Q 1 Q
s
Sean y completados del mismo espacio mtrico . Existe una
nica isometra tal que . : : Q Q 0 1
s
Daro Snchez H. 21 TOPOLOGIA GENERAL
37. Teorema de Bolzano-Weierstrass : Todo conjunto infinito y acotado de
nmeros reales posee un punto de acumulacin.
Teorema de Borel-Lebesgue: Sea una familia de intervalos abiertos tal M M
- - - A
que todo punto del intervalo cerrado pertenece a uno de los , esto es, + , M
-
+ , M
- A
-
. En estas condiciones es posible escoger un nmero finito de
intervalos de tal forma que . M + , M M M
- - - -
" # 8
\ Un espacio topolgico se dice cuando todo recubrimiento abierto compacto
de posee un subrecubrimiento con un nmero finito de abiertos. \
\ J Un espacio topolgico es compacto si y slo si es una coleccin de
- - A
cerrados con la propiedad de la interseccin finita entonces .
- A
J
-
En un espacio compacto todo subconjunto infinito posee un punto de
acumulacin.
\ J En un espacio compacto todo subconjunto cerrado es compacto.
W Se dice que un subconjunto de un espacio topolgico es relativamente
compacto cuando es un subconjunto compacto de . W \
\ O \ Sea un espacio de Hausdorff. Todo subconjunto compacto es cerrado
en . En particular la interseccin cualquiera de compactos es compacta. \
La imagen de un conjunto compacto por una aplicacin continua es un conjunto
compacto.
0 O ] O Toda aplicacin continua de un espacio compacto en un espacio de
Hausdorff es cerrada. ]
0 O ] O Toda aplicacin continua y biunvoca, de un espacio compacto sobre
espacios Hausdorff es un homeomorfismo. ]
0 O d O Toda funcin real continua , definida en un espacio compacto , es
acotada y alcanza sus extremos. Esto es, existen tales que B B O
! "
0 B 0 B B \ 0 B 0 B B O ( ) ( ) ( ) ( )
! "
inf sup y .
\ O \ Sea el producto cartesiano de un espacio topolgico arbitrario por un
espacio compacto . Dado un punto y sea un abierto tal que O B \ Y \ O
B O Y E \ B E E O Y . Entonces existe un abierto en con y .
\ O Sea un espacio topolgico cualquiera. Si es compacto, entonces la
proyeccin es una aplicacin cerrada. : \ O \
<
"
0 \ O \ Para que una funcin de un espacio topolgico arbitrario en un
espacio compacto , sea continua es suficiente que su grfico sea un O K 0 ( )
subconjunto cerrado del producto . Si adems es un espacio de Hausdorff, \ O \
la condicin tambin es necesaria.
\ ] \ ] El producto cartesiano es compacto si y slo si, y son espacios
compactos.
38. Se dice que una familia tiene la propiedad de la J
- - A
interseccin
finita cuando cualquier subfamilia finita tiene interseccin no J J J
- - -
" # 8
vaca.
Daro Snchez H. 22 TOPOLOGIA GENERAL
\ J Un espacio topolgico es compacto si y slo si una familia de
- - A
subconjuntos cerrados en posee la propiedad de la interseccin finita entonces \
- A
J
-
.
\ \ \ El producto cartesiano es compacto si y slo si cada uno de
" # 8
los factores es compacto. \ \ \
" # 8
39. Un espacio topolgico se dice cuando dados dos cerrados \ normal
J K \ J K Y Z \ J Y K Z Y Z con existen abiertos con y
Todo espacio de Hausdorff compacto es normal.
\ \ J Un espacio topolgico sea normal si y slo si, dados en un cerrado y un
abierto con , existe un abierto en , tal que y . E J E Y \ J Y Y E
40. Si la topologa de es co-inducida (esto es, es un abierto es ] F ] F :
"
( )
un abierto es ) por una aplicacin , entonces dado cualquier espacio \ \ ] :
topolgico , una aplicacin es continua si y slo si, la aplicacin ^ 0 ] ^
0 \ ^ : es continua.
\ ] \ Diremos que una aplicacin de un espacio topolgico sobre un :
espacio topolgico , es una aplicacin cuando la topologa de es ] ] cociente
co-inducida por . :
\ ] Sean dos espacios topolgicos, toda aplicacin sobre, continua y cerrada
( ) o abierta es una aplicacin cociente. : \ ]
\ ] Cuando es un espacio compacto y es un espacio de Hausdorff , toda
aplicacin sobre y continua es una aplicacin cociente. : \ ]
41. Todo subconjunto compacto convexo tal es homeomorfo a O d 38> O
8
( )
una bola cerrada . H d
8
W d Teorema de Borel-Lebesgue: Un subconjunto del espacio euclidiano es
8
compacto si y slo si, es cerrado y acotado.
d Un subconjunto de un espacio euclidiano es relativamente compacto si y slo
8
si, es acotado.
I J 0 I J Si y son espacios vectoriales normados un es una isomorfismo
aplicacin lineal continua, biunvoca y sobreyectiva, cuya inversa es 0 J I
"
es un homeomorfismo de sobre ( ) ( ) 33 \ \ : :
, donde . ( ) ( ) ( ) 333 \ \ A A \
: :
Todo espacio de Hausdorff localmente compacto posee una compactificacin de
Alexandroff.
Solamente los espacios de Hausdorff localmente compactos poseen
compactificacin de Alexandroff.
\ \ \ \ Si y son campactificaciones de Alexandroff del mismo : <
#
espacio de Hausdorff localmente compacto , con y \ \ \ A
\ \ A 2 \ \ 2
# # #
, entonces existe un homeomorfismo tal que y
: <
2 A A ( )
#
.
\ \ ] ] Sean y campactificaciones de Alexandroff. Todo : <
homeomorfismo se extiende a un homeomorfismo el cual 2 \ ] 2 \ ]
transforma el punto al infinito de en el punto en el infinito de . \ ]
47.Un espacio de Hausdorff localmente compacto se dice enumerable en el
infinito cuando su compactificacin de Alexandroff en el punto en \ \ A
es metrizable.
El conjunto de los nmeros racionales muestra que un espacio topolgico
puede ser reunin enumerable de partes compactas sin ser localmente compacto.
48.Una coleccin de abiertos es una de si y slo si, para cada , los base \ B \
conjuntos que contienen a forman un sistema fundamental de vecindades F B
de . B
\ W \ Si un espacio topolgico tiene base enumerable, todo subespacio tiene
base enumerable.
\ W En un espacio con base enumerable, todo subconjunto no enumerable
contiene un punto de acumulacin.
\ \ \ El producto cartesiano tiene base enumerable si y slo si, cada
" # 5
uno de los espacios factores tiene base enumerable. \ \ \
" # 5
\ 0 \ ] Si es un espacio topolgico con base enumerable y es una aplicacin
continua, abierta de sobre , entonces el espacio topolgico tambin tiene \ ] ]
base enumerable.
\ Sea un espacio topolgico con base enumerable, entonces
todo recubrimiento abierto de admite un subrecubrimiento ( ) 3 \
enumerable
existe un subconjunto enumerable denso en . ( ) 33 \
\ Un espacio topolgico es un cuando todo espacio de Lindelo f
..
recubrimiento abierto de admite un subrecubrimiento enumerable. \
48.Un espacio topolgico el cual posee un subconjunto enumerable denso es \
llamado . separable
L El espacio de Hilbert es un espacio separable.
En un espacio con base enumerable toda coleccin de abiertos no vacos dos
a dos disyuntos es enumerable.
Q Todo espacio mtrico totalmente acotado es separable.
Todo espacio mtrico compacto es separable.
Q Q
s
Si un espacio mtrico es separable, su completado tambin es separable.
Q Las siguientes afirmaciones con respecto de un espacio mtrico son
equivalentes:
tiene base enumerable ( ) 3 Q
Daro Snchez H. 26 TOPOLOGIA GENERAL
es un espacio de Lindelof
..
( ) 33 Q
es separable. ( ) 333 Q
El resultado de arriba es falso para espacios topolgicos cualesquiera.
I Q Sea un subconjunto denso de un espacio mtrico . Las bolas abiertas
F B B I 8 Q
"
8
con y constituyen una base de .
49.Sea un espacio mtrico compacto y un espacio mtrico con base O Q
enumerable. El espacio de las aplicaciones continuas con la ( ) O Q 0 O Q
mtrica de la convergencia uniforme, tiene base enumerable.
Q O d ! " Sin embargo no posee base enumerable, como ejemplo . ( ) ( )
Q B Q ! Sea una base de abiertos en un espacio mtrico . Dados y %
arbitrarios, existe un conjunto con y . F B F F $ % ( )
50.Un espacio mtrico se dice cuando todo Q B Q localmente separable
posee una vecindad separable. Esto equivale a decir que todo punto es B Q
centro de una bola abierta en la cual existe un subconjunto denso F B < ( )
enumerable.
Q B C Q . B C Sea un espacio mtrico localmente separable. Dados ( )
<
#
C
implica donde es separable . C F B < < < ! F B < ( ) ( )
B B
sup
Q Todo espacio mtrico conexo y localmente separable es separable.
Todo espacio mtrico conexo y localmente compacto tiene base enumerable.
En la afirmacin anterior la conexidad es esencial. Tome como ejemplo un
espacio mtrico discreto no enumerable.
Todo espacio mtrico compacto es separable.
Las siguientes afirmaciones con respecto de un espacio mtrico localmente
compacto son equivalentes Q
tiene base enumerable ( ) 3 Q
es enumerable en el infinto ( ) 33 Q
La topologa de puede ser definida por una mtrica, en relacin a la ( ) 333 Q
cual un subconjunto es compacto si y slo si, es acotado y cerrado en . W Q Q
La compactificacin de Alexandroff es separable. ( ) 3@ Q Q A
punto . +
B G Una sucesin en el cubo de Hilbert converge para un punto
8 8
+ + G 3 3
3 3
si y slo si, para cada la sucesin de las -simas coordenadas
B B B +
"3 #3 83 3
converge para .
Daro Snchez H. 27 TOPOLOGIA GENERAL
G ! El cubo de Hilbert es compacto.
_
_
3"
"
3
W Q Sea un subconjunto denso de un espacio mtrico . Dada una sucesin
B Q B B Q
8 8 8
8
: B B B B C \ B C : B : C
< < <
- - -
-
( ) ( ) ( ) --sima coordenada de . Dados
cualquiera que sea . - A
\ \ Una topologa definida en debe ser tal que por lo menos las
_
- A
-
proyecciones sean continuas. Sea un abierto en , para que sea continua Y \ :
. .
.
<
es necesario y suficiente que sea abierto en para toda eleccin del : Y \
<"
.
.
( )
abierto en . Ahora es considerado como el producto de los Y \ : Y \
. . . -
.
<"
( )
donde se sustituye por . aqu \ Y : :
. .
. .
<" <
"
Luego franja de anchura . : Y Y \ Y
<"
.
. . - .
- .
( )
_
\ \ : As la topologa en deja a continua, si y slo si, para cada abierto
_
- A
-
.
<
Y \ : Y \
. . .
.
la franja es abierta en .
<"
( )
Como la interseccin de un nmero finito de abiertos es un abierto, una
topologa en que deja todas las proyecciones continuas \ \ : \ \
_
- A
- -
-
<
deber contener como abiertos por lo menos las intersecciones finitas
: Y : Y Y Y \
<" <"
- -
- - - - -
- -
"
" 5 " 5
5
3
( ) ( ) ( )
_
donde son abiertos. Aqu por simplicidad se escribe Y \ Y \
- - - -
" " 5 5
- -
3
para indicar que . Estos elementos son llamados - A - -
" 5
( ) abiertos
elementales.
Los abiertos elementales constituyen una base para la topologa en el 7
producto cartesiano . Un abierto de es por definicin una reunin de \ \
_
- A
-
7
abiertos elementales.
\ Sea una familia de espacios topolgicos. La topologa menos fina en el
-
- A
producto cartesiano que deja continuas todas las proyecciones \ \
_
- A
-
: \ \
<
-
-
es la que tiene una base formada por los abiertos elementales
: Y : Y Y Y \
<" <"
- -
- - - - -
- -
"
" 5 " 5
5
3
( ) ( )
_
donde cada es abierto. Esta es la llamada . Y \
- -
3 3
topologa producto
Daro Snchez H. 30 TOPOLOGIA GENERAL
56. Sea un conjunto arbitrario y un espacio topolgico. El conjunto A \
\ \ \
A
A A ( ) de todas las aplicaciones de en puede, como vimos ser
considerado como producto cartesiano , donde para todo . La
_
- A
- -
\ \ \ - A
topologa producto as definida se conoce como topologa de la convergencia
simple en . \
A
\ \ La topologa producto en posee las siguientes propiedades:
_
- A
-
( ) + : \ \ Las proyecciones son continuas y abiertas.
<
-
-
( ) , ^ 0 ^ \ Dado un espacio topolgico , para que una aplicacin sea continua
en un punto es necesario y suficiente que para cada ndice , la aplicacin , ^ -
0 : 0 ^ \ ,
- -
-
<
sea continua en el punto .
( )
_
- J \ J J Si para cada , es un subconjunto cerrado de , entonces -
- - -
- A
es cerrado en . \ \
_
- A
-
E E E \ Un producto de subconjuntos abiertos no es en general un
_
- A
- - -
subconjunto abierto de . \ \
_
- A
-
E E \ \ E \ es abierto en si y slo si salvo para un nmero finito
_ _
- 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)
B \ \ Una sucesin en el espacio producto converge para un punto
8 8 -
_
- A
+ \ B + B : B si y slo si, para cada ndice , se tiene , donde y - lim
8
8 8 8
<
- - -
-
( )
+ : +
-
-
<
( ).
\ \ 0 \ En particular en el espacio una sucesin de aplicaciones
A
A A
= 8
( )
converge para una aplicacin si y slo si, para cada , se tiene 0 \ A - A
lim
8
8
0 0 ( ) ( ) - - . Esto justifica la denominacin de topologa de convergencia
simple.
57. Sea un producto de espacios topolgicos. Si es numerable y cada \ \
_
- A
-
A
\ I \ I \
-
es un espacio , entonces es un espacio . Recprocamente, si es un
" "
espacio entonces cada es un espacio y es numerable siempre que I \ I
" " -
A
ningn sea un espacio . \
-
grosero
(Aqu se entiende que un espacio topolgico es cuando todo punto posee I B \
"
un sistema fundamental de vecindades enumerables. Como espacio grosero se
entender a un espacio topolgico cuyos nicos abiertos son el espacio total y el
conjunto vaco)
Daro Snchez H. 31 TOPOLOGIA GENERAL
B \ Si no es numerable, para cada todo punto posee una vecindad A - A
- -
diferente del espacio entero, entonces ningn punto del producto B \ \
_
- A
-
posee un sistema fundamental de vecindades enumerables.
\ \ I \ \ Sean , espacios . Introducimos en una nueva topologa
" 8 " 8
_
38
slo si para cada , donde . Entonces, , esto es 3 B + B : B \ \ lim
8
83 3 83 8
<
3
( )
la topologa de , es la topologa producto. \
"
# ". B C
. B C
3
3 3
3 3
( )
( )
Q Q Q Q Sean espacios mtricos. El producto cartesiano , es un
" 3 3
_
3
espacio mtrico completo si y slo si, cada es completo. Q
3
59.Sea un espacio mtrico completo. Si es la interseccin de una Q W E
3
familia enumerable de abierto , entonces es homeomorfo a un espacio E Q W
3
mtrico completo.
Q Q El producto cartesiano de una sucesin de espacios mtricos
_
3
3
compactos es un espacio mtrico compacto.
O ! # O Sea el conjunto de Cantor definida por :
:( )
_
B B ! B B B
" # " # 8
8"
B
$
8
8
donde la mtrica en esta dada por , , ! # . B C B B C C
( )
_
8"
lB C l
$
8 8
8 8
8
entonces es un homeomorfismo. :
60. Existencia de una curva de Peano, en el cubo de Hilbert , donde M M M
8
M ! "
( ) 3 1 O O Existe una aplicacin continua del conjunto de Cantor sobre el M,
intervalo . Basta definir una aplicacin mediante M ! " ! " M <
<( )
_
B B B
" # 8
8"
B
#
8
8
.
( ) 33 8 O Para todo , el conjunto de Cantor es homeomorfo a
O O O O
8
.
Daro Snchez H. 32 TOPOLOGIA GENERAL
( ) 333 0 O \ Toda aplicacin continua se extiende continuamente a una
!
aplicacin 0 M \
\ \ El producto cartesiano es un espacio de Hausdorff si slo si, para cada
_
- A
-
- A \ , es un espacio de Hausdorff.
-
\ \ \ El producto cartesiano es conexo si y slo si, cualquier factor
"
8
de es conexo. \
\ \ \ El producto cartesiano es conexo si y slo si, cada factor es
_
- A
- -
conexo.
61. Sea una familia de subespacios conexos de un espacio topolgico. Si W
- - A
existe un punto , comn a todos los , entonces la reunin es B W W W
! - -
tambin conexa.
\ \ En el producto cartesiano las componentes conexas son los productos
_
- A
-
_
- A
- - -
interseccin finita.
( ) ( ) & \ B \ B : Q
- - - -
-
es compacto para todo entonces existe tal que para -
<
todo . Q
( ) ( ) ' B B \ B & Sea el punto de que posee por coordenadas los obtenidos en .
- -
( ) ( B Q Q para todo
( ) ) B J J para todo .
\ \ El producto cartesiano es localmente compacto si y slo si, los
_
- A
-
factores son compactos salvo para un nmero finito de ellos los cuales son \
-
localmente compactos.
63. Sea una coleccin de subconjuntos . Definiremos en una W \ \ Q ( )
topologa la cual llamaremos la en topologa de la convergencia uniforme
las partes de . Consideremos ahora la familia de espacios topolgicos
W Q ] W Q \ Q ] :
Y W Y
( ) ( ) ( )
_
( ) \ Q .
0 0 \ Q 0 lW 0lW Resulta de la definicin que en si y slo si,
8 8
( )
Z 2 W W 5 5 ] . 2 5 3 " 8 ( ) ( )
" 8 W W W
% %
3 3
donde son abiertos y . W W !
" 8
%
0 \ Q Se concluye que para cada , un sistema fundamental de vecindades de
0 \ Q en el espacio esta formado por los conjuntos de la forma
( )
Z 0 W W 1 \ Q . 1l 0l 3 " # 8 ( ) ( )
" 8 W W
% %
3 3
donde y son arbitrarios y . W W ! . 1l 0l =?: . 1 B 0 B
B W
" 8 W W
% ( ) ( ) ( ) ( )
64. es un espacio de Hausdorff si y slo si, es un recubrimiento
( ) \ Q
de . \
+ La topologa de la convergencia simple Casos particulares: ( )
( ) ( ) \ Q \ Q \
S
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
( ) ( ) ( ) , \ Q \ Q La topologa de la convergencia uniforme cuando es
Y
el conjunto de todas las partes de . \
( ) - \ La topologa de la convergencia uniforme en las partes compactas, cuando es
un espacio topolgico y es la coleccin de las partes compactas de entonces \
G
( ) ( ) \ Q \ Q
Y
( ) \ Q .
( ) ( ) ( ) # W W Q \ Q Para cada , es un subconjunto cerrado de
Y Y
( ) ( ) ( )
_ _
$ H W Q ] W Q es un subconjunto cerrado de .
W
Y Y
W
( ) ( ) ( ) % H \ Q es un subconjunto cerrado de donde :
"
:
:
\ Q ]
0 0 0l
( )
( ) ( )
W
W
( ) ( ) & H 0 \ Q 0l W Ahora es continua, :
"
W
( ) ' B \ W Cada punto pertenece al interior de algn se sigue que
0 \ Q 0l W es continua si y slo si, es continua para cada
W
.
( ) ( ) ( ) ( H \ Q . :
"
( ) ( ) \ Q \ Q
saturamiento
diremos que es cuando saturado
.
W W W Cuando existe un recubrimiento enumerable tal que
! " # 8
( ) ( ) ( ) \ Q \ Q \ Q
!
entonces la topologa de puede ser definida por la
mtrica
. 0 1 =?: ( ) ( )
_
8"
"
# ". 0 B 1 B
. 0 B 1 B
8
B W
8
( ) ( ) ( )
( ) ( ) ( )
Daro Snchez H. 35 TOPOLOGIA GENERAL
8 8 d 8 \ Q Considerando vemos que la topologa de S
G
( )
puede ser definida por la mtrica . 0 1 =?: ( )
_
8"
"
# "l0 > 1 > l
l0 > 1 > l
8
8 > 8
( ) ( )
( ) ( )
Q Si es un espacio mtrico completo entonces (dentro de las hiptesis hechas
sobre la mtrica trasforma a en un espacio mtrico completo.
!
\ Q ( ) ( )
( )
] W Q 0 0l ]
_
( ) ( ) ( )
W
:
Y W
W
y , es cerrado en .
G
( ) \ Q \ Q en un espacio mtrico completo. Si adems es metrizable y tiene
base enumerable, entonces tendr base enumerable. ( ) \ Q
W W W W W Supngase que implica que . Dado un
" 8 " # 8
subconjunto se tiene si slo si, para cada existe una T \ Q 0 T
( ) W
secuencia de aplicaciones convergiendo para uniformemente en . [La 0 T 0
8
W
sucesin depende del conjunto ]. 0
8 8
W
68. Sea un espacio topolgico y un espacio mtrico. Un conjunto de \ Q I
aplicaciones se dice en el punto cuando para todo 0 \ Q B \ equicontinuo
!
% % ! Z B \ B Z . 0 B 0 B , existe una vecindad de en tal que para todo ,
! !
( ) ( ) ( )
cualquiera que sea 0 I
I B 0 I Si es equicontinuo en el punto , entonces todas las aplicaciones son
!
continuas en el punto y todo subconjunto de es equicontinuo en el punto . B I B
! !
I 0 \ Q I Se dice que un conjunto de aplicaciones es equicontinuo cuando
es equicontinuo en todo punto de . \
\ I 0 \ Q Si tambin es un espacio mtrico, un conjunto de aplicaciones se
dice si para cada , existe tal que uniformemente equicontinuo % $ ! !
. B C B C \ . 0 B 0 C 0 I ( ) ( ) ( ) ( ) $ % , implica cualquiera que sea .
La notacin usada aqu nos dice que
T \ I Q
B T B B
( )
( )
siendo , B 0 0 B 0 I \ Q
( ) ( ) ( )
funcin continua , entonces uniformemente en cada parte 0 \ d 0 0
8
compacta de . \
I 0 0 0 - Basta mostrar que es un Pasos de la demostracin.
" # 8
conjunto equicontinuo.
( ) ( ) ( ) " B \ ! R ! l0 B 0 B l y , existe tal que
! R ! !
&
%
%
Daro Snchez H. 37 TOPOLOGIA GENERAL
( ) ( ) ( ) ( ) ( ) # Z B l0 B 0 B l l0 B 0 B l Existe una vecindad de tal que y para
! R R ! !
& &
% %
todo esto se tiene por la continuidad de y de . B Z 0 0 ( )
R
( ) ( ) ( ) ( ) ( ) $ B \ 8 R l0 B 0 B l l0 B 0 B l 0 Para todo y todo tenemos (pues
8 R 8
converge crecientemente hacia ). 0
( ) % B Z Para
l0 B 0 B l l0 B 0 B l l0 B 0 B l l0 B 0 B l
R R R ! R ! ! !
$
&
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
%
( ) & B Z 8 R Se sigue entonces para todo y que
l0 B 0 B l l0 B 0 B l l0 B 0 B l l0 B 0 B l
8 8 ! 8 ! ! 8 !
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
. l0 B 0 B l l0 B 0 B l l0 B 0 B l
$ ( )
R ! ! R !
$
& & &
( ) ( ) ( ) ( ) ( ) ( )
% % %
%
I \ Q B \ I B Dados y indicaremos con el conjunto de los valores ( ) ( )
0 B 0 I ( ), cuando recorre .
74. Teorema de Ascoli. Sea un conjunto de aplicaciones continuas de un espacio I
topolgico en un espacio mtrico . A fin de que sea relativamente \ Q I
compacto en es suficiente:
G
( ) \ Q
sea relativamente compacto, para todo . 3 I B Q B \ ( )
sea equicontinua. 33 I
Cuando es localmente compacto de Hausdorff, estas condiciones son tambin \
necesarias.
I 3 33 . Supngase que satisface las condiciones ) y ). Pasos de la demostracin
( ) ( ) " B Q I B Q es un subconjunto compacto.
( ) ( ) ( )
_
# I B \ Q
B\
es un subconjunto compacto del espacio de Hausdorff y por lo
S
tanto cerrado en este espacio.
( ) ( ) ( )
_ _
$ I I B I I B I entonces de aqu es compacto.
B\ B\
W W
( ) % I I I I Pero es equicontinuo, por lo tanto , luego es compacto.
W G G
( ) ( ) ( ) & I \ Q I I \ Q luego es la cerradura de en .
G G G G
De estos cinco pasos se demuestra la suficiencia del teorema.
Sea ahora localmente compacto, de Hausdorff y supongamos que es \ I
relativamente compacto, esto es que en es compacto I \ Q
G
( )
( ) ( ) ( ) " \ Q \ Q I I Como es cerrado en , tambin es la cerradura de en
G
S
( ) \ Q .
( ) ( ) ( ) ( ) # B \ B \ Q Q B 0 0 B
Para cada la aplicacin definida por es
G
continua. Luego es compacto en . I B B I Q
( )
( ) ( ) ( ) ( ) ( ) ( ) $ I B I B I B I B I B Q , entonces , de donde es compacto, lo cual
prueba la primera afirmacin del enunciado del teorema.
( ) % B \ ! 0 I B \ 0 I Sea y , como cada es continua en dada existe
! !
%
una vecindad compacta de en tal que si implica . O B \ B O . 0 B 0 B
0 ! 0 !
$
( ) ( ) ( )
%
( ) & 0 I Para cada supongamos tambin que
Z Z 0 O 1 \ Q =?: . 1 B 0 B
0 0
# $
( ) ( ) ( ) ( )
% %
G
B O
0
Daro Snchez H. 38 TOPOLOGIA GENERAL
( ) ' I Z Dado el recubrimiento abierto podemos extraer un subrecubrimiento
0
finito , donde . Escribimos tambin , . I Z Z Z Z O O 3 " # 8
" 8 3 0 3 0
3 3
( ) ( Y O O O B La interseccin es una vecindad de .
" # 8 !
( ) ) B Y 1 I 1 Z 3 Dados y cualquiera, tenemos para algn .
3
( ) * B B O Como se tiene
! 3
. 1 B 1 B . 1 B 0 B . 0 B 0 B . 0 B 1 B ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
! 3 3 3 ! 3 ! !
%
Por lo tanto es equicontinuo y por consiguiente tambin lo es. I I
75.Teorema de Hausdorff. Sea el conjunto de las partes acotadas, cerradas y ( ) Q
no vacas de un espacio mtrico Si es un espacio compacto entonces es Q Q Q ( )
compacto.
" I 0 J Q Pasos de la demostracin. es equicontinuo ( ) ( )
J
_
( ) 0 B . B J
J
( ) ( ) ( ) ( ) ( ) # aB Q I B . B J J Q ! .3+7Q I B donde de donde es $ $
relativamente compacto.
( ) ( ) ( ) ( ) $ Q d Q d I Por el teorema de Ascoli aplicable porque es un
Y G
subconjunto relativamente compacto de
Y
( ) Q d
( ) ( ) % I Q d Finalmente se prueba que es cerrado.
Y
( ) ( ) ( ) & I Q Q d es cerrado en y por lo tanto es compacto.
Y
76. El conjunto de las isometras de un espacio mtrico compacto es un conjunto
compacto en la topologa de la convergencia uniforme.
77. Topologa compacto abierta. Sea un espacio topolgico. Dada una coleccin \
de partes de se dice que la topologa de es generada por cuando y las \ \ \
intersecciones finitas de los subconjuntos constituyen una K K K
" 8 3
base de . \
\ ] ] Dados los espacios si la topologa de es generada por una coleccin de
abiertos de , entonces una aplicacin es continua en un punto si 0 \ ] B \
y slo si, para cada generador conteniendo existe una vecindad K C 0 B Z ( )
de en tal que . B \ 0 Z K ( )
\ ] T \ U ] E T U Sean espacios topolgicos. Dados y indiquemos con ( )
al conjunto de todas las aplicaciones continuas tales que as 0 \ ] 0 T U ( )
. E T U 0 \ ] 0 T U ( ) ( ) ( )
\ Q Sean un espacio topolgico y un espacio mtrico. La topologa del espacio
G
( ) ( ) \ Q E O Z O \ es generada por los conjuntos donde es compacto y
Z Q es abierto.
\ ] \ ] Sean espacios topolgicos. Indicaremos como de costumbre con al ( )
conjunto de las aplicaciones de en . La topologa en generada por los \ ] \ ] ( )
conjuntos donde es compacto en y E O Z 0 \ ] 0 O Z O \ Z ( ) ( ) ( )
abierto en , se llama y el espacio topolgico ] topologa compacta-abierta
correspondiente ser indicada con
-+
( ) \ ]
Daro Snchez H. 39 TOPOLOGIA GENERAL
78. La topologa compacto abierta es ms fina que la topologa de la convergencia
simple. En otras palabras, sean cuales fueren los espacios topolgicos la \ ]
aplicacin identidad de es continua.
-+
( ) ( ) \ ] \ ]
S
] \ ] Si es un espacio de Hausdorff, entonces es espacio de Hausdorff sea
-+
( )
cual fuere el espacio \
\ ] ] ] \ ] \ ] es Hausdorff como se sigue que
S S
( ) ( ) ( )
_
\
\
-+
-+
( ) \ ] es Hausdorff.
79. Sean , , y . Por simplidad se escribe o 0 \ ] J \ ] B \ W \ 0 B ( ) ( )
0B 0 B 0 W 0W 0 W J B JB en vez de o en vez de y o en vez de ( ) ( )
J B 0 B 0 J ( ) ( )
\ ] ^ 0 \ ] ^ Dados y una aplicacin usaremos la notacin ( )
0 \ ] ^ 0 B C 0 B C
( ) ( ) para indicar la aplicacin definida por
80. Sean espacios topolgicos, donde es un espacio de Hausdorff. Una \ ] ^ ]
aplicacin es continua si y slo si, para cada compacto , la 0 \ ] ^ P ] ( )
-+
restriccin de a es continua. 0 \ P ^ 0 \ P
sea continua.
\ Sea un espacio de Hausdorff localmente compacto. La aplicacin
@ \ ] \ ] @ 0 B 0 B
-+
( ) ( ) ( ) definida por 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 espacios de Hausdorff y un espacio topolgico cualquiera. \ ] ^
Entonces es un homeomorfismo sobre un W \ ] ^ \ ] ^
-+ -+ -+
( ) ( ) ( )
subespacio de
-+ -+
( ) ( ) \ ] ^
\ ] Ley exponencial: Sean un espacio de Hausdorff, localmente compacto de
Hausdorff y arbitrario. La aplicacin definida por , donde ^ W 0 0
0 B C 0 B C \ ] ^ \ ] ^
( ) ( ) ( ) ( ) ( ) es un homeomorfismo de sobre .
-+ -+ -+
83.Teorema de extensin de Tietze. Sea un espacio topolgico. Considrese las \
siguientes afirmaciones
( ) " J \ 0 J d \ d Dados cerrado y continua, entonces existe continua :
tal que :l 0
J
Daro Snchez H. 40 TOPOLOGIA GENERAL
( ) ( ) # J K \ \ d J ! Dados cerrados disyuntos, entonces existe tal que : :
:( ) K ".
( ) $ \ es normal.
Entonces se puede mostrar que . ( ) ( ) ( ) " # $
J \ N Sea un subconjunto cerrado de un espacio normal y un intervalo de la
recta puede ser abierto o no, acotado o no . Dada una funcin real continua ( ) N
0 J N \ N B 0 B ( ) ( ) existe una funcin continua tal que para todo : :
B J.
J \ Sea un subconjunto cerrado de un espacio normal . Toda aplicacin
0 J d \ d
8 8
puede ser continuamente extendida a una aplicacin . :
J \ W Sean un subconjunto cerrado de un espacio normal y la esfera unitaria
8
8 0 J W -dimensional. Toda aplicacin continua puede ser extendida
8
continuamente a una vecindad de en . J \
0 J W No es verdad que toda aplicacin continua pueda extenderse
8
continuamente a una aplicacin . Por ejemplo la funcin identidad : \ W 0 W
8 "
W d W
" # "
no se puede extender continuamente como una funcin . :
84. Sean un espacio topolgico y un espacio de Hausdorff, dada una \ ] \ ] ( )
funcin real acotada digamos existe una compactificacin tal 0 \ ! " \ ] :
que se extiende a una funcin continua . 0 0 ] ! "
\ Un espacio topolgico es llamado cuando, dados completamente regular
arbitrariamente un punto y un abierto en con entonces existe B \ Y \ B Y
siempre una funcin continua tal que y 0 \ ! " 0 B " 0 \ Y ! ( ) ( )
Q B Y Y Q Todo espacio mtrico es completamente regular, pues tmese ,
!
abierto y definida por . 0 Q ! " 0 B ( )
. BQY
. BB . BQY
( )
( ) ( )
!
Todo espacio completamente regular es regular. La recproca es falsa pues todo
espacio de Hausdorff regular no es completamente regular.
Todo espacio de Hausdorff compacto es completamente regular.
\ \ ] Para que un espacio de Hausdorff posea una compactificacin donde :
] \ es Hausdorff es necesario que sea completamente regular.
La recproca tambin es verdadera pues todo espacio localmente compacto de
Hausdorff es completamente regular, en ese caso existe la compactificacin
( ) de Alexandroff .
85. Sea un espacio topolgico. Indiquemos con y con , \ M ! " \ M ( )
M M
_
0
0
que es un espacio de Hausdorff. Existe una aplicacin natural
: : \ M B \ B B B 0 B ( ) ( )
- A
\ Evidentemente un espacio de Hausdorff compacto es homeomorfo a su
compactificacin de Stone-Cech y por lo tanto puede siempre ser "( ) \
naturalmente identificado a un subconjunto cerrado de . M \ M
( )
\ ] \ ] Diremos que dos compactificaciones del mismo espacio : :
w w
topolgico son isomorfas cuando existe un homeomorfismo tal que \ 2 ] ]
w
2 : :
w
.
89. Sea un espacio completamente regular de Hausdorff. Dada una \
compactificacin , las siguientes afirmaciones son equivalentes < \ ]
( ) ( ) " \ ] \ \ es isomorfa a la compactificacin de Stone-Cech . < : "
( ) # 0 \ d 0 ] Para toda funcin real continua, acotada existe una nica funcin
( ) ( ) d 0 0 0 \ + , 0 ] + , tal que si entonces . <
( ) $ 1 \ ^ ^ Para toda aplicacin continua en un espacio de Hausdorff compacto ,
existe una nica aplicacin tal que . 1 ] ^ 1 1 <
90. La compactificacin de Stone-Cech es un proceso natural o funcional en el ( )
siguiente sentido: Dados espacios de Hausdorff completamente continuos
regulares sean las \ ] ^ \ \ ] ] ^ ^ : " < " 6 " ( ) ( ) ( )
compactificaciones de Stone-Cech respectivas. Toda aplicacin continua - "
\ ( )
"( ) ] caracterizada por el diagrama
que es conmutativo. Si es otra aplicacin, considrese , se . . " " ] ^ ] ^ ( ) ( )
+ " " -
\ ] ( ) ( )
tiene el siguiente diagrama conmutativo
Daro Snchez H. 42 TOPOLOGIA GENERAL
2 RESULTADOS PROBADOS .
1..Sea un espacio mtrico. Indiquemos con el conjunto de todas las partes Q Q ( )
\ Q que gozan de las siguientes propiedades:
es acotado, ( ) 3 Q
entonces . ( ) ( ) 33 . B \ ! B Q
Para sea el mayor de los nmeros \ ] Q \ ] 3 ( ) ( )
, o, sup sup . B \ B \ . C ] C ] ( ) ( )
Entonces es una mtrica en , llamada la mtrica de Hausdorff. Para 3 ( ) Q \ Q
cualquiera y sea la reunin de las bolas abiertas de radio < ! Y \ < F B < ( ) ( )
B \
< B \ ] Q \ ] < y centro en un punto de . Entonces si muestre que 3 ( ) ( )
implica que y . Por otra parte estas dos inclusiones \ Y ] < ] Y \ < ( ) ( )
implican que . 3( ) \ ] <
SOLUCIN. Primera parte. 3 \ ] \ ] es una funcin a valor real ya que 3 3 ( ) ( )
3 ( ) ( ) \ ] \ ] Q E F d , en efecto sabemos que o sea existe tal que
$ $ ( ) ( ) \ E ] F.
Sean , elementos de y respectivamente fijos entonces de la desigualdad B C \ ]
! !
( )
triangular en se tiene ( ) Q .
. B C . B B . B C . C C aB aC ( ) ( ) ( ) ( )
! ! ! !
ahora
. . B C E . B C F aB aC ( ) ( )
! !
Sea entonces se tiene que . B C - ( )
. B C E F - aB aC ( )
entonces
. B ] E F - aB . \ C E F - aC ( ) ( )
Luego
sup sup
B \ C ]
B ] E F - \ C E F - ( ) ( )
por lo tanto
3( ) \ ] E F -
Daro Snchez H. 43 TOPOLOGIA GENERAL
33 \ \ . B ] . C \ . B \ !
B \
3( ) ( ) ( ) ( ) max sup sup sup
B \ ] C ] \
ya que . B \ ! aB \ ( )
333 \ ] . B ] . C \ ! , esto equivale a decir que 3( ) ( ) ( ) max sup sup
B \ C ]
= sup sup
B \ C ]
. B ] ! . C \ ! ( ) ( )
o sea que
aB \ . B ] ! aC ] . C \ ! ( ) ( )
Por la propiedad de los conjuntos de dada en la hiptesis, se tiene 33 Q ( )
aB \ B ] aC ] C \ \ ] ] \ \ ] , de donde , o sea que .
3@ \ ] . B ] . C \ . B ] ! . C \ ! y como , se 3( ) ( ) ( ) ( ) ( ) max sup sup
B \ C ]
sigue que cuando . 3( ) \ ] ! \ ]
@ \ ] \ ^ ^ ] Veamos ahora que . Esto es equivalente a mostrar 3 3 3 ( ) ( ) ( )
que para todo , y todo se tiene B \ C ]
M . B ] \ ^ ^ ] ( ) ( ) ( ) 3 3
MM . C \ \ ^ ^ ] ( ) ( ) ( ) 3 3
Sabemos que en el espacio mtrico Q
. B C . B D . C D aB aC aD " ( ) ( ) ( ) ( )
De la definicin de se tiene 380
C ]
. B ] 380 . B C . B D 380 . C D . B D . D ] ( ) ( ) ( ) ( ) ( ) ( )
C ] C ]
la cual es vlida para cualquier y cualquier por lo tanto B \ D ^
. B ] . B D D ] aB \ aD ^ ( ) ( ) ( ) 3
de donde
. B ] . B ^ ^ ] aB \ ( ) ( ) ( ) 3
esto segn la definicin de . Luego . B ^ ( )
. B ] \ ^ ^ ] # ( ) ( ) ( ) ( ) 3 3
Ahora de tomando tenemos ( ) " 380
B \
. C \ . D \ . C D ^ \ . C D ( ) ( ) ( ) ( ) ( ) 3
la cual es vlida para todo y todo C ] D ^
Tomando se tiene que 380
D ^
. C \ ^ \ . C ^ ^ \ ] ^ $ ( ) ( ) ( ) ( ) ( ) ( ) 3 3 3
de donde hemos probado y se tiene ( ) ( ) " #
. 3 3 3 ( ) ( ) ( ) \ ] \ ^ ^ ]
Segunda parte: 3( ) \ ] < implica que
max sup sup . B ] . C \ <
B \ C ]
( ) ( )
Existe tal que existe tal que B \ aC ] . B C < C ] ( ) ( )
_
( )
_ _
1 B
1 lBl " lBl "
1 " lBl "
lBl " " lBl " !
:
B
lBl
B "
lBll lBl
B
lBl
" B
" "
lBl
, si
, si
, si
, si
"
lBl
" !
"
lBl lBl
lBl"
,
, si
, si
B
B lBl "
B lBl "
_
o sea que . 1 M. :
d !
8"
As es sobre, por lo tanto es biyectiva y se tiene : : :
"
1
333 ) : En efecto donde : : : : es continua ( )
" #
:
"
8" 8"
B
lBl
d ! d !
B
es continua,
si
si |
:
#
8"
lBl"
lBl
d ! d
B
lBl " lBl "
Bl "
_
Como entonces es continua. lim lim
lBl" lBl"
lBl"
lBl
#
lBl " ! :
Luego = es continua ya que cada una de sus componentes lo es. : : : ( )
" #
( ) ( ) log
as como entonces est bien definido por : 3. 3. B ! B d ( )
d d
8 8
log log
lo tanto queda bien definida. :
Ahora 1 d L B d B !
B B B B B /
8 8 8
" 8" 8 " 8" B
( )
8
es tambin bien definida y adems
1 B B 1 B B B B / B B B :( ) ( ) ( )
" 8 " 8 " 8" B " 8" 8
log
log
8
o sea y 1 M. :
L
: : 1 B B B / B B / B B ( ) ( )
" 8 " B " 8" B " 8
8 8
log
o sea : 1 M.
d
8
Por lo tanto es biyectiva y tiene por inversa . : :
"
1
Como y son continuas entonces es un homeomorfismo. : : :
"
33 L B d B ! d !
B B B B
) Ahora
8 8 8"
" 8 " 8
( ) ( )
es claramente continua y un homeomorfismo.
( ) Tomemos -
: T B d B ! B ! B ! d !
B B B B C lBl C #BC
8 " # 8 8"
" 8" 8 # #
( ) ( ) ( )
donde . Es claro que est bien definida ya que B B B B C B ( )
" # 8" 8
:
:( ) ( ) ( ) ( )
B C lBl C #BC l B B l B #B B #B B #B B
# # " 8" # 8 " 8 3 8 8" 8
#
y se tiene que . #B B !
8" 8
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 B 3C B C B C
# # # #
"
" " 3 " " "
# # # #
( ) ( ) ( ) ( )
de donde
B B C C
" "
pero no se puede presentar ya que el punto por B B C C B C T
" " " "
( )
lo tanto
, o sea . B B C C B C B C
" " " "
( ) ( )
: es sobreyectiva:
Sea tal que , para hallar A d ! A A A A ! A ! B C T ( ) ( )
" # " #
utilizamos mtodos elementales
( ) ( ) B C #BC A A B C A #BC A
# # # #
" # " #
entonces se tiene que de donde se debe tener B C A B C
# #
"
A A
#C #B
# #
A A
%C %B
# #
" "
# #
# #
# #
C A B A
o sea que
Daro Snchez H. 51 TOPOLOGIA GENERAL
. %B A %A B B B
% # # # #
#
"
%A "'A "'A
) #
A A A
"
# #
" #
"
# #
" #
_
_
Como , entonces debe tomarse , por lo tanto A A A ! A A A !
" "
# # # #
" # " #
_ _
, , . B C
_ _
A lAl A lAl
# # #B
A A A
#
# A lAl
" " # # #
A lAl
"
#
"
_
_
( )
Luego dado con tmese A A A A ! A ! ( )
" # " #
, . ( )
_
_
B C
A lAl
#
A
# A lAl
" #
"
_
( )
Si con , tmese , en ese caso A A ! A ! B A C ! ( ) _
" " "
:( ) ( ) ( )
_ _ B ! A ! # A ! A !
" " "
#
Si con , tmese , en ese caso A A ! A ! B ! C A ( ) _
" " "
:( ) ( ) ( )
_ ! C ! A ! A !
" "
#
Si A ! A ! A ! A ! ( ) ( )
_
# " "
#
Si , ntese que , en ese caso tmese y se tiene A ! A A ! B C ( )
_ _
# #
A A
# #
# #
. :
_ _ _ _
( )
A A A A A A
# # # # # #
#
# # # # # #
# ! A
As es sobre. :
: : : : Ya que donde es continua: ( )
" #
es continua y es continua, : :
" #
8"
T d T d
( ) ( )
( )
B B lBl B
B B #B B
8 # 8
# 8 8
por lo tanto es continua. :
: : es abierto: Con tal fin se define la funcin inversa de la cual obtenemos
como una conclusin de los clculos realizados para mostrar que es sobre :
si
si
:
"
A lAl
#
A A A
# A lAl
"
" 8 "
( )
_
_
_
_
_
A
A !
! A A ! A !
"
# 8
$
"
_
( )
donde . A A A A ( )
" 8" 8
En dos dimensiones tendramos
si
si
:
"
A lAl
#
A
# A lAl
"
" # "
( )
_
_
_
_
_
A
A !
! A A ! A !
" #
"
_
( )
y se tiene
: : : ( ) ( )
_
_
"
A lAl A lAl
# #
A A A
# A lAl
A A A
# A lAl
A lAl A A
# # A lAl
A #
" "
# 8
$ # $
"
# # #
8
"
" # 8
"
_ _ _
( )
_
( )
_
A A A A A A ( )
A #A lAlA A A A A
# A lAl # A lAl
# $ 8 # $ 8
#A A lAl
# # # # # #
" " # #
" 8 8
" "
" "
( ) ( )
( )
si A A A A ! ( )
" # 8 "
o sea : : A A
"
( )
:
"
es continua.
Cuando es claro que es continua ya que A ! A !
" # " #
"
: < < ( )
y < <
" #
T d T d
( ) ( )
_
( )
A A A A
A A
" # " #
A lAl
#
" #
A
# A lAl :
"
#
"
_
( )
Daro Snchez H. 52 TOPOLOGIA GENERAL
son funciones continuas.
Las funciones pueden ser extendidas as por ejemplo < <
" #
<
#
8"
T d
( ) A A A
" 8" 8
A A A
# A lAl
_
( )
# 8
$
"
es una funcin continua.
Ahora . lim lim
A ! A !
"
" "
" "
: ( ) ( ) ! A ! A !
Sea donde , as ( ) ( ) ( ) A A A B C B A C A A
" # 8 " # 8
:
"
A lAl Bl BC l
# #
A
# A lAl # Bl BC l
C
( )
_ _
_ _
A
" #
"
_ _
( ) ( )
( )
( )
y
lim
B!
C !
"
: ( ) ( ) B C
lim lim lim lim
B! C! B! C!
Bl BC l
#
C C C
# Bl BC l # Bl BC l
# C
C!
#
_ _
_
_ _
( )
_ _
( ) ( ) ( ) ( )
_ _
! !
! ! !
_
( ) lim
C!
C
#
_
_
Luego es continua y es abierta. : :
"
De lo anterior se sigue que
: T d !
8"
( ) ( ) B C lBl C #BC
# #
es un homeomorfismo.
3 Q + , d E 0 Q 0 B .B !
!
+
,
;
( ) 4 Q d E !
&
puntos que tienen exactamente tres coordenadas
SOLUCIN.( ) + Q d E nmeros racionales .
E no es abierto: En efecto se sabe que cualquier subconjunto abierto no vaco
de contiene nmeros racionales e irracionales. Entonces cualquier bola abierta d
centrada en un punto de ir a contener puntos racionales y no est totalmente E
Daro Snchez H. 53 TOPOLOGIA GENERAL
contenida en . Luego no es abierto. Nos resta probar que cualquier intervalo E E
abierto contiene por lo menos un racional y un irracional, en efecto sea un ( ) + ,
intervalo abierto, existe tal que , sea 8 , + 7 7 +
" 7
8 8
!
min
entonces se tiene, , puesto que si , entonces + , , , +
7 7 7 "
8 8 8 8
" ! ! !
7 po 5 , +
!
5
no sera mnimo . De la misma manera, existe tal que
1
entonces existe tal que . 7 + ,
17
5
Nota: Aqu hemos supuesto que . ! + ,
( ) , Q \ d E 0 \ d 0 + ! + ( ) ( )
+
acotada; para fijo .
E F 0 0 d 0
+
es abierto: En efecto sea una bola abierta con centro en y ( ) ( ) %
radio , sea . Tomando y tenemos % % % 1 F 0 0 + 5 ! ( ) ( )
5
#
ll0 1ll ll0 1ll l0 B 1 B
5 5
# #
sup
B \
( ) ( )
se sigue que
, l0 B 1 B l aB \ ( ) ( )
5
#
en particular para tenemos o sea B + l0 + 1 + l ( ) ( )
5
#
0 + 1 +
5 5
# #
( ) ( )
de donde
0 + 1 + 0 + 1 + ( ) ( ) ( ) ( )
5 5
# #
ahora como , entonces por lo tanto , 0 + 5 0 + 5 1 + ! ( ) ( ) ( )
5 5 5 5
# # # #
entonces as y es abierto. 1 E F 0 E E
+ + +
( ) %
( ) - Q d 0 d d E B d 0 B ! ( ) ( ) y
0
E
0
no es abierto en general. Para eso consideremos la funcin 0 d d ( )
definida por
si
si
0 B
" B +
" B +
( )
E B d0 B ! + B + E < ! B F + <
0 ! 0
( ) ( ) y para todo existe tal
que entonces por lo tanto o sea no es abierto. 0 B ! B E F B < E E ( ) ( )
0 ! 0
0
Ntese que depende de , as si es positivo, o sea en ese E 0 0 0 B ! aB \
0
( )
caso es claramente abierto. E
0
( ) . Q d E B d B ! , .
8 8 "
es entero
E es cerrado: Para esto considrese la aplicacin
C d d
8
( ) B B B B
" # 8 "
( )
Como es un conjunto cerrado en , tenemos que es cerrado. ^ d E
( ) / Q d E ;
#
puntos del plano que no estn en el crculo ni en el eje B C "
# #
de las B
Daro Snchez H. 54 TOPOLOGIA GENERAL
E 0 d d 0 es abierto, en efecto, sea , es continua ya que tomando en
#
( ) B C B C "
# #
d . B C B C . B B . C C lB B l lC C l la mtrica se tiene que; ( ) ( ) ( ) ( ) ( )
" " " " " "
dado , existe con , se tiene % $ ! O lB B l lC C l
%
#O
" "
max
. 0 B C 0 B C lB C " B C "l l B B C C l ( ) ( ) ( ) ( ) ( )
" "
# # # # # # # #
" " " "
lB B l lC C l lB B l lB B l lC C l lC C l
# # # #
" "
" " " "
lB B lO lC C lO lB B l lC C lO
" " " "
Ahora si se tiene que lB B l lC C l
" "
$ $
. 0 B C 0 B C # O O ( ) ( ) ( )
" "
O
$ %
%
As como = entonces es imagen inversa por una aplicacin E 0 d ! E
"
( )
continua de un conjunto abierto de , luego es abierto. d E
( ) ( ) 0 Q E B Q lB #l $ " & nmeros enteros ;
E 5 F " F ! F F E E es abierto: Tomando y entonces
" " "
# # #
" # " #
es abierto.
( ) 1 Q d E B Q B $ ,
E no es abierto como fcilmente se puede mostrar.
( ) ( ) 2 Q d d E 0 Q 0 es discontinua en todos los puntos de la recta
E 0 E + 0 es abierto. En efecto sea y un punto arbitrario de la recta entonces
es discontinua en , esto significa que existe tal que para todo + ! ! % $
y lB +l l0 B 0 + l " $ % ( ) ( ) ( )
Para este sea % !
F 0 1 Q. 0 1 l0 B 1 B l
( ) ( ) ( )
% %
$ $
sup
B d
Sea entonces , porque supongamos que entonces esto 1 F 0 1 E 1 E
%
$
significa que existe que sin perder generalidad podemos tomar , tal B d B +
! !
que es continua en , es decir, dado existe tal que 1 + ! ! % $
. lB +l l1 B 1 + l $ ( ) ( )
%
$
Ahora
l0 B 0 + l l0 B 1 B l l1 B 1 + l l1 + 0 + l ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
% % %
$ $ $
%
o sea que segn obtenemos ( ) "
l0 B 0 + l l0 B 0 + l ( ) ( ) ( ) ( ) % %
esta es una contradiccin por lo tanto , as de donde es po 1 E F 0 E E
%
$
abierto.
( ) ( ) ( )
3 Q + , d E 0 Q 0 B .B ! ;
!
+
,
E Q d 0 0 B .B !
0 0 B .B !
es abierto: Sea es una funcin : :
( )
( ) ( )
+
,
+
,
continua. Como como es abierto en entonces es abierto en E d d d E Q :
"
( )
Otra forma de prueba es la siguiente: Sea con . Se debe mostrar que F 0 ! ( ) % %
cualquier Por hiptesis si , tambin se 1 F 0 1 E 0 E 5 0 B .B ! ( ) ( )
%
+
,
tiene que de donde tenemos que 0 B 0 B 0 B ( ) ( ) ( ) % %
( ) ( ) ( ) ( ) ( )
+ + +
, , ,
0 B .B 0 B .B 0 B .B % %
Daro Snchez H. 55 TOPOLOGIA GENERAL
Tomando sea ; y , o ! 5 ! , + F 0 1 F 0 l1 B 0 B l % % % %
5
,+
( ) ( ) ( ) ( )
sea integrando miembro a miembro tenemos 0 B 1 B 0 B ( ) ( ) ( ) % %
( ) ( ) ( ) ( ) ( )
+ + +
, , ,
0 B .B 1 B .B 0 B .B % %
entonces
! 5 , + 1 B .B 5 , + % % ( ) ( ) ( )
+
,
de esta desigualdad recibimos que entonces o sea es
( )
+
,
1 B .B ! 1 E E
abierto.
( ) 4 Q d E ! puntos que tienen exactamente tres coordenadas
&
E + " " " ! ! E + no es abierto, pues sea y para todo en punto ( ) ( ) %
mientras que , luego no es abierto en
( ) " " " F + " " " E E Q
% % % %
# # # #
%
# ( )
% % %
#
#
Esto muestra que es un punto de coordenadas racionales ya ; ; ; ;
p
( ) ( ) ( ) 7 7 7
" #
8
que y , de donde . ; ; F > ; F > ; ; ; ; E
p p p
p
( ) ( ) ( ) ( ) 7 7 7 7
3
<
" #
8
<
#
( )
33) Mostremos ahora que si es una coleccin de abiertos dos a dos disyuntos no
vacos de entonces es enumerable. d
8
Basta observar que esto es una generalizacin de: "Sea una coleccin de abiertos f
dos a dos disyuntos de no vacos entonces es enumerable". Veamos esta d f
afirmacin, sea el conjunto de los nmeros racionales el cual B B B
" # 8
es un conjunto bien ordenado. Sea entonces podemos hablar de E f
( (
E E 8 8
8 B E B E min entonces la correspondencia es biunvoca
1
(esta bien definida porque si , puesto que si entonces E F ( ( ( (
E E F F
existe en contradiccin con el hecho de que ), en forma B E F po E F
(
EF
anloga se muestra que es biunvoca, ya que si entonces 1 ( (
E F
min min 8 B E 8 B F B E B F
8 8
o sea que existe un y
( (
EF EF
como por lo tanto Entonces es equipotente a un subconjunto E F E F f
de .
Para el caso general sea una coleccin de abiertos de dos a dos E d
3 3M
8
disyuntos, por la primera parte sabemos que en cada existe por lo menos un E
3
puntos con coordenadas racionales; consideremos entonces
.
8
" # 8 3
B B B B B ! 3 8
p
( )
Como es enumerable entonces puede bien ordenarse como
8
.
8 8
8 8
B 8 B
p p
La correspondencia
Daro Snchez H. 57 TOPOLOGIA GENERAL
M
3 8 B E
p
(
3 8 3
min
establece una correspondencia biunvoca entre y un subconjunto de , entonces M
M es enumerable.
La correspondencia esta bien definida, pues si porque si 3 4 ( ( ( (
3 4 3 4
entonces , contra la hiptesis de ser la coleccin disyunta dos a dos. E E
3 4
Por lo tanto es enumerable.
333 M d 0 M d Sea un intervalo es una funcin montona entonces el conjunto
de los puntos en los cuales es discontinua, es enumerable. En efecto B M 0
supogamos, sin perder generalidad, que es creciente y sea el conjunto de los 0 I
puntos de discontinuidad de . Con cada punto de asociamos un 0 I M B I ( )
nmero racional tal que . Si entonces por la < B 0 B < B 0 B B B ( ) ( ) ( ) ( )
" #
monotona; o sea que si entonces . Para 0 B 0 B B B < B < B ( ) ( ) ( ) ( )
" # " # " #
B I : ; ; B : , existen tales que . Sea
existen y H B M0 B 0 B 0 B < B 0 B
B
( ) ( ) ( ) ( ) ( )
B M0 > < > aC ; B B M0 > < B a> B : ( ) ( ) ( ) ( ) ( ) ( )
Si entonces esto es imposible e implica B B H a> B B 0 > < B 0 > < B
w w
B
( ) ( ) ( ) ( ) ( )
que o sea que . As puede ser considerado como una coleccin B B H B M M
w
B -
de subintervalos tales que es continua en y adems para . Es 0 M M M
- - .
- .
de notar que es abierto, as es una coleccin de abiertos dos a dos M M M M
- " # 8
disyuntos, en cada hay un nmero racional ver la parte por lo tanto es M 33 M
- - -
( )
enumerable. Como las discontinuidades de ocurren cuando se pasa de a 0 M M
3 3"
se sigue que el conjunto de las discontinuidades de es enumerable. I 0
0 0 B .B H E M
+
,
w "
?. Seran continua y abierto si tomamos en la norma
l0l l0 B l B M sup ( ) ?.
SOLUCIN. 3 l0l l0 B l l0 B l M ) es una norma en .
w "
sup
B M
( ) ( ) ( )
( ) ( ) ( ) + l0 B l ! aB M l0 B l ! aB M Como , entonces
w
l0l l0 B l l0 B l !
w
sup
B M
( ) ( )
( ) ( ) ( ) ( ) ( ) , l0l l0 B l l0 B l ! l0 B 0 B l ! aB M
w w
sup
B M
l0 B l ! l0 B l ! aB M 0 ! 0 B ! aB M
( ) ( ) ( )
w w
o sea . 0 !
Daro Snchez H. 58 TOPOLOGIA GENERAL
( ) ( )( ) ( )( ) ( ) ( ) - l 0l l 0 B l l 0 B l l ll0 B l l ll0 B l - - - - -
w w
sup sup
B M B M
sup sup
B M B M
l ll0 B l l0 B l l l l0 B l l0 B l l ll0l - - - ( ) ( ) ( ) ( )
w w
( ) . Sabemos que
l0 B 1 B l l0 B l l1 B l aB M ( ) ( ) ( ) ( )
l0 B 1 B l l0 B l l1 B l aB M
w w w w
( ) ( ) ( ) ( )
de donde se tiene que
. l0 B 1 B l l0 B 1 B l l0 B l l0 B l l1 B l l1 B l aB M ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
w w w w
Por lo tanto
+ l l 0 1 B l l 0 1 B l l0 B l l0 B l l1 B l l1 B l sup sup
B M B M
( )( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
w
w w
l0 B l l0 B l l1 B l l1 B l sup sup
B M B M
( ) ( ) ( ) ( )
w w
o sea que . l0 1l l0l l1l
33 H M + , d H ) La aplicacin es continua. Basta probar que es una
"
!
( ) ( )
contraccin dbil, en efecto
, l0 B 1 B l l0 B 1 B l l0 B 1 B l aB M
w w w w
( ) ( ) ( ) ( ) ( ) ( )
por lo tanto
sup sup
B M B M
l0 B 1 B l l0 B 1 B l l0 B 1 B l
w w w w
( ) ( ) ( ) ( ) ( ) ( )
o sea que
llH 0 H 1 ll l0 1l ( ) ( )
Luego es una aplicacin continua, ya que es una contraccin dbil. H H
333 E 0 M 0 B ! ) El conjunto es abierto.
" w
!
( ) ( )
En efecto, sea , es abierto, ya que si entonces F 1 M d 1 B ! F F
! !
( ) ( )
F F 2 F 2 B ! es abierto por definicin. Si sea , entonces . ( )
!
Sea y una bola de centro y radio , y sea $ $ $ 2 B R 2 2 ( ) ( )
!
0 R 2 l0 B 2 B l ll0 2ll ( ) ( ) ( ) $ $ sup
B M
o sea para todo , en particular para se tiene l0 B 2 B l B M + , B B ( ) ( ) $
!
l0 B 2 B l 0 B 2 B ( ) ( ) ( ) ( )
! ! ! !
$ $ $
o sea como se sigue que , de donde 2 B 0 B 2 B 0 B ! $ $ ( ) ( ) ( ) ( )
! ! ! !
y . 0 F R 2 F ( ) $
Se sabe que la aplicacin es continua, por lo tanto H M M d H F
" "
!
( ) ( ) ( )
0 H 0 0 ( )
w
es abierto, como se sigue que es abierto. E 0 M 0 B ! H F E
" w "
!
( ) ( ) ( )
3@ M d ) es continua :
"
0 0 B .B
( )
( )
+
,
w
: se puede obtener como la composicin de donde H
"
!
w
+
,
( ) ( )
( )
( )
( )
M M d d
0 0 B
2 B
2 B .B
H
Ya hemos probado que es continua para que sea continua debemos H H :
simplemente probar que es continua, en efecto dados y existe % 0 M d !
! !
( )
$ $ l0 0 ll
%
,+
!
tal que si | entonces
Daro Snchez H. 59 TOPOLOGIA GENERAL
l 0 0 l l 0 B .B 0 B .Bl 0 B 0 B .B l0 B 0 B l.B ( ) ( ) ( ) ( ) ( ) ( ) ( )
| | ( ) ( )
! ! ! !
+ + + +
, , , ,
l0 B 0 l .B sup
B M
( )
!
+
,
o sea
l 0 0 l ll0 0 ll , + , + , + $ % ( ) ( ) ( ) ( ) ( )
! !
,+
%
Luego es continua. :
@ l0l l0 B l M H ) Si es la normal de , no es continua. sup
B M
( ) ( )
"
Tomando . Ahora tiende para cero cuando , + , ! " M 0 B 0 B B !
8 8
B
8
( ) ( )
8
H 0 B ( )
8
8 B
8
8"
( )
8"
Si es continua se debe tener . Pero H H 0 H ! ( ) ( )
8
. lH 0 H ! l l0 l l0 l l0 B l lB l " ( ) ( ) ( )
7 8 8
w w w 8"
sup sup sup
B M B M B M
E 0 0 B ! B M
" w
! !
con no es abierto .
Sea con la norma del supremo, . Sea y sea . $
" "
M M ! " ! 0 M !
del caso ( ) ,
SOLUCIN. X d B C B C
p p p p
8 8 8 8 8
donde o sea ( )
B C 8 B C 8 8
p p p p p p p
8
Sea es un homeomorfismo de por K d d B B 8 8 d
p p p
7 7 7
8 8 8
p p p
8 8 8 8
( )
ser y cada una de las componentes es una translacin por lo 7
8
p
8 8 8
( ) 7 7 7
" # 8
tanto un homeomorfismo. es un grupo con la composicin. K
Ahora por lo tanto y se K B B 8 K B 88 X d K
p p p p p
7 7
8 8
p p
8 8
( )
tiene que el toro es un caso particular del problema en consideracin.
donde .
8 8
W B C C B
Sea dadas por K 1 1
" #
, , 1 W W 1 W W
B B B B
" #
8 8 8 8
1 1 K
" #
y son claramente homeomorfismos. 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 ( ) ( ) ( )
" #
Luego obteniendose que el plano proyectivo es un caso W K W
8 8 8 8
particular del problema considerado.
El cilindro Sea , la W d d B 8 C B C d 8 d d 8
BB 8
" d
8
( ) 7
translacin, por lo tanto es un homeomorfismo de . 7
8
d
Sea
. K 1 3. d d d1 B C B 8 C 8 ( ) ( ) ( ) 7
8
Como e son homeomorfismos entonces es un homeomorfismo. 7 7
8 8
3. 1 3. ( )
Si definimos en la ley de composicin K
1 1 3. 3. 3.
" 8 7 8 7
( ) ( ) ( ) 7 7 7 7
se obtiene que es un grupo. Consideremos las rbitas de cada K B d d
p
B B C
p
( )
K B 1 B 1 B C B 8 C 1 K B 8 C 8
p
( ) ( ) ( ) ( )
Por lo tanto
dd d
K
"
d W d
W X X
3 ( )
, o sea que .
333 E \ \ E E E ) Sea Sea , : : : P P . ( ) ( ) \ \
W
W
C C 7 ( ) ( ) 7
es una topologa en , en efecto, \
( ) ( ) + \ \ \ \ Como entonces . : C C 7
. :( ) \ \ \ \ C C
" ( )
7
( ) , E E \ a3 M Sea una familia de elementos de o sea ; por lo tanto
3 3M 3
7
3 M
E \
3
: ( ) \ E E E E E a3 M
3 M 3 M 3 M
3 3 3 3 3
C C C C ( )
Luego
: ( ) \ E E E M
3 M
3 3 3
3 M 3 M
C C
Recprocamente por la condicin tenemos que ( ) #
C ( )
3 M 3 M 3 M 3 M
E \ E \ E \ E MM
3 3 3 3
:
de tenemos que ( ) ( ) M MM \ E E E :
3 M 3 M 3 M
3 3 3
C 7
( ) - E E E 8 E E \ Sean , elementos en , entonces ya que ,
" # 8 3 3
7 7
3 "
8
a3 " # 8 E \ entonces y
3 "
8
3
. :
_ _ _
\ E E E E E E
3 " 3 " 3 " 3 " 3 " 3 "
% E
8 8 8 8 8 8
3 3 3 3 3 3
C C C C C
( )
3
7
Luego
Daro Snchez H. 64 TOPOLOGIA GENERAL
. :
_ _
\ E E E
3 " 3 " 3 "
8 8 8
3 3 3
C 7
Por lo tanto es una topologa sobre 7 \
( ) ( ) . E \ E \ Para todo , es cerrado en , porque es abierto ya que : C:( ) E
:\ C C C : : : : ( ) ( ) ( ) ( ) ( ) ( )
E E E E E E
$ ( )
Como entonces , por ser cerrado contenido en ( es E E :( ) E E E E E : : ( ) ( )
interseccin de todos los cerrados que contienen a ). Siempre es cerrado, en E E
consecuencia es abierto en entonces por la definicin de entonces CE \ 7
entonces : : E E C C CC
E E E
Como entonces . Por lo tanto tenemos que E E E E E E E : : : ( ) ( )
:( ) E E.
13. Sea una aplicacin continua de sobre . Con el objeto de que sea 0 \ ] \ ] 0
cerrado es necesario y suficiente que para cada y todo en con C ] Y \
0 C Y Z ] C Z 0 Z Y
" "
( ) ( ) , existe un abierto en tal que y .
SOLUCIN. Supngase cerrado y sea cualquiera para todo abierto de 0 C ] Y
\ 0 C Y \ 0 con tenemos que es cerrado en , de donde es cerrado
"
( ) ( ) C C
\ \
Y Y
en y , , entonces es abierto en Por lo tanto tomando ] C 0( ) C C C
\ \
( ) ( ) ( ) Y 0 Y ]
]
.
Z C C
] \
( ) ( ) 0 Y C Z y adems
0 Z 0
" "
( ) ( ) C C C C C C
] \ \ \ \ \
"
( ) ( ) ( ) ( ) ( ) 0 Y 0 0 Y Y Y
( )
( ) ( ) ( ) ( ) ( ) ( ) ( )
" "
\ \ \ \ \ \
C C C C C C Y 0 0 Y 0 0 Y Y
Luego para todo , y todo con , basta tomar C ] Y 0 C Y 7
\
"
( )
Z C C
] \
( ) ( ) ( ) 0 Y .
) Recprocamente, sea cerrado en de donde , queremos probar que J \ 0 J ] ( )
0 J ( ) es cerrado, vemos por consiguiente que es abierto. C
]
( ) ( ) 0 J
Sea entonces C 0 C 0 C C C
] ] \
"
( ) ( ) ( ) ( ) ( ) ( ) 0 J ] 0 J 0 0 J
" "
( ) ( )
Como entonces como es cerrado es abierto as 0 0 J J 0 C J
" "
( ) ( ) C C
\ \
J J
por la condicin (de la hiptesis) existe tal que y o sea que Z C Z 0 Z
"
( ) C
\
J
0 Z J
"
( )
Se afirma que , porque si entonces Z 0 J Z 0 J ( ) ( )
b- Z 0 J - Z - 0 J ( ) ( )
o sea que
tal que bB J - 0 B Z B J ( )
entonces
tal que bB J B 0 Z B J
"
( )
o sea que , lo cual es contradictorio as , en total se 0 Z J po Z 0 J
"
( ) ( )
tiene
C Z Z
C
]
( ) ( ) 0 J
as que es abierto. Luego es cerrado. C
]
( ) ( ) 0 J 0
Ver otra demostracin por un mtodo diferente en el problema 87)
Daro Snchez H. 65 TOPOLOGIA GENERAL
) es abierto, ya que,
" "
( )( ) ( )
Sea , como es un homeomorfismo local existe : ^ 0 1 : 0 2 : 0 Y
"
( ) ( ) ( )
abierto en tal que y es un homeomorfismo, tomando \ 1 : Y 0l Y 0 Y
( ) ( )
Y
como en ( ) ,
Z 2 Y 1 Y
"
"
( ) ( )
se obtiene que
: 2 Y 1 Y ^
"
"
"
( ) ( )
$ ^ D ^1 D 2 D ^ ) Sea , es abierto
# #
( ) ( )
Sea de donde se tiene que , como es D ^ 1 D 2 D 0 1 D 0 2 D \
#
( ) ( ) ( ) ( ) ( )
un espacio de Hausdorff existen y tales que . [ 1 D [ 2 D [ [
" " #
( ) ( )
2
Ahora como es un homeomorfismo local se sigue que 0
0l [ 0 [ 0l [ 0 [
[ " " [ # #
" #
( ) ( )
son homeomorfismo por lo tanto y 0 [ 0 [ ( ) ( )
" #
0 1 D 1 D 0 [ 0 2 D 2 D 0 [
( ) ( ) ( ) ( ) ( ) ( ) ( )
" #
tomando
Z 1 0 [ 2 0 [
" "
" #
( ) ( ) ( ) ( )
se tiene:
3 Z 1 2 0 [ 0 [ ] ) es abierto, ya que son continuas, son abiertos en y la ( ) ( )
" #
interseccin de dos abiertos en es abierto. ^
33 1 D 0 [ 2 D 0 [ ) Como se sigue que ( ) ( ) ( ) ( )
" #
D 1 0 [ 2 0 [ Z
" "
" #
( ) ( ) ( ) ( )
333 Z ^ : Z 1 0 [ 2 0 [ ) en efecto; sea , entonces
# " #
" "
( ) ( ) ( ) ( )
: 1 0 [ : 2 0 [ 1 : 0 [ 2 : 0 [
" "
" # " #
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
como entonces . 0 [ 0 [ 1 : 2 : : ^ ( ) ( ) ( ) ( )
" # #
% ^ ^ ^ ^ ^ ^ ^ ) , son abiertos disyuntos. Como es conexo se sigue
" # " " #
que . Por lo tanto o sea . ^ ^ D1 D 2 D 1 2
#
( ) ( )
C C C ? ? ?
Q bZ B b[ C puede ser elegido como un abierto elemental o sea tales ( ) ( )
que as Q Z [
Z [ Z [
B C
C? ?
entonces
, Z [
as,
tal que bZ B b[ C Z [ ( ) ( )
de donde es un espacio de Hausdorff. \
( ) , \ B C \ B C Supngase espacio de Hausdorff, tales que por consiguiente
existen abierto y abierto tales que entonces Z B [ C Z [ Z [
B C B
C
C
como es el menor cerrado que contiene a se sigue que Z Z Z Z [
B B B B C
C
entonces as C Z aC B
B
C Z B C Z B
B Z B Z
B
B B
porque si
B Z
Z B B B B bZ bZ Z Z
B " " B B B B
, y
" "
entonces
Z Z Z bZ B Z B Z
B B B B " B " B
C
"
B Z
B
esto es contradictorio. po
B C \ Z Recprocamente sea en entonces existe vecindad tal que
B
o sea tal que C Z c C Z c aZ C Z bZ C Z
B Z B Z
B B B B B B
entonces,
tal que . bZ C Z
B B
C
Como es abierto entonces CZ
B
abierto tal que b[ C [ Z
C B
C
As.
tal que , bZ b[ Z [ Z Z
B C B C B B
C
o sea
tal que . bZ b[ Z [
B C B C
De donde es un espacio de Hausdorff. \
cerrado en ? Q 8 ( )
SOLUCIN. ( ) ( ) + Q 8 Construccin de la correspondencia biunvoca. es espacio
mtrico. Sea
( )
_
_ _
+ E + + +
+ + +
+ + +
+ + +
34 $" $# $8
"" "# "8
#" ##
#8
8" 8# 88
Se define
0 Q 8 d ( )
8
#
columna de columna de columna de E " E # E 8 E
<+ .+ =37+
+ + + + + + + + + ( )
"" #" 8" "# ## 8# "8 #8 88
Es claro que esta bien definida, ya que si para todo 0 + , + , ( ) ( )
34 34 34 34
3 " # 8 4 " # 8 0 + 0 , y todo luego ( ) ( ) ( ) ( )
34 34
0 + , 3 4 + , pues si entonces para algn entonces es inyectiva, ( ) ( )
34 34 34 34
0 + 8 4 " 8 4 " ( ) ( ) ( ) ( )
34
tiene la sima coordenada diferente de la sima
coordenada de de donde . 0 , + , 0 + 0 , ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
34 34 34 34 34
0 T d E 8 8 es sobre, pues para todo , existe una matriz , con las siguientes
8
#
caractersticas:
" E " p 8 T
+
/<+
columna de es formada por las coordenadas -sima de
# E 8 " p #8 T
+
.+
columna de es formada por las coordenadas, -sima de
8 E 8 8 " p 8 T
+
=37+ #
columna de es formada por las coordenadas, -simas de . ( )
Entonces 0 E T ( )
As es una correspondencia biunvoca entre y . 0 Q 8 d ( )
8
#
Dados y en tomemos E + F , Q 8 ( ) ( ) ( )
34 34
. E F . 0 E 0 F . + + + l+ , l 3 " 4 8
w
"" 34 88 34 34
( ) ( ) ( ) ( ) ( ) max
donde es una de las mtricas del espacio euclidiano Como es biunvoca y . d 0
8
#
d . . Q 8
8 w
#
es un espacio mtrico con , entonces es una mtrica en llamada ( )
Daro Snchez H. 69 TOPOLOGIA GENERAL
mtrica inducida por la aplicacin luego es un espacio mtrico. 0 Q 8 . ( ) ( )
w
Notemos que es una isometra por lo tanto es un homeomorfismo. 0 0
( ) ( ) ( ) ( ) ( ) , ./> Q 8 d 7 Q 8 Q 8 Q 8 Las aplicaciones y definidas por
, ./> \ \ 7 \ ] \ ] ( ) ( ) determinante de la matriz producto
matricial , son continuas
./> Q 8 d
\ B
./>\
( )
( )
34
Sabemos que y si ./>\ " B B B 6 5 3 3
_
( )
"3 8
3 3
"3 #3 83 6 5
5
" 8
" # 8
Como el producto y la suma en son funciones continuas se sigue que d
determinante es una funcin continua.
7 Q 8 Q 8 Q 8 7 \ ] \ ] Q 8 ( ) ( ) ( ) ( ) ( ) dada por . es un espacio vectorial
sobre el cuerpo de los nmeros reales de dimensin y el producto es bilineal en 8
#
Q pues
7 E F G E F G E G F G ( ) ( ) ( ) ( ) - . - . - .
con , 7 E G 7 FG d - . - . ( ) ( )
7 E F G E F E G E F E G 7 E F E G ( ) ( ) ( ) ( ) ( ) ( ) ( ) - . - . - . - .
siendo bilineal por lo tanto es continua. 7
( ) ( ) ( ) - K 8 8 8 Q 8 El conjunto de las matrices que poseen inversa, es abierta en .
Sea es inversible , as es una aplicacin E Q 8 E ./>E ! ./> Q 8 d ( ) ( )
continua y . Siendo abierto en y la imagen ./> d ! K 8 d ! d K 8
"
( ) ( ) ( )
recproca de un abierto en por la continuidad de la funcin se sigue que d ./>
K 8 Q 8 ( ) ( ) es un abierto en .
( ) ( ) ( ) ( ) . < K 8 K 8 < \ \ La aplicacin definida por es continua. Sabemos que
"
< \ \ ( )
"
" ./> \
./> \
>
( ) ( )
( )
34
34
donde es la matriz obtenida de excluyendo la -sima fila y la -sima \ \ 3 4
34
columna. Sean
, > K 8 K 8 T K 8 K 8 d
\ \
\
\
( ) ( ) ( ) ( )
>
-
-
-
La aplicacin que lleva en su transpuesta es continua (ms abajo en se > \ / ( )
puede apreciar mejor este hecho)
T \ \
-
la aplicacin que lleva en la multiplicacin por un escalar es continua, -
pues es una homotecia.
Sea la matriz cofactor de , tenemos la siguiente descomposicin \ 34 \
34
( )
K 8 K 8 " K 8 " K 8 " K 8 "
8 @/-/=
( ) ( ) ( ) ( ) ( )
~----------------------------------------------------------------
#
\ \ \ \ \ ( )
"" #" 34 88
]
( ) ./> ./> ./> ./> ./>
p
d d d d d
8
#
( ) ./>\ ./>\ ./>\ ./>\
"" #" 34 88
]
( ) =31 =31 =31 =31 =31
p
d d d d d
8
#
Daro Snchez H. 70 TOPOLOGIA GENERAL
( ) ( ) ( ) ( ) " ./>\ " ./>\ " ./>\ " ./>\
"" #" 34 88
"" #" 34 88
]
0
"
K 8 ( )
( ) " ./>\
34
34
]
T T "
./>\
-
-
"
./>\
K 8 K 8
" ./>\
>
( ) ( )
( )
"
./>\
34
34
" ./>\
./>\
>
( )
34
34
( ) ( )
34
\ K 8 " a3 a4
Entonces
< > T 0 =31 ./> =
p
p
"
./>\
"
< es por tanto continua, ya que es una composicin de aplicaciones continuas.
( ) ( ) ( ) / 8 Q 8 El conjunto de matrices ortogonales es acotado y cerrado en . b
Sea entonces , o sea R 8 R R M b( )
>
_
_ _
_
_ _
_ _
_
8 8 8
8 8 8
8 8 8
8 8
8 8 8
8 8 8
8 8 8
"" 34 "8
3" 34 38
8" 84 88
"" 3" 8"
"# 3# 8#
"8 38 88
4"
8
34 34
" ! !
! " !
! ! "
_
_ _
entonces
_ _
4" 4"
8
# #
34 34
34
8
8 " 3 " # 8 8 !
de donde se recibe: l8 l " 3 4 " # 8
34
Entonces si son matrices de se debe tener Q 7 R 8 8 ( ) ( ) ( )
34 34
b
y para l7 l " l8 l " 3 4 " # 8
34 34
de donde se tiene que
. Q R l7 8 l 3 4 " # 8 #
w
34 34
( ) sup
Como y son elementos arbitrarios de se sigue que Q R 8 8 b b ( ) ( ) es acotado.
Observemos ahora que la aplicacin
Q 8 R 8
R
>
R
( ) ( )
>
Daro Snchez H. 71 TOPOLOGIA GENERAL
es continua; ya que, dado existe tal que para todo con % $ % ! ! Q Q 8 ( )
. Q R . Q R Q Q aQ Q 8
w w > > >
( ) ( ) | | | | ( ) $ %, pues
Sea ahora
Q 8 Q 8 Q 8 Q 8
R R R
R R
( ) ( ) ( ) ( )
X 7
> >
Sea la matriz identidad. Como y son funciones continuas se sigue M X 3. > 3. > ( )
que es continua. es un conjunto cerrado en ahora X M Q 8 ( )
( ) ( ) ( ) 7 X M 8
"
b
Siendo y funciones continuas se sigue que es continua, luego 7 X 7 X 8 b( )
es cerrado ya que es la imagen recproca de un cerrado por una aplicacin
continua.
( ) ( ) 0 K 8 ! El conjunto de las matrices cuyo determinante es es abierto y
cerrado en K 8 ( )
E K 8 ./> E !
( ) ( )
Sea una funcin continua, pues es la ./> K 8 d ! ! ! ( ) ( ) ( )
restriccin de a y esta aplicacin es continua. Ahora ./> Q 8 d K 8 Q 8 ( ) ( ) ( )
./> ! K 8 !
"
( ) ( ) ( ) ( ) y siendo un subconjuntoabierto y cerrado de
d ! ./> K 8 y la aplicacin continua entonces se sigue que es un
( )
subconjunto abierto y cerrado de . K 8 ( )
( ) ( ) ( ) 1 K 8 Q 8 Ser cerrado en ?
( )
abierto de , se sigue que es un abierto de . d K 8 Q 8
( ) ( )
K 8 M K 8
( ) ( ) pues .
ya que y Q 8 K 8 K 8 Q 8 K 8 K 8 ( ) ( ) ( ) ( ) ( ) ( )
Si fuera cerrado en tendramos en un subconjunto abierto y K 8 Q 8 Q 8
( ) ( ) ( )
cerrado diferente del vaco esto implicara que no es conexo, esto es absurdo Q 8 ( )
ya que es homeomorfo a que es conexo por tanto es conexo. Q 8 d Q 8 ( ) ( )
8
#
Recurdese que en la parte se mostr que la correspondencia biunvoca es ( ) + 0
una isometra ya que por lo tanto es un homeomorfismo. . E F . 0 E 0 F 0
w
( ) ( ) ( ) ( )
:
"
( ) - \I \I Que el punto de es cerrado, no garantiza que sea un espacio de
Hausdorff, an que lo sea. Basta tomar un espacio topolgico de Hausdorff no \ \
regular tal que si es un punto de entonces toda vecindad de encuentra a + J \ +
toda vecindad de Sea la relacin de equivalencia definida, identificando entre J I
s, todos los puntos de El grfico de la relacin es dada por J
K B C \ \B C J J ( )
Como es cerrado y = , entonces es cerrado, as es cerrado. J J J J J J J K
Como y con no se pueden separar, se sigue que no es un espacio
J B B J \I
de Hausdorff.
( ) . K \ \ I \I Si es cerrado y la relacin es abierta entonces es Hausdorff.
Como es una relacin abierta la aplicacin I
0 \I \I \ \ I I ( ) ( ) ( ) ( )
es un homeomorfismo, ya que la relacin es definida como en el lgebra I I ( )
0 B 0 C 0 ( ) ( )
es continua y abierta, basta considerar la descomposicin cannica
y aplicar este resultado: "Sean dos espacios topolgicos, una \ ] 0 \ ]
aplicacin continua, la relacin de equivalencia en V 0 B 0 C \ ( ) ( )
\ \V 0 \ ] 0
:
2 3
( ) la descomposicin cannica de . Las tres propiedades
siguientes son equivalentes:
) es un aplicacin abierta. 3 0
) Las tres aplicaciones son abiertas. 33 : 2 3
) La relacin de equivalencia es abierta, es un homeomorfismo y 333 V 2
0 \ ] ( ) es una parte abierta de "
Ahora
? : : : : \ \ \\
I I II
B C B C
\ \
I I
( ) ( ) ( ) ( ) ( )
Sea y tomemos su saturado K B C \ \BIC E =+> K K ( ) ( ) ( ) ( ) < <
"
Afirmacin ". ? < < E =+>K ( ) ( )
En efecto, como es sobreyectiva entonces < < < < < ( ) ( ) ( ) ( ) =+>K K
"
< < : : : : ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) =+>K K B C B C K B C BIC
B C B C ( ) ( ) ( ) ( ) ( ) : : : : ?
# I E E E Como es abierta y saturado entonces . < < ( ) ( )
En efecto, como es saturado implica que sea cerrado en como E E \I E E
<( )
entonces por lo tanto pero es continua entonces < < < < < ( ) ( )
E E E E
< < < <
( ) ( ) ( ) E E E E . Luego . En total se tiene
Daro Snchez H. 74 TOPOLOGIA GENERAL
? < < < =+>K =+>K K ( ) ( ) ( )
Luego es cerrado y es un espacio de Hausdorff. ? \I
Tenemos que
B : "
8 8 8
:
: : : :
8 " : : : :
" "
:
# # $
Por lo tanto y se tiene que todas las sucesiones B !
8 8
:
B B B
8 8 8 8 8 8
"
# $
son todas convergentes para el mismo . + !
Pero tiene la sucesin que no es convergente B " # $ & ( "" "$
8 8
(es divergente ms an) para , por lo tanto no es convergente. ! B
8 8
5 "
5 3
Tomamos ahora definida por . B d
8
B 8 B
( )
8
B " 5: :
B ! 5: :
5 " #
5 " #
si
si
Entonces converge para , , pues cada slo tiene un nmero primo B ! aR R :
8 8R 3 3 3
3
Pero no converge para pues existen nmeros primos arbitrariamente B !
8 8
grandes. Luego la respuesta a la pregunta no es verdad.
( ) - C B B B Consideremos el siguiente ejemplo: Sea donde
8 8 :" :# :8
:
8 8 :
por lo tanto por el ejercicio en cuestin la parte C B B +
8 8: B :( )
( )
C C B B B
8 8 8 8 :8 8
8 8 8 8
( ) ( )
8 8 8 8
$ $
% %
Por otro lado tenemos
% . B B . B C . C C . C B . C C ( ) ( ) ( ) ( ) ( )
8 8 8 8 8 8 8 8 8 8
$ $
! " ! ! ! " " " ! "
% %
o sea, se tiene que
( )
IB3=>/ T+<+ >9.9
! 8 $
" ! 8 8
%
%
!
! "
b8 8 . C C tal que
entonces es divergente, por lo tanto es C ; C \ X \ X
8 8 8 8
abierto.
Luego es cerrado. X
( ) , Basta que el conjunto de las sucesiones divergentes no sea abierto, para que el
conjunto de las sucesiones convergentes no sea cerrado. Tomemos el siguiente
ejemplo
H+.9 /B3=>/
! ; 8 8 #; #
: : "
%
%
% % el mayor nmero racional menor o igual a
! !
Tomando
B C
B
B
B
B "
C
C
C
8 8 8 8
"
:
#;
#
:
#; #8
"
$
:
#; $8
#
8
:
#; 88
8
8"
"
:
#;
#
:
#; #8
"
8
:
#; 88
8"
_
_ _
_ ( )
_
_
!
!
!
!
!
y
Entonces dado tenemos que pues % % ! C F B
8 8 8 8
( )
. B C lC B l 8 ( )
8 8 8 8 8 8
sup %
y es convergente, pero no es convergente pues para y C B !
8 8 8 8
:
#;
$
para todo , existe tal que , luego el conjunto de las 8 8 . B B
! " 8 8
$ ( )
! "
sucesiones de nmeros racionales no forman un conjunto cerrado de . ( )
( ) - E 3 3 3 3 Q 0 E Q 0
3 3
Sea y . Sea vemos que es
B 8 B B B
B 8
B
8 8 8
8
( ) ( )
B B B B
8 8 8 8
sup
dado existe tal que MM 3 3 ! 8 a8 8 . 3 3
B 8 B " " B B
$
8 8
%
% ( )
MMM 4 4 a8 8 . 4 4
B B # B B
.+.9 /B3=>/
! 8 $
7 8
#
( )
%
%
( ) ( )
tal que 8 ! ! K
b " "
8 8
tal que . 8 ! K ! K
b " "
8 8
Lo cual es equivalente a afirmar que
tal que
b " "
8 8
8 ! K ! K
entonces
! ! K ! K
" " "
8 8 8
ya que cuando es abierto. E F E F E
Daro Snchez H. 78 TOPOLOGIA GENERAL
Anlogamente
! ! K ! K
" " "
8 8 8
lo cual es contradictorio con el hecho de ser po 8
Luego con o sea es un punto de acumulacin de . bB K Z B ! ! K
K d d K + d Z + ) Sabemos que veamos que , entonces sea cualquiera ( )
vecindad de es de la forma , donde es una vecindad de + Z + Z ! + Z ! ( ) ( ) ( )
cero. De la hiptesis se tiene que cualquiera que sea vecindad de cero Z ! ( )
b
B Z ! K B ! K d Z + K Z ! + K ( ) ( ) ( ) ( ) con Como es un subgrupo de , y
b
B + B Z + K Z + K + Z ! K ! ! tal que ya que si entonces ( ) ( ) ( )
no sera punto de acumulacin de Por lo tanto K
a
Z F + Z + K + K ( ) ( )
( ) , K ! K ! Si entonces
Sea entonces tal que . La relacin K ! B ! B K K K
b
7 K 7 1 1 K 7 1 1 K 7 K entonces Si
1 K 1 K 7 1 1 K 1 K entonces muestra que
L B KB ! , L ! , K ; si entonces es un subconjunto discreto finito
( ) ya que es denso por lo tanto existe tal que . Ahora K + B L B ! , inf
+ ! + ! ! pues si entonces por definicin de para todo , , existe inf % %
"
8
C L ! C ! ! K K tal que entonces es punto de acumulacin de entonces es %
un subgrupo aditivo denso contra la hiptesis.
Tambin ya que si , para todo existe tal que + L + L 8 C L
8
+ C + + L K +
8
"
8
entonces es punto de acumulacin de en esta forma es
punto de acumulacin de y por la definicin de las vecindades de se sigue que K +
! K K es punto de acumulacin de lo cual implica que una vez ms es denso lo
cual es contradictorio. Luego . po + L
Para todo tomando (parte entera de se tiene que B K 7 B 7+ K
B B
+ +
ya que es un subgrupo aditivo y por lo tanto . + L K K B K B 7+ K
Como sabemos de la definicin de parte entera:
B B B
+ + +
"
se sigue que o sea que , tambin se tiene que o 7 ! B 7+ " 7
B B B
+ + +
sea por lo tanto se tiene de la construccin de se B +7 + ! B 7+ + +
sigue que
B 7+ ! B 7+
esto prueba que . K +
( ) - K d K ! K K Si es un subgrupo aditivo de entonces: , o, es denso ,o, no es
denso. Si es cerrado . Si entonces es cerrado ya que es un K K K K ! K d
grupo topolgico de Hausdorff. Si es denso entonces en ese caso K K K d K
es todo el grupo. Si no es denso se sigue de la parte que existe tal K , + ! ( )
que y como es un grupo topolgico la translacin a derecha es K + d d d
B B+
$
+
un homeomorfismo.
Daro Snchez H. 79 TOPOLOGIA GENERAL
Como es reunin de abiertos entonces es cerrado por lo tanto C
d
8 8 "
8
( )
$
+
( ) + es cerrado.
( ) . K 7 7 8 Sea como )
( ) ( ) ( ) ( ) 78 7 8 77 8 8 ) ) )
" " " "
se sigue que es un subgrupo aditivo de . K d
Afirmacin: es denso en . En efecto, si suponemos que no es denso, se sigue K d K
de la parte que existe tal que . Como se sigue que ( ) , + ! K + ! " ) )
) K 8 8 ! por lo tanto existe tal que
!
( )
!
* ) 8 +
!
( )
Ahora con entonces por lo tanto existe " 78 7 8 " " K + ) ) )
5 " 5+ " 8 5 8 ) ) ) ) tal que , de * tenemos que o sea o sea ( ) ( )
5
8
! !
!
que , como entonces , esto nos lleva a una
" " 58
8 ) )
d d po
!
!
)
contradiccin. Luego tiene que ser denso en . K d
( ) ( ) ( ) 8 E 8 ./> E "
b b
( ) ( ) ( ) 8 E 8 ./> E "
Mostrar que es conexo por caminos. b
( ) 8
SOLUCIN. Sea entonces existe tal que donde E 8 T 8 E TNT b b
"
( ) ( )
N
" ! ! ! ! !
! " ! ! ! !
! ! " ! ! !
! ! ! " ! !
! ! ! ! !
-9= =/8
=/8 -9=
_
_ _
" "
" "
! ! ! ! !
-9= =/8
=/8 -9=
5 5
5 5
N N N
" # 5
donde
con
N "
M
-9= =/8
=/8 -9=
d
3
_
_
( )
Como
Daro Snchez H. 80 TOPOLOGIA GENERAL
" ! -9= =/8
! " =/8 -9=
1 1
1 1
Definimos : b
! " #
> -9=> =/8>
=/8> -9=>
( )
La aplicacin as definida tiene las siguientes propiedades :
es continua. " :
# ! M :( )
#
$ "
-9= =/8
=/8 -9=
:
( )
Generalizando esta aplicacin tenemos
0 ! " 8
>
0 > N >
( )
( ) ( )
b
_
con
Tenemos claramente que
0 ! M ( )
8
0 " N ( )
es continua. 0
Sea ahora 1 ! " 8
>
T0 > T
( )
( )
b
"
tenemos
) es continua 3 1
) 33 1 ! TMT M ( )
"
) 333 1 " TNT T T ET T E ( ) ( )
" " "
Luego es un camino entre . 1 M E
Esto nos permite definir un camino en dos elementos arbitrarios Sean E F 8 b
( )
T 8 U 8 E TNT F UN U b b ( ) ( ) tales que y donde, como arriba
" "
"
N N N N N N N N
" # 5 " # 5
"
" " "
as que los y son de la forma dada al inicio del problema. N N "
3 3
"
( )
Definimos , y, 0 ! " 8 1 ! " 8
>
0 > N > 1 > N " > >
( ) ( )
( ) ( ) ( ) ( )
b b
"
Tenindose
0 ! M 1 ! N " N
0 " N 1 " N ! M
( ) ( ) ( )
( ) ( ) ( )
8 " "
" 8
Tmese ahora
si
si
L ! " 8
>
L >
1 #> ! >
0 #> " > "
( )
( )
_
( )
( )
"
#
"
#
L tiene las siguientes propiedades
Daro Snchez H. 81 TOPOLOGIA GENERAL
" L ! 1 ! N ( ) ( )
"
# L 1 # 1 " N ! M
( ) ( )
" "
# #
" 8
0 # " 0 " " 0 ! M
( ) ( )
"
#
8
$ L " 0 # " " 0 " N ( ) ( ) ( )
resulta continua. % L
Tenemos ahora, como se hizo arriba
: b
:
! " 8
>
>
UL > U ! >
TL > T > "
( )
( )
_
( )
( )
" "
#
" "
#
tenemos entonces
) es continua por construccin 3 : ( )
) 33 ! UL ! U U1 ! U UN U U U FU U F :( ) ( ) ( ) ( )
" " " " "
"
) 333 " TL " T T0 " T TNT T T ET T E :( ) ( ) ( ) ( )
" " " " "
As se ha construido un camino de hacia por lo tanto es conexa por E F 8 b
( )
caminos.
8
+
sucesin en un espacio mtrico si para todo , B Q . B B + 8
8 8 8 8" 8
( )
8 8 8
sucesin de Cauchy o sea, dado , existe tal que % ! 8 ! a7 8 8
! !
<
_____
lW W l
8 7
||
l + l +
_ _
5! 5"
7
85 85
7
%
%
As tenemos que dado tal que si suponiendo adems que % ! b8 ! 7 8 8
! !
si se tiene 7 8
. B B . B B . B B . B B ( ) ( ) ( ) ( )
8 7 8 8" 8" 8# 7" 7
. + + + +
8 8" 7" 85
5!
7
_
%
entonces la sucesin es una sucesin de Cauchy. B
8 8
inf
( ) d .
8 w
es completo:
Dado que si es una sucesin de Cauchy; , tenemos que B B d
8 8 8
8
( )
H+.9 /B3=>/
! 8
! 8 7
%
!
a7 8 8 . B B %
Sea tmese , es sucesin de Cauchy en % " 3. d . d . B d .
B B
( ) ( ) ( )
8 8 w 8
8 8
entonces es sucesin de Cauchy en , ya que es uniformemente B d . 3.
8 8
8 w
( )
continua por ser una contraccin dbil
. 3. B 3. C . B C " . B C . B C
w w
( ) ( ) ( ) ( ) ( ) ( ) inf ,
por lo tanto es una sucesin de Cauchy en . B d .
8 8
8 w
( )
Recprocamente si es una sucesin de Cauchy en , esto es, B d .
8 8
8 w
( )
( )
H+.9 /B3=>/
! 8
! 8 7
%
!
a7 8 8 " . B B inf %
Daro Snchez H. 83 TOPOLOGIA GENERAL
Sea entonces existe tal que , entonces % % " 8 a7 8 8 " . B B "
! ! 8 7
inf ( )
. B B " . B B " B ( ) ( )
8 7 8 7 8 8
inf % , entonces es una sucesin de Cauchy
Si o o es denso en entonces es denso en
( ) 1 W \ W \ denso en , conexo es conexo
( ) 2 \ I W \ \ Sea un espacio . Un subconjunto es denso en si y slo si todo
"
B \ W es lmite de una sucesin de puntos de
( ) 3 \ B \ B \ es denso en no es aislado en .
( ) 4 \ B ^B ^ En el espacio donde es un conjunto no enumerable, bien H
ordenado con primer elemento. El subespacio es denso en pero no es \ \ H H
lmite de una sucesin de puntos de \ H
( ) 5 7 8 El conjunto de los nmeros racionales de la forma
7
#
8
( ) nmeros didicos es denso en la recta.
SOLUCIN. ( ) ( ) + W W 0< W W \ \ W \ es denso en .
( ) , W X W X \ \ \ W X \ es denso en
W X W X \ \ \ W X \
denso en
denso en
W X d
( ) - W X W X \ ]
( ) . " W E W E \ E E
E abierto
# W E W E \ E E
es abierto en es abierto en . $ E \ E W W
es denso en abierto en . E W E Z E Z W E
a
E E
( )
Ahora donde es un abierto en , como es abierto en se sigue Z Z E Z \ E \
E \ \
que es abierto en as . Luego Z \ Z W W \ Z E Z E Z
E E E E E
Z W E Z W E Z W
E E E
( ) ( ) .
( ) / W X \ W X \ \ X \ X \ X \ , entonces y es denso en
W \
W W X \ X X W X
X
es denso en
Daro Snchez H. 84 TOPOLOGIA GENERAL
( ) 0 W W W \ W \ Si es denso, entonces es denso en .
Si es denso entonces , entonces , entonces W W W \ W W \ \ W \
W \
W \ W \ y es denso en
Si , por lo tanto, pero entonces 0< W \ 0< W W 0< W W W 0< W \ ( ) ( ) ( ) ( )
y es denso.
\ W
W \ W \
W \ W
( ) 1 E \ W \ E W \ Si es un abierto en entonces como . Supongamos que
no es conexo, esto significa que existen abiertos no vacos en tales que E F \
. E F \ E F
Sean abiertos no vacos de como E E W F F W W
w w
E F E W F W E F W W
w w
( ) ( ) ( )
y
E F E W F W E F W \ W W
w w
( ) ( ) ( )
se sigue que no es conexo (absurdo). W p
( ) ( ) 2 B \ B Para cada existe un sistema fundamental de vecindades
enumerables asociado a tal que vecindad de existe tal que B [ B Z B
a
( )
B Z [
B B Z B \ 8 a8 8 B Z lim
8
8 ! ! 8
para toda vecindad en existe tal que
como , as es denso en B Z a8 Z W W \
8
B \ W Y B Z W B Para todo y para todo vecindad de , existe tal que
8
( )
B Z W Y W Z Z Z Z Z W
8 " # $ 8 3
donde y
Tomando , obtenemos una sucesin de B Z W B Z W B Z W
" " # # 8 8
puntos en tal que ya que . B W B B B Z a8
8 8 8
lim
( ) ( ) 3 B Z B \ Z \ B Si es aislado existe una vecindad de en tal que en
esta forma no sera denso ya que para toda vecindad de , \ B Y B
Y \ B p ( ) , obteniendo una contradiccin
B \ B Z \ B ) no es aislado en entonces para toda vecindad de ( )
implica que vecindad de en , esto implica que Z B \ Z \ B
a
( )
\ B \ es denso en
( ) 4 ^ Sea un conjunto no enumerable, bien ordenado, dotado de ltimo elemento y
sea donde es el menor elemento de tal que el conjunto \ B ^B ^ \ H H
no es enumerable. Se considera en la topologa del orden, por consiguiente no \ H
es punto aislado en y para todo subconjunto enumerable , existe \ I \ E
abierto en con y concluyndose que es un espacio de \ E E I \ H
Hausdorff no mtrizable. Si aceptamos esto, en el espacio anterior, el subespacio
\ \ H H es denso en pero no es lmite de una sucesin de puntos de
\ 3 \ \ H H H . Entonces por la parte anterior es denso en pues no es ( )
punto aislado.
H H no es lmite de una sucesin de puntos de , pues para toda \ B
8 8
(enumerable) existe abierto en , con y esto muestra que E \ E E B H
8 8
H no puede ser lmite de ninguna sucesin.
Daro Snchez H. 85 TOPOLOGIA GENERAL
( ) 5 H 8 7 H d Sea vamos a mostrar que Mostremos que si
7
#
8
B d B H
Primero si , y entonces existe tal que . En efecto como " " " d
7 7
# #
8 8
" ! # se recibe que por la propiedad arquimediana existe tal que
8
# " 3/ b# X 5 5 # X
8 8 8 "
#
( ) " " tal que . Consideremos . es
8
no vaco evidentemente porque no es acotado superiormente. Entonces sea
7 X 7 7" # min. existe por el principio de buena ordenacin, as que ( )
8
( )
_
" # #
#
"
0 : es continua
Sea B B H a8 8 B B
8 8 ! 8
.+.9 /B3=>/
! 8 !
#
#
%
| |
!
%
Ahora ; tenemos
.+.9 /B3=>/
! 8
!
%
!
a8 8
| | | | ( ) ( )
_ _ _
_ _
0 B 0 B " B B B " llB ll B B
8 " # 8 #8
# #
#
"8
#
" llBll " B B B B B
_ _ _
_ _
| |
#
8 "8 # #8
#
"
#
_ _
_ _ _ _
| | | | | | | | | | " B " B B B " B " B "
# # # # #
8 8 8
# #
# #
% %
0 : no tiene punto fijo
Supongamos que existiera un punto fijo para , entonces en ese caso se tendra 0
| | 0 B B " lBl B B B B B ( ) ( )
_
" # # " # $
#
"
de donde se tiene que B " B B B B B B
" " # $ % 8
#
_
| |
en esta forma , en particular si entonces B " B B B B B L B !
#
"
#
" # $ "
| | ( )
" ! po obtenindose una contradiccin.
Daro Snchez H. 86 TOPOLOGIA GENERAL
Si no es convergente por tanto lo cual tambin es B ! B B B Lpo
"
#
3"
B B a3
#
3
| |
_
3 "
contradictorio
#
8
_
( ) ( ) + L B B B B ! ! B L
El conjunto es un subespacio
! 8 8 " # 8 8
vectorial.
( ) , / ! " ! L forman una base de .
3 !
3
( ) - L L es denso en
!
( ) . 0 L I I Toda aplicacin lineal continua espacio vectorial normado completo
(Espacio de Banach) se extiende de un modo nico a una aplicacin lineal continua
0 L I .
SOLUCIN. ( ) + En efecto
( ) ( ) ( ) ( ) B C L B B B ! ! C C C !
8 8 ! 8 " 8 7 " 7
,
Si tiene apenas un nmero 7 8 B C B C B C B B ! ( ) ( )
8 7 " " 7 7 7" 8
finito de coordenadas diferentes de cero y por lo tanto est en el espacio . L
!
- - - - ( ) B B B B ! 8
8 " # 8
tiene solamente coordenadas diferentes de cero
entonces . As es un subespacio vectorial de -( ) B L L L
8 ! !
( ) , / / / !
p
En efecto - - -
" " # # 8 8
! !
p
- - - - - - - -
" # $ 8 " # $ 8
.
por lo tanto los son linealmente independientes. Ahora sea entonces / B L
3 8 !
( )
( ) B B B B ! !
8 " # 8
B ! ! ! ! B ! ! ! B !
" # 8
Daro Snchez H. 87 TOPOLOGIA GENERAL
Los generan a B / B / B / / L
" " # # 8 8 3 !
( ) | |
_
- B L B B ! 8 !
0 B B B ! B #B $B 8B ( )
" # 8 " # $ 8
es lineal discontinua.
SOLUCIN. 3 7 8 ) Supongamos entonces
0 B B B ! C C C ! ( )
" # 8 " # 7
0 B C B C B C B B ! ( )
" " # # 7 7 7" 8
B C # B C 7 B C 7" B 8B ( ) ( ) ( ) ( )
" " # # 7 7 7" 8
B #B 7B 8B C #C 7C ( ) ( )
" # 7 8 " # 7
0 B B B ! 0 C C C ! ( ) ( )
" # 8 " # 7
Ahora
0 B B B ! 0 B B B ! ( ) ( ) - - - -
" # 8 " # 8
B # B 8 B B #B 8B ( ) ( ) ( ) ( ) - - - -
" # 8 " # 8
0 B B B ! -( ) ( )
" # 8
Luego es una aplicacin lineal. 0
33 B " ! ! B ! ! B ! ! ) Tomemos , entonces
" # 3
" "
# 3
( )
B ! 8
8
cuando , ahora
lim lim
8 8
8
0 B " 0 ! ! ( ) ( )
Luego es discontinua en por lo tanto es discontinua. 0 !
33. Para cada construya una funcin continua tal que 8 d d > " : :
8 8
( )
para algn punto y excepto si . Defina > d > ! > 0 ! " L :
8
" "
8" 8
( )
poniendo . Muestre que es discontinua en el punto no 0 > > > 0 ! ( ) ( ) ( ) ( ) : :
" #
obstante cada una de sus coordenadas sea continua.
SOLUCIN. Tomemos la funcin 0 > > > > " > ( ) ( ) ( ) ( ) ( ) ( )
8 " 8 # 8 8" 8 8" 8
: : : :
Daro Snchez H. 88 TOPOLOGIA GENERAL
o sea 0 > " > > ( ) ( ) ( ) ( )
" # 8 "
: :
0 > > " > ( ) ( ) ( ) ( )
# " # 8 #
: :
0 > > " > ( ) ( ) ( ) ( )
8 " 8 8" 8
: :
tenemos cuando . Ahora , donde : : : :
3 " # 8
( ) ( ) ( ) ( ) ( ) ( ) > ! > ! 0 > > > >
:
8
" "
8" 8
" #8"
8" #8 8"
#8" "
#8 8" 8
( )
_
_
>
! >
! > " > " ! > "
" > " > ! ! > "
,
,
,
( )
( )
0 ! ! ! ! ! ! ( ) ( ) ( ) ( ) ( ) ( ) : : :
" # 8
Sea una sucesin de puntos tendientes a Como > ! !
8
| | ( ) ( ) ( ) ( ) ( )
_
0 > > " > "
8 " 8 8" 8
# #
: :
> !
8
Por lo tanto lim
>!
8
0 > " 0 ! ! ( ) ( )
Luego no es continua y las son continuas. 0 > :
3
( )
8 8
( )
dado existe , tal que , ahora es una % % ! 8 ! 7 8 8 . B B 0 B
! ! 8 7 8 8
( ) ( )
sucesin de Cauchy en ya que para el dado existe tal que R 8 %
!
% . B B . 0 0 B 0 0 B 5. 0 B 0 B ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
8 7 8 7 8 7
" " " "
Luego dado existe tal que %
w
5
! !
8 7 8 8
%
. 0 B 0 B ( ) ( ) ( )
" " w
8 7
5
%
%
Como es una sucesin de Cauchy y es cerrado en que es 0 B J Q
"
8 8
( )
completo entonces es completo por lo tanto Como es J 0 B + J 0
"
8 8
( )
continua por lo tanto es cerrado. 0 0 B 0 + 0 J ( ) ( ) ( ) ( )
"
8
%
( )
!
%
) Ahora 33 . B B . 0 B 0 B 7 8 8 % ( ) ( ) ( ) ( )
8 7 8 7 !
Luego como es continua se concluye que 0 B B Q 0
"
8 8
( )
, B 0 0 B 0 B 0 Q
8 8 8 8
"
( ) ( ) ( ) ( )
luego es cerrado. 0 Q ( )
B Q 0 B ) Sea una sucesin de Cauchy en entonces es una
8 8 8 8
( )
sucesin de Cauchy en esto es existe tal que . Siendo 0 Q C 0 Q 0 B C 0 ( ) ( ) ( ) lim
8
8
una inmersin isomtrica, ella es biunvoca ; luego existe tal que C 0 Q B Q ( )
!
0 B C 0 B 0 B ! 8 ( ) ( ) ( )
! 8 !
Luego esto es, dado existe tal que %
entonces y es completo. a8 8 . 0 B 0 B B B Q
. B B
! 8 8
B
_
j
( ) ( ) ( )
( )
ll
%
%
37. No existe una funcin real cuyos puntos de continuidad sean 0 ! " d
precisamente los nmeros racionales del intervalo ! "
SOLUCIN. Se sabe que el conjunto de los puntos de continuidad de una funcin
real es un conjunto es decir, una interseccin enumerable de 0 \ d K
$
conjuntos abiertos). Si es continua solamente en , entonces 0 ! " d ! "
Daro Snchez H. 90 TOPOLOGIA GENERAL
! " K ! " ser un conjunto , lo cual no es verdad. Veamos que no es de
$
tipo en . Sabemos que es un espacio mtrico completo. Sea una K ! " ! " E
$ 8
familia de abiertos tales que entonces para todo es E ! " 8 E
8 8
denso en (ya que es denso en entonces es un espacio de ! " ! " ! " E
8
Baire, entonces es un espacio de Baire. Como es enumerable y ! " ! "
magro en si mismo, entonces debe tener puntos aislados, lo cual sabemos es
imposible . Luego no es po ! " K
$
que para todo , puede ser expresado por una expansin ternaria, B ! " B
B B ! " # B O B ! " # B O B ! B B B
_
3"
B
$
3 3 " # $
3
3
, donde . Si . A cada , .
Podemos asociar con una sucesin . Sean B B B B B B
8 8 " # $ 8 8
( )
C C O E 8 B C
8 8 8 8
dos puntos cualesquiera de y
F 8 B C
8 8
.
Sea donde , es biunvoca y sobre. Mostremos que 2 O O 2
D D 8 8 8
D D 8E
D D 8F
w
8 8
w
8 8
si
si
ella es continua esto es dado , existe tal que % $ !
si . . D A . D A ( ) ( )
8 8 8 8 8 8
8 8
w w
$ %
Dado , tal que . Tomando , veamos que % % $ ! b8
% %
# $ $
"
8
Daro Snchez H. 91 TOPOLOGIA GENERAL
y . D A D D A A J
D A
_ _
_ j
8 8 8 8 8 8 8 8
$ $
"
8
ll ll
%
8
donde es uno de los intervalos cerrados de la reunin . J J J J
8 8 8
"
$
$( )
8
Entonces los primeros trminos de y coinciden los primeros 8 D A 8
8 8 8 8
trminos de y tambin coinciden. Entonces D A D D
w w w w
8 8 8
8 8 8
y es continua. A A J . D A 2
w w w w
8 8 8 8
8 8 8
"
$
( )
8
%
De modo anlogo se demuestra que es continua, entonces es un 2 2
"
homeomorfismo y es fcil ver que ; ya que entonces 2 B C 2 B 2 B ( ) ( ) ( )
8
w
8
B B 8 E B C
B B 8 F B C
C O
w
8
8 8 8
w w
8 8
8 8
8 8
si y
si y
>
, es continua en si dado , existe tal que
. > > . > > ( ) ( ) ( ) ( ) $ : : %
. > > . + + . 0 + 0 + ( ) ( ) ( ) ( ) ( ) ( ) ( ) : :
> > >
> > >
- . 0 + 0 + . 0 + 0 + 5. + + " 5 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
> > > > >
> > > > >
"
#
( )
( )
%
donde es continua y por lo tanto ( ) ( ) ( ) ( ) ( ) " 0 . 0 + 0 + 5. + +
> > > > >
> >
es continua, esto es dado existe tal que si ( ) # X Q ! !
>
+
: % $
>
"
. > > . 0 + 0 + " 5 ( ) ( ) ( ) ( ) ( ) $ %
" > >
> >
Entonces tomando tenemos $ $
"
. > > . > > 5. + + " 5 . > > 5. + + " 5 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
$ : : % : : %
> >
>
>
-
pero por lo tanto + >
>
:( )
. > > 5. > > " 5 . > > " 5 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) : : : : : : %
como por lo tanto . ! 5 " " 5 ! . > > ( ) ( ) ( ) : : %
Luego es continua en Como eso vale para todo es continua. : : > > X
8 "
8 "
J J !
8 8
por que no se tiene . $( )
SOLUCIN. ) Cuando entonces no puede contener ms de J ! J J $( )
8 8
.
"
B
# $ 8 3
B B
3" 3"
B
#
3
# $ 8 3
#
#
"
3
#
" a3 ( )
Luego es continua. X
X X B X C B C a3 B C a3 es inyectiva, pues ( ) ( )
" " 3 3
B
# # 3 3
C C B
# # 3 3
luego . B C
X " L no es sobre, pues pues es convergente
_
" " "
# $ 8 8
8"
1
#
pero " " " L
Si 0 ! 0 l0 B l ! alBl "
| | ( )
33
| | ( )( ) ( ) ( ) | | - - - - - 0 l 0 B l lBl " l ll0 B l lBl " l l l0 B l lBl " l l 0 sup sup sup
333 0 1 l0 B 1 B l lBl " l0 B l l1 B l lBl " | | ( ) ( ) ( ) ( ) sup sup
l0 B l l1 B l 0 1
l
sup sup
Bl "
lBl "
( ) ( ) | | | |
Parte Sea tenemos que ( ) | | ( ) ( ) , 0 l0 B l P 5 ! l0 B l 5lBl aB I sup inf
lBl "
B I
| pues . Tomemos con tenemos 0 C l 0 lCl 0 l0 B l alBl " C B ! ( ) | | | | ( )
B
lBl
| | ( ) ( ) | | | | | | 0 l0 l l0 C l l0 C l 0 C 5 0
C
lCl lCl
"
tomando adems se tiene
| | ( ) 0 P 5 ! l0 B l 5lBl inf
Supongamos ahora De la definicin de se recibe que | | 0 P inf
_
.+.9 /B3=>/
! 5!
B I
/B3=>/
#l0 B l5lB l
" P 5
%
%
!
! !
( )
de donde tenemos que
l0 B l 5lB l P lB l ( ) ( )
! ! !
%
o sea que
| |
_
( ) 0 P "
B
lB l
!
!
%
De otra parte se tiene que (por la definicin de ) sup
Daro Snchez H. 95 TOPOLOGIA GENERAL
( )
.+.9
!
a
%
B I lBl " l0 B l P con %
o sea que
( )
.+.9
!
a
%
B I lBl " l0 B l P con %
En particular para se tiene que B
B
lB l
!
!
| |
_
( ) 0 P #
B
lB l
!
!
%
De y obtenemos una contradiccin. ( ) ( ) " # po
Parte Claro ya que si uniformemente en toda parte acotada de , ( ) - 0 0 I
8
tomando se tiene que H B I lBl "
si y
( ) ( ) | | ( )
.+.9
!
b a
! 8 ! 8 !
%
8 l0 B 0 B l 8 8 B H 0 0 8 8 % %
Se sigue que en el sentido de la norma definida en la parte 0 0 I J +
8
( ) ( )
Q I Q + C Q Sea una parte acotada de o sea que . Sea entonces dado $( )
% %
w
+" lCl lCl + +
! ! 8
C C
8 8 8 lCll0 0 l lCl +
% % %
existe tal que para ya que
| | 0 0
8
%.
Parte completo es completo. ( ) ( ) . J I J
Sea una sucesin de Cauchy, entonces esto significa que 0 I J
8 8
( )
0 B J 0 B
8 8
( ) ( )
de , "
tenindose que
Y Y Y Y Y " "
- - - - -
" 8 " 8 !
50.Si toda funcin real continua es acotada entonces toda funcin real 0 \ d
continua en toma sus valores extremos. \
SOLUCIN. Supongamos que existe continua, acotada tal que 0 \ d + 0 B ( ) sup
B \
( existe pues es acotada) y , entonces tenemos que la funcin + 0 B + 0 \ ( ) ( )
1 \ d B \ 0 B + !
B
1 B
( )
( )
"
0 B + ( )
es una funcin continua pues para todo ,
Mostremos ahora que no es acotada. Como 1 + 0 B 0 B B \ sup sup ( ) ( )
0 \ 0 \ ( ) ( ) es acotado en la recta, entonces posee una subsucesin convergente a
+ C C C C 0 \ C + 8 esto es existe con y . Si tiende a
" # 8 3 8
( )
entonces existe tal que entonces o a B \ 0 B + 1 B
8 8 8 8
8
lim ( ) ( )
8 1 po cuando as no es acotada
w "
sup
+ > ,
( ) ( )
denomina un difeomorfismo de clase cuando posee un inverso
"
2
2 2 + , + ,
"
( ) el cual tambin tiene derivada continua en todos los puntos.
Para que sea un difeomorfismo, es necesario y suficiente que para 2 2 B !
" w
( )
todo . El conjunto de los difeomorfismos es abierto en el espacio B + ,
"
.
SOLUCIN. es un espacio vectorial. Basta mostrar que es un ( ) ( ) + + , d
" " "
subespacio vectorial del espacio de las funciones a valor real. ( ) + , d 0 1
"
entonces son continuas entonces y siendo suma de dos 0 1 0 1 0 1
w w w w
w
( )
funciones continuas es tambin continua, luego . 0 1
"
0 d 0 0 0 - - - -
" w "
w
y entonces continua entonces ( )
( ) ( ) , 2 2 B ! B + ,
" w
es un difeomorfismo si y slo si para todo
2 2 2 2
" w "
entonces es continua. es un difeomorfismo entonces existe y
existe y tambien es continua. ( ) 2
"
w
( )( ) ( ) ( ) ( ) ( ) ( ) 2 2 B M B B 2 2 B 2 B "
" " w
w
entonces en esta forma
( ) ( ) ( ) ( ) ( ) 2 2 B 2 C 2 + ,
" "
w w
" "
2 B 2 B
w w
( ) ( )
y como es continua para todo entonces
es continua para todo entonces para todo . B +, 2 B ! B + ,
w
( )
Daro Snchez H. 99 TOPOLOGIA GENERAL
B + , 2 B ! 2 ) Para todo entonces es estrictamente montona ya sea
w
( )
creciente o decreciente en , por un resultado bsico cal? es un + , 2 + , d
homeomorfismo de sobre . Entonces existe y es continua. + , 2 + , 2 ( )
"
Sea , Si existe con deber ser igual a [ ] y por lo tanto 2 1 1 C C 2 B 2 B
" w w "
( ) ( ) ( )
escribimos y tenemos que mostrar que 1 C 5 1 C 2 B = 5 ( ) ( ) ( ) ( )
w "
lim
5!
= 5
l5l
( )
!.
Sea entonces y si y slo si 2 B 6 C 5 5 2 B 6 C 2 B 6 2 B 5 ! ( ) ( ) ( ) ( )
6 ! 2 ya que es un homeomorfismo. Entonces
6 1 C 5 1 5 2 B 2 B 6 2 B = 5 2 B 2 B 6 < 6 = 5 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
w " w " w
entonces en esta forma cuando , = 5 2 B < 6 5 ! ( ) ( ) ( )
w "
= 5 l6l 2 B < 6
l5l l5l l6l
( ) ( ) ( ) [ ]
w "
entonces permanece acotado y cuando . Luego
l6l < 6 = 5
l5l l6l l5l
5!
( ) ( )
! 6 ! ! lim
Esto muestra que es diferenciable para cada con 1 2 C 2 + , 1 C 2 B
" w w "
( ) ( ) ( )
y como y es continua para todo 2 B ! aB + , C 2 + , 2
w "
( ) ( )
( )
%
( ) ( ) ( ) ( ) ( ) 7 0 \ . 7 0 B dado que entonces %
% ! !
C
De donde tenemos que . 7 1 B B \ ( ) ( )
!
#
a %
Hemos mostrado que es tal que y existe tal que 1 \ Q 1 \ Q 7 Q ( )
!
. 7 1 B aB Q ! 1 \ Q ( ) ( )
!
#
%
para algn , por ser continua de en entonces %
7 1 B B \ 1 0 J
!
( ) ( ) para todo de donde no es sobre, por lo tanto , se
%
#
C
sigue que es abierto, de donde se obtiene que es cerrado. CJ J
8 "
B
3\
3
que cubre a y esto es imposible cuando sea infinito
( ) / 3 0 O ] O ) Toda aplicacin continua de un espacio topolgico compacto
sobre un espacio de Hausdorff es una aplicacin cerrada. ]
33 0 O ] ) Toda aplicacin continua y biunvoca de un espacio compacto sobre un
espacio de Hausdorff es un homeomorfismo. ]
Sea continua y biunvoca donde + 7 7 \ \ ( ) ( )
- L
Daro Snchez H. 102 TOPOLOGIA GENERAL
topologa sobre tal que es compacto 7
-
\ \
topologa sobre tal que es Hausdorff 7
L
\ \
+ la aplicacin idntica, es continua ya que (la topologa Hausdorff es 7 7
L -
59. Las siguientes condiciones son necesarias y suficientes para que un espacio
mtrico sea compacto: Q
( ) + Todo recubrimiento abierto numerable posee un subrecubrimiento finito.
( ) , J J J Toda sucesin decreciente de subconjuntos cerrados no
" # 8
vacos tiene una interseccin no vaca. J
8
( ) - Todo subconjunto cerrado y discreto es finito.
SOLUCIN. Por definicin. ( ) +
( ) , Q J espacio mtrico compacto, entonces toda familia de subconjuntos
3 3M
cerrados de satisfacen la propiedad de la interseccin finita, tiene interseccin \
no vaca. Ahora toda sucesin decreciente de cerrados no J J J
" # 8
vacos satisface la propiedad de la interseccin finita ya que
3 "
8
J J
3 8
Luego . J
8
Q Q Supongamos que no es compacto entonces es infinto
( ) de no, sera compacto .
Daro Snchez H. 103 TOPOLOGIA GENERAL
Como es infinito entonces existe un subconjunto enumerable en , Q Q
Z + + +
" # 8
que no posee una subsucesin convergente ni tiene punto de
acumulacin. Construyamos la siguiente sucesin decreciente
J + + + J + + + J + +
" " # 8 # # $ 8 8 8 8"
claramente , . Adems los son cerrados pues no J J a8 7 J Q J
8 7 8 8
tienen puntos de acumulacin en o sea existe tal que Z aB Q J F B
8
( ) %
F B J F B Q J J8 J8 , ( ) ( ) % %
8 8
, entonces . Adems por que si
entonces tendra un punto de acumulacin lo cual es contradictorio. + + po
" #
Luego debe ser compacto. Q
( ) - W Q W W ) Sea cerrado discreto entonces es finito. Si es infinito entonces
existe un subconjunto de enumerable , . Como W + + + W + + 3 4
" # 8 3 4
todo subconjunto infinito de un espacio mtrico compacto posee un punto de
acumulacin en sea punto de acumulacin de entonces Q + Q + + +
" # 8
toda vecindad en contiene un nmero infinito de elementos de Z Q
+
+ + + W + W +
" # 8
. Como es cerrado, entonces . Luego no es punto aislado
de entonces no es discreto esto es contradictorio. W W po
Q W Q W ) Hiptesis: espacio mtrico tal que todo cerrado discreto entonces
es finito, Tesis: entonces es compacto. Q
Si no es compacto entonces es infinito. Basta exhibir un conjunto cerrado Q Q
discreto infinito. Como es infinito entonces existe un subconjunto enumerable Q
en , que no posee una subsucesin convergente, el Q + + + Z
" # 8
conjunto de valores de es infinito en caso contrario posee una + +
8 8 8 8
subsucesin convergente. Ningn punto es punto de acumulacin de + Z Z
3
entonces , es punto aislado es discreto. En tambin no a+ Z + Z Q Z
3 3
( )
existen puntos de acumulacin de o sea Z
a b
B Q Z F B F B Z
!
( ) ( ) ( ) bola abierta, tal que
% %
%
entonces entonces es abierto en , entonces es cerrado F B Q Z Q Z Q Z ( ) %
en Luego es cerrado, discreto e infinito contrario a la hiptesis. Q Z Q po
63.( ) + Muestre que cada subconjunto cerrado en un espacio mtrico puede ser
obtenido como una interseccin decreciente enumerable de abiertos.
( ) , Muestre que esto no es verdad para cualquier espacio topolgico.
SOLUCIN. ( ) ( ) ( ) ( ) ( ) + F B F B F B B J Q . J J
"
" "
# 8
Sea . Mostremos que E F B E F B E F B J E
" " # 8 8
B J
( ) ( ) ( )
B J B J
8 "
" "
# 8
3 a8 " J E J E8 ) as
8
8 "
33 B E . B J ! B J ) Sea entonces mostremos que as .
8 "
8
( )
Es suficiente mostrar que existe tal que se escoge tal que
a
% % ! C J . B C 8 ( )
" "
8 8
8
B E C J B F C . B C % % Puesto que , existe tal que . "
8
( ) ( )
Sea es abierto y . E C Q . B C E J E
8 8 8
"
8
( )
Adems Si es cerrado, . C E . C J ! J C J E J
8 " 8 "
8 8
( )
( ) ( ) , \ + , C \ + , + Sea es cerrado y no se cumple . 7
"
O Q Y Y Q Y O
8 8
" "
( ) . Tenemos abierto entonces es cerrado sea
compacto en un espacio mtrico por tanto Hausdorff . Anlogamente existe Q ( )
8 8 O Y O Q Y Q O O
# " 8 8 8 8
tal que y por lo tanto y cerrado en y
# # # "
( )
entonces . Prosiguiendo con ese raciocinio, tenemos O Q Y O Q Y
8 8
# "
( ) ( )
Daro Snchez H. 106 TOPOLOGIA GENERAL
una sucesin decreciente de cerrados no vacos de con la propiedad de la Q
interseccin finita y por lo tanto
O Q Y O Q Y O Q Y
5 " 8 "
( ) ( ) ( ) ( )
8 8
5 5
pero esto es absurdo pues por hiptesis y por lo tanto po O Y
O Q Y ( ) .
( ) , O O O O donde cada es compacto y conexo contenidos en un
" # 8 8
espacio mtrico por lo tanto espacio de Hausdorff entonces es cerrado. Entonces O
O O Q O O
8 "
8
#
la franja de centro en el origen y radio paralela al eje , Luego es disconexo. " C O
"
# 3 8 1
Sea , sea segmento ser : : ( ) ( ) 8 T 8 " T T T T T 0 d d
8 8" 8 8" 8 8"
#
entonces tal que en el disco 0l T T H ! " B C d B C " 0
88" 8 8"
# # #
( ) ( )
es continua. es localmente compacto pero todo punto de digamos d 0 d ( )
T / D T8
8
# 38 1
existe una vecindad de (densa) donde toda sucesin de puntos
no admite subsucesin convergente.
67.En un espacio topolgico con base enumerable, toda base tiene una sub-base
enumerable.
Daro Snchez H. 108 TOPOLOGIA GENERAL
SOLUCIN. Sea una base enumerable de . Sea una base de . Para F F8 \ \
8
7
cada , es abierto en entonces . 8 F F F \ F G F G
7
7
8 8 8 8 8
G
\/= P38./690
3 "
G
83
3
As dado cualquier abierto en de donde se recibe; E \ E F F F
" # 8
E G G G G
8
( ) ( )
8 8 8 7 8
" 7 3 7
reunin numerable de los . Luego es 7
una base enumerable de donde . \ G
8
3
7
8 " P -
Tomando
E E E E E E E E E
" # 8
w w w
- -
" #
" " # 8
- - - -
Daro Snchez H. 109 TOPOLOGIA GENERAL
se tiene . Ahora y . Por el E E E E E E
w w w w
" # 8 8
8 "
- -
8
lema de Zorn existe tal que es mximo. Tmese . E E J Q E
E E B B H
8 7 8 7
entonces por lo tanto es biunvoca. Como es :
enumerable infinito entonces es enumerable. E
8 8
Corolario. . Pues ( ) ( ) ( ) ( ) ( ) ( ) + - + = = -
( ) ( ) - , Supongamos que toda coleccin de abiertos disyuntos, es enumerable.
Sea conjunto no enumerable. Admitamos que no tiene punto de acumulacin \ \
entonces "todo subconjunto de es cerrado". En esta forma , es \ aB \ B
abierto, , y as los conjuntos , forman una coleccin de B C B C B B \
abiertos disyuntos entonces es enumerable por lo tanto es enumerable, ( ) B \
B\
lo cual es contradictorio con la eleccin de . Luego contiene un punto de po \ \
acumulacin.
( ) ( ) , = Q Si no es separable entonces todos los subconjuntos enumerables no
son densos, entonces existe un subconjunto no enumerable sin puntos de
acumulacin, pues si todo subconjunto no enumerable tiene puntos de
acumulacin entonces podramos extraer subconjuntos enumerables teniendo
punto de acumulacin entonces as obtenemos subconjuntos enumerables densos.
( ) ( ) = + Esto es un consecuencia del siguiente resultado bsico:
Las siguientes afirmaciones son equivalentes en espacios mtricos:
( ) ( ) ( ) + Q , Q - Q tiene base enumerable es un espacio de Lindelof es separable.
..
El anterior resultado se encuentra en cualquier libro de Topologa general, por
ejemplo en el de Jos M. Muoz, edicin del 2003, publicacin de la Academia
Colombia de Ciencias Exactas Fsicas y Naturales.
B W
8 "
( ) ( )
B 8
.
As esta contenido en un conjunto enumerable esto implica que es enumerable W W
lo cual est contra la hiptesis dada para obtenindose una contradiccin. As Wpo
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 es punto de B W
acumulacin de , tal que # # \ aB W bZ Z W W
B
( ) ( )
W Z W W Z W Z W
B W
W
B " #
es Lindelf
( ) ( )
As es una reunin enumerable de conjuntos que tienen cardenal menor o igual W
al cardenal de , en otras palabras esta contenido en un conjunto cuyo cardinal W W
es menor que el cardinal de . entonces no posee base enumerable, se sabe por W \
un resultado bsico cul? que es localmente compacto entonces todo conjunto \
infinito posee punto de acumulacin . po
( ) ( )
- P
J J J E
-
\
- - -
\ E \
Luego es un recubrimiento abierto de por hiptesis es un espacio de
\ \
Lindelf por lo tanto existe un subrecubrimiento enumerable
\
!
8
J
-
8
\ E. Ahora tenemos
_________________
8 8 8
( ) ( ) ( ) J \ E E J E \ E E J
- - -
8 8 8
\ \ E
E \ E
Por lo tanto por lo tanto es un espacio de Lindelf. E J E
8
J
-8
E
-
8
E
33 0 \ ] \ ) Sea una aplicacin continua y un espacio de Lindelf. Sea
R 0 \ R 0 \
- - - P
un recubrimiento abierto de o sea . Entonces ( ) ( )
R
-
"
P
0 R \ 0 ( )
- -
es una coleccin de abiertos en ya que es continua, por otra
parte
R R
- -
0 R 0 R 0 0 \ \
" " "
( ) ( )
_
( )
- -
Luego es un recubrimiento abierto de . Por hiptesis es un espacio de
\ \
Lindelf entonces existe un subrecubrimiento numerable de tal que
!
Daro Snchez H. 112 TOPOLOGIA GENERAL
" "
!
8
0 R 0 R \ ( ) ( )
- -
8 8
y .
8
Ahora
0 \ 0 0 R 0 0 R R
( ) ( ) ( ) ( )
8 8
R
8
R
" "
- - -
8 8 8
- - 8 8
O O
interseccin vaca.
SOLUCIN. Tomando . Fjese un miembro de . Puesto que ningn Z O O O
C
"
punto de pertenece a cada , es un recubrimiento abierto de Por lo O O Z O
" "
tanto para alguna coleccin finita . Esto implica que O Z Z Z
" 3
" 8 3
O O O
"
" 8
.
8 "
8 8
:
continua tal que , siempre existe pues es normal y : : :
8 8 8 8
( ) ( ) J ! \ E " \
se aplica para cada el lema de Urysohn sea , es continua pues por 8 0 B 0 ( )
_
8"
B
#
:
8
8
( )
el criterio de Weierstrass se tiene
| |
_ _ _
( ) ( )
8" 8" 8"
8 8
8 8 8
: : B l B l "
# # #
Ahora sea entonces , entonces B J B ! a8 0 B ! :
8
( ) ( )
B 0 ! J 0 !
" "
( ) ( ).
Recprocamente sea , esto implica que B 0 ! 0 B !
"
8"
B
#
( ) ( )
_
:
8
8
( )
: :
8
"
8
( ) ( ) B ! a8 B ! a8
entonces de donde B J J 0 !
"
( )
0 \ ! " J 0 ! ) Supongamos que existe tal que . ( )
"
Tmese el cual es un conjunto abierto para todo , ahora E B \0 B 8
8
"
8
( )
8 "
E B \0 B ! 0 ! J
8
"
( ) ( )
y es un conjunto . J K
$
Tenemos . Luego , en esta forma es biunvoca. E E E E B B
8 7 8 7 8 7
:
Como es enumerable infinito entonces es enumerable. H E
8 8
( ) ( ) P G ; considrese la compactificacin de un espacio Contra-ejemplo
discreto no enumerable es compacto es de Lindelf. Pero sus puntos Q Q Q
s s
forman una familia de abiertos disyuntos que no es enumerable.
( ) ( ) P W ^ Sea un conjunto no enumerable bien ordenado teniendo ltimo
elemento. Indicaremos con el menor elemento de tal que el conjunto H ^
\ 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. \
"
3
cerrado del espacio de Hilbert L
Q ) Supongamos ahora que es homeomorfo a un subconjunto de un espacio
mtrico compacto entonces es un espacio de Lindelf entonces por un Q
resultado bsico cul? tiene base enumerable.
8 "
8 8 8
W C ] 0 B Y 38>W8 C Y 0 C
8
" "
8 8
b
( ) ( ) entonces . Luego es denso en
Y
B E
-
-
B
B
tiene un inverso tambin continua por lo tanto es un homeomorfismo ( ) - -
B
"
B
"
as es abierto por ser reunin de abiertos. 0 E F ( )
Por lo tanto es abierto para cada . Sea un grupo topolgico conexo y Z 8 K Z
8
K
5
$
2 5
"
" ( ) _ [ [ 2 5 L
abierto
Vecindad de h
Daro Snchez H. 118 TOPOLOGIA GENERAL
Todo subgrupo abierto es cerrado es abierto. Sea subgrupo K L BL L
B L
generado por vecindad del neutro es un punto interior de Z / Z L / L ( )
entonces es abierto y cerrado L L K
8
Z
8
el conjunto de los elementos del grupo que se pueden obtener como un
producto de elementos de . Z
Ahora es una vecindad del elemento neutro. Sea Z B B Z
" "
[ Z Z / [ [ Z
" "
es una vecindad de y se puede admitir que es
simtrica o sea . En ese caso . Cada tiene base enumerable. Z Z K Z Z
" 8 8
8
Luego tiene base enumerable, por ser la aplicacin , K Z Z Z Z Z
8
_________________
n-veces
continua, abierta y sobre.
-
3
" # 8
3 - - -
aadindole a todas las subfamilias de cerrados de que tengan la propiedad K K
de la interseccin finita. Por la proyeccin uno, los subconjuntos : K
<
"
P - -
constituyen una familia de cerrados en , que tiene la propiedad de interseccin \
enumerable, porque
. : K : K : K : K K
< < < <
" " " "
8
( ) ( ) ( ) ( )
- - - - -
" # " 8
Como es de Lindelf entonces existe . Ahora es compacto. \ B : K B O
- P
<
"
( )
-
Esto significa que , . Los subconjuntos , a P K B O K B O P - -
- -
( ) ( )
constituyen una familia de cerrados en con la propiedad de la interseccin B O
enumerable, pues
K B O K B O K B O K B O
- - - -
" # 8 3
( ) ( ) ( ) ( )
3 "
Ahora es homeomorfo a y por lo tanto es compacto. Luego existe un B O ]
punto en un punto . En particular pertenece a B O B C K B O B C ( ) ( ) ( ) ( )
-
todos los como queramos probar, as es Lindelf. K \ O
-
,
as en cuyo caso , siguindose que : : : : ( ) ( ) ( ) ( ) Z Z [ [ Z [ \E
es normal de Hausdorff.
Si , entonces , como es normal y tal que B E C \ E B C \ bZ C b[ E
Z [
Los otros casos se siguen del hecho de que
R R E
: : :
" "
( ) ( ) ( )
< <
8
3
_
( ) ( ) . Ahora por lo tanto
como salvo para un nmero finito de valores de , se sigue que Y \ E \
- - - -
-
excepto para un nmero finito de valores de . -
# P W \ W Para cada , sea . La topologa inducida en por la aplicacin de -
- - -
_
inclusin es la topologa producto de los espacios La clausura de + W \ W
_ _
- - -
Daro Snchez H. 121 TOPOLOGIA GENERAL
_ _ _ _ _
W \ W W \ W
- - - - - -
en es igual a . es denso en si y solamente si cada
es denso es \
-
SOLUCIN. ( )
_ _
+ W W \ \ F W bE \ : . es abierto en abierto en tal que +
- -
F E W \ E . Por la definicin de la topologa producto en , puede ser
considerado como un abierto denso esto es como un abierto elemental as
E : Y : Y Y Y \
< <
- -
- - - - -
- -
" 5
" 5 " 5
3
( ) ( )
_
donde es abierto , as Y \
- -
3 3
E W Y W Y W W ( ) ( )
_
- - - - -
- -
" " 5 5
5
( )
_
: : l W \ W
< <
W
W
- -
- -
es continua por tanto tiene la topologa producto.
( )
_ _
, W W
- -
_ _ _ _
( ) W W W W W
- - -
- -
w w
Veamos por tanto que
_ _
_
W W
w
w
-
-
Sea donde , , B W B B B W a P aZ B Z W a
_
( )
w w
P - -
- - - - - -
-
- -
Sea V vecindad de existe abierto en , , entonces se tiene que B E \ E Z B E
E E E \ E W a P
_
- - - - -
donde y an , entonces se tiene SPUNFI- -
_ _ _ _ _
_ _
E W B W W W
- - - -
-
de donde se recibe
w w
w
B W Z B Z W
_
_
-
w
cualquier que sea vecindad de , as para cualquier
abierto en con se tiene . E Z B E E W
Para todo , abierto en , entonces - - E \ B E E W B W a B W
- - - - - - -
- -
w w
_
se concluye entonces que
_
_ _
W W
-
-
w
w
( )
_
- W a W denso es denso.
- -
-
W W \ a W W \
- - - - - -
denso -
_ _ _
.
asociatividad
Daro Snchez H. 122 TOPOLOGIA GENERAL
.
_ _ _
_
- - E P P
\ \
- -
SOLUCIN. B \ B B B \
_ _ _
_
( )
- E P
-
E
P
B B B B ( ) ( ) ( )
- - E P
pero P P B B B B B \
" - - -
- -
"
( ) ( )
_
Y P
- E P
P
Sea ahora
, 0 \ ] ] \
B B
0 B C
C
_ _ _
( )
( ) ( )
- P E
- -
-
-
-
P
E
C C B
P
( )
- - -
-
P
--------------------------------------
_
_
\ ] ] \
]
:
\
0
ll
ll
-
-
E
<
-
-
P
1
proyeccin de en el factor \ \
-
0 : : 0 : 0 : a E
< < < <
- -
-
1 1 es continua, entonces es continua de
donde se recibe que es continua. 0
Sea , est bien definida pues dado , tal que as 1 ] \ P E P
C 1 C B
( )
- -
bx
B C a P
- -
, . La continuidad se sigue de la conmutatividad del siguiente -
diagrama
_ _
]
_
] \
:
] \
1
-
-
-
-
-
<
P
P
:
-
-
1
]
<
\
: 1 1
<
-
es continua por lo tanto es continua.
94.Una aplicacin biunvoca : de sobre si misma, induce un : P P P
homeomorfismo donde o sea : : : :
P P
\ \ B B B B
_ _
( ) ( ) ( )
-
- - -
- :
: -
( )
( )
SOLUCIN. En efecto tmese en el ejercicio 93 anterior como E 3 3 P :( )
P P 3 4
"
: : " : ( ) ( ) cuando , pues es biunvoca entonces
:
P P E
\ \
_ _ _
_ _
- -
- -
es un homeomorfismo.
( ) 0 0 .
Daro Snchez H. 123 TOPOLOGIA GENERAL
SOLUCIN. Mostremos que para todo y para todo abierto es , tal que 0 E \ R
( )
: : : 0 E F \ Q a1 F 1 1 E existe abierto en tal que .
( ) ( )
( )
E Z 0 W 1 \ R . 1l 0l ( ) ( ) : % :
W W
1 \ R . 1 B 1 0 B aB W % % ( ) ( ) ( ) ( )
: es uniformemente continua, esto es,
dado tal que % $ $ : : % ! ! . B C . B C aB aC Q "
b
( ) ( ) ( ) ( ) ( )
Para este se construye $
F [0 W 1 \ Q .1 B 0 B aB W $ $ ( ) ( ) ,
As para entonces por tenemos 1 F .1 B 0 B " ( ) ( ) ( ) $
. 1 B 0 B aB W 1 E : : % : ( ) ( ) ( ) ( ) , .
"
8
#
Sea . Como , entonces es una sucesin W " W W
8 8 8 8
" " " "
# $ 8 8
8
8"
# # # #
lim
_
de Cauchy por lo tanto . En particular como
H+.9 /B3=>/
! 8
! 8 7
%
!
7 8 8 lW W l %
Q . B B a8 es un espacio completo solo debemos ver que, como , ( )
8 8"
"
8
#
entonces es una sucesin de Cauchy, en ese caso es convergente, B B
8 8 8 8
en efecto
tal que (suponiendo )
.+.9 IB3=>/
! 8 !
!
%
!
7 8 8 7 8
. B B . B B . B B . B B ( ) ( ) ( ) ( )
8 7 8 8" 8" 8# 7 7 "
lW W l
" " "
8
8" 7"
8 7 # # #
( ) ( )
%
Luego es una sucesin de Cauchy. B
8 8
#
( )
( )
( ) ( ) ( ) ( ) ( ) ( )
> > > >
w w % : : %
o sea que
. 0 0 5. 0 0 " 5 " 5 . 0 0 " 5 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) : : : : % : : %
> > > > > >
w w w
se tiene que
. 0 0 ( ) ( ) ( ) : : %
> >
w
o sea es continua en luego es continua. : 0
>
w
3 "
Z Z Z Z [ Z Z [ [
8 8
B B B B C !3 C
!" !# !8 3 3
!3
tales que . Tomando y vemos
3 " 3 "
que Ahora como es compacto puedo repetir este proceso para un Z [ O
nmero finito de de manera a obtener una vecindad y tal que B Y Z B
8
3 3
! !
3 "
Z Y O Y P [ con y .
99.Sean un espacio topolgico y una aplicacin cuyo grfico es \ 0 \ d
8
compacto. Probar que es continua 0 .
SOLUCIN. Supongamos adicionalmente que es Hausdorff as tenemos \
" K 0 d : l : K 0 . Sea , , es la restriccin de la proyeccin al grfico . : : ( ) ( )
8 < <
" "
K 0 ( )
# B 0 B B K 0 . Como , se ve que es una aplicacin continua y biunvoca de : : ( ) ( ) ( )
sobre . \
$ K 0 \ d K 0 Siendo compacto y de Hausdorff, es cerrado as es una ( ) ( )
8
:
aplicacin cerrada.
% 1 0 \ Por consiguiente es un homeomorfismo de sobre . : ( )
& B B 0 B Su inversa, es pues una aplicacin continua. ( ) ( )
' & B 0 B Se sigue de que es continua comocompuesta de aplicaciones ( )
continuas, como queramos demostrar.
( )
continuidad de se tiene que y por la hiptesis esta sucesin no 0 0 B O ( )
8 8
tiene subsucesiones convergentes entonces no es compacto. Hemos as O
probado la implicacin por contrarecproca.
( ) ( ) , + B Q Por contradiccin. Sea una sucesin en tal que no posee
8 8
subsucesiones convergentes y sin embargo la sucesin es tal que toda 0 B ( )
8 8
subsucesin es convergente, construyamos un conjunto.
O 0 B 0 B ( ) ( )
8 8 8 8
todos los lmites posibles de las subsucesiones de
De la construccin de se sigue que es secuencialmente compacto como es O O R
un espacio mtrico se sigue que es compacto. Ahora el cual O 0 O B
"
8 8
( )
no es secuencialmente compacto por lo tanto no es compacto esto 0 O Q
"
( )
es una contradiccin de la parte . po , ( )
por lo tanto . 2 B ! aB + ,
w
( )
B + , 2 B ! 2 ) Para todo , es montona estrictamente ya sea creciente
w
( )
o decreciente en por un resultado bsico cul? es un + , 2 + , d
homeomorfismo de sobre entonces existe y es continua. + , 2 + , 2 ( )
"
Sea si existe , con , y deber ser igual a y por lo tanto 2 1 1 C C 2 B 2 B
" w w "
( ) ( ) ( )
escribimos y tenemos que mostrar que 1 C 5 1 C 2 B 5 = 5 ( ) ( ) ( ) ( )
w "
lim
5!
= 5
l5l
( )
!,
sea y ya que 2 B 6 C 5 5 2 B 6 C 2 B 6 2 B 5 ! 6 ! 2 ( ) ( ) ( ) ( )
es un homeomorfismo. Entonces
6 1 C 5 1 5 2 B 2 B 6 2 B = 5 2 B 2 B 6 < 6 = 5 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
w " w " w
= 5 2 B < 6 ( ) ( ) ( )
w "
= 5 l6l 2 B < 6
l5l l5l l6l
( ) ( ) ( )
w "
Daro Snchez H. 126 TOPOLOGIA GENERAL
cuando permanece acotado y cuando Luego . 5 ! ! 6 ! !
l6l < 6 = 5
l5l l6l l5l
5!
( ) ( )
lim
Esto muestra que es diferenciable para cada con 1 2 C 2 + , 1 C 2 B
" w w "
( ) ( ) ( )
y como y es continua esto es . 2 B ! aB + , aC 2 + , 2 2 H
w "
( ) ( )
( ) ( ) , H 2 H 2 B ! aB + , : De lo anterior es abierto en
" w
Sea continuas y es abierto de , en E 2 + , d 2 B ! aB + , + , d ( ) ( )
efecto entonces es continua en que es compacto de y por tanto es 2 E 2 + , d
w
acotada y alcanza sus extremos es decir, existe tal que B B + ,
! "
2 B 2 B B + , 2 B 2 B B + , 2 B ! ( ) ( ) ( ) ( ) ( )
! " !
inf sup y es claro que
2 B ! 2 B 2 B ( ) ( ) ( )
" ! "
y
La bola abierta de centro y radio = tomemos y mostremos que F 2 2 1 F ( ) % %
2 B
#
( )
!
1 E 1 ,2 l2 1l aB + , 2 B 1 B l Sea entonces por lo tanto | %
2 B 2 B
# #
( ) ( )
! !
( ) ( )
de donde recibimos que , para todo . 2 B 1 B 2 B 1 B B + , ( ) ( ) ( ) ( )
2 B 2 B
# #
( ) ( )
! !
Como y por lo tanto . Luego 2 B 2 B aB + , 2 B 2 B ! ( ) ( ) ( ) ( )
!
2 B 2 B
# #
( ) ( )
! !
1 B ! aB + , 1 E E + , d ( ) , entonces es abierto en
Anlogamente se muestra que es continua y U 2 + , d 2 2 B ! ( )
aB + , + , d es abierto en .
Finalmente la aplicacin definida por es continua con la H + , d H 0 0
"
( )
norma . l0l l0 B l l0 B l B + ,
w
( ) ( )
Sea . Como entonces es continua en T 2 2 B ! aB + , 2 2 + ,
" w "
es acotada y . Entonces la aplicacin E 1 + , d 1 B ! aB + , ( )
H + , d E + , d H E
2
2
T
" "
w
( ) es continua y es abierto en y
entonces es abierto en . Anlogamente sea y T U
" "
2 2 B ! aB + , ( )
F 1 + , d 1 B ! aB + , H F U U ( ) ( ) entonces es abierto en
" "
y es abierto en . H T U
"
: <
: <
donde , son los compactificados de Alexandorff.
\ ]
J
( )
( )
existe tal que o lo que es lo mismo tal que B O . B J . O J
! !
( ) ( )
. B C . B C aB O aC J ( ) ( )
!
.
Tomando ahora una bola con radio tal que entonces F B < < < . B J ( ) ( )
! !
obtenemos que y es cerrado y acotado, en el espacio F B < J F B < J ( ) ( )
! !
euclidiano por lo tanto es compacto, de donde, existe tal d F B < J C J
8
! !
( )
que o lo que es lo mismo , por . O C . O J . B C . B C aB O aC J ( ) ( ) ( ) ( )
! !
lo tanto hemos hallado tales que B O C J
! !
. B C . B C aB O aC J ( ) ( )
! !
- - - P
de tal que sea abierto conexo. Sea el nmero de Lebesgue %
de este recubrimiento el cual existe pues es compacto. Extraemos un nmero O
finito de elementos de la coleccin tal que lo cual Y O Y Y Y
- - - - - P
" # 8
tambin es posible por la compacidad de con tales que para O B C O B C Y
-
3
algn entonces tenemos que y se tiene que " 3 8 lB Cl Y B C Y $ %
- -
3 3
como se sigue que lo cual queramos O Y Y Y Y B C Y
- - -
" # 8
mostrar.
T : F E P : T E -
: - -
para cada . Si entonces denotemos por a uno de
:
los para el cual . Sea estonces para algn entonces E F E B \ B E P
- - - :
:
-
existe tal que esto es para algn por : T B F E B F E E : T
: : - - -
:
definicin de reunin tendremos que o sea que . B E \ E
: T : T
- -
: :
B J B J
120. Probar que si es abierto entonces tiene interior vaco. Examine W \ 0< W ( )
si vale lo mismo, cuando es cerrado W .
SOLUCIN. 0< W B \ B 38>W B 38>\ W W W ( ) C
( ) + W W 38>W
38> 0<W 0<W W W W W W W W W W W
( )
~
~
~ ~ ~ ~
C C C C C
W W
E E
E F E F
F F
Luego 0<W
( ) , W W tenemos
38> 0<W W W W W W W W W W
( )
~
~
C C C C C
E E aE
Luego 0<W
8 8
0 B Q H
X 0 B 0 > .>
B
+
.
Pruebe que es una sucesin acotada en entonces posee una 0 X 0
8 8 8 8
( )
B
B
8 ! 8
!
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 un espacio mtrico. Indiquemos con el conjunto de todas las Q Q ( )
partes que gozan de la siguiente propiedad: \ Q
es acotado 3 \
Daro Snchez H. 136 TOPOLOGIA GENERAL
Si , entonces . 33 . B \ ! B \ ( )
Para sea el mayor de los dos nmeros siguientes: \ ] Q \ ] 3 ( )
sup sup . B ] B \ . C \ C ] ( ) ( ) .
Entonces es una mtrica en , llamada una " ". Para 3 ( ) Q mtrica de Hausdorff
\ Q < ! Y\ < FB < cualquiera y sea reunin de todas las bolas
B \
abiertas de radio y centro en un punto de . Entonces, si muestre < \ \ ] Q
que implica que , y, . Por otro lado estas dos 3( ) \ ] < \ Y] < ] Y\ <
inclusiones implican que . 3\ ] <
SOLUCIN. 3( ) ( ) ( ) \ ] . B ] B \ . C \ C ] max sup sup
( ) + Q es una mtrica en : 3
1. es evidente 3( ) \ \ !
2. es obvio 3 3 ( ) ( ) \ ] ] \
3. Si , entonces sea . Por la definicin de 3( ) ( ) \ ] ! . B ] B \ ! sup
sup, existe tal que y por la propiedad de , tenemos B \ . B ] ! 33 Q
! !
( ) ( )
B ] \ ] \ ] B \ B ]
! ! !
o sea . Por otro lado, si , sea por ejemplo .
Entonces por tenemos , luego de 33 . B ] ! . B ] B \ . B ] ! ( ) ( ) ( )
! !
sup
donde . 3\ ] !
4. , \ ] ^ Q \ ^ \ ] ] ^ 3 3 3
Sea H \ ^ . B ^ B \ ( ) ( )
Afirmacin: sup sup sup H \ ^ H \ ] H ] ^ ( ) ( ) ( )
Sea y arbitrario. Entonces existe tal que = H\ ^ ! B \ = . B ^ %
! !
( )
Como y , entonces existe tal que . B ] 380. B C C ] ! C ] ( ) ( )
! ! !
%
. B C . B ] . B C . B ] ( ) ( ) ( ) ( )
! ! ! ! ! !
% % , o sea . Por un resultado bsico cul?,
se sigue que y entonces l. B D . C D l . B C ( ) ( ) ( )
! ! ! !
. B D . B C . C D . D ] . C ^ ( ) ( ) ( ) ( ) ( )
! ! ! ! ! !
%.
Denotando y notando que , tenemos . B ] . C ^ > > H\ ] H] ^ ( ) ( )
! !
que : y, , es posible encontrar tal que a= H\ ^ a ! > H\ ] H] ^ %
= > %. Se sigue entonces la afirmacin.
Finalmente,
3 3 \ ] ] ^ H\ ] H] ^ H ] ^ H ^ ] max sup sup max sup sup ( ) ( )
H \ ] H ] ^ H ] ^ H ] \ H \ ] H ^ ] max sup sup sup sup sup sup sup ( ) ( ) ( ) ( ) ( ) ( )
H ] \ H ^ ] H \ ] H ] ^ H ] \ H ^ ] ( ) ( ) ( ) ( ) ( ) ( ) sup max sup sup sup sup
max sup sup max sup sup H \ ] H ] ^ H ] \ H ^ ] H \ ^ H ^ ] ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
Afirmacin
\ ] 3( ) .
( ) ( ) , \ ] < Supngase 3
Sea , como , entonces y B \ \ ] < . B ] B \ <
!
3( ) ( ) sup
sup sup . C \ C ] < . B ] < ( ) ( ) Luego . Por la definicin de tenemos que
!
existe tal que , por lo tanto C ] . B ] . B C <
! ! ! !
( ) ( )
B FC < FC < Y] V \ Y] < ] Y\ <
! !
C ]
, luego Anlogamente
Daro Snchez H. 137 TOPOLOGIA GENERAL
( ) - \ Y] < ] Y\ < aB \ C ] Por otro lado , si y , entonces , tenemos
. B ] < . C \ < . B ] B \ < . C \ C ] ( ) ( ) ( ) ( ) y . Luego y sup sup
entonces 3( ) \ ] <
\ Q
y tambin,
sup sup l. D \ . D ] l D Q . C B B \ ( ) ( ) ( )
Entonces
. . \ . ] l. D \ . D Q l D Q \ ]
s s
( ) ( ) ( ) ( ) sup 3
33 ! D Q B \ C ] ) Sean , y, . Por la definicin de , existen , y, tales que % inf
. De se ve que ( ) ( ) ( )
. D\ . BD . D\
. D] . CD . D]
( ) ( ) ( )
( ) ( ) ( )
%
%
l. C \ . D \ l . C D
. D \ . C D . C \ . C D H ] \ . C D \ ] ( ) ( ) ( ) ( ) ( ) ( ) sup 3
. D ] \ ] ( ) % 3
y entonces
. D \ . D ] \ ] M ( ) ( ) ( ) 3 %
De , se ve que l. B ] . D ] l . B D ( ) ( ) ( )
. D ] . B ] . B D . B D H \ ] . B D \ ] . B D \ ( ) ( ) ( ) ( ) ( ) ( ) ( ) sup 3 % 3
] . D ] . D \ \ ] , luego , o sea que, ( ) ( ) 3 %
. D \ . D ] \ ] MM ( ) ( ) ( ) 3 %
De y , tenemos que ( ) ( ) M MM
l. D \ . D ] l \ ] a ! aD Q ( ) ( ) 3 % %
Luego
Daro Snchez H. 138 TOPOLOGIA GENERAL
. . \ . ] l. D \ . D ] l D Q \ ] a !
s s
( ) ( ) ( ) ( ) sup 3 % %
y por lo tanto
. . \ . ] \ ]
s s
( ) ( ) 3
Finalmente de ) y ) tenemos lo deseado. 3 33
126. Sea la "esfera unitaria" dimensional, con la mtrica W B d lBl " 8
8 8"
lB Cl d B B B B W inducida de . Para cada se tiene tambin
8" " # 8" 8
( )
B B B B W T W ( )
" # 8" 8 8 8
. Sea el conjunto cociente de por la relacin
de equivalencia que identifica con los elementos de son los pares no B B T
8
ordenados . Indiquemos con : a la aplicacin cociente: : B B B W W T
8 8 8
1
1 1 ( ) ( ) ( ) B B B B T . : ; lB Cl lB Cl . En tomemos si
8
min
: B B ; C C T y . Esto hace que sea un espacio mtrico, llamado el "el
8
espacio proyectivo real -dimensional". Se tiene Sea 8 . B C lB Cl \ W ( ) ( ) ( ) 1 1
8
un subconjunto tal que esto es, si Entonces $( )
_ _
\ # B C \ lB Cl #
1| es una inmersin isomtrica de en
\
8
\ T
SOLUCIN. ( ) ( ) + . : ; lB Cl lB Cl min es una mtrica en donde
: B B B ; C C C 1 1 ( ) ( ) y
3 . : : ! ) se tiene trivialmente ( )
33 . : ; . ; : ) , evidentemente ( ) ( )
333 : ; B C . : ; ! ) Si , entonces y entonces . ( )
Si entonces y entonces , o sea . . : ; ! lB Cl lB Cl ! B C : ; ( )
3@ D D D < ) Si tenemos 1( )
. : ; . ; < lB Cl lB Cl lC Dl lC Dl ( ) ( ) min min
lB Cl lC Dl lB Cl lC Dl lB Cl lC Dl lB Cl lC Dl min
. lB Dl lB Dl lB Dl lB Dl . : < min ( )
( ) ( ) ( ) ( ) , . B C lB Cl lB Cl lB Cl. 1 1 min
( )
_
- aB C \ lB Cl # Si , tenemos , entonces
lB Cl lB Cl B C B C B C B C %
# #
siempre y cuando . Luego lBl lCl "
lB Cl % lB Cl % # # lB Cl # lB Cl
# #
_
de donde
. B C lB Cl lB Cl lB Cl ( ) ( ) ( ) 1 1 min
y | es un inmersin isomtrica. 1
\
g
d + d !
B B +
8" 8"
g
"
# W ! d !
B >
> B
8 8"
( )
:
d ! W !
B
lBl
8" 8
B
lBl
:
"
$ W d W !
B >
B /
8 8
>
( )
( )
<
2 B B B + lB +l lB +l
" " " " " " " B+ B+
lB+l lB+l
( ) ( ) ( ) < : g < : < lg
( ) ( ) ( ) , 3 2 L d 2 B B B B B B definida por cuyo inverso es
" 8" 8 " 8" 8
lg
2 d L 2 B B B B /
" 8 " B
" 8 " 8"
( ) ( ) es dada por
8
33 2 L d ! En forma anloga es trivalmente un homeomorfismo.
8"
( ) - T B d B ! B ! d ! y
8 8"
" 8
Sea y usando notacin evidente, probemos inicialmente que . ! d d
#
Para eso escribimos en coordenas polares , donde y 3 ) 3 )
#
#
( ) ! !
1
igualmente, escribimos en coordenadas donde y d ! ! 3 ) 3 ( )
" " "
) 1
"
.
La aplicacin dada por es continua biunvoca y 0 d 0 # 3 ) 3 )
#
( ) ( )
sobre, cuya inversa es dada por es continua y 0 d 0
" "
#
" " "
#
3 ) 3 ( )
)
"
entonces es un homeomorfismo y por consiguiente . 0 d
#
Suponga ahora que ya tenemos demostrado que y probemos que
5
5"
d
5"
5
d . En efecto, tenemos
5" 5
5" 5" 5 " 5
d d d d d
"
+
induccin parte
-
.
Luego . T d d !
8
8" 8"
3 Q +, d E 0 Q 0 B .B !
!
+
,
( ) 4 Q d E !
&
puntos que tienen exactamente 3 coordenadas .
SOLUCIN. ( ) + Q d E
Daro Snchez H. 141 TOPOLOGIA GENERAL
E a< a ! F < < < no es abierto pues , la bola contiene % % % % ( ) ( )
irracionales.
( ) , Q \ d
E 0 \ d 0 + ! + Q
+
funciones acotadas tales que para fijo ( )
Dado , tomemos tal que 0 E 1 Q 1 F0 0+ 2 Q . 0 2 0 + !
+
( ) ( )
Entonces , y por lo tanto . 0 B 1 B 0 + aB \ ( ) ( ) ( ) ( )
0 + 0 B 1 B 0 + aB \ 0 B 0 + 1 B 0 B 0 + aB \ ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) o sea, .
En particular, , y entonces ! 0 + 0 + 1 + #0 + 1 + ! ( ) ( ) ( ) ( ) ( )
es abierto. 1 E F0 0+ E E
+ + +
( ) ( ) ( ) - 0 d d E E 0 ! Si es continua, entonces es realmente abierto, pues .
0 0
"
0 no es continua:
Esto no es posible, pues si tomamos
, si
, si
, si
0 B
! B !
! " B
" ! B "
( )
_
_
_
entonces no es abierto en . E 0 ! ! " d
0
"
( ) ( )
( ) ( ) . d d B B B B Se define la funcin , por y se nota que es 1 1 1
" " " # 8 " "
8
continua y que , donde es cerrado en . luego es cerrado en y E d E d 1
" 8
( )
como se sigue que no es abierto. E d E
8
( ) ( ) / 0 d d 0 B C = C Sea la funcin dada por la cual es continua y entonces
# # #
0 " W B C B C " d
" " # # #
( ) ( ) es cerrado en .
Sea dada por ; es continua y entonces 1 d d 1 B ! 1 ( )
K 1 1 B d d J W K 1 ( ) ( ) grfica de eje de las es cerrado en . Luego es
"
cerrado en y entonces es abierto. d E d J
# #
( ) 0 E " & O sea ; es abierto en pues es un conjunto discreto.
( ) ( ) ( ) 1 E Q a ! $ $ F $ noes abierto en pues , la bola abierta no % % % %
est contenida en . E
( ) ( )
_
_
2 0 d d 0 B
/ B !
" B !
/ B !
" B
Sea dada por
, si es racional
, si es racional
, si es irracional
, si es irracional
B
B
!
Tenemos que pues y es discontinua en todo punto 0 Fd d l0 B l " aB 0 ( ) ( )
de . d
Dado sea en y tomemos tal que % % ! F0 Q > d /
!
>
#
!
%
es posible pues . / !
B
B
Sea dada por .
si
si
1 d d 1 B
0 B B B
! B B
( )
( )
!
!
Tenemos entonces que , pero es continua en todo punto esto 1 F0 1 B B %
!
es Como es arbitrario, concluimos que no es abierto. 1 E ! E %
( ) ( ) ( )
3 Q d 0 0 B .B La aplicacin dada por es continua ver resultados : :
+
B
bsicos en anlisis en y entonces es abierto en pues d E ! Q !
8 "
: ( ) ( ) ( )
es abierto en . d
Daro Snchez H. 142 TOPOLOGIA GENERAL
( ) ( )
4 C " " " ! ! E ! B " " " ! E Sea . Para cualquier , tenemos y sin %
%
#
embargo . Luego . Concluimos que no es abierto en . B C B FC E Q ( )
%
#
%
) y son obvias.
33 d 0l l ll0l ) Si , entonces | , es fcil - - -
333 l0 1l l0l l1l )
Sean . Sabemos que y entonces , tenemos 0 1 M 0 1 > 0 > 1 > a> M
" w w
w
( ) ( ) ( ) ( )
l0l l1l l0 > l l0 > l l1 > l l1 > l l0 > 1 > l l0 > 1 > l
w w w w
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
l 0 1 > l l 0 1 > l ( )( ) ( ) ( )
w
Luego l0l l1l l 0 1 > l l 0 1 > l > M l0 1l
w
sup ( )( ) ( ) ( )
( ) ( ) , H M + , d H 0 0
" w
!
lH 0 H 1 l l0 1 l l 0 1 > l > M l 0 1 > l l 0 1 > l > M ( ) ( ) ( ) ( ) ( )( ) ( ) ( )
w w
w w
sup sup
. l0 1l
"
M
( ) ( ) ( ) ( ) ( )
. M d 0 0 > .> M d 1 1 > .> : :
" w
+ +
, ,
!
. Sea definida por
y tomemos la compuesta as H M d
"
( )
. : H > 0 0 > .> > ( ) ( ) ( ) ( )
w w
+
,
Luego y como es continua, basta mostrar que lo es. : H H
Daro Snchez H. 144 TOPOLOGIA GENERAL
Sean tenemos 1 2 M
!
l 1 2 l 1 > .> 2 > .> 1 > 2 > .> , + l1 > 2 > l ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) | | | |
( ) ( )
+ + +
, , ,
sup
, + . 1 2 ( ) ( )
y por consiguiente es Lipschitziana, luego es continua.
( ) / M M ! " ! 0 M !
( )
( )
Sean y las topologas inducidas en y por las restricciones y 7 7
" # EG
E G F G 0l
( )
0l W
( ) FG " #
. Sea la topologa sobre generada por y , se muestra que esta 7 7 7
topologa no es Hausdorff. Definamos ahora dadas por 0 1 d W
0 B 1 B
" B ! B ! B " ! B !
! B B ! ! B B !
( ) ( )
( ) ( )
( ) ( )
,
Se verifica que y son continuas y que no es 0 1 J B d 0 B 1 B ! ( ) ( ) ( )
cerrado en . d
0 B 0B C B 0 C 0 C Y B ( )
" "
" "
as que . Luego y por consiguiente /
0 C
"
es discreto.
( ) , 1 2 ^ \ E D ^ 1D 2D D E Sean continuas; sea y tomemos .
Tenemos que . Como es un homeomorfismo local , existe un 1 D 2 D B \ 0 ( ) ( )
abierto tal que es un homeomorfismo. Y B 0l Y Z 0 Y
Y
( )
Sean y abiertos en y sea es abierto 1 Y [ 2 Y [ ^ [ [ [ [
" "
" # " #
( ) ( )
en y si , tenemos que , y por hiptesis, . ^ A [ 1 A 2 A Y 0 1A 0 2A ( ) ( )
Daro Snchez H. 148 TOPOLOGIA GENERAL
Pero es un homeomorfismo. De donde se concluye que , o sea, que 0l 1 A 2 A
Y
( ) ( )
D [ E E y por consiguiente es abierto.
( ) - ^ \ 1 1 1
Sean conexo, de Hausdorff y dos levantamientos de .
" #
Sea . Por ser levantamientos de tenemos que E D ^ 1 D 1 D 1
" #
( ) ( )
0 1 1 0 1 , E ^
"
#
y entonces, por la parte , tenemos que es abierto en . ( )
Por ser de Hausdorff y por un ejercicio que ya esta hecho cul?, tenemos que \
E ^ 1 D 1 D E
es cerrado en y como , tenemos que . Finalmente por ser
" ! # !
( ) ( )
^ E ^ conexo, tenemos que .
cerrado en ?. Q 8 ( )
SOLUCIN. ( ) ( ) ( )
_
_ _
+ E 0 E + + + +
+ +
+ +
Si basta hacer
"" 38
8" 88
"" 8" "8 88
para obtener una correspondencia uno a uno, . 0 Q 8 d ( )
8
#
( ) ( ) , . d d . B C lB C l 3 " 8 Sea la mtrica definida por ; , donde
" " 3 3
8 #
#
sup
B B B C C C d ( ) ( )
" " 8 8
8
# #
#
.
Entonces, si , definimos por E + F , Q8 . Q 8 d ( ) ( ) ( )
34 34
8
#
. E F . 0 E 0 F l+ , l ( ) ( ) ( ) ( )
" 34 34
max
" 3 4 8
( ) ( ) ( )
_
- ./> Q 8 d ./> E + + Sea dada por , donde
5
5 5
% 5
" " 8 8 ( ) ( )
E + Q8 8 ( )
34
, es una permutacin de elementos y es el signo de la 5 % 5
permutacin.
Luego es una funcin continua pues se expresa como suma y producto de ./>
funciones continuas.
Sea dada por . Tenemos que es bilineal y 7 Q8 Q8 Q8 7 E F E F 7 ( )
Q 8 d ( ) es un espacio vectorial de dimensin finita. En la parte de anlisis en se
8
mostr que es continua. 7
( ) ( ) . \ Q8 ./> \ ! Note que posee inversa si y slo si ; luego
K 8 ./> d ! K 8 Q 8 ./> ( ) ( ) ( ) ( )
"
, luego es abierto en pues es continua y
d ! d es abierto de .
( ) ( ) ( ) ( ) ( ) ( ) ( )
/ < K 8 K 8 < \ \ +.4 \ +.4 \ +.4\ , dada por y
" "
./> \ 34 ( )
donde y donde es la matriz que se obtiene de ( ) ( ) ( ) ( ) ( ) +.4\ " ./> \ 4l3 \ 4l3
34
34
\ 4 3 , eliminndose la fila y la columna
Notemos que dada por es continua pues es una 1 Q 8 Q 8 " 1 \ \ 4l3
34 34
( ) ( ) ( ) ( )
contraccin dbil;
. 1 \ 1 ] . \ 4l3 ] 4l3 . \ ] ( ) ( ) ( ) ( ) ( ) ( ) ( )
34 34
.
Tambin es continua la aplicacin Luego dada ./> Q 8 " d +.4 Q 8 d ( ) ( ) ( )
34
por
( ) ( ) ( ) ( ) ( ) ( ) +.4 \ +.4\ ./> \ 4l3 ./> 1 \
34 34
34
es continua, pues es compuesta de funciones continuas. Entonces la aplicacin
+.4 Q 8 Q 8 ( ) ( ) dada por
+.4 \
+.4\ +.4\
+.4\ +.4\
( )
_
_ _
( ) ( )
( ) ( )
"" 38
8" 88
es continua, pues todas sus coordenadas lo son. ( ) +.4\
34
Daro Snchez H. 150 TOPOLOGIA GENERAL
La funcin dada por es continua pues es la compuesta K 8 d ! \ ( ) ( )
:
:
"
./> \ ( )
de la funcin con la funcin que son ambas continuas. ./> d ! d
B
"
B
Luego la funcin es continua por ser compuesta de las funciones < K 8 K 8
\
\
( ) ( )
"
continuas:
K 8 d ! K8 K8
\
"
./>\
+.4\
"
./> \
+.4\
( ) ( )
_
( )
( ) 0 Consideremos la composicin
Q 8 Q 8 Q 8 Q 8 d
\
\ \ \ \
7
./> \\
( ) ( ) ( ) ( )
-
> >
>
./>
./> 7 Q 8 d - ( ) es continua pues cada uno de los factores es continua.
Como , tenemos que que es cerrado \ S 8 ./>\ " S 8 ./> " " ( ) ( ) ( ) ( )
"
en pues es cerrado en . (o an, luego Q 8 " " d \ S 8 \ \ M ( ) ( )
>
S 8 ./> 7 " ( ) ( ) ( ) -
"
Por otra parte, tenemos entonces E + S 8 EE " + " ( ) ( )
_
34
> #
4"
8
34
a3 " 8 entonces
l+ l " a3 4 " 8 lEl . E ! l+ l "
34 34
. ( ) sup
" 34 8
Luego bola cerrada de centro en la matriz nula y radio , entonces S 8 H! " " ( )
S 8 ( ) es acotado.
( ) ( ) ( ) ( ) ( ) 1 K \ Q8 ./>\ ! Q 8 K 8 ./> ! es abierto en pues y
"
./> Q 8 d ( ) es una funcin continua. De manera anloga, tenemos que
K 8 \ Q8 ./> \ !
( ) ( )
es abierto en . Luego y son abiertos en y Q 8 K 8 K 8 K8 ( )
K 8 K 8 K 8 ( ) ( ) ( )
.3=C?8>+
,
luego y son tambin cerrados en K 8 K 8 K 8
( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( ) ( ) 2 K 8 Q 8 Q 8 K 8 K 8 K 8 no es cerrado en . Como , unin
!
disyunta donde
K 8 \ Q8 ./> \ !
!
( ) ( ) ,
basta mostrar que
K 8 K 8 Q 8 K 8
!
( ) ( ) ( ) ( )
no es abierto.
Dado , tome tal que y entonces y sin % % ! 8 E K 8
!
!
"
8
8
"
8
"
8
_
_ _
embargo , luego Luego la matriz no pertenece al interior lE l E F ! !
8 8
"
8
% % ( )
de , luego este conjunto no es abierto. K 8 K 8
!
( ) ( )
Daro Snchez H. 151 TOPOLOGIA GENERAL
relacin es cerrado, que los puntos son cerrados, pero que no es Hausdorff. \I
Daro Snchez H. 152 TOPOLOGIA GENERAL
( ) - K \ \ \ \I \I Si es cerrado y es abierta, entonces es de :
Hausdorff.
Sean en ; entonces y por ser cerrado, tenemos que existen B C \I BIC K
abiertos tales que , o sea , y, , se Y Z \ B C Y Z \ \ K a? Y a@ Z ( )
tiene ?I@
. B + B + ( )
8 8
8
% luego lim
5 "
5 3
Tomamos ahora definida por . B d
8
B 8 B
( )
8
B " 5: :
B ! 5: :
5 " #
5 " #
si
si
Entonces converge para , , pues cada slo tiene un nmero primo B ! aR R
8 8R 3 3
3
:
3
Pero no converge para pues existen nmeros primos arbitrariamente B !
8 8
grandes. Luego la respuesta a la pregunta no es verdad.
implica que
. l0 5 0 5 l #
8 8 # "
$
" "
( ) ( ) ( )
%
Tomando entonces , tenemos que 5 5 5
" # !
l0 5 0 5 l l0 5 0 5 l l0 5 0 5 l l0 5 0 5 l ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
" # " 8 " 8 " 8 # 8 # #
$ $ $
" " " "
" ( )
# ( )
% % %
%
Luego es una sucesin de Cauchy en y entonces es convergente, esto 0 5 d ( )
5
es, . lim
5
0 5 0 d ( )
( ) , d d
0 8 0 " 0 # 0 #
# 8
( ) ( ) ( ) ( )
Es claro que pues y tambin pues 0 0 8 0 8 0 0
7 7 7
( ) ( )
0 8
8
( ) y . Luego no es cerrado.
( ) ( ) - Q Q Q Q B B
( )
( )
%
%
Tomando y fijando , tenemos que 8 8 8 R R 8
! " # !
max
. . B C . B B . B C . C C ( ) ( ) ( ) ( )
R R R R
$ $ $
% % %
%
Luego, dado , tome para ver que es continua. % $ : !
%
$
tenemos y entonces . B K K d
DLL
Daro Snchez H. 156 TOPOLOGIA GENERAL
BIBLIOGRAFIA
- Bourbaki, N., , Fascicule de Rsultats, Hermann, Pars, Thorie des Ensembles
1958.
- Bourbaki, N., , Hermann, 1961, Hocking, J.G., & Young, G.S., Topologie Gnrale
- Chinn, W.G. & Steenrod, N.E., , Random House, Inc., First Concepts of Topology
N.Y., 1966.
- Halmos, P.R., , Cecsa, Mxico D.F., 1965. Teora Intuitiva de Conjuntos
- Hall, D.W. & Spencer II, G. L., , John Wiley & Sons, Inc., N.Y. Elementary Topology
1960.
- Hocking, J.G. & Young, G.S., Editorial Revert S.A., 1966. Topologa,
- Kelley, J.L., , Editorial Board, N.Y., 1970. General Topology
- Lima, E.L., , Editoria U. de S. Paulo, 1970. Elementos de Topologa General
- Mendelson, B., , Allyn & Bacon, Inc., Boston, 1966. Introduction to Topology
- Moore, T.O., , Prentice-Hall Math.Series, 1964. Elementary General Topology
- Muoz, J.M., , 4a. Ed., U.N., 2002. Introduccin a la Teora de Conjuntos
- Muoz, J.M., , Academia Col. de Ciencias Exactas, Fsicas y Topologa Bsica
Naturales, Bogot, D.C., 2003.
- Muoz, J.M., , Depto.Mat., U.N., 1983. Introduccin a la Topologa
- Simons, G.F., , McGraw-Hill Book Introduction to Topology and Modern Analysis
Company, Inc., 1963.
- Suppes, P., , Editorial Norma, Cali, Colombia Teora Axiomtica de Conjuntos
1968.
_______________________________
Espero que el lector haya obtenido algn provecho de este trabajo en el
aprendizaje de los espacios topolgicos.
Exitos y bienvenidos a la investigacin por internet.
Cualquier comentario favor hacerlo llegar a:
danojuanos@hotmail.com
danojuanos@tutopia.com
Copyright Daro Snchez Hernndez
Daro Snchez H. 157 TOPOLOGIA GENERAL