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.

Seção 10 Produto Interno 127<br />

Seja {u 1 ,...,u n } ⊂ E uma base ortonormal. Para todo vetor v ∈ E<br />

tem-se<br />

n∑<br />

v = 〈u i ,v〉·u i .<br />

i=1<br />

Com efeito, v se exprime como combinação linear<br />

v = α 1 u 1 +···+α n u n<br />

em termos da base dada. Tomando o produto interno de ambos os<br />

membros desta igualdade por u i , temos 〈u i ,v〉 = α i (i = 1,...,n)<br />

pois 〈u i ,u j 〉 = δ ij (= 1 se i = j e = 0 se i ≠ j).<br />

Assim, as coordenadas de um vetor relativamente a uma base<br />

ortonormal são os produtos internos desse vetor pelos elementos daquela<br />

base.<br />

Se u = Σα i u i e v = Σβ j u j são as expressões dos vetores u,v ∈<br />

E em termos de uma base ortonormal {u 1 ,...,u n } ⊂ E, as relações<br />

〈u i ,u j 〉 = δ ij implicam imediatamente que<br />

〈 n<br />

〉<br />

∑ n∑ n∑ n∑<br />

〈u,v〉 = α i u i , β j u j = α i β j 〈u i ,u j 〉 = α i β i .<br />

i=1<br />

j=1<br />

i,j=1<br />

Portanto, quando se referem os vetores de E a uma base ortonormal<br />

fixada, o produto interno assume a forma 〈u,v〉 = Σα i β i , análoga à<br />

do produto interno canônico de R n .<br />

Tomando, mais geralmente, uma base arbitrária {v 1 ,...,v n } ⊂ E<br />

e pondo 〈v i ,v j 〉 = g ij , o produto interno dos vetores<br />

n∑ n∑<br />

u = α i v i e v = β j v j<br />

se exprime como<br />

i=1<br />

〈u,v〉 =<br />

j=1<br />

i=1<br />

n∑<br />

g ij α i β j . (*)<br />

i,j=1<br />

A matriz g = [g ij ] ∈ M(n × n) é simétrica, isto é, g ij = g ji pois<br />

〈v i ,v j 〉 = 〈v j ,v i 〉. Mais ainda: a matriz g é positiva. Isto significa<br />

que, além de g ser simétrica, para qualquer lista (x 1 ,...,x n ) de n<br />

números reais não todos nulos, tem-se<br />

n∑<br />

g ij x i x j > 0.<br />

i,j=1

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

Saved successfully!

Ooh no, something went wrong!