SOL5.

pdf

Gettyprety

Análisis Funcional

3º Grado en Matemáticas

Facultad de Ciencias
Universidad de Granada

Reservados todos los derechos.

No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
 Análisis Funcional
Soluciones a los ejercicios de la relación 5

1. Calcular el mínimo valor de la integral

Z 1
t3 − a − bt − ct2 | 2 dt
−1

para a, b, c ∈ C.

Solución
En el espacio de Hilbert complejo H = L2 [−1, 1] definimos f, u0 , u1 , u2 ∈ H por

f (t) = t3 , u0 (t) = 1 , u1 (t) = t , u2 (t) = t2

para casi todo t ∈ [−1, 1]. Claramente, el mínimo pedido es d(f, M )2 donde M es el
subespacio de H dado por M = Lin {u0 , u1 , u2 }. Para calcularlo, encontramos primero
una base ortonormal {v0 , v1 , v2 } de M , usando el método de Gramm-Schmidt.

Se tiene claramente que

Z 1 Z 1 Z 1
2 2 2
ku0 k = dt = 2 , (u1 |u0 ) = t dt = 0 , ku1 k = t2 dt =
−1 −1 −1 3

luego podemos tomar

√
u0 1 u1 3
v0 = = √ u0 y v1 = = √ u1
ku0 k 2 kuk1 2

Por otra parte vemos también que

Z 1 √ √ Z 1
1 2 2 3
(u2 |v0 ) = √ t dt = y (u2 |v1 ) = √ t3 dt = 0
2 −1 3 2 −1
√
2 1
luego tomando w = u2 − (u2 |v0 )v0 − (u2 |v1 )v1 = u2 − v0 = u2 − u0 , tenemos
3 3
Z 1 2 Z 1 
1 2 1 2 4 2 8
kwk2 = t2 − dt = t4 − t2 + dt = − + =
−1 3 −1 3 9 5 9 9 45

por lo que tomamos finalmente

√  
w(t) 3 5 2 1
v2 (t) = = √ t − p.c.t. t ∈ [−1, 1]
kwk 2 2 3

y tenemos así que {v0 , v1 , v2 } es una base ortonormal de M .

a64b0469ff35958ef4ab887a898bd50bdfbbe91a-2443409

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
 Denotando por P a la proyección ortogonal sobre M , se tiene entonces
2
X
2 2 2 2
d(f, M ) = kf k − kP (f )k = kf k − |(f |vk )|2

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
k=0

Calculamos ahora cada uno de los sumandos del segundo miembro:

Z 1 Z 1
2 1
kf k2 = t6 dt = , (f |v0 ) = √ t3 dt = 0
7 2
√ Z 1 −1 √ √ Z−11 
t3

3 4 6 3 5 5
(f |v1 ) = √ t dt = , (f |v2 ) = √ t − dt = 0
2 −1 5 2 2 −1 3
con lo que finalmente obtenemos
2 6 8
d(f, M )2 = kf k2 − (f |v1 )2 = − = 
7 25 175

