Subespaços Invariantes
Teoria
Você lembra o que é uma transformação linear? É uma função só que com as condições da linearidade, e aí da pra fazer um monte de coisas com vetores, e outros espaços vetoriais.
Bom, vou fazer uma pergunta meio aleatória agora.
Sendo , existe algum subespaço que satisfaça ?? Ou seja, que o espaço gerado pelos vetores depois de terem passado pela transformação linear seja o mesmo de antes
O que é o subespaço ??? Bom, acho que fica meio implícito e já deve ter aparecido em algumas questões ou livros, mas, se não, vamos explicar agora.
Por exemplo, se , ou seja, é gerado por e . O nosso seria: . Sacou? Então, é só aplicar em cada um dos geradores do espaço em questão.
Agora que já entendemos a pergunta, vamos pensar em algum exemplo de transformação.
Ihhh caramba deu diferente, então não é igual né?
Lembre-se da definição de ! Podemos ver que o conjunto de vetores { é múltiplo de { e, portanto, geram o mesmo espaço (plano). Assim concluímos que .
Logo, podemos afirmar que:
Chamamos os espaços que satisfazem essa condição de subespaços invariantes. Vamos formalizar.
Agora vamos ver como essa coisa que acabamos de aprender se relaciona com autovalores e autovetores!
Na verdade quando falamos de subespaços invariantes, estamos falando de autoespaços! Lembra que os autovetores são aqueles que depois de aplicados na transformação, viram múltiplos dos vetores iniciais? Foi exatamente isso que aconteceu no nosso subespaço invariante.
Repare só! Se pegarmos o autoespaço:
Fato: Autoespaços são subespaços invariantes.
Exercícios Resolvidos
Exercício Resolvido #1
Lista de monitoria 2 para a P3, 2015.1, exercício 4, Álgebra Linear I.
Construa uma transformação linear satisfazendo as seguintes condições:
- Algum subespaço tal que
Passo 1
Bom, existem vários jeito de resolver essa questão. Qualquer que satisfaça as condições do enunciado tá valendo!
O que a questão está pedindo é exatamente um subespaço invariante! Só que com a . Mas lembra que autoespaços também são subespaços invariantes? Então, um possível jeito de resolver essa questão, é montar uma , que possui um autovalor e pegar um dos seus autovetores e formar nosso espaço .
Passo 2
Assim, vamos chutar essa aqui:
Podemos ver que nessa :
E assim podemos ver que é um autovetor associado ao autovalor . Não necessariamente só temos como autovetor desse autovalor, mas isso não importa, pois a condição do exercício já está feita!
Passo 3
Seja . Então .
Resposta
Uma possível é , com sendo .
Exercício Resolvido #2
PUCRIO-P3-2014.1-3d
Seja a reflexão (espelhamento) em relação ao plano e
A matriz de na base de .
Dê um exemplo de um subespaço vetorial de tal que as duas seguintes condições sejam satisfeitas:
- não é autoespaço de , mas é invariante por
Passo 1
Uma possível solução é juntar autovetores de autoespaços diferentes, assim esse novo conjunto não é um autoespaço e satisfaz a condição de invariante e da dimensão .
Então vamos achar os autovalores com !
Passo 2
Para
Passo 3
Para
Passo 4
Assim, se pegarmos , esse não será o autoespaço de nenhum autovalor e ainda satisfaz a condição de invariante.
Resposta
Exercício Resolvido #3
Lista 1 para a P3, exercício 5, 2015.1, Álgebra linear I, PUC-rio, adaptado.
Seja um autovalor de . O autoespaço de associado a é o conjunto
Prove que é um subespaço invariante de .
Passo 1
Para verificar que é um subespaço invariante, precisamos ver se o autoespaço satisfaz a condição de subespaço invariante:
Vamos verificar!
Sejam autovetores associados a . Sabemos que (lembre-se que o autoespaço contém o vetor nulo!). Então,
Passo 2
Assim,
Portanto, se , então , para .
Se então .
Como e é um subespaço invariante.
Passo 3
Como a demonstração é válida para cada autovalor em particular, concluímos que e , portanto é um subespaço invariante.
Resposta
Ei, a resposta está no passo a passo :)