Professional Documents
Culture Documents
Hay tres grandes teoremas que se conocen como los tres Principios Fundamentales del
Anlisis Funcional y todos llevan el nombre de Stefan Banach: el Teorema de Hahn-Banach,
el Teorema de Banach-Steinhaus y el Teorema de la Aplicacin Abierta, tambin conocido co-
mo Teorema de Banach-Schauder. El primero es una pieza clave para el estudio de la dualidad
en espacios normados. Como cualquier resultado importante en Matemticas, pero muy espe-
cialmente en este caso, el Teorema de Hahn-Banach admite numerosas versiones equivalentes,
que se aplican en campos muy diversos. En este tema vemos la versin analtica, que nos
permitir avanzar en el estudio de la dualidad. Ms adelante veremos una versin geomtrica,
que se caracteriza precisamente por eso, por tener clara interpretacin geomtrica.
38
5. Versin Analtica del Teorema de Hahn-Banach 39
Teorema (Hahn 1927, Banach 1929). Sea X un espacio vectorial, provisto de una funcin
: X R que verifica las siguientes condiciones:
Re g(m) 6 (m) m M
f (m) = g(m) m M,
| f (x)| 6 (x) x X.
Antes de entrar en la demostracin del teorema resaltamos que las hiptesis sobre la funcin
son mucho ms dbiles que las que definen a una norma o incluso a una seminorma; por
ejemplo, no se exige que (x) = (x) para x X. Al parecer la versin demostrada por Hahn
supona que es una norma en X; esta otra versin ms general es la aportacin de Banach y
es esencial, como se ver, para establecer las versiones geomtricas del teorema. Por otra parte,
usar la funcin parte real es lo que permite hacer un enunciado comn para el caso real y el
caso complejo; naturalmente, en el caso K = R dicha funcin no es otra cosa que la identidad.
Dividiremos la demostracin en tres etapas.
donde (el valor de h(x)) es una constante a determinar, de forma que se tenga
g(m) + 6 (m + x) m M R (1)
con lo que h cumplir lo que se espera de l. Puede haber la tentacin de tomar = 0 para
simplificar las cosas, pero a poco que se piense, esa eleccin de puede no ser vlida, as que
veamos qu debe cumplir .
5. Versin Analtica del Teorema de Hahn-Banach 40
Para > 0, dividiendo por y usando la segunda propiedad de , (1) toma la forma
m m
g + 6 +x .
m
Si ahora ponemos u = y observamos que u es un vector de M tan arbitrario como m,
deducimos que debe cumplir:
6 (u + x) g(u) u M. (2)
Para < 0 dividimos por ambos miembros de la desigualdad (1) y razonamos de forma
m
anloga, poniendo ahora w = , para obtener la otra condicin que debe cumplir :
> g(w) (w x) w M. (3)
Obsrvese que para = 0 la desigualdad (1) se cumple, por la hiptesis sobre g. En resumen,
esta etapa de la demostracin estar concluida si encontramos R verificando (2) y (3).
Ahora bien, para cualesquiera u, w M, tenemos por hiptesis:
g(w) (w x) 6 (u + x) g(u) w, u M,
de donde, claramente:
Si ahora es cualquier nmero real comprendido entre los dos miembros de la ltima desigual-
dad, es claro que se verifican (2) y (3), luego tambin (1), como queramos.
Ntese que si la ltima desigualdad es una igualdad, slo hay una eleccin posible de . El
razonamiento anterior permite en la prctica discutir la posible unicidad del funcional f cuya
existencia afirma el Teorema, un asunto del que no nos vamos a ocupar.
Pues bien el conjunto F al que pretendemos aplicar el Lema de Zorn va a estar formado
por todos los pares de la forma (Y, h) donde Y es un subespacio de X que contiene a M y h
es un funcional lineal en Y que extiende a g y est dominado por . Definimos un orden en F
escribiendo que (Y, h) (Z, k) cuando Y Z y el funcional k extiende a h. Es inmediato que
es una relacin de orden en F y vamos a comprobar que, con dicha relacin de orden, F es un
conjunto inductivo.
Sea pues F0 = {(Y j , h j ) : j J} un subconjunto totalmente ordenado de F y veamos que
F0 admite un mayorante. Para ello tomamos Y = Y j y observamos, gracias a que F0 est
[
jJ
totalmente ordenado, que Y es un subespacio vectorial de X, que evidentemente contiene a Y j
para todo j J y, por tanto, contiene a M. Para definir un funcional lineal h en Y , dado y Y ,
tomamos j J de forma que y Y j y escribimos h(y) = h j (y). De nuevo el hecho de que F0 est
totalmente ordenado hace que nuestra definicin de h sea correcta, es decir, el valor de h(y) no
depende del ndice j J que usemos para definirlo. Es inmediato que h es un funcional lineal
en Y que est dominado por y extiende a h j para todo j J, por tanto tambin extiende a g.
As pues, (Y, h) F y es claro que (Y j , h j ) (Y, h) para todo j J, luego (Y, h) es el mayorante
de F0 que necesitbamos.
El Lema de Zorn nos proporciona un elemento maximal de F, digamos (Z, f ), y slo queda
comprobar que Z = X, pues entonces f ser el funcional lineal en X que nos pide el teorema.
En efecto, si fuese Z 6= X, podramos aplicar la primera etapa de la demostracin para obtener
un par estrictamente mayor que (Z, f ), contradiciendo su maximalidad.
Obsrvese que todo el razonamiento anterior resulta bastante rutinario, simplemente el
Lema de Zorn es el instrumento que permite formalizar rigurosamente la idea de iterar un pro-
ceso indefinidamente hasta concluirlo. Conviene resaltar, sin embargo, que siempre que usamos
el Lema de Zorn para formalizar un proceso infinito, nuestro razonamiento no es constructivo,
no tenemos ningn control del resultado del proceso. En nuestro caso, no tenemos forma de
conocer explcitamente el funcional f cuya existencia hemos probado, a diferencia de lo que
ocurra con la primera etapa de la demostracin, en que la construccin del funcional extendido
era explcita.
Podemos ya resolver el caso complejo. Nos dan un espacio vectorial complejo X (automti-
camente pensamos en XR ) y un subespacio M de X (automticamente pensamos que MR es
un subespacio de XR ). Nos dan tambin un funcional lineal g en M que verifica precisamente
Re g 6 , as que notando = Re g tenemos que es un funcional lineal en MR que verifica
6 , est dominado por como venamos diciendo. Como la extensin en el caso real ya la
tenemos resuelta, existir un funcional lineal en XR que extiende a y sigue dominado por .
Ahora ser la parte real de un funcional lineal en X, al que llamamos f . Claramente tenemos
Re f (x) = (x) 6 (x) para todo x X y f extiende a g, ya que para cada m M tenemos
Re f (m) = (m) = (m) = Re g(m), de donde f (m) = g(m) tambin para todo m M, porque
tanto g como la restriccin de f a M estn determinados por su parte real.
Slo queda probar la ltima afirmacin del Teorema, pero esto es muy sencillo: si es una
seminorma y sabemos ya que Re f 6 , fijado un x X ponemos | f (x)| = f (x) con K,
|| = 1, y obtenemos:
donde para la tercera igualdad hemos usado que, evidentemente, f (x) R y, para la ltima,
que es una seminorma.
Por hiptesis tenemos |g(m)| 6 kgk kmk para todo m M, luego basta aplicar el Teorema
anterior, tomando (x) = kgk kxk para todo x X, con lo que es una seminorma en X. Obtene-
mos un funcional lineal f : X K que verifica | f (x)| 6 kgk kxk para todo x X, luego f X
y k f k 6 kgk, pero es evidente que la norma de un funcional no puede disminuir al extenderlo,
as que k f k = kgk.
El hecho de que un funcional lineal continuo en un subespacio M de un espacio normado X
se extienda a un funcional lineal continuo en todo el espacio X ya es bastante importante, nos
garantiza por ejemplo la abundancia de funcionales lineales continuos no nulos en cualquier
espacio normado X 6= {0}, pues siempre podemos tomar como M un subespacio de dimensin
finita de X, en el que tenemos abundantes funcionales lineales, todos ellos continuos. Al hacer
una extensin, es claro que, en general la norma del funcional aumenta, y el ltimo teorema nos
dice que podemos hacer la extensin sin que aumente, que es lo mejor que nos podra decir. La
existencia de esta extensin equinrmica tendr ms adelante consecuencias importantes.
Concluimos este Tema con dos aplicaciones interesantes del teorema anterior. La primera se
deduce del mero hecho de que X 6= {0} para cualquier espacio normado X 6= {0}. Es claro que
5. Versin Analtica del Teorema de Hahn-Banach 43
esto nos permite definir operadores lineales continuos no nulos, de X en cualquier otro espacio
normado Y 6= {0}, pues basta fijar f0 X \ {0}, y0 Y \ {0}, y definir T x = f0 (x) y0 para todo
x X. Es evidente que T L(X,Y ) e incluso que kT k = k f0 k ky0 k. Aprovechando esta sencilla
idea, podemos ya probar algo que qued prometido en el Tema 3:
En efecto, sea {u1 , u2 , . . . , uN } una base de M. Es claro que las coordenadas de cada vector
m M dependen linealmente de m, es decir, existen g1 , g2 , . . . , gN , funcionales lineales en M,
tales que
N
m= gk (m) uk
k=1
es la nica expresin de cada m M como combinacin lineal de los elementos de la base. Para
k = 1, 2, . . . , N, puesto que Y es un espacio normado de dimensin finita tenemos gk M y
el teorema anterior nos proporciona un fk X que extiende a gk . Se comprueba sin ninguna
dificultad que definiendo
N
P(x) = fk (x) uk (x X)
k=1
se obtiene una proyeccin lineal continua P en X tal que P(X) = M, luego M est complemen-
tado en X, como se quera.