13.

1 Espacios con producto interno Espacios de Hilbert

haremos referencia al cuerpo de base k, y diremos simplemente que E es un espacio con producto
interno o un espacio prehilbertiano. Estos comentarios son extensivos a los espacios de Hilbert, que
estudiaremos más adelante.

Ejemplos 13.3. El espacio vectorial Rn es un R-espacio con producto interno, llamado espacio
euclideano de dimensión n via
n
X
〈x, y〉 := ui v i .
i =1

El espacio vectorial Cn también es un espacio con producto interno, en este caso sobre C, llamado
espacio hermitiano de dimensión n, via
n
X
〈x, y〉 := ui v i .
i =1

Asimismo, los espacios de sucesiones l 2 (k) (k = R o C) son k-espacios con producto interno via
∞
X
〈u, v〉 := ui v i ,
i =1

En todos estos ejemplos u i e v i denotan a las i -ésimas coordenadas de u e v, respectivamente. Por

último, el espacio (C [a, b], R), de las funciones continuas de un intervalo cerrado [a, b] en R, es un
R-espacio con producto interno via
Z b
〈 f , g 〉 := f (x)g (x) d x,
a

y el espacio (C [a, b], C), de las funciones continuas de un intervalo cerrado [a, b] en C, es un C-
espacio con producto interno via
Z b
〈 f , g 〉 := f (x)g (x) d x.
a

Salvo indicación en contrario en este capítulo a los espacios kn , l 2 (k) y (C [a, b], k) los consideramos
provistos de estas estructuras de producto interno.

Ejemplo 13.4. Todo subespacio lineal V de un espacio con producto interno E es un espacio con
producto interno via la restricción del producto interno de E a V × V .

Ejercicio 13.5. Pruebe que las afirmaciones hechas en los Ejemplos 13.3 son verdaderas.

Ejercicio 13.6. Supongamos que E es un C-espacio vectorial y denotemos con R E al espacio vectorial
real subyacente a E . Pruebe que si 〈 , 〉 es un producto interno sobre E , entonces 〈 , 〉R := ℜe ◦ 〈 , 〉 es
un producto interno sobre R E que satisface

〈i · u, v〉R = −〈u, i · v〉R para todo u, v ∈ R E . (13.1)

Pruebe que vale la recíproca. Esto es, que si 〈 , 〉R es un producto interno sobre R E que satisface la
condición (13.1), entonces la función 〈 , 〉 : E × E −→ C, definida por

〈u, v〉 := 〈u, v〉R + i 〈u, i · v〉R ,

es un producto interno sobre E , y es el único cuya parte real es 〈 , 〉R .

202
Espacios de Hilbert 13.1 Espacios con producto interno

La siguiente es, junto con la de Hölder, una de las desigualdades más importantes del análisis.
Una razón es que, como veremos pronto, permite probar que los espacios con producto interno
tienen una estructura natural de espacio normado.

Teorema 13.7 (Desigualdad de Cauchy-Bunyakovsky-Schwarz). Para todo u, v ∈ E ,

p p
|〈u, v〉| ≤ 〈u, u〉 〈v, v〉.

Además, en la desigualdad anterior vale la igualdad si y solo si u y v son linealmente independientes.

〈u,v〉
Demostración. Cuando v = 0, ambos lados se anulan. Supongamos que v 6= 0 y tomemos λ := 〈v,v〉 .
Entonces

0 ≤ 〈u − λ · v, u − λ · v〉
= 〈u, u〉 − 〈u, λ · v〉 − 〈λ · v, u〉 + 〈λ · v, λ · v〉
= 〈u, u〉 − λ〈u, v〉 − λ〈v, u〉 + |λ|2 〈v, v〉
= 〈u, u〉 − λ〈u, v〉 − λ〈u, v〉 + |λ|2 〈v, v〉
|〈u, v〉|2
= 〈u, u〉 − .
〈v, v〉
p p
Por lo tanto |〈u, v〉| ≤ 〈u, u〉 〈v, v〉, como queremos. La igualdad vale si y solo si u − λ · v = 0, lo que
ocurre si y solo si u y v son linealmente dependientes[1] .

Teorema 13.8. Cada espacio con producto interno E es un espacio normado via la norma k k definida
p
por kuk := 〈u, u〉.

Demostración. Debemos probar que la función k k satisface las condiciones pedidas en la Defini-
ción 1.65. Por la Condición 4 de la Definición 13.1,
p
kuk = 〈u, u〉 ≥ 0 para todo u ∈ E ,

y kuk = 0 si y solo si u = 0. Por la Condición 2 y la Observación 13.2, para todo λ ∈ k y u ∈ E ,

p p
kλ · uk = 〈λ · u, λ · u〉 = |λ|2 〈u, u〉 = |λ|kuk,

de modo que la función k k es homogénea. Por último, por la Condición 1 de la Definición 13.1, la
Observación 13.2 y la desigualdad de Cauchy-Bunyakovsky-Schwarz, para todo u, v ∈ E ,

ku + vk2 = 〈u + v, u + v〉
= 〈u, u〉 + 〈u, v〉 + 〈v, u〉 + 〈v, v〉
= kuk2 + 2ℜe(〈u, v〉) + kvk2
≤ kuk2 + 2|〈u, v〉| + kvk2
≤ kuk2 + 2kukkvk + kvk2
= (kuk + kvk)2 ,

lo que prueba que la función k k es subaditiva.

Una propiedad importante de los paralelogramos es que la suma de los cuadrados de las longitu-
des de sus diagonales es igual a la suma de los cuadrados de las longitudes de sus lados. El siguiente
resultado generaliza este hecho.

203
13.1 Espacios con producto interno Espacios de Hilbert

Proposición 13.9 (Ley del paralelogramo). Para cada par u, v de elementos de un espacio con producto
interno E ,
ku + vk2 + ku − vk2 = 2kuk2 + 2kvk2 .

Demostración. Por la bilinealidad del producto interno y la definición de la norma de E ,

ku + vk2 + ku − vk2 = 〈u + v, u + v〉 + 〈u − v, u − v〉
= 〈u, u〉 + 〈u, v〉 + 〈v, u〉 + 〈v, v〉 + 〈u, u〉 − 〈u, v〉 − 〈v, u〉 − 〈v, v〉
= 2kuk2 + 2kvk2 ,

como afirmamos.

Ejemplo 13.10. Tomemos p ∈ [1, ∞]. Cuando p 6= 2 no existe ningún producto interno sobre k n que
produzca la norma k kp . Para comprobarlo basta notar que la norma k kp no satisface la identidad
del paralelogramo. Para ello tomemos u = (1, 1, 0, . . . , 0), v = (1, −1, 0, . . . , 0) y notemos que
(
2 2 22/p si p 6= ∞,
kuk = kvk = y ku + vk2 = ku − vk2 = 4.
1 si p = ∞

Así la identidad del paralelogramo no se cumple. El mismo argumento prueba que los espacios l p (k)
son son k-espacios con producto interno cuando p 6= 2.

Las fórmulas dadas en el siguiente resultado muestran que el producto interno de un espacio
prehilbertiano está univocamente determinado por la norma inducida.

Proposición 13.11 (Identidades de polarización). Para cada par u, v de elementos de un espacio con
producto interno E ,

si k = R,
( ¡
1 2 2
¢
4 ku + vk − ku − vk
〈u, v〉 = 1 ¡
si k = C.
2 2
¢ 1 ¡ 2 2
¢
4 ku + vk − ku − vk + 4 i ku + i · vk − ku − i · vk

Demostración. Por la bilinealidad del producto interno y el hecho de que 〈v, u〉 = 〈u, v〉,

ku + vk2 − ku − vk2 = 〈u + v, u + v〉 − 〈u − v, u − v〉
= 〈u, u〉 + 〈u, v〉 + 〈v, u〉 + 〈v, v〉 − 〈u, u〉 + 〈u, v〉 + 〈v, u〉 − 〈v, v〉
= 2〈u, v〉 + 2〈v, u〉
= = 4ℜe(〈u, v〉).

Cuando k = R, esto termina la demostración. Cuando k = C, esta desigualdad, con v reemplazado

por i · v, muestra que

ku + i · vk2 − ku − i · vk2 = ℜe(〈u, i · v〉) = ℜe(−i 〈u, v〉) = ℑm(〈u, v〉).

La igualdad de polarización para k = C se sigue inmediatamente de estos hechos.

Corolario 13.12. Si una norma es inducida por un producto interno, entonces este es único y está
dado por la identidad de polarización.

Demostración. es una consecuencia inmediata de la proposción anterior.

204
Espacios de Hilbert 13.1 Espacios con producto interno

Corolario 13.13. En todo espacio prehilbertiano el producto interno es una función continua.

Demostración. Por la identidades de polarización, el producto interno es una combinación lineal de

funciones continuas, y, por lo tanto, es una función continua.

Ejercicio 13.14. Pruebe que para todo espacio con producto interno E y cada subconjunto acotado
X de E × E , la restricción del producto interno de E a X es una función de Lipschitz. Pruebe también
que para cada x ∈ E las funciones y 7→ 〈x, y〉 y y 7→ 〈y, x〉, de E en k, son de Lipschitz.

Proposición 13.15. Una norma en un k-espacio vectorial E está inducida por un producto interno si
y solo si satisface la identidad del paralelogramo.

Demostración. ⇒) Esto fue probado en la Proposición 13.9.

⇐) Por el Ejercicio 13.6 es suficiente probarlo cuando k = R y mostrar que cuando k = C el pro-
ducto interno real obtenido considerando E como R-espacio vectorial satisface la Condición (13.1).
Suponemos entonces que k = R y definimos

