Enunciado
Álgebra Linear e Geometria Analítica - Callioli - Álgebra Linear e Aplicações - Parte 1- Ed: 6º - Capítulo 5.3 - Ex. 16
Sejam um espaço vetorial de dimensão finita e . Se é um sub-espaço de de dimensão e se é invariante pelo operador , mostrar que existe uma base de em relação à qual a matriz de é da forma
Onde é uma matriz , é do tipo , é a matriz nula e é quadrada de orden .
Passo 1
Nessa questão, devemos utilizar da definição das matrizes de transformações lineares e da definição dos subespaços invariantes.
Um subespaço invariante é um subespaço de tendo um operador definido , ou seja, pela nomenclatura do livro tal que .
Isso quer dizer que todo vetor que pertença a terá sua transformação dentro do próprio subespaço .
Passo 2
Agora que definimos um subespaço invariante, vamos estipular bases para os espaços e .
Vamos falar que a a base de é tal que e que .
Assim, vamos tomar uma base para sendo tal que
Passo 3
Vemos que duas bases variam uma de a e outra de a . Essas bases serão:
Passo 4
Com as bases visualizadas, vamos usar do mecanismo de matrizes de transformação linear. Logo, pela definição do livro, temos:
Cada um dos termos pode ser considerado como um elemento de uma matriz. Assim, temos
Assim, formando a matriz
As ordens das matrizes são dadas pelas dimensões dos vetores que tomamos quando fazemos e .
Passo 5
Por hipótese, . Logo . Logo, a matriz do operador linear é dada por:
Pronto! Terminamos a demonstração.