TOPOLOGA

MANUEL CURREA
614101008
Fundacin Universitaria Konrad Lorenz
March 16, 2012
2
Contents
Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
I ESPACIOS TOPOLGICOS 5
Qu es topologa? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
Espacios Topolgicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Vecindades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
Los Nmeros Reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Bases de Topologas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
Espacios Mtricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
Espacios Normados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
Conjuntos Cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Interior de un Conjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
Adherencia y Frontera . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
Puntos de Acumulacin y Derivado . . . . . . . . . . . . . . . . . . . . . 28
II CONTINUIDAD 31
Funcines Continuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3
4 CONTENTS
Introduccin
El presente documento se realiza con el n de demostrar la suciencia en el curso
de TOPOLOGA, que imparte la Fundacin Universitaria Konrad Lorenz como
parte de su programa academico de pregado en Matematicas. Repasaremos los
conceptos bsicos de Topologa, haciendo nfasis en el desarrollo de ejemplos.
Todos los ejercicios que se encuentran aqui desarrollados, son los propuestos
en el libro: TOPOLOGA BSICA escrito por Jos M. Muoz Quevedo. Se
utilizo la edicin del ao 2003. Al inicio de cada seccin se hace una pequea
introduccin con los teoremas y deniciones necesarios para el desarrrollo de los
ejercicios.
El trabajo aqui presentado ha sido apoyado por la profesora Jenny Carvajal
Caminos, quien sugirio el texto y motivo el dearrollo y presentacion del presente
escrito.
Muchas gracias por el apoyo brindado, espero que este trabajo sirva tambien
como ayuda a los proximos estudiantes del curso de TOPOLOGA.
MANUEL CURREA
Part I
ESPACIOS TOPOLGICOS
5
7
Qu es topologa?
En nuestro diario vivir es comn utilizar palabras como; exterior, interior y fron-
tera. Para la mayoria de la poblacin no presenta inconveniente el tratar de
describir, la frontera de un pas, o el interior de un edicio o la frontera con el
siguiente vecindario. Pero digamos que tomamos el conjunto de todos los nmeros
racionales Q, cul es el interior de Q? Cal es la frontera?. Se hace entonces
necesario denir conceptos claros que nos permitan decidir sin ambigedades, si
dado un punto j este se encuentra en la frontera, el interior o el exterior de un
conjunto. Proporcionar tales criterios es uno de los nes de la topologa.
Si tenemos un conjunto y tomamos todos los puntos interiores de , a
este conjunto lo simbolizamos i:t(). Entonces el exterior de es simplemente el
interior del complemento de , y la frontera de son los puntos que no estan en
el interior y tampoco en el exterior, si notamos por crt() y 1r() , al exterior
y la frontera de respectivamente, tenemos;
crt() = i:t(C)
1r() = C(i:t() ' crt()) = C(i:t() ' i:t(C))
podemos concluir entonces que si podemos calcular el interior de un conjunto,
inmediatamente tenemos el exterior y la frontera, por esta razn la mayoria de
textos se concentra solo en la nocin de interior.
8
Espacios Topolgicos
Denition 1 Sea A un conjunto no vaco; una topologa de A es una colec-
cin t de subconjuntos de A (a los cuales llamaremos abiertos) que satisface las
condiciones siguientes:
Toda n:i o: dc co:,n:to: dc t c: n: co:,n:to dc t. (T1)
1a i:tcr:ccci o: dc cna|nicr co|ccci o: )i:ita dc co:,n:to: dc t, c: n: co:,n:to dc t(T2)
1| co:,n:to acio j c| :i::o co:,n:to A jcrtc:ccc: a t (T3)
Una pareja (A, t) constituida por un conjunto A y una topologa t de A, se
llama un espacio topolgico.
Podemos escribir las condciones T1, T2 y T3 trabajando con uniones e inter-
secciones de colecciones de conjuntos

t =
_

t (T1)

1
,
2
, ...
n
t =
n

i=1

i
t (T2)
O, A t (T3)
Podemos suprimir T3 ya que se halla implicita en T1 y T2 asi; si t;
_
A2;
= = O

