Tema

Dualidad en Espacios Normados

La versin analtica del Teorema de Hahn-Banach nos va a permitir profundizar en este Tema en el estudio de la dualidad. Empezaremos viendo cmo a partir del dual de un espacio podemos describir los duales de subespacios y cocientes. Veremos tambin que todo espacio normado puede verse como un subespacio de su segundo dual y aparecern los espacios de Banach reexivos, para los que existe total simetra entre el espacio y su dual.

6.1.

Dual de un subespacio

El teorema de extensin equinrmica, visto en el Tema anterior, sugiere que analicemos la relacin entre el dual X de un espacio normado X y el dual M de un subespacio. Para cada f X , denotemos por R( f ) a la restriccin de f a M . Es evidente que R es un operador lineal continuo de X en M ; de hecho, es claro que R( f ) f para todo f X . El mencionado teorema nos dice que R(X ) = M , pues dado g M nos proporciona un f X que extiende a g, es decir, que verica R( f ) = g. Miramos ahora al ncleo de R, que obviamente est formado por los funcionales lineales continuos en X que se anulan en M ; se le llama anulador de M y se le denota por M : M = f X : f (M ) = {0} .

Es claro que M es un subespacio cerrado de X (por ejemplo, porque M = ker R). Podemos pasar ahora R al cociente por su ncleo, obteniendo otro operador : X /M M que ya es biyectivo. Resaltamos la denicin de : ( f + M ) = R( f ) ( f + M X /M ).

Pues bien, vamos a comprobar que es isomtrico, lo que nos permitir identicar totalmente M con X /M . En efecto, dados f X y h M tenemos claramente: ( f + M ) = R( f + h) 49 f +h ,

6. Dualidad en Espacios Normados

50

y recordando la denicin de la norma cociente, ( f + M ) f + M . Para obtener la desigualdad contraria usamos una extensin equinrmica. Ms concretamente, el funcional R( f ) M se extiende a todo el espacio X conservando la norma, es decir, existe f X (no tiene por qu ser f = f ) tal que R( f) = R( f ) y f = R( f ) . Es claro que f f + M y concluimos: f + M f = R( f ) = ( f + M ) f + M . () As pues, es isomtrico y podemos enunciar: Corolario (Dual de un subespacio). Sea X un espacio normado, M un subespacio de X y su anulador. Para cada f X , denotemos por R( f ) a la restriccin de f a M. Entonces M es un subespacio cerrado de X y deniendo: M ( f + M ) = R( f ) ( f + M X /M )

se obtiene un isomorsmo isomtrico de X /M sobre M . En resumen: M X /M .

6.2.

Mejor aproximacin en un espacio dual

La demostracin del corolario anterior contiene una informacin que conviene resaltar, ya que tiene gran utilidad en la Teora de Aproximacin. Observemos que la desigualdad que aparece en () acab siendo una igualdad. Ms concretamente, dado f X , hemos encontrado f f + M tal que f = f + M , es decir, el nmo que dene la norma cociente es un mnimo. Si ahora ponemos h = f f M , es claro que d ( f , h) = f h = f = f + M = d ( f , M ), es decir, la distancia de f a M se materializa en el punto h, o bien h es un punto de M que est a la mnima distancia de f ; se dice que h es una mejor aproximacin de f en M . Expliquemos brevemente el lenguaje que se utiliza en Teora de Aproximacin. Sea Y un espacio mtrico, con distancia d , y sea Z un subconjunto no vaco de Y . Para cada y Y , se llama conjunto de mejores aproximaciones de y en Z al conjunto PZ (y) (posiblemente vaco) dado por: PZ (y) = {z Z : d (y, z) = d (y, Z )}, es decir, el conjunto de los puntos de Z cuya distancia a y es la mnima posible. Cuando / para todo y Y , se dice que Z es un subconjunto proximinal en Y . Obsrvese que, PZ (y) = 0 para que esto pueda ocurrir, Z ha de ser cerrado en Y . Pues bien, gracias al Teorema de Hahn-Banach hemos probado que, para todo subespacio M de un espacio normado X , M es un subespacio proximinal de X . De hecho, para cada f X , las mejores aproximaciones de f en M que hemos encontrado son los funcionales de la forma h = f f donde f es una extensin equinrmica (se suele decir una extensin Hahn-Banach) de la restriccin de f a M . Recprocamente, si h PM ( f ), tendremos f h = d ( f , M ) = R( f ) luego f = f h es una extensin Hahn-Banach de R( f ) que evidentemente verica h = f f .

