Enunciado
Álgebra Linear e Geometria Analítica - Anton - Álgebra Linear- Ed: 10º - Capítulo 8.2 - Ex. 9
Prove: se e forem espaços vetoriais de dimensão finita tais que , então nenhuma transformação linear é injetora.
Passo 1
A gente viu que de acordo com o Teorema 8.2.1 que se for uma transformação linear, as afirmações seguintes são equivalentes.
- é injetora.
- .
Então se mostrarmos que ou de forma equivalente, se , então provaremos a proposição.
Passo 2
Dado que , e , suponha que e , como é o contradomínio e a imagem está contida no contradomínio, quer dizer que a dimensão máxima que a imagem pode chegar é , . Logo, podemos aplicar o Teorema 8.1.4 que relaciona a dimensão da imagem com a dimensão do núcleo
Onde é a dimensão do domínio , que é
Como , suponha que ele tenha seu valor máximo
O enunciado deu pra gente que , logo
Portanto, como , nossa transformação não é injetora.
Resposta
Demonstração