Capı́tulo 1

Espacios de Banach

1.1 Definiciones y ejemplos

Sea E un espacio vectorial sobre K (K = R o C)

Definición 1.1.1 E es un espacio vectorial topológico si

1. E es un espacio vectorial,

2. E es espacio topológico, y

3. las operaciones,

(x, y) ∈ E × E → x + y ∈ E,
and,
(λ, y) ∈ K × E → λy ∈ E,

son continuas.

En este caso, también decimos que la topologı́a de E y su estructura

vectorial son compatibles.

Definición 1.1.2 E es un espacio normado si E es espacio vectorial y existe

una norma, o sea, una función k · k : E → R que satisface

1. Para todo x ∈ E, kxk ≥ 0 y ( kxk = 0 ⇒ x = 0)

1
 2. Para todo x ∈ E y λ ∈ K, kλxk = |λ| kxk
3. Para todo x ∈ E, y ∈ E, se tiene que
kx + yk ≤ kxk + kyk (Desigualdad triangular)

Definición 1.1.3 Un espacio de Banach es un espacio normado completo,

vale decir, un espacio vectorial, premunido de una norma k k, en el cual
toda sucesión {xn } de Cauchy ( kxn − xm k → 0, cuando n, m → ∞) es
convergente ( existe x ∈ E tal que kxn − xk → 0).
Todo espacio normado E es un espacio vectorial topológico. En efecto,
por la desigualdad triangular, se tiene que,
k(x + y) − (x0 + y0 )k ≤ kx − x0 k + ky − y0 k,
lo que demuestra que la adición es una operación continua. Asimismo, de
la desigualdad,
kλx − λ0 x0 k ≤ kλ − λ0 k kxk + |λ0 |kx − x0 k,
sigue de inmediato que la multiplicación por escalar es una operación con-
tinua.
Si E es un espacio normado con norma k · k, entonces, claramente,
d(x, y) ≡ kx − yk,
define una distancia (o métrica) en E. Ası́, todo espacio normado es tam-
bién un espacio métrico. De manera natural se tiene entonces todos los
conceptos topológicos usuales. Por ejemplo, una sucesión {xn } en E con-
verge a x ∈ E (escribimos xn → x ) si kxn − xk → 0. La bola abierta de
centro x0 (∈ E) y de radio r (≥ 0)es B(x0 , r) ≡ {x ∈ E/kx − x0 k < r}. Co-
mo en cualquier espacio métrico, estas bolas permiten definir los conjuntos
abiertos, los conjuntos cerrados, la clausura, el interior, la continuidad, etc.
Ejemplo 1.1.1
E = Cn con la norma euclideana,
à n ! 21
X
k(x1 , x2 , · · · , xn )k2 ≡ |xi |2
i=1
n
Es fácil ver que C , k k2 es un espacio de Banach (Ejercicio)

2
Ejemplo 1.1.2
Sea 1 6 p < ∞ Considere E = Cn con,
à n
! p1
X
k(x1 , x2 , · · · , xn )kp ≡ |xi |p
i=1

Entonces Cn , k kp es un espacio de Banach.

Problema 1.1.1

1. Demuestre la desigualdad de Minkowski,

à n ! p1 à n ! p1 à n ! p1
X X X
|xi + yi |2 6 |xi |p + |yi |p
i=1 i=1 i=1

Para todo x = (x1 , x2 , · · · , xn ), y = (y1 , y2 , · · · , yn ) ∈ Cn

2. Demuestre la desigualdad de Hölder,

¯ n ¯ Ã p ! p1 Ã n ! 1q
¯X ¯ X X
¯ ¯
¯ xi yi ¯ 6 |xi |p |yi |q ,
¯ ¯
i=1 i=1 i=1

Para todo x = (x1 , X2 , · · · , xn ), y = (y1 , y2 , · · · , yn ) ∈ Cn

1 1
Aquı́, 1 6 p < ∞ y p
+ q
=1

Ejemplo 1.1.3
E = Cn con
k(x1 , x2 , · · · , xn )k∞ = max |xi |,
16i6n

Es un espacio de Banach (Ejercicio).

Ejercicio: Dibuje la bola unitaria B(0, 1), centrada en el origen, en

2
R , k kp , para distintos valores de p con 1 6 p ≤ ∞.

3
Problema 1.1.2
Demuestre que para todo x ∈ Cn , se tiene que

lim kxkp = kxk∞

p→∞

Problema 1.1.3
Demuestre que en Cn , k kp hay un producto interior <, > tal que kxkp =
√
< x, x >, si y sólo si p = 2.
Observación: Todos los ejemplos anteriores consisten de espacios de di-
mensión finita. Los que siguen en cambio son espacios de dimensión infini-
ta.

Ejemplo 1.1.4
Sea 1 6 p < ∞.
̰ ! p1
X
Sea lp = {(x1 , x2 , · · · , )/xi ∈ C y |xi |p < ∞}
i=1
La norma en lp es à ! 1
∞
X p

k(x1 , x2 , · · · , )kp ≡ |xi |p .

i=1
lp , kkp es un espacio de Banach (Ejercicio).

Ejemplo 1.1.5
l∞ = {(x1 , x2 , · · · , )/xi ∈ Cn y sup|xi | < ∞}, con k(x1 , x2 , · · · , )k∞ ≡
i
sup|xi |
i
Se tiene que l∞ , kk∞ es un espacio de Banach.

Problema 1.1.4 Verificar que lp , k kp es un espacio de Banach (1 6 p 6

∞).

Problema 1.1.5
A diferencia del caso de Cn (dimensión finita) donde el espacio vectorial
E = Cn es el mismo para cualquier elección de la norma k kp , en dimensión
infinita los espacios lp no coinciden.
Demuestre que si 1 6 p1 < p2 6 ∞, entonces lp1 ⊂ lp2

