Pontificia Universidad Católica de Chile

Facultad de Matemáticas
Segundo Semestre 2023

Ayudantı́a 2
MAT2555/MAT255I - Análisis Funcional
Fecha: 18 de agosto de 2023

1) Considere C([0, 1]) con la norma ∥ · ∥∞ . Sea I : C([0, 1]) → C([0, 1]) definida por
Z x
I(f ) := f (t)dt
0

(a) Demuestre que I es un operador lineal continuo

(b) Calcule ∥I∥
2) Sean V un espacio vectorial normado, W un espacio de Banach y sea U ⊆ V un subespacio. Sea
T : U → W un operador lineal acotado. Demuestre que existe una única extensión T : U → W de T
tal que T es un operador lineal acotado. Demuestre además que ∥T ∥ = ∥T ∥
1 1
3) Sean p ∈ (1, ∞) y q tal que + =1
p q
(a) Para x ∈ ℓq \{0}, sea x∗ := ∥x∥1−q
q (|x1 |q−1 , ..., |xn |q−1 , ...). Demuestre que x∗ ∈ ℓp y calcule ∥x∗ ∥p
(b) Demuestre que existe un isomorfismo isométrico entre ℓq y (ℓp )∗
(c) Demuestre que existe un isomorfismo isométrico entre ℓ∞ y (ℓ1 )∗
Nota: un isomorfismo isométrico es un isomorfismo lineal T : V → W tal que ∥T v∥W = ∥v∥V para
todo v ∈ V
4) Sea c0 el espacio de las sucesiones que convergen a 0 equipado con la norma de ℓ∞ y sea φ : c0 → R
definida por
∞
X xn
φ(x) =
n=1
2n

(a) Demuestre que φ ∈ (c0 )∗

(b) ¿Existe x ∈ c0 tal que ∥x∥∞ = 1 y φ(x) = ∥φ∥?