Espacio de Funciones Continuas

Universidad de Los Lagos
Departamento de Ciencias Exactas

El Teorema de Dini
Por:
Nicols Eduardo Zumelzu Crcamo
SEMINARIO PARA OPTAR AL

TTULO DE PROFESOR DE
EDUCACIN MEDIA CON
MENCIN EN MATEMTICA Y
COMPUTACIN Y AL GRADO DE
LICENCIADO EN EDUCACIN.
Profesor Patrocinante:
Dr. lvaro Patricio Poblete Letelier
Octubre, 2014
Osorno, Chile
Dedicatoria
... à mi mà`drè... y pòr supuès to à ustedès , Vi`cky y

An`drèa.
A`grà`dècimièntos
Dòy `grà`ciàs à Diòs pòr `dàrmè la f y fortaleza èn los mòmèntos m`s `dif`ciles ,
`guiàn`dò sièmprè mi `caminò.
A mi Mà`drè y Hèrmànàs les `dòy `grà`ciàs pòr `contar `con ustedès èn todò
mòmènto y pòr èl àpòyo in`con`di`ciònàl `què sièmprè mè hàn brin`dà`dò.
A`grà`dèzco ènòrmèmènte à mi Tutor, àl Pròfes òr Jos è Mànsilla, `quièn sin
òbj eci`n àlgunà mòs tr` todà la `dispòs i`ci`n, près tan`dò todò su màyor ès fuèrzo
pàrà `què ès te Sèminàriò `dè Ttulo `culminàrà `con `xito.
A los Pròfes òrès Ri`goberto Mèdinà, Cècilià Planàs, Càrlos Màrtinèz y M`ni`ca
Gallar`dò pòr su àyu`dà y `confiànza. Espèciàlmènte àl Dirèctor `dèl Dèp
àrtamènto
Cièn`ciàs Exa`ctas Dòctor Alvarò Pòblete pòr brin`dàr su àpòyo à la `culminà`ci`n
`dè ès te tràbajo.
Al Dèp
àrtamènto `dè Cièn`ciàs Exa`ctas `dè la Universi`dà`d `dè Lòs Là`gos , pòr àbrir
sus puèrtas y pèrmitir mi formà`ci`n pròfes iònàl `con sus `distin`gui`dòs A`ca`d`mi`cos .
A`grà`dèzco à mis àmi`gos y `compàèròs `dè ès tu`diò Hu`go y Cristiàn pòr tenèr
pà`cièn`cià, `dàrmè `nimò y `comi`dà `cuàn`dò nò tenà `dinèrò.
A mi àmi`go Màuri`ciò pòr la àmista`d y tantas borrà`chèràs filos òfan`dò y rièn`dò
`dè tanta basurà èn ès te pàs.
A los `dè ju`dò, `con los `cuàles àprèn`d à `caèr y luègo levantermè `dè formà
`continuàmènte uniformè...
Grà`ciàs à Tòdòs .
5
Dedicatoria
Dedicatoria
Dedicatoria
Dedicatoria
Dedicatoria
Un perro sin amo vagabundea libre, pero el

halcn de un Daimyo vuela ms alto.
Mirumoto Jinto
Resumen
El seminario titulado Teorema de Dini consiste en estudiar topologas, espacios

topolgicos, sucesiones y funciones considerando las bases tericas necesarias para la
comprensin rigurosa de ste. Para tal efecto desarrollaremos los conceptos bsicos sobre
continuidad de funciones, homeomorsmos, espacios conexos y compactos enunciando y
demostrando sobre estas bases el Teorema.
Nicols Zumelzu
Osorno, Chile, 2014
11
Introduccin
La Topologa (del griego , lugar, y , estudio) es la rama de las matemticas dedicada al estudio de aquellas propiedades de los cuerpos geomtricos que
permanecen inalteradas por transformaciones continuas. La Topologa se interesa por
conceptos como proximidad, nmero de agujeros, el tipo de consistencia (o textura) que
presenta un objeto, comparar objetos y clasicar, entre otros mltiples atributos donde
destacan conectividad, compacidad, metricidad o metrizabilidad.
La palabra topologa es utilizada en dos sentidos: informalmente es el sentido especicado anteriormente, y de manera formal se reere a una cierta familia de subconjuntos de un conjunto dado, familia que cumple ciertas reglas sobre la unin y la
interseccin. El segundo sentido es el de espacio topolgico que es una estructura matemtica que permite la denicin formal de conceptos como convergencia, conectividad,
continuidad, vecindad; usando subconjuntos de un conjunto dado.
El problema particular que abarca este Seminario titulado Teorema de Dini es
enunciar y demostrar un teorema reciproco parcial al Teorema 2.13 por ello desarrollamos estos cuatro capitulos detallados a continuacin.
El Primer Captulo: Topologa General estudiamos las nociones bsicas, introduce
a las nociones de topologa, teoriza sobre la topologa del orden y topologa inducida,
desarrollando ejemplos y contraejemplos en los temas tratados.
El Segundo Captulo: Funciones continuas en este captulo estudiamos continuidad
de funciones, homeomorsmos, adems profundizamos sobre la topologa mtrica y desa13
Introduccin
Seminario: Teorema de Dini
rrollamos una seccin que relaciona la clausura de un conjunto con la convergencia de

sucesiones.
El Tercer Captulo: Conexidad y compacidad en este capitulo realizamos un estudio de estas invariantes topolgicas entregando ejemplos y enunciando sus principales
resultados.
Finalmente se realiza la Formulacin y demostracin del Teorema de Dini. Adems
esta seccin contiene un extracto de la biografa del matemtico Ulises Dini, y aplicaciones del Teorema de Dinni.
14
ndice general
1. Topologa General
17
Espacios topolgicos
17
1.1.1. Bases y sub-bases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

1.1.2. Topologa del orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.1.3. Topologa inducida . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Elementos de una topologa
25
2. Continuidad de funciones
31
Funciones continuas
31
2.1.1. Construccin de funciones continuas . . . . . . . . . . . . . . . . . . . 35

2.1.2. Homeomorsmos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.1.3. Topologa mtrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
Relacin de convergencia y clausura en un conjunto.
15
48
ndice general
3. Conexidad y compacidad
55
Espacios conexos
56
3.1.1. Subespacios conexos de la recta real . . . . . . . . . . . . . . . . . . . 62

Espacios Compactos
67
3.2.1. Subespacios compactos de la recta real . . . . . . . . . . . . . . . . . . 74

3.2.2. Compacidad de Bolzano-Weierstrass . . . . . . . . . . . . . . . . . . . 81
3.2.3. Compacidad local . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
4. Teorema de Dini
91
Biografa
91
Enunciado y demostracin del teorema
92
Bibliografa
94
ndice alfabtico
96
16
C APTULO
T OPOLOGA G ENERAL
1.1
Espacios topolgicos
Denicin 1.1 (Topologa). Sea X un conjunto arbitrario. Una topologa sobre X es una
coleccin T de subconjuntos de X con las siguientes propiedades:
a) y X estn en T .
b) La unon arbitraria de los elementos de T est en T .
c) La interseccin de los elementos de cualquier subcoleccin nita de T est en T .
Si T satisface las propiedades anteriores diremos que es una topologa para X y
llamaremos abiertos en X a los miembros de T .
Observacin 1.1. De la Denicin1.1 obtenemos que la unin arbitraria e intersecciones
nitas de conjuntos abiertos son abiertos.
Denicin 1.2 (Espacio topolgico). Llamaremos a la pareja (X, T ) con el nombre de
espacio topolgico del que X ser el conjunto subyacente.
Nota 1.1. La interseccin de un innito nmero de conjuntos abiertos puede no ser un
conjunto abierto. (ver libro [6] pagina 137 ejemplo 7)
Ejemplo 1.1. Sea X un conjunto cualquiera. Las colecciones TC = {U X : X
U es numerable o todo X} y T = {U : X U es innita o vaca o todo X} son topologas
de X, llamadas topologias de complementos nitos e innitos respectivamente.
17
Topologa General
Ejemplo 1.2. Como un ejemplo de espacio topolgico consideremos al conjunto de los

nmeros reales R. Para dotar a este conjunto de una topologa, considere la familia T =
{U R | si x U existen a, b R, tales que x ]a, b[ U }. Es sencillo vericar las
condiciones de la Denicin 1.1 en (R, T ) y con ello hablar de espacio topolgico. A esta
topologa de R se le conoce como topologa usual de R.
Nota 1.2. Cuando hablemos del espacio topolgico donde el conjunto subyacente es el
cuerpo de los nmeros reales dotado de su topologa usual lo llamaremos simplemente
espacio topolgico real y lo denotaremos por R.
Denicin 1.3 (Comparacin de topologas). Supongamos que T y T son dos topologas
sobre un conjunto dado X. Denimos T es ms na que T como:
T T para cada U T , entonces U T
i) Si T T , diremos que T es ms na que T .
ii) Si T contiene propiamente a T , diremos que T es estrictamente ms na que T .
Tambin diremos que T es ms gruesa que T , o estrictamente ms gruesa, en ambas
situaciones.
iii) Diremos que T es comparable con T si T T T T .
iv) Diremos que T coincide con T si, y slo si T T y T T .
Nota 1.3. Dos topologas sobre X, no son necesariamente comparables, considere el conjunto X = {1, 2} y dena T1 = {, X, {1}} y T2 = {, X, {2}} se observa que estas dos
topologas no son comparables.
Ejemplo 1.3. Consideremos (X, T ) un espacio topolgico y A un subconjunto de X. Suponga que: si para cada x A existe un conjunto abierto U que contiene a x tal que U A
entonces A es abierto en X, puesto que A sera una union de abiertos.
Ejemplo 1.4. Sea {T } una familia de topologas sobre X,
pues verica la Denicin 1.1 y
T es una topologa sobre X
T no es una topologa sobre X pues, basta considerar

18
Topologa General
las topologas T1 = {, X, {a}, {a, b}} y T2 = {, X, {a}, {b, c}}. La nion de estas dos topologas no satisfacen la tercera condicin de la Denicin 1.1, es decir, {a, b} y {b, c} estan
/ T1 T2 . Adems la {T } familia de topologas sobre
en T1 T2 , pero {a, b} {b, c} = {b}
X posee una nica topologa sobre X ms na
T que contienen a todas las colecciones
T y equivalentemente a una nica mas gruesa.
1.1.1.
Bases y sub-bases
Denicin 1.4 (Base de una topologa). Sea (X, T ) un espacio topolgico. Una sub coleccin B de T se dice base de la topologa T si, y slo si, cada conjunto abierto es unin
de elementos en B. En otras palabras, B T es base de T si, y slo si, para cada U T
existe una parte BU de B tal que
U=
V.
V BU
Llamaremos elemento bsico de B a los elementos de la base B.

Nota 1.4. Cada elemento bsico de una base B es as mismo un elemento de la topologa
T que genera.
Observacin 1.2. Esta denicin establece que cada conjunto abierto U en X se puede
expresar como una unin de elementos bsicos. Esta expresin para U no es, sin embargo,
nica.
Observacin 1.3. En las topologas discreta e indiscreta de un conjunto X (ver libros [2,
3, ?]) es fcil mostrar ejemplos de bases. En la topologa discreta, la familia formada por
todos los singleton es una base de esa topologa; mientras que en la topologa indiscreta,
dado que los nicos abiertos son X y , la nica base es {X}.
Nota 1.5. La propia topologa es una base, pero no tiene gracia. No siempre es simple
obtener ejemplos de bases para un espacio topolgico dado, y tampoco existe un mtodo
para ello. Tambin debe ser entendido que en un espacio topolgico pueden existir ms de
una base.
19
Topologa General
Ejemplo 1.5. Las bases formadas por: B1 = {]a, b[ | a < b, a, b R}, B2 = {]a, b[ | a <
b, a, b Q} y B3 = {]a, b[ | a < b, a, b I} son bases de la topologa usual de R.
Ejemplo 1.6. B = {[a, b[ | a < b, a, b R} es una base para la topologa T sobre R, el
espacio topolgico (R, T ) es llamado Espacio Sorgenfrey que denotaremos como R .
Nota 1.6. Sea B es una base para la topologa del espacio (X, T ), entonces cualquier
coleccin B que cumpla B B T es tambin una base del espacio (X, T ).
Lema 1.1. Sea (X, T ) un espacio topolgico. Supongamos que C es una coleccin de conjuntos abiertos de X tal que, para cada conjunto abierto U de X y cada x en U , existe
un elemento C de C tal que x C U . Entonces C es una base para la topologa de X,
entonces C es una base de T .
Demostracin:
Vea demostracin en Proposicion 2.3 de [9].
Nota 1.7. Aunque aparentemente con una coleccin de subconjuntos cuya unin sea X
puede construirse una base para alguna topologa de X, esto en general no puede hacerse
pues es requerida otra condicin.
Ejemplo 1.7. Considere X = {0, 1, 2} y B = {X, {0, 1}, {1, 2}}. Si B fuese base de alguna
topologa T de X, como en cualquier topologa sus elementos son uniones de elementos
bsicos, y como las uniones de elementos en B estn en B, entonces esa topologa T tiene
que ser la propia familia B, pero sta no es pues la interseccin de {0, 1} y {1, 2} no est
en B.
Teorema 1.1. Sean X un conjunto no vaco y B una familia de subconjuntos de X. Entonces B es base de alguna topologa T de X si, y slo si, se cumplen:
i) X =
bB
ii) para cada B1 , B2 B y x (B1 B2 ) , existe B3 B tal que x B3 (B1 B2 ).

20
Topologa General
Demostracin:

Vea demostracin en Teorema 2.2 de [9].
Nota 1.8. El Teorema 1.1 da una condiciones necesarias y sucientes para que una coleccin de subconjuntos sea base de alguna topologa.
Lema 1.2. Sean B y B bases para las topologas T y T , respectivamente, sobre X. Entonces son equivalentes:
i) T es ms na que T .
ii) Para cada x X y cada elemento bsico B B que contiene a x, existe un elemento
bsico B B tal que x B B.
Demostracin:
Vea demostracin en Lema 13.3 de [7].
Denicin 1.5 (Bases equivalentes). Dos bases B1 y B2 son equivalentes cuando generan
la misma topologa.
Observacin 1.4. Dos bases equivalentes no tiene porque coincidir pues, en el Ejemplo 1.5 tenemos a B2 y B3 que generan la topologa usual de R, pero no son iguales.
Denicin 1.6 (Sub-base de una Topologa). Sea (X, T ) un espacio Topolgico. Una coleccin S de subconjuntos de X es una sub-base
de T , s
X=
iI
{Ui : Ui S}
T =
iI
i=1
{Ui : Ui S}
Ejemplo 1.8. Los conjuntos S1 = {] , a[, ]b, [ | a, b R} es subbase de la topologa

usual de R y S2 = {] , a], [b, [ | a, b R} es subbase de la topologa discreta sobre R.
Ejemplo 1.9. Consideremos el conjunto R y los subconjuntos U1 =] , 0], U2 =]0, 2],
U3 = ]2, +[ y U4 = [2, 3], luego, si consideramos la subbase S = {U1 , U2 , U3 , U4 } aparecen
los abiertos U2 U3 = [1, 2], U2 U4 = {2} (las intersecciones de tres o ms son vacas) y
las uniones de todos ellos forman:
T = {, R, ] , 0], ]0, 2], [2, 3], [1, 2], {2}, ] , 0] [1 + [, [1, 3], ] , 0] {2}}.
21
Topologa General
Nota 1.9. Si A es una base para una topologa sobre X, entonces la topologa generada
por A es igual a la interseccin de todas las topologas sobre X que contienen a A. Ademas
lo mismo ocurre si A es una subbase.
1.1.2.
Topologa del orden
Denicin 1.7 (Intervalos). Supongamos que X es un conjunto con una relacin de orden <. Dados los elementos a y b, hay cuatro subconjuntos de X que se llaman intervalos
determinados por a y b. Son los siguientes:
]a, b[ = {x | a < x < b}, intervalo abierto en X.
]a, b] = {x | a < x b} y [a, b[= {x | a x < b}, intervalos semi-abiertos de X.
[a, b] = {x | a x b}, intervalo cerrado en X.
Nota 1.10. El trmino abierto en esta relacin da indicios que los intervalos abiertos en
X deberan convertirse en conjuntos abiertos cuando introduzcamos una topologa sobre
X.
Denicin 1.8 (Base topologa del orden). Sea X un conjunto, con ms de un elemento, con una relacin de orden simple. Sea B la coleccin de todos los conjuntos de los
siguientes tipos:
i) Todos los intervalos abiertos ]a, b[ en X.
ii) Todos los intervalos de la forma [a0 , b[, donde a0 es el mnimo (si lo hay) de X.
iii) Todos los intervalos de la forma ]a, b0 ] donde b0 es el mximo (si lo hay) de X.
La coleccin B es una base para una topologa sobre X, que se llama topologa del orden.
Nota 1.11. Si X no tiene elemento mnimo o elemento mximo, no existen conjuntos denidos en ii) y iii).
Ejemplo 1.10. La topologa usual sobre R, como se deni en Ejemplo 1.2, es efectivamente la topologa del orden derivada del orden usual en R.
22
Topologa General
Denicin 1.9. . Si X es un conjunto ordenado y a es un elemento de X, existen cuatro

