Espacios reflexivos

La reflexividad algebraica de espacios vectoriales se discutió en la Sección 2.8. La reflexividad de espacios

normados será el tema de la presente sección. Pero primero recordemos lo que hicimos en la Sección 2.8. Recordamos
que un espacio vectorial X se dice algebraicamente reflexivo si la aplicación canónica C : X −→ X ∗∗ es sobreyectiva.
Aquí X ∗∗ = (X ∗ )∗ es el segundo espacio dual algebraico de X y la aplicación C está definida por x 7−→ gx donde

gx (f ) = f (x) (f ∈ X ∗ variable); (1)

es decir, para cualquier x ∈ X la imagen es el funcional lineal gx definido por (1). Si X es de dimensión finita,
entonces X es algebraicamente reflexivo. Esto se mostró en el Teorema 2.9-3.
Pasemos ahora a nuestra tarea actual. Consideramos un espacio normado X, su espacio dual X ′ como se definió
en 2.10-3 y, además, el espacio dual (X ′ )′ de X ′ . Este espacio se denota por X ′′ y se llama segundo espacio dual
de X (o bidual de X).
Definimos un funcional gx en X ′ eligiendo un x ∈ X fijo y estableciendo

gx (f ) = f (x) (f ∈ X ′ variable). (2)

Esto se parece a (1), pero nótese que ahora f es acotado. Y gx resulta ser acotado también, ya que tenemos el
básico
4.6-1 Lema (Norma de g.).: Para cada x fijo en un espacio normado X, el funcional gx definido por (2) es
un funcional lineal acotado en X ′ , de modo que gx ∈ X ′ , y tiene la norma

∥gx ∥ = ∥x∥. (3)

Demostración. La linealidad de gx es conocida de la Sec. 2.8, y (3) sigue de (2) y el Corolario 4.3-4:

∥gx (f )∥ |f (x)|
∥gx ∥ = sup = sup = ∥x∥. (4)
f ̸=ϕ ∥f ∥ f ∈X ′ ∥f ∥
f ̸=ϕ

A cada x ∈ X le corresponde un único funcional lineal acotado gx ∈ X ′′ dado por (2). Esto define una aplicación

C : X −→ X ′′
(5)
x 7−→ gx .
C se llama la aplicación canónica de X en X ′′ . Mostramos que C es lineal e inyectiva y preserva la norma.
Esto puede expresarse en términos de un isomorfismo de espacios normados como se definió en la Sec. 2.10.
4.6-2 Lema (Aplicación canónica).: La aplicación canónica C dada por (5) es un isomorfismo del espacio
normado X sobre el espacio normado B(C), el rango de C.
Demostración. La linealidad de C se ve como en la Sec. 2.8 porque

gαx+βy (f ) = f (αx + βy) = αf (x) + βf (y) = αgx (f ) + βgy (f ).

En particular, gx − gy = gx−y . Por tanto, por (3) obtenemos

∥gx − gy ∥ = ∥gx−y ∥ = ∥x − y∥.

Esto muestra que C es isométrica; preserva la norma. La isometría implica inyectividad. También podemos ver
esto directamente de nuestra fórmula. De hecho, si x ̸= y, entonces gx ̸= gy por el axioma (N2) en la Sec. 2.2. Por
tanto, C es biyectiva, considerada como una aplicación sobre su rango.
Se dice que X es sumergible en un espacio normado Z si X es isomorfo a un subespacio de Z. Esto es similar
a la Sec. 2.8, pero nótese que aquí estamos tratando con isomorfismos de espacios normados, es decir, isomorfismos
de espacios vectoriales que preservan la norma (cf. Sec. 2.10). El Lema 4.6-2 muestra que X es sumergible en X ′′ ,
y C también se llama la inmersión canónica de X en X ′′ .
En general, C no será sobreyectiva, de modo que el rango R(C) será un subespacio propio de X ′′ . El caso
sobreyectivo cuando R(C) es todo X ′′ es lo suficientemente importante como para darle un nombre:
4.6-3 Definición (Reflexividad).: Se dice que un espacio normado X es reflexivo si

R(C) = X ′′ (6)
′′
donde C : X −→ X es la aplicación canónica dada por (5) y (2).

1
 Este concepto fue introducido por H. Hahn (1927) y llamado “reflexividad” por E. R. Lorch (1939). Hahn
