Documentos de Académico
Documentos de Profesional
Documentos de Cultura
José Ortega
Universidad de Carabobo, FaCyT-Matemáticas
21 de abril de 2007
Índice general
1. Introducción histórica 1
1.1. La perspectiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
3. Referenciales proyectivos 7
3.1. Coordenadas homogéneas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.2. Dependencia lineal de puntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.3. Puntos Fundamentales y Punto unidad . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.4. Puntos en posición general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
4. Cono proyectante 12
4.1. Definición de Cono Proyectante en un subconjunto . . . . . . . . . . . . . . . . . . . 12
4.2. Cono Proyectante en un subespacio de un punto . . . . . . . . . . . . . . . . . . . . 12
4.3. Proyección de Centro un Punto Sobre un Hiperplano . . . . . . . . . . . . . . . . . . 14
4.4. Proyección de Centro un Subespacio Sobre un Subespacio . . . . . . . . . . . . . . . 15
6. Modelo Proyectivo 22
6.1. Definición . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
ii
6.2. Observación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
6.3. Modelo por la lı́nea recta proyectiva . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
6.4. proyección estereográfica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
7. Morfismos proyectivos 26
7.1. Isomorfismo proyectivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
7.2. Propiedades de los isomorfismos proyectivos . . . . . . . . . . . . . . . . . . . . . . . 27
7.3. Composición de morfismos proyectivos . . . . . . . . . . . . . . . . . . . . . . . . . . 28
7.4. Grupo proyectivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
7.5. Representación matricial de los morfismos proyectivos . . . . . . . . . . . . . . . . . 29
7.6. Teorema fundamental de la geometrı́a proyectiva . . . . . . . . . . . . . . . . . . . . 30
7.7. Ecuaciones del cambio de coordenadas homogéneas . . . . . . . . . . . . . . . . . . . 31
7.8. Subespacios proyectivamente equivalentes . . . . . . . . . . . . . . . . . . . . . . . . 32
iii
Capı́tulo 1
Introducción histórica
1.1. La perspectiva
La geometrı́a proyectiva tiene sus orı́genes en las reglas de la perspectiva, que los artistas del
Renacimiento estudiaron cientı́ficamente y utilizaron de modo sistemático. En el Edad Media el
objetivo de la pintura, y de las otras artes, fue la glorificación de Dios y la ilustración de temas
bı́blicos; las figuras fueron por lo tanto simbólicas antes que realistas, los seres vivientes y los objetos
pintados fueron planos e innaturales. En el Renacimiento el objetivo de las artes figurativas se
convierte en la representación del mundo real, en el modo más fiel posible. Se estrella por lo tanto
enseguida con el problema de representar bien un mundo tridimensional sobre una superficie llana,
la tela,; éste es lo que la perspectiva estudia. Los primeros y más ilustres artistas que dedicaron su
atención al problema de la perspectiva fueron el arquitecto florentino Filippo Brunelleschi, 1377-1446
y el arquitecto Leon Baptista Alberti, 1404-1472, con la obra ”Del pictura”del 1435. El principio
fundamental de L.B.Alberti puede ser explicado ası́: para simplificar el problema simulamos sólo ver
con uno ojo (O) (él fue sin embargo consciente que eso es restrictivo, e imaginamos rayos de luz que
juntan el ojo a un punto cualquiera P del objeto tridimensional a pintar. Él llamó al conjunto de
estos rayos üna proyección.”Suponemos que una pantalla plana transparente sea puesta verticalmente
delante del ojo; cada rayo OP encuentra la pantalla en un punto P 0 ; el conjunto de estos P 0 fue
denominado por L.B.Alberti üna sección.”La cosa interesante es que mirar la sección crea (en O) la
ilusión de mirar el objeto original, porque de la sección provienen al ojo los mismos rayos luminosos
que provienen del objeto. En lugar de la pantalla transparente podemos poner el lienzo y pintar
una sección. Alberti además formuló una pregunta muy importante: ¿si se cambia la posición de la
1
2
pantalla delante del ojo, se consigue una sección diferente de la anterior? Además si dos secciones
”provienen”del mismo objeto; ¿cuáles propiedades geométricas tienen en común estas dos secciones?,
¿ qué es una figura plana?. Éste ha sido el punto de partida de la geometrı́a proyectiva.
La respuesta que darı́amos hoy a la pregunta puesta por L.B.Alberti es la siguiente dados H y H 0
planos çompletados”dónde çompletarün plano significa considerar como puntos del plano no sólo los
puntos ordinarios, sino también los puntos ”del infinito”, es decir las direcciones de las lı́neas rectas,
por lo tanto dos rectas paralelas se encuentran en su común punto al infinito, y dichas A y A0 las
dos secciones, se tienen A0 = f (A), dónde f es un proiettività entre los dos planes os proyecta, es
decir f : H −→ H 0 . Tal como cada rayo luminoso por O no paralelo a H encuentra en un punto
”verdadero”, se puede pensar que cada rayo luminoso r por Oparalelo a H encuentra H .en infinito”,
es decir en el punto P∞ de H representado por la dirección de sus rectas paralelas a r : un proiettività
construido como f puede mandar puntos ”del infinito”de H en puntos ”verdaderos”de H 0 , como en la
figura siguiente. En este discurso se encuentran reunidos los dos modos más comunes de imaginar un
plano proyectivo: cómo plano çompletado”, y como el conjunto de las lı́neas rectas por el origen O del
espacio.¡ Volviéndo al Renacimiento, una conjunción de intereses matemáticos y artı́sticos análogos
a los de Filippo Brunelleschi y León Baptista Alberti se hallan luego en Leonardo da Vinci (1452-
1528), autor del ”Tratado”de la pintura (obra perdida en su versión original), en Piero del Francesca
(1410-1492), autor de la obra ”De prospectiva pingendi”, y en Albrecht Durero (1471-1528), el gran
artista de Nuremberg quien posteriormene entra en contacto con los entornos veneciano y boloñés,
y favoreció la difusión de las teorı́as sobre la perspectiva en la Europa centro-septentrional.
Capı́tulo 2
2.1. Definición
Definición 2.1.1. En lo que sigue K denotará siempre un cuerpo fijo y V un K-espacio vectorial de
dimensión n + 1. El espacio proyectivo sobre K asociado a V es el conjunto P(V) cuyos elementos,
llamados puntos de P(V), son los subespacios vectoriales de dimensión uno de V , es decir las rectas
vectoriales de V.
P(V) ←→ V\{0}/ ∼
[w] ←→ [w]∼
Podemos en consecuencia identificar P(V) con V\{0}/ ∼ escribiendo P(V) = V\{0}/ ∼ . Por esta
razón, los puntos de P(V) se representan escribiendo un elemento de V\{0} entre corchetes: [ · ].
Tal escritura indica una clase de equivalencia, y el vector entre corchetes es un representante.
Definición 2.1.2. La dimensión P(V) = dim V − 1, y se denota con dim P(V).
Tal definición es bastante natural, pues P(V), siendo un conjunto de rectas de V, debe tener
dimensión menor de uno respecto a V. Si dim V = 0, es decir V = {0} se tiene P(V) = ∅ por que
en este caso V no posee subespacios de dimensión uno. Se puede ası́ considerar al conjunto vacı́o ∅
3
4
como un espacio proyectivo de dimensión -1 sobre cualquier cuerpo K. Si dim V = 1 entonces P(V)
posee un solo punto, el propio V y dimP(V) = 0, un espacio proyectivo de dimensión 0 consiste sólo
de un solo punto. Los ejemplos más importantes de espacios proyectivos se obtienen considerando
V = Kn+1 . El espacio P(Kn+1 ) se denota con Pn (K), o simplemente con Pn si no tiene posibilidad
de equivoco. Este espacio se llama el n-espacio proyectivo numérico, o el espacio proyectivo standard
n-dimensional sobre el cuerpo K. Dado (x0 , x1 , . . . , xn ) ∈ Kn+1 \{0} denotaremos con [x0 , x1 , . . . , xn ]
al punto correspondiente de Pn Se tiene [x0 , x1 , . . . , xn ] = [y0 , y1 , . . . , yn ] ⇔ ∃λ ∈ K∗ : yi = λxi ∀i =
0, 1, . . . , n
Definición 2.1.3. Un espacio proyectivo se denomina real si K = R, complejo cuando K = C.
Consideremos P1 (R) visto como el conjunto de las rectas de R2 que pasan por el origen.
Si s representa la recta de ecuación x0 = 1 en R2 . Es posible establecer una correspondencia biunı́voca
entre
P1 (R) = {rectas deR2 pasando por el origen} ↔ puntos de {x0 = 1} ∪ {∞} ↔ R ∪ {∞}.
Consideremos P2 (R) que ya fue definido como el conjunto de las rectas vectoriales de R3 , es decir
rectas por el origen, y sea H el plano de R3 de ecuación z = 1.
5
P2 (R) = {rectas de R3 pasando por0} ↔ puntos de{z = 1} ∪ {direcciones de las rectas de z = 1}.
r 6 k {z = 1} ↔ r ∩ {z = 1} = 1 punto
rk{z = 1} ↔ dirección de r, que es una dirección del plano {z = 1}
Estando el plano z = 1 en correspondencia biunı́voca con el plano afı́n real A2 (R) podemos decir que
el conjunto de los puntos de P2 (R) está en correspondencia biunı́voca con el conjunto de los puntos
de A2 (R) y de las direcciones de las rectas de A2 (R). De esta manera hemos ampliado A2 (R) para
evitar algunas excepciones (por ejemplo: dos rectas en un plano afı́n se cortan en un punto o son
paralelas), llamando ”puntos” a todos los puntos de A2 (R) y también a todas las direcciones de las
rectas de A2 (R)
Sea K un campo finito con k elementos, y P(V) un espacio proyectivo de dimensión n sobre K
Entonces
k n+1 − 1
#(P(V)) = .
k−1
#(Kn+1 \{0}) k n+1 − 1
#(P(V)) = #(recta de V\{0}) = = ,
#(puntos de una recta vectorial de Kn+1 , excepto lo {0}) k−1
como #(Kn+1 ) = k n+1 y toda recta tiene k − 1 elementos, ya que está privada del origen.
Ejemplo 2.4.1. Toda recta proyectiva sobre Z2 tiene tres puntos, en efecto:
2n+1 − 1
#(P(V)) = = 4 − 1 = 3,
2−1
y todo plano proyectivo sobre Z2 tiene 7 puntos
22+1 − 1 8−1
= = 7.
2−1 1
En efecto las rectas vectoriales de V (Z2 − espacio vectorial de dimensión 2) tienen las ecuaciones
siguientes:
x + y = 0, x = 0, y = 0.
Y las rectas proyectivas de V, un (Z2 − espacio vectorial de dimensión 3 son las rectas de ecuaciones:
x + y + z = 0, x + y = 0, x = 0, x + z = 0, y + z = 0, y = 0, z = 0.
Capı́tulo 3
Referenciales proyectivos
λn
n+1
K , de ahora en adelante, será denotada por E = (e0 , . . . , en ). Queremos asociar coordenadas a
los puntos de un espacio proyectivo. Fijada una base B = (v0 , v1 , . . . , vn ) de V podemos asociar con
λ1
.
cada punto [v] ∈ P(V) una, n + 1-plano de coordenadas de este modo: si v = .
. , entonces
λn
B
decimos que x0 , . . . , xn son los coordenadas homogéneas del punto [v] con respecto a la base B.
Tales coordenadas quedan únicamente determinadas a menos de un factor de proporcionalidad no
nulo. En efecto, dado λ ∈ K∗ vale [v] = [λv] y λv = λx0 v0 + λx1 v1 + · · · + λxn vn . Por tanto, si
x0 , . . . , xn son coordenadas homogéneas de [v] con respecto a B, también lo sonλx0 , . . . , λxn por cada
λ 6= 0. Por esta razón denotaremos a las coordenadas homogéneas del punto P = [v] con respecto a
la base B mediante [x0 : . . . : xn ]B . Para indicar que son únicas salvo un factor de proporcionalidad.
6
7
x0 xn 1
x0 v0 + · · · + xn vn = µv0 + · · · + µvn = (x0 µv0 + · · · + xn µvn )
µ µ µ
Sea P = {µB}µ∈K∗ un referencial proyectivo sobre P(V) y sea [v] un punto de P(V). Decimos que
[v] tiene coordenadas homogéneas a0 , . . . , an con respecto de P, y escribimos [v] = [a0 , . . . , an ]P ,
si a0 , . . . , an son las coordenadas homogéneas de [v] con respecto de un cualquiera de las bases
de la familia P. Esta definición tiene sentido gracias a la proposición [citar]. Las coordenadas
homogéneas de [v] son determinadas, como hemos visto, a menos que un factor de proporcionalidad.
Recı́procamente, las coordenadas con respecto de un referencial proyectivo determinan el punto; en
efecto, si P = [a0 : . . . : an ]P , entonces P = [a0 v0 + · · · + an vn ], donde (v0 , . . . , vn ) es una base de
ψP : P(V) −→ Pn (K).
[(a0 : . . . : an )B ] (= [a0 : . . . : an ]P ) 7−→ [a0 : . . . : an ]
Observemos que en Pn (K) el referencial proyectivo estándar, es decir aquel asociado a la base
canónica, S = {µE}µ∈K∗ , hace que un punto [x0 , . . . , xn ] tenga como coordenadas homogéneas con
respecto de S precisamente x0 , . . . , xn , es decir [x0 , . . . , xn ] = [x0 , . . . , xn ]S .
Ejemplo 3.1.2. Consideremos la base B = (v0 , v1 ) de R2 y la modificamos multiplicando
cada vector por escalares diferentes, por ejemplo tomando la base B 0 = (2v0 , 3v1 ). Entonces las
8
coordenadas proyectivas cambian, es de notar que, al contrario, como vimos en la proposición [citar],
si modificamos B multiplicando todos los vectores por el mismo escalar µ 6= 0, las coordenadas
proyectivas no cambian. En efecto sea v = (x0 , x1 )B . Entonces v = x0 v0 +x1 v1 = x20 (2v0 )+ x31 (3v1 ).
Luego v = (x0 , x1 )B = ( x20 , x31 )B0 = (y0 , y1 )B0 , dónde x0 = 2y0 y x1 = 3y1 . Sea P 0 = {µB 0 }µ∈K∗ el
referencial proyectivo asociado a B 0 . Entonces
linealmente dependientes.
Definición 3.2.2. Dado el espacio proyectivo P(V) decimos que h puntos P1 = [v1 ], . . . , Ph =
[vh ] ∈ P(V) son linealmente dependientes, (l. d.) o bien linealmente independientes, (l.i.)
si lo son los vectores v1 , . . . , vh en V.
En virtud de la proposición [citar], tal definición tiene sentido, porque la dependencia lineal no
depende de los representantes de las clases [vi ]∼ .
Observación 3.2.3. Si m > +1 m puntos de P(V) P(V) siempre son linealmente dependientes.
Demostración.
⇐ ) obvia.
⇒ ) Suponemos que [vi ] = [wi ] para i = 0, . . . , n y [v0 + · · · + vn ] = [w0 + · · · + wn ],
entonces existen λ0 , . . . , λn , λn+1 ∈ K∗ tales que v0 = λ0 w0 , . . . , vn = λn wn , v0 + · · · + vn =
λn+1 (w0 + · · · + wn ),
9
Observación 3.3.2. Una, n+2-pla de puntos F0 , F1 , . . . , Fn , U, tal que existe una base (v0 , . . . , vn )
de V tal que Fi = [vi ] para i = 0, . . . , n y U = [v0 + · · · + vn ], es suficiente para asociar coordenadas
homogéneas a cada apunto P ∈ P(V) del modo siguiente: los vectores v0 , . . . , vn determinan,
como hemos visto en la proposición [citar], una base de V bien definida a menos de un factor de
proporcionalidad no nulo, por lo tanto determinan un referencial proyectivo. Al punto P asignaremos
las coordenadas según este referencial. En cambio n+1 puntos F0 , . . . , Fn linealmente independientes
en P(V) no son suficientes para determinar las coordenadas homogéneas de un punto, como ya lo
verificamos en el ejemplo [citar], ya que los Fi = [vi ] podrı́an ser representantes de λi xi , para valores
arbitrarios de λi ∈ K∗ , no necesariamente iguales por cada i. La ambigüedad es solucionada por lo
tanto sólo añadiendo un, n + 2-eximo punto.
Observación 3.3.3. Usted puede notar que, mientras para un espacio vectorial n-dimensional un
sistema de coordenadas necesita n puntos, (una base) , y para un espacio afı́n n-dimensional necesita
n + 1 puntos, (un referencial afı́n), para un espacio proyectivo son necesarios n + 2 puntos para
constituir un referencial.
Definición 3.3.4. Dado un referencial proyectivo P = {µB}µ∈K∗ , donde B = (v0 , . . . , vn ) es una
base de V, los puntos [v0 ], . . . , [vn ] son denominados puntos fundamentales de P, y el punto
U = [v0 + · · · + vn ] se denomina punto unidad de P.
Observación 3.3.5. Dada una, n+2-pla de puntos (F0 , . . . , Fn , U ) como en la observación anterior,
F0 , . . . , Fn son los puntos fundamentales y U es el punto unidad.
Proposición 3.4.2. Sean P0 = [v0 ], . . . , Pn+1 = [vn+1 ] puntos de P(V) con dim V = n + 1.
Entonces estos n + 2 puntos están en posición general si y sólo si existen entre ellosPn n + 1 puntos
linealmente independientes, por ejemplo: P0 , . . . , Pn y el último es tal que Pn+1 = [ i=0 λi vi ], dónde
λi 6= 0 por cada i = 0, . . . , n.
Demostración. Sigue de la proposición [citar]. Sea Pi = [vi ] por i = 0, . . . , n+1 en posición general.
Pn
Entonces, (proposición [citar]) P0 , . . . , Pn son linealmente independientes y vn+1 = i=0 λi vi con
Cono proyectante
Sea J 6= ∅ un sottinsieme de P(V) y sea P ∈ P(V) punto cualquiera. El cono proiettante J del
punto P es por definición
Es decir es la unidád de todas las rectas que contienen P y al menos un punto de J. El punto P se
le dice cumbre del cono.
Propocición Si S es un subespacio proyecivo de P(V), pues CP (S) = L(S, P ) por cada P ∈ P(V).
Cp (S) = ∪wS 0 P (h v, w i)
11
12
S
El segundo miembro de tal igualdad es exactamente P( w∈S0 < v, w >), demostrar que este último
es igual a P(< v, w1 , . . . , wr >).
Cp (S) = P (h v, w1 , . . . , wr i) = L (P, S)
Demostración
S
El subespacio suma de S T, es decir L(S, T ), no es otro que Q∈S L(Q, T ), que, por la proposición
2, es igual a
Pues CP (r) = L(P, r) = P2 (R). En efecto dim L(P, r) = dim P +dim r −dim(P ∩r) = 0+1−(−1) =
2.
ejemplos Sean A = [0, 1, 2], B = [−1, 0, 1], P = [0, 0, 1] ∈ P2 (R). Pues CP {A, B} =
! !
0 1 2 −1 0 1
L(A, P ) ∪ L(B, P ). Puesto que r = 2 y r = 2, entonces ecuaciones
0 0 1 0 0 1
cartesianas por L(A, P ) y por L(B, P) son, ejemplo 14 de la sección .Ecuaciones de un sottoespacio
x x x
0 1 2
proyectivo”):L(A, P ) : 0
1 2 = 0, es decir x0 = 0,
0 0 1
x
0 x1 x2
L(B, P ) : −1 0 1 = 0, es decir x1 = 0.
0 0 1
Ejemplo 6 En P3 (R) consideramos la linea recta r = {[λ + µ, 2µ, 3µ, 0] : (λ, µ) 6= (0, 0)} y el punto
x0 = λ + µ
x = 2µ
1
P = [0, 0, 0, 1] 6∈ r. Pues CP (r) = L(P, r) es el plan de ecuaciones paramétricas con
x2 = 3µ
x =γ
3
(λ, µ, γ) 6= (0, 0, 0) parámetros homogéneos.
πQ,H : P (V ) \ −→ H
T 7−→ L (T, Q) ∩ H
Notamos que tal definición tiene sentido, porque Q 6∈ H, luego L(T, Q) 6⊂ H, pues, ves el ejercicio
8 de la sección ”Sottospazi proyectivos”) L(T, Q) ∩ H es un punto. La aplicación πQ,H es por lo
tanto la aplicación que asocia con un punto T 6= Q el punto de intersección de H con la lı́nea recta
congiungente T y Q.
x0 = λ + µa0
x1 = µa1
En efecto la lı́nea recta L(P, Q) tiene ecuaciones paramátricas .. con (λ, µ) 6= (0, 0),
.
xn = µan
y el punto πQ,H (P ) = H0 ∩ L(P, Q) consigue por [λ, µ] = [−a0 , 1].
πQ,H : P (V ) \ S −→ S 0
T 7−→ L (T, S) ∩ S 0
Tal definición tiene sentido, en efecto dim(L(S, T ) ∩ S 0 ) = dim L(S, T ) + dim S 0 − dim L(L(S, T ), S 0 ).
Pero n = dim L(S, S 0 ) ≤ dim L(L(S, T ), S 0 ) ≤ dim P(V) = n, luego dim L(L(S, T ), S 0 ) = n =
dim S + dim S 0 − dim(S ∩ S 0 ) = dim S + dim S 0 − (−1). este implica que dim(L(S, T ) ∩ S 0 ) =
dim L(S, T ) + dim S 0 − dim S − dim S 0 − 1; además, ya que tenemos a que hacer con un pica T 6∈ S,
pues dim L(S, T ) = dim S + 1, pues
Consideramos Pn = Pn (K) = P(Kn+1 ) como el conjunto de las rectas afı́nes de An+1 que pasan
por el origen: cada punto [x0 , x1 , . . . , xn ] ∈ Pn corresponde a la recta de An+1 constituida por los
puntos (λx0 , λx1 , . . . , λxn ) al variar λ ∈ K. Los puntos P ∈ H0 corresponden a las rectas contenidas
en el iperplano afı́n de ecuación x0 = 0. Llamamos a tal iperplano H00 .
j : Y −→ P n \H0
(1, y1 , . . . , yn ) 7−→ [1, y1 , . . . , yn ]
con inversa:
j −1 : P n \H0 −→ Y.
[x0 , x1 , . . . , xn ] 7−→ 1, xx01 , xx20 , . . . , xxn0
15
16
Se notas además que los puntos de H0 son las rectas vectoriales de Kn+1 contenidas en la posición
de Y, qué es precisamente el iperplano vectorial H00 . en pocas palabras: H0 = P(giacY ), y se tiene
por lo tanto un biezione natural
Y ∪ P (giacY ) ←→ P n .
Se observas que H0 y Y pueden ser reemplazados por un cualquier iperplano P(H) de Pn y de un
iperplano afı́n de An+1 habiente posición H y no pasajero por el origen.
Si en la construcción anterior identificamos Y con An , utilizando la aplicación biunı́voca
g : An −→ Y ;
(y1 , . . . , yn ) 7−→ (1, y1 , . . . , yn )
Componiendo j con g conseguimos la aplicación biunı́voca
j0 = jog : An −→ P n \H0
(y1 , . . . , yn ) 7−→ [1, y1 , . . . , yn ]
cuya inversa es
j0−1 : P n \H0−→ An
x1 x2 xn
[x0 , x1 , . . . , xn ] 7−→ x0 , x0 , . . . , x0
Para conseguir Pn , hemos añadido es decir a An el conjunto de las rectas por el origen; en otras
palabras, Pn se consigue añadiendo a An las direcciones de sus rectas.
Definición Los puntos de H0 son llamados puntos impropios de Pn con respecto de j0 ( a j̃0 ), los
puntos de Pn \ H0 = U0 puntos propios con respecto de j0 ( j̃0 ); H0 es decir iperplano impropio con
respecto de j0 ( j̃0 ).
Se dice que j̃0 permite completar o ampliar un n-espacio afı́n An a un Pn , añadiendo los puntos
impropios.
17
ji : An −→ Pn \ H i
(y0 , . . . , yi−1 , yi+1 , . . . , yn ) 7−→ [y0 , . . . , yi−1 , 1, yi+1 , . . . , yn ]
con inversa
ji−1 : Pn \ H i −→ An
.
[x0 , . . . , xi , . . . , xn ] 7−→ ( xx0i , . . . , xxi−1
i
, xxi+1
i
, . . . , xxni )
Entonces la aplicación j0 transforma los puntos de S 0 en los puntos propios (con respecto de j0 ) del
subespacio S de Pn = Pn (K) de ecuaciones cartesianas
a10 X0 + a11 X1 + · · · + a1n Xn = 0
(??) ..
.
at0 X0 + at1 X1 + · · · + atn Xn = 0.
18
La recta r es el cierre proyectiva de r0 . Ella consta puntos de j0 (r0 ) y del punto [0, −B, A], su punto
impropio, que es exactamente r ∩ H0 , es decir la intersección de r con la recta impropia H0 .
Observación Sea j̃0 : A2 −→ P2 un cumplimiento proyectivo del llano afón. Las rectas de P2 que
pasan por un punto justo ( con respecto de j0 ) j0 (Q) son los cierres proyectivos de las rectas de A2
del haz propio de centro Q.
observación Los subespacios afı́nes no banales, diferentes es decir de los puntos y de A3 mismo,
de A3 son los planas y las rectas.
Sea p0 un plano de A3 de ecuación AX + BY + CZ + D = 0, (A, B, C) 6= (0, 0, 0)
Los puntos impropios de p con respecto de j0 son los puntos de la recta H0 ∩ p, o bien los puntos
[0, l, m, n] tales que (l, m, n) es solución no banal de la ecuación AX1 + BX2 + CX3 = 0, es decir
tales que (l, m, n) es un vector no nulo de giac(p0 ). Luego el conjunto de los puntos impropios con
respecto de j0 de p coincide con la recta P(W), dónde W = giac(p0 ).
0 3 AX + BY + CZ + D = 0
Ahora consideramos una recta r ⊂ A de ecuaciones cartesianas ,
A1 X + B1 Y + C1 Z + D1 = 0
A B C
con r = 2.
A1 B1 C1
0 3 DX0 + AX1 + BX2 + CX3 = 0
El cierre proyectivo de r es la recta r ⊂ P de ecuaciones cartesianas ,
D1 X0 + A1 X1 + B1 X2 + C1 X3 = 0
A B C D
dónde r = 2. La recta r consta puntos propios de j0 (r0 ) y del pun-
A1 B1 C1 D1
0
to
impropio [0, l, m, n], dónde (l, m, n) es un vector de dirección de r y satisface el sistema
AX1 + BX2 + CX3 = 0
())qué describe precisamente giacr0 ).
A1 X1 + B1 X2 + C1 X3 = 0
Observación Sea j̃0 : A3 −→ P3 un cumplimiento proyectivo del espacio afı́n A3 . Entonces cada
recta r ⊂ P3 no contenida en H0 es cierre proyectiva de una recta r0 ⊂ A3 . Los llanos contenedores
r soy todo y sol los cierres proyective de los planos de A3 del haz de eje r0 .
Capı́tulo 6
Modelo Proyectivo
6.1. Definición
Identificamos Pn (R) con el conjunto cuyos elementos son las rectas por el origen de En+1 qué es el
(n + 1) espacio euclidiano numérico.
φ : Sn −→ Pn (R).
P 7−→ recta por el órigine que contiene P = [P − O]
Ya que cada recta transedente por el origen encuentra Sn en dos puntos simétricos con respecto de
ella (”que denotamos con {P, −P }), dichos diametralmente opuestos, la aplicación φ es sucjetiva, y
tal que φ−1 ([v]) consta de dos puntos por cada [v] ∈ Pn .
Resulta es decir: φ(P ) = φ(−P ) = [v] y φ−1 ([v]) =< v > ∩Sn = {P, −P }. La función φ hace
pues corresponder biunivocamente Pn (R) al conjunto cuyos elementos son las parejas de puntos
antipodali {P, −P } de Sn . Pues, denotando con R la relación antipodale es ( es decir: P R Q P R Q
si y sólo si P = Q o bien P = −Q), φ induce una aplicación biunı́voca
φ̃ : Sn /R −→ Pn (R).
6.2. Observación
Un modelo mÁs simple dado por Pn (R), deducido por el precedente, se puede construir en la manera
siguiente. Sea Σ = {x0 ≥ 0} ∩ Sn . Podemos considerar la aplicación biunı́voca φ∗ inducida de φ̃ :
φ∗ : Σ/R −→ Pn (R).
19
20
Las rectas vectoriales de En+1 qué no son contenidas en el iperplano H0 (”de ecuación x0 = 0)
encuentran Σ en un solo punto.
Si en cambio r ⊂ H0 , pues r ∩ Σ es una pareja de puntos antipodali. Luego las clases de equivalencia
son hechas ası́:
Las rectas por el origen mucho del eje x0 = 0 (.es decir aqéllos que representan los puntos de
P1 (R) \ H0 ) encuentran C en dos puntos, de cuyo uno es (0, 0) y lo otro es variable; en cambio la
recta x0 = 0 encuentra C sólo en (0, 0). Haciendo corresponder a la recta vectorial r ⊂ E2 variable
su intersección γ(r) con C diferente de (0, 0), define una correspondencia biunı́voca
γ : P1 (R) \ H0 −→ C \ {(0, 0)}
r 7−→ (r ∩ C) \ {(0, 0)}
Poniendo γ(H0 ) = (0, 0), γ se extiende a una correspondencia biunı́voca
γ̃ : P1 (R) −→ C.
De este modo se consigue como una circunferencia modelo geométrico de P1 (R).
Por cada P ∈ S2 \ {N }, denotamos con σ(P ) el pica de p alineado con N y con P. Se consigue una
correspondencia biunı́voca
σ : S2 \ {N } −→ p (identificato con R2 )
P 7 →
− N P ∩ {z = 0}
21
x = x0 t
Luego N Q es secante, por tanto N Q ∩ S2 es constituida por dos puntos, de cuyo uno es N. Pues ella
σ se invierte, y tiene inversa
σ −1 : p −→ S2 \ {N }
.
Q 7−→ (QN ∩ S2 ) \ {N }
2 2
u +v −1
Analı́ticamente luego se ve que σ −1 (u, v, 0) = ( u2 +v
2u 2v
2 +1 , u2 +v 2 +1 , u2 +v 2 +1 ). La aplicación σ permite
2
por lo tanto de representar la esfera S como el plano p a cuyo ha sido añadido el punto N. Además,
si identificamos p con C con la aplicación
α: p −→ C
(u, v, 0) 7−→ u + iv
σ̃ : S2 −→ P1 (C) = C ∪ {∞}.
N 7−→ ∞
0 0 0 0 x0 y0 x0 +iy 0
(x , y , z ) (con z 6= 1) 7−→ 1−z 0 + i 1−z 0 = 1−z 0
Efectivamente el punto N puede ser interpretado como ”pica.al infinito de p, ya que al alejarse de
Q ∈ p del origen O, es decir al desdoblar de kOQk al infinito, σ −1 (Q) se acerca a N.
Morfismos proyectivos
f : P(V) −→ P(V0 ).
[v] 7−→ [ϕ(v)]
denominada el morfismo de espacios proyectivos inducido por ϕ. Verifiquemos que f está bien
definida. La aplicación ϕ es inyectiva, por lo tanto si v 6= 0, entonces ϕ(v) 6= 0. Por lo tanto
podemos considerar [ϕ(v)]. Por otra parte, dado [v] = [w], entonces f ([v]) = f ([w]). En efecto,
ϕ lineal
[v] = [w] si y sólo si existe λ ∈ K∗ tal que v = λw. En este caso f ([v]) = [ϕ(v)] = [ϕ(λw)] =
[λϕ(w)] = [ϕ(w)] = f ([w]). Demostremos ahora que f es inyectiva,es decir que f ([v]) = f ([w])
implica [v] = [w]. Supongamos que f ([v]) = f ([w]); esto significa que [ϕ(v)] = [ϕ(w)], es decir
que existe λ ∈ K∗ tal que ϕ(v) = λϕ(w); siendo ϕ lineal, la igualdad anterior vale si y sólo si
ϕ(v) = ϕ(λw). Pero ϕ es inyectiva, por lo tanto de esta última igualdad se concluye que v = λw,
es decir que [v] = [w].
f: P(W) −→ P2 (R)
[a, b, a + 2b] 7−→ [a, b, a + 2b]
22
23
Demostración. Ya hemos visto f es inyectiva. Por lo tanto, para demostrar la proposición, basta
comprobar que ϕ es sobreyectiva si y sólo si f es sobreyectiva. Sea ϕ sobreyectiva. Entonces para
todo w ∈ V0 existe v ∈ V tal que w = ϕ(v), y en consecuencia para todo w ∈ V0 existe v ∈ V tal
que [w] = [ϕ(v)] = f ([v]), esto significa que f es sobreyectiva. Sea ahora f sobreyectiva. Entonces
para todo [w] ∈ P(V0 ) existe [v] ∈ P(V) tal que f ([v]) = [w], es decir para todo [w] ∈ P(V0 ) existe
[v] ∈ P(V) tal que [ϕ(v)] = [w], o para todo w ∈ V0 \ {0} existen v ∈ V \ {0} y λ ∈ K∗ tales que
λϕ(v) = ϕ(λv) = w, por lo tanto ϕ es sobreyectiva.
ϕ: R2 R2 .
−→
(x0 , x1 ) 7−→
(2x0 − x1 , x0 + x1 )
2 −1
Tal aplicación es un isomorfismo, en efecto, ME (ϕ) = tiene determinante no nulo. Po
1 1
lo tanto ϕ induce la proyectividad
f: P1 (R) −→ P1 (R)
[x0 , x1 ] 7−→ [2x0 − x1 , x0 + x1 ]
f 0 : Pn \ {[1, 0, . . . , 0]} −→ H0 .
[a0 , a1 , . . . , an ] 7 →
− [0, a1 , . . . , an ]
Notemos que en el ejemplo [], de la sección ”Cono proyectante de un subconjunto” f 0 era dada como
ejemplo de proyección de centro el punto [1, 0, . . . , 0] sobre el hiperplano H0 .
24
h : P(V) −→ P(V00 ).
[v] 7−→ [ψ ◦ ϕ(v)]
Se ve de inmediato que h = g ◦ f.
f : P(V) −→ P(V0 ).
[v] 7−→ [ϕ(v)] = [ψ(v)]
π: GL(V) −→ PGL(P(V)).
ϕ 7−→ proyectividad inducida por ϕ
Este homomorfismo es sobreyectivo por la misma definición de proyectividad. Observamos por otra
prop12
parte que ker π = {ϕ ∈ GL(V) : π(ϕ) = idP(V) } = {ϕ ∈ GL(V) : ϕ = λ idV con λ ∈ K∗ } =
{λ idV : λ ∈ K∗ }.
ys xn
f : P(V) −→ P(V0 ) el morfismo proyectivo inducido por ϕ, y sean P y P 0 referenciales proyectivos
en P(V) y P(V0 ), respectivamente, asociados a las bases B y B 0 . Las ecuaciones Y = MB0 ,B (ϕ)X son
26
bs an
También decimos que la matriz MB0 ,B (ϕ) representa f respecto a los referenciales proyectivos P y
P 0.
Observación 7.5.1. Bajo las mismas hipótesis de la proposición precedente, una matriz A
representa f respecto a los referenciales proyectivos P y P 0 si y sólo si existe µ ∈ K∗ tal que
A = µMB0 ,B (ϕ).
Ejemplo 7.6.1. Una proyectividad de una recta proyectiva queda definida al asignar las imágenes
de tres puntos distintos cualesquiera, una proyectividad de un plano proyectivo queda definida al
asignar las imágenes de r 4 puntos no colineales 3 a 3.
Ejemplo 7.6.2. Sea P1 (R) con el referencial proyectivo estándar, vamos a verificar que existe una
proyectividad tal que
f ([1, 2]) = [1, 3], f ([0, 1]) = [2, 1], f ([4, 4]) = [1, 0].
27
En efecto las dos ternas de puntos están en posición general, por lo tanto (existe una única f de
hecho) . Sean
v0 = (1, 2), v1 = (0, 1), v2 = (4, 4);
w0 = (1, 3), w1 = (2, 1), w2 = (1, 0).
Entonces v2 = 4v0 − 4v1 v2 = 4v0 − 4v1 y w2 = − 51 w0 + 35 w1 . Una aplicación ϕ : R2 −→ R2 que
induce f será por lo tanto el automorfismo
ϕ: R2 −→ R2 .
4v0 = (4, 8) 7−→ − 15 w0 = (− 51 , − 35 )
3 6 3
−4v1 = (0, −4) 7−→ 5 w1 = ( 5 , 5 )
esto da la matriz
−1
1 −1 6 4 0
,
5 −3 3 8 −4
que es exactamente
1 −1 6 1 −4 0 1 −1 6 1 −1 0 1 −11 6
= =− .
5 −3 3 −16 −8 4 5 −3 3 −4 −2 1 20 −3 3
Finalmente f viene expresada respecto a S como
y0 = −11x0 + 6x1
y1 = −3x0 + 3x1 .
bn an
Sean P = {µB}µ∈K∗ , P 0 = {µB 0 }µ∈K∗ , P 00 = {µB 00 }µ∈K∗ tres referenciales proyectivos en P(V),
donde B, B 0 , y B 00 son bases de V. Entonces las ecuaciones del cambio de coordenadas homogéneas
de P a P 00 vienen dadas por la matriz