subconjuntos de X que se llaman rayos determinados por a. Son los siguientes:
]a, +[ = {x | x > a} y ] , a[ = {x | x < a}, llamados rayos abiertos.
[a, +[ = {x | x > a} y ] , a] = {x | x < a}, denominandos rayos cerrados.
Nota 1.12. El uso del trmino abierto sugiere que los rayos abiertos en X sean conjuntos
abiertos en la topologa del orden.
Ejemplo 1.11. El rayo ]a, +). Si X tiene un elemento mximo b0 , entonces ]a, +[ es
igual al elemento bsico ]a, b0 ]. Si X no tiene elemento mximo, entonces ]a, +[ es igual
a la unin de todos los elementos bsicos de la forma ]a, x[, para x > a. En otro caso,
]a, +[ es abierto. Un argumento similar es aplicable al rayo ] , a[.
Los rayos abiertos, de hecho, forman una subbase para la topologa del orden sobre
X, como mostramos ahora. Puesto que los rayos abiertos son abiertos en la topologa del
orden, la topologa que generan est contenida en la topologa del orden. Por otro lado,
cada elemento bsico para la topologa del orden es igual a una interseccin nita de
rayos abiertos; el intervalo ]a, b[ es igual a la interseccin de ] , b[ y ]a, +[, mientras
que [a0 , b[ y ]a, b0 [ si existen, son ambos rayos abiertos. De aqu, la topologa generada por
los rayos abiertos contiene a la topologa del orden.
1.1.3.
Topologa inducida
Denicin 1.10 (Topologa inducida). Sea X un espacio topolgico con topologa T . Si

Y es un subconjunto de X la coleccin
TY = {Y U | U T }
(1.1)
es una topologa sobre Y , denominada topologa de subespacio o topologa relativa.

Denicin 1.11 (Subespacio topolgico). Llamaremos al par (Y, TY ) subespacio de (X, T ),
donde sus conjuntos abiertos cumplen con la Condicin 1.1.
23
Topologa General
Lema 1.3. Si B es una base para la topologa de X, entonces la coleccin

BY = {B Y | B B}
es una base para la topologa de subespacio sobre Y .
Demostracin:
Ver Lema 16.1 de [7].
Denicin 1.12 (Abierto relativo). Si Y es un subespacio de X, diremos que un conjunto

U es abierto en Y (o abierto relativo a Y ) si pertenece a la topologa de Y ; esto implica, en
particular, que es un subconjunto de Y . Diremos que U es abierto en X si pertenece a la
topologa de X.
Observacin 1.5. Esta denicin quita la duda al preguntarse Estamos hablando de
un elemento de la topologa de Y o de un elemento de la topologa de X?.
Lema 1.4. Sea (Y, TY ) un subespacio de (X, T ). Si U es abierto en (Y, TY ) e Y es abierto
en (X, T ), entonces U es abierto en (X, T ).
Demostracin:
Puesto que U es abierto en (Y, TY ), U = Y V para algn conjunto
V abierto en (X, T ). Como V y Y son ambos abiertos en (X, T ), tambin lo es Y V ,

entonces U es abierto en (X, T ).
Teorema 1.2. Si A es un subespacio de X y B es un subespacio de Y , entonces la topologa

producto(ver pagina 128 libro [7]) sobre A B coincide con la topologa que A B hereda
como subespacio de X Y .
Demostracin:
Ver demostracin Teorema 16.3 en [7].
Observacin 1.6. Observese que si (Y, TY ) es un subespacio de (X, T ) y (A, TA ) es un

subconjunto de (Y, TY ), entonces la topologa que A hereda como subespacio de (Y, TY ) es
la misma que la topologa que hereda como subespacio de (X, T ).
24
Topologa General
1.2
Elementos de una topologa
Denicin 1.13 (Conjunto Cerrado). Un subconjunto A de un espacio topolgico (X, T )

se dice que es cerrado si su complemento X A es abierto.
Ejemplo 1.12. En la topologa discreta sobre el conjunto X, cada conjunto es abierto y
cerrado a la vez.
Observacin 1.7. La propiedad de ser abierto o cerrado es independiente la una de la
otra. Un conjunto puede ser simultaneamente abierto y cerrado, abierto y no cerrado,
cerrado y no abierto o ninguna de las dos propiedades.
Ejemplo 1.13. Dado (R, T ) espacio topolgico con su topologa usual. Un intervalo cerrado es cerrado. Un intervalo abierto no es cerrado (al menos que sea vaco) y un intervalo
semiabierto no es ni cerrado ni abierto.
Teorema 1.3 (Cerrados). Sea (X, T ) un espacio topolgico. Se cumplen las siguientes
condiciones:
i) y X son cerrados.
ii) Las intersecciones arbitrarias de conjuntos cerrados son cerradas.
iii) Las uniones nitas de conjuntos cerrados son cerradas.
Demostracin:
Para esta demostracin basta con utilizar los complementarios y veri-
car en ellos la Denicin 1.1.

Nota 1.13. Se podra especicar perfectamente una topologa sobre un espacio dando
una coleccin de conjuntos cerrados satisfaciendo las tres propiedades del Teorema 1.3,
entonces as, denir los conjuntos abiertos como los complementos de conjuntos cerrados
y proceder exactamente igual que antes.
25
Topologa General
Denicin 1.14. Si (Y, TY ) es un subespacio de (X, T ), diremos que un conjunto A es

cerrado en (Y, TY ) si:
AY
(Y A) TY .
Teorema 1.4. Sea (Y, TY ) un subespacio de (X, T ). Entonces un conjunto A es cerrado en

(Y, TY ) s, y slo si, es igual a la interseccin de un conjunto cerrado de X con Y .
Demostracin:
Ver demostracin en Teorema 17.2 de [7].
Nota 1.14. Un conjunto A que es cerrado en el subespacio (Y, TY ) puede ser cerrado o
no en el espacio ms grande (X, T ). Como fue el caso con los conjuntos abiertos, en el
Teoreoma 1.5 se enuncia un criterio para ello.
Teorema 1.5. Sea (Y, TY ) un subespacio de (X, T ). Si A es cerrado en (Y, TY ) e Y es
cerrado en (X, T ), entonces A es cerrado en (X, T ).
Demostracin:
Si A es cerrado en (Y, TY ), tenemos que, (Y A) TY T por ser
(Y, TY ) subespacio de (X, T ), esto implica que (Y A) T , por Denicin 1.12, as A es

cerrado en (X, T ) por Denicin 1.14.
Nota 1.15. Del Teorema 1.5 podemos considerar que: si A es cerrado en (X, T ) y B es
cerrado en (Y, TY ), entonces A B es cerrado en X Y y si U es abierto en (X, T ) y A es
cerrado en (X, T ), entonces U A es abierto en (X, T ), y A U es cerrado en (X, T ).
Denicin 1.15 (Clausura e Interior de un conjunto). Dado un subconjunto A de un
espacio topolgico (X, T ).
i) El interior de A se dene como la unin de todos los conjuntos abiertos contenidos
en A.
ii) La clausura de A se dene como la interseccin de todos los conjuntos cerrados que
contienen a A.
26
Topologa General
Observacin 1.8. El interior de A se denota por Int(A) y la clausura de A se denota

mediante Cl(A) o por A. Es evidente que Int(A) es un conjunto abierto y A es un conjunto
cerrado, ms an, Int(A) A A.
Lema 1.5. Dado un subconjunto A de un espacio topolgico (X, T ). Entonces:
i) A es abierto si, y slo si A = Int(A).
ii) A es cerradosi, y slo si A = A.
Demostracin:
i). Sea A un subconjunto abierto de (X, T ). Int(A) =
quier abierto Ai A, por Denicin 1.15. Entonces A
Ai A. Por ser A un subconjunto abierto de X. Por otro lado
Ai , para cual-
Ai , para cualquier abierto
Ai = Int(A) A por ser
el interior de A. Entonces de estas dos contenciones tenemos que A = Int(A). Recprocamente como A =
Ai , para cualquier abierto Ai A. Como la unin de abiertos es un
abierto, entonces A es abierto.

Enunciado ii) esta parte se demuestra de forma anloga al i) considerando que A
es cerrado.
Observacin 1.9. Al considerar un espacio topolgico (X, T ) y un subespacio (Y, TY ), es

necesario tener cuidado al tomar clausuras de conjuntos. Si A es un subconjunto de Y , la
clausura de A en (Y, TY ) y la clausura de A en (X, T ) sern diferentes en general. En el
Teorema 1.6 se muestra como denotas en ambos casos la clausura de A.
Teorema 1.6. Sean (Y, TY ) un subespacio de (X, T ) y A un subconjunto de Y . Denotemos
por A la clausura de A en (X, T ). Entonces la clausura de A en (Y, TY ) es A Y .
Demostracin:
Denicin 1.16. Diremos que un conjunto A intersecta a un conjunto B si la interseccin

A B es no vaca.
27
Topologa General
Teorema 1.7. Sea A un subconjunto del espacio topolgico (X, T ).

i) Entonces x A si, y slo si, cada conjunto abierto U que contiene a x interseca a A.
ii) Suponiendo que la topologa de X est dada por una base, entonces x A si, y slo
si, cada elemento bsico B que contiene a x interseca a A.
Demostracin:
Nota 1.16. Se utiliza preferentemente la terminologa especial en cuanto a esto ltimo.

Abreviaremos la frase U es un conjunto abierto que contiene a x con la frase U es un
entorno de x. Aunque a veces se utiliza el trmino entorno en un sentido distinto. Dicen
que A es un entorno de X si A contiene un conjunto abierto que contiene a x.
Denicin 1.17 (Sistema de entornos). Sea (X, T ) espacio topolgico. Llamaremos sistema de entornos de x al subconjunto de T que contienen a x y lo denotaremos como Nx .
Teorema 1.8. Sea (X, T ) un espacio topolgico y A, B subconjuntos del espacio (X, T ),
entonces: (a) Si A B, entonces A B y (b) A B = A B.
Demostracin:
(a) es evidente de la Denicin 1.15, la demostracin de (b) esta en [2]
pagina 38 Lema 3.3.

Observacin 1.10. En general la propiedad no se cumple
A debido a
A = X
necesariamente un abierto.
A y
A =
A , pues
A es interseccin innita de abiertos, la cual no es
Nota 1.17. Considerando (X, T ) e (X, T ) espacios topolgicos. Sean A X y B Y , es

posible probar utilizando el Teorema 1.8 y la parte iii) del Teorema 2.7 de [5] que, en el
espacio X Y , se cumple A B = A B.
Denicin 1.18 (Punto lmite). Llamamos a x punto lmite o de acumulacin de A si, y
slo si para todo abierto U que contiene a x, entonces (U {x}) A = . Al conjunto de
puntos de acumulacin lo denotaremos por A .
28
Topologa General
Teorema 1.9. Sean A un subconjunto del espacio topolgico (X, T ) y A el conjunto de

todos los puntos lmite de A. Entonces A = A A .
Demostracin:
Ver demostracin en Proposicin 3.2 de [2].
Corolario 1.1. Un subconjunto de un espacio topolgico es cerrado si, y slo si, contiene
a todos sus puntos lmite.
Demostracin:
Sea (X, T ) un espacio topolgico y A X. Por el Teorema 1.9 tenemos
que A = A A , pero por hiptesis A A, luego A = A. Entonces A = A, as A es cerrado

por Lema 1.5.
Por otro lado, si A es cerrado entonces A = A por Lema 1.5, pero segn el Teorema 1.9 tenemos que A = A A , as A = A A , lo que implica que A A.
Denicin 1.19 (Frontera y exterior). Dados un espacio topolgico (X, T ) y un subconjunto A de X. Llamaremos:
Se dice que x X es un punto exterior de A si, y slo si, x es punto interior de X A.
El conjunto formado por todos los puntos exteriores de A se conoce como el exterior
de A y se denota por Ext(A).
Se dice que x X es un punto frontera de A si, y slo si, x A Int(A). Al conjunto
de puntos frontera de A se le denomina frontera de A y se denota por F r(A).
De otro modo:
Ext(A) = Int(X A)
F r(A) = A Int(A)
Teorema 1.10. Si (X, T ) es un espacio topolgico y A X, entonces:

i) X F r(A) = Int(A) Ext(A).
ii) X = Int(A) F r(A) Ext(A).
iii) A = A F r(A) = Int(A) F r(A).

iv) Int(A) = A F r(A).
29
Topologa General
v) A es cerrado, si y slo si F r(A) A.

vi) A es abierto, si y slo si A F r(A) = .
Teorema 1.11. Si (X, T ) es un espacio topolgico y A, B X, entonces:

i) F r() = F r(X) =
ii) F r(A) = F r(X A)
iii) F r(F r(A)) F r(A)

