Captulo 1.

Conjuntos con topologa

Leccion 5. Topologa para una metrica
Dado un espacio metrico (X, d) existen unos subconjuntos relevantes de el, que
son capaces de describir a los vecinos de un punto controlando la distancia.
grado de cercana y ademas seran los encargados de denir la topologa
inherente a la metrica.
1.44 Denicion Dado x en (X, d) y un n umero real > 0 se dene:
1. La bola abierta de centro en x y de radio se denota
B

(x) como,
B

(x) = y [ d(x, y) < .

2. La bola cerrada de centro en x y de radio se denota B

(x)
como,
B

(x) = y [ d(x, y) .
3. La esfera de centro en x y de radio se denota S

(x) como
S

(x) = y [ d(x, y) = .
1
1.45 Ejemplo En R
3
2
una bola tiene efectivamente la forma de una bola
usual, pero esto esta bien lejos de suceder cuando se utilizan en R
2
otras
metricas diferentes a la usual como en R
3
1
y R
3
7
(vease gura 1.8).
1.46 Ejemplo En el espacio (C(I, R), d

) (vease gura 1.9) las bolas abier-

tas toman una forma muy especial, pues realmente son franjas abiertas llenas
de todos los segmentos continuos imaginables no se alza la mano del papel
al trazarlos esto es, dados > 0 y f C(I, R), la bola B

(f) consiste de
todas las funciones que permanecen estrictamente dentro del area acotada por
las funciones f , f + .
1.47 Teorema Si (X, d) es un espacio metrico entonces
B = B

(x) [ x X, > 0, (1.16.)(1)

es base para una topologa en X.
Demostraci on. Sean B

(x), B

(y) dos bolas abiertas para las cuales el punto

p de X esta en su interseccion. Tengase en cuenta un r > 0 tal que r < m,
donde m = min d(p, y), d(p, x). La bola B
r
(p) esta contenida en la
interseccion de las dos bolas dadas muestrelo.
2
1.48 Denicion La topologa ( asociada a la base formada por la totalidad
de las bolas abiertas se llama la topologa inducida o generada por la metrica d
y la notamos ( = d).
La denici on anterior permite crear una clase muy especial de espacios
topol ogicos. Cuando un espacio topol ogico (X, () tiene una topologa tal que
( = d) para alguna metrica d, se dice que el espacio topologico (X, () es metriz-
able, o que su topologa proviene de una metrica. La pregunta inmediata es:
pueden metricas diferentes inducir la misma topologa? Pero nalmente las
metricas lo que inducen son bases, as que la pregunta puesta en terminos de
bases conduce a la siguiente denici on.
1.49 Denicion Dos metricas d, m para un conjunto X se dicen equivalentes
topol ogicamente se denota d m si y solo si generan la misma topologa;
esto es, d) = m).
La primera contenencia d) m) de la igualdad d) = m), implica que
cada bola en d se puede expresar como una union de bolas en m, y lo recproco
para la otra contenencia.
En terminos a un m as explcitos, dada B
d

(x) una bola en d y un punto

y con y B
d

(x) es posible encontrar una bola B

m

(y) en m y de centro en
y de tal manera que
y B
m

(y) B
d

(x),
y viceversa (vease gura 1.11). Por que se puede escoger la bola B
m

(y) de
suerte que resulte centrada en y? Incluso, para la equivalencia topol ogica entre
dos metricas es posible reducir a la respectiva contenencia de bolas centradas
en el mismo punto; esto es, para cada x X dada B
d

(x) existe B
m

(x) B
d

(x)
y viceversa por que?
3
1.50 Denicion Un espacio metrico (X, d) es acotado si y solo si la funci on
d es acotada. De manera general, dado A (X, d) se dene el di ametro de A
como
diam(A) := supd(x, y) [ x, y A.
En caso que diam(A) < se dice que A es acotado.
1.51 Ejemplo Dado el espacio metrico (X, d) se denen dos nuevas metricas
e y f como
1. e(x, y) := min1, d(x, y).
2. f(x, y) :=
d(x, y)
1 + d(x, y)
.
Tanto e como f son metricas acotadas por 1 y lo que es mas interesante
d e y d f. En efecto, dada la metrica d y la metrica e = min1, d tenemos
que para la bola B
d
r
(x) radio r en la metrica d al tomar s = min1, r se
satisface B
e
s
(x) B
d
r
(x). La otra inclusi on es obvia. Para el caso f =
d
1 + d
es
facil vericar que
B
f
r
1+r
(x) B
d
r
(x) y B
d
r
1r
(x) B
f
r
(x), r < 1.
As, toda metrica es equivalente topologicamente a una metrica acotada.
El ejemplo anterior muestra que el espacio topol ogico asociado a X por
medio de las metricas d y e es el mismo; luego la propiedad de acotamiento es
una propiedad exclusivamente metrica que se pierde cuando se pasa a estructuras
mas generales, como en el caso de la topologica.
4
1.52 Denicion Se dice que dos metricas d, m para un mismo conjunto X,
son equivalentes metricamente si y solo si existen dos n umeros reales positivos
s, t tales que para cada par de puntos x, y X se satisface
d(x, y) s m(x, y) , m(x, y) t d(x, y).
1.53 Teorema Ser equivalentes metricamente implica ser equivalentes topolo-
gicamente.
Demostraci on. Sean d, m dos metricas que son equivalentes metricamente;
por tanto, existen dos n umeros s, t que satisfacen la denicion. Es f acil veri-
car que dada la bola abierta B
d

(x) entonces B
m
/s
(x) B
d

(x) con lo cual se

demuestra d) m). Similarmente B
d
/t
(x) B
m

