0
$\begingroup$

I need to proof (Under Hilbert axiomatization) that hyperbolic rigid motions, with respect to the metric $ d:\mathbb{H}^2 \times\mathbb{H}^2\rightarrow\mathbb{R}: d(A,B) =\left| \log \left( \frac{|AA_{\infty}| \ |BB_{\infty}|}{|AB_{\infty}| \ |BA_{\infty}|} \right) \right| $, does preserve paralelism.

I tried to show that two hyperbolic lines that share an ideal point will share another ideal point, but I suppose this isn't the best way to think parallelism since I'm stuck at the formalization.

Can you please give me a hint? Thanks.

$\endgroup$
3
  • $\begingroup$ If you know a proof for Euclidean geometry, it should be the same proof, because this fact should be independent of the parallel postulate. $\endgroup$
    – Lee Mosher
    Feb 17, 2016 at 2:31
  • $\begingroup$ I think " two hyperbolic lines that share an ideal point will share another ideal point" is just false, lines cannot share two points ideal or not $\endgroup$
    – Willemien
    Feb 17, 2016 at 9:29
  • $\begingroup$ But the congruence definition here is diferent. AB is congruence to CD iff there is a Lobatchevski transformation f such as f(A)=C and f(B)=D. So I believe the euclidean proof doesn't work here. "Share an ideal point" here isn't the same as "the ideal point belongs to the two lines" (An ideal point isn't even a point of the plane), but I mean that the euclidean semicircles that represent the two lines have a common euclidean point in the line $r_{\infty}$.. $\endgroup$
    – user286485
    Feb 18, 2016 at 0:10

1 Answer 1

0
$\begingroup$

In order to apply the metric to lines, you likely consider these lines as sets of points. Two lines intersect if they have a point in common, ore phrased in terms of the metric, if there exists a point on the first line and a point on the second line which have distance zero to one another.

If you have a pair of parallel lines, they don't intersect, so for any point $A$ on the first line and $B$ on the second line, the distance will be non-zero. If you apply a rigid motion to them, the corresponding image points will still have that property, so you don't get any at distance zero. Therefore the resulting lines must still be parallel.

You can generalize this to say that rigid motions preserve incidence, since two sets of points are incident if they have a point in common.

If you care about the distinction between asymptotically parallel lines ans ultraparallel lines, as your comment indicates, then you'd observe that the asymptotically parallel lines are those of the set of all parallel lines which are closest to a given line. If distances are preserved, then so is the property of being closest. Together with the above this guarantees the preservation of asymptotically parallel lines.

$\endgroup$
2
  • $\begingroup$ MvG, thanks for your reply. But there are also ultraparallel hyperbolic lines, which doesn't intersect neither share a common ideal point. $\endgroup$
    – user286485
    Feb 17, 2016 at 22:13
  • $\begingroup$ @Alnitak: In my book, both asymptotic parallel and ultraparallel would be called parallel. Proving that the distinction between these two classes is preserved requires another step. $\endgroup$
    – MvG
    Feb 18, 2016 at 7:16

You must log in to answer this question.