stringtranslate.com

Avión de Minkowski

En matemáticas, un plano de Minkowski (llamado así por Hermann Minkowski ) es uno de los planos de Benz (los otros son el plano de Möbius y el plano de Laguerre ).

Avión clásico real de Minkowski

Avión clásico de Minkowski: modelo 2D/3D

Aplicando la distancia pseudo-euclidiana en dos puntos (en lugar de la distancia euclidiana) obtenemos la geometría de las hipérbolas , porque un círculo pseudo-euclidiano es una hipérbola con punto medio .

Mediante una transformación de coordenadas ⁠ ⁠ , ⁠ ⁠ , la distancia pseudoeuclidiana se puede reescribir como ⁠ ⁠ . Las hipérbolas tienen entonces asíntotas paralelas a los ejes de coordenadas no primos.

La siguiente terminación (ver planos de Möbius y Laguerre) homogeneiza la geometría de las hipérbolas:

La estructura de incidencia se denomina plano de Minkowski real clásico .

El conjunto de puntos consta de ⁠ ⁠ , dos copias de y el punto .

Toda recta se completa por el punto , toda hipérbola por los dos puntos (ver figura).

Dos puntos no pueden estar conectados por un ciclo si y sólo si o .

Definimos: Dos puntos , son (+)-paralelos ( ) si y (−)-paralelos ( ) si . Ambas relaciones son relaciones de equivalencia en el conjunto de puntos.

Dos puntos se llaman paralelos ( ) si o .

De la definición anterior encontramos:

Lema:

Al igual que los planos clásicos de Möbius y Laguerre, los planos de Minkowski pueden describirse como la geometría de las secciones planas de una cuádrica adecuada. Pero en este caso la cuádrica vive en un espacio tridimensional proyectivo : el plano clásico real de Minkowski es isomorfo a la geometría de las secciones planas de un hiperboloide de una hoja (no una cuádrica degenerada de índice 2).

Axiomas de un plano de Minkowski

Sea una estructura de incidencia con el conjunto de puntos, el conjunto de ciclos y dos relaciones de equivalencia ((+)-paralelas) y ((−)-paralelas) en el conjunto . Para definimos: y . Una clase de equivalencia o se llama (+)-generador y (−)-generador , respectivamente. (Para el modelo espacial del plano clásico de Minkowski, un generador es una línea en el hiperboloide). Dos puntos se llaman paralelos ( ) si o .

Una estructura de incidencia se denomina plano de Minkowski si se cumplen los siguientes axiomas:

Axiomas de Minkowski c1-c2
Axiomas de Minkowski c3-c4

Para las investigaciones son ventajosas las siguientes afirmaciones sobre clases paralelas (equivalentes a C1, C2 respectivamente).

Las primeras consecuencias de los axiomas son

Lema  —  Para un avión Minkowski lo siguiente es cierto

  1. Cualquier punto está contenido en al menos un ciclo.
  2. Cualquier generador contiene al menos 3 puntos.
  3. Dos puntos pueden estar conectados por un ciclo si y sólo si no son paralelos.

De manera análoga a los planos de Möbius y Laguerre obtenemos la conexión con la geometría lineal a través de los residuos.

Para un plano de Minkowski definimos la estructura local y la llamamos residuo en el punto P.

Porque el plano clásico de Minkowski es el verdadero plano afín .

Una consecuencia inmediata de los axiomas C1 a C4 y C1′, C2′ son los dos teoremas siguientes.

Teorema  :  Para un plano de Minkowski cualquier residuo es un plano afín.

Teorema  —  Sea una estructura de incidencia con dos relaciones de equivalencia y en el conjunto de puntos (ver arriba).

Entonces, es un plano de Minkowski si y sólo si para cualquier punto el residuo es un plano afín.

Modelo minimalista

Avión Minkowski: modelo minimalista

El modelo mínimo de un avión de Minkowski se puede establecer sobre el conjunto de tres elementos:

Puntos paralelos:

Por lo tanto y .

Planos de Minkowski finitos

Para planos de Minkowski finitos obtenemos de C1′, C2′:

Lema  —  Sea un plano de Minkowski finito, es decir . Para cualquier par de ciclos y cualquier par de generadores tenemos: .

Esto da lugar a la definición :
Para un plano de Minkowski finito y un ciclo de llamamos al entero el orden de .

Consideraciones combinatorias simples dan como resultado

Lema  —  Para un plano de Minkowski finito se cumple lo siguiente:

  1. Cualquier residuo (plano afín) tiene orden .
  2. ⁠ ⁠ ,
  3. ⁠ ⁠ .

Aviones de Minkowski de Miquelian

Obtenemos los ejemplos más importantes de planos de Minkowski generalizando el modelo real clásico: simplemente reemplazamos por un campo arbitrario y obtenemos en cualquier caso un plano de Minkowski .

De manera análoga a los planos de Möbius y Laguerre , el Teorema de Miquel es una propiedad característica de un plano de Minkowski .

Teorema de Miquel

Teorema (Miquel): Para el plano de Minkowski se cumple lo siguiente:

Si para cualesquiera 8 puntos no paralelos por pares que puedan asignarse a los vértices de un cubo tales que los puntos en 5 caras corresponden 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 se han dibujado círculos en lugar de hipérbolas).

Teorema (Chen): Sólo un plano de Minkowski satisface el teorema de Miquel.

Debido al último teorema se llama plano de Minkowski miqueliano .

Observación: El modelo mínimo de un avión de Minkowski es miqueliano.

Es isomorfo al plano de Minkowski con (campo ).

Un resultado sorprendente es

Teorema (Heise): Cualquier plano de Minkowski de orden par es miqueliano.

Observación: Una proyección estereográfica adecuada muestra: es isomorfa a la geometría de las secciones planas de un hiperboloide de una lámina ( cuádrica de índice 2) en el espacio proyectivo tridimensional sobre el campo .

Observación: Hay muchos planos de Minkowski que no son miquelianos (véase el enlace web que aparece a continuación). Pero no hay planos de Minkowski "ovoidales", a diferencia de los planos de Möbius y Laguerre. Porque cualquier conjunto cuadrático de índice 2 en el espacio tridimensional proyectivo es un conjunto cuadrático (véase conjunto cuadrático ).

Véase también

Referencias

Enlaces externos