Академический Документы
Профессиональный Документы
Культура Документы
Profesor Patrocinante:
Dr. Jose Edmundo Mansilla Villaroel
Octubre, 2014
Osorno, Chile
Dedicatoria
A`gr`a`d`ecimi`entos
D`oy `gr`a`ci`as `affl Di`os p`orffl `d`arm`e laffl f y fortalezaffl `enffl los m`om`entos m`s `dif`ciles,
`gui`an`d`o sfii`empr`e miffl `camin`o.
A miffl M`a`dr`e y H`erm`an`as les `d`oy `gr`a`ci`as p`orffl `contarffl `conffl usfited`es `enffl tod`o
m`om`ento y p`orffl `el `ap`oyo in`con`di`ci`on`al `qfiu`e sfii`empr`e m`e h`anffl brin`d`a`d`o.
A`gr`a`d`ezco `en`orm`em`ente `affl miffl Tutorffl, `al Pr`ofesfi`orffl Josfi`e M`ansfiillaffl, `qfiui`enffl sfiinffl
`objeci`nffl `algun`affl m`osfitr` tod`affl laffl `disfip`osfii`ci`nffl, pr`esfitan`d`o tod`o sfiuffl m`ayorffl `esfifu`erzo
p`ar`affl `qfiu`e `esfite S`emin`ari`o `d`e Ttulo `culmin`ar`affl `conffl `xito.
A los Pr`ofes fi`or`es Ri`gobflerto M`edin`affl, C`ecili`affl Plan`as, C`arlos M`artin`ez y M`ni`caffl
Gallar`d`o p`orffl sfiuffl `ayu`d`affl y `confi`anzaffl. Esfip`eci`alm`ente `al Dir`ectorffl `d`el D`ep`artam`ento
Ci`en`ci`as Exa`ctas D`octorffl Alvar`o P`oblete p`orffl brin`d`arffl sfiuffl `ap`oyo `affl laffl `culmin`a`ci`nffl
`d`e `esfite tr`abajo.
Al D`ep`artam`ento `d`e Ci`en`ci`as Exa`ctas `d`e laffl Univflersfii`d`a`dffl `d`e L`os L`a`gos, p`orffl `abrirffl
sfius pu`ertas y p`ermitirffl miffl form`a`ci`nffl pr`ofesfii`on`al `conffl sfius `disfitin`gui`d`os A`ca`d`mi`cos.
A`gr`a`d`ezco `affl mis `ami`gos y `comp`a`er`os `d`e `esfitu`di`o Hu`go y Crisfiti`anffl p`orffl ten`erffl
p`a`ci`en`ci`affl, `d`arm`e `nim`o y `comi`d`affl `cu`an`d`o n`o ten`affl `din`er`o.
A miffl `ami`go M`auri`ci`o p`orffl laffl `amisfita`dffl y tantas borr`a`ch`er`as filosfi`ofan`d`o y ri`en`d`o
`d`e tantaffl basfiur`affl `enffl `esfite p`as.
A los `d`e ju`d`o, `conffl los `cu`ales `apr`en`dffl `affl `ca`erffl y lu`ego levanterm`e `d`e form`affl
`continu`am`ente uniform`e...
Dedicatoria
Dedicatoria
Dedicatoria
Dedicatoria
Dedicatoria
Resumen
Nicols Zumelzu
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 clasificar, entre otros mltiples atributos donde
destacan conectividad, compacidad, metricidad o metrizabilidad.
La palabra topologa es utilizada en dos sentidos: informalmente es el sentido especificado anteriormente, y de manera formal se refiere 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 definicin 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, homeomorfismos, adems profundizamos sobre la topologa mtrica y desa13
Introduccin
14
ndice general
1. Topologa General
17
Espacios topolgicos
17
25
2. Continuidad de funciones
31
Funciones continuas
31
48
ndice general
3. Conexidad y compacidad
55
Espacios conexos
56
66
89
Biografa
89
90
Bibliografa
92
ndice alfabtico
94
16
C APTULO
T OPOLOGA G ENERAL
1.1
Espacios topolgicos
Definicin 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 finita 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 Definicin1.1 obtenemos que la unin arbitraria e intersecciones
finitas de conjuntos abiertos son abiertos.
Definicin 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 infinito 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 finito o todo X} y T = {U : X U es infinita o vaca o todo X} donde TC es topologa de X, llamada topologia de complementos finitos y T no es, pues, si Ui T , i I,
entonces X
Ui =
(X Ui ) no necesariamente es un abierto de T .
17
Topologa General
Topologa General
Ejemplo 1.4. Sea {T } una familia de topologas sobre X,
pues verifica la Definicin 1.1 y
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 Definicin 1.1, es decir, {a, b} y {b, c}
estan en T1 T2 , pero {a, b} {b, c} = {b}
/ T1 T2 . Adems la {T } familia de topologas
sobre X posee una nica topologa sobre X ms gruesa
1.1.1.
Bases y sub-bases
Definicin 1.4 (Base de una topologa). Sea (X, T ) un espacio topolgico. Una subcoleccin 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
Topologa General
para ello. Tambin debe ser entendido que en un espacio topolgico pueden existir ms de
una base.
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.7. Sea B es una base para la topologa del espacio (X, T ), entonces cualquier
coleccin B 0 que cumpla B B 0 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 .
bB
Topologa General
Demostracin: Vea demostracin en Teorema 2.2 de [9].
Nota 1.9. El Teorema 1.1 da una condiciones necesarias y suficientes 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 0 es ms fina que T .
ii) Para cada x X y cada elemento bsico B B que contiene a x, existe un elemento
bsico B 0 B 0 tal que x B 0 B.
{Ui : Ui S}
iI
T =
S
iI
n
T
)
{Ui : Ui S}
i=1
Topologa General
Nota 1.10. 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.
Definicin 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.11. 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.
Definicin 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.12. Si X no tiene elemento mnimo o elemento mximo, no existen conjuntos definidos en ii) y iii).
Ejemplo 1.10. La topologa usual sobre R, como se defini en Ejemplo 1.2, es efectivamente la topologa del orden derivada del orden usual en R.
22
Topologa General
1.1.3.
Topologa inducida
TY = {Y U | U T }
(1.1)
Topologa General
Demostracin:
Topologa General
1.2
Demostracin: Para esta demostracin basta con utilizar los complementarios y verificar en ellos la Definicin 1.1.
Nota 1.14. Se podra especificar perfectamente una topologa sobre un espacio dando
una coleccin de conjuntos cerrados satisfaciendo las tres propiedades del Teorema 1.3,
entonces as, definir los conjuntos abiertos como los complementos de conjuntos cerrados
y proceder exactamente igual que antes.
25
Topologa General
(Y A) TY .
Topologa General
Demostracin:
Ai , para cual-
el interior de A. Entonces de estas dos contenciones tenemos que A = Int(A). Recprocamente como A =
Topologa General
Demostracin:
A debido a
A = X
A y
A =
A , pues
necesariamente un abierto.
Nota 1.18. Considerando (X, T ) e (X, T 0 ) 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.
Definicin 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 6= . Al conjunto de
puntos de acumulacin lo denotaremos por A0 .
28
Topologa General
Demostracin:
Corolario 1.1. Un subconjunto de un espacio topolgico es cerrado si, y slo si, contiene
a todos sus puntos lmite.
Demostracin:
F r(A) = A Int(A)
Topologa General
v) A es cerrado, si y slo si F r(A) A.
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
Definicin 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 especificadas para su dominio y recorrido. Si deseamos resaltar
este hecho, podemos decir que f es contnua relativa a las topologas especficas 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 suficiente 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 Definicion 2.1 es equivalente a la definicin 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
fijo, 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 lexicogrfico (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 , definida
por f (t) = (t, t2 ), no es continua. Tomando por ejemplo, la vertical U =
tiene f 1 (U ) =
n o
1
2
ii
h i
1
2, 0
hh
1
2, 1
se
Continuidad de funciones
fi (x) =
, para x 6= 0
|x|
(1)i1 , para x = 0
i
1 1
2, 2
h
= {1}
f21 (] 2, 0[) = ] , 0]
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
Continuidad de funciones
Continuidad de funciones
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.
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:
Continuidad de funciones
f (2t), para 0 t 1
2
H(t) =
1
2, 1
tinua, entonces H tambien lo es. Veamos la notacin empleada en el Teorema 2.3 apartado
vi):
h
X = [0, 1], A = 0, 21 , B =
1
2, 1
2.1.2.
Homeomorfismos
Continuidad de funciones
x
.
1 + |x|
La funcin f es continua, uno a uno y sobreyectiva, adems su inversa, definida por
t
f 1 (t) =
, para t ] 1, 1[ tambin es una funcin continua. La funcin f con estas
1 + |t|
caractersticas nos permite pasar del espacio topolgico R al espacio topolgico ] 1, 1[
0,
2
sen :
]0, 1[
Continuidad de funciones
biyectiva y tambin es continua su aplicacin inversa
Nota 2.10. Podemos reescribir la Definicin 2.3 como: Un homeomorfismo es una correspondencia biyectiva f : X Y , entonces f (U ) es abierto si, y slo si, U es abierto.
Continuidad de funciones
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
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.
Definicin 2.4 (Embebimiento topolgico). Llamaremos a la funcin f : X Y un
embebimiento topolgico, si ocurre que f 0 : X Z es un homeomorfismo, donde Z es un
subespacio de Y .
Ejemplo 2.13. La funcin biyectiva f : X Y puede ser continua sin ser un homeomorfismo. 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 definida 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
Continuidad de funciones
AP (X)
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.
AP (X)
fin 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 homeomorfismo. Si definimos 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 definida en los espacios topolgicos por X Y si y slo si X y Y son homeomorfos es una relacin de equivalencia. Esto justifica el hecho de
que veamos dos espacios topolgicos homeomorfos como el mismo espacio. La relacin de
homeomorfismos nos permite conocer un espacio topolgico por sus caractersticas rele40
Continuidad de funciones
vantes o invariantes topolgicos (aquellas que lo hacen nico) y no por los nombres de sus
elementos.
2.1.3.
Topologa mtrica
Continuidad de funciones
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, definimos la una distancia d como:
d(x, y) =
1, si x 6= y
0, si x = y
42
Continuidad de funciones
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 definida 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, )
(a + b)
(b a)
y=
. Y recprocamente, cada bola B(x, ) de radio es igual a
2
2
un intervalo abierto: el intervalo ]x , x + [.
donde x =
Continuidad de funciones
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 define
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:
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 figura 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 d0 dos distancias sobre el conjunto X, y T y T 0 las topologas que
inducen, respectivamente. Entonces T 0 es ms fina que T si, y slo si, para cada x en X y
cada > 0, existe un > 0 que depende de tal que
(2.1)
Continuidad de funciones
Demostracin: Ver demostracin Lema 20.2 en [7].
Definicin 2.8 (Equivalentes). Sean las topolgias T y T 0 inducidas por las distancias
d y d0 sobre el conjunto X. Diremos que T y T 0 son equivalentes si, y slo si, para cada x
en X y cada > 0, existe un > 0 que depende de tal que
Bd0 (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 infinito R , al generalizar las distancias d y a este espacio podemos intentar definir una distancia d, sobre R por
d(x, y) =
"
X
#1
2
(xi yi )
(2.2)
i=0
Pero esta identidad no siempre tiene sentido, puesto que las series no tienen por qu
ser convergentes.
Definicin 2.9 (La distancia uniforme). Dado un conjunto de ndices J y puntos dados
x = (x )J e y = (y )J de RJ definimos 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 definiendo:
(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
definicin tiene sentido; da una distancia en R que verifica la Definicion 2.9.
45
Continuidad de funciones
D(x, y) = sup
d(xi , yi )
.
i
Demostracin:
(2.3)
Continuidad de funciones
Ejemplo 2.22. Sea R mtrico con la distancia usual. Si f : R R y esta definida
como f (x) = x2 , demostrar su continuidad sin usar la definicin 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.
47
Continuidad de funciones
2.2
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.
Continuidad de funciones
Continuidad de funciones
Bn = U1 U2 . . . Un .
La prueba del Teorema 2.12 es vlida sin ningn cambio.
de funciones
fn : X R
x fn (x) = an g(x)
y una funcin definida:
f : X R
x f (x) = a g(x)
50
Continuidad de funciones
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.
b1 b2
, ,...
2 2
51
Continuidad de funciones
pertenece a B A.
Pero afirmamos 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 0 para la topologa por cajas sobre R haciendo
B 0 = ] x11 , x11 [ ] x22 , x22 [
Entonces B 0 contiene al origen 0, pero no contiene trmino alguno de la sucesin
(an ); el punto an no puede pertenecer a B 0 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 finito. Sea 0 el origen de RJ , es decir,
0 = (0, 0, . . .).
Afirmamos que 0 pertenece a la clausura de A. Sea
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 finitos y, por tanto, es numerable.
Puesto que el propio J es no numerable, existe un ndice en J, digamos , que no pertenece
52
Continuidad de funciones
a ningn Jn . Esto significa 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
Continuidad de funciones
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] verificando |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 definidas 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
3.1
Espacios conexos
Conexidad y compacidad
Y ]a, +[.
Conexidad y compacidad
1
.
x
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:
Demostracin:
p
A C,
Conexidad y compacidad
Conexidad y compacidad
Conexidad y compacidad
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 =
3.1.1.
Conexidad y compacidad
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 6= 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).
Conexidad y compacidad
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.
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 6= 1 (A) entonces
b0 es el supremo de A ningn elemento de la forma b0 c con b0 < b puede ser un supremo
de A ya que entonces b0 sera un supremo para 1 (A).
63
Conexidad y compacidad
Conexidad y compacidad
S=
n
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.
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
sen
= (1)n . Usando entonces el Teorema 3.10 podemos encontrar tn con 0 < tn < n1
n
tal que x(tn ) = u.
Ejemplo 3.11. Se define la bola unidad B n en Rn como
B n = {x | kxk < 1}, donde kxk = k(x1 , ..., xn )k =
65
Compacidad
3.2
Espacios Compactos
Compacidad
Definicin 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 ).
Definicin 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 finita 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 finito 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 finito 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
Compacidad
A=
1
, 1 | n Z+
n
no contiene ninguna subcoleccin finita 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 finita que cubre Y .
Demostracin:
Demostracin:
Demostracin:
68
Compacidad
Compacidad
Demostracin: Probaremos que las imgenes de conjuntos cerrados de X bajo la aplicacin 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.
Definicin 3.9 (Fibra). Un fibrado 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 homeomorfismo
: 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 homeomorfismo tal
que el siguiente diagrama conmuta:
1 (U )
y
/U F
proj1
Compacidad
{C1 , . . . , C :}
Compacidad
interseccin de todos los elementos de la coleccin
CC
es no vaca.
C = {X A | A A}
CC
C es no vaca.
iii) La subcoleccin finita {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 afirmacin es trivial, mientras que la segunda y la tercera se deducen de la
ley de DeMorgan:
X
[
J
A =
(X A )
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 finita. Entonces la interseccin
Cn
nZ+
3.2.1.
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:
tos en [a, b] con la topologa relativa. Demostraremos que existe una subcoleccin finita
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 6= 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 finito de elementos de A. Aplicando el Paso 1 al
73
Compacidad
caso x = a, vemos que existe al menos un punto y verificando tal condicin, luego C no es
vaco. Sea c el supremo del conjunto C entonces a < c b.
Compacidad
Demostracin: Supongamos que A es compacto. Entonces por el Teorema 3.13 es cerrado. Considrenlos la coleccin de conjuntos abiertos
{B (0, m) | m Z+ }
cuya unin es el espacio total Rn . Alguna subcoleccin finita 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
S=
x, sen
1
x
|0<x1
Demostracin:
{] , a[ | a A}
{] , a1 [, . . . , ] , an [}
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.
Definicin 3.11. Sean (X, d) un espacio mtrico y A un subconjunto no vaco de X. Para
76
Compacidad
cada x X, definimos la distancia de x a A por
Demostracin:
tonces el resultado se sigue para cualquier positivo. Por tanto, supongamos que X no
es un elemento de A. Elegimos una subcoleccin finita {A1 , ..., An } de A que cubra a X.
Para cada i, tomamos Ci = X Ai , y definimos f : X R como la funcin media de las
distancias de un punto x a los conjuntos Ci , esto es,
n
1X
f (x) =
d(x, Ci )
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.
Compacidad
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.
Definicin 3.12 (Continuidad uniforme). Una funcin f , definida 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,
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.
2.
78
Compacidad
Demostracin:
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
Compacidad
mientras que xn no.
Corolario 3.3. Cada intervalo cerrado en R es no numerable.
3.2.2.
Compacidad de Bolzano-Weierstrass
Definicin 3.14 (Por punto lmite). Un espacio se dice que es compacto por punto lmite
si cada subconjunto infinito de X tiene un punto lmite.
Teorema 3.23. Compacidad implica compacidad por punto lmite.
80
Compacidad
es una sucesin creciente de enteros positivos, entonces la sucesin (yi ) definida 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:
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 finito, entonces
existe un punto x tal que x = xn para un nmero infinito 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 infinito, entonces A tiene un punto lmite x. Definimos una subsucesin de
(xn ) convergente a x del siguiente modo: primero elegimos n1 tal que
Supongamos entonces que el entero positivo nni est dado. Como la bola B x, 1i
in-
tersecta a A en un nmero infinito de puntos, podemos elegir un ndice ni > ni1 tal
que
xni B x,
1
.
i
Compacidad
1
n
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 suficientemente
grande para que
1
ni
se elige suficientemente grande como para que d(xni , a) < 2 , entonces Cni est contenido
en el -entomo de a. Pero esto significa que Cni A, que es contrario a la hiptesis.
Demostraremos que si X es sucesionalmente compacto, entonces dado > 0, existe
un cubrimiento finito 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
finito 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
Compacidad
tas bolas tiene como mucho dimetro
2
3 ,
de A. Eligiendo dicho elemento de A para cada una de estas -bolas, obtenemos una
sbcoleccin finita 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
B = ]a1 , b1 [ ]an , bn [ R R
83
Compacidad
B = [a1 , b1 ] [an , bn ] R R
Demostracin:
Compacidad
Verificamos 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 ),
S
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 finito de ellos cubren C; la correspondiente coleccin finita 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 .
Definicin 3.17 (Compactificacin). Llamaremos a Y compactificacin de X si se verifican las siguientes condiciones:
i) Y es compacto y de Hausdorff.
ii) X subespacio de Y .
iii) X = Y .
Definicin 3.18 (Compactificacin por un Punto). Llamaremos Y compactificacin de X
por un punto, si Y X consiste en un nico punto.
86
Compacidad
Observacin 3.5. X admite una compactificacin por un punto de Y si, y slo si, X
es un espacio de Hausdorff y localmente compacto que no es compacto. Adems, dicha
compactificacin es nica salvo homeomorfismos.
Ejemplo 3.27. La Compactificacin por un punto de la recta real R es homeomorfa al
crculo, tal y como se puede comprobar. Anlogamente, la compactificacin de R2 por
un punto es homeomorfa a la esfera S 2 . Si R2 se identifica 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 definicin 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.
Teorema 3.26 (Formulacin Alternativa de Compacidad Local). Si X un espacio de
Hausdorff, entonces X es localmente compacto si, y slo si, dados x en X y un entorno
Ux , existe un entorno Vx tal que Vx es compacto y Vx Ux .
Demostracin:
junto C = Vx , X es de Hausdorff, C es el compacto pues, x Vx C = Vx . Reciprocamente, supongamos que X es localmente compacto; sean x un punto de X y Ux . Consideramos
la compactificacin 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 Vx y W conteniendo a x y C, respectivamente. Entonces la clausura Vx
de Vx en Y es compacta y adems Vx es disjunto de C, as que Vx Ux .
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.
87
Compacidad
88
C APTULO
T EOREMA
4.1
DE
D INI
Biografa
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
4.2
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
Enunciacin y Demostracin
elegir un nmero finito 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 definida de forma
recurrente por f0 (x) = 1, fn (x) =
x.
x x=
q
4
x x3 =
x3 .
x7 .
fn (x) =
2n
x2n 1
fk (x) =
2k
x2k 1 ,
entonces n = k + 1 es verdadero.
fk+1 (x) =
2k+1
91
x2k+1 1 ,
Enunciacin y Demostracin
Tambien lo es, por:
fk+1 (x) =
2k
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
Sea la sucesin an =
= 1 n montona creciente. Pues
n
2
2
an an+1
1
1
2n
1
2n+1
1
2n+1
1
2n
2n 2n+1
x [0, 1]
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 cientificos Editora S.A.
[7] Munker, J. (2000) Topology 2da Edition. USA: Prentice-Hall, Inc.
93
Bibliografa
94
ndice alfabtico
Axioma Numerabilidad, 49
acumulacin, 28
cerrado, 25
Bases equivalentes, 21
clausura, 26
Bola
abierta, 41
interior, 26
Continuidad uniforme, 78
Camino, 64
Continuo lineal, 61
Compacidad
Convergencia
uniforme, 50
Cubrimiento, 66
abierto, 67
Compactificacin, 86
Por un punto, 86
compacto
localmente, 83
acotada, 44
Conexo
uniforme, 45
por camino, 64
Conjunto
Elemento bsico, 19
95
NDICE ALFABTICO
embebimiento topolgico, 39
base, 19
Entorno, 28
comparables, 18
complementos finitos, 17
sistema de, 28
Esfera de riemman, 87
inducida, 23
Espacio
mtrica inducida, 41
topolgico, 17
orden lexicogrfico, 32
compacto, 67
Sorgenfrey, 20
conexo, 56
subbase, 21
de Sierpinsky, 40
usual de R, 18
Hausdorff, 34
homeomorfos, 36
mtrico, 41
metrizable, 34
Funcin
continua, 31
homeomorfismo, 36
mtrica inducida
equivalentes, 45
Plano
complejo, 87
Punto
acumulacin, 28
lmite, 28
Teorema
Bolzano-Cauchy, 63
Topologa, 17
96