Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Topologia General PDF
Topologia General PDF
-2-
Topologa General Captulo 0 -3-
Para algunos historiadores de las matemticas, el punto decisivo fue dado por la
publicacin de Anlisis Situs de Poincar en 1895.
La geometra elemental maneja las magnitudes (longitud, ngulos y reas) que son
invariantes por movimientos rgidos, (transformaciones isomtricas o que conservan
la medida), mientras que la geometra proyectiva trata los conceptos (puntos, lnea,
incidencia, razn simple) que son invariantes por el grupo, todava ms extenso, de
las transformaciones proyectivas (proyectar, seccionar). Pero los movimientos
rgidos y las proyecciones son casos muy particulares de las transformaciones
topolgicas que son correspondencias biunvocas y bicontinuas entre dos conjuntos.
La topologa estudia entonces los conceptos invariantes frente a dichas
transformaciones.
-3-
Topologa General Captulo 0 -4-
En el siglo XX, la topologa se afirm como una nueva disciplina con toda
propiedad dentro de las matemticas, el igual que la geometra, el lgebra o el
anlisis, y particip de un espritu de convergencia que ha caracterizado buena parte
de las matemticas modernas; se trata de la utilizacin de mtodos de una disciplina
en las otras, potenciando constantemente nuevas ramas de un rbol cada vez ms
complejo y diversificado.
-4-
Captulo 0
Conjuntos
Con el inters de identificar un elemento de una coleccin de conjuntos, algunas
veces es conveniente adjudicar un nombre a cada elemento.
Definicin 0.1 Sea A una coleccin no vaca de conjuntos. Una funcin indexada
para A es una funcin sobreyectiva f de un conjunto J denominado conjunto de
ndices, en A. La familia A, junto con la funcin f , se denomina familia indexada de
conjuntos.
Dado J , representaremos el conjunto f ( ) por A Y denotamos la familia
indexada, propiamente dicha, mediante
{ A }J
Obsrvese que, aunque es necesario que una funcin indexada sea sobreyectiva, no
se necesita que sea inyectiva. A y A pueden ser el mismo conjunto de A, incluso
si .
Una forma de usar funciones indexadas es dar una nueva notacin para uniones e
intersecciones arbitrarias de conjuntos. Supongamos que f : J A es una funcin
indexada para A ; representemos f ( ) por A . Entonces definimos:
UA
J
= { x : al menos para un J , x A }
IA
J
= { x : para todo J , x A }
Topologa General Captulo 0 -6-
Leyes de Morgan
(U A ) = I AC
C
y
(I A ) = U AC
C
[ x ]: = {a A : a : x}
yE y : x
y A / y E I E x : x
y E y : x
Entonces
z E z : x (y como x : x por transitiva) z : x z E
o sea
E E
-6-
Topologa General Captulo 0 -7-
anlogamente
E E
lo que concluye que
E = E
ii) La unin de todas las clases de equivalencia de A es todo A ya que todo elemento
de A tiene asociada una clase de equivalencia.
A U [ x ]: por definicin
x A
A U [ x ]: ya que si z U [ x ]: x0 A / z [ x0 ]:
x A xA
z A por definicin de [ x0 ]:
La familia de las clases de equivalencia de A es un ejemplo de lo que se llama
particin del conjunto A.
i) Reflexiva
xx x A
ii) Antisimtrica
x y
x = y x , y A
y x
iii) Transitiva
x y
x z x, y , z A
y z
-7-
Topologa General Captulo 0 -8-
P(A) = { X : X A}
Definimos la relacin de la siguiente manera:
X Y si X Y X , Y P(A)
Definicin 0.11 Dado un conjunto A y una relacin de orden decimos que es una
relacin de orden total si:
a b
dados a, b A o
b a
y a la pareja ( A, ) llamamos conjunto totalmente ordenado.
M 0 = max {a1 , M }
es el mximo de A
Ejemplo 0.2.
Consideremos el siguiente conjunto que llamamos partes finitas de los naturales
PF ( ) = { A : # A es finito}
Con la relacin de orden dada por la inclusin.
B A B A
Entonces (PF ( ) , ) no tiene elemento maximal, ya que si A es maximal
A PF ( ) y B A B PF ( )
Pero para cualquier A P F(N) , x con x A , porque A es finitos
A U { x} es de finitos elementos
A U { x} PF ( )
y obviamente A U { x} A A no es maximal.
Zorn
Entonces como (PF ( ) , ) no tiene elemento maximal una cadena C de
PF ( ) , que no est acotada superiormente, por ejemplo:
C = {{1} , {1, 2} ,{1, 2,3} ,...,{1,...n} ,...}
es una cadena y no est acotada ya que una cota tiene que tener a todos los naturales
y eso no esta en el conjunto.
A cota A = y PF ( )
-9-
Topologa General Captulo 0 - 10 -
A = { f : I UA
I
: f ( ) A I }
- 10 -
Topologa General Captulo 0 - 11 -
Definicin 0.14 Dados dos conjuntos A y B decimos que tienen el mismo cardinal o
que son coordinables o equipotente si existe una funcin f : A B biyectiva.
Demostracin
i) A es equipotente con A ya que la identidad es una funcin biyectiva de A en si
mismo card ( A ) = card ( A ) .
ii) Si A es equipotente con B entonces B es equipotente con A
card ( A) = card ( B ) existe f : A B biyectiva que f 1 : B A es biyectiva
card ( B ) = card ( A )
iii) Si A es equipotente con B y B es equipotente con C entonces A es equipotente
con C.
f : A B
Por hiptesis existen biyectivas g o f : A C tambin es biyectiva
g : B C
Y eso implica que A es equipotente con C.
- 11 -
Topologa General Captulo 0 - 12 -
A f B
b Im f
a
a0
g
Entonces :
si b Im f a A tal que b = f ( a )
y como f es inyectiva el a es nico y podemos definir: g ( b ) = a
si b Im f definimos g ( b ) = a0
Definimos de esta forma una funcin g : B A
f 1 ( b ) si b Im f
g (b ) =
a0 si b Im f
Que es sobre.
Dada g : B A sobreyectiva
Entonces { g 1 ( a ) : a A} establece una particin en B ya que:
Ug
a A
1
( a ) = B por ser g sobreyectiva
y
g 1 ( a1 ) g 1 ( a2 ) a1 a2
g ( b ) = a1
ya que si g 1 ( a1 ) = g 1 ( a2 ) b B / absurdo si a1 a2 por se g una
g ( b ) = a2
funcin.
Por el teorema de eleccin podemos elegir un representante por cada clase que
anotamos g 1 ( a ) entonces definimos:
f : A B por f ( a ) = g 1 ( a )
Por ser g sobre esta bien definida para todo a A y adems es inyectiva ya que:
f ( a1 ) = f ( a2 ) g 1 ( a1 ) = g 1 ( a2 ) a1 = a2
- 12 -
Topologa General Captulo 0 - 13 -
f es inyectiva.
Sea f : X X la composicin h
f = iA o g o iB o h donde iA e iB son las X B
correspondientes inclusiones. iA iB
Claramente f es inyectiva por ser
composicin de funciones inyectivas.
A Y
- 13 -
Topologa General Captulo 0 - 14 -
+ = I
AA
A
Proposicin 0.6 (Principio del buen orden) Todo subconjunto no vaco de + tiene
un mnimo.
- 15 -
Topologa General Captulo 0 - 16 -
A = es numerable
Demostracin Dado A si
A a1 = min {a A} por proposicin 0.6
A = {a1} es finito numerable
si
A {a1} a2 = min { A \ {a1} por proposicin 0.6}
Nuevamente
A = {a1 , a2 } finito numerable
Si
A {a1 , a2 } a3 = min { A \ {a1, a2 }}
Y as sucesivamente
A = {a1 ,..., an } es finito numerable
Si
A {a1 ,..., an } an +1 = min { A \ {a1 ,..., an }}
Sea : A tal que ( k ) = ak es una biyeccin ya que:
( k + 1) > ( k ) por eleccin inyectiva
Ahora si a A sea n = max {k : ak < a} a = min { A \ {a1 ,..., an }} = an +1 = ( n + 1)
Lo que quiere decir que es sobreyectiva.
- 16 -
Topologa General Captulo 0 - 17 -
Proposicin 0.13
14 ...3
24 es numerable.
j
es inyectiva.
- 17 -
Topologa General Captulo 0 - 18 -
Demostracin
Como I es numerable : I sobreyectiva
y por ser Ai numerable i : Ai i I definimos:
J : U Ai
iI
por
J ( m, n ) = ( m ) ( n )
entonces
a U Ai a Ai0 para algn i0 I y como es sobre m / i0 = ( m ) y
iI
a si a A \ ( C U B )
g (a) = a=b
g 0 ( a ) si a C U B g 0 ( a ) = b que b C
b si b A \ ( C U B )
g (b ) = a = b por ser g 0 inyectiva
0( )
g b si b C U B
entonces g es inyectiva, y por tanto Card ( A U B ) Card ( A) luego son iguales y los
conjuntos son coordinables.
Demostracin Tenemos que probar que existe una correspondencia biyectiva f entre
A y el conjunto {1,..., n + 1} si, y solamente s, existe una correspondencia biyectiva
del conjunto A {a0 } con {1,..., n} .
Supongamos en primer lugar, que existe una correspondencia biyectiva g
g : A {a0 } {1,..., n}
Definimos entonces una funcin: f : A {1,..., n + 1} de la forma:
f ( x ) = g ( x ) si x A {a0 }
f ( a0 ) = n + 1
es claro que f es biyectiva.
Recprocamente:
Supongamos que existe una correspondencia biyectiva :
- 19 -
Topologa General Captulo 0 - 20 -
f : A {1,..., n + 1}
i) Si f asocia a0 al nmero n+1, todo es especialmente sencillo; en este caso, la
restriccin f | A{a0} nos da la correspondencia biyectiva buscada entre A {a0 } y
{1,..., n} .
ii) En caso contrario sea f ( a0 ) = m y sea a1 el punto de A tal que n + 1 = f ( a1 ) .
Entonces a1 a0 Definimos una nueva funcin:
h : A {1,..., n + 1}
Mediante:
h ( a0 ) = m
h ( a1 ) = n + 1
h ( x ) = f ( x ) para x A {a1 , a0 }
De esta forma h es biyectiva y est comprendida en el caso i) luego la restriccin
h | A{a0} es la biyeccin buscada entre A {a0 } y {1,..., n}
Proposicin 0.16 El conjunto de las partes finitas de los naturales que anotamos
PF ( ) es numerable.
PF ( ) = { A : A es finito}
Demostracin Definimos:
Pn ( ) = { A : Card ( A ) = n}
entonces
PF ( ) = U Pn ( )
n
Lema 1 Sea t ( 0,1] entonces existe una sucesin {ak : k 1} donde ak {0,1} para
todo k y tal que:
a
t = kk
k =1 2
salvo que para algunos reales esa descomposicin no es nica
Por ejemplo.
5 0 + 22 + 0 + 24
1 1
=
16 0 + 212 + 0 + 0 + 215 + 216 + ... + 21n + ...
Hay dos formas de elegir la sucesin
0,1, 0,1,0, 0, 0, 0,....
{ak } = pero una de ellas es finita. Es decir:
0,1, 0,0,1,1,1,1,1,...
a b
Si t = kk = kk con ak , bk {0,1} y {ak } {bk } no son la misma sucesin
k =1 2 k =1 2
que existe n0 tal que:
- 23 -
Topologa General Captulo 0 - 24 -
6474 n0
8
{ak } = ...........1, 0, 0, 0, 0.....
ak = 0 k > n0 y bk = 1 k > n0 {bk } = ...........0,1,1,1,1,1,.....
o o
b = 0 k > n y a = 1 k > n 6474 n0
8
k 0 k 0
{ak } = ...........0,1,1,1,1,1,....
{bk } = ............1,0,0,0,0,....
- 24 -
Topologa General Captulo 0 - 25 -
ak bk
Lema 2 Si {an } {bn } y
k =1 2
k
=
k =1 2
k
= t entonces tenemos que probar que existe
n0 tal que:
bk = 1 k > n0 y ak = 0 k > n0
o
b = 0 k > n y a = 1 k > n
k 0 k 0
Demostracin
Sea n0 = min {k : ak bk } se puede suponer sin perder generalidad que
an0 = 1 y bn0 = 0
}=1
bk } n0 1 ak
bk 1
n0 1
ak 1
= k + k k + k
k =1 2 k = n0 +1 2 (1) k =1 2 k = n0 +1 2
n0 1 n0
ak 1 ak ak
= k
+ n0
= k k
=
k =1 2 {
2 k =1 2 (2) k =1 2
an
= 0
2n0
bk
= k
k =1 2
Lo que implica que todas las desigualdades son igualdades y entonces:
(1) bk = 1 k > n0
( 2 ) ak = 0 k > n0
Si hubisemos supuesto que era an0 = 0 y bn0 = 1 hubiramos llegado a:
bk = 0 k > n0
ak = 1 k > n0
- 25 -
Topologa General Captulo 0 - 26 -
- 26 -
Topologa General Captulo 0 - 27 -
Demostracin Primero se demuestra que Card ( ) = Card ( ( 0,1]) por medio de una
funcin apropiada; por ejemplo por medio de la funcin y = tan x que es biyectiva
para x ( 2 , 2 ) se tiene que:
Card ( ) = Card ( 2 , 2 )
Luego por medio del segmento de recta
Card ( ( 2 , 2 ) ) = Card ( ( 0,1])
Ejemplo practico
F = {[ a, b ] : a, b }
([ a, b ] ) = ( a, b )
Es decir que a cada intervalo de extremos a,b le asociamos la pareja ordenada (a,b)
Dicha funcin es inyectiva ya que
- 27 -
Topologa General Captulo 0 - 28 -
a a
[ a, b ] [ a, b] o ( a, b ) ( a, b ) ([ a, b]) ([ a, b])
b b
- 28 -
Captulo 1
Espacios Mtricos
Definicin 1.1 Sea E un conjunto no vaco una distancia o mtrica es una funcin
d : E E tal que verifica:
1) d ( x, y ) 0 x, y E
2) d ( x, y ) = 0 x = y
3) d ( x, y ) = d ( y, x ) x, y E
4) d ( x, z ) d ( x , y ) + d ( y, z ) x, y,z E desigualdad triangular
Al par ( E , d ) le llamamos espacio mtrico
Definicin 1.2 Sea E en las mismas condiciones que antes pero sin la propiedad 2,
es decir se puede dar el caso en que la distancia es cero y no se trate de la identidad,
llamamos en dicho caso seudo distancia o seudo mtrica.
Ejemplo 1.1
Si E = y d ( x, y ) = x y es una mtrica.
Ejemplo 1.2
Sea E = n x = ( x1 ,..., xn ) , y = ( y1, ..., yn ) entonces podemos definir la siguiente
distancias
1) Distancia taxi
n
d1 ( x, y ) = xi yi
i =1
2) Distancia euclidiana
1
n 2
2
d 2 ( x, y ) = ( xi yi )
i =1
3) Distancia del mximo
Topologa General Captulo 1 - 30 -
d ( x, y ) = max i =1,...,n { xi yi }
Ejemplo 1.3
Distancia discreta
Dado E definimos
0 si x = y
d ( x, y ) =
1 si x y
fcilmente se comprueba que es una mtrica.
Ejemplo 1.4
Distancia indiscreta
Dado E definimos
d ( x, y ) = 0 x, y E
Ejemplo 1.5
Sea E = C [ a, b ] = { f : [ a, b ] / f es continua} entonces definimos la distancia
que llamamos distancia infinito o del supremo de la siguiente manera:
d ( f , g ) = sup x[ a ,b] { f ( x ) g ( x ) }
Cumple con las propiedades 1,2, 3 x [ a, b ] y f , g , h C [ a, b ] la propiedad 4 se
tiene
f ( x) g ( x) = f ( x) h ( x) + h( x) g ( x) f ( x) h ( x) + h( x) g ( x)
y los supremos tambin cumplen dicha desigualdad luego se cumple la desigualdad
triangular
La distancia del supremo se puede definir para el espacio de las funciones continuas
en el intervalo [ a, b ] siendo f : [ a, b] (complejos) representamos dicho
conjunto como C [ a, b ] .
Sea E = Cb ( ) = { f : cont. y acotadas}
= Cb , ( ) = { f : cont. y acotadas}
Definimos la distancia igual que antes:
d ( f , g ) = sup x { f ( x ) g ( x ) }
Dicha definicin es consistente ya que:
Si f ( x ) es tal que f ( x ) M1 x
y g ( x ) tal que g ( x ) M2 x
Entonces f ( x ) g ( x ) f ( x ) + g ( x ) M 1 + M 2 x y esto implica que
f ( x ) g ( x ) est acotado tiene supremo
- 30 -
Topologa General Espacios Mtricos - 31 -
Observacin 1.1 Para un mismo conjunto podemos tener distintos espacios mtricos
asociados, segn la mtrica que estemos considerando, as si la mtrica es la
indiscreta al espacio llamamos indiscreto, si la mtrica es la discreta al espacio
llamamos discreto, si la mtrica que estamos considerando es la euclidea al espacio
llamamos euclideo.
Ejemplo 1.6
El producto interno , en V nos define una norma mediante la siguiente relacin:
x = ( x, x )
1
2
1)
n
x 1 = xi
i =1
2)
1
n 2
2
x 2 = xi
i =1
- 31 -
Topologa General Captulo 1 - 32 -
3)
x = max { xi : i = 1,..., n}
Todos son normas que inducen las respectivas distancias d1 , d 2 , d con la igualdad.
d ( x, y ) = y x
Ejemplo 1.7
[ a, b ] es un espacio vectorial con las operaciones punto a punto o sea si
f , g [ a, b ] definimos :( f + g )( x ) = f ( x ) + g ( x )
( f )( x ) = f ( x )
entonces:
f = sup x[a ,b] { f ( x ) }
es una norma en [ a, b ] que induce la distancia habitual.
La misma vale en [ a, b ] , b ( ) , b , ( )
Sea l1 el conjunto de las sucesiones complejas { xn }
l1 el conjunto de las sucesiones reales .
Tales que x n < (convergen)
l es un espacio vectorial con las operaciones
1
x = { xn } l1
( x + y ) n = xn + yn
y = { yn } l1
( x ) n = xn
como
x n + yn x n + y n <
y
x n = x n <
est bien definida
Y se define
x = xn
que es una norma en l1
Ejemplo 1.8
Sea l el conjunto de las sucesiones complejas acotadas
l el conjunto de las sucesiones reales acotadas
l es un espacio vectorial sobre los complejos ( l sobre los reales) con las
operaciones definidas de la misma forma que en el ejemplo anterior
- 32 -
Topologa General Espacios Mtricos - 33 -
x = { xn } l
( x + y ) n = xn + yn
y = { yn } l
( x )n = xn
Definimos
x
= sup n xn si x = { xn }
entonces si x = { xn } e y = { yn }
xn + y n x n + y n x + y
como dicha igualdad se cumple para todo n, en particular se debe cumplir para el
supremo:
x + y = sup xn + yn x + y
Lo que implica que es una norma.
Ejemplo 1.9
En n Bl1 ( x )
Bl2 ( x )
Bl ( x )
- 33 -
Topologa General Captulo 1 - 34 -
f +
a b
Si g B ( f ( x ) ) x [ a, b ] f ( x ) g ( x ) < y el grfico de g cae en la zona
rayada limitad por f + y f .
Ejemplo 10
Espacio discreto Sea ( E , d ) con la distancia discreta es el espacio que llamaremos
discreto, es decir:
1 si x y
d ( x, y ) =
0 si x = y
Sea B ( x, 2 ) = { y E : d ( x, y ) < 2} = E
B ( x, ) = E si > 1
Sea B ( x,1) = { y E : d ( x, y ) < 1} = { x}
B ( x, ) = { x} si 1
Es decir que las bolas son todo el espacio o los puntos.
Demostracin
Sea d ( x, y ) entonces
Si z B ( y, ) d ( x, z ) d ( x, y ) + d ( y, z )
123 y
<
x
d ( x, z ) < z B ( x, )
d ( x , z ) < d ( x , y ) + d ( x, y ) + d ( x , y ) =
B ( y , ) B ( x, )
- 34 -
Topologa General Espacios Mtricos - 35 -
Observacin 1.3
Si x F , > 0, sea B F ( x, ) la bola con la mtrica relativa y sea: B E ( x, ) la bola
con la mtrica en E entonces:
B F ( x, ) = B E ( x, ) I F
Ya que:
B F ( x , ) = { y F : d ( x , y ) < } = { y E : d ( x, y ) < } I { y F }
Ejemplo 1.11
As por ejemplo si en R con la mtrica habitual F = [ 0,1)
Si x [ 0,1) B F ( 0, 1 2 ) = [0, 1 2 ) y B ( 0, 1 2 ) = ( 1 2 , 1 2 )
Entonces:
[ 0, 1 2 ) = [ 0,1) I ( 1 2 , 1 2 )
Corolario 1.2 Las bolas abiertas en un espacio mtrico cualquiera son conjuntos
abiertos
Ejemplo 1.12
En los espacios discretos todo conjunto A E es abierto ya que si x A entonces:
B ( x,1) = { x} A
Ejemplo 1.13
f (0)
En [ 0,1] A = { f [0,1] : f ( 0 ) > 0} si f A tomando = >0
2
tenemos
B ( f , ) A ya que si g B ( f , ) por definicin que:
max x[ 0,1] { f ( x ) g ( x ) } < (en particular) f ( 0 ) g ( 0 ) <
- 35 -
Topologa General Captulo 1 - 36 -
o sea
< f ( 0 ) g ( 0 ) <
f (0) < g (0)
y si tomamos
f (0) f (0)
= 0< < g ( 0 ) g A por definicin de A luego
2 2
B ( f , ) A
IA
k =1
k es abierto
Demostracin
1) B ( x, ) E x E , > 0 E es abierto
es abierto por definicin .
2) Si x U A 0 I tal que x A0 que es abierto, luego
I
UA
I
es abierto
n
3) Si x I Ak x Ak con Ak abierto k = 1,..., n k tal que B ( x, k ) Ak sea
k =1
n
= min { k : k = 1,..., n} B ( x, ) B ( x, k ) Ak k = 1,..., n B ( x, ) I Ak
k =1
n
I Ak es abierto
k =1
- 36 -
Topologa General Espacios Mtricos - 37 -
Demostracin
ya vimos que la unin de bolas abiertas es un conjunto abierto.
A U B ( x, x )
x A
A = U B ( x, x )
xA
es decir que
A es abierto A = U B ( x, x )
x A
Demostracin
Se sabe que B F ( x, ) = B E ( x, ) I F x F , > 0
Si A es abierto en F A = U B F ( x , ) por teorema anterior
I
A = U ( B ( x , ) I F ) = U B E ( x , ) I F
E
I
14
I
4244 3
=U abierto en E
luego
A = U I F con U abierto en E
Si U E es abierto U = U B E ( x , )
I
A = U I F = U B ( x , ) I F = U ( B E ( x , ) I F ) = U B F ( x , ) que es abierto
E
I I I
en F.
Ejemplo 1.14
Sea E = con la mtrica habitual
y F = [0,1) U ( 2,3) 0 1 2 3
A = [ 0,1) es abierto en F ya que
- 37 -
Topologa General Captulo 1 - 38 -
A = ( 1,1) I F
{
abierto en E
Ejemplo 1.15
Como en el ejemplo anterior [ 0,1) es abierto en F y su complemento que es ( 2,3) es
por definicin es cerrado.
Al igual que el complemento de ( 2,3) que es [ 0,1) ambos son abiertos y cerrados es
decir abierto no es oposicin de cerrado.
Demostracin
1) 2) B d1 ( x, ) es abierto con d1 que es abierto con d2 por definicin de
abierto
Si x B d1 ( x, ) > 0 tal que B d2 ( x, ) B d1 ( x, )
como se quera.
2) 1) Sea A E abierto en ( E , d1 ) lo que quiere decir por definicin que:
para cada elemento x de A x > 0 tal que
B d1 ( x, a ) A
y adems ya vimos que
A = U B d1 ( x, x )
xA
entonces aplicando la hiptesis 2) para cada x A x > 0 tal que
B d2 ( x, x ) B d1 ( x, x )
entonces
U B d2 B ( x, x ) U B d1 ( x, x ) = A
x A xA
por otro lado
- 38 -
Topologa General Espacios Mtricos - 39 -
x A x B d2 ( x, x ) A U B d2 ( x, x )
x A
luego
A = U B d 2 ( x, x )
x A
A E es abierto en d1 es abierto en d 2
Ejemplo 1.16
Las mtricas d1 , d 2 y d son equivalentes en 2 B d 2 ( x, )
Demostracin
Dado > 0 = tal que x 2 B d1 ( x, ) x
B d1 ( x, ) B d 2 ( x, )
y B d1 ( x, ) d1 ( x, y ) <
Ya que si y x <
y1 x1 + y2 x2 <
( y1 x1 )2 + ( y2 x2 )2 ( y1 x1 )2 + ( y2 x2 )2 = y1 x1 + y2 x2 < y
entonces
1
2 2
2
2
d 2 ( x, y ) = ( yi xi ) yi xi = d1 ( x, y ) <
i =1 i =1
Luego
y B d2 ( x, ) B d1 ( x, ) B d2 ( x, )
Entonces por proposicin anterior tenemos que:
Todo abierto en ( E , d 2 ) es abierto en ( E , d1 ) B d1 ( x, )
Y recprocamente x
Dado > 0, x n = > 0 tal que B d 2 ( x, )
2
B d2 ( x, ) B d1 ( x, )
ya que si y B d2 ( x, ) d 2 ( x, y ) <
- 39 -
Topologa General Captulo 1 - 40 -
d 2 ( x, y ) = ( y1 x1 ) + ( y2 x2 ) < =
2 2
entonces se prueba analticamente que
2
y1 x1 + y2 x2 < d1 ( x, y ) < y B d1 ( x, ) como queramos demostrar.
Observando lo que probamos es que dado un cuadrado podemos encontrar una bola
dentro del mismo como en la figura
Luego los abiertos en ( E , d1 ) son abiertos en ( E , d 2 ) d1 : d 2 en 2 en n es
totalmente anlogo.
Anlogamente se demuestra que d 2 : d o d1 : d ya que se puede inscribe un
cuadrado en una circunferencia o en un cuadrado.
B d2
B d
B d
B d1
Ejemplo 1.17
Si E = y sea d1 la distancia relativa a la euclidea y d 2 la mtrica discreta.
{n} es abierto en con d 2 ya que:
B d2 ( x, ) = { x} si < 1
pero tambin es abierto con d1 ya que:
{n} = (14 n 12 , n + 12 ) I
4244 3
abierto en
Ejemplo 1.18
Sean ( E , d E ) y ( F , d F ) dos espacios mtricos y d1 , d 2 y d las mtricas en E F
dadas por:
- 40 -
Topologa General Espacios Mtricos - 41 -
d1 [( e, f ) , ( e, f )] = d E ( e, e ) + d F ( f , f )
1
d 2 [( e, f ) , ( e, f )] = ( d E ( e, e ) ) + ( d F ( f , f ) ) 2
2 2
d [( e, f ) , ( e, f )] = max {d E ( e, e ) , d F ( f , f )}
es fcil ver de que se trata de distancias mtricas, vamos a probar de que son
equivalentes.
Bd1 ( e, f ) Bd ( e, f )
ya que si d E + d F <
B d1
cada una es menor que y
Bd2 ( e, f ) Bd ( e, f )
ya que si: B d
1
( d E ( e, e ) ) 2 + ( d F ( f , f ) ) 2 2 <
( d E ( e, e ) ) + ( d F ( f , f ) ) < 2
2 2
( d E ( e, e ) )2 < 2 d E ( e, e ) <
cada uno es menor que 2
( d F ( f , f ) ) < d F ( f , f ) <
2 2
1
d E ( e, e ) < 2
2 2
d E ( e, e ) ) + ( d F ( f , f ) ) < ( 2 ) 2 =
(14243
2 1
dF ( f , f ) < 14 4244 3
2 < <
2 2
2 2
- 41 -
Topologa General Captulo 1 - 42 -
Ejemplo 1.19
n
Sean ( Ei , di ) espacios mtricos i = 1,..., n y d1 , d 2 y d las mtricas en E
i =1
i
Dadas por :
n
d1 [( e1,..., en ) , ( e1,..., en )] = di ( ei , ei )
i =1
1
n 2
2
d 2 [( e1 ,..., en ) , ( e1,..., en )] = ( di ( ei , ei ) )
i =1
d [( e1 ,..., en ) , ( e1,..., en )] = max {d i ( ei , ei ) : i = 1,..., n}
el razonamiento a seguir es el mismo que en el ejemplo anterior solo modificamos
por y por entonces:
2 n 2 n
- 42 -
Captulo 2
Espacios Topolgicos
En este captulo introduciremos el concepto de espacio topolgico, rescatando de los
espacios mtricos las propiedades bsicas que estos cumplen. Es decir que se trata
de una abstraccin de los mismos.
I I
entonces:
UA
I
I i U Ai
A = C
i =1 i =1
que es finito por ser unin de una cantidad finito n de conjuntos finitos AiC
Luego:
n
I A
i =1
i
- 44 -
Topologa General Espacios Topolgicos - 45 -
Ejemplo 2.5
En definimos:
= { A : 2n A 2n 1 A n }
es una topologa ya que:
Si { A } y n
Si 2n U A 2n A0 para algn 0
I
2n 1 A0 2n 1 U A
I
idem con la interseccin
La forma de los abiertos de son {1,2} ,{1, 2,3, 4} ,...,{3, 4} , {3, 4,5, 6} ,...,{5,6} ,.. etc.
Cada vez que un par pertenece al conjunto el anterior tambin y cada vez que un
impar pertenece al conjunto su siguiente tambin, as {5, 6,11,12} es un abierto.
Ejemplo 2.6
En definimos:
= { } U { A : 0 A}
tambin es una topologa.
Ejemplo 2.7
Si ( E , d ) es un espacio mtrico, x E entonces N E es un entorno de x si y solo
s :
- 45 -
Topologa General Captulo 2 - 46 -
Demostracin
Se toma A = B ( x, )
Si N N x por definicin existe un abierto U tal que x U N
Como U es abierto en un espacio mtrico por definicin > 0 tal que:
B ( x, ) U B ( x, ) N
Ejemplo 2.8
Sea ( X , ) el espacio topolgico discreto
N Nx x N
Ejemplo 2.9
Sea ( X , ) espacio topolgico indiscreto, los abiertos ya vimos que son y todo X
entonces:
N x = { x}
Ejemplo 2.10
Sea ( , ) con = { A : 2n A 2n 1 A}
{1, 2} N 2
N 2 = { A : {1, 2} A}
{1, 2,3} N 2
Ejemplo 2.11
Sea ( X , ) con topologa de complementos finitos.
Sean x X entonces:
si N N x existe U tal que x U N
{ N es finito N es decir:
entonces N C U C C
finito
N x = {U : x U }
- 46 -
Topologa General Espacios Topolgicos - 47 -
Demostracin
1) Si N N x U tal que x U N
y como N M x U M M N x
2) Sean U N ,U M tal que:
x U N N
x U N I U M N I M
x U M M
y como U N I U M N I M N x
3) X N x x X N x ?
4) Si U es abierto y para todo x U x U U
U Nx
Si U N x para todo x U que para cada x U existe U x tal que:
x U x U UU
xU
x U
pero como x U x U x x U U x U UU x
xU xU
U= UU
xU
x
y como U x UU
xU
x por propiedad 2 de la definicin de topologa y luego
U (es abierto)
- 47 -
Topologa General Captulo 2 - 48 -
Ao A
Demostracin
Que x Ao implica que A es entorno de x y por definicin de entorno:
U tal que x U A
y como A B se tiene:
U tal que x U B
luego B es entorno de x y eso implica que x es interior a B Ao B o
- 48 -
Topologa General Espacios Topolgicos - 49 -
x U Ao Ao N x
Esto mismo se tiene para todo punto de Ao entonces por proposicin 2.1 4) Ao es
abierto.
Para probar de que es el mayor probamos que cualquier otro abierto incluido en A
est contenido en Ao
Sea entonces B A por proposicin 2.2 B o Ao y como B es abierto se tiene
por proposicin 2.3 B = B o luego:
B Ao
A es abierto A = Ao
Ejemplo 2.12
Sea ( , ) = { A : 0 A} U { }
A si 0 A
Dado A Ao =
si 0 A
Ejemplo 2.13
Sea ( , ) con = { A : 2n A 2n 1 A} U { }
N 2 = { A : {1, 2} A}
N1 = { A : {1, 2} A}
Luego N1 = N 2 pero 1 2 que no es T0
Demostracin
si N N x tal que y N N N y
N x N y por definicin es T0
M N y tal que x M M N x
- 49 -
Topologa General Captulo 2 - 50 -
Ejemplo 2.14
Dado el espacio topolgico ( , ) con = { A : 0 A} U { }
Sean dos puntos x y cualesquiera distintos en principio de cero.
x y entonces {0, x} que es entorno de todos sus puntos en particular de x o
sea que {0, x} N x donde y {0, x} .
Ahora si uno de ellos es el cero. Sea x = 0 entonces claramente {0} o sea :
{0} N 0 y {0}
Luego este espacio topolgico es T0 .
A pesar de que todos los entornos de y contienen al cero es decir al cero lo podemos
separar del y por entornos pero no al y del cero.
Nuestro prximo axioma de separacin contemplar que tanto unos como otros son
separables por entornos.
Demostracin
Si ( X , ) es un espacio topolgico T1 , x y entonces por definicin
I
N N x
N = { x} y como x y y I
N N x
N
- 50 -
Topologa General Espacios Topolgicos - 51 -
Ejemplo 2.15
Sea ( , ) con = { A : 0 A} U { } como
I
N N x
N = {0, x} si x 0 no es T1
Ejemplo 2.16
Sea X con la topologa de complemento finito.
Dados dos puntos x y {y} N x e y { y} luego X es T1 .
C C
Ejemplo 2.18
Sea X infinito con la topologa de complemento finito.
Si A, B tal que A I B = con A y B no vacos entonces:
X={ AC U B
{ X sera finito
C
finito finito
con esta topologa no tenemos abiertos disjuntos, y como:
N x = { A : x A}
Si A N x , B N y tales que A I B = seran dos abiertos no vacos disjuntos que
ya vimos que en esta topologa no los hay X no es T2 aunque s T1 como ya
vimos.
Ejemplo 2.19
Todo espacio mtrico es de Hausdorff.
- 51 -
Topologa General Captulo 2 - 52 -
Demostracin
1
Si x y Sea < d ( x, y )
2
Entonces :
B ( x, ) I B ( y , ) = x d y
Ya que si existiera z tal que:
z B ( x, ) I B ( y , )
se tendra:
d ( x, y ) d ( x, z ) + d ( z, y ) < 2 < d ( x, y )
Proposicin 2.8 A A
Demostracin
Si x A N N x x N I A x A luego:
A A
uniendo esto con Ao A tenemos:
Ao A A
Proposicin 2.9 Si A B A B
Demostracin
Si x A N N x N I A y como A B se tiene:
N I B N N x x B
o sea
AB
- 52 -
Topologa General Espacios Topolgicos - 53 -
Ejemplo 2.20
Sea ( , ) donde = { A : 0 A} U { } A
Si A = {1} A = {1} ya que:
si x 1 {0, x} I A = 0
Sea A = {0} A =
En general en esta topologa para un subconjunto A cualquiera tenemos:
si 0 A
A=
A si 0 A
Ejemplo 2.21
Sea ( E , d ) un espacio mtrico definimos bola cerrada, y anotamos B ( x, ) de
centro x y radio como:
B ( x, ) = { y E : d ( x, y ) }
probaremos que es cerrada es decir:
B ( x , ) = B ( x, )
Demostracin
Tenemos que la inclusin B ( x, ) B ( x, ) se cumple siempre.
Para probar la otra inclusin
B ( x, ) B ( x, ) probaremos ( B ( x, ) ) B ( x, )( )
C C
Sea y B ( x, ) d ( x, y ) >
como queramos probar.
- 53 -
Topologa General Captulo 2 - 54 -
A es cerrado AC es abierto
Demostracin
Si A es cerrado A = A
Sea y AC y A = A N N y tal que
N I A = N AC
y por definicin de entorno:
U tal que y U N AC
Es decir que
y AC U tal que y U AC
por observacin 2.1 AC es abierto.
Recprocamente:
AC es abierto aplicando otra vez la observacin 2.1
y AC U tal que y U AC y como U es abierto es entorno de todos sus
puntos U N y y A I U = luego
y A y ( A)
C
A A
Como la otra inclusin se cumple siempre.
A = A
Demostracin
Todas se demuestran en forma anloga usando las leyes de Morgan y la proposicin
anterior, veamos a modo de ejemplo la 2)
Como cada A es cerrado AC es abierto U AC es abierto luego:
I
C
I A = U A es abierto
C
I I
- 54 -
Topologa General Espacios Topolgicos - 55 -
entonces.
IA
I
es cerrado
Demostracin
Sea ( X , ) espacio topolgico T1 entonces por definicin dado y X :
I
N N y
N = { y}
lo que significa si x y x I
N N y
N
N N y tal que x N
entonces:
N I { x} = y { x}
Como esto es vlido para cada y de X se tiene:
{ x} = { x}
e { x} es cerrado x y pero como el y es arbitrario en realidad se tiene x X
Recprocamente:
Dado x, y X con x y si { x} ,{ y} son cerrados { x} ,{ y} son abiertos
C C
puntos
{ x} N y y x { x}
C C
anlogamente
como x y x { y} que por ser abierto { y} N x e y { y}
C C C
( A) = ( AC )
C o
Demostracin
}
por definicin
- 55 -
Topologa General Captulo 2 - 56 -
N AC
y por definicin de entorno:
U tal que x U N AC
luego:
AC N x
entonces por definicin de punto interior:
x ( AC )
o
Recprocamente:
Si x ( AC )
o
{ AC N x y por definicin de entorno:
por definicin
V tal que x V AC
entonces por un lado A I V = y por otro lado como V es abierto es entorno de
todos sus puntos en particular de x. O sea:
V N x tal que A I V =
Luego
x A x ( A)
C
Demostracin
Primero que nada A es cerrado ya que por la proposicin anterior:
( A) = ( AC )
C o
AB
es decir que la clausura de A es el menor cerrado que contiene a A.
- 56 -
Topologa General Espacios Topolgicos - 57 -
2) ( A ) = A
Demostracin.
1) Ya demostramos que el interior de un conjunto es abierto y si es abierto que es
igual a su interior.
Ao abierto ( Ao ) = Ao
o
Ejemplo 2.22
o
Sea ( X , ) espacio topolgico como X es abierto ( X ) = X
o
Y como es abierto ( ) =
Por otro lado como X C =? es cerrado ? =?
Y C = X es cerrado X = X
La clausura y el interior son invariantes para X e
- 57 -
Topologa General Captulo 2 - 58 -
x A N N x N I A
x A N N x N I A
C C
Es decir que un punto pertenece a la frontera si para todo entorno del punto este
corta tanto al conjunto como al complemento.
Ejemplo 2.23
Sea ( X , ) con = { } U { A : 0 A}
si 0 A
A=
A si 0 A
Sea 0 A {0} {0} N 0 pero {0} \ {0} =? 0 no es punto de acumulacin.
Si x y 0 x N N x U tal que x U N pero si U es abierto
implica si no es vaco que contiene al cero 0 N 0 N \ { x} N N x
como 0 A A I { N \ { x}}
x es de acumulacin.
Si 0 A veamos cual es la frontera:
A= {A I AC = I AC = AC
=
y si 0 A
A = A I AC = A I = A
Demostracin
Si Y X e Y denso, sea U , U
Como U es abierto es entorno de todos sus puntos o sea:
- 58 -
Topologa General Espacios Topolgicos - 59 -
Recprocamente:
Si x X y N N x por definicin U tal que x U N
y por hiptesis como U se tiene
U IY N IY
por definicin
Si N N x es N I Y x Y
luego
x Y Y = X Y es denso en X
Ejemplo 2.24
El conjunto de los racionales es denso en es separable
Ejemplo 2.25
Sea ( X , ) con X no numerable y la topologa discreta entonces X es no separable
ya que si consideramos que existe un subconjunto denso A X entonces:
U U I A
y en particular
como x X { x} { x} I A x A
X A X = A
es decir que el nico conjunto denso es el propio X que por definicin es no
numerable luego X es no separable.
Ejemplo 2.26
En la topologa = { A : 0 A} U { } se tiene que
{0} es denso ( , ) es separable
Ejemplo 2.27
Sea ( , ) con = { A : 2n A 2n 1 A}
Sean I = imparares P = pares como:
I = y P = que es denso
tanto I como P son densos por lo que es separable.
- 59 -
Topologa General Captulo 2 - 60 -
Ejemplo 2.28
Sea ( X , ) con X infinito y la topologa de complemento finito.
Cualquier subconjunto infinito de X cumple:
Y X infinito Y = X X denso
ya que si consideramos que:
U tal que U I Y = Y U C U C es infinito, pero U
luego
U U I Y
por la proposicin 2.16 Y es denso en X.
Ejemplo 2.29
Ejemplo 2.32
En un espacio mtrico la bolas abiertas es una base porque ya vimos que todo
abierto es igual a la unin de bolas abiertas.
Ejemplo 2.33
Sea ( X , ) con la topologa discreta.
B = {{ x} : x X }
es una base
Ejemplo 2.34
( , ) con = { A : 0 A} U { }
- 60 -
Topologa General Espacios Topolgicos - 61 -
B = {{0, x} : x }
es una base ya que si A es abierto
A = U {0, x}
xA
Demostracin
Si B es una base de , entonces como X es abierto implica de que es unin de
elementos de B
X=UA
AB
Para probar la segunda propiedad sean A, B B con x A I B como A y B son
abiertos tambin lo es A I B entonces:
A I B = U B si x A I B 0 tal que
B B
x B0 luego x B0 A I B o sea C x = B0 B
recprocamente: Si B verifica 1) y 2). Construiremos una topologa de la que B
es base. Sea entonces la familia de conjuntos que son unin de miembros de B.
= {U B : B B} U { }
probaremos primero que es una topologa.
1) y X ={ U B X ,
por hip. BB
A I B = U A I U B = U ( A I B )
Si x A I B x A x I B x para algn x , x y existe C x B tal que:
x C x A x I B x
consideremos
U
x AI B
Cx
- 61 -
Topologa General Captulo 2 - 62 -
AI B U
x AI B
C x U ( A x I B x ) A I B
AI B = U
x AI B
Cx A I B
Demostracin
Por ser S subbase B = { A1 I ... I An : Ai S , i = 1,..., n} entonces si
B B B = A1 I ... I An B Ai por lo menos para algn i
X= U B UA
BB AS
X = UA
AS
2) Si A y B B
- 62 -
Topologa General Espacios Topolgicos - 63 -
Demostracin
Supongamos que es una topologa en X y S entonces:
Si A1 , A2 ,..., An S A1 I A2 I ... I An La interseccin finita de abiertos es
tambin un abierto. Como adems la unin de elementos de est en entonces
por definicin de
n n
- 63 -
Topologa General Captulo 2 - 64 -
pero este abierto no se puede escribir como uniones de los elementos de la base ya
que si fuera as.
x { x}C
{ x} = U Bnk pero tenemos x B n x
U Bnk
C
{nk } nk k
{nk }
Demostracin
Sea { Bn }n una base numerable
Construiremos un conjunto denso numerable para ello tomamos un elemento de
cada abierto de la base, y ese conjunto que es numerable resultar que es denso.
Sea { xn } con xn Bn n Tomemos un abierto U no vaco por ser { Bn }n una
base se puede escribir:
U = U Bnk
{nk }
y como nk se tiene que xnk Bnk xnk U I { xn }n entonces
U I {xn }n { xn }n es denso
y esto significa que X es separable.
No vale el recproco en general, como veremos en el siguiente ejemplo.
Ejemplo 2.36
Sea X no numerable con la topologa de complemento finito, ya vimos que es
separable (ejemplo 2.28 ) y que no es N2 (ejemplo 2.35)
Demostracin
Por hiptesis existe un subconjunto { xn }n denso en E tomemos:
B = {B ( xn , 1 m ) : n, m }
- 64 -
Topologa General Espacios Topolgicos - 65 -
Ejemplo 2.37
Si X = ( 0,1) {
n
}
1 ,1 : n es un cubrimiento de X
{
2n
}
1 ,1 : n es un subcubrimiento del anterior.
- 65 -
Topologa General Captulo 2 - 66 -
Ejemplo 2.38
Sea X no numerable con la topologa de complemento finito entonces X que
sabemos que no es N2 y si es de Lindelff.
Demostracin
Supongamos que tememos un cubrimiento { A } por abiertos de X.
Sea
A0 { A } , AC0 = { x1 ,..., xn } que es finito por ser A0 abierto
ahora para cada i = 1,..., n sea Ai tal que xi Ai existen por ser UA
= X y por el
Ejemplo 2.39
Sea ( X , ) un espacio topolgico con X numerable entonces cualquiera se en X es
de Lindelff.
Sea {U }I un cubrimiento por abiertos cualquiera:
X = U U
I
para cada x X se tiene que :
x U U x I tal que x U x siempre existe al meno uno, de existir ms
I
luego:
X= UU
x X
x
Demostracin
- 66 -
Topologa General Espacios Topolgicos - 67 -
X = UA
n I
n
- 67 -
Topologa General Captulo 2 - 68 -
entonces si x E x U B ( x , m 1
n m ) n 0 tal que x B ( xnm0 , m1 ) o sea:
n
d ( x, x
m
n0 )< 1
m < x B ( x, ) y entonces
m
n0
Observacin En general las implicancias que se cumplen son las del siguiente
diagrama
Y hemos visto ejemplos donde las flecha no se
cumplen en sentido contrario al representado en L
el esquema. As L no implica N2 ejemplo 2.38 y S
no implica N2 ejemplo 2.36. Se trata del mismo N2
espacio topolgico que siendo S y L no es N2.
Para ver que L no implica S o S no implica L S
veremos los dos ejemplo siguientes:
Ejemplo 2.40
Sea ( X , ) un espacio topolgico donde X es no numerable y es la topologa donde
los abiertos son el vaco y los conjuntos de P ( X ) con complemento numerable.
Para cualquier cubrimiento por abiertos se tiene.
X = U U con U I
I
tomemos uno cualquiera de estos abiertos U 0 entonces como su complemento por
- 68 -
Topologa General Espacios Topolgicos - 69 -
de Lindelff.
Pero no es separable ya que si A es un conjunto denso y numerable en X se tiene por
ser denso:
U U I A
y en particular como A es numerable AC y se tiene:
AC I A =
luego A no es denso.
Ejemplo 2.41
Veremos un caso en que s es separable pero no es de Lindelff.
Sea X = 2 con la topologa de los rectngulos semiabiertos es decir:
= {[ a, b ) [c, d ) 2 : a, b, c, d }
Sea A = {( p, q ) 2 : p, q } es claro de
que es un conjunto numerable y denso en X.
Sean los abiertos que anotamos U ( a , a ) y
U (b, b) definidos:
U ( a , a ) = {[ a, b ) [ a, d ) 2 : a, b, d }
U ( b, b ) = {[ a, b ) [c, b ) 2 : a, b, c } es
decir los rectngulos con vrtice (opuestos)
en la recta y = x como en la figura.
Claramente
X = U U ( a , a ) U U U (b , b )
a b
Como el conjunto de puntos de la recta es discreto y no numerable no existe
entonces un subcubrimiento del anterior que sea numerable. Luego no es de
Lindelff.
- 69 -
Topologa General Captulo 2 - 70 -
Ejemplo 2.42
Bx = {U N x : U es abierto en X }
es una base local de x . ya que si:
U N x V tal que x V U
y V Bx por definicin.
Ejemplo 2.43
Sea ( E , d ) espacio mtrico x E
Bx = { B ( x, 1 n ) : n }
o
Bx = { B ( x, an ) : n y an 0}
son bases de x
Ejemplo 2.44
Si B = {B }I es una base de la topologa en X y si x X entonces:
Bx = { B B : x B }
es una base local.
Ya que dado N N x V tal que x V N por definicin de entorno pero
como V tenemos:
V = U B y si x V
I
x I tal que x B x V N con B x Bx es decir que dado un entorno N de x
existe un elemento B x Bx tal que B x N definicin de base local.
Ejemplo 2.45
Sea la topologa discreta entonces
Bx = { x}
es una base local ya que { x} es abierto en esta topologa y obviamente esta
contenido en cualquier entorno de x
Ejemplo 2.46
Sea ( , ) con = { A : 2n A 2n 1 A} U { }
Entonces:
- 70 -
Topologa General Espacios Topolgicos - 71 -
B2 n = {{2n, 2n 1}} = B2 n1
es una base local.
Demostracin
Si B es una base numerable de la topologa entonces para cada x X sea:
Bx = {B B : x B}
ya vimos que es una base local y como
Bx B numerable Bx es numerable
Ejemplo 2.47
Sea X no numerable y la topologa discreta entonces:
Bx = {{ x}}
en ejemplo 2.45 vimos que es una base local y por ser un solo elemento es
numerable. Luego es N1 pero no es N2 ya que
Sea B una base de la topologa como { x} entonces { x} se puede escribir como
unin de elementos de B { x} B B no es numerable.
Este es un contraejemplo de que no vale la proposicin recproca de la 2.25
Ejemplo 2.48
Todo espacio mtrico es N1 ya que:
Bx = {B ( x, 1n ) : n }
es una base local numerable.
Ejemplo 2.49
Sea ( , ) con = { A : 2n A 2n 1 A} U { } entonces:
B2 n = {{2n, 2n 1}}
es una base local ( con un solo elemento ) numerable luego es N1
Ejemplo 2.50
Sea ( X , ) con X numerable y de complemento finito ya vimos que:
PF ( X ) = { A X : A finito}
- 71 -
Topologa General Captulo 2 - 72 -
Ejemplo 2.51
Sea X no numerable con la topologa de complementos finitos ya vimos en el
ejemplo 2.35 que no es N2 ,veremos ahora que tampoco es N1
Supongamos que:
Bx = {U n : x U n , n }
entonces
C
IUn = UUn
C
n n
entonces:
C
I U n {{ x}
C
1 424
n
3 no numerable
numerable
o sea
IU
n
n { x} y x tal que y I U n
n
X.
Ejemplo 2.52
Sea l1 = {( xn )n , reales o complejas tal que x
n < } con la norma
x = xn
n =1
define una distancia
d ( x, y ) = x y
entonces ( l , d ) es un espacio mtrico.
1
- 72 -
Topologa General Espacios Topolgicos - 73 -
D = {( yn )n : n0 tal que yn = 0n n0 }
Probaremos que D es denso para ello se tiene que cumplir
Que si > 0 y x l1 y D tal que d ( x, y ) < y esto se cumple porque
Si x l1 > 0 n0 tal que x
n0
i <
2
si la serie converge se puede acotar la
=0
lo que significa que cualquier entorno de x tiene un elemento de D o sea que D es
denso
fabriquemos ahora dentro de D un denso numerable.
Sea E = {( zn )n D : zn n }
Llamemos Em = {( zn ) n E : zn = 0 n m} entonces E puede verse como
E= UE
m
m
Ejemplo 2.53
Sea l = {( xn )n : reales o complejas, acotadas } con la norma del supremo
x = sup n { xn }
definimos la distancia
- 73 -
Topologa General Captulo 2 - 74 -
d ( x, y ) = sup n { xn yn }
Consideremos A = {( xn )n l : xn = 0 o 1 n }
Sean x, y A con x y d ( x, y ) = 1 y solo es cero en el caso que sean iguales
entonces A es discreto luego el nico conjunto denso es el propio A que no es
numerable por ser de igual cardinal que P ( ) o ya que
Sea : A P ( ) definida tal que a ( A ) le asociamos el conjunto de ndices en
los que la sucesin correspondiente vale 1 dicho conjunto pertenece a las partes de
N Claramente dicha funcin es biyectiva por lo que los conjuntos tienen el mismo
cardinal.
Demostracin
Sea {U n }n una base local numerable de x
Tomamos
V1 = U1
V2 = U 2 I V1
V3 = U3 I V2
M
Vn = U n I Vn1
Por construccin Vn Vn1
Adems
Vi = U i I Vi Vi es entorno de x i
{ {
entorno entorno
Vn N x n y si N N x n0 tal que U n0 N y entonces como
Vn0 N N N x Vn tal que Vn N para algun n
O sea que {Vn }n es una base local.
- 74 -
Captulo 3
Convergencia y Continuidad
Definicin 3.1 Dado el espacio topolgico ( X , ) una sucesin es una funcin de
los naturales a X.
x: X
xn = x ( n )
Notacin cuando nos referimos a la sucesin anotamos { xn } o ( xn ) y para hacer
referencia a un termino de la sucesin xn sin corchetes ni parntesis.
Demostracin
Es inmediata aplicando la definicin
Si xnk x Dado N N x por definicin n0 ( k ) tal que nk n0 ( k ) se
cumple que
xnk N
Como lim k + nk = + dado un cierto n0 ( k ) > 0 k0 tal que k k0 se cumple
nk > n0 ( k )
Dado N N x n0 = n0 ( k0 ) tal que n n0
Demostracin Como x tiene una base local numerable entonces existe una base
local decreciente {Vn } de x .
Luego si x A n Vn I A por definicin de clausura.
Entonces elegimos xn Vn A { xn } A y adems dado N N x n0 tal
que Vn0 N por ser {Vn } base local decreciente
Adems
n n0 xn Vn Vn0 N
{ xn } converge a x
- 76 -
Topologa General Convergencia y Continuidad - 77 -
A = \ {0}
tenemos que A = ya que sea U con 0 U U N 0 por ser abierto U C es
numerable esto implica que U no puede ser solo el cero es decir U {0} luego
U I A
lo que significa que A es denso
A =
Consideremos una sucesin { xn } tal que xn 0 n entonces como
({ x } )
n
C C
= { xn } es numerable { xn } N 0
C
Luego
{ xn } N 0 y { xn } I { xn } =
C C
lo que significa que la sucesin no tiende a cero esto sucede por no ser este espacio
topolgico N1 y no poder aplicar la proposicin anterior.
- 77 -
Topologa General Captulo 3 - 78 -
- 78 -
Topologa General Convergencia y Continuidad - 79 -
b1 b2 b3
Consideremos la red T : D dada por 2
x ( an ) = ( 1n ,0 ) x ( bn ) = ( 1n ,1 1n )
( 0,1) x ( b4 )
x ( b3 )
x ( b2 )
x ( b1 )
x ( a4 ) x ( a3 ) x ( a2 ) x ( a1 )
Vemos que Td tiende a ( 0,0 ) pero no tiende a otro punto por ejemplo ( 0,1)
Demostracin
Si existe una red {Td } A convergente a x por definicin que:
Dado N N x , existe d 0 D tal que Td N d d 0 luego
Td0 N I A y entonces N I A x A
Sea x A tomemos el conjunto dirigido ( N x , ) como ya vimos definido por :
U V si U V
Entonces si U N x , U I A ya que x A y U I A N x
Definimos una red {TU } de la siguiente forma TU = U I A es decir T : N x A
- 79 -
Topologa General Captulo 3 - 80 -
Demostracin Es una fcil consecuencia del anterior resultado y del hecho de que A
es cerrado si A = A
- 80 -
Topologa General Convergencia y Continuidad - 81 -
Observacin 3.1 Dos topologa coinciden si toda ves que una red converge con una
de las topologas tambin converge con la otra y viceversa. En cierta forma la
convergencia de las redes caracterizan a la topologa.
Demostracin
Si X es de Hausdff supongamos que Td converge a dos puntos x e y distintos.
Sean
U N x , V N y tal que U I V =
Entonces existen d 0 y d1 D tales que
Td U si d d 0 d 2 d0
sea d 2 tal que entonces
Td V si d d1 d 2 d1
Td2 U I V absurdo por ser U I V =
Supongamos que X no es de Hausdff o sea que existen:
x e y distintos tales que U I V U N x , V N y
y sea D = N x N y con (U ,V ) (U ,V ) U U y V V es fcil ver que es un
conjunto dirigido
Si (U ,V ) N x N y sea T(U ,V ) { U I V U entonces T(U ,V ) converge a x ya
elegimos uno
T(U ,V ) U W T(U ,V ) x
Anlogamente se prueba que T(U ,V ) y
- 81 -
Topologa General Captulo 3 - 82 -
Definicin 3.9 Sea {Td }dD una red en un ( X , ) espacio topolgico y sea ( E , ) un
conjunto dirigido y f : E D una funcin cofinal tal que d 0 D existe e0 E
tal que f ( e ) d 0 si e e0 entonces {T f (e ) } es una subred de {Td } .
eE
Demostracin
Si existe una subred {T f (e ) } que converge a x con f : E D cofinal entonces :
Dado N N x y d 0 e0 E tal que f ( e ) d 0 e e0 y adems
e1 E tal que {T f (e ) } N e e1
Sea e2 E tal que e2 e1 , e2 e0
f ( e2 ) d 0 y {T f (e2 ) } N que x es de aglomeracin.
Si x es de aglomeracin sea E = N x D con el orden componente a
componente o sea:
U U
(U , d ) (U , d )
d d
Dado (U , d ) N x D sea f (U , d ) D tal que f : N x D D (cofinal ) definida
por: f (U , d ) d y T f (U ,d ) U
Dado d 0 D sea e0 = ( X , d 0 ) entonces si tomamos
(U , d ) ( X , d 0 ) se tiene f (U , d ) d d 0
f (U , d ) d 0 {T f (U ,d ) } es una subred de {Td }
Adems:
{T f (U ,d ) } converge a x ya que:
dado N N x sean d 0 D y e0 = ( N , d 0 ) si (U , d ) ( N , d 0 ) entonces:
T f (U ,d ) U N T f (U ,d ) N
luego
{T ( ) } x
f U ,d
- 82 -
Topologa General Convergencia y Continuidad - 83 -
1) f es continua
2) x X , N N f ( x ) se tiene que f 1 ( N ) N x
3) A Y abierto f 1 ( A) es abierto
4) Para toda base B de la topologa de Y ; f 1 ( B ) es abierto B B
5) Para toda subbase S de la topologa de Y; f 1 ( C ) es abierto C S
6) Si F Y es cerrado, f 1 ( F ) es cerrado.
Demostracin
1) 2) por definicin de continuidad si W N f ( x ) , N N x tal que f ( N ) W
entonces como N f 1 ( f ( N ) ) f 1 (W ) es decir que N f 1 (W ) y como
N N x f 1 ( N ) N x
2) 3) Si A es abierto implica que es entorno de todos sus puntos A N y y A
pero si y A Y x f 1 ( A ) X tal que y = f ( x ) luego A N f ( x ) por la
hiptesis que x f 1 ( A ) , f 1 ( A ) N x f 1 ( A ) es entorno de todos sus
puntos luego es abierto.
3) 4) 5) son obvios
5) 6) ahora si F Y es cerrado F C es abierto sea S una subbase de la
topologa de Y entonces
- 83 -
Topologa General Captulo 3 - 84 -
abierto
entonces:
f 1 ( F C ) = f 1 U S1 I ... I S n = U1
f 1 ( S1 ) I ... I f 1 ( S n ) es abierto por ser
424 3
1444424444
abiertos
3
interseccin finita de abiertos es abierto
unin de abiertos luego como
f 1 ( F C ) = f 1 ( F ) abierto f 1 ( F ) es cerrado
C
Sean x X , W N f ( x )
{ A Y abierto tal que
por def. de entorno
f ( x) A W
como A es abierto f ( A) es abierto por la observacin de ms arriba
1
N a f 1 ( A ) N x y se tiene que:
f f 1 ( A ) A W f ( N ) W
1424 3
N
Luego se cumple la definicin de continuidad.
Ejemplo 3.10
Sea X con la topologa discreta e Y un espacio topolgico cualquiera, toda funcin
f : X Y es continua ya que para cualquier A Y se tiene f 1 ( A ) lo podemos
escribir como la unin de sus elementos que son abiertos en X
f 1 ( A ) = U { x} unin de abiertos es abierto .
x f 1 A
{
( ) abierto
- 84 -
Topologa General Convergencia y Continuidad - 85 -
- 85 -
Topologa General Captulo 3 - 86 -
Demostracin
f ( x ) si x A
f ( x) = 1
f 2 ( x ) si x B
la condicin f1 ( x ) = f 2 ( x ) x A I B es para que f est bien definida.
Entonces sea F X cerrado en X
f 1 ( F ) = f11 ( F ) U f 21 ( F )
f1 : A Y es continua f11 ( F ) es cerrado en A y como A a su vez es cerrado en
X entonces f11 ( F ) es cerrado en X ; anlogamente con f 21 ( F ) es cerrado en X
luego f 1 ( F ) es cerrado o sea f es continua.
- 86 -
Topologa General Convergencia y Continuidad - 87 -
1) f es continua.
2) Para todo A X se cumple f ( A ) f ( A )
3) para todo B Y se cumple f 1 ( B ) f 1 ( B )
4) para todo B Y se cumple f 1 ( B o ) ( f 1 ( B ) )
o
Demostracin
1) 2) Sea x A ( f ( x ) f ( A ) ) por proposicin 3.4 {Td } A tal que
Td x y adems f (Td ) f ( A ) y f es continua f ( Td ) f ( x ) entonces por
la misma proposicin 3.4
f ( x ) f ( A ) o sea f ( A ) f ( A )
2) 3) como B Y f 1 ( B ) X y aplicamos lo anterior
( )
f f 1 ( B ) f ( f 1 ( B ) ) B
14243
B
Luego
( ( ))
f 1 f f 1 ( B ) f 1 ( B )
(
f 1 ( B ) f 1 f f 1 ( B ) f 1 ( B )
)
es decir
f 1 ( B ) f 1 ( B )
( )
C C C
f 1
(B ) = f
o 1
o
( B ) = f 1 ( B ) =
o C
( )
o
= f 1 B C f 1 ( B C ) = ( f 1 ( B C ) ) =
C C C
o
= f 1 ( B C ) = ( f 1 ( B ) )
C o
- 87 -
Topologa General Captulo 3 - 88 -
Demostracin
1) si f ( x ) = f ( y ) 0 = d ( f ( x ) , f ( y ) ) = d ( x, y ) x = y porque estamos en un
espacio mtrico.
2) Dado > 0, tomando = entonces si d ( x, y ) <
d ( f ( x ) , f ( y ) ) = d ( x, y ) < =
3) es inmediato por definicin.
- 88 -
Topologa General Convergencia y Continuidad - 89 -
A = { x : d ( x, A ) = 0}
Demostracin
Si d ( x, A ) = 0 { xn } A tal que
1
d ( xn , x ) < B ( x, 1n ) I A x A
n
Demostracin
Dado > 0 si d ( x, y ) < , a A
2
d ( y , a ) d ( x, a ) + d ( x, y ) x
d ( x, a ) d ( y , a ) + d ( x, y )
2
d ( x, a ) d ( x, y ) d ( y , a ) d ( x, a ) + d ( x, y ) y a A
Si tomamos la primer desigualdad
d ( x , a ) d ( x, y ) d ( y , a )
d ( x, a ) d ( y, a ) + d ( x, y ) como
d A = inf {d ( x, a ) : a A}
entonces
d A ( x ) d ( x, a ) a A
d A ( x ) d ( x, a ) d ( y, a ) + d ( x, y ) a A
d A ( x ) d ( y, a ) + d ( x, y ) a A
si la desigualdad se cumple siempre tambin se cumple con el nfimo
d A ( x ) d A ( y ) + d ( x, y ) d A ( y ) +
2
tomando la segunda desigualdad
d ( y , a ) d ( x, a ) + d ( x, y )
d A ( y ) = inf {d ( y, a ) : a A}
luego
d A ( y ) d ( y, a ) d ( x, a ) + d ( x, y ) a A
- 89 -
Topologa General Captulo 3 - 90 -
pasando al nfimo
d A ( y ) d A ( x ) + d ( x, y ) d A ( x ) +
2
es decir:
d A ( x ) d A ( y ) +
2 d x d y < <
A( ) ( )
2
dA ( y) dA ( x) +
2
Dado > 0 = tal que si d ( x, y ) < d A ( x ) d A ( y ) < d A ( x ) es
2
uniformemente continua.
Definicin 3.18 Se dice que los espacios topolgicos X,Y son homeomorfos si
existen f : X Y homeomorfismo.
1) f es un homeomorfismo
2) f es continua y abierta
3) f es continua y cerrada.
- 90 -
Topologa General Convergencia y Continuidad - 91 -
Demostracin
1) 2) como f 1 es continua solo para que la notacin quede ms amigable
llamemos a f 1 = g si A X es abierto entonces
( g 1 ( A) ) es abierto = f ( A)
2) 3) si F es cerrado implica F C es abierto y por hiptesis
f ( F C ) es abierto ( f ( F )) es cerrado = f ( F )
C C
entonces
d ( f ( x ) , g ( x ) ) diamf ( E ) + d ( f ( e ) , g ( e ) ) + diamf ( E )
14243 144244 3 14243
acotado acotado acotado
- 91 -
Topologa General Captulo 3 - 92 -
Demostracin
Si f d f dado >0 existe d 0 D tal que d d 0
d ( fd , f ) <
es decir que
x E d ( f d ( x ) , f ( x ) ) sup {d ( f d ( x ) , f ( x ) ) : x E} <
luego f d f
Si d 0 D tal que d d 0 se cumple:
d ( fd ( x ) , f ( x ) ) < x E
2
tomando supremo
d ( f d , f ) = sup {d ( f d ( x ) , f ( x ) ) : x E} <
2
luego f d f converge uniformemente.
- 92 -
Topologa General Convergencia y Continuidad - 93 -
entonces
B = {Wx1 ,U1 I .... I Wxn ,U n : con xi X ,U i Y ,U i N f ( xi ) }
es una base de la topologa llamada de convergencia puntual.
- 93 -
Topologa General Captulo 3 - 94 -
Demostracin
Sea x X U abierto en Y U N f ( x ) queremos ver que
d 0 D tal que d d 0 se cumple que
fd ( x ) U
Sea Wx ,U es un entorno de f y como f d f para cada entorno de f en particular
el Wx ,U entorno de f existe d 0 D tal que d d 0
f d Wx,U f d ( x ) U
luego
fd ( x ) f ( x )
Sea V un abierto de la base tal que f V
V = Wx1 ,U1 I ... I Wxn ,U n = { g : X Y : g ( xi ) Ui}
luego
f V f ( xi ) U i y como f d ( xi ) f ( xi )
implica que di D tal que f d ( xi ) U i d di i = 1,..., n tomando
d 0 = max {di : i = 1,..., n} que existe por ser D un conjunto dirigido entonces
d d 0 f d ( xi ) U i i = 1,..., n es decir
f d Wx1 ,U1 I ... I Wxn ,U n = V
luego f d f
- 94 -
Captulo 4
Conjunto de Cantor
Estudiaremos en este captulo un ejemplo de subespacios de la recta ms
importantes e interesantes en Topologa definido por Cantor en 1883, y que ha
aparecido desde entonces en multitud de ejemplos y teoremas topolgicos.
Consideremos el conjunto cuya construccin es la siguiente, partimos el intervalo
[0,1] en tres tercios, y extraemos el tercio central, luego repetimos el proceso para
estos tercios y as sucesivamente, el lmite de esta construccin es el conjunto de
Cantor. Para entender ms esto vamos primero a introducir un poco de notacin.
ba 2 (b a )
Si I = [ a, b ] I = a, U a + , b , si I = U I k I = U I k
3 3 k k
A2 = A1 = [ 0, 19 ] U [ 29 , 13 ] U [ 23 , 97 ] U [ 89 ,1]
en general An = An1 entonces el conjunto de Cantor es:
C = I An
n= 0
A1 es unin de 2 intervalos
A2 es la unin de 4 intervalos
M
An es la unin de 2n intervalos disjuntos.
2n
An = U ank , bnk
k =1
y
1
bnk ank =
3n
n
o sea la medida de An es 2 . n = .
1 2 n
3 3
Ahora veremos algunas de las propiedades ms importantes del conjunto de Cantor
Topologa General Captulo 4 - 96 -
Proposicin 4.3 Los extremos de las intervalos cerrados disjuntos dos a dos que
definen An se escriben como
{a } = 3i : xi {0, 2}
k
n
n xi
i =1
64748
3n+1
n+1 xi
T) {a } = i : xi {0, 2}
k
n +1 an
j
anj +1
i =1 3
k
144424443 an +1
2
3n+1
- 96 -
Topologa General Conjunto de Cantor - 97 -
Demostracin
anj para algn j
{ank+1} = j 2
an + n +1 para algn j
3
n n
xi xi 2
i =1 3
i 3
i =1
i
+
3n +1
xi {0, 2}
xn +1 = 0 xn +1 = 2
n +1
xi
3
i =1
i
: xi {0, 2}
por lo tanto
n +1
{a } = 3
xi
k
n +1 i
: xi {0, 2}
i =1
Demostracin
m n
yi xi
Sean amj = i
a k
n = i
con xi , yi {0, 2}
i =1 3 i =1 3
Vamos a analizar tres casos
Caso a)
Sea xi = yi i = 1,..., n en este caso tenemos:
m n m
y x y
amj ank = ii ii = ii 0
i =1 3 i =1 3 n +1 3
- 97 -
Topologa General Captulo 4 - 98 -
m m
yi 1
a a = i 2 i =
j
m
k
n
i = n +1 3 n +1 3
1 1 m 1 1 n
1 1
m 1 n 1 3
3 3 3
= 2 i i = 2 =
i =1 3 i =1 3 1 1 1 1
3 3
1 n 1
m
1 3 1 3 m n
= 2 1 1
= 1 1+
2 2 3 3
n m
=
1 1
3 3
es decir
1 1
amj ank
3n 3m
1 1
amj + m ank + n ank amj bmj bnk
1424 33 123 3
=bmj =bnk
bmj bnk
por lo tanto
amj , bmj ank , bnk
Caso b)
Sea xl yl , yi = xi i < l < n
Entonces yl xl = 2
Analicemos primero i) yl xl = 2
67=2
8 67 0
8
l 1
yi xi 2 n
yi xi m yi
am an =
j k
+ l + + i
i =1 3i 3 l +1 3i n +1 3
n
2 1 2 1
3l
2
l +1 3
i
3l
2
l +1 3
i
=
( )
l +1
1
2 2 1 1 1
= l
2 3 = = >
3 1 1 3l 3l 3l 3n
3
Luego
- 98 -
Topologa General Conjunto de Cantor - 99 -
1
amj ank >
3n
1
amj > ank + n
= bnk
3
ii) yl xl = 2
672
8 }
2
2 y x
n m
y 2 m
1
amj ank = l + i i i + ii l + 2 i
3 l +1 3 n +1 3 3 l +1 3
( 13 )
l +1
2
1 2 2 1 1 1
l + 2 i = l + 2 = + = <
3 l +1 3 3 2 3l 3l 3l 3m
3
luego
1
amj ank <
3m
1
amj + m < ank amj bmj ank bnk
1424 33
=bmj
xi
Demostracin Sea y = i
con xi {0, 2}
i =1 3
Por construccin Si m n Am An
m m
xi x
Y como i Am ii An m n y por lo tanto su lmite pertenece a la
i =1 3 i =1 3
clausura.
- 99 -
Topologa General Captulo 4 - 100 -
1
ank ( n ,t ) t < 0
3n
Luego
ank ( n ,t ) t
En segundo lugar
Como m n t amk ( m ,t ) , bmk ( m,t ) I ank ( n ,t ) , bnk ( n,t ) implica por proposicin 4.4 que:
amk ( m ,t ) , bmk ( m,t ) ank ( n ,t ) , bnk ( n ,t )
es decir que:
ank ( n ,t ) amk ( m ,t ) t
siendo
n m
xi yi
ank ( n ,t ) = y amk ( m ,t ) = pero ya vimos que xi = yi i = 1,..., n si m n
i =1 3i i =1 3i
entonces
xi
ank ( n ,t ) y amk ( m ,t ) son reducidas de la serie 3
i =1
i
entonces como existe el lmite de
Proposicin 4.6 Todos los puntos del conjunto C de Cantor son de acumulacin
Demostracin
xi
Si t C t= i
con xi {0, 2}
i =1 3
Si no existe n0 a partir del cual todos los trminos de la serie son ceros entonces las
sumas parciales de la serie ( puntos del conjunto de Cantor ) son distintas a t y
siempre hay una a distancia menor que un cierto > 0 arbitrario.
Supongamos que n0 tal que xi = 0 i > n0
Entonces
- 100 -
Topologa General Conjunto de Cantor - 101 -
n0
xi
t= y sea t C tal que
i =1 3i
n0
xi n
0 2
t = i
+ i
+ i
i =1 3 n0 +1 3 n +1 3
1
Ahora dado > 0 Sea n0 tal que n0 < tomamos dos elementos del conjunto de
2
1 x y
Cantor a distancia menor que n0 Sean ii , ii xi = yi i n0 en este
3 i =1 3 i =1 3
caso:
- 101 -
Topologa General Captulo 4 - 102 -
x yi 1 xi yi
d f ii , f i = i
i =1 3 i =1 3 2 n0 +1 2
1 xi yi 1
1 1
2 n0 +1 2 i
2
2 n0 +1 2 2 i
= n0 <
1
entonces si t , s C y d ( t , s ) < n0 = entonces:
3
d ( f (t ) , f ( s )) <
por lo que f es uniformemente continua.
Como corolario podemos afirmar que el conjunto de Cantor es no numerable.
- 102 -
Captulo 5
Topologa Producto
Veamos primero la definicin de topologa producto para el cado finito.
Definicin 5.1 Sea {( X i , i ) : i = 1,..., n} una familia finita de espacios topolgicos.
Entonces la familia de subconjuntos del producto cartesiano X 1 X 2 ... X n
B = {U1 U 2 ... U n : U i i i = 1,..., n}
Como X 1 X 2 ... X n se puede expresar como unin de elementos de B ,basta
con tomar los U i = X i que son elementos de i , y como este conjunto es cerrado por
intersecciones finitas Por tanto segn corolario 2.18 existe una nica topologa sobre
dicho conjunto respecto de la cual B es una base. La llamaremos topologa
producto y al espacio resultante producto topolgico.
n
Definicin 5.2 Dado el producto cartesiano X
i =1
i definimos las funciones
n
pi : X i X i como
i =1
pi ( f ) = f ( i )
o
pi ( x ) = xi
que llamamos proyeccin cannica asociada al ndice i
Topologa General Captulo 5 - 104 -
Demostracin Para probar el enunciado tenemos que probar que la imagen inversa
de un abierto es abierto.
Sea U i abierto en X i
n
p (U i ) = x X i : pi ( x ) = xi U i con U i i
i
1
i =1
lo que significa:
pi1 (U i ) = X 1 ... X i 1 U i X i +1 ... X n
y por lo tanto
pi1 (U i ) es abierto en el producto
por lo que las proyecciones son continuas para todo i
para todo I .As que definimos como topologa producto como a la generada por
la subbase
S = { p1 (U ) : U abierto ,U X I }
los abiertos de la base son entonces de la forma.
- 104 -
Topologa General Topologa Producto - 105 -
Observacin 5.1 Realmente esta topologa ( ) es la menos fina de las que hacen
continua todas las proyecciones.
Demostracin Supongamos que tenemos otra topologa que llamamos que tambin
hace continuas todas las proyecciones.
Como
B = I p1 (U ) : con U abierto, U X y F I finito
F
es la base de la topologa producto .
Entonces si U B U = p11 (U1 ) I ... I pn1 (U n ) y como cada pi1 (Ui ) es
abierto en porque esta topologa hace continua las proyecciones entonces la
interseccin finita de abiertos es abierto en y U .
Todo elemento de la base de esta en entonces si A es abierto con la topologa
como A = U A con A B y cada A es abierto segn , la unin de abiertos
Observacin 5.2 Si tomamos como base de una topologa aquellos conjuntos que
sean producto arbitrario de abiertos, esto es si llamamos B a un elemento de la base:
B = U con U abierto en X , I
I
obtenemos la llamada topologa caja introducida por H. Tietze en 1923
histricamente anterior a la introducida por Tychonoff la cual posea ms abiertos
que nuestra topologa producto y por tanto la contiene.
Como las proyecciones son continuas con la topologa producto entonces son
continuas con la topologa cajas. Ya que:
- 105 -
Topologa General Captulo 5 - 106 -
f : X Y
f continua
sea U abierto en Y f (U ) X X
1
1X X2 1 2
segn X
2
1
f continua segn X
A menos que especifiquemos lo contrario, cuando hablemos del espacio producto,
entenderemos que la topologa involucrada es la topologa producto de Tychonoff. Y
la hemos preferido ya que la topologa caja tiene ciertos defectos como.
Tiene muchos abiertos si lo que queremos es hacer las proyecciones continuas,
es claro que cuanto ms abiertos tengamos en el dominio de una funcin ms
fcil es de que sea continua.
No siempre el producto de espacios compactos es compacto
No siempre el producto de espacios conexos es conexo.
La continuidad de una funcin que llega a un espacio producto no puede ser
caracterizada en trminos de la continuidad de las funciones coordenadas.( ver
ejemplo 5.1)
An en el caso de productos enumerables no se garantiza que el producto de
espacios N1 sea N1
Demostracin Que son continuas porque la topologa producto se defini con dicho
propsito.
Para probar que es abierta alcanza con probar que p ( B ) es abierto para todo
abierto B de la base B .
Tomemos un abierto B de la base 1 ,..., n I y abiertos Ui X i i = 1,..., n
tales que
B = p11 (U1 ) I ... I pn1 (U n )
= U1 ... U n I
X
{1 ,..., n }
entonces
p ( B ) = Ui si = i
para i = 1,..., n
p ( B ) = X si i
en ambos casos la imagen es un abierto. Es decir que la imagen de abiertos de la
base es un abierto.
- 106 -
Topologa General Topologa Producto - 107 -
p (Td ) p ( x ) I
Si p (Td ) p ( x ) I
x B0 A V
entonces basta con probar que dado un abierto B de la base que contenga a x existe
d 0 D tal que
Td B d d 0
as
Td B U B = A V
- 107 -
Topologa General Captulo 5 - 108 -
Demostracin
Como p es continua p o f es continua si f
f
X
es continua
Y
Si p o f son continuas I sea x Y y I
- 108 -
Topologa General Topologa Producto - 109 -
continua si est dotado con la topologa por cajas. Consideremos, por ejemplo,
el elemento bsico
B = ( 1,1) , , ......
1 1 1 1
2 2 3 3
para la topologa por cajas. Afirmamos que f 1 ( B ) no es abierto en R. Ya que
primero que nada como el 0 B y f 1 ( 0 ) = 0 0 f 1 ( B ) entonces si f 1 ( B ) es
abierto en R es entorno de todos sus puntos en particular del cero entonces tendra
algn abierto ( , ) f 1 ( B ) . Esto significa que f ( ( , ) ) f ( f 1 ( B ) ) B ,
por lo que aplicando pn a ambos lado de la inclusin,
pn ( f ( , ) ) , n
1 1
144244 3 n n
=( , )
x ( 0 ) = x 0
y ( 0 ) = y0
- 109 -
Topologa General Captulo 5 - 110 -
como: U0 x0 V0 y0 X 0
x U p i ( x ) Ui i = 1,..., n
12 3
= pi ( y ) si i 0
= pi ( x ) si i 0
678
y U i con i = 1,..., n tal que pi ( y ) Ui
es decir que uno de los i = 0 (podemos suponer que adems es nico ya que de
haber ms de uno tomamos la interseccin de ellos )
Anlogamente j tal que j = 0 nico.
Entonces proyectando U,V sobre X 0
x0
p0 U1 ... U n X = U0
{1 ,..., n }
abiertos disjuntos en X 0
p0 V1 ... V m X = V0
{ 1 ,..., m } {
y0
- 110 -
Topologa General Topologa Producto - 111 -
Proposicin 5.7 Sea {En }n una familia numerable de espacios mtricos entonces:
E
1
n es metrizable
x = { x ( i )} y = { y ( i )} :
di ( x ( i ) , y ( i ) )
d ( x, y ) =
1 2i
es fcil ver que es una distancia y adems
- 111 -
Topologa General Captulo 5 - 112 -
1
d ( x, y )
i
=1<
1 2
Te
top. prod.
x Te ( i )
di
x (i )
entonces tenemos que probar que:
Te d
x Te ( i )
di
x (i )
1
Dado > 0 sea k tal que: 2
k +1
i
<
2
que existe si > 0
Te
d
x
y recprocamente
Si Te d
x, dado > 0, n , sea e0 tal que:
d (Te , x ) < e e0
2n
entonces como
d n (Te ( n ) , x ( n ) ) di ( Te ( i ) , x ( i ) )
= d ( Te , x )
2n 1 2i
o sea
1
n n( e
d T ( n ) , x ( n ) ) d (Te , x ) < n
2 2
d n (Te ( n ) , x ( n ) ) < si e e0 n
Te ( n )
dn
x ( n ) n la tesis
- 112 -
Captulo 6
Espacios Conexos
Definicin 6.1 Sea ( X , ) un espacio topolgico, vamos a decir que X disconexo si
existen abiertos no vacos y disjuntos U,V tales que:
X = U UV
En caso contrario diremos que X es conexo.
X = { x} U { x}
C
claramente disjuntos.
Ejemplo 6.2 Sea X con la topologa indiscreta. Tenemos que es conexo porque no
hay abiertos disjuntos no vacos ( los nicos abiertos son X , )
finito
14
(
4244 3 14
)
= , 2 I U 2, + I
4244 3
( )
abierto en abierto en
que Q es disconexo.
1) X es conexo
Demostracin
1) 2) supongamos por el absurdo que s existen A y B cerrados disjunto no vacos
tales que:
X = A U B AC = B , B C = A con AC , B C son abiertos disjuntos
ya que = AC I B C tales que
X = AC U B C
2) 3)
Supongamos que A , A X y A X abierto y cerrado
A , AC son cerrados y X = A U AC
con A , AC cerrados disjuntos no vacos contradice 2)
- 114 -
Topologa General Espacios Conexos - 115 -
3) 4)
Supongamos que existe f : X {0,1} continua y sobre entonces f 1 ( 0 ) es abierto
y cerrado en {0,1} y f 1 ( 0 ) no es vaco, ni todo el espacio por ser f sobre. O sea
f 1 ( 0 )
lo que contradice 3)
f 1 ( 0 ) X
4) 1)
Sea X disconexo A y B abiertos disjuntos no vacos tales que X = A U B
Entonces definimos f : X {0,1} de la siguiente forma:
1 si x A
f (X ) =
0 si x B
f 1 ( 0 ) = B
f definida as es continua ya que : que la preimagen
f 1 (1) = A
f ( ) = , f ({0,1}) = X
1 1
Demostracin
Supongamos por el absurdo que no es conexo es decir que existen A y B cerrados
disjuntos no vacos tales que
[ 0,1] = A U B
Como 0 A U B que pertenece a alguno de ellos, podemos suponer sin perder
generalidad que 0 A y definimos el siguiente conjunto:
A0 = {a A : a b b B}
Por definicin A0 A , adems como 0 A y A I B = 0 b b B
0 A0 luego A0 acotado superiormente por 1 implica que tiene extremo
superior, le llamemos .
Tenemos que A0 A = { A A ahora puede suceder que
cerrado
1) = 1 [ 0,1] I B =
{ B =
por ser AI B =
2) < 1 Sea
= inf {b B} entonces B =
{ B
cerrado
entonces por definicin de A0 pero
- 115 -
Topologa General Captulo 6 - 116 -
= como A
AI B
B
luego < t [ 0,1] tal que < t <
Ahora si t A por ser t < t b b B t A0 por ser el
extremo superior de A0 t A
Pero t B por ser t < (nfimo) pero [ 0,1] = A U B por lo tanto [0,1] es
conexo.
Demostracin
Sea f : X f ( X ) que es continua con la topologa relativa en f ( X ) si este no es
conexo existe
g : f ( X ) {0,1} continua y sobre
entonces como
g o f : X {0,1} es continua y sobre
luego X no es conexo
Demostracin
Supongamos por el absurdo que no es conexo que existe una funcin
g : U Y {0,1} continua y sobre. Como g |Y : Y {0,1} es continua y como Y es
I
- 116 -
Topologa General Espacios Conexos - 117 -
Demostracin
Si X es conexo se toma C = X y tenemos la tesis.
Demostracin
Para la demostracin vamos a considerar que existe una funcin f : B {0,1}
continua y ver que no puede ser sobre.
Como A B f | A : A {0,1} es continua y como A es conexo f ( A ) es el
conjunto unitario {0} o {1} . Podemos suponer sin perder generalidad que
f ( A ) = {0} .
- 117 -
Topologa General Captulo 6 - 118 -
y
Definicin 6.3 Sea ( X , ) un espacio normado,
un conjunto A X es convexo si x, y A
t [ 0,1] se tiene que:
tx + (1 t ) y A (1 t )( y x )
x
x + ( t 1) x + (1 t ) y
x + (1 t )( y x ) A
Ejemplo 6.5
B ( 0, ) es convexo ya que
B ( 0, ) = {a X : x < }
sean x, y B ( 0, ) , t [ 0,1] entonces:
tx + (1 t ) y tx + (1 t ) y =
= t x + 1 t y =
= t x + (1 t ) y < t + (1 t ) =
o sea
t [ 0,1] tx + (1 t ) y B ( 0, )
Si la bola no es centrada en cero como existe un homeomorfismo:
h : B ( 0, ) B ( x0 , )
dada por h ( x ) = x + x0 (traslacin)
La bola trasladada es tambin convexo.
- 118 -
Topologa General Espacios Conexos - 119 -
Demostracin
Sea a A fijo y x A sea el segmento Cx = {ta + (1 t ) x : t [ 0,1]} consideramos
h : [ 0,1] C x por h ( t ) = ta + (1 t ) x esta funcin es continua y sobre para cada x lo
que implica por Bolzano que su imagen Cx es conexo (por ser imagen por medio
de una funcin continua de un conexo).
Entonces
A = U Cx
xA
es conexo por ser unin de conexos con interseccin dos a dos no vacos, porque a
es comn a todos.
n
Proposicin 6.9 Sean { X i }i =1 espacios topolgicos entonces X
n
i es conexo si y
i =1
solo s X i es conexo i = 1,..., n
Demostracin
n
Como p j X i = X j X j es conexo
{ i =1
continua {
conexo
probemos solo para dos y despus por induccin generalizamos
Sean X 1 , X 2 conexos probaremos que X 1 X 2 es conexo.
Sea ( a1 , a2 ) X 1 X 2 fijo X 1 {a2 }
Dado un x = ( x1 , x2 ) X 1 X 2 sea X2
C = X {a } U { x } X a2
x1 1 2 1 2
- 119 -
Topologa General Captulo 6 - 120 -
Adems todos los conjuntos Cx1 tienen en comn el punto ( a1 , a2 ) y son conexos
luego su unin es conexo X 1 X 2 es conexo.
- 120 -
Topologa General Espacios Conexos - 121 -
es decir:
X 1 ,...,n = x X : x = a 1 ,..., n
I
definimos la funcin
: X 1 ,..., n X 1 ... X n
como la proyeccin de X 1 ,..., n sobre X 1 ... X n luego es continua y biyectiva
para probar que la inversa es continua lo demostramos igual que el caso finito, nos
tomamos una red convergente.
1 : X 1 ... X n X 1 ,..., n
Sea { zd } X 1 ... X n tal que zd z
1 ( zd )( ) =
{ a a
{ }
1 ( zd ) = 1 = ( z)
1
si 1 ,..., n
( zd )( ) =
{ zd z
si {1 ,..., n }
1
por lo que es continua y lleva conexo en conexo luego como por hiptesis cada
X es conexo entonces por proposicin anterior X 1 X 2 ... X n es conexo y
entonces X 1 ,..., n es conexo.
Sea
Z= U X 1 ,..., n
{1 ,..., n } I
como {a } X 1 ,...,n {1 ,.., n } I tienen interseccin no vaca y luego su unin
es un conjunto conexo.
Adems si U es un abierto de la base de la topologa producto.
U = p11 (U1 ) I ... I pk1 (U k ) con U i Xi i = 1,..., k
Como
X 1 ,...,n I U
ya que
U = U1 ... U k X con U i X i
14243 { ,..., }
X 1 ... X k 1 k
X 1 ,...,k = X 1 ... X k
{1 ,..., k }
a
luego
Z I U U abierto de la base Z = X y como Z es conexo implica que Z
I
es conexo luego X
I
es conexo.
- 121 -
Topologa General Captulo 6 - 122 -
Demostracin
1) x : x ya que { x} es conexo
2) Si x : y y : x por definicin
Si x : y
3) x : z
e y:z
Ya que x : y C X conexo tal que x, y C
y : z D X conexo tal que y, z D
Entonces
x, z C U D y como C U D es conexo por ser unin de conexos no disjuntos ya
que y C I D luego x : z
Toda relacin de equivalencia en un conjunto establece una particin del mismo en
clases de equivalencia tales que son disjuntas y su unin es el conjunto. Podemos
entonces introducir la siguiente definicin.
- 122 -
Topologa General Espacios Conexos - 123 -
Proposicin 6.13 Dado un espacio topolgico X este es conexo si y solo s tiene una
nica componente conexa.
Demostracin Tenemos que probar dos cosas primero que cualquier otro conexo que
contenga a x esta contenido en Cx y luego que la componente conexa Cx es conexo.
Sea D X conexo con x D y D y : x por definicin de conectado lo que
implica por definicin de componente conexa que y Cx luego D C x .
Como y Cx y : x { Dy X conexo tal que x, y Dy pero por lo anterior
por def.
Dy C x entonces
Cx = UD y
yC x
Demostracin Se tiene que por proposicin anterior las componentes conexas son
conexas luego su clausura C x es tambin conexa C x C x porque la componente
conexa es el mayor conexo que contiene a x. Luego como siempre Cx C x
Cx = C x
Ejemplo 6.6 Sea X = ( 0,1) U [ 2,3) las componentes conexas son ( 0,1) y [ 2,3) que
son abiertos y cerrados a la vez
Ejemplo 6.7 Sean los racionales con la topologa heredada de las componentes
conexas de un punto p es el propio p es decir C p = { p} ya que si la
componente conexa tuviera ms de un punto por ejemplo
p, q C p con p q irracional tal que p < < q y entonces podemos escribir
C p = ( , ) I C p U C p I ( , + )
14 4244 3 14 4244 3
abierto abierto
- 123 -
Topologa General Captulo 6 - 124 -
1) X es localmente conexo
2) Si A las componentes conexas de A son abiertas.
- 124 -
Topologa General Espacios Conexos - 125 -
Demostracin
1) 2) Si X es localmente conexo x X se tiene :
Bx = {V N x : V conexo}
Sea A abierto y C una componente conexa de A.( C A )
Tomemos x C al ser A abierto implica que es entorno de todos sus puntos,
como x A A N x por definicin de base local V Bx tal que x V A .
Como V,C conexos y x V U C V U C es conexo V U C C por proposicin
6.14 y esto ltimo significa que V C .
En resumen x C V entorno conexo tal que x V C que C es abierto.
2) 3) Sea
B = { A : A es conexo}
Si B es abierto por hiptesis las componentes conexas de B son abiertas llamemos a
estas CxB para x B entonces:
B = U C xB
xB
Demostracin Primero aplicamos el teorema anterior para el abierto X por lo que las
componentes de X son abiertas y por el corolario 6.15 estas son cerradas.
- 125 -
Topologa General Captulo 6 - 126 -
- 126 -
Topologa General Espacios Conexos - 127 -
x C f ( x ) f ( C )
x C I f 1 ( D ) f ( x ) f ( C ) I D
x f 1
( D ) f ( x ) f ( f 1
( D ) ) = D
Luego f ( C ) I D
Por otro lado como C es componente conexa de f 1 ( A ) implica que:
C f 1 ( A) f ( C ) f ( f 1 ( A ) ) = A
Como C es conexo y f es continua f ( C ) es conexo en A pero como D es
componente conexa de A y f ( C ) I D f ( C ) D
Demostramos que
Si C I f 1 ( D ) C f 1 ( D )
entonces podemos escribir:
f 1 ( D ) = U C
C I f 1 ( D )
f f (D ) = D
1 C
{
C
1 424 3
cerrado cerrado
Luego D es abierto.
x :C y x : y
Demostracin Por hiptesis como estar conectados por caminos implica que
tenemos una funcin continua f : [ 0,1] X y como [ 0,1] es conexo y f continua
implica que f ([ 0,1]) es conexo y contiene a x e y por definicin que x est
conectado con y.
Demostracin
a) f : [ 0,1] X definido f ( t ) = x t [ 0,1] x : C x
b) f : [ 0,1] X cont. con f ( 0 ) = x
f (1) = y
Sea g : [ 0,1] X dado por g ( t ) = f (1 t ) t [ 0,1]
g es continua y g ( 0 ) = f (1) = y
g (1) = f ( 0 ) = x
y :C x
c) f , g : [ 0,1] X continuas tal que:
f (0) = x
f (1) = y = g ( 0 ) g
g (1) = z
Consideremos h : [ 0,1] X definidas por : f z
f ( 2t ) si t [ 0, 2 ]
1
h (t ) = x
g ( 2t 1) si t [ 2 ,1]
1
- 128 -
Topologa General Espacios Conexos - 129 -
Demostracin Por definicin tenemos que X es conexo por camino si y solo s para
todo x, y X , x C y entonces si fijo x implica que y CC x y X X CC x
como la otra inclusin es obvia entonces son iguales CCx = X luego tiene solo una
componente conexa.
CCx Cx
Demostracin Esto es porque estar conectados por camino implica estar conectado
es decir:
Si y CC x y : C x { y : x y Cx
Pr op. 6.19
Luego
CCx Cx
Demostracin CCx que es el mayor conexo por camino, implica que, por un lado es
el mayor en el sentido que contiene a todo conjunto conexo por camino y que l es
conexo por camino. Lo demostraremos por separado:
- 129 -
Topologa General Captulo 6 - 130 -
Ejemplo 6.13
Sea X = A U B 2 con A = {0} [ 0,1] y B = {( x, sen x ) : x ( 0,1]}
- 130 -
Topologa General Espacios Conexos - 131 -
Definicin 6.11 Sea X un espacio topolgico decimos que es localmente conexo por
caminos si todo punto x X tiene una base de entornos conexos por caminos.
- 131 -
Topologa General Captulo 6 - 132 -
Anotamos lcc
Demostracin
1) 2) Si X es localmente conexo por camino x X se tiene :
Bx = {V N x : V conexo por camino}
Sea A abierto y C una componente conexa por camino de A.( C A )
Tomemos x C al ser A abierto implica que es entorno de todos sus puntos,
como x A A N x por definicin de base local V Bx tal que x V A .
Como V es conexo por camino y tiene a x en comn con C entonces:
{ y :C x
y V { y C V C
xV xC
en resumen x C V N x tal que V C
por lo tanto C es abierto.
2) 3) Sea
B = { A : A es conexo por camino}
Si B es abierto por hiptesis las componentes conexas por camino de B son abiertas
llamemos a estas CCxB para x B entonces:
B = U CC xB
xB
- 132 -
Topologa General Espacios Conexos - 133 -
Ejemplo practico
- 133 -
Topologa General Captulo 6 - 134 -
AC = AC I ( AC ) = AC I A = A
C
y como A \ A = ( A
C C
)
C o
que es abierto en X luego C I AC es abierto en C y
distinto del vaco por hiptesis.
Es decir que en resumen tenemos que los conjuntos C I A y C I AC son abiertos
no vacos en C y disjuntos por serlo A y AC tales que:
C = ( C I A) U ( C I AC )
lo cual es absurdo por ser C conexo.
Luego tiene que ser C I A
- 134 -
Captulo 7
Espacios Mtricos Completos
Definicin 7.1 Una sucesin { xn } es de Cauchy en un espacio mtrico ( E , d ) si:
Dado > 0 n0 tal que m, n n0 se cumple:
d ( xm , xn ) <
Proposicin 7.2 Una sucesin de Cauchy que tiene una subsucesin convergente es
convergente.
d ( xn , x ) d ( xn , xnk ) + d ( xnk , x ) < + <
2 2
y por lo tanto xn x
Ejemplo 7.1 Una sucesin puede ser acotado como ( 1) y no ser de Cauchy como
n
Demostracin Por ser f uniformemente continua implica que dado > 0 > 0 tal
que si d ( x, y ) < entonces
d ( f ( x) , f ( y )) <
como { xn } es de Cauchy implica que para ese > 0 n0 tal que n, m n0 se
tiene
d ( xn , xm ) <
luego
- 136 -
Topologa General Espacios Mtricos Completos - 137 -
d ( f ( xn ) , f ( xm ) ) <
por lo tanto { f ( xn )} es de Cauchy.
Ejemplo 7.2 Una funcin que es solo continua no lleva sucesiones de Cauchy en
sucesiones de Cauchy como muestra el siguiente ejemplo.
1
{}
Sea f : ( 0,1) tal que f ( x ) = es continua en ( 0,1) y { xn } =
x
1
n
es de Cauchy
Ejemplo 7.3 Toda sucesin de Cauchy no tiene porque ser convergente por ejemplo
{}
n
1 1
en ( 0,1) es de Cauchy pero no converge en ese espacio. Otro ejemplo 1 +
n n
en los racionales es de Cauchy pero claramente no converge en los racionales.
Es decir que la convergencia esta sujeto a lo que sucede en el espacio ( si le faltan
puntos por ejemplo ).
Nos va a interesar el estudios de aquellos espacios mtricos en que las sucesiones de
Cauchy sean convergentes y por eso introducimos la siguiente definicin
Ejemplo7.4 Los reales son un espacio mtrico completo. Los racionales ya vimos
que no y el intervalo [ 0,1] es completo mientras que ( 0,1) no es completo porque
{ 1 n} es de Cauchy y converge a cero que no pertenece al intervalo.
- 137 -
Topologa General Captulo 7 - 138 -
Demostracin Tomemos x F implica por proposicin 3.2 que existe una sucesin
{ xn } F tal que xn x como F es completo y la sucesin est en F entonces { xn }
converge en F x F luego F F como la otra inclusin se cumple siempre
F = F y por lo tanto F es cerrado.
- 138 -
Topologa General Espacios Mtricos Completos - 139 -
y
2d 2 ( x, y ) d ( x, y ) d 2 ( x, y )
lo que equivale
(
B d2 ( x, ) B d ( x, ) B d2 x, 2 ) B d2 B d
Todas las mtricas son equivalentes
- 139 -
Topologa General Captulo 7 - 140 -
Demostracin
Si xn x para cada > 0 n1 tal que n n1 se cumple
d ( xn , x ) <
y que yn y para cada > 0 n2 tal que n n2 se cumple
d ( yn , y ) <
entonces si tomamos n0 = max {n1 , n2 } entonces n n0 se cumple:
d ( xn , y n ) d ( x , y )
d ( xn , y n ) d ( xn , y ) + d ( xn , y ) d ( x , y )
d ( yn , y ) + d ( xn , x ) <
1424 3 1 424 3
< <
2 2
luego ( xn , yn ) ( x, y )
- 140 -
Topologa General Espacios Mtricos Completos - 141 -
fn ( x ) f ( x ) F
Por otro lado si { f n } es de Cauchy implica que est acotado para todo n en particular
para n0
k > 0 tal que d ( f n0 ( x ) , f n0 ( y ) ) < k x, y E
entonces n, m n0
d ( f n ( x ) , f m ( y ) ) d ( f n ( x ) , f n0 ( x ) ) + d ( f n0 ( x ) , f n0 ( y ) ) + d ( f n0 ( y ) , f m ( y ) ) < k +
1442443 144 42444 3 144 42444 3
< <k <
2 2
Llamemos a k + = L y m, n n0 entonces
Tenemos que hemos demostrado que
x, y E d ( f n ( x ) , f m ( y ) ) < L
por el lema anterior pasamos al lmite
lim d ( f n ( x ) , f m ( y ) ) = d ( f ( x ) , f m ( y ) ) L
n
luego tenemos que
x, y E lim d ( f ( x ) , f m ( y ) ) = d ( f ( x ) , f ( y ) ) L
m
o sea que
x, y E d ( f ( x ) , f ( y ) ) L
lo que implica que f B ( E , F )
retomando el hecho de que { f n } es de Cauchy en ( B ( E , F ) , d ) y que esto implica
d ( f n ( x ) , f m ( x ) ) sup {d ( f n ( x ) , f m ( x ) ) : x E} = d ( f n , f m ) <
3
por el lema anterior pasando al lmite
lim d ( f n ( x ) , f m ( x ) ) = d ( f ( x ) , fm ( x ) ) <
n 3 2
por lo tanto
x E d ( f ( x ), fm ( x )) <
2
si dicha desigualdad se cumple para todo x de E entonces tambin se cumple para el
supremo
sup {d ( f ( x ) , f m ( x ) ) : x E} <
P 2
d ( fm , f ) <
luego f m f y se tiene que ( B ( E , F ) , d ) es completo.
- 141 -
Topologa General Captulo 7 - 142 -
Demostracin
Dado
x M = X { xn } M tal que xn x
Luego definimos X =M f% N
f% ( x ) = lim f ( xn )
xn x
- 142 -
Topologa General Espacios Mtricos Completos - 143 -
d ( f ( xn ) , f ( yn ) ) <
2
y por el lema 7.10 se tiene:
( xn x yn x
)
d lim f ( xn ) , lim f ( yn ) = lim n d ( f ( xn ) , f ( yn ) )
2
<
es decir que
(
d lim f ( xn ) , lim f ( yn ) < > 0
xn x yn x
)
luego
lim f ( xn ) = lim f ( yn )
xn x yn x
Si x, y X = M tal que d ( x, y ) < Sean { xn } ,{ yn } X tal que:
3
n1 tal que n n1 d ( xn , x ) <
xn x 3
yn y
n2 tal que n n2 d ( yn , x ) <
3
Sea n0 = max {n1 , n2 } entonces n n0 se cumple
d ( xn , yn ) d ( xn , x ) + d ( x , y ) + d ( y , yn ) <
otra vez por la continuidad uniforme
d ( f ( xn ) , f ( yn ) ) <
2
y por el lema 7.10
(n n n
)
d ( f% ( x ) , f% ( y ) ) = d lim f ( xn ) , lim f ( yn ) = lim d ( f ( xn ) , f ( yn ) ) <
2
luego
> 0 d ( f% ( x ) , f% ( y ) ) <
por lo tanto f% es uniformemente continua.
Si f es una inmersin isomtrica se tiene
d ( f% ( x ) , f% ( y ) ) = lim d ( f ( xn ) , f ( yn ) ) =
{ lim d ( xn , yn ) = d ( x, y )
n n
f inm. isom.
- 143 -
Topologa General Captulo 7 - 144 -
- 144 -
Topologa General Espacios Mtricos Completos - 145 -
( ) ( )
Por otro lado f% M = f% i ( M ) f% ( i ( M ) ) = ( f o i 1 ) ( i ( M ) ) = f ( M )
Luego
( )
f% M f ( M )
por ser f% una extensin de f tenemos f ( M ) f% M ( )
Tenemos
( )
f ( M ) f% M f ( M )
y por lo tanto
( )
f ( M ) f% M f ( M )
f ( M ) f% ( M ) f ( M )
es decir que
( )
f% M = f ( M )
m M
i1 i2
i1 i2
i1 ( m ) i2 ( m ) M 1 M 2
j j
- 146 -
Topologa General Espacios Mtricos Completos - 147 -
Demostracin
tomemos un xn Fn esto es posible por ser los Fn no vacos.
Que el dimetro tienda a cero implica que dado > 0 n0 tal que n n0 se
cumple que diamFn = sup {d ( x, y ) : x, y Fn } <
Ahora
m, n n0 xn Fn Fn0
d ( xn , xm ) < diam Fn0 <
xm Fm Fn0
luego
m, n n0 d ( xn , xm ) <
{ xn } es de Cauchy en M que es completo luego a M tal que xn a
Es decir que si tomamos B ( a, ) n0 tal que xn B ( a, ) entonces
B ( a, ) I Fn n n0
y si n < n0 Fn0 Fn
B ( a, ) I Fn B ( a, ) I Fn0
luego
B ( a, ) I Fn n a Fn =
{ Fn
cerrados
es decir {a} I Fn
n
d ( a, b ) diamFn <
para todo > 0 d ( a, b ) < d ( a, b ) = 0 a = b .luego existe un nico punto
a M que cumple la tesis.
Sea { xn } una sucesin de Cauchy en M.
Definimos Fn
Fn = { xk : k n} xn xn+1
Por ser la sucesin de Cauchy se cumple que > 0 n0 tal que m, n n0
se cumple que
- 147 -
Topologa General Captulo 7 - 148 -
d ( xn , xm ) <
3
Sea Fn con n n0 y tomemos dos puntos x, y Fn como x { xk : k n} entonces
por definicin de clausura para cualquier entorno del punto x tenemos puntos del
conjunto y en particular:
xl con l n n0 tal que d ( xl , x ) <
3
anlogamente para y Fn
xt t n n0 tal que d ( xt , y ) <
3
entonces aplicando desigualdad triangular
d ( x, y ) d ( x, xl ) + d ( xl , xt ) + d ( xt , y ) <
1424 3 1424 3 1424 3
< < <
3 3 3
por ser de Cauchy y n n0
- 148 -
Topologa General Espacios Mtricos Completos - 149 -
Demostracin
Sea x0 M definimos
x1 = f ( x0 )
x2 = f ( x1 ) = f 2 ( x0 )
M
xn = f ( xn1 ) = ... = f n ( x0 )
entonces
d ( x2 , x1 ) = d ( f ( x1 ) , f ( x0 ) ) c.d ( x1 , x0 )
d ( x3 , x2 ) = d ( f ( x2 ) , f ( x1 ) ) c.d ( x2 , x1 ) c 2 .d ( x1, x0 )
M por induccin
d ( xn +1 , xn ) = d ( f ( xn ) , f ( xn 1 ) ) c.d ( xn , xn 1 ) .... c n d ( x1 , x0 )
Sea m > n entonces
m 1
d ( xn , xm ) d ( xn , xn +1 ) + d ( xn +1 , xn + 2 ) + ... + d ( xm 1 , xm ) = d ( xi , xi +1 )
i =n
m 1 m 1
ci d ( x1 , x0 ) = d ( x1 , x0 ) ci
i=n i=n
Como c ( 0,1) ci < n0 tal que c i
<
i=1 i=n d ( x1 , x0 )
Luego si m, n n0 se tiene
m 1
d ( xn , xm ) d ( x1 , x0 ) ci d ( x1 , x0 ) ci < d ( x1 , x0 ) =
i=n i=n d ( x1 , x0 )
es decir que dado > 0 n0 tal que si n, m n0 entonces
d ( xn , xm ) <
as { xn } es de Cauchy y por se M completo a M tal que xn a y por ser f
continua.
f ( xn ) f ( a )
{
P por ser M T2 entonces f ( a ) = a
xn+1 a
luego a es punto fijo.
- 149 -
Topologa General Captulo 7 - 150 -
- 150 -
Topologa General Espacios Mtricos Completos - 151 -
Fn Fn A UF
n
n UF
n
n con Fn cerrado.
Observacin 7.2 Todo conjunto nunca denso es magro ya que lo podemos ver como
la unin de s mismo. Es decir es la unin numerable (un solo conjunto ) de
conjuntos nunca densos (l mismo). Pero no se cumple el recproco, por ejemplo los
racionales ya dijimos que es magro pero no es nunca denso.
Demostracin Sea B = ( A ) por lema 2.13 (a) B = ( AC ) por otro lado como
C o
o
B = A y A nunca denso A = ( B C ) = ( B ) = B = X B es
C o C
denso en X.
2) Si A es cerrado , y A nunca denso por 1) ( AC ) es denso ( A ) es denso
o C
- 151 -
Topologa General Captulo 7 - 152 -
B ( x2 , r1 ) U 1 I B1 B1
1 r1
Sea 2 = min ,
2 2 { } entonces B ( x2 , 2 ) B ( x2 , r1 )
{ }
1 r
Sea 3 = min , 2 B ( x3 , 3 ) B ( x3 , r2 )
3 2
Llamemos B3 = B ( x3 , 3 ) se tiene que:
B3 B ( x3 , r2 ) U 2 I B2 B2 B2
De esta forma tenemos { xn } , n tales que Bn = B ( xn , n ) con n < 1n y Bn B n1
cerrados no vacos y como U n es denso tenemos que existe xn+1 U n I Bn y por ser
U n y Bn abiertos U n I Bn es abierto rn > 0 tal que B ( xn+1 , rn ) U n I Bn
{ }
1 r
Sea n+1 = min , n B ( xn+1 , n+1 ) B ( xn+1 , rn ) U n I Bn
n 2
Llamemos Bn+1 = B ( xn+1 , n+1 ) se tiene que:
Bn+1 U n I Bn Bn Bn
obtenemos una sucesin de cerrados encajados no vacos cuyo dimetro cumple:
diamBn < 2n diamBn 0
entonces podemos aplicar el teorema de Cantor es decir que existe a M tal que
a I Bn
n
Entonces:
n a Bn+1 U n I Bn U n a I U n
n
a B1 I ( IU n )
a Bn+1 Bn ... B2 U 1 I B1 B1 a B1
Por lo tanto IU n es denso en M.
Una forma diferente de enunciar el teorema de Baire es el siguiente corolario
o
Corolario 7.22 Sea M un espacio mtrico completo y F es magro entonces F es
vaco.
- 152 -
Topologa General Espacios Mtricos Completos - 153 -
o
Demostracin F magro si F U Dn con Dn cerrado y Dn = ver observacin 7.1
o
Sea D = U Dn afirmamos que D = ya que
D C = ( U Dn ) = I DnC
C
como Dn es cerrado DnC es abierto, por la proposicin 7.20 por ser Dn nunca
denso entonces ( DnC ) es denso DnC es denso, por el teorema de Baire, al ser M
o
o o
{ Fn = n nunca denso
Demostracin Si no fuera as se tendra que Fn =
cerrado
o
lo que quiere decir que M es magro y por corolario 7.23 M =
Observacin 7.3 El teorema de Baire como alguno de sus corolarios siguen siendo
verdaderos si sustituimos la hiptesis de espacio mtrico por la de espacio
topolgico homeomorfo a un espacio mtrico completo.
- 153 -
Topologa General Captulo 7 - 154 -
Con esta terminologa y con el corolario 7.22 podemos enunciar el teorema de Baire
como sigue.
Observacin 7.4 La terminologa usada por el propio Baire era, a los espacios de
Baire se les llamaba espacios de primera categora y se deca que otro espacio que
no fuera de Baire, de segunda categora
cerrado
funcin:
: A M
1
a a,
f (a)
(
es decir ( a ) = a, 1
f (a) ) est bien definida por ser f ( a ) > 0 y es continua ya que:
1 o ( a ) = a es continua
2 o (a) = 1 que tambien es continua
f (a)
adems Im {( x, r ) M : f ( x ) r = 1} y
Sea ( x, r ) M tal que f ( x ) r = 1 f ( x ) 0 entonces existe x A tal que
- 154 -
Topologa General Espacios Mtricos Completos - 155 -
1
r= y luego ( x, r ) = ( x )
f ( x)
implica que ( x, r ) Im luego:
Im = {( x, r ) M : f ( x ) r = 1}
ahora probaremos que este conjunto es cerrado.
Para ello sea {( xn , rn )}n Im una sucesin tal que ( xn , rn ) ( x, r )
Ahora como los ( xn , rn ) Im f ( xn ) rn = 1 y como f es continua f ( xn ) f ( x )
y por se rn r se tiene que
f ( xn ) rn f ( x ) r
luego ( x, r ) Im por lo tanto Im es cerrado en M que es completo luego
Im es completo.
Adems : A ( A ) es inyectiva por ser la primer coordenada inyectiva (es la
identidad). Entonces sobre su imagen es biyectiva y con inversa:
1 ( x, r ) = x
que es la proyeccin luego es continua.
As tenemos que es un homeomorfismo de A en Im que es un espacio mtrico
completo. La mtrico correspondiente es la inducida por M o sea:
d ( ( x1 , r1 ) , ( x2 , r2 ) ) = d M ( x1 , x2 ) + r1 r2
Ejemplo 7.11 Sea M un espacio mtrico completo con una cantidad numerable de
elementos entonces de acuerdo al teorema de Baire (corolario 7.22) debe tener un
punto aislado porque de lo contrario M sera magro y por lo tanto el interior de M
sera vaco y esto es absurdo. En realidad M debe tener infinitos puntos aislados
pues si x1 M es aislado (ya sabemos que hay uno) entonces M { x1} es cerrado
en M y por lo tanto completo (proposicin 7.7) luego existe un punto aislado
x2 M { x1} y as sucesivamente.
En particular todo subconjunto cerrado numerable del espacio euclidiano n posee
una infinidad de puntos aislados.
El teorema de Baire proporciona tambin una demostracin de que el conjunto de
los nmeros reales no es numerable, por ser un espacio mtrico completo sin puntos
aislados.
Ejemplo 7.12 El conjunto de cantor C es cerrado en [ 0,1] que es completo luego por
proposicin 7.7 es completo y como por la proposicin 4.7 todos sus puntos son de
acumulacin, es decir no tiene puntos aislados entonces como en el ejemplo anterior
no es numerable.
Adems C no es magro en s mismo, por corolario 7.23, ver ejemplo 7.10.
- 155 -
Topologa General Captulo 7 - 156 -
Ejemplo practico
- 156 -
Captulo 8
Espacios Compactos
Cuando un espacio topolgico posee una propiedad local, es natural considerar la
familia de los entornos (abiertos) donde se satisface dicha propiedad. Esta familia
constituye un recubrimiento del espacio, y en el estudio de la propiedad dada es, sin
duda, de gran ayuda saber que este recubrimiento puede ser reducido a uno finito.
La compacidad de un espacio nos proporciona siempre un recubrimiento finito
dentro de cualquier recubrimiento abierto del espacio, y ello permite, bajo ciertas
hiptesis, poder pasar de lo local a lo global ; es decir, poder obtener una
propiedad del espacio como consecuencia de resultados locales en un nmero finito
de puntos.
Por su naturaleza, los espacios compactos retienen muchas propiedades de los
conjuntos finitos. As, a modo de ejemplos, tenemos que toda funcin real continua
de un espacio compacto siempre alcanza su mximo y su mnimo, y que dos
subconjuntos compactos disjuntos en un espacio de Hausdrff pueden ser separados
por abiertos disjuntos.
- 158 -
Topologa General Espacios Compactos - 159 -
- 159 -
Topologa General Captulo 8 - 160 -
con F = {1 ,..., n }
es decir es el conjunto de los x para el cual existe un subcubrimiento finito
El conjunto S no es vaco ya que a S [ a, a ] = {a} que claramente es cubierto por
algn abierto por definicin de cubrimiento.
Adems S est acotada superiormente por b, luego existe extremo superior o
supremo que llamaremos c .Como c [ a, b ] U 0 tal que c U 0 como U0 es
abierto > 0 tal que ( c , c + ) U 0 por definicin de supremos s S tal
que
n
c < s c 1 ,..., n I tal que [ a, s ] UUi
i =1 s x U0
entonces
n
c c +
[ a , c ] UU U U
a c b
i 0
i =1
y por lo tanto c S .
Sabemos que c b :
Supongamos que c < b x tal que c{
< x < c{
+ entonces
xU0 <b
n
[ a , x ] UU U U x S y x > c
i 0
i =1
- 160 -
Topologa General Espacios Compactos - 161 -
- 161 -
Topologa General Captulo 8 - 162 -
n n
X = UU i U Y C Y UU i
i =1 i =1
entonces por la proposicin 8.1 Y es compacto
- 162 -
Topologa General Espacios Compactos - 163 -
K U ( n, n )
n
entonces tiene un subcubrimiento finito luego:
m
K U ( nk , nk )
k =1
m
sea m0 = max {nk : k = 1,..., m} K U ( nk , nk ) ( m0 , m0 )
k =1
- 163 -
Topologa General Captulo 8 - 164 -
Afirmacin 2 A , A M A B B M
Afirmacin 3 Si
A, B M
A I B M
A, B \
X = A I B U M 1 U ... U M n U N1 U ... U N m
y por el recproco de la afirmacin 1 A I B M
- 164 -
Topologa General Espacios Compactos - 165 -
como f ( X ) Y U U se tiene
I
X f 1 ( f ( X ) ) f 1 U U = U f 1 (U )
I I
y como f es continua los f (U ) son abiertos en X , { f 1 (U )}I es entonces un
1
i =1
i
4244 3
i =1
i
i =1
i
Ui
- 165 -
Topologa General Captulo 8 - 166 -
- 166 -
Topologa General Espacios Compactos - 167 -
x X \ U A con I
AA U
Entonces sea x X tal que x ( ) = x x
Como x X que es cubierto por
A U abierto tal que U A pero los
abiertos de A son elementos de la subbase S A x =
es decir U = P1 ( A) con A abierto de X
I en particular para = es decir que existe U = P1 ( A) con A abierto en
X y tal que x U x = x ( ) P (U ) = P ( P1 ( A ) ) = A X es decir
x A pero por definicin A A x U A
AA
- 167 -
Topologa General Captulo 8 - 168 -
[ a , b ] compacto
i =1
i i
IS
i =1
i n i I
es decir que siempre que tomemos una cantidad finita de ellos la interseccin es
distinta del vaco.
I [ x , + ) = [ m, + )
i =1
i
- 168 -
Topologa General Espacios Compactos - 169 -
UF
i =1
C
i =X
U i
F = I Fi = X C =
i =1 i =1
IU C
i = para algn n
i =1
y tomando otra vez complemento
C
n C n
IU i = UU i = X
i =1 i =1
es decir que los U1 ,...,U n son un subcubrimiento finito de X X es compacto.
- 169 -
Topologa General Captulo 8 - 170 -
Corolario 8.15 Sea X compacto y N1 entonces toda sucesin tiene una subsucesin
convergente.
- 170 -
Topologa General Espacios Compactos - 171 -
- 171 -
Topologa General Captulo 8 - 172 -
xk Ak pero xk Ak 1 xk Ak0 = UU i xk U i0 k k0
i =1
es decir que
x X U i0 N x , k0 tal que k k0 xk U i0
luego { xk } no tiene puntos de N1
aglomeracin lo que significa que no
tiene subsucesin convergente o sea no
X cto X sec. cto
es secuencialmente compacto lo que es
absurdo por hiptesis.
N2
Definicin 8.4 Un espacio topolgico X decimos que tiene la propiedad de Bolzano-
Weiestrass (B-W) si todo subconjunto infinito de X tiene un punto de acumulacin
- 172 -
Topologa General Espacios Compactos - 173 -
{ x, y} max { A1 , A 2 } An d ( x, y )
1
si x y { x, y} An
n
- 173 -
Topologa General Captulo 8 - 174 -
luego
UA
I
An
- 174 -
Topologa General Espacios Compactos - 175 -
N1 Espacios mtricos
X B-W X B-W
Que es un cubrimiento por abiertos de E que por ser compacto x1 ,..., xn tal que:
n
E U B xi , r (2xi )
( )
i =1
- 175 -
Topologa General Captulo 8 - 176 -
r ( xi0 )
d ( z , xi0 ) d ( z , x ) + d ( x, xi0 ) < + r ( xi0 )
2
luego se tiene que z B ( xi0 , r ( xi0 ) ) es decir que:
B ( x, ) B ( xi0 , r ( xi0 ) ) U ( x )
i0
B ( x, ) U ( x ) con ( xi0 ) I
i0
Demostracin Como F A F I AC =
adems como A es abierto AC es cerrado A
entonces los conjuntos F , AC como son cerrados
F
en un compacto son compactos y podemos
aplicar la proposicin 8.4 es decir existen
abiertos U ,V X disjuntos tales que F V
A U y F V
C
Pero si AC U U C A adems V I U =
ya que de no ser as
}
U abierto
z U U N z
Si z V I U
z V V I U
luego V I U = V U C A encontramos un abierto que contiene a F y su
clausura esta dentro del A como queramos.
Demostracin para demostrar la tesis tenemos que demostrar que dado un entorno
cualquiera del punto es posible encontrar un entorno del punto cerrado.
Dado N N x A abierto tal que x A N .Como { x} es cerrado por se X de
Hausdrff podemos tomar F = { x} y aplicar el lema anterior luego existe V abierto
tal que { x} = F V y V A entonces como
x V{ V V N x
abierto
- 177 -
Topologa General Captulo 8 - 178 -
123
cerrado
como f n ( x ) f n+1 ( x ) entonces:
f n ( x ) f ( x ) = f ( x ) f n ( x ) f ( x ) fn+1 ( x ) = f n+1 ( x ) f ( x )
luego si x Fn+1 x Fn Fn+1 Fn
Por la hiptesis de convergencia puntual (ii) x X n0 ( x ) tal que
f n ( x ) f ( x ) < n n0 ( x )
luego
x Fn n n0 ( x )
por lo tanto
I Fn =
n
es decir no hay un x que pertenezca a todos los Fn luego como estamos en un
espacio compacto { Fn } no puede tener la P.I.F
k
n1 ,..., nk tales que IF
j =1
nj =
IF
j =1
nj = Fn%0 = n n%0 Fn Fn%0 = Fn =
luego
n n%0 f n ( x ) f ( x ) < x X
luego por definicin converge uniformemente.
- 179 -
Topologa General Captulo 8 - 180 -
Demostracin Consideremos P0 ( t ) = 0 y
Pn+1 ( t ) = Pn ( t ) + 12 ( t Pn2 ( t ) ) n 1 si t [ 0,1]
Por induccin se demuestra que
0 Pn ( t ) t
Sea g : [0,1]
g ( x ) = x + 12 t x 2
Pn +1 t
Pn+1 ( t ) = Pn ( t ) + 12 ( t Pn2 ( t ) ) Pn ( t )
14243
0
Pn+1 ( t ) Pn ( t )
Al ser Pn creciente y Pn ( t ) t acotada superiormente entonces existe el lmite
puntual
lim Pn ( t ) = ( t )
n
tomando lmite en la siguiente igualdad
Pn+1 ( t ) = Pn ( t ) + 12 ( t Pn2 ( t ) )
( t ) = ( t ) + 12 ( t 2 ( t ) )
t 2 ( t ) = 0 como 0 es ( t ) = t que es continua entonces como
tenemos que Pn : [ 0,1] con Pn ( t ) Pn+1 ( t ) y tal que Pn ( t )
n
t luego por el
teorema de Dini
- 180 -
Topologa General Espacios Compactos - 181 -
lim Pn ( t ) t
n
Sea qn = L.Pn ( g ( x ) ) [ X ]
Ejemplo practico
- 181 -
Topologa General Captulo 8 - 182 -
X = U ( n, n + 1)
n
Tenemos que es localmente conexo ya que:
x X = U ( n, n + 1) m tal que x ( m, m + 1)
n
Sea C el conjunto de Cantor sabemos que es compacto por ser cerrado dentro de
[ 0,1] que es compacto. Por otro lado sabemos que no tiene ningn intervalo luego
los nicos conjuntos conexos son los conjuntos unipuntuales. En este ejemplo lo que
no se cumple es la hiptesis de localmente conexo porque las componentes conexas
(conjuntos unipuntuales ) no son abiertos ya que si fueran abiertos seran aislados y
sabemos que son de acumulacin y tenemos no numerables componentes conexas.
- 182 -
Captulo 9
Espacio Cociente
Modelos geomtricos sencillos como el cono, el cilindro o la pirmide son
habitualmente construidos pegando partes de una pieza plana de papel de acuerdo
con ciertas reglas. Esta operacin es un ejemplo muy simple de la nocin de objeto
cociente en matemtica. Habitualmente ste viene definido por una relacin de
equivalencia sobre el conjunto subyacente al objeto dado, compatible, en cierto
sentido, con su estructura.
- 184 -
Topologa General Espacio Cociente - 185 -
Definicin 9.5 Dada una relacin de equivalencia, decimos que es una relacin
abierta (cerrada) si la proyeccin cannica es abierta (cerrada) .
Ejemplo 9.1
Sea X = y la relacin x : y x y
Sea B abierto entonces 1 ( ( B ) ) = { x : x : b para algn b B} lo que
podemos escribir:
1 ( ( B ) ) = {b + n : n , b B} = U B + n
n
- 185 -
Topologa General Captulo 9 - 186 -
{ 1
n }
: n 2 1 ( ( B ) )
Ejemplo 9.2
x=y
Sea X = , x : y o
x, y
Si B tenemos que:
B si B I =
sat ( B ) = 1 ( ( B ) ) =
B U si B I
- 186 -
Topologa General Espacio Cociente - 187 -
-1 0 1 2 3 4 -1 0 2 3 4
1
Vn N ( 0) Vn entonces (Vn ) = Vn
Al ser continua y Vn abierto 1 (Vn ) es abierto y 1 (Vn ) entonces
n an 1 (Vn ) tal que n < an < n + 1
y sea
B = {an : n }
C
- 187 -
Topologa General Captulo 9 - 188 -
Demostracin
Si f es continua como es continua entonces X f o Y
f o es continua.
Si f o es continua sea U Y abierto f
entonces:
1 ( f 1 (U ) ) = ( f o ) (U ) es abierto
1 X :
pero si
1 ( f 1 (U ) ) es abierto f 1 (U ) es abierto en X
f es continua
Demostracin X f Y
Si existe f% debe cumplir:
f% ([ x ]~ ) = ( f% o ) ( x ) = f ( x ) f%
como [ x ]~ = [ y ]~ f ( x ) = f ( y ) o sea:
X :
f% ([ x ]~ ) = f ( x )
esta bien definida adems f% es continua ya que
f% o = f es continua y Im f = Im f% porque es sobre.
Ejemplo 9.3 Sea I = [ 0,1] , ~ una relacin de equivalencia en I definida como sigue:
x= y
x: y 0
{ x, y} = {0,1}
vamos a probar que I : es homeomorfo a S 1 = { z : z = 1}
Sea : [ 0,1] S 1 por ( t ) = e 2 it se tiene que:
( t ) = ( s ) e2 it = e2 is t s
- 188 -
Topologa General Espacio Cociente - 189 -
t=s
o t :s
{t , s} = {0,1}
entonces por el teorema anterior existe % continua tal
que: X Y
% o )( t ) = ( t )
(1424 3 %
P
% ([t ]) = ( t )
I :
y como
% ([t ]) = % ([ s ]) ( t ) = ( s ) t : s [t ] = [ s ]
luego % es inyectiva y por ser sobre { % es sobre % es biyectiva.
Im = Im %
Por ser entonces% continua , biyectiva y ser [ 0,1] compacto entonces % : [ 0,1] S 1
es un homeomorfismo por proposicin 8.9 ya que S 1 es Hausdrff .
Definimos : n ( S 1 n
) como ( x1 ,..., xn ) = ( e 2 ix1 ,..., e 2 ixn ) entonces:
( x ) = ( y ) x : y entonces existe % : n : ( S 1 )
n
Como |[0,1]n es sobre
(S )
1 n
entonces % es sobre y al ser [ 0,1] compacto [0,1]n es compacto
(
[ 0,1]
n
)= n
: es compacto y por lo tanto como en el ejemplo anterior % es
un homeomorfismo.
- 189 -
Topologa General Captulo 9 - 190 -
( x, y ) : ( x, y )
( x, y ) : ( x, y ) ( 12 , y ) : ( 12 , y )
( y, 1 ) : ( y, 1 )
2 2
:1
i
x :1
1 1
Entonces ( x ) = ( y ) x= y despejando:
x y
x
x= yx: y
y
Si
- 190 -
Topologa General Espacio Cociente - 191 -
x : y x = y ( x) = y =
y :1
1 1
. y y = 1 y y = ( y )
:1 :1
( x ) = ( y ) x : y
% : PR S es inyectiva y continua y sobre . PR n es adems compacto
n n
- 191 -
Por cualquier comentario
sobre este material por favor
comunicarlo a Ramn Sellanes
por correo electrnico.
proferamon@adinet.com.uy
-v-
Indice
Captulo 0
Relacin de Orden...................................................................................... 7
Orden total.................................................................................................. 8
Cadena........................................................................................................ 9
Lema de Zorn............................................................................................. 9
Axioma de Eleccin................................................................................... 10
Cardinal...................................................................................................... 11
Teorema de Cantor..................................................................................... 13
Conjunto finito........................................................................................... 14
Conjunto Numerable.................................................................................. 14
Captulo 1
Distancia mtrica....................................................................................... 29
Norma........................................................................................................ 31
Bola Abierta............................................................................................... 33
Mtrica Relativa......................................................................................... 35
Conjunto Abierto........................................................................................ 35
Conjunto Cerrado....................................................................................... 38
Mtricas Equivalentes................................................................................ 39
Captulo 2
Espacios Topolgicos................................................................................. 43
Metrizable................................................................................................... 44
Entorno........................................................................................................ 45
Interior......................................................................................................... 47
T0.................................................................................................................. 49
T1................................................................................................................ 50
T2 o Hausdrff............................................................................................ 51
Clausura...................................................................................................... 52
Punto de Acumulacin................................................................................ 57
Punto Aislado.............................................................................................. 57
- vi -
Frontera........................................................................................................ 57
Conjunto Denso........................................................................................... 58
Conjunto Separable...................................................................................... 58
Base.............................................................................................................. 60
Sub-base....................................................................................................... 62
N2................................................................................................................. 63
Cubrimiento................................................................................................. 65
Subcubrimiento........................................................................................... 65
Espacio de Lindelff................................................................................... 65
Base Local................................................................................................... 69
N1................................................................................................................. 70
Captulo 3
Sucesin Convergente................................................................................ 75
Conjunto Dirigido...................................................................................... 77
Red............................................................................................................. 78
Punto de Acumulacin.............................................................................. 81
Continuidad............................................................................................... 83
Continuidad Uniforme............................................................................... 88
Homeomorfismo........................................................................................ 90
Funcin Abierta......................................................................................... 90
Funcin Acotada.......................................................................................... 91
Captulo 4
Conjunto de Cantor..................................................................................... 95
Captulo 5
Topologa Producto..................................................................................... 103
Proyeccin Cannica................................................................................... 103
Captulo 6
Espacio Conexo........................................................................................... 113
Teorema de Bolzano.................................................................................... 116
- vii -
Conexo en Espacios Normados................................................................... 118
Conectados................................................................................................... 122
Componente Conexa.................................................................................... 122
Localmente Conexo..................................................................................... 124
Camino......................................................................................................... 127
Localmente Conexo por Camino................................................................. 131
Captulo 7
Sucesin de Cauchy..................................................................................... 135
Espacio Mtrico Completo.......................................................................... 137
Completacin............................................................................................... 144
Teorema de Cantor...................................................................................... 147
Contraccin y punto fijo.............................................................................. 148
Magro........................................................................................................... 150
Captulo 8
Espacio Topolgico Compacto.................................................................... 157
Teorema de Heire-Borel.............................................................................. 159
Lema de Alexander...................................................................................... 163
Teorema de Tychonoff................................................................................ 166
PIF............................................................................................................... 168
Espacio Secuencialmente Compacto........................................................... 170
Espacio de Bolzano-Weiestrass................................................................... 172
Captulo 9
Topologa Final............................................................................................ 183
Topologa Cociente...................................................................................... 184
Conjunto Saturado....................................................................................... 184
Relacin de Equivalencia Abierta (Cerrada)............................................... 185
Propiedad Universal del Cociente............................................................... 188
Cinta de Mbius........................................................................................... 190
- viii -
ndice alfabtico
Adherente 52 Distancia 29
Aplicacin cociente 183 Distancia discreta 30
Axioma de eleccin 10 Elemento maximal 8
Base 60 Entorno 45
Base local 69 Equipotente 11
Bola abierta 33 Espacio cociente 183
Botella de Klein 190 Espacio de convergencia uniforme 91
Cadena 9 Espacio discreto 34
Camino 127 Espacio mtrico 29
Cardinal 11 Espacio mtrico completo 137
Cardinal del conjunto potencia 27 Espacio proyectivo real 190
Cilindro 189 Espacio topolgico compacto 157
Cinta de Mbius 190 Espacio topolgico de Baire 153
Clase de equivalencia 6 Espacio vectorial normado 31
Clausura 52 Espacios conexos 113
Cofinito 44 Espacios homeomorfos 90
Complementos finitos 44 Espacios isomtricos 88
Completacin 144 Espacios Topolgicos 43
Componente conexa 122 Extensin continua 142
Componente conexa por camino 129 Familia indexada de conjuntos 5
Conectado por camino 127 Frontera 57
Conectados 122 Funcin abierta 90
Conjunto abierto 35 Funcin cerrada 90
Conjunto cerrado 38 Funcin cofinal 81
Conjunto compacto 157 Funcin continua 83
Conjunto conexo 113 Funcin distancia 89
Conjunto convexo 118 Funcin Indexada 5
Conjunto de Cantor 95 Funcin uniformemente continua 88
Conjunto de ndices 5 Hausdrff 51
Conjunto de partes finitas 22 Homeomorfismo 90
Conjunto denso 58 Inductivo 15
Conjunto dirigido 77 Inmersin 88
Conjunto finito 14 Interior 47
Conjunto numerable 14 Isometra 88
Conjunto ordenado 8 Lema de Alexander 163
Conjunto saturado 184 Lema de Zorhn 9
Conjunto totalmente ordenado 8 Lindelff 65
Contraccin 148 Localmente compacto 176
Convergencia puntual 93 Localmente conexo 124
Convergencia uniforme 91 Localmente conexo por camino 131
Cota superior 8 Magro 150
Cubrimiento por abiertos 65 Mximo 8
Disconexo 113 Mtrica relativa 35
Mtricas equivalentes 39 Teorema de Cantor 147
Metrizable 44 Teorema de Cantor-Bernstein 13
N1 70 Teorema de Dini 179
N2 63 Teorema de Heire-Borel 159
Norma 31 Teorema de Tijonov 166
Nmero de Lebesgue 175 Teorema de unicidad de convergencia 81
Nunca denso 150 To 49
Particin 7 Topologa discreta 44
Primer axioma de numerabilidad 70 Topologa final 183
Principio del buen orden 15 Topologa indiscreta 44
Producto cartesiano 10 Topologa ms fina 62
Producto cartesiano 103 Topologa Producto 103
Propiedad Bolzano-Weiestrass 172 Topologa relativa 45
Propiedad de interseccin finita 168 Toro 189
Propiedad universal del cociente 188 Unin de numerables 18
Proyeccin cannica 103
Punto aislado 57
Punto de acumulacin 57
Punto de aglomeracin 81
Punto fijo 148
Punto interior 47
Red 78
Red convergente 78
Relacin 6
Relacin abierta 185
Relacin cerrada 185
Relacin de equivalencia 6
Relacin de orden parcial 7
Relacin de orden total 8
Secuencialmente compacto 170
Segundo axioma de numerabilidad 63
Separable 58
Seudo distancia 29
Subcubrimiento 65
Subred 82
Subsucesin 75
Sucesin 75
Sucesin convergente 75
Sucesin de Cauchy 135
T1 50
T2 51
Teorema de Baire 151
Teorema de Bolzano 116
Teorema de cantor 13