reconoció la importancia de la reflexividad en su estudio de ecuaciones lineales en espacios normados que fue
motivado por ecuaciones integrales y también contiene el teorema de Hahn-Banach así como la investigación más
temprana de espacios duales.
Si X es reflexivo, es isomorfo (por tanto isométrico) con X ′′ , por el Lema 4.6-2. Es interesante que lo contrario
generalmente no se cumple, como R. C. James (1950, 1951) ha mostrado.
Además, la completitud no implica reflexividad, pero recípro-camente tenemos
4.6-4 Teorema (Completitud).: Si un espacio normado X es reflexivo, es completo (por tanto un espacio de
Banach).
Demostración. Dado que X ′′ es el espacio dual de X ′ , es completo por el Teorema 2.10-4. La reflexividad de X
significa que R(C) = X ′′ . La completitud de X se sigue ahora de la de X ′′ por el Lema 4.6-2.
Rn es reflexivo. Esto se sigue directamente de 2.10-5. Es típico de cualquier espacio normado de dimensión finita
X. De hecho, si dim X < ∞, entonces todo funcional lineal sobre X es acotado (cf. 2.7-8), de modo que X ′ = X ∗ y
la reflexividad algebraica de X (cf. 2.9-3) por tanto implica
4.6-5 Teorema (Dimensión finita).: Todo espacio normado de dimensión finita es reflexivo.
lp con 1 < p < +∞ es reflexivo. Esto se sigue de 2.10-7. Similarmente, Lp [a, b] con 1 < p < +∞ es reflexivo,
como puede mostrarse. También puede probarse que espacios no reflexivos son C[a, b] (cf. 2.2-5), l1 (prueba abajo),
L1 [a, b], l∞ (cf. 2.2-4) y los subespacios c y c0 de l∞ , donde c es el espacio de todas las sucesiones convergentes de
escalares y c0 es el espacio de todas las sucesiones de escalares que convergen a cero.

4.6-6 Teorema (Espacio de Hilbert).

Todo espacio de Hilbert H es reflexivo.
Demostración. Probaremos la sobreyectividad de la aplicación canónica C : H −→ H ′′ mostrando que para todo
g ∈ H ′′ existe un x ∈ H tal que g = Cx. Como preparación definimos A : H ′ −→ H por Af = z, donde z está
dado por la representación de Riesz f (x) = ⟨x, z⟩ en 3.8-1. De 3.8-1 sabemos que A es biyectiva e isométrica. A
es conjugada lineal, como vemos de ([6], Sec. 4.5). Ahora H ′ es completo por 2.10-4 y un espacio de Hilbert con
producto interno definido por

⟨f1 , f2 ⟩1 = ⟨Af2 , Af1 ⟩.

Nótese el orden de f1 , f2 en ambos lados. ([P1]) a ([P4]) en Sec. 3.1 se verifica fácilmente. En particular, ([P2])
se sigue de la conjugada linealidad de A:

⟨αf1 , f2 ⟩1 = ⟨Af2 , A(αf1 )⟩ = ⟨Af2 , ᾱAf1 ⟩ = ᾱ⟨f1 , f2 ⟩1 .

Sea g ∈ H ′′ arbitrario. Sea su representación de Riesz

g(f ) = ⟨f, f0 ⟩1 = ⟨Af0 , Af ⟩.

Ahora recordamos que f (x) = ⟨x, z⟩ donde z = Af . Escribiendo Af0 = x, así tenemos

⟨Af0 , Af ⟩ = ⟨x, z⟩ = f (x).

Juntos, g(f ) = f (x), es decir, g = Cx por la definición de C. Como g ∈ H ′′ era arbitrario, C es sobreyectiva, de
modo que H es reflexivo.
A veces la separabilidad y no separabilidad (cf. 1.3-5) pueden jugar un rol en pruebas de que ciertos espacios
no son reflexivos. Esta conexión entre reflexividad y separabilidad es interesante y bastante simple. La clave es el
Teorema 4.6-8 (abajo), que establece que la separabilidad de X´ implica separabilidad de X (lo contrario no siendo
generalmente cierto). Por tanto, si un espacio normado X es reflexivo, X ′′ es isomorfo con X por 4.6-2, de modo
que en este caso, separabilidad de X implica separabilidad de X ′′ y, por 4.6-8, el espacio X ′ es también separable.
De esto tenemos el siguiente resultado.
Un espacio normado separable X con un espacio dual X ′ no separable no puede ser reflexivo.
Ejemplo. l1 no es reflexivo.
Demostración. l1 es separable por 1.3-10, pero l∞ = (l1 )′ no lo es; cf. 2.10-6 y 1.3-9.
El deseado Teorema 4.6-8 se obtendrá del siguiente lema. Una ilustración simple del lema se muestra en la Fig.
43.
4.6-7 Lema (Existencia de un funcional). Sea Y un subespacio propio cerrado de un espacio normado X.
Sea x0 ∈ X − Y arbitrario y

2
 δ = ı́nf ∥y − x0 ∥ (7)
y∈Y

la distancia de x0 a Y . Entonces existe un f¯ ∈ X ′ tal que

∥f¯∥ = 1, f¯(y) = 0 para todo y ∈ Y, f¯(x0 ) = δ. (8)

Demostración. La idea de la prueba es simple. Consideramos el subespacio Z ⊂ X generado por Y y x0 , definimos
en Z un funcional lineal acotado f por

f (z) = f (y + αx0 ) = αδ (y ∈ Y ), (9)

mostramos que f satisface (7) y extendemos f a X por 4.3-2. Los detalles son como sigue.
Todo z ∈ Z = span (Y ∪ {x0 }) tiene una representación única

