A3 T11 T12 T17
Considere os subespaços de (com usual) abaixo:
Seja o operador projeção ortogonal em . Determine .
Passo 1
Temos várias formas de resolver esse exercício. Vou resolver de duas e vocês decidem qual gostaram mais ;)
Para encontrarmos a que projeta sobre um subespaço precisamos de uma base para esse subespaço, o que já temos, e uma base para seu complemento ortogonal! Vamos encontrá-la então:
De temos:
Substituindo em :
Então nosso vetor genérico de é:
E uma base para é:
Passo 2
Como a soma de com é direta, a união de suas bases é uma base do . Logo, podemos escrever qualquer vetor do como combinação dos vetores dessa base:
Vamos encontrar quem são os coeficientes e . Repare que não precisamos de e já que eles vão zerar daqui a pouco!
Fazendo :
Substituindo em :
Passo 3
Lembrando que a aplicada nos vetores de leva eles no zero e aplicada nos vetores de leva neles mesmos! Então, se aplicarmos a em ambos os lados, teremos:
Substituindo os valores de e :
Passo 4
Beleza, essa foi a promeira forma! A segunda seria arrumarmos uma base ortogonal de e projetarmos um vetor genérico usando a fórmula:
Já temos, uma base para , mas será que ela é ortogonal? Vamos ver:
Não são =(. Então vamos ortogonalizar eles usando a Ortogonalização de Gram-Schmidt! Definimos a base ortogonal de como:
Passo 5
Agora que temos nossa base ortogonal podemos usar a fórmula: