1 Ejercicios Clase 1

1. Sea (X , k k) un espacio normado. Probar que las operaciones

X × X 3 (x, y) 7→ x + y ∈ X , F × X 3 (α, x) 7→ αx ∈ X

son continuas. Aquı́ X × X se considera con la norma k(x, y)k = kxk + kyk, y de
modo similar, para (α, x) ∈ F × X , k(α, x)k = |α| + kxk.

2. Sea n ≥ 1 entero fijo. Consideremos el espacio

C (n) [0, 1] = {f : [0, 1] 7→ F : f es C n en [0, 1]}

con la norma kf k = sup0≤k≤n sup0≤t≤1 |f k (t)|. Probar que es una norma y que
(C (n) [0, 1], k k) es completo.

3. Sea

Wp1 [0, 1] = {f : [0, 1] 7→ F : f absolutamente continua en [0, 1], f 0 ∈ L2 [0, 1]}.

Observación: f es absolutamente continua si existe g ∈ L1 [0, 1] tal que

Z x
f (x) = f (0) + g(t)dt.
0

En este caso, f ∈ Wp1 [0, 1] si adicionalmente, g (que es f 0 pp) está en L2 [0, 1] (que
está incluido estrecamente en L1 [0, 1]).
Proba que Wp1 [0, 1] es un espacio de Banach con la norma (probar que es norma)

kf k = kf kp + kf 0 kp .

4. Sea X un espacio normado, Y ⊂ X un subespacio cerrado. Probar que en el espacio

vectorial cociente X /Y, la cantidad

k[x]k = inf{kx + yk : y ∈ Y} = dist(x, Y)

es una norma.

2 Ejecicios Clase 2
5. Probar que si A : X → Y es acotado y lineal entre los espacios normados X , Y,
entonces

sup{kAxk : x ∈ X , kxk ≤ 1} = inf{c ≥ 0 : kAxk ≤ ckxk, para todo x ∈ X }.

1
 6. Sea T : `p → `p (1 ≤ p ≤ ∞) el co-shift:

T (x1 , x2 , x3 , . . . ) = (x2 , x3 , . . . ).

Calcular kT k.

7. Sea X normado y ϕ : X → F lineal. Entonces ϕ es acotado si y solo si N (ϕ) es

cerrado.

3 Ejercicios Clase 3
8. Sean
c0 = {x = (x1 , x2 , . . . ) : lim xn = 0}
n→∞

con la norma kxk∞ = sup1≤n<∞ |xn |,

∞
X
1
` = {y = (y1 , y2 , . . . ) : |yn | < ∞}
n=1
P∞
con la norma kyk1 = n=1 |yn |, y

`∞ = {z = (z1 , z2 , . . . ) : sup |yn | < ∞}

1≤n≤∞

también con la norma k k∞ (es decir, las normas usuales para estos espacios). Com-
probar que para x ∈ c0 , y ∈ `1 y z ∈ `∞ , las cantidades x • y = ∞
P
n=1 xn yn , y y • z
están bien definidas (convergen), y que los mapas

c∗0 → `1 , x 7→ ϕx ,

dado por ϕx (y) = x • y, y

(`1 )∗ 7→ `∞ , y 7→ ϕy ,
dado por ϕy (z) = y • z son (ambos) isomorfismos lineales e isométricos.

4 Ejercicios Clase 4
9. Probar que c0 es separable, pero `∞ no lo es. Concluir que c0 no es reflexivo.

10. Si x = (x1 , x2 , . . . ) ∈ c0 , probar que

X X
kxk∞ = sup{ xk yk : {yk } es finita y |yk | = 1}.
k k

Sugerencia: usar Hahn-Banach.

11. Probar que Rn no se puede descomponer como una unión numerable de subespacios.

2
 4.1 Repaso sobre temas anteriores

12. Sea (X , k k) espacio normado. Probar que son equivalentes:

(a) X es Banach.
(b) {x ∈ X : kxk ≤ 1} es completo.
(c) {x ∈ X : kxk = 1} es completo.
(d) Si {xn }n≥1 es una sucesión de elementos de X , entonces
X X
kxn k converge =⇒ xn converge.
n≥1 n≥1

13. Ejercicio super importante (lo veremos luego en clase): Lema de Riesz.
Sea (E, k k) un espacio normado, F ⊂ E un subespacio cerrado (F 6= E). Sea
0 < r < 1 fijo. Entonces existe xr ∈ E al que
kxr k = 1, y d(xr , F ) ≥ r.
Sugerencia: tomar x0 ∈ E \ F y sea d = d(x0 , F ). Encontrar y0 ∈ F tal que
−y0
0 < kx0 − y0 k < dr . Ver que xr = kxx00 −y 0k
sirve.

14. Sea (E, k k) normado. Probar que E tiene dimensión finita si y solo si {x ∈ E :
kxk ≤ 1} es compacto.
Sugerencia: usar el Lema de Riesz.

15. Sea X espacio de Banach. Un operador A ∈ B(X ) (lineal y acotado de X a X ) se

dice inversible si existe B ∈ B(X ) tal que AB = IdX y BA = IdX .
Sea T ∈ B(X ), con kT k < 1. Probar que A = IdX − T es inversible.
Sugerencia: mostrar que B = IdX + ∞ k
P
k=1 T es una serie convergente en B(X ), cuyo
resultado es la inversa de A. Aquı́ T k quiere decir componer a T consigo mismo k
veces.

16. Operadores de multiplicación

Sea ϕ ∈ L∞ (X, µ), 1 < p < ∞; considere
Mϕ : Lp (X, µ) → Lp (X, µ), Mϕ f = ϕf.
Comprobar que Mϕ está bien definido, es lineal, acotado y que kMϕ k ≤ kϕk∞ (más
aún: vale kMϕ k = kϕk∞ ).
Estos operadores son considerados la generalización de los operadores/matrices diag-
onales: si X = {1, 2, . . . , n} y µ = # (contar), entonces Lp (X, µ) ' Fn (isomorfismo
isométrico si en F ponemos la norma p). Con este isomorfismo, Mϕ es el operador
que consiste en
(x1 , x2 , . . . , xn ) 7→ (ϕ(1)x1 , ϕ(2)x2 , . . . , ϕ(n)xn ).

3
 5 Ejercicios clase 5
17. Sean X , Y espacios de Banach, y {Tn } ⊂ B(X , Y) (una sucesión de operadores
lineales y acotados) con la propiedad que para cada v ∈ X , Tn v → T v (Tn ”converege
puntualmente” en cada v ∈ X ).

(a) Probar que T es lineal y acotado.

(b) Probar que si {xn } ⊂ X cumple que xn → x, entonces Tn xn → T x.

18. Sea T : X → Y un operador lineal y acotado entre espacios de Banach, con la

propiedad de que R(T ) (el rango o imagen de T ) es cerrado en Y.
R(T )
(a) Si además T es inyectivo, entonces la biyección T : X → R(T ) (T co-
restringida a R(T )) tiene inversa acotada.
(b) En general (T no necesariamente inyectiva, siempre con rango cerrado), si
llamamos [T ] al operador inducido en el cociente:
[T ] : X /N (T ) → Y, [T ]([x]) = T x,
probar que [T ] está bien definido, es lineal y acotado y que R(T ) = R([T ]).
Concluir que existe una inversa acotada para [T ] co-restringida a R(T ).

19. Sea Ω un espacio topológico compacto y Hausdorff (puede hacer el ejercicio para
un Ω ⊂ Rn si prefiere), y considere S ⊂ C(Ω × Ω) el conjunto de funciones que
son conmbinaciones lineales de funciones de variables separadas. Es decir, si f ∈ S,
f (s, t) = g1 (s)h1 (t) + · · · + gk (s)hk (t), donde gi , hj ∈ C(Ω). Probar que S es denso
en C(Ω × Ω).

References
[1] Conway, John B. A first course in analysis. Cambridge Mathematical Textbooks.
Cambridge University Press, Cambridge, 2018.

[2] Kolmogorov, A. N.; Fomin, S. V. Elementos da teoria das fun C cões e de análise
funcional. (Portuguese) [[Elements of the theory of functions and functional analy-
sis]] Translated from the Russian by M. Dombrovsky [M. Dombrovski U ı]. “Mir”,
Moscow, 1982.

[3] Lax, Peter D. Functional analysis. Pure and Applied Mathematics (New York).
Wiley-Interscience [John Wiley & Sons], New York, 2002.

[4] Riesz, Frigyes; Sz.-Nagy, Béla. Functional analysis. Translated from the second
French edition by Leo F. Boron. Reprint of the 1955 original. Dover Books on
Advanced Mathematics. Dover Publications, Inc., New York, 1990.