Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Temas :
I. Espacios metricos
II. Introduccin a la topologa :
Bolas, entornos.
Conjuntos abiertos y cerrados
Subconjuntos notables : Frontera, interior, clausura.
I. Espacios metricos :
e!inicin ".":
e!inicin ".#:
Ejemplo :
$ugo %ndr&s 'aturana Cornejo
( )
( )
( ) ( )
( ) ( ) ( )
ado un conjunto , se de!ine la distancia como una aplicacion tal (ue cumple :
, )
, )
, , * ,
, , , * , ,
X d
d x y
d x y x y
d x y d y x x y X
d x y d x z d z y x y z X
+
( ) +lamaremos espacio metrico al par , , donde es un conjunto y una distancia de!inida en . X d X d X
( ) ( )
( )
# #
# #
Sea : de!inida por , . , Es , un espacio metrico -
Solucion :
.eremos si d cumple con ser una distancia en . Consideramos , :
/otamos (ue ) es decir , ).
Si , se tie
d x d m n m n d
x y
x y d x y
x y
( )
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
# # # #
# # # # # # # #
# # # # # # # # # #
ne (ue ). +uego , ) cuando .
, " " , , entonces: , ,
, , ,
0or lo anterior, es (ue d es una distancia b
x y x x d x y x y
d x y x y y x y x y x d y x d x y d y x
d x y x y x z z y x z z y d x z d z y
+ + +
( ) ien de!inida en , y por lo tanto , es un espacio metrico. d
Espacios metricos e Introduccin a la topologa
II. Introduccin a la topologa :
e!inicin #." :
1na bola abierta, es un subconjunto de un espacio metrico. +o de!inimos como :
onde el centro de la bola es 2a3 , d es la distancia de!inida en 4 y 2r3 el radio de la bola abierta.
e!inicin #.# :
+a bola cerrada la de!inimos :
e!inicin #.5 :
0ropiedades :
Ejemplo : Se demostrar6n las propiedades anteriores
$ugo %ndr&s 'aturana Cornejo
( ) ( ) { }
Tomando se tiene : , 7 ,
d
a X B a r x X d a x r <
( ) ( ) { }
Tomando se tiene : , 7 ,
d
a X B a r x X d a x r
( )
( )
Sea , un espacio metrico. iremos (ue es un conjunto abierto, si para cada e8iste
) tal (ue , . /otar (ue el radio 9aria dependiendo del punto.
y d y
X d A X y A
r B y r A
>
{ }
{ }
Consideremos la !amilia de abiertos : : , tenemos (ue es abierto.
Si tomamos la !amilia !inita de abiertos : ",..., , entonces es abierto .
i i
i I
i i
i I
A i I A
A i n A
U
I
{ } Consideremos la !amilia de abiertos : : , tenemos (ue es abierto.
emostracin :
Sea , entonces e8iste tal (ue . ado (ue es abierto, entonces e8iste ) tal
(ue
i i
i I
i i i
i I
d
A i I A
x A i I x A A r
B
>
U
U
( ) ( ) , , pero por lo tanto , . %si es abierto.
i i i d i i
i I i I i I
x r A A A B x r A A
U U U
Espacios metricos e Introduccin a la topologa
e!inicin #.: :
e!inicin #.; :
Ejemplo :
e!inicin #.< :
Ejemplo :
$ugo %ndr&s 'aturana Cornejo
{ } Si tomamos la !amilia !inita de abiertos : ",..., , entonces es abierto .
emostracin :
Sea , entonces para cual(uier se tiene (ue . ado abierto, entonces e8iste )
t
i i
i I
i i i i i
i I
A i n A
x A i I x A A r
>
I
I
( ) { } ( ) al (ue , , si tomamos min ) notamos (ue , , luego es abierto.
d i i i d i i i
i I i I
B x r A r r B x r A A
>
I I
( )
( )
Sea , un espacio metrico. iremos (ue es entorno de si e8iste ) tal (ue se
tenga , .
d
X d U X x X r
B x r U
>
Si bien es importante estudiar a los conjuntos abiertos, tambien lo es tener en cuenta (ue signi!ica su
complementario, es decir si tenemos un conjunto abierto, saber (ue es . Esto nos lle9a a lo (
c
A A ue se
llama conjunto cerrado. iremos (ue un conjunto es cerrado si su complementario es abierto.
( )
( )
Sea , un espacio metrico. Tomemos a , diremos (ue es un punto ad=erente de ,
si para todo ) se tiene , . El conjunto de puntos ad=erentes de se llama ad=erencia
de y se denota
d
X d S X x X S
r B x r S S
S
>
como . S
( )
( ) ( ) ( )
" # " #
" "
" # " # #
Si entonces
emostracin :
Consideremos , entonces dado cual(uier ) se cumple , , notemos lo siguiente
, , dado (ue y por tanto , para cual(uier
d
d d d
S S S S
x S r B x r S
B x r S B x r S S S B x r S
>
# " #
), es
decir , osea .
r
x S S S
>
( ) ( )
Sean un conjunto cerrado y un conjunto abierto. emuestre (ue es cerrado.
emostracin :
/otamos (ue . ado (ue es cerrado, entonces es abierto y la
unin de abiertos es un
c
c
c c c
A B A B
A B A B A B A A
conjunto abierto, por lo tanto es abierto. %si es cerrado.
c
A B A B
Espacios metricos e Introduccin a la topologa
e!inicin #.> :
e!inicin #.>." :
e!inicin #.>.#:
e!inicin #.>.5:
Ejemplos :
$ugo %ndr&s 'aturana Cornejo
( )
( )
Si consideramos , con , un espacio metrico. iremos (ue es un punto interior de
, si e8iste ) tal (ue , .
d
S X X d x X
S r B x r S
>
El conjunto de puntos interiores se denota por S
o
( )
( ) { }
Siendo , un espacio metrico y , diremos (ue es un punto de acumulacin de si
dado cual(uier ) se tiene (ue , . Es decir, cual(uier entorno de contiene
un punto distinto de
d
X d S X x X S
r B x r x S x
x
> 1
]
en S. El conjunto de puntos de acumulacin de S se denotar6 como . S
( ) { } iremos (ue es un punto aislado de , si e8iste ) tal (ue ,
d
x S r B x r S x >
( )
( ) ( )
( )
iremos (ue es un punto !rontera de si para todo ), se cumple (ue , y
tambi&n , . Se denota : .
/otemos (ue podemos decir :
d
c
d
c
x X S r B x r S
B x r S fr S
fr S S S
>
( ) [ ] [ ) ( ) ( ) { }
?????? )
/otar (ue )," )," , a su 9e@ )," )," , como tambien : )," )," fr
[ ) ( ) ( ) ( ) [ ] ( ) { } %dem6s, si tenemos ), # #, 5 . Identi!icamos (ue ), # #, 5 , #, 5 y ), #, 5
o
A A A A
Espacios metricos e Introduccin a la topologa
Ejercicios :
$ugo %ndr&s 'aturana Cornejo
( ) ( ) ( )
( ) ( )
". Sea , un espacio metrico. Consideremos la bola abierta , , adem6s , .
emuestre (ue e8iste ) tal (ue , , .
d d
d d
X d B x r y B x r
s B y s B x r
>
( )
( ) ( ) ( )
#. Sea , un espacio metrico. Sean , puntos distintos en , consideremos ) y ) tales
(ue , , entonces las bolas abiertas , y , son disjuntas.
d d
X d a b X r s
r s d a b B a r B b s
> >
+ <
( ) 5. emuestre (ue cual(uier bola abierta en un espacio metrico , es un abierto. X d
{ } :. Considere la !amilia arbitraria de abiertos : , demuestre (ue es un conjunto abierto.
i i
i I
A i I A
U
{ } ;. Considere la !amilia !inita de abiertos : , demuestre (ue es un conjunto abierto.
i i
i I
A i I A
I
( ) <. Sea , un espacio metrico. Si , demuestre (ue es abierto si y solo si, es entorno de
todos sus puntos.
X d A X A
( )
( )
A. 1n subconjunto de un espacio metrico , es cerrado si y solo si, dado cual(uier ,
e8iste ) tal (ue ,
d
C X d x C
r B x r C
>
{ } >. Si : es una !amilia arbitraria de cerrados, demuestre (ue es cerrado.
i i
i I
C i I A
I
{ } B. Si : es una !amilia !inita de cerrados, demuestre (ue es cerrado.
i i
i I
C i I A
U
( ) "). Sea , un espacio metrico. Considere , subconjuntos del espacio metrico, entonces : X d A B
C ado conjunto abierto y cerrado, demuestre (ue D es abierto. i A B A B
Espacios metricos e Introduccin a la topologa
$ugo %ndr&s 'aturana Cornejo
C ado conjunto cerrado y abierto, demuestre (ue D es cerrado. ii A B A B
( ) "". Sea , un espacio metrico. Considere , demuestre (ue . X d S X S S
( )
" # " #
" #
"#. Sea , un espacio metrico. Considere , subconjuntos de , si entonces se
cumple (ue .
X d S S X S S
S S
_
,
Espacios metricos e Introduccin a la topologa
Soluciones :
:.E emostrado en los ejemplos.
$ugo %ndr&s 'aturana Cornejo
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( )
". Tenemos (ue , , es decir : , . /otemos (ue , ), a!irmaremos (ue
, ) y es tal (ue : , , . En e!ecto :
Sea , , es decir : , , , , , , por la
d
d d
d
y B x r d x y r r d x y
s r d x y B y s B x r
a B y s d a y s d a y r d x y d a y d x y r
< >
>
< < + <
( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
desigualdad
triangular se tiene : , , , , entonces , , .
0or lo tanto: , , , considerando , ).
d
d d
d a x d a y d y x d a x r a B x r
B y s B x r s r d x y
+ <
>
( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( )
#. emostraremos por contradiccin. Supongamos cierta la e8istencia de , , , es decir
, y , , se sigue (ue , y , .
+uego ) , y ) , , sumando : ) ,
d d
d d
x B a r B b s
x B a r x B b s d a x r d b x s
r d a x s d b x r s d a x d b
< <
< < < + ( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
( ) ( )
, , , ,
por la desigualdad del triangulo , , , , asi : , y por =ipotesis ,
osea , , .
0or lo tanto: , , , son disjuntas.
d d
x d a x d b x r s
d a b d a x d x b d a b r s r s d a b
d a b d a b
B a r B b s
+ < +
+ < + + <
<
( ) ( ) ( ) ( )
( ) ( )
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( )
5. Consideremos , una bola abierta. Sea , , , tomemos , )
y demostraremos (ue , , .
Tomemos , , , , , , , ,
luego , y asi ,
d d
d d
d
d d
B x r y B x r d x y r s r d x y
B y s B x r
a B y s d a y s d a y d y x r d a x d a y d y x r d a x r
a B x r B y
< >
> >
I
I I
to.
Espacios metricos e Introduccin a la topologa
$ugo %ndr&s 'aturana Cornejo
( )
( )
( )
<.
ado conjunto abierto, entonces para cual(uier e8istir6 ) tal (ue , , por lo tanto el
conjunto es entorno de todos sus puntos.
Sea , dado (ue es entorno de todos sus punto
d
A x A r B x r A
A
x A A
>
>
>
( )
punto de la bola abierta
centrada en (ue este en , por lo tanto , . +uego C es abierto, asi es un conjunto cerrado.
c c c
d
x C C B x r C C
( ) ( )
>. Sea tal (ue , dado (ue es cerrado entonces es abierto. +uego, e8iste
) con , , como entonces , , asi es abierto.
0or l
c c c
i i i i
i I
c c c c c c
d i i i d i i i
i I i I i I
x A i I x A A A
r B x r A A A B x r A A A
>
U
U U U
o anterior, es (ue concluimos (ue es cerrado.
i
i I
A
I
B. Fbser9emos (ue es una interseccin !inita de abiertos, sabemos (ue la interseccin de abiertos
es un conjunto abierto, por lo tanto es abierto. 0or consiguiente, es cerrado.
c
i
i I
c
i i
i I i I
A
A A
I
I U
( ) ( ) ( )
").
C Se sabe (ue D . El conjunto es cerrado, asi (ue es un conjunto abierto
luego la interseccin !inita de abiertos, es un abierto* por lo tanto es un conjunto abierto.
C $e
c c
c
i A B A B A B B B
A B
ii
>
>
e S S
( )
( )
":. Sea .
ado abierto, entonces e8iste ): , . ado tambi&n, (ue entonces para cual(uier
) se tiene , , consideremos (ue tambi&n se cumple para , y como
d
d d
x A B x A x B
A r B x r A x B
s B x s B r s B
>
> ( )
( )
???????? ????????
????????
,
entonces , , luego G por : C se concluye (ue y por ende
.
d
x r A
B x r A x A B A B A B x A B
A B A B
( ) ( ) ( ) ( ) ( )
( ) ( ) ( )
????????
????????
";.
iC
Sea ): , , luego , y , , asi
y . +uego
Sea , luego ) se tiene , y , , asi
notamos (ue
d d d
d d
x A B r B x r A B B x r A B x r B
x A x B A B A B
x A B x A x B r B x r A B x r B
>
>
( ) ( )
???????? ????????
????????
, . +uego .
0or lo anterior, es (ue :
d
B x r A B x A B A B A B
A B A B
Espacios metricos e Introduccin a la topologa
$ugo %ndr&s 'aturana Cornejo
( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( )
( )
????????
????????
iiC
Sea ): , , , , luego se
tiene (ue , o , , por tanto
%n6logo
0or lo anterior, es (ue :
d d d
d d
x A B r B x r A B B x r A B x r B
B x r A B x r B x A x B x A B
A B A B
>
( ) "<. Consideremos , es decir e8iste ) tal (ue , . /otemos (ue lo anterior es dado un
elemento cual(uiera del conjunto G C, por tanto es abierto.
o
d
o o
x S r B x r S
S S
>
( )
( )
( ) { } ( )
( )
( )
" # " # " " #
# " #
" #
"A.
Sea , como ) tal (ue , y dado (ue entonces
e8iste ) tal (ue , , luego escogiendo min , ) se tiene , , por lo tanto
Sea
o o o o o o
d
d d
o
x S S x S x S x S r B x r S x S
s B x s S t r s B x t S S
x S S
>
> >
( ) ( ) ( ) ( )
( )
" # " # " #
" # " #
" # " #
): , , por lo tanto es claro (ue , y , , asi
0or lo anterior, es (ue :
o
d d d
o o o o
o o
o
x S S r B x r S S B x r S B x r S
x S x S x S S
S S S S
>
( )
( )
">. Tomemos , dado (ue es un conjunto abierto, entonces e8iste ) tal (ue , , y
como entonces , . 0or lo tanto, .
d
o o
d
x A A r B x r A
A S B x r S x S A S
>
Espacios metricos e Introduccin a la topologa
$ugo %ndr&s 'aturana Cornejo
( )
( )
???
???
"B.
iC Sea , entonces dado cual(uier ) se tiene , . Se sabe (ue , por lo tanto
, , nos lle9a a (ue . +uego : .
iiC Consideremos , e8iste entonces ) ta
o o o
d
o
d
o
x E r B x r E E E
B x r E x E E E
x E r
>
> ( )
( )
l (ue , . /otando (ue entonces llegamos
(ue ,
d
o
d
B x r E E E
B x r E E x E
( ) ( ) ( ) ( )
( ) ( )
( )
iiiC
Sea , osea dado cual(uier ) se tiene (ue , y a su 9e@ ,
luego si , dado cual(uier , entonces no e8iste ) tal (ue , , por ende
. H por ,
c
d d
c
d d
o
d
x E r B x r E B x r E
B x r E r s B x r E
x E B x r E
>
>
( ) ( ) ( ) ( ) ( )
( )
es (ue , luego
Si .
0or lo anterior, es (ue: .
o o
o o
o
x E x E x E x E E
x E E x E x E x E x E x E x E x E x E
E E E
( ) ( )
?? ??
?? ??
i9C /otemos (ue : , adem6s sabemos y como , entonces
, asi : y por ende : .
o
o o o o o o
o o o o o
E E E E E A B A B E E
E E E E E E E E E
_
,
_
,