Characterizations of the Isometries and Construction of the Orbits in ...
Characterizations of the Isometries and Construction of the Orbits in ...
Characterizations of the Isometries and Construction of the Orbits in ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
1134 D. Gámez, M. Pasadas <strong>and</strong> C. Ruiz<br />
Figure 2: <strong>Construction</strong> <strong>of</strong> <strong>the</strong> circumference <strong>in</strong> D 2 .<br />
4 <strong>Construction</strong> <strong>of</strong> <strong>the</strong> horocycle<br />
Def<strong>in</strong>ition 4.1 The horocycle with center at po<strong>in</strong>t P <strong>of</strong> <strong>the</strong> <strong>in</strong>f<strong>in</strong>ity l<strong>in</strong>e is<br />
<strong>the</strong> set <strong>of</strong> all images <strong>of</strong> a fixed po<strong>in</strong>t Q by <strong>the</strong> reflections with respect to <strong>the</strong><br />
asymptotic l<strong>in</strong>es <strong>of</strong> <strong>the</strong> po<strong>in</strong>t P .<br />
We can obta<strong>in</strong> <strong>the</strong> follow<strong>in</strong>g properties for <strong>the</strong> horocycles:<br />
a) The horocycles can be characterized as <strong>the</strong> orbits for <strong>the</strong> group <strong>of</strong> parabolic<br />
isometries (limit rotations) with po<strong>in</strong>t P belong<strong>in</strong>g to <strong>the</strong> <strong>in</strong>f<strong>in</strong>ity l<strong>in</strong>e.<br />
b) The horocycle is obta<strong>in</strong>ed from <strong>the</strong> circumference as a limit case. Namely,<br />
<strong>in</strong> H 2 , if we move <strong>the</strong> center <strong>of</strong> <strong>the</strong> circumference through a given l<strong>in</strong>e to<br />
a po<strong>in</strong>t P (p, 0) <strong>of</strong> <strong>the</strong> <strong>in</strong>f<strong>in</strong>ity l<strong>in</strong>e, <strong>the</strong> horocycle is a euclidean circumference<br />
conta<strong>in</strong>ed <strong>in</strong> C + <strong>and</strong> tangent to <strong>the</strong> abscises axis at that po<strong>in</strong>t,<br />
<strong>and</strong> if we move <strong>the</strong> center to <strong>the</strong> <strong>in</strong>f<strong>in</strong>ity po<strong>in</strong>t <strong>of</strong> <strong>the</strong> <strong>in</strong>f<strong>in</strong>ity l<strong>in</strong>e, <strong>the</strong><br />
horocycle is a euclidean l<strong>in</strong>e conta<strong>in</strong>ed <strong>in</strong> C + whose equation is y = k.<br />
On <strong>the</strong> o<strong>the</strong>r h<strong>and</strong>, <strong>in</strong> D 2 , if we move <strong>the</strong> center <strong>of</strong> <strong>the</strong> circumference<br />
through a given l<strong>in</strong>e to a po<strong>in</strong>t <strong>in</strong> fr(D 2 ), <strong>the</strong> horocycle is a euclidean<br />
circumference conta<strong>in</strong>ed <strong>in</strong> <strong>the</strong> unit disk D tangent to <strong>the</strong> boundary <strong>of</strong><br />
D, at that po<strong>in</strong>t.<br />
c) It is easy to check that <strong>the</strong> horocycle orthogonally <strong>in</strong>tersects all <strong>the</strong> l<strong>in</strong>es<br />
<strong>of</strong> <strong>the</strong> asymptotic pencil at P , be<strong>in</strong>g equal <strong>the</strong> distance between <strong>the</strong> two<br />
<strong>of</strong> <strong>the</strong>se with center at P .<br />
The construction <strong>of</strong> <strong>the</strong> horocycle through <strong>the</strong> po<strong>in</strong>ts A(a, b) <strong>in</strong> <strong>the</strong> hyperbolic<br />
plane <strong>and</strong> P <strong>in</strong> <strong>the</strong> <strong>in</strong>f<strong>in</strong>ity l<strong>in</strong>e can be achieved <strong>in</strong> H 2 <strong>and</strong> D 2 , respectively,<br />
as follows.<br />
In H 2 we dist<strong>in</strong>guished <strong>the</strong> follow<strong>in</strong>g cases: