In mathematics, specifically in the area of hyperbolic geometry, Hilbert's arithmetic of ends is a method for endowing a geometric set, the set of ideal points or "ends" of a hyperbolic plane, with an algebraic structure as a field. It was introduced by German mathematician David Hilbert.^[1]

Definitions

Addition

The composition of three reflections with the same end is a fourth reflection, also with the same end.

Hilbert defines the addition of ends using hyperbolic reflections. For every end x in H, its negation −x is defined by constructing the hyperbolic reflection of line (x,∞) across the line (0,∞), and choosing −x to be the end of the reflected line.

The composition of any three hyperbolic reflections whose axes of symmetry all share a common end is itself another reflection, across another line with the same end. Based on this "three reflections theorem", given any two ends x and y in H, Hilbert defines the sum x + y to be the non-infinite end of the symmetry axis of the composition of the three reflections through the lines (x,∞), (0,∞), and (y,∞).

It follows from the properties of reflections that these operations have the properties required of the negation and addition operations in the algebra of fields: they form the inverse and addition operations of an additive abelian group.

Multiplication

Multiplication over ends

The multiplication operation in the arithmetic of ends is defined (for nonzero elements x and y of H) by considering the lines (1,−1), (x,−x), and (y,−y). Because of the way −1, −x, and −y are defined by reflection across the line (0,∞), each of the three lines (1,−1), (x,−x), and (y,−y) is perpendicular to (0,∞).

From these three lines, a fourth line can be determined, the axis of symmetry of the composition of the reflections through (x,−x), (1,−1), and (y,−y). This line is also perpendicular to (0,∞), and so takes the form (z,−z) for some end z. Alternatively, the intersection of this line with the line (0,∞) can be found by adding the lengths of the line segments from the crossing with (1,−1) to the crossings of the other two points. For exactly one of the two possible choices for z, an even number of the four elements 1, x, y, and z lie on the same side of line (0,∞) as each other. The sum x + y is defined to be this choice of z.

Because it can be defined by adding lengths of line segments, this operation satisfies the requirement of a multiplication operation over a field, that it forms an abelian group over the nonzero elements of the field, with identity one. The inverse operation of the group is the reflection of an end across the line (1,−1). This multiplication operation can also be shown to obey the distributive property together with the addition operation of the field.

Rigid motions

Let ${\displaystyle \scriptstyle \Pi }$ be a hyperbolic plane and H its field of ends, as introduced above. In the plane ${\displaystyle \scriptstyle \Pi }$, we have rigid motions and their effects on ends as follows:

• The reflection in ${\displaystyle \scriptstyle (0,\,\infty )}$ sends ${\displaystyle \scriptstyle x\,\in \,H'}$ to −x.

${\displaystyle x'=-x.\,}$

• The reflection in (1, −1) gives,

${\displaystyle x'={1 \over x}.\,}$

• Translation along ${\displaystyle \scriptstyle (0,\,\infty )}$ that sends 1 to any ${\displaystyle \scriptstyle a\,\in \,H}$, a > 0 is represented by

${\displaystyle x'=ax.\,}$

• For any ${\displaystyle \scriptstyle a\,\in \,H}$, there is a rigid motion σ_(1/2)a σ₀, the composition of reflection in the line ${\displaystyle \scriptstyle (0,\infty )}$ and reflection in the line ${\displaystyle \scriptstyle ((1/2)a,\,\infty )}$, which is called rotation around ${\displaystyle \scriptstyle \infty }$ is given by

${\displaystyle x'=x+a.\,}$

• The rotation around the point O, which sends 0 to any given end ${\displaystyle \scriptstyle a\,\in \,H}$, effects as

${\displaystyle x'={\frac {x+a}{1-ax}}}$

on ends. The rotation around O sending 0 to ${\displaystyle \scriptstyle \infty }$ gives

${\displaystyle x'=-{1 \over x}.}$

For a more extensive treatment than this article can give, confer.^[2]

References