A2;
= A
Example 2 Halle todas las topologas de A = 0, 1
t
1
= O, A
t
2
= O, 1 , A
t
3
= O, 2 , A
se verican facilmente T1 a T3.
9
Example 3 Halle todas las topologas de A = a, /, c
t
1
= O, A
t
2
= O, a , A
t
3
= O, / , A
t
4
= O, c , A
t
5
= O, a, / , A
t
6
= O, a, c , A
t
7
= O, /.c , A
t
8
= O, a , a, / , A
t
9
= O, a , a, c , A
t
10
= O, a , /, c , A
t
11
= O, / , a, / , A
t
12
= O, / , a, c , A
t
13
= O, / , /, c , A
t
14
= O, c , a, / , A
t
15
= O, c , a, c , A
t
16
= O, c , /, c , A
t
17
= O, a, / , a, c , A
t
18
= O, a, / , /, c , A
t
19
= O, a, c , /, c , A
se verican facilmente T1 a T3. notemos sin embargo, que t
20
= O, a , / , A
no es una toploga, ya que a y / son abiertos, pero a ' / no pertenece a
t asi que no se cumple T1. existen varios conjuntos de este tipo.
Example 4 Sea o(:) = 0, 1, 2, 3, ..., : 1 = / N [ / < : . Pruebe que
N ' o(:) [ : N es una topologa de N = 0, 1, 2, 3, ... .
Para probar que es topologa, debemos vericar las condiciones T1 a T3.
Veriquemos T1; en efecto o(:) es subconjunto de N, tomemos o(:) y o(:),
al ser subconjuntos de N, claramente (o(:) ' o(:)) N, y por ser subconjuntos
de N podemos decir que esta union pertenece a la topologa t de N, en resumen
(o(:) ' o(:)) (N, t), donde t = N ' o(:) [ : N ahora bien podemos
tomar;
_
n;m2N
(o(:) ' o(:))
y cualquier union de estas pertenecera a t, ya que para todo :, o(:) t.
10
Veriquemos T2 escogiendo o(:) y o(:), entonces (o(:) o(:)) sera o(j)
con j = :c:or(:, :) y o(j) t, ya que t = N ' o(:) [ : N .
T3, se cumplen trivialmente.
Example 5 Si t
1
y t
2
son topologas de A, pruebe que t
1
t
2
es una topologa
de A.
Para probar que t
1
t
2
es una topologa, debemos vericar las condiciones T1
a T3.
sea
i
t
1
t
2
y 1
i
t
1
t
2
, con i 1 entonces
i
' 1
i
t
1
t
2
, ya que

i
' 1
i
esta formado por abiertos, es decir
i
es un abierto en t
1
t
2
y 1
i
es
una abierto en t
1
t
2
. Entonces podemos escribir
_
_
i2I

i
' 1
i
_
t
1
t
2
, con lo
cual se cumple T1. Por otro lado si tomamos t
1
t
2
y 1 t
1
t
2
, entonces
1 t
1
t
2
, con lo que se cumple T2
Example 6 La topologa t
cd
de las colas a la derecha de A, es aquella
cuyos abiertos son reuniones de colecciones cualesquiera de colas a la derecha de
A. Pruebe que realmente t
cd
es una topologa.
Por denicin un abierto basico en t
cd
es [a, ) = r R [ a _ r
esto nos dice que r esta en [a, ) si sucede a a, entonces
[a, ) =
1
_
n=1
[a +
1
:
, )
con lo que [a, ) es union de abiertos y por tanto pertenece a t
cd
, en otra
palabras se cumple T1.
por otro lado tomemos [c, ) y [d, ) que pertenecen a t
cd
, [c, ) [d, ) =
[max(c, d), ) con lo que T2 se cumple.
Example 7 Considere el espacio topolgico (R, t
cd
) (R dotado de la topologa de
las colas a derecha); demuestre que para todo nmero real /, el conjunto (/, ) es
abierto en este espacio topolgico.
Debemos demostrar que (/, ) se puede expresar como union de abiertos de
esta topologa, por denicin un abierto basico en t
cd
es [a, ) = r R [ a _ r
entonces es facil ver que
(/, ) =
1
_
n=1
[/ +
1
:
, )
con lo que (/, ) esta formado por abiertos basicos de esta topologa. Por
tanto es abierto en este espacio topolgico.
11
Vecindades
En un espacio topolgico A, se llama vecindad de una parte de A a todo
conjunto que contiene un abierto que contiene a . Las vecindades de una conjunto
unitario r se llaman simplemente vecindades de r.
Theorem 8 Un conjunto es abierto si y solamente si es vecindad de cada uno de
sus puntos.
llamamos (x) al conjunto de las vecindades del punto x, asi pues (A) ser
el conjunto de las vecindades de A.
Theorem 9
Toda jartc dc A nc co:tic:c a n:a cci:dad dc A, c: n:a cci:dad dc r.
(V1)
Toda i:tcr:ccci o: )i:ita dc co:,n:to: dc (x), c: n: co:,n:to dc (x). (V2)
1| jn:to r jcrtc:ccc a todo co:,n:to dc (x). (V3)
Si \ (x), cri:tc \ (x) ta| nc \j \, \ (y). (V4)
Denition 10 x es punto interior de A si existe una vecindad de x contenida en
A.
Example 11 Dados A = a, /, c, d, c y t = O, A, a, / , c, d , a, /, c, d halle
(b), (e), (a, c).
Segn el teorema 8
(b) =a, / , a, /, c , a, /, d , a, /, c , a, /, c, d , A
(e) =A
(a, c) =a, /, c, d , A
12
Example 12 Se dice que un espacio topolgico (A, t) es T
0
o de Kolmogoro, si
para todo par de puntos distintos a, / de A, existe un conjunto \ en t tal que
(a \ . / , \) . (a , \ . / \).
es decir, si esxiste una vecindad abierta de uno de los dos que no contiene al
otro punto.
pruebe que R con su topologa usual es T
0
Como r ,= j, existe - 0 tal que [r j[ -, entonces sea r \ y
\ _ t. al ser \ un conjunto de (R, t
usual
), podemos escoger a \ como \ =
r R [ r - < r < r + - = (r-, r+-), y como - < [r j[ , entonces j , \.
Siempre que tengamos r ,= j escogemos un - 0 tal que en (R, t
usual
), existe
un conjunto \ con la propiedad que (r \ . j , \). De manera anloga se
demuestra que (r , \ . j \).
13
Los Nmeros Reales
En esta seccin realizaremos un repaso de las propiedades de los nmeros reales
que juegan un papel importante en la topologa
Dado cualquier real positivo r 0. existe (al menos) un nmero natural :
tal que r
1
n
0.
Propiedad Arquimedeana de R : (\r 0)(\.)(: N)(:r .)
Axioma de completitud de R : Todo subconjunto no vaco de R acotado
superiormente, tiene mnima cota superior (supremo o Sup) en R.
Todo subconjunto no vaco de R acotado inferiormente, tiene mxima cota
inferior (nmo o Inf) en R.
Entre dos nmeros reales cualquesquiera siempre existe un nmero racional.
Entre dos nmeros reales cualesquiera siempre existe un numero irracional.
Denition 13 Un subconjunto 1 de R se llama intervalo si todo punto de R que
est entre dos puntos de 1, tambin est en 1, es decir, si
(\r, j 1)(\.)(r < . < j = . 1)
Theorem 14 Sea una coleccin de intervalos tal que

I2&
1 ,= O; entonces 1 =
_
I2&
1 es un intervalo.
Theorem 15 Todo abierto no vaco de R es la unin de una coleccin contable
de intervalos abiertos disyuntos dos a dos.
Example 16 Demostrar que entre dos nmeros reales distintos siempre existe un
racional.
Sin perdida de generalidad podemos decir que existen r, j R. por la propiedad
Arquimedeana : N tal que :
1
yx
. Para este : tenemos que :j :r 1.
Por otro lado tambien de la propiedad de Arquimedes se desprende que si
:r 0, entonces : N tal que :1 _ :r < :. Esta : cumple que : < :j,
ya que si tomamos :j :r 1, tenemos que :j 1 + :r _ :. Por tanto se
tiene :r < : < :j, de donde r <
m
n
< j, siendo
m
n
un nmero racional entre
dos reales distintos.
14
Example 17 Demostrar que entre dos nmeros reales distintos siempre existe un
irracional.
Sabemos que
_
2 es un irracional, entonces si en el ejemplo anterior llamamos
j =
m
n
, podemos tomar dos reales r, j de tal forma que se cumpla que
x
p
2
< j <
y
p
2
, de donde obtenemos r <
_
2j < j, siendo
_
2j un irracional entre dos reales
distintos.
Example 18 Sea (A, t) un espacio topolgico y sea r A; se dice que una colec-
cin

(r) es un sistema fundamental de vecindades de r, si para toda vecindad

\ de r, existe otra vecindad \

(r) tal que \ _ \. Demostrar que en R

y en R
2
con sus topologas usuales, todo punto posee un sistema fundamental de
vecindades enumerable, es decir, con tantas vecindades como nmeros naturales.
En (R, t
usual
) tomamos

(r) =
__
r
1
n
, r +
1
n
[ : N
__
, es facil ver que

(r) es un sistema fundamental de vecindades ya que para cada : tengo una

vecindad para la cual :+1 sera otra vecindad con la condicion \
n+1
_ \
n
, siendo
: enumerable.
En (R
2
, t
usual
) basta con tomar un disco de radio 1,: centrado en 1, es decir
si 1 = (r, j), ( 1 es el punto de coordenadas r, j ) un sistema fundamental de
vecindades seria el conjunto formado por los discos centrados en j con radio 1,:

(r) =
_
11
n
(1) [ : N
_
donde 11
n
(1) =
_
(r
1
, j
1
) [ d((r, j), (r
1
, j
1
) <
1
n
_
y d es la distancia usual
_
(r
1
r)
2
+ (j
1
j)
2
<
_
1
:
_
2
cumpliendo asi las condiciones necesarias para ser sistema fundamental de
vecindades para cualquier punto de R
2
.
15
Bases de Topologas
Llamamos base de una topologa a un conjunto de abiertos, de forma tal que
cualquier elemento de la topologa puede obtenerse como union de los elementos
de la base.
Denition 19 Sea (A, t) un espacio topolgico. Una subclase , de t se llama
una base de la topologa t si todo conjunto abierto (es decir, todo elemento de t
) puede obtenerse como unin de miembros de ,.
Theorem 20 Sea (A, t) un espacio topolgico. un conjunto , de partes abiertas
de A es una base para t si y slo si
(\\ t)(\r \ )(\ ,)(r \ _ \ )
es decir, si dados cualquier abierto \ y cualquiera de sus puntos, existe un
abierto de , contenido en \ y que contiene al punto dado.
Theorem 21 Una familia , de conjuntos es base de alguna topologa del conjunto
A =
_
B2
1 si y slo si para cada par de miembros l y \ de , y para cada punto
r en l \, hay un conjunto \ en , tal que r \ y \ _ l \. (es decir, si
l \ es unin de miembros de , ).
Theorem 22 Sea o una familia no vaca de subconjuntos de A. La coleccin ,
de todas las intersecciones nitas de miembros de o es base de una topologa t de
A. Se dice que t es generada por o y que o es una sub-base de t. A los elementos
de o se les llama abiertos sub-bsicos.
Denition 23 Dos bases , y ,
0
en A se llaman equivalentes si generan la misma
topologa de A.
Theorem 24 Dos bases , y ,
0
en A son equivalentes si y slo si se cumplen
simultneamente las dos propiedades siguientes:
(a) Para todo \ de , y para todo r en \, existe \
0
, tal que r \
0
y
\
0
_ \.
(b) Para todo \
0
de , y para todo r
0
en \
0
, existe \ , tal que r
0
\ y
\ _ \
0
.
Si solamente se cumple (a), la topologa generada por , es un subconjunto
propio de la generada por ,
0
.
16
Example 25 Si A es a, /, c, d, c y o = a, /, c , /, c, d , /, c , halle la
topologa generada por o.
Primero hallamos la base , como interseccion de elementos de o
, = a, /, c , /, c, d , /, c , /, c , / , A
Ahora podemos describir la topologa como union de elementos de la base
t = a, /, c , /, c, d , /, c , /, c , / , a, /, c, d , a, /, c, c , /.c.d.c , /, c, c , A
t es la topologa generada por o.
Example 26 Pruebe que los intervalos abiertos de extremos racionales forman
una base de la topologa usual de R y en consecuencia dicha topologa tiene una
base enumerable.
Tomemos la coleccin
o = (j, ) [ j < , j, Q
Podemos expresar R como la unin de esta coleccion;
R =
_
i2Q
(j
i
,
i
)
siendo o una base para la topologa usual de R y como el cardinal de o es el
mismo de QQ, entonces es enumerable.
17
Espacios Mtricos
En cualquier espacio podemos denir una distancia o tambien llamada metrica,
que no es mas que una forma de medir distancias entre puntos del espacio.
Una distancia (o una mtrica) entre dos puntos de un conjunto A, es una
funcin d : A A R, con algunas propiedades adicionales que corresponden a
nuestro concepto intuitivo de distancia:
D1) \r\j(d(r, j) _ 0) y \r\j(d(r, j) = 0 si y slo si r = j)
D2)\r\j(d(r, j) = d(j, r)), propiedad llamada "simetra de la distancia".
D3)\r\j\.(d(r, j) _ d(r, .) +d(., j)), propiedad llamada "desigualdad trian-
gular"
A un conjunto A no vaco dotado de una mtrica d, se le llama un espacio
mtrico y se le nota (A, d).
En (A, d) se dene bola abierta de centro j y radio r en la forma 1
r
(j) =
r A [ d(r, j) < r .
Example 27 Sean (A
1
, d
1
), (A
2
, d
2
), (A
3
, d
3
) espacios mtricos y sea A = A
2

A
2
A
3
el producto cartesiano de los conjuntos A
1
, A
2;
A
3:
Denamos
d

((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) = : ard
1
(r
1;
j
1
), d
2
(r
2
, j
2
), d
3
(r
3
, j
3
)

d((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) = d
1
(r
1;
j
1
) + d
2
(r
2
, j
2
) + d
3
(r
3
, j
3
)
Demostrar que d

y

d son mtricas sobre A.
Para demostrar que son mtricas debemos vericar que se cumplan 11, 12 y
13.
Debemos teber en cuenta que d esta denidad de la forma usual; es decir;
d(r, j) =
_
(r j)
2
= [r j[
11 para d

((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) _ 0
si (r
1
, r
2
, r
3
) ,= (j
1
, j
2
, j
3
) tenemos
d

((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) = : ard
1
(r
1;
j
1
), d
2
(r
2
, j
2
), d
3
(r
3
, j
3
)
: ard
1
(r
1;
j
1
), d
2
(r
2
, j
2
), d
3
(r
3
, j
3
) = : ar
_
_
(r
1
j
1
)
2
,
_
(r
2
j
2
)
2
,
_
(r
3
j
3
)
2
_
18
al ser (r
1
, r
2
, r
3
) ,= (j
1
, j
2
, j
3
) si tomamos r
1
,= j
1
, tenemos que r
1
j
1
,= 0
con lo cual
_
(r
1
j
1
)
2
0 asi que
: ar
_
_
(r
1
j
1
)
2
,
_
(r
2
j
2
)
2
,
_
(r
3
j
3
)
2
_
0
y lo podemos asegurar con cualquier r o j, asi que d

((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) 0.
Por otro lado si (r
1
, r
2
, r
3
) = (j
1
, j
2
, j
3
), entonces r
1
= j
1
, r
2
= j
2
, r
3
= j
3
y asi tenemos que
r
1
j
1
= r
2
j
2
= r
3
j
3
= 0, teniendo que
d

((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) = : ard
1
(r
1;
j
1
), d
2
(r
2
, j
2
), d
3
(r
3
, j
3
)
: ard
1
(r
1;
j
1
), d
2
(r
2
, j
2
), d
3
(r
3
, j
3
) = : ar
_
_
(r
1
j
1
)
2
,
_
(r
2
j
2
)
2
,
_
(r
3
j
3
)
2
_
= 0
y por lo tanto d

((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) _ 0.
11 para

d

d((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) _ 0
si (r
1
, r
2
, r
3
) ,= (j
1
, j
2
, j
3
) tenemos
d

((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) = d
1
(r
1;
j
1
) + d
2
(r
2
, j
2
) + d
3
(r
3
, j
3
)
d
1
(r
1;
j
1
) + d
2
(r
2
, j
2
) + d
3
(r
3
, j
3
) =
_
(r
1
j
1
)
2
+
_
(r
2
j
2
)
2
+
_
(r
3
j
3
)
2
al ser (r
1
, r
2
, r
3
) ,= (j
1
, j
2
, j
3
) si tomamos r
1
,= j
1
, tenemos que r
1
j
1
,= 0
con lo cual
_
(r
1
j
1
)
2
0 asi que
_
(r
1
j
1
)
2
+
_
(r
2
j
2
)
2
+
_
(r
3
j
3
)
2
0
y lo podemos asegurar con cualquier r o j, asi que

d((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) 0.
Por otro lado si (r
1
, r
2
, r
3
) = (j
1
, j
2
, j
3
), entonces r
1
= j
1
, r
2
= j
2
, r
3
= j
3
y asi tenemos que
r
1
j
1
= r
2
j
2
= r
3
j
3
= 0, teniendo que

d((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) = d
1
(r
1;
j
1
) + d
2
(r
2
, j
2
) + d
3
(r
3
, j
3
)
d
1
(r
1;
j
1
) + d
2
(r
2
, j
2
) + d
3
(r
3
, j
3
) =
_
(r
1
j
1
)
2
+
_
(r
2
j
2
)
2
+
_
(r
3
j
3
)
2
= 0
y por lo tanto

d((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) _ 0.
12 para d

((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) = d

((j
1
, j
2
, j
3
), (r
1
, r
2
, r
3
))
: ard
1
(r
1;
j
1
), d
2
(r
2
, j
2
), d
3
(r
3
, j
3
) = : ard
1
(j
1
, r
1
), d
2
(j
2
, r
2
), d
3
(j
3
, r
3
)
: ar
_
_
(r
1
j
1
)
2
,
_
(r
2
j
2
)
2
,
_
(r
3
j
3
)
2
_
= : ar
_
_
(j
1
r
1
)
2
,
_
(j
2
r
2
)
2
,
_
(j
3
r
3
)
2
_
19
Es claro que
_
(r
1
j
1
)
2
=
_
(j
1
r
1
)
2
,
asi que esta ultima expresin es equivalente, por tanto d

((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) =
d

((j
1
, j
2
, j
3
), (r
1
, r
2
, r
3
)).
12 para

d

d((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) =

d((j
1
, j
2
, j
3
), (r
1
, r
2
, r
3
))
d
1
(r
1;
j
1
) + d
2
(r
2
, j
2
) + d
3
(r
3
, j
3
) = d
1
(j
1;
r
1
) + d
2
(j
2
, r
2
) + d
3
(j
3
, r
3
)
_
(r
1
j
1
)
2
+
_
(r
2
j
2
)
2
+
_
(r
3
j
3
)
2
=
_
(j
1
r
1
)
2
+
_
(j
2
r
2
)
2
+
_
(j
3
r
3
)
2
Es claro que
_
(r
1
j
1
)
2
=
_
(j
1
r
1
)
2
, valido tambien para las otras races
asi que esta ultima expresin es equivalente, por tanto

d((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) =

d((j
1
, j
2
, j
3
), (r
1
, r
2
, r
3
)).
13 para d

((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) _ d

((r
1
, r
2
, r
3
), (.
1
, .
2
, .
3
))+d

((.
1
, .
2
, .
3
), (j
1
, j
2
, j
3
))
d

((r
1
, r
2
, r
3
), (.
1
, .
2
, .
3
))+d

((.
1
, .
2
, .
3
), (j
1
, j
2
, j
3
)) = : ard
1
(r
1;
.
1
), d
2
(r
2
, .
2
), d
3
(r
3
, .
3
)+
: ard
1
(.
1;
j
1
), d
2
(.
2
, j
2
), d
3
(.
3
, j
3
)
: ar
_
_
(r
1
j
1
)
2
,
_
(r
2
j
2
)
2
,
_
(r
3
j
3
)
2
_
_ : ar
_
_
(r
1
.
1
)
2
,
_
(r
2
.
2
)
2
,
_
(r
3
.
3
)
2
_
+
: ar
_
_
(.
1
j
1
)
2
,
_
(.
2
j
2
)
2
,
_
(.
3
j
3
)
2
_
De las propiedades de los reales sabemos que [r + j[ _ [r[ +[j[ , si sustituimos
r = r
1
.
1
y j = .
1
j
1
d(r, j) = [r + j[ = [(r
1
.
1
) + (.
1
j
1
)[ _ [r
1
.
1
[+[.
1
j
1
[ = d(r, .)+d(., j)
Aplicando este hecho en nuestra funcin : ar claramente se cumple la propiedad
13 para

d

d((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) _

d((r
1
, r
2
, r
3
), (.
1
, .
2
, .
3
))+

d((.
1
, .
2
, .
3
), (j
1
, j
2
, j
3
))

d((r
1
, r
2
, r
3
), (.
1
, .
2
, .
3
))+

d((.
1
, .
2
, .
3
), (j
1
, j
2
, j
3
)) =
_
(r
1
.
1
)
2
+
_
(r
2
.
2
)
2
+
_
(r
3
.
3
)
2
+
_
(.
1
j
1
)
2
+
_
(.
2
j
2
)
2
+
_
(.
3
j
3
)
2
_
(r
1
j
1
)
2
+
_
(r
2
j
2
)
2
+
_
(r
3
j
3
)
2
_
_
(r
1
j
1
)
2
+
_
(r
2
j
2
)
2
+
_
(r
3
j
3
)
2
+
_
(r
1
j
1
)
2
+
_
(r
2
j
2
)
2
+
_
(r
3
j
3
)
2
De las proiedades de los reales sabemos que [r + j[ _ [r[ +[j[ , si sustituimos
r = r
1
.
1
y j = .
1
j
1
d(r, j) = [r + j[ = [(r
1
.
1
) + (.
1
j
1
)[ _ [r
1
.
1
[+[.
1
j
1
[ = d(r, .)+d(., j)
Usando este hecho tenemos que
d(r
1
, j
1
) _ d(r
1
, .
1
) + d(.
1
, j
1
)
d(r
2
, j
2
) _ d(r
2
, .
2
) + d(.
2
, j
2
)
d(r
3
, j
3
) _ d(r
3
, .
3
) + d(.
3
, j
3
)
20
Sumando terminos
d(r
1
, j
1
)+d(r
2
, j
2
)+d(r
3
, j
3
) _ d(r
1
, .
1
)+d(.
1
, j
1
)+d(r
2
, .
2
)+d(.
2
, j
2
)+d(r
3
, .
3
)+d(.
3
, j
3
)
reemplazando la denicin de d
_
(r
1
j
1
)
2
+
_
(r
2
j
2
)
2
+
_
(r
3
j
3
)
2
_
_
(r
1
j
1
)
2
+
_
(r
2
j
2
)
2
+
_
(r
3
j
3
)
2
+
_
(r
1
j
1
)
2
+
_
(r
2
j
2
)
2
+
_
(r
3
j
3
)
2
con lo que nalmente tenemos
.

d((r
1
, r
2
, r
3
), (j
1
, j
2
, j
3
)) _

d((r
1
, r
2
, r
3
), (.
1
, .
2
, .
3
)) +

d((.
1
, .
2
, .
3
), (j
1
, j
2
, j
3
))
Como se cumplen 11, 12 j 13, entonces d

j y

d son metricas.
21
Espacios Normados
Denition 28 Sea A un espacio vectorial real o complejo; una norma sobre A
es una funcin || : A R que satisface las propiedades siguientes:
N1) |r| _ 0 y (|r| = 0 sii r =

0 ), donde

0 es el vector nulo.
N2) |`r| = [`[ |r| para todo ` R y r A.
N3) |r + j| _ |r| +|j| (desigualdad triangular).
Un espacio vectorial sobre el cual se ha denido una norma se llama un espacio
vectorial normado o simplemente un espacio normado. Todo espacio normado
tambien es un espacio mtrico.
Denition 29 (Producto Interior ()) Se deben cumplir las siguientes propiedades:
P1) \r (r r _ 0) y \r (r r = 0 ssi r =

0 )
P2) \r\j (r j = j r)
P3) (\c, , R)(\r, j, .)(cr + ,j) . = c(r .) + ,(j .)
Si un espacio vectorial esta dotado de un producto interior, su norma se dene
como
|)| =
_
r r
Example 30 Sea A el conjunto de todas las funciones continuas y acotadas
denidas en el intervalo [0, 1] y con valores en R, notado por C[0, 1]. Si ) y q son
funciones de C[0, 1] sedene su suma ) +q como la funcion que calculada en r vale
)(r)+q(r), o sea que para todo r de [0, 1], se tiene ()+q)(r) = )(r)+q(r) y se de-
ne el producto del escalar ` por ) como la funcin `) que evaluada en cualquier
r vale `)(r), es decir, (`))(r) = `()(r)). Probar que ) q =
_
1
0
)(r)q(r)dr es
un producto interior en A y halle la norma determinada por este producto de
funciones.
Para demostrar que es un producto interior debemos vericar 11, 12 y 13.
11
) ) =
_
1
0
)(r))(r)dr _ 0, lo cual es evidente ya que ) pertenece a C[0, 1] y
esta integral existe, solo es cero en el caso en que ) = 0
12
) q =
_
1
0
)(r)q(r)dr = q) =
_
1
0
q(r))(r)dr, de la misma denicin y por ser
continuas en C[0, 1], el valor de estas integrales es el mismo asi que ) q = q ).
13
(c) + ,q) / = c() /) + ,(q /)
22
_
1
0
(c)(r)+,q(r))/(r)dr =
_
1
0
(c)(r)/(r)+,q(r)/(r))dr =
_
1
0
(c)(r)/(r))dr+
_
1
0
(,q(r)/(r))dr
c
_
1
0
)(r)/(r)dr + ,
_
1
0
q(r)/(r)dr = c() /) + ,(q /)
Como se cumplen las tres condiciones, ) q =
_
1
0
)(r)q(r)dr es un producto
interior.
La norma estaria denida como:
|)| =
_
) ) =
_
_
1
0
[)(r)]
2
dr
23
Conjuntos Cerrados
Denition 31 Sea (A, t) un espacio topolgico; un subconjunto 1 de A se llama
cerrado si su complemento es abierto, es decir, si A 1 = C1 t.
Theorem 32 Toda interseccin de conjuntos cerrados, es un conjunto cerrado y
toda unin nita de conjuntos cerrados es un conjunto cerrado.
Denition 33 Una coleccin de partes de un espacio topolgico A se llama lo-
calmente nita, si para todo punto r de A existe una vecindad \ de r, tal que \
encuentra tan solo un nmero nito de partes de la coleccin (es decir, \ ,= O
tan solo para un nmero nito de partes de la coleccin ).
Theorem 34 La unin de una coleccin localmente nita de partes cerradas de
un espacio topolgico A, es cerrada en A.
Theorem 35 En un espacio mtrico, toda bola cerrada es un conjunto cerrado.
Ejercicio 36 Demuestre que =
_
1
n
[ : N, : 1
_
no es un subconjunto cer-
rado de R.
Vemos claramente que 0 , , es decir 0 C, y como no existe ninguna
vecindad que contenga a 0 en C, entonces C no es abierto, por tanto no es
cerrado.
Ejercicio 37 Pruebe que en R
2
toda bola abierta contiene una bola cerrada con-
cntrica.
recordemos primero las deniciones de bola abierta y cerrada
Bola Abierta: 1
r
(1) =
_
Q R
2
[ d(1, Q) < r
_
Bola Cerrada: 1
r
[1] =
_
Q R
2
[ d(1, Q) _ r
_
En R
2
una bola abierta de radio r centrada en 1, seria: si 1 = (/, /)
_
(r /)
2
+ (j /)
2
< r
es decir un disco con centro en (/, /) de radio r, entonces existe un c 0 tal que
r c 0, tomemos ahora
_
(r
n
/)
2
+ (j
n
/)
2
c +
1
:
si hacemos
_
n2N
entonces el conjunto
_
(r
n
/)
2
+ (j
n
/)
2
c+
1
n
es abierto
por lo tanto su complemento es cerrado, es decir
24
_
(r /)
2
+ (j /)
2
_ c
como c < r, hallamos una bola cerrada contenida dentro de una abierta en R
2
.
25
Interior de un Conjunto
Denition 38 En un espacio topolgico A, se dice que un punto j es punto
interior de un subconjunto de A cuando es vecindad de j, es decir, cuando
existe un abierto contenido en y que contiene al punto j.
El conjunto de los puntos interiores de se llama el interior de y se nota

o i:t(). Claramente i:t() _ .

Theorem 39 Si \ es un abierto contenido en , entonces \ _ i:t(). Es decir;
respecto a la contenencia, i:t() es el mximo conjunto abierto contenido en .
Theorem 40 El interior de un conjunto es la unin de todos los abiertos con-
tenidos en el conjunto, es decir, es el mayor abierto contenido en el conjunto.
Theorem 41 Un conjunto es abierto si y slo si es igual a su interior.
Denition 42 Se llama exterior de un conjunto al interior de su complemento.
Si _ A, crt() = i:t(C)
Ejercicio 43 En el espacio topolgico R, halle i:t(Q), i:t(1)
No existe a < / tal que (a, /) _ Q, ya que cualquier intervalo contiene innitos
puntos racionales e iirracionales, entonces i:t(Q) = O
1:t(1) = O
Ejercicio 44 En R con la topologa de las colas a derecha; qu es: i:t((0, 1))?,
i:t((, 2])?, i:t[5, ))?
i:t((0, 1)) = O
i:t((, 2]) = O
i:t([5, )) = [5, )
26
Adherencia y Frontera
Denition 45 En un espacio topolgico A se dice que un punto j es adherente a
un subconjunto de A (o que pertenece a la adherencia de ), si toda vecindad de
j encuentra a . El conjunto de los puntos adherentes a se llama la adherencia
(o la clausura) de se nota , o sea que
j = (\\ (j))(\ ,= O)
Theorem 46 C() = i:t(C) = crt() y C(i:t()) = C
Theorem 47 Todo cerrado que contiene a , contiene a , o sea que, con re-
specto a la contenencia, es el mnimo cerrado que contiene a . De esta
propiedad es evidente que si es cerrado, entonces = .
Theorem 48 es la interseccin de todos los conjuntos cerrados que contienen
a .
Theorem 49 Sea A un conjunto no vaco y supongamos dada una funcin "de
adherencia" ad : (A) (A) tal que
i) ad(O) = O
ii) _ ad()
iii) ad(ad()) = ad()
iv) ad(' 1) = ad() ' ad(1)
Entonces la coleccin
t = C [ _ A . ad() =
es una topologa para A y es tal que para todo subconjunto de A, su ad-
herencia (con respecto a t ) coincide con ad().
Denition 50 Un punto r se llama un punto frontera de , si toda vecindad de
r encuentra a y a C. El conjunto de los puntos frontera de se llama la
frontera de y se nota 1r().
Ejercicio 51 Demuestre que ' 1 = ' 1
De la denicin tenemos que = y 1 = 1, en particular _ y 1 _ 1 ,
de donde podemos armar que '1 _ '1 y en consecuencia ' 1 _ ' 1.
Como ' 1 es cerrado, entonces ' 1 = ' 1 y ' 1 _ ' 1.
Por otro lado _ ' 1 y 1 _ ' 1, entonces _ ' 1 y 1 _ ' 1, es
decir ' 1 _ ' 1.
Finalmente como ' 1 _ '1 y '1 _ ' 1, entonces ' 1 = '1.
27
Ejercicio 52 Pruebe que 1r() = i:t()
Sabemos que i:t() = (A1r()) , por lo tanto 1r() = (A
1r()), entonces es facil ver que
(A1r()) = (i:t()'i:t(A) = (i:t())'(i:t(A)) = i:t()
De donde podemos concluir que 1r() = i:t().
Ejercicio 53 Demuestre que es cerrado si y slo si _ 1r().
Si es cerrado, entonces = _ 1r(). Por otra parte si _ 1r() como
= ' 1r() = , es cerrado.
Ejercicio 54 Hallar la adherencia de los siguientes subconjuntos de R
Q = R
=
_
1
n
[ : Z
_
=
(0, 3] = [0.3]
28
Puntos de Acumulacin y Derivado
En un espacio topolgico A, se dice que r A es un punto de acumulacin (o
un punto lmite) de un subconjunto de A, si toda vecindad de r encuentra a
r , es decir, si toda vecindad de r intersecta a en puntos distintos de r.
El conjunto de los puntos de acumulacion de se llama el derivado de y se
nota
a
.
Theorem 55 = '
a
Theorem 56 es cerrado si y slo si contiene a su derivado
Sea un subconjunto de un espacio topolgico A. Un punto j de se llama
punto aislado de , si existe una vecindad \ de j tal que \ = j .
Theorem 57 Un subconjunto de A es denso en A si y slo si todo abierto no
vaco de A encuentra a .
Example 58 Demostrar que para cualquier subconjunto de un espacio topolgico,
(
a
)
a
_
a
y concluya que
a
es cerrado.
Para mostrar esta propiedad primero demostraremos lo sifuiente.
En (A, t) , 1 _ A es cerrado si y slo si 1
a
_ 1. (Teorema 56)
Para demostrar este teorema tomaremos una proposicin equivalente: 1 _ A
no es cerrado si y slo si 1
a
(A 1) ,= O.
Supongamos que 1 _ A no es cerrado, entonces A1 no es abierto, entonces
existe r A 1 tal que para cualquier abierto G que contiene a r, 1 G ,= O,
es decir r 1
a
esto implica que 1
a
(A 1) ,= O. Por otro lado supongamos
que 1
a
(A 1) ,= O, sea r 1
a
(A 1), como r 1
a
, dado cualquier
G tal que r G, G 1 ,= O es decir, no existe ningn abierto en r tal que
r _ A 1, por lo tanto resulta que A 1 no es abierto, es decir 1 no es
cerrado.
Con lo que queda probado el teorema 56.
Sea _ A, Ahora bien si 1 es cerrado de forma que _ 1, entonces
a
_ 1
ya que si _ 1
a
_ 1
a
, pero 1 es cerrado asi que 1
a
_ 1, por lo tanto

a
_ 1.
Si r (
a
)
a
esto implica que si G es un abierto que contiene a r entonces
G r
a
,= O y si j G r
a
como j
a
y G es un abierto que lo
contiene entonces Gj ,= O. Como r , existe . Gj tal que
. ,= r por lo tanto . Gr es decir r
a
.
29
Finalmente ( '
a
)
a
_
a
' (
a
)
a
_
a
'
a
' = '
a
, por lo tanto
'
a
es cerrado.
Con lo que queda demostrado que (
a
)
a
_
a
con
a
cerrado.
30
Part II
CONTINUIDAD
31
33
Funcines Continuas
Denition 59 Una funcin ) de un espacio topolgico (A, t) en otro (1, t

) es
continua en r
0
A, si para toda vecindad \
0
de )(r
0
), existe otra vecindad \ de
r
0
, tal que )(\ ) _ \
0
.
Theorem 60 Sea ) una funcin de un espacio topolgico A en un espacio topolgico
A
0
; las propiedades siguientes son equivalentes:
(a) ) es continua.
(b) Para todo subconjunto de A, )() _ )().
(c) La imagen recproca de todo subconjunto cerrado de A
0
es un subconjunto
cerrado de A.
(d) La imagen recproca de todo subconjunto abierto de A
0
es un abiero de A.
Theorem 61 Si ) : A A
0
y q : A
0
A
00
son aplicaciones continuas, entonces
q ) : A A
00
es continua.
Denition 62 Un espacio topolgico (A, t) es homeomorfo a otro (A
0
, t
0
) cuando
existe una biyeccin ) : A A
0
tal que ) y su funcin inversa )
1
son continuas.
La funcin ) se llama un homeomorsmo entre A y A
0
.
Example 63 Pruebe que ) : R R dada por )(r) = r
2
es continua.
Para nuestro caso basta demostrar que )
1
((a, /)) = r R [ a < )(r) < / ,
con a < /, es abierto. Tenemos tres casos
i) 0 < a < /
ii) a < 0 < /
iii) a < / < 0
Entonces
)
1
((a, /)) = (
_
/,
_
a) ' (
_
a,
_
/)
)
1
((a, /)) = (
_
/,
_
/)
)
1
((a, /)) = O
En cualquier caso )
1
((a, /)) es abierto
Es importante aclarar que )
1
(/icrto) = a/icrto ; )(/icrto) = (/icrto)
porque, )()
1
()) ,= , en general.
Theorem 64 Dada una funcin ) : A 1 entre espacios topolgicos, las
siguientes armaciones son equivalentes:
1) ) es continua
2) ) es continua en el punto a para todo a A
3) 1 es cerrado en 1 = )
1
(1) cerrado en A
4) _ A = )() _ )()
34
Example 65 Demostrar el teorema 64.
La demostracin se simplica si probamos que a / c d a
Es obvio el hecho que 1) 2), para la implicacin en el sentido contrario
tomemos l abierto de 1 , para cada r )
1
(l) se tiene que )(r) l y por esto
existe \ (r), vecindad de r tal que \ (r) _ )
1
(l). Si tomamos \ =
_
\ (r),
donde r recorres )
1
(l) = \ = /icrto.
Como sabemos de la teoria de conjuntos: "el complemento de la imagen in-
versa es la imagen inversa del complementario" entonces 1) 3).
Para ver que 3) 4) es sencillo ver que _ )
1
()()) _ )
1
()()). Como
)() es cerrado, tomando las adherencias tenemos _ )
1
()()) _ )
1
()()),
lo que implica que)() _ )(). En el otro sentido tenemos que si 1 es cerrado,
tomando = )
1
(1) se tiene )()
1
(1)) _ )()
1
(1)) _ 1 = 1, y por esta razn
)
1
(1) _ )
1
(1).
Quedando demostrado todo el teorema.