Enunciado
Álgebra Linear e Geometria Analítica - Callioli - Álgebra Linear e Aplicações - Parte 1- Ed: 6º - Capítulo 6.4 - Ex. 28
Seja um espaço euclidiano de dimensão finita. Sendo um subespaço vetorial de , indiquemos por a projeção ortogonal de sobre . Provar que é sobrejetora, isto é, .
Passo 1
Estas questões bem teóricas sempre dão um trabalho para conseguirmos entender e resolver. Ajuda bastante nestas resoluções nós termos um domínio dos teoremas e propriedades até hoje já estudados.
Detalhem que foi dito “até hoje”. Duas palavras cuja consequência... desastrosa. Vamos usar conceitos visto lá no capítulo de transformações lineares. Isto sem nem contar os conceitos de espaço e subespaço vetorial, né!
Mas não se assustem. Se a gente analisar ponto por ponto, com bastante calma, conseguiremos resolver a questão.
Passo 2
Então, vamos ao que importa. Temos uma transformação linear (projeção ortogonal) . Durante a explicação no livro sobre esta transformação, foi provado que o núcleo desta transformação é:
Isto é, o núcleo de é o complemento ortogonal de . Também sabemos que:
Isto é, o espaço vetorial é soma direta dos subespaços e . Em outras palavras, a interseção de e é o conjunto vazio.
E esta é a primeira parte da resolução.
Passo 3
Agora temos que ir mais além. Vamos voltar a relações antigas para complementar e provar que a transformação é sobrejetora.
Para isto, vamos voltar a relação do núcleo e imagem de uma função. Sabemos que a interseção de e é o conjunto vazio.
Do teorema do núcleo e imagem, também sabemos que:
Só que como o . Portanto,
Mas nós não dizemos anteriormente que ? Então, também podemos escrever que:
Portanto,
Associando esta relação de mesma dimensão ao fato de que a interseção de com e também a interseção de com é o conjunto vazio, chegamos à conclusão que a imagem de é o subsespaço .
Logo, a transformação é sobrejetora.
Resposta
Ei, a resposta está no passo a passo :)