6. Dualidad en Espacios Normados

51

Podemos decir que hacer extensiones Hahn-Banach de funcionales lineales continuos en M es lo mismo que obtener mejores aproximaciones en M de funcionales lineales continuos en X . Tendremos nica mejor aproximacin cuando tengamos nica extensin Hahn-Banach y conviene recordar que la unicidad de dicha extensin se puede discutir explcitamente, mirando la primera etapa en la demostracin de la versin analtica del Teorema de Hahn-Banach. Comentemos nalmente que el resultado obtenido parece aplicarse slo a una situacin muy especial, el anulador de un subespacio de un espacio normado como subconjunto del espacio dual, pero conviene recordar que muchos de los espacios de Banach que venimos manejando son espacios duales.

6.3.

Caracterizacin dual del cierre de un subespacio

Vamos a profundizar an ms en la relacin entre un subespacio M de un espacio normado X y su anulador M . Es claro que todo funcional lineal continuo en X que se anule en M tambin se anula en el cierre de M , es decir, M = M , luego M no puede quedar determinado por M , salvo que sea cerrado. La siguiente consecuencia del Teorema de Hahn-Banach nos har ver que M siempre determina a M . Por tanto, cuando M sea cerrado en X , el propio M quedar determinado por M . Corolario. Sea X un espacio normado, M un subespacio de X y x0 X tal que x0 / M, es decir, d (x0 , M ) > 0. Entonces existe f M tal que f = 1 y f (x0 ) = d (x, M ). Como consecuencia se tiene: M= ker f .
f M

En efecto, poniendo (x) = d (x, M ) para todo x X , tenemos una seminorma en X , y deniendo g( x0 ) = (x0 ) obtenemos un funcional lineal en K x0 que claramente verica |g| . El Teorema de Hahn-Banach nos da un funcional lineal f en X que extiende a g y verica tambin | f | . Comprobamos enseguida que f es el funcional que buscamos. En efecto, por ser | f (x)| (x) = d (x, M ) x (x X ), tenemos que f es continuo, con f 1, y f se anula en M , es decir f M ; como f extiende a g, tambin tenemos f (x0 ) = d (x0 , M ) . Finalmente, para cualquier m M , podemos escribir d (x0 , M ) = f (x0 ) = f (x0 m) f x0 m ,

con lo que la arbitrariedad de m nos permite concluir que f = 1. La igualdad nal del enunciado es inmediata, ya que M ker f para todo f M y recprocamente, para x0 / M hemos / ker f . Conviene resaltar una consecuencia que se usa a menudo: encontrado f M tal que x0 M es denso en X si, y slo si, M = {0}. Por lo dems, queda claro que, si M es cerrado, entonces M est determinado por M , ya que para un vector x X se tendr que x M si, y slo si, f (x) = 0 para todo f M .

6. Dualidad en Espacios Normados

52

6.4.

Dual de un cociente

Vemos ahora una descripcin del dual de un cociente que es la contrapartida a la del dual de un subespacio, hecha anteriormente. Esta descripcin no utiliza el Teorema de Hahn-Banach y se poda haber hecho bastante antes: Sea M un subespacio, ahora necesariamente cerrado, de un espacio normado X , consideremos el espacio normado cociente X /M y la aplicacin cociente . Para cada g (X /M ) podemos denir (g) = g ; es evidente que (g) X y de hecho que (g) M . Usando que la bola abierta unidad de X /M es la imagen por de la bola abierta unidad de X , comprobamos fcilmente que (g) = g . Finalmente, dado h M , escribiendo g(x + M ) = h(x), es inmediato comprobar que g est bien denido, es un funcional lineal continuo en X /M y, claramente, (g) = h. As que hemos probado lo siguiente: Proposicin (Dual de un cociente). Sea M un subespacio cerrado de un espacio normado X, consideremos el espacio normado cociente X /M y la aplicacin cociente : X X /M. Deniendo: (g) = g g (X /M ) se obtiene un isomorsmo isomtrico de (X /M ) sobre M , simblicamente: (X /M ) M .

6.5.

Inyeccin cannica en el bidual

La abundancia de funcionales lineales continuos en un espacio normado se pone muy claramente de maniesto en el siguiente enunciado: Corolario. Si X es un espacio normado y x0 X \ {0}, existe f X tal que f = 1 y f (x0 ) = x0 . En realidad esto es caso particular de un corolario anterior, pero el razonamiento es tan sencillo que merece repetirse: deniendo g( x0 ) = x0 tenemos claramente que g (K x0 ) y g = 1, con lo que basta tomar como f cualquier extensin Hahn-Banach de g. El corolario anterior nos informa de que el espacio de Banach X determina la norma de X . Ms concretamente, nos dice que: x = m ax{| f (x)| : f X , f 1} (x X ) ()

