09.02.2017 Views

lgebra Linear, Elon Lages Lima

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Seção 20 O Polinômio Característico 271<br />

conjugados, α+iβ e α−iβ, com produto α 2 +β 2 , logo o produto das<br />

raízes de p A é real.)<br />

Outro termo de fácil determinação no polinômio p A (λ) é o coeficiente<br />

de λ n−1 . Na expressão clássica de det(A − λI) em termos<br />

da matriz a = [a ij ] de A numa certa base, as parcelas que contém<br />

a potência λ n−1 resultam do produto Π(a ii − λ) dos termos da diagonal<br />

de a − λI n , logo são todas da forma (−1) n−1 a ii λ n−1 . Portanto<br />

(−1) n−1∑ a ii é o coeficiente de λ n−1 no polinômio p A (λ).<br />

Novamente, a expressão<br />

∏<br />

n<br />

p A (λ) = (−1) n (λ−λ i )<br />

i=1<br />

mostra que o coeficiente de λ n−1 é igual a (−1) n−1 vezes a soma das<br />

raízes do polinômio p A .<br />

Isto nos leva a concluir que, seja qual for a base escolhida em E,<br />

a soma Σa ii dos elementos da diagonal da matriz de A nessa base é<br />

a mesma, igual à soma das raízes características de A, que é sempre<br />

um número real (mesmo que haja raízes complexas) pois (α+iβ)+<br />

(α−iβ) = 2α.<br />

Esta soma Σa ii chama-se o traço do operador A e é designada<br />

com a notação tr A.<br />

Segue-se do Exemplo 20.1 que tr AB = tr BA sejam quais forem<br />

os operadores linearesA,B: E → E. (Isto também se vê diretamente,<br />

multiplicando as matrizes de A e B.)<br />

Com esta notação, quando dim E = 2 o polinômio característico<br />

de um operador A: E → E se escreve p A (λ) = λ 2 −(tr A)λ+det A.<br />

Vimos no Exemplo 20.2 que as raízes características de um operador<br />

triangularizável são todas números reais. Mostraremos agora<br />

que vale a recíproca.<br />

Para isso, faremos uso do seguinte<br />

Lema. Seja F ⊂ E um subespaço invariante pelo operador A: E → E.<br />

Se A ′ : F → F representa a restrição de A ao subespaço F, então o<br />

polinômio p A ′ é um divisor de p A .

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

Saved successfully!

Ooh no, something went wrong!