09.02.2017 Views

lgebra Linear, Elon Lages Lima

Create successful ePaper yourself

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

Seção 15 Operadores Normais (Caso Real) 191<br />

Teorema 15.1. Seja A: E → E um operador normal. Existe uma<br />

base ortonormal de E na qual a matriz de A tem a forma<br />

⎡<br />

⎤<br />

λ 1 . .. λ r α 1 −β 1<br />

β 1 α 1 . .. ⎢<br />

⎥<br />

⎣<br />

α s −β s<br />

⎦<br />

α s<br />

onde os elementos não expostos são iguais a zero.<br />

Demonstração: Sejam σ 2 0 ,σ2 1 ,...,σ2 k<br />

os autovalores distintos do<br />

operador não-negativo AA ∗ = A ∗ A: E → E, com σ 0 = 0 e σ i > 0<br />

se i ≥ 1. Para cada i = 0,1,...,k, seja E i = N(AA ∗ − σ 2 iI) o autosubespaço<br />

correspondente ao autovalor σ 2 i<br />

. O Teorema Espectral<br />

nos afirma que E = E 0 ⊕ E 1 ⊕ ··· ⊕ E k . Além disso, se u ∈ E i e<br />

v ∈ E j com i ≠ j então 〈u,v〉 = 0. Da igualdade AA ∗ = A ∗ A resulta<br />

imediatamente que cada subespaço E i é invariante por A e por<br />

A ∗ . Ora, por definição, AA ∗ em E i coincide com σ 2 iI. Logo o operador<br />

B i : E i → E i , definido para i = 1,2,...,k por B i v = (1/σ i )Av,<br />

é ortogonal. Tomemos em E 0 uma base ortonormal qualquer. (Observe<br />

que E 0 = N(AA ∗ ) = N(A) = N(A ∗ ).) Tomemos ainda, em<br />

cada subespaço E i (i = 1,...,k) uma base ortonormal na qual a matriz<br />

do operador B i tenha a forma dada no Teorema 14.3. Juntando<br />

todas essas bases e ordenando seus elementos na forma adequada,<br />

obtemos uma base de E na qual a matriz do operador A é do tipo<br />

desejado.<br />

Observações:<br />

1. Os números λ 1 ,...,λ r são os autovalores de A. Dentre eles, os<br />

não-nulos têm a forma λ i = ±σ j , onde σ j é um<br />

√<br />

valor singular de A.<br />

Os demais valores singulares de A são σ j = α 2 j +β2 j<br />

(j = 1,...,s).<br />

2. SeAnão possui autovetores, a matriz do Teorema 15.1 não apresenta<br />

a parte superior (diagonal). Por outro lado, seAéauto-adjunto<br />

não existem os blocos 2×2 da parte inferior.<br />

β s

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

Saved successfully!

Ooh no, something went wrong!