(x) y por tanto m) d).

1.54 Ejemplo El recproco del teorema anterior no es cierto. Se sabe que
toda metrica d es topologicamente equivalente a la metrica e = min1, d; pero
claramente no tienen por que serlo metricamente. Por ejemplo, en el caso en que
X = (R
n
, usual) no es posible encontrar s > 0 que satisfaga d(x, y) s e(x, y)
para todo par de puntos x, y X. Sin embargo, la metrica e es metricamente
equivalente a la metrica f =
d
1 + d
pues se obtiene la desigualdad f e 2f.
Nota. Para el caso de un espacio vectorial normado, se dice que dos
normas | |
1
, | |
2
son topol ogicamente o metricamente equivalentes si y solo si
las respectivas metricas asociadas lo son. De otra parte, se arma que ellas son
equivalentes si y solo si existen s, t R
>0
tales que
| |
1
s | |
2
, | |
2
t | |
1
se denotan | |
1
| |
2
.
En este caso de espacios normados, las tres deniciones de equivalencia son
iguales, con lo cual se pueden utilizar simplemente el adjetivo normas equiva-
lentes. M as a un, es posible demostrar que: en un espacio vectorial normado de
dimensi on nita todas las normas son equivalentes.
1.55 Ejemplo En X = R
n
se consideran las siguientes normas y sus respec-
tivas metricas inducidas (ver ejemplo 1.34). Sean x, y R
n
:
1. La metrica d
1
conocida como la metrica del taxista y denida
por
d
1
(x, y) = [x
1
y
1
[ +[x
2
y
2
[ + +[x
n
y
n
[,
donde la norma en este caso es
|x|
1
= [x
1
[ +[x
2
[ + +[x
n
[.
5
2. La metrica euclideana d
2
inducida por la norma
|x|
2
= (x
2
1
+ x
2
2
+ x
2
n
)
1/2
,
la cual proviene del producto interior
x, y) = x
1
y
1
+ x
2
y
2
+ + x
n
y
n
,
con lo cual
d
2
(x, y) = ((x
1
y
1
)
2
+ (x
2
y
2
)
2
+ + (x
n
y
n
)
2
)
1/2
.
3. Los subndices 1, 2 de las anteriores metricas d
1
, d
2
no son en
manera alguna fortuitos. En efecto, ellos son casos particulares
de la siguiente denici on mas general. Para cada n umero real
p 1 se dene
|x|
p
:= ([x
1
[
p
+ +[x
n
[
p
)
1/p
.
Esta norma induce a la metrica d
p
denida por
d
p
(x, y) :=

i=1
[x
i
y
i
[
p
1
p
, (x, y R
n
).
4. La metrica c ubica d

en R
3
sus bolas tienen la forma de un
cubo denida por
d

(x, y) = max[x
1
y
1
[, [x
2
y
2
[, . . . , [x
n
y
n
[,
la cual es a su vez inducida por la norma
|x|

:= max[x
1
[, [x
2
[, . . . , [x
n
[.
Para vericar que estas tres metricas son equivalentes basta mostrar la sigu-
iente desigualdad
B

r/

2
(x) B
1
r
(x) B
2
r
(x) B

r
(x).
6
Figura 1.12 B
1
((0, 0)) para p=1,2,3,4,5,6,7,8
Para el caso del plano, al gracar las bolas B
1
((0, 0)) para cada una de
las metricas d
p
se obtiene la gura 1.12 donde en la medida en que p crece se
obtiene una deformaci on continua del rombo de d
1
al cuadrado de d

donde la
circunferencia en d
2
no es mas que un paso en el camino. La justicaci on de la
notacion d

se obtiene del siguiente lema.

1.56 Lema Para cada x = (x
1
, . . . , x
n
) R
n
se tiene
lim
p
|x|
p
= max[x
1
[, . . . , [x
n
[.
Demostraci on. Es claro que
|x|
p

[x
1
[
p
+ +[x
n
[
p
n|x|
p

. (1.17.)(2)
Si a cada lado de la desigualdad se eleva a la potencia 1/p se obtiene
|x|

|x|
p
n
1/p
|x|

. (1.18.)(3)
Como n
1/p
1 cuando p se obtiene el lmite. Notese que la de-
sigualdad en (1.18) de paso se ha mostrado que para cada p la norma | |
p
es
equivalente a | |

, con lo cual todas las | |

p
son equivalentes en R
n
; esto es,
inducen la misma topologa.
Nota. En la denici on de la metrica d
p
para los espacios R
n
la condici on
p 1 no debe pasar desapercibida, puesto que en el caso p < 1 no se obtiene
una norma y por tanto no se induce una metrica. Por ejemplo, si p = 1/2 y
n = 2 la desigualdad triangular no se verica en el caso de los puntos x = (1, 1),
y = (0, 0), z = (1, 0) pues d(x, y) = 4, d(x, z) = d(z, y) = 1.
1.57 Ejemplo Una maquina para construir metricas equivalentes. Dada una
metrica d y una funci on f : R
+
R
+
estrictamente creciente con f(0) = 0
y f(u + v) f(u) + f(v), se muestra que la compuesta f d es una metrica.
Si adem as f es continua en 0 las dos metricas f y f d son topol ogicamente
equivalentes.
Es necesario vericar que m(x, y) = f(d(x, y)) es una metrica m = f d.
7
1. m(x, y) es positiva por la denici on de f. Por ser f creciente
se obtiene que f(d(x, y)) = 0 implica d(x, y) = 0 con lo cual x =
y. Para la recproca de esta armacion es necesario recordar
que f(0) = 0.
2. La simetra en m es consecuencia de la simetra en d.
3. La desigualdad triangular
m(x, z) = f(d(x, z)) f(d(x, y) + d(y, z)) f(d(x, y)) + f(d(y, z))
= m(x, z) + m(z, y)).
Para vericar que las dos metricas llevan a la misma topologa, se debe tener
las contenencias entre las respectivas bolas.
Como f es continua en 0, dado > 0 existe > 0 tal que x < implica
f(x) < . Por tanto d(x, y) < implica m(x, y) = f(d(x, y)) < lo cual no es
mas que contenencia entre bolas.
Por ser f creciente se verica que, si m(x, y) = f(d(x, y)) < f() entonces
d(x, y) < , con lo cual se obtiene la otra contenencia entre las bolas.
A manera de comentario, notese que las funciones f(u) = u/(1 +u), f(u) =
log(1 + u), f(u) = min1, u satisfacen las condiciones para f.
Nota. Si se reserva el sentido que se ha desarrollado en esta ultima seccion, se
obtiene una pregunta que ha inuenciado en el desarrollo mismo de la topologa:
dado un espacio topol ogico (X, () existe una metrica d para X tal que la
topologa ( sea inducida por d? El estudio de la metrizabilidad, es decir,
la b usqueda de condiciones necesarias y/o sucientes para que una topologa
provenga de una metrica, es un captulo abierto a la investigaci on con sus pro-
pios teoremas, algunos de ellos clasicos de la literatura matematica.
A manera de ejemplo, cualquier espacio topol ogico (X, ) donde X es un
conjunto nito y no es la discreta, no es metrizable. En otras palabras, si
(X, d) es metrico con X nito, siempre se obtiene d) = discreta!.
8
Curso de Topolologa General.
http://www.virtual.unal.edu.co
9