El plano de Laguerre clásico es una estructura de incidencia que describe el comportamiento de incidencia de las curvas , es decir, parábolas y rectas, en el plano afín real . Para simplificar la estructura, a cualquier curva se le añade el punto . Una ventaja adicional de esta finalización es que la geometría plana de las parábolas/líneas completadas es isomorfa a la geometría de las secciones planas de un cilindro (ver más abajo).
El clásico avión real de Laguerre
Originalmente, el plano de Laguerre clásico se definió como la geometría de las líneas y círculos orientados en el plano euclidiano real (ver [1] ). Aquí preferimos el modelo de parábola del plano clásico de Laguerre.
Definimos:
el conjunto de puntos , el conjunto de ciclos .
La estructura de incidencia se denomina plano de Laguerre clásico .
El conjunto de puntos es más una copia de (ver figura). Cualquier parábola/línea obtiene el punto adicional .
Los puntos con la misma coordenada x no se pueden conectar mediante curvas . Por ello definimos:
Dos puntos son paralelos ( ) si o no hay ningún ciclo que contenga y .
Para la descripción del plano real clásico de Laguerre, dos puntos superiores son paralelos si y sólo si . es una relación de equivalencia , similar a la paralelidad de rectas.
La estructura de incidencia tiene las siguientes propiedades:
Lema:
Para tres puntos cualesquiera , por pares y no paralelos, hay exactamente un ciclo que contiene .
Para cualquier punto y ciclo hay exactamente un punto tal que .
Para cualquier ciclo , cualquier punto y cualquier punto que no sea paralelo a hay exactamente un ciclo que pasa por , es decir, y se tocan entre sí en .
Plano de Laguerre: proyección estereográfica del plano xz sobre un cilindro
Similar al modelo esférico del plano clásico de Moebius, existe un modelo cilíndrico para el plano clásico de Laguerre:
es isomorfo a la geometría de las secciones planas de un cilindro circular en .
El siguiente mapeo es una proyección con centro que mapea el plano xz en el cilindro con la ecuación , eje y radio.
Los puntos (la línea del cilindro que pasa por el centro) no aparecen como imágenes.
proyecta la parábola/línea con ecuación en el plano . Entonces, la imagen de la parábola/línea es la sección plana del cilindro con un plano no perpendicular y por lo tanto un círculo/elipse sin punto . Las parábolas/líneas se asignan a círculos (horizontales).
Una línea (a=0) se asigna a un círculo/elipse que pasa por el centro y una parábola ( ) a un círculo/elipse que no contiene .
Los axiomas de un plano de Laguerre.
El Lema anterior da lugar a la siguiente definición:
Sea una estructura de incidencia con conjunto de puntos y conjunto de ciclos .
Dos puntos son paralelos ( ) si o no hay ningún ciclo que contenga y . Se llama plano de Laguerre si se cumplen los siguientes axiomas:
Plano de Laguerre: axiomas
B1: Para tres puntos cualesquiera , por pares y no paralelos, hay exactamente un ciclo que contiene .
B2: Para cualquier punto y cualquier ciclo existe exactamente un punto tal que .
B3: Para cualquier ciclo , cualquier punto y cualquier punto que no sea paralelo a, hay exactamente un ciclo con ,
es decir, y tocarse en .
B4: Cualquier ciclo contiene al menos tres puntos. Hay al menos un ciclo. Hay al menos cuatro puntos que no están en un ciclo.
Cuatro puntos son concíclicos si hay un ciclo con .
De la definición de relación y el axioma B2 obtenemos
Siguiendo el modelo cilíndrico del plano de Laguerre clásico introducimos la denotación:
a) Porque fijamos . b) Una clase de equivalencia se llama generador .
Para el plano clásico de Laguerre, un generador es una línea paralela al eje y (modelo plano) o una línea en el cilindro (modelo espacial).
La conexión con la geometría lineal viene dada por la siguiente definición:
Para un plano de Laguerre definimos la estructura local.
y llámalo residuo en el punto P.
En el modelo plano del plano clásico de Laguerre es el plano afín real . En general obtenemos
Teorema: Cualquier residuo de un plano de Laguerre es un plano afín .
Y la definición equivalente de avión de Laguerre:
Teorema:
Una estructura de incidencia junto con una relación de equivalencia es un plano de Laguerre si y sólo si para cualquier punto el residuo es un plano afín.
Planos finitos de Laguerre
modelo mínimo de un avión de Laguerre (solo se muestran 4 de 8 ciclos)
La siguiente estructura de incidencia es un "modelo mínimo" de un avión de Laguerre:
Por lo tanto y
Para planos de Laguerre finitos, es decir , obtenemos:
Lema:
Para cualquier ciclo y cualquier generador de un plano de Laguerre finito tenemos:
.
Para un plano de Laguerre finito y un ciclo, el número entero se llama orden de .
De la combinatoria obtenemos
Lema:
Sea un Laguerre: plano de orden . Entonces
a) cualquier residuo es un plano de orden afín b) c)
Aviones de Miquelián Laguerre.
A diferencia de los planos de Moebius, la generalización formal del modelo clásico de un plano de Laguerre, es decir, la sustitución por un campo arbitrario , siempre conduce a un ejemplo de plano de Laguerre.
es un plano de Laguerre con la siguiente relación paralela: si y sólo si .
De manera similar a un plano de Möbius, la versión de Laguerre del Teorema de Miquel sostiene:
Teorema de Miquel (círculos dibujados en lugar de parábolas)
Teorema de Miquel:
Para el plano de Laguerre se cumple lo siguiente:
Si para 8 pares de puntos no paralelos que se pueden asignar a los vértices de un cubo de modo que los puntos en 5 caras correspondan a cuádruples concíclicos, entonces el sexto cuádruple de puntos también es concíclico.
(Para una mejor visión general en la figura hay círculos dibujados en lugar de parábolas)
La importancia del Teorema de Miquel se demuestra en el siguiente teorema, que se debe a vd Waerden, Smid y Chen:
Teorema: Sólo un plano de Laguerre satisface el teorema de Miquel.
Por este último teorema se le llama "plano de Miquelian Laguerre".
El modelo mínimo de un avión de Laguerre es miqueliano. Es isomorfo al plano de Laguerre con (campo ).
Una proyección estereográfica adecuada muestra que es isomorfa a la geometría de las secciones planas de un cilindro cuádrico sobre el campo .
Planos ovoidales de Laguerre
Hay muchos planos de Laguerre que no son miquelianos (ver enlace web más abajo). La clase que más se parece a los aviones miquelianos de Laguerre son los aviones ovoidales de Laguerre . Un plano ovoidal de Laguerre es la geometría de las secciones planas de un cilindro que se construye utilizando un óvalo en lugar de una cónica no degenerada. Un óvalo es un conjunto cuadrático y tiene las mismas propiedades geométricas que una cónica no degenerada en un plano proyectivo: 1) una recta corta a un óvalo en cero, uno o dos puntos y 2) en cualquier punto hay una tangente única. Se puede construir un óvalo simple en el plano real pegando dos mitades adecuadas de elipses diferentes, de modo que el resultado no sea una cónica. Incluso en el caso finito existen óvalos (ver conjunto cuadrático ).