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 18 Formas Quadráticas 243<br />

18.10. Dados os funcionais lineares f,g: E → R, considere a forma<br />

bilinear f ⊗ g: E × E → R (produto tensorial de f e g) definida por<br />

(f⊗g)(u,v) = f(u)·g(v). Prove as seguintes afirmações:<br />

(a) f⊗g = 0 ⇒ f = 0 ou g = 0.<br />

(b) f⊗g = g⊗f ⇔ um dos funcionais f, g é múltiplo do outro.<br />

(c) Se {f 1 ...,f n } ⊂ E ∗ é uma base então as formas bilineares f i ⊗f j<br />

constituem uma base de B(E×E).<br />

(d) Nas condições do item (c), as formas f i •f j = f i ⊗f j +f j ⊗f i , com<br />

i ≤ j, constituem uma base para o espaço das formas bilineares<br />

simétricas.<br />

(e) Com a notação de (c), as formas f i ∧ f j = f i ⊗ f j − f j ⊗ f i , com<br />

i < j, constituem uma base para o espaço das formas bilineares<br />

anti-simétricas.<br />

18.11. Dada a forma quadrática ϕ: R 2 → R, com ϕ(x,y) = 2x 2 −y 2 +<br />

3xy, ache uma base ortonormal {u,v} ⊂ R 2 e números λ, µ tais que,<br />

para todo vetor w = su+tv ∈ R 2 se tenha ϕ(w) = λs 2 +µt 2 .<br />

18.12. Dada a matriz simétrica<br />

b =<br />

[ ] 4 1<br />

,<br />

1 2<br />

ache uma matriz ortogonal p tal que p T bp seja uma matriz diagonal.<br />

A partir daí obtenha uma base ortonormal{u,v} ⊂ R 2 tal que a forma<br />

quadráticaϕ: R 2 → R, comϕ(x,y) = 4x 2 +2xy+2y 2 se escreva como<br />

ϕ(w) = λs 2 +µt 2 para todo vetor w = su+tv.<br />

18.13. Dadas as formas quadráticas abaixo, use o método de Lagrange<br />

para exprimi-las como somas e diferenças de quadrados e, a<br />

partir daí, determine o índice e o posto de cada uma delas:<br />

(a)<br />

(b)<br />

(c)<br />

(d)<br />

ϕ(x,y) = x 2 +9y 2 +6xy<br />

ψ(x,y) = x 2 +8y 2 +6xy<br />

ξ(x,y,z) = x 2 +2xy+z 2 −3xz+y 2 −2yz<br />

ζ(x,y,z) = 8x 2 +36yz−6y 2 −27z 2 −24xy

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

Saved successfully!

Ooh no, something went wrong!