1¡
ku + vk2 − ku − vk2 .
¢
〈u, v〉 :=
4

Como 〈u, u〉 = kuk2 , la función 〈 , 〉 satisface la Condición 4 de la Definición 13.1. Además es continua
porque es composición de funciones continuas, y

1¡ ¢ 1¡
ku + vk2 − ku − vk2 = kv + uk2 − kv − uk2 = 〈v, u〉,
¢
〈u, v〉 =
4 4
lo que prueba que satisface la Condición 3 de Definición 13.1. Veamos que 〈 , 〉 es lineal en la primera
variable. Por la igualdad del paralelogramo

1¡
kx + y + wk2 − kx + y − wk2 + kx − y + wk2 − kx − y − wk2
¢
〈x + y, w〉 + 〈x − y, w〉 =
4
1¡ (13.2)
= kx + wk2 − kx − wk2
¢
2
= 2〈x, w〉,

para todo x, y, w ∈ E . Tomado y = x en estas igualdades, obtenemos que

〈2 · x, w〉 = 2〈x, w〉. (13.3)

Por lo tanto
¿ À ¿ À ¿ À
1 1 1 1 1
〈u, z〉 + 〈v, z〉 = · (u + v) + · (u − v), z + · (u + v) − · (u − v), z = 2 · (u + v) = 〈u + v, z〉
2 2 2 2 2

para todo u, v, w ∈ E , lo que dice que la función 〈 , 〉 es aditiva en la primera coordenada. Esto,
combinado con la igualdad (13.3) y la continuidad de 〈 , 〉 implica que

〈λ · u, w〉 = λ〈u, w〉 para todo λ ∈ R. (13.4)

En efecto, supongamos que esta igualdad vale para λ = n ∈ N. Entonces

〈(n + 1) · u, w〉 = 〈n · u + u, w〉 = 〈n · u, w〉 + 〈u, w〉 = (n + 1)〈u, w〉,

205
13.2 Isometrías en espacios con producto interno Espacios de Hilbert

por lo que (13.4) vale para todo λ ∈ N. En consecuencia, por la aditividad de 〈 , 〉 en la primera
coordenada, 〈0 · u, w〉 = 0 y

〈0 · u, w〉 = 〈0, w〉 = 0 = 0〈u, w〉
y
〈λ · u, w〉 = 〈0 − (−λ · u), w〉 = 0 − 〈(−λ · u), w〉 = λ〈u, v〉

para todo λ ∈ −N. Tomemos ahora un númeor racional arbitrario m

n . Las igualdades
Dm E
n · u, w = 〈m · u, w〉 = m · 〈u, w〉,
n

muestran que 〈 m m
n · u, w〉 = n 〈u, w〉. Esto es suficiente para concluir que la Condición (13.4) se
cumple, porque la función 〈 , 〉 es continua y cada número real es límite de una sucesión de números
racionales.
Supongamos ahora que k = C. Como dijimos al principio de la demostración, para probar que el
resultado vale en este caso es suficiente notar que

1¡ 1¡
ki · u + vk2 − ki · u − vk2 = −|i | k − u + i · vk2 − k − u − i · vk2 = 〈−u, i · v〉,
¢ ¢
〈i · u, v〉 =
4 4
para cada u, v ∈ E .

13.2. Isometrías en espacios con producto interno

Proposición 13.16. Dados R-espacios con producto interno E y F , una función f : E → F es una
isometría si y solo si f preserva producto internos (i. e. 〈v, w〉 = 〈 f (v), f (w)〉) para todo v, w ∈ E .

Demostración. Supongamos que f es una isometría. Entonces

〈 f (v) − f (w), f (v) − f (w)〉 = k f (v) − f (w)k2 = kv − wk2 = 〈v − w, v − w〉

para todo v, w ∈ E . Desarrollando las expresiones en los extremos de esta igualdad obtenemos

〈 f (v), f (v)〉 − 2〈 f (v), f (w)〉 + 〈 f (w), f (w)〉 = 〈v, v〉 − 2〈v, w〉 + 〈w, w〉.

Como

〈 f (v), f (v)〉 = k f (v)k2 = kvk2 = 〈v, v〉 y 〈 f (w), f (w)〉 = k f (w)k2 = kwk2 = 〈w, w〉,

de las igualdades anteriores se sigue que 〈 f (v), f (w)〉 = 〈v, w〉, como queremos. Recíprocamente,
si f preserva productos internos, entonces

k f (v) − f (w)k2 = 〈 f (v) − f (w), f (v) − f (w)〉 = 〈v − w, v − w〉 = kv − wk2

para todo v, w ∈ E , y f es una isometría.

Teorema 13.17. Dados R-espacios con producto interno E y F , toda isometría f : E → F , con f (0) = 0,
es una función lineal.

206
Espacios de Hilbert 13.3 Ortogonalidad

Demostración. Primero vamos a probar que f (v + w) = f (v) + f (w) para todo v, w ∈ E o, equivalen-
temente, que x := f (v + w) − f (v) − f (w) = 0. Por la Proposición 13.16,

〈x, x〉 = 〈 f (v + w), f (v + w)〉 + 〈 f (v), f (v)〉 + 〈 f (w), f (w)〉

− 2〈 f (v + w), f (v)〉 − 2〈 f (v + w), f (w)〉 + 2〈 f (v), f (w)〉
= 〈v + w, v + w〉 + 〈v, v〉 + 〈w, w〉 − 2〈v + w, v〉 − 2〈v + w, w〉 + 2〈v, w〉
= 0.

Por lo tanto x = 0, como queríamos. Usando este hecho es fácil probar por inducción que

f (n · v) = n · f (v) para todo n ∈ N. (13.5)

Pero entonces f (0) = 0, y como f (−n · v) + f (n · v) = f (0) = 0, la igualdad (13.5) vale para n ∈ Z. Ahora
fijemos i 0 ∈ N0 y supongamos que f (λ · v) = λ · f (v) cuando λ es un número racional diádico 2ni con
i ≤ i 0 . Entonces
1 ³ 1 ´ ³ 1 ´
· f (v) = f · v = 2 f · v
2i 0 2i 0 2i 0 +1
y, en consecuencia, f (λ · v) = λ · f (v) para todo racional diádico λ. Finalmente, como todo número
real λ es límite λ = lı́mi →∞ λi de una sucesión de números racionales diádico y las isometrías son
funciones continuas,
f (λ · v) = lı́m f (λi · v) = lı́m λi · f (v) = λ · f (v)
i →∞ i →∞