2. Usando los coeficientes de Fourier de f ∈ L2 (T) , que viene dada por f (t) = t
para casi todo t ∈] − π, π[ , probar que
∞
X 1 π2
=
n=1
n2 6

Solución
Empezamos por calcular los coeficientes de Fourier de f . Por una parte se tiene
Z π
1
f (0) =
b t dt = 0
2π −π
mientras que, para n ∈ Z \ {0}, la fórmula de integración por partes nos da
Z π  −i n t  π Z π −i n t
−i n t te e
2 π f (n) =
b te dt = − dt
−π −i n −π −π −i n
i π −i n t
  Z
i −i n π inπ
= πe +πe − e dt
n n −π
π
i e−i n t (−1)n i

i
= 2π(−1)n − = 2π
n n −i n −π n

Así pues, tenemos fb(0) = 0 y fb(n) = (−1)n i/n para todo n ∈ Z \ {0}, de donde
+∞ ∞
X 2
X 1
fb(n) =2
n=−∞ n=1
n2

Usando ahora la igualdad de Bessel obtenemos

∞ Z π
X 1 1 2 1 2 1 2 π3 π2
= kf k = t dt = = 
n=1
n2 2 4π −π 4π 3 6

a64b0469ff35958ef4ab887a898bd50bdfbbe91a-2443409

si lees esto me debes un besito

Análisis Funcional
Banco de apuntes de la
 3. Sean ϕ, ψ dos seminormas en un espacio vectorial X , y sea f : X → K un
funcional lineal verificando que

|f (x)| ≤ ϕ(x) + ψ(x) ∀ x ∈ X

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
Probar que existen dos funcionales lineales g, h : X → K tales que:

f (x) = g(x) + h(x) , |g(x)| ≤ ϕ(x) , |h(x)| ≤ ψ(x) ∀x ∈ X

Solución
En el espacio vectorial producto X × X definimos

Φ(x, y) = ϕ(x) + ψ(y) ∀ (x, y) ∈ X × X

y vamos a comprobar que Φ es una seminorma en X × X. Para x, y, u, v ∈ X y λ ∈ K,

usando que ϕ y ψ son seminormas en X, se tiene


Φ (x, y) + (u, v) = Φ(x + u, y + v) = ϕ(x + u) + ψ(y + v)
≤ ϕ(x) + ϕ(u) + ψ(y) + ψ(v) = Φ(x, y) + Φ(u, v)

que es la desigualdad triangular, y por otra parte,

Φ λ(x, y) = ϕ(λx) + ψ(λy) = |λ|ϕ(x) + |λ|ψ(y) = |λ|Φ(x, y)

luego Φ es una seminorma en X × X como se quería.

Consideramos ahora la diagonal M = {(x, x) : x ∈ X} que es obviamente un
subespacio de X × X, y definimos F : M → K escribiendo

F (x, x) = f (x) ∀x ∈ X

Es evidente que F es lineal y está dominado por la seminorma Φ, ya que

|F (x, x)| = |f (x)| ≤ ϕ(x) + ψ(x) = Φ(x, x) ∀x ∈ X

Podemos pues usar la versión analítica del teorema de Hahn-Banach para obtener
un funcional lineal G : X ×X → K que extiende a F y sigue dominado por Φ. Definimos
entonces g, h : X → K escribiendo

g(x) = G(x, 0) y h(x) = G(0, x) ∀x ∈ X

Es claro que g y h son funcionales lineales en X. Como G extiende a F , se tiene

f (x) = F (x, x) = G(x, x) = G(x, 0) + G(0, x) = g(x) + h(x) ∀x ∈ X

Finalmente, usando que G está dominado por Φ, obtenemos

|g(x)| = |G(x, 0)| ≤ Φ(x, 0) = ϕ(x) + ψ(0) = ϕ(x) ∀x ∈ X

y análogamente se tiene también

|h(x)| = |G(0, x)| ≤ Φ(0, x) = ϕ(0) + ψ(x) = ψ(x) ∀x ∈ X 

a64b0469ff35958ef4ab887a898bd50bdfbbe91a-2443409

si lees esto me debes un besito

 4. Sea X es un espacio normado complejo, y f : C → X una función entera, es
decir, derivable en todo punto de C . Probar que, si f está acotada, entonces f
es constante.
Solución
Fijado ϕ ∈ X ∗ , vamos a comprobar que ϕ ◦ f : C → C es una función entera, es
decir, es derivable en todo punto z ∈ C. En efecto, por hipótesis tenemos
f (w) − f (z)
lı́m = f 0 (z) ∈ X
w→z w−z
luego usando que ϕ es lineal y continuo, obtenemos que



ϕ f (w) − ϕ f (z)
 
0

f (w) − f (z)
ϕ f (z) = lı́m ϕ = lı́m
w→z w−z w→z w−z
y esto prueba que ϕ ◦ f es derivable en todo punto z ∈ C, como se quería.

Como f está acotada, tomando M = sup{kf (z)k : z ∈ C} < ∞, se tiene

ϕ f (z) ≤ kf (z)k kϕk ≤ M kϕk ∀z ∈ C
y esto prueba que ϕ ◦ f también está acotada. Por el teorema de Liouville, deducimos
que ϕ ◦ f es constante, es decir



ϕ f (z) = ϕ f (0) ∀z ∈ C
Fijado z ∈ C, la igualdad anterior es válida para todo ϕ ∈ X ∗ . Si fuese f (z) 6= f (0),
∗
por un corolario
de extensión Hahn-Banach, existiría ϕ ∈ X con kϕk = 1,

del teorema
tal que ϕ f (z) − ϕ f (0) = kf (z) − f (0)k =6 0, en contradicción con lo ya demostrado.
Por tanto f (z) = f (0) para todo z ∈ C, es decir, f es constante, como se quería. 

5. Sea X un espacio de Banach y Z un subespacio cerrado de X ∗ , tal que Z 6= X ∗ .

Supongamos que Z separa los puntos de X , es decir,
x ∈ X , x ∗ (x) = 0 ∀ x ∗ ∈ Z =⇒ x=0
Probar que X no es reflexivo.
Solución
Como Z no es denso en X ∗ , un corolario del teorema de extensión Hahn-Banach
nos dice que Z ◦ 6= {0} y tomamos x ∗∗ ∈ Z ◦ \ {0}. Denotando por J : X → X ∗∗ a la
inyección canónica, probaremos que x ∗∗ ∈ / J(X), con lo que J no es sobreyectiva, es
decir, X no es reflexivo.
Por reducción al absurdo, supongamos que existe x ∈ X tal que x ∗∗ = J(x). Para
todo x ∗ ∈ Z se tiene entonces
x ∗ (x) = J(x) (x ∗ ) = x ∗∗ (x ∗ ) = 0

ya que x ∗∗ ∈ Z ◦ . Como, por hipótesis, Z separa los puntos de X, obtenemos que x = 0,

de donde x ∗∗ = J(0) = 0, una flagrante contradicción. 

a64b0469ff35958ef4ab887a898bd50bdfbbe91a-2443409

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
 6. Probar que un subespacio de c0 , con la norma inducida por c0 , no puede ser
isomorfo a l1 .

Solución

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
Veamos previamente que, si X es un espacio normado separable y Z un subespacio
cerrado de X, entonces el espacio normado cociente X/Z es separable. Basta para ello
observar que, si E es un conjunto numerable denso en X y q : X → X/Z es la aplicación
cociente, entonces q(E) es un conjunto
numerable denso en X/Z, puesto que por ser q
continua, se tiene X/Z = q(X) = q E ⊂ q(E).

Sea ahora M un subespacio de c0 con la norma inducida. La descripción del dual de

un subespacio nos dice que M ∗ es isométricamente isomorfo al cociente c0∗ /M ◦ , pero es
bien sabido que c0∗ es isométricamente isomorfo a l1 y, en particular, es separable. Por
la observación previa, deducimos que c∗0 /M ◦ es separable, luego M ∗ también lo es.

Si M fuese isomorfo a l1 , entonces M ∗ sería isomorfo a l1∗ , que es isométricamente

isomorfo a l∞ , luego M ∗ sería isomorfo a l∞ y, en particular, M ∗ no sería separable,
en contradicción con lo demostrado anteriormente. Así pues, M no puede ser isomorfo
a l1 como queríamos probar. 

7. Probar que, en el espacio de Banach C[0, 1] , las funciones que son derivables en
el punto 1/2 forman un conjunto de primera categoría.

Solución
Fijado n ∈ N con n ≥ 2, escribiendo a = 1/2 y an = (1/2) + (1/n) , consideramos el
funcional lineal ϕn : C[0, 1] → K dado por
f (an ) − f (a)

ϕn (f ) = = n f (an ) − f (a) ∀ f ∈ C[0, 1]
an − a
Se tiene claramente que |ϕn (f )| ≤ 2 n kf k∞ para toda f ∈ C[0, 1], luego ϕn es
continuo con kϕn k ≤ 2n , pero vamos a ver que se tiene la igualdad.

Para ello consideramos la función fn : [a, an ] → R definida por

 
a + an
fn (t) = 2 n t − ∀ t ∈ [a, an ]
2
que claramente es continua y creciente con

−1 = fn (a) ≤ fn (t) ≤ fn (an ) = 1 ∀ t ∈ [a, an ]

Por tanto, si ahora extendemos fn definiendo

fn (t) = −1 ∀ t ∈ [0, a] y fn (t) = 1 ∀ t ∈ [an , 1]

tenemos fn ∈ C[0, 1] tal que kfn k∞ = 1 y ϕn (fn ) = n fn (an )−fn (a) = 2 n. Deducimos
que kϕn k ≥ |ϕn (fn )| = 2 n, pero ya teníamos la otra desigualdad, luego kϕn k = 2 n,
como se quería. Lo dicho hasta ahora es válido para todo n ∈ N con n ≥ 2.

a64b0469ff35958ef4ab887a898bd50bdfbbe91a-2443409

si lees esto me debes un besito

 Tenemos ahora que E = {ϕn : n ∈ N , n ≥ 2} es un conjunto de funcionales
lineales continuos en el espacio de Banach C[0, 1], que no está acotado en norma. Por el
teorema de Banach-Steinhaus, los puntos de C[0, 1] en los que E está acotado forman
un conjunto de primera categoría en C[0, 1], es decir, el conjunto

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.

A = f ∈ C[0, 1] : sup {|ϕn (f )| : n ∈ N , n ≥ 2} < ∞

es de primera categoría. Pero si f ∈ C[0, 1] es derivable en el punto a = 1/2, se tiene

f (an ) − f (a)
f 0 (1/2) = lı́m = lı́m ϕn (f )
n→∞ an − a n→∞

luego el conjunto {ϕn (f ) : n ∈ N , n ≥ 2} está acotado, es decir, f ∈ A. Así pues,

como A es de primera categoría en C[0, 1], el conjunto las funciones continuas que son
derivables en el punto 1/2 también lo es. 

8. Sea y ∈ K N una sucesión

X de escalares y sea 1 < p < ∞ . Supongamos que, para
todo x ∈ lp , la serie x(n)y(n) está acotada. Probar que y ∈ lp∗ .
n≥1

Solución
Fijado n ∈ N consideramos el funcional lineal ϕn : lp → K definido por
n
X
ϕn (x) = x(k) y(k) ∀ x ∈ lp
k=1

La identificación del espacio dual de lp con lp∗ nos dice claramente que

n
!1/p∗
p∗
X
ϕn ∈ lp∗ con kϕn k = |y(k)| ∀n ∈ N
k=1

Fijado x ∈ lp , tenemos por hipótesis que la sucesión {ϕn (x)} está acotada. Vemos
por tanto que {ϕn } es una sucesión de funcionales lineales y continuos en el espacio de
Banach lp , que está puntualmente acotada en lp . Por el teorema de Banach-Steinhaus,
dicha sucesión está acotada en norma.

Tomando M = sup{kϕn k : n ∈ N} < ∞ tenemos entonces

n
∗ ∗ ∗
X
|y(k)| p = kϕn k p ≤ M p ∀n ∈ N
k=1

∗
X
Por tanto, la serie |y(n)| p es convergente, es decir, y ∈ lp∗ como se quería. 
n≥1

a64b0469ff35958ef4ab887a898bd50bdfbbe91a-2443409

si lees esto me debes un besito

 9. Sea X un espacio de Banach y T : X → lp un operador lineal, donde 1 ≤ p ≤ ∞ .
Para cada n ∈ N se considera el funcional lineal ϕn : X → K definido por


ϕn (x) = T (x) (n) ∀ x ∈ X
Probar que T es continuo si, y sólo si, ϕn ∈ X ∗ para todo n ∈ N .
Solución
Para todo n ∈ N, podemos escribir ϕn = ψn ◦ T , donde ψn : lp → K viene definido
por ψn (y) = y(n) para todo y ∈ lp , siendo evidente que ψn ∈ lp∗ . Si T es continuo, para
todo n ∈ N se tiene que ϕn es continuo, por ser una composición de funciones continuas.
El recíproco es caso particular de un corolario al teorema de la gráfica cerrada, pero es
casi más fácil deducirlo directamente del teorema.

Suponiendo que ϕn ∈ X ∗ para todo n ∈ N, queremos demostrar que T es continuo.

Como X y lp son espacios de Banach, por el teorema de la gráfica cerrada basta probar
que T tiene gráfica cerrada. Por tanto, si {xn } es una sucesión convergente a cero en X,
tal que {T (xn )} → y ∈ lp , debemos probar que y = 0. Fijado k ∈ N, usando que ψk es
continuo tenemos que {ϕk (xn )} = {ψk (T (xn ))} → ψk (y) = y(k), pero por otra parte,
como por hipótesis ϕk es continuo, de {xn } → 0 también deducimos que {ϕk (xn )} → 0.
Por tanto y(k) = 0, lo cual es válido para todo k ∈ N, luego y = 0 como se quería. 

10. Sean X e Y espacios de Banach y T ∈ L(X, Y ) . Probar que las siguientes

afirmaciones son equivalentes:


a) Existe S ∈ L(Y, X) tal que S T (x) = x para todo x ∈ X
b) T es inyectivo y T (X) es un subespacio complementado de Y .
Solución


