TRANSFORMACIONES PROYECTIVAS

I INTRODUCCIN A LA GEOMETRA PROYECTIVA

I 1) CONCEPTOS PRIMITIVOS Y AXIOMAS
Los conceptos primitivos de la Geometra Proyectiva son: PUNTO, RECTA, PLANO y
ESPACIO.
Estos conceptos tienen un sentido ms amplio en la Geometra Proyectiva que en la Geometra
Mtrica. Mientras en sta ltima se dice que dos rectas disjuntas tienen la misma direccin, en la
Geometra Proyectiva diremos que tienen un punto impropio comn, anlogamente, se dice que
dos planos disjuntos tienen una recta impropia comn.
En Geometra Proyectiva denominaremos puntos propios y rectas propias a los puntos y rectas
de la Geometra Mtrica y agregaremos a cada recta un punto impropio y a cada plano una recta
impropia. El conjunto de todas las rectas impropias es el plano impropio.
AXIOMAS DE EXISTENCIA Y ENLACE
1
2
3

Una recta es un conjunto de infinitos puntos.

Un plano es un conjunto de infinitas rectas.
Existen infinitos planos.

Dos puntos distintos determinan una

recta a la cual pertenecen.
Un punto y una recta que no se
pertenecen, determinan un plano al
cual pertenecen.

5
7

Dos planos distintos determinan una

recta a la cual pertenecen.
Un plano y una recta que no se
pertenecen, determinan un punto al
cual pertenecen.

TEOREMAS
1

Si dos puntos distintos pertenecen a

una recta y a la vez a un plano, la
recta pertenece al plano.
Tres puntos que no pertenecen a una
misma recta, determinan un plano al
cual pertenecen.
Dos rectas distintas pertenecientes a
un plano, determinan un punto al
cual pertenecen.
Dadas dos rectas que se cruzan a y b,
y un punto P que no pertenece a
ninguna de ellas, existe una nica
recta por P, incidente con a y b.

Si dos planos distintos pertenecen a

una recta y a la vez a un punto, la
recta pertenece al punto.
Tres planos que no pertenecen a una
misma recta, determinan un punto al
cual pertenecen.
Dos rectas distintas pertenecientes a
un punto, determinan un plano al
cual pertenecen.
Dadas dos rectas que se cruzan a y b
y un plano que no pertenece a
ninguna de ellas, existe una nica
recta de , incidente con a y b.

Instituto de Profesores Artigas

Geometra II

I 2) FORMAS FUNDAMENTALES
Se llama figura o forma geomtrica a todo conjunto de puntos, rectas y/o planos. A continuacin
veremos las definiciones de las denominadas Formas fundamentales.
De Primera especie
PUNTUAL: Es el conjunto de los infinitos puntos de una recta (Sostn de la puntual).
HAZ DE PLANOS: Es el conjunto de los infinitos planos que pasan por una recta (Sostn o eje
del haz).
HAZ DE RAYOS: Es el conjunto de las infinitas rectas de un plano (Sostn del haz) que pasan
por un punto (Centro del haz).
De Segunda especie
PLANO PUNTUAL: Es el conjunto de los infinitos puntos de un plano.
PLANO REGLADO: Es el conjunto de las infinitas rectas de un plano.
RADIACIN DE RECTAS: Es el conjunto de todas las rectas que pasan por un punto.
RADIACIN DE PLANOS: Es el conjunto de todos los planos que pasan por un punto.
De Tercera especie
ESPACIO PUNTUAL: Es el conjunto de todos los puntos.
ESPACIO DE PLANOS: Es el conjunto de todos los planos.

I 3) AXIOMAS DE ORDEN
8
9

Toda forma de primera especie est ordenada circularmente.

Las ordenaciones que se obtienen de una forma de primera especie sobre otra, son
independientes de la cadena de operaciones proyectivas utilizadas.

Ordenacin circular para un conjunto C Un conjunto C est ordenado circularmente, si y

solo s, toda terna de elementos de C est clasificada en dos clases (I y II), excluyentes entre s,
tales que:
1) Si ABC es de clase I, entonces BCA y CAB son de clase I.
2) Si ABC es de clase I y ACD es de clase I, entonces ABD es de clase I.
Ejemplo: Segmento en un conjunto C:
ABI = {X / X C (AXB es de clase I w X = A w X = B)}
ABII = {Y / Y C (AYB es de clase II w Y = A w Y = B)}

Prof. Sergio Peralta

Transformaciones Proyectivas 2 - 8

Instituto de Profesores Artigas

Geometra II

