Arquivo - Departamento de Matemática
Arquivo - Departamento de Matemática
Arquivo - Departamento de Matemática
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