10. (Anulador) Sea B un subconjunto del espacio dual X ′ de un espacio normado X.

El anulador a B de
B se define como
a
B = {x ∈ X | f (x) = 0 para todo f ∈ B}.
Muestre que en el Prob. 9,
R(T ) ⊂a N (T × ).
¿Qué significa esto con respecto a la tarea de resolver una ecuación T x = y?

4.6 Espacios Reflexivos

La reflexividad algebraica de espacios vectoriales se discutió en la Sec. 2.8. La reflexividad de espacios
normados será el tema de la presente sección. Pero primero recordemos lo que hicimos en la Sec. 2.8. Re-
cordamos que un espacio vectorial X se dice algebraicamente reflexivo si el mapeo canónico C : X −→ X ∗∗
es suprayectivo. Aquí X ∗∗ = (X ∗ )∗ es el segundo espacio dual algebraico de X y el mapeo C se define por
x 7−→ gx donde (1)
gx (f ) = f (x) (f ∈ X ∗ variable);
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.
Ahora volvamos 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 el segundo
espacio dual de X (o bidual de X).
Definimos un funcional gx sobre X ′ eligiendo un x ∈ X fijo y estableciendo (2)

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

Esto se parece a (1), pero note que ahora f es acotado. Y gx resulta ser acotado también, ya que tenemos el
básico

4.6-1 Lema (Norma de gx ).

Para cada x fijo en un espacio normado X, el funcional gx definido por (2) es un funcional lineal acotado
sobre X ′ , de modo que gx ∈ X ′′ , y tiene la norma
(3)
∥gx ∥ = ∥x∥.
Demostración. La linealidad de gx se conoce de la Sec. 2.8, y (3) se sigue de (2) y el Corolario 4.3-4:
(4)
|gx (f )| |f (x)|
∥gx ∥ = sup = sup = ∥x∥.
f ∈X ′ ∥f ∥ f ∈X ′ ∥f ∥
f ̸=0 f ̸=0

A cada x ∈ X le corresponde un único funcional lineal acotado gx ∈ X ′′ dado por (2). Esto define un
mapeo
(5)
C : X −→ X ′′
x 7−→ gx .
′′
C se llama el mapeo canónico de X en X . Mostramos que C es lineal e inyectivo y preserva la norma.
Esto se puede expresar en términos de un isomorfismo de espacios normados como se definió en la Sec. 2.10:

1
4.6-2 Lema (Mapeo canónico).
El mapeo canónico C dado por (5) es un isomorfismo del espacio normado X sobre el espacio normado
R(C), el rango de C.
Demostración. La linealidad de C se ve como en la Sec. 2.8 porque

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

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

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

Esto muestra que C es isométrico; 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 lo tanto, C es biyectivo, considerado como un mapeo sobre su rango.
Se dice que X es sumergible (embeddable) en un espacio normado Z si X es isomorfo a un subespacio de
Z. Esto es similar a la Sec. 2.8, pero note 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á suprayectivo, de modo que el rango R(C) será un subespacio propio de X ′′ . El caso
suprayectivo cuando R(C) es todo X ′′ es lo suficientemente importante como para darle un nombre:

4.6-3 Definición (Reflexividad).

Un espacio normado X se dice reflexivo si

R(C) = X ′′

donde C : X −→ X ′′ es el mapeo canónico dado por (5) y (2).

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 lo tanto isométrico) con X ′′ , por el Lema 4.6-2. Es interesante que lo
contrario generalmente no se cumple, como lo ha mostrado R. C. James (1950, 1951).
Además, la completitud no implica reflexividad, pero recíprocamente tenemos

4.6-4 Teorema (Completitud).