Esta igualdad est en clara dualidad con la denicin de la norma dual: f = sup{| f (x)| : x X , x 1} ( f X ).

Para resaltar la simetra de la situacin, vamos a cambiar a partir de ahora la notacin y en lugar de f empezaremos a usar x para denotar a los elementos de X , vindolos ms como vectores de X que como funcionales en X . As las cosas, en la expresin x (x) tanto da pensar que x es jo y x variable, como al revs. Ms concretamente, jado x X , podemos considerar la aplicacin x x (x), que evidentemente es un funcional lineal en X al que podemos llamar funcional de evaluacin en x. La desigualdad |x (x)| x x nos dice que

6. Dualidad en Espacios Normados

53

dicho funcional es continuo, es decir, es un elemento del bidual X de X , un espacio de Banach que hasta ahora no habamos considerado, pero que no necesita denicin, es simplemente el espacio dual de X . As pues, cada elemento x de un espacio normado X , da lugar a un elemento de X , el funcional de evaluacin en x, al que vamos a denotar por J (x); la denicin formal es [J (x)](x ) = x (x) (x X ).

Tenemos ahora una aplicacin J : X X , que evidentemente es lineal. La igualdad nos dice que J es isomtrica: J (x) = sup{|[J (x)](x )| : x 1} = sup{|x (x)| : x 1} = x .

Se dice que J es la inyeccin cannica del espacio normado X en su bidual y hemos visto que J identica totalmente a X con un subespacio de X , simblicamente: X J (X ). Es lgico preguntarse si ese subespacio es el total, con lo que tendramos total simetra entre X y X . Enseguida nos damos cuenta de que, en general, J (X ) puede no coincidir con X , simplemente porque X siempre es un espacio de Banach mientras que X (equivalentemente J (X )) puede no ser completo. Esta sencilla observacin tiene su utilidad, ya que nos permite conseguir de forma muy elegante la completacin de X , con slo tomar el cierre de J (X ) en X . Es evidente que J (X ) es un espacio de Banach que contiene un subespacio denso, J (X ), que es isomtricamente isomorfo a X , luego J (X ) es la completacin de X . En resumen, la dualidad nos da una forma muy cmoda y elegante de construir la completacin de un espacio normado, sin usar la completacin del espacio mtrico, extender las operaciones y la norma, etc. Hecha la observacin anterior, para un espacio de Banach X nos volvemos a preguntar si J es sobreyectiva y veremos enseguida que la respuesta puede ser armativa o negativa, dependiendo de X . Se dice que un espacio de Banach X es reexivo cuando la inyeccin cannica de X en X es sobreyectiva, es decir, cuando J (X ) = X . En tal caso, naturalmente, J es un isomorsmo isomtrico de X sobre X , podemos escribir X X y tenemos total simetra entre X y X ya que el espacio dual de X vuelve a ser X . Resolviendo un problema que haba estado abierto bastante tiempo, R.C. James dio en 1951 un ejemplo de un espacio de Banach X (conocido hoy da como el espacio de James) tal que existe un isomorsmo isomtrico de X sobre X , pero X no es reexivo, de hecho el cociente X /J (X ) tiene dimensin 1. As pues, conviene ser muy cuidadosos y resaltar que, cuando decimos que un espacio de Banach X es reexivo, no slo estamos armando que X es isomtricamente isomorfo a X , sino que ese isomorsmo isomtrico es precisamente la inyeccin cannica J , es decir, J es sobreyectiva: todo funcional lineal continuo en X es el funcional de evaluacin en un punto de X . Los ejemplos ms sencillos de espacios de Banach reexivos son los de dimensin nita: es claro que si X tiene dimensin nita N , entonces tambin X , y por tanto X , tiene dimensin N , luego la aplicacin J , que es inyectiva, tiene que ser sobreyectiva. As pues, todo espacio de Banach de dimensin nita es reexivo, aunque es obvio que la nocin de reexividad no se invent para trabajar con espacios de dimensin nita. Enseguida aparecern ms ejemplos.

6. Dualidad en Espacios Normados

54

6.6.

Transposicin de operadores