iv) F r(A B) = F r(A) F r(B)
Para ver las demostraciones de los Teoremas 1.10 y 1.11 ver en [10] paginas 10 y
11.
30
C APTULO
C ONTINUIDAD
2.1
DE FUNCIONES
Funciones continuas
Denicin 2.1 (Funcin continua). Sean (X, TX ) e (Y, TY ) espacios topolgicos. Una funcin f : X Y se dice que es continua si para cada abierto V de Y , el conjunto f 1 (V )
es un abierto de X.
Nota 2.1. f 1 (V ) es el conjunto de todos los puntos x de X para los que f (x) V ; es vaco
si V no intersecta al conjunto imagen f (X) de Y .
Nota 2.2. La continuidad de una funcin depende no slo de la propia funcin f , sino
tambin de las topologas especicadas para su dominio y recorrido. Si deseamos resaltar
este hecho, podemos decir que f es contnua relativa a las topologas especcas sobre X e
Y.
Ejemplo 2.1. Consideremos el espacio topologico de los nmeros reales R y el espacio
topolgico de Sorgenfrey R como en el Ejemplo 1.6. Sea
f : R R
la funcin identidad: f (x) = x para cada nmero real x. Entonces f no es una funcin
continua; la imagen inversa del conjunto abierto [a, b[ de Rl es l mismo, que no es abierto
en R.
Teorema 2.1. Sea f : X Y , donde TY esta dada por su base B. f es continua si
f 1 (B ) es abierto para todo B B.
31
Continuidad de funciones
Nota 2.3. Si la topologa sobre Y est dada por una subbase S, para probar la continuidad de f ser suciente demostrar que la imagen inversa de cada elemento de la subbase
es abierta.
Observacin 2.1. Que en una funcin continua f : X Y la imagen inversa f 1 (U )
sea un abierto en general no implica que f (f 1 (U )) sea un abierto.
Nota 2.4. Nuestra Denicion 2.1 es equivalente a la denicin utilizando y , en espacios mtricos, este resultado queda enunciado en el Teorema 2.11.
Ejemplo 2.2. Sean (X, TX ) e (Y, TY ) espacios topolgicos arbitrarios. Para cada c Y
jo, la funcin constante, es decir f : X Y con f (x) = c para todo x X, es continua.
Puesto que, dado cualquier subconjunto V de Y ,
f 1 (V ) =
, si y
/V
X, si y V.
Ejemplo 2.3. Sea Y = [0, 1] [0, 1] con la topologa del orden lexicogrco (descrita por
la base B = {]a, b[, [m, b[, ]a, M ]; a, b Y, con a < b}, donde m es el mnimo del intervalo y
M es el maximo del intervalo) y X = [0, 1] con la topologa usual, f : X Y , denida
por f (t) = (t, t2 ), no es continua. Tomando por ejemplo, la vertical U =
tiene f 1 (U ) =

1
2
que no es abierto. (Vea gura 2.1)
1
2, 0
1
2, 1
se
Figura 2.1: Funcin f : X Y .

Ejemplo 2.4. Sean R espacio de Sorgenfrey y R el espacio topolgico real. Si fi : R
R, i = 1, 2, 3 denida por:
32
fi (x) =
, para x = 0
|x|
(1)i1 , para x = 0
Entonces f1 y f2 no son continuas, pues

f11
1 1
2, 2
= {1}
f21 (] 2, 0[) = ] , 0]
no son abiertos en R pero f3 s lo es, porque al tomar un abierto cualquiera B = ]a, b[

elemento de la base de R tenemos que f31 (]a, b[) = {, [0, +[, ] , 0[, R} si. (Vea gura 2.2)
Figura 2.2: Grcas de funciones f1 , f2 y f3 , en ese orden de izquierda a derecha.

Nota 2.5. Si las topologas o los conjuntos se complican, nuestra intuicin acerca de la
continuidad se pierde, vea el siguiente ejemplo:
Ejemplo 2.5. Sea X =
1
n
: n Z+ , con la topologa usual de R e Y un espacio topol-
gico cualquiera, denimos f : X Y como f (n) = (1)n n, donde f es continua. Basta

recordar que la topologa usual en X es discreta, as que sea cual sea f 1 (U ) ser abierto,
pues cualquier subconjunto de X es abierto.
Nota 2.6. En general el hecho del Ejemplo 2.5 se puede generalizar, es decir: Si X es
un conjunto cualquiera dotado con la topologa discreta e (Y, TY ) es cualquier espacio
topolgico, entonces toda funcin f : X Y es continua.
Ejemplo 2.6. Sean Y un conjunto cualquiera dotado con la topologa indiscreta (I =
{, Y }), (X, T ) cualquier espacio topolgico y f : X Y cualquier funcin. Dado que el
nico abierto no vaco en I es Y y f 1 (Y ) = X, entonces la funcin f es continua.
33
Denicin 2.2 (Metrizabilidad). Diremos que un espacio topolgico (X, T ) es metrizable

si existe una distancia d denida sobre X, tal que T coincide con Td . (Ver Teorema 2.5)
Ejemplo 2.7. La topologa discreta sobre cualquier conjunto X, es metrizable y la distancia asociada es la distancia discreta.
Nota 2.7. Todo espacio mtrico es de Hausdorff y no todo espacio topolgico es Hausdorff
(Un espacio topolgico X es un espacio de Hausdorff, si para todo par x1 , x2 de puntos
distintos de X, existen entornos U1 y U2 de x1 y x2 , respectivamente, que son disjuntos), en
otras palabras:
Todo espacio mtrico es un espacio topolgico, pero en general no todo espacio topolgico
es espacio mtrico.
Ejemplo 2.8. El conjunto de los nmero reales con la topologa TC , descrita en el Ejemplo 1.1, no es un espacio de mtrico, pues en la recta real al considerar 0 y 1 no es posible
encontrar entornos U0 y U1 que sean disjuntos.
Teorema 2.2. Sean (X, TX ) e (Y, TY ) espacios topolgicos; sea f : X Y . Entonces son
equivalentes:
i) f es continua.
ii) Para cada subconjunto A de X, se tiene que f (A) f (A).
iii) Para cada conjunto cerrado B de Y , el conjunto f 1 (B) es cerrado en X.
iv) Para cada x X y cada entorno V de f (x), existe un entorno U de x tal que f (U )
V.
Si se cumple la condicin iv) para el punto x de X diremos que f es continua en el punto
x.
Demostracin:
Ver demostracin en [7] teorema 18.1.

34
Observacin 2.2. Del Teorema 2.2 podemos deducir utilizando el apartado ii) que f 1 (B)
f 1 (B), para cada B Y , pues, sea B ser un conjunto arbitrario de Y y sea A = f 1 (B),
entonces, por ii), tenemos f (A) f (A) B. Esto implica que A f 1 (B). Es decir,
f 1 (B) f 1 (B).
2.1.1.
Construccin de funciones continuas
Teorema 2.3 (Reglas para construir funciones continuas). Sean X, Y y Z espacios topolgicos.
i) (Funcin constante) si f : X Y enva todo punto de X a un mismo punto y0 de
Y , entonces f es continua.
ii) (Inclusin) si A es un subespacio de X, la funcin inclusin j : A X es continua.
iii) (Composicin) si f : X Y y g : Y Z son continuas, entonces la aplicacin
g f : X Z es continua.
iv) (Restriccin del dominio) si f : X Y es continua y A es un subespacio de X,
entonces la funcin restrngida f |A : A Y es continua.
v) (Restriccin o extensin del recorrido) sea f : X Y continua. Si Z es un subespacio de Y que contiene al conjunto imagen f (X) entonces la funcin g : X Z,
obtenida al restringir el rango de f , es continua. Si Z es un espacio con Y como
subespacio, entonces la funcin h : X Z, obtenida al extender el recorrido de f ,
es continua.
vi) (Formulacin local de continuidad) la aplicacin f : X Y es continua si X se
puede escribir como la unin de conjuntos abiertos U tales que f |U es continua
para cada .
Demostracin:
Ver en [7] Teorema 18.2.

35
Teorema 2.4 (Lema del pegamiento). Sea X = A B, donde A y B son cerrados en

X. Sean f : A Y y g : B Y continuas. Si f (x) = g(x) para cada x (A B),
entonces f y g se combinan para dar una funcin continua h : X Y , denida mediante
h(x) = f (x) si x A y h(x) = g(x) si x B.
Demostracin:
Sea C un subconjunto cerrado de Y . Tenemos que

h1 (C) = f 1 (C) g 1 (C).
Puesto que f y g son continua, f 1 (C) y g 1 (C) son cerrados en A y B por el Teorema 2.2 y por ello es cerrado en X. Su unin h1 (C) es cerrada en X.
Ejemplo 2.9. Sea [0, 1] R con su topologa usual y sea (X, T ) otro espacio topologco.
Dadas dos funciones continuas f : [0, 1] X, g : [0, 1] X, con f (1) = g(0), consideremos
f (2t), para 0 t 1
2
H(t) =
g(2t 1), para 1 t 1

2
Del Teorema 2.3 tenemos que como 0, 12 y
1
2, 1
y cada parte de la denicin es con-
tinua, entonces H tambien lo es. Veamos la notacin empleada en el Teorema 2.3 apartado
vi):
X = [0, 1], A = 0, 21 , B =
1
2, 1
, H|A (t) = f (2t) y H|B (t) = g(2t 1).
Observacin 2.3. El teorema 2.3 tambin se cumple si A y B son conjuntos abiertos en

X: este es, precisamente, un caso especial de este resultado.
2.1.2.
Homeomorsmos
Denicin 2.3 (Homeomorsmo). Sean (X, TX ) e (Y, TY ) espacios topolgicos y sea f :

