Homografı́as

Antonio F. Costa
UNED

1 Clasificación de Homografı́as
1.1 Equivalencia de homografı́as
Sean P(E) un espacio proyectivo y h, h0 dos homografı́as de P(E) en
P(E).
Decimos que h y h0 son equivalentes (o proyectivamente equivalentes)
si existen referencias proyectivas P y P 0 tal que:
M (h; P, P) = M (h0 ; P 0 , P 0 )
Es decir existen referencias proyectivas respecto de las cuales h y h0
“actúan exactamente igual”, o “se ven del mismo modo” (tienen la
misma matriz).

De otro modo: h y h0 son equivalentes si existe una homografı́a g tal

que:
h0 = g −1 ◦ h ◦ g
Es decir h y h0 son conjugadas por una homografı́a.

2 Homografı́as de la recta proyectiva real

2.1 Formas de Jordan:
       
10 10 10 α −β
ρ ,ρ ,ρ ,ρ ;β > 0
01 0k 11 β α
Cada forma de Jordan da una clase de equivalencia de homografı́as.
A continuación vemos algunas propiedades sobre puntos fijos de los tipos
de homografı́as.

1
2.2 Homografı́as de la recta proyectiva real
 
10
ρ , identidad, todos los puntos son fijos
01  
10
ρ , k 6= 1, dos puntos fijos
0k 
10
ρ , un único punto fijo
 1 1
α −β
ρ ; β > 0, sin puntos fijos
β α

3 Homografı́as del plano

3.1 Dualidad y homografı́as

Puntos fijos → hiperplanos invariantes

Puntos fijos: autovectores de la matriz de la homografı́a → hiper-

planos invariantes (coeficientes de la ecuación implı́cita de los hiper-
planos invariantes son los autovectores de la matriz traspuesta de la
homografı́a).

Ejemplos en el plano:
Homografı́a con dos puntos fijos → (por dualidad tiene) dos rectas
invariantes
La recta que pasa dos puntos fijos es invariante → el punto donde se
cortan dos rectas invariantes es fijo.
Homografı́a con una recta de puntos fijos → homografı́a con un haz
de rectas invariantes que pasan todas por un punto fijo

3.2 Formas de Jordan

Clases de equivalencia por multiplicación por un escalar:
     
10 0 100 100
 0 α −β ,  0 µ 0  ,  1 1 0 
 0β α 0 0ν 0 0µ 
100 100 100 100
 0 µ 0  ,  1 1 0  ,  1 1 0 ,  0 1 0 
00µ 011 001 001

A continuación mostramos las propiedades geométricas de cada tipo

de homografı́a.

2
3.3
 
10 0
 0 α −β , β > 0
0β α

- un punto fijo y una recta invariante que no contiene al punto fijo

3.4
 
100
 0 µ 0 , µ, ν son distintos y distintos de 1
00ν

- tres puntos fijos y tres rectas invariantes, cada una contiene a dos
puntos fijos.

3.5
 
100
 1 1 0 , µ 6= 1
00µ

- dos puntos fijos y dos rectas invariantes, una con los dos puntos
fijos y otra con uno de los puntos fijos.

3.6
 
100
 0 µ 0 , µ 6= 1
00µ

- una recta de puntos fijos y un punto fijo aislado; todas las rectas
que pasan por el punto fijo aislado y por uno de los puntos de la recta
de puntos fijos son rectas invariantes, además es invariante la recta de
puntos fijos (que no pasa por el punto fijo aislado).

3.7
 
100
1 1 0
011

- un punto fijo y una recta invariante que pasa por el punto fijo

3
3.8
 
100
1 1 0
001

- una recta de puntos fijos, además son invariantes todas las rectas
que pasan por uno de los puntos de la recta de puntos fijos.

3.9
 
100
0 1 0
001

- identidad, todos los puntos son fijos y todas las rectas son invari-
antes.

3.10 Homologı́as
Una homologı́a es una homografı́a que tiene como forma matricial de
Jordan 3.6 o 3.8. En ambos casos hay una recta de puntos fijos: llamada
base de la homologı́a y puede haber un punto fijo más que no está en la
base (para el caso 3.6).
Obsérvese que el caso 3.6 (y dada la forma de la matriz de Jordan)
el endomorfismo afı́n dado por la restricción de la homografı́a al plano
afı́n que es el complementario de la base es una homotecia. Para el caso
3.8 la homografı́a restringida al plano afı́n complementario de la recta
base da lugar a una traslación.