Ovoide (geometría proyectiva)

Para la definición de un ovoide: t recta tangente; y s recta secante

En geometría proyectiva, un ovoide es un conjunto de puntos (superficie) similar a una esfera en un espacio proyectivo de dimensión d ≥ 3. Ejemplos simples en un espacio proyectivo real son las hiperesferas (cuádricas). Las propiedades geométricas esenciales de un ovoide son:

  1. Cualquier línea recta cruza a como máximo en 2 puntos,
  2. Las tangentes en un punto cubren un hiperplano (y nada más), y
  3. no contiene líneas rectas.

La propiedad 2) excluye los casos degenerados (conos,...). La propiedad 3) excluye superficies regladas (hiperboloides de una hoja, ...).

Un ovoide es el análogo espacial de un óvalo en un plano proyectivo.

Un ovoide es un tipo especial de conjunto cuadrático.

Los ovoides juegan un papel esencial en la construcción de ejemplos del plano de Möbius y geometrías de Möbius de dimensiones superiores.

Definición de un ovoide

  • En un espacio proyectivo de dimensión d ≥ 3 un conjunto de puntos se llama ovoide, si
(1) Cualquier recta g se encuentra con en como máximo 2 puntos.

En el caso de , se llama recta pasante (o exterior), si entonces es una recta tangente, y si es una recta secante.

(2) En cualquier punto , las rectas tangentes que pasan por P cubren un hiperplano, el hiperplano tangente (es decir, un subespacio proyectivo de dimensión d − 1).
(3) no contiene líneas rectas.

Desde el punto de vista de las secciones del hiperplano, un ovoide es un objeto bastante homogéneo, porque

  • Para un ovoide y un hiperplano , que contiene al menos dos puntos de , el subconjunto es un ovoide (o un óvalo, si es d= 3) dentro del hiperplano .

Para espacios proyectivos finitos de dimensión d ≥ 3 (es decir, el conjunto de puntos es finito, el espacio es pappiano[1]​), el siguiente resultado es verdadero:

  • Si es un ovoide en un espacio proyectivo finito de dimensión d ≥ 3, entonces d= 3.
(En el caso finito, los ovoides existen solo en espacios tridimensionales.)[2]
  • En un espacio proyectivo finito de orden n >2 (es decir, cualquier línea contiene exactamente puntos n + 1) y dimensión d= 3, cualquier conjunto de puntos es un ovoide si y solo si y ningún otro punto son colineales (en una línea recta común).[3]

Reemplazar la palabra proyectivo en la definición de ovoide por afín, da la definición de ovoide afín.

Si para un ovoide (proyectivo) hay un hiperplano adecuado que no lo cruza, se puede llamar a este hiperplano el hiperplano en el infinito y el ovoide se convierte en un ovoide afín en el espacio afín correspondiente a . Además, cualquier ovoide afín puede considerarse un ovoide proyectivo en el cierre proyectivo (agregando un hiperplano en el infinito) del espacio afín.

Ejemplos

En el espacio proyectivo real (representación no homogénea)

  1. (hiperesfera)

Estos dos ejemplos son cuádricas y son proyectivamente equivalentes.

Se pueden obtener ejemplos simples, que no son cuádricas, mediante las siguientes construcciones:

(a) Pegar la mitad de una hiperesfera a un hiperelipsoide adecuado en forma suave.
(b) En los dos primeros ejemplos, reemplazar la expresión x12 por x14.

Observación: Los ejemplos reales no se pueden convertir al caso complejo (espacio proyectivo sobre ). En un espacio proyectivo complejo de dimensión d ≥ 3 no hay cuádricas ovoides, porque en ese caso cualquier cuádrica no degenerada contiene líneas rectas.

Pero el siguiente método garantiza muchos ovoides no cuádricos:

  • Para cualquier espacio proyectivo no finito, la existencia de ovoides se puede probar mediante inducción transfinita.[4][5]

Ejemplos finitos

  • Cualquier ovoide en un espacio proyectivo finito de dimensión d= 3 sobre un cuerpo K de característica ≠ 2 es una cuádrica.[6]

