Benz plane
In mathematics, a Benz plane is a type of 2-dimensional geometrical structure, named after the German mathematician Walter Benz. The term was applied to a group of objects that arise from a common axiomatization of certain structures and split into three families, which were introduced separately: Möbius planes, Laguerre planes, and Minkowski planes.
Möbius plane
Starting from the real Euclidean plane and merging the set of lines with the set of circles to form a set of blocks results in an inhomogeneous incidence structure: three distinct points determine one block, but lines are distinguishable as a set of blocks that pairwise mutually intersect at one point without being tangent. Adding to the point set the new point, defined to lie on every line results in every block being determined by exactly three points, as well as the intersection of any two blocks following a uniform pattern. This homogeneous geometry is called classical inversive geometry or a Möbius plane. The inhomogeneity of the description can be seen to be non-substantive by using a 3-dimensional model. Using a stereographic projection, the classical Möbius plane may be seen to be isomorphic to the geometry of plane sections on a sphere in Euclidean 3-space.Analogously to the projective plane, an Möbius plane defines an incidence structure.
Möbius planes may similarly be constructed over fields other than the real numbers.
Laguerre plane
Starting again from and taking the curves with equations as blocks, the following homogenization is effective: Add to the curve the new point. Hence the set of points is. This geometry of parabolas is called the classical Laguerre planeAs for the Möbius plane, there exists a 3-dimensional model: the geometry of the elliptic plane sections on an orthogonal cylinder. An abstraction leads to the axiomatic Laguerre plane.
Minkowski plane
Starting from and merging the lines with the hyperbolas in order to get the set of blocks, the following idea homogenizes the incidence structure: Add to any line the pointand to any hyperbola the two points. Hence the point set is. This geometry of the hyperbolas is called the classical Minkowski plane.
Analogously to the classical Möbius and Laguerre planes, there exists a 3-dimensional model: The classical Minkowski plane is isomorphic to the geometry of plane sections of a hyperboloid of one sheet in 3-dimensional projective space. Similar to the first two cases we get the Minkowski plane.