Teilgebiet der Geometrie, das die Wirkung der Gruppe \(\scr {L}\) der Laguerre-Transformationen auf dem Raum \(M_{\scr {L}}\) der sogenannten L-Kreise beschreibt.

Dieser Raum kann als eine Vereinigung der Menge der orientierten Kreise des ℝ² mit den Punkten des ℝ² – hier verstanden als Kreise mit verschwindendem Radius – betrachtet werden. Die Laguerre-Transformationen sind dann diejenigen Transformationen von L-Kreisen, die Teilmengen von L-Kreisen, die dadurch beschrieben sind, daß sie eine gegebene Gerade des ℝ² berühren, wieder in ebensolche Teilmengen überführen.

Zur genaueren Beschreibung der Laguerre-Geometrie konstruieren wir ein Modell. Für u = (u₀, u₁) ∈ ℝ² bezeichnen wir zunächst den Kreis um u mit dem Radius r ∈ ℝ, r > 0, durch K(u, r). Dann konstruieren wir eine Abbildung m_p : ℝ³ → \(M_{\scr {L}}\) für x = (x₀, x₁, x₂) durch \begin{eqnarray}{m}_{p}(x)=\left\{\begin{array}{ll}(K(({x}_{0},{x}_{1}),{x}_{2}),1), & \text{falls}\space {x}_{2}\gt 0,\\ (K(({x}_{0},{x}_{1}),{x}_{2}),-1), & \text{falls}\space {x}_{2}\lt 0,\\ ({x}_{0},{x}_{1}), & \text{falls}\space {x}_{2}=0.\end{array}\right.\end{eqnarray}

Dabei stehen die Komponenten ±1 für die Orientierung des entsprechenden Kreises.

Auf dem ℝ³ betrachten wir die Bilinearform \begin{eqnarray}{\langle x,y\rangle }_{L}=-{x}_{0}{y}_{0}+{x}_{1}{y}_{1}+{x}_{2}{y}_{2}\end{eqnarray}

für x = (x₀, x₁, x₂) und y = (y₀, y₁, y₂) ∈ ℝ³.

Sei nun A(1, 2) die Gruppe der affinen Transformationen des ℝ³, die die Bilinearform ⟨ .,. ⟩_L erhalten. Dann definieren wir die Gruppe L der Laguerre-Transformationen auf M_L durch \begin{eqnarray}L=\{{m}_{p}\circ \varphi \circ {m}_{p}^{-1}|\varphi \in \text{A}(1,2)\}\end{eqnarray}

In der klassischen Literatur wird die Abbildung m_p auch als zyklographische Projektion oder Minimal-projektion bezeichnet.

Es sei nun u ∈ ℝ² ein Punkt der Ebene. Dann berühren sich zwei L-Kreise genau dann in u, wenn ihre Urbilder unter m_p auf einer Gerade des ℝ³ liegen, die die (x, y)−Ebene im Punkt u unter dem Winkel π/4 schneidet. Eine solche Gerade wird in der Laguerre-Geometrie isotrope Gerade genannt. Mit Hilfe dieser Begriffsbildung kann gezeigt werden, daß (\(M_{\scr {L}}\), \(\scr {L}\)), so wie hier konstruiert, tatsächlich ein Modell der Laguerre-Geometrie ist. Ähnlich wie die Möbius-Gruppe im Rahmen der Möbius-Geometrie kann auch die Gruppe der Laguerre-Transformationen aus speziellen Inversionen, den Laguerre-Inversionen, erzeugt werden. Siehe hierzu auch Laguerre-Ebene.

Die Laguerre-Geometrie wurde in ihren Grundzügen bereits von Sophus Lie etwa 1870 entwickelt. Edmond Laguerre hat um 1880 vor allem die Erzeugung dieser Geometrie aus Inversionen untersucht. Vom Standpunkt der Lie-Geometrie der Dimension n = 2 kann die Gruppe der Laguerre-Transformationen, wie auch die Möbius-Gruppe, als eine Untergruppe der Gruppe der Lie-Transformationen angesehen werden.

[1] Blaschke, W.: Vorlesungen über Differentialgeometrie III. Verlag von Julius Springer Berlin, 1929.