Análisis Funcional – 2012 - Departamento de Matemática ...
Análisis Funcional – 2012 - Departamento de Matemática ...
Análisis Funcional – 2012 - Departamento de Matemática ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Universidad Nacional <strong>de</strong> La Plata <strong>–</strong> Facultad <strong>de</strong> Ciencias Exactas <strong>–</strong> <strong>Departamento</strong> <strong>de</strong> <strong>Matemática</strong><br />
<strong>Análisis</strong> <strong>Funcional</strong> <strong>–</strong> <strong>2012</strong><br />
Trabajo Práctico N o 3 <strong>–</strong> Operadores sobre espacios <strong>de</strong> Banach: Teoremas <strong>de</strong><br />
la Aplicación Abierta y <strong>de</strong>l Gráfico Cerrado y Ppio. <strong>de</strong> Acotación Uniforme<br />
Ejercicio 1. Sean E y F dos espacios normados. Dado T ∈ Hom(E, F ), sea<br />
Probar que:<br />
1. T = sup<br />
x∈E, xE=1<br />
2. T ∈ C(E, F ) ⇐⇒ T < ∞.<br />
T = sup T xF : x ∈ E y xE ≤ 1 .<br />
<br />
<br />
T xF = mín M ≥ 0 : T xF ≤ M xE para todo x ∈ E .<br />
Ejercicio 2. Calcular la norma <strong>de</strong>l operador <strong>de</strong> multiplicación T ∈ L(SF ) dado por<br />
<br />
T x =<br />
<br />
(1 − 1<br />
n ) xn<br />
para cada x = (xn)n∈ N ∈ SF . Probar que, dado 1 ≤ p ≤ ∞, se pue<strong>de</strong> exten<strong>de</strong>r a L(ℓ p ) manteniendo<br />
su norma.<br />
Ejercicio 3.<br />
1. Dada ϕ ∈ C[0, 1], consi<strong>de</strong>remos el operador Mϕ : (C[0, 1], ∞) → (C[0, 1], ∞) <strong>de</strong>finido por<br />
Probar que Mϕ ∈ L(C[0, 1]) y calcular su norma.<br />
n∈N<br />
Mϕ(f) = ϕf para cada f ∈ C[0, 1]. (1)<br />
2. Dada ϕ ∈ L ∞ [0, 1], <strong>de</strong>finimos Mϕ : L 2 [0, 1] → L 2 [0, 1] igual que en (1). Probar:<br />
a) Mϕ ∈ L(L 2 [0, 1]) con Mϕ = ϕ∞.<br />
b) La representación M : L ∞ [0, 1] → L(L 2 [0, 1]) dada por M(ϕ) = Mϕ para ϕ ∈ L ∞ [0, 1],<br />
es un morfismo isométrico <strong>de</strong> álgebras (i.e. es K-lineal y respeta productos).<br />
c) M 2 ϕ = Mϕ si y sólo si ϕ es una función característica.<br />
Ejercicio 4. Sea a = (an)n∈N una sucesión <strong>de</strong> números complejos. Fijado 1 ≤ p < ∞, consi<strong>de</strong>remos<br />
el operador Ma : ℓ p → ℓ p dado por Max = (anxn)n∈N, para cada x = (xn)n∈ N ∈ ℓ p . Probar que:<br />
1. Ma está bien <strong>de</strong>finido (Max ∈ ℓ p ) ⇐⇒ a ∈ ℓ ∞ .<br />
2. En tal caso, se tiene que Ma = a∞.<br />
3. La representación M : ℓ ∞ → L(ℓ p ) dada por M(a) = Ma para cada a ∈ ℓ ∞ , es un morfismo<br />
isométrico <strong>de</strong> álgebras (i.e. es K-lineal y respeta productos).<br />
<strong>Departamento</strong> <strong>de</strong> <strong>Matemática</strong> <strong>–</strong> UNLP Pág. 1 <strong>de</strong> 3
<strong>Análisis</strong> <strong>Funcional</strong> (<strong>2012</strong>) Operadores sobre espacios <strong>de</strong> Banach<br />
4. Ma es un monomorfismo si y sólo si an = 0 para todo n ∈ N.<br />
5. Ma es un isomorfismo (y hómeo) ⇐⇒ a es inversible en ℓ ∞ ⇐⇒ a −1 = ( 1<br />
an )n∈N ∈ ℓ ∞ .<br />
Ejercicio 5. Consi<strong>de</strong>remos el espacio <strong>de</strong> Banach real E = L 1 (1, +∞). Sea T : E → E dado por<br />
Probar que T es acotado pero no abierto.<br />
T f(x) = 1<br />
x f(x).<br />
(Sugerencia: 0 ∈ T (B(0, 1)) no es punto interior).<br />
Ejercicio 6. Sea E un espacio vectorial que resulta ser <strong>de</strong> Banach al dotarlo con cualquiera <strong>de</strong> las<br />
normas · 1 y · 2. Supongamos que existe C > 0 tal que x1 ≤ Cx2 para todo x ∈ E. Probar<br />
que existe una constante D > 0 tal que x2 ≤ Dx1 para todo x ∈ E.<br />
Ejercicio 7. Sean E y F espacios normados y A ∈ Hom(E, F ). Probar que Gr(A) es cerrado si y<br />
sólo si siempre que xn → 0 y A(xn) → y se tiene que y = 0.<br />
Ejercicio 8. Sea C 1 [0, 1] = {f : [0, 1] → R : existe f ′ ∈ C[0, 1]}, dotado con la norma infinito. Sea<br />
D : C 1 [0, 1] → (C[0, 1], ∞) dado por<br />
D(f) = f ′ para cada f ∈ C 1 [0, 1].<br />
Probar que el Gr(D) es cerrado pero que D no es un operador acotado. ¿Por qué esto no contradice<br />
el Teorema <strong>de</strong>l Gráfico Cerrado?.<br />
Ejercicio 9. Consi<strong>de</strong>remos el espacio vectorial real C 1 [0, 1] dotado con la norma<br />
f = f∞ + f ′ ∞ = máx |f(x)| + máx<br />
x∈[0,1] x∈[0,1] |f ′ (x)|.<br />
Probar que (C 1 [0, 1], ) es un espacio <strong>de</strong> Banach. Ahora, si D : (C 1 [0, 1], ) → (C[0, 1], ∞)<br />
está <strong>de</strong>finido por D(f) = f ′ , probar que D es acotado y calcular su norma.<br />
(Sugerencia: Para mostrar que es Banach, dada una sucesión <strong>de</strong> Cauchy {fn}n≥1, probar que las<br />
<strong>de</strong>rivadas f ′ n convergen uniformemente a una función g, luego consi<strong>de</strong>rar una primitiva a<strong>de</strong>cuada<br />
<strong>de</strong> g y verificar que fn tien<strong>de</strong> a ella. Para calcular la norma <strong>de</strong> D, consi<strong>de</strong>rar las funciones fn(x) =<br />
sen(2nπx), n ≥ 1.)<br />
1<br />
n<br />
Ejercicio 10. Sea (E, ) un espacio <strong>de</strong> Banach separable. Consi<strong>de</strong>remos en el una base algebraica<br />
E = {ei}i∈I, es <strong>de</strong>cir, los ei son linealmente in<strong>de</strong>pendientes y todo elemento <strong>de</strong> E pue<strong>de</strong> escribirse (<strong>de</strong><br />
forma única) como combinación lineal finita <strong>de</strong> elementos <strong>de</strong> E. Supongamos a<strong>de</strong>más que ei = 1<br />
para todo i ∈ I.<br />
1. Usando el Teorema <strong>de</strong> Baire, probar que I es no numerable.<br />
Ahora, <strong>de</strong>finamos en E la norma · E <strong>de</strong>l siguiente modo: dado x ∈ E si x = <br />
Probar que:<br />
xE = <br />
|αi|.<br />
i∈I<br />
i∈I<br />
αi ei entonces<br />
Depto. <strong>de</strong> <strong>Matemática</strong> <strong>–</strong> UNLP Pág. 2 <strong>de</strong> 3
<strong>Análisis</strong> <strong>Funcional</strong> (<strong>2012</strong>) Operadores sobre espacios <strong>de</strong> Banach<br />
2. · E es una norma.<br />
3. I : (E, · E) → (E, · ) es una contracción.<br />
4. Probar que la “inversa” I : (E, · ) → (E, · E) tiene rango cerrado pero no es acotado.<br />
5. ¿Por qué el item anterior no contradice el Teorema <strong>de</strong>l Gráfico Cerrado?<br />
Ejercicio 11. Dados un espacio <strong>de</strong> Banach E y un P ∈ Hom(E) tal que P 2 = P , sean S = ker(P )<br />
y T = R(P ). Probar que P ∈ L(E) si y sólo si S y T son cerrados.<br />
Ejercicio 12. Sea E un espacio <strong>de</strong> Banach. Probar que S ⊑ E está complementado si y sólo si<br />
existe una proyección P ∈ L(E) <strong>de</strong> rango S.<br />
Ejercicio 13. Sea E un espacio normado y S ⊑ E un espacio <strong>de</strong> dimensión finita. Probar que<br />
entonces existe Q ∈ L(E) tal que Q 2 = Q y R(Q) = S.<br />
Ejercicio 14. Sean E y F dos espacios <strong>de</strong> Banach. Probar que para todo operador T ∈ L(E, F ),<br />
su gráfico GrT ⊆ E × F a<strong>de</strong>más <strong>de</strong> ser cerrado es complementado en E × F .<br />
Ejercicio 15. Un subconjunto B <strong>de</strong> un espacio <strong>de</strong> Banach se dice w−acotado si, para todo ϕ ∈ E ∗ ,<br />
Por otra parte, se dice que es −acotado si<br />
sup |ϕ(x)| < ∞.<br />
x∈B<br />
sup x < ∞.<br />
x∈B<br />
Probar que ambas nociones coinci<strong>de</strong>n, es <strong>de</strong>cir, que B es w−acotado si y sólo si es −acotado.<br />
Definición. Sean E y F dos espacios <strong>de</strong> Banach. Fijemos una sucesión (Tn)n∈N y un T , todos<br />
en L(E, F ). Decimos que Tn S.O.T.<br />
−−−→<br />
n→∞ T (se lee “ Tn converge fuertemente a T ”) si, para cualquier<br />
x ∈ E, se tiene que Tn x<br />
· <br />
−−−→ T x (en la norma <strong>de</strong> F ).<br />
n→∞<br />
Ejercicio 16. Sean E y F dos espacios <strong>de</strong> Banach. Dados T, S y dos sucesiones (Tn)n∈N y (Sn)n∈N ,<br />
todos en L(E, F ), probar que:<br />
1. Si Tn S.O.T.<br />
−−−→ T y xn<br />
n→∞<br />
2. Si Tn S.O.T.<br />
−−−→<br />
n→∞<br />
S.O.T.<br />
T y Sn −−−→<br />
n→∞<br />
· <br />
−−−→<br />
n→∞ x (todos en E y con su norma) entonces Tn xn<br />
S.O.T.<br />
S, entonces TnSn −−−→ T S.<br />
n→∞<br />
· <br />
−−−→ T x.<br />
n→∞<br />
3. Supongamos que, para cada x ∈ E, la sucesión {Tn x}n∈N es <strong>de</strong> Cauchy. Entonces, existe un<br />
operador A ∈ L(E, F ) tal que Tn S.O.T.<br />
−−−→<br />
n→∞ A.<br />
Depto. <strong>de</strong> <strong>Matemática</strong> <strong>–</strong> UNLP Pág. 3 <strong>de</strong> 3