Cap. 1-Espacios Metricos PDF

1
Espacios metricos
En este primer captulo, se introduce la nocion de Espacio metrico y de subes-

pacio metrico, estudiando numerosos ejemplos y propiedades basicas. Se intro-
duce la nocion de topologa asociada a un espacio metrico introduciendo las bolas
abiertas y a a partir de aqu se estudian los conjuntos abiertos, los cerrados y sus
propiedades. Se pretenden alcanzar las siguientes competencias especficas:
Utilizar los conceptos basicos asociados a la nocion de espacio metrico.
Reconocer y utilizar las propiedades sencillas de la topologa metrica.
Construir ejemplos de espacios metricos usando las nociones de subespacio

metrico y espacio metrico producto.
Se desarrollaran los contenidos siguientes:
Distancia. Espacio metrico. Distancias en R y Rn .
Ejemplos de espacios metricos.
Subespacio metrico.
Distancia a un conjunto y distancia entre conjuntos.
Bolas. Topologa asociada a una metrica.
Conjuntos abiertos y cerrados. Propiedades.
Producto de espacios metricos.
41
42 1.1. Distancias
1.1. Distancias
Definicion 1.1.1. Dado un conjunto X, una distancia sobre X, es una aplicacion
d : X X R que a cada par de puntos x, y X le asocia un numero real
d(x, y), que cumple las siguientes condiciones:
(1) d(x, y) 0.
(2) d(x, y) = 0 si, y solo si, x = y (separacion).
(3) d(x, y) = d(y, x) para todo x, y X (simetra).
(4) d(x, y) d(x, z)+d(z, y) para todo x, y, z X (desigualdad triangular).
Definicion 1.1.2. Un espacio metrico es un par (X, d), donde X es un conjunto
y d es una distancia definida en X.
Ejemplos
Ej.1.1. En el conjunto de los numeros reales R podemos definir una distancia

tomando el valor absoluto de la diferencia, es decir, d : RR R definida
como d(x, y) = |x y|. Las condiciones de distancia se deducen inmedia-
tamente de las propiedades conocidas del valor absoluto. A esta distancia le
llamaremos distancia usual de R.
Ej.1.2. El espacio metrico discreto. Sea X un conjunto no vaco cualquiera;
definimos una distancia dD como sigue:

0 si x = y
dD (x, y) =
1 si x 6= y
Esta distancia se llama distancia discreta y verificar las condiciones de dis-
tancia se reduce a una mera comprobacion. Observemos ademas que cam-
biando el 1 por cualquier otro valor numerico obtenemos otra distancia,
tambien discreta.
Las dos siguientes desigualdades, seran utiles en el desarrollo de los dos proximos
ejemplos que juegan un importante papel.
Lema 1.1.3. Si a1 , a2 , . . . , an y b1 , b2 , . . . , bn son numeros reales cualesquiera,
entonces, se cumplen:
(a) (Desigualdad de Cauchy-Schwarz)

n
!2 n
! n !
X X X
ai bi a2i b2i .
i=1 i=1 i=1
Topologa de Espacios Metricos Pedro Jose Herrero Pineyro

1. Espacios metricos 43
(b) (Desigualdad de Minkowski)

n
!1/2 n
!1/2 n
!1/2
X X X
2
(ai + bi ) a2i + b2i .
i=1 i=1 i=1
D EMOSTRACI ON. Veamos en primer lugar la P desigualdad (a) de Cauchy-Schwarz.

Dado cualquier numero x R se verifica que ni=1 (ai x+bi )2 0. Si desarrolla-
mos el
Pcuadrado y agrupamos tendremos que Ax2 + 2Bx + C 0, tomando
n n n
A = i=1 a2i , B = i=1 ai bi y C = i=1 b2i .
P P
En estos terminos, lo que queremos probar es que B 2 AC. Si A = 0 entonces

ai = 0 para todo i la desigualdad se verifica claramente. Si A 6= 0 podemos poner
B 2 AC B 2

2
0 Ax + 2Bx + C = A x + +
A A
para todo x R. La ultima expresion es mnima si x = B
A y si sustituimos dicha
expresion obtenemos
AC B 2
0 , lo cual implica AC B 2 0
A
y, por tanto, B 2 AC; con lo que queda demostrada la desigualdad.
Por ultimo, observemos que demostrar la desigualdad de Minkowski, es equiva-
lente a demostrar la desigualdad
n n n n
!1/2 n !1/2
X X X X X
2 2 2 2 2
(ai + bi ) ai + bi + 2 ai bi
i=1 i=1 i=1 i=1 i=1
Si desarrollamos el binomio de la izquierda

n
X n
X n
X n
X
(ai + bi )2 = a2i + b2i + 2 ai bi r
i=1 i=1 i=1 i=1
Con lo cual, solo queda simplificar y aplicar la desigualdad de Cauchy-Schwarz
(1.1.3)(a) anterior.
Sigamos con mas ejemplos de distancias y, por tanto de espacios metricos.
Ejemplos
Ej.1.3. Sea X = R2 . Para los puntos x = (x1 , x2 ) e y = (y1 , y2 ) se definen las

aplicaciones:
d1 (x, y) = |x1 y1 | + |x2 y2 |,
p
d2 (x, y) = (x1 y1 )2 + (x2 y2 )2 ,
d (x, y) = max(|x1 y1 |, |x2 y2 |).
OCW-Universidad de Murcia Pedro Jose Herrero Pineyro

44 1.1. Distancias
Las tres aplicaciones son distancias en el plano (una demostracion de esto la

proporcionaremos en el siguiente ejemplo). Las funciones anteriores miden
la distancia de una forma distinta, y en la siguiente Figura 1.1 se puede ver
una representacion grafica de cada una ellas:
y y
x x
d1 (x, y) d2 (x, y)
y
y
x
x
d (x, y) con |x2 y2 | > |x1 y1 | d (x, y) con |x1 y1 | > |x2 y2 |
Figura 1.1 Graficos de d1 , d2 y d .
Las tres distancias son generalizaciones de la distancia usual que hemos

definido en R y las tres tienen nombre propio: d1 se llama la distancia del
taxi, d2 se llama la distancia eucldea o usual y d se llama la distancia
del ajedrez o del maximo.
Ej.1.4. El Ejemplo Ej.1.3. anterior se puede generalizar facilmente a Rn como

sigue. Sean los puntos x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ) de Rn . Se
definen:
n
X
d1 (x, y) = |xi yi |,
i=1
n
!1/2
X
d2 (x, y) = (xi yi )2 ,
i=1
d (x, y) = max{|xi yi |; i = 1, . . . , n}.
La prueba de que d1 y d son distancias es una mera comprobacion. En

efecto, tal y como se han definido, las dos son no negativas; ademas como
|xi yi | = 0 y (xi yi )2 = 0 si, y solo si, xi = yi se cumple la condicion

(2) de distancia. Ademas |xi yi | = |yi xi | y (xi yi )2 = (yi xi )2 , con

lo que obtenemos la condicion (3). Para la desigualdad triangular solo hay
que tener en cuenta la desigualdad triangular del valor absoluto para cada i
|xi yi | |xi zi | + |zi yi |,
con lo que en el caso d1 tenemos:

n
X n
X
d1 (x, y) = |xi yi | (|xi zi | + |zi yi |) =
i=1 i=1
n
X n
X
|xi zi | + |zi yi | = d1 (x, z) + d1 (z, y);
i=1 i=1
y para d :
d (x, y) = max{|xi yi | : i = 1, . . . , n}
max{|xi zi | + |zi yi | : i = 1, . . . , n}
max{|xi zi | : i = 1, . . . , n} + max{|zi yi | : i = 1, . . . , n}
= d (x, z) + d (z, y).
(1.1)
Lo mismo sucede con las propiedades (1), (2) y (3) para la distancia usual
d2 ; no as con la propiedad (4) en la que hay que utilizar la desigualdad de
Cauchy-Schwarz 1.1.3(a).
Sean x, y, z Rn y consideremos
n
!1 n
! 1 2
X 2 X 2
(d2 (x, z) + d2 (z, y))2 = (xi zi )2 + (zi yi )2 =

