19.05.2013 Views

Análisis Funcional – 2012 - Departamento de Matemática ...

Análisis Funcional – 2012 - Departamento de Matemática ...

Análisis Funcional – 2012 - Departamento de Matemática ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!