09.02.2017 Views

lgebra Linear, Elon Lages Lima

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

138 A Adjunta Seção 11<br />

Demonstração: Seja {u 1 ,...,u n } ⊂ E uma base ortonormal cujos<br />

primeiros m elementos u 1 ,...,u m formam uma base (ortonormal)<br />

de F. (Começa-se com uma base qualquer de F, estende-se-a a uma<br />

base de E e depois aplica-se Gram-Schmidt.) Para todo vetor v ∈ E<br />

tem-se v = α 1 u 1 +···+α n u n = z+w, onde z = α 1 u 1 +···+α m u m ∈ F<br />

e w = α m+1 u m+1 + ··· + α n u n ∈ F ⊥ . Portanto E = F + F ⊥ . Como<br />

F∩F ⊥ = {0}, segue-se que E = F⊕F ⊥ .<br />

Corolário 1. dim F+dim F ⊥ = dim E.<br />

Corolário 2. Para todo subespaço vetorial F⊂E, tem-se (F ⊥ ) ⊥ = F.<br />

Com efeito, seja qual for o conjunto não-vazio X ⊂ E, vale a inclusão<br />

X ⊂ (X ⊥ ) ⊥ . Em particular, o subespaço F está contido em<br />

(F ⊥ ) ⊥ . Do Corolário 1 resulta que<br />

dim(F ⊥ ) ⊥ = dim E−dim F ⊥ = dim E−(dim E−dim F) = dim F.<br />

Logo F = (F ⊥ ) ⊥ .<br />

Vimos na Seção 10 que a projeção ortogonal de um vetor v ∈ E<br />

sobre um subespaço F ⊂ E é, por definição, o vetor<br />

z = pr F (v) =<br />

m∑<br />

i=1<br />

〈w i ,v〉<br />

〈w i ,w i 〉 w i,<br />

onde{w 1 ,...,w m } ⊂ F é uma base ortogonal. Vimos ainda que, pondo<br />

w = v−z, temos v = z+w, com z ∈ F e w perpendicular a todos os<br />

w i (i = 1,...,m), logo w ∈ F ⊥ . Ficou no ar a questão de saber até<br />

que ponto o vetor z = pr F (v) depende da escolha da base ortogonal<br />

{w 1 ,...,w m } ⊂ F. A resposta é dada pelo Teorema 11.3. Como E =<br />

F ⊕ F ⊥ , é única a maneira de escrever um vetor v ∈ E como soma<br />

v = z+w de um vetor z ∈ F com um vetor w ∈ F ⊥ . Isto mostra que<br />

z = pr F (v) não depende da escolha dos w i . (Veja também o Exercício<br />

11.5.)<br />

De agora em diante, indicaremos com a notação P F : E → E, ou<br />

simplesmente P: E → E, quando não houver perigo de confusão, a<br />

projeção associada à decomposição E = F⊕F ⊥ , a qual chamaremos a<br />

projeção ortogonal sobre F.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!