02.06.2013 Views

3ª Lista de Exercícios do Curso de Verão de Análise Funcional

3ª Lista de Exercícios do Curso de Verão de Análise Funcional

3ª Lista de Exercícios do Curso de Verão de Análise Funcional

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Universida<strong>de</strong> Fe<strong>de</strong>ral <strong>do</strong> Pará<br />

Instituto <strong>de</strong> Ciências Exatas e Naturais<br />

Programa <strong>de</strong> Pos-graduação em Matemática e Estatística - PPGME<br />

Professor: Giovany M. Figueire<strong>do</strong><br />

<strong>Curso</strong> <strong>de</strong> <strong>Análise</strong> <strong>Funcional</strong><br />

<strong>Lista</strong> <strong>de</strong> <strong>Exercícios</strong> 3<br />

Base <strong>de</strong> Hamel, base <strong>de</strong> Schau<strong>de</strong>r e espaços separáveis<br />

1. Mostre que to<strong>do</strong> espaço norma<strong>do</strong> E <strong>de</strong> dimensão finita é separável.<br />

2. Mostre que o espaço norma<strong>do</strong> (lp, | . |p), 1 ≤ p < ∞ é separável.<br />

3. Mostre que o espaço norma<strong>do</strong> (l∞, | . |∞) não é separável.<br />

4. Prove que se E é um espaço norma<strong>do</strong> separável e M é um subespaço fecha<strong>do</strong> <strong>de</strong><br />

E, então o espaço quociente E\M é separável.<br />

5. Mostre que (C0, | . |∞) é um exemplo <strong>de</strong> espaço norma<strong>do</strong> <strong>de</strong> dimensão infinita que<br />

possui uma base que é ao mesmo tempo <strong>de</strong> Schau<strong>de</strong>r e <strong>de</strong> Hamel.<br />

6. Mostre que to<strong>do</strong> espaço norma<strong>do</strong> E que possui uma base <strong>de</strong> Schau<strong>de</strong>r é separável.<br />

A recíproca não é verda<strong>de</strong>ira, pois em 1973, Per Enflo apresentou um exemplo<br />

<strong>de</strong> espaço <strong>de</strong> Banach separável que não admite base <strong>de</strong> Schau<strong>de</strong>r, para maiores<br />

<strong>de</strong>talhes ver Acta Math. 130, 309-317.<br />

7. Mostre que (C[a, b], . ∞) é separável.<br />

8. Um espaço norma<strong>do</strong> E é separável se, e somente se, existe um subconjunto M ⊂ E<br />

enumerável, linearmente in<strong>de</strong>pen<strong>de</strong>nte e tal que SpanM = E.<br />

9. Sejam E um espaço norma<strong>do</strong> e M ⊂ E um subconjunto. Mostre que:<br />

a) Se E é separável, então M é separável;<br />

1


) Se M é separável, então o fecho M é separável;<br />

c) M é separável se, e somente se, SpanM é separável.<br />

Funcionais lineares e duais topológicos<br />

1. Mostre que o dual topológico <strong>do</strong> IR N é o próprio IR N .<br />

2. Mostre que o dual topológico <strong>de</strong> (lp, | . |p), 1 < p < ∞, é o espaço lq, on<strong>de</strong> 1 1 + p q<br />

3. Mostre que o dual topológico <strong>de</strong> (l1, | . |1) é o espaço l∞.<br />

4. Mostre que o dual topológico <strong>de</strong> (C0, | . |∞) é o espaço l1.<br />

5. Mostre que o dual topológico <strong>de</strong> (C, | . |∞) é l1 + Span{ϕ}, on<strong>de</strong> ϕ : C −→ IR é<br />

<strong>de</strong>fini<strong>do</strong> por ϕ(x) = lim xn, x = (xn)n∈IN ∈ C.<br />

6. Mostre que se ϕ : E −→ IR é um funcional linear não-nulo então existe x0 ∈<br />

E\Ker(ϕ) tal que E = Span{x0} + Ker(ϕ) e Span{x0} ∩ Ker(ϕ) = {0}.<br />

7. Sejam E um espaço norma<strong>do</strong> e f, g : E −→ IR funcionais lineares tais que Ker(f) ⊂<br />

Ker(g). Prove que existe λ ∈ IR tal que g = λf.<br />

8. Sejam E um espaço vetorial com dimE = N e {e1, e2, . . . , eN} uma base <strong>de</strong> E.<br />

Cada x ∈ E po<strong>de</strong> ser escrito <strong>de</strong> mo<strong>do</strong> único como uma combinação linear<br />

N<br />

x = xjej,<br />

j=1<br />

xj ∈ IR, ∀j ∈ {1, 2, . . . , N}.<br />

Para cada f ∈ E ′ , ponhamos fj = f(ej).<br />

= 1.<br />

a) Defina em E a norma da soma e <strong>de</strong>termine explicitamente em função <strong>do</strong>s fj a<br />

norma dual f <strong>de</strong> um elemento f ∈ E ′ .<br />

b) Refaça o ítem a) consi<strong>de</strong>ran<strong>do</strong> E muni<strong>do</strong> da norma <strong>do</strong> máximo.<br />

c) Refaça o ítem a) consi<strong>de</strong>ran<strong>do</strong> E muni<strong>do</strong> da norma euclidiana.<br />

9. Seja f : E −→ IR um funcional linear não-nulo. Mostre que f é <strong>de</strong>scontínuo se, e<br />

somente se, seu núcleo é <strong>de</strong>nso em E.<br />

2


10. Seja f : E −→ IR um funcional linear. Mostre que Ker(f) é fecha<strong>do</strong> se, e somente<br />

se, f é contínuo.<br />

11. Mostre que um espaço norma<strong>do</strong> E tem dimensão finita se, e somente se, to<strong>do</strong><br />

funcional linear <strong>de</strong>fini<strong>do</strong> em E é contínuo.<br />

12. Seja X = {φ ∈ C[0, 1] : φ(0) = φ(1)} muni<strong>do</strong> da norma <strong>do</strong> supremo. Consi<strong>de</strong>re o<br />

funcional linear Λ : X −→ IR <strong>de</strong>fini<strong>do</strong> por<br />

a) Mostre que Λ é contínuo;<br />

b) Calcule o valor <strong>de</strong> Λ ;<br />

Λ(φ) =<br />

1<br />

0<br />

φ(t)dt.<br />

c) Refaça os ítens a) e b) consi<strong>de</strong>ran<strong>do</strong> X = {φ ∈ C[0, 1] : φ(0) = φ(1) = 0}.<br />

13. Seja en = (0, . . . , 0, 1, 0, . . .) assumin<strong>do</strong> 1 na posição n.<br />

a) Existe ϕ ∈ C ′ 0 tal que ϕ(en) = 1 , ∀n ∈ IN?<br />

n<br />

b) Existe ϕ ∈ l ′ 1 tal que ϕ(en) = (−1) n , ∀n ∈ IN?<br />

c) Existe ϕ ∈ l ′ 2 tal que ϕ(en) = 1, ∀n ∈ IN?<br />

d) Existe ϕ ∈ l ′ 2 tal que ϕ(en) = 1<br />

n<br />

, ∀n ∈ IN?<br />

e) Existe ϕ ∈ l ′ 1 tal que ϕ(en) = <br />

1 + 1<br />

n , ∀n ∈ IN?<br />

n<br />

3

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

Saved successfully!

Ooh no, something went wrong!