Wuolah Free SOL3
Wuolah Free SOL3
Wuolah Free SOL3
Gettyprety
Análisis Funcional
3º Grado en Matemáticas
Facultad de Ciencias
Universidad de Granada
Solución
Daremos dos razonamientos igualmente válidos.
(a) Bastará probar que T es continuo en 0 , es decir, dada una sucesión {yn }
de vectores de X , tal que {yn } → 0 , debemos probar que {T (yn )} → 0 . Para ello
consideramos la sucesión xn = yn / kyn k1/2 . Es obvio que kxn k = kyn k 1/2 para
todo n ∈ N , luego {xn } → 0 . Por hipótesis tenemos entonces que la sucesión {T (xn )}
está acotada, es decir, existe una constante K ∈ R+ que verifica
Solución
(i) . Para cada f ∈ C[0, 1] el teorema fundamental del Cálculo nos dice que T (f )
es una función de clase C 1 en el intervalo [0, 1] , y en particular, T (f ) ∈ C[0, 1] .
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-2443406
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.
Para f, g ∈ C[0, 1] , α, β ∈ K y t ∈ [0, 1] se tiene
Z t Z t Z t
T αf + βg) (t) = αf (s) + βg(s) ds = α f (s) ds + β g(s) ds
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.
0 0 0
= α T (f ) (t) + β T (g) (t)
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-2443406
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.
Solución
También hemos visto que kT (f )kp ≤ kgk∞ kf kp para toda f ∈ Lp [0, 1] , luego T es
continuo con kT k ≤ kgk∞ . Probaremos que de hecho se tiene la igualdad.
Supongamos que p < ∞ y, sin perder generalidad, que kgk∞ > 0 pues en otro
caso no hay nada que demostrar. Fijado ε ∈ R+ con ε < kgk∞ , por definición de
supremo esencial, ha de existir un conjunto medible A ⊂ [0, 1] , con medida ρ > 0 tal
que |g(t)| ≥ kgk∞ − ε p.c.t. t ∈ A .
Considerando la función característica de A como clase de equivalencia, tenemos
claramente χA ∈ Lp [0, 1] con kχA kp = α1/p . Pero por otra parte
Z 1 Z
p p p
p
kχA gkp = χA (t) |g(t)| dt = |g(t)| p dt ≥ ρ kgk∞ − ε
0 A
y por ser ρ > 0 , tenemos kgk∞ −ε ≤ kT k . Esta desigualdad es válida para todo ε > 0
que verifique ε < kgk∞ , luego se tiene kT k ≥ kgk∞ , y concluimos que kT k = kgk∞
como queríamos.
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-2443406
Solución
Sea f un funcional lineal no nulo en un espacio normado X y veamos que f (B) es
un entorno de cero en K , donde B es la bola unidad de X . Dado ρ ∈ R+ , denotaremos
por Dρ a la bola cerrada en K , centrada en el origen y de radio ρ .
Puesto que X = R+ B , si fuese f (B) = {0} , se tendría f (X) = {0} contra la
hipótesis, luego existe u ∈ B tal que |f (u)| = ρ ∈ R+ . Para λ ∈ Dρ se tiene
λu |λ| λu
= k u k ≤ kuk ≤ 1 , luego λ = f ∈ f (B)
f (u) ρ f (u)
Dr ρ = r Dρ ⊂ r f (B) = f (r B) ⊂ f (U )
5. Sea {en } la base de vectores unidad de c0 . Probar que, para f ∈ c0∗ , las siguientes
afirmaciones son equivalentes:
Solución
En virtud de la identificación de c∗0 con l1 , se tiene
∞
X
kf k = |f (en )| ∀ f ∈ c∗0
n=1
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-2443406
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.
(i) ⇒ (ii) . Sea u ∈ c0 , con kuk∞ = 1 , tal que |f (u)| = kf k . Entonces
∞
! ∞ ∞
X X X
kf k = |f (u)| = f u(n) en ≤ |u(n)| |f (en )| ≤ |f (en )| = kf k
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.
n=1 n=1 n=1
de donde deducimos que |u(n)| |f (en )| = |f (en )| para todo n ∈ N . Puesto que u ∈ c0 ,
existe m ∈ N tal que, para n ∈ N con n ≥ m se tiene |u(n)| < 1 , y la igualdad
anterior nos dice que f (en ) = 0 .
(ii) ⇒ (i) . Suponiendo sin perder generalidad que f 6= 0 , para n ∈ N con n ≤ m ,
Xm
escribimos |f (en )| = αn f (en ) con αn ∈ K y |αn | = 1 . Tomando u = αn en , se
n=1
tiene claramente u ∈ c0 con kuk∞ = 1, y también
m
X m
X ∞
X
|f (u)| = αn f (en ) = |f (en )| = |f (en | = kf k
n=1 n=1 n=1
De nuevo la identificación de c∗0 con l1 nos dice que f ∈ c∗0 , pero f (en ) = 2−n 6= 0
para todo n ∈ N . Por tanto, f no verifica (ii) , luego tampoco (i) .
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-2443406