Los espacios l p , con 1 < p < , son claros candidatos a espacios de Banach reexivos. En efecto, sabemos que l p se identica con l p , luego l p deber identicarse con (l p ) , que a su vez, por ser ( p ) = p, se identica con l p . Luego tendremos un isomorsmo isomtrico de l p sobre su bidual: l p l p . Sin embargo, como se ha comentado, esto an no demuestra que l p es reexivo, debemos construir explcitamente el isomorsmo isomtrico de l p sobre su bidual que hemos sugerido y comprobar (como de hecho ocurre) que se trata de la inyeccin cannica. Para ello, a poco que se piense, falta saber cmo podemos denir explcitamente un isomorsmo isomtrico entre dos espacios duales X e Y a partir de un isomorsmo isomtrico entre los espacios X e Y . Eso se consigue mediante la transposicin de operadores, un procedimiento que, en un contexto mucho ms general, vamos a explicar ahora. Sean X e Y dos espacios normados y T un operador lineal continuo de X en Y , es decir, T L(X , Y ). Podemos componer T con cualquier funcional y Y , y es obvio que y T X . Obtenemos as una aplicacin y y T , de Y en X , que vamos a denotar por T . Obsrvese que la denicin de T se resume de la siguiente forma: [T y ](x) = y (T x) (x X , y Y ). () Es evidente que T es un operador lineal y comprobamos enseguida que es continuo. Para y Y jo, tenemos: |[T y ](x)| = |y (T x)| y Tx y T x (x X ), luego T y T y para todo y Y , y tenemos T L(Y , X ), junto con la estimacin T T . Usando el Teorema de Hahn-Banach, ms concretamente el corolario visto en el apartado anterior, comprobamos que dicha estimacin es ptima: T = sup{ T y : y 1} = sup |y (T x)| : x = sup{ T x : x 1} = T . 1, y 1

En resumen, para cada T L(X , Y ), la igualdad () dene un operador T L(Y , X ) tal que T = T . Se dice que T es el operador transpuesto de T . Operador adjunto y operador dual son otras denominaciones que tambin se utilizan. Algunas propiedades del operador T se caracterizan fcilmente en trminos de T . Por ejemplo, es fcil comprobar que ker T = T (X ) , as que T es inyectivo si, y slo si, T (X ) es denso en Y . Otras propiedades que nos interesan se obtienen fcilmente considerando la composicin de operadores. Sean pues X , Y , Z , espacios normados, T L(X , Y ) y S L(Y , Z ). Se deduce directamente de la denicin del operador transpuesto que: (S T ) = T S . Supongamos entonces que T es un isomorsmo topolgico de X sobre Y , es decir T es biyectivo y T 1 L(Y , X ). Denotando por IdE al operador identidad en cualquier espacio normado E , tenemos claramente, IdX = (IdX ) = (T 1 T ) = T (T 1 )

6. Dualidad en Espacios Normados

55

y de manera anloga, IdY = (T 1 ) T , con lo que hemos probado que T es biyectivo y (T )1 = (T 1 ) es continuo, luego T es un isomorsmo topolgico de Y sobre X . Si T es de hecho un isomorsmo isomtrico, de la igualdad T = T 1 = 1 deducimos que T = (T )1 = 1, es decir, T tambin es un isomorsmo isomtrico. Ahora podemos justicar rigurosamente la reexividad de los espacios l p con 1 < p < . Conocemos explcitamente un isomorsmo isomtrico S : l p l p ; concretamente S viene dado por [Sy](x) =
n=1

x(n) y(n)

(x l p , y l p ).

Por tanto S : l p (l p ) es igualmente un isomorsmo isomtrico. Pero tambin tenemos un isomorsmo isomtrico T : l p (l p ) , cuya denicin es formalmente la misma que la de S, slo que intercambiando p con p :

[T x](y) =

n=1

x(n) y(n)

(y l p , x l p ).

Entonces, la composicin (S )1 T es un isomorsmo isomtrico de l p sobre l p . Debemos 1 comprobar que (S ) T es precisamente la inyeccin cannica J de l p en su bidual; equivalentemente, es ms directo comprobar que S J = T . Pero esto es casi evidente, ya que, para cualesquiera x l p e y l p tenemos: [(S J )(x)](y) = [J (x)](Sy) = [Sy](x) = [T x](y). As pues, hemos probado que J es sobreyectiva, es decir, que para 1 < p < , l p es un espacio de Banach reexivo. Un razonamiento totalmente anlogo al anterior permite probar que, para cualquier subconjunto medible de RN con medida de Lebesgue positiva, el espacio de Banach L p (), con 1 < p < , es reexivo, o incluso con el mismo esfuerzo, que para cualquier medida , el espacio de Banach L p (), siempre con 1 < p < , es reexivo. Pero volviendo a los espacios de sucesiones y razonando de forma similar a como lo hemos hecho con los espacios l p , comprobamos sin dicultad que el espacio de Banach c0 no es reexivo. En efecto, empezamos con un isomorsmo isomtrico S : l1 c 0 , formalmente con la misma denicin que antes: [Sy](x) =