X Y una biyeccin. Si la funcin f y su inversa f 1 : Y X son continuas, entonces
f se dice que es un homeomorsmo y (X, TX ) e (Y, TY ) espacios topolgicos homeomorfos.
36
x
.
1 + |x|
La funcin f es continua, uno a uno y sobreyectiva, adems su inversa, denida por
t
, para t ] 1, 1[ tambin es una funcin continua. La funcin f con estas
f 1 (t) =
1 + |t|
caractersticas nos permite pasar del espacio topolgico R al espacio topolgico ] 1, 1[
Ejemplo 2.10. Consideremos la funcin f : R ] 1, 1[ denida por f (x) =
sin perder informacin alguna. En otras palabras, gracias a la funcin f , conocemos la

topologa de uno de los espacios una vez conocemos la topologa del otro.
Diremos que R y el intervalo ] 1, 1[ son homeomorfos y que la funcin f es un
homeomorsmo.
Nota 2.8. En el fondo, aunque los dos espacios son en apariencia distintos, son el mismo
espacio. Los conjuntos abiertos, cerrados, las adherencias, los interiores o los puntos de
acumulacin en uno de los espacios tienen su contraparte en el otro y la funcin f es el
puente para pasar de uno de los espacios al otro.
Observacin 2.4. La condicin que f 1 sea continua signica que, para cada conjunto
abierto U de X, la imagen inversa de U mediante la aplicacin f 1 : Y X es abierta
en Y . Sin embargo, la imagen inversa de U mediante la aplicacin f 1 es la misma que
la imagen de U mediante la aplicacin f (vase la Figura 2.3).
Figura 2.3: Grco denicin Homeomorsmo.

Ejemplo 2.11. La funcin seno denina en
sen :
0,
2
]0, 1[
es un homeomorsmo, ya que restringida a estos intervalos con su topologa usual es

37
biyectiva y tambin es continua su aplicacin inversa
arcsen : ]0, 1[ ]0, /2[

(vase la Figura 2.4).
Figura 2.4: El sen(x) es un homeomorsmo entre 0, 2 y ]0, 1[.
Nota 2.9. La condicin que f 1 sea continua demuestra que un homeomorsmo f : X

Y proporciona una correspondencia biyectiva, no slo entre X e Y , sino entre las colecciones de conjuntos abiertos de X y las de Y . Como resultado, cualquier propiedad de X que
se exprese completamente en trminos de la topologa de X nos da, va la correspondencia
f , la propiedad correspondiente para el espacio Y .
Nota 2.10. Podemos reescribir la Denicin 2.3 como: Un homeomorsmo es una correspondencia biyectiva f : X Y , entonces f (U ) es abierto si, y slo si, U es abierto.
Ejemplo 2.12. Sea R espacio topolgico real. Si f : R R es una funcin sobreyectiva

y estrictamente creciente (esto es, si x < y implica f (x) < f (y)), entonces f es un homeomorsmo. En efecto, f es uno a uno por ser estrictamente creciente. Adems, si w < z se
38
tiene que f 1 (w) < f 1 (z). Sean a < b. Se tiene
x f 1 (]a, b[) f (x) ]a, b[

a < f (x) < b
f 1 (a) < x < f 1 (b)
x (f 1 (a), f 1 (b)),
luego f 1 (]a, b[) = (f 1 (a), f 1 (b)). Esto prueba que f es continua. De la misma forma se
prueba que f 1 es una funcin continua.
Denicin 2.4 (Embebimiento topolgico). Llamaremos a la funcin f : X Y un
embebimiento topolgico, si ocurre que f : X Z es un homeomorsmo, donde Z es un
subespacio de Y .
Ejemplo 2.13. La funcin biyectiva f : X Y puede ser continua sin ser un homeomorsmo. Pues al considerar la funcin semejante a la aplicacin identidad g : R R
utilizada en el Ejemplo 2.1. Ahora la siguiente denotaremos por S 1 a la circunferencia
unidad
S 1 = {(x, y) : x2 + y 2 = 1}
considerado como subespacio del plano R2 y sea
F : [0, 1[ S 1 ,
la aplicacin denida por F (t) = (cos 2t, sen 2t). El hecho de que F sea biyectiva y
continua se sigue de propiedades de las funciones trigonomtricas. Pero la funcin F 1
no es continua. La imagen mediante F del conjunto abierto U = [0, 1/4[ del dominio, por
ejemplo, no es abierta en S 1 , puesto que el punto p = F (0) no pertenece a ningn conjunto
abierto V de R2 tal que V S 1 F (U ) (vea la Figura 2.5). As g no es un Embebimiento.
39
Figura 2.5: F no es un Homeomorsmo ni un embebimiento.

Ejemplo 2.14. Consideremos el conjunto C = {0, 1, 2} con la topologa TC = {, {0}, C}.
Al espacio (C, TC ) lo llamaremos espacio Sierpinsky de tres puntos.
Sean (X, T ) un espacio topologco cualquiera y consideremos el espacio producto
CA , donde CA = C para cada A P (X).
AP (X)
Para cada x X denimos la funcin f (x) = x

como:
x
: P (x)
CA
AP (X)
A x
(A) =
0, si x Int(A)
1, si x F r(A) A
2, si x
/ A.
Veamos que la funcin f : X
CA es un embebimiento topolgico. Con este
AP (X)
n veamos que f es una funcin continua, abierta sobre su imagen e inyectiva. Ver detalle
en [8] Ejemplo 4.3.4.
Ejemplo 2.15. Sea R con su topologa usual. Consideremos funcin f : R R dada por
f (x) = 3x + 1 es un homeomorsmo. Si denimos g : R R mediante la ecuacin g(y) =
1
(y 1), entonces se puede comprobar fcilmente que f (g(y)) = y y que g(f (x)) = x para
3
todos los nmeros reales x e y. Se sigue que f es biyectiva y que g = f 1 ; la continuidad
de f y g es un resultado familiar de clculo.
Observacin 2.5. La relacin denida en los espacios topolgicos por X Y si y slo si X y Y son homeomorfos es una relacin de equivalencia. Esto justica el hecho de
que veamos dos espacios topolgicos homeomorfos como el mismo espacio. La relacin de
homeomorsmos nos permite conocer un espacio topolgico por sus caractersticas rele40
vantes o invariantes topolgicos (aquellas que lo hacen nico) y no por los nombres de sus
elementos.
2.1.3.
Topologa mtrica
Denicin 2.5 (Distancia). Una distancia en un conjunto X es una funcin

d : X X R
que satisface las siguientes propiedades:
i) d(x, y) 0 para todos x, y X; d(x, y) = 0 si, y slo si, x = y.
ii) d(x, y) = d(y, x) para todos x, y X.
iii) d(x, y) + d(y, z) d(x, z) para todos x, y, z X.
Denicin 2.6 (Espacio mtrico). Al conjunto X dotado de una distancia d lo llamaremos Espacio Mtrico y lo denotaremos por (X, d).
Nota 2.11. Dada una distancia d en X, el nmero d(x, y) se llama a menudo distancia
entre x e y en la distancia d.
Denicin 2.7 (Bola abierta). Dado > 0, consideremos el conjunto
Bd (x, ) = {y : d(x, y) < }
de todos los puntos y cuya distancia a x es menor que , que se denomina bola abierta de
radio centrada en x.
Nota 2.12. No usaremos la distancia d de la notacin anterior y escribiremos esta bola
simplemente como B(x, ), cuando no exista problema de confusin.
Teorema 2.5 (Topologa inducida por una mtrica). Si d es una distancia en el conjunto
X, entonces la coleccin de todas las bolas abiertas Bd (x, ) de radio , para x X y > 0,
es una base para una topologa sobre X, denominada topologa mtrica inducida por d.
41
Demostracin:
Vericaremos el Teorema 1.1. La primera condicin se cumple, puesto
que x B(x, ), para cualquier > 0. Antes de continuar con la segunda condicin del
Teorema 1.1, demostraremos que si y es un punto del elemento basico B(x, ), entonces
existe un elemento bsico B(y, ) centrado en y que est contenido en B(x, ). Denamos
como el nmero positivo d(x, y). Entonces B(y, ) B(x, ), por lo que si z B(y, ),
entonces d(y, z) < d(x, y), con lo que concluimos que:
d(x, z) d(x, y) + d(y, z) < .
Ahora la condicin ii) del Teorema 1.1, acabamos de mostrar que podemos elegir
dos nmeros positivos 1 y 2 de tal modo que B(y, 1 ) B1 y B(y, 2 ) B2 . Escogiendo
un mn{1 , 2 ), por lo que B(y, ) B1 B2 .
Nota 2.13. Denotaremos al espacio con una topologa inducida por una distancia d como
(X, Td ).
Teorema 2.6. Sea U un conjunto en un espacio con una topologa inducida por d. El
conjunto U es abierto en la topologa mtrica inducida por d si, y slo si, para cada y U
existe > 0 tal que Bd (y, ) U .
Demostracin:
Supongamos que y U , entonces existe > 0 tal que Bd (y, ) U ,
pues, la unin de abiertos es abierto, entonces U es abierto. Recprocamente, si U es

abierto, contiene un elemento bsico B = Bd (x, ) que contiene a y, y B, a su vez, contiene
un elemento bsico Bd (y, ).
Ejemplo 2.16. Dado un conjunto X, denimos la una distancia d como:

d(x, y) =
1, si x = y
0, si x = y
42
La topologa que induce es la llamada topologa discreta; el elemento bsico B(x, ) con
< 1, por ejemplo, consiste nicamente en el punto x.
Ejemplo 2.17. La distancia usual sobre los nmeros reales R est denida por:
d(x, y) = |x y|.
La topologa que induce es la misma que la topologa del orden: cada elemento ]a, b[ bsico
para la topologa del orden es un elemento bsico para la topologa mtrica; efectivamente,
]a, b[ = B(x, )
(b a)
(a + b)
y=
. Y recprocamente, cada bola B(x, ) de radio es igual a
2
2
un intervalo abierto: el intervalo ]x , x + [.
donde x =
Nota 2.14. La metrizabilidad (ver Denicin 2.2) de un espacio depende solamente de la

topologa del espacio en cuestin, pero no, en general, de las propiedades que implica una
distancia especca para X.
Ejemplo 2.18. Si (X, T ) es un espacio topolgico con la topologia indiscreta, es decir,
T = {, X}, esta topologa no proviene de una distancia pues no verica la Propiedad de
Hausdorff (ver Nota 2.7). As (X, T ) no es metrizable.
Ejemplo 2.19. Sea X un espacio mtrico con una distancia d. Un subconjunto A de X se
dice que est acotado si existe algn nmero M R tal que
d(a1 , a2 ) < M
para todo par a1 , a2 de puntos de A. Si A es un conjunto acotado y no vaco, el dimetro
de A se dene como el nmero
Dim A = sup{d(a1 , a2 ) | a1 , a2 A}.
Nota 2.15. La acotacin de un conjunto no es una propiedad topolgica, porque depende
de la distancia particular d que se use para X.
43
Ejemplo 2.20. Por ejemplo, si X es un espacio mtrico con distancia d, entonces existe
una distancia d que da la topologa de X, relativa a la cual cada subconjunto de X est
acotado.
Teorema 2.7. Sea X un espacio mtrico con una distancia d. Se dene
d : X X R
(x, y) d(x, y) = mn{d(x, y), 1}
Entonces d es una distancia que induce la misma topologa que d y la distancia d se
denomina distancia acotada correspondiente a d.
Demostracin:
Ver demostracion Teorema 20.1 en [7].
Observacin 2.6. Sobre la recta real R = R1 , estas dos distancias coinciden con la
distancia usual de R.
Nota 2.16. En el plano R2 , los elementos bsicos para d son regiones circulares, mientras
que los elementos bsicos para d son regiones cuadradas. (ver gura 2.6)
Figura 2.6: Bd (x0 , ) y Bd (x0 , ) elementos bsicos de las topologas inducidad por d y d.
Lema 2.1. Sean d y d dos distancias sobre el conjunto X, y T y T las topologas que
inducen, respectivamente. Entonces T es ms na que T si, y slo si, para cada x en X y
cada > 0, existe un > 0 que depende de tal que
Bd (x, ) Bd (x, )
44
(2.1)
Demostracin:
Ver demostracin Lema 20.2 en [7].
Denicin 2.8 (Equivalentes). Sean las topolgias T y T inducidas por las distancias
d y d sobre el conjunto X. Diremos que T y T son equivalentes si, y slo si, para cada x
en X y cada > 0, existe un > 0 que depende de tal que
Bd (x, ) Bd (x, )
Bd (x, ) Bd (x, )
Teorema 2.8. Las topologas sobre Rn inducidas por la distancia eucldea d y la distancia del supremo son la misma que la topologa producto sobre Rn .
Demostracin:
Ver demostracion Teorema 20.3 en [7].
Nota 2.17. Consideraremos el producto cartesiano innito R , al generalizar las distancias d y a este espacio podemos intentar denir una distancia d, sobre R por
d(x, y) =
i=0
1
2
(xi yi )
(2.2)
Pero esta identidad no siempre tiene sentido, puesto que las series no tienen por qu
ser convergentes.
Denicin 2.9 (La distancia uniforme). Dado un conjunto de ndices J y puntos dados
x = (x )J e y = (y )J de RJ denimos una distancia sobre RJ por
(x, y) = sup{d(x , y ) | J}
donde d es la distancia acotada sobre R. Se denomina distancia uniforme sobre RJ y la
topologa que induce se denomina topologa uniforme.
Ejemplo 2.21. Consideremos la distancia del supremo en R y deniendo:
(x, y) = sup{|xn yn |}.
Esta frmula no siempre tiene sentido. Si, an as, reemplazamos la distancia usual
d(x, y) = |x y| en R por su homloga acotada, d(x, y) = mn{|x y|, 1}, entonces esta
denicin tiene sentido; da una distancia en R que verica la Denicion 2.9.
45
Teorema 2.9 (Relacin T. Uniforme, T. producto y T. por cajas). La topologa uniforme

sobre RJ es ms na que la topologa producto y ms gruesa que la topologa por cajas.
Demostracin:
Teorema 2.10. Sea d(a, b) = mn{|a b|, 1} la distancia acotada usual sobre R. Si x e y
son dos puntos denimos
D(x, y) = sup
d(xi , yi )
.
i
Entonces D es una distancia que induce la topologa producto sobre R .

Demostracin:
Nota 2.18. Si A es un subespacio del espacio topolgico X y d es una distancia para X,

entonces la restriccin de d a A A es una distancia para la topologa de A.
Nota 2.19. Es cierto, en general, que los productos numerables de espacios metrizables
son metrizables; la demostracin sigue un estilo similar a la prueba para R .
Teorema 2.11 (Continuidad Puntual). Sean (X, T ) y (Y, T ) espacios topolgicos metrizables con distancias dX y dY y sea f : X Y . Entonces f es continua si, y slo si dado
> 0, existe > 0 tal que
x X, dX (x, y) < = dY (f (x), f (y)) <

Demostracin:
(2.3)
Supongamos que f es continua. Dados x y , consideremos el conjunto

f 1 (BdY (f (x), )) abierto en X y contiene a x.
Adems contiene alguna bola BdX (x, ). Si y BdX (x, ), entonces f (y) BdY (f (x), ).
Recprocamente, supongamos se cumple la Condicin 2.3. Sean V Y abierto y
x f 1 (V ). Puesto que f (x) V , existe BdY (f (x), ) V . Por la Condicin 2.3, existe
BdX (x, ) tal que f (BdX (x, )) BdY (f (x), ). Entonces BdX (x, ) f 1 (V ) es abierto.
46
Ejemplo 2.22. Sea R mtrico con la distancia usual. Si f : R R y esta denida

como f (x) = x2 , demostrar su continuidad sin usar la denicin consiste segn el
Teorema 2.1 en mostrar que para cualquier B = ]a, b[ elemento bsico de la base de R su
imagen inversa f 1 (B) = {x R : a < f (x) < b}, con a < b, es un abierto. En este proceso
consideramos los tres posibles casos, es decir, a < b < 0, a < 0 < b y 0 < a < b. (vea las
Figuras 2.7, 2.8, 2.9)
As, con cualquier B = ]a, b[ con a < b, abierto en R, tenemos que
f 1 (B) = {]
b, a[ ] b, a[, ] b, b[, }
en todos esos casos f 1 (B) es abierto. Por lo que en virtud del Teorema 2.1 f es continua.
Figura 2.7: Funcin f : R R, cuando a < b < 0.
Figura 2.8: Funcin f : R R, cuando a < 0 < b.
47
Figura 2.9: Funcin f : R R, cuando 0 < a < b.
2.2
Relacin de convergencia y clausura en un conjunto.
Denicin 2.10 (Convergencia de Moore-Smith). Sea (X, T ) un espacio topolgico. Se

dice que la sucesin {xn } en X, denida como xn : Z+ X, converge a x si, para
todo U Nx (Ver Denicin 1.17), existe un n0 Z+ tal que xn U para todo n n0 .
Denotaremos la sucesin xn es convergente a x como xn x.
Ejemplo 2.23. Sea (X, d) espacio metrco. La sucesin {xn } converge a x, si para todo
B x, n1 existe n0 tal que xn B x, n1 , pues, si n n0 ,

1
xn B x,
n0
1
B x,
.
n
Lema 2.2 (El lema de la sucesin). Sea (X, T ) un espacio topolgico y sea A X. Si
existe una sucesin de puntos de A que converge a x, entonces x A.
Demostracin:
Supongamos que xn x, donde xn A. Entonces cada entorno U de
x contiene un punto de A, por lo que x A por el Teorema 1.7.
Observacin 2.7. El recproco de este teorema se cumple si el espacio X es metrzable,

pues, supongamos que X es metrizable y que x A. Sea d una distancia para la topologa
1
y elijamos xn como
de X. Para cada n Z+ , tomemos el entorno Bd x, n1 de radio
n
48
el punto de su interseccin con A. Armamos que la sucesin xn converge a x: cualquier

conjunto abierto U que contenga a x contiene una bola Bd (x, ) centrada en x; si elegimos
1
< , entonces U contiene a xi , para todo i > N .
N de forma que
N
Teorema 2.12. Sean (X, T ) e (Y, T ) espacios topolgicos y sea f : X Y . Si la funcin
f es continua, entonces para cada sucesin convergente xn x en X, la sucesin f (xn )
converge a f (x).
Demostracin:
Supongamos que f es continua. Dada xn x, queremos probar que
f (xn ) f (x). Sea V un entorno de f (x). Entonces f 1 (V ) es un entorno de x y por lo

tanto existe un N tal que xn f 1 (V ) para n N . Entonces, f (xn ) V para n N .
Observacin 2.8. El recproco se cumple si X es metrizable, pues, supongamos que la

condicin de sucesin convergente se satisface. Sea A un subconjunto de X vamos a demostrar que f (A) f (A). Si x A, entonces existe una sucesin xn de puntos de A que
converge a x por el Lema 2.2. Por hiptesis, la sucesin f (xn ) converge a f (x). Puesto que
f (xn ) f (A), el lema anterior implica que f (x) f (A). De aqu f (A) f (A).
Nota 2.20. En las demostraciones del Lema 2.2 y el Teorema 2.12, no hemos utilizado en
su totalidad la hiptesis de que el espacio X es metrizable. Todo lo que necesitbamos en
realidad era la coleccin numerable de Bd x, n1 .

Denicin 2.11. Un espcio X se dice que tiene una base numerable en el punto x si
existe una coleccin numerable {Un }nZ+ de entornos de x tales que cualquier entorno U
de x contiene al menos uno de los conjuntos Un .
Denicin 2.12 (Numerabilidad). Un espacio X que tiene una base numerable en cada
uno de sus puntos se dice que satisface el primer axioma de numerabilidad. Si X tiene una
base numerable {Un } en x, entonces la prueba del Lema 2.2 sigue valiendo; simplemente
se reemplaza la bola Bd x, n1 por el conjunto

49

Bn = U1 U2 . . . Un .
La prueba del Teorema 2.12 es vlida sin ningn cambio.

Nota 2.21. Un espacio metrizable siempre satisface el primer axioma de numerabilidad,
pero el recproco no es cierto.
Ejemplo 2.24. Sea X con la topologa indiscreta T . El espacio topolgico (X, T ) satisface el axioma de numerabilidad, pero no es metrizable, pues no cumple el axioma de
Hausdorff.
Observacin 2.9. Como el axioma de Hausdorff, el primer axioma de numerabilidad es
una condicin que algunas veces se impondremos sobre un espacio topolgico para probar
teoremas ms fuertes sobre el espacio.
Denicin 2.13 (Convergencia uniforme). Sean (X, T ) un espacio topolgio e (Y, d) un
espacio mtrico y sea fn : X Y una sucesin de funciones. Diremos que la sucesin
(fn ) converge uniformemente a la funcin f : X Y si, dado > 0, existe un entero N
tal que
d(fn (x), f (x)) < , n > N y x X.
Nota 2.22. La diferencia entre la continuidad uniforme y puntual radica que la puntual
el para todo x X de la denicin 2.13 se cambia por un para cada x X, decir al
mantener jo es perfectamente posible que no exista algun n0 que sirva simultaneamente
para todo x X.
Ejemplo 2.25 (Convergencia puntual). Dado un conjunto X R, sea (an ) una sucesin
de nmeros reales con lm an = a y g : X R una funcin. Consideremos la sucesin
n
de funciones
fn : X R
x fn (x) = an g(x)
y una funcin denida:
f : X R
x f (x) = a g(x)
50
Para cada x X tenemos que lm fn (x) = f (x) = lm [an g(x)] = a g(x) = f (x), as la
n
sucecin fn converge puntualmente en X para cada funcin f = ag. Como caso particular
x
consideremos la sucesin fn (x) = converge puntualmente a 0 para todo x R.
n
Nota 2.23. La convergencia uniforme depende no slo de la topologa de Y , sino tambin
de su distancia.
Teorema 2.13 (El teorema del lmite uniforme). Sean (X, T ) espacio topolgico, (Y, d)
espacio mtrico y fn : X Y una sucesin de funciones continuas. Si {fn } converge
uniformemente a f , entonces f es continua.
Demostracin:
Demostracin en [7] Teorema 21.6.
Observacin 2.10. Sea espacio RX de todas las funciones f : X R; en la distancia

uniforme . Se demuestra que la sucesin de funciones fn : X R converge uniformemente a f si, y slo si, la sucesin {fn } converge a f cuando se consideran como elementos
del espacio mtrico (RX , ).
Ejemplo 2.26. R con la topologa por cajas no es metrizable. Probaremos que el lema
de la sucesin no se cumple para R . Sea A el subconjunto de R formado por aquellos
puntos cuyas coordenadas son todas positivas:
A = {(x1 , x2 , . . .) | xi > 0 para todo i Z+ }.
Sea 0 el origen en R , esto es, el punto (0, 0, . . .) con cada una de sus coordenadas cero.
En la topologa por cajas, 0 pertenece a A; por lo que si
B = ]a1 , b1 [ ]a2 , b2 [
es cualquier elemento bsico que contiene a 0, entonces B interseca a A. Por ejemplo, el
punto
b1 b2
, ,...
2 2
51
pertenece a B A.
Pero armamos que no existe sucesin alguna de puntos de A que converja a 0. Sea
(an ) una sucesin de puntos de A, donde
an = (x1n , x2n , . . . , xin , . . .).
Cada coordenada xin es positiva, por lo que podemos construir un elemento bsico
B para la topologa por cajas sobre R haciendo
B = ] x11 , x11 [ ] x22 , x22 [
Entonces B contiene al origen 0, pero no contiene trmino alguno de la sucesin
(an ); el punto an no puede pertenecer a B porque su coordenada n-sima xnn no pertenece
al intervalo (xnn , xnn ). De aqu se deduce que la sucesin (an ) no puede converger a 0 en
la topologa por cajas.
Ejemplo 2.27. Un producto no numerable de R consigo mismo no es metrizable, pues,
sea J un conjunto de ndices no numerable; probaremos que RJ no satisface el lema de la
sucesin.
Sea A el subconjunto de RJ formado por todos los puntos (z ) tales que x = 1 para
todos los valores de excepto para un nmero nito. Sea 0 el origen de RJ , es decir,
0 = (0, 0, . . .).
Armamos que 0 pertenece a la clausura de A. Sea
U un elemento bsico con-
teniendo a 0. Entonces U = R nicamente para un nmero nito de , digamos para

= 1 , ..., n . Sea (x ) el punto de A denido al hacer xa = 0 para a = a1 , ..., an y x = 1
para el resto de valores de ; entonces (x ) A
U .
Pero no existe sucesin alguna de puntos de A que converja a 0. Sea an una sucesin
de puntos de A. Dado n, denotemos por Jn al subconjunto de J formado por aquellos
ndices para los cuales la coordenada -sima de an es distinta de 1. La unin de todos
los conjuntos Jn es una unin numerable de conjuntos nitos y, por tanto, es numerable.
Puesto que el propio J es no numerable, existe un ndice en J, digamos , que no pertenece
52
a ningn Jn . Esto signica que para cada uno de los puntos an , su coordenada -sima
es igual al 1.
Sea ahora U el intervalo abierto ] 1, 1[ R y sea U el conjunto abierto 1 (U )
en RJ . El conjunto U es un entorno de 0 que no contiene ninguno de los puntos de an , por
consiguiente, la sucesin an no puede converger a 0.
53
54
C APTULO
C ONEXIDAD
Y COMPACIDAD
En el clculo elemental existen tres teoremas bsicos acerca de funciones continuas sobre los que se apoyan la mayora de resultados que encontramos en ste. Son los
siguientes:
Teorema 3.1 (Teorema del valor intermedio). Si f : [a, b] R es continua y r es un
nmero real comprendido entre f (a) y f (b)y entonces existe un elemento c [a, b] tal que
f (c) = r.
Teorema 3.2 (Teorema del valor mximo). Si f : [a, b] R es continua, entonces existe
un elemento c [a, b] tal que f (x) < f (c) para cada x [a, b].
Teorema 3.3 (Teorema de la continuidad uniforme). Si f : [a, b] R es continua,
entonces dado > 0, existe > 0 tal que |f (x1 ) f (x2 )| < para cada par de nmeros
x1 , x2 de [a, b] vericando |x1 x2 | < .
Nota 3.1. El Teorema 3.1 se emplea para construir funciones inversas, tales como
xy
arc sen x; el Teorema 3.2 se utiliza para probar el teorema del valor medio para derivadas,
adems para demostrar que dos funciones continuas sobre un mismo intervalo toman el
mismo valor en al menos un punto del intervalo. El Teorema 3.3 se utiliza, entre otras,
para demostrar que cada funcin continua es integrable.
Observacin 3.1. Los Teoremas 3.1, 3.2 y 3.3 pueden ser considerados como teoremas
sobre funciones denidas en intervalos cerrados [a, b] R. Este hecho es realmente decisivo ya que los tres teoremas dependen no slo de la continuidad de f , sino tambin de
ciertas propiedades que satisface el espacio topolgico [a, b].
55
Conexidad y compacidad
Nota 3.2. Las nociones de conexin y compacidad son fundamentales e imprescindibles

en anlisis, geometra y topologa de hecho, lo son en cualquier contexto en el que la nocin
de espacio topolgico sea en s misma relevante.
3.1
Espacios conexos
Denicin 3.1 (Conexidad). Sea (X, T ) un espacio topolgico. Una separacin de X es

un par U , V de abiertos disjuntos no triviales de (X, T ) cuya unin es X.
Denicin 3.2 (Espacio Conexo). El espacio (X, T ) se dice que es conexo si no existe una
separacin de (X, T ).
Nota 3.3. Llamaremos al espacio topolgico conexo (X, T ) con el nombre de Espacio
conexo X, es decir, cuando hablemos de espacio supondremos que es un espacio topolgico con una topologa cualquiera.
Observacin 3.2. La conexidad es una propiedad topolgica, pues se formula completamente en trminos de la coleccin de los conjuntos abiertos de (X, T ). Luego, si (X, T ) es
un espacio conexo, tambin lo es cualquier espacio homeomorfo a (X, T ).
Teorema 3.4. Un espacio (X, T ) es conexo si, y slo si, los nicos subconjuntos de X que
son abiertos y cerrados en (X, T ) son el conjunto vaco y el propio (X, T ).
Demostracin:
Si A es un subconjunto propio no vaco de (X, T ) que es a la vez abierto
y cerrado, entonces los conjuntos U = A y V = X A constituyen una separacin de X.

Recprocamente, si U y V forman una separacin de (X, T ), entonces U es un subconjunto
propio no vaco de X que es abierto y cerrado.
Lema 3.1. Si Y es un subespacio de (X, T ), una separacin de Y es un par A, B de

conjuntos no vacos y disjuntos cuya unin es Y de modo que ninguno de ellos contiene
puntos lmite del espacio (X, T ). El espacio Y es conexo si no existe una separacin de Y .
56
Demostracin:
Supongamos primero que A, B es una separacin de Y . Entonces A es
abierto y cerrado en Y . La clausura de A en y es el conjunto A Y . Como A es cerrado

en Y , A = A Y , entonces A B = . Como A es la unin de A con sus puntos lmite,
B no contiene puntos lmite de A. Similarmente se demuestra que A no contiene puntos
lmite de B.
Recprocamente, supongamos que A y B son conjuntos disjuntos no vacos cuya
unin es Y , ninguno de los cuales contiene puntos lmite del otro. Entonces se satisface
que A B = y A B = ; de esta forma, concluimos que A Y = A y B Y = B. As,
A y B son cerrados en Y y, como A = Y B y B = Y A tambin son abiertos en Y .
Ejemplo 3.1. Sea X un conjunto dotado de la topologa indiscreta. Es facil probar que
no existe una separacin de X, entonces X es conexo.
Ejemplo 3.2. Sea Y = [1, 0[ ]0, 1] subpacio de R. Los conjuntos [1, 0[ y ]0, 1] son no
vacos y abiertos en Y y, de esta forma, constituyen una separacin de Y . por otra parte,
observese que ninguno de estos conjuntos contiene puntos lmite del otro.
Nota 3.4. Los conjuntos [1, 0[ y ]0, 1] no son abiertos en R con la topologa usual (Ejemplo 1.2).
Ejemplo 3.3. Sea X el subespacio [1, 1] de la recta real. Los conjuntos [1, 0] y ]0, 1] son
disjuntos y no vacos pero no forman una separacin de X ya que el primer conjunto no
es abierto en X. Por otro lado, [1, 0] contiene un punto lmite de ]0, 1].
Ejemplo 3.4. El conjunto de los nmeros racionales Q no es conexo. Es ms, los nicos
subespacios conexos de Q son los singleton: si Y es un subespacio de Q conteniendo dos
puntos p y q, es posible elegir un nmero irracional a entre p y q y escribir Y como la unin
de los abiertos
Y ] , a[
Y ]a, +[.
Ejemplo 3.5. Sea X el siguiente subconjunto del plano R2 :

57
X = {(x, y) | y = 0} (x, y) | x > 0, y =
1
.
x
Entonces X no es conexo. De hecho, los dos conjuntos constituyen una separacin de X

pues ninguno de ellos contiene puntos lmite del otro (vea la Figura 3.5).
Figura 3.1: Note la separacin.

Lema 3.2. Si los conjuntos C y D forman una separacin de X, y adems Y es un subespacio conexo de X, entonces Y est contenido bien en C o bien en D.
Demostracin:
Como C y D son abiertos en X, los conjuntos C Y y DY son abiertos
en Y . Estos conjuntos son disjuntos y su unin es Y ; si son no vacos, entonces serin

una separacin de Y . De esta forma, alguno de ellos es vaco. Por tanto, Y est contenido
enteramente en C o en D.
Teorema 3.5. La unin de subespacios conexos de X que tienen un punto en comn es

conexa.
Demostracin:
p
Sea {A } una coleccin de subespacios conexos de un espacio X y sea
A . Supongamos que Y = C D es una separacin de Y . El punto p est C o bien
en D, supongamos que p C. Como A es conexo, ya que A C A D, aunque esta

ltima se descarta, pues p A y p C. Por tanto, A C para cada , y as
obteniendo una contradicin, pues D era no vaco.
A C,
Teorema 3.6. Sea A un subespacio conexo de X. Si A B A, entonces B es tambin

conexo.
58
Demostracin:
Sea A conexo y sea A B A. Supongamos que B = C D es una
separacin de B. Por el Lema 3.2, el conjunto A verica A C A D; supongamos que

A C. Entonces A C. Como C y D son disjuntos, B no puede intersectar a D. Esto
contradice el hecho de que D es un subconjunto no vaco de B.
Nota 3.5. En otras palabras: si B se forma aadindole a A alguno o todos sus puntos
lmite, entonces B es conexo.
Teorema 3.7. Si X un espacio conexo y f una funcin continua, entonces f (X) es conexo.
Demostracin:
Sea f : X Y una funcin continua y supongamos que X es conexo.
Ser suciente considerar el caso de una aplicacin contina y sobreyectiva

g : X Z.
Supongamos que Z = A B es una separacin de Z en dos conjuntos disjuntos no vacos
y abiertos en Z. Entonces g 1 (A) y g 1 (B) son conjuntos disjuntos cuya unin es X.
Adems son abiertos en X pues g es continua, y no vacos, porque g es sobreyectiva. De
esta forma, constituyen una separacin de X, as contradice, X conexo.
Teorema 3.8. El producto cartesiano nito de espacios conexos es conexo.

Demostracin:
Sea un punto base a b en el producto X Y . Obsrvese que la
rebanada horizontal X b es conexa, ya que es homeomorfa a X, y que tambin lo es

cada rebanada vertical ya que stas son homeomorfas a Y . Entonces cada espacio
Tx = (X b) (x Y )
es conexo ya que es la unin de dos espacios conexos que tienen el punto x b en comn
(vea la Figura 3.1). Ahora, consideremos la unin UxX Tx de todos estos espacios. Como
59
Figura 3.2: Los espacios son conexos

todos tienen al punto a b en comn, esta unin es conexa. Finalmente, al coincidir esta
unin con el propio espacio X Y , Por tanto X Y es conexo.
La demostracion que cualquier coleccin nita de espacios conexos puede realizarse
por induccin, utilizando el hecho de que X Xn es homeomorfo a X Xn1 .
Nota 3.6. La extensin de este resultado a productos arbitrarios de espacios depende de

la topologa que utilicemos para dicho producto.
Ejemplo 3.6. Consideremos el producto cartesiano R con la topologa por cajas. Podemos escribir R como la unin de un conjunto A constituido por todas las sucesiones
acotadas de nmeros reales, y de un conjunto B formado por las sucesiones no acotadas.
Estos conjuntos son disjuntos y adems son abiertos en la topologa por cajas ya que si a
es un punto de R , el conjunto abierto
U = ]a1 1, a1 + 1[ ]a2 1, a2 + 1[
est ya formado por sucesiones acotadas si a es una sucesin acotada, ya por sucesiones no acotadas si a no lo est. De esta forma, incluso a pesar de que R es conexo (ver
Corolario 3.1), el producto R no es conexo con la topologa por cajas.
Ejemplo 3.7. Consideremos ahora R con la topologa producto y supongamos que R es
n el subespacio
conexo. Entonces probaremos que R tambin es conexo. Denotemos por R
60
de R formado por todas las sucesiones xn = (x1 , x2 , ...) tales que xi = 0 para i > n. El
n es claramente homeomorfo a Rn y utilizando el resultado anterior concluimos
espacio R
que es conexo. Se sigue entonces que el espacio R es conexo, pues es la unin de los
n que tienen el punto 0 = (0, 0, ...) en comn. Veamos ahora que la clausura de
espacios R
R coincide con R de lo cual se deduce que ste tambin es un espacio conexo.
Sea a = (a1 , a2 , . . .) un punto de R . Sea U =
Ui un abierto bsico de la topologa
producto que contiene a a. Veamos que U intersecta a R . Existe N Z tal que Ui = R

para i > N . Entonces el punto
x = (a1 , . . . , an , 0, 0, . . .)
de R pertenece a U ya que ai Ui para todo i > N .
Nota 3.7. Utilizando el argumento anterior podemos realizar la generalizacin del Teorema 3.8 demostrando que un producto arbitrario de espacios conexos es conexo en la
topologa producto.
3.1.1.
Subespacios conexos de la recta real
Denicin 3.3. Un conjunto parcialmente ordenado L con ms de un elemento se dice

que es un continuo lineal si se verican las siguientes condiciones:
i) L satisface la propiedad del supremo.
ii) Si x < y, entonces existe z tal que x < z < y.
Teorema 3.9. Si L es un continuo lineal con la topologa del orden, entonces L es conexo,
y tambin lo son los intervalos y los rayos de L.
Demostracin:
Supongamos Y es la unin disjunta de dos conjuntos A y B, cada uno
de los cuales es abierto en Y . Elegimos a A y b B; supongamos por conveniencia que

