Teorema de Hahn-Banach para Espacios
Normados
Kreyszig
4.3 Teorema de Hahn-Banach para Espacios Nor-
mados
4.3-1 Teorema de Hahn-Banach (Generalizado).
Sea X un espacio vectorial real o complejo y p un funcional real-valorado en
X que es subaditivo, es decir, para todo x, y ∈ X,
p(x + y) ≤ p(x) + p(y) (1)
(como en el Teorema 4.2-1), y para todo escalar α satisface
p(αx) = |α| p(x). (2)
Además, sea f un funcional lineal definido en un subespacio Z de X que
satisface
|f (x)| ≤ p(x) para todo x ∈ Z. (3)
¯
Entonces f tiene una extensión lineal f desde Z hasta X que satisface
|f¯(x)| ≤ p(x) para todo x ∈ X. (4)
Demostración. (a) Espacio vectorial real. Si X es real, la situación es sim-
ple. Entonces (3) implica f (x) ≤ p(x) para todo x ∈ Z. Por tanto, por el teorema
de Hahn-Banach 4.2-1 existe una extensión lineal f¯ desde Z hasta X tal que
f¯(x) ≤ p(x) para todo x ∈ X. (5)
De esto y (2) obtenemos
−f¯(x) = f¯(−x) ≤ p(−x) = | − 1|p(x) = p(x),
es decir, f¯(x) ≥ −p(x). Junto con (5), esto prueba (4).
(b) Espacio vectorial complejo. Sea X complejo. Entonces Z también es
un espacio vectorial complejo. Por tanto, f es complejo-valorado, y podemos
escribir
f (x) = f1 (x) + if2 (x) x ∈ Z
1
donde f1 y f2 son real-valorados. Por un momento consideramos X y Z como
espacios vectoriales reales y los denotamos por Xr y Zr , respectivamente; esto
simplemente significa que restringimos la multiplicación por escalares a números
reales (en lugar de números complejos). Como f es lineal en Z y f1 y f2 son
real-valorados, f1 y f2 son funcionales lineales en Zr . Además, f1 (x) ≤ |f (x)|
porque la parte real de un número complejo no puede exceder su valor absoluto.
Por tanto, por (3),
f1 (x) ≤ p(x) para todo x ∈ Zr .
Por el teorema de Hahn-Banach 4.2-1 existe una extensión lineal f¯1 de f1
desde Zr hasta Xr tal que
f¯1 (x) ≤ p(x) para todo x ∈ Xr . (6)
Esto se encarga de f1 y ahora nos ocupamos de f2 . Volviendo a Z y usando
f = f1 + if2 , tenemos para todo x ∈ Z
i[f1 (x) + if2 (x)] = if (x) = f (ix) = f1 (ix) + if2 (ix).
Las partes reales en ambos lados deben ser iguales:
f2 (x) = −f1 (ix) x ∈ Z. (7)
Por tanto, si para todo x ∈ X definimos
f¯(x) = f¯1 (x) − if¯1 (ix) x ∈ X, (8)
vemos de (7) que f¯(x) = f (x) en Z. Esto muestra que f¯ es una extensión de
f desde Z hasta X. Nuestra tarea restante es probar que: (i) f¯ es un funcional
lineal en el espacio vectorial complejo X, (ii) f¯ satisface (4) en X.
Que (i) se cumple puede verse del siguiente cálculo que usa (8) y la linealidad
de f¯1 en el espacio vectorial real Xr ; aquı́ a + ib con a y b reales es cualquier
escalar complejo:
f¯((a + ib)x) = f¯1 (ax + ibx) − if¯1 (iax − bx)
= af¯1 (x) + bf¯1 (ix) − i[af¯1 (ix) − bf¯1 (x)]
= (a + ib)[f¯1 (x) − if¯1 (ix)]
= (a + ib)f¯(x).
Probamos (ii). Para cualquier x tal que f¯(x) = 0, esto se cumple ya que
p(x) ≥ 0 por (1) y (2); cf. también el Prob. 1. Sea x tal que f¯(x) ̸= 0. Entonces
podemos escribir, usando la forma polar de cantidades complejas,
f¯(x) = |f¯(x)|eiθ , ası́ |f¯(x)| = f¯(x)e−iθ = f¯(e−iθ x).
Como |f¯(x)| es real, la última expresión es real y por tanto igual a su parte
real. Por tanto, por (2),
2
|f¯(x)| = f¯(e−iθ x) = f¯1 (e−iθ x) ≤ p(e−iθ x) = |e−iθ |p(x) = p(x).
Esto completa la demostración.
Aunque el teorema de Hahn-Banach no dice nada directamente sobre conti-
nuidad, una aplicación principal del teorema trata con funcionales lineales aco-
tados. Esto nos lleva de vuelta a los espacios normados, que es nuestra principal
preocupación. De hecho, el Teorema 4.3-1 implica el básico
4.3-2 Teorema de Hahn-Banach (Espacios normados).
Sea f un funcional lineal acotado en un subespacio Z de un espacio normado
X. Entonces existe un funcional lineal acotado f¯ en X que es una extensión de
f a X y tiene la misma norma,
∥f¯∥X = ∥f ∥Z (9)
donde
∥f¯∥X = sup |f¯(x)|, ∥f ∥Z = sup |f (x)|
x∈X x∈Z
∥x∥=1 ∥x∥=1
(y ∥f ∥Z = 0 en el caso trivial Z = {0}).
Demostración. Si Z = {0}, entonces f = 0, y la extensión es f¯ = 0.
Sea Z ̸= {0}. Queremos usar el Teorema 4.3-1. Por tanto, primero debemos
descubrir un p adecuado. Para todo x ∈ Z tenemos
|f (x)| ≤ ∥f ∥Z ∥x∥.
Esto es de la forma (3), donde
p(x) = ∥f ∥Z ∥x∥. (10)
Vemos que p está definido en todo X. Además, p satisface (1) en X ya que
por la desigualdad triangular,
p(x + y) = ∥f ∥Z ∥x + y∥ ≤ ∥f ∥Z (∥x∥ + ∥y∥) = p(x) + p(y).
p también satisface (2) en X porque
p(αx) = ∥f ∥Z ∥αx∥ = |α|∥f ∥Z ∥x∥ = |α|p(x).
Por tanto, ahora podemos aplicar el Teorema 4.3-1 y concluir que existe un
funcional lineal f¯ en X que es una extensión de f y satisface
|f¯(x)| ≤ p(x) = ∥f ∥Z ∥x∥ x ∈ X.
Tomando el supremo sobre todo x ∈ X de norma 1, obtenemos la desigualdad
3
∥f¯∥X = sup |f¯(x)| ≤ ∥f ∥Z .
x∈X
∥x∥=1
Como bajo una extensión la norma no puede disminuir, también tenemos
∥f¯∥X ≥ ∥f ∥Z . Juntos obtenemos (9) y el teorema queda demostrado.
En casos especiales la situación puede volverse muy simple. Los espacios de
Hilbert son de este tipo. De hecho, si Z es un subespacio cerrado de un espacio
de Hilbert X = H, entonces f tiene una representación de Riesz 3.8-1, digamos,
f (x) = ⟨x, z⟩ z ∈ Z
donde ∥z∥ = ∥f ∥. Por supuesto, como el producto interno está definido en
todo H, esto da inmediatamente una extensión lineal f¯ de f desde Z hasta H,
y f¯ tiene la misma norma que f porque ∥f¯∥ = ∥z∥ = ∥f ∥ por el Teorema 3.8-1.
Por tanto, en este caso la extensión es inmediata.
Del Teorema 4.3-2 ahora derivaremos otro resultado útil que, en términos
generales, muestra que el espacio dual X ′ de un espacio normado X consiste
en suficientes funcionales lineales acotados para distinguir entre los puntos de
X. Esto se volverá esencial en conexión con operadores adjuntos (Sec. 4.5) y la
llamada convergencia débil (Sec. 4.8).
4.3-3 Teorema (Funcionales lineales acotados).
Sea X un espacio normado y sea x0 ̸= 0 cualquier elemento de X. Entonces
existe un funcional lineal acotado f¯ en X tal que
∥f¯∥ = 1, f¯(x0 ) = ∥x0 ∥. (11)
Demostración. Consideramos el subespacio Z de X que consiste en todos
los elementos x = αx0 donde α es un escalar. En Z definimos un funcional lineal
f por
f (x) = f (αx0 ) = α∥x0 ∥.
f es acotado y tiene norma ∥f ∥ = 1 porque
|f (x)| = |f (αx0 )| = |α|∥x0 ∥ = ∥αx0 ∥ = ∥x∥.
El Teorema 4.3-2 implica que f tiene una extensión lineal f¯ desde Z hasta
X, de norma ∥f¯∥ = ∥f ∥ = 1. De (11) vemos que f¯(x0 ) = f (x0 ) = ∥x0 ∥.
4.3-4 Corolario (Norma, vector cero).
Para todo x en un espacio normado X tenemos
|f (x)|
∥x∥ = sup . (12)
f ∈X ′ ∥f ∥
f ̸=0
4
Por tanto, si x0 es tal que f (x0 ) = 0 para todo f ∈ X ′ , entonces x0 = 0.
Demostración. Del Teorema 4.3-3 tenemos, escribiendo x para x0 ,
|f (x)| |f¯(x)| ∥x∥
sup ≥ ¯ = = ∥x∥,
f ∈X ′ ∥f ∥ ∥f ∥ 1
f ̸=0
y de |f (x)| ≤ ∥f ∥∥x∥ obtenemos
|f (x)|
sup ≤ ∥x∥.
f ∈X ′ ∥f ∥
f ̸=0
Problemas
1. (Seminorma) Demuestre que (1) y (2) implican p(0) = 0 y p(x) ≥ 0, de
modo que p es una seminorma (cf. Prob. 12, Sec. 2.3).
2. Demuestre que (1) y (2) implican |p(x) − p(y)| ≤ p(x − y).
3. Se mostró que f¯ definido por (8) es un funcional lineal en el espacio
vectorial complejo X. Demuestre que para este propósito es suficiente probar
que f¯(ix) = if¯(x).
4. Sea p definido en un espacio vectorial X que satisface (1) y (2). Demuestre
que para cualquier x0 ∈ X dado existe un funcional lineal f¯ en X tal que
f¯(x0 ) = p(x0 ) y |f¯(x)| ≤ p(x) para todo x ∈ X.
5. Si X en el Teorema 4.3-1 es un espacio normado y p(x) ≤ k∥x∥ para algún
k > 0, demuestre que ∥f¯∥ ≤ k.
6. Para ilustrar el Teorema 4.3-2, considere un funcional f en el plano eucli-
diano R2 definido por f (x) = α1 ξ1 + α2 ξ2 , x = (ξ1 , ξ2 ), sus extensiones lineales
f¯ a R3 y las normas correspondientes.
7. Dé otra demostración del Teorema 4.3-3 en el caso de un espacio de Hilbert.
8. Sea X un espacio normado y X ′ su espacio dual. Si X ̸= {0}, demuestre
que X ′ no puede ser {0}.
9. Demuestre que para un espacio normado separable X, el Teorema 4.3-
2 puede demostrarse directamente, sin el uso del lema de Zorn (que se usó
indirectamente, en la demostración del Teorema 4.2-1).
10. Obtenga la segunda afirmación en 4.3-4 directamente de 4.3-3.
11. Si f (x) = f (y) para todo funcional lineal acotado f en un espacio nor-
mado X, demuestre que x = y.
12. Para ilustrar el Teorema 4.3-3, sea X el plano euclidiano R2 y encuentre
el funcional f¯.
13. Demuestre que bajo las suposiciones del Teorema 4.3-3 existe un funcional
lineal acotado f¯ en X tal que ∥f¯∥ = ∥x0 ∥−1 y f¯(x0 ) = 1.
14. (Hiperplano) Demuestre que para cualquier esfera S(0; r) en un espacio
normado X y cualquier punto x0 ∈ S(0; r) existe un hiperplano H0 ∋ x0 tal que
la bola B(0; r) yace completamente en uno de los dos semiespacios determinados
por H0 . (Cf. Probs. 12, 15, Sec. 2.8.) Una ilustración simple se muestra en la
Fig. 39.
5
15. Si x0 en un espacio normado X es tal que |f (x0 )| ≤ c para todo f ∈ X ′
de norma 1, demuestre que ∥x0 ∥ ≤ c.
[Link]
Figura 1: Ilustración del Prob. 14 en el caso del plano euclidiano R2 .
4.4 Aplicación a Funcionales Lineales Acotados
en C[a, b]
El teorema de Hahn-Banach 4.3-2 tiene muchas aplicaciones importantes.
Una de ellas se consideró en la sección anterior. Otra se presentará en esta
sección.2 De hecho, usaremos el Teorema 4.3-2 para obtener una fórmula general
de representación para funcionales lineales acotados en C[a, b], donde [a, b] es
un intervalo compacto fijo. La importancia de tales representaciones generales
de funcionales en espacios especiales se explicó al final de la Sec. 2.10. En el
presente caso, la representación será en términos de una integral de Riemann-
Stieltjes. Recordemos la definición y algunas propiedades de esta integral, que
es una generalización de la integral de Riemann familiar. Comenzamos con el
siguiente concepto.
Una función w definida en [a, b] se dice que es de variación acotada en [a, b]
si su variación total V ar(w) en [a, b] es finita, donde
n
X
V ar(w) = sup |w(tj ) − w(tj−1 )|,
j=1
2 Esta sección es opcional. Solo se necesitará una vez (en la Sec. 9.9).