El último resultado no se puede extender ni siquiera a una característica par, debido a los siguientes ejemplos que no son cuádricas:

  • Para impar y el automorfismo

el conjunto de puntos

es un ovoide en el espacio proyectivo tridimensional sobre K (representado en coordenadas no homogéneas).
Solo cuando m= 1 el ovoide es una cuádrica.[7]
se llama ovoide de Tits-Suzuki.

Criterios para que un ovoide sea una cuádrica

Una cuádrica ovoidal tiene muchas simetrías. En particular:

  • Sea un ovoide en un espacio proyectivo de dimensión d ≥ 3 y un hiperplano. Si el ovoide es simétrico con respecto a cualquier punto (es decir, hay una perspectiva involutiva con centro que deja a invariante), entonces es pappiano y una cuádrica.[8]
  • Un ovoide en un espacio proyectivo es una cuádrica, si el grupo de proyectividades que dejan invariante a opera 3-transitivamente en , es decir, para dos tripletes existe una proyectividad con .[9]

En el caso finito se obtiene del teorema de Segre que:

  • Sea un ovoide en un espacio proyectivo desarguesiano tridimensional finito de orden impar, entonces es pappiano y es una cuádrica.

Generalización: semi ovoide

Eliminar la condición (1) de la definición de ovoide da como resultado la definición de semi-ovoide:

Un conjunto de puntos de un espacio proyectivo se llama semiovoide si se mantienen las siguientes condiciones:
(SO1) Para cualquier punto , las tangentes que pasan por el punto cubren exactamente un hiperplano.
(SO2) no contiene líneas rectas.

Un semiovoide es un conjunto semicuadrático especial,[10]​ que es una generalización de un conjunto cuadrático. La diferencia esencial entre un conjunto semicuadrático y un conjunto cuadrático es el hecho de que puede haber rectas que tengan 3 puntos en común con el conjunto y las rectas no estén contenidas en el conjunto.

Ejemplos de semiovoides son los conjuntos de puntos isotrópicos de una forma hermítica. Se llaman cuádricas hermíticas.

En cuanto a los ovoides, en la literatura existen criterios que convierten un semiovoide en una cuádrica hermítica. Véase, por ejemplo.[11]

Los semiovoides se utilizan en la construcción de ejemplos de geometrías de Möbius.

Véase también

Referencias

  1. Dembowski, 1968
  2. Dembowski, 1968
  3. Dembowski, 1968
  4. W. Heise: Bericht über -affine Geometrien, Journ. of Geometry 1 (1971), S. 197–224, Satz 3.4.
  5. F. Buekenhout: A Characterization of Semi Quadrics, Atti dei Convegni Lincei 17 (1976), S. 393-421, chapter 3.5
  6. Dembowski, 1968
  7. Dembowski, 1968
  8. H. Mäurer: Ovoide mit Symmetrien an den Punkten einer Hyperebene, Abh. Math. Sem. Hamburg 45 (1976), S.237-244
  9. J. Tits: Ovoides à Translations, Rend. Mat. 21 (1962), S. 37–59.
  10. F. Buekenhout: A Characterization of Semi Quadrics, Atti dei Convegni Lincei 17 (1976), S. 393-421.
  11. K.J. Dienst: Kennzeichnung hermitescher Quadriken durch Spiegelungen, Beiträge zur geometrischen Algebra (1977), Birkhäuser-Verlag, S. 83-85.

Bibliografía

Lecturas adicionales

  • Barlotti, A. (1955), «Un'estensione del teorema di Segre-Kustaanheimo», Boll. Un. Mat. Ital. 10: 96-98 .
  • Hirschfeld, J.W.P. (1985), Finite Projective Spaces of Three Dimensions, New York: Oxford University Press, ISBN 0-19-853536-8 .
  • Panella, G. (1955), «Caratterizzazione delle quadriche di uno spazio (tridimensionale) lineare sopra un corpo finito», Boll. Un. Mat. Ital. 10: 507-513 .

Enlaces externos

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!