In SU(1,1) straight lines on the disk we have seen nice families of parallel straight lines in the hyperbolic geometry of the unit disk of the complex plane. Here is one such family:
Let us recall how was it obtained. We start with a template straight line through the origin at .
Then we take one-parameter group of SU(1,1) transformations generated by
We apply transformations to our template straight line (we use fractional linear transformations explained in previous posts), for several different values of , and we obtain the family depicted above.
Let us take a particular case, with
We have therefore the point on the template line is transformed into given by
The whole template line is transformed as follows
We obtain another straight line, parallel to the original one (as the two lines do not intersect). If we rotate this new line clockwise about the origin, at a certain point the two lines touch at . That is the limit of being parallel. If we rotate further, then the two lines start to intersect.
Let us calculate the angle that we need to use to reach the limit. We set in Eq. (3) and solve for such that
Solving this I am finding (in radians)
Our U(1) rotation group is defined by matrices
It acts on complex numbers by:
Therefore in order to obtain the limiting line we need to apply
The total transformation that we will use is therefore
Acting on the point on the real axis it produces a point in the disk
The real part, vanishes for The imaginary part has, for this the value . That means that at the limiting line crosses the vertical imaginary axis.
We could easily repeat the above reasoning applied, this time, to the left point We would get the second limiting line. The two lines cross at , as shown below:
We will continue our adventure in the next post. We will produce there this image of parallel lines – the Angel of Geometry