Completaci´on de espacios m´etricos

Completaci´ on de espacios m´ etricos

Objetivos. Mostrar que cada espacio m´etrico tiene una completaci´on. M´as a´un, esta completaci´on es ´unica, salvo isometr´ıas.

Prerrequisitos. Sucesiones de Cauchy, espacios m´etricos completos, extensi´on de una funci´on uniformemente continua, definida en un subconjunto denso de un espacio m´etrico.

1 Definici´on. Sean (X, d) y (Y, ρ) espacios m´etricos. Se dice que (Y, ρ) es una comple- taci´on de (X, d) si (Y, ρ) es completo y existe una funci´on isom´etrica f : X → Y tal que f [X] es un subconjunto denso de Y .

Es bastante f´acil demostrar que la completaci´on es esencialmente ´unica.

2 Proposici´on (sobre la unicidad de la completaci´on de espacios m´etricos, salvo biyeccio- nes isom´etricas). Sea X un espacio m´etrico y sean Y , Z completaciones de X. Entonces existe una funci´on biyectiva isom´etrica h : Y → Z.

Idea de la demostraci´on. Usar el teorema sobre la extensi´on de una funci´on uniformemen- te continua, definida en un subconjunto denso del dominio.

Para construir una completaci´on de un espacio dado, necesitamos varias herramientas auxiliares.

3 Definici´on (el medidor de Cauchy de una sucesi´on, repaso). Dada una sucesi´on a = (a_k)_k∈N en (X, d), pongamos

γa(n) := sup

j,k≥n

d(aj, ak) = diam({aj: j ≥ n}).

4 Proposici´on (criterio de sucesi´on de Cauchy en t´erminos del medidor de Cauchy, repaso). (a_k)_k∈N es de Cauchy si, y s´olo si, γ_a(n) → 0 cuando n → ∞.

5 Lema. Sean (a_k)_k∈N y (b_k)_k∈N dos sucesiones de Cauchy. Entonces (d(a_k, b_k))_k∈N es una sucesi´on de Cauchy en R.

Demostraci´on. Denotemos d(a_k, b_k) por δ_k. Si m ∈ N y j, k ≥ m, entonces

|δ_j − δ_k| ≤ |d(a_j, b_j) − d(a_k, b_k)| ≤ d(a_j, a_k) + d(b_j, b_k) ≤ γ_a(m) + γ_b(m).

De aqu´ı obtenemos una cota superior para el medidor de Cauchy de la sucesi´on (δ_k)_k∈N: γ_δ(m) ≤ γ_a(m) + γ_b(m).

Como l´ım

m→∞γ_a(m) = 0 y l´ım

m→∞γ_b(m) = 0, concluimos que l´ım

m→∞γ_δ(m) = 0.

Completaci´on de espacios m´etricos, p´agina 1 de 4

6 Lema (sobre la pseudom´etrica natural entre sucesiones de Cauchy). Sea X un espacio m´etrico. Denotemos por C al conjunto de las sucesiones de Cauchy en X. Definimos σ : C² → [0, +∞) mediante la siguiente regla:

σ(a, b) := l´ım

k→∞d(a_k, b_k).

Entonces σ es una pseudom´etrica en C.

Demostraci´on. Sean a, b, c ∈ C. Entonces para cada k en N tenemos d(a_k, b_k) ≤ d(a_k, c_k) + d(c_k, b_k).

Sabemos que las sucesiones (d(a_k, b_k))_k∈N, (d(a_k, c_k))_k∈N y (d(c_k, b_k))_k∈N convergen. Pa- sando al l´ımite en la desigualdad, obtenemos

σ(a, b) ≤ σ(a, c) + σ(c, b).

Tambi´en es f´acil verificar que σ(a, b) = σ(b, a) y que σ(a, a) = 0.

7 Lema (sobre la distancia entre sucesiones constantes). Sea X un espacio m´etrico.

Definimos h : X → C mediante la regla

h(x)_j = x (j ∈ N).

En otras palabras, h(x) es la sucesi´on constante con todas las componentes iguales a x:

h(x) = (x, x, x, . . .).

Entonces h es una funci´on isom´etrica, esto es,

σ(h(x), h(y)) = d(x, y) (x, y ∈ X).

