Homografía (geometría)

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.

Motivación geométrica

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.

Definición analítica

Un espacio proyectivo de dimensión ${\displaystyle n}$ sobre un cuerpo ${\displaystyle \mathbb {K} }$ se puede definir como el conjunto ${\displaystyle \mathbb {P} (V)}$ de rectas que pasan por el origen de un espacio vectorial ${\displaystyle (n 1)}$-dimensional ${\displaystyle V}$ sobre el mismo cuerpo ${\displaystyle \mathbb {K} }$. Fijada una base de ${\displaystyle V}$, cada vector ${\displaystyle v\in V}$ se puede representar por una ${\displaystyle (n 1)}$-tupla de escalares (sus coordenadas): ${\displaystyle (v_{0},\dots ,v_{n})\in \mathbb {K} ^{n 1}}$. Cada punto de ${\displaystyle \mathbb {P} (V)}$, al ser de hecho una recta de ${\displaystyle V}$, queda representado por el vector director de esta, que está definido salvo producto por escalar no nulo. Por tanto, cada punto de ${\displaystyle p\in \mathbb {P} (V)}$ queda representado por una ${\displaystyle (n 1)}$-tupla de escalares salvo producto por escalar no nulo ${\displaystyle [p_{0}:\dots :p_{n}]}$. Estas se denominan las coordenadas homogéneas de ${\displaystyle p}$.

Más en general, un espacio proyectivo de dimensión ${\displaystyle n}$ es una tupla ${\displaystyle (\mathbb {P} ,V,\pi )}$ donde ${\displaystyle \mathbb {P} }$ es un conjunto (de puntos), ${\displaystyle V}$ es un espacio vectorial de dimensión ${\displaystyle n 1}$ sobre un cuerpo ${\displaystyle \mathbb {K} }$ y ${\displaystyle \pi }$ es una aplicación ${\displaystyle \pi \colon V\setminus \{0\}\rightarrow \mathbb {P} ,\quad x\mapsto \pi (x)=:[x]_{\pi }}$ sobreyectiva tal que ${\displaystyle \pi (x)=\pi (y)\Leftrightarrow \exists \lambda \in \mathbb {K} \setminus \{0\}:y=\lambda x}$ (es decir, los puntos de ${\displaystyle \mathbb {P} }$ están en correspondencia con las rectas de ${\displaystyle V}$, pero no pedimos que sean las rectas necesariamente). Las coordenadas homogéneas dada una base de ${\displaystyle V}$ se definen de forma completamente análoga al caso anterior.

Dados dos espacios proyectivos ${\displaystyle (\mathbb {P} ,E,\pi )}$, ${\displaystyle (\mathbb {P} ',E',\pi ')}$ de una misma dimensión ${\displaystyle n}$ definidos sobre espacios vectoriales sobre un mismo cuerpo, una homografía entre ellos es una aplicación ${\displaystyle f\colon \mathbb {P} \rightarrow \mathbb {P} '}$ inducida por un isomorfismo ${\displaystyle \varphi \colon E\rightarrow E'}$ definida como ${\displaystyle f([x]_{\pi })=[\varphi (x)]_{\pi '}}$. Escribiremos ${\displaystyle f=[\varphi ]}$.

Propiedades

(1) Habitualmente, el símbolo ${\displaystyle [\cdot ]}$ se puede entender como "salvo producto por escalar no nulo". Veamos que ${\displaystyle f=[\varphi ]}$ sigue esta convención, en el sentido de que ${\displaystyle [\varphi ]=[\psi ]\Leftrightarrow \psi =\lambda \varphi ,\quad \lambda \in \mathbb {K} \setminus \{0\}}$.

(2) La identidad de ${\displaystyle \mathbb {P} \rightarrow \mathbb {P} }$ es la homografía que se corresponde con la identidad de ${\displaystyle E\rightarrow E}$:

