09.05.2013 Views

Arquivo - Departamento de Matemática

Arquivo - Departamento de Matemática

Arquivo - Departamento de Matemática

SHOW MORE
SHOW LESS

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

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

Exemplo: Em R n+1 consi<strong>de</strong>re a forma quadrática q(x) = x 2 1 + x 2 2 + · · · + x 2 n − x 2 n+1, que<br />

<strong>de</strong>fine a seguinte forma bilinear simétrica em R n+1<br />

〈x, y〉 = x1y1 + x2y2 + · · · + xnyn − xn+1yn+1 .<br />

Neste caso, o grupo O(R n+1 , q) é exatamente o grupo O(n, 1) <strong>de</strong>finido no capítulo 1.<br />

Definição 4.7. Seja q uma forma quadrática em R n e seja v ∈ R n um vetor não-isotrópico,<br />

isto é, v é tal que q(v) = 〈v, v〉 = 0. A reflexão ao redor <strong>de</strong> v é a seguinte isometria iv <strong>de</strong><br />

R n<br />

〈x, v〉<br />

iv(x) = x − 2 v .<br />

〈v, v〉<br />

Efetuando alguns cálculos simples verifica-se que iv ∈ O(R n , q), que iv tem or<strong>de</strong>m dois e que<br />

iv(v) = −v.<br />

Na <strong>de</strong>monstração do Teorema do Cancelamento <strong>de</strong> Witt, além do conceito <strong>de</strong> involução,<br />

utilizaremos a seguite proposição.<br />

Proposição 4.3. Seja q uma forma quadrática em R n e seja k um número real tal que k = 0.<br />

O grupo O(R n , q) age transitivamente no conjunto<br />

{ x ∈ R n | q(x) = k } .<br />

Demonstração. Sejam x e y vetores em R n tais que q(x) = q(y) = k = 0. Queremos mostrar<br />

que existe uma isometria <strong>de</strong> R n que manda x em y. Para isso, observe primeiramente que<br />

〈x − y, x + y〉 = 〈x, x〉 − 〈y, y〉 = 0 .<br />

Isto implica que q(x − y) = 0 ou que q(x + y) = 0 pois, caso contrário, se q(x − y) = 0 e se<br />

q(x + y) = 0 teríamos que q(x) = 0 pois x = 1<br />

[(x − y) + (x + y)].<br />

2<br />

Se x − y é não-isotrópico, a reflexão ix−y é tal que<br />

ix−y(x − y) = −x + y e ix−y(x + y) = x + y .<br />

Somando essa duas expressões temos que ix−y(x) = y, como queríamos <strong>de</strong>monstrar.<br />

Se x + y é não-isotrópico, a reflexão ix+y é tal que<br />

ix+y(x + y) = −x − y e ix+y(x − y) = x − y .<br />

45

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

Saved successfully!

Ooh no, something went wrong!