09.05.2013 Views

Análise Funcional

Análise Funcional

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.

Isto mostra que qualquer subsequencia (λjk ) deve convergir para zero, ou seja, (λk) → 0.<br />

Reciprocamente, vamos supor que (λk) → 0 e vamos considerar as transformações com<br />

imagens de dimensão finita: Tn : ℓ 2 (R) → ℓ 2 (R)<br />

Observe que<br />

Tnx =<br />

||Tnx − T x|| 2 2 =<br />

n<br />

λjξjej, para x = (ξj) ∈ ℓ 2 (R).<br />

j=1<br />

∞<br />

j=n+1<br />

λ 2 jξ 2 j ≤ sup λ<br />

i≥n<br />

2 i<br />

∞<br />

j=1<br />

Isto mostra que ||Tn − T || → 0 e portanto T é compacta.<br />

4<br />

ξ 2 j , para x = (ξj) ∈ ℓ 2 (R)

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

Saved successfully!

Ooh no, something went wrong!