Demostraci´on. Primero notemos que si x ∈ X, entonces la sucesi´on constante h(x) con- verge al punto x y por eso pertenece al conjunto C. Si x, y ∈ X, entonces para cada k en N tenemos que h(x)k = x, h(y)_k = y, luego

σ(h(x), h(y)) = l´ım

k→∞d(h(x)_k, h(y)_k) = d(x, y).

El siguiente lema contiene la idea m´as fuerte de este tema.

8 Lema (“sobre la convergencia de una sucesi´on de Cauchy a si misma”). Sea X un espacio m´etrico y sea a ∈ C. Entonces

n→∞l´ım σ(h(a_n), a) = 0.

Completaci´on de espacios m´etricos, p´agina 2 de 4

Demostraci´on. Para cada n en N y cada k en N con k ≥ n, d(h(a_n)_k, a_k) = d(a_n, a_k) ≤ γ_a(n).

Por eso

σ(h(a_n), a) = l´ım

k→∞d(h(a_n)_k, a_k) ≤ γ_a(n).

Como a es de Cauchy, la ´ultima expresi´on tiende a 0 cuando n tiende a infinito.

9 Teorema (sobre la existencia de una completaci´on de un espacio m´etrico). Sea X un espacio m´etrico. Entonces existe un espacio m´etrico completo Y y una funci´on isom´etrica f : X → Y tal que f [X] es denso en Y .

Demostraci´on. Usamos la notaci´on de los lemas. Ya sabemos que (C, σ) es un espacio pseudom´etrico. Como vimos en el tema “Espacios pseudom´etricos”, hay una receta simple para pasar de un espacio pseudom´etrico a un espacio m´etrico. Apliquemos esta receta al espacio pseudom´etrico (C, σ). Definamos una relaci´on binaria en C:

a ∼ b ⇐⇒ σ(a, b) = 0.

Entonces ∼ es una relaci´on de equivalencia en C. Denotemos por Y al conjunto de las clases de equivalencia y por g : C → Y a la funci´on que convierte cada sucesi´on de Cauchy a en su clase de equivalencia:

g(a) := {b ∈ C : σ(a, b) = 0}.

Definimos ρ : Y² → [0, +∞) como

ρ(g(a), g(b)) := σ(a, b).

Como vimos en el tema “Espacios pseudom´etricos”, esta definici´on es consistente, y ρ es una m´etrica.

Pongamos f := g ◦ h. Del Lema 7se sigue que f es una isometr´ıa. En efecto, si x, y ∈ X, entonces

ρ(f (x), f (y)) = σ(h(x), h(y)) = d(x, y).

Notamos que si a = (a_n)_n∈N∈ C, entonces

n→∞l´ım f (a_n) = g(a).

Completaci´on de espacios m´etricos, p´agina 3 de 4

En efecto, por el Lema 8,

ρ(f (a_n), g(a)) = σ(h(a_n), a) = 0.

Demostremos que f [X] es denso en Y . Sea A ∈ Y . Elegimos a ∈ A. Para cada n en N pongamos B_n:= f (a_n). Entonces, por el inciso anterior, l´ım_n→∞B_n = A. Como B_n∈ f [X]

para cada n en N, concluimos que A ∈ cl(f [X]).

Demostremos que (Y, ρ) es completo. Sea A = (A_n)_n∈N una sucesi´on de Cauchy en Y . Usando la densidad de f [X] en Y , para cada k en N encontramos bk en X tal que ρ(f (b_k), A_k) < 1/k. Si n ∈ N y j, k ≥ n, entonces

ρ(b_j, b_k) = ρ(f (b_j), f (b_k)) ≤ ρ(f (b_j), A_j) + ρ(A_j, A_k) + ρ(A_k, f (b_k))

≤ 1

j + γ_A(n) + 1

k ≤ γ_A(n) + 2 n,

luego γ_b(n) ≤ γ_A(n) +_n¹, y la sucesi´on b es de Cauchy. Mostremos que l´ım_n→∞A_n = g(b).

Como ya sabemos, l´ım_n→∞f (b_n) = g(b). Pero

ρ(A_n, g(b)) ≤ ρ(A_n, f (b_n)) + ρ(f (b_n), g(a)) ≤ 1

n + ρ(f (b_n), g(a)), as´ı que l´ımn→∞An= g(b).

Completaci´on de espacios m´etricos, p´agina 4 de 4