09.02.2017 Views

lgebra Linear, Elon Lages Lima

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Seção 18 Formas Quadráticas 227<br />

O que importa é que ao substituir o índice mudo i por β (bem como<br />

j por α) essa substituição se faça em todos os lugares onde i ocorra<br />

(assim como j) e somente nesses lugares.<br />

Analogamente, uma forma bilinear b: E × E → R chama-se<br />

anti-simétrica quando b(u,v) = −b(v,u) para u,v ∈ E quaisquer.<br />

Para que b seja anti-simétrica é suficiente que se tenha b(u i ,u j ) =<br />

−b(u j ,u i ) ou seja, b ij = −b ji numa base {u 1 ,...,u m } ⊂ E.<br />

Uma forma bilinear b, ao mesmo tempo simétrica e anti-simétrica,<br />

deve ser nula. Este fato, juntamente com a igualdade<br />

b(u,v) = 1 2 [b(u,v)+b(v,u)]+ 1 2 [b(u,v)−b(v,u)],<br />

mostra que o espaço B(E × E) das formas bilineares b: E × E → R<br />

é a soma direta de dois subespaços, um deles formado pelas formas<br />

simétricas e o outro pelas formas anti-simétricas.<br />

Exemplo 18.1. Dados os funcionais lineares f: E → R, g: F → R, a<br />

função b: E × F → R, definida por b(u,v) = f(u)g(v), é uma forma<br />

bilinear, chamada o produto tensorial de f e g. Se E e F são dotados<br />

de produto interno, fixados u o ∈ E e v o ∈ F, a função b: E × F →<br />

R, onde b(u,v) = 〈u,u o 〉 · 〈v,v o 〉, é uma forma bilinear. No caso<br />

particular em que E = F, dados f,g: E → R, funcionais lineares,<br />

então as igualdades<br />

e<br />

(f•g)(u,v) = f(u)g(v)+f(v)g(u)<br />

(f∧g)(u,v) = f(u)g(v)−f(v)g(u),<br />

definem formas bilinearesf•g,f∧g: E×E → R, a primeira simétrica<br />

e a segunda anti-simétrica.<br />

Teorema 18.2. SejaEum espaço vetorial de dimensão finita provido<br />

de produto interno. Para cada forma bilinear b: E×E → R existe um<br />

único operador linear B: E → E tal que<br />

〈u,Bv〉 = b(u,v) para u,v ∈ E quaisquer.<br />

A correspondência b ↦→ B, assim definida, é um isomorfismo entre<br />

os espaços vetoriais B(E × E) e L(E). A forma bilinear b é simétrica<br />

(respect. anti-simétrica) se, e somente se, o operador B é auto-adjunto<br />

(respect. anti-simétrico).

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

Saved successfully!

Ooh no, something went wrong!