i=1 i=1
n n n n
!1
X X X X 2
2 2 2
= (xi zi ) + (zi yi ) +2 (xi zi ) (zi yi )2 = ()
i=1 i=1 i=1 i=1
Aplicando la desigualdad de Cauchy-Schwarz 1.1.3(a) al ultimo sumando

de la expresion anterior:
n
X n
X n
X
2 2
() (xi zi ) + (zi yi ) + 2 (xi zi )(zi yi ) =
i=1 i=1 i=1
n
X
(xi zi )2 + (zi yi )2 + 2(xi zi )(zi yi ) =

i=1

46 1.1. Distancias
n
X n
X
[(xi zi ) + (zi yi )]2 = (xi yi )2 =
i=1 i=1

n
!1/2 2
X
(xi yi )2 = (d2 (x, y))2 ,
i=1
de donde se deduce la desigualdad triangular.

Ej.1.5. El conjunto C de los numeros complejos es un espacio metrico con la
distancia dada por el modulo de la diferencia:
d(z1 , z2 ) = |z1 z2 | con z1 , z2 C.
Compruebe como ejercicio, que se verifican las condiciones de distancia.

Ej.1.6. Se pueden considerar otros conjuntos que no son numericos, como el con-
junto de las funciones reales acotadas
X = A([a, b], R) = ` ([a, b]) = {f : [a, b] R : |f (x)| M, M > 0}.
Dadas dos funciones f, g X definimos
d (f, g) = sup {|f (x) g(x)|}.

x[a,b]
Puede comprobar, a partir de las propiedades del valor absoluto, que d

es una distancia, denominada la distancia del supremo; en la Figura 1.2 se
representa la distancia del supremo entre dos funciones f y g.
Figura 1.2 Distancia del supremo en el espacio A([a, b], R).
Ej.1.7. Tambien podemos considerar el conjunto C([a, b], R), de las funciones
reales continuas sobre un intervalo cerrado [a, b]. La aplicacion d dada por
Z b
d(f, g) = |f (x) g(x)|dx
a

Figura 1.3 La distancia es el area comprendida entre dos curvas.
es una distancia, que viene dada por el area comprendida entre funciones
continuas. En la Figura
R b 1.3 se representa tal distancia. Sabemos que si
f (x) 0, entonces a f (x)dx 0 para cada x [a, b] y tambien que
Rb
a f (x)dx = 0 si, y solo si, f 0; por tanto se cumplen las dos primeras
condiciones de distancia.
De la simetra del valor absoluto (|f (x) g(x)| = |g(x) f (x)|), se ob-
tiene la tercera condicion; y por ultimo, de la desigualdad triangular del
valor absoluto, de la aditividad de la integral y de que f (x) g(x) implica
Rb Rb
a f (x)dx a g(x)dx, se deduce
Z b Z b
d(f, g) = |f (x) g(x)|dx (|f (x) h(x)| + |h(x) g(x)|)dx
a a
Z b Z b
= |f (x) h(x)|dx + |h(x) g(x)|dx = d(f, h) + d(h, g).
a a
Ej.1.8. O bien el conjunto de las sucesiones reales acotadas
` ={(xn )
n=1 : sucesion acotada con xn R}
(1.2)
= {x : N R : x esta acotada}
Dadas dos sucesiones (xn )

n=1 , (yn )n=1 ` , definamos
d ((xn )n , (yn )n ) = sup{|xn yn |}.

nN
Pruebe que d es una distancia en ` .
Ej.1.9. Tambien se pueden construir espacios metricos a partir de otros conoci-

dos. En efecto, sean (X1 , d) y (X2 , d0 ) dos espacios metricos. Para puntos

48 1.1. Distancias
x = (x1 , x2 ) e y = (y1 , y2 ) de X1 X2 se define:

d1 (x, y) = d(x1 , y1 ) + d0 (x2 , y2 ),
d2 (x, y) = (d(x1 , y1 )2 + d0 (x2 , y2 )2 )1/2 ,
d (x, y) = max{d(x1 , y1 ), d0 (x2 , y2 )}.
Entonces d1 , d2 y d son distancias en el espacio producto X1 X2 .
Verificar que d1 , d2 o d son distancias es un proceso similar al del Ejem-
plo Ej.1.3. anterior y es recomendable que, como ejercicio, concrete los
detalles.
Este es un procedimiento, digamos estandar, para definir distancias en es-
pacios que son el producto cartesiano de una coleccion finita de espacios
metricos. As, si (X1 , d1 ) . . . (Xn , dn ) son n espacios metricos, se pueden
definir en X1 Xn las distancias:
n
X
1 (x, y) = di (xi , yi ),
i=1
n
!1/2
X
2 (x, y) = di (x1 , y1 )2 ,
i=1
(x, y) = max{di (xi , yi ) : i = 1, . . . , n},
con x = (x1 , . . . , xn ), (y1 , . . . , yn ) X1 Xn .
La siguiente, es una propiedad que nos sera util, junto con el resultado que aparece
en el Problema P.1.2.
Proposicion 1.1.4. Sea (X, d) un espacio metrico. Para todo x, y, z X se
verifica:
|d(x, z) d(z, y)| d(x, y).
D EMOSTRACI ON. Aplicando la desigualdad triangular y la simetra de la distan-

cia, tenemos
d(x, z) d(x, y) + d(y, z) = d(x, y) + d(z, y),
por lo que d(x, z) d(z, y) d(x, y).
De forma analoga podemos poner d(z, y) d(z, x) + d(x, y) = d(x, z) + d(x, y)
y tendremos que d(x, y) d(x, z) d(z, y).
Usando estas dos desigualdades tenemos
d(x, y) d(x, z) d(z, y) d(x, y)
lo que concluye la demostracion.

Estamos en condiciones de practicar y profundizar un poco por cuenta propia. De

modo que puede trabajar con los ejercicios y problemas siguientes.
Ejercicios y Problemas
P.1.1 Sea d : N N R definida por d(m, n) = |m2 n2 |. Es (N, d) un

espacio metrico? Justifique la respuesta. [I]
P.1.2 Sea (X, d) un espacio metrico. Demuestre que se cumple
|d(x, y) d(z, t)| d(x, z) + d(y, t)
para todo x, y, z, t X. [I] [R]
P.1.3 Sea X un conjunto. Demuestre que una aplicacion d : X X R es

una distancia si, y solo si, para x, y, z X, se verifican
(a) d(x, y) = 0 x = y;
(b) d(x, y) d(x, z) + d(y, z). [I]
P.1.4 Sea (X, d) un espacio metrico. Se definen , y y como sigue:
(x, y) = kd(x, y), k R+

(x, y) = mn{1, d(x, y)}
(x, y) = [d(x, y)]2
Demuestre que y son distancias sobre X, pero que no tiene por que ser
necesariamente una distancia. [I]
P.1.5 Sea X un conjunto y f : X R una aplicacion inyectiva. Demuestre

que la aplicacion d(x, y) = |f (x) f (y)| es una distancia sobre X. [I]
P.1.6 Sea f : R R una funcion estrictamente creciente. Demuestre que

d(x, y) = |f (x) f (y)| es una distancia sobre R. [I] [R]
P.1.7 Considere el conjunto C([0, 1]) de las funciones reales continuas en el

intervalo [0, 1]. Sean f (x) = x(1 x) y g(x) = x. Calcule d (f, g) y
d(f, g) segun las definiciones de los Ejemplos Ej.1.6. y Ej.1.7.. [I]

50 1.1. Distancias
1.1.1. Subespacio metrico
El siguiente resultado nos permite definir un subespacio metrico, simplemente

