Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Topologia General PDF
Topologia General PDF
Topologa General
Captulo 0
-2-
-2-
Topologa General
Captulo 0
-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
que se lee como la familia de todos los A cuando recorre J. En ocasiones
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
= { x : al menos para un J , x A }
IA
= { x : para todo J , x A }
Topologa General
Captulo 0
-6-
Leyes de Morgan
(U A )
(I A )
= I AC
= U AC
[ x ]: = {a A : a : x}
Observacin 1 x [ x ]: ya que x : x es decir las clases de equivalencia son no
vacas
Propiedad Las clases de equivalencia tienen las siguientes propiedades:
i) Dos clases de equivalencia o son disjuntas o son iguales.
Demostracin: Sean E y E dos clases de equivalencia definidas por x y x
respectivamente entonces si no son disjuntas eso quiere decir que existe un elemento
en comn
yE y : x
y A / y E I E
x : x
y E y : x
Entonces
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.
Definicin 0.5 Una particin de un conjunto A es una familia de subconjuntos
disjuntos no vacos de A cuya unin es todo A
Definicin 0.6 Dada una relacin de equivalencia en un conjunto A llamamos
espacio cociente al conjunto formado por todas las clases de equivalencia. Y
anotamos A
:
A = {[ x ] : x A}
:
:
Definicin 0.7 Una relacin en un conjunto A se denomina relacin de orden
(parcial) si verifica las siguientes propiedades:
i) Reflexiva
ii) Antisimtrica
iii) Transitiva
xx
x A
x y
x = y x , y A
y x
x y
x z x, y , z A
y z
-7-
Topologa General
Captulo 0
-8-
P(A) = { X : X A}
X Y si X Y X , Y P(A)
verifica las tres propiedades, por lo que es una relacin de orden.
Definicin 0.8 Dado un conjunto A y una relacin de orden en A se dice que la
pareja ( A, ) es un conjunto ordenado.
Definicin 0.9 Si ( A, ) es un conjunto ordenado y consideramos un subconjunto
S A , definimos:
i) a A es cota superior (inferior) de S
si x a x S
(a x x S )
ii) m A es mximo si es cota superior y pertenece a S
Definicin 0.10 Si ( A, ) es un conjunto ordenado y S un subconjunto de A decimos
que m es un elemento maximal si se cumple:
si x S y m x m = x
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
Topologa General
Captulo 0
-9-
M 0 = max {a1 , M }
es el mximo de A
Definicin 0.12 Si ( A, ) es un conjunto ordenado llamamos cadena a un
subconjunto C de A tal que (C , ) es totalmente ordenado.
Lema 0.1 ( Lema de Zorn ) Sea ( A, ) un conjunto ordenado en el que toda
cadena tiene una cota superior, entonces A tiene un elemento maximal.
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
Topologa General
Captulo 0
- 10 -
{A
,..., A n } es
{ x1 ,..., xn } A y A es L.i.
{ x1 ,..., xn } es L.i. A es L.i.
0
A a:
A = { f : I UA
conjuntos y anotamos
: f ( ) A I }
Esto es equivalente a decir que dada una familia de conjuntos no vacos podemos
elegir un elemento de cado conjunto ( en forma simultnea).
Una cuestin bsica sobre un conjunto es conocer la cantidad de elementos, sin
grandes conocimientos matemticos para saber la cantidad de elementos de un
conjunto lo que hacemos es contarlos, pero que significa esto, a cada elemento le
estamos asociando un nmero con el cuidado de no repetir elementos y para
asegurarnos de no repetir nmeros le asociamos el 1, 2, ....,n en ese orden entonces
lo que establecemos es una funcin inyectiva (no repetimos elementos) y
sobreyectiva (no dejamos ningn elemento sin su correspondiente). Es decir:
- 10 -
Topologa General
Captulo 0
- 11 -
Topologa General
Captulo 0
- 12 -
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 ) =
si b Im f
a0
Que es sobre.
Dada g : B A sobreyectiva
Entonces { g 1 ( a ) : a A} establece una particin en B ya que:
Ug
a A
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.
Demostracin
x f ( x ) P ( X )
Consideremos:
B = { x X : x f ( x )}
- 13 -
h
X
iA
iB
A
Topologa General
Captulo 0
- 14 -
conjunto C = A f ( X ) ( C U f ( X ) = A ) y el conjunto S = C U ( U i1 f i ( X ) )
con f n la composicin de f consigo misma n veces.
f ( S ) = f C U ( U i 1 f i ( C ) ) = f ( C ) U i 2 f i ( C ) = U i 1 f i ( C )
Topologa General
Captulo 0
+ =
- 15 A
AA
- 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.
Proposicin 0.8 Dado un conjunto A no vaco, es numerable si y solo s:
1) Existe una funcin : A inyectiva o
2) Existe una funcin : A sobreyectiva.
Demostracin: Sea A numerable entonces puede suceder que A sea
i) infinito Card ( A ) = Card ( ) : A biyectiva y por lo tanto inyectiva.
ii) finito hay una biyeccin 0 entre A y {1,..., n} entonces definimos:
: A tal que:
( a ) = 0 ( a ) es inyectiva
Supongamos ahora que existe una funcin inyectiva : A lo que significa
que : A ( A ) es una biyeccin , y entonces Card ( A ) = Card ( ( A ) ) pero
como ( A ) ( A ) es numerable por proposicin anterior.
Entonces si ( A ) es infinito Card ( ( A ) ) = Card ( ) por definicin y por
transitiva Card ( A ) = Card ( ) por definicin A es numerable.
Si ( A ) es finito n tal que Card ( ( A ) ) = n por definicin y por transitiva
Card ( A) = n por definicin A es numerable.
Topologa General
Captulo 0
- 17 -
sobreyectiva entonces
es inyectiva.
Corolario 0.14 Sean A1 ,..., An conjuntos numerable A1 A2 ... An es numerable
Demostracin Para cada i = 1,..., n el que Ai sea numerable i : Ai
inyectiva. Entonces si definimos:
: A1 ... An ...
por
( a1 ,..., an ) = (1 ( a1 ) ,..., n ( an ) )
queda naturalmente inyectiva.
Y por lo tanto existe la funcin o : A1 ... An inyectiva lo que implica que
A1 ... An es numerable.
- 17 -
Topologa General
Captulo 0
- 18 -
UA
es numerable.
iI
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 = i0 ( n ) = ( m ) ( n ) = J ( m, n )
numerable.
Ejemplo 0.5 es numerable
Sea I = {( m, n ) : con m , n {0}} que es numerable por ser un
subconjunto de uno numerable, entonces como:
m
= U
( m , n )I n
es numerable
Ejemplo 0.6 Todo conjunto infinito tiene un subconjunto infinito numerable.
Demostracin Sea A un conjunto infinito. Sea x0 A, entonces A x0 es infinito,
entonces existe x1 A tal que x1 x0 y entonces como A { x1 , x0 } es infinito, existe
x2 A tal que x2 xi con i = 0,1 .
En general, definimos { x0 , x1,..., xk } y tenemos que A { x0 , x1,..., xk } es infinito as
que existe xk +1 A tal que xk +1 xi con i = 0,1,..., k . Entonces la funcin f : A
dada por f ( i ) = { xi } es una biyeccin entre y { x0 , x1 ,..., xn ,...} A por tanto
dicho subconjunto de A es numerable que es al conjunto infinito numerable que
buscbamos.
- 18 -
Topologa General
Captulo 0
- 19 -
g
b
b
C
U
B
0( )
entonces g es inyectiva, y por tanto Card ( A U B ) Card ( A) luego son iguales y los
conjuntos son coordinables.
Ejemplo 0.8 Sea n un entero positivo. Sean A un conjunto y a0 un elemento de A.
Entonces Card ( A ) = n + 1 Card ( A {a0 }) = n
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} .
Topologa General
Captulo 0
- 21 -
A son coordinables
2) Que C sea finito . Si C es finito entonces A = C U B por ser unin de dos
numerables es numerable Card ( A ) = Card ( ) = Card ( B ) es decir que A es
coordinable con el conjunto B A
Topologa General
Captulo 0
- 22 -
entonces
Topologa General
Captulo 0
- 23 -
es numerable.
Corolario 0.18 Las partes infinitas de los naturales es no numerable
P ( ) = { A : A es infinito}
Demostracin Si fuera numerable como:
P ( ) = PF ( ) U P ( ) sera numerable
Y ya vimos que es no numerable.
De la anterior proposicin se desprende que el cardinal de las partes infinitas de los
naturales (conjunto potencia de los naturales ) no es igual al de los naturales y lo que
demostraremos a continuacin es que dicho cardinal es igual al cardinal de los
nmeros reales.
Pero con dicho propsito antes demostraremos algunos teoremas previos. El primero
de ellos hace referencia a la posibilidad de escribir cualquier nmero real entre 0 y 1
como una serie. Dependiendo de una sucesin de ceros y unos (notacin binaria del
real en cuestin)
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.
1
1
5 0 + 22 + 0 + 24
=
16 0 + 212 + 0 + 0 + 215 + 216 + ... + 21n + ...
Hay dos formas de elegir la sucesin
0,1, 0,1,0, 0, 0, 0,....
pero una de ellas es finita. Es decir:
{ak } =
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 n0
6
474
8
{ak } = ...........1, 0, 0, 0, 0.....
ak = 0 k > n0 y bk = 1 k > n0
o
b = 0 k > n y a = 1 k > n
k
0
k
0
{bk } = ...........0,1,1,1,1,1,.....
o
n0
6
474
8
{ak } = ...........0,1,1,1,1,1,....
{bk } = ............1,0,0,0,0,....
Demostracin Si 0 < t < 12 se define a1 = 0
Si 12 t 1 se define a1 = 1
En ambos caso se verifica:
a 1
0t 1
2 2
ahora definimos a2
0 si 0 t a1 < 1
2 4
a2 =
1 si 1 t a1 1
4
2 2
entonces en ambos casos:
a a
1
0 t 1 22 2
2 2
2
Y as sucesivamente tenemos a1 , a2 ,..., an {0,1} tales que:
n
a
1
0 t kk n
2
k =1 2
se define an+1 como:
n
1
ak
0
si
0
< n+1
2
k =1 2
an+1 =
n
1 si 1 t ak 1
2 n+1
2n
k =1 2
en ambos casos:
n +1
ak
1
n +1
k
2
k =1 2
{
0t
por lo tanto
n +1
ak
a
t k 0 t = kk
k =1 2
k =1 2
- 24 -
Topologa General
Captulo 0
- 25 -
ak
bk
=
= t entonces tenemos que probar que existe
k
k
k =1 2
k =1 2
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
a1
Sea
P
b1
a2
P
b2
=1
}
....... an0 .....
,
....... bn0 .....
{
=0
Tenemos que:
n0 1
=0
}
bn0
bk
bk
b
= k + n0 + kk =
k
2
k =1 2
k =1 2
k = n0 +1 2
bk 1
1
ak
bk } n0 1 ak
= k + k k + k
k =1 2
k = n0 +1 2 (1) k =1 2
k = n0 +1 2
n0 1
n0 1
n0
1
ak
ak
ak
+
=
n0
k
k k
2
2
2
=
1
=
1
k =1 2
k
k
(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 -
a
t = kk
k =1 2
Siempre hay una ya que si hay una finita tal que:
n
a
t = kk , an = 1
k =1 2
definimos
b = ak k < n
b
t = kk donde k
bn = 0 , bk = 1 k > n
k =1 2
definimos:
( t ) = {k : ak = 1} P ( )
Por ejemplo:
5
1
1
=0+ 2 +0+ 4
16
2
2
( t ) = {2,5,6,7,8,.....}
5
1
1 1
1 1 1 1
= 0 + 2 + 0 + 0 + 5 + 6 + ... = + k = + 4
16
2
2 2
4 k =5 2
4 2
es inyectiva ya que si ( t ) = ( s ) sea {ak } tal que:
ak = 1 si k ( t )
a
t = kk = s
ak = 0 si k ( t )
k =1 2
adems es sobreyectiva ya que si A P ( ) sea {ak } tal que:
ak = 1 si k A
a
y sea t = kk
ak = 0 si k A
k =1 2
a
1 1
Como los ak son infinitos ak 1 k kk k = 2 = 1 es decir que
1
k =1 2
k =1 2
2
la serie converge en (0,1] t ( 0,1] A = ( t ) .
- 26 -
Topologa General
Captulo 0
- 27 -
y
Card ( ) = Card (P ( ) )
Ejemplo practico
Sea la familia de intervalos de extremos racionales F
F = {[ a, b ] : a, b }
Definimos la funcin : F de la siguiente manera:
([ 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
n
2
d 2 ( x, y ) = ( xi yi )
i =1
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 ) }
- 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.
sobre el
Definicin 1.3 Sea V un espacio vectorial sobre K ( o ) una norma
espacio vectorial es una funcin
:V que cumple con las siguientes
propiedades:
1) x 0 x V y x = 0 x 0
2) x = x K , y x V
3) x + y x + y x, y V
Definicin 1.4 Tenemos un espacio vectorial normado cuando sobre el espacio
vectorial tenemos definida una norma.
Ejemplo 1.6
El producto interno
x 1 = xi
i =1
2)
n
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:
Tales que
< (convergen)
x = { xn } l1
y = { yn } l1
como
( x + y ) n = xn + yn
( x ) n = xn
y
est bien definida
Y se define
que es una norma en l1
+ yn x n + y n <
<
x = xn
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
x = { xn } l
y = { yn } l
Definimos
Espacios Mtricos
- 33 -
( x + y ) n = xn + yn
( x )n = xn
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.
Definicin 1.6 Sea ( E , d ) un espacio mtrico, x E , > 0 llamamos bola abierta
de centro x y radio al siguiente conjunto:
B ( x ) = { y E : d ( x, y ) < }
Que tambin anotamos B ( x, )
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.
Proposicin 1.1 Dado una espacio mtrico ( E , d ) , x E , > 0 ,sea la bola B ( x, ) .
Si y B ( x, ) entonces :
> 0 tal que B ( y, ) B ( x, )
Demostracin
Sea d ( x, y ) entonces
Si z B ( y, ) d ( x, z ) d ( x, y ) + d ( y, z )
123
<
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 -
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 )
si
f A
tomando
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 -
f (0)
>0
2
Topologa General
o sea
Captulo 1
- 36 -
< 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
Proposicin 1.3 Sea ( E , d ) un espacio mtrico entonces se cumplen las siguientes
propiedades:
1) E y son abiertos
2) Si { A }I es una familia de subconjuntos abiertos de E entonces:
U A es abierto
I
IA
k =1
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
es abierto
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.
Si A es abierto si x A B ( x, x ) A y nos tomamos:
U B ( x,
xA
) A
adems como si x A x B ( x, x ) x U B ( x, x )
x A
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
A = U ( B ( x , ) I F ) = U B E ( x , ) I F
I
I
14
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
en F.
Ejemplo 1.14
Sea E = con la mtrica habitual
y F = [0,1) U ( 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
2,3) I F
( 2,3) = ({
abierto en E
A = U B d1 ( x, x )
xA
entonces
U B d2 B ( x, x ) U B d1 ( x, x ) = A
x A
xA
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
B d 2 ( x, )
B d1 ( 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 <
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
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 -
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 12 , n + 12 ) I
{n} = (14
4244
3
abierto en
Entonces los abiertos con d1 son todos los subconjuntos de , y con d 2 tambin.
Por la tanto d1 , y d 2 son mtricas equivalentes.
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
2
2
d 2 [( e, f ) , ( e, f )] = ( d E ( e, e ) ) + ( d F ( f , f ) ) 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 <
cada una es menor que y
Bd2 ( e, f ) Bd ( e, f )
ya que si:
B d1
B d
1
( d E ( e, e ) ) 2 + ( d F ( f , f ) ) 2 2 <
2
2
( d E ( e, e ) ) + ( d F ( f , f ) ) < 2
( d E ( e, e ) )2 < 2 d E ( e, e ) <
cada uno es menor que
2
2
( d F ( f , f ) ) < d F ( f , f ) <
O sea que si x Bd2 x Bd
2
B d1
2
B d
Bd ( e, f ) Bd2 ( e, f ) ya que:
2
2
1
2
2
2
d E ( e, e ) ) + ( d F ( f , f ) ) < ( 2 ) 2 =
(14243
14
4244
3
dF ( f , f ) <
2
2
<
<
2
2
2
Entonces d1 , y d son equivalentes
y d 2 , y d son equivalentes y por definicin es transitiva d1 , y d 2 son
equivalentes.
d E ( e, e ) <
- 41 -
Topologa General
Captulo 1
- 42 -
Ejemplo 1.19
Sean ( Ei , di ) espacios mtricos i = 1,..., n y d1 , d 2 y d las mtricas en
E
i =1
Dadas por :
n
d1 [( e1,..., en ) , ( e1,..., en )] = di ( ei , ei )
i =1
2
2
n
d 2 [( e1 ,..., en ) , ( e1,..., en )] = ( di ( ei , ei ) )
i =1
- 42 -
d1 y d son equivalentes
d 2 y d son equivalentes
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.
Definicin 2.1 Sea X un conjunto no vaco. Una topologa en X es una familia
incluida en las partes de X
es decir P ( X ) tal que:
1) X ,
2) Si { A }I U A
I
n
3) Si A1 ,..., An I Ai
i =1
Topologa General
Captulo 2
- 44 -
C
C
U A = I A es finito por cada A es finito
I
I
entonces:
3) Sean A1 ,..., An entonces:
UA
n
n
C
A
=
I i U Ai
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
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
= { } U { A : 0 A}
U (U
IY ) =
U U
1
I
424
3
I Y Y
Topologa General
Captulo 2
- 46 -
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
C
C
entonces N C U
{ N es finito N es decir:
finito
N x = {U : x U }
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
pero como x U x U x x U U x U
xU
U=
y como U x
UU
xU
UU
xU
x
UU
xU
Topologa General
Captulo 2
- 48 -
Ao A
Proposicin 2.2 Dado ( X , ) espacio topolgico y A, B X dos conjuntos con
A B entonces:
Ao B o
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
Proposicin 2.3 Sea ( X , ) en espacio topolgico A X Entonces si A es abierto
se tiene que A = Ao .
Demostracin Por definicin sabemos que se cumple Ao A . Para probar la otra
inclusin
Si x A como A es abierto, es entorno de todos sus puntos es decir A N x lo que
implica por definicin que x Ao luego
A Ao
y se da la igualdad.
Proposicin 2.4 Sea ( X , ) en espacio topolgico A X Entonces Ao es el mayor
abierto contenido en A.
Demostracin Primero probaremos que Ao es abierto, para ello probaremos que es
entorno de todos sus puntos.
Sea x Ao por definicin A N x U tal que:
x U A
Pero esto no alcanza trataremos de ver que U Ao y para ello:
Si y U y U A A N y por definicin y Ao luego:
es decir que U tal que:
U Ao
- 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
Observacin 2.2 Uniendo las proposiciones 2.2 y 2.3 se tiene que:
A es abierto A = Ao
Ejemplo 2.12
Sea ( , ) = { A : 0 A} U { }
Dado A
A si 0 A
Ao =
si 0 A
Topologa General
Captulo 2
- 50 -
Demostracin
Si ( X , ) es un espacio topolgico T1 , x y entonces por definicin
N = { x} y como x y y
N N x
N N x
N N x tal que y N
- 50 -
Topologa General
Espacios Topolgicos
- 51 -
y x
N { x} =
N N x
N N x
N = {0, x} si x 0 no es T1
N N x
Ejemplo 2.16
Sea X con la topologa de complemento finito.
C
C
Dados dos puntos x y {y} N x e y { y} luego X es T1 .
Definicin 2.8 Dado el espacio topolgico ( X , ) decimos que es T2 (o de
Hausdorff ) si dados x y existen:
N N x , M N y tales que N I M =
N
M
x
y
Observacin 2.3 Todo espacio topolgico que es T2 T1
Claramente por definicin.
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:
C
X={
AC U B
{ X sera finito
finito
finito
Topologa General
Captulo 2
- 52 -
Demostracin
Si x y Sea <
1
d ( x, y )
2
Entonces :
B ( x, ) I B ( 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 )
A A
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
Ejemplo 2.20
Sea ( , ) donde = { A : 0 A} U { }
- 53 -
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
Sea y B ( x, ) d ( x, y ) >
luego
<
d ( x, y ) < d ( x, y )
O sea que:
B ( y , ) N y tal que B ( y , ) I B ( x, ) =? lo que significa que y B ( x, )
C
B ( x, ) B ( x, )
- 53 -
Topologa General
Captulo 2
- 54 -
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
I
I
- 54 -
Topologa General
Espacios Topolgicos
entonces.
IA
- 55 -
es cerrado
lo que significa si x y
N = { y}
N N y
N N y
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:
C
C
Dado x, y X con x y si { x} ,{ y} son cerrados { x} ,{ y} son abiertos
entonces como y x y { x} que por ser abierto es entorno de todos sus
puntos
C
C
{ x} N y y x { x}
anlogamente
C
C
C
como x y x { y} que por ser abierto { y} N x e y { y}
Luego por proposicin 2.6 ( X , ) es T1 .
C
( A)
Demostracin
Sea x ( A )
= ( AC )
por definicin
C
x A
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 )
Recprocamente:
Si x ( AC )
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)
Como queramos probar.
Anlogamente se prueba que
Lema 2.13 b)
(A )
o C
= ( AC )
( A)
= ( AC )
( A)
es abierto A es cerrado .
cerrado
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
Definicin 2.11 Sea ( X , ) un espacio topolgico, y A X decimos que x X es
un punto de acumulacin de A si y solo s:
N Nx A I ( N \ { x})
llamamos conjunto derivado al conjunto de puntos de acumulacin.
A = { x X : x es de acumulacin de A}
claramente por definicin
A A
Definicin 2.12 Si ( X , ) es un espacio topolgico, A X decimos que x X es
un punto aislado si no es punto de acumulacin.
Definicin 2.13 Si ( X , ) es un espacio topolgico, A X llamamos frontera de A
al conjunto A como:
A = A I AC
de la definicin sacamos que un punto x A si se cumplen:
- 57 -
Topologa General
Captulo 2
- 58 -
x A N N x N I A
C
C
x A N N x N I A
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
Definicin 2.14 Dado ( X , ) un espacio topolgico se dice que Y X es denso en X
si:
Y=X
Definicin 2.15 Dado ( X , ) un espacio topolgico se dice que X es separable si
tiene un subconjunto Y denso numerable
Y X tal que Y = X con Y es numerable.
Proposicin 2.16 Dado ( X , ) espacio topolgico, Y X es denso si y solo s:
Para cada U , U se cumple U I Y
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 -
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
Definicin 2.16 Dado ( X , ) espacio topolgico decimos que B es una base
de si todo abierto no vaco es unin de miembros de B.
Dicha definicin e equivalente a decir que B es base de la topologa si se cumplen:
1) B B B
2) Dado x U Bx B tal que x Bx U
La primer condicin es obvia y la segunda si se cumple tenemos:
Si U U = U Bx
xU
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
2) Si A, B B, x A I B C x B tal que
x Cx A I B
Demostracin
Si B es una base de , entonces como X es abierto implica de que es unin de
elementos de B
X=UA
AB
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 { }
B B
A I B = U A I U B = U ( A I B )
consideremos
x AI B
Cx
- 61 -
Topologa General
AI B
x AI B
Captulo 2
- 62 -
C x U ( A x I B x ) A I B
AI B =
x AI B
Cx A I B
U B UA
BB
X =
AS
UA
AS
2) Si A y B B
- 62 -
UA
AB
Topologa General
Espacios Topolgicos
- 63 -
U A= X
AS
C
I Bn = U Bn
n
n
C
pero como los Bn son abiertos Bn es finito y como la unin numerable de
numerables (finitos) es numerable
C
U B es numerable I Bn X
n
n
C
n
- 63 -
Topologa General
Captulo 2
- 64 -
C
{ x} = U Bnk pero tenemos x B n x
U Bnk
nk
k
{nk }
{nk }
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)
Pero en espacios mtricos s vale el recproco como veremos en la siguiente
proposicin.
Proposicin 2.22 Si ( E , d ) es un espacio mtrico separable, entonces es N2
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 -
2
<
d ( x, z ) d ( x, xnk ) + d ( xnk , z ) <
1
424
3 1
424
3 mx
<
<
mx
B ( x, )
mx
z B ( x, ) B ( xnk , 1 mx ) B ( x, ) A
B ( xnk , 1 mx )
xnk
z
x
A
x B ( xnk , 1 mx ) A o sea:
A = U B ( xnk , 1 mx )
xA
1 ,1 : n es un cubrimiento de X
2n
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
X = U Ai que es de Lindelff
i=0
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
UU
x X
luego:
X=
UU
x X
UU
xX
Topologa General
Espacios Topolgicos
- 67 -
decir:
x A0 =
{nk }
{nk }
Bnk es
UA
n I
- 67 -
1
m
y centro en
Topologa General
Captulo 2
- 68 -
entonces si x E x U B ( x ,
d ( x, x
m
n0
)<
1
m
m 1
n m
) n
< x B ( x, ) y entonces
m
n0
es decir
> 0, x E A I B ( x, )
y A es entonces denso en E.
3) 1) ya lo vimos en la proposicin 2.22
Observacin En general las implicancias que se cumplen son las del siguiente
diagrama
Y hemos visto ejemplos donde las flecha no se
L
cumplen en sentido contrario al representado en
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.
S
Para ver que L no implica S o S no implica L
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
- 68 -
Topologa General
Espacios Topolgicos
- 69 -
U C0 = { x1 , x2 ,..., xn ,..}
xi X xi U U i I tal que xi U i
I
y entonces
UU
i =0
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
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
- 69 -
Topologa General
Captulo 2
- 70 -
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 }
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.
Definicin 2.24 Dado un ( X , ) espacio topolgico decimos que es N1 o que
verifica el primer axioma de numerabilidad si todo punto de X tiene una base de
entornos (base local ) numerable.
Proposicin 2.25 Un ( X , ) espacio topolgico que es N2 es entonces N1
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 -
C
IUn = UUn
n
n
C
que como U n U n es finito Unin numerable de numerables es numerable
entonces:
C
C
x}
I U n {{
1
n
no numerable
424
3
numerable
o sea
IU
{ x} y x tal que y I U n
n
C
n
X.
Ejemplo 2.52
Sea l1 = {( xn )n , reales o complejas tal que
x = xn
n =1
d ( x, y ) = x y
- 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
<
n0
d ( x, y ) = xi yi =
i =1
n0
xi yi + xi yi = xi <
{ i = n +1
2
i =1
0
=0
1
424
3 i = n0 +1
=0
UE
2n0
i n0 entonces:
n0
n0
i =1
i =1
d ( y, z ) = zi yi = zi yi <
=2
2n0
+ =
2 2
E = l1 E numerable l1 separable.
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 }
M
Vn = U n I Vn1
entorno
- 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.
Definicin 3.2 Una sucesin { xn } en un espacio topolgico ( X , ) converge a
x X si dado N N x n0 tal que n n0
xn N
Ejemplo 3.1 Sea ( X , ) un espacio topolgico con la topologa indiscreta es decir
= { , X } toda sucesin en este espacio converge a cualquier punto.
Ejemplo 3.2 Sea ( X , ) un espacio topolgico con la topologa discreta, entonces
en este espacio convergen las sucesiones que son constantes a partir de un n0
Definicin 3.3 Dado en un espacio topolgico ( X , ) una sucesin { xn } X
Topologa General
Captulo 3
- 76 -
Demostracin
Es inmediata aplicando la definicin
Si xnk x Dado N N x por definicin n0 ( k ) tal que nk n0 ( k )
cumple que
se
xnk N
n n0 xn Vn Vn0 N
Topologa General
Convergencia y Continuidad
- 77 -
A = \ {0}
({ x } )
C C
= { xn } es numerable { xn } N 0
C
Topologa General
Captulo 3
- 78 -
( d , c ) ( d , c ) o
d = d y c c
E
comparar con el orden alfabtico de las palabras, se cumple que es un conjunto
dirigido i) y ii) son inmediatas.
iii) Dados ( d , e ) , ( d , e )
sea d 0 D d , d 0 E d y e0 E e , e0 E e que existen por ser cada conjunto
dirigido y:
( d 0 , e0 ) ( d , e ) ( d 0 , e0 ) ( d , e )
Otro orden es tomar componente a componente es decir:
d d
( d , c ) ( d , c ) y
c c
- 78 -
Topologa General
Convergencia y Continuidad
- 79 -
b1
b2
b3
( 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)
Proposicin 3.4 Sea ( X , ) un espacio topolgico, A X , x X entonces un
punto x est en A existe una red {Td } A que converge a x.
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
Topologa General
Captulo 3
- 80 -
luego Td
x
x
x
Td
{ Td
{ x A
por hip.
prop. 3.4
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.
Proposicin 3.7 ( Unicidad de la Convergencia)
Sea ( X , ) un espacio topolgico. Toda red en X converge a lo sumo en un punto si
y solo s X es de Hausdff.
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
entonces
sea d 2 tal que
Td V si d d1
d 2 d1
Td2 U I V absurdo por ser U I V =
T(U ,V ) U W T(U ,V ) x
Anlogamente se prueba que T(U ,V ) y
Definicin 3.7 Sea {Td } una red en un espacio topolgico ( X , ) . Un punto x X
se dice de aglomeracin de {Td } si dados N N x y d 0 D entonces existe d D
con d d 0 tal que:
Td N
Definicin 3.8 Dados ( D, D ) , ( E , E ) dos conjuntos dirigidos, una funcin
f : E D es cofinal si dado d 0 D e E tal que
f ( e ) d0
- 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
e1 E tal que {T f (e ) } N e e1
(U , d ) (U , d )
Adems:
{T f (U ,d ) } converge a x ya que:
luego
{T ( ) } x
f U ,d
- 82 -
Topologa General
Convergencia y Continuidad
- 83 -
f (N) W
Decimos que f es continua si es continua en todo punto.
Observacin para el caso particular de espacios mtricos la definicin se puede
rescribir f : X Y , x X f es continua en x dado una bola B ( f ( x ) , ) implica
que existe una bola B ( x, ) tal que f ( B ( x, ) ) B ( f ( x ) , ) dicho de otra forma :
Si dado > 0 > 0 tal que si d ( x, y ) < entonces
d ( f ( x ) , f ( y )) <
Proposicin 3.9 Sean X e Y espacios topolgicos, f : X Y una funcin entonces
las siguientes afirmaciones son equivalentes:
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 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
- 83 -
Topologa General
Captulo 3
F
{ = U S1 I S 2 I ... I Sn
abierto
entonces:
f 1 ( F C ) = f 1 U S1 I ... I S n
f 1 ( F C ) = f 1 ( F ) abierto f 1 ( F ) es cerrado
C
Sean x X , W N f ( x )
f ( x) A W
f f 1 ( A ) A W f ( N ) W
424
3
1
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 -
1
A
luego f% es continua.
= f 1 (V ) que es abierto en X
g 1 (U ) abierto por f
( g o f )1 (U ) = f 1 1
3
424
abierto por g
Ejemplo 3.16 Sea X = A U B con A y B cerrados en X si f : X Y es tal que sus
restricciones f | A = f1 , f |B = f 2 son funciones continuas y tal que en los puntos de
A I B vale f1 = f 2 entonces f es continua.
- 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 )
Td f 1 (W ) d d 0
f (Td ) f ( f 1 (W ) ) W
f ( Td ) W
y por lo tanto { f (Td )} converge a f ( x ) .
Supongamos que f no es continua en x es decir que:
W N f ( x ) tal que N N x se tiene:
f (U ) W
Sea D = N x si U N x sea TU U tal que f (TU ) W
f (U ) W .
Dado V N x , si U V TU U V TU x
Pero { f (TU )} no converge a f ( x ) ya que
f (TU ) W U N x
Construimos as una red {TU } convergente a x pero que:
f (TU ) f ( x )
lo que contradice la hiptesis.
- 86 -
Topologa General
Convergencia y Continuidad
- 87 -
Demostracin
1) 2) Sea x A ( f ( x ) f ( A ) ) por proposicin 3.4 {Td } A tal que
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 )
(B ) = f
o
o
( B )
( )
C C
o C
= f 1 ( B ) =
C
= f 1 B C f 1 ( B C ) = ( f 1 ( B C ) ) =
o
C
= f 1 ( B C ) = ( f 1 ( B ) )
- 87 -
Topologa General
Captulo 3
- 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
Definicin 3.16 Definimos un funcin llamada funcin distancia d A : E tal
que
d A ( x ) = d ( x, A )
Proposicin 3.13 La funcin distancia es uniformemente continua.
Demostracin
Dado > 0 si d ( x, y ) <
, a A
2
d ( y , a ) d ( x, a ) + d ( x, y )
d ( x, a ) d ( y , a ) + d ( x, y )
y
a
d ( x, a ) d ( x, y ) d ( y , a ) d ( x, a ) + d ( x, y )
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 ) +
es decir:
d A ( x ) d A ( y ) +
2 d x d y < <
( )
A( )
2
dA ( y) dA ( x) +
2
> 0 =
tal que si d ( x, y ) < d A ( x ) d A ( y ) < d A ( x )
Dado
2
uniformemente continua.
es
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 ))
f ( F C ) es abierto
es cerrado = f ( F )
entonces
diamf ( E )
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:
x E
d ( fd ( x ) , f ( x ) ) <
2
tomando supremo
d ( f d , f ) = sup {d ( f d ( x ) , f ( x ) ) : x E} <
2
luego f d f converge uniformemente.
Proposicin 3.16 Sea el conjunto Cb ( E , F ) = { f : E F : continuas y acotadas }
entonces Cb ( E , F ) es cerrado en ( B ( E , F ) , d ) .
Demostracin Sea f Cb ( E , F ) { f n } Cb ( E , F ) tal que
fn f
hay que probar que f es acotada y continua para probar que f Cb ( E , F )
por definicin de convergencia dado x E , > 0 sea n0 tal que n n0
d ( fn , f ) <
3
Y como f n0 es continua sabemos que existe > 0 tal que si d ( x, y ) < entonces
d ( f n0 ( x ) , f n0 ( y ) ) <
y entonces x, y E
d ( f ( x ) , f ( y ) ) d ( f ( x ) , f n0 ( x ) ) + d ( f n0 ( x ) , f n0 ( y ) ) + d ( f n0 ( y ) , f ( y ) )
d ( f , f n0 ) + + d ( f n0 , f ) <
1424
3 3 1424
3
<
<
luego f es continua
- 92 -
Topologa General
Convergencia y Continuidad
- 93 -
d ( f n0 ( x ) , f n0 ( y ) ) < M
entonces x, y E
d ( f ( x ) , f ( y ) ) d ( f ( x ) , f n0 ( x ) ) + d ( f n0 ( x ) , f n0 ( y ) ) + d ( f n0 ( y ) , f ( y ) )
d ( f , f n0 ) + M + d ( f n0 , f ) < 2 + M
1424
3
1424
3
3
<
<
Wx ,U = { g F ( X , Y ) : g ( x ) U }
entonces el conjunto
S = {Wx ,U : x X , U Y abierto}
es una subbase de una topologa llamada de convergencia puntual
La afirmacin de que es una subbase est justificada por ser
F ( X , Y ) = U Wx ,U
x X
U abierto en Y
entonces
- 93 -
Topologa General
Captulo 3
- 94 -
queremos
ver
que
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.
2 (b a )
ba
Si I = [ a, b ] I = a,
U a +
, b , si I = U I k I = U I k
3
3
k
k
1
2
Introducida la notacin comencemos, sea A0 = [ 0,1]; A1 = A0 = [ 0, 3 ] U [ 3 ,1]
A2 = A1 = [ 0, 19 ] U [ 29 , 13 ] U [ 23 , 97 ] U [ 89 ,1]
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
bnk ank =
n
1
3n
1
2
o sea la medida de An es 2 . n = .
3 3
Ahora veremos algunas de las propiedades ms importantes del conjunto de Cantor
n
Topologa General
Captulo 4
- 96 -
1
n d c = 0
3n
{
0
Proposicin 4.3 Los extremos de las intervalos cerrados disjuntos dos a dos que
definen An se escriben como
n xi
{a } = 3i : xi {0, 2}
i =1
k
n
{a } = {0, }
{a } = {0, ,
En A1
A2
Etc...
H)
k
1
2
3
k
2
2
9
{a } = 3
k
n
i =1
xi
i
2
3
A1
, 23 + 92 }
A2
: xi {0, 2}
1
3n+1
n+1 xi
T) {a } = i : xi {0, 2}
i =1 3
k
n +1
j
n
64748
k
144424443 an +1
2
3n+1
- 96 -
anj +1
Topologa General
Conjunto de Cantor
- 97 -
Demostracin
anj para algn j
{ank+1} = j 2
an + n +1 para algn j
3
n
xi
i
i =1 3
xn +1 = 0
xn +1 = 2
i =1
n +1
xi
3
i =1
xi
i
2
3n +1
xi {0, 2}
: xi {0, 2}
por lo tanto
n +1
xi
i =1
{a } = 3
k
n +1
: xi {0, 2}
n
yi
xi
k
con xi , yi {0, 2}
a
=
n
i
i
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
lo que significa amj ank
Sean amj =
ank
amj
ms precisamente
- 97 -
Topologa General
Captulo 4
- 98 -
m
yi
1
a a = i 2 i =
i = n +1 3
n +1 3
j
m
k
n
1 1 m 1 1 n
1
1
3
3
3
3
m 1 n 1
= 2 i i = 2
=
1 1
1 1
i =1 3 i =1 3
3
3
m
1 n
1
m
n
1 3 1 3
1
1
= 1 1+
= 2
2
3
3
2
1
1
=
3 3
es decir
1 1
3n 3m
1
1
amj + m ank + n
33 123
3
1
424
amj ank
=bmj
ank
amj
bmj
bnk
=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
0
=2
67
8
67
8
l 1
n
yi xi 2
yi xi m yi
j
k
am an =
+ l +
+ i
3i
3 l +1 3i
i =1
n +1 3
2
1 2
1
2
=
l
i
l
i
3
3
l +1 3
l +1 3
( )
1
l +1
2
2 3
l
3
1 1
=
3
Luego
- 98 -
2 1 1 1
= >
3l 3l 3l 3n
Topologa General
Conjunto de Cantor
amj ank >
1
3n
ank
bnk
ii) yl xl = 2
amj
- 99 -
1
= bnk
n
3
2
2
67
8
}
m
m
2
y x
y 2
1
amj ank = l + i i i + ii l + 2 i
3
3
3
l +1
n +1 3
l +1 3
n
2
1 2
l + 2 i = l + 2
3
3
l +1 3
( 13 )
2
l +1
2 1 1 1
+ =
<
3l 3l 3l 3m
luego
amj ank <
1
3m
1
amj + m < ank
33
1
424
amj
bmj
ank
bnk
=bmj
C = ii : xi {0, 2}
i =1 3
xi
con xi {0, 2}
i
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.
Demostracin Sea y =
- 99 -
Topologa General
Captulo 4
- 100 -
y = lim m
i =1
xi
An n y I An = C
3i
n
ank ( n ,t ) t <
1
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:
es decir que:
ank ( n ,t ) amk ( m ,t ) t
siendo
n
ank ( n ,t ) =
i =1
xi
3i
y amk ( m ,t ) =
i =1
yi
pero ya vimos que xi = yi i = 1,..., n si m n
3i
entonces
ank ( n ,t ) y amk ( m ,t ) son reducidas de la serie
xi
3
i =1
x
k ( n ,t )
t = lim n an
= ii
i =1 3
Proposicin 4.6 Todos los puntos del conjunto C de Cantor son de acumulacin
Demostracin
xi
con xi {0, 2}
i
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
Si t C
t=
- 100 -
Topologa General
Conjunto de Cantor
n0
t=
i =1
- 101 -
xi
y sea t C tal que
3i
n0
n
xi
0 2
+
+ i
i
i
3
3
i =1
n0 +1
n +1 3
Claramente t pertenece a C por proposicin anterior.
Entonces:
n +1
2 1
2
1
1
3
t = t + i = t +
= t + n t t = n
2
3
3
n +1 3
3
2
1
2
Sea tal que n < t t = n < n < esto significa:
3
3
3
t C I B ( t , ) \ t t es de acumulacin
t =
( )
1
implica f ( ) = i = 1
i =1 2
en segundo lugar
yi
con yi {0,1} es un nmero en base dos entre cero y uno.
i
i =1 2
1
Ahora dado > 0 Sea n0 tal que n0 < tomamos dos elementos del conjunto de
2
x
y
1
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
x
f ii
i =1 3
- 102 -
yi 1 xi yi
, f i =
i
i =1 3 2 n0 +1 2
1 xi yi
1
1
1
= n0 <
2
i
i
2 n0 +1 2
2 n0 +1 2 2
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.
Observacin Para referirnos a un elemento del espacio producto podemos adoptar
las siguientes anotaciones:
n
n
X
=
f
n
X i : f ( i ) X i i = 1,..., n
:
1,...,
{
}
i =1
i =1
tambin suele usarse la siguiente notacin
n
n
X
=
x
:
1,...,
n
X i : xi X i i = 1,..., n
{
}
i =1
i =1
poniendo xi en vez de x ( i ) .
Definicin 5.2 Dado el producto cartesiano
X
i =1
pi : X i X i como
i =1
pi ( f ) = f ( i )
pi ( x ) = xi
que llamamos proyeccin cannica asociada al ndice i
Topologa General
Captulo 5
- 104 -
p (U i ) = x X i : pi ( x ) = xi U i con U i i
i =1
1
i
lo que significa:
y por lo tanto
Topologa Producto
Caso infinito
X = f : I U X : f ( ) X
I
I
El axioma de eleccin nos dice que este conjunto producto es no vaco si y solo s
cada factor X no lo es. A los elementos del espacio producto en ocasiones los
anotaremos por x en lugar de f y en este caso x ( ) lo anotamos por x con esta
notacin
X = x : I U X : x X
I
I
Definicin 5.4 Sea {( X , ) : I } una familia de espacios topolgicos indexada
definimos topologa producto como la menor (la menos fina) topologa que hace
continua a las proyecciones
p : X X
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 -
{1 ,..., n }
la topologa producto.
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
Topologa General
Captulo 5
- 106 -
f : X Y
f continua
1
1
2
1X X2
sea U abierto en Y f (U ) X X
2
segn X
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
Proposicin 5.2 En el espacio producto con la topologa producto las proyecciones
son funciones continuas y abiertas.
p : X X son continuas y abiertas
I
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
{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
Demostracin Si la red converge Td x como las proyecciones son continuas
entonces
p (Td ) p ( x ) I
Si p (Td ) p ( x ) I
Como si V N x existe A abierto tal que x A V y A es abierto implica que es
unin de elementos de la base
A = U B donde B son abiertos de la base
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
d 0 max {d1 ,..., d n } que existe porque cada dos di d j se puede obtener una mayor
que esos dos, repetimos este razonamiento con este ltimo y otro d cualquiera y as
tenemos uno mayor que todos .
d d 0 d di pi (Td ) Ui i = 1,..., n
o sea
y por lo tanto
- 107 -
Topologa General
Captulo 5
- 108 -
es continua si y solo s
( p o f ) : Y X es continua I
I
Demostracin
Como p es continua p o f es continua si f
es continua
Y
Si p o f son continuas I sea x Y y
sea Td la red que converge a x entonces
p o f
( p o f )(Td ) ( p o f ) ( x ) en X
es decir:
p [ f (Td )] p [ f ( x )] I
por proposicin anterior
f (Td ) f ( x ) en X
X
I
p
X
Topologa General
Topologa Producto
- 109 -
continua si est dotado con la topologa por cajas. Consideremos, por ejemplo,
el elemento bsico
1 1
1 1
B = ( 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,
1 1
pn ( f ( , ) ) , n
144244
3 n n
=( , )
X
I
Demostracin
es de Hausdff.
x, y X con x y
I
X
I
x ( 0 ) = x 0
y ( 0 ) = y0
- 109 -
Topologa General
Captulo 5
- 110 -
{1 ,..., n }
{ 1 ,..., m }
U0 x0 V0 y0
como:
x U
X 0
p i ( x ) Ui i = 1,..., n
12
3
= pi ( y ) si i 0
= pi ( x ) si i 0
678
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 }
p0 V1 ... V m X = V0
{ 1 ,..., m }
abiertos disjuntos en X 0
y0
Topologa General
Topologa Producto
- 111 -
pi (Td )
}
y
max di Td ( i ) , xi < d d 0
x = ( x1 ,..., xn )
xi i ya que:
lo que implica pi (Td ) = Td ( i )
di
es metrizable
d : En E n
x = { x ( i )} y = { y ( i )} :
d ( x, y ) =
1
di ( x ( i ) , y ( i ) )
2i
Topologa General
Captulo 5
- 112 -
1
=1<
i
1 2
d induce la topologa producto en En como:
d ( x, y )
n
Te
x Te ( i )
x (i )
top. prod.
di
entonces tenemos que probar que:
Te
x Te ( i )
x (i )
d
di
Dado > 0 sea k tal que:
y para i k sea ei tal que:
2
k +1
<
si e ei
2
Sea e tal que e ei i = 1,..., k Entonces si e e
di ( Te ( i ) , x ( i ) ) <
di ( Te ( i ) , x ( i ) )
=
2i
1
k
di ( Te ( i ) , x ( i ) ) di ( Te ( i ) , x ( i ) )
=
+
2i
2i
1
k +1
k
1 k 1
2i + i < i + <
2 1 2 2
1 2
k +1 2
d (Te , x ) =
<
1
+ = + =
2 1 2i 2 2 2
Te
x
d
y recprocamente
Si Te
x, dado > 0, n , sea e0 tal que:
d
d (Te , x ) <
entonces como
2n
e e0
d n (Te ( n ) , x ( n ) ) di ( Te ( i ) , x ( i ) )
= d ( Te , x )
2n
2i
1
o sea
1
d T ( n ) , x ( n ) ) d (Te , x ) < n
n n( e
2
2
d n (Te ( n ) , x ( n ) ) < si e e0 n
Te ( n )
x ( n ) n la tesis
dn
- 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.
Ejemplo 6.1 Sea X con la topologa discreta, entonces si X tiene ms de un punto no
es conexo ya que para cualquier punto { x} se tiene que es abierto y cerrado luego
C
{ x} es abierto y:
X = { x} U { x}
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 , )
Ejemplo 6.3 Sea X con la topologa de complementos finitos y X de infinitos
elementos
Sean A y B abiertos disjuntos y B entonces:
C
Si A I B = A B
{ A es finito
finito
Topologa General
Captulo 6
- 114 -
3
3
X = 1,
IX U
, 4 I X = ( 0,1) U ( 2,3]
2
2
14
4244
3 14243
abierto relativo abierto relativo
que Q es disconexo.
abierto en
abierto en
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
que la preimagen
f 1 (1) = A
1
1
f ( ) = , f ({0,1}) = X
de todo abierto es un abierto f es continua y sobreyectiva y esto contradice 4)
f definida as es continua ya que :
cerrado
por ser AI B =
B =
= inf {b B} entonces B =
{ B
cerrado
- 115 -
Topologa General
Captulo 6
= 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
extremo superior de A0 t A
Pero t B por ser t < (nfimo) pero [ 0,1] = A U B
conexo.
- 116 -
por ser el
por lo tanto [0,1] es
UY
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
Topologa General
Espacios Conexos
- 117 -
Topologa General
Por ser f continua
Captulo 6
- 118 -
f ( A) f ( A)
y si B A
f ( B ) f ( A ) f ( A ) = {0} =
{ {0}
top. disc.
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 -
es conexo por ser unin de conexos con interseccin dos a dos no vacos, porque a
es comn a todos.
Ahora veremos en primer lugar que el producto finito de espacios topolgicos es
conexo si y solo s es conexo cada uno, para despus ver el caso infinito.
Proposicin 6.9 Sean { X i }i =1 espacios topolgicos entonces
n
X
i =1
es conexo si y
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.
X 1 {a2 }
Sea ( a1 , a2 ) X 1 X 2 fijo
X2
Dado un x = ( x1 , x2 ) X 1 X 2 sea
a2
C = X {a } U { x } X
x1
h11 ( z ) = ( z , a2 )
- 119 -
{ x1} X 2
a1
x1
X1
Topologa General
Captulo 6
- 120 -
conexo
UC
x1X 1
x1
si ( x, y ) C x1
{ X 1 X 2 ( x, y ) X 1 X 2
por def.
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.
Generalizamos tomando X = X 1 X 2 e Y = X 3 por lo anterior X Y es conexo es
decir X 1 X 2 X 3 es conexo y as sucesivamente tenemos que X 1 ... X n es
conexo.
Veamos ahora el caso infinito.
Proposicin 6.10 Sea { X }I una familia de espacios topolgicos entonces
X
I
I
{1 ,...,n }
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
=
a a
1 ( zd )( )
{
si
,...,
{
}
1
n
1
1 ( zd ) = 1
= ( z)
=
zd z
{
( zd )( )
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=
{1 ,..., n } I
X 1 ,..., n
X 1 ,...,n I U
ya que
U = U1 ... U k X con U i X i
14243 { ,..., }
X 1 ... X k
X 1 ,...,k = X 1 ... X k
{1 ,..., k }
luego
Z I U U abierto de la base Z = X y como Z es conexo implica que Z
es conexo luego
X
I
es conexo.
- 121 -
Topologa General
Captulo 6
- 122 -
CxA = { y A : y : x}
o tambin
- 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 Por la proposicin 6.11 tenemos que X es conexo si y solo s para
todo x, y X , x y entonces si fijo x implica que y Cx y X X C x como
la otra inclusin es obvia entonces son iguales Cx = X luego tiene solo una
componente conexa.
Proposicin 6.14 La componente conexa de x es el mayor conexo que contiene a x
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
yC x
- 123 -
abierto
Topologa General
Captulo 6
- 124 -
Topologa General
Espacios Conexos
- 125 -
Topologa General
Captulo 6
- 126 -
f (V ) W
lo que significa por definicin que Bf ( x ) es una base local donde sus elementos son
Lo que vamos a probar es que para todo abierto en f ( X ) tiene sus componentes
conexas abiertas.
Dado A f ( X ) abierto sea D una componente conexa de A.
Como f es continua f 1 ( A ) es abierto en X y como ya vimos en la demostracin de
la proposicin 6.16 que un abierto en un espacio localmente conexo se puede
escribir como unin de las componentes conexas de todos sus puntos, es decir:
f 1 ( A ) = U C
f 1 ( A )
Y como D A f 1 ( D ) f 1 ( A ) f 1 ( D ) = f 1 ( A) I f 1 ( D ) y sustituyendo
f 1 ( D ) =
f 1 ( A )
C I f 1 ( D )
- 126 -
Topologa General
Espacios Conexos
- 127 -
x C f ( x ) f ( C )
x C I f 1 ( D )
f ( x ) f ( C ) I D
1
1
x
f
D
f
x
f
f
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
1
C
C
f f (D ) = D
{
424
3
1
cerrado cerrado
Luego D es abierto.
C
f (1) = y
Definicin 6.8 Se dice que un X espacio topolgico, x, y X estn conectados por
caminos si existe un camino de x a y . Anotamos x : C y
Definicin 6.9 Decimos que un espacio topolgico X es conexo por caminos si :
x : C y x, y X
A X decimos que A es conexo por caminos si lo es como espacio al considerar
sobre l la topologa relativa.
Proposicin 6.19 Si x e y estn conectados por caminos implican que estn
conectados.
- 127 -
Topologa General
Captulo 6
- 128 -
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.
Corolario 6.20 Si el espacio topolgico X es conexo por camino entonces X es
conexo
X conexo por ca min os conexo
Demostracin Por definicin si X es conexo por camino entonces x, y X
se tiene que x : C y x : y
{ que X es conexo
prop.6.11
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 (1) = z
g
z
x
Topologa General
Espacios Conexos
- 129 -
h (1) = g (1) = z
luego x : C y .
Definicin 6.10 La relacin de equivalencia de estar conectado por camino establece
una particin en clases de equivalencia que llamamos componente conexa por
camino de X.
Anotamos CCx para referirnos a la componente conexa por camino de x.
Proposicin 6.22 El espacio topolgico X es conexo por caminos si y solo s tiene
una nica componente conexa por camino.
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.
Proposicin 6.23 Sea X un espacio topolgico entonces las componentes conexas
por camino estn incluidas en las componentes conexas de X.
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
- 129 -
Topologa General
Captulo 6
- 130 -
A
CCx x
entonces todos los puntos ( s ) ( I ) pueden ser unidos con x por el camino
( t ) definido como sigue:
( 0 ) = ( 0 ) = x
( t ) = ( st ) =
(1) = ( s )
Luego ( s ) : C x s I ( s ) CC x s I es decir que ( I ) CCx CC x
es conexa por caminos en X.
Proposicin 6.25 Si X es un espacio topolgico conexo por camino y f es una
funcin continua entonces f ( X ) es conexa por camino.
Demostracin Sean f ( x ) , f ( y ) f ( X ) al ser X conexo por camino implica que
para todo x, y X se cumple x : C y existe h : [ 0,1] X continua y tal que:
h ( 0 ) = x
entonces sea f o h : [ 0,1] f ( X )
h (1) = y
que es continua por ser composicin de continuas y tal que:
( f o h )( 0 ) = f ( h ( 0 ) ) = f ( x )
f ( x) :C f ( y )
f
o
h
1
=
f
h
1
=
f
y
(
)(
)
(
)
(
)
(
)
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 -
3
2
1
y para este t
+ 2n
(t ) = 2
, 1 B ( ( t0 ) , )
3 + 2n
Luego t0 < 1 nos lleva a un absurdo por lo tanto t0 = 1 que no podemos salimos
de A. Lo que implica que no es conexo por camino. Adems sus componentes
conexas por camino son A y B (B no es cerrado) Mientras que componente conexa
hay una sola, ya que X es conexo.
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
Proposicin 6.26 Sea X un espacio topolgico las siguientes afirmaciones son
equivalentes:
1) X es lcc
2) Si A X abierto entonces las componentes conexas por camino de A son
abiertas.
3) Existe una base de X cuyos miembros son conexos por camino.
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 V
{ y :C x
{ y C V C
xV
xC
Topologa General
Sea
x0 ( CC x )
Espacios Conexos
- 133 -
Luego y : C x y ( CCx )
Topologa General
Captulo 6
- 134 -
AC = AC I ( AC ) = AC I A = A
C
y como
A \ A = ( A
C
C o
- 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.1 Si una sucesin { xn } es convergente entonces es de Cauchy
Demostracin Si xn x Dado > 0 n0 tal que n n0
d ( xn , x ) <
2
entonces si n, m n0 aplicando la desigualdad triangular
d ( xn , xm ) d ( xn , x ) + d ( xm , x ) <
1
424
3 1
424
3
<
<
Proposicin 7.2 Una sucesin de Cauchy que tiene una subsucesin convergente es
convergente.
Demostracin Sea { xn } de Cauchy dado > 0 n0 tal que n, m n0 se
cumple
d ( xn , xm ) <
2
Por hiptesis xnk x Para el anterior k0 tal que nk nk0 se tiene que:
2
entonces para todo n > n%0 existe nk > n%0 (por definicin de
d ( xnk , x ) <
Topologa General
Captulo 7
- 136 -
+ <
2 2
<1
Topologa General
- 137 -
d ( f ( xn ) , f ( xm ) ) <
Ejemplo 7.2 Una funcin que es solo continua no lleva sucesiones de Cauchy en
sucesiones de Cauchy como muestra el siguiente ejemplo.
1
1
es de Cauchy
Sea f : ( 0,1) tal que f ( x ) = es continua en ( 0,1) y { xn } =
n
x
pero { f ( xn )} = {n} no es de Cauchy.
Esto nos muestra que la nocin de que una sucesin sea de Cauchy no es una
propiedad topolgica ya que solo se conserva por homeomorfismos uniformes (que
sean uniformemente continuos).
{}
Ejemplo 7.3 Toda sucesin de Cauchy no tiene porque ser convergente por ejemplo
n
1
1
{}
- 137 -
Topologa General
Captulo 7
- 138 -
B d1
B d1
B d
Topologa General
- 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
- 139 -
Topologa General
Captulo 7
- 140 -
luego ( xn , yn ) ( x, y )
<
( B ( E , F ) , d ) entonces Si F es completo ( B ( E , F ) , d ) es
d ( fn , fm ) <
2
pero por definicin de distancia
d ( f n , f m ) = sup {d ( f n ( x ) , f m ( x ) ) : x E}
entonces por definicin de supremos
x E d ( f n ( x ) , f m ( x ) ) d ( f n , f m ) <
2
luego { f n ( x )} es de Cauchy en F y como F es completo
- 140 -
Topologa General
- 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
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
lim d ( f ( x ) , f m ( y ) ) = d ( f ( x ) , f ( y ) ) L
x, y E d ( f ( x ) , f ( y ) ) L
<
3 2
por lo tanto
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} <
2
P
x E
d ( f ( x ), fm ( x )) <
d ( fm , f ) <
luego f m f y se tiene que ( B ( E , F ) , d ) es completo.
Topologa General
Captulo 7
- 142 -
X =M
f%
yn x { yn } X
Topologa General
xn x
yn x
- 143 -
<
2
luego
yn x
lim f ( xn ) = lim f ( yn )
xn x
yn x
yn y
d ( f ( xn ) , f ( yn ) ) <
2
y por el lema 7.10
Si x, y X = M tal que d ( x, y ) <
d ( f% ( x ) , f% ( y ) ) <
=
{
f inm. isom.
lim d ( xn , yn ) = d ( x, y )
n
Topologa General
Captulo 7
- 144 -
luego
Im f Im f% = Im f%
Im f = Im f%
inmersin isomtrica y = .
( )
f% M = f ( M )
Im f% = Im f
Demostracin
Sea
1
i
i 1
X = i ( M ) M y sea f 0 = f o i
Como f es uniformemente continua implica
M
que f 0 tambin
Al ser X = M por teorema anterior existe
una nica f% : M N tal que f% es una extensin continua de f
Si x M tenemos
f%
i ( M ) M
N
f
( f% o i ) ( x ) = f% (i ( x )) = ( f o i ) (i ( x ) ) = f ( x )
1
- 144 -
Topologa General
- 145 -
( )
( )
( )
es una isometra se
( )
f% M f ( M )
( )
( )
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 , i ) y ( M , i )
1 1
son dos
M
i2
i1 ( m )
i1
i2 ( m )
i2
M 1
M 2
j
( )
1
i11
i1
M 1
M 2
i2
j
Topologa General
Captulo 7
- 146 -
d ( x, m0 ) + d ( x, m0 ) =
= 2d ( x, m0 ) cte para cada x M y, z
m0
y como
f x ( z ) f y ( z ) = d ( z , x ) d ( z , m0 ) d ( z , y ) + d ( z , m0 ) =
= d ( z , x ) d ( z , y ) d ( x, y )
luego
d ( f x , f y ) = sup { f x ( z ) f y ( z ) : z M } d ( x, y )
d ( f x , f y ) = sup { f x ( z ) f y ( z ) : z M } = d ( x, y )
es decir
d ( i ( x ) , i ( y ) ) = d ( x, y )
por lo que i es una inmersin isomtrica.
Consideremos M = i ( M ) como M es cerrado dentro de Cb ( M , ) que es completo
entonces M es completo y por lo tanto el par M , i es una completacin de M.
- 146 -
Topologa General
- 147 -
luego
es decir {a} I Fn
B ( a, ) I Fn n a Fn =
{ Fn
cerrados
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 -
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:
<
<
3
por ser de Cauchy y n n0
<
{a} = I Fn
n
Topologa General
- 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
i=n
i=n
ci d ( x1 , x0 ) = d ( x1 , x0 ) ci
Luego si m, n n0 se tiene
m 1
i=n
i=n
c
i=n
<
d ( x1 , x0 )
d ( xn , xm ) d ( x1 , x0 ) ci d ( x1 , x0 ) ci < d ( x1 , x0 )
=
d ( x1 , x0 )
P
por ser M T2 entonces f ( a ) = a
xn+1 a
luego a es punto fijo.
- 149 -
Topologa General
Captulo 7
- 150 -
si d ( a ,b ) 0
X =
Definicin 7.7 Sea M un espacio topolgico e X M se dice que es magro si
x A
y
C
C
x A > 0 B ( x, ) I A
es decir que cualquier bola de centro x contiene puntos de A y como A I A = por
ser A abierto, entonces no hay bola que este totalmente contenida en A . Tiene
interior vaco.
Ejemplo 7.10 Sea M = y consideremos el conjunto de Cantor C ya vimos que
o
C = C = C nunca denso en
- 150 -
Topologa General
- 151 -
UD
UF
UF
con Fn cerrado.
A U Dn con Dn cerrado Dn = Dn
n
B = A y A nunca denso A = ( B C ) = ( B ) = B = X B es
C
denso en X.
M.
Demostracin Vamos a probar que x M y r > 0 entonces B ( x, r ) I ( IU n )
- 151 -
Topologa General
{ }
Captulo 7
- 152 -
B ( x2 , r1 ) U 1 I B1 B1
1 r1
,
entonces B ( x2 , 2 ) B ( x2 , r1 )
2 2
Llamemos B2 = B ( x2 , 2 ) se tiene que:
Sea 2 = min
B2 U 1 I B1 B1 B1
{ }
B3 B ( x3 , r2 ) U 2 I B2 B2 B2
{ }
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
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.
n
- 152 -
Topologa General
- 153 -
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 C
D
=
D = X Do =
M = M =
lo que es un absurdo.
Corolario 7.24 Sea M un espacio mtrico tal que M = U Fn y Fn es cerrado
o
- 153 -
Topologa General
Captulo 7
- 154 -
Con esta terminologa y con el corolario 7.22 podemos enunciar el teorema de Baire
como sigue.
Proposicin 7.25 Sea M un espacio mtrico completo entonces es un espacio de
Baire.
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
Proposicin 7.26 Sea M un espacio mtrico completo, A abierto entonces A es
homeomorfo a un espacio mtrico completo.
Demostracin Sea una funcin f : M definida como:
d ( x, AC ) = inf {d ( x, b ) : b AC } si x A
f ( x) =
0 si x AC
Primero que nada f es continua por ser d continua y la funcin 0 estando definidas
en cerrados tales que su unin es todo el espacio y en los puntos comunes valen lo
mismo es decir
si x A = A I AC x AC d ( x, AC ) = 0
(ver ejemplo 3.16 )
Adems tenemos que si para algn x f ( x ) = 0 inf {d ( x, b ) : b AC } = 0 e implica
que existe bn AC tal que d ( x, bn ) <
1
n
C
lo que significa que bn x x AC =
{ A
cerrado
es decir ( a ) = a,
1
f (a)
1
a a,
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
- 154 -
Topologa General
- 155 -
1
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 )
r=
Topologa General
Captulo 7
- 156 -
Ejemplo practico
Enunciado Un subconjunto P de un espacio topolgico se llama perfecto si y solo s
es igual al conjunto de sus puntos de acumulacin.
a) Probar que un espacio mtrico perfecto y completo no es numerable.
b) Dar un ejemplo de un espacio mtrico perfecto numerable.
{ x} = si {x} no es aislado
o sea que
{ x} = si x es de acumulacin
Entonces si P es perfecto y numerable se tiene
o
P = U { x} y { x} = { x} =
xP
- 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.
Definicin 8.1 Un espacio topolgico X decimos que es compacto si todo
cubrimiento por abiertos de X tiene un subcubrimiento finito.
Si A X decimos que es compacto si lo es con la topologa relativa
Proposicin 8.1 Dado el espacio topolgico X, A X es compacto si y solo s para
todo cubrimiento de A por abiertos de X admite un subcubrimiento finito que lo
sigue recubriendo.
Demostracin Un cubrimiento por abiertos de X con la topologa relativa es una
familia de la forma
{U I A}I donde U es abierto en X I
si A = U (U I A )
I
Topologa General
Captulo 8
- 158 -
A = U (Ui I A )
i =1
lo que es lo mismo
n
A U U i
i =1
entonces
V = U I A con U abierto en X
A = U (U I A ) A U U
I
A U Ui A = U (Ui I A )
i =1
i =1
A = UVi
i =1
= U ( nk , nk ) = ( m, m )
k =1
- 158 -
Topologa General
Espacios Compactos
UU
xi X
- 159 -
{U
( 0,1] = U ( 1n ,1]
n
nF
1
n
1
m
1
m
>0
[ a, b ] = U U
I
F
- 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
i =1
U0
entonces
n
[ a , c ] UU U U
i =1
c +
y por lo tanto c S .
Sabemos que c b :
Supongamos que c < b x tal que c{
< x < c{
+ entonces
xU0
<b
[ a , x ] UU U U x S y x > c
i =1
UU
yK
abierto por ser unin de abiertos por construccin y tomemos como V = IVyi que
i =1
- 160 -
Topologa General
Espacios Compactos
- 161 -
i =1
z V z V i = 1,..., n z V
yi
yk
z U yk I V yk
L UVxi
i =1
i =1
z U i = 1,..., n z U z U
xi
xk
z U xk I Vxk
- 161 -
Topologa General
Captulo 8
- 162 -
i =1
i =1
X = UU i U Y C Y UU i
entonces por la proposicin 8.1 Y es compacto
Proposicin 8.6 Sea X un espacio topolgico de Hausdrff e K X compacto
entonces K es cerrado.
Demostracin Primero que nada si K = X el enunciado no aporta nada nuevo,
entonces podemos considerar que existe un x K y por la proposicin 8.3 existen
abiertos U ,V tales que
K U , x V con U I V = V I K =
es decir que
x V K C
luego x K C V abierto tal que x V K C lo que quiere decir que K C es
abierto K es cerrado.
Ejemplo 8.6 Sea {K }I una familia de compactos en un espacio topolgico de
Hausdrff entonces
IK
es compacto.
compacto.
Ejemplo 8.7 Un conjunto K con la topologa usual es compacto si y solo s es
cerrado y acotado.
Demostracin Si K es compacto como es de Hausdrff por proposicin 8.6
K es cerrado. Adems es acotado porque {( n, n ) : n } es un cubrimiento por
abierto de y en particular como:
- 162 -
Topologa General
Espacios Compactos
- 163 -
K U ( n, n )
n
K U ( nk , nk )
k =1
m
Topologa General
Captulo 8
- 164 -
A, B M
A I B M
A, B \
xB
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
Continuemos con la demostracin del Lema
Sea S la subbase de la topologa de la hiptesis, con S = { A }I .
- 164 -
Topologa General
Espacios Compactos
- 165 -
x I Ai M x
i =1
n
IA
i =1
M como
IA
i =1
x A 0 ( x ) S I M X =
UA
x X
0 ( x )
Y UU
I
X f 1 ( f ( X ) ) f 1 U U = U f 1 (U )
I I
1
y como f es continua los f (U ) son abiertos en X , { f 1 (U )}I es entonces un
cubrimiento por abiertos de X que por hiptesis es compacto luego tiene un
subcubrimiento finito 1 ,..., n tal que
n
X U f
i =1
f ( f (U ) ) UU
(U ) f ( X ) U 14
4244
3
i
i =1
- 165 -
Ui
i =1
Topologa General
Captulo 8
- 166 -
Si
es compacto si y solo s X
es compacto X = P ( X ) y como P es
como
vimos en su momento.
Probaremos que si tenemos un cubrimiento por abiertos de la subbase podemos
obtener un subcubrimiento finito para aplicar el lema de Alexander.
Tomemos un cubrimiento A S por abiertos de X y definimos para cada
I
Topologa General
x X \
Espacios Compactos
- 167 -
A con I
U
AA
AA
X 0 y por lo tanto
{P
1
0
Si x X P 0 ( x ) X 0 = U Ai
i =1
i =1
i =1
compacto.
{B ( 0, n1 ) ,..., B ( 0, nk )} K U B ( 0, ni )
i =1
K U B ( 0, ni ) B ( 0, n0 )
i =1
- 167 -
Topologa General
Captulo 8
- 168 -
K U [ ai , bi ]
i =1
[ a , b ] compacto
i =1
IS
i =1
n i I
es decir que siempre que tomemos una cantidad finita de ellos la interseccin es
distinta del vaco.
Ejemplo 8.8 Sea X = S x = [ x, + ) este conjunto tiene la propiedad de
interseccin finita que siempre que tomamos finitos de ellos
l
I [ x , + ) = [ m, + )
i =1
IF
I F = I F = U FC = X
y como F son cerrados FC son abiertos {FC } es un cubrimiento por abierto
de X y como X es compacto admite un subcubrimiento finito {FC1 ,..., FCn } tal que
- 168 -
Topologa General
Espacios Compactos
n
UF
C
i
i =1
- 169 -
=X
n
n C
F
Fi = X C =
=
I
U i
i =1
i =1
lo cual es absurdo por ser {F } un conjunto con la P.I.F.
Recprocamente Si {U } es un cubrimiento por abiertos de X entonces los
complementos son cerrados y
C
I U = U U = X C =
entonces por hiptesis no tiene la P.I.F. porque sino
IUC
C
IU
i =1
C
i
= para algn n
n
n C
IU i = UU i = X
i =1
i =1
son un subcubrimiento finito de X X es compacto.
i =1
i =1
Te I Fdi I Fdi
- 169 -
Fd
d
Topologa General
Captulo 8
- 170 -
IF
dD
luego si
d D
F = I Fi : 1 ,..., n I
i =1
entonces
N N x I N I F
x F = F x I F
{x } {x }
nk
tal que
xnk x
Topologa General
Espacios Compactos
- 171 -
compacto y N1 entonces es
Sea
Ak 1 = U U i X xk Ak 1
luego
i =1
- 171 -
Topologa General
Captulo 8
- 172 -
nk0
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
aglomeracin lo que significa que no
tiene subsucesin convergente o sea no
es secuencialmente compacto lo que es
absurdo por hiptesis.
N1
X cto
X sec. cto
N2
Definicin 8.4 Un espacio topolgico X decimos que tiene la propiedad de BolzanoWeiestrass (B-W) si todo subconjunto infinito de X tiene un punto de acumulacin
Ejemplo 8.9 no es B-W ya que el conjunto de los enteros es infinito y no tiene
ningn punto de acumulacin en .
Proposicin 8.19 Sea ( X , ) un espacio topolgico entonces se cumple que
1) Si X es secuencialmente compacto implica que verifica B-W
2) Si X verifica B-W, es T1 y N1 implica que es secuencialmente compacto.
Demostracin 1) Sea un conjunto A infinito incluido
T1 y N1
en X entonces existe { xn } A tal que
X B -W
xn xm si n m como { xn } es una sucesin en X X sec. cto
que es sec. cto. Implica que tiene una subsucesin
convergente a y; sea N N y n0 tal que
xnk N nk n0 como adems xn y por como se eligi la sucesin entonces
{ xn } I N { y}
Topologa General
Espacios Compactos
{ x ,..., x } I W
n1
- 173 -
{ x ,..., x
1
n1
Wk +1 N y tal que
{ x ,..., x
1
n1
{x }
nk
N y
sucesin creciente en los naturales tal que xnk Vk luego xnk y es decir que
tenemos una subsucesin convergente lo que implica que X es sec. Cto.
Proposicin 8.20 Sea ( E , d ) un espacio mtrico secuencialmente. compacto
entonces es separable.
Demostracin Supongamos que E tiene ms de un elemento si no fuera as no hay
que probar nada.
Definimos
An = { A E : d ( x, y ) 1n si x, y A, x y}
como el espacio E tiene ms de un elemento entonces tenemos al menos dos
puntos x, y E y sea n0 tal que
1
1
d ( x, y ) n0
>0
n0
d ( x, y )
1 1
adems n n0 d ( x, y ) { x, y} An An n n0
n n0
Para cada n ordenamos los An por inclusin ( A B A B ) y sea { A }I una
cadena ( conjunto linealmente ordenado) en ( An , )
Probaremos que
U A An
I
{ x, y} max { A1 , A 2 } An d ( x, y )
- 173 -
1
si x y { x, y} An
n
Topologa General
Captulo 8
luego
UA
- 174 -
An
- 174 -
Topologa General
Espacios Compactos
- 175 -
N1
X cto
X cto
X se. cto
N2
X se. cto
T1 y N1
X B-W
X B-W
abierto
en
un
espacio
consideremos el conjunto:
mtrico
r ( x ) tal que B ( x, r ( x ) ) U ( x )
{ B ( x, ( ) ) : x E }
r x
2
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
Sea = min
{ ( ) : i = 1,..., n} probaremos
ri x
2
proposicin .
x E i0 {1,..., n} tal que
r ( xi0 )
x B xi0 ,
ahora si z B ( x, ) d ( x, z ) < y
- 175 -
la
Topologa General
Captulo 8
- 176 r ( xi0 )
2
r ( xi0 )
B ( x, ) B ( xi0 , r ( xi0 ) ) U ( x )
i0
B ( x, ) U ( x ) con ( xi0 ) I
i0
Corolario 8.23 Dado ( E , d ) espacio mtrico, K E compacto, sea U abierto tal
que K U entonces existe > 0 tal que
U B ( x, ) U
xK
compacto
B = U q f 1 ( B ) = f 1 U q = U f 1 ( q ) abierto
{
qB
qB qB 123
abierto
Topologa General
Espacios Compactos
- 177 -
A
F
V
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
Topologa General
Captulo 8
- 178 -
Sean entonces dos puntos del producto distintos x y X i por ser distintos
i =1
luego
X
i =1
es Hausdrff
Topologa General
Espacios Compactos
- 179 -
f n : X sucesiones de funciones
1
Fn = ( f n f ) [ , + ) Fn es cerrado n
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
IF
j =1
nj
IF
j =1
nj
luego
n n%0 f n ( x ) f ( x ) < x X
luego por definicin converge uniformemente.
- 179 -
Topologa General
Captulo 8
- 180 -
Pn f
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
como g ( x ) = 1 x 0 en [ 0,1] g Z y g
entonces si 0 x < t g ( x ) g
( t)=
( t)=
como
0 Pn ( t ) t
g ( Pn ( t ) ) t
1
424
3
P
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
( t ) = ( t ) + 12 ( t 2 ( t )
t 2 ( t ) = 0 como 0 es ( t ) = t
Topologa General
Espacios Compactos
- 181 -
lim Pn ( t ) t
n
f :X
definida
como
Sea qn = L.Pn ( g ( x ) ) [ X ]
Ejemplo practico
X = U C xi
i =1
luego X tiene una cantidad finita de componentes conexas que seran a lo sumo las
C xi con i = 1,..., n .Digo a lo sumo porque podra suceder que C xi I C x j y eso
implica que C xi , C x j es la misma componente conexa.
Sea en los reales el siguiente subconjuto X con la topologa relativa usual
- 181 -
Topologa General
Captulo 8
- 182 -
X = U ( n, n + 1)
n
- 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.
Definicin 9.1 Sea f : X Y una funcin entre el espacio topolgico ( X , ) y un
conjunto Y llamamos topologa final de por medio de f es la topologa f dada
por
f = {U Y : f 1 (U ) }
Definicin 9.2 Sea p : X Y una funcin sobreyectiva entre el espacio topolgico
( X , ) y un conjunto Y , llamamos topologa cociente a la topologa final de por
medio de p. Y a la funcin p le llamamos aplicacin cociente.
Definicin 9.3 Sea ( X , ) un espacio topolgico, ~ una relacin de equivalencia en
X y : X X : la proyeccin cannica. Llamaremos espacio cociente a
( X : , ) siendo la topologa cociente definida por ( es decir la topologa
final de por medio de ) donde:
( x ) = [ x ]:
y [ x ]: denota la clase de x por medio de la relacin de equivalencia ~
A la topologa cociente tambin suele anotarse como X : y por lo antes dicho:
X : = { A X : : 1 ( A ) }
los abiertos de la topologa cociente son los que su imagen inversa por
(proyeccin cannica) son abiertos en X.
Topologa General
Captulo 9
- 184 -
implica x 1 ( A ) o sea:
a = ( x ) ( 1 ( A ) )
que 1 ( A ) = B
B = 1 ( B )
{
A
luego B es saturado.
Proposicin 9.3 Sea A X : entonces es cerrado si y solo s 1 ( A ) es cerrado
- 184 -
Topologa General
Espacio Cociente
- 185 -
Topologa General
Captulo 9
- 186 -
n2
1
: n 2 es decir que:
n
1
: n 2 1 ( ( B ) )
n
Si B tenemos que:
x=y
Sea X = , x : y o
x, y
B si B I =
sat ( B ) = 1 ( ( B ) ) =
B U si B I
- 186 -
Topologa General
Espacio Cociente
- 187 -
-1
-1
1
Vn N ( 0) Vn entonces (Vn ) = Vn
y sea
B = {an : n }
que es abierto y saturado ya que B
sat ( B ) = B U = B
{ ( B ) es abierto
C
9.5
1
y como
( an ) Vn ( B ) ( a n ) ( B )
an 1 ( ( B ) ) = B
- 187 -
Topologa General
Captulo 9
Demostracin
Si f es continua como es continua entonces
f o es continua.
Si f o es continua sea U Y abierto
entonces:
1
1 ( f 1 (U ) ) = ( f o ) (U ) es abierto
pero si
- 188 -
f o
Y
f
X :
1 ( f 1 (U ) ) es abierto f 1 (U ) es abierto en X
f es continua
f = f% o y adems Im f = Im f%
Demostracin
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}
( 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:
% o )( t ) = ( t )
(1
424
3
% ([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 .
Ejemplo 9.4 Toro
El toro n-dimensional T n = n : con ~ definido:
( x1 ,..., xn ) : ( y1 ,..., yn ) xi yi i = 1,...n
T n es homeomorfo a S114
24
... 3
S1
Definimos : n ( S
n veces
1 n
( x ) = ( y ) x : y entonces existe % : n : ( S 1 )
(S )
1 n
[ 0,1]
)=
un homeomorfismo.
Ejemplo 9.5 Cilindro
Sea J = [ 12 , 12 ] en J 2 definimos
( x, y ) = ( x, y )
( x, y ) : ( x, y )
1
x = 2 y = y
es homomorfo al cilindro
- 189 -
12
1
2
Topologa General
Captulo 9
- 190 -
( x, y ) : ( x, y ) ( 12 , y ) : ( 12 , y )
( y, 1 ) : ( y, 1 )
2
2
Ejemplo 9.8 Espacio proyectivo real
n+1 \ {0}
n
PR =
donde la relacin de equivalencia x : y x = y para algn
:
n
PR n es homeomorfo a S
donde ~1 esta definida: x :1 y x = y
:1
1
Sn
Sea : \ {0}
definida por ( x ) = x con x =
:1
x :1
1
1
Entonces ( x ) = ( y )
x=
y despejando:
x
y
x
x=
yx: y
y
Si
n +1
- 190 -
(( x ) )
2
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
- 191 -
-v-
Indice
Captulo 0
Relacin de Orden......................................................................................
Orden total..................................................................................................
Cadena........................................................................................................
Lema de Zorn.............................................................................................
Axioma de Eleccin...................................................................................
Cardinal......................................................................................................
Teorema de Cantor.....................................................................................
Conjunto finito...........................................................................................
Conjunto Numerable..................................................................................
7
8
9
9
10
11
13
14
14
Captulo 1
Distancia mtrica.......................................................................................
Norma........................................................................................................
Bola Abierta...............................................................................................
Mtrica Relativa.........................................................................................
Conjunto Abierto........................................................................................
Conjunto Cerrado.......................................................................................
Mtricas Equivalentes................................................................................
29
31
33
35
35
38
39
Captulo 2
Espacios Topolgicos.................................................................................
Metrizable...................................................................................................
Entorno........................................................................................................
Interior.........................................................................................................
T0..................................................................................................................
T1................................................................................................................
T2 o Hausdrff............................................................................................
Clausura......................................................................................................
Punto de Acumulacin................................................................................
Punto Aislado..............................................................................................
- vi -
43
44
45
47
49
50
51
52
57
57
Frontera........................................................................................................
Conjunto Denso...........................................................................................
Conjunto Separable......................................................................................
Base..............................................................................................................
Sub-base.......................................................................................................
N2.................................................................................................................
Cubrimiento.................................................................................................
Subcubrimiento...........................................................................................
Espacio de Lindelff...................................................................................
Base Local...................................................................................................
N1.................................................................................................................
57
58
58
60
62
63
65
65
65
69
70
Captulo 3
Sucesin Convergente................................................................................
Conjunto Dirigido......................................................................................
Red.............................................................................................................
Punto de Acumulacin..............................................................................
Continuidad...............................................................................................
Continuidad Uniforme...............................................................................
Homeomorfismo........................................................................................
Funcin Abierta.........................................................................................
Funcin Acotada..........................................................................................
75
77
78
81
83
88
90
90
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 -
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
Aplicacin cociente 183
Axioma de eleccin 10
Base 60
Base local 69
Bola abierta 33
Botella de Klein 190
Cadena 9
Camino 127
Cardinal 11
Cardinal del conjunto potencia 27
Cilindro 189
Cinta de Mbius 190
Clase de equivalencia 6
Clausura 52
Cofinito 44
Complementos finitos 44
Completacin 144
Componente conexa 122
Componente conexa por camino 129
Conectado por camino 127
Conectados 122
Conjunto abierto 35
Conjunto cerrado 38
Conjunto compacto 157
Conjunto conexo 113
Conjunto convexo 118
Conjunto de Cantor 95
Conjunto de ndices 5
Conjunto de partes finitas 22
Conjunto denso 58
Conjunto dirigido 77
Conjunto finito 14
Conjunto numerable 14
Conjunto ordenado 8
Conjunto saturado 184
Conjunto totalmente ordenado 8
Contraccin 148
Convergencia puntual 93
Convergencia uniforme 91
Cota superior 8
Cubrimiento por abiertos 65
Disconexo 113
Distancia 29
Distancia discreta 30
Elemento maximal 8
Entorno 45
Equipotente 11
Espacio cociente 183
Espacio de convergencia uniforme 91
Espacio discreto 34
Espacio mtrico 29
Espacio mtrico completo 137
Espacio proyectivo real 190
Espacio topolgico compacto 157
Espacio topolgico de Baire 153
Espacio vectorial normado 31
Espacios conexos 113
Espacios homeomorfos 90
Espacios isomtricos 88
Espacios Topolgicos 43
Extensin continua 142
Familia indexada de conjuntos 5
Frontera 57
Funcin abierta 90
Funcin cerrada 90
Funcin cofinal 81
Funcin continua 83
Funcin distancia 89
Funcin Indexada 5
Funcin uniformemente continua 88
Hausdrff
51
Homeomorfismo 90
Inductivo 15
Inmersin 88
Interior 47
Isometra 88
Lema de Alexander 163
Lema de Zorhn 9
Lindelff 65
Localmente compacto 176
Localmente conexo 124
Localmente conexo por camino 131
Magro 150
Mximo 8
Mtrica relativa 35
Mtricas equivalentes 39
Metrizable 44
N1 70
N2 63
Norma 31
Nmero de Lebesgue 175
Nunca denso 150
Particin
7
Primer axioma de numerabilidad 70
Principio del buen orden 15
Producto cartesiano 10
Producto cartesiano 103
Propiedad Bolzano-Weiestrass 172
Propiedad de interseccin finita 168
Propiedad universal del cociente 188
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