para todo número real λ.

Observación 13.18. Por el Teorema 13.17, toda isometría f : E → F , de R-espacios con producto
interno, es una función afín. Además f es biyectiva si y solo si la función lineal v 7→ f (v) − f (0) lo
es. Por ejemplo, toda isometría del espacio euclideano Rn en si mismo es biyectiva, porque todo
endomorfismo inyectivo de un espacio vectorial de dimensión finita es biyectivo, pero hay isometrías
no biyectivas de l 2 en si mismo. Debido a estos resultados, el problema de determinar las isometrías
biyectivas de un espacio de un R-espacio con producto interno E en si mismo, se reduce al de
determinar los automorfismos lineales de E que preservan distancias. Por ejemplo, cuando E es el
espacio euclideano Rn , estos son las aplicaciones ortonormales de Rn .

Ejercicio 13.19. De un ejemplo de una isometría no biyectiva f : l 2 → l 2 .

Observación 13.20. Una isometría f , con f (0) = 0, entre C-espacios con producto interno, es una
función R-lineal, porque todo C-espacio con producto interno E es un R-espacio vectorial con
producto interno ℜe ◦ 〈 , 〉E , pero no necesariamente es C-lineal. Por ejemplo, la conjugación, y la
función f : C2 → C2 , definida por f (z, w) := (z, w) son isometrías R-lineales que no son C-lineales.

Ejercicio 13.21. Pruebe que todo espacio prehilbertiano es estrictamente convexo. Use este hecho
y el Teorema 11.76 para dar otra prueba de que las isometrías entre espacios prehilbertianos son
funciones afines.

13.3. Ortogonalidad
Definición 13.22. Decimos que dos elementos u y v de un espacio prehilbertiano E son ortogonales
si 〈u, v〉 = 0 y que dos subconjuntos U y V de E son ortogonales si 〈u, v〉 = 0 para todo u ∈ U y v ∈ V .
Usamos las notaciones u⊥v y U ⊥V , respectivamente, para señalar estos hechos. Por simplicidad,

207
13.3 Ortogonalidad Espacios de Hilbert

cuando U es ortogonal a {v} decimos que U es ortogonal a v o, lo que es igual, que v es ortogonal a U ,
y escribimos U ⊥v (o v⊥U ).

Notación 13.23. Dado un subconjunto U de E , denotamos con U ⊥ al conjunto de todos los v ∈ E

tales que v⊥U . Por simplicidad, para cada elemento u de E escribimos u ⊥ en lugar de {u}⊥ .
Observación 13.24. Puesto que la función ϕu : E → k, definida por ϕu (v) := 〈v, u〉, es lineal y con-
tinua, u ⊥ = ker ϕu es un hiperplano cerrado de E . Por lo tanto, U ⊥ = u∈U U ⊥ es un subespacio
T

cerrado de E para todo U .

Ejercicio 13.25. Pruebe que para cada par U y V de subconjuntos de un espacio prehilbertiano E
las siguientes afirmaciones son verdaderas:
1. U ⊆ U ⊥⊥ .
2. Si U ⊆ V , entonces V ⊥ ⊆ U ⊥ .
3. U ⊥ = U ⊥⊥⊥ .
4. U ∩U ⊥ ⊆ {0} y U ∩U ⊥ = {0} si y solo si 0 ∈ U .

Teorema 13.26 (Teorema de Pitágoras). Para todo par u e v de vectores ortogonales de un k-espacio
con producto interno E ,
ku + vk2 = kuk2 + kvk2 .

Demostración. En efecto,

ku + vk2 = 〈u + v, u + v〉 = kuk2 + 2ℜe(〈u, v〉) + kvk2 = kuk2 + kvk2 ,

porque 〈u, v〉 = 0.

Corolario 13.27. Si u 1 , . . . , u r son elementos ortogonales dos a dos de un k-espacio con producto
interno E , entonces
ku 1 + · · · + u r k2 = ku 1 k2 + · · · + ku r k2 .

Demostración. Esto se sigue inmediatamente del Teorema de Pitágoras, por inducción en r .

Definición 13.28. Un subconjunto U de un k-espacio prehilbertiano E es ortogonal si 〈u, v〉 = 0 para

todo u, v ∈ U y es normalizado si kuk = 1 para todo u ∈ U . Un subconjunto de E es ortonormal si
es ortogonal y normalizado. Una base de Hilbert de E es un conjunto ortonormal que es maximal
respecto del orden de inclusión (es decir, que no está incluído propiamente en ningún otro).

Ejemplo 13.29. La base canónica {e 1 , . . . , e n } es una base de Hilbert de k n y el conjunto {e i : i ∈ N} es

una base de Hilbert de l 2 (k).

Ejercicio 13.30. Pruebe que las afirmaciones hechas en el ejemplo anterior son verdaderas.

Observación 13.31. Supongamos que un elemento x de un espacio prehilbertiano E es combinación

lineal finita x = λ1 · u 1 + · · · + λn u n , de elementos de un subconjunto ortonormal U de E . Entonces
n
λi = λ j 〈u j , u i 〉 = 〈x, u i 〉 para todo i ,
X
j =1

porque 〈u j , u i 〉 = δi j para todo j . Esto muestra que los λi ’s son únicos y da una forma muy simple
de encontrarlos. En particular U es lineamente independiente.

208
Espacios de Hilbert 13.3 Ortogonalidad

Proposición 13.32. Todo subconjunto ortonormal U de un espacio prehilbertiano E está incuído en

una base de Hilbert de E .

Demostración. Denotemos con V al conjunto de todos los subconjuntos ortonormales de E que

