Professional Documents
Culture Documents
NOCIONES GENERALES
SOBRE ESPACIOS
MÉTRICOS
SECCIONES
1. Definiciones previas y primeros ejemplos.
2. Nociones topológicas en espacios métricos.
3. Aplicaciones entre espacios métricos.
4. Completitud en espacios métricos.
5. Compacidad en espacios métricos.
6. Ejercicios.
1
1. DEFINICIONES PREVIAS Y PRIMEROS EJEMPLOS.
a.1) ∀x ∈ X : x + y = y + x.
a.4) ∀x ∈ X, ∃ − x ∈ X : x + (−x) = 0.
b.3) ∀x ∈ X, ∀α, β ∈ E : (α + β) · x = α · x + β · x.
b.4) ∀x, y ∈ X, ∀α ∈ E : α · (x + y) = α · x + α · y.
A + B = {x + y : x ∈ A, y ∈ B},
A − B = {x − y : x ∈ A, y ∈ B},
A \ B = {x : x ∈ A, x 6∈ B} (en particular Ac = X \ A),
λA = {λx : x ∈ A} (obsérvese que 2A 6= A + A),
A × B = {(x, y) : x ∈ A, y ∈ B}.
α1 x1 + · · · + αn xn = 0 =⇒ α1 = · · · = αn = 0.
2
Análogamente, una colección arbitraria de vectores es linealmente indepen-
diente si cualquier subconjunto finito de ella es linealmente independien-
te.
Se dice que un conjunto A ⊂ X linealmente independiente es base de Ha-
mel de X si todo vector x ∈ X puede expresarse como combinación lineal
de elementos de A, es decir si existen escalares α1 , . . . , αn ∈ E y vectores
x1 , . . . , xn ∈ A tales que x = α1 x1 + · · · + αn xn . Entenderemos siempre las
combinaciones lineales finitas, aunque haya un número infinito de elementos
en la base. Se puede probar (como una aplicación del lema de Zorn) que
todo espacio vectorial posee una base de Hamel. Además todas las bases
tienen el mismo número de elementos, llamado dimensión (algebraica) del
espacio.
Un conjunto Y ⊂ X es subespacio de X si Y es también espacio vectorial
(con las mismas operaciones, por supuesto). Esto ocurre si y sólo si 0 ∈ Y y
αY + βY ⊂ Y, ∀α, β ∈ E. Dada una familia U ⊂ X, el menor subespacio de
X que contiene a U se llama subespacio generado por U , y lo denotaremos
por hU i.
Se dice que X es suma directa de los subconjuntos M1 , . . . , Mn , lo cual
denotaremos por X = M1 ⊕ · · · ⊕ Mn , si
X
X = M1 + · · · + Mn y Mi ∩ Mj = {0}, i = 1, . . . , n.
j6=i
3
i) d(x1 , xn ) ≤ d(x1 , x2 ) + d(x2 , x3 ) + · · · + d(xn−1 , xn ), ∀x1 , x2 , . . . , xn ∈ X.
1.2.- Ejemplos.
( 1) Sea X un conjunto cualquiera. La aplicación d definida
1 si x 6= y
por d(x, y) = es la llamada métrica trivial o discreta.
0 six = y,
Las aplicaciones d(x, y) = |x1 −y1 |+|x2 −y2 | y d(x, y) = máx{|x1 −y1 |, |x2 −
y2 |} son también métricas en X.
4) En X = Rn son distancias
n
X 1/p
dp (x, y) = |xi − yi |p (p ≥ 1), y
i=1
d∞ (x, y) = máx |xi − yi |.
1≤i≤n
4
Para comprobar los axiomas (concretamente la desigualdad triangular) son
necesarias las desigualdades de Hölder y Minkowski que veremos posterior-
mente (capı́tulo II, sección 2). Como la desigualdad triangular falla precisa-
mente cuando p < 1, no tiene sentido definir el espacio `p con p < 1.
8) Los espacios
5
S
P1) Aα ∈ A, α ∈ I =⇒ α∈I Aα ∈ A (I es cualquier conjunto de ı́ndices).
Tn
P2) A1 , . . . , An ∈ A =⇒ i=1 Ai ∈ A.
P3) ∅, X ∈ A.
Observación. Recordemos que un espacio topológico es aquél en el que
existe una familia A de subconjuntos de X que verifican los axiomas (P1),
(P2), (P3). De aquı́ se deduce que todo espacio métrico es a su vez un espacio
topológico.
2.2.- Definición. Dado A ⊂ X, un punto x ∈ X es de adherencia de A
si
∀r > 0 : B(x, r) ∩ A 6= ∅.
6
2.5.- Definición. Dada una sucesión (xn )n∈N de puntos de X, se dice que
converge al punto x, y se escribe xn → x, cuando
sup{d(xn , xm ) : n, m ∈ N} < ∞.
δ = máx{d(xi , xj ), i, j = 1, . . . , p}.
7
puede cubrirse con un número finito de esferas de radio ε < 1. Sin embargo,
es evidente que se trata de un conjunto acotado.
2.10.- Lema. Sea (X, d) un espacio métrico.
a) Si (xn )n∈N es convergente, entonces está acotada y su lı́mite es úni-
co.
b) Si xn → x, yn → y, entonces d(xn , yn ) → d(x, y).
Demostración. a) Haciendo ε > 1, existe N ∈ N tal que d(xn , x) < 1, ∀n >
N . Por otra parte, para los valores n ≤ N, existe a = máx{d(x1 , x), . . . , d(xN , x)}.
Entonces d(xn , x) ≤ 1 + a, ∀n y d(xn , xm ) ≤ 2(1 + a), ∀n, m.
Si xn → x, xn → y, entonces 0 ≤ d(x, y) ≤ d(x, xn ) + d(xn , y) → 0.
b) Por la desigualdad triangular, d(xn , yn ) ≤ d(xn , x) + d(x, y) + d(y, yn ).
Entonces
|d(xn , yn ) − d(x, y)| ≤ d(xn , x) + d(y, yn ) → 0. ♦
8
4) Veamos que `∞ no es separable:
Ası́, como [0, 1] no es numerable y dos puntos distintos yb, zb ∈ [0, 1] tienen
distintas representaciones binarias, el conjunto de las sucesiones M formadas
por ceros y unos es también no numerable. (Otra forma de ver que M es no
numerable es aplicar el procedimiento diagonal de Cantor.)
3.1.- Definición. Sean (X, d), (Y, d0 ) espacios métricos. Se dice que una
aplicación f : X → Y es continua en x0 ∈ X cuando
9
Si f es continua en todo x ∈ X, se llama aplicación continua. (Es evidente
que esta definición extiende el concepto de continuidad de funciones rea-
les.)
3.2.- Proposición. f : X → Y es continua en x0 si y sólo si toda sucesión
(xn )n∈N que converge a x0 verifica f (xn ) → f (x0 ).
Demostración. a) Sea f continua en x0 . Entonces
10
x ∈ f −1 (B(f (x), ε)), debe existir δ > 0 tal que B(x, δ) ⊂ f −1 (B(f (x), ε)).
De aquı́ se deduce que f (B(x, δ)) ⊂ B(f (x), ε), como querı́amos demostrar.
♦
11
que d(T x, T x0 ) ≤ r · d(x, x0 ) < r · δ. Tomando δ = ε/r, se verifica que
d(T x, T x0 ) < ε, como querı́amos probar. ♦
4.5.- Definición. Sea (X, d) un espacio métrico. Una sucesión (xn )n∈N es
de Cauchy cuando ∀ε > 0, ∃N : d(xn , xm ) < ε, ∀n, m > N.
(m) (m)
|xi | ≤ |xi − xi | + |xi | < ε + k,
lo que significa que (xi )i∈N está acotada. Esto prueba que x ∈ `∞ .
12
Para comprobarlo, sea {x(n) }n∈N una sucesión de Cauchy en `p . Entonces
∃N tal que, para n, m > N :
(m) p 1/p
X
(n) (n) (m)
d(x(n) , x(m) ) = |xi − xi | < ε =⇒ |xi − xi | < ε, ∀i.
i
(n) (n)
Esto implica que {xi }n∈N es de Cauchy, por lo que xi → xi ∈ C.
Si llamamos x = (x1 , . . . xi , . . . ), veamos que x(n) → x y x ∈ `p :
(n) (m)
Como ki=1 |xi − xi |p < εp , ∀k, entonces, haciendo m → ∞,
P
k ∞
(n) (n)
X X
|xi − xi |p ≤ εp =⇒ |xi − xi |p ≤ εp =⇒ x(n) − x ∈ `p .
i=1 i=1
13
(
0 si − 1 ≤ x ≤ 0
es de Cauchy pero el lı́mite f (x) = no es continua en
1 si 0 < x ≤ 1,
x = 0.
10) X = {p : [a, b] → C : p polinomio} con d(p, q) = máxx∈[a,b] |p(x) − q(x)|
no es completo.
Para demostrarlo, basta tomar una sucesión de polinomios
P que nconverja
uniformemente a una función continua (por ejemplo, ex = n≥0 xn! ).
Otros ejemplos de espacios completos se obtienen gracias a la siguiente ca-
racterización.
4.8.- Proposición. Un subconjunto M de un espacio métrico completo X
es completo si y sólo si M es cerrado en X.
Demostración. Sea M completo. Entonces, ∀x ∈ M , ∃{xn }n∈N con xn ∈
M, ∀n tal que xn → x. Pero como {xn }n∈N converge, es de Cauchy; por
tanto converge en M , lo que prueba que x ∈ M.
Recı́procamente, sea M cerrado y {xn }n∈N de Cauchy en M . Por ser X
completo, xn → x ∈ X =⇒ x ∈ M =⇒ x ∈ M. ♦
14
Se define d∗ : X ∗ × X ∗ → R como d∗ (x∗ , y ∗ ) = lı́mn d(xn , yn ) siendo {xn } ∈
x∗ , {yn } ∈ y ∗ .
Se debe probar:
a) Dicho lı́mite existe (para ello basta que {d(xn , yn )} sea de Cauchy en
R).
X0 = {x∗ ∈ X ∗ : (x, x, . . . ) ∈ x∗ }
y f : X → X0 como f (x) = x∗ .
e) X0 = X ∗ .
f) X ∗ es completo.
g) Si (X ∗∗ , d∗∗ ) es compleción de X, ∃f : X ∗ → X ∗∗ isometrı́a.
Otra caracterización importante de los espacios completos, que sólo enun-
ciaremos, viene dada en términos de sucesiones decrecientes de conjuntos o
encajes.
4.11.- Definición. Diremos que una sucesión {An }n∈N de subconjuntos de
X es un encaje cuando A1 ⊃ · · · ⊃ An ⊃ . . . y diám An → 0.
4.12.- Proposición. Sea {An }n∈N un T encaje de conjuntos no vacı́os. En-
tonces An converge a x si y sólo si x ∈ n∈N An .
4.13.- Teorema (Principio de encaje de Haussdorf). Sea X un espacio
métrico. Son equivalentes:
i) X es completo.
ii) Todo encaje {Fn }n∈N de conjuntos cerrados no vacı́os tiene intersección
no vacı́a.
iii) Todo encaje {An }n∈N de conjuntos no vacı́os converge a un punto x ∈
X.
15
5. COMPACIDAD EN ESPACIOS MÉTRICOS.
16
de conjuntos de {Ai }i∈I ; digamos que es K1 . Por ser K1 ⊂ A, es también
totalmente acotado. Repitiendo el argumento anterior, existirá K2 ⊂ K1 con
diám K2 ≤ ε/2 que no puede cubrirse con un número finito de conjuntos de
{Ai }i∈I . Formamos ası́ un encaje {Kn }n∈N de conjuntos contenidos en A
que es completo. PorS el teorema 4.13 existe x ∈ A tal que Kn converge a
x. Como x ∈ A ⊂ i∈I Ai , existe A0 ∈ {Ai }i∈I con x ∈ A0 ; luego para n
grande será Kn ⊂ A0 lo que contradice que Kn no se puede cubrir con un
número finito de conjuntos de {Ai }i∈I .
ii) =⇒ iii): Sea A compacto y {xn }n∈N una sucesión de elementos de A.
Definimos Xn = {xn , xn+1 , . . . }. Es evidente que {Xn }n∈N es una familia
con la propiedad de intersección finita. Por ser A compacto, existe x ∈ A tal
que x ∈ Xn para todo n. Podemos suponer que para algún m es x 6∈ Xm (en
caso contrario la tesis es evidente). Como x ∈ Xm \ Xm , por la proposición
2.11, x es el lı́mite de alguna subsucesión de {xn }n∈N .
iii) =⇒ i): Sea {xn }n∈N una sucesión de Cauchy en A; por hipótesis existe
una subsucesión convergente en A lo que implica que la propia sucesión
converge en A. Luego A es completo.
Si A no fuese totalmente acotado, existirı́a ε > 0 tal que A no puede cu-
brirse con un número finito de bolas de radio ε/2. Elegimos x1 ∈ A y
llamamos B1 = B(x1 , ε/2). Como B1 no cubre a A, existe x2 6∈ B1 ; sea
B2 = B(x2 , ε/2). Razonando en la misma forma, encontramos una sucesión
{xn }n∈N de puntos de A tal que xn 6∈ B1 ∪· · ·∪Bn−1 , es decir d(xi , xj ) ≥ ε/2
con lo que ninguna subsucesión de {xn }n∈N puede ser convergente. ♦
5.7.- Lema. Un subconjunto compacto de un espacio métrico es cerrado y
acotado.
Demostración. Sea M un conjunto compacto y x ∈ M . Entonces existe una
sucesión {xn }n∈N ⊂ M que converge a x. Como M es compacto, x ∈ M
(pues las subsucesiones deben tener el mismo lı́mite que {xn }n∈N ).
Si M no fuera acotado, dado b ∈ M, ∃{yn }n∈N sucesión en M no acotada tal
que d(yn , b) > n. Como {yn }n∈N no está acotada, no puede tener ninguna
sub-sucesión convergente. ♦
17
Sin embargo su clausura sı́ puede serlo. Esto origina la siguiente defini-
ción.
5.8.- Definición. Un conjunto A de un espacio métrico X es relativamente
compacto si su clausura A es compacta.
Las siguientes caracterizaciones (cuya demostración omitiremos) serán úti-
les.
5.9.- Proposición. La condición necesaria y suficiente para que un conjunto
A de un espacio métrico completo X sea relativamente compacto, es que sea
totalmente acotado.
5.10.- Proposición. La condición necesaria y suficiente para que un con-
junto A de un espacio métrico X sea relativamente compacto es que sea
secuencialmente compacto, es decir que toda sucesión de elementos de A po-
sea alguna subsucesión convergente (pero no necesariamente a un punto de
A).
En el análisis, uno de los espacios métricos más importantes es C[a, b] y un
criterio importante para el estudio de la compacidad en estos espacios (que
aplicaremos posteriormente en el estudio de ciertos operadores integrales)
es el teorema de Arzelá-Ascoli que enunciaremos tras definir los conceptos
necesarios.
5.11.- Definición. Una familia F = {ϕ} de funciones definidas en [a, b] se
llama equiacotada cuando existe una constante k > 0 tal que |ϕ(x)| < k,
∀x ∈ [a, b], ∀ϕ ∈ F . La familia F se dice equicontinua cuando para todo
ε > 0 existe δ > 0 tal que ∀ϕ ∈ F ,
para cualesquiera f ∈ A, x1 , x2 ∈ X.
Los conjuntos compactos tienen propiedades interesantes que los hacen com-
portarse como conjuntos finitos. Ası́ por ejemplo la imagen continua de un
compacto es un compacto.
18
5.14.- Teorema. Sea f : X → Y una aplicación continua y X, Y espacios
métricos. Si M es compacto en X, f (M ) es compacto en Y .
La prueba es directa.
5.15.- Corolario. Si f : X → R es continua y M es compacto en X,
entonces f alcanza el máximo (y el mı́nimo) en algún punto de M .
Demostración. f (M ) ⊂ R es compacto, con lo que f (M ) es cerrado y acota-
do. Esto implica que ı́nf f (M ) ∈ f (M ) y sup f (M ) ∈ f (M ) y las imágenes
inversas de esos puntos están en M . ♦
19
6. EJERCICIOS.
i) kd,
ii) d + k
Resp.: i) Sea d0 = kd. Para que d0 (x, y) > 0, debe ser k > 0.
Para que d0 (x, y) = 0 ⇐⇒ x = y, debe ser k 6= 0.
Como las otras dos propiedades son siempre ciertas, toda constante
k > 0 hace de d0 una métrica.
ii) Sea d00 = d + k. Para que d00 (x, y) = 0 ⇐⇒ x = y, hace falta que
k = 0 porque x = y =⇒ d(x, y) = 0 =⇒ d00 (x, y) = d(x, y) + k = k.
Ası́ pues, sólo para k = 0 es d00 un métrica.
(
1 si x 6= y
Resp.: Como d(x, y) = supn |xn − yn | = se trata de la
0 si x = y,
métrica discreta.
Resp.: card X = 23 = 8.
i) Es evidente que d(x, y) ≥ 0.
20
ii) d(x, y) = 0 =⇒ x e y no tienen ningún valor diferente =⇒ x = y.
El recı́proco es similar.
iii) Por la simetrı́a de la definición, d(x, y) = d(y, x).
iv) Sean x = (x1 , x2 , x3 ), y = (y1 , y2 , y3 ), z = (z1 , z2 , z3 ); debido a que
d(x, y) = |x1 − y1 | + |x2 − y2 | + |x3 − y3 |, por la desigualdad triangular
en R se deduce que
3
X 3
X 3
X
d(x, y) = |xi − yi | = |xi − zi + zi − yi | ≤ (|xi − zi | + |zi − yi |)
i=1 i=1 i=1
X3 X3
= |xi − zi | + |zi − yi | = d(x, z) + d(z, y).
i=1 i=1
21
b) La sucesión (1/n)n≥1 no está en `1P
P
, pues la serie 1/n es diver-
gente, pero está en `p con p > 1 pues 1/np < ∞, ∀p > 1.
22
c) Sean b, b0 ∈ B; por la desigualdad triangular,
d(x, b) ≤ d(x, y) + d(y, b) ≤ d(x, y) + d(y, b0 ) + d(b0 , b).
Esto implica que
ı́nf d(x, b) ≤ d(x, y)+ ı́nf
0
d(y, b0 )+ ı́nf
0
d(b0 , b) = d(x, y)+ ı́nf
0
d(y, b0 ),
b∈B b ∈B b,b ∈B b ∈B
Resp.:
i) Es evidente que d(x, y) ≥ 0 y d(x, y) ≥ 0.
ii) De la definición se deduce también que:
d(x, y) = 0 ⇐⇒ d1 (x1 , y1 ) = d2 (x2 , y2 ) = 0
⇐⇒ x1 = y1 , x2 = y2 ⇐⇒ x = y;
d(x, y) = 0 ⇐⇒ d1 (x1 , y1 ) = d2 (x2 , y2 ) = 0
⇐⇒ x1 = y1 , x2 = y2 ⇐⇒ x = y.
iii) Es claro también que d(x, y) = d(y, x), d(x, y) = d(y, x).
iv) En el caso de d, se prueba fácilmente que
d(x, y) = d1 (x1 , y1 ) + d2 (x2 , y2 )
≤ d1 (x1 , z1 ) + d1 (z1 , y1 ) + d2 (x2 , z2 ) + d2 (z2 , y2 ) = d(x, z) + d(z, y).
23
|a−b|
9. En R definimos la distancia d(a, b) = 1+|a−b| (ver ejercicio 6).
|x − a|
< r =⇒ |x − a| < r + r|x − a| =⇒ (1 − r) · |x − a| < r.
1 + |x − a|
r r r
- Si r < 1: |x − a| < 1−r =⇒ B(a, r) = a − 1−r , a + 1−r .
- Si r = 1: B(a, r) = R.
- Si r > 1 se obtiene también que B(a, r) = R.
b) Por definición,
|2 − x| 2−x 1
δ(2, A) = ı́nf d(2, x) = ı́nf = ı́nf = ,
0≤x≤1 0≤x≤1 1 + |2 − x| 0≤x≤1 3 − x 2
2−x
pues y = 3−x es una función decreciente en [0, 1].
c) D(A, B) = ı́nf{d(x, y) : x ∈ [0, 1], y ∈ (−2, −1)}.
x−y
Si x ∈ [0, 1], y ∈ (−2, −1), d(x, y) = 1+x−y .
∂d 1
Como la derivada parcial ∂x = (1+x−y)2
> 0, d es creciente si y es
constante.
∂d −1
Análogamente, como ∂y = (1+x−y)2
< 0, entonces d es decreciente si
x es constante.
En el cuadrado [0, 1] × [−2, −1], el mı́nimo se alcanza en (0, −1) y vale
1/2.
24
10. Probar que la clausura B(x0 , r) de una bola abierta B(x0 , r) en
un espacio métrico puede ser distinta de la bola cerrada B(x0 , r).
ı́nf d(x, a) ≤ d(x, x0 )+ı́nf d(x0 , b)+ ı́nf d(b, a) =⇒ f (x) ≤ d(x, x0 )+f (x0 ).
a∈A b∈A a,b∈A
25
Resp.: Si X es separable, existe por definición M ⊂ X numerable
tal que ∀x ∈ X, ∃{xn }n∈N ⊂ M : xn → x. Entonces ∀ε > 0, ∃N :
d(xn , x) < ε, ∀n > N.
Recı́procamente, si ∀x ∈ X, ∃y ∈ Y : d(x, y) < ε, entonces x ∈ Y .
Esto implica que X = Y con Y numerable, es decir X es separable.
26
Ası́ pues, lı́m x2n = lı́m x2n+1 = a. Veamos que lı́m xn = a:
27
16. Si d1 , d2 son métricas equivalentes sobre X , probar que las suce-
siones de Cauchy en (X, d1 ) y (X, d2 ) son las mismas.
d(x,A)
Resp.: Basta definir f (x) = d(x,A)+d(x,B) . El denominador nunca se
anula por lo que f está definida en todo X.
28
20. Sea f : R → R una función aditiva y continua en x0 . Demostrar
que f es continua en R y que f (x) = ax, ∀x ∈ R con a fijo.
29
Dado B abierto en F, f −1 (B) es abierto en E. Entonces (g◦f )f −1 (B) =
g(B) es abierto en G =⇒ g −1 continua =⇒ g homeomorfismo.
Otra forma: g = g ◦ f ◦ f −1 con g ◦ f biyectiva y f −1 biyectiva =⇒ g
biyectiva.
g −1 = f ◦ f −1 ◦ g −1 con f continua y f −1 ◦ g −1 continua =⇒ g −1
continua.
f −1 = f −1 ◦ g −1 ◦ g con g continua y f −1 ◦ g −1 continua =⇒ f −1
continua.
x(1) = (1, 0, . . . )
x(2) = (1, 1/4, 0, . . . )
...
x(n) = (1, 1/4, . . . , 1/n2 , 0, . . . ).
(n) (m) 1
Si m > n, d(x(n) , x(m) ) = sup |xj − xj |= (n+1)2
→ 0.
30
Ası́ definida, x(n) ∈ M, ∀n, pero lı́m x(n) = x = (1, 1/4, . . . , 1/n2 , . . . ) 6∈
n→∞
M.
31
27. Demostrar que toda isometrı́a f : R → R cumple que f (x) = a + x
ó f (x) = a − x.
ii) d(x, x) = 0, ∀x ∈ X .
32
entonces
Z b Z b Z b
|x(t) − y(t)|dt ≤ |x(t) − z(t)|dt + |z(t) − y(t)|dt.
a a a
Rb
Además, si x, y ∈ C[a, b] y a |x(t) − y(t)|dt = 0, entonces x = y.
Sin embargo si x e y se diferencian en su valor en un punto c ∈ (a, b) y
Rb
son integrables, a |x−y| = 0 pero x 6= y. Esto indica que la aplicación,
definida en R[a, b], es una pseudométrica.
33
31. Sea d una distancia en un conjunto X . Diremos que d es ul-
tramétrica si d(x, z) ≤ máx{d(x, y), d(y, z)}, ∀x, y, z ∈ X .
Supongamos que d es ultramétrica.
a) Demostrar que si d(a, b) 6= d(b, c), d(a, c) = máx{d(a, b), d(b, c)}.
d(a, c) ≤ máx{d(a, b), d(b, c)} = d(b, c) ≤ máx{d(b, a), d(a, c)} = d(a, c)
=⇒ d(a, c) = d(b, c) = máx{d(a, b), d(b, c)}.
d(a, c) ≤ máx{d(a, b), d(b, c)} = d(a, b) ≤ máx{d(a, c), d(c, b)} = d(a, c)
=⇒ d(a, c) = d(a, b) = máx{d(a, b), d(b, c)}.
34
La igualdad B(b, r) = B(a, r) se prueba de forma análoga al apartado
b).
d) Sea x ∈ B(a, r) ∩ B(b, s) y supongamos que r < s. Entonces
d(x, a) < r y d(x, b) < s, de donde d(a, b) ≤ máx{d(a, x), d(x, b)} <
s.
Además ∀y ∈ B(a, r), d(y, b) ≤ máx{d(y, a), d(a, b)} < s =⇒ y ∈
B(b, s).
Si r = s, B(a, r) = B(b, r) pues, como d(a, b) < r, a ∈ B(b, r) y por
b), B(a, r) = B(b, r).
e) Por d), si las bolas son distintas, son disjuntas: B(a, r)∩B(b, r) = ∅.
Si A = B(a, r), B = B(b, r), C = B(c, r), A ⊂ C, B ⊂ C =⇒
d(A, B) = r.
Si x ∈ A, y ∈ B, d(x, y) ≤ máx{d(x, c), d(c, y)} ≤ r =⇒ d(A, B) ≤ r.
Como d(A, B) ≥ r, deducimos en definitiva que d(A, B) = r.
35
33. a) Si X es un espacio métrico, demostrar que la condición nece-
saria para que una sucesión {xn }n∈N sea de Cauchy es que
36