como un subconjunto A X y la distancia d restringida a A.
Proposicion 1.1.5. Sea (X, d) un espacio metrico y sea A X un subconjunto
de X. Sea la funcion dA : A A R definida por dA (x, y) = d(x, y), para
cada x, y A. Entonces dA es una distancia sobre A, que se denomina distancia
inducida por d. El par (A, dA ) se dice que es un subespacio metrico de X.
La demostracion se reduce a una mera comprobacion que puede realizar, sin difi-
cultad, como ejercicio.
Esta claro que cualquier subespacio metrico, considerado de forma aislada es un
espacio metrico y, por supuesto, todo espacio metrico es un subespacio de s mis-
mo. Esta es una nueva forma de construir nuevos espacios metricos, a partir de
otros conocidos.
Senalaremos que, si A Rn , cuando se hable de A como de un espacio metrico,
supondremos que su distancia es la distancia inducida por la distancia eucldea de
Rn , salvo que se diga lo contrario.
Veamos algunos ejemplos de subespacios para afianzar este concepto.
Ejemplos
Ej.1.10. [0, 1] con la distancia inducida por el valor absoluto es un subespacio

metrico de R.
Ej.1.11. El conjunto C([a, b], R) de las funciones reales continuas en [a, b], con la
distancia inducida por d , es subespacio metrico del conjunto A([a, b], R)
de las funciones acotadas en dicho intervalo.
Ej.1.12. El espacio co de las sucesiones reales con lmite 0 es un subespacio
metrico del espacio de las sucesiones acotadas ` , con la distancia del
supremo.
Ej.1.13. Veamos las distancias que se inducen en algunos conjuntos. Podemos
identificar desde el punto de vista conjuntista, la recta real R y el subcon-
junto de R2 , definido como R {0} = {(x, 0) : x R}, mediante la
aplicacion x 7 (x, 0). Es evidente que se trata de una biyeccion verdad?.
Nos podemos plantear la cuestion siguiente. Que relacion hay entre la dis-
tancia eucldea, d2 y la distancia del valor absoluto en R?; veamoslo.
Si calculamos la distancia entre dos puntos de (x, 0), (y, 0) R {0},
tenemos
p
d2 ((x, 0), (y, 0)) = (x y)2 = |x y| = d(x, y), (1.3)

y esta ultima es la distancia usual de R. Esto significa que, en cierto modo

podemos considerar la recta real como un subespacio metrico del plano R2 .
Observe que ocurre lo mismo con las distancias d1 y d ; compruebelo tal
y como se le sugiere en el Problema P.1.8.
Podemos practicar un poco mas, de nuevo por nuestra cuenta.
P.1.8 Estudie las distancias que, sobre R, inducen d1 y d consideradas sobre

R2 . Y si considera las distancias d1 , d2 y d sobre Rn e intenta calcular
las que inducen, respectivamente, sobre Rnk , con 1 < k < n?
P.1.9 Sea A R2 definido como A = {(x, y) R2 : y = x2 }. Calcule

explcitamente las distancias inducidas sobre A por d1 , d2 y d .
1.2. Distancia a un conjunto

Nos planteamos ahora la posibilidad de medir distancias entre un punto y un con-
junto, o entre dos conjuntos, a partir de la distancia definida en un espacio metrico.
Parece que de forma intuitiva podramos pensar, por ejemplo, que la distancia en-
tre un punto y un conjunto, sera la distancia entre tal punto y el punto del conjunto
mas cercano a aquel. Esto no es tan sencillo como puede parecer a primera vista.
Veamos en esta seccion algunas de las cosas que podemos saber sobre estas ideas.
Definicion 1.2.1. Sea (X, d) un espacio metrico, A X un subconjunto de X y

x0 un punto de X. La distancia de x0 al subconjunto A se define como
d(x0 , A) = nf{d(x0 , x) : x A}.
Recordemos que el nfimo de un conjunto de numeros reales acotado inferior-

mente siempre existe, de modo que la definicion es buena.
Definicion 1.2.2. Sean A y B dos subconjuntos de X. La distancia del subcon-

junto A al subconjunto B se define como
d(A, B) = nf{d(x, y) : x A, y B}.
Observemos que si a A, entonces d(a, A) = 0 o si A B 6= , d(A, B) = 0,

pero sin embargo ...

52 1.2. Distancia a un conjunto
Ejemplos
Ej.1.14. Consideremos los conjuntos A = (0, 1) y B = (1, 2), en R con la

distancia usual, tenemos que
1. d(0, A) = 0 y, sin embargo 0

/ A; y
2. d(A, B) = 0 y A B = .
En efecto, el primer caso, supongamos que d(0, A) = > 0, es claro que

< 1; entonces existe un numero real entre 0 y , por ejemplo, /2, por lo
que no sera el nfimo.
Respecto al segundo caso, si suponemos que d(A, B) = > 0 (tambien ha
de ser < 1), tenemos que 1 /3 A y 1 + /3 B y
d(1 /3, 1 + 3) = |1 /3 (1 + 3)| = 2/3 < ,
en contra de que es el nfimo.
Ej.1.15. Si d es la metrica discreta sobre X, x X y A, B X. Entonces si

x A, d(x, A) = 0; por el contrario, si x
/ A, entonces d(x, y) = 1 para
todo y A y, en consecuencia, d(x, A) = 1. En resumen:
(
1 si x /A
d(x, A) =
0 si x A
Veamos que pasa con la distancia entre dos conjuntos A, B X. Tenemos

que d(A, B) = nf{d(x, y) : x A, y B}; entonces si existe x AB,
d(A, B) = d(x, x) = 0; pero si A B = entonces d(x, y) = 1 para todo
x A y todo y B, con lo que d(A, B) = 1. Por tanto:
(
1 si A B =
d(A, B) =
0 si A B 6=
Ej.1.16. En (R2 , d2 ) consideremos los subconjuntos
A = {(x, y) R2 : x2 + y 2 1}
B = {(x, y) R2 : x + y = 2}.
Vamos a calcular la distancia d(A, B). La Figura 1.4 siguiente ayuda a vi-
sualizar que la distancia que queremos calcular es la diferencia
entre la
longitud de la diagonal de un cuadrado de lado 1, que es 2, y elradio del
crculo A que es 1, por tanto, la distancia buscada es d(A, B) = 2 1.


Figura 1.4 La distancia d(A, B) es 2.
Proposicion 1.2.3. Si (X, d) es un espacio metrico y dos subconjuntos A, B X,

se verifican:
(a) d(x, A) d(x, y) + d(y, A), para todo x, y X
(b) |d(x, A) d(y, A)| d(x, y), para todo x, y Xy
(c) d(A, B) d(x, A) + d(x, B), para todo x X
D EMOSTRACI ON. Para demostrar la desigualdad (a), tenemos que, si x X,

para todo a A, entonces d(x, A) d(x, a) d(x, y) + d(y, a); y como esto es
para todo a A, la desigualdad (a) se cumple.
Respecto a la desigualdad (b), si en la desigualdad (a) intercambiamos los papeles
de x e y, tenemos la desigualdad d(y, A) d(x, y) + d(x, A) de donde se deduce
que d(x, y) d(x, A) d(y, A); mientras que de la desigualdad (a) de forma
directa, se obtiene d(x, A) d(y, A) d(x, y) y combinando estas dos ultimas
desigualdades obtenemos la buscada.
Por ultimo, para ver la desigualdad (c), si alguno de los dos conjuntos A o B es no
vaco, el resultado es evidente. Supongamos, entonces que A y B son no vacos.
Sea ahora > 0, y A A de manera que d(x, a) d(x, A) + /2 y b B tal
que d(x, b) d(x, B) + /2. Entonces
d(A, B) d(a, b) d(a, x) + d(x, b) d(x, A) + d(x, B) + ,
como esto se puede hacer para todo > 0, deducimos la desigualdad buscada.
Un ultimo concepto para terminar esta seccion.

54 1.2. Distancia a un conjunto
Definicion 1.2.4. Sea (X, d) un espacio metrico y A X un subconjunto acota-

do. El diametro de A, representado por diam(A) = (A), se define como
diam(A) = (A) = sup{d(x, y) : x, y A}.
Ejemplos
Ej.1.17. Los diametros de los subconjuntos [1, 2], [1, 2) y {0} [1, 2) de R con
la distancia usual son, respectivamente, 1, 1 y 2.
En efecto, en el caso de [1, 2] no hay nada que probar pues 1 es precisa-
mente, la longitud del intervalo. En el caso del intervalo [1, 2), supongamos
que ([1, 2)) = r < 1, entonces 1 + r [1, 2), y existe > 0 tal que
1 + r + [1, 2) con lo que
d(1, 1 + r + ) = |1 + r + 1| = r + > r,
en contra de que ([1, 2)) = r. De forma similar se prueba el ultimo caso.

Intentelo como ejercicio.
Ej.1.18. Consideremos el subconjunto A = [0, 1] [0, 1] de R2 , es decir, el

cuadrado unidad, y veamos su diametro para cada una de las distancias d1 ,
d2 y d (es conveniente que repase el Ejemplo Ej.1.3.).
Figura 1.5 Diametro del cuadrado unidad para d1 , d2 y d .
En el caso de d1 el diametro es
diam1 (A) = 1 (A) = 2,
pues se trata del maximo del las sumas de los valores absolutos de las di-
ferencias entre las coordenadas, a saber, la suma de dos lados del cuadrado.
En el caso d2 es la mayor distancia entre dos puntos del cuadrado, es decir
la longitud de la diagonal

diam2 (A) = 2 (A) = 2.

Por ultimo, en el caso d , se trata del mayor valor absoluto de la diferencia

entre coordenadas, es decir la longitud de uno de los lados
diam (A) = (A) = 1.
Vea para cada caso, la Figura 1.5; y ademas, observe que el diametro de un
conjunto, como era de esperar, depende de la distancia.
De nuevo podemos practicar de forma que profundicemos un poco.
P.1.10 Consideremos R con la distancia usual d(x, y) = |x y| y el conjun-

to A = (1, 2] R. Responda las siguientes cuestiones justificando las
respuestas:
1. Cuanto vale d( 23 , A)? 0, 21 o 12 .

2. Cuanto vale d(1, A)? 12 , 0 o 1
4
1
3. Cuanto vale d(0, A)? 1, 2 o0
P.1.11 Si (X, d) es un espacio metrico y A, B X no vacos, demuestre que
d(A, B) = nf{d(y, A) : y B} = nf{d(x, B) : x A}.
P.1.12 Considere R con la distancia usual y A = {1/n + (1)n : n N}.

Calcule d(1, A) y d(1, A). [I]
P.1.13 Sea (X, d) un espacio metrico. En el Problema P.1.4 hemos visto que la
aplicacion : X X R definida por (x, y) = mn{1, d(x, y)}, es
una distancia. Considere el espacio (R2 , ) con (x, y) = mn{1, d2 (x, y)}
y el conjunto
A = {(x, y) R2 : 0 x 1, 0 y 1}.
Halle los puntos de R2 que verifican d(x, A) = 1.
P.1.14 Sea (R2 , d2 ) y A = {(x, y) R2 : x + y < 1, x > 0, y > 0}. Calcule

el diametro de A.

56 1.3. Topologa asociada a un espacio metrico
1.3. Topologa asociada a un espacio metrico

A continuacion vamos a estudiar los subconjuntos, quizas mas importantes, de un
espacio metrico: las bolas. Se trata de una generalizacion del concepto conocido
de intervalo abierto centrado en un punto de R.
Definicion 1.3.1. Sea (X, d) un espacio metrico, a X un punto y r > 0 un

numero real. La bola abierta en X con centro en a y de radio r es el conjunto
B(a, r) = {x X : d(x, a) < r}.
Al conjunto
B(a, r) = {x X : d(x, a) r},
se le llama bola cerrada. Si se necesita especificar con que distancia se esta tra-
bajando, se representara por Bd (a, r).
Las bolas juegan un papel muy importante a lo largo del desarrollo del presente
curso, de modo que vamos a detenernos en estudiar algunas de ellas.
Ejemplos
Ej.1.19. En (R, | |) la bola abierta de centro a y radio r > 0 es el intervalo abierto

de extremos a r y a + r:
B(a, r) = {x R : |x a| < r} = (a r, a + r)
Ej.1.20. Este ejemplo justifica el nombre de bola. En (R2 , d2 ) tenemos que
B(a, r) = {(x, y) R2 : (x a)2 + (y b)2 < r2 },
que es el interior del crculo (es decir sin la circunferencia) de radio r cen-
trado en el punto (a, b).
Figura 1.6 Bola abierta para la distancia d2 .

En el espacio tridimensional (R3 , d2 ) se tiene
B(a, r) = {(x, y, z) R3 : (x a)2 + (y b)2 + (z c)2 < r2 }
que es el interior de la bola solida (sin la esfera) de radio r centrada en

a = (a, b, c).
Ej.1.21. Las bolas abiertas, sin embargo, pueden ser realmente muy diferentes
y no tener la apariencia de una esfera, como se muestra en los siguientes
casos. En (R2 , d ) la bola B(0, r) es el interior del cuadrado de centro 0 y
de lados paralelos a los ejes de coordenadas y con longitud 2r. En este caso
la bola es
B((0, 0), r) = {(x, y) R2 : d ((0, 0), (x, y)) < r},
es decir, los puntos del plano que verifican max{|x|, |y|} < r. Por tanto ha
de cumplirse que |x| < r e |y| < r; en definitiva, las coordenadas x e y han
de estar en el intervalo (r, r), de modo que la bola sera
B((0, 0), r) = (r, r) (r, r).
De la misma forma se obtiene que para cualquier punto (a, b) R2 (vease

la Figura 1.7),
B((a, b), r) = (a r, a + r) (b r, b + r).
Figura 1.7 Las bolas metricas en las distancias d y d1 .
Ej.1.22. En (R2 , d1 ) la bola B(0, r) es el interior del cuadrado centrado en el pun-

to (0, 0) y con vertices en los puntos (0, r), (0, r), (r, 0), (r, 0). Ahora
tenemos
B((0, 0), r) = {(x, y) R2 : d1 ((0, 0), (x, y)) < r},
es decir, los puntos del plano que verifican |x| + |y| < r. Si suponemos
que x, y 0 se debe cumplir x + y < r, es decir, se trata de los puntos

del plano cuyas coordenadas son no negativas y verifican y < r x; en

definitiva, los puntos del primer cuadrante que estan por debajo de la recta
y = r x. Razonando de la misma manera sobre los posibles signos de
las coordenadas se obtiene el cuadrado a que nos referamos antes (vease la
Figura 1.7).
Ej.1.23. Sea un espacio metrico discreto (X, dD ). La bola B(a, r) es el conjunto

{a} si r 1
B(a, r) =
X si r > 1
Ej.1.24. Sea H = [0, 1] R con la distancia dH inducida por la distancia d de R.

Entonces en R con la distancia usual la bola Bd (1, 1) es el intervalo (0, 2)
mientras que, para la distancia inducida en H, BdH (1, 1) es el intervalo
(0, 1], que es precisamente (0, 2) [0, 1].
Ej.1.25. Sea una funcion f0 (C([0, 1], R), d ). La bola B(f0 , r) es el conjunto
B(f0 , r) = {f (C([0, 1], R) : sup{|f0 (x) f (x)| r : x [0, 1]}
de todas las funciones continuas f en [0, 1] cuya grafica se encuentra entre

las graficas de las funciones f0 r y f0 + r (vease la Figura 1.8).
Figura 1.8 Las bolas metricas en la distancia d sobre C([0, 1], R).
Otra vez, puede ser un buen momento para pensar por su cuenta.
P.1.15 Definimos la aplicacion d : R2 R2 R como sigue:

|x2 y2 | si x1 = y1
d[(x1 , x2 ), (y1 , y2 )] =
|x2 | + |x1 y1 | + |y2 | si x1 6= y1

Pruebe que d es una distancia sobre R2 . Determine y represente grafica-

mente las bolas B((0, 0), 1), B((1, 0), 1), B((0, 1), 1) y B((2, 3), 1). [R]
P.1.16 Se define la parte entera de un numero real x R como [x] = el mayor

numero entero menor o igual que x. Sea la aplicacion : R R R
definida como
(x, y) = |[x] [y]| + |(x [x]) (y [y])|.
(a) Pruebe que es una distancia en R.

(b) Estudie como son las bolas B (0, 1) y B ( 23 , 1) Como son las bolas
abiertas?
(c) Pruebe que y la distancia d(x) = |x y| inducen la misma distancia
en el conjunto Z de los numeros enteros.
P.1.17 Pruebe que la aplicacion definida como
d(x, y) = max{|x1 x2 |, dD (y1 , y2 )}, con x = (x1 , y1 ), y = (x2 , y2 ),
es una distancia en R2 . Determine como son las bolas. [R]
P.1.18 Sea d : R R R definida por
2|x y|
d(x, y) = .
1 + 3|x y|
Compruebe que es una distancia y determine la bola Bd (0, r). [I]
P.1.19 Sea d : R R R la distancia definida por

0 si x = y
d(x, y) =
dD (x, 0) + dD (0, y) si x 6= y
siendo dD la distancia discreta. Determine analtica y geometricamente las

bolas Bd (x, r). [I]
P.1.20 Sea C([0, 2]) con la distancia del supremo. Describa analtica y grafica-
mente como son las bolas de radio 1 y centro en las funciones f (x) = sen x
y g(x) = 2 + cos x, respectivamente.

1.3.1. Conjuntos abiertos
Definicion 1.3.2. Sea (X, d) un espacio metrico y A X. Diremos que A es un

conjunto abierto, si para cada punto a A, existe una bola B(a, ra ) contenida
en A. Entenderemos que es abierto.
Proposicion 1.3.3. En un espacio metrico, cada bola abierta es un conjunto
abierto.
D EMOSTRACI ON. Sea la bola abierta B(a, r) y veamos que si x B(a, r), existe
> 0 tal que B(x, ) B(a, r). En efecto, tomemos = r d(x, a) > 0, y
comprobemos que si y B(x, ), entonces y B(a, r).
Tenemos que d(x, y) < y segun la desigualdad triangular
d(a, y) d(a, x) + d(x, y) < d(a, x) + = r,
lo que significa que y B(a, r) y por tanto que B(x, ) B(a, r) (vease la
Figura 1.9).
Figura 1.9 Las bolas abiertas, son conjuntos abiertos.
Teorema 1.3.4 (Propiedad de Hausdorff). Sea (X, d) un espacio metrico y dos

puntos distintos x, y X. Entonces existen rx , ry > 0 tales que
B(x, rx ) B(y, ry ) = .
D EMOSTRACI ON. Sea r = d(x, y), entonces las bolas B(x, r/2) y B(y, r/2)
abiertas, tienen interseccion vaca. En efecto, veamos que ningun punto de la
primera puede estar en la segunda.
Si z B(x, r/2), entonces, por la desigualdad triangular
d(z, y) d(x, y) d(z, x) = r d(z, x) > r r/2 = r/2,
con lo que z
/ B(y, r/2). Para la otra bola se hace de la misma forma.
Lema 1.3.5. La interseccion de dos bolas abiertas en un espacio metrico (X, d),
es un abierto.

D EMOSTRACI ON. Si la interseccion de ambas bolas es vaca, no hay nada que

probar. Supongamos entonces que x B(a, r) B(b, s) y veamos que tal inter-
seccion es un entorno de x. Se cumple que d(x, a) < r y d(x, b) < s; tomemos
< mn{rd(x, a), sd(x, b)} y comprobemos que B(x, ) B(a, r)B(b, s)
(vease la Figura 1.10). En efecto, si y B(x, ), entonces
d(y, a) d(y, x) + d(x, a) < + d(x, a) < r d(x, a) + d(x, a) = r,
y por tanto y B(x, a). De la misma forma se prueba que B(x, ) B(b, s).
Con esto hemos probado que la interseccion de las dos bolas contiene una bola
centrada en cada uno de sus puntos y, por lo tanto es un abierto.
Figura 1.10 La interseccion de bolas abiertas es abierto.
El siguiente resultado es de gran trascendencia.
Teorema 1.3.6. Sea (X, d) un espacio metrico. Entonces se cumplen las propiedades
siguientes:
(a) X y son abiertos.
(b) La union de una familia cualquiera de conjuntos abiertos, es abierto.
(c) La interseccion de una coleccion finita de conjuntos abiertos, tambien es

abierto.
D EMOSTRACI ON. -
(a) No hay nada que probar.
(b) Sea {Ai }iI una familia cualquiera de subconjuntos abiertos del espacio X; si
x iI Ai , entonces x Ai0 para algun i0 I. Como Ai0 I es abierto, existe
r0 > 0 tal que B(x, r0 ) Ai0 iI Ai y por tanto este ultimo conjunto es
abierto puesto que contiene una bola centrada en cada uno de sus puntos.
(c) Si la interseccion es vaca no hay nada que probar. Supongamos entonces, que
A1 y A2 son dos conjuntos abiertos cuya interseccion es no vaca. Si x A1 A2 ,
existen r1 , r2 > 0 de modo B(x, r1 ) A1 y B(x, r2 ) A2 ; entonces segun el

Lema 1.3.5, hay una bola centrada en x contenida en la interseccion de ambas

bolas, lo que implica que dicha bola tambien esta en A1 A2 y que este ultimo
conjunto es abierto. Mediante un sencillo proceso de induccion se prueba que la
interseccion de cualquier familia finita de abiertos es un abierto.
A la familia de todos los conjuntos abiertos de un espacio metrico (X, d) se le

llama topologa asociada a la distancia d y la designaremos mediante Td , o sim-
plemente T si no hay ambiguedad respecto de la distancia. Como era de esperar,
teniendo en cuenta el nombre de la asignatura, estas familias seran las protago-
nistas de nuestro estudio.
En general, si tenemos un conjunto X, a cualquier familia de subconjuntos de X
que verifica las tres condiciones del Teorema 1.3.6 se le llama topologa sobre X.
En este curso, nos limitaremos a estudiar topologas asociadas a espacios metricos
aunque hay espacios topologicos que no son metricos, como se muestra en el
Ejemplo Ej.1.26.
Ejemplos
Ej.1.26. Si X es un conjunto con mas de un punto, la familia formada por el con-

junto vaco y el propio X es una topologa TI = {, X} sobre X, pues veri-
fica las tres condiciones del Teorema 1.3.6 facilmente y no proviene de una
distancia pues no verifica la Propiedad de Hausdorff 1.3.4. Esta topologa
se llama topologa gruesa o indiscreta.
Ej.1.27. Cualquier intervalo abierto de la recta real, acotado o no acotado, es un

subconjunto abierto con la distancia usual. Tambien lo son las uniones de
intervalos abiertos. Sin embargo, los intervalos [a, b], [a, b) y (a, b] no lo
son. Realice, como ejercicio, los detalles.
Ej.1.28. Un conjunto abierto no tiene por que ser una bola abierta. As, el sub-
conjunto de R2 :
A = {(x, y) R2 : |x| < 1, |y| < 2}
no es una bola abierta de R2 para la distancia eucldea y, sin embargo, s es

un subconjunto abierto. Se ve facilmente que el conjunto A es el rectangulo
abierto (sin bordes) (1, 1) (2, 2) (vease la Figura 1.11 (a)). Para
ver que es abierto, comprobemos que contiene una bola, de radio adecuado,
centrada en cada uno de sus puntos. Sea (a, b) A , es decir a (1, 1) y
b (2, 2); si tomamos r < {1|a|, 2|b|} se tiene que B((a, b), r) A.
En efecto, si (x, y) B((a, b), r) se tiene (x a)2 + (y b)2 < r2 , de

(a) (b)
Figura 1.11 No todo conjunto abierto es una bola.
donde se deduce que |x a| < r < 1 |a| y, por tanto,
1 + |a| + a < x < 1 |a| + a,
de modo que si |a| = a (a 0) queda 1 + 2a < x < 1 y x (1, 1); y

si |a| = a (a < 0) queda 1 < x < 1 + 2a, y tambien es x (1, 1).
De forma similar se comprueba que y (2, 2).
Por el contrario, el conjunto siguiente no es abierto
B = {(x, y) R2 : |x| < 1, |y| 2}.
Ahora B es el rectangulo (1, 1)[2, 2]. Para comprobar que no es abier-

to basta con encontrar un punto de B tal que cualquier bola con centro en
ese punto tenga puntos fuera de B. Tomemos el punto (0, 2); entonces para
todo r > 0 el punto (0, 2 + r/2) / B y, sin embargo, esta en la bola
B((0, 2), r) (vease la Figura 1.11 (b)).
Ej.1.29. Sea (X, TD ) un espacio metrico discreto (TD es la topologa inducida

por la distancia discreta). Entonces cualquier subconjunto es abierto como
se deduce del Ejemplo Ej.1.23..
Ej.1.30. La interseccion arbitraria de abiertos no es, en general, un abierto. Mas

aun, la interseccion no finita de bolas concentricas, no es, necesariamente

una bola. Si consideramos la familia de abiertos {( n1 , n1 ) : n N} en

(R, | |), su interseccion es

\ 1 1
, = {0},
n n
n=1
que no es abierto (por cierto sabra demostrar que la interseccion anterior

es, precisamente {0}?).
Ej.1.31. La condicion de ser abierto depende naturalmente de la distancia y del
espacio total. (a) El subconjunto {0} R es abierto para la distancia dis-
creta, pero no lo es para la distancia eucldea.
Proposicion 1.3.7. En un espacio metrico (X, d), un conjunto es abierto si, y solo
si, se puede expresar como union de bolas abiertas.
D EMOSTRACI ON. Si A X es un abierto, para cada x A, existe rx > 0

tal que B(x, rx ) A, de modo que xA B(x, rx ) A, pero como cada punto
de A esta en una de estas bolas, tambien se cumple A xA B(x, rx ), con lo
que A es union de bolas abiertas. El recproco es evidente.
1.3.2. Abiertos en subespacios
Vamos a ver ahora como son los abiertos en los subespacios. Evidentemente, con-
siderados como espacios metricos en s mismos, los abiertos tienen las propiedades
descritas en la seccion anterior. Pero nos planteamos estudiar su relacion con los
abiertos del espacio total.
Proposicion 1.3.8. Sea (X, d) un espacio metrico y un subconjunto H X.
(a) Las bolas abiertas del subespacio metrico (H, dH ) son la interseccion de
bolas abiertas en el espacio total, con el subconjunto; es decir,
BdH (a, r) = Bd (a, r) H.
(b) Un subconjunto de H es abierto en (H, dH ) si, y solo si, es interseccion de

un abierto en X con H.
D EMOSTRACI ON. -
(a) Efectivamente, observemos

BdH (a, r) ={x H : dH (x, a) = d(x, a) < r} =
(1.4)
{x X : d(x, a) < r} H = Bd (x, r) H.

(b) Veamos la condicion directa. Supongamos que A H es abierto para la

distancia inducida, entonces, segun la Proposicion 1.3.7 A es union de bolas
abiertas en H, luego tenemos, aplicando el apartado (a)
!
[ [ \ [ \
A= BdH (a, ra ) = (Bd (a, ra ) H) = (Bd (a, ra ) H.
aA aA aA
(1.5)
y queda demostrado.
Para ver la condicion inversa solo hay que invertir correctamente el razo-
namiento anterior.
Ejemplos
Ej.1.32. Observemos que, aunque los abiertos en el subespacio, son intersec-

cion de abiertos del espacio con el subconjunto en cuestion, los abiertos
del subespacio no son necesariamente, abiertos en el espacio; en efecto, el
intervalo [0, 1) es abierto en ([0, 2], d[0,2] ), pues se puede expresar como
(1, 1) [0, 2] (interseccion del abierto (1, 1) en R con el subespacio),
pero no lo es en R con la distancia usual.
Proposicion 1.3.9. Sea (X, d) un espacio metrico y un sunconjunto H X.

Entonces son equivalentes:
(a) Todo abierto en (H, dH ) es tambien abierto en (X, d).
(b) H es abierto en (X, d).
D EMOSTRACI ON. -
(a)(b) Esta claro puesto que H es abierto en (H, dH ).
(b)(a) Segun la Proposicion 1.3.8(b), si A H es abierto en H, entonces
A = B H para algun abierto B X; entonces A es interseccion de dos
abiertos en X y, por tanto tambien es abierto (vease el Teorema 1.3.6).
Hace demasiado tiempo que no pensamos en algunos problemas.

P.1.21 Justifique si son abiertos los siguientes conjuntos en (R2 , d2 ):
A= {(x, y) R2 : xy = 0}
B= {(x, y) R2 : x Q}
C= {(x, y) R2 : |x| < 1}
D= {(x, y) R2 : 0 < x < 1, 0 < y < 1} {(x, y) R2 : x2 +y 2 = 0}
S
[I]
P.1.22 Demuestre que el intervalo H = [a, b] es abierto en (H, dH ), pero que

no lo es en el espacio total R con la distancia eucldea.
P.1.23 Sea (X, d) un espacio metrico, a X y r > 0. Demuestre que el con-

junto {x X : d(a, x) > r} es abierto. [I] [R]
1.3.3. Conjuntos cerrados
Los que llamaremos conjuntos cerrados juegan, en los espacios metricos, o si

queremos, en la topologa metrica, un papel tan importante como los conjuntos
abiertos y, en cierto sentido dual.
Definicion 1.3.10 (Conjunto cerrado). Sea (X, d) un espacio metrico y C X

un subconjunto; diremos que C es un conjunto (o subconjunto) cerrado si su
complementario X C = C c es un abierto.
Esta claro, a partir de la definicion anterior, que tanto X como son cerrados.
La siguiente Proposicion 1.3.11 ofrece una primera caracterizacion de los conjun-
tos cerrados.
Proposicion 1.3.11. Un subconjunto C de un espacio metrico (X, d) es cerrado

si, y solo si, para todo x
/ C existe una bola abierta, de centro x y radio r > 0
tal que B(x, r) C = .
D EMOSTRACI ON. -
Si C X es cerrado quiere decir que C c es abierto; por tanto, para todo
x/ C (x C c ) existe r > 0 tal que B(x, r) C c y por tanto se cumple que
B(x, r) C = .
Si para todo x / C (x C c ) existe r > 0 tal que B(x, r) C = , entonces
B(x, r) C c y as C c es abierto, luego C es cerrado.

Proposicion 1.3.12. Las bolas cerradas son conjuntos cerrados.
D EMOSTRACI ON. -
Solo hay que ver que su complementario es abierto; y esto es, precisamente lo que
propone el Problema P.1.23.
Ejemplos
Ej.1.33. En R, con la distancia usual, los intervalos cerrados son subconjuntos

cerrados (pruebelo); tambien lo son las semirrectas cerradas [a, +) o
(, b] (pruebelo tambien).
No son cerrados, los intervalos de la forma [a, b), (a, b], pero observe que
tampoco son abiertos (pruebelo), lo que significa que hay conjuntos que no
son ni abiertos ni cerrados.
Sin embargo, un intervalo (a, b) es abierto y no es cerrado.
Ej.1.34. En (R2 , d2 ), el conjunto A = {(x, y) R2 : |x| < 1, |y| 2} no es

cerrado, pero B = {(x, y) R2 : |x| 1, |y| 2} s lo es, lo cual se
puede comprobar razonando de forma similar al Ejemplo Ej.1.28..
Ej.1.35. Cualquier recta en (R2 , d2 ) es un conjunto cerrado. Basta ver que su

complementario es abierto. Si un punto esta fuera de la recta, la bola de
centro este punto y radio menor que la distancia de dicho punto a la rec-
ta esta contenida en el complementario de la recta, lo que prueba que es
abierto.
Ej.1.36. Los conjuntos unipuntuales, tambien son cerrados en un espacio metrico,

basta aplicar la Propiedad de Hausdorff 1.3.4. Y los conjuntos finitos?
Los conjuntos cerrados juegan un papel simetrico respecto de los abiertos, de

hecho, observe el siguiente resultado y comparelo con el Teorema 1.3.6.
Teorema 1.3.13. Sea (X, d) un espacio metrico. Entonces se cumplen las propie-
dades siguientes:
(a) X y son cerrados.
(b) La interseccion de cualquier familia de conjuntos cerrados, es cerrado.
(c) La union de una coleccion finita de conjuntos cerrados, tambien es cerrado.

D EMOSTRACI ON. La propiedad (a) es evidente (ya lo hemos comentado antes).

Respecto a la propiedad (b), sea la familia de cerrados {Ci }iI , Si la interseccion
es vaca no hay nada que probar, de modo que supongamos iI Ci 6= . Veamos
que el complementario es abierto, para esto aplicamos las leyes de De Morgan
\ [
X Ci = (X Ci ),
iI iI
como cada uno de los Ci es cerrado, entonces X Ci es abierto; lo que implica

que la union de todos ellos lo es, lo que demuestra que la interseccion iI Ci es
cerrado.
Para finalizar veamos que la union finita de conjuntos de la familia en cuestion,
es cerrado. De nuevo veremos que su complementario es abierto. Sea ni=1 Ci la
union de una cantidad finita de conjuntos; entonces, aplicando las leyes de De
Morgan otra vez
[n n
\
X Ci = (X Ci )
i=1 i=1
y esta ultima interseccion es abierto por ser interseccion finita de abiertos, con lo
que concluye la prueba.
Ejemplos
Ej.1.37. La union arbitraria de cerrados

no es, necesariamente, un cerrado. Con-
sideremos la familia { 0, 1 n1 : n N} de intervalos cerrados en R; su
union es el conjunto no cerrado
[ 1

0, 1 = [0, 1).
n
nN
Ej.1.38. Cualquier subconjunto en la distancia discreta es cerrado y tambien abier-

to. Observe entonces que puede darse el caso de conjuntos que son, a la vez,
abiertos y cerrados.
1.3.4. Cerrados en subespacios
Al igual que hacamos en la seccion 1.3.2, nos planteamos estudiar como son los
cerrados en los subespacios, y su relacion con el espacio total.
Proposicion 1.3.14. Sea (X, d) un espacio metrico y sea H un subconjunto de

X. Entonces:

(a) Las bolas cerradas del subespacio metrico (H, dH ) son interseccion de
bolas cerradas en el espacio total, con el subconjunto; es decir,
B dH (x, r) = B d (x, r) H.
(b) Un subconjunto de H es cerrado en (H, dH ) si, y solo si, es interseccion de

un cerrado en X con H.
D EMOSTRACI ON. -
(a). En efecto
B dH (a, r) = {x H : dH (a, x) r} =
{x X : d(a, x) r} H = B(x, r) H.
(b). Sea C H un cerrado en (H, dH ), entonces H C es abierto en H y segun
la Proposicion 1.3.8 H C = A H con A un abierto, esta vez en X; pero como
C H, C X A (si c C A, c H luego c A H, en contra de que
c H) y por tanto (X A) H = C. El recproco es evidente.
P.1.24 Sea (X, d) un espacio metrico, a X y r > 0. Demuestre que el con-

junto {x X : d(a, x) r} es un conjunto cerrado.
P.1.25 Considere el espacio metrico de las sucesiones reales acotadas (` , d ).

