Loading AI tools
transformación proyectiva que determina una correspondencia entre dos figuras geométricas planas De Wikipedia, la enciclopedia libre
En geometría proyectiva, una homografía es un isomorfismo de espacios proyectivos inducido por un isomorfismo de los espacios vectoriales a partir de los que se construyen los espacios proyectivos.[1]Se puede demostrar que toda homografía es una biyección que envía rectas a rectas, es decir, es lo que se suele denominar una colineación. En general, sin embargo, hay colineaciones que no son homografías, pero el teorema fundamental de la geometría proyectiva afirma que en espacios proyectivos reales de dimensión mayor o igual que dos toda colinación sí que resulta ser una homografía. Otros términos para referirse al mismo concepto de homografía son proyectividad, transformación proyectiva y colineación proyectiva.
Históricamente, las homografías (y, de hecho, los espacios proyectivos) fueron introducidas para estudiar la perspectiva y las proyecciones en la geometría euclídea, y el término homografía, que etimológicamente significa "dibujo parecido", se introdujo ya desde estos primeros momentos. A finales del siglo XIX se introdujeron las primeras definiciones formales de los espacios proyectivos, que extendían los espacios euclídeos y afines mediante la adición de puntos del infinito. El término transformación proyectiva tiene su origen en estas construcciones abstractas. Los espacios proyectivos se pueden definir de dos formas distintas que resultan ser equivalentes. Una primera forma (la geometría proyectiva analítica) construye los espacios proyectivos como el conjunto de rectas de un espacio vectorial sobre un cierto cuerpo. En esta versión se suelen usar los términos proyectividad o transformación proyectiva. Esta construcción facilita el uso de coordenadas proyectivas y permite el uso de las herramientas del álgebra lineal para estudiar la geometría proyectiva en general y las homografías en particular. El enfoque alternativo (la geometría proyectiva sintética) consiste en definir los espacios proyectivos a partir de una serie de axiomas que no involucran explícitamente ningún cuerpo ni espacio vectorial. En este contexto, las colineaciones (transformaciones que mandan rectas a rectas) son más sencillas de definir que las homografías, que quedan como un caso particular de colineación, y de aquí el nombre colineación proyectiva.
Por simplicidad, a no ser que se indique lo contrario, los espacios proyectivos considerados en este artículo se suponen definidos sobre un cuerpo (conmutativo). Equivalentemente, en geometría sintética, suponemos ciertos el teorema del hexágono de Pappus y el teorema de Desargues. Gran parte de los resultados siguen siendo ciertos con otras hipótesis, o pueden ser generalizados.
Históricamente, el concepto de homografía fue introducido para entender, explicar y estudiar la perspectiva y, específicamente, la diferente apariencia de un objeto plano visto desde distintos puntos de vista.
En el espacio euclídeo tridimensional, una proyección central desde un punto O (el centro de la proyección) en un plano P que no contiene el punto O es la transformación que manda cada punto A a la intersección (si existe) de la recta OA con el plano P. Esta proyección no está definida si el punto A pertenece al plano paralelo a P que pasa por O. La noción de espacio proyectivo se introdujo originalmente extendiendo el plano euclídeo añadiéndole puntos del infinito, y esto nos permite definir la proyección de cualquier punto excepto la de O; la de un punto A en el plano paralelo a P que pasa por O sería el punto del infinito de P en la dirección de la recta OA. Esta proyección se puede entender intuitivamente de la forma siguiente: O puede representar el ojo de una persona (o su punto de vista), el espacio euclídeo es la realidad que lo rodea, y el plano P es el plano adonde mira; la proyección del espacio en el plano es la representación de la realidad que ve O al mirar hacia el plano P.
Dado otro plano Q que no contenga el punto O, podemos proyectar los puntos de Q en P desde O como antes. Obtenemos entonces en P cómo ve O los puntos de Q. La proyección restringida a Q recibe entonces el nombre de perspectividad.
Esta misma noción se puede generalizar a espacios proyectivos de cualquier dimensión, sobre cualquier cuerpo, de la manera ssiguiente:
Dados dos espacios proyectivos P y Q de una misma dimensión n, una perspectividad es una biyección de Q a P que se puede obtener considerando P y Q inmersos en un espacio proyectivo R de dimendión n+1 y restringiendo a Q una proyección central a P desde un punto O fuera de P y Q.
Originalmente, una homografía se definía como la composición de un número finito de proyectividades.[2]Es parte del teorema fundamental de la geometría proyectiva que esta definición coincide con la más algebraica expuesta a continuación.
Un espacio proyectivo de dimensión sobre un cuerpo se puede definir como el conjunto de rectas que pasan por el origen de un espacio vectorial -dimensional sobre el mismo cuerpo . Fijada una base de , cada vector se puede representar por una -tupla de escalares (sus coordenadas): . Cada punto de , al ser de hecho una recta de , queda representado por el vector director de esta, que está definido salvo producto por escalar no nulo. Por tanto, cada punto de queda representado por una -tupla de escalares salvo producto por escalar no nulo . Estas se denominan las coordenadas homogéneas de .
Más en general, un espacio proyectivo de dimensión es una tupla donde es un conjunto (de puntos), es un espacio vectorial de dimensión sobre un cuerpo y es una aplicación sobreyectiva tal que (es decir, los puntos de están en correspondencia con las rectas de , pero no pedimos que sean las rectas necesariamente). Las coordenadas homogéneas dada una base de se definen de forma completamente análoga al caso anterior.
Dados dos espacios proyectivos , de una misma dimensión definidos sobre espacios vectoriales sobre un mismo cuerpo, una homografía entre ellos es una aplicación inducida por un isomorfismo definida como . Escribiremos .
Las homografías están bien definidas. |
Está bien definida: Tomamos tales que . Tenemos que para un cierto , por lo que , así que y está bien definida. |
(1) Habitualmente, el símbolo se puede entender como "salvo producto por escalar no nulo". Veamos que sigue esta convención, en el sentido de que .
Demostración |
Escribimos . Suponemos que y tenemos que ver que . Como es sobreyectiva, basta ver que . Tomamos y calculamos:
, como queríamos. Supongamos ahora que y veamos que . Sea una base de . Para cada , se tiene que , por lo que existe (que puede depender de ) tal que . Análogamente, para cada par , existe tal que . Entonces, . Por tanto, . Al ser linealmente independientes y un isomorfismo, también son linealmente independientes, por lo que lo anterior implica, por definición de independencia lineal, que , y esto para cada . Por tanto, para cada y, por linealidad, , como queríamos. |
(2) La identidad de es la homografía que se corresponde con la identidad de :
En efecto, basta comprobar que ambas aplicaciones mandan los mismos puntos a los mismos puntos, y esto es inmediato (como antes, en lugar de comprobarlo para todo basta verlo para todo por sobreyectividad de ):
|
(3) La definición se comporta bien con la composición, es decir, si y son dos homografías, su composición es una homografía y satisface que .
Demostración |
Basta demostrar la igualdad, porque de ella se deduce, por definición, que la composición es una homografía. Y, en efecto, para cada , se tiene que
|
(4) Si es una homografía, es biyectiva y su inversa es la homografía dada por .
Demostración |
Si demostramos la igualdad, habremos demostrado que tiene una inversa, y que esta inversa es una homografía. Además, teniendo inversa, tiene que ser biyectiva. Por tanto, basta demostrar la igualdad. Pero de 2 y 3 obtenemos que
y, análogamente,
por lo que es la inversa de |
De las propiedades 2, 3 y 4 anteriores se deduce que, fijado un espacio proyectivo , el conjunto de sus homografías forma un grupo con la operación de la composición.
(5) Si es una homografía de un espacio proyectivo en sí mismo, un punto es un punto fijo de si y sólo si es un vector propio de .
Demostración |
Si es un vector propio de , tenemos que para un cierto ( porque es biyectiva). Entonces, tenemos que
, por lo que es fijo por . Recíprocamente, si es fijo por , tenemos que , por lo que , de donde, por definición de , (con ), y esto es, por definición, que sea un vector propio de . |
Sea un espacio proyectivo de dimensión y sea una referencia proyectiva ( puntos tales que cada de ellos son proyectivamente independientes, esto es, que tienen representantes () linealmente independientes). Lo que nos interesa de la referencia proyectiva es que, como se detalla en ese artículo, nos define unívocamente una base de (llamada "adaptada a la referencia") imponiendo que , donde escribimos .
Fijada una referencia proyectiva, podemos definir las coordenadas homogéneas de cada punto: un punto tiene coordenadas definidas salvo producto por escalar no nulo si y sólo si un representante suyo tiene coordenadas en base . Escribiremos que .
Un resultado importante es que las homografías quedan unívocamente determinadas tras fijar la imagen de una referencia proyectiva. Es decir, si y son referencias proyectivas de y , respectivamente, existe una única homografía tal que , donde representa la tupla . Además, si es la homografía anterior, se tiene que :
Dadas dos referencias proyectivas de , respectivamente, existe una única homografía tal que . Además, se satisface la igualdad . |
Sean bases adaptadas a , respectivamente. Sabemos que una aplicación lineal queda unívocamente determinada por la imagen de una base. Por tanto, si son los espacios vectoriales asociados a , podemos definir la aplicación lineal tal que . Por linealidad,
para cualesquiera . Ahora podemos tomar la homografía , que satisface que . Esto demuestra la igualdad del enunciado y, como , tenemos que , por definición de base adaptada. Con esto tenemos la existencia de la homografía deseada. Falta ver la unicidad. Supongamos que hubiera otra aplicación con . Se tiene entonces que . Esto significa que, por definición, es una base adaptada a . Pero las bases adaptadas a una referencia son únicas salvo múltiplo por escalar no nulo, como se demuestra en el artículo Referencia proyectiva. Como es otra base adaptada a , existe tal que , esto último por definición de . Por linealidad, se sigue que para todo , de donde y , por la propiedad anterior. Por tanto, la homografía es única, como queríamos. |
A una aplicación lineal, fijadas bases de los espacios de salida y llegada, se le puede asociar una matriz que, al ser multiplicada por las coordenadas de vectores, produce las coordenadas de las imágenes de los mismos vectores por la aplicación lineal. En esta sección queremos hacer algo análogo con las homografías: encontrar una matriz que transforme las coordenadas homogéneas de los puntos en las coordenadas homogéneas de sus imágenes.
Dada una homografía entre dos espacios proyectivos y referencias proyectivas de cada uno con bases adaptadas , podemos definir la matriz homogénea (es decir, definida salvo producto por escalar no nulo) de como , donde es la matriz de en bases . Es sencillo comprobar que la matriz está bien definida respecto de las elecciones de , usando la propiedad 1 anterior y que dos bases adaptadas a una misma referencia proyectiva son necesariamente proporcionales (esto último demostrado en el artículo Referencia proyectiva).
Está bien definida. |
Es todo consecuencia de que consiste, por columnas, en los vectores en base , con .
Si , por la propiedad (1) anterior, tenemos que para . Por tanto, para cada , , de donde y tenemos que . Si son dos bases adaptadas a , tenemos que para . Entonces, si , por lo que las componentes de en base son las componentes de multiplicadas por . Entonces, y tenemos que . Si son dos bases adaptadas a , tenemos que para . Entonces, si , se tiene que . Por tanto, las componentes de cada en base se obtienen como las componentes en base multiplicadas por . Así pues, y . |
También es sencillo comprobar (se deduce de que transforma las coordenadas de cada en base en las coordenadas de en base ) que si son las coordenadas homogéneas de un punto en referencia , las coordenadas de su imagen en referencia vienen dadas por .
En esta sección se estudian propiedades de los espacios proyectivos y sus elementos que se conservan tras la aplicación de cualquier homografía.
Una variedad lineal proyectiva de un espacio proyectivo se define como la proyección al espacio proyectivo de un subespacio vectorial de . Esto es, una variedad lineal proyectiva se define como , con un subespacio vectorial. Se denotará como o si la mención de no es necesaria. La dimensión de la variedad lineal proyectiva se define como uno menos que la del subespacio vectorial: . Si la dimensión de es 0, 1, 2 o n-1, diremos que es un punto, una recta, un plano o un hiperplano, respectivamente. Los puntos son, a su vez, variedades proyectivas de dimensión 0 (puntos): , y es un subespacio vectorial de dimensión 1.
Dadas dos variedades lineales proyectivas se pueden definir las operaciones de intersección como conjuntos , que resulta ser una variedad lineal proyectiva, pues , y su suma , que es una variedad lineal proyectiva por definición. La suma de dos variedades lineales proyectivas resulta ser la más pequeña que las contiene a ambas.
El primer resultado de esta sección es que las variedades lineales proyectivas y su dimensión son un invariante para las homografías. Esto es, si es una homografía y es una variedad lineal proyectiva de dimensión , entonces es también una variedad lineal proyectiva de dimensión .
Demostración |
Al ser un subespacio de y un isomorfismo, es un subespacio de de la misma dimensión que . Afirmamos que , con lo que tendremos que es una variedad lineal proyectiva. En efecto,
. Además, |
Las homografías se comportan bien respecto a las operaciones definidas entre variedades lineales proyectivas:
|
La propiedad es una pro piedad básica de teoría de conjuntos, pues es una biyección al ser una homografía, como ya se ha demostrado más arriba, y la intersección de variedades lineales proyectivas se define como la intersección de sus conjuntos de puntos.
Para la propiedad basta hacer un cálculo:
|
En particular, tomando en la propiedad dos puntos distintos como las variedades lineales proyectivas tenemos que , es decir, la imagen de la recta que pasa por los dos puntos es la recta que pasa por las imágenes de los puntos. Esto es lo que en geometría proyectiva se denomina colineación. Por tanto, toda homografía es, en particular, una colineación.
Un conjunto de puntos se denominan proyectivamente independientes si representantes suyos (esto es, ) son linealmente independientes. Es sencillo comprobar, por definición de , que la independencia proyectiva de un conjunto de puntos no depende de los representantes escogidos para cada uno de los puntos. Una referencia proyectiva de un espacio proyectivo de dimensión es un conjunto de puntos tales que cada subconjunto de son proyectivamente independientes.
En este apartado se demuestra que conjuntos de puntos proyectivamente independientes se corresponden por una homografía con conjuntos de puntos también proyectivamente independientes. En particular, la imagen por una homografía de una referencia proyectiva vuelve a ser una referencia proyectiva.
Si son proyectivamente independientes y es una homografía, entonces también son proyectivamente independientes. |
Se deduce de las definiciones y de que la imagen por un isomorfismo de un conjunto de puntos linealmente independientes vuelve a ser linealmente independiente. En efecto, si para cada :
Si son proyectivamente independientes, entonces son linealmente independientes. Como es un isomorfismo, esto significa que son linealmente independientes, y esto que son proyectivamente independientes. |
Dados cuatro puntos alineados, por lo menos tres de ellos distintos, podemos definir su razón doble. Fijada una referencia proyectiva de la recta , podemos tomar sus coordenadas homogéneas: . Así, podemos definir su razón doble como el número (ver, por ejemplo, la página en alemán):
.
Este número es invariante respecto las homografías, es decir, si es una homografía, entonces .
En efecto, veamos primero que el símbolo de la derecha tiene sentido (para definir la razón doble los puntos tienen que cumplir ciertas condiciones). Al estar alineados y conservar las homografías las alineaciones, también lo están los puntos . Además, por ser por lo menos tres de los puntos distintos y ser una biyección (ver la propiedad de este artículo), también tres de los puntos son distintos. Así pues, la razón doble está definida.
Ahora, para ver la igualdad, tenemos que es una referencia proyectiva de , por lo que, por el apartado anterior, es una referencia proyectiva de . Ahora, por el resultado demostrado en la sección sobre referencias proyectivas, las coordenadas de en referencia son las coordenadas de en referencia . Esto es . Observando que, por definición, la razón doble sólo depende de las coordenadas en una referencia, y teniendo los puntos originales y sus imágenes las mismas coordenadas, deben tener las mismas razones dobles.
Esta última propiedad tiene una aplicación importante en la teoría de la perspectiva. En el espacio tridimensional, una perspectividad de un plano a otro plano respecto de un punto que no esté en ninguno de ellos consiste en tomar cada punto de y hacerle corresponder la intersección de la recta que lo une con y ; esto es, . Un caso concreto de perspectividad se da cuando es el punto de vista (el ojo) de un observador y es un plano de la realidad. Entonces, la persepctividad tiene como resultado la representación que ve de cuando mira hacia . Se puede demostrar que toda perspectividad es una homografía y, por tanto, conserva la razón doble.
La segunda observación que hay que hacer antes de entender la aplicación es una interpretación de la razón doble. En caso de que el espacio proyectivo sea la clausura proyectiva de uno afín (añadiéndole puntos del infinito), la razón doble de cuatro puntos se puede calcular como un cociente de razones simples: . Si el espacio afín es, a su vez, euclídeo, cada una de las razones simples se puede calcular como un cociente de longitudes (con signo; tienen igual signo si están en el mismo lado de y contrario en otro caso):
Si alguno de los puntos está en el infinito las mismas fórmulas valen eliminando los términos que involucren dicho punto.
Ahora, podemos utilizar la conservación de la razón doble para determinar las longitudes de objetos en el mundo real a partir de sus representaciones perspectivas. En efecto, la relación entre el objeto en el mundo real y su representación perspectiva es una perspectividad, luego una homografía. Por tanto, cualesquiera cuatro puntos en un plano de la realidad y sus representaciones tienen que tener la misma razón doble. Usando que tanto el plano de la realidad como el de la representación son clausuras de espacios euclídeos, tenemos una ecuación que relaciona las distancias entre los puntos reales y las distancias de las representaciones de los puntos (la igualdad entre razones dobles). Por ejemplo, en la imagen de la derecha tenemos un ejemplo concreto.
En todo este apartado, para una variedad lineal proyectiva como se ha definido más arriba, denotamos su espacio vectorial director. Análogamente, en lugar de escribir el espacio proyectivo como , sobre un espacio vectorial , denotaremos el espacio proyectivo por , y reservaremos para el espacio vectorial.
![]() |
Dado un hiperplano del espacio proyectivo y un punto que no pertenece a , la proyección (o perspectiva) de centro y de base es la aplicación que hace corresponder a cualquier punto distinto de el punto de intersección de la línea con . Es una aplicación proyectiva, dado que es inducida por la proyección vectorial de base (que es un hiperplano de ) y dirección (que es una recta de ). |
![]() |
De manera más general, si y son dos subespacios proyectivos suplementarios de (es decir, que ), la proyección de subespacio central y de base es la aplicación que a cualquier punto que no pertenece a le hace corresponder el punto de intersección de con el subespacio proyectivo generado por y . En dimensión 3, por ejemplo, si y son dos rectas no coplanarias, se puede definir la proyección de recta central y base . |
Una biyección de una recta proyectiva sobre sí misma es una homografía si y sólo si conserva la razón anarmónica (la parte del sólo si se ha demostrado más arriba; la parte del si forma parte del teorema fundamental de la geometría proyectiva). Entonces, si y son dos tripletes de puntos distintos de la recta, la homografía única que transforma en queda definida por si y sólo si
Dotamos a la recta proyectiva de una referencia proyectiva , y dotamos de la referencia afín a la recta afín obtenida enviando el punto al infinito. Las coordenadas de los diferentes puntos se dan en la tabla siguiente:
Puntos | ||||
---|---|---|---|---|
Coordenadas homogéneas | (1,0) | (0,1) | (1,1) | (1,2) |
Coordenadas afines | 0 | 1 | 1/2 |
A continuación, para una homografía como se ha definido arriba, llamaremos a su aplicación homogénea.
La clasificación de las homografías de la recta proviene de la de las matrices de orden 2. En caso de que el polinomio característico de la aplicación homogénea sea descomponible en factores lineales (esto es, cuando tiene tantas raíces como su grado, como por ejemplo, en la geometría compleja, es decir, cuando el cuerpo son los números complejos), sólo hay dos posibilidades, dependiendo de si este polinomio tiene raíces simples o dobles:
Matriz homogénea reducida de un sistema proyectivo. | Puntos fijos | Caso | Expresión analítica en este caso | Caso |
---|---|---|---|---|
y Homología especial de base y de centro (o a la inversa) |
Homotecia de razón | Homografía con dos puntos fijos e | ||
Homología especial de base A y centro B |
Traslación según el vector . | Homografía con un punto fijo |
En el caso real, hay un caso añadido: aquel en el que el polinomio característico (de grado 2) no tiene raíces (reales). Cada una de estas raíces da lugar a por lo menos un vector propio, y cada uno de estos, a un punto fijo, como se demostró más arriba. Así, las homografías reales tienen 2, 1 o 0 puntos fijos (correspondientes a un polinomio característico con discriminante >0, =0 o <0), y se denominan hiperbólicas, parabólicas o elípticas, respectivamente. (La identidad, que tiene de hecho todos los puntos fijos, estaría incluida aquí como un caso degenerado de aplicación hiperbólica).
En el caso complejo, las homografías de la recta proyectiva compleja, que es un plano real con un punto del infinito añadido, y las homografías (las dos posibilidades de la tabla anterior) compuestas con las reflexiones (llamadas antihomografías) forman exactamente las transformaciones circulares.
Dotamos al plano proyectivo de una referencia proyectiva , y dotamos de la referencia al plano afín obtenido enviando la recta al infinito. Las coordenadas de los diferentes puntos se dan en la tabla siguiente:
Puntos | |||||||
---|---|---|---|---|---|---|---|
Coordenadas homogéneas | (1,0,0) | (0,1,0) | (0,0,1) | (1,0,1) | (0,1,1) | (1,1,1) | (1,1,3) |
Coordenadas afines | (,0) | (0,) | (0,0) | (1,0) | (0,1) | (1,1) | (1/3,1/3) |
La clasificación de homografías proviene de la de las matrices de orden 3. Para los casos en los que el polinomio característico de la aplicación homogénea descompone en factores lineales (esto es, cuando tiene tantas raíces como su grado), se obtiene:
Matriz homogénea reducida de un sistema proyectivo | Puntos fijos y rectas estables | Caso | Expresiones analíticas en este caso | Caso |
---|---|---|---|---|
![]() |
Biafinidad de razón según , y de razón según | |||
![]() La recta está formada por puntos fijos, es fijo y las rectas que pasan por son estables. |
Homotecia de razón y de centro | Homología general de centro , de base y de razón . | ||
La recta está formada por puntos fijos y las rectas que pasan por son estables | Traslación según el vector . | Homología especial de centro y de base | ||
y son fijos, y las rectas y son fijas. | Dilatación de razón según y traslación vectorial . | |||
es fijo y la recta es invariante | Cizallamiento según y traslación según |
Se observa que siempre hay tantos puntos fijos como rectas invariantes. De manera más general, se puede demostrar que para cualquier homografía existe una dualidad (una biyección entre los puntos y las rectas del plano que invierte sus denominaciones) que induce una biyección entre sus puntos fijos y sus rectas invariantes.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.