(3) La definición se comporta bien con la composición, es decir, si ${\displaystyle f=[\varphi ]\colon \mathbb {P} \rightarrow \mathbb {P} '}$ y ${\displaystyle g=[\psi ]\colon \mathbb {P} '\rightarrow \mathbb {P} ''}$ son dos homografías, su composición ${\displaystyle g\circ f}$ es una homografía y satisface que ${\displaystyle g\circ f=[\psi \circ \varphi ]}$.

(4) Si ${\displaystyle f=[\varphi ]}$ es una homografía, es biyectiva y su inversa es la homografía dada por ${\displaystyle f^{-1}=[\varphi ^{-1}]}$.

De las propiedades 2, 3 y 4 anteriores se deduce que, fijado un espacio proyectivo ${\displaystyle \mathbb {P} }$, el conjunto de sus homografías forma un grupo con la operación de la composición.

(5) Si ${\displaystyle f=[\varphi ]\colon \mathbb {P} \rightarrow \mathbb {P} }$ es una homografía de un espacio proyectivo en sí mismo, un punto ${\displaystyle p=[x]_{\pi }\in \mathbb {P} }$ es un punto fijo de ${\displaystyle f}$ si y sólo si ${\displaystyle x}$ es un vector propio de ${\displaystyle \varphi }$.

Homografías y referencias proyectivas

Sea ${\displaystyle (\mathbb {P} ,E,\pi )}$ un espacio proyectivo de dimensión ${\displaystyle n}$ y sea ${\displaystyle \Delta =(p_{0},\dots ,p_{n},A)}$ una referencia proyectiva (${\displaystyle n 2}$ puntos tales que cada ${\displaystyle n 1}$ de ellos son proyectivamente independientes, esto es, que tienen representantes ${\displaystyle x_{i}}$ (${\displaystyle p_{i}=[x_{i}]_{\pi }}$) 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 ${\displaystyle e=(e_{0},\dots ,e_{n})}$ de ${\displaystyle E}$ (llamada "adaptada a la referencia") imponiendo que ${\displaystyle p_{0}=[e_{0}],\dots ,p_{n}=[e_{n}],A=[e_{0} \dots e_{n}]}$, donde escribimos ${\displaystyle [x]:=[x]_{\pi }=\pi (x)}$.

Fijada una referencia proyectiva, podemos definir las coordenadas homogéneas de cada punto: un punto ${\displaystyle p=[x]\in \mathbb {P} }$ tiene coordenadas ${\displaystyle [x_{0}:\dots :x_{n}]}$ definidas salvo producto por escalar no nulo si y sólo si un representante suyo ${\displaystyle x}$ tiene coordenadas ${\displaystyle (x_{0},\dots ,x_{n})}$ en base ${\displaystyle e}$. Escribiremos que ${\displaystyle p=[x_{0}:\dots :x_{n}]_{\Delta }}$.

Un resultado importante es que las homografías quedan unívocamente determinadas tras fijar la imagen de una referencia proyectiva. Es decir, si ${\displaystyle \Delta =(p_{0},\dots ,p_{n},A)}$ y ${\displaystyle \Delta '=(p_{0}',\dots ,p_{n}',A')}$ son referencias proyectivas de ${\displaystyle \mathbb {P} }$ y ${\displaystyle \mathbb {P} '}$, respectivamente, existe una única homografía ${\displaystyle f\colon \mathbb {P} \rightarrow \mathbb {P} '}$ tal que ${\displaystyle f(\Delta )=\Delta '}$, donde ${\displaystyle f(\Delta )}$ representa la tupla ${\displaystyle (f(p_{0}),\dots ,f(p_{n}),f(A))}$. Además, si ${\displaystyle f}$ es la homografía anterior, se tiene que ${\displaystyle f([x_{0}:\dots :x_{n}]_{\Delta })=[x_{0}:\dots :x_{n}]_{\Delta '}}$:

Matriz de una homografía

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 ${\displaystyle f=[\varphi ]}$ entre dos espacios proyectivos ${\displaystyle \mathbb {P} ,\mathbb {P} '}$ y referencias proyectivas ${\displaystyle \Delta ,\Delta '}$ de cada uno con bases adaptadas ${\displaystyle e,e'}$, podemos definir la matriz homogénea (es decir, definida salvo producto por escalar no nulo) de ${\displaystyle f}$ como ${\displaystyle M_{\Delta ,\Delta '}(f)=[M_{e,e'}(\varphi )]}$, donde ${\displaystyle M_{e,e'}(\varphi )}$ es la matriz de ${\displaystyle \varphi }$ en bases ${\displaystyle e,e'}$. Es sencillo comprobar que la matriz está bien definida respecto de las elecciones de ${\displaystyle \varphi ,e,e'}$, 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).

También es sencillo comprobar (se deduce de que ${\displaystyle M_{e,e'}(\varphi )}$ transforma las coordenadas de cada ${\displaystyle x\in E}$ en base ${\displaystyle e}$ en las coordenadas de ${\displaystyle \varphi (x)\in E'}$ en base ${\displaystyle e'}$) que si ${\displaystyle [X]=[x_{0}:\dots :x_{n}]}$ son las coordenadas homogéneas de un punto ${\displaystyle p\in \mathbb {P} }$ en referencia ${\displaystyle \Delta }$, las coordenadas de su imagen ${\displaystyle f(p)\in \mathbb {P} '}$ en referencia ${\displaystyle \Delta '}$ vienen dadas por ${\displaystyle M_{\Delta ,\Delta '}(f)\cdot [X]}$.

Invariantes por una homografía

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.

Alineaciones y variedades lineales proyectivas

Una variedad lineal proyectiva de un espacio proyectivo ${\displaystyle (\mathbb {P} ,E,\pi )}$ se define como la proyección al espacio proyectivo de un subespacio vectorial de ${\displaystyle E}$. Esto es, una variedad lineal proyectiva ${\displaystyle L}$ se define como ${\displaystyle \pi (F\setminus \{0\})}$, con ${\displaystyle F\subseteq E}$ un subespacio vectorial. Se denotará como ${\displaystyle L=[F]_{\pi }}$ o ${\displaystyle L=[F]}$ si la mención de ${\displaystyle \pi }$ no es necesaria. La dimensión de la variedad lineal proyectiva se define como uno menos que la del subespacio vectorial: ${\displaystyle \dim L=\dim[F]=\dim F-1}$. Si la dimensión de ${\displaystyle L}$ es 0, 1, 2 o n-1, diremos que ${\displaystyle L}$ es un punto, una recta, un plano o un hiperplano, respectivamente. Los puntos ${\displaystyle p\in \mathbb {P} }$ son, a su vez, variedades proyectivas de dimensión 0 (puntos): ${\displaystyle p=[x]_{\pi }=[\langle x\rangle ]_{\pi }}$, y ${\displaystyle \langle x\rangle \subseteq E}$ es un subespacio vectorial de dimensión 1.

Dadas dos variedades lineales proyectivas ${\displaystyle L_{1}=[F_{1}],L_{2}=[F_{2}]}$ se pueden definir las operaciones de intersección como conjuntos ${\displaystyle L_{1}\cap L_{2}}$, que resulta ser una variedad lineal proyectiva, pues ${\displaystyle L_{1}\cap L_{2}=[F_{1}]\cap [F_{2}]=[F_{1}\cap F_{2}]}$, y su suma ${\displaystyle L_{1}\vee L_{2}=[F_{1}]\vee [F_{2}]:=[F_{1} F_{2}]}$, 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 ${\displaystyle f=[\varphi ]\colon \mathbb {P} \rightarrow \mathbb {P} '}$ es una homografía y ${\displaystyle L=[F]_{\pi }\subseteq \mathbb {P} }$ es una variedad lineal proyectiva de dimensión ${\displaystyle n}$, entonces ${\displaystyle f(L)\subseteq \mathbb {P} '}$ es también una variedad lineal proyectiva de dimensión ${\displaystyle n}$.

Las homografías se comportan bien respecto a las operaciones definidas entre variedades lineales proyectivas:

En particular, tomando en la propiedad ${\displaystyle (2)}$ dos puntos distintos como las variedades lineales proyectivas tenemos que ${\displaystyle f(p_{1}\vee p_{2})=f(p_{1})\vee f(p_{2})}$, 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.

Independencia proyectiva y referencias proyectivas

Un conjunto de puntos ${\displaystyle p_{0},\dots ,p_{m}\in \mathbb {P} }$ se denominan proyectivamente independientes si representantes suyos ${\displaystyle u_{0},\dots ,u_{n}\in E}$ (esto es, ${\displaystyle p_{i}=[u_{i}]_{\pi }}$) son linealmente independientes. Es sencillo comprobar, por definición de ${\displaystyle \pi }$, 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 ${\displaystyle n}$ es un conjunto de ${\displaystyle n 2}$ puntos tales que cada subconjunto de ${\displaystyle n 1}$ 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.

Razón doble

Dados cuatro puntos ${\displaystyle A,B,S,T\in \mathbb {P} }$ alineados, por lo menos tres de ellos distintos, podemos definir su razón doble. Fijada una referencia proyectiva ${\displaystyle \Delta }$ de la recta ${\displaystyle r=A\vee B\vee S\vee T}$, podemos tomar sus coordenadas homogéneas: ${\displaystyle A=[a_{1}:a_{2}]_{\Delta },B=[b_{1}:b_{2}]_{\Delta },S=[s_{1}:s_{2}]_{\Delta },T=[t_{1}:t_{2}]_{\Delta }}$. Así, podemos definir su razón doble como el número (ver, por ejemplo, la página en alemán):

${\displaystyle (A,B;S,T):={\frac {\begin{vmatrix}s_{1}&a_{1}\\s_{2}&a_{2}\end{vmatrix}}{\begin{vmatrix}b_{1}&s_{1}\\b_{2}&s_{2}\end{vmatrix}}}:{\frac {\begin{vmatrix}t_{1}&a_{1}\\t_{2}&a_{2}\end{vmatrix}}{\begin{vmatrix}b_{1}&t_{1}\\b_{2}&t_{2}\end{vmatrix}}}={\frac {s_{1}a_{2}-s_{2}a_{1}}{b_{1}s_{2}-b_{2}s_{1}}}:{\frac {t_{1}a_{2}-t_{2}a_{1}}{b_{1}t_{2}-b_{2}t_{1}}}}$.

Este número es invariante respecto las homografías, es decir, si ${\displaystyle f=[\varphi ]\colon \mathbb {P} \rightarrow \mathbb {P} '}$ es una homografía, entonces ${\displaystyle (A,B;S,T)=(f(A),f(B);f(S),f(T))}$.

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 ${\displaystyle A,B,S,T}$ alineados y conservar las homografías las alineaciones, también lo están los puntos ${\displaystyle f(A),f(B),f(S),f(T)}$. Además, por ser por lo menos tres de los puntos ${\displaystyle A,B,S,T}$ distintos y ser ${\displaystyle f}$ una biyección (ver la propiedad ${\displaystyle (4)}$ de este artículo), también tres de los puntos ${\displaystyle f(A),f(B),f(S),f(T)}$ son distintos. Así pues, la razón doble ${\displaystyle (f(A),f(B);f(S),f(T))}$ está definida.

Ahora, para ver la igualdad, tenemos que ${\displaystyle \Delta }$ es una referencia proyectiva de ${\displaystyle r=A\vee B\vee S\vee T}$, por lo que, por el apartado anterior, ${\displaystyle f(\Delta )}$ es una referencia proyectiva de ${\displaystyle f(r)}$. Ahora, por el resultado demostrado en la sección sobre referencias proyectivas, las coordenadas de ${\displaystyle f(A),f(B),f(S),f(T)}$ en referencia ${\displaystyle f(\Delta )}$ son las coordenadas de ${\displaystyle A,B,S,T}$ en referencia ${\displaystyle \Delta }$. Esto es ${\displaystyle f(A)=[a_{1}:a_{2}]_{f(\Delta )},f(B)=[b_{1}:b_{2}]_{f(\Delta )},f(S)=[s_{1}:s_{2}]_{f(\Delta )},f(T)=[t_{1}:t_{2}]_{f(\Delta )}}$. 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. ${\displaystyle \quad \square }$

Aplicación a la perspectiva

Esta última propiedad tiene una aplicación importante en la teoría de la perspectiva. En el espacio tridimensional, una perspectividad de un plano ${\displaystyle \Pi }$ a otro plano ${\displaystyle \Pi '}$ respecto de un punto ${\displaystyle O}$ que no esté en ninguno de ellos consiste en tomar cada punto de ${\displaystyle p\in \Pi }$ y hacerle corresponder la intersección de la recta que lo une con ${\displaystyle O}$ y ${\displaystyle \Pi '}$; esto es, ${\displaystyle p\mapsto (p\vee O)\cap \Pi '}$. Un caso concreto de perspectividad se da cuando ${\displaystyle O}$ es el punto de vista (el ojo) de un observador y ${\displaystyle \Pi }$ es un plano de la realidad. Entonces, la persepctividad tiene como resultado la representación que ve ${\displaystyle O}$ de ${\displaystyle \Pi }$ cuando mira hacia ${\displaystyle \Pi '}$. 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: ${\displaystyle (A,B;S,T):=(A,B;S):(A,B;T)}$. 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; ${\displaystyle {\overline {CA}},{\overline {CB}}}$ tienen igual signo si ${\displaystyle A,B}$ están en el mismo lado de ${\displaystyle C}$ y contrario en otro caso):

${\displaystyle (A,B;S,T)={\frac {\frac {\overline {\mathrm {SA} }}{\overline {\mathrm {SB} }}}{\frac {\overline {\mathrm {TA} }}{\overline {\mathrm {TB} }}}}}$

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.

Ejemplos

Perspectiva central y proyección general

En todo este apartado, para una variedad lineal proyectiva ${\displaystyle L=[F]}$ como se ha definido más arriba, denotamos ${\displaystyle {\vec {L}}:=F}$ su espacio vectorial director. Análogamente, en lugar de escribir el espacio proyectivo como ${\displaystyle \mathbb {P} }$, sobre un espacio vectorial ${\displaystyle E}$, denotaremos el espacio proyectivo por ${\displaystyle E}$, y reservaremos ${\displaystyle {\vec {E}}}$ para el espacio vectorial.

Homografías de la recta

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 ${\displaystyle (A,B,C)}$ y ${\displaystyle (A',B',C')}$ son dos tripletes de puntos distintos de la recta, la homografía única que transforma ${\displaystyle (A,B,C)}$ en ${\displaystyle (A',B',C')}$ queda definida por ${\displaystyle M\mapsto M'}$ si y sólo si

${\displaystyle (A',B',C',M')=(A,B,C,M).}$

Dotamos a la recta proyectiva de una referencia proyectiva ${\displaystyle (X_{\infty },O,I)}$, y dotamos de la referencia afín ${\displaystyle (O,I)\,}$a la recta afín obtenida enviando el punto ${\displaystyle X_{\infty }}$ al infinito. Las coordenadas de los diferentes puntos se dan en la tabla siguiente:

A continuación, para una homografía ${\displaystyle f=[\varphi ]}$ como se ha definido arriba, llamaremos a ${\displaystyle \varphi }$ 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:

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.

Homografías del plano

Dotamos al plano proyectivo de una referencia proyectiva ${\displaystyle (X_{\infty },Y_{\infty },O,K)}$, y dotamos de la referencia ${\displaystyle (O,I,J)\,}$ al plano afín obtenido enviando la recta ${\displaystyle (X_{\infty },Y_{\infty })}$ al infinito. Las coordenadas de los diferentes puntos se dan en la tabla siguiente:

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:

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.

Referencias

Bibliografía

• Casas-Alvero, Eduardo (2014). Analytic Projective Geometry. European Mathematical Society. ISBN 978-3-03719-138-5. 

Enlaces externos

• Homografías en laslaminas.es (13/5/12)