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.
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