USP Álgebra Linear 2 P2 2016
Seja um espaço vetorial de dimensão e um operador linear. Denote por o operador identidade de . Considere as seguintes afirmações.
- Se é autovalor de , então a dimensão da é menor ou igual à
- Tem pelo menos um autovalor
- Tem no máximo autovalores
Passo 1
Fala pessoal, tudo certinho? Vamos para mais uma questão de Algelin. Essa é bem bacana, pois é uma questão teórica
Nosso objetivo é verificar quais das alternativas estão corretas. Então vamos lá
Passo 2
Como de costume, vamos relembrar as definições de autovalor e autovetor. Vocês lembram deles?
Por definição, os autovalores são as raízes do polinômio característico. Esse polinômio é:
E os autovetores associados ao autovalor é:
Isto é
Então
Logo
Prontinho, relembraram as definições? Agora podemos checar as afirmações
Passo 3
Vamos começar pela primeira afirmação. Ela diz que:
Se é autovalor de , então a dimensão da é menor ou igual à
E aí por onde começamos?
Bem se é autovalor então existe tal que:
Ou seja,
(pois podemos ter mais de um autovetor LI associado ao autovalor)
Mas o teorema do núcleo e da imagem diz que:
Onde é o espaço vetorial de origem
Bem sabemos qual é a dimensão de . Então temos:
Então
Logo
Conseguimos mostrar que a primeira afirmação é verdadeira. Vamos para a próxima!!!
Passo 4
A segunda afirmação diz que:
Tem pelo menos um autovalor
Bem como verificamos essa afirmação? Vamos lembrar que os autovalores são as Raízes do polinômio
Qual é o grau desse polinômio? O grau será igual a dimensão do espaço. No nosso caso será
.
Agora vem a pergunta importante. É possível esse polinômio não ter raízes reais? Vamos pensar!!!
Diferente de polinômio de grau ímpar, polinômios de graus pares podem não ter raízes reais, uma vez que seus limites no mais infinito e menos infinito são os mesmos.
Logo pode não ter autovalor real!!!
Com isso, mostramos que a segunda afirmação é falsa
Passo 5
Para finalizarmos, vamos verificar a terceira afirmação. Ela diz o seguinte:
Tem no máximo autovalores
E aí, o que acham? Podemos usar o fato que obtemos no passo anterior. Que o polinômio característico de tem grau igual a . Logo, pode conter até raízes reais. Ou seja, pode ter até autovalores.
Terminamos essa questão mostrando que a terceira afirmação é verdadeira. Espero que os passos tenham ficado claros. Até a próxima!!! 😊
Resposta
1) e 3)