Enunciado
Álgebra Linear e Geometria Analítica - Álgebra Linear - 3ª Edição - J. L. Boldrini- Ed: 3º - Capítulo 9.4 - Ex. 10
Sejam um espaço vetorial real de dimensão , com produto interno e um operador linear auto-adjunto. Se for uma base ortonormal de , chamemos de a matriz . Consideremos a transformação linear dada por
Onde e o produto interno canônico em , dado por
para (Veja 8.6)
- Mostre que tem sempre autovalores. (Sugestão: Lembre-se de que um polinômio sempre tem raízes se estivermos trabalhando sobre os números complexos.)
- Mostre que para quaisquer . (Sugestão: Siga a ideia do teorema 9.2.3.)
- Mostre que os autovalores de são necessariamente reais. (Sugestão: Chame de . Lembre que para um número complexo ser real, basta que ele seja igual ao seu conjugado. Desenvolva então de dois modos distintos, utilizando o item (b) e as propriedades de produto interno sobre um espaço vetorial complexo. Veja 8.6)
- Mostre que os autovalores de e são os mesmos.
- Usando os resultados anteriores, conclua que um operador linear auto-adjunto tem autovalores e eles são necessariamente reais.
Passo 1
- Observe que é uma extensão de para o conjunto dos complexos. Do nosso estudo, sabemos que o polinômio característico possui grau e, nesse caso, como estamos admitindo os complexos, pelo teorema fundamental da álgebra, o polinômio característico sempre terá raízes considerando-se suas multiplicidades.
- Essa questão fica simples se a gente escrever o que tá acontecendo com cuidado e lembrar que é simétrica, já que a transformação é auto-adjunta expressa em base ortonormal.
- Vamos usar a sugestão dada. Seja um auto-valor associado a um auto-vetor . Então a gente tem que:
- Do nosso estudo da mudança de base, sabemos que as matrizes que representam uma mesma transformação linear são semelhantes. Isto é:
- Usando o item , o item e , podemos concluir que um operador linear auto-adjunto sempre possuem autovalores (item a), eles são reais (item c) e como podemos extender esse resultado de uma base ortonormal para qualquer outra (item d) isso é sempre válido.
Passo 2
Bom, vamos expandir o lado esquerdo.
Você concorda que a componente do vetor é dada por:
Certo, então o produto interno do lado esquerdo vai ficar:
Agora, você concorda que a componente do vetor é:
Então o produto interno do lado direito é:
Mas é uma transformação real, do que segue que deve ser real, dai a gente escreve:
Agora vem a mágica: olhe para a “coluna” da soma que foi colocada acima. Para generalizar, vamos pegar uma “coluna” :
Mas a matriz é simétrica, então a gente pode escrever:
Oras, mas se a gente somar isso de indo de 1 até vamos ter o produto interno do lado esquerdo, basta olhar as “linhas” da soma que a gente escreveu mais acima para o produto interno da esquerda.
Passo 3
Mas do item b), a gente pode escrever que:
Ai gente troca por :
De podemos escrever que:
Mas:
Como pois auto-vetores são não nulos, então:
Mas se um número complexo é igual ao seu conjugado, então ele é necessariamente real!
Passo 4
Onde e são as matrizes de mudança de base.
Sabemos que matrizes semelhantes possuem o mesmo polinômio característico, do que segue que possuem os mesmo auto valores.
Passo 5
Resposta
Demonstração.