n=1

x(n) y(n)

(x c0 , y l1 ),

luego S es un isomorsmo isomtrico de c 0 sobre l1 . Pero, aqu est la novedad, l1 no se , dado por identica con c0 sino con l : tenemos un isomorsmo isomtrico T : l l1

[T z](y) =

n=1

y(n) z(n)

(y l1 , z l ).

Si llamamos I a la inclusin natural de c0 en l y J a la inyeccin cannica de c0 en su bidual, lo que ahora tenemos, para cualesquiera x c0 , y l1 , es: [(S J )(x)](y) = [Jx](Sy) = [Sy](x) = [T (I (x))](y),

6. Dualidad en Espacios Normados

56

es decir, S J = T I , o equivalentemente, J = (S )1 T I . La interpretacin de esta ltima igualdad es clara, cuando identicamos c 0 con l mediante el isomorsmo isomtrico 1 (S ) T , la inyeccin cannica J se convierte en la inclusin natural I . Naturalmente J no puede ser sobreyectiva, porque I no lo es. As pues, c0 es el primer ejemplo (y el ms sencillo) de espacio de Banach no reexivo.

6.7.

Reexividad de subespacios y cocientes

En lo que sigue consideramos un subespacio cerrado M de un espacio de Banach X y vamos a discutir la relacin entre la reexividad de X , la de M y la del cociente X /M . Denotamos por I : M X la inclusin natural y por : X X /M la aplicacin cociente. Usaremos naturalmente las descripciones de los duales de subespacios y cocientes obtenidas anterior : M X y la aplicacin cociente mente y, como veremos, aparecern la inclusin natural I : M X y a la : X X /M . Al iterar el proceso, llegaremos a la inclusin natural I : X X /M . Puesto que el dual de un subespacio es un cociente aplicacin cociente y viceversa, observaremos que, esencialmente, al transponer inclusiones naturales obtenemos aplicaciones cocientes y viceversa, siendo esta la clave para no perder la intuicin en todos los razonamientos. Desarrollamos con detalle cada uno de los pasos. (i) Duales de M y M . El operador transpuesto I : X M claramente viene dado por = x I , para todo x X , es decir I x no es ms que la restriccin de x a M , que en su momento habamos llamado R(x ). Al pasar R = I al cociente por su ncleo obtenamos un isomorsmo isomtrico : X /M M . Con ms precisin, queda determinado por la igualdad = I. (a) I x Conviene interpretar esta igualdad: cuando identicamos mediante a M con X /M , I se . convierte en la aplicacin cociente El mismo razonamiento usado para M como subespacio de X se aplica a M como subes : X /M (M ) que queda deterpacio de X , obteniendo un isomorsmo isomtrico minado por la igualdad , =I ) (a a (M ) con X /M , I se con la interpretacin anloga: cuando identicamos mediante . convierte en la aplicacin cociente (ii) Duales de X /M y X /M . El operador transpuesto : (X /M ) X , cuya imagen es era precisamente el isomorsmo isomtrico que nos permiti identicar (X /M ) con M . Dicho con ms precisin, tenemos , = I (b) M, igualdad que tiene de nuevo una clara interpretacin: cuando identicamos mediante a . (X /M ) con M , se convierte en la inclusin natural I Aplicando exactamente el mismo razonamiento al cociente X /M , tenemos un isomors : (X /M ) M que verica mo isomtrico , ) = I (b

6. Dualidad en Espacios Normados

57

a (X /M ) con M , se con la misma interpretacin: cuando identicamos mediante . convierte en la inclusin natural I (iii) Bidual de M. Por ser M X /M , tendremos M (X /M ) M . Queremos conocer explcitamente el isomorsmo isomtrico F de M sobre M que as obtenemos. En primer lugar sabemos que es un isomorsmo isomtrico (por serlo ) de M sobre (X /M ) . A continuacin, por lo dicho en (ii), tambin tenemos un isomorsmo de (X /M ) sobre M , luego basta tomar F = . Usando primero la isomtrico y luego (a) obtenemos: igualdad (b) = F = I = I . I Interpretamos de nuevo esta igualdad: cuando identicamos mediante F a M con M , I se convierte en la inclusin natural de M en X . Resaltemos para uso posterior que I es inyectiva y su imagen es M . Obsrvese lo ocurrido en dos transposiciones consecutivas: I era la inclusin natural de M en X , salvo una identicacin (mediante ) I era la aplicacin cociente de X sobre X /M , y tambin salvo una identicacin (mediante F ), I ha vuelto a ser la inclusin natural de M en X . (iv) Bidual de X /M. El razonamiento es idntico al anterior slo que en orden contrario. Por ser (X /M ) M tendremos (X /M ) (M ) X /M y queremos ahora conocer explcitamente el isomorsmo isomtrico G de X /M sobre es un isomorsmo isomtrico de X /M (X /M ) que as obtenemos. Segn vimos en (i), sobre (M ) y, a continuacin, es un isomorsmo isomtrico (por serlo ) de (M ) sobre . Usando la igualdad ( (X /M ) , luego basta tomar G = a) y luego (b) obtenemos: = , = = I G que nuevamente tiene un clara interpretacin: cuando identicamos mediante G a X /M se convierte en . Resaltamos para uso posterior que con (X /M ) , la aplicacin cociente es sobreyectiva y que su ncleo es M . De nuevo observamos lo ocurrido en dos transposiciones consecutivas: partimos de la aplicacin cociente : X X /M , salvo una identicacin (mediante ) era la inclusin natural de M en X , y salvo otra identicacin (mediante G ) ha vuelto a ser la aplicacin cociente de X sobre X /M . (v) Inyecciones cannicas de M y X /M. Como aparecern inyecciones cannicas de varios espacios normados, convendr usar una notacin que las distinga, as que denotaremos por JE a la inyeccin cannica de cualquier espacio normado E en su bidual E . Tratando de relacionar las inyecciones cannicas de M , X y X /M en sus respectivos biduales nos encontramos con el siguiente diagrama: I - - (X /M ) M X
6 6 6

JM M I

JX
-X

JX /M X /M

6. Dualidad en Espacios Normados

58

Vamos a comprobar que los dos cuadrados del diagrama son conmutativos, con el mismo razonamiento para ambos. De hecho probamos algo ms general: si Y , Z son espacios normados cualesquiera, para T L(Y , Z ) tenemos T L(Y , Z ) y es lgico pensar que, viendo a Y , Z como subespacios de Y , Z respectivamente, T debera extender a T , ms rigurosamente, se debera tener T JY = JZ T . Pero esta igualdad se comprueba sin ninguna dicultad, ya que, para cualesquiera y Y , z Z , tenemos [(T JY )(y)](z ) = [JY (y)](T z ) = [T z ](y) = z (Ty) = [(JZ T )(y)](z ), donde slo hemos usado las deniciones de operador transpuesto e inyeccin cannica. Podemos ahora aplicar la observacin anterior con T = I , as como con T = , obteniendo la conmutatividad de los dos cuadrados de nuestro diagrama: I JM = JX I y JX = JX /M .

(vi) X reexivo M reexivo. Para seguir sin dicultad el razonamiento se deber tener presente el cuadrado de la izquierda del diagrama anterior, cuya conmutatividad vamos a usar. Dado m M , consideramos I (m ) X , sin olvidar que, como se dijo en (iii), de hecho I (m ) M . Por ser X reexivo, existir un x X tal que JX (x) = I (m ). El hecho de que JX (x) M se traduce en que x M , ya que, para cualquier x M tenemos x (x) = [JX (x)](x ) = 0 y aplicamos la caracterizacin dual de los subespacios cerrados. Con ms precisin, tenemos x = I (m) con m M y, por tanto, I (m ) = JX (I (m)). La conmutatividad del diagrama nos da I (m ) = I (JM (m)) y recordando que I era inyectiva (como tambin se dijo en (iii)), deducimos que m = JM (m), lo que demuestra que M es reexivo. (vii) X reexivo X /M reexivo. Deberemos ahora prestar atencin al cuadrado de la derecha de nuestro diagrama. El razonamiento es an ms sencillo que en el caso anterior: Dado w (X /M ) (no importa que la notacin sea poco sugerente), recordando que, como se dijo en (iv), era sobreyectiva, tenemos un x X tal que w = (x ). Por ser X reexivo se tendr x = JX (x) con x X . La conmutatividad del diagrama nos da: (JX /M ((x)) = (JX (x)) = (x ) = w, lo que demuestra que X /M es reexivo. (viii) Si M y X /M son reexivos, entonces X es reexivo. Ahora es cuando vamos a necesitar el diagrama completo y la conmutatividad de los dos cuadrados que lo forman. Empezamos con un x X arbitrario y hacemos lo nico que el diagrama nos sugiere: (x ) (X /M ) . Podemos ahora aplicar la reexividad de X /M para obtener una clase de equivalencia u X /M tal que JX /M (u) = (x ). Elegimos un representante x X en la clase de equivalencia u, es decir, u = (x). Podramos pensar que ya est hecho el trabajo, es decir, que JX (x) podra coincidir con x , pero esto es una gran ingenuidad: JX es inyectiva, as que

6. Dualidad en Espacios Normados

59

mucha suerte habramos tenido al elegir x en la clase de equivalencia u; adems, no habramos usado la reexividad de M . No, lo que tenemos, usando la conmutatividad de la parte derecha del diagrama, es: (JX (x)) = JX /M ((x)) = JX /M (u) = (x ), y no es inyectiva, pero conocemos su ncleo, pues vimos en (iv) que ker = M . As pues, sabemos que x JX (x) M y esto nos permite poner en juego la parte izquierda del diagrama, ya que M tambin es la imagen de I como se vio en (iii). Por tanto, existe m M tal que I (m ) = x JX (x). Ahora entra en juego la reexividad de M : existe m M tal que m = JM (m) y la conmutatividad de la parte izquierda del diagrama nos da: JX (I (m)) = I (JM (m)) = I (m ) = x JX (x). Deducimos que x = JX (x + I (m)) y ahora s hemos probado que X es reexivo. Resaltamos en un slo enunciado lo demostrado en los tres ltimos apartados: Proposicin (Reexividad de subespacios y cocientes). Sea X un espacio de Banach y M un subespacio cerrado de X. Las siguientes armaciones son equivalentes: (i) X es reexivo (ii) M y X /M son reexivos. Se resume el resultado anterior diciendo que la reexividad es una propiedad 3-espacios. Ms concretamente, consideremos una propiedad P que un espacio normado puede tener o no; en rigor P no es ms que una clase de espacios normados y decir que un espacio normado X verica la propiedad P es tanto como escribir X P. Pues bien, se dice que P es una propiedad 3-espacios cuando, dados un espacio normado X y un subespacio cerrado M , se verica que X tiene la propiedad P si, y slo si, M y X /M tienen la propiedad P. Aunque no se ha comentado anteriormente, es fcil comprobar que tambin la complitud es una propiedad 3-espacios. La Proposicin anterior, nos da nuevos ejemplos de espacios de Banach reexivos: todos los subespacios y todos los cocientes de l p (o de L p (), o de L p ()) con 1 < p < . Tambin nos da nuevos ejemplos de espacios de Banach no reexivos: el espacio c de las sucesiones convergentes y el espacio l de las sucesiones acotadas son espacios de Banach no reexivos, puesto que c0 no es reexivo y es un subespacio cerrado de ambos.

6.8.

Reexividad del dual

Vamos a estudiar ahora la relacin entre la reexividad de un espacio de Banach X y la del dual X , obteniendo que son equivalentes. Usamos un razonamiento debido a J. Dixmier, que tiene inters independiente, pues nos da una descomposicin cannica del tercer dual de un espacio normado como suma topolgico-directa de dos subespacios. Sea pues X un espacio normado, consideremos la inyeccin cannica JX : X X y el : X X , dado por: operador transpuesto JX
(x )](x) = x (JX (x)) [JX

(x X , x X ).

6. Dualidad en Espacios Normados

60

(x ) no es Cada x X es un funcional lineal continuo en X e intuitivamente, JX ms que la restriccin de x a X cuando vemos X como subespacio de X . Por otra parte tenemos JX , la inyeccin cannica de X en su bidual, que lo que hace, tambin intuitivamente, es extender funcionales denidos en X a todo el espacio X . No debe extraarnos que al restringir un funcional que previamente hemos extendido obtengamos el funcional de partida, J = Id , como efectivamente sucede, ya que para cualesquiera x X y es decir, que JX X X x X se tiene: [(JX JX )(x )](x) = [JX (x )](JX (x)) = [JX (x)](x ) = x (x).

Es un hecho general que cuando tenemos dos espacios vectoriales Y , Z , y dos operadores lineales T : Y Z y S : Z Y , tales que la composicin en un orden nos da la identidad en el espacio que corresponde, digamos S T = IdY , entonces la composicin en orden inverso nos da una proyeccin lineal en el otro espacio, ya que poniendo P = T S tenemos claramente: P P = T IdY S = T S = P. Adems, se tiene P(Y ) = T (Y ) , donde una inclusin es evidente y la otra se debe a que P(Ty) = Ty para todo y Y . Finalmente, para z Z tenemos P(z) = 0 si, y slo si, Sz = 0, ya que claramente T es inyectivo, as que ker P = ker S.
, obtenemos una proyeccin lineal P en X En nuestro caso, deniendo, PX = JX JX X que se conoce como la proyeccin de Dixmier determinada por el espacio normado X . Segn = J (X ) , el anulador lo dicho anteriormente, la imagen de PX es JX (X ) y su ncleo es ker JX X de X cuando le vemos como subespacio de X . Tenemos pues la siguiente descomposicin de X en suma directa: () X = JX (X ) JX (X ) ,

vlida para cualquier espacio normado X . Adems, es claro que la proyeccin de Dixmier es continua, luego la suma directa anterior es una suma topolgico-directa y en particular, JX = J JX JX est complementado en X . De hecho tenemos: PX JX = 1 y es X claro que cualquier proyeccin lineal continua no nula verica la desigualdad contraria, luego PX = 1 salvo en el caso trivial X = {0} que slo se presenta si X = {0}. Podemos ya enunciar: Proposicin (Reexividad del dual). Un espacio de Banach X es reexivo si, y slo si, X es reexivo. En efecto, si X es reexivo, tenemos JX (X ) = X , luego JX (X ) = {0} y deducimos de () que JX (X ) = X , es decir, X es reexivo. Recprocamente, si X es reexivo, () nos dice que JX (X ) = {0} y deducimos que JX (X ) es denso en X , pero tambin es cerrado por ser X un espacio de Banach, luego JX (X ) = X y X es reexivo. Aplicando la proposicin anterior obtenemos que l1 no es reexivo, puesto que l1 c 0 y l sabemos que c0 no es reexivo. La misma conclusin habramos obtenido usando que l1 no es reexivo. Pensemos un momento cmo son los sucesivos duales de un espacio de Banach X . Denotando por X (n) al n-simo dual de X , es claro que cuando X es reexivo esta sucesin slo tiene dos trminos signicativos, ya que X (n) X o X (n) X , segn sea n par o impar. Por el contrario, cuando X no es reexivo tenemos dos sucesiones estrictamente crecientes de espacios de Banach, pues identicando cada espacio con la imagen de su inyeccin cannica tenemos X X (2) X (4) . . . y tambin X X (3) X (5) . . . , siendo todas las inclusiones estrictas.

6. Dualidad en Espacios Normados

61

Aunque nos ha servido para claricar la relacin entre la reexividad de un espacio de Banach y la de su dual, est claro que cuando X es un espacio de Banach reexivo la proyeccin de Dixmier no tiene ningn inters, no es ms que la identidad en X X . Sin embargo, para espacios no reexivos s nos da una descomposicin til del tercer dual. Para hacer ms intuitiva esta descomposicin es conveniente identicar tanto X como X con las imgenes de sus inyecciones cannicas con lo que la expresin () toma la forma X = X X . Por ejemplo, tomemos X = c0 y recordemos que, cuando identicamos c 0 con l , la inyeccin cannica Jc0 se convierte en la inclusin natural de c0 en l , as que identicar c0 con Jc0 (c0 ) consiste simplemente en ver c0 como subespacio de l . Si tambin identicamos c con l 0 y l1 con Jl1 (l1 ), la descomposicin en suma directa dada por la proyeccin de Dixmier toma la forma l = l1 (c0 ) una descomposicin que permite entender mejor el espacio dual de l . Concluimos este tema con una ltima aplicacin del Teorema de Hahn-Banach que pone de maniesto cun grande es el espacio de Banach l : Proposicin (Universalidad de l ). Todo espacio normado separable es isomtricamente isomorfo a un subespacio de l . En efecto, sea X = {0} un espacio normado separable y {xn : n N} un conjunto numerable denso en X . Para cada n N, usemos el Teorema de Hahn-Banach, como ya hemos hecho otras X tal que x = 1 y x (x ) = x . Denimos entonces veces, para encontrar un xn n n n n
[T x](n) = xn (x)

(n N, x X ).

En primer lugar, es obvio que, para cada x X , T x l , de hecho T x x . Por tanto, T es un operador lineal continuo de X en l con T 1. Para ver que de hecho T es isomtrico, observamos que T xn = xn para todo n N, luego las funciones x T x y x x coinciden en un conjunto denso en X . Puesto que ambas funciones son continuas, deducimos que coinciden en todo X , como queramos.