Documentos de Académico
Documentos de Profesional
Documentos de Cultura
A Punt Es Completo 1112
A Punt Es Completo 1112
Curso 2011/2012
Captulo 1
Espacios mtricos
1.1.
Medir la proximidad
2. ||v|| = || ||v||, R, v V ,
3. ||v|| = 0 si y slo si v = 0, v V ,
4. ||v + w|| ||v|| + ||w||, v, w V .
Al par (V, || ||) se le llama espacio normado.
Proposicin 1.1.5. Si (V, || ||) es un espacio normado, la aplicacin
d : V V R dada por d(v, w) = ||v w|| es una distancia sobre V .
A (V, d) se le llama espacio mtrico asociado al espacio normado
(V, || ||).
Demostracin. Veremos a continuacin que d cumple las condiciones que
hacen a una aplicacin distancia:
1. d(v, w) = ||v w|| 0 por la propiedad 1 de la norma.
2. d(v, w) = ||v w|| = ||(1)(w v)|| = | 1| ||w v|| = ||w v||,
donde se ha usado la propiedad 2 de la norma en la tercera igualdad.
3. Por definicin, d(v, w) = 0 si y slo si ||vw|| = 0. Por la propiedad
3 de la norma, esto ocurre si y slo si v w = 0, es decir, v = w.
4. d(v, v ) = ||v v || = ||v v + v v || ||v v || + ||v v || =
d(v, v ) + d(v , v ), donde se ha usado la propiedad 4 de la norma
para conseguir la desigualdad.
2
denotaremos de , es de ((x, y), (x , y )) = (x x ) + (y y )2 .
A esta norma se le llama norma taxi y a su distancia asociada distancia taxi : dtaxi ((x, y), (x , y )) = |x x | + |y y |.
2
En el plano R
, las distancias entre los puntos (0, 0) y (1, 1) son
de ((0, 0), (1, 1)) = 2 y dtaxi ((0, 0), (1, 1)) = 2.
Figura 1.1:
Ejemplo 1.1.9. Si V = R2 , ||(x, y)||max = max{|x|, |y|} es una norma.
Probaremos a continuacin su cuarta propiedad:
Se cumple que |x + x | |x| + |x | max{|x|, |y|} + max{|x |, |y |} =
||(x, y)||max + ||(x , y )||max . Podemos hacer lo mismo con |y + y |, luego
tenemos que
||(x, y)+(x , y )||max = max{|x+x |, |y+y |} ||(x, y)||max +||(x , y )||max .
Su distancia asociada es dmax ((x, y), (x , y )) = max{|x x |, |y y |},
que llamaremos distancia del mximo.
Ejemplo 1.1.10.p
SiP
tomamos V = Rn , n 2, la norma eucldea es ahora
n
2
||(x1 , . . . , xn )|| =
i=1 xi . Su distancia asociada, que tambin
pPn llamare2
mos distancia eucldea, es de ((x1 , . . . , xn ), (y1, . . . , yn )) =
i=1 (xi yi ) .
n
Anlogamente,
las normas taxi y mximo para R son ||(x1 , . . . , xn )||taxi =
Pn
ax{|xi |; 1 i P
n}, siendo sus distanax = m
i=1 |xi | y ||(x1 , . . . , xn )||m
cias asociadas dtaxi ((x1 , . . . , xn ), (y1 , . . . , yn )) = ni=1 |xi yi | y
dmax ((x1 , . . . , xn ), (y1, . . . , yn )) = max{|xi yi|; 1 i n}, respectivamente.
Ejemplo 1.1.11. V = {f : R R; f es acotada} es un espacio vectorial
con:
Suma: (f + g)(x) = f (x) + g(x),
Producto por escalar: (f )(x) = f (x).
Figura 1.2:
Se define la sucesin de funciones {fn } como fn = (1/n) sen(x) y
se denota por a la funcin nula. Entonces d (fn , ) = 1/n y la sucesin {fn } se aproxima arbitrariamente a la constante cero en el espacio
(V, d ).
Definiremos a continuacin otra norma:
Ejemplo 1.1.13. Si V = {f : [0, 1] R; f continua}, entonces ||f ||1 =
R1
R1
|f
(x)|dx
es
una
norma
cuya
distancia
asociada
es
d
(f,
g)
=
|f (x)
1
0
0
g(x)|dx.
1. ||f ||1 0 porque |f (x)| 0 para todo 0 x 1.
R1
R1
2. ||f ||1 = 0 || |f (x)|dx = || 0 |f (x)|dx = || ||f ||1.
Figura 1.3:
R1
3. Si ||f ||1 = 0 |f (x)|dx, entonces |f (x)| = 0 para todo x R, luego
f es la funcin nula (x) = 0 para todo x R.
R1
R1
R1
4. ||f +g||1 = 0 |f (x)+g(x)|dx 0 (|f (x)|+|g(x)|)dx = 0 |f (x)|dx+
R1
|g(x)|dx = ||f ||1 + ||g||1.
0
En general, podemos definir ||f ||n =
qR
1
n
0
|f (x)|n dx.
Figura 1.4:
Veamos ahora un ejemplo de seudodistancia.
Ejemplo 1.1.15. Dado el espacio vectorial V = {f : [0, 1] R; f continua},
entonces dmeta = |f (1) g(1)| es una suedodistancia. No es distancia
porque si tomamos dos funciones f, h que sean distintas pero que coincidan en el punto 1, entonces dmeta (f, h) = 0. Podemos darle un sentido a esta seudodistancia si observamos una funcin creciente en V con
f (0) = 0 puede ser considerada como la expresin del tiempo que tarda
un corredor en pasar por cada punto de su carrera entre la salida en x = 0
y la meta en x = 1. De esta forma dmeta mide la diferencia del tiempo de
llegada.
Figura 1.5:
Definiremos ahora una distancia vlida para cualquier conjunto.
Ejemplo 1.1.16. Dado
X, la aplicacin d : X X R
un conjunto
1,
x
=
6
x
definida por d(x, x ) =
es una distancia, que denotaremos
0, x = x
distancia discreta.
1. Trivial por definicin.
2. d(x, x ) = d(x , x) por definicin.
3. d(x, x ) = 0 si y slo si x = x .
4. La aplicacin d slo puede tomar los valores 0 y 1, luego la nica
posibilidad de que la desigualdad d(x, x ) d(x, x ) + d(x , x )
falle sera si d(x, x ) = 1 pero entonces d(x, x ) = 0 = d(x , x ). Sin
embargo, este caso no puede ocurrir porque d(x, x ) = 0 = d(x , x )
implica x = x = x , luego d(x, x ) = 0.
Proposicin 1.1.17. No existe ninguna norma en Rn cuya distancia
asociada sea la discreta.
Demostracin. (R.A.) Supongamos que existiese tal norma asociada || ||
y tomemos x 6= 0 (donde 0 es el origen de Rn ) y R, 6= 0. Entonces
x 6= 0 y 1 = d(x, 0) = ||x 0|| = ||x|| = || ||x|| = ||. Luego hemos
probado que || = 1 para cualquier R, 6= 0. Contradiccin.
Figura 1.6:
Esta observacin lleva a la siguiente definicin general
Definicin 1.1.18. Sea (X, d) un espacio (seudo)mtrico. Dados x X
y > 0, se llama bola abierta de centro x y radio a
Bd (x, ) = {y X; d(x, y) < }.
Una bola cerrada de centro x y radio es
Bd [x, ] = {y X; d(x, y) }.
Una esfera de centro x y radio es
Sd [x, ] = {y X; d(x, y) = }.
Ejemplo 1.1.19. En la recta eucldea (R, de ), tenemos Bde (x, ) = {y
R, |x y| < } = (x , x + ).
Ejemplo 1.1.20. En el plano eucldeo (R2 , de ), la p
bola Bde (0, ) =
2
2
{(x1 , x2 ) R , de ((x1 , x2 ), 0) < } = {(x1 , x2 ) R , x21 + x22 < } =
{(x1 , x2 ) R2 , x21 + x22 < 2 }, sera un crculo sin circunferencia de centro
(0, 0) y radio .
Ejemplo 1.1.21. En (R2 , dtaxi ), la bola abierta de centro 0 y radio
es Bdtaxi (0, ) = {(x1 , x2 ) R2 , dtaxi ((x1 , x2 ), 0) < } = {(x1 , x2 )
R2 , |x1 | + |x2 | < }.
Si x1 , x2 0, entonces |x1 | + |x2 | < implica x1 + x2 < .
Figura 1.7:
Si x1 , x2 0, entonces |x1 | + |x2 | < implica x1 x2 < .
Si x1 0, x2 0, entonces |x1 | + |x2 | < implica x1 x2 < .
Si x1 0, x2 0, entonces |x1 | + |x2 | < implica x2 x1 < .
Por tanto, Bdtaxi (0, ) sera un cuadrado sin su borde de centro 0 y
con esquinas en (, 0), (0, ), (, 0) y (0, ).
Figura 1.8:
Ejemplo 1.1.23. Sean X = {f : R R, f es acotada} y la distancia
d = sup{|f (x)g(x)|}. Si denotamos por la funcin constate nula, entonces Bd (, ) = {f X, d (f, ) < } = {f X, sup{|f (x)|} < } =
{f X, < |f (x)| < } = {f : R R| grfico de f est entre y =
e y = }.
10
Figura 1.9:
Ejemplo 1.1.24. Si tomamos X = R2 , la distancia
discreta ddiscreta y el
{}, 1
punto = (0, 0), entonces Bddiscreta (, ) =
R2 , > 1
Proposicin 1.1.25. (Propiedades de las bolas abiertas)
Sea (X, d) un espacio (seudo)mtrico. Se cumplen:
1. Dados > 0 y x X, x Bd (x, ).
1. Si 0 < < , entonces Bd (x, ) Bd (x, ).
2. Si y Bd (x, ), donde x, son arbitrarios, entonces existe > 0
con Bd (y, ) Bd (x, ).
3. Si z Bd (x, ) Bd (x , ), entonces existe > 0 tal que Bd (z, )
Bd (x, ) Bd (x , ).
Demostracin.
11
Figura 1.10:
Figura 1.11:
Si tomamos = mn{, } > 0, entonces Bd (z, ) Bd (z, )
Bd (x, ) y Bd (z, ) Bd (z, ) Bd (x , ). Podemos concluir que
Bd (z, ) Bd (x, ) Bd (x , ).
Proposicin 1.1.26. (Propiedad de separacin de Hausdorff ) Si (X, d)
es un espacio mtrico y x 6= x X, entonces existe > 0 tal que
Bd (x, ) Bd (x , ) = .
Demostracin. Como (X, d) es un espacio mtrico, entonces d(x, x ) =
> 0. Sea = /2. Afirmamos que Bd (x, ) Bd (x , ) = .
(R.A.) Si existiese y Bd (x, ) Bd (x , ), entonces d(x, y) < y
d(x , y) < . Luego d(x, x ) d(x, y) + d(y, x ) < + = 2 = y
concluimos que d(x, x ) < , lo cual es absurdo.
Ejemplo 1.1.27. En R2 , d((x, x ), (y, y )) = |x y| es seudodistancia pero no distancia porque d((0, 0), (0, 1)) = 0 < , luego (0, 1)
Bd ((0, 0), ), para todo > 0. Por tanto, Bd ((0, 1), ) Bd ((0, 0), ) 6=
para todo > 0.
El punto (0, 1) no se puede separar nunca del (0, 0).
1.2.
12
Un crculo abierto del plano contiene todos los puntos del plano que
rodean su centro hasta una cierta distancia (el radio del crculo), igualmente una bola abierta de un espacio (seudo)mtrico. Ms an, de acuerdo con la propiedad 1.1.25(2), una bola abierta cualquiera contiene todos
los puntos vecinos de cada uno de sus puntos hasta una cierta distancia
(que vara segn el punto elegido). Pero tambn figuras de aspecto geomtrico irregular pueden envolver a algunos de sus puntos (incluso a
todos): bastar que contenga alguna bola abierta, por pequea que sea,
centrada en cada uno de esos puntos.
Figura 1.12:
Para fijar ideas establecemos las siguientes definiciones
Definicin 1.2.1. Sea (X, d) un espacio (seudo)mtrico y A X. Decimos que x X es un punto interior de A si existe > 0 tal que
Bd (x, ) A. En tal caso se dice que A es entorno de x en (X, d).
Se llama interior de A en (X, d), denotado por intA, a:
intA = {x X, x es interior a A}.
Un conjunto A X se dice abierto en (X, d) si A = intA.
Proposicin 1.2.2.
1. Se cumple que intA A en todo espacio (seudo)mtrico (X, d).
2. Toda bola abierta en un espacio (seudo)mtrico es un conjunto
abierto en (X, d).
13
Demostracin.
1. Si x intA, entonces existe > 0 con Bd (x, ) A.
Por el apartado 1 de la Proposicin 1.1.25, x Bd (x, ) A, luego
x A. Por tanto, intA A.
2. Demostraremos que intBd (x, ) = Bd (x, ) por doble inclusin.
intBd (x, ) Bd (x, ) por (1).
Figura 1.13:
Proposicin 1.2.3. En los espacios mtricos (R2 , de (eucldea)), (R2 , dtaxi )
y (R2 , dmax ), cualquier conjunto A R2 tiene el mismo interior. Por tanto, las familias de los conjuntos abiertos de los tres espacios coinciden.
Demostracin. Si x = (x1 , x2 ) intA en (R2 , de (eucldea)), entonces existe > 0 tal que Bde (x, ) pA. Ahora bien, Bde (x, ) = {y = (y1 , y2)
R2 , de (x, y) < } = {y R2 , (x1 y1 )2 + (x2 y2 )2 < }, de donde se
sigue fcilmente que:
14
Figura 1.14:
Figura 1.15:
Sea x = (x1 , x2 ) intA en (R2 , dtaxi ). Entonces existe > 0 tal que
Bdtaxi (x, ) A. Como Bdtaxi (x, ) = {y = (y1 , y2) R2 , dtaxi (x, y) <
} = {y R2 , |x1 y1 | + |x2 y2 | < }, tenemos que:
Figura 1.16:
Bdmax (x, /2) Bde (x,
en (R2 , dmax ).
Corolario 1.2.4. Las bolas abiertas de (R2 , de ), son abiertos en (R2 , dtaxi )
y (R2 , dmax ). Anlogamente para el resto de los casos.
Nota 1.2.5. Se deja como ejercicio generalizar los dos resultados anteriores al espacio Rn para todo n 2.
15
16
17
Captulo 2
Espacios topolgicos
En el captulo anterior vimos que distacias distintas podan dar lugar
a un mismo ontrol de proximidad". Por tanto debe existir una nocin
subyacente a la de distancia que nos lleve a la fundamentacin general de
la idea de proximidad. Esta estructura es la de topologa como coleccin
de subconjuntos sujetos a las condiciones que se reflejan en la propiedades
bsicas de los conjuntos abiertos de los espacios (seudo)mtricos en la
proposicin 1.2.8. El relevo de una (seudo)distancia por la familia de
abiertos permite establecer sobre un conjunto una estructura de proximidad sin valores numricos.
2.1.
Ejemplo 2.1.2. Si (X, d) es un espacio (seudo)mtrico, entonces la familia Td = {A X; A es abierto en (X, d)} es una topologa sobre X,
llamada topologa asociada a la distancia d. Esto es una consecuencia inmediata de las propiedades bsicas de los conjuntos abiertos en espacios
(seudo)mtricos.
18
19
2.2.
20
Hemos basado la definicin de espacio topolgico en la nocin de conjunto abierto. Nuestra experiencia con los espacios (seudo)mtricos nos
dice que debera existir una idea de interior en un espacio topolgico de
forma que los abiertos de ese espacio quedasen caracterizados como aquellos conjuntos que coinciden con su interior como as ocurre en los espacios
(seudo)mtricos. La Proposicin 1.2.6(3) sugiere la siguiente definicin.
Definicin 2.2.1. Sea (X, T ) un espacio topolgico. Si A X y x X,
decimos que x es interior a A en (X, T ) si existe un G en T con x
G A. En particular, A.
Se llama interior del conjunto A en (X, T ) al conjunto intA = {x
X; x es interior a A}.
Nota 2.2.2. Obsrvese que por definicin, siempre intA A.
Proposicin 2.2.3. El conjunto A est en T si y slo si A = intA.
Demostracin. Si A est en T , todo a A cumple que a A A,
luego a intA. Como A intA y la otra inclusin se cumple siempre,
entonces A = intA.
Recprocamente, si intA = A, entonces todo a A cumple que a
intA, es decir, que existe Ga en T con a Ga A. Como A = aA {a}
aA Ga A, luego A = aA Ga , que est en T por la tercera propiedad
de la definicin de topologa.
Ahora veremos que las propiedades del interior en un espacio (seudo)mtrico se mantienen en los espacios topolgicos.
Proposicin 2.2.4. Sea (X; T ) un espacio topolgico. Entonces se cumplen:
1. intA A.
2. Si A B, entonces intA intB.
3. int(A1 . . . An ) = intA1 . . . intAn .
4. int(intA) = intA. En particular, intA siempre es abierto.
21
2.3.
22
Demostracin. Si todo G contiene infinitos puntos de A, entonces el conjunto (G {x}) A contiene tambin infinitos puntos. En particular,
(G {x}) A 6= , luego x es de acumulacin de A.
Recprocamente, sea G un abierto en (X, d) con x G. Como G
es entorno de todos sus puntos, existe > 0 tal que Bd (x, ) G.
Por hiptesis, (Bd (x, ) {x}) A 6= , luego existe x1 A con x1
Bd (x, ) {x}. Como x 6= x1 y d es distancia, > d(x, x1 ) = > 0.
Figura 2.1:
Sea 1 = /2. Por hiptesis, (Bd (x, 1 ) {x}) A 6= , luego existe
x2 A con x2 6= x. Adems, d(x, x2 ) < 1 = /2 < d(x, x1 ), luego
x2 6= x1 . Como x 6= x2 , 0 < d(x, x2 ) = 1 < 1 .
Sea 2 = 1 /2 = /4. Por hiptesis, (Bd (x, 2 ) {x}) A 6= , luego
existe x3 A con x3 6= x. Adems, d(x, x3 ) < 2 < 1 /2 < d(x, x2 ) <
d(x, x1 ), luego x3 6= x2 y x3 6= x1 . Como x 6= x3 , 0 < d(x, x3 ) = 2 < 2
y definimos 3 = 2 /2.
Reiterando el proceso obtenemos una sucesin de puntos distintos
{xn }n1 Bd (x, ) G y podemos concluir que G contiene infinitos
puntos de A.
Corolario 2.3.3. Si (X, d) es un espacio mtrico y A = {a1 , . . . , an } es
un conjunto finito, todos sus puntos son aislados.
Definicin 2.3.4. Dados (X, T ) un espacio topolgico y un conjunto
A X, decimos que x X es punto adherente a A si todo abierto G de
T con x G cumple G A 6= .
Nota 2.3.5. Si x es de acumulacin de A, entonces x es punto de adherencia de A. Cualquier punto x A (aislado o no) siempre es punto
adherente a A.
23
Un conjunto A se llama
Por la nota anterior, siempre se cumple A A.
cerrado en (X, T ) si A = A.
Ejemplo 2.3.7. En al recta eucldea (R, eucldea), el supremo y el nfimo de un conjunto A (si existen) son puntos adherentes a A; en particular,
si A es cerrado tiene mnimo y mximo, respectivamente. Sea x0 el nfimo de A, por la definicin de nfimo, para todo > 0, siempre hay algn
punto a A con x0 a x0 + . Por otro lado, si G es un abierto
eucldeo con x0 G existe 0 > 0 con (x0 0 , x0 + 0 ) G, y por tanto
a/2 (x0 0 , x0 + 0 ) A G A. Tenemos as que x0 A.
Si ahora x1 es el supremo, tenemos un elemento a A con x1
2.4.
En esta seccin veremos que en cualquier espacio topolgico el interior y la clausura se determinan recprocamente; es decir, basta conocer
los interiores de los subconjuntos de un espacio topolgico para conocer sus clausuras y recprocamente. Exactamente se tiene la siguiente
proposicin:
24
25
Figura 2.2:
La definicin de cerrado como conjunto que coincide con su clausura
y las propiedades de la clausura en la Proposicin 2.4.3 implican las siguientes propiedades de los conjunto cerrados de cualquier espacio topolgico. Dejamos como ejercicio el escribir una demostracin siguiendo esta
indicacin. Aqu lo haremos usando la dualidad abierto/cerrado.
Proposicin 2.4.4. (Propiedades de los cerrados)
1. y X son cerrados.
S
2. Si A1 ...An son cerrados, entonces ni=1 Ai es cerrado.
T
3. Si {A } es una familia de cerrados, entonces A es cerrado.
Demostracin. 1. es abierto, luego X = X es cerrado.
X es abierto,luego X X = es cerrado.
T
2. Si Ai S
es cerrado, entonces X S
Ai es abierto. Por tanto, ni=1 (X
Ai ) = X ni=1 Ai es abierto, luego ni=1 Ai es cerrado.
3. Si A es cerrado,
entonces X A es
S
T abierto. Luego, por propiedad
de
T los abiertos, (X A ) = X A es abierto. Por tanto,
A es cerrado.
2.5.
26
Figura 2.3:
Proposicin 2.5.2. Sea (X, d) un espacio mtrico. Toda sucesin convergente en (X, d) tiene un nico punto lmite.
Demostracin. (R.A.) Supongamos que {xn }n1 X converge en (X, d)
a x0 y a x1 , con x0 6= x1 . Aplicando la propiedad de separacin de Hausdorff de los espacios mtricos, existe > 0 con Bd (x0 , ) Bd (x1 , ) = .
Como {xn }n1 converge a x0 , entonces existe n0 tal que xn Bd (x0 , )
si n n0 .
Por otro lado, como {xn }n1 converge a x1 , existe n1 tal que xn
Bd (x1 , ) para todo n n1 .
Si n > max{n0 , n1 }, entonces xn Bd (x0 , ) Bd (x1 , ) = . Contradiccin.
27
Figura 2.4: Los puntos de la sucesin deben separarse para alcanzar los
dos puntos lmite
Definicin 2.5.3. Un espacio topolgico (X, T ) se dice que tiene la
propiedad de separacin de Hausdorff (o que es un espacio de Hausdorff )
si dados x, x X con x 6= x , existen abiertos G, G en (X, T ) tales que
x G, x G y G G = .
Nota 2.5.4. Si (X, T ) es un espacio topolgico de Hausdorff, entonces
toda sucesin convergente tiene un nico punto lmite.
Ejemplo 2.5.5. Sea (R2 , d) con d((x, y), (x, y )) = |x x |.
La sucesin (xn , yn ) = (1/n, 0) converge a todo punto de la forma
(0, y). En efecto, sea G un abierto de (X, d) con (0, y) G(= intG).
Entonces existe > 0 tal que Bd ((0, y), ) G.
Figura 2.5:
Si escogemos n0 tal que 1/n0 < , entonces para todo n n0 se
cumple que d((0, y), (1/n, 0)) = 1/n 1/n0 < , luego (xn , yn ) =
(1/n, 0) Bd ((0, y), ) G, n n0 .
Podemos concluir que el espacio no es de Hausdorff.
28
Proposicin 2.5.6. (Caracterizacin de la clausura en espacios (seudo)mtricos). Sea (X, d) un espacio (seudo)mtrico. Son equivalentes:
1. x A con x X y A X.
2. Dado > 0, existe a A con d(x, a) < .
3. Existe {an }n1 A con {an }n1 convergiendo a x.
Figura 2.6:
Reiterando el proceso obtenemos una sucesin a1 , . . . , an en A con
an B(x, 1/n), es decir, d(x, an ) < 1/n. Afirmamos que {an }n1 converge a x. En efecto, si G es abierto de (X, d) con x G, entonces existe
> 0 con Bd (x, ) G.
Si n0 con 1/n0 < , se cumple que d(an , x) < 1/n < 1/n0 <
para todo n n0 . Luego an Bd (x, ) G y concluimos que {an }n1
converge a x.
3) 1) (Vlido para todo espacio topolgico):
Sea G un abierto de (X, d) con x G. Como {an }n1 converge a x por
hiptesis, existe n0 con an G si n n0 (por definicin de convergencia).
Como an A, entonces an A G 6= y concluimos que x A por la
definicin de clausura.
Corolario 2.5.7. En un espacio (seudo)mtrico, A es cerrado si y slo
si para todo x X para el cual exista {an }n1 A convergiendo a x se
tiene que x A.
29
La condicin
Demostracin. Sabemos que A es cerrado si y slo si A = A.
para todo x X para el cual exista {an }n1 A convergiendo a x se
cierta, A = A.
2.6.
Definicin 2.6.1. Sea (X, T ) un espacio topolgico. Dado A X, decimos que x X es un punto frontera de A si para todo conjunto G abierto
de (X, T ) con x G, se verifica que G A 6= y (X A) G 6= .
Se llama conjunto frontera de A a
F rA = {x X, x punto frontera de A}
Proposicin 2.6.2. F rA = A X A
30
31
Figura 2.7:
(d) Sea X = {f : [1, 1] R continua}, definimos el conjunto
A X como A = {f X : f derivable}. Nos preguntamos si el conjunto
A es cerrado para la distancia del supremo d . Esta pregunta, puramente topolgica, equivale a probar que el lmite respecto a d de funciones derivables es derivable lo dara un importante resultado de Anlisis. Desafortunadamente la respuesta es negativa. En efecto, si tomamos
f (x) = |x|, funcin no derivable, podemos encontrar una sucesin de
funciones derivables que tienden a f .
Figura 2.8:
Esto implica que A 6= A, por lo que A no es cerrado. De hecho se
puede demostrar que A = X, por lo que toda funcin continua es lmite
de funciones derivables respecto a la distancia del supremo d .
Definicin 2.6.7. Sea (X, T ) un espacio topolgico, A X se dice
denso en (X, T ) si A = X.
2.7.
Subespacio topolgico
32
Entonces, la familia TA es una topologa sobre A, llamada topologa relativa a A (o restriccin). A (A, TA ) se le llama subespacio topolgico
de (X, T ), y se tiene que C A es un cerrado de (A, TA ) si y slo si
C = {F A, F cerrado de (X, T )}
Demostracin. Dejamos como ejercicio comprobar que TA es una topologa
sobre A. Para la segunda parte, tenemos que C A es un conjunto cerrado de (A, TA ) si y slo si C = A H, con H abierto en (A, TA ) si y slo si
C = AH y H = GA con G T . Luego C = A(XH) = A(XG),
siendo X G cerrado de (X, T ).
Teniendo en cuenta que la interseccin finita de conjuntos abiertos
(de cerrados, respectivamente) es un conjunto abierto (cerrado, resp.),
se sigue inmediatamente la siguiente proposicin. Dejamos los detalles
como ejercicio.
Proposicin 2.7.2. si A abierto de (X, T ), entonces todos los abiertos
de (A, TA ) son abiertos de (X, T ). Del mismo modo se tendr para los
cerrados.
Ejemplo 2.7.3. En general, los abiertos de (A, TA ) no son abiertos de
(X, T ). Por ejemplo: sea (R2 , eucldea), y A = R2+ = {(x, y) : y 0} el
semiplano superior.
Figura 2.9:
Entonces, A no es un abierto en (R2 , eucldea). Ahora, tomando G =
Bd (0, ), que es abierto de (R2 , eucldea), ocurre que G A no es abierto
de (R2 , eucldea), pero s lo es de (A, eucldea|A )
Nota 2.7.4. Si B A X y (X, T ) espacio topolgico, denotamos por
X
A
B a la clausura de B en (X, T ), y B , a la clausura de B en (A, TA ).
A
X
Probar que B = B A.
Nota 2.7.5. Sea (X, d) un espacio (seudo)mtrico, y sea Td la topologa
de los abiertos de (X, d). Dado A X, denotamos por d|A a la distancia restriccin cuyos abiertos forman la topologa Td|A , entonces se tiene
33
Figura 2.10:
A0 = A (, t0 ) = A (, t0 ]
A1 = A (t0 , ) = A [t0 , )
necesariamente A0 6= A1 6= .
Supongamos A0 6= . Como A es abierto en (J, eucldea), tambin lo es
A0 = A(J (, t0 )) por ser interseccin de dos abiertos en (J, eucldea).
Del mismo modo, A0 es cerrado en (J, eucldea).
El conjunto A0 est acotado por t0 superiormente y A0 6= , entonces
existe a = sup A0 . Como J es in intervalo, para todo t A0 , tenemos
a [t, t0 ] J. Sabemos por el Ejemplo 2.3.7 que a es un punto adherente
J
de A0 en (R, eucldea). Por la Nota 2.7.4, tenemos que a A0 J = A0 .
Ahora bien, como A0 es cerrado en (J, eucldea), entonces, a A0 .
En particular, a < t0 . Por otro lado, de ser A0 abierto se sigue que
existe > 0 con {t J; |t t0 | < } A0 , entonces si 0 < < con
a + [a, t0 ] J tenemos a + A0 y a + > a, por lo que a no es
supremo de A0 llegando as a una contradiccin.
2.8.
34
Continuidad
Figura 2.11:
Definicin 2.8.1. Sean (X, T ) e (Y, T ) espacios topolgicos. Una aplicacin f : (X, T ) (Y, T ) se dice continua si para todo A X, se verifica que f (A) f (A). Es decir, si para todo a A, entonces, f (a) f (A).
Proposicin 2.8.2. (Caracterizacin de la continuidad por abiertos y
cerrados)
Sean (X, T ) e (Y, T ) espacios topolgicos, y sea una aplicacin f :
(X, T ) (Y, T ). Son equivalentes:
(1) f es continua.
(2) Si F es un cerrado en (Y, T ), entonces f 1 (F ) es cerrado en
(X, T ).
(3) Si G es un abierto en (Y, T ), entonces f 1 (G) es abierto en
(X, T ).
Demostracin. (1) (2) Sea F un cerrado en (Y, T ), veamos que
f 1 (F ) es cerrado en (X, T ). Esto ser cierto si f 1 (F ) = f 1 (F ), de
modo que la contencin hacia la izquierda se tiene siempre.
Para la otra contencin, tomamos A = f 1 (F ) X. Entonces, por la
continuidad de f , se tiene que f (f 1 (F )) f (f 1(F )). Ahora, tenemos
que f (f 1 (F )) F , y por la monotona de la clausura, f (f 1 (F ))
F = F . Aplicando lo anterior, se tiene que f (f 1(F )) F . Luego, para
todo z f 1 (F ), se verifica que f (z) F , luego z f 1 (F ). Por tanto,
se tiene la otra inclusin.
(2) (3) Sea G abierto, entonces Y G es cerrado. Como estamos
suponiendo (2), f 1 (Y G) = X f 1 (G) es cerrado. Por tanto, f 1 (G)
es abierto.
35
36
Supongamos 1, 1 G
f 1 (G) = A (X A) = X
Supongamos 1, 1 6 G
f 1 (G) =
Supongamos 1 G y 1 6 G f 1 (G) = A
Supongamos 1 G y 1 6 G f 1 (G) = X A
37
38
39
...
(y
,
y
+
)
...
R).
De
este
modo,
se tendr
i
Tn
Qi n
1
1
que x i=1 Ai = f ( i=1 (yi , yi +)) = f (Bd (f (x), )) f 1 (U),
luego f 1 (U) es entorno de todos sus puntos.
Proposicin 2.8.13. Si f : (X, T ) (Y, T ) es un homeomorfismo y
G X es un abierto de (X, T ), entonces f (G) es abierto de (Y, T ). Se
tendr un resultado anlogo para los cerrados.
Demostracin. Al ser f un homeomorfismo, entonces f 1 : (Y, T )
(X, T ) es continua. Luego (f 1 )1 (G) = f (G) es abierto de (Y, T ).
Definicin 2.8.14. Una aplicacin f : (X, T ) (Y, T ) se dice abierta
si para todo abierto G de (X, T ), entonces f (G) es abierto de (Y, T ).
Anlogamente, se dice que f es cerrada si para todo cerrado F de (X, T ),
entonces f (F ) es cerrado de (Y, T ).
Proposicin 2.8.15. f es homeomorfismo si y slo si es biyectiva, continua y abierta, si y slo si es biyectiva, continua y cerrada.
Demostracin. Veamos la primera equivalencia. La implicacin hacia la
derecha se tiene por ser todo homeomorfismo una aplicacin abierta.
Recprocamente, basta probar que f 1 es continua. En efecto, si G es
40
Figura 2.12:
En efecto, sea G abierto de (Rn ,eucldea), debemos probar que pi (G)
es entorno de todos sus puntos para ver que pi (G) es abierto de (R,eucldea).
Entonces, sea x pi (G), se tendr que existe y = (y1 , ..., yn ) G con
yi = x. Por propiedad de los espacios eucldeos, va a existir > 0 tal
que Bd (y, ) G. De este modo, pi (Bd (y, )) = (x , x + ) pi (G), es
decir, pi (G) es entorno de x.
Sin embargo no es cerrada. Basta ver un contraejemplo: sea F =
{(x, y) : y = x1 , x > 0} cerrado de (R2 ,eucldea) (ya que R2 F es abierto). Sin embargo, p1 (F ) = (0, ), que no es cerrado.
Figura 2.13:
2. Veamos un ejemplo de aplicacin biyectiva y continua que no es
homeomorfismo. Sea f : ([0, 2), eucldea) (R2 , eucldea), definida como f (t) = (cos t, sin t). Entonces, f es continua pues p1 f y p2 f
41
Figura 2.14:
Entonces, esta aplicacin es continua, biyectiva y su inversa, f 1 (y) =
a ) + a, tambin es continua. Luego, f es un homeomorfismo.
Por tanto, todos los intervalos acotados de (R,eucldea) son homeomorfos. De modo anlogo, los intervalos de la forma (a, ) y (a , ) van a
ser homeomorfos. As como los de la forma [a, b] y [a , b ], y (, b) y
(, b ). Igualmente lo son (a, ) y (, b).
5. Se tiene que (( 2 , 2 ),eucldea) y (R,eucldea) son homeomorfos.
Basta tomar f (x) = tan x, por tratarse de una aplicacin continua y
biyectiva, y ser f 1 (y) = arctan y continua.
ba
(y
b a
Figura 2.15:
6. Tambin se tiene que ((0, ),eucldea) y (R,eucldea) son homeomorfos. En este caso, basta tomar f : (R, eucldea) ((0, ), eucldea) :
42
Figura 2.16:
Como consecuencia, se tiene el siguiente resultado:
Proposicin 2.8.17. Todos los intervalos abiertos de R son homeomorfos entre s (incluyendo R).
Definicin 2.8.18. Dada f : (R, eucldea) (R, eucldea), se llama
grfica de f a f = {(x, y) : y = f (x)} R2
Ahora, consideramos f : (R, eucldea) (R2 , eucldea) definida como f (x) = (x, f (x)). Entonces, f es inyectiva, pues f (x) = f (x )
implica que x = x . As, la restriccin
ff : (R, eucldea) (f , eucldea)
va a ser una aplicacin biyectiva. Y
ff 1 ((x, y)) = x, es decir,
ff 1 es la
1
restriccin de la proyeccin pi a f . Luego,
ff es continua.
De este modo,
ff es continua, si y slo si p1
ff = idR y p2
ff = f
son continuas, si y slo sif es continua. Por tanto, f es continua, si y slo
si
ff es homeomorfismo entre (R,eucldea) y (f ,eucldea).
Definicin 2.8.19. Una inmersin es una aplicacin continua e inyectiva f : (X, T ) (Y, T ), cuya restriccin a la imagen fe : (X, T )
(f (X), Tf (X) ) es homeomorfismo.
Figura 2.17:
43
Captulo 3
Compacidad
3.1.
CAPTULO 3. COMPACIDAD
45
CAPTULO 3. COMPACIDAD
46
C
cualquiera.
Tenemos
que
X
=
0
n=1 Bd (x0 , n),
S
luego C
B
(x
,
n).
Como
C
es
compacto,
n
,
.
.
.
, nk con C
1
n=1 d 0
Bd (x0 , n1 ) Bd (x0 , nk ) Bd (x0 , n0 ) con n0 = max{n1 , . . . , nk }. Por
tanto, x, x C, tenemos que d(x, x ) d(x, x0 ) + d(x , x0 ) < 2n0 ; esto
es, C est acotado.
CAPTULO 3. COMPACIDAD
3.2.
47
CAPTULO 3. COMPACIDAD
3.3.
48
CAPTULO 3. COMPACIDAD
49
3.4.
Compacidad y continuidad
CAPTULO 3. COMPACIDAD
50
CAPTULO 3. COMPACIDAD
51
Figura 3.2:
3.5.
Sean (X1 , d1 ) . . . (Xn , dn ) espacios (seudo)mtricos. Sobre el producto cartesiano X1 X2 Xn podemos considerar las siguientes
seudo(distancias) ntaxi = ntaxi (d1 , . . . , dn ), nmax = nmax (d1 , . . . , dn ) y
neuclidea = neuclidea(d1 , . . . , dn ), dadas
P por
ntaxi ((x1 , . . . , xn ), (x1 , . . . , xn )) = ni=1 di (xi , xi ),
CAPTULO 3. COMPACIDAD
52
CAPTULO 3. COMPACIDAD
53
3.6.
CAPTULO 3. COMPACIDAD
54
Proposicin 3.6.3. (Teorema de Bolzano-Weierstrass) El recproco tambin es cierto, es decir, un espacio mtrico (X, d) es compacto si y slo
si posee la propiedad de Bolzano-Weierstrass.
Demostracin. El recproco es consecuencia de las dos siguientes proposiciones.
Proposicin 3.6.4. Sea (X, d) espacio mtrico con la propiedad de BolzanoWeierstrass. Entonces para cualquier > 0, X se puede cubrir con una
cantidad finita de bolas de radio .
Demostracin. R.A.: Supongamos que 0 tal que X no se cubre con
una cantidad finita de bolas de radio 0 . Entonces tomamos x1 X
cualquiera:
X 6= Bd (x1 , 0 ) (en caso contrario, X quedara cubierto con una slo una
bola de radio 0 ), entonces x2 X tal que x2 6 Bd (x, 0 ) (si no, dos
CAPTULO 3. COMPACIDAD
55
tanto, x0 Bd xnk ,
. Sea k1 > k0 con
< . Afirmamos que
2
nk1
2
1
Bd xnk1 ,
Bd (x0 , ) U0 , lo que lleva a contradiccin con la
nk1
eleccin delos xn .
1
1
Si y Bd xnk1 ,
, entonces d(xnk , y) <
< , y
nk1
nk1
2
d(x0 , y) d(x0 , y) d(x0 , xnk ) + d(xnk , y) < + = ,
2 2
CAPTULO 3. COMPACIDAD
56
Figura 3.3:
luego, y Bd (x0 , ).
Nota 3.6.6. El lema de Lebesgue implica que si A X es cualquier
conjunto con dimetro (A) < , entonces A U0 para algn 0 .
En efecto, si a A, (A) < implica que A Bd (a, ) y esta bola est
contenida en algn U por el lema de Lebesgue.
Demostracin.
(Final de la demostracin del teorema de Bolzano-Weierstrass).
S
Sea X = U con U = {U } un recubrimiento por abiertos de
X. Entonces, por el lema de Lebesgue, > 0 tal que x X existe (x) con Bd (x, ) U(x) , aplicando 3.6.4, x1 , . . . , xn con
X = Bd (x1 , ) Bd (xn , ) U(x1 ) U(x2 ) U(xn ) , luego
X = U(x1 ) U(x2 ) U(xn ) . Por tanto (X, d) es compacto.
Definicin 3.6.7. Sea f : (X, d) (Y, d ) entre espacios (seudo)mtricos.
Decimos que f es uniformemente continua si dado > 0, > 0 tal que
si d(x, x ) < , entonces d (f (x), f (x )) < .
Proposicin 3.6.8. (Teorema de Heine). Sea f : (X, d) (Y, d) con
(X, d) espacio mtrico compacto. Entonces, si f es continua, f es uniformemente continua.
Demostracin.
> 0. Para cada y Y consideramos la bola
Tomemos
S
abierta Bd y, . Tenemos Y = yY Bd y,
y por continuidad,
2
2
CAPTULO 3. COMPACIDAD
57
S
f 1 Bd y,
es abierto de (X, d) y X = yY f 1 Bd y,
.
2 n
2
o
Por tanto, U = f 1 Bd y,
es un recubrimiento por abiertos
2
yY
de X.
Aplicando el lema de Lebesgue, > 0 tal que si (A) < entonces,
A est contenido en algn abierto de U. Si x, x X con d(x, x ) < ,
entonces
({x, x }) < , luego y0 Y con {x, x } f 1 Bd y0 ,
.
2
As que f (x), f (x ) Bd y0 ,
. Por tanto,
2
d (f (x), f (x )) < d (f (x), y0) + d (y0 , f (x )) < + = .
2 2
Ejemplo 3.6.9. Hay espacios mtricos con conjuntos cerrados y acotados que no son compactos.
Sea X = {f : [0, 1] [0, 1] continuas} y d = d la distancia d (f, g) =
supx[0,1] {|f (x) g(x)|} = maxx[0,1] {|f (x) g(x)|}. En (X, d) consideremos la bola cerrada A = Bd [, ] con = constante 0 y arbitrario pero
fijo. A es cerrado y acotado pero no es compacto. Veamos esto ultimo:
R.A.: Sea {fn }n1 la sucesin en Bd [, ] indicada en la figura. Si A
fuese compacto, por la propiedad de Bolzano-Weierstrass, {fnk }k1 subsucesin convergiendo a algn f0 A. Luego dado > 0, k0 con
d(fnk , f0 ) < , k k0 . Es decir, |fn (x) f0 (x)| < , x [0, 1].
1
< x y k k0 . Lo que implica que fn (x) = 0 y
Si x 6= 0, sea k con
nk
|f0 (x)| < , > 0. Por tanto, f0 (x) = 0, y por ser f0 continua tenemos que f0 (0) = 0, luego f0 = . Pero d(fnk , f0 ) = d(fnk , ) = (fijo).
Contradiccin.
Figura 3.4:
CAPTULO 3. COMPACIDAD
3.7.
58
Compacidad y completitud
si n, n n0 .
Definicin 3.7.4. Un espacio (seudo)mtrico (X, d) se dice completo si
toda sucesin de Cauchy en (X, d) es convergente.
Proposicin 3.7.5. Todo espacio mtrico compacto (X, d) es completo.
Demostracin. Sea {xn }n1 X de Cauchy. Por la propiedad de BolazanoWeierstrass, existe una subsucesin {xnk }k1 convergente a algn x0 X.
Afirmamos que {xn }n1 converge a x0 . En efecto, dado > 0 :
CAPTULO 3. COMPACIDAD
3.8.
59
Compacidad local
Definicin 3.8.1. Un espacio topolgico (X, T ) se dice localmente compacto si x X y cualquier entorno N de x existe otro entorno N de x
con N N y N compacto.
Proposicin 3.8.2. Sea (X, d) un espacio (seudo)mtrico. Son equivalentes:
1. (X, d) es localmente compacto.
2. Dado x X existe una bola cerrada Bd [x, ] que es compacta.
3. Todo x X posee un entorno N en (X, T ) que es compacto.
Demostracin. 1) 2) : Por hiptesis, como X es entorno de cualquier
x X existe N entorno compacto de x, luego > 0 con Bd (x, ) N.
CAPTULO 3. COMPACIDAD
60
Captulo 4
Conexin
4.1.
CAPTULO 4. CONEXIN
62
CAPTULO 4. CONEXIN
63
[
[
Ahora R =
[n, n]
[an , bn ] A R entonces A = R.
n=1
n=1
[n, b]
n=1
[an , b] A (, b] A = (, b]
n=1
[
[
1
1
[an , n] A. Tambin [a + n , n] [an , n]
[a + , n] A.
n
n=1
n=1
[
1
Ahora
[a + , n] = (a, +) A. Adems A (a, ) por
n
n=1
a = nf A y a 6 A. As A = (a, ).
Si el nfimo es mnimo se deja como ejercicio. La demostracin es
anloga al caso 2.
4. Supongamos que A tiene supremo e nfimo. Probaremos primero el
caso en el que existe mximo pero no mnimo. Sean b = max A y
a = nf A con a 6 A. Igual que en el caso anterior, n 1, an A
con an a + n1 .
Entonces de (3) concluimos [an , b] A. Luego
(a, b] =
[a +
n=1
[
1
, b]
[an , b] A (a, b]
n
n=1
CAPTULO 4. CONEXIN
64
n=1 [a
+ n1 , b n1 ]
n=1 [an , bn ]
A (a, b)
CAPTULO 4. CONEXIN
65
Figura 4.1:
2max (d1 , d2 )((x1 , x2 ), (x1 , x2 )) = max{d1 (x1 , x1 ), d2 (x2 , x2 )}
Demostracin. Sean 1 : ([0, 1], eucldea) (X1 , d1) un camino de x1 a
x1 y 2 : ([0, 1], eucldea) (X2 , d2 ) un camino de x2 a x2 . Definimos
: ([0, 1], eucldea) (X1 X2 , 2max ), por (t) = (1 (t), 2 (t)). Es claro
que (0) = (1 (0), 2 (0) = (x1 , x2 ) y (1) = (1 (1), 2 (1) = (x1 , x2 ).
Probemos la continuidad de . Para ello sea t y > 0, veamos si existe
tal que si | t t |< entonces
2max ((t), (t )) = max{d1 (1 (t), 1 (t )), d2 (2 (t), 2 (t ))} < .
Se tiene:
(1) continua 1 con d1 (1 (t), 1 (t )) < si | t t |< 1
(2) continua 2 con d2 (2 (t), 2 (t )) < si | t t |< 2
Nota 4.1.8. La proposicin anterior es vlida tambin para las (seudo)distancias 2taxi y 2euclidea ; ver Seccin 3.5. Ms generalmente, la proposicin es vlida para (X1 X2 , T1 T2 ) donde T1 T2 es la topologa producto
en 3.5.5. Igualmente se puede generalizar a un nmero cualquiera de factores (X1 , d1 ), ..., (Xn , dn ) con n 2.
Proposicin 4.1.9. La relacin estar conectados por un camino en
(X, T ).es de equivalencia. La denotaremos por .
Demostracin. Veamos las condiciones de relacin de equivalencia:
1. Reflexiva: x x por : ([0, 1], eucldea) (X, T ) dada por (t) =
x t.
CAPTULO 4. CONEXIN
66
Figura 4.2:
Sea : [0, 21 ] [0, 1] tal que (t) = 2(t). De igual forma, sea
: [ 12 , 1] [0, 1] tal que (t) = 2t 1. Ambas aplicaciones son
obviamente continuas.
Sean
e = : [0, 12 ] X con
e(t) = (t) = (2t) y e =
e = (t) = (2t 1).
: [ 21 ] X con (t)
Entonces se define : [0, 1] X por
e(t) = (2t)
si t 12
(t) =
e = (2t 1) si t 1
(t)
2
CAPTULO 4. CONEXIN
67
Figura 4.3:
Adems, C0 conexo por caminos implica que x0 y x0 se conectan por
un camino en C0 C0
Aplicamos la propiedad transitiva de 4.1.9 y obtenemos que x y x se
conectan por un camino en C0 ; es decir, C0 es conexo por caminos.
Proposicin 4.1.11. (Variante 1) Supongamos que la familia
\ en 4.1.10
[
que Ci Ci+1 6= i 1. Entonces C =
Cn es conexo por caminos.
n=1
CAPTULO 4. CONEXIN
68
Figura 4.4:
Demostracin. Sea
D1 = C1 es conexo por caminos.
D2 = C1 C2 es conexo por caminos por 4.1.11.
D3 = C1 C2 C3 = D2 C3 es conexo por caminos ya que D2 es conexo
por caminos y D2 C3 6=
..
.
n
[
Dn =
Ci = Dn1 Cn es conexo por caminos pues Dn1 es conexo
i=1
[
Tenemos que C =
Dn . Ahora bien, los Di son conexos por caminos y
n=1
Terminamos esta seccin con algunos ejemplos de espacios bien conocidos que son conexos por caminos.
Ejemplo 4.1.13.
1. Cualquier paralelogramo P = J1 J2 ...Jn en
(Rn ,eucldea) con Ji un intervalo (en particular Rn con Ji = R i
n) es conexo por caminos. En efecto, por 4.1.3(1) P es conexo en
el espacio mtrico (Rn , max ) que tiene el mismo espacio topolgico
subyacente que la distancia eucldea sobre Rn .
2. El crculo unidad C = {(x, y) R; x2 + y 2 1} es conexo por
caminos ya todo punto se puede unir al origen (de hecho C es un
conjunto convexo).
3. La circunferencia unidad S 1 en (R2 ,eucldea) es conexa or caminos.
Basta tomar f : ([0, 2], eucldea) (R2 , eucldea) dada por f (t) =
(cos t, sen t). f es continua y [0, 2] conexo por caminos, por tanto
tambin lo es f ([0, 2]) = S 1 .
4. La esfera unidad S 2 R3 es conexa por caminos en (R3 ,eucldea).
Para ello consideramos los hemisferios E+2 = {(x, y, z) S 2 ; z 0}
CAPTULO 4. CONEXIN
69
Figura 4.5:
y E2 = {(x, y, z) S 2 ; z 0} y si B 2 es el disco unidad de R2
definimos p : S 2 B 2 por p(x, y, z) = (x, y, 0). Obsrvese que la
restriccin de p a E+2 es un homeomorfismo p+ . Anlogamente los
es la restriccin a E2 . Sabemos que el disco unidad es conexo por
caminos. Se tiene que E+2 y E2 son conexos por caminos y por tanto
lo son E+2 y E2 . Adems los hemisferios se cortan en el ecuador.
Por tanto, la esfera unidad es conexa por caminos.
Figura 4.6:
5. El cilindro C en (R3 ,eucldea) es conexo por caminos. Ntese que
C = S 1 R que es conexo por caminos por serlo S 1 y R.
CAPTULO 4. CONEXIN
70
Figura 4.7:
4.2.
Definicin 4.2.1. Sea (X, T ) un espacio topolgico. Se llama componente conexa por caminos de x X al mayor conexo por caminos Cx X
con x Cx .
Lema 4.2.2. Cx existe.
Demostracin. Sea C = {C X; x Cy es conexo por caminos}. La
familia C =
6 no es vaca pues {x} C.
\
Ahora, por la variante anterior, como x
C 6= , entonces x
C
C
[
C = D es conexo por caminos. Adems, si C es conexo por caminos
C C
Proposicin 4.2.3. Cx coincide con la clase de equivalencia de x respecto a la relacin estar conectado por un camino.
Demostracin. Sea Z esa clase de equivalencia; esto es, Z = {y X;
existe un camino en X, entre x e y}. Veamos Z = Cx .
Comenzamos probando Cx Z. Sea y Cx , entonces : [0, 1] Cx
X con (0) = x y (1) = y. Luego, es un camino en X y, por tanto,
y Z y Cx Z.
Para ver la otra inclusin sea z Z, entonces existe un camino :
CAPTULO 4. CONEXIN
71
CAPTULO 4. CONEXIN
72
CAPTULO 4. CONEXIN
73
Figura 4.8:
Figura 4.9:
X = (OY ) (OX)
n=1
An , An = {(x, y); x = n1 }.
[
[
Sea X = ( An ) ( Bn ) donde A0 = OY , y n 1
n=0
n=1
CAPTULO 4. CONEXIN
74
Figura 4.10:
Figura 4.11:
1
An = {(x, y) : x = n1 } y Bn = {(x, y) : y = n; n+1
x n1 }.
Consideramos (X, eucldea).
[
1
CAPTULO 4. CONEXIN
75
Figura 4.12:
El conjunto ([0, 1]) es conexo y compacto por ser imagen continua
de un conexo y compacto, entonces es cerrado y acotado. Luego,
R2 cuadrado centrado en el origen con ([0, 1]) . Se tiene:
n0 tal que n n0 Bn = ([0, 1]) Bn = n n0 .
Sea R = {(x, y); x = } con n01+1 < < n10 . Entonces U =
{(x, y); x < } y V = {(x, y); y > } son abiertos de (R2 ,eucldea)
disjuntos. Adems, p V y q U. Como Bn0 ([0, 1]) = , tenemos que no existe un camino en ([0, 1]) entre p y q, pero esto
contradice que ([0, 1]) es conexo por caminos.
A pesar de no ser conexo por caminos, este espacio no tiene otros
conjuntos abiertos y cerrados simultneamente ms que X y . En
efecto, sea Z X un conjunto no vaco a la vez abierto y cerrado
de (X, eucldea). Si Z (X A0 ) = Z A0 6= , entonces Z = X;
en efecto, Z A0 sera un conjunto abierto y cerrado (6= ) en la
topologa restriccin de XA0 que es conexo por caminos. Entonces
Z A0 = X A0 ; luego X A0 Z. Adems X A0 = X, por
lo que al ser Z cerrado X = X A0 Z = Z; es decir Z = X.
Observemos que el caso Z A0 = no se puede dar ya que si as
fuese Z A0 y como Z es tambin abierto y los puntos de A0 son
adherentes a X A0 , entonces se seguira ZA0 = Z(X A0 ) 6= .
Nota 4.2.9. Algunas observaciones:
1. No siempre la clausura de un conexo por caminos es conexo por
CAPTULO 4. CONEXIN
76
4.3.
Puntos de Corte
CAPTULO 4. CONEXIN
77
CAPTULO 4. CONEXIN
78
4.4.
CAPTULO 4. CONEXIN
79
CAPTULO 4. CONEXIN
80
U V = (G H) A = [(G H B)] A = [U V ] A = B A = A
U V = (G H) A = (G H) B A = (U V ) A =
Pero A es conexo, luego U = y V = A V = y U = A. Como
U = G B 6= entonces existe b B con b G. Como G es abierto y
b B A entonces G A 6= y por tanto U 6= .
De igual forma V 6= , entonces V 6= llegando as a una contradiccin
pues o bien U o V debe ser vaco.
4.5.
CAPTULO 4. CONEXIN
81
CAPTULO 4. CONEXIN
82
Figura 4.13:
Demostracin. Sea f : (C, T /C ) (Y, T ) continua con (Y, T ) discreto.
Para ver que C es conexo basta ver que f es constante.
Para cada , f |C es constante por ser C conexo. Por tanto, x C
f (x) = y Y .
Como C C0 6= si
x C f (x) = y
x0 C C0
x C0 f (x) = y0
Entonces y = y0 , luego f es constante.
Las dos proposiciones siguientes tienen demostraciones anlogas a las
de sus correspondientes contrapartes en conexin por caminos 4.1.11 y
4.1.12.
CAPTULO 4. CONEXIN
83
se tiene C C 6= , ; en particular si
C 6= . Entonces C
[
i 1. Entonces C =
Cn es conexo.
n=1
Figura 4.14:
La aplicacin 1 : (X2 , d2 ) (X1 X2 , 2max ) dada por 1 (x2 ) =
es isometra por tanto, continua. En efecto:
(x01 , x2 ).
CAPTULO 4. CONEXIN
84
Nota 4.5.11. La proposicin anterior es vlida tambin para las (seudo)distancias 2taxi y 2euclidea. De hecho, todo lo indicado en 4.1.8 permanence vlido si cambiamos la conexin por caminos por la conexin
topolgica.
4.6.
CAPTULO 4. CONEXIN
85
Anlogamente,
y Cy Cx Cy Cx Cy Cy Cx Cy de donde Cx = Cy .
Ejemplo 4.6.6. Sea A = { n1 , 0}n1, X = A R R2 .
Entonces en (X,eucldea) la componente conexa de de x = (a, y) con
a A es Cx = {a} R.
Figura 4.15:
Claramente, {a} R es conexo, por tanto, {a} R Cx .
Si p = (a , y ) Cx y p1 : R2 R es la primera proyeccin, p1 (Cx ) es
conexo en A Q, entonces p1 (Cx ) = {}, A. Luego, = a a = a.
Por tanto Cx p1
1 (a) = {a} R
Definicin 4.6.7. Un espacio topolgico (X, T ) se dice localmente conexo
si dado cualquier x X y cualquier entorno N de x en (X, T ) entonces
existe otro entorno N de x que es conexo y N N.
Proposicin 4.6.8. Si (X, T ) es localmente conexo entonces toda componente Cx es un conjunto abierto (y por tanto abierto y cerrado).
CAPTULO 4. CONEXIN
86
Zn = {(x, y); x = n1 }.
CAPTULO 4. CONEXIN
87
Figura 4.16:
Figura 4.17:
ambos abiertos de (R,eucldea). Tenemos que N = (N U)(N V )
porque n01+1 < t < n10 y N X. Luego, llamando a N U = U
y N V = V se tiene U 6= ya que pn0 +1 U , V 6= porque
pn0 V y, U V = . Por tanto, N no es conexo, lo que nos lleva
a contradiccin.
Proposicin 4.6.10. (Invarianza del nmero de componentes conexas)
Sea f : (X, T ) (Y, T ) un homeomorfismo, entonces si Cx es componente de x se tiene que f (Cx ) es componente conexa de f (x).
Consecuencia: Existe una biyeccin entre las componentes conexas de
(X, T ) y las de (Y, T ).
Demostracin. La demostracin es anloga a la de 4.2.7 (ejercicio)