(a) ⇒ (b). Si x ∈ X verifica que T (x) = 0, se tiene x = S T (x) = S(0) = 0,
luego T es inyectivo. Tomando P = T ◦ S, como S ◦ T es la identidad en X, tenemos
claramente que
P ◦ P = T ◦ (S ◦ T ) ◦ S = T ◦ S = P
luego P es una proyección lineal y continua en Y . Por
tanto, P (Y ) es un subespacio
complementado de Y . Ahora bien, como x = S T (x)
∈ S(Y ) para todo x ∈ X,
se tiene que S(Y ) = X, de donde P (Y ) = T S(Y ) = T (X). Así pues, T (X) está
complementado en Y .

(b) ⇒ (a). Como T (X) está complementado en Y , en particular T (X) es cerrado

en Y , luego T (X) es un espacio de Banach. Si llamamos T0 al mismo operador T , pero
visto como operador lineal continuo y biyectivo de X sobre T (X), el teorema de los
isomorfismos de Banach nos dice que T0−1 es continuo. Si ahora P es una proyección
lineal y continua de Y sobre T (X), podemos tomar S = T0−1 ◦ P ∈ L(Y, X) . Basta ya
observar que, para todo x ∈ X se tiene
S T (x) = T0−1 P (T (x)) = T0−1 T (x) = x

con lo que hemos probado (b). 

a64b0469ff35958ef4ab887a898bd50bdfbbe91a-2443409

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.