Espacios Métricos PDF
Espacios Métricos PDF
Espacios Métricos
Clases vituales
21-03-2020
Índice:
4 Abiertos y cerrados
1 Distancias
5 Conjuntos acotados: distancia acotada
2 Distancia a un conjunto 6 Espacios metrizables
3 Bolas métricas 7 Problemas propuestos
Distancias
2/2
Sección 1: Distancias 3
1. Distancias
Una de las maneras más frecuentemente usadas para dotar de una topologı́a a un
conjunto es definir la topologı́a en términos de una distancia en el conjunto.
El siguiente resultado es bien conocido del álgebra lineal, en el ámbito de los espacios
vectoriales con un producto escalar.
y y
y
y
x x
x
x
n
!1/2
X
d2 (x, y) = (xi − yi )2 ,
i=1
n n n n
!1/2
X X X X
2 2 2 2
= (xi − zi ) + (zi − yi ) + 2 (xi − zi ) (zi − yi ) = (∗)
i=1 i=1 i=1 i=1
Aplicando la desigualdad de Cauchy-Schwarz al último sumando de la expresión anterior:
n
X n
X n
X
(∗) ≥ (xi − zi )2 + (zi − yi )2 + 2 (xi − zi )(zi − yi ) =
i=1 i=1 i=1
n
X n
X
(xi − zi )2 + (zi − yi )2 + 2(xi − zi )(zi − yi ) = [(xi − zi ) + (zi − yi )]2 =
i=1 i=1
n n
!1/2 2
X X
= (xi − yi )2 = (xi − yi )2 = (d2 (x, y))2 .
i=1 i=1
Ejercicio 3.2. Sea X = A([a, b], R) = `∞ ([a, b]) el conjunto de las funciones acotadas
f : [a, b] → R. Dadas dos funciones f , g ∈ X definimos
d∞ (f, g) = sup {|f(x) − g(x)|}.
x∈[a,b]
Prueba que d∞ es una distancia y haz un un esquema gráfico que represente cómo
funciona esta distancia. d ∞ se denomina la distancia del supremo.
Ejercicio 3.3. Consideremos el espacio
`∞ = {(xn )n | sucesión acotada xn ∈ R} = {x : N −→ R | acotada}
¿Podrı́as definir una distancia en este espacio?
Ejemplo 3.4. Sea C([a, b], R) = {f : [a, b] −→ R | f es continua} el conjunto de las
funciones reales continuas sobre un intervalo cerrado [a, b]. Entonces la aplicación d
dada por
Z b
d(f, g) = |f(x) − g(x)|dx
a
es una distancia.
Toc JJ II J I Volver J Doc Doc I
Sección 1: Distancias 9
Proposición 3.2 Sean (X1 , d) y (X2 , d0 ) dos espacios métricos. Para x = (x1 , x2 ) e
y = (y1 , y2 ) puntos 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) = máx{d(x1 , y1 ), d0 (x2 , y2 )}.
Entonces d1 , d2 y d∞ son distancias en el espacio producto X 1 × X2 .
2. Distancia a un conjunto
Definición 3.3 Sea (X, d) un espacio métrico, A ⊂ X un subconjunto de X y x 0 un
punto de X. La distancia de x 0 al subconjunto A se define como
d(x0 , A) = inf{d(x0 , x) | x ∈ A}
Toc JJ II J I Volver J Doc Doc I
Sección 2: Distancia a un conjunto 11
3. Bolas métricas
A continuación vamos a estudiar los subconjuntos, quizás más importantes, de un es-
pacio métrico: las bolas abiertas. Se trata de una generalización del concepto conocido
de intervalo abierto centrado en un punto en R.
Definición 3.5 Sea (X, d) un espacio métrico, a ∈ X un punto y r > 0 un número 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}.
Si se necesita especificar con qué distancia se está trabajando, se representará por
Bd (a, r).
Demostración.
δ La primera condición de base es trivial, puesto que x ∈ B(x, r),
x
para cualquier r > 0. Veamos ahora que si x es un punto del ele-
mento básico B(a, r), entonces existe un elemento básico B(x, δ)
a centrado en x que está contenido en B(a, r). Tomemos δ =
r r − d(x, a). Entonces B(x, δ) ⊂ B(a, r), por lo que si y ∈ B(x, δ),
entonces d(x, y) < r − d(a, x), con lo que concluimos que
d(a, y) ≤ d(a, x) + d(x, y) < r.
Para comprobar la segunda condición para una base, sean B 1 y B2 dos elementos básicos
y sea x ∈ B1 ∩ B2 . Acabamos de ver que podemos elegir números positivos δ1 y δ2 de
tal modo que B(x, δ1 ) ⊂ B1 y B(x, δ2 ) ⊂ B2 . Tomando δ = mı́n{δ1 , δ2 } concluimos que
B(x, δ) ⊂ B1 ∩ B2 .
Corolario 3.6 Sea (X, d) un espacio métrico y sea Td la topologı́a métrica inducida por
d. Entonces un conjunto A es abierto en Td si, y sólo si, para cada x ∈ A existe un δ > 0
tal que Bd (x, δ) ⊂ A.
Ejemplo 3.7. 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)
Ejemplo 3.8. En este ejemplo justificamos el nombre de bola. En (R2 , d2 ) tenemos que
B(a, r) = {(x, y) ∈ R2 | x2 + y2 < r2 },
es decir, es el interior del cı́rculo de radio r centrado en a.
En el espacio (R3 , d2 ) se tiene
B(a, r) = {(x, y, z) ∈ R3 | x2 + y2 + z2 < r2 }
que es el interior de la bola o esfera sólida de radio r centrada en a.
Las bolas abiertas, sin embargo, pueden ser realmente muy diferentes y no tener la
apariencia de una bola esférica, como se muestra en los siguientes ejemplos.
Ejemplo 3.9.
(1) En (R2 , d∞ ) la bola B(a, r) es el interior del cuadrado de centro a y de lados
paralelos a los ejes de coordenadas y con longitud 2r.
(2) En (R2 , d1 ) la bola B(0, r) es el interior del cuadrado centrado en el punto (0, 0)
y con vértices en los puntos (0, r), (0, −r), (r, 0), (−r, 0).
Ejercicio 3.5.
(a) Sea una función f0 ∈ (C([0, 1], R), d∞ ). ¿Cuánto vale B(f0 , r)?
(b) Sea un espacio métrico discreto (X, dD ). ¿Cuánto vale B(a, r)?
(c) Sea H = [0, 1] ⊂ R con la distancia inducida d H por la distancia d de R. Calcule
Bd (1, 1) y BdH (1, 1).
4. Abiertos y cerrados
4.1. Abiertos
Ya hemos visto en el apartado anterior que las bolas en un espacio métrico son la base
de una topologı́a, que hemos denominado topologı́a métrica. En particular, las bolas
son abiertos en dicha topologı́a.
(3) Sea (X, TD ) un espacio métrico discreto (TD es la topologı́a inducida por la dis-
tancia discreta). Entonces cualquier subconjunto es abierto.
(4) La condición de ser abierto depende naturalmente de la distancia y del espacio
total. (a) El subconjunto {0} ⊂ R es abierto para la distancia discreta, pero no
lo es para la distancia euclı́dea. (b) El intervalo [0, 1) es abierto en ([0, 2], d[0,2] ),
pero no lo es en R con la distancia usual.
T∞
Ejercicio 3.6. ¿Es abierto el conjunto n=1 (− n1 , n1 )?
4.2. Cerrados
Ya hemos visto en el capı́tulo anterior que tan importantes como los conjuntos abiertos
son sus complementarios, los conjuntos cerrados. Antes de estudiar algunas propiedades
de estos conjuntos en los espacios métricos, veamos unos ejemplos.
Ejemplo 3.11.
(1) En R, con la distancia usual, los intervalos cerrados son subconjuntos cerrados;
también lo son las semirrectas cerradas [a, +∞) o (−∞, b]. Sin embargo, no lo
son los intervalos de la forma [a, b), (a, b] o (a, b).
(2) 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.
(3) Cualquier recta en (R2 , d2 ) es un conjunto cerrado.
Toc JJ II J I Volver J Doc Doc I
Sección 4: Abiertos y cerrados 18
Proposición 3.10 Las bolas cerradas en un espacio métrico son conjuntos cerrados.
Ejemplo 3.12.
(1) La unión arbitraria de
cerrados no es, necesariamente, un cerrado. Consideremos
la familia { 0, 1 − n1 | n ∈ N} de intervalos cerrados en R; su intersección es
\ 1
0, 1 − = [0, 1),
n
n∈N
Toc JJ II J I Volver J Doc Doc I
Sección 5: Conjuntos acotados. Distancia acotada 19
que no es cerrado.
(2) Cualquier subconjunto en la distancia discreta es cerrado.
(3) Hay subconjuntos que no son ni abiertos ni cerrados. Por ejemplo, [0, 1) ⊂ R con
la distancia euclı́dea.
(4) También es posible que un subconjunto sea a la vez abierto y cerrado. Por ejemplo,
cualquier subconjunto en la distancia discreta es, a la vez, abierto y cerrado.
Definición 3.9 Un espacio métrico (X, d) se dice acotado si existe un número real
k > 0 tal que d(x, y) ≤ k para todo par de puntos x, y ∈ X. En este caso, también se
dice que la distancia d es una distancia acotada.
Ejemplo 3.15.
(1) R con la distancia euclı́dea es un espacio métrico no acotado.
(2) R con la distancia discreta es un espacio métrico acotado.
Proposición 3.11 Un espacio métrico (X, d) está acotado si, y sólo si, existen un punto
x0 ∈ X y un número real r > 0 tales que B(x0 , r) = X.
Demostración. ⇒ Si el espacio métrico está acotado por k, tomamos un punto cual-
quiera x0 ∈ X. Es obvio que la bola B(x0 , k + 1) ⊂ X; pero si x ∈ X, como d(x0 , x) ≤ k,
por ser k cota de X, tenemos que x ∈ B(x0 , k + 1).
⇐ Recı́procamente, supongamos que B(x0 , r) = X, entonces el número real 2r es una
cota superior de todas las distancias entre los pares de puntos x, y del espacio. Aplicando
la desigualdad triangular se tiene que d(x, y) ≤ d(x, x0 ) + d(x0 , y) < r + r = 2r.
Corolario 3.12 Todo subconjunto de un espacio métrico acotado es, a su vez, acotado.
6. Espacios metrizables
En la Sección 3 hemos visto que en cualquier espacio métrico (X, d) podemos cons-
truir una topologı́a, denominada topologı́a métrica y denotada por Td . Nos podemos
preguntar ahora si todo espacio topológico procede de una métrica.
Definición 3.10 Un espacio topológico (X, T) se dice que es metrizable si existe una
distancia d definida sobre X tal que T coincide con la topologı́a métrica inducida Td .
Muchos de los espacios importantes para las matemáticas son metrizables, pero
algunos no lo son. La metrizabilidad es una propiedad muy deseable para un espacio,
puesto que la existencia de una distancia nos ofrece una valiosa herramienta para probar
teoremas sobre dicho espacio. Un problema de importancia fundamental en topologı́a
es encontrar condiciones sobre un espacio topológico que garanticen que es metrizable.
No es un problema de fácil tratamiento y, en todo caso, excede de las pretensiones de
este curso.
Ejemplo 3.16.
(1) La topologı́a discreta sobre cualquier conjunto X es metrizable, siendo la distancia
asociada la distancia discreta o trivial.
(2) No todo espacio topológico es metrizable. Por ejemplo, si X es un conjunto que
contiene más de un punto y lo consideramos dotado de la topologı́a indiscreta
(X, TI ), entonces no es un espacio metrizable, puesto que los únicos cerrados para
esta topologı́a son ∅ y X, pero sabemos que en un espacio métrico los conjuntos
finitos son cerrados, por lo que deberı́an existir más cerrados.
tendremos
A0 ⊂ A ∩ H = (∪x∈A0 Bd (x, r)) ∩ H = ∪x∈A0 (Bd (x, r) ∩ H) = ∪x∈A0 BdH (x, r) ⊂ A0 .
Entonces A0 = A ∩ H y, por tanto, A0 ∈ Td |H .
Hemos visto que no todo espacio topológico es metrizable. Cabe entonces hacerse la
siguiente pregunta: ¿qué diferencias topológicas existen entre un espacio topológico que
sea metrizable y otro que no lo sea? Veamos a continuación una propiedad fundamental
que se verifica en los espacios metrizables pero que no es cierta, en general, en un
espacio topológico arbitrario.
Proposición 3.15 Un espacio topológico (X, T) es de Hausdorff si, y sólo si, para todo
par de puntos distintos x, y ∈ X existen abiertos A, B ⊂ X tales que x ∈ A, y ∈ B y
A ∩ B = ∅.
Ejemplo 3.17.
(1) Todo espacio métrico es de Hausdorff.
(2) No todo espacio topológico es T 2 . La recta real, con la topologı́a cofinita, no es
un espacio de Hausdorff.
Vamos a comparar las topologı́as métricas inducidas por dos distancias distintas
sobre un mismo espacio X.
Definición 3.12 Dos métricas d y d 0 sobre un mismo conjunto X se dice que son
equivalentes si dan lugar a la misma topologı́a, es decir, si Td = Td0 .
7. Problemas propuestos
Problema 3.1. Sea d : N × N −→ R definida por d(m, n) = |m2 − n2 |. ¿Es (N, d) un
espacio métrico? Justifique la respuesta.
Problema 3.2. Sea (X, d) un espacio métrico. Demuestre que si x, y, z, t ∈ X se cumple
que
|d(x, y) − d(z, t)| ≤ d(x, z) + d(y, t).
(a) d(x, y) = 0 ⇔ x = y;
(b) d(x, y) ≤ d(x, z) + d(y, z).
Problema 3.4. Sea (X, d) un espacio métrico. Se definen d 01 , d02 y d03 como sigue:
d01 (x, y) = kd(x, y), k ∈ R+
d02 (x, y) = mı́n{1, d(x, y)}
d03 (x, y) = [d(x, y)]2
Demuestre que d01 y d02 son distancias sobre X, pero que d 03 no tiene por qué ser nece-
sariamente una distancia.
Problema 3.5. Sea X un conjunto y f : X −→ R una aplicación inyectiva; demuestre
que la aplicación d(x, y) = |f(x) − f(y)| es una distancia sobre X.
Problema 3.6. Sea f : R −→ R una función estrictamente creciente. Demuestre que
d(x, y) = |f(x) − f(y)| es una distancia sobre R
Problema 3.7. Sea f : [0, +∞) −→ [0, +∞) una función estrictamente creciente veri-
ficando:
(a) f(0) = 0;
(b) Si x, y ≥ 0 ⇒ f(x + y) ≤ f(x) + f(y).
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 + y2 = 0}
S
Problema 3.21. 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 euclı́dea.
Problema 3.22. Calcule en (R2 , d2 ) la distancia d2 (A, B) en los siguientes casos:
A = {(0, 0)} y B = [1, +∞) × [1, +∞)
A = {(x, y) ∈ R2 | y > 1x , x > 0} y B = {(x, y) ∈ R2 | y < − 1x , x > 0}.
Problema 3.23. Sea (R2 , d2 ) y A = {(x, y) ∈ R2 | x + y < 1, x > 0, y > 0}. Calcule
el diámetro de A.
Problema 3.24. Demuestre que un subconjunto de un espacio métrico es abierto si, y
sólo si, es unión de bolas abiertas.
Problema 3.25. Determine las bolas en R2 para la distancia
d(x, y) = máx{|x1 − x2 |, dD (y1 , y2 )},
con x = (x1 , y1 ), y = (x2 , y2 ).
Problema 3.26. Determine las bolas en R para la distancia d(x, y) = mı́n{1, |x − y|}.
Toc JJ II J I Volver J Doc Doc I
Sección 7: Problemas propuestos 32