Captulo 1

Espacios M
etricos
1.3.

Topologa de un espacio m
etrico

1.3.1 Definici
on. Sean (X, d) un espacio metrico, x X y  > 0. El
conjunto B(x, ) = {y X : d(x, y) < } se llama la bola abierta centrada
en x con radio . El conjunto B[x, ] = {y X : d(x, y) } se llama la
bola cerrada centrada en x con radio .
Notese que en R, la bola abierta centrada en un n
umero real x con radio
 es el intervalo abierto (x , x + ).
La siguiente figura muestra la bola abierta de radio 1 centrada en el
origen, para cada una de las metricas , 1 y 2 definidas sobre R2 en los
numerales 2, 3 y 4 de los ejemplos 1.1.2.

Por su parte, la bola abierta de radio  centrada en una funcion f : R

R que pertenezca al espacio metrico descrito en el numeral 5. de los ejemplos
1.1.2., esta formada por las funciones acotadas que tienen su grafica contenida
en la franja que muestra la siguiente figura:

Si X es un espacio discreto, es decir si en X consideramos la metrica

discreta, entonces la bola abierta de radio  > 0 centrada en un punto x X
se reduce a {x} si  1 y es todo el conjunto X si  > 1.
Si X es el Espacio Metrico de Sierpinski definido en el numeral 8 de 1.1.2.
entonces la bola de radio 0 <  1 centrada en cualquier punto x X se
reduce a {x}.
Una de las propiedades mas bonitas y relevantes de las bolas en un espacio
metrico se enuncia en el siguiente resultado:
1.3.2 Proposici
on. Si (X, d) es un espacio metrico, si a y b son elementos
de X, si  y son n
umeros reales positivos y si x B(a, ) B(b, ) entonces
existe > 0 tal que B(x, ) B(a, ) B(b, ).

Para probar esta proposicion basta considerar = mn{ d(a, x),

d(x, b)} y utilizar la desigualdad triangular.
En los espacios metricos tenemos la posibilidad de hablar de cercana.
Decir que un punto esta tan cerca de otro como queramos, significa que los
puntos estan a una distancia menor que un n
umero positivo que hemos fijado
con anterioridad. En otras palabras, si para nosotros estar suficientemente
cerca de un punto a significa estar a una distancia menor que un cierto
n
umero  > 0, entonces los vecinos de a o los puntos suficientemente
cercanos a a son precisamente los elementos del conjunto B(a, ). Estas
consideraciones sugieren la siguiente definicion:
1.3.3 Definici
on. Sean X un espacio metrico y x X. Un subconjunto V
de X es una vecindad de x si existe  > 0 tal que B(x, ) V . Denotamos
por V(x) al conjunto de todas las vecindades del punto x.

1.3.4 Ejemplos.
1. En los n
umeros reales el intervalo [1, +) es una vecindad de 3 (en
realidad es una vecindad de cualquier real mayor que 1); pero no es una
vecindad de 1.
2. El conjunto {x R : |x| > 2} es una vecindad de 3 en R.
3. La bola cerrada B[x, 1] es una vecindad de x = (0, 0) en R2 .
3

4. El conjunto A = {(x, y) : y < x} es una vecindad de cada uno de los

puntos de A.
5. El conjunto {f : R R : |f (x)| < 2 para cada x R} es una
vecindad de la funcion arctan x en el espacio de funciones acotadas
definido en el numeral 5. de 1.1.2.
Los items 2 y 4 de los ejemplos anteriores muestran conjuntos muy especiales en los que se basara todo nuestro estudio en topologa. Tienen en
com
un la caracterstica de ser vecindades de cada uno de sus puntos. De estos
conjuntos diremos que son conjuntos abiertos.
1.3.5 Definici
on. Un subconjunto A de un espacio metrico X es un conjunto abierto en X si A es vecindad de cada uno de sus puntos.
Consideremos un espacio metrico X. De la definicion se infieren de manera
natural los siguientes hechos:
1. El conjunto vaco y el conjunto X son conjuntos abiertos.
2. Si A y B son conjuntos abiertos en X entonces A B es un conjunto
abierto en X.
3. La union de cualquier familia de conjuntos abiertos en X es un conjunto
abierto en X.
Notese que en un espacio metrico X las bolas abiertas son conjuntos
abiertos y que cada conjunto abierto se puede expresar como una union
de bolas abiertas. Decimos entonces que las bolas abiertas generan los
conjuntos abiertos. Mas adelante expresaremos este hecho diciendo que las
bolas abiertas generan la topologa del espacio X o que son una base para
la topologa de X.
La siguiente definicion establece un criterio que nos permite saber cuando,
desde el punto de vista puramente topologico, vale la pena distinguir entre
dos metricas aparentemente distintas.

1.3.6 Definici
on. Dos metricas sobre un conjunto X son equivalentes si
generan los mismos conjuntos abiertos.

1.3.7 Ejemplos.
1. Hemos visto que si X es un conjunto contable entonces los subconjuntos
unitarios de X son bolas abiertas, tanto si consideramos la metrica
discreta sobre X, como si consideramos la metrica de Sierpinski. Estas
dos metricas generan entonces los mismos conjuntos abiertos en X. En
otras palabras, estas metricas son equivalentes.
2. Los numerales 2, 3 y 4 de 1.1.2. establecen metricas equivalentes sobre
R2 .
3. Si (X, d) es un espacio metrico, la funci
on d1 : X X R definida
por d1 (x, y) = mn{d(x, y), 1} es una metrica acotada sobre X equivalente a la metrica d.
Estudiaremos otros conceptos topologicos en espacios metricos a lo largo
de los siguientes captulos.

Ejercicios
1. Sea X un espacio metrico. Demuestre los siguientes hechos:
a) El conjunto vaco y el conjunto X son conjuntos abiertos.
b) Si A y B son conjuntos abiertos en X entonces AB es un conjunto
abierto en X.
c) La union de cualquier familia de conjuntos abiertos en X es un
conjunto abierto en X.
d ) Todo intervalo abierto de R es un conjunto abierto.
2. Sea X un espacio metrico. Decimos que un subconjunto F de X es
cerrado en X si su complemento es abierto. Pruebe las siguientes afirmaciones:
a) Los subconjuntos de X que tienen exactamente un punto son cerrados.
b) Si A y B son conjuntos cerrados en X entonces A B es un
conjunto cerrado en X.
c) La interseccion de cualquier familia de conjuntos cerrados en X
es un conjunto cerrado en X.
d ) Si X tiene la metrica discreta entonces todo subconjunto de X es
abierto y cerrado.
e) Todo intervalo cerrado de R es un conjunto cerrado.
3. Sean X y Y espacios metricos y sea f : X Y una funcion.Demuestre
que las siguientes afirmaciones son equivalentes:
a) f es continua.
b) Si A es un subconjunto abierto de Y entonces f 1 (A) es un subconjunto abierto de X.
c) Si K es un subconjunto cerrado de Y entonces f 1 (K) es un subconjunto cerrado de X.
4. Mueste que los numerales 2, 3 y 4 de 1.1.2. establecen metricas equivalentes sobre R2 .
6

5. Sea (X, d) es un espacio metrico. Muestre que la funcion d1 : X X

R definida por d1 (x, y) = mn{d(x, y), 1} es una metrica acotada sobre
X equivalente a la metrica d.