z = y + αx0 (y ∈ Y ).
Esto se usa en (8). La linealidad de f se ve fácilmente. También, dado que Y es cerrado, δ > 0, de modo que
f ̸= 0. Ahora α = 0 da f (y) = 0 para todo y ∈ Y . Para α = 1 y y = 0 tenemos f (x0 ) = δ.
Mostramos que f es acotado. α = 0 da f (z) = 0. Sea α ̸= 0. Usando (6) y notando que −(1/α)y ∈ Y , obtenemos

1
|f (z)| = |α| δ = |α| ı́nf ∥y − x0 ∥ ≤ |α| − y − x0 = ∥y + αx0 ∥,
y∈Y α
es decir, |f (z)| ≤ ∥z∥. Por tanto f es acotado y ∥f ∥ ≤ 1.
Mostramos que ∥f ∥ ≥ 1. Por la definición de ínfimo, Y contiene una sucesión (yn ) tal que ∥yn − x0 ∥ −→ δ. Sea
zn = yn − x0 . Entonces tenemos f (zn ) = −δ por (8) con α = −1. También

|f (z)| |f (zn )| δ δ
∥f ∥ = sup ≥ = −→ = 1
z∈Z ∥z∥ ∥zn ∥ ∥zn ∥ δ
z̸=0

cuando n −→ ∞. Por tanto ∥f ∥ ≥ 1, de modo que ∥f ∥ = 1. Por el teorema de Hahn-Banach 4.3-2 para espacios
normados podemos extender f a X sin aumentar la norma.

Figura 1: Ilustración del Lema 4.6-7

√ para el espacio euclidiano X = R , donde Y está representado√por ξ2 = ξ3 = 0
3

y x0 = (1, 3, 0), de modo que δ = 5, Z = span(Y ∪ {x0 }) es el plano ξ1 ξ2 y f (z) = (−ξ1 + 2ξ2 )/ 5.

Usando este lema, obtendremos ahora el deseado

3
4.6-8 Teorema (Separabilidad)
Si el espacio dual X ′ de un espacio normado X es separable, entonces X mismo es separable.
Demostración. Asumimos que X ′ es separable. Entonces la esfera unitaria U ′ = {f | ∥f ∥ = 1} ⊂ X ′ también
contiene un subconjunto denso numerable, digamos, (fn ). Como fn ∈ U ′ , tenemos

∥fn ∥ = sup |fn (x)| = 1.

∥x∥=1

Por la definición de supremo podemos encontrar puntos xn ∈ X de norma 1 tales que

1
|fn (xn )| ≥ .
2
Sea Y la clausura de span (xn ). Entonces Y es separable porque Y tiene un subconjunto denso numerable, a
saber, el conjunto de todas las combinaciones lineales de los xn ’s con coeficientes cuyas partes real e imaginaria son
racionales.
Mostramos que Y = X. Supongamos Y ̸= X. Entonces, como Y es cerrado, por el Lema 4.6-7 existe un f˜ ∈ X ′
con ∥f˜∥ = 1 y f˜(y) = 0 para todo y ∈ Y . Como xn ∈ Y , tenemos f˜(xn ) = 0 y para todo n,
1
≤ |fn (xn )| = |fn (xn ) − f˜(xn )|
2
= |(fn − f˜)(xn )|
≤ ∥fn − f˜∥∥xn ∥,
donde ∥xn ∥ = 1. Por tanto ∥fn − f˜∥ ≥ 21 , pero esto contradice la suposición de que (fn ) es denso en U ′ porque
f˜ está él mismo en U ′ ; de hecho, ∥f˜∥ = 1

Problemas

1. ¿Cuáles son los funcionales f y gx en (2) si X = Rn ?

2. Dé una prueba más simple del Lema 4.6-7 para el caso en que X es un espacio de Hilbert.
3. Si un espacio normado X es reflexivo, muestre que X ′ es reflexivo.
4. Muestre que un espacio de Banach X es reflexivo si y sólo si su espacio dual X ′ es reflexivo. (Pista. Se puede
mostrar que un subespacio cerrado de un espacio de Banach reflexivo es reflexivo. Use este hecho, sin probarlo.)
5. Muestre que bajo las suposiciones del Lema 4.6-7 existe un funcional lineal acotado h en X tal que

∥h∥ = 1/δ, h(y) = 0 para todo y ∈ Y, h(x0 ) = 1.

6. Muestre que diferentes subespacios cerrados Y1 y Y2 de un espacio normado X tienen anuladores diferentes. (Cf.
Sec. 2.10, Prob. 13.)
7. Sea Y un subespacio cerrado de un espacio normado X tal que todo f ∈ X ′ que es cero en todas partes en Y es
cero en todas partes en todo el espacio X. Muestre que entonces Y = X.
8. Sea M cualquier subconjunto de un espacio normado X. Muestre que un x0 ∈ X es un elemento de A = span M
si y sólo si f (x0 ) = 0 para todo f ∈ X ′ tal que f |M = 0.
9. (Conjunto total) Muestre que un subconjunto M de un espacio normado X es total en X si y sólo si todo
f ∈ X ′ que es cero en todas partes en M es cero en todas partes en X.
10. Muestre que si un espacio normado X tiene un subconjunto linealmente independiente de n elementos,
también lo tiene el espacio dual X ′ .