a < b. El intervalo [a, b] de puntos de L est enteramente contenido en Y ya que Y es
convexo, por tanto, podemos escribir [a, b] como la unin de dos conjuntos disjuntos
61
A0 = A [a, b]
B0 = B [a, b],
cada uno de los cuales es abierto en [a, b] con la topologa relativa, que es la misma que
la topologa del orden. Los conjuntos A0 y B0 son no vacos pues a A0 y b B0 . As, A0
y B0 constituyen una separacin de [a, b].
Sea c = sup A0 . c no pertenece a A0 ni a B0 lo cual contradice el hecho de que [a, b]
es la unin de A0 y B0 ,
Caso 1. Supongamos que c B0 . Entonces c = a, as que bien c = b, o bien a < c < b.
En cualquier caso, se sigue del hecho de que B0 es abierto en [a, b] que existe un intervalo
de la forma ]d, c] contenido en B0 . Si c = b, se llega a una contradiccin ya que d es una
cota superior de Ao ms pequea qu c. S c < b, observamos que ]c, b] no intersecta a A0 ,
pues c es una cota superior de A0 . Entonces
]d, b] = ]d, c] ]c, b]
no intersecta a A0 , De nuevo, d es una cota superior de A0 ms pequea que c, situacin
contraria a hiptesis (vase la Figura 3.3).
Figura 3.3: d es una cota superior de A0
Figura 3.4: Intervalo de la forma [c, e[ contenido en A0 .

Caso 2. Supongamos que C A0 . Entonces c = b as que bien c = a, o bien a < c < b.
Como A0 es abierto en [a, b], debe existir algn intervalo de la forma [c, e[ contenido en
A0 (vase la Figura 3.4). Utilizndola segunda propiedad que verica por denicin un
62
continuo lineal L, podemos elegir un punto z L tal que c < z < e. Entonces z A0 cual
contradice que c es una cota superior de A0 .
Corolario 3.1. La recta real R es conexa y tambin lo son los intervalos y los rayos en R.
Teorema 3.10 (Bolzano-Cauchy). Sea f : X Y una aplicacin continua, donde X es
un espacio conexo e Y es un conjunto ordenado con la topologa del orden. Si a y b son dos
puntos de X y r es un punto de Y que se encuentra ntre f (a) y f (b), entonces existe un
punto c en X tal que f (c) = r.
Demostracin
Los conjuntos
A = f (X) (, r)
B = f (X) (r, )
son disjuntos, y adems son no vacos pues uno contiene a f (a) mientras el otro
contiene a f (b). Cada uno es abierto en la imagen f (X) ya que son la interseccin de un
rayo abierto en Y con f (X). Si no existiera un punto c de X tal que f (c) = r, entonces
f (X) sera la unin de los conjuntos A y B. Entonces A y B constituiran una separacin
de f (X) lo cual contradice el Teorema 3.7.
Nota 3.8. El Teorema 3.10 es el teorema del valor intermedio del clculo elemental en un
contexto ms general.
Ejemplo 3.8. Sean A un subconjunto de I I, 1 : I I I la proyeccin sobre la
primera coordenada y b = sup(1 (A)). Si b 1 (A), entonces A intersecta el subconjunto
b I de I I. Como b I tiene el mismo orden que I, el conjunto A (b I) tendr un
supremo b c, el cual ser el supremo de A (vase la Figura 3.5). Si b = 1 (A) entonces
b0 es el supremo de A ningn elemento de la forma b c con b < b puede ser un supremo
de A ya que entonces b sera un supremo para 1 (A).
63
Figura 3.5: El supremo de A.

Ejemplo 3.9. Si X es un conjunto bien ordenado, entonces X [0, 1[ es un continuo lineal
con el orden del diccionario (ver Ejemplo 2.3). Este conjunto se puede interpretar como
el resultado de encajar inmediatamente despus de cada uno de los elementos de X el
intervalo ]0, 1[.
Denicin 3.4 (Camino). Dados dos puntos x e y del espacio X, un camino en X que une
x con y es una aplicacin continua f : [a, b] X de algn intervalo cerrado de R en X,
de modo que f (a) = x y f (b) = y.
Denicin 3.5 (Conexo por camino). Un espacio X se dice que es conexo por caminos si
cada par de puntos de X se pueden unir mediante un camino en X.
Teorema 3.11. Todo espacio X que es conexo por caminos tambin es un espacio conexo.
Demostracin:
Supongamos que X = AB es una separacin de X. Sea f : [a, b) X
un camino en X.Como [a, b] es conexo, entonces el conjunto f ([a, b]) debe estar contenido
ya en A, ya en B. Por tanto, no existen caminos en X que unan puntos de A con puntos
de B lo cual es contrario al hecho de que X sea conexo por caminos.
Nota 3.9. El recproco de esta implicacin no es cierto; un espacio conexo no es necesariamente conexo por caminos.
Ejemplo 3.10 (Curva seno del toplogo). Sea S el siguiente subconjunto del plano
64

S=
x, sen( x1
|0<x<1 .
Como S es la imagen del conjunto conexo ]0, 1] bajo una funcin continua, S es conexo. De
esta forma, su clausura S en R2 tambin es conexa. El conjunto S es un ejemplo clsico en
topologa . Est ilustrada en la Figura 3.6 y es simplemente la unin del conjunto inicial
S con el intervalo vertical 0 [1, 1]. Mostraremos que S no es conexo por caminos.
Figura 3.6: Curva del Toplogo

Supongamos que existiera un camino f : [a, c] S empezando en el origen y
terminando en un punto cualquiera de S. El conjunto de los nmeros t para los cuales
f (t) 0 [1, 1] es cerrado y, por tanto, tiene un mximo que denotaremos por b. Entonces
f : [b, c] S es un camino que aplica b en el intervalo vertical 0 [1, 1] mientras el
resto de puntos de [b, c] se aplican en puntos de S.
Sustituyamos [b, c] por [0, 1]; sea f (t) = (x(t), y(t)). Entonces x(0) = 0, mientras que
x(t) > 0
y(t) = sen
1
x(t)
, para t > 0.
Demostraremos que existe una sucesin de puntos tn 0 tales que y(tn ) = (1)n . Entonces tendremos que la sucesin y(tn ) no es convergente y contradice la continuidad de
f.

Contrantreremos los nmeros tn dando n, elegimos u con 0 < u < x n1 tal que

1
= (1)n . Usando entonces el Teorema 3.10 podemos encontrar tn con 0 < tn < n1
sen
n
tal que x(tn ) = u.
Ejemplo 3.11. Se dene la bola unidad B n en Rn como
B n = {x | x < 1}, donde x = (x1 , ..., xn ) =
65
x21 + ... + x2n .
Compacidad
La bola unidad es conexa por caminos; dados dos puntos cualesquiera x e y de B n , el

segmento de lnea recta f : [0, 1] Rn denido por
f (t) = (1 t)x + ty
est enteramente contenido en B n ya que
f (t) < (1 t)x + ty 1.
Un argumento similar muestra que tanto las bolas abiertas Bd (x, ) como las cerradas
Bd (x, ) contenidas en Rn son conexas por caminos.
Ejemplo 3.12. Se dene el espacio eucldeo agujereado como el espacio Rn {0}, donde 0
es el origen en Rn . Si n > 1, este espacio es conexo por caminos: dados x e y distintos de 0,
podemos unir x e y con el segmento de lnea recta que ambos determinan si este segmento
no pasa por el origen. Si que as ocurriera, escogemos otro punto z que no est contenido
en la recta, que determinan x e y, y a continuacin considerar la lnea recta quebrada que
determinan x, z y nalmente y.
Ejemplo 3.13. Se dene la esfera unidad S n1 en Rn como el conjunto
S n1 = {x | x = 1}.
Si n > 1, es conexa por caminos ya que la aplicacin g : Rn {0} S n1 denida por
x
es continua y sobreyectiva, y es sencillo demostrar que la imagen bajo una
g(x) =
x
funcin continua de un espacio conexo por caminos es tambin conexo por caminos.
3.2
Espacios Compactos
Denicin 3.6 (Cubrimiento). Una coleccin A de subconjuntos del espacio topolgico

(X, T ) se dice que cubre al espacio topolgico (X, T ), o que es un cubrimiento del espacio
topolgico (X, T ), si la unin de los elementos de A coincide con el conjunto X.
66
Compacidad
Denicin 3.7. Se dice que A es un cubrimiento abierto del espacio topolgico (X, T ) si
es un cubrimiento del espacio topolgico (X, T ) formado por conjuntos abiertos del espacio
topolgico (X, T ).
Denicin 3.8 (Espacio Compacto). Un espacio topolgico (X, T ) se dice que es compacto si de cada cubrimiento abierto A del espacio topolgico (X, T ) podemos extraer una
subcoleccin nita que tambin cubre al espacio topolgico (X, T ).
Nota 3.10. Llamaremos al espacio topolgico compacto (X, T ) con el nombre de Espacio
compacto X, es decir, cuando hablemos de espacio supondremos que es un espacio
topolgico con una topologa cualquiera.
Ejemplo 3.14. La recta real R no es compacta, pues el cubrimiento de R por intervalos
abiertos A = {]n, n + 2[ | n Z} no contiene ninguna subcubrimiento nito que cubra
R, es decir, considere ]1, 3[, ]2, 4[, ]3, 5[, . . ., se quita ]2, 4[ quedan ]1, 3[, ]3, 5[, . . ., donde
3
/ ]1, 3[ ]3, 5[ . . ., as no existe un subcubrimiento nito de R.
Nota 3.11. En el Ejemplo 3.14 la topologa considerada es la usual de R descrita en los
Ejemplos 1.2 y 1.5, aunque al considerar R con otra topologa, es decir, una como la del
Ejemplo 1.6 (de Sorgenfrey) con un cubrimiento A = {[n, n + 2[ | n Z}, as el argumento
del Ejemplo 3.14 no es posible utilizar, pues 3 [1, 3[ [3, 5[ . . .
Ejemplo 3.15. El siguiente subespacio de R es compacto:
X = {0}
1
| n Z+ .
n
Dado un cubrimiento abierto A de X, existe un elemento U de A que contiene al 0. El

1
conjunto U contiene a todos los puntos de la forma excepto a un nmero nito de ellos;
n
elijamos para cada uno de estos puntos que no estn en U un elemento de A que los contenga. La coleccin de estos elementos de A, junto con el propio U , es un subcubrimiento
nito de A que cubre X.
Ejemplo 3.16. Cualquier espacio X que contenga a un nmero nito de puntos es trivialmente compacto, pues cualquier cubrimiento por abiertos de X es nito.
67
Compacidad
Ejemplo 3.17. El intervalo ]0, 1] no es compacto; el cubrimiento abierto
A=
1
, 1 | n Z+
n
no contiene ninguna subcoleccin nita cubriendo ]0, 1]. Aplicando un argumento anlogo
se demuestra que tampoco es compacto el intervalo ]0, 1[. Por otra parte, el intervalo [0, 1]
s es compacto (ver Corolario 3.2).
Lema 3.3. Sea Y un subespacio de X. Entonces Y es compacto si, y slo si, cada cubrimiento de Y por abiertos de X contiene una subcoleccin nita que cubre Y .
Demostracin:
Ver demostracin en Lema 26.1 de [7].
Teorema 3.12. Cada subespacio cerrado de un espacio compacto es compacto.
Demostracin:
Teorema 3.13. Cada subespacio compacto de un espacio de Hausdorff es cerrado.
Demostracin:
Nota 3.12. El axioma de Hausdoff es impresindible para demostrar Teorema 3.13.

Lema 3.4. Si Y es un subespacio compacto de un espacio de Hausdorff X y x0 no est en
Y , entonces existen abiertos disjuntos U y V de X conteniendo a x0 y a Y respectivamente.
Demostracin:
Ver demostracin en proposicin 4.24 de [2].
Ejemplo 3.18. Una vez que hayamos demostrado que el intervalo [a, b] de R es compacto,
se sigue del Teorema 3.12 que cualquier subespacio cerrado de [a, b] es compacto. Por otra
parte, del Teorema 3.13 se deduce que los intervalos ]a, b] y ]a, b[ no pueden ser compactos
ya que no son cerrados en el espacio de Hausdorff R.
68
Compacidad
Figura 3.7: Intersecciones de puntos.

Ejemplo 3.19. Consideremos, por ejemplo, la topologa conita o de complementos nitos
en la recta real (Ver Ejemplo 1.1). Los nicos subconjuntos propios de R que son cerrados en esta topologa son los nitos. Pero cada subconjunto de R es compacto con esta
topologa, tal y como se puede comprobar.
Teorema 3.14. La imagen de un espacio compacto bajo una aplicacin continua es un
espacio compacto.
Demostracin:
Sea f : X Y continua con X compacto. Sea A un cubrimiento del
conjunto f (X) por abiertos de Y . La coleccin
{f 1 (A) | A A}
es un cubrimiento de X por conjuntos abiertos ya que f es continua. Por tanto, un nmero
nito de ellos, por ejemplo
f 1 (A1 ), . . . , f 1 (An )
cubren X. Entonces los conjuntos A1 , . . . , An cubren f (X).
Teorema 3.15. Sea f : X Y una funcin continua y biyectiva. Si X es compacto e Y

es de Hausdorff, entonces f es un homeomorsmo.
69
Compacidad
Demostracin:

Probaremos que las imgenes de conjuntos cerrados de X bajo la apli-
cacin f son tambin cerrados en Y ; con esto demostraremos la continuidad de la aplicacin f 1 . Si A es cerrado en X, entonces A es compacto, por el Teorema 3.12. Por tanto,
el resultado precedente nos asegura que f (A) es compacto. Ahora bien, como Y es de
Hausdorff, f (A) es cerrado en Y , por el Teorema 3.13.
Denicin 3.9 (Fibra). Un brado consiste en una cuaterna (E, B, , F ), donde E,B y
F , son espacios topolgicos y : E B es una aplicacin continua y sobreyectiva, de
manera que para cualquier x B, existe un entorno U , de x en B, y un homeomorsmo
: 1 (U ) U F , tal que = proj1 , con proj1 : U F U , proj1 (x, y) = x.
Equivalentemente, para todo punto de B existe un entorno U y un homeomorsmo tal
que el siguiente diagrama conmuta:
1 (U )
U F
proj1
La aplicacin es abierta, la imagen de un abierto es abierto, por ser una proyeccin en

un producto cartesiano y B tiene la topologa cociente. El espacio B, se llama el espacio
de base del brado, E, el espacio total, para cualquier x B, 1 (x), se llama la bra
en x, y la funcin , se llama la proyeccin. Se denota E|U = 1 (U ) y se dice que es
localmente trivial y el par (U, ) es una trivializacin local. Es habitual escribir E en vez
de (E, B, , F ) si B, y F se pueden entender por contexto y decir que E es un brado
sobre B.
Teorema 3.16. El producto de un nmero nito de espacios compactos es compacto.
Demostracin:
Ver demostracin Teorema 26.7 en [7]
Lema 3.5 (El lema del tubo). Consideremos el espacio producto X Y , donde Y es compacto. Si N es un conjunto abierto de X Y conteniendo la bra x0 Y de X Y , entonces
70
Compacidad
N contiene algn tubo W Y sobre x0 Y , donde W es un entorno de x0 en X.

Nota 3.13. No podemos eliminar la hiptesis de compacidad para el lema del tubo.
Ejemplo 3.20. Por ejemplo, sea Y el eje y de R2 , y sea
1
.
N = (x, y) | |x| < 2
y +1
Entonces N es un abierto conteniendo al conjunto 0 R, pero que no contiene un tubo

sobre 0 R tal y como est ilustrado en la Figura.
Figura 3.8: No contiene a un tubo.
Denicin 3.10. Una coleccin C de subconjuntos de X se dice que tiene la propiedad de

la interseccin nita si cada subcoleccin nita
{C1 , . . . , C :}
de C tiene interseccin no vaca, es decir, C1 . . . Cn } es no vaca.

Teorema 3.17. Sea X un espacio topolgico. Entonces X es compacto si, y slo si, para
cada coleccin C de conjuntos cerrados en X con la propiedad de la interseccin nita, la
71
Compacidad
interseccin de todos los elementos de la coleccin
CC
es no vaca.
Demostracin:
Dada una coleccin A de subconjuntos de X, sea
C = {X A | A A}
la coleccin de sus complementarios. Entonces son ciertas las siguientes armaciones:
i) A es una coleccin de abiertos si, y slo si, C es una coleccin de cerrados.
ii) La coleccin A cubre X si, y slo si, la interseccin
C de todos los elementos de
CC
C es no vaca.
iii) La subcoleccin nita {A1 , . . . , An } de A cubre X si, y slo si, la interseccin de los
elementos correspondientes Ci = X Ai de C es vaca.
La primera armacin es trivial, mientras que la segunda y la tercera se deducen de la
ley de DeMorgan:
X
A =
(X A )
La armacin X es compacto es equivalente a decir dada cualquier coleccin A

de abiertos de X, si A cubre X, entonces existe una subcoleccin nita que cubre tambin
a X. Es equivalente a su contrarrecproco, dada cualquier coleccin A de abiertos en X,
si no existe subcoleccin nita que cubra a X, entonces la coleccin A no cubre a X. Tomando C como la coleccin {X A | A A} y aplicando los pasos i) iii), vemos que esta
armacin es equivalente a la siguiente: dada cualquier coleccin C de conjuntos cerrados, si cada interseccin nita de elementos de C es no vaca, entonces la interseccin de
todos los elementos de C es no vaca.
72
Compacidad
Nota 3.14. Un caso especial de este resultado ocurre cuando tenemos una sucesin encajada C1 C2 Cn Cn+1 de conjuntos cerrados en un espacio compacto X.
Si cada uno de estos conjuntos Cn es no vaco, entonces la coleccin C = {Cn }nZ+ tiene
automticamente la propiedad de la interseccin nita. Entonces la interseccin
Cn
nZ+
es no vaca. Podemos nombrar el uso del criterio de compacidad en la demostracin del

