Cuádrica de Klein

De testwiki
Ir a la navegación Ir a la búsqueda

Plantilla:Distinguir

En matemáticas, las líneas de un espacio proyectivo tridimensional S, pueden verse como puntos de un espacio proyectivo de 5 dimensiones, T. En ese espacio de 5 dimensiones, los puntos que representan cada línea en S se encuentran en un cuádrica Q, conocida como cuádrica de Klein.[1]

Si el espacio vectorial subyacente de S es el espacio vectorial de 4 dimensiones V, entonces T tiene como espacio vectorial subyacente de 6 dimensiones el producto exterior Λ2V de V. Las coordenadas de la recta obtenidas de esta forma se conocen como coordenadas plückerianas.

Estas coordenadas de Plücker satisfacen la relación cuadrática

p12p34+p13p42+p14p23=0

definiendo Q, de forma que

pij=uivjujvi

son las coordenadas de la recta abarcada por los dos vectores u y v.

El 3-espacio, S, se puede reconstruir de nuevo a partir de la cuádrica Q: los planos contenidos en Q quedan en dos clases de equivalencia, donde los planos de la misma clase se encuentran en un punto, y planos de diferentes clases se encuentran en una línea o en el conjunto vacío. Sean estas clases C y C. La geometría de S se recupera de la siguiente manera:

  1. Los puntos de S son los planos de C.
  2. Las rectas de S son los puntos de Q.
  3. Los planos de S son los planos de C’.

El hecho de que las geometrías de S y Q sean isomorfas puede explicarse por el isomorfismo de los diagramas de Dynkin A3 y D3.

Ecuación en coordenadas homogéneas

En el espacio proyectivo de 5 dimensiones, la cuádrica de Klein tiene la siguiente ecuación en coordenadas homogéneas:

x0x5x1x4+x2x3=0

Referencias

Plantilla:Listaref

Bibliografía

Plantilla:Control de autoridades