I 4) PROYECCIONES Y SECCIONES
Proyectar una figura (A, B, C, . . . , a, b, c, . . . ) desde un punto O, no perteneciente a ella, es
trazar las rectas OA, OB, OC, . . . y los planos Oa, Ob, Oc, . . .
Seccionar una figura (, , , . . . ) con una recta s, no contenida en ningn plano de la figura, es
encontrar los puntos de s , s , s , . . .
Seccionar una figura (a, b, c, . . . ) formada por rectas de un plano con una recta s contenida en
l, es encontrar los puntos de s a, s b, s c, . . .
Dos formas de la misma especie se llaman Perspectivas cuando una es proyeccin de la otra o
ambas son proyecciones de una tercera. La correspondencia entre ambas se llama
Perspectividad.

II EXTENSIN DE ALGUNOS CONCEPTOS ANALTICOS

II 1) RELACIN SIMPLE CON UN PUNTO IMPROPIO
Hemos definido la relacin simple de tres puntos A, B y C de una recta, como el nmero real
AC
siendo B C.
BC
AC AB + BC
AB
Observamos que (ABC) =
=
= 1+
y que si variamos C de forma que la
BC
BC
BC
medida BC aumenta, la relacin simple se acerca a 1.
Podemos entonces convenir que: (ABC) = 1
II 2) RELACIONES DOBLES CON UN PUNTO IMPROPIO
(ABC)
= (ABC)
(ABD )
(ABC )
1
BD
b) (ABC D) =
=
=
= (BAD)
(ABD)
(ABD) AD
c) Utilizando la definicin de relacin doble se justifica que (ABCD) = (CDAB) y atendiendo
a los resultados anteriores:
(ABCD) = (CDAB) = (CDA)
1
(A BCD) = (CDA B) =
= (DCB)
(CDB)

a) (ABCD ) =

II 3) CONJUGADO ARMNICO DEL PUNTO IMPROPIO

(ABCD) = 1 (ABC) = 1 C es el punto medio del segmento AB.
El conjugado armnico del punto impropio de la recta respecto a un par (A, B) es el punto medio
del segmento AB y como la correspondencia armnica es involutiva, el conjugado armnico del
punto medio de un segmento, respecto a los extremos, es el punto impropio de la recta.
Prof. Sergio Peralta

Transformaciones Proyectivas 3 - 8

Instituto de Profesores Artigas

Geometra II