Teorema Tychonoff y en el Teorema de categoria de Baire.
3.2.1.
Subespacios compactos de la recta real
Teorema 3.18. Sea X un conjunto parcialmente ordenado que satisface la propiedad del
supremo. Entonces cada subconjunto cerrado de X con la topologa del orden es compacto.
Demostracin:
Paso 1. Dados a < b, sea A un cubrimiento de [a, b] por conjuntos abier-
tos en [a, b] con la topologa relativa. Demostraremos que existe una subcoleccin nita
de A que cubre a [a, b]. Si x es un punto de [a, b] distinto de b, entonces existe un punto
y > x de [a, b] tal que el intervalo [x, y] puede ser cubierto como mucho por dos elementos
de A.
Si x tiene un inmediato sucesor en X, sea y este inmediato sucesor. Entonces [x, y]
contiene nicamente a los puntos x e y, y por tanto puede ser cubierto como mucho por
dos elementos de A. Si x no tiene inmediato sucesor en X, elijamos un elemento a de A
conteniendo a x. Como x = b y A es abierto, A contiene un intervalo de la forma [x, c[, para
algn c de [a, b]. Elijamos un punto y en ]x, c[; entonces el intervalo [x, y] est cubierto por
el nico elemento A de A.
Paso 2. Sea C el conjunto de todos los puntos y > a de [a, b] tales que el intervalo
[a, y] puede ser cubierto por un nmero nito de elementos de A. Aplicando el Paso 1 al
73
Compacidad
caso x = a, vemos que existe al menos un punto y vericando tal condicin, luego C no es
vaco. Sea c el supremo del conjunto C entonces a < c b.
Figura 3.9: z esta entre d y c.

Paso 3. Demostraremos que el intervalo [a, c] puede ser cubierto por un nmero
nito de elementos de A. Fijemos un elemento A de A conteniendo a c; como A es abierto,
contiene un intervalo de la forma ]d, c] para algn d en [a, b]. Si c no est en C, debe existir
un punto z de C en el intervalo ]d, c[ pues si no, d seria una cota superior de C ms pequea
que c (vase la Figura 3.9). Como z est en C, el intervalo [a, z] puede ser cubierto por
un nmero nito, por ejemplo n, de elementos de A. Ahora [z, c] est contenido en el
elemento A de A, por tanto [a, c] = [a, z] [z, c] puede ser cubierto por n + 1 elementos de
A. As, c est en C.
Figura 3.10: y esta entre c y b o y = b.

Paso 4. Supongamos que c < b. Aplicando l Paso 1 al caso x = c, concluimos que
existe un punto y > c de [a, b] tal que el intervalo [c, y] puede ser cubierto por un nmero
nito de elementos de A (vase la Figura 3.10). Hemos probado en el Paso 3 que c C,
por lo que [a, c] puede ser cubierto por un nmero nito de elementos de A. Por tanto, el
intervalo
[a, y] = [a, c] [c, y]
puede ser cubierto tambin por un nmero nito de elementos de A. Esto signica que y
74
Compacidad
est en C, contradiciendo el hecho de que c es una cota superior de C.
Corolario 3.2 (Heine-Borel). Cada intervalo cerrado en R es compacto.

Teorema 3.19. Un subespacio A de Rn es compacto si, y slo si, es cerrado y acotado en
la distancia eucldea d o en la distancia del supremo .
Demostracin:
Supongamos que A es compacto. Entonces por el Teorema 3.13 es ce-
rrado. Considrenlos la coleccin de conjuntos abiertos
{B (0, m) | m Z+ }
cuya unin es el espacio total Rn . Alguna subcoleccin nita debe cubrir A. Se sigue
entonces que A B (0, M ) para algn M . De esta forma, dados dos puntos x e y de A,
tenemos (x, y) < 2M . Por tantos A est acotado en .
Recprocamente, supongamos que A es crrado y acotado en p; supongamos que
(x, y) < N para cada par x, y de puntos de A. Elijamos un punto x0 de A, y sea (x0 , 0) =
b. La desigualdad triangular implica que (x0 , 0) N + b para cada x en A. Si P = N + b,
entonces A es un subconjunto del cubo [P, P ]n , el cual es compacto. Como A es cerrado,
entonces A tambin es compacto.
Nota 3.15. El acotamiento de los conjuntos depende nica y exclusivamente de la distancia, mientras que el hecho de que un conjunto sea o no compacto depende de la topologa
del espacio.
Ejemplo 3.21. La esfera unidad S n1 y la bola cerrada unidad B n en Rn son compactos
pues son cerrados y acotados. El conjunto
A=
1
x,
x
|0<x1
75
Compacidad
es cerrado en R2 , pero no es compacto prque no est acotado. El conjunto
S=
x, sen
1
x
|0<x1
est acotado en R2 , pero no es compacto porque no es cerrado.

Teorema 3.20 (Teorema de Weierstrass). Sea f : X Y continua, donde Y es un
conjunto ordenado con la topologa del orden. Si X es compacto, entonces existen puntos
c y d en X tales que f (c) f (x) f (d) para cada x X.
Demostracin:
Como f es continua y X es compacto, el conjunto A = f (X) es compac-
to. Veamos que A tiene un mximo M y un mnimo m. Entonces, como m y M pertenecen

a A, debemos tener m = f (c) y M = f (d) para algunos puntos c y d de X. Si A no tiene
un mximo, entonces la coleccin
{] , a[ | a A}
es un cubrimiento por abiertos de A. Como A es compacto, existe una subcoleccin nita
{] , a1 [, . . . , ] , an [}
que cubre a A. Si ai es el mayor de los elementos a1 , . . . , an , entonces ai no pertenece a
ninguno de estos conjuntos, armacin contraria al hecho de que estos conjuntos cubren
a A. Un argumento anlogo demuestra que A tiene un mnimo.
Nota 3.16. El teorema de los valores extremos del clculo es un caso especial del Teorema 3.20, cuando X R es un cerrado e Y = R.
Denicin 3.11. Sean (X, d) un espacio mtrico y A un subconjunto no vaco de X. Para
76
Compacidad
cada x X, denimos la distancia de x a A por

d(x, A) = nf{d(x, a) | a A}.
Consideremos A jo. Sea la funcin d : X R continua: dados x, y en X, se
obtiene:
d(x, A) d(x, a) d(x, y) + d(y, a), a A
Entonces
d(x, A) d(x, y) nf(d(y, a)) = d(y, A),
as que
d(x, A) d(y, A) d(x, y).
La misma igualdad se tiene con x e y intercambiados, de lo que se deduce la continuidad
de la funcin d(x, A).
Lema 3.6 (El lema del nmero de Lebesgue). Sea A un cubrimiento abierto del espacio
mtrico (X, d). Si X es compacto, existe un > 0 tal que para cada subconjunto X con
dimetro menor que , existe un elemento de A contenindolo.
Demostracin:
Sea A un cubrimiento abierto de X. Si X es un elemento de A, en-
tonces el resultado se sigue para cualquier positivo. Por tanto, supongamos que X no
es un elemento de A. Elegimos una subcoleccin nita {A1 , ..., An } de A que cubra a X.
Para cada i, tomamos Ci = X Ai , y denimos f : X R como la funcin media de las
distancias de un punto x a los conjuntos Ci , esto es,
n
1
d(x, Ci )
f (x) =
2 i=1
Vamos a demostrar que f (x) > 0 para todo x. Dado x X, escojamos i tal que x Ai .
Entonces elegimos de modo que la bola de radio est contenida en Ai . Por tanto,
d(x, Ci ) > , y as f (x) >
n.
Como f es continua, tiene un valor mnimo ; veamos que

77
Compacidad
este nmero es precisamente el nmero de Lebesgue. Sea B un subconjunto de X cuyo

dimetro sea menor que . Elijamos un punto x0 de B entonces B est contenido en la
bola de radio y centrada en x0 . Ahora bien,
f (x0 ) d(x0 , Cm )
donde d(x, Ci ) es el mayor de los nmeros d(x0 , Ci ). Entonces la bola de radio y centrada
en x0 est contenida en el elemento Am = X Cm del cubrimiento A.
Nota 3.17. El nmero se denomina nmero de Lebesgue para el cubrimiento A.

Denicin 3.12 (Continuidad uniforme). Una funcin f , denida f : X Y , con X e
Y espacios metricos, se dice que es uniformemente continua si dado > 0 existe un > 0
tal que para cada par de puntos x0 , x1 de X,
dX (x0 , x1 ) < = dY (f (x0 ), f (x1 )) < .

Teorema 3.21 (Teorema de la continuidad uniforme). Sea X un espacio mtrico compacto e Y un espacio metrico. Si f : X Y es continua, entonces f es uniformemente
continua.
Demostracin:
2.
Dado > 0, tomamos un cubrimiento de Y por bolas B y, 2 de radio
Sea A el cubrimiento abierto de X que se obtiene al tomar las imagenes inversas
de dichas bolas bajo f . Elegimos como el nmero de Lebesgue para el cubrimiento A.

Entonces, si x1 y x2 son dos puntos de X tales que dX (x1 , x2 ) < , el conjunto {x1 x2 }
tiene dimetro menor que , luego su imagen {f (x1 ), f (x2 )} est contenida en alguna
bola B y, 2 . Entonces dY (f (x1 ), f (x2 )) < .
78
Compacidad
Denicin 3.13. Sea X es un espacio. Un punto x de X se dice que es un punto aislado

de X si el sigleton {x} es abierto en X.
Teorema 3.22. Sea X un espacio compacto y de Hausdorff. Si X no tiene puntos aislados,
entonces X es no numerable.
Demostracin:
Paso 1. Vamos a probar primero que dado un conjunto no vaco U de
X y cualquier punto x X, existe un conjunto no vaco V contenido en U tal que x

/ V.
Elegimos un punto y en U distinto de x; esto es posible si x est en U pues x no es un
punto aislado, y si x no est en U simplemente porque U es no vaco. Ahora elegimos
abiertos disjuntos W1 y W2 conteniendo a x e y, respectivamente. Entonces el conjunto
V = W2 U verica las condiciones del enunciado: est contenido en U , es no vaco pues
contiene a y y adems su clausura no contiene a x (vase la Figura 3.11).
Figura 3.11: x
/ W2
Paso 2. Veamos que dada una funcin cualquiera f : Z+ X, dicha funcin
no puede ser sobreyectiva. Se sigue entonces que X es no numerable. Sea xn = f (n).
Aplicando el Paso 1 al conjunto no vaco U = X podemos elegir un conjunto abierto y
no vaco V1 X tal que V 1 no contenga a x1 . En general, dado Vn1 abierto y no vco,
elegimos Vn un abierto no vaco tal que Vn Vn1 y V n no contiene a xn . Consideramos
as la sucesin encajada
V 1 V 2
de cerrados no vacos en X. Como X es compacto, por el Teorema 3.17 existe un punto
x
V n . Ahora, x no puede coincidir con ninguno de los xn para cada n, ya que x V n

79
Compacidad
mientras que xn no.
Corolario 3.3. Cada intervalo cerrado en R es no numerable.
3.2.2.
Compacidad de Bolzano-Weierstrass
Denicin 3.14 (Por punto lmite). Un espacio se dice que es compacto por punto lmite
si cada subconjunto innito de X tiene un punto lmite.
Teorema 3.23. Compacidad implica compacidad por punto lmite.
Demostracin:
Sea X un espacio compacto. Dado un subconjunto A de X, probaremos
que si A no tiene un punto lmite, entonces es nito.

Supongamos pues que A no tiene un punto lmite. Entonces A contiene todos sus
puntos lmite, luego es cerrado. Ms an, podemos elegir para cada a A un entorno Ua
de a de modo que Ua interseque a A slo en el punto a. El espacio X est cubierto por
el conjunto abierto X A y los abiertos Ua . Como es compacto, puede ser cubierto por
un nmero nito de tales conjuntos. Como X A no intersecta a A y cada conjunto Ua
contiene nicamente un punto de A, el conjunto A debe ser nito.
Nota 3.18. La compacidad por punto lmite no implica compacidad.

Ejemplo 3.22. Sea Y un conjunto con dos puntos; consideramos en Y la topologa discreta (T = {, Y }). Entonces el espacio X = Z+ Y es compacto por punto lmite, pues
cada subconjunto no vaco de X tiene un punto lmite.
Sin embargo, no es compacto, ya que el cubrimiento de X por los abiertos Un =
{n} Y no admite una subcoleccin nita que cubra a X.
80
Compacidad
Denicin 3.15 (Compacidad sucesional). Sea X un espacio topolgico. Si (xn ) es una

sucesin de puntos de X y si
n1 < n2 < < ni <
es una sucesin creciente de enteros positivos, entonces la sucesin (yi ) denida por yi =
xni se denomina subsucesin de la sucesin (xn ). El espacio X se dice que es sucesionalnente compacto si cada sucesin de puntos de X contiene una subsucesin convergente.
Teorema 3.24. Sea X un espacio metrzable. Entonces son equivalentes:
i) X es compacto.
ii) X es compacto por punto lmite.
iii) X es sucesionlmente compacto.
Demostracin:
Se demostr que i) ii) en el Teorema 3.23. Para demostrar que ii)
iii), supongamos que X es compacto por punto lmite. Dada una Sucesin (xn ) de puntos
de X, consideremos el conjunto A = {xn | n Z+ }. Si el conjunto A es nito, entonces
existe un punto x tal que x = xn para un nmero innito de valores de n. En este caso,
la sucesin (xn ) tiene una subsucesin que es constante y, por tanto, converge. Por otro
lado, si A es innito, entonces A tiene un punto lmite x. Denimos una subsucesin de
(xn ) convergente a x del siguiente modo: primero elegimos n1 tal que
xn1 B(x, 1).
Supongamos entonces que el entero positivo nni est dado. Como la bola B x, 1i
in-
tersecta a A en un nmero innito de puntos, podemos elegir un ndice ni > ni1 tal
que
xni B x,
1
.
i
Entonces la subsucesin xn1 , xn2 , . . . converge a x.

