Plano de Benz

En matemáticas, un plano de Benz es un tipo de estructura geométrica bidimensional, que lleva el nombre del matemático alemán Walter Benz.

El término se aplicó a un grupo de objetos que surgen de un sistema axiomático común de ciertas estructuras y se dividieron en tres familias, que se introdujeron por separado: el plano de Möbius, el plano de Laguerre y el plano de Minkowski.

[1]​ [2]​ Tomar como entorno de partida el plano euclídeo real para fusionar el conjunto de líneas rectas con el conjunto de círcunferencias con el propósito de formar un conjunto de bloques, da como resultado una estructura de incidencia no homogénea: tres puntos distintos determinan un bloque, pero las líneas rectas se distinguen como un conjunto de bloques que se intersecan mutuamente en un único punto (o en ningún punto cuando son paralelas), sin posibilidad de ser tangentes.

, definido para que se encuentre en todas las líneas rectas, da como resultado que cada bloque (cada uno de los elementos del conjunto de todas las rectas y las circunferencias del plano) esté determinado por exactamente tres puntos, así como la intersección de dos bloques cualesquiera siga un patrón uniforme (que se crucen en dos puntos, que sean tangentes, o que no presenten intersección alguna).

Esta geometría homogénea se llama geometría inversa clásica o plano de Möbius.

La falta de homogeneidad de la descripción (líneas rectas, circunferencias, nuevo punto) puede verse como no sustancial empleando un modelo tridimensional.

Si se usa una proyección estereográfica, se puede considerar que el plano clásico de Möbius es isomorfo a la geometría de las secciones planas (circunferencias) de una esfera en el espacio tridimensional euclídeo.

Los planos de Möbius también pueden construirse sobre cuerpos numéricos distintos del de los números reales.

y tomando como bloques las curvas con ecuaciones

(parábolas y rectas), es efectiva la siguiente homogeneización: se añade a la curva

Esta geometría de parábolas se llama plano de Laguerre clásico (originalmente fue diseñado como la geometría de líneas rectas y de circunferencias orientadas, si bien ambas geometrías son isomorfas).

Al igual que en el caso del plano de Möbius, existe un modelo tridimensional: la geometría de las secciones elípticas generadas por los planos que cortan un cilindro ortogonal (en

Una abstracción conduce (análogamente a lo que sucede con el plano de Möbius) al plano axiomático de Laguerre.

para obtener el conjunto de bloques, la siguiente idea homogeneiza la estructura de incidencia: se suma a cualquier recta el punto

De manera similar a los dos primeros casos, se obtiene el plano (axiomático) de Minkowski.

Debido al papel esencial del círculo (considerado como el sección cónica no degenerado en un plano proyectivo) y a la descripción plana de los modelos originales, los tres tipos de geometrías se subsumen a las geometrías de círculos planos o en honor a Walter Benz, quien consideró estas geometrías.

Plano de Möbius clásico: modelo 2d/3d
Plano de Laguerre clásico: modelo 2d/3d
Plano de Minkowski clásico: modelo 2d/3d