Facultad de Ciencias Departamento de Matemáticas
Grado de Fı́sica
Análisis Funcional
Segundo curso Examen final 14 de julio de 2020
Ejercicio 1. Se considera en C([0, 1]), espacio vectorial real de las funciones reales y
∫1
continuas en el intervalo [0, 1], la normas ∥f ∥∞ = máx |f (x)| y ∥f ∥1 = 0 |f (x)|dx,
x∈[0,1]
donde f ∈ C([0, 1]). Para cada n ∈ N se define la función:
{ [ )
1 − nx si x ∈ 0, n1
fn (x) = [ ]
0 si x ∈ n1 , 1
(i) (1 punto). Probar que la sucesión (fn )n≥1 no es de Cauchy con la norma ∥ · ∥∞ .
(ii) (1 punto). Probar que la sucesión (fn )n≥1 es de Cauchy con la norma ∥ · ∥1 .
Solución: (i) Observemos que negar que una sucesión (xn )n≥1 en un espacio normado
(X, ∥ · ∥) es de Cauchy es probar que:
∃ ε > 0 : ∀n0 ∈ N , ∥xn0 − xm ∥ > ε para algún m > n0 .
La sucesión (fn )n≥1 no es de Cauchy con la norma ∥ · ∥∞ porque tomando m = 2n se
verifica [ 1 1]
|f2n (x) − fn (x)| = |1 − nx| si x ∈ , ,
2n n
1
en particular para el valor x = 2n se verifica:
( 1 ) ( 1 ) 1
f2n − fn = .
2n 2n 2
Por tanto
1
∥f2n − fn ∥∞ ≥ .
2
(ii) Tenemos
∫ 1 ∫ 1 ∫ 1
∥fn − fm ∥1 = |fn (x) − fm (x)|dx ≤ |fn (x)|dx + |fm (x)|dx =
0 0 0
1 1
= + −−−−−−→ 0
2n 2m n, m→∞
Ejercicio 2. Sean h, f, fn medibles, tales que |fn | ≤ h, h2 es Lebesgue integrable en [0, 1]
y fn −→ f c.t.p.
(i) (1 punto). Probar que |f |2 es Lebesgue integrable en [0, 1].
(ii) (1 punto). Probar que
∫
lı́m |fn − f |2 dλ = 0.
n→∞ [0,1]
Solución: (i) Como |fn |2 ≤ h2 , tendremos |f |2 ≤ h2 y por tanto |f |2 es Lebesgue integrable
en [0, 1].
(ii) Las fn y la f son finitas en c.t.p. y en esos puntos
( )2
|fn − f |2 ≤ |fn | + |f | ≤ (2h)2 .
Como la función (2h)2 es Lebesgue integrable en [0, 1], entonces el resultado se sigue del
Teorema de la convergencia dominada.
Ejercicio 3. Sea
( )
T : C([0, 1]), ∥ · ∥2 −→ (R, | · |)
∫1
f −→ 0 f (t) sin(πt)dt,
(∫1 )1
donde ∥f ∥2 = 0 |f (t)|2 dt 2 , para cada f ∈ C([0, 1]).
(i) (0,5 puntos). Probar que la aplicación T es lineal .
(ii) (1,5 puntos). Estudiar si la aplicación T es continua, y en caso afirmativo calcular
su norma.
Solución: (i) Trivial.
(ii) Tenemos por la Desigualdad de Hölder
∫ 1
|T (f )| ≤ |f (t)|| sin(πt)|dt ≤ ∥ sin(πt)∥2 ∥f ∥2 .
0
Por tanto T es continua.
sin(πt)
Si tomamos f0 = ∥ sin(πt)∥ 2
, obtenemos que
∫ 1 ∫ 1
sin(πt)
T (f0 ) = f0 (t) sin(πt)dt = sin(πt)dt =
0 0 ∥ sin(πt)∥2
∫ 1
1 1
= sin2 (πt)dt = ∥ sin(πt)∥2 = √ .
∥ sin(πt)∥2 0 2
Ejercicio 4. (2 puntos). En R3
con el producto escalar usual, calcular la proyección del
vector (1, 0, 0) sobre el subespacio M = {(x, y, z) ∈ R3 : x + y = 0}.
Solución: Una base de M es {(1, −1, 0), (0, 0, 1)}. M ⊥ está dado por:
{ {
⊥ ⟨(x, y, z), (1, −1, 0)⟩ = 0 x−y =0
(x, y, z) ∈ M ⇐⇒ ⇐⇒
⟨(x, y, z), (0, 0, 1)⟩ = 0 z=0
Descomponemos (1, 0, 0) como suma de un vector de M y otro de M ⊥
(1, 0, 0) = (a, b, c) + (1 − a, −b, −c)
con (a, b, c) ∈ M y (1 − a, −b, −c) ∈ M ⊥ . Ası́ que
a+b=0
(1 − a) − (−b) = 0
−c = 0
Por tanto
1 1
a = , b = − , c = 0.
2 2
Luego (1
1 )
,− ,0 .
PM (1, 0, 0) =
2 2
Ejercicio 5. (2 puntos). Sea H un espacio de Hilbert. Sean A, B : H −→ H dos
operadores autoadjuntos. Probar que el operador AB es autoadjunto si y sólo si AB = BA.
Solución: Supongamos que AB es autoadjunto, entonces
= = =
⟨ABx, y⟩(AB autoadjunto)⟨x, ABy⟩(A autoadjunto)⟨Ax, By⟩(B autoadjunto)⟨BAx, y⟩.
Ası́ que
⟨ ⟩
(AB − BA)x, y = 0, ∀ y ∈ H.
Por tanto
(AB − BA)x = 0, ∀ x ∈ H.
Luego
AB = BA.
Supongamos que AB = BA. Hay que probar que:
⟨ABx, y⟩ = ⟨x, ABy⟩
= = =
⟨ABx, y⟩(A autoadjunto)⟨Bx, Ay⟩(B autoadjunto)⟨x, BAy⟩(BA=AB)⟨x, ABy⟩.
