Enunciado
Álgebra Linear e Geometria Analítica - Álgebra Linear - 3ª Edição - J. L. Boldrini- Ed: 3º - Capítulo 9.4 - Ex. 11
Seja um espaço vetorial real de dimensão , um operador linear auto-adjunto e um autovetor de .
- Mostre que , o espaço gerado por , é invariante por aplicação do aperador , isto é, se , então .
- Mostre que , o complemento ortogonal de (veja 8.5), é invariante por aplicação do operador , isto é, se , então e portanto induz um operador linear
- Mostre que o operador definido no item é auto-adjunto.
- Mostre que todo autovetor de com autorvalor também é autovetor de com o mesmo autovalor .
Passo 1
- Seja . Então podemos escrever:
- Vamos calcular .
- representa uma restrição do domínio e da imagem de . Isso nos diz que a propriedade:
- Seja então auto-vetor de com auto-valor . Disso, a gente pode escrever:
E ainda:
Mas é um auto-vetor de , vamos supor que seja associado ao auto-valor . Ai a gente escreve:
O que isso significa? Isso mesmo: que é um vetor de .
Passo 2
Lembrando que o operador é auto-adjunto, a gente tem:
Agora a gente lembra que é auto-vetor, que nos permite escrever:
Observe que a última igualdade só é valida porque o operador é real.
Poh, mas se , a gente tem:
Agora é so concluir:
Logo, .
Dessa discussão, podemos definir um operador linear como sugerido no enunciado.
Passo 3
Também se extende a . Logo, também é auto-adjunto.
Passo 4
Mas , ou seja:
Ou seja, também é auto-vetor de com o mesmo auto-valor.
Resposta
Demonstração.
Exercícios de Livros Relacionados
Dê a transformação linear que descreve o movimento rígido que leva o segmento de extremos ( - 6,2 ) e ( - 1,2 ) no seguimento de extremos ( - 2,6 ) e ( 1,2 ) respectivamente.Mostre que esta transforma
Seja T x , y , z = 2 x + y , x + y + z , y - 3 z de R 3 em R 3 com produto interno canônico.Mostre que T é um operador auto-adjunto mas não ortogonal.Se v = ( 2 , - 1,5 ) e w = ( 3,0 , 1 ) , verifique
Dada a matriz A = a 0 0 0 b c 0 c b Mostre que os autovalores são: a ,b + ceb - c Ache uma base de autovetores
Seja o operador linear T :R 3 → R 3 cuja matriz em relação à base canônica é 1 4 2 4 - 5 - 4 2 - 4 1 Exiba uma base ortonormal de autovetores.
Demonstre o teorema 9.3 . 1 , isto é, se T : V → V um operador linear auto-adjunto, então existe uma base ortonormal de autovetores de T . (Sugestão: Faça por indução finita sobre a dimensão de V , ut