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 T : U ⟶ U , existe algum subespaço V ⊂ U que satisfaça T V = V ?? 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 T ( V ) ??? 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 V = s p a n 1,0 , ( 2,1 ) , ou seja, V é gerado por   ( 1,0 ) e ( 2,1 ) . O nosso T ( V ) seria: s p a n T 1,0 , T ( 2,1 ) . Sacou? Então, é só aplicar T 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.

T x , y = ( 2 x , 2 y )

T V = s p a n T 1,0 , T ( 2,1 ) ⇒

T V = s p a n 2,0 , ( 4,2 )

Ihhh caramba deu diferente, então não é igual né?

Lembre-se da definição de s p a n ! Podemos ver que o conjunto de vetores { 1,0 , ( 2 , 1 ) } é múltiplo de { 2,0 , ( 4,2 ) } e, portanto, geram o mesmo espaço (plano). Assim concluímos que s p a n 1,0 , ( 2,1 ) = s p a n 2,0 , ( 4,2 ) .

Logo, podemos afirmar que:

T V = V

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:

V λ = 2 = s p a n 1,0 , ( 2,1 ) ∴

T V λ = 2 = s p a n T 1,0 , T ( 2,1 ) = s p a n 2,0 , ( 4,2 ) = s p a n 1,0 , ( 2,1 )

Fato: Autoespaços são subespaços invariantes.