Pruebe que el conjunto A = {(xn ) n=1 `
: lm
n xn = 0} es
cerrado. [I] [R]
1.4. Distancias equivalentes

Nos planteamos en esta seccion la posibilidad de comparar las topologas que
sobre un mismo conjunto, generan distancias diferentes, en el sentido de que sean,
o no, iguales, es decir, que tengan los mismos abiertos.
Definicion 1.4.1. Dos distancias d y d0 sobre un mismo conjunto X son equiva-

lentes si dan lugar a la misma topologa metrica, es decir, si Td = Td0 , es decir,
generan los mismos conjuntos abiertos.
Proposicion 1.4.2. Sean d y d0 dos distancias definidas sobre un conjunto X.

Entonces d y d0 son equivalentes si, y solo si, para todo x X y para todo r > 0
existe > 0 tal que
Bd (x, ) Bd0 (x, r)

70 1.4. Distancias equivalentes
y existe 0 > 0 tal que

Bd0 (x, 0 ) Bd (x, r).
D EMOSTRACI ON. -
Supongamos que d y d0 son equivalentes. Dados x X y r > 0, Bd0 (x, r)
es un abierto de Td0 y, por tanto, tambien esta en Td ; entonces existe > 0 tal que
Bd (x, ) Bd0 (x, r). Analogamente se demuestra la segunda afirmacion.
Recprocamente, si suponemos que se cumplen las dos afirmaciones, veamos

que d y d0 son equivalentes. Sea A un abierto de Td y sea x A. Entonces existe
r > 0 tal que Bd (x, r) A. Aplicando la segunda propiedad, existira 0 > 0 tal
que Bd0 (x, 0 ) Bd (x, r), y, como esto es para todo x A, tenemos que A Td0
y es, por tanto, abierto en esta topologa. De forma analoga se demuestra que todo
abierto de Td0 lo es tambien de Td .
Teorema 1.4.3. Dos distancias d y d0 sobre un conjunto X son equivalentes si

existen constantes m, M > 0 tales que para todo par de puntos x, y X se
satisface
m d(x, y) d0 (x, y) M d(x, y).
D EMOSTRACI ON. Sean x X y r > 0. Entonces tomando = r/M se tiene

que d(x, y) implica que
d0 (x, y) M d(x, y) M = r,
con lo que Bd (x, ) Bd0 (x, r). De forma analoga, tomando 0 = mr se tiene
que Bd0 (x, 0 ) Bd (x, r).
Ejemplos
Ej.1.39. No todas las distancias definidas en un conjunto son equivalentes. Por

ejemplo, la distancia eucldea y la distancia discreta sobre R2 no son equi-
valentes, ya que los puntos no son abiertos en la topologa usual (generada
por la distancia eucldea) y s lo son en la topologa discreta (generada por
la distancia discreta).
P.1.26 Demuestre que las tres distancias d1 , d2 y d en Rn son equivalentes,

de modo que generan la misma topologa metrica (que coincide con la
topologa usual). En particular, en el caso n = 1, las tres distancias son
iguales a la distancia usual de R, que viene dada por el valor absoluto. [I]

P.1.27 En C([0, 1]) consideremos la distancia d y la distancia del area:

Z 1
d(f, g) = |f (x) g(x)|dx.
0
Sea 0 < r 2 y consideremos las funciones f y g definidas por

( 4x
+ 4 si 0 x 12 r
f (x) = 2 para todo x [0, 1] y g(x) = r
2 si 12 r x 1
Pruebe que g Bd (f, r) pero g

/ B (f, 1). Deduzca que d y d no son
equivalentes.
1.5. Espacios normados

Vamos a ver una clase de espacios metricos interesantes e importantes en otras
ramas de las matematicas.
Definicion 1.5.1. Sea V un espacio vectorial sobre un cuerpo K (R o C). Una

aplicacion k.k : V R, es una norma sobre V si verifica:
(i) kxk 0.
(ii) kxk = 0 si, y solo si, x = 0.
(iii) kxk = ||kxk.
(iv) kx + yk kxk + kyk.
Diremos entonces, que (V, k.k) es un espacio vectorial normado.
Proposicion 1.5.2. Un espacio normado (V, k.k) es un espacio metrico, con la

distancia d : V V R definida como d(x, y) = kx yk.
D EMOSTRACI ON. Es una consecuencia directa de la definicion de norma.
Ejemplos
Ej.1.40. kxk = |x| es una norma sobre R (considerado R como espacio vectorial
sobre s mismo).
Ej.1.41. Considerando Rn como espacio vectorial sobre R, las siguientes, son

normas sobre Rn , con x = (x1 , . . . , xn ) Rn

72 1.5. Espacios normados
n
X
kxk1 = |xi |.
i=1
n
!1/2
X
kxk2 = x2i .
i=1
kxk = max{|xi | : i = 1, . . . , m}.
Observe que estas tres normas dan lugar, respectivamente, a las distancias
d1 , d2 y d que hemos estudiado con detalle.
P.1.28 Sea (X, d) un espacio metrico. Definimos
d(x, y)
(x, y) =
1 + d(x, y)
(a) Demuestre que se trata de una distancia.
(b) Una distancia d es acotada, si existe M > 0 tal que d(x, y) M para
todo x, y. Demuestre que tanto como (x, y) = mn{1, d(x, y)}
(vease el Problema P.1.4), son acotadas.
(c) Demuestre que d, y son equivalentes.
(d) Si d es la distancia usual de R, determine las bolas en (R, ) y en
(R, ).
P.1.29 Si X es un conjunto e (Y, d) es un espacio metrico, sea A(X, Y ) el con-

junto de las aplicaciones acotadas de X en Y , es decir f A(X, Y ) si
f (X) Y es un conjunto acotado. Demuestre que si definimos la apli-
cacion d : A(X, Y ) A(X, Y ) R, como
d (f, g) = sup{d(f (x), g(x)) : X},
se trata de una distancia (distancia del supremo).
P.1.30 Sea f : [0, +) [0, +) una funcion estrictamente creciente veri-

ficando:
(a) f (0) = 0;
(b) Si x, y 0 f (x + y) f (x) + f (y).
Si (X, d) es un espacio metrico, pruebe que la aplicacion d0 = f d, es

decir, d0 (x, y) = f (d(x, y)), es tambien una distancia sobre X. [I] [R]

P.1.31 Sea (R2 , d2 ) y consideremos el subconjunto A dado por

[
A = {(x, y) R2 : (x2)2 +y 2 2} {(x, y) R2 : (x+2)2 +y 2 2}.
Determine en (A, d2 |A ) la bola cerrada de centro (0, 0) y radio 1.
P.1.32 De muestre que en R con la topologa usual, se verifican:
(a) Un conjunto es abierto, si y solo si, se puede expresar como union de

intervalos abiertos.
(a) Mas aun, un conjunto es abierto si, y solo si, es union de una coleccion
numerable de intervalos abiertos disjuntos.
P.1.33 Consideremos el conjunto

X
2
` = {(an )n sucesion real : a2n es convergente}.
n=1
Entonces

!
X
k(an )n k = |an |2
n=1
es una norma, y por tanto `2 es un espacio metrico.
P.1.34 Si, en la definicion de distancia, la condicion (2) se cambia por (2) si

x X, entonces d(x, x) = 0 (admitimos la posibilidad de la existencia
de x, y X distintos con d(x, y) = 0), entonces se dice que d es una
pseudometrica.
Sea, entonces d una pseudometrica sobre un conjunto X. Definimos la si-
guiente relacion:
x y, si, y solo si d(x, y) = 0
1. Demuestre que se trata de una relacion de equivalencia.

2. Demuestre que la siguiente aplicacion es una distancia sobre el con-
junto cociente X/ = {x : x X} (x es la clase de equivalencia de
x); (x, y) = d(x, y). [I] [R]

74 1.5. Espacios normados

Cap. 1-Espacios Metricos PDF

Cargado por

Copyright:

Formatos disponibles

Cap. 1-Espacios Metricos PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Cap. 1-Espacios Metricos PDF

Cargado por

Copyright:

Formatos disponibles

1

En este primer captulo, se introduce la nocion de Espacio metrico y de subes-

Utilizar los conceptos basicos asociados a la nocion de espacio metrico.

Reconocer y utilizar las propiedades sencillas de la topologa metrica.

Construir ejemplos de espacios metricos usando las nociones de subespacio

Se desarrollaran los contenidos siguientes:

Distancia. Espacio metrico. Distancias en R y Rn .

Ejemplos de espacios metricos.

Distancia a un conjunto y distancia entre conjuntos.

Bolas. Topologa asociada a una metrica.

Conjuntos abiertos y cerrados. Propiedades.

Producto de espacios metricos.

Ej.1.1. En el conjunto de los numeros reales R podemos definir una distancia

(a) (Desigualdad de Cauchy-Schwarz)

Topologa de Espacios Metricos Pedro Jose Herrero Pineyro

(b) (Desigualdad de Minkowski)

D EMOSTRACI ON. Veamos en primer lugar la P desigualdad (a) de Cauchy-Schwarz.

En estos terminos, lo que queremos probar es que B 2 AC. Si A = 0 entonces

Si desarrollamos el binomio de la izquierda

Sigamos con mas ejemplos de distancias y, por tanto de espacios metricos.

Ej.1.3. Sea X = R2 . Para los puntos x = (x1 , x2 ) e y = (y1 , y2 ) se definen las

OCW-Universidad de Murcia Pedro Jose Herrero Pineyro

Las tres aplicaciones son distancias en el plano (una demostracion de esto la

Figura 1.1 Graficos de d1 , d2 y d .

Las tres distancias son generalizaciones de la distancia usual que hemos

Ej.1.4. El Ejemplo Ej.1.3. anterior se puede generalizar facilmente a Rn como

d (x, y) = max{|xi yi |; i = 1, . . . , n}.

La prueba de que d1 y d son distancias es una mera comprobacion. En

Topologa de Espacios Metricos Pedro Jose Herrero Pineyro

(2) de distancia. Ademas |xi yi | = |yi xi | y (xi yi )2 = (yi xi )2 , con

|xi yi | |xi zi | + |zi yi |,

con lo que en el caso d1 tenemos:

(d2 (x, z) + d2 (z, y))2 = (xi zi )2 + (zi yi )2 =

Aplicando la desigualdad de Cauchy-Schwarz 1.1.3(a) al ultimo sumando

OCW-Universidad de Murcia Pedro Jose Herrero Pineyro

de donde se deduce la desigualdad triangular.

d(z1 , z2 ) = |z1 z2 | con z1 , z2 C.

Compruebe como ejercicio, que se verifican las condiciones de distancia.

X = A([a, b], R) = ` ([a, b]) = {f : [a, b] R : |f (x)| M, M > 0}.

Dadas dos funciones f, g X definimos

d (f, g) = sup {|f (x) g(x)|}.

Puede comprobar, a partir de las propiedades del valor absoluto, que d

Figura 1.2 Distancia del supremo en el espacio A([a, b], R).

Topologa de Espacios Metricos Pedro Jose Herrero Pineyro

Figura 1.3 La distancia es el area comprendida entre dos curvas.

Ej.1.8. O bien el conjunto de las sucesiones reales acotadas

Dadas dos sucesiones (xn )

d ((xn )n , (yn )n ) = sup{|xn yn |}.

Pruebe que d es una distancia en ` .

Ej.1.9. Tambien se pueden construir espacios metricos a partir de otros conoci-

OCW-Universidad de Murcia Pedro Jose Herrero Pineyro

x = (x1 , x2 ) e y = (y1 , y2 ) de X1 X2 se define:

D EMOSTRACI ON. Aplicando la desigualdad triangular y la simetra de la distan-

Topologa de Espacios Metricos Pedro Jose Herrero Pineyro

Estamos en condiciones de practicar y profundizar un poco por cuenta propia. De

P.1.1 Sea d : N N R definida por d(m, n) = |m2 n2 |. Es (N, d) un

P.1.2 Sea (X, d) un espacio metrico. Demuestre que se cumple

|d(x, y) d(z, t)| d(x, z) + d(y, t)

para todo x, y, z, t X. [I] [R]