III PROYECTIVIDADES
III 1) DEFINICIONES
Una PROYECTIVIDAD es una funcin biyectiva entre dos formas de 1 especie, que conserva
las relaciones dobles.
Si entre dos formas de 1 especie existe una proyectividad, diremos que dichas formas son
PROYECTIVAS.
III 2) ECUACIN
Consideremos dos puntuales u y u en las cuales estn determinados sistemas de coordenadas, si
entre ellas est definida una proyectividad en la cual (A, B, C, X) = A, B, C, X entonces
resulta
(A' B' C' ) (ABC)
(ABX)
(ABC)
=
=
(ABCX) = (ABCX)

(A' B' X' ) (ABX)

(A' B' X' ) (A' B' C' )
(ABC)
AX B' X'
(ABX)
Llamemos h al cociente

=h

=h

(A' B' C' )

BX A' X'
(A' B' X' )
Si a, b, c, x son las respectivas abscisas de A, B, C y X en la puntual u y a, b, c, x son las
respectivas abscisas de A, B, C y X en la puntual u, podremos escribir:
( x a ) ( x ' b' )

=h
xx bx ax + ab = h(xx ax bx + ab)

( x b ) ( x ' a ' )
(1 h)xx + (ha b)x + (hb a)x + ab hab = 0
Designando:
1h=
ha b =
hb a =
y
= ab hab
la ecuacin de la proyectividad es de la forma

xx + x + x + = 0 .

En esta ecuacin los nmeros , , y verifican que: 0

Efectivamente: = (1 h)( ab hab) (ha b)(hb a) =
ab hab hab + h2ab h2ab + hbb + haa ab = h(bb ab ab + aa) =
h[b (b a) a (b a)] = h(b a)(b a)
Hemos llegado a la siguiente conclusin: = h(b a)(b a)
Como A, B y C son tres puntos distintos al igual que A, B y C, entonces resulta: 0.
Recproco:
Las ecuaciones de la forma xx + x + x + = 0 con 0 corresponden a
proyectividades.
Si X1, X2, X3 y X4 son cuatro puntos de u y X1, X2, X3 y X4 las imgenes en u, obtenidas con
la ecuacin xx + x + x + = 0 probaremos que (X1X2X3X4) = (X1X2X3X4)

(X'1 X' 2 X'3 ) X'1 X'3 X' 2 X' 4 x '3 x '1 x ' 4 x ' 2
=

(X'1 X' 2 X' 4 ) X' 2 X'3 X'1 X' 4 x '3 x ' 2 x ' 4 x '1
Deberemos calcular los nmeros x1, x2, x3 y x4 para luego calcular las cuatro diferencias
que nos permitirn calcular la relacin doble.
(X'1 X' 2 X'3 X' 4 ) =

Despejemos x de la ecuacin xx + x + x + = 0
Prof. Sergio Peralta

(x + )x = (x + )

Transformaciones Proyectivas 4 - 8

Instituto de Profesores Artigas

Si x + 0

se obtiene:

Geometra II

x' =

x +
x +

Para facilitar el clculo de la relacin doble hallaremos xj - xi

x' j x'i =

x i + x j + ( x i + )( x j + ) ( x j + )( x i + )

=
=
xi + x j +
( x i + )( x j + )

x i x j + x j + x i + x i x j x i x j
=
( x i + )( x j + )
x j + x i x i x j ( x j x i ) ( x j x i ) ( )( x j x i )
=
=
( x i + )( x j + )
( x i + )( x j + )
( x i + )( x j + )
OBSERVACIN: Para que la ecuacin xx + x + x + = 0 corresponda a una
proyectividad debe ser 0 puesto que en caso contrario la funcin no sera biyectiva,
siendo xj xi resultara xj xi.
( )( x 3 x 1 ) ( )( x 4 x 2 )
( x 1 + )( x 3 + ) ( x 2 + )( x 4 + )
x' x' x' x'2
(X'1 X' 2 X' 3 X' 4 ) = 3 1 4
=

=
( )( x 3 x 2 ) ( )( x 4 x 1 )
x ' 3 x ' 2 x ' 4 x '1
( x 2 + )( x 3 + ) ( x 1 + )( x 4 + )
(x 3 x 1 )
( x 1 + )
(x 3 x 2 )
( x 2 + )

(x 4 x 2 )
( x 2 + ) ( x 3 x 1 ) ( x 4 x 2 ) X1 X 3 X 2 X 4

= (X 1 X 2 X 3 X 4 )
( x 4 x 1 ) ( x 3 x 2 ) ( x 4 x 1 ) X 2 X 3 X 1X 4
( x 1 + )

La transformacin resultante de aplicar la ecuacin xx + x + x + = 0 con 0,

conserva las relaciones dobles por lo tanto es una proyectividad.

PROBLEMA
Se considera la proyectividad entre dos puntuales u y u, en la cual las imgenes de los puntos
A(1), B(1) y C(3) son A(2), B(1) y C(2).
Hallar:
a) la ecuacin.
b) los correspondientes de los orgenes O y Q de
las puntuales u y u.
c) el punto de u al cual le corresponde el punto
impropio de u.
d) la imagen del punto impropio de u.

Prof. Sergio Peralta

Transformaciones Proyectivas 5 - 8

Instituto de Profesores Artigas

Geometra II

III 3) IMGENES DE LOS ORGENES EN UNA PROYECTIVIDAD

Si O y Q son los orgenes de los sistemas de abscisas establecidos en las puntuales u y u.
Sus correspondientes en la proyectividad de ecuacin xx + x + x + = 0 se obtendrn
considerando x = 0 y x = 0.

x '+

x +

o' =
x=

q=
x' =

x '+

x +
Por lo tanto: la condicin necesaria y suficiente para que los orgenes de los sistemas de abscisas
establecidos en las puntuales u y u coincidan, es que = 0.
III 4) PUNTOS LMITES DE UNA PROYECTIVIDAD
Se llaman puntos lmites de una proyectividad entre dos puntuales u y u a los correspondientes
de los puntos impropios de u y u.
Sean I y J los respectivos puntos impropios de u y u, entonces:
Si 0
x '+

x +
x
x'

= lim
j = lim
=
= lim
=
i ' = lim

x '
x

x '+ x ' x '

x + x x
Los puntos lmites tienen abscisas

en u y
en u.

Si = 0, los puntos impropios de u y u se corresponden.

III 5) PROYECTIVIDADES DE PUNTOS LMITES PROPIOS. POTENCIA
Sean A y A, B y B dos pares de correspondientes en una proyectividad en la cual los puntos
lmites son propios I y J; se cumple entonces que (ABJI) = (AB JI) y por lo visto en
AJ B' I'
(II 2) (ABJ) = (BAI)
=

AJ AI = BJ BI

BJ A' I'
JA IA = JB IB.
Este resultado significa que:
El producto de las distancias de cada punto lmite a los pares de correspondientes es constante,
esta constante se llama potencia de la proyectividad.

III 6) PROYECTIVIDADES DE PUNTOS LMITES IMPROPIOS

Supongamos una proyectividad en la cual los puntos lmites son los puntos impropios de las
puntuales y sean A y A, B y B, C y C tres pares de correspondientes en ella.
Entonces podemos escribir: (ABCI) = (AB CI)

