Characterisations of hyperbolic motions by lineations (Q1385216)

Let \(n\in \{2,3,\dots\}\), and \(I^n= \{(x_1,\dots, x_n)\in\mathbb{R}^n\mid x^2_1+\cdots+ x^2_n< 1\}\) the set of the points of the Cayley-Klein model of hyperbolic \(n\)-space. A lineation is defined as a map \(f: I^n\to I^n\) such that lines map on subsets of lines. A hyperbolic motion is defined as a bijection \(f: I^n\to I^n\) preserving the hyperbolic distance. The author proves that for \(n\geq 2\) every surjective lineation is a hyperbolic motion. Moreover, if the map \(f\), for \(n\geq 2\), takes lines onto lines, then the image of \(f\) is either a hyperbolic line or a hyperbolic motion.