Si un espacio normado X es reflexivo, es completo (por lo 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 X de
dimensión finita. 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 lo 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 se puede mostrar. También se puede probar 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.

2
4.6-6 Teorema (Espacio de Hilbert).
Todo espacio de Hilbert H es reflexivo.
Demostración. Probaremos la suprayectividad del mapeo canónico 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 biyectivo
e isométrico. A es conjugado lineal, como vemos de (16), 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 ⟩.

Note el orden de f1 , f2 en ambos lados. (IP1) a (IP4) en la Sec. 3.1 se verifican fácilmente. En particular,
(IP2) 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, tenemos así

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

Juntos, g(f ) = f (x), es decir, g = Cx por la definición de C. Dado que g ∈ H ′′ era arbitrario, C es
suprayectivo, de modo que H es reflexivo.
A veces la separabilidad y no separabilidad (cf. 1.3-5) pueden jugar un papel en las 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 la separabilidad de
X (lo contrario no siendo generalmente cierto). Por lo tanto, si un espacio normado X es reflexivo, X ′′ es
isomorfo con X por 4.6-2, de modo que en este caso, la separabilidad de X implica la separabilidad de X ′′ y,
por 4.6-8, el espacio X ′ también es 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 l1 = l∞ 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 cerrado propio de un espacio normado X. Sea x0 ∈ X − Y arbitrario y
(6)
δ = ı́nf ∥y − x0 ∥
y∈Y

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

(7)
∥f ∥ = 1, f (y) = 0 para todo y ∈ Y, f (x0 ) = δ.
Demostración. La idea de la prueba es simple. Consideramos el subespacio Z ⊆ X generado por Y y x0 ,
definimos sobre Z un funcional lineal acotado f por
(8)
f (z) = f (y + αx0 ) = αδ y ∈ Y,
mostramos que f satisface (7) y extendemos f a X por 4.3-2. Los detalles son los siguientes. Cada
z ∈ Z = span(Y ∪ {x0 }) tiene una representación única

z = y + αx0 y ∈ Y.

3
Figura 1: Ilustración del Lema 4.6-7 para el espacio euclidiano
√ X = R3 , donde Y está representado por
ξ2 = ξ1 /2, ξ3√= 0 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.

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

|f (z)| = |α|δ = |α| ı́nf ∥ŷ − x0 ∥

y∈Y

1
≤ |α| − y − x0
α
= ∥y + αx0 ∥,

es decir, |f (z)| ≤ ∥z∥. Luego 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 −→ ∞. Luego ∥f ∥ ≥ 1. Juntos, ∥f ∥ = 1. Por el teorema de Hahn-Banach 4.3-2 para espacios

normados, f tiene una extensión de Z a X, que es lineal, acotada y de norma 1. Aplicando esta extensión y
denotándola de nuevo por f , obtenemos (7).

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 ∈ X ′ | ∥f ∥ = 1}
también es separable (cf. Prob. 9, Sec. 1.3) y contiene una sucesión densa numerable, digamos (fn ). Para
cada fn existe un xn ∈ X de norma 1 tal que
1 1
|fn (xn )| ≥ ∥fn ∥ = ;
2 2
cf. 4.3-4(1). Sea Y la clausura de span {xn }. Mostraremos que Y = X. Supongamos que Y ̸= X. Entonces,
dado que Y es cerrado por suposición, por el Lema 4.6-7 existe un f ∈ X ′ con ∥f ∥ = 1 y f (y) = 0 para todo

4
y ∈ Y . Ya que xn ∈ Y , tenemos f (xn ) = 0. También, ∥fn ∥ = 1, de modo que para todo n,
1
∥fn − f ∥ ≥ |fn (xn ) − f (xn )| = |fn (xn )| ≥ .
2
Esto contradice el hecho de que (fn ) es densa en U ′ porque f ∈ U ′ . Por lo tanto Y = X. Dado que Y es la
clausura de span {xn }, el conjunto de todas las combinaciones lineales de elementos de {xn } es denso en X.
Pero ese conjunto es numerable (cf. Prob. 6, Sec. 2.3). Por lo tanto X es separable.

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. (Sugerencia:
Se puede demostrar que un subespacio cerrado de un espacio de Banach reflexivo es reflexivo. Utilice este
hecho, sin demostrarlo.)
5. Muestre que bajo los supuestos 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 subespacios cerrados diferentes 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
sobre Y es cero en todas partes sobre 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 sobre M es cero en todas partes sobre 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 ′ .