Correlación (geometría proyectiva)

En geometría proyectiva, una correlación es una transformación de un espacio proyectivo de d-dimensiones que asigna un subespacio de dimensión k sobre subespacios de dimensión (dk − 1), invirtiendo la relación de inclusión y preservando la relación de incidencia. Las correlaciones también se denominan reciprocidades o transformaciones recíprocas.

En dos dimensiones

En el plano proyectivo real, los puntos y las rectas son elementos duales entre sí. Como lo expresa Coxeter:

Una correlación es una transformación punto a línea recta y línea recta a punto que preserva la relación de incidencia de acuerdo con el principio de dualidad. Así, transforma rangos en haces, haces en rangos, cuadriláteros en cuadriláteros, etc.[1]

Dada una recta m y un punto P que no está en m, se obtiene una correlación elemental de la siguiente manera: para cada Q sobre m se forma la recta PQ. La correlación inversa comienza con el haz de rectas que pasan por P: para cualquier línea recta q de este haz, se toma el punto mq. La composición de dos correlaciones que comparten el mismo haz es una perspectividad.

En tres dimensiones

En un espacio proyectivo tridimensional, una correlación asigna un punto a un plano. Como se indica en un libro de texto:[2]

Si κ es tal correlación, cada punto P se transforma en un plano π′= κP y, a la inversa, cada punto P surge de un único plano π′ por la transformación inversa κ1.

Las correlaciones tridimensionales también transforman rectas en rectas, por lo que pueden considerarse colineaciones de los dos espacios.

En dimensiones superiores

En un espacio proyectivo general de n dimensiones, una correlación lleva un punto a un hiperplano. Este contexto fue descrito por Paul Yale:

Una correlación del espacio proyectivo P(V) es una permutación de inclusión-inversión de los subespacios propios de P(V).[3]

Demostró un teorema que establece que una correlación φ intercambia uniones e intersecciones, y para cualquier subespacio proyectivo W de P(V), la dimensión de la imagen de W bajo φ es (n 1) dim W, donde n es la dimensión del espacio vectorial V utilizada para producir el espacio proyectivo P(V ).

Existencia de correlaciones

Las correlaciones solo pueden existir si el espacio es autodual. Para dimensiones 3 y superiores, la autodualidad es fácil de probar: existe un anillo de división coordinante y la autodualidad falla si y solo si el campo sesgado no es isomorfo a su opuesto.

Tipos especiales de correlaciones

Polaridad

Si una correlación φ es una involución (es decir, dos aplicaciones de la correlación equivalen a la identidad: φ2(P)= P para todos los puntos P), entonces se denomina polaridad. Las polaridades de los espacios proyectivos conducen al concepto de los espacios polares, que se definen tomando la colección de todos los subespacios contenidos en su imagen bajo la polaridad.

Correlación natural

Existe una correlación natural inducida entre un espacio proyectivo P(V) y su dual P(V) mediante el pareado natural ⟨⋅,⋅⟩ entre el los espacios de vectores subyacentes V y su dual V, donde cada subespacio W de V se asigna a su complemento ortogonal W en V, definido como W= {vV | ⟨w, v⟩= 0, ∀wW}.[4]

Componer esta correlación natural con un isomorfismo de espacios proyectivos inducido por una aplicación semilineal produce una correlación de P(V) consigo mismo. De esta manera, cada aplicación semilineal no degenerada VV induce una correlación de un espacio proyectivo consigo mismo.

Referencias

  1. Harold Scott MacDonald Coxeter (1974) Projective Geometry, second edition, page 57, University of Toronto Press ISBN 0-8020-2104-2
  2. J. G. Semple and G. T. Kneebone (1952) Algebraic Projective Geometry, p 360, Oxford University Press
  3. Paul B. Yale (1968, 1988. 2004) Geometry and Symmetry, chapter 6.9 Correlations and semi-bilinear forms, Dover Publications ISBN 0-486-43835-X
  4. Irving Kaplansky (1974) [1969], Linear Algebra and Geometry (2nd edición), p. 104.

Bibliografía

  • Robert J. Bumcroft (1969), Modern Projective Geometry, Holt, Rinehart, and Winston, Chapter 4.5 Correlations p. 90.
  • Robert A. Rosenbaum (1963), Introduction to Projective Geometry and Modern Algebra, Addison-Wesley, p. 198.
Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.