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.

Corolario 1.1. O conjunto SV− dos vetores negativos especiais é um subconjunto convexo<br />

<strong>de</strong> R n,1 .<br />

Demonstração. Se X e Y são vetores negativos especiais e 0 < t < 1 então, pelo teorema<br />

1.1, temos que (1 − t)X + tY é vetor negativo especial.<br />

1.1 O Grupo Ortogonal<br />

Definição 1.1. Uma aplicação linear T : R n,1 → R n,1 é dita ortogonal se T preserva a<br />

forma bilinear simétrica <strong>de</strong>finida acima em R n,1 , ou seja, se<br />

〈T (X), T (Y )〉 = 〈X, Y 〉, para todo X, Y ∈ R n,1 .<br />

Definição 1.2. Uma base {V1, · · · , Vn+1} <strong>de</strong> R n,1 é uma base ortonormal se<br />

〈V1, V1〉 = 1, · · · , 〈Vn, Vn〉 = 1, 〈Vn+1, Vn+1〉 = −1 e 〈Vi, Vj〉 = 0 para i = j.<br />

Observe que a base canônica {e1, · · · , en+1} <strong>de</strong> R n+1 é uma base ortonormal <strong>de</strong> R n,1 .<br />

Teorema 1.2. A aplicação T : R n,1 → R n,1 é ortogonal se, e somente se, T é linear e<br />

{T (e1), · · · , T (en+1)} é uma base ortonormal <strong>de</strong> R n,1 .<br />

Demonstração. Suponha que T seja uma aplicação ortogonal. Então, por <strong>de</strong>finição, T é<br />

aplicação linear tal que:<br />

e<br />

〈T (e1), T (e1)〉 = 〈e1, e1〉 = 1,<br />

.<br />

〈T (en), T (en)〉 = 〈en, en〉 = 1,<br />

〈T (en+1), T (en+1)〉 = 〈en+1, en+1〉 = −1,<br />

〈T (ei), T (ej)〉 = 〈ei, ej〉 = 0 para i = j.<br />

Assim, {T (e1), · · · , T (en+1)} é uma base ortonormal <strong>de</strong> R n,1 .<br />

11

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

Saved successfully!

Ooh no, something went wrong!