(ABC) = (AB C)

AC A' C'
AC
BC
=

=
esta igualdad significa que la razn entre todo
BC B' C'
A ' C' B' C'
segmento de la primera puntual y su correspondiente en la segunda es constante, por lo cual la
proyectividad es una semejanza. En el caso que la razn de semejanza sea 1, la proyectividad
es una isometra.
Ecuacin de las semejanzas
Los puntos lmites son impropios cuando = 0, entonces la ecuacin de las semejanzas tienen
la forma x + x + = 0
con 0 y 0 puesto que deba ser 0

Prof. Sergio Peralta

Transformaciones Proyectivas 6 - 8

Instituto de Profesores Artigas

Geometra II

Por lo visto en la pgina 5, la distancia entre las imgenes de dos puntos en una proyectividad es
( )( x j x i )
y como en las semejanzas = 0, entonces
x ' j x 'i =
( x i + )( x j + )

x ' j x 'i =

( )( x j x i )
( )( )

( )( x j x i )

Se obtendr una isometra cuando

x ' j x 'i

= 1

x j xi

la razn de semejanza es

por lo cual la ecuacin de una

isometra entre u y u es: x x ' + = 0 con 0.

III 7) PUNTOS UNIDOS DE UNA PROYECTIVIDAD ENTRE DOS PUNTUALES

SUPERPUESTAS
Si una proyectividad entre dos puntuales superpuestas tiene tres puntos distintos unidos, es la
identidad.
Debemos justificar que: (ABCX) = (ABCX) X = X
(ABC)
(ABCX) = (ABCX)
h=
=1
(ABC)
=1h=0
= ha b = a b = a b
= hb a = b a
= ab hab = ab ab = ab ab = 0
x +
x
(
a b)x
x' =
=
=
=x
ba
x +

por lo tanto:

Por lo anterior, una proyectividad que no sea la identidad podr tener a lo sumo dos puntos
unidos:
xx + x + x + = 0
0
x = x
x=

( + )

x2 + ( + )x + = 0

las abscisas de los puntos

unidos son:

( + )2 4
2

Si = 0, los puntos impropios de u y u se corresponden, pero como las puntuales son

superpuestas estos puntos impropios son coincidentes, por lo tanto el punto impropio de la recta
sostn es unido.
= 0 implica que la ecuacin de la proyectividad tiene la forma x + x + = 0 y si x = x

resulta x + x + = 0 ( + )x + = 0 y si + 0 x =
es la
+
abscisa del otro punto unido.
En el caso que = 0 y + = 0, la proyectividad tiene un solo punto unido, el punto
impropio de la puntual.
Prof. Sergio Peralta

Transformaciones Proyectivas 7 - 8

Instituto de Profesores Artigas

Geometra II

Definiciones
Proyectividades hiperblicas, son las proyectividades que tienen slo dos puntos unidos
distintos.
Proyectividades parablicas, son las proyectividades que tienen slo un punto unido doble.
Proyectividades elpticas, son las proyectividades que no tienen puntos unidos.

III 8) INVOLUCIONES.
Involucin es una proyectividad entre dos formas de primera especie superpuestas, distinta de la
identidad, en la cual todos los elementos se corresponden doblemente.
La condicin necesaria y suficiente para que una proyectividad de ecuacin
xx + x + x + = 0 sea una involucin, es que = .
En una involucin, todo par A y A se corresponde doblemente, entonces, para cualquier par de
reales (a, a) que verifique: aa + a + a + = 0
(a a) + (a a) = 0
tambin se cumple que
aa + a + a + = 0
Como las involuciones no son la identidad hay infinitos pares de reales (a, a) que verifican:
(a a)( ) = 0
=0
=
Recprocamente: si X es la imagen de X en la proyectividad de ecuacin xx + x + x + = 0
( 2 0), entonces la imagen de X en la misma proyectividad ser X.
Como X es la imagen de X, entonces xx + x + x + = 0 pero como el producto y la
suma de nmeros reales son conmutativos podemos escribir que xx + x + x + = 0; por
lo tanto la imagen de X en la misma proyectividad es X.

Observacin:

Entre dos puntuales superpuestas, no existen involuciones parablicas.

Para hallar los puntos unidos de una involucin de ecuacin xx + x + x + = 0 debemos

considerar x = x por lo que se debe cumplir que x2 + x + x + = 0, entonces
x2 + 2x + = 0.
Se obtendra una proyectividad parablica si esta ecuacin tuviera una raz doble o sea si
(2)2 4 = 0 42 4 = 0 4(2 ) = 0 2 = 0 lo cual es
contradictorio con la condicin de existencia de la involucin: 2 0.

Prof. Sergio Peralta

Transformaciones Proyectivas 8 - 8