81
Compacidad
iii) i). Veamos que si X es sucesionalmente compacto, entonces el lema del

nmero de Lebesgue (Lema 3.6) se tiene para X. Sea A un cubrimiento abierto de X.
Supongamos que no existe un > 0 tal que cada conjunto de dimetro menor que est
contenido en un elemento de A y llegaremos a una contradiccin.
Esta suposicin implica, en particular, que para cada entero positivo n, existe un
conjunto Cn con dimetro menor que
1
n
que no est contenido en ningn elemento de A.
Elijamos un punto xn Cn para cada n. Por hiptesis, existe una subsucesin (xni ) de
la sucesin (xn ) que converge a un punto a. Ahora, a pertenece a algn elemento A de
A. Como A es abierto, podemos elegir > 0 tal que B(a, ) A. Si i es sucientemente
grande para que
1
ni
< 2 , entonces el conjunto Cn est contenido en el 2 -entorno de xni ; si i
se elige sucientemente grande como para que d(xni , a) < 2 , entonces Cni est contenido
en el -entomo de a. Pero esto signica que Cni A, que es contrario a la hiptesis.
Demostraremos que si X es sucesionalmente compacto, entonces dado > 0, existe
un cubrimiento nito de X por -bolas abiertas. Una vez probado esto, de nuevo llegamos
a una contradiccin.
Supongamos que existe un > 0 tal que X no puede ser cubierto por un nmero
nito de -bolas. Construimos una sucesin de puntos de xn como sigue: primero elegimos
x1 , un punto cualquiera de X. La bola B(x1 , ) no es todo el espacio X , elegimos x2 un
punto de X que no est en B(x1 , ). En general, dados x1 , . . . , xn . elegimos xn+1 un punto
que no est en la unin
B(x1 , ) . . . B(xn , )
utilizando el hecho de que estas bolas no cubren X. Observemos que, d(xn+i , xi ) > para
i = 1, . . . , n. De esta forma, la sucesin (xn ) no puede tener una subsucesin convergente;
de hecho, cualquier bola de radio
contiene a lo ms un punto de la sucesin.
Finalmente, veamos que si X es sucesionalmente compacto, entonces es compacto.

Sea A un cubrimiento abierto de X. Como X es sucesionalmente compacto, el cubrimiento abierto A tiene un nmero de Lebesgue , Si = 3 , como X es sucesionalmente
compacto, podemos encontrar un cubrimiento nito de X por -bolas. Cada una de es82
Compacidad
tas bolas tiene como mucho dimetro
2
3 ,
por tanto estn contenidas en algn elemento
de A. Eligiendo dicho elemento de A para cada una de estas -bolas, obtenemos una
sbcoleccin nita de A que cubre X.
Ejemplo 3.23. Recordemos que S denota el conjunto no numerable, bien ordenado y

minimal S con el punto aadido (en la topologa del orden, es un punto lmite de
S , la notacin S para S {}). Es fcil comprobar que el espacio S no es metrizable
ya que no satisface el Lema 2.2: el punto es un punto lmite de S pero no es el lmite de
una sucesin de puntos de S ya que cualquier sucesin de puntos de S tiene una cota
superior en S . El espacio S , por otra parte, s satisface el Lema 2.2 tal y como se puede
comprobar. No obstante, S no es metrizable ya que es compacto por punto lmite pero no
compacto.
3.2.3.
Compacidad local
Denicin 3.16 (Compacidad local). Un espacio X se dice que es localmente compacto

en x si existe un subespacio compacto C de X que contiene un entorno de x. Si X es
localmente compacto en cada uno de sus puntos, diremos que X es localmente compacto.
Observacin 3.3. Un espacio compacto es automticamente localmente compacto.
Ejemplo 3.24. La recta real R es localmente compacta. El punto x est contenido en un
intervalo de la forma ]a, b[, el cual a su vez est contenido en el subespacio compacto [a, b].
El subespacio Q de los nmeros racionales no es localmente compacto.
Ejemplo 3.25. El espacio Rn es localmente compacto; el punto x est contenido en algn
elemento bsico de la forma ]a1 , b1 [ ]an , bn [, el cual est contenido en el subespacio
compacto [a1 , b1 ] [an , bn ]. El espacio R no es localmente compacto; ninguno de sus
elementos bsicos estn contenidos en un subespacio compacto ya que si
B = ]a1 , b1 [ ]an , bn [ R R
83
Compacidad
estuviera contenido en un subespacio compacto, su adherencia
B = [a1 , b1 ] [an , bn ] R R
sera compacta, pero no lo es.

Ejemplo 3.26. Cada conjunto parcialmente ordenado X con la propiedad del supremo
es localmente compacto. Dado un elemento bsico para X, est contenido en un intervalo
cerrado de X, donde l es compacto.
Nota 3.19. Un subespacio de un espacio compacto y de Hausdorff no es necesariamente
compacto.
Teorema 3.25. Sea X un espacio. Entonces X es localmente compacto y de Hausdorff si,
y slo si, existe un subespacio Y que satisfaga las siguientes condiciones:
i) X es un subespacio de Y .
ii) El conjunto Y X consta de un solo elemento.
iii) Y es un espacio compacto y de Hausdorff.
Si Y e Y son dos espacios que satisfacen estas condiciones, entonces existe un homeomorsmo de Y en Y que, restringido al subespacio X, es simplemente la identidad
en X.
Demostracin:
Paso 1. Sean Y e Y dos espacios que satisfacen estas condiciones.
Denimos h : Y Y donde h aplica el nico punto p de Y X en el nico punto q de

Y X y h(x) = x para todo x en X.
Primero, consideremos el caso en el que U no contiene a p. Entonces h(U ) = U .
Como U es abierto en Y y est contenido en X, entonces es abierto en X. Como X es
abierto en Y , entonces U es abierto tambin en Y .
Segundo, supongamos que U contiene al punto p. Como C = Y U es cerrado en
Y , es compacto como subespacio de Y . Como C est contenido en X, es un subespacio
84
Compacidad
compacto de X. Entonces, como X es un subespacio de Y , el espacio C tambin es un

subespacio compacto de Y . Como Y es de Hausdorff, C es cerrado en Y , y as h(U ) =
Y C es abierto en Y .
Paso 2. Supongamos que X es localmente compacto y de Hausdorff y construyamos
el espacio Y . Elijamos algn objeto que no sea un punto de X, objeto que denotaremos por
el smbolo . Consideremos entonces el conjunto Y = X {}, as el espacio topolgico
(Y, T ) con
T = {U X : U abierto en X} {Y C X : C subespacio compacto de X}.
Vericamos que T es una topologa sobre Y . e Y son elementos de T . La interseccin de dos abiertos es un abierto debemos distinguir tres casos:
1.- U1 U2 .
2.- (Y C1 ) (Y C2 ) = Y (C1 C2 ).
3.- U1 (Y C1 ) = U1 (X C1 ).
pues C1 es cerrado en X. Anlogamente, comprobamos que la unin arbitraria de
conjuntos abiertos de cualquier tipo es tambin un abierto:
(Y C ) = Y
U = U
C = Y C
( U ) ( (Y C )) = U (Y C) = Y (C U ),
que es elemento de T porque C U es un subespacio cerrado de C y por tanto, compacto.

