04.11.2013 Views

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

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.

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:

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

Saved successfully!

Ooh no, something went wrong!