ANÁLISIS FUNCIONAL – TAREA 2

ALDAIR SAUCEDO

Parte I. Probar el teorema siguiente inspirándose de la prueba del teorema de Ascoli:

Teorema. Sea X un espacio topológico y S un conjunto denso en X. Sea (Y, d) un espacio

métrico completo y (fn )n∈N una sucesión de aplicaciones de X en Y , equicontinua sobre
X y puntualmente convergente sobre S. Entonces (fn )n∈N converge uniformemente sobre
todo compacto de X y por tanto puntualmente sobre X.

Demostración. Sea K un subconjunto compacto de X, y sea ε > 0 fijo. Para cada

a ∈ X, existe una vecindad Ua ⊂ X de a tal que
ε
si x ∈ Ua , entonces ∀n ∈ N, d(fn (x), fn (a)) < ,
6
con lo que si x, y ∈ Ua , entonces
(1) d(fn (x), fn (y)) ≤ d(fn (x), fn (a)) + d(fn (a), fn (y))
ε ε ε
< + = para cada n ∈ N.
6 6 3
Como [
K⊂ Ua
a∈X
y K es compacto, existen a1 , . . . , aN ∈ X tales que
N
[
K⊂ Uai .
i=1
Al ser S un conjunto denso en X, para cada i ∈ {1, . . . , N } existe si ∈ S tal que si ∈ Uai ;
además, (fn (si ))n∈N converge (por hipótesis), así que es de Cauchy, i.e., existe n0 ∈ N
tal que
ε
(2) si n, m ≥ n0 , entonces d(fn (si ), fm (si )) < .
3
Así pues, sea x ∈ K es arbitrario. Existe i0 ∈ {1, · · · , N } tal que x ∈ Uai0 , y ya que
si0 ∈ Uai0 , a partir de (1) y (2) se deduce que si n, m ≥ n0 , entonces
d(fn (x), fm (x)) ≤ d(fn (x), fn (si0 )) + d(fn (si0 ), fm (si0 )) + d(fm (si0 ), fm (x))
ε ε ε
< + +
3 3 3
=ε
y
sup d(fn (x), fm (x)) ≤ ε.
x∈K
Esto demuestra que (fn )n∈N es de Cauchy en (C(K, Y ), d∞ ), que es completo (al ser
(Y, d) completo); por tanto converge en (C(K, Y ), d∞ ), o equivalentemente, converge
uniformemente sobre K.
1
2 ALDAIR SAUCEDO

La convergencia puntual sobre X se deduce a partir de que {x} es un compacto de X

para cada x ∈ X.

Parte II. Queremos probar el teorema de Banach-Alaoglu para un espacio normado

separable:

Teorema (Banach-Alaoglu). Una sucesión acotada de formas lineales continuas sobre

un espacio vectorial normado separable (E, ∥ · ∥) admite una sub-sucesión que converge
puntualmente a una forma lineal continua sobre E.

Sea (E, ∥ · ∥) un espacio vectorial normado separable y (φn )n∈N una sucesión acotada
de formas lineales continuas sobre E.
1. Muestre que (φn )n∈N es equicontinua sobre E.
2. Sea (xn )n∈N una sucesión densa en E. Muestre que podemos suponer que (φn (xk ))n∈N
converge para todo k ∈ N (después de la extracción de una sub-sucesión).
3. Muestre que (φn )n∈N admite una sub-sucesión (φni )i∈N tal que (φni (x))i∈N con-
verge para todo x ∈ E (usar la Parte I).
4. Muestre que φ(x) = lı́m φni (x) es una forma lineal continua sobre E.
i→+∞

Demostración. 1. Sea a ∈ E y ε > 0. Por hipótesis existe M > 0 tal que

∀n ∈ N, ∥φn ∥ ≤ M.

Así pues, Ua = B(a, ε/M ) es una vecindad de a, y si x ∈ Ua , entonces

ε
∥x − a∥E <
M
y, por tanto, para cada n ∈ N tenemos

|φn (x) − φn (a)| = |φn (x − a)|

≤ ∥φn ∥ ∥x − a∥E
< ε.

2. Sea x ∈ E fijo. Para cada n ∈ N tenemos

|φn (x)| ≤ ∥φn ∥ · ∥x∥E ≤ M ∥x∥E .

Esto significa que, para cada x ∈ E, (φn (x))n∈N es una sucesión acotada de
C, y por tanto admite una sub-sucesión convergente. En particular: (φn (x0 ))n∈N
está acotada, y admite una sub-sucesión (φf0 (n) (x0 ))n∈N convergente. Así mis-
mo, (φf0 (n) (x1 ))n∈N está acotada, y admite una sub-sucesión (φf1 ◦f0 (n) (x1 ))n∈N
convergente; también (φf1 ◦f0 (n) (x2 ))n∈N está acotada, así que admite una sub-
sucesión (φf2 ◦f1 ◦f0 (n) (x2 ))n∈N convergente. Continuando de esta forma, obtene-
mos el arreglo

(φf0 (0) (x0 ) (φf0 (1) (x0 ) (φf0 (2) (x0 ) ···
(φf0 ◦f1 (0) (x1 ) (φf0 ◦f1 (1) (x1 ) (φf0 ◦f1 (2) (x1 ) ···
(φf0 ◦f1 ◦f2 (0) (x2 ) (φf0 ◦f1 ◦f2 (1) (x2 ) (φf0 ◦f1 ◦f2 (2) (x2 ) ···
.. .. .. ..
. . . .
 ANÁLISIS FUNCIONAL – TAREA 2 3

Definamos

g:N→N
i 7→ ni = f0 ◦ f1 ◦ · · · ◦ fi (i)

No es difícil ver que g es creciente. Del procedimiento diagonal de Cantor, se deduce

que (φni )i∈N es una sub-sucesión de (φn )n∈N tal que (φni (xk ))i∈N converge para
todo k ∈ N.
3. Claramente (φni )i∈N es equicontinua sobre E (ya que (φn )n∈N es equicontinua
sobre E) y es puntualmente convergente sobre S = {xk : k ∈ N}, que es denso en
E. Además, (C, | · |) es completo. Por tanto, de la Parte I se deduce que (φni )i∈N
converge puntualmente sobre X.
4. Veamos que φ es lineal: sean x, y ∈ X y λ ∈ C. Para cada i ∈ N tenemos

φni (x + λy) = φni (x) + λφni (y),

y tomando el límite cuando i → +∞ se deduce que

φ(x + λy) = φ(x) + λφ(y).

La aplicación φ es continua: sea x ∈ E fijo. Para cada i ∈ N,

|φni (x)| ≤ ∥φni ∥ · ∥x∥E ≤ M ∥x∥E ,

y tomando el límite cuando i → +∞ se deduce que

|φ(x)| ≤ M ∥x∥E .

Esto prueba que φ es continua y ∥φ∥ ≤ M .

Parte III. Queremos probar que existe una métrica d sobre BE ∗ tal que (BE ∗ , d) es
compacto y tal que la convergencia respecto a d equivale a la convergencia puntual. Sea
(E, ∥ · ∥) un espacio vectorial normado separable y (ek )k∈N una sucesión densa en BE .
Para λ, µ ∈ BE ∗ definimos
+∞
X
d(λ, µ) = 2−k |λ(ek ) − µ(ek )| .
k=1

1. Muestre que d es una distancia sobre BE ∗ y que d(λn , λ) → 0 si y solo si (λn )n∈N
converge puntualmente a λ sobre E.
2. Muestre que (BE ∗ , d) es compacto.

Demostración. 1. Notemos que d está bien definida: si λ, µ ∈ BE ∗ , entonces

+∞
X 1
d(λ, µ) ≤ ∥λ − µ∥ < +∞.
2k
k=1

Sea S = {ek : k ∈ N}. Veamos que d es una distancia: sean λ, µ, ν ∈ BE ∗ .

d(λ, µ) = 0 si y solo si ∀k ∈ N, λ(ek ) = µ(ek )

si y solo si ∀x ∈ BE , λ(x) = µ(x) (S denso, λ, µ ∈ E ∗ y C es T 2 )
si y solo si ∀x ∈ E, λ(x) = µ(x) (∀x ∈ E \ {0}, x/ ∥x∥ ∈ BE )
4 ALDAIR SAUCEDO

Evidentemente d(λ, µ) = d(µ, λ). Por último

+∞
X
d(λ, ν) = 2−k |λ(ek ) − ν(ek )|
k=1
+∞
X
≤ 2−k (|λ(ek ) − µ(ek )| + |µ(ek ) − ν(ek )|)
k=1
+∞
X +∞
X
= 2−k |λ(ek ) − µ(ek )| + 2−k |µ(ek ) − ν(ek )|
k=1 k=1
= d(λ, µ) + d(µ, ν).
Supongamos primero que d(λn , λ) → 0 cuando n → +∞. Veamos que (λn )n∈N
converge puntualmente a λ: sea x ∈ E y ε > 0 fijo. Podemos suponer, sin pérdida
de generalidad, que x ∈ BE (si no, aplicar el resultado para x/ ∥x∥). Como S es
denso, existe k0 ∈ N tal que
ε
∥x − ek0 ∥ < .
3
Por hipótesis, existe N ∈ N tal que
+∞
X ε
si n ≥ N, entonces 2−k |λn (ek ) − λ(ek )| < .
3 · 2k0
k=1
−k0
Como 2 |λn (ek0 ) − λ(ek0 )| ≤ d(λn , λ), se deduce que
ε
|λn (ek0 ) − λ(ek0 )| < si n ≥ N.
3
Así pues, si n ≥ N , entonces
|λn (x) − λ(x)| ≤ |λn (x) − λn (ek0 )| + |λn (ek0 ) − λ(ek0 )| + |λ(ek0 ) − λ(x)|
≤ ∥λn ∥ ∥x − ek0 ∥ + |λn (ek0 ) − λ(ek0 )| + ∥λ∥ ∥x − ek0 ∥
ε ε ε
< + +
3 3 3
= ε.
Recíprocamente, supongamos que (λn )n∈N converge puntualmente a λ, y probemos
que d(λn , λ) → 0. Sea ε > 0. La hipótesis implica que, para cada k ∈ N,
lı́m |λn (ek ) − λ(ek )| = 0.
n→+∞

Para n ∈ N, definamos
fn : N → C
k 7→ 2−k |λn (ek ) − λ(ek )|
Entonces, para cada k ∈ N,
lı́m fn (k) = 0.
n→+∞

y para cada n ∈ N,
|fn (k)| ≤ 2−k (∥λn ∥ + ∥λ∥) ∥ek ∥E ≤ 2 · 2−k .
Como
+∞
X
2 · 2−k = 2 < +∞,
k=0
 ANÁLISIS FUNCIONAL – TAREA 2 5

por el teorema de convergencia dominada deducimos que

+∞
X
lı́m d(λn , λ) = lı́m fn (k) = 0.
n→+∞ n→+∞
k=1
2. Sea (λn )n∈N una sucesión en BE ∗ . Entonces está acotada (por M = 1), y E es
separable; por el teorema de Banach-Alaoglu admite una sub-sucesión (λni )i∈N
que converge puntualmente a λ ∈ E ∗ , y de hecho λ ∈ BE ∗ (como ya vimos en 4
de la Parte II). Por el inciso anterior d(λni , λ) → 0 cuando i → +∞, i.e. (λni )i∈N
converge a λ en (BE ∗ , d).
Esto demuestra que (BE ∗ , d) es secuencialmente compacto, y por lo tanto es
compacto.

Parte IV. Veremos una versión del teorema de Banach-Alaoglu válida en un espacio no
necesariamente separable. Sin embargo, el enunciado anterior es falso en un espacio no
separable: muestre que la sucesión de formas lineales (φn )n∈N definidas por φn (x) = xn
sobre l∞ no admite ninguna sub-sucesión que converge puntualmente.

Demostración. Sabemos que l∞ no es separable. Sea n ∈ N fijo. Claramente φn es

lineal. Veamos que φn es continua: si x ∈ l∞ , entonces
|φn (x)| = |xn | ≤ ∥x∥∞ .
Esto demuestra que φn es continua y ∥φn ∥ ≤ 1. Por tanto (φn )n∈N es una sucesión
acotada de formas lineales continuas sobre l∞ .
Sea (φnj )j∈N una sub-sucesión de (φn )n∈N , y definamos
x:N→C
(
(−1)j , si existe j ∈ N tal que k = nj
k 7→
0, en otro caso
Claramente x ∈ l∞ , pero φnj (x) = (−1)j , con lo que (φnj (x))j∈N no converge.
Conclusión: (φnj )j∈N no converge puntualmente.