Dado un conjunto abierto de Y , veamos que su interseccin con X es un abierto en
X. Si U T , entonces U X = U y si Y C T , entonces (Y C) X = X C; ambos
conjuntos son abiertos en X. Recprocamente, cualquier abierto en X es un elemento de
T y por tanto abierto en Y .
Sea A un cubrimiento abierto de Y . La coleccin A debe contener un conjunto abier85
Compacidad
to elemento de T , por ejemplo Y C, pues alguno de ellos contiene al punto . Si consideramos todos los miembros de A distintos de Y C y los intersectamos con X tenemos
entonces un cubrimiento de C por abiertos de X. Como C es compacto, un nmero nito de ellos cubren C; la correspondiente coleccin nita de elementos de A junto con el
elemento Y C cubrirn entonces todo Y .
Sean x e y dos puntos de Y . Si ambos estn contenidos en X, existen abiertos
disjuntos U y V en X contenindolos respectivamente. Por otra parte, si x X e y = ,
podemos elegir un conjunto compacto C conteniendo un entorno U de x. Entonces U e
Y C son entornos disjuntos de x e , respectivamente, en Y .
Paso 3. Recprocamente. Supongamos que existe un espacio y que satisface las condiciones i) iii). Entonces X es de Hausdorff porque es un subespacio del espacio de
Hausdorff Y . Dado x X, veamos que X es localmente compacto en x. Sean los abiertos
disjuntos U y V de Y conteniendo a x y al nico punto de Y X, respectivamente. Entonces el conjunto C = Y V es cerrado en Y , luego es un subespacio compacto de Y . Como
C est contenido en X, es tambin compacto como subespacio de X y adems contiene
un entorno U de x.
Observacin 3.4. Si X no es compacto, entonces el punto de Y X es un punto lmite

de X, de modo que X Y .
Denicin 3.17 (Compacticacin). Si Y es un espacio compacto y de Hausdorff y X
es un subespacio propio de Y cuya adherencia coincide con Y , entonces se dice que Y es
compacticacin de X. Si Y X consiste en un nico punto, entonces Y se denomina
compacticacin por un punto de X.
Observacin 3.5. X admite una compacticacin por un punto Y si, y slo si, X es un
espacio de Hausdorff y localmente compacto que no es compacto. Adems, dicha compacticacin es nica salvo homeomorsmos.
86
Compacidad
Ejemplo 3.27. La Compacticacin por un punto de la recta real R es homeomorfa al

crculo, tal y como se puede comprobar. Anlogamente, la compacticacin de R2 por
un punto es homeomorfa a la esfera S 2 . Si R2 se identica con el espacio de los nmeros
complejos C, entonces C{} se denomina esfera de Riemann o plano complejo ampliado.
Nota 3.20. Se dice que un espacio X satisface una propiedad localmente si cada x X
tiene entornos arbitrariamente pequeos.
Nota 3.21. La denicin de compacidad local que hemos proporcionado no se adapta
a este esquema y, en este sentido, cabe preguntarse si no existe alguna formulacin alternativa de esta propiedad. Acontinuacin se enuncia un teorema que responde aquella
pregunta.
Teorema 3.26. Sea X un espacio de Hausdorff. Entonces X es localmente compacto si, y
slo si, dados x en X y un entorno U de x, existe un entorno V de x tal que V es compacto
y V U.
Demostracin:
Esta nueva formulacin implica la compacidad local; el conjunto C =
V es el compacto requerido conteniendo un entorno V de x. Reciprocamente, supongamos

que X es localmente compacto; sean x un punto de X y U un entorno de x. Consideramos
la compacticacin por un punto Y de X, y sea C el conjunto Y U . Entonces C es
cerrado en Y , as que C es un subespacio compacto de Y . Aplicando el Lema 3.4 elegimos
abiertos disjuntos V y W conteniendo a x y C, respectivamente. Entonces la clausura V
de V en Y es compacta y adems V es disjunto de C, as que V U .
Corolario 3.4. Sea X un espacio localmente compacto y de Hausdorff y sea A un subespacio de X. Si A es cerrado en X o abierto en X, entonces A es localmente compacto.
Demostracin:
Supongamos que A es cerrado en X. Dado x A, sea C un subespacio
compacto de X conteniendo un entorno U de x. Entonces C A es cerrado en C y, por

tanto, compacto. Adems contiene al entorno U A de x en A.
87
Compacidad
Supongamos ahora que A es abierto en X. Dado x A, aplicamos el resultado

precedente y elegimos un entorno V de x en X tal que V es compacto y V A. Entonces
C = V es un subespacio compacto de A conteniendo el entorno V de x en A.
Corolario 3.5. . Un espacio X es homeomorfo a un subespacio abierto de un espacio

compacto y de Hausdorff si, y slo si, X es localmente compacto y de Hausdorff.
Demostracin:
Se sigue inmediatamente del Teorema 3.25 y el Corolario 3.4.
88
C APTULO
T EOREMA
4.1
DE
D INI
Biografa
Ulises Dini nacido en el 1845 y muerto el 28 de octubre de 1918 fue un matemtico

y poltico italiano, nacido en Pisa. l es conocido por su contribucin al anlisis real, en
parte recogida en su libro Fundamentos de la teora de funciones de variable real1
Dini asisti a la Scuola Normale Superiore con el n de estudiar para profesor.
El orientador de su tesis doctoral fue Enrico Betti2 . En 1865, obtuvo una beca que le
permiti visitar Pars, donde estudi con Charles Hermite, as como Joseph Bertrand, y
public varios trabajos. En 1866 fue nombrado miembro de la Universidad de Pisa, donde
fue profesor de lgebra y la geodesia (trata del levantamiento y de la representacin de
la forma y de la supercie de la Tierra, global y parcial, con sus formas naturales y
articiales). Desde 1888 hasta 1890, Dini fue rector de la Universidad de Pisa, y de la
Scuola Normale Superiore de 1908 hasta su muerte en 1918.
Tambin fue activo como poltico: en 1871 fue elegido en el consejo de la ciudad de
Pisa, y en 1880, se convirti en miembro del Parlamento italiano.
http://ebooks.library.cornell.edu/cgi/t/text/pageviewer-idx?c=math;cc=math;idno=02070001;
view=image;seq=1;page=root;size=100.
2
http://www.genealogy.ams.org/id.php?id=26323
89
Enunciacin y Demostracin
Figura 4.1: Monumento a Ulises Dini en Pisa
4.2
Enunciado y demostracin del teorema
Teorema 4.1 (Dini). Sea X es un espacio mtrico compacto y {fn } una sucesin montona
creciente (es decir, fn (x) fn+1 (x), n 1 para todo n y x) de funciones reales continuas
en X que converge puntualmente a una funcin continua f , entonces la convergencia es
uniforme.
Demostracin
Supondremos que para cada n N, sea gn (x) = fn (x) f (x), que la
sucesin de funciones converge montonamente a 0.

Sea > 0. Por cada x X, podemos elegir un nx , tal que fnx (x) < 2 . Puesto que
fnx es continua, existe un entorno abierto Ux de X, tal que para cada y Ux , tenemos
fnx (y) < 2 . Los conjuntos abiertos Ux cubren a X, por ser compacto, por lo que podemos
90
elegir un nmero nito de x1 , . . . , xk tal que los Uxi tambin cubren a X. Entonces, si
N nx1 , . . . , nxk , que tienen fn (x) < por cada n N y x X, pues la sucesin fn es
montonamente creciente. Por lo tanto, {fn } converge a 0 uniformemente en X.
Observacin 4.1. El Teorema de Dini es falso si el dominio es no compacto, pues la

sucesin de funciones continuas fn (x) = xn converge montonamente; f1 (x), f2 (x), . . . es
mnotona (creciente o decreciente), a la funcin continua 0 en el intervalo [0, 1[, pero la
convergencia no es uniforme.
Nota 4.1. La misma conclusin es vlida si fn es montonamente decreciente.
Ejemplo 4.1. Se considera la sucesin de funciones fn : [0, 1] R denida de forma
recurrente por f0 (x) = 1, fn (x) =
xfn1 (x). Demostraremos que la sucesin converge en
[0, 1] y que la convergencia es uniforme.

Tenemos:
f0 (x) = 1
Si n = 1, entonces f1 (x) =
x.
x x=
x x3 =
x3 .
x7 .
As, esto sugiere

fn (x) =
2n
x2n 1
demostrable por induccin, pues, supongamos verdadero n = k, es decir:
fk (x) =
2k
x2k 1 ,
entonces n = k + 1 es verdadero.
fk+1 (x) =
2k+1
91
x2k+1 1 ,
Tambien lo es, por:
fk+1 (x) =
=
xfk (x), ... denicin recursiva

x
2k
x2k 1 , ... hiptesis inductiva
Utilizando propiedades de las potencias en los nmeros reales obtenemos
fk+1 (x) =
2k+1
x2k+1 1 .
n
2n
x2 1 para cada n N.
Por tanto es verdadera fn (x) =
n
2 1
1
= 1 n montona creciente. Pues
Sea la sucesin an =
n
2
2
an an+1
1
2n
1
2n+1
1
2n
1
2n+1
2n 2n+1
y la ltima desigualdad es evidente. Como 0 x 1 se verica:
fn (x) = xan xan+1 = fn+1 (x),
x [0, 1]
Es decir, tenemos una sucesin fn de funciones continuas, montona decreciente

sobre el compacto [0, 1] cuyo lmite es la funcin continua f (x) = x.
Como consecuencia del Teorema de Dini se verica que la convergencia es uniforme.
92
Bibliografa
[1] Carrillo, V., Molina, V. (2012) Espacios Topolgicos. Seminario de Ttulo para Profesor de Matemtica y Computacin, Universidad de Los Lagos, Osorno.
[2] Chamizo, F. (2002) TOPOLOGA (La Topologa de segundo no es tan difcil). Disponible en: http://rinconmatematico.com/chamizo/APtopo.pdf
[3] Dixmier, J. (1984) General Topology. New York: Springer Sciencie+Business Media,LLC.
[4] Hoffman, K. Kunze, R. (1971) Linear Algebra. New jersey: Prentice-Hall, Inc
[5] Lewin, R. Teoria axiomatica de conjuntos, versin preliminar. Disponible en:
www.mat.uc.cl/rlewin/apuntes/sets.pdf
[6] Lima, E. (1995) Curso de anlise vol. 1 oitava Edio. Rio de Janeiro: LTC-livros
Tcncos e cienticos Editora S.A.
[7] Munker, J. (2000) Topology 2da Edition. USA: Prentice-Hall, Inc.
93
Bibliografa
[8] Neira, C. Topologa General. Bogota: Universidad Nacional de Colombia. Disponible

en: http://es.scribd.com/doc/133970709/Topologia-General-Clara-Neira-1-UN
[9] Romero, N. (2010). Un primer curso de Topologa General. Disponible en:
http://es.scribd.com/doc/205735770/Un-Primer-Curso-de-Topologia-GeneralNeptali-Romero
[10] Vzquez, R. Introduccin a la Topologa. Topologa. UMAM.(1995)
[11] Willard, S. (1970). General Topology. EEUU: Addison-Wesley Publishing Comany.
94
ndice alfabtico
Axioma Numerabilidad, 49
cerrado, 25
clausura, 26
Bases equivalentes, 21
Bola
abierta, 41
Camino, 64
interior, 26
Continuidad uniforme, 78
Continuo lineal, 61
Convergencia
uniforme, 50
Compacidad
por punto lmite, 80
Cubrimiento, 66
abierto, 67
sucesional, 80
Compacticacin, 86
compacto
curva seno del toplogo, 65

Distancia, 41
localmente, 83
acotada, 44
Conexo
uniforme, 45
por camino, 64
Conjunto
acumulacin, 28
Elemento bsico, 19
embebimiento topolgico, 39
95
NDICE ALFABTICO

comparables, 18
Entorno, 28
complementos nitos, 17
sistema de, 28
Esfera de riemman, 87
complementos innitos, 17
Espacio
inducida, 23
topolgico, 17
mtrica inducida, 41
compacto, 67
orden lexicogrco, 32
conexo, 56
Sorgenfrey, 20
de Sierpinsky, 40
subbase, 21
Hausdorff, 34
usual de R, 18
homeomorfos, 36
mtrico, 41
metrizable, 34
Funcin
continua, 31
homeomorsmo, 36
mtrica inducida
equivalentes, 45
Plano
complejo, 87
Punto
acumulacin, 28
lmite, 28
Teorema
Bolzano-Cauchy, 63
Topologa, 17
base, 19
96

Espacio de Funciones Continuas

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Espacio de Funciones Continuas

Hochgeladen von

Copyright:

Verfügbare Formate

Universidad de Los Lagos

Departamento de Ciencias Exactas

SEMINARIO PARA OPTAR AL

... à mi mà`drè... y pòr supuès to à ustedès , Vi`cky y

Un perro sin amo vagabundea libre, pero el

El seminario titulado Teorema de Dini consiste en estudiar topologas, espacios

Osorno, Chile, 2014

Seminario: Teorema de Dini

rrollamos una seccin que relaciona la clausura de un conjunto con la convergencia de

1.1.1. Bases y sub-bases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

2.1.1. Construccin de funciones continuas . . . . . . . . . . . . . . . . . . . 35

Seminario: Teorema de Dini

3.1.1. Subespacios conexos de la recta real . . . . . . . . . . . . . . . . . . . 62

3.2.1. Subespacios compactos de la recta real . . . . . . . . . . . . . . . . . . 74

Enunciado y demostracin del teorema

Seminario: Teorema de Dini

Ejemplo 1.2. Como un ejemplo de espacio topolgico consideremos al conjunto de los

T es una topologa sobre X

T no es una topologa sobre X pues, basta considerar

Seminario: Teorema de Dini

T que contienen a todas las colecciones

T y equivalentemente a una nica mas gruesa.

Llamaremos elemento bsico de B a los elementos de la base B.

Seminario: Teorema de Dini

Vea demostracin en Proposicion 2.3 de [9].

ii) para cada B1 , B2 B y x (B1 B2 ) , existe B3 B tal que x B3 (B1 B2 ).

Seminario: Teorema de Dini

Vea demostracin en Lema 13.3 de [7].

Ejemplo 1.8. Los conjuntos S1 = {] , a[, ]b, [ | a, b R} es subbase de la topologa

Seminario: Teorema de Dini

Topologa del orden

Seminario: Teorema de Dini

Denicin 1.9. . Si X es un conjunto ordenado y a es un elemento de X, existen cuatro

Denicin 1.10 (Topologa inducida). Sea X un espacio topolgico con topologa T . Si

es una topologa sobre Y , denominada topologa de subespacio o topologa relativa.

Seminario: Teorema de Dini

Lema 1.3. Si B es una base para la topologa de X, entonces la coleccin

Ver Lema 16.1 de [7].

Denicin 1.12 (Abierto relativo). Si Y es un subespacio de X, diremos que un conjunto

Puesto que U es abierto en (Y, TY ), U = Y V para algn conjunto

V abierto en (X, T ). Como V y Y son ambos abiertos en (X, T ), tambin lo es Y V ,

Teorema 1.2. Si A es un subespacio de X y B es un subespacio de Y , entonces la topologa

Ver demostracin Teorema 16.3 en [7].

Observacin 1.6. Observese que si (Y, TY ) es un subespacio de (X, T ) y (A, TA ) es un

Seminario: Teorema de Dini

Elementos de una topologa

Denicin 1.13 (Conjunto Cerrado). Un subconjunto A de un espacio topolgico (X, T )

Para esta demostracin basta con utilizar los complementarios y veri-

car en ellos la Denicin 1.1.

Seminario: Teorema de Dini

Denicin 1.14. Si (Y, TY ) es un subespacio de (X, T ), diremos que un conjunto A es

Teorema 1.4. Sea (Y, TY ) un subespacio de (X, T ). Entonces un conjunto A es cerrado en

Ver demostracin en Teorema 17.2 de [7].

Si A es cerrado en (Y, TY ), tenemos que, (Y A) TY T por ser

(Y, TY ) subespacio de (X, T ), esto implica que (Y A) T , por Denicin 1.12, as A es

Seminario: Teorema de Dini

Observacin 1.8. El interior de A se denota por Int(A) y la clausura de A se denota

i). Sea A un subconjunto abierto de (X, T ). Int(A) =

quier abierto Ai A, por Denicin 1.15. Entonces A

Ai A. Por ser A un subconjunto abierto de X. Por otro lado

Ai , para cualquier abierto

Ai = Int(A) A por ser

Ai , para cualquier abierto Ai A. Como la unin de abiertos es un