4
Ejemplo 1.1.6 C0 = {(x1 , x2 , · · · , )/xi ∈ C y lim xi = 0
i→∞
Se tiene que C0 k k∞ es un espacio de Banach.

Problema 1.1.6
Demostrar esta afirmación.

Problema 1.1.7
Verifique que los vectores canónicos e1 = (1, 0, · · · , ), e2 = (0, 1, 0, · · · , ),
son linealmente independientes en lp , pero no constituyen una base.

Observación: En algún sentido, los ejemplos anteriores son generaliza-

ciones de los espacios de dimensión finita (extendemos el concepto de vec-
tores como tuplas con n coordenadas a tuplas con un número infinito de
coordenadas, los que siguen son espacios cuyos elementos son funciones
reales (o complejas).

Ejemplo 1.1.7
C[0, 1] = {f : [0, 1] → C/f es continua}
Como toda función continua definida en un conjunto compacto es aco-
tada, podemos tomar
kf k∞ = sup |f (x)|
06x61

Resulta que, C[0, k k∞ es un espacio de Banach.

De la misma manera, se define C(Ω), para Ω ⊂ Rn compacto.

Problema 1.1.8
Demuestre esta afirmación.
Nota: La norma k k∞ corresponde a la convergencia uniforme.

Ejemplo 1.1.8
B[0, 1] = {f : [0, 1]→ C/f es acotada}
se tiene que B[0, 1], k k∞ es un espacio de Banach.
Análogamente, se define C(Ω), para Ω ⊂ Rn no necesariamente acotado.

Problema 1.1.9
Demuestrelo.

5
Ejemplo 1.1.9
B0 (Ω) = {f : Ω→ C acotada /∀² > 0, ∃K ⊂ Ω compacto, tal que
|f (x)| < ², para todo x ∈ Ω\K}
Se tiene que B0 (Ω), k k∞ es un espacio de Banach.
En algún sentido, este espacio consiste de aquellas funciones que ”tien-
den a cero”, cuando x tiende a infinito.

Ejemplo 1.1.10 Sea 1 ≤ p < ∞. Los espacios de Lebesgue Lp (Rn ) se

definen como las clases de funciones f : Ω→ C para las cuales,
µZ ¶ p1
p
kf kp ≡ |f (x)| dx ,
Rn

es finito. Se tiene que Lp (Rn ), kkp es un espacio de Banach.

Análogamente, se define Lp (Ω), para Ω ⊂ Rn adecuado.

Ejemplo 1.1.11
El espacio de Lebesgue L∞ (Rn ) consiste de las clases de funciones (med-
ibles) f : Ω→ C para las cuales,

kf k∞ ≡ supremo esencial Rn |f (x)|,

es finito. Se tiene que L∞ (Rn ), kkp es un espacio de Banach.

Análogamente, se define L∞ (Ω), para Ω ⊂ Rn adecuado.

Recordamos que el supremo esencial de una función f : Ω→ C es,

kf k∞ ≡ inf {c / |f (x)| ≤ c, casi para todo x},

donde ”casi para todo´´ significa que el conjunto donde esta propiedad no
se verifica, tiene medida de Lebesgue cero. Ası́, |f (x)| ≤ c, casi para todo x
quiere decir que el conjunto {x /|f (x)| > c }, tiene medida cero.

1.2 Transformaciones Lineales Acotadas

6
Definición 1.2.1 Sean E, F espacios normados y sea T : E → F una
transformación (operador) lineal. Decimos que T es acotada si existe una
constante c > 0 tal que
kT xk ≤ ckxk,
para todo x ∈ E.
En este caso definimos la norma de T como

kT k = inf{c > 0/kT xk ≤ ckxk, ∀x ∈ E}

Proposición 1.2.1 Las siguientes afirmaciones son equivalentes

1. T es continua.

2. T es continua en el origen.

3. T es acotada.

Demostración (b)⇒ (c)

Supongamos que para todo entero positivo n existe xn ∈ E tal que kT xn k >
xn
nkxn k. Sean yn = nkx nk
. Entonces kyn k = n1 → 0, pero kT yn k > 1, vale
decir, yn → 0, pero T yn no converge a 0 = T 0.
(c)⇒ (a)
Supongamos que xn → x. Entonces, kT xn − T xk ≤ ckxn − xk → 0, lo que
demuestra que T es continua. 2

Problema 1.2.1
Sean E, F espacios normados y T : E −→ F una transformación lineal
acotada. Demuestre que:

1. kT xk ≤ kT kkxk, ∀x ∈ E,

2. kT k sup kT xk
kxk
= supkxk=1 kT xk = supkxk≤1 kT xk,

3. Si, para todo x ∈ E, se tiene que kT xk ≤ ckxk y que existe un x0 ∈ E

tal que kT x0 k = ckx0 k, entonces kT k = c.

7
Problema 1.2.2
(Criterio para Completitud) Sea E un espacio normado y sea {xn } ⊂ E.
X∞
Recordemos que una serie xn , converge si la sucesión de sumas parciales
n=1
N
X
xn converge, cuando N → ∞.
n=1
∞
X
Asimismo, una serie xn es absolutamente convergente si
n=1
∞
X
kxn k converge
n=1

Demuestre que un espacio normado E es completo si y sólo si toda la

serie absolutamente convergente en E es convergente.

Definición 1.2.2 1. Sean E, F espacios normados. Un isomorfismo

(topológico) de E en F es una transformación lineal T : E −→ F
que es continua, biyectiva y tal que T −1 continua.

2. Dos normas en E se dicen equivalente si y sólo si generan la misma

topologı́a. Esto ocurre si y sólo si la identidad

i : (E, k · k1 ) → (E, k · k2 )

es un isomorfismo.

Problema 1.2.3
Sea T : E −→ F una transformación lineal sobreyectiva. demuestre que T
es un isomorfismo si y sólo si existen constantes c1 , c2 > 0 tales que

c1 kxk ≤ kT xk ≤ c2 kxk, ∀x ∈ E

Definición 1.2.3 Un isomorfismo que preserva las normas se llama un

isomorfismo isométrico.

Ejercicio 1.2.1 En Rn ; k · k1 , k · k2 , k · k∞ son equivalentes.

8
1.3 Espacios Normados de dimensión finita
Teorema 1.3.1 Todas las normas en Cn son equivalentes. Más aún, todo
espacio normado de dimensión n es isomorfo a Cn .

Demostración Consideremos (Cn , k · k1 ). Sea E un espacio normado de

dimensión n y sea {e1 , . . . , en } una base de E. Definamos la transformación
lineal T : Cn −→ E dada por,
n
X
T (x1 , . . . , xn ) = xi e i
i=1

Se tiene que T es lineal, 1 − 1 y sobreyectiva. Demostraremos que T es

un homeomorfismo ( o sea, que T y T −1 son continuas). Sea c = maxi kei k,
entonces

kT (x1 , . . . , xn )k ≤ ck(x1 , . . . , xn )k
y T es continua. Ahora, kT k tiene un mı́nimo m sobre el conjunto
compacto {x ∈ Cn /kxk1 = 1} y como {e1 , . . . , en } es base, m > 0. Además,
se tiene que,

kT xk ≥ m, si kxk1 = 1,
de donde,
kT xk ≥ mkxk1 , ∀x ∈ Cn
Ası́, T −1 es continua. 2

Corolario 1.3.1 1. Todas las normas en Cn ( o en Rn ) son equivalentes.

2. Todo espacio normado de dimensión finita es completo.

3. Todo espacio normado de dimensión finita es localmente compacto (o

sea, la bola untaria cerrada es compacta).

4. En un espacio normado, todo subespacio de dimensión finita es com-

pleto.

Problema 1.3.1 Demuestre el corolario.

9
Problema 1.3.2 Sean E, F normados con dim(E) < ∞. Demuestre que
si T : E −→ F es lineal, entonces T continua.

Teorema 1.3.2 (Lema de Riesz) Sea E un espacio normado y sea M un

subespacio cerrado propio en E. Para cada θ con 0 < θ < 1, existey0 ∈ E
tal que ky0 k = 1 y d(yθ , M ) ≥ θ.

Demostración Tenemos que y0 ∈ E\M . Como M es cerrado, d(y0 , M ) =

δ > 0. Sea xθ ∈ M tal que ky0 − xθ k ≤ θδ y sea y0 = kyy00 −xθ
−xθ k
, entonces
ky0 k = 1 y para todo x ∈ M

1 d(y0 , M ) θ
ky0 − xθ k = ky0 − (xθ + ky0 − xθ kx)k ≥ ≥ δ=θ
ky0 − xθ k ky0 − xθ k δ
2

Teorema 1.3.3 Sea E un espacio normado cuya esfera unitaria S es com-

pacta. Entonces E tiene dimensión finita.

Demostración Supongamos que E tiene dimensión infinita. Sean x1 ∈ S

y M1 =< x1 >. Entonces, por el lema de Riesz, existe x2 ∈ S tal que
kx2 − xk ≥ 12 , para todo x ∈ M . Sea M2 =< x1 , x2 >. Ası́, podemos
construir recursivamente una sucesión {xn } en la esfera unitaria, tal que
kxn − xm k ≥ 12 , ∀n 6= m. Claramente, la sucesión {xn } no puede tener una
subsucesión convergente. 2

1.4 Funcionales Lineales Continuos

Problema 1.4.1 Sea M subespacio propio del espacio vectorial E. De-
muestre que M es maximal si y sólo si M tiene codimensión 1 (i.e. ∃x ∈ E
tal que E =< x > ⊕M ).

Problema 1.4.2 Un hiperplano es un conjunto de la forma x + M , con

M subespacio propio maximal. Sea H un hiperplano. Demuestre que o bien
H es cerrado o bien es denso en E.

Definición 1.4.1

10
 1. Sea E un espacio vectorial. Un funcional lineal en E es una trasfor-
mación lineal φ : E −→ C.
El Dual Algebráico de E es E ∗ = { funcionales lineales enE}.

2. Sea E un espacio normado. El Dual (Topológico) de E es E 0 =

{ funcionales lineales continuos en E}.

Problema 1.4.3 Demuestre que E ∗ y E 0 son espacios vectoriales y que

E 0 es un espacio de Banach.

Problema 1.4.4
1. De un ejemplo de E normado y φ ∈ E ∗ no continua.

2. Lo mismo con E Banach.

3. De un ejemplo de T : E −→ F lineal, E, F normados, T no continua,

Ker(T ) cerrado.

4. Lo mismo con E, F, Banach.

1.5 El Teorema de Hanh-Banach

Teorema 1.5.1 (Hanh-Banach) Sean E un espacio normado, M subespa-
cio de E, ϕ ∈ M 0 . Entonces, existe un funcional φ ∈ E 0 tal que φ|M = ϕ y
además, kφk = kϕk.

Lema 1.5.1 Sean E un espacio normado real, M subespacio propio, y0 ∈

E − M . Entonces, toda funcional ϕ ∈ M 0 se puede extender a una φ ∈
N 0 = (M ⊕ < y0 >)0 , con la misma norma.

Demostración
Tenemos que la extensión φ debe satisfacer:

φ(λy0 + x) = λφ(y0 ) + ϕ(x), ∀x ∈ M

Ası́
φ(λy0 + x) = λu0 + ϕ(x),
con u0 ∈ R adecuado.

11
 Además, para todo x ∈ M y λ ∈ R, se debe cunplir que

|φ(λy0 + x)| ≤ kϕkM · kx + λy0 k (∗)

(De modo que entonces, kφkE ≤ kϕkM y como kϕ(x)k = |φ(x)| ≤

kφkkxk, para todo x ∈ M , es obvio que kϕM k ≤ kφkE ). Ahora bien, (∗)
significa que,

−kϕkM · kx + λy0 k ≤ ϕ(x) + λu0 ≤ kϕkM · kx + λy0 k, (∗∗), ∀x ∈ M, ∀λ ∈ R

Luego, basta probar que existe u0 ∈ R tal que (∗∗) se verifica. Dividi-
endo por λ, se requiere enonces que,

−kϕkM · kx + y0 k ≤ ϕ(x) + u0 ≤ kϕkM · kx + y0 k, (∗∗)

para todo x ∈ M .
En otras palabras, basta demostrar que existe un número real u0 tal que,

a ≡ sup{−kϕkM · kx + y0 k − ϕ(x)} ≤ u0 ≤ inf{kϕkM · kx + y0 k − ϕ(x)} ≡ A,

Ası́, basta probar que a ≤ A. Sean x1 , x2 ∈ M , entonces

ϕ(x2 ) − ϕ(x1 ) = ϕ(x2 − x1 ) ≤ kϕkM · kx2 − x1 k

≤ kϕkM · kx2 + y0 k + kϕkM · kx1 + y0 k

Sigue de aquı́ que,

−kϕkM · kx1 + y0 k − ϕ(x1 ) ≤ kϕkM · kx2 + y0 k − ϕ(x2 ),

lo que concluye la demostración. 2

Lema 1.5.2 Sean E un espacio normado, M un subespacio, y0 ∈ E − M .

Entonces. todo ϕ ∈ M 0 admite una extensión φ ∈ N 0 , con N = M ⊕ < y0 >
tal que kϕk = kφk

12
Demostración Sólo hay que considerar el caso complejo. Escribamos N =
M ⊕ < y0 >= M ⊕ Ry0 ⊕ Riy0 . Definamos φ ∈ N por

φ(x) = ϕ(x) − iϕ(iz)

Claramente φ ∈ N 0 y kφk = kϕk (Ejercicio). 2

Demostración (Hahn-Banach) Sea P el conjunto de los pares (N, ψ) donde

N es un subespacio de E que contiene a M y ψ ∈ N 0 satisface ψM = ϕ y
kψk = kϕk. Definamos,

(N1 , ψ1 ) ≤ (N2 , ψ2 ) ⇔ N1 ⊂ N2 y ψN2 = ψ1

Claramente, ≤ es un orden parcial en P y, si {(Nα , ψα ) : α ∈ A} es
una cadena en P, entonces (∪α Nα , ψ) es una cota superior. Por lo tanto,
por el Lema de Zorn, P admite un elemento maximal (N, ψ) y por el lema
anterior N = E. 2

Teorema 1.5.2 Sean E un espacio normado, M un subespacio, x0 ∈ E tal

que d(x0 , M ) = d > 0. Entonces, existe ϕ ∈ E 0 tal que ϕ = 0 en M, kϕk = 1
y ϕ(x0 ) = d.

Demostración Definimos un funcional ϕ en M ⊕ < x0 > por ϕ(x+λx0 ) = λd,

entonces ϕ = 0 en M y ϕ(x0 ) = d. Además, como,
x
d ≤ k + x0 k, ∀x ∈ E, λ ∈ C, λ 6= 0,
λ
se tiene que,
|ϕ(x + λy0 )| = λd ≤ kx + λy0 k
Es decir, ϕ ∈ (M ⊕ < x0 >)0 y kϕk ≤ 1.
Por otra parte, sea xn ∈ M tal que kxn + x0 k → d. Entonces,

xn + x0 d
ϕ( )= →1
kxn + x0 k kxn + x0 k

Luego, yn ≡ kxxnn +x0

+x0 k
pertenecen a la esfera unitaria y satisfacen, |ϕ(yn )| →
1, lo que demuestra que kϕk = 1.
Por el Teorema de Hahn-Banach, existe un funcional φ ∈ E 0 tal que
φ\(M + < x0 >) = ϕ y kφk = kϕk = 1. 2

13
Teorema 1.5.3 Sea E normado, x0 ∈ E, x 6= 0. Entonces, existe un fun-
cional φ ∈ E 0 tal que kϕk = 1 y ϕ(x0 ) = kx0 k.

Corolario 1.5.1 Sean x1 , x2 ∈ E, x1 6= x2 . Entonces, existe un funcional

ϕ ∈ E 0 tal que kϕk = 1 y ϕ(x1 ) 6= ϕ(x2 ) (es decir, el dual E 0 separa los
puntos de E).

El teorema Hahn-Banach en su versión geométrica establece que dados

un subespacio M de E y un conjunto abierto convexo A ⊂ E tales que
A ∩ M = ∅, existe un hiperplano cerrado H en E tal que M ⊂ H y
H ∩ A = ∅. Daremos una demostración para el caso en que,

A = B(x0 ) = {x ∈ E/kx0 k < 1}

Lema 1.5.3 Sea E normado, y0 ∈ E con ky0 k > 1. Entonces, existe un

hiperplano cerrado H tal que y0 ∈ H y H ∩ B = ∅.

Demostración Sea ϕ ∈ E 0 tal que kϕk = 1 y ϕ(y0 ) = ky0 k. Es fácil ver que
H = y0 + Ker(ϕ) sirve. 2

Teorema 1.5.4 Sea L = y0 + M un subespacio afı́n (i.e. M es un sube-

spacio de E) tal que L ∩ B = ∅.
Entonces, existe un hiperplano cerrado H tal que L ⊂ H y H ∩ B = ∅.

Demostración Como y0 + M y B son conjuntos disjuntos, tenemos que para

todo m ∈ M , se tiene que ky0 + mk > 1., o sea,

d = d(y0 , M ) ≥ 1.

Luego existe un funcional ϕ ∈ E 0 tal que, de norma 1, tal que, ϕ\M = 0

y ϕ(y0 ) = d. Sea H = y0 + Ker(φ), entonces, como M ⊂ Ker(ϕ), sigue que
L = y0 + M ⊂ y0 + Ker(ϕ) = H. Por otra parte, si H ∩ B no fuera vacı́o,
entonces existirı́a u ∈ Ker(ϕ) tal que y0 + u ∈ B. De aquı́ se deduce que,

1 ≤ d = ϕ(y0 ) = ϕ(y0 + u) ≤ kϕkky0 + uk < 1,

lo que una contradicción. 2

14
Corolario 1.5.2 Sea M un subespacio y sea x0 un elemento que no está en
M tal que la bola B(x0 , r) y M son disjuntos. Entonces, existe un hiperplano
por el origen H tal que M ⊂ H y H ∩ B(x0 , r) = ∅.

Demostración Como d = d(x0 , M ) ≥ r, existe un funcional ϕ ∈ E 0 tal que

ϕ\M = 0, kϕk = 1, y ϕ(x0 ) = d. Por lo tanto,
1. M ⊂ Ker(ϕ)

2. Ker(ϕ) ∩ B(x0 , r) = ∅
2

Problema 1.5.1
Sea E un espacio normado. demuestre que para todo x ∈ E,

kxk = sup |ϕ(x)|

ϕ∈E 0 ,kϕk=1

Problema 1.5.2 Sea E un espacio normado. Demuestre que la esfera

unitaria S = {x ∈ E/kxk = 1} es separable si y sólo si E es separable.

Es posible demostrar que un espacio normado E es separable si y sólo si

existe un subconjunto numerable {xn } ⊂ E que genera (en el sentido usual
del Algebra Lineal, vale decir, vı́a combinaciones lineales ) a un subespacio
denso en E. Siempre podemos suponer que dicho conjunto es linealmente
independiente, de modo que E es separable si y sólo si existe un subconjunto
numerable, linealmente independiente {xn } ⊂ E tal que < {xn } > = E.
Para distinguirlo del caso de las bases usuales (que en alguna literatura se
llaman bases de Hamel), llamaremos a {xn } una base de Schauder.

Proposición 1.5.1 Si E 0 separable, entonces E es separable.

Demostración
Sea (ϕn ) denso en S 0 = {ϕ ∈ E 0 /kϕk = 1}, la esfera unitaria del dual
E . En particular, existen xn ∈ E tal que kxk = 1 y |ϕn (xn )| > 12 (en caso
0

contrario tendrı́amos que kϕn k ≥ 21 ).

Demostraremos que el subespacio M =< {xn } > es denso en E. Si no,
existirı́a y0 ∈ E − M . Ası́, d(y0 , M ) > 0 y, por lo tanto, existe ϕ ∈ E 0 tal
que kϕk = 1 y ϕ(y0 ) > 0, ϕM = 0. Luego,

15
 1
< |ϕn (xn )| = |ϕn (xn ) − ϕ(xn )| ≤ kϕn − ϕk ,
2
lo que es una contradicción. 2

Problema 1.5.3 Demuestre que el espacio lp es separable, para cada p

con 1 ≤ p < ∞.
(Indicación: Considere el subconjunto de lp que consiste de todas las
sucesiones con coeficientes racionales complejos y tales que sólo un número
finito de ellos son diferentes de cero).

Problema 1.5.4 Demuestre que l∞ no es separable.

(Indicación: Demuestre que el subconjunto de l∞ que consiste de suce-
siones de 00 s y 10 s no es separable).

1.6 Representación de Funcionales Lineales

continuos
1 1
Teorema 1.6.1 Sean 1 ≤ p, q ≤ ∞ con p
+ q
= 1. Dada ϕ = (ϕk ) ∈ lq
definimos Tϕ : lp −→ C por
∞
X
Tϕ (x) = ϕ k xk ,
k=1
p
para todo x = (xk ) ∈ l . Entonces,

1. Tϕ ∈ (lp )0

2. kTϕ k = kϕkq

Es decir lq ⊂ (lp )0 y la inclusión es isométrica (más bien, la función ϕ → Tϕ

es una transformación lineal de lq en (lp )0 , que preserva la norma).

Demostración Por la desigualdad de Hölder, |Tϕ (x)| ≤ kϕkq kxkp Luego, Tϕ

está bien definida, Tϕ ∈ (lp )0 y kTϕ k ≤ kϕkq .
Para demostrar que |Tϕ k = kϕkq basta exhibir x = (xn ) ∈ lp tal que
|Tϕ (x)| = kϕkq kxkp .
En este punto, distinguimos tres casos.

16
 1. Caso: 1 < p < ∞.
Sea xk = |ϕk |q−1 sgn ϕk , entonces |xk |p = |ϕk |pq−p = |ϕk |q luego
q

x = (xk ) ∈ lp y kxkp = kϕkqp = kϕkq−1

q . Además

∞
X ∞
X
Tϕ (x) = ϕk |ϕk |q−1 sgn ϕk = |ϕk |q = kϕkqq = kϕkq kϕkq−1
q = kϕkq kxkp
k=1 k=1

2. Caso: p = 1.
Para n tal que |ϕn | = kϕk∞ , tomemos
½
sgn(ϕk ) si k = n
xk :=
0 si k =
6 n

Es fácil verificar entonces que Tϕ (x) = kϕk∞ kxk1 .

3. Caso: p = ∞.
Sea xk = sgn(ϕk ), entonces xk = 0 ó 1. Por lo tanto, x = xk ∈ l∞
y kxk∞ = 1 (a menos que ϕ ≡ 0 en cuyo caso no hay nada que
demostrar). Además,
X X
ϕ(x) = ϕ k xk = |ϕk = kϕk1 kxk∞ .
k k

Teorema 1.6.2 Sea 1 ≤ p < ∞, entonces la aplicación (ϕk ) ∈ lp −→ ϕ ∈

(lp )0 es sobre.

No es cierto que (l∞ )0 = l1 pues l1 es separable y l∞ no es separable.

Problema 1.6.1
Demuestre que el dual de C0 ={sucesiones que convergen a cero} es l1 .

17
1.7 Topologı́as Fuerte y Débil
Sea E un espacio normado. La Topologı́a Fuerte es E es la topologı́a induci-
da por la norma. En esta topologı́a las vecindades son las bolas B(x0 , ² > 0).
Además, xn −→ 0 si y sólo si kxn k −→ 0.
La Topologı́a Débil en E es la topologı́a cuyas vecindades básicas son,

B(x0 , ², ϕ1 , . . . , ϕk ) = {x ∈ E/|ϕi (x − x0 )| < ², i = 1, . . . , n}

Según esta topologı́a, una sucesión (xn ) ⊂ E converge a un x ∈ E (

escribimos xn −→w x), cuando ϕ(xn ) −→ 0, para todo funcional ϕ ∈ E 0 .
La topologı́a débil en el espacio E está, en algún sentido inducida por su
dual E 0 . Denotemos (E, w) al espacio E con la topologı́a débil.

Ejercicio 1.7.1 1. En dimensión finita ambas topologı́as coinciden.

2. En lp , xn = (xn1 , xn2 , . . .) −→w 0, si y sólo si xnk −→ 0 , cuando n −→
∞, ∀k.
3. En C[0, 1],
fn −→ 0 ⇔ kfn k∞ −→ 0
fn −→w 0 =⇒ fn (x) −→ 0, ∀x ∈ I

1.8 Espacios Reflexivos

Consideremos la aplicación canónica

J : x ∈ E −→ x00 ∈ E 00 (x00 = Jx)

definida por x00 (x0 ) = x0 (x), para todo x ∈ E 0 .

Teorema 1.8.1 La función J : E −→ E 00 es una isometrı́a lineal.

Demostración Tenemos que,

x00 (x0 )| = |(Jx (x0 ))| (1.1)

= |x0 (x)| (1.2)
≤ kx0 kkxk (1.3)

18
 Por lo tanto, Jx ∈ E 00 y kJx k ≤ kxk.
Sólo falta demostrar entonces que kJx k = kxk.
Sea x 6= 0 (si x = 0 es trivial ). Por el teorema de Hahn-Banach, existe
x ∈ E 0 tal que x0 (x) = y kx0 k = 1
0

Entonces Jx (x0 ) = x0 (x) = kxk = kxk · 1 = kxkkx0 k

Es decir, kJx k ≥ kxk 2

Definición 1.8.1 E es reflexivo si J es sobreyectiva.

Problema 1.8.1
Si | < p < ∞ entonces lp es reflexivo.
l∞ no es reflexivo.

Problema 1.8.2
c0 no es reflexivo.

Problema 1.8.3
Si E es reflexivo, entonces E 0 también es reflexivo.

19