Teorema de Hahn-Banach
Kreyszig
4.2 Teorema de Hahn-Banach
8. Un ı́nfimo de un subconjunto A ̸= ∅ de un conjunto parcialmente ordenado
M es una cota inferior x de A tal que l ≤ x para cualquier cota inferior l de
A; escribimos x = ı́nf A. Similarmente, un supremo y de A, escrito y = sup A,
es una cota superior y de A tal que y ≤ u para cualquier cota superior u de
A. (a) Si A tiene un ı́nfimo, muestra que es único. (b) ¿Cuáles son ı́nf{A, B} y
sup{A, B} en el Ejemplo 4.1-3?
9. (Retı́culo) Un retı́culo es un conjunto parcialmente ordenado M tal que
cualesquiera dos elementos x, y de M tienen un ı́nfimo (escrito x ∧ y) y un
supremo (escrito x ∨ y). Muestra que el conjunto parcialmente ordenado en el
Ejemplo 4.1-3 es un retı́culo, donde A ∧ B = A ∩ B y A ∨ B = A ∪ B.
10. Un elemento minimal de un conjunto parcialmente ordenado M es un
x ∈ M tal que y ≤ x implica y = x. Encuentra todos los elementos minimales
en el Problema 4(a).
Teorema de Hahn-Banach
El teorema de Hahn-Banach es un teorema de extensión para funcionales li-
neales. Veremos en la siguiente sección que el teorema garantiza que un espacio
normado está abundantemente provisto de funcionales lineales acotados y hace
posible una teorı́a adecuada de espacios duales, que es una parte esencial de
la teorı́a general de espacios normados. De esta manera, el teorema de Hahn-
Banach se convierte en uno de los teoremas más importantes en conexión con
operadores lineales acotados. Además, nuestra discusión mostrará que el teore-
ma también caracteriza el grado en que se pueden preasignar los valores de un
funcional lineal. El teorema fue descubierto por H. Hahn (1927), redescubierto
en su forma más general actual (Teorema 4.2-1) por S. Banach (1929) y genera-
lizado a espacios vectoriales complejos (Teorema 4.3-1) por H. F. Bohnenblust
y A. Sobczyk (1938); cf. las referencias en el Apéndice 3.
En general, en un problema de extensión se considera un objeto matemático
(por ejemplo, una aplicación) definido en un subconjunto Z de un conjunto dado
X y se desea extender el objeto desde Z a todo el conjunto X de tal manera
que ciertas propiedades básicas del objeto sigan siendo válidas para el objeto
extendido.
1
En el teorema de Hahn-Banach, el objeto que se extiende es un funcional
lineal f que está definido en un subespacio Z de un espacio vectorial X y tiene
una cierta propiedad de acotación que se formulará en términos de un funcional
sublineal. Por definición, este es un funcional real valuado
214 Teoremas Fundamentales para Espacios Normados y de
Banach
p en un espacio vectorial X que es subaditivo, es decir,
p(x + y) ≤ p(x) + p(y) para todo x, y ∈ X, (1)
y positivo-homogéneo, es decir,
p(αx) = αp(x) para todo α ≥ 0 en R y x ∈ X. (2)
(Nota que la norma en un espacio normado es un funcional de este tipo.)
Asumiremos que el funcional f que se va a extender está mayorizado en Z
por tal funcional p definido en X, y extenderemos f desde Z a X sin perder la
linealidad y la mayorización, de modo que el funcional extendido f˜ en X siga
siendo lineal y siga estando mayorizado por p. Este es el meollo del teorema.
X será real; una generalización del teorema que incluye espacios vectoriales
complejos sigue en la siguiente sección.
4.2-1 Teorema de Hahn-Banach (Extensión de funcionales
lineales).
Sea X un espacio vectorial real y p un funcional sublineal en X. 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 a X que satisface
f˜(x) ≤ p(x) para todo x ∈ X, (4)
es decir, f˜ es un funcional lineal en X, satisface (3*) en X y f˜(x) = f (x)
para todo x ∈ Z.
Demostración.
Procediendo paso a paso, demostraremos: (a) El conjunto E de todas las
extensiones lineales g de f que satisfacen g(x) ≤ p(x) en su dominio D(g) puede
ser parcialmente ordenado y el lema de Zorn produce un elemento maximal f˜
de E. (b) f˜ está definido en todo el espacio X. (c) Una relación auxiliar que se
usó en (b).
Comenzamos con la parte (a) Sea E el conjunto de todas las extensiones
lineales g de f que satisfacen la condición
2
g(x) ≤ p(x) para todo x ∈ D(g)
Claramente, E ̸= ∅ ya que f ∈ E. En E podemos definir un orden parcial
por
g≤h
significando que h es una extensión de g,
es decir, por definición, D(h) ⊇ D(g) y h(x) = g(x) para todo x ∈ D(g).
Para cualquier cadena C ⊂ E ahora definimos ĝ por
ĝ(x) = g(x) si x ∈ D(g) (g ∈ C).
ĝ es un funcional lineal, cuyo dominio es
[
D(ĝ) = D(g),
g∈C
que es un espacio vectorial ya que C es una cadena. La definición de ĝ
es inequı́voca. De hecho, para un x ∈ D(g1 ) ∩ D(g2 ) con g1 , g2 ∈ C tenemos
g1 (x) = g2 (x) ya que C es una cadena, de modo que g1 ≤ g2 o g2 ≤ g1 .
Claramente, g ≤ ĝ para todo g ∈ C. Por lo tanto, ĝ es una cota superior de C.
Como C ⊂ E era arbitraria, el lema de Zorn implica que E tiene un elemento
maximal f˜. Por la definición de E, este es una extensión lineal de f que satisface
f˜(x) ≤ p(x) x ∈ D(f˜).
(b) Ahora mostramos que D(f˜) es todo X. Supongamos que esto es falso.
Entonces podemos elegir un y1 ∈ X − D(f˜) y considerar el subespacio Y1 de X
generado por D(f˜) y y1 . Nota que y1 ̸= 0 ya que 0 ∈ D(f˜). Cualquier x ∈ Y1
puede escribirse
x = y + αy1 y ∈ D(f˜).
Esta representación es única. De hecho, y + αy1 = ȳ + βy1 con ȳ ∈ D(f˜)
implica y − ȳ = (β − α)y1 , donde y − ȳ ∈ D(f˜) mientras que y1 ∈
/ D(f˜), de modo
que la única solución es y − ȳ = 0 y β − α = 0. Esto significa unicidad.
Un funcional g1 en Y1 se define por
g1 (y + αy1 ) = f˜(y) + αc
donde c es cualquier constante real. No es difı́cil ver que g1 es lineal. Además,
para α = 0 tenemos g1 (y) = f˜(y). Por lo tanto, g1 es una extensión propia de
f˜, es decir, una extensión tal que D(f˜) es un subconjunto propio de D(g1 ). En
consecuencia, si podemos probar que g1 ∈ E mostrando que
g1 (x) ≤ p(x) para todo x ∈ D(g1 ), (5)
esto contradirá la maximalidad de f˜, de modo que D(f˜) ̸= X es falso y D(f˜) =
X es verdadero.
3
(c) En consecuencia, finalmente debemos mostrar que g1 con una c adecuada
en (5) satisface (6).
Consideramos cualquier y y z en D(f˜). De (4) y (1) obtenemos
f˜(y) − f˜(z) = f˜(y − z) ≤ p(y − z)
= p(y + y1 − y1 − z)
≤ p(y + y1 ) + p(−y1 − z).
Llevando el último término a la izquierda y el término f˜(y) a la derecha,
tenemos
−p(−y1 − z) − f˜(z) ≤ p(y + y1 ) − f˜(y), (6)
donde y1 está fijo. Como y no aparece a la izquierda y z no a la derecha, la
desigualdad sigue siendo válida si tomamos el supremo sobre z ∈ D(f˜) a la
izquierda (llamémoslo m0 ) y el ı́nfimo sobre y ∈ D(f˜) a la derecha, llamémoslo
m1 . Entonces m0 ≤ m1 y para una c con m0 ≤ c ≤ m1 tenemos de (7)
−p(−y1 − z) − f˜(z) ≤ c para todo z ∈ D(f˜), (7)
c ≤ p(y + y1 ) − f˜(y) para todo y ∈ D(f˜). (8)
Probamos (6) primero para α negativo en (5) y luego para α positivo. Para
α < 0 usamos (8a) con z reemplazado por α−1 y, es decir,
1 1
−p −y1 − y − f y ≤ c.
α α
La multiplicación por −α > 0 da
1
αp −y1 − y + f˜(y) ≤ −αc.
α
De esto y (5), usando y + αy1 = x (ver arriba), obtenemos la desigualdad
deseada
˜ 1
g1 (x) = f (y) + αc ≤ −αp −y1 − y = p(αy1 + y) = p(x).
α
Para α = 0 tenemos x ∈ D(f˜) y nada que probar. Para α > 0 usamos (8b)
con y reemplazado por α−1 y para obtener
1 ˜ 1
c≤p y + y1 − f y .
α α
La multiplicación por α > 0 da
1
αc ≤ αp y + y1 − f˜(y) = p(x) − f˜(y).
α
4
De esto y (5),
g1 (x) = f˜(y) + αc ≤ p(x).
¿Podrı́amos prescindir del lema de Zorn? Esta pregunta es de interés, en
particular porque el lema no da un método de construcción. Si en (5) tomamos
f en lugar de f˜, obtenemos para cada c real una extensión lineal g1 de f al
subespacio Z1 generado por D(f )∪{y1 }, y podemos elegir c de modo que g1 (x) ≤
p(x) para todo x ∈ Z1 , como puede verse en la parte (c) de la prueba con f˜
reemplazado por f . Si X = Z1 , hemos terminado. Si X ̸= Z1 , podemos tomar
un y2 ∈ X − Z1 y repetir el proceso para extender f a Z2 generado por Z1 y y2 ,
etc. Esto da una secuencia de subespacios Zj cada uno conteniendo al anterior,
y tal que f puede extenderse linealmente de uno al siguiente y la extensión gj
satisface gj (x) ≤ p(x) para todo x ∈ Zj . Si
n
[
X= Zj ,
j=1
hemos terminado después de n pasos, y si
∞
[
X= Zj ,
j=1
podemos usar inducción ordinaria. Sin embargo, si X no tiene tal representación,
necesitamos el lema de Zorn en la prueba presentada aquı́.
Por supuesto, para espacios especiales toda la situación puede volverse más
simple. Los espacios de Hilbert son de este tipo, debido al teorema de represen-
tación de Riesz 3.8-1. Discutiremos este hecho en la siguiente sección.
Problemas
1. Muestra que el valor absoluto de un funcional lineal tiene las propiedades
expresadas en (1) y (2).
2. Muestra que una norma en un espacio vectorial X es un funcional sublineal
en X.
3. Muestra que p(x) = lı́mn→∞ ξn , donde x = (ξn ) ∈ l∞ , ξn real, define un fun-
cional sublineal en l∞ . 4. Muestra que un funcional sublineal p satisface p(0) = 0
y p(−x) ≥ −p(x).
5. (Conjunto convexo) Si p es un funcional sublineal en un espacio vectorial X,
muestra que M = {x|p(x) ≤ γ, γ > 0 fijo}, es un conjunto convexo. (Cf. Sec.
3.3.)
6. Si un funcional subaditivo p en un espacio normado X es continuo en 0 y
p(0) = 0, muestra que p es continuo para todo x ∈ X.
7. Si p1 y p2 son funcionales sublineales en un espacio vectorial X y c1 y c2 son
constantes positivas, muestra que p = c1 p1 + c2 p2 es sublineal en X.
8. Si un funcional subaditivo definido en un espacio normado X es no negativo
fuera de una esfera {x|∥x∥ = r}, muestra que es no negativo para todo x ∈ X.
5
9. Sea p un funcional sublineal en un espacio vectorial real X. Sea f definido en
Z = {x ∈ X|x = αx0 , α ∈ R} por f (x) = αp(x0 ) con x0 ∈ X fijo. Muestra que
f es un funcional lineal en Z que satisface f (x) ≤ p(x).
10. Si p es un funcional sublineal en un espacio vectorial real X, muestra que
existe un funcional lineal f˜ en X tal que −p(−x) ≤ f˜(x) ≤ p(x).
4.3 Teorema de Hahn-Banach para Espacios Vectoriales
Complejos y Espacios Normados
El teorema de Hahn-Banach 4.2-1 concierne a espacios vectoriales reales.
Una generalización que incluye espacios vectoriales complejos fue obtenida por
H. F. Bohnenblust y A. Sobczyk (1938):