incluyen a U , ordenado por inclusión (por ejemplo, U ∈ V ). Cada cadena de elementos de V es
acotada superiormente. En efecto, dada una cadena Ui i ∈I de elementos de V ,
¡ ¢
[
V := Ui
i ∈I

es un elemento de V que incluye a todos los Ui ’s[2] . En consecuencia, por el lema de Zorn, V tiene
elementos maximales, cada uno de los cuales es una base de Hilbert de E que incluye a U .

Observación 13.33 (Proceso de ortonormalización de Gram-Schmidt). Dados vectores linealmente

independientes x 1 , . . . , x n de un espacio prehilbertiano E , existen vectores u 1 , . . . , u n tales que el con-
junto {u 1 , . . . , u n } es ortonormal y gen(u 1 , . . . , u j ) = gen(x 1 , . . . , x j ) para todo i . Un algoritmo, conocido
como proceso de ortonormalización de Gram-Schimdt, para construir los vectores u 1 , . . . , u n , es el
siguiente1 :
1
- Primero se define u 1 := ku 1 k · x 1 .
1
- Luego se define u 2 := kv 2 k · v 2 , donde v 2 := x 2 − 〈x 2 , u 1 〉 · u 1 .
- En general, luego de construir u 1 , . . . , u j se pone
j
X
v j +1 := x j +1 − 〈x j +1 , u i 〉 · u i
i =1
1
y se define u j +1 := kv j +1 k · v j +1 .
El hecho de que el algoritmo funcione requiere una explicación. Es evidente que u 1 y x 1 generan
el mismo subespacio de E , y u 2 está bien definido, porque v 2 es no nulo debido a que u 1 y x 2 son
independientes. Además
1
〈u 2 , u 1 〉 = 〈v 2 , u 1 〉 = 〈x 2 , u 1 〉 − 〈x 2 , u 1 〉〈u 1 , u 1 〉 = 0,
kv 2 k
y es claro que valen cada una de las igualdades
gen(u 1 , u 2 ) = gen(u 1 , v 2 ) = gen(u 1 , x 2 ) = gen(x 1 , x 2 ).
Los mismos argumentos permiten probar por inducción en j que, como dijimos arriba, {u 1 , . . . , u j }
es ortonormal y gen(u 1 , . . . , u j ) = gen(x 1 , . . . , x j ) para todo j .
Consideremos ahora una familia numerable (x j ) j ∈N , de vectores de E linealmente independien-
tes. El algoritmo de Gram-Schmidt (aplicado a cada subfamilia x 1 , x 2 , . . . , x n ), muestra que existen
vectores u 1 , u 2 , u 3 , . . . tales que {u j : j ∈ N} es ortonormal y gen(u 1 , . . . , u i ) = gen(x 1 , . . . , x i ) para
todo i .

Definición 13.34. Una sucesión (u i )i ∈N de elementos no nulos de un espacio prehilbertiano E es

ortogonal si lo es su imagen. Una sucesión ortogonal (u i )i ∈N es ortonormal si ku i k = 1 para todo i .

Observación 13.35. La última parte de la Observación 13.33 dice que para cada sucesión (x i )i ∈N
de vectores independientes de E , existe una sucesión ortonormal (u i )i ∈N de vectores de E tal que
gen(u 1 , . . . , u j ) = gen(x 1 , . . . , x j ) para todo j . En consecuencia los conjuntos {x i : i ∈ N} y {u i : i ∈ N}
generan el mismo subespacio vectorial de E .
1 Nosotros damos una variante en la que en cada paso se normalizan los vectores. La alternativa es normalizarlos al

final.

209
13.4 Espacios de Hilbert Espacios de Hilbert

13.4. Espacios de Hilbert

Definición 13.36. Un espacio con producto interno es un espacio de Hilbert si, con la norma asociada,
es un espacio de Banach.

Ejemplos 13.37. Salvo los dos últimos, los espacios con producto interno considerados en los
Ejemplos 13.3 son espacios de Hilbert.

Ejemplos 13.38. Por el Ejemplo 13.4 y la Proposición 6.11, todo subespacio cerrado de un espacio
de Hilbert es un espacio de Hilbert.

Teorema 13.39. Supongamos que Ee, i : E ,→ Ee es una completación de un espacio con producto
¡ ¢

interno. Entonces Ee tiene una única estructura de espacio de Hilbert tal que i es una isometría lineal
continua.

Demostración. Por el Teorema 11.6 sabemos que Ee tiene una única estructura de espacio de Banach
tal que i es una isometría lineal continua. Como la norma de Ee es continua y satisface la igualdad
del paralelogramo sobre el subconjunto denso i (E ) de Ee, la norma de Ee satisface la igualdad del
paralelogramo sobre todo Ee. En consecuencia, por la Proposición 13.15 y el Corolario 13.12, hay un
único producto interno sobre Ee que induce su norma.

Observación 13.40. Por la Proposición 13.16, si Ee, i : E ,→ Ee es una completación de un espacio con
¡ ¢

producto interno, entonces 〈v, w〉 = 〈i (v), i (w)〉 para todo v, w ∈ E . Dicho de otro modo, el producto
interno de Ee extiende el de E .

Proposición 13.41 (Propiedad del punto más cercano). Para cada punto x de un espacio de Hilbert E
y cada subconjunto cerrado y convexo C de E , existe un único punto x 0 ∈ C tal que d (x, x 0 ) = d (x,C ).

Demostración. Como el conjunto C − x es cerrado y convexo[3] y d (x,C ) = d (0,C − x), podemos

suponer sin pérdida de generalidad (y lo haremos) que x = 0. Escribamos d := d (C , 0) y tomemos una
sucesión (x n )n∈N de puntos de C tal que lı́mn→∞ kx n k = d . Por la igualdad del paralelogramo, para
todo m, n ∈ N,
° °
2 2 2 2 2 2
°1 °
0 ≤ kx m − x n k = 2kx m k + 2kx n k − kx m + x n k = 2kx m k + 2kx n k − 4 ° · (x m + x n )°
°
2 °

Además, como C es convexo, 12 ·(x m + x n ) ∈ C , y por consiguiente 12 kx m + x n k2 ≤ d 2 . En consecuencia,

0 ≤ kx m − x n k2 ≤ 2kx m k2 + 2kx n k2 − 4d 2 para todo m, n ∈ N.

Por lo tanto la sucesión (x n )n∈N es de Cauchy, y por la completitud de C converge a un punto x 0 ∈ C .

Por la continuidad de la norma
kx 0 k = lı́m kx n k = d .
n→∞

Esto termina prueba la existencia. Para la unicidad es suficiente notar que, nuevamente por la
igualdad del paralelogramo,
° °2
°1
0 ≤ kx 0 − zk2 = 2kx 0 k2 + 2kzk2 − 4 ° ° ≤ 4d 2 − 4d 2 = 0,
°
°2 · (x 0 + z) °

para todo z ∈ C con kzk = d .

210
 Notas

Lema 13.42. Si en la proposición anterior C es un subespacio cerrado de E , entonces (x − x 0 )⊥C .

Demostración. Basta probar que x −x 0 es ortonormal a todos los elementos de norma 1 de C . Fijemos
entonces c ∈ C con kck = 1, y escribamos w := x − x 0 . Como x 0 es el punto de C más cercano a x,

kwk2 ≤ kw − 〈w, c〉 · ck2 = 〈w − 〈w, c〉 · c, w − 〈w, c〉 · c〉 = kwk2 − |〈w, c〉|2 ,

y por lo tanto 〈w, c〉 = 0, como queremos.

Teorema 13.43. Si S es un subespacio cerrado de un espacio de Hilbert E , entonces S ⊥ es un subespacio

cerrado de E , E = S ⊕ S ⊥ y las proyecciones p S : E → S y p S ⊥ : E → S ⊥ asociadas a esta descomposición
satisfacen:
1. p S y p S ⊥ son funciones lineales.
2. x = p S (x) + p S ⊥ (x) para todo x ∈ E .
3. Si x = y + z con y ∈ S y z ∈ S ⊥ , entonces y = p S (x) y z = p S ⊥ (x).
4. p S (x) es el punto de S más cercano a x para todo x ∈ E .
° °2 ° °2 ° °2
5. °x ° = °p S (x)° + °p ⊥ (x)° para todo x ∈ E .
S

Demostración. Por la Observación 13.24 sabemos que S ⊥ es un subespacio cerrado de E , y por

el item 4 del Ejercicio 13.25 que S ∩ S ⊥ = {0}. Además E = S + S ⊥ , por la Proposición 13.41 y el
Lema 13.42. Así que E = S ⊕ S ⊥ , y los primeros 3 items valen por razones puramente algebraicas
(vease la introducción). Nuevamente por el Lema 13.42, también vale el item 4. Por último, para
cada x ∈ E ,
°2 ° °2
kxk2 = 〈p S (x) + p S ⊥ (x), p S (x) + p S ⊥ (x)〉 = 〈p S (x), p S (x)〉 + 〈p S ⊥ (x), p S ⊥ (x)〉 = °p S (x)° + °p S ⊥ (x)° ,
°

porque p S (x) y p S ⊥ (x) son ortogonales. Esto prueba que vale el item 5.

Corolario 13.44. Un subespacio S de un espacio de Hilbert E es denso en E si y solo si S ⊥ = {0}.

⊥
Demostración. Si S = E , entonces S ⊥ = S = {0}, donde la primera igualdad vale por la continuidad
del producto inteno. recíprocamente, si S ⊥ = 0, entonces S = E , por el Teorema 13.43

Corolario 13.45. Un subconjunto ortonormal U de un espacio de Hilbert E es una base de Hilbert de

E si y solo si el subespacio de E generado por U es denso en E .

Demostración. Esto es una consecuencia inmediata del corolario anterior.

Notas
[1]. Como v 6= 0, los vectores u y v son linealmente independientes si y solo si existe µ ∈ k tal
que u − µ · v = 0. La cuenta

0 = 〈u − µ · v, v〉 = 〈u, v〉 − µ〈v, v〉,

muestra que µ = λ.
[2]. Es claro que Ui ⊆ V para todo i . Para ver que V es un subconjunto ortonormal de E es suficiente
notar que cada x ∈ V tiene norma 1 porque está en un Ui , y que x⊥y para cada par x, y de
elementos de V , porque existe un i ∈ I tal que ambos pertenecen a Ui .

211
Notas

[3]. Por la Observación 3.31, el Ejercicio 11.68 y porque la función ϕ : E → E , definida por

ϕ(y) := y − x,

es un homeomorfismo afín.

212
Apéndices

213
 APÉNDICE
A
R ESOLUCIÓN DE LOS EJERCICIOS

Capítulo 1
Ejercicio 1.3 Tomando z = x en la segunda condición y combinandola con la primera obtene-
mos que
d (x, y) ≤ d (y, x) + d (x, x) = d (y, x).
Por simetría, d (x, y) = d (y, x) para todo x, y ∈ X . Usando este hecho, y tomando ahora y = x en
la segunda condición, obtenemos

2d (x, z) = d (x, z) + d (z, x) ≥ d (x, x),

que, por la primera condición, es cero.

Ejercicio 1.5 Como |y i | ≤ máx1≤ j ≤n |y j |,
n
X n
X n
X
|x i y i | = |x i ||y i | ≤ |x i | máx |y j |,
i =1 i =1 i =1 1≤ j ≤n

como queremos. La versión integral dice que para cada par f , g : [a, b] → R de funciones
continuas, Z b Z b
| f (t )g (t )| d t ≤ sup |g (t )| | f (t )| d t .
a t ∈[a,b] a

Para demostrarlo basta observar que, como |g (t )| ≤ supt ∈[a,b] |g (t )|,

Z b Z b Z b Z b
| f (t )g (t )| d t = | f (t )||g (t )| d t ≤ | f (t )| sup |g (t )| d t = sup |g (t )| | f (t )| d t .
a a a t ∈[a,b] t ∈[a,b] a

Ejercicio 1.6 Basta tomar límite para n tendiendo a infinito en la desigualdad (1.2).
Ejercicio 1.11 Es claro que α(x) = 0 si y solo si x = 0 y que β(x) = 0 si y solo si x = 0. Como

α(x + y) ≤ x + y = α(x) + α(y) si x ≤ 1 e y ≤ 1,

215
 Resolución de los ejercicios

y
α(x + y) = 1 ≤ α(x) + α(y) si x > 1 o y > 1,

la función α es subaditiva. Las igualdades

x+y x y x y
β(x + y) = = + ≤ + = β(x) + β(y),
1+x + y 1+x + y 1+x + y 1+x 1+ y
prueban que también lo es β.
Ejercicio 1.15 Por el item 1 de la definición de pseudométrica, ∼ es reflexiva, mientras que,
por el item 2, es simétrica. Veamos que también es transitiva. En efecto, por el item 3, si x ∼ z y
z ∼ y,
0 ≤ d (x, y) ≤ d (x, z) + d (z, y) = 0,
por lo que x ∼ y. Para probar que d está bien definida, debemos ver que si x ∼ x 0 e y ∼ y 0 ,
entonces d (x, y) = d (x 0 , y 0 ). Pero, por la desigualdad triangular,

d (x 0 , y 0 ) ≤ d (x 0 , x) + d (x, y) + d (y, y 0 ) = d (x, y),

y, similarmente, d (x, y) ≤ d (x 0 , y 0 ). Por último d es una métrica pues

d (x, y) = 0 ⇔ d (x, y) = 0 ⇔ x ∼ y ⇔ x = y,
d (x, y) = d (x, y) = d (y, x) = d (y, x)
y
d (x, y) = d (x, y) ≤ d (x, z) + d (z, y) = d (x, z) + d (z, y),

donde x denota a p(x), etcétera.

Ejercicio ?? Es evidente que d ( f ) (x, x) = 0 y que d ( f ) (x, y) = d ( f ) (y, x) para todo x, y ∈ X . Vea-
mos que vale la propiedad triangular. Si x = z, entonces

d ( f ) (x, z) = 0 ≤ d ( f ) (x, y) + d ( f ) (y, z),

mientras que, si x = y o y = z, entonces

d ( f ) (x, z) = d ( f ) (x, y) + d ( f ) (y, z).

Finalmente, si x, y y z son tres puntos distintos,

d ( f ) (x, y) = f (x) + f (y) ≤ f (x) + f (z) + f (z) + f (y) = d ( f ) (x, z) + d ( f ) (z, y).

Resta ver que d ( f ) es una métrica si y solo si f −1 (0) tiene a lo sumo un elemento. Para ello es
suficiente notar que si x 6= y en X , entonces

d ( f ) (x, y) = 0 ⇔ f (x) = f (y) = 0.

En particular, como |x| = 0 si y solo si x ∈ R es cero, la función d (| |) es una métrica.

Ejercicio ?? Como es usual denotamos con χ A : R → R a la función característica de A y con
| | : R → R a la función módulo. Por definición

d A (x, y) = |x − y| + d (χ A ) (x, y) y δ(x, y) = |x − y| + d | | (x, y),

donde d (χ A ) y d | | son como en el Ejercicio ??. En consecuencia, por la Observación 1.18, las
funciones d A y δ son métricas.

216
Resolución de los ejercicios

Ejercicio 4.6 Es evidente que d (x, x) = 0 para todo x ∈ X y que d es simétrica. Para ver que
vale la desigualdad triangular es suficiente notar que, para todo x, y, z ∈ X ,

d (x, z) = α d 1 (x, z), . . . , d n (x, z), . . .

¡ ¢

≤ α d 1 (x, y) + d 1 (y, z), . . . , d n (x, y) + d n (y, z), . . .

¡ ¢

≤ α d 1 (x, y), . . . , d n (x, y), . . . + α d 1 (y, z), . . . , d n (y, z), . . .

¡ ¢ ¡ ¢

= d (x, y) + d (y, z),

donde la primera desigualdad se sigue de que α es creciente y

d i (x, z) ≤ d i (x, y) + d i (y, z) para todo i ,

y la segunda de la subaditividad de α. Por último, dado que α(v) = 0 si y solo si v = 0,

d es una métrica ⇔ (d 1 (x, y), . . . , d n (x, y), . . . ) 6= 0 siempre que x 6= y

⇔ para cada par de elementos x 6= y de X existe i tal que d i (x, y) > 0,

como queremos.
Ejercicio 4.7 Es evidente que αap es creciente. Además como a i > 0 para todo i ,

αap (x) = 0 ⇔ x i para todo i ⇔ x = 0

Dado que, por el Ejercicio 1.11,

αa∞ (x + y) = sup(a 1 (x + y)1 , a 2 (x + y)2 , a 3 (x + y)3 , . . . )

n∈N
≤ sup(a 1 x 1 + a 1 y 1 , a 2 x 2 + a 2 y 2 , a 3 x 3 + a 3 y 3 , . . . )
n∈N
≤ sup(a 1 x, a 2 x, a 3 x 3 , . . . ) + sup(a 1 y, a 2 y, a 3 y 3 , . . . )
n∈N n∈N
= αa∞ (x) + αa∞ (y),

cuando p = ∞ también se satisface la tercera condición. Supongamos que p ∈ [1, ∞). Entonces,
por el Ejercicio 1.11 y la desigualdad (1.8),
s
∞
p
αap (x + y) =
p
X
a i (x + y)i
i =1
s
∞
X
p
≤ a i (x i + y i )p
i =1
s
∞ p
X p
p
= ( p a i x i + p a i y i )p
i =1
s s
∞ ∞
p
X p p
X p
≤ ai x i + ai y i
i =1 i =1
a a
= αp (x) + αp (y),

como queremos.

217
 Resolución de los ejercicios

Ejercicio 4.8 Como, para todo p ∈ [1, ∞],

dap (x, y) = αap d (1) (x, y), d (2) (x, y), d (3) (x, y), . . . ,
¡ ¢
e

el ejercicio se sigue de los Ejercicios 4.6 y 4.7.

Ejercicio 4.9 Por el Ejercicio 4.8, con d (i ) := d X i ◦ (p i × p i ), donde p i : X → X i es la proyección
canónica.

Capítulo 1.3
Ejercicio ?? Si x ∉ A, entonces por definición
R
Br A (x) = {y ∈ X \ A : |x − y| < r } ∪ {y ∈ A : |x − y| < r − 1},

mientras que si x ∈ A, entonces, nuevamente por definición,

R
Br A (x) = {x} ∪ {y ∈ X \ A : |x − y| < r − 1} ∪ {y ∈ A : |x − y| < r − 2}.

El ejercicio se sigue inmediatamente de estos hechos.

Ejercicio ?? Por definición d (−x, −y) = d (x, y) para todo x, y ∈ R. En consecuencia, cualquiera
sea x ≥ 0,
Br (−x) = {−y : y ∈ Br (x)}.
Por lo tanto basta considerar el caso en que x ≥ 0. Pero entonces

Br (x) = {x} ∪ {y ∈ R : x + |y| + |y − x| < r },

y así, el ejercicio se sigue de que

- Si y ≥ x, entonces x + |y| + |y − x| = 2y,
- Si 0 ≤ y < x, entonces x + |y| + |y − x| = 2x,
- Si y < 0, entonces x + |y| + |y − x| = 2(x − y).
Ejercicio 1.33 Tomemos Vi ∈ Bi para cada i . Como Vi es un entorno de x i , existe r i > 0 tal
que Br i (x i ) ⊆ Vi . En consecuencia, debido al Ejemplo 1.25,
X X
BrX (x) = Br 1 (x 1 ) × · · · × Br n (x n ) ⊆ V1 × · · · × Vn ,

donde r := mı́n(r 1 , . . . , r n ). Por lo tanto cada producto V1 × · · · × Vn con Vi ∈ Bi es un entorno

de x. Tomemos ahora r > 0. Dado que Bi es una base de entornos de x i , existe Vi ∈ Bi tal que
Vi ⊆ Br (x i ). Así, nuevamente por el Ejemplo 1.25,
X X
V1 × · · · × Vn ⊆ Br 1 (x 1 ) × · · · × Br n (x n ) = BrX (x),

por lo que V1 × · · · × Vn : Vi ∈ Bi para todo i es una base de entornos de x.

© ª

Ejercicio ?? Tomemos Vi ∈ Bi para cada i de manera tal que existe s ∈ N0 tal que Vi = X i para
todo i > s. Como Vi es un entorno de x i , para cada 1 ≤ i ≤ s existe r i > 0 tal que Br i (x i ) ⊆ Vi .
Así, por el Ejemplo 4.10,
X X
BrX (x) = B2r1 (x 1 ) × · · · × B2ssr (x s ) × X s+1 × X s+2 × · · · ⊆ V1 × · · · × Vs × X s+1 × X s+2 × · · · ,

218
Resolución de los ejercicios

donde r := mı́n(r 1 /2, r 2 /22 . . . , r s /2s ). Por lo tanto cada producto V1 × · · · × Vs × X s+1 × X s+2 × · · ·
con Vi ∈ Bi es un entorno de x. Tomemos ahora 0 < r ≤ 1/2 y llamemos s al mínimo natural tal
que r ≤ 1/2s . Como Bi es una base de entornos de x i , para cada 1 ≤ i ≤ s existe Vi ∈ Bi tal que
Vi ⊆ B2i r (x i ). Por lo tanto, nuevamente por el Ejemplo 4.10,
X X
V1 × · · · × Vs × X s+1 × X s+2 × · · · ⊆ B2r1 (x 1 ) × · · · × B2ssr (x s ) × X s+1 × X s+2 × · · · = BrX (x),

por lo que

V1 × V2 × V3 × · · · : Vi ∈ Bi para todo i y Vi = X i salvo para finitos índices i

© ª

es una base de entornos de x.

Ejercicio 1.35 Es evidente que si X es finito, entonces {V : V es entorno de x} también lo es.
Recíprocamente, supongamos que X no es finito. Entonces (X \ {y}) y∈X \{x} es una familia
infinita de entornos distintos de x. Para concluír que también la última afirmación es verda-
dera, basta notar que para cada espacio métrico discreto, el conjunto Br (x) : r ∈ R tiene 2
© ª

elementos.
Ejercicio 4.11 Esto es cierto porque, por el Ejemplo 4.10, para cada punto x := (x 1 , x 2 , x 3 , . . . )
de X y cada 0 < r ≤ 1/2,
s(r
\)
Br (x) = X 1 × · · · × X i −1 × B2i +1 r ×X i +1 × X i +2 × · · · ,
i =1

donde s(r ) := mı́n{s ∈ N : r ≤ 1/2s }.

Ejercicio 1.38 Para cada i denotemos con Bi a la base de x i formada por la intersecciones
finitas de elementos de S i . Dado que para cada i ,

{X 1 × · · · × X i −1 × V × X i +1 × · · · × X n : V ∈ Bi }

es el conjunto de las intersecciones finitas de elementos de

{X 1 × · · · × X i −1 × S × X i +1 × · · · × X n : S ∈ S i },

podemos suponer que Bi = S i para todo i . En consecuencia, debido al Ejercicio 1.33, para
terminar la demostración de la primera parte del ejercicio, basta observar que, cualesquiera
sean V1 ∈ B1 , . . . ,Vn ∈ Bn ,
n
\
V1 × · · · × Vn = X 1 × · · · × X i −1 × Vi × X i +1 × · · · × X n .
i =1

Consideremos ahora una familia numerable X 1 , X 2 , X 3 , . . . de espacios métricos y fijemos

puntos x 1 ∈ X 1 , x 2 ∈ X 2 , x 3 ∈ X 3 , . . . . Vamos a probar que si S i es una subbase de entornos de x i
para cada i , entonces el conjunto

{X 1 × · · · × X i −1 × S × X i +1 × X i +1 × · · · : 1 ≤ i y S ∈ S i }

es una subbase de entornos de (x 1 , x 2 , x 3 , . . . ). Como en el caso de un producto finito de espacios

métricos, podemos suponer que Bi = S i para todo i . Así, debido al Ejercicio ??, para terminar
la demostración, basta observar que, cualesquiera sean s ∈ N y V1 ∈ B1 , . . . ,Vs ∈ Bs ,
s
\
V1 × · · · × Vs × X s+1 × X s+2 × · · · = X 1 × · · · × X i −1 × Vi × X i +1 × X i +2 × · · · .
i =1

219
 Resolución de los ejercicios

Capítulo 1.5
Ejercicio 1.46 Como a ∈ B r (a) ⊆ B r [a] y b ∈ B s (b) ⊆ B s [b] es evidente que

d (B r [a], B s [b]) ≤ d (B r (a), B s (b)) ≤ d (a, b).

La desigualdad que falta probar se sigue facilmente de que, para cada x ∈ B r [a] e y ∈ B s [b],

d (a, b) ≤ d (a, x) + d (x, y) + d (y, b) ≤ d (x, y) + r + s.

Ejercicio 1.48 Que A ∉ B y que B tiene al menos un elemento de la forma A ∪ {x} o A \ {x}.
Ejercicio 1.51 Fijemos un punto x de A. Debemos probar que si d 2 (a, A) = d 2 (a, x), enton-
ces d 2 (a, y) > d 2 (a, A), para todo y ∈ A \ {x}. Como d 2 (a, b) = d 2 (0, b − a) y A es convexo si y
solo si A − a lo es, podemos suponer que a = 0. Supongamos que d 2 (a, y) = d 2 (a, x) y escriba-
mos x = (x 1 , x 2 ) e y = (y 1 , y 2 ). Dado que

x 12 + y 12 − 2x 1 y 1 = (x 1 − y 1 )2 ≥ 0 y x 22 + y 22 − 2x 2 y 2 = (x 2 − y 2 )2 ≥ 0,

y al menos una de estas desigualdades es estricta,

s
³ x+y´ ³ x + y ´2 ³ x + y ´2
1 1 2 2
d2 0, = +
2 2 2
s
x 12 y 12 x 1 y 1 x 22 y 22 x 2 y 2
= + + + + +
4 4 2 4 4 2
s
x 12 y 12 x 22 y 22
< + + + .
2 2 2 2

En consecuencia, como x 12 + x 22 = d 2 (0, x)2 = d 2 (0, y)2 = y 12 + y 22 ,

³ x+y´ q
d 2 0, < x 12 + x 22 = d 2 (0, x),
2
x+y
lo que es absurdo porque 2 ∈ A por la convexidad de A. Por ende x = y.
Ejercicio 1.55 Repondemos cada uno de los items del ejercicio por separado.
1. Por la Observación 1.41.
2. Porque 0 ≤ d (A, B ) ≤ d (a, a) = 0 para todo a ∈ A ∩ B .
3. Si A ⊆ B y C ⊆ D, entonces {d (x, y) : x ∈ C e y ∈ D} ⊆ {d (x, y) : x ∈ A e y ∈ B } y, por lo tanto,

d (C , D) = ı́nf{d (x, y) : x ∈ C e y ∈ D} ≥ ı́nf{d (x, y) : x ∈ A e y ∈ B } = d (A, B ).

4. Para cada a ∈ A ² , cada b ∈ B ²0 y cada δ > 0, existe a 0 ∈ A y b 0 ∈ B tales que d (a, a 0 ) ≤ ² + δ y

d (b, b 0 ) ≤ ²0 + δ. Por lo tanto

d (A, B ) ≤ d (a 0 , b 0 ) ≤ d (a 0 , a) + d (a, b) + d (b, b 0 ) ≤ d (a, b) + ² + ²0 + 2δ.

Como a, b y δ son arbitrarios, el item es verdadero.

220
Resolución de los ejercicios

5. Por la definición de distancia entre conjuntos y propiedades básicas del ínfimo,

³[ [ ´ ³ ´
d Ai , B j = S ı́nf S d (a, b) = ı́nf ı́nf d (a, b) = ı́nf d (A i , B j ),
i ∈I j ∈J a∈ i ∈I A i y b∈ j ∈J Bj i ∈I y j ∈J a∈A i y b∈B j i ∈I y j ∈J

como afirmamos.
6. Por el item 3.
Ejercicio 1.61 Repondemos cada uno de los items del ejercicio por separado.
1. Si A ⊆ B , entonces {d (a, a 0 ) : a, a 0 ∈ A} ⊆ {d (b, b 0 ) : b, b 0 ∈ B } y, por lo tanto,

diám A = sup{d (a, a 0 ) : a, a 0 ∈ A} ≤ sup{d (b, b 0 ) : b, b 0 ∈ B } = diám B.

2. Para cada a, b ∈ A ² y cada δ > 0, existen a 0 , b 0 ∈ A tales que d (a, a 0 ) ≤ ² + δ y d (b, b 0 ) ≤ ²0 + δ.

Por lo tanto
d (a, b) ≤ d (a, a 0 ) + d (a 0 , b 0 ) + d (b 0 , b) ≤ d (a 0 , b 0 ) + 2² + 2δ.
Como δ es arbitrario,

d (a, b) ≤ diám A + 2² para todo a, b ∈ A ² ,

y, en consecuencia, diám A ² ≤ diám A + 2², como queremos.

3. Debemos probar que

d (x, y) ≤ diám A + diám B + d (A, B ) + δ para todo x, y ∈ A ∪ B y todo δ > 0.

Como esto claro cuando x e y pertenecen a A o x e y pertenecen a B , podemos suponer

que x ∈ A e y ∈ B . En este caso, tomando a ∈ A y b ∈ B tales que d (a, b) < d (A, B )+δ, obtenemos
que
d (x, y) ≤ d (x, a) + d (a, b) + d (b, y) < diám A + diám B + d (A, B ) + δ,
como queremos.
Ejercicio 1.62 Para cada punto x de un espacio discreto,

diám Br [x] = 0 < 2r si r < 1 y diám Br [x] = 1 < 2r si r ≥ 1.

Ejercicio 1.63 Es claro que podemos suponer que ninguno de los A i ’s es vacío, lo que tiene
el efecto de que la distancia de n−1
S
i =1 i
A a A n es finita. Procedemos por inducción en n. El
caso n = 1 es trivial. Supongamos que n > 1 y que el resultado vale para n − 1. Entonces por
tercer item del Ejercicio 1.61,
à ! à ! à !
n
[ n−1
[ n−1
[
diám A i ≤ diám A i + diám A n + d A i , A n < ∞,
i =1 i =1 i =1

como queremos.

221
 Resolución de los ejercicios

Capítulo 1.6
Ejercicio 1.69 Si d está asociada a una norma k k, entonces kxk = d (x, 0) para todo x ∈ E . Esto
prueba la unicidad. Para probar la existencia debemos ver que la función k k, definida por la
igualdad anterior, es una norma. Pero esto es cierto porque

kxk = 0 ⇔ d (x, 0) = 0 ⇔ x = 0,
kλ · xk = d (λ · x, 0) = d (λ · x, λ · 0) = λd (x, 0) = λkxk
y
kx + yk = d (x + y, 0) ≤ d (x + y, y) + d (y, 0) = d (x, 0) + d (y, 0) = kxk + kyk.

Ejercicio 1.75 Esto es cierto porque la función módulo de C extiende a la función módulo
de R y la norma k kp sobre Cn está definida por la misma fórmula que la norma k kp sobre Rn ,
pero usando la primera en lugar de la segunda.
Ejercicio 1.79 Debido a la Proposición 1.78 resolver el ejercicio es equivalente a probar que
\ [
Br [0] = Bs (0) y Br (0) = Bs [0].
s>r s<r

Pero esto es verdad porque

\
x ∈ Br [0] ⇔ kxk ≤ r ⇔ kxk < s para todo s > r ⇔ x ∈ Bs (0)
s>r
y
[
x ∈ Br (0) ⇔ kxk < r ⇔ kxk ≤ s para todo s < r ⇔ x ∈ Bs [0].
s<r

Ejercicio 1.88 Resolvemos cada uno de los items por separado.

1. Porque, como la función k k es homogénea,
µ ¶
1
x =n· · x ⊆ n · B1 (0)
n
para todo x ∈ E y n ∈ N tal que n > kxk.
2. B1 (0) es convexo porque, como la norma es homogénea y subaditiva, si kxk < 1 y kyk < 1,
entonces
kλ · x + (1 − λ) · yk ≤ λkxk + (1 − λ)kyk < 1
para todo λ ∈ [0, 1].
3. Porque, por la homogeneidad de la norma,

kλ · xk = |λ|k xk < |λ| ≤ 1

para todo x ∈ B1 (0) y todo λ con |λ| ≤ 1.

4. Porque, debido a la Proposición 1.78 y al hecho de que kxk = 0 si y solo si x = 0,

· B1 (0) ⇔ kxk < 1/n para todo n ∈ N ⇔ kxk = 0 ⇔ x = 0.

\ 1
x∈
n∈N n

5. Porque, nuevamente por la homogeneidad de la norma, si kxk < 1, entonces kλ · xk < 1 para
todo λ ∈ (1, 1/kxk).

222
Resolución de los ejercicios

Ejercicio 1.89 Veamos primero que la condición requerida en el item 3 se cumple para todo
λ ∈ k con |λ| ≤ 1. Para empezar, por el item 1 sabemos que existe x ∈ B. Pero entonces, por el
item 3 también −x ∈ B y, en consecuencia, por el item 2,
1 1
0= · x + · (−x) ∈ B .
2 2
Así, nuevamente por el item 2,

λ · x = λ · x + (1 − λ) · 0 ∈ B para todo x ∈ B y todo λ ∈ [0, 1]. (A.1)

Finalmente, si 0 < |λ| ≤ 1, entonces debido a la condición (1.11) y al item 3,

λ
µ ¶
λ · B = |λ| · · B ⊆ |λ| · B ⊆ B,
|λ|
como queremos. Además, si |λ| = 1, entonces

λ·B = B (A.2)

porque B = λ · (λ−1 · B) ⊆ λ · B.
Notemos que por el item 1 podemos definir una función k k : E → R≥0 por

kxk := ı́nf{λ ∈ R≥0 : x ∈ λ · B}.

Debemos probar que k k es una norma. Como 0 ∈ λ · B para cada escalar λ, es claro que k0k = 0.
Por otra parte, dado que el item 3 vale para todo escalar cuyo módulo es menor o igual que 1,

λ0 λ
µ 0 ¶
0
λ ·B = λ ·B = λ· ·B ⊆ λ·B. (A.3)
λ λ

para cada par λ0 , λ de escalares con |λ0 | < |λ|. En consecuencia, si kxk = 0, entonces

λ · B,
\
x∈
λ∈R>0

lo que por el item 4 implica que x = 0. Por lo tanto kxk = 0 si y solo si x = 0. Afirmamos que la
función k k es homogénea. En efecto, por la igualdad (A.2),

x ∈ λ0 · B ⇔ λ · x ∈ λλ0 · B = |λ|λ0 · B para todo x ∈ E , λ ∈ k \ {0} y λ0 ∈ R≥0 .

En consecuencia

kλ · xk = ı́nf{|λ| · λ0 ∈ R≥0 : x ∈ λ0 · B} = |λ|kxk para cada λ ∈ k \ {0} y cada x ∈ E .

Como, además,
k0 · xk = k0k = 0 = 0kxk para todo x ∈ E ,
la función k k satisface la condición de homogeneidad, como queremos.
Para deducir que k k es una norma solo resta verificar que k k es subaditiva. Para ello suponga-
mos que x ∈ λ · B y x 0 ∈ λ0 · B, con λ, λ0 ∈ R>0 y escribamos x = λ · x̄ y x 0 = λ0 · x̄ 0 . Entonces por el
item 2
λ λ0
µ ¶
x + x 0 = λ · x̄ + λ0 · x̄ 0 = (λ + λ0 ) · · x̄ + · x̄ 0
∈ (λ + λ0 ) · B,
λ + λ0 λ + λ0

223
 Resolución de los ejercicios

por lo que kx + yk ≤ kxk + kyk.

Notemos ahora que si x ∈ B1 (0), entonces por la misma definición de kxk existe λ ∈ (0, 1) tal
que x ∈ λ·B , lo que prueba que B1 (0) ⊆ B , porque el item 3 vale para todo escalar λ con módulo
menor que 1. Para concluír la resolución del ejercicio debemos verificar que vale la inclusión
recíproca. Supongamos que un punto x pertenece a B. Entonces por el item 5 existe λ ∈ (0, 1)
tal que x ∈ λ · B , lo que, por la definición de k k, dice que x ∈ B1 (0).
Ejercicio 1.83 Por la condición 1 de la definición de pseudonorma,
x = y ⇒ kx − yk = 0 ⇒ d (x, y) = 0,
por la condición 2,
d (x, y) = kx − yk = k − 1 · (y − x)k = | − 1|ky − xk = ky − xk = d (y, x),
y, por la condición 3,
d (x, z) = kx − zk ≤ kx − yk + ky − zk = d (x, y) + d (y, z).
De modo que d es una pseudométrica, que, como lo prueban las igualdades
d (λ · x, λ · y) = kλ · x − λ · yk = |λ|kx − yk = |λ|d (x, y)
y
d (x + z, y + z) = k(x + z) − (y + z)k = kx − yk = d (x, y),
es homogénea e invariante por traslaciones.
Supongamos, recíprocamente, que d : E × E → R≥0 es una pseudométrica homogénea e inva-
riante por traslaciones. Si d está asociada a una pseudonorma k k, entonces kxk = d (x, 0) para
todo x ∈ E . Esto prueba la unicidad. Para probar la existencia debemos ver que la función k k,
definida por la igualdad anterior, es una pseudonorma; pero esto se sigue de que
x = 0 ⇒ d (x, 0) = 0 ⇒ kxk = 0,
kλ · xk = d (λ · x, 0) = d (λ · x, λ · 0) = λd (x, 0) = λkxk
y
kx + yk = d (x + y, 0) ≤ d (x + y, y) + d (y, 0) = d (x, 0) + d (y, 0) = kxk + kyk.
Finalmente, d (x, y) = d (x − y, 0) = kx − yk para todo x, y ∈ E , como queremos
Ejercicio 1.84 Dado que, para todo λ ∈ k y todo x, y ∈ E ,
kλ · x + yk ≤ |λ|kxk + kyk = 0,
el conjunto S es un subespacio vectorial de E . Definimos k k por kp(x)k := kxk. Para probar
que k k está bien definida debemos ver que kx + yk = kxk para todo y ∈ S. Pero esto es cierto
porque, por la subaditividad,
kx + yk ≤ kxk + kyk = kxk y kxk = |x + y − y| ≤ kx + yk + kyk = kx + yk.
Es evidente que k k = k k ◦ p. Por último k k es una norma porque
kp(x)k = 0 ⇔ kxk = 0 ⇔ x ∈ S ⇔ p(x) = 0,
kλ · p(x)k = kp(λ · x)k = kλ · xk = |λ| · kxk = |λ|kp(x)k
y
kp(x) + p(y)k = kp(x + y)k = kx + yk ≤ kxk + kyk = kp(x)k + kp(y)k.

224
Resolución de los ejercicios

Ejercicio 1.85 Porque d (p(x), p(y)) = kp(x − y)k = kx − yk = d (x, y).

Ejercicio ?? Por el Ejemplo ??, con E := E 1 × · · · × E n y k k(i ) := k kE i ◦ p i , donde p i : E → E i es la
proyección canónica.

Capítulo 1.9
Ejercicio 1.106 Supongamos que (x n )n∈N es convergente y denotemos con x a su límite. Por
definición existe n 0 ∈ N tal que d (x n , x) ≤ 1 para todo n ≥ n 0 . Como {x n : n ∈ N} ⊆ Br [x], donde
r := máx{1, d (x 1 , x), . . . , d (x n−1 , x)}, la sucesión (x n )n∈N es acotada.
Ejercicio 4.13 Supongamos que X es un producto de una cantidad finita o numerable de
espacios métricos, que (x n )n∈N es una sucesión de puntos de X y que x es un punto de X .
Denotemos con V es la subbase de entornos de X del Ejemplo 1.37 o del Ejercicio 4.11 según
corresponda. Por la Observación 1.102, la sucesión (x n )n∈N converge a x si y solo si para cada
V ∈ V existe n 0 tal que x n ∈ V para todo n ≥ n 0 . Pero, debido a la forma de los elementos de V ,
esto significa que para cada índice i del producto que define a X y cada r > 0, existe n 0 ∈ N tal
que x in ∈ Br (x i ), donde x in y x i denotan a las i -ésimas coordenadas de x n y x respectivamente.
Por lo tanto (x n )n∈N converge a x si y solo si para cada uno de los índices i que definen a X , la
sucesión (x in )n∈N converge a x i .
Ejercicio 1.117 Tomemos y ∈ R arbitrario y r > 0. Como Q ∩ Br (y) es infinito y x : N → Q es
sobreyectiva, hay infinitos puntos de la sucesión (x i )i ∈N que están en Br (y). En consecuencia,
debido a la Observación ??, el punto y es un punto de aglomeración de (x i )i ∈N . Como y ∈ R es
arbitrario, esto prueba el ejercicio.
Ejercicio 1.120 Fijemos m ∈ N. Si l 6= m, entonces

d s (l , m) = |l −1 − m −1 | ≥ mı́n(|(m − 1)−1 − m −1 |, |(m + 1)−1 − m −1 |) > 0

En consecuencia

lı́m x n = m ⇐⇒ existe n 0 ∈ N tal que x n = m para todo n ≥ n 0 .

n→∞

En cambio, lı́mn→∞ x n = ∞ si y solo si (x n )n∈N tiende a infinito en el sentido usual.

225