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.
Introdução<br />
O objetivo principal da presente dissertação é apresentar uma resposta para a seguinte<br />
pergunta: quais são as hipóteses necessárias e suficientes para que, dados (p1, . . . , pk) e<br />
(q1, . . . , qk) dois conjuntos or<strong>de</strong>nados <strong>de</strong> k pontos distintos na fronteira do espaço hiperbólico<br />
real, exista uma isometria f <strong>de</strong> H n R tal que f(pi) = qi, para i = 1, . . . , k ?<br />
Para atingir este objetivo, utilizaremos o invariante <strong>de</strong> Korányi-Riemann, e para isso<br />
precisamos utilizar o mo<strong>de</strong>lo projetivo para o espaço hiperbólico real. Este mo<strong>de</strong>lo é <strong>de</strong>finido<br />
do seguinte modo: em R n+1 consi<strong>de</strong>re a forma bilinear simétrica 〈·, ·〉 dada por<br />
〈X, Y 〉 = x1y1 + · · · + xnyn − xn+1yn+1,<br />
sendo X = (x1, . . . , xn, xn+1) e Y = (y1, . . . , yn, yn+1). O espaço vetorial R n+1 munido <strong>de</strong>sta<br />
forma bilinear será <strong>de</strong>notado por R n,1 . Se<br />
V− = {X ∈ R n+1 : 〈X, X〉 < 0}, V0 = {X ∈ R n+1 : 〈X, X〉 = 0}<br />
e se P : R n+1 \ {0} → RP n <strong>de</strong>nota a projeção natural sobre o espaço projetivo real, então o<br />
espaço hiperbólico real H n R po<strong>de</strong> ser <strong>de</strong>finido como P(V−). A fronteira <strong>de</strong> H n R<br />
5<br />
é então dada<br />
por P(V0), os vetores em V− são chamados <strong>de</strong> vetores negativos e os vetores diferentes <strong>de</strong> 0<br />
em V0 são chamados <strong>de</strong> vetores isotrópicos.<br />
Começamos a dissertação, então, apresentando algumas noções básicas sobre o mo<strong>de</strong>lo<br />
projetivo do espaço hiperbólico real. Além disso, <strong>de</strong>finimos outros mo<strong>de</strong>los relevantes para<br />
e apresentamos mudanças <strong>de</strong> coor<strong>de</strong>nadas que os relacionam. E como no mo<strong>de</strong>lo do semi-<br />
Hn R<br />
espaço superior é bem sabido que o grupo <strong>de</strong> isometrias <strong>de</strong> Hn R<br />
é gerado por translações,<br />
rotações, dilatações e a inversão, apresentamos matrizes que agem como transformações<br />
ortogonais <strong>de</strong> R n,1 e que induzem estas isometrias em H n R .<br />
Agora observe que se (p1, . . . , pk) e (q1, . . . , qk) são dois conjuntos or<strong>de</strong>nados <strong>de</strong> k pontos<br />
distintos na fronteira do espaço hiperbólico real, consi<strong>de</strong>rando levantamentos <strong>de</strong>stes pontos