Pontificia Universidad Católica de Chile

Facultad de Matemáticas
Segundo Semestre 2023

Ayudantı́a 5
MAT2555/MAT255I - Análisis Funcional
Fecha: 8 de septiembre de 2023

1) Sea M ⊆ L2 ([0, 1]) el subespacio de los elementos g ∈ L2 ([0, 1]) tales que
Z 1
g=0
0

Sea f (x) = x2 . Calcule d(f, M )

2) Sea H un espacio de Hilbert y sean S1 , S2 ⊆ H cerrados, convexos y no vacı́os. Sean P1 , P2 sus
respectivas proyecciones ortogonales. Demuestre que P = P1 P2 es una proyección ortogonal si y solo
si P1 P2 = P2 P1 . Determine el conjunto que tiene como proyección ortogonal a P
3) (a) Demuestre que L2 ([0, 1]) es separable
(b) Demuestre que L2 (R) es separable
4) Sea V un espacio normado y B = (en )n∈N ⊆ V . Diremos que B es una base de Schauder si para todo
v ∈ V existe una única sucesión (αn )n∈N ⊆ K tal que
∞
X
v= αn en
n=1

(a) Demuestre que todo espacio de Hilbert separable admite una base de Schauder
(b) Sea en la sucesión que vale 1 en la n-ésima coordenada y 0 en las demás. Demuestre que (en )n∈N
es una base de Schauder para ℓp para p ∈ [1, ∞)
(c) Demuestre que si V admite una base de Schauder, entonces V es separable
(d) Demuestre que ℓ∞ no es separable
(e) ¿Por qué (en )n∈N no es una base de Schauder de ℓ∞ ?