Documentos de Académico
Documentos de Profesional
Documentos de Cultura
SÁNCHEZ ABRIL
Nociones de
Geometría Proyectiva
sanz y torres
En la época del Renacimiento. las exigencias de las artes como la
pintura y la arquitectura plantearon la necesidad de disponer de una
técnica que permitiera plasmar con realismo lm objeto tridimensional
sobre una superficie plana. Así surgió la teoría de la Perspectiva
l
ISBN : 978-84-90\0"'..41>-.')
Dep ósito lega l: M-39678-2009
Composi ción:
Au tores
Impresión v cncuade m ación
FF. R Fotocompostc tón , el Auonso Gómez, 38, 3" e 28037 Ma drid
NOCIONES
DE
GEOMETRÍA PROYECTIVA
sanz ytorres
A la memoria del Profesor
D. Francisco Botella Badu án,
que nos COf¡f¡Ó las primeras tareas
docentes en esta materia
- _ __ _
..
111
-
Presen a .o -'
A mediados del siglo XVII, Gérard Desargues y Blaise Pascal, que habían
continuado los trabajos de l\polonio sobre las cónicas, aplican .los méto-
dos de proyecci ón y sección de la teoría d e la perspectiva, y descubren los
famosos teorem as que llevan sus nombres.
Sin embargo, el inici o propiam ente d ic ho de la Geom etría proyecliva
se produce con la presentación del tratado de lean Víct or Poncelet tTrait é
des propri étés projectiues des figures) en 1822. Las aportacione s de Ponce-
le t y de los contin uad ores que trabajaron en los m ismos años en Francia y
Alemania de te rm inan el gran periodo clásico de la Geom etría proyectíva.
Durante el 111i51110 se introdu cen y clarifican los con ceptos fundamenta-
les de transforrn ación proycctíva (proyectividad), dualidad, razón doble,
polaridad y correlación . (La razón doble fue utilizad a anteriormente por
Dcsargues, y al parecer era co noci.da en la Antigüeda d).
Este p er io do culmi na con las decisivas contrib ucio nes d e Karl G, C. von
Staudt, recogi d as prin cipalm en te en su segu ndo tratad o de 1856. tBeitrdge
z ur Ceometrie der Lage)
IV CMÍTULO O. PRESElVT¡\C/cJl\i
_
......_.._._.. .._ __ _._- - - - - - - - - - - ----
..".
Presentación nI
Introducción ( o tivación) IX
l. Espacios proyectivo s 1
I. I. Espacio proyectivo, Variedacles proyectivas . . 1
1.2. Aplicaciones p royectivas . . . . . . . . . . . 6
1.3. Referen cias y coorden adas . 12
1.4. Ecuacion es de su bespacios y aplicacion es .... 17
VI )
VJ Il Í. DICE GEIVERAL
5. Cuádricas proyecti as 67
5.1. Cuádricas pro ectivas. Variedades tan gentes . 67
5.2. Polaridad as ociada a una cu ádrica . 71
5.3. Ecuaciones can ónicas y clasificación proyecti a . 76
5.4. Relación co n las cuádricas afines. . . . . . . . .. 80
Bibliografía 155
:/
,./ 1 ¡J / • _
./ <r>-:
/ X -4._---___ ti !
i
.. _-- - . ../
~r - ---
l
~~ ..
l. •....~ /
l. .
" ~- .....
\" ,/ -, .....
\
.
~
I ......
\,
....
_.............•_.. _._.._._._.__._ - - - - - - -
CApíTU[O o. l¡\l TRUDUCClÓN (M OTI VAO ÓN)
-'" - -
Capítu 1
co ns iderar la aplicación
Proposición 1.1.3. Ex iste una biyeccíón entre el conju nto de los subespa-
cios vectoriales d e E y el conju n to de los subespacios proyectiuos de P (E),
dada por la aplicación L>--+ P (L). La biyección. inversa es la aplicación M .......
Ir- 1(M) U 101.
vectoriales, es decir, si P (Ld = P(L2), enton ces 1.1 = 1.2 . Por tanto, la apli-
cación considerada es inyecliva.
Para la segunda afin n ación basta ver que, si P (L) = M , en ton ces L =
][ -1 (A1) u {O}. y esto resulta de las igualdades siguientes, donde cada u na se
D
Podernos defin ir varied ad es proyeclivas mediante cie r tos proccdímícn
tos usuales, qu e exponernos en las proposiciones siguientes.
- -- ----_ __._-- -- - _ ..
4 ~_C
c>:Ac:Pc:ícTc:IJc:Lc:
Oc:I"__
. E~ SPACiOS I'RUH~CTIFOS
Definición 1.1.6. Con los datos de la p roposición anterior. decimos que Vp(S)
es el subespacio proyectiuo de P( 1-:: ) engendrado por el subconj u nt o S.
o
Definición 1.1.8. Decim os que el su bespacio proyectiuo VpCUiEl M¡) de la
proposición anterior es el subespacio u nión () suma de la jamília considera-
da ( M ¡ ) i ro I .
Cuan d o I es fin ito. 1 ;:::: 11, ..., r }, la n otación Vp (Ah , ... , M,) sustit uye us ual-
mente a Vp (UiE fM¡ ) .
Por tanto, el teorem a resulta de la relaci ón de inciden cia para los subes-
pacios vectoriales L 1 y L 2 - O
- - - . _ • • _ •• • • _ - -- -- _ _ o
G CAPÍTfILO l. ESPACIOS PROYECTTVOS
) .
centro
- _. _ -- - __
- --_. ._._._..
8 CAPÍTTJLO 1. ESPACIOS PROY]]CTIVOS
--- - - - - - ._ ..........•........__ ._.. _-
ASÍ,p or el resultado anterior, las horno gratIas son las aplicacion es pro-
yectivas in ducidas por los isomorfismos vectoriales,
10 - - - - - - - - - - -
CAPÍTULO 1. FSPACTOS PR0 1'I1CTIVOS
- _. ._ - - _.
centro de la
persp~,t~.~idad
1
I ' I '. \
I \
,/I \\ . . A
i
v /·· t· · · / · · · · ·\:·:~· :· ·
.. .~··· · · · ·r ~ \\
PU1!.!9/ / '···'·_
·· P L j- - \\ - B
fijo
f (P (L ) - P (lV )) = ([/(u)] :u E L- r}
Ah ora,
- -
(g o f ) ([ u J) = g (f ([u ])) = g ([J ( u )l) = [g (! { u ))] = I(g o f )(u ) !r
.tUf- 1(u' )]) =: L( CJ- 1 (Uf ))] = fuI'!. Es d ecir, [¡ - 1( Uf)] :::: 1-1([ u'J) . O
p rimer apartado.
Por otro lado, cambi ando S por S - fa} arriba, ten ernos la igualdad
Vp(S - {a}) == p ev¡(S' - { ved )). Esto hace clara la equivalen cia de las condi-
.
Clo nes
- Algún a de S pertenece a 1lp(S - {a}) (Con d.ición de dep enden -
cí a para S )
- Algún Ua de S" pertenece a VdS" - { va}) (Con dición de dependen -
cia para SI) D
Referencias proyectivas
Definición 1.3.3. Suponga m os din1P(E == rt, d ond e n > 1. Una referencia
T
Lema 1.3.4. Pod ernos asociar una referencia d e P C!:') a cua lq u ier base d e
E. De modo ex plícito, u na base te == {UD, .. ., u n } tiene as ociada la referencia
proyectiua
g> == Il uc 1, ... 1 [ l.l n J; lUo + ... + Un]}
14
- - .. - - - - - - - -
CAPÍTULO 1. E5P. eros PRO YHC71\lOS
ao -- r Uu
' ] J ' ' ' ' a n -- I un! l:,a n + 1 -- r lio'1T . . . + U !n ]
Por tan to, {!P es la referen cia proyec tiva asociada a la base ~' . D
nen la misma referencia aso ciada. Esto significa que existen escalares ;t o,...,
A'n.o il , tales que
1.3. RE10/HRE l GL'i5 YCOORDEJ\T¡\ DAS
_._--
.........._.. - - - - - _. __ _._.
. ..•._...•. .
15
En ton ces, ita ua + ... + ;\'n U n = Arlo + ... + AUn y, com o es base, debe ser éé
"lo = ¡l, ..., í1. n = íl. En consecuencia, u.b = AUn, ..., U~l = it l-l,ú es decir, 2/-3 y {!A '
son proporcion ales.
El recíproco es claro . O
Observación. Los lemas precedentes muestran qu e el concepto proyect í-
VD de referencia corre sp on de al vectoria l de base. Arribas nociones están
asociadas, ve rificándose que la base asociada a un a referencia es única
salvo proporcion alidad. Las bases se ob tienen a p artir de las referencias
siguiendo el proceso de la demostración de 3.5.
Ejemplo (Refere ncia proyectiva canónica). El espacio p (K l1.+I) tiene una
referencia proyectí la canónica [!Po asociada a la base canónica ce de K n+ 1•
Es decir.
.c!j)c = {( ] :0: ... :0), ...,(0 :0: ... :1); (1: 1 : ... : l)}
Coordenadashornogéneas
Definición 1.3.7. Sea P(E) un espacio proyectiuo con u na referencia dada
f!7J. Si a == [u] es un punto d e P { l::) y u t ien e coordenadas (xo, oo., x n ) en una
base asociada a {jO} dec imos que (xo : ... : x,d son las coordenadas homogé-
neas de a en la ref eren cia !Y .
Es claro que es tas coordenadas no son todas nulas, y est án determina-
das de manera única, salvo propo rcionalidad.
cio cualquieraP (E), entonces las coordenadas ele ao,... , an, a n+ l en dicha
referencia so n (1 : O: ... : O), ..., (O : O: ... : 1), (1 : 1 : : 1) , respectívam en te.
(Ya que so n las coordenadas ele vectores llO, , U n , Un + ... + Un, en una
base asociada a ,~, form ada por los propios Un, , unJ
doncle x y x' son las matrices (colum n as) d e las coordenadas d e un vector
en glJ y P/i', Y iVIU?J3; [!,B' ) es la matriz cuyas columnas sucesivas es tán forma-
das por las coordenadas de los ve ctores de la base g~ respecto d e la base
f!IJ' .
Ahora supon gam os que 2lJ y @ ' son bases aso ciadas a referencias pro-
yectivas 2/J y 2j'J' . .De es ta forma, por la definición de las coorden ad as ho-
mog éncas, resulta la expresión
Teorema 1.3.8. Sea n P(E ) y P (E') espacios n -c d im ensiona íes sobre K , con
referencias .O/J y f!7J', respectivamente. Entonces, existe una aplicación pro-
yectiua única l de P (E ) en P (E' ) que transfo rma los puntos a n, .. . , a n , a l1 + 1
de f!J> en los puntos a ~J ..., a:~l' a~l + 1 de [!7J ' . Además. 1 es u na h omografia.
Dem. Existencia:
Sean :~ = {u o, ..., u n } ) [!,B' == {ub, ..., U ~ l } bases asociadas a .00 y [!/J',
Sabern os que existe un isom orfi sm o vectorial f : H -- E' que trans -
fo rm a ~~YJ e n gj'. y, en consecuen cia, f transforma U n+ l = L/o + ... + U n en
! , ,
un+ 1 == U o + ... + u II •
Por tanto, la h orn ografía 1 inducida por f transforma a¡ = [Ut1en a:. =
[ u', ], para. todo i = 0, ..., n + 1.
l
-
Esto p rueb a qu e g =An + 1[ , Por consiguiente g= f . D
Observación (Ma triz d e una aplicación proycc tiva). Como todas las ma-
[rices M (f ;PI3, @' ) son proporcionales entre sí (p uesto que J , ~ y ,@ ' son
únicas salvo proporcionalidad), res ulta coherente designar cualquiera de
esas matrices por .H (j; [YJ, f!jJ' ).
(2)
Dem. Sea a un punto arb itrario, de coorden adas (.-ro: ... : x,J. Sea x la
m atriz transpues ta dc (.lo . _. X I/ ) ' Entonces, el conjunto M ' se expresa en las
formas
M'~{a: f - l (a ) E M) ,
M' = {a: Las coordenadas r:' x verifican la ecuación de Ml ,
M' = {a: e T - 1 x > 01.
AsÍ, la ecuación de la lín ea a nterior debe ser p roporcio nal a la del enun-
ciado, (' t x = O, lo que prueba la igualdad (2). O
i.« EClli\CiO NES DE SUBESPACIOS YAPLlCACIONES 19
Capítulo 2
Definición 2. 1.2. Con los datos del teorema anterior, decimos que X es la
completaci án proyectina del espacio afín X (o el espacio proyectívc asociado
al espacio afín X ). Los PUllWS del h íperp íano proyea ivo Xx = P{X ). com -
plementa rio de X en X. reciben la denominación de puntos del infi nito del
espacio afín X .
- -
D em. En efec to, la condición AIIB significa qu e A e B . Por tamo, basta
sus tituir esta inclu sión por la inclusi ón equ ivalen te /leo :::: P (1 ) e P(B) ::::
B=. O
En Geome tría representamos una recta proyectiva co mo una recta afí n,
omitien do un pun to de la p rimera . El caráct er peculiar de la recta p royec-
tiva real se po ne de manifiesto con el resu ltado que sigue .
Interpretación de la recta proyectiva real como una circunferencia. En
1R12 sea S la circunferencia de cen tro (l, O) Y radio 1. (Es decir, S :::: {( X Q, Xl ) :
(Xu - 1)2 + X~ = 11). Se tie ne la aplicación f : IR/ - S ~ {( D, OH , llamad a pro -
yccción estereográfica, tal que ¡ (x ) es el punto de S alineado con (0,0) y
(1, z ).
(0,0)
Así, f está definida por la exp resión f (x ) :oc: ¡}-;r2(L x)' y es una aplica-
ción hiyectiva. Además, límx~ ±<'X) f(x) :::: (O, O). Por tamo, resulta una biyec-
ci ón n atural F entre la recta proyecLiva p (JR2) ::: lR1u lR1(C y la circunferencia
S tal que p(x) :::: f( x ), si x E lR1 YF (x) ::: (O, O), si x es el punto de ~ .
Proposición 2.2.1. Para. toda aplicación afin] : X -+ X', existe una apli-
cación proyecti ua j de X en X' tal que 1 es ex tensión d e f y el subespacio
imagen de Xoo está contenido en X~.
1
Decirnos que es una completaci án proyectiua de la aplicación afín f.
(Posteriormen te verem os que I tiene una compietaci án proyectiua única)
Dem. Elegimos un pun to Po E X Y definimos una aplicaci ónj de X=
K Po $ X en X' == K f (p o} El1 X', de modo que
A _ _
f (kpo + u) = k.f(po) + f (u ), le E K u E X
,.,
Así, f está bien d elln ida y es una aplicación lineal no nula.
- ,.,
Designarnos por f la aplicación proyectiva inducida por f. Veremos
que f verifica las dos co n dicion es del enunciado.
- Para todo p E X J
Es decir, f es extensión de f .
- Para todo [u] p er teneciente a X(X) ,
f (u ) = f( Opo + u) = Of(po) + /(u ) = j (u ) (2)
donde ! Cl.l) E Xl
- -
Por tanto, si [ul está en el dominio de ! ' enton ces f(l u J) es el punto
rl (u)), p ertenecien te a X~ .
Esto cornple ta la demostración. O
,., - ,.,
Observaciones. (a) Por (1) y (2) , I es extensión de J f . Además, corno X
'"
está engendrado vectorialm en te por X, los valores d e f en los elementos
~
Dem. (a) Suponga 1 0 S que g está inducida por g: X-- x'. Sean Po un
punto elegido en )( ~ P E X un punto arbitrario.
CalDO g{po) = [g( po) ] y g (po ) E X', es g(po) = kg Cpo) p ara algún es-
ca lar k. Cambiando entonces g por kg (que tambi én indu ce g), podemos
su pon er !t(po ) = g (po). En p articular.. g(po) E: X'.
Por otro lado, C01110 el sub esp acio imagen de Xco nl edian le g es P(g(.X)) ,
la h ipótesis sobre es te sub esp acio asegura que l? (¡JoP) E X/o
As], corno
gep)= gcpo + Pop) = gtpo) + g (pop)
con l!(Po) E X ' Y g (pup ) E Xl, se tiene g (p) E X'. Y, en consecuencia, gtp) =
r g(p) I = tg(p), C0111ü se tra taba de probar.
GArX) - GP(X ), .f - .f
que claram en te es inycctiva.
Adem ás. toda homugrafia co rres pondien te a un isomorfismo afín de X
deja in variante el hipcrplano ~. Supongam os a hora, para la pro piedad
recíproca, que una hom ogra fía Iz : X - X deja inva rian te X co _
- -
Co rno h es biyectíva, se cu mple q ue h (Xoo ) = Xo:, y 1l{X - Xoo } = X - Xo.¡ .
Entonces, p or la proposición 2.2. la biyecci ún hlX : X - X es un iso m or-
fismo aíin, y, por la un icidad de la cc m pletaci ón p royecnva. h es la co m -
pletacl ón prnyectiva de dicho isomorfismo.
Esto termina la demostración . O
Observación. La biyecciún del teorema es un iso morfismo de grupos e n-
tre GA(X} y el subgrupo m encion ado de GP{.X). Por tanto, si den otam o s
es te isom orfism o por GA{X ) - G/(X ) y utilizam os la identificació n co rres-
pondiente GA{X ) = G'{XJ, podemos co ns idera r el grupo afín co m o un su b-
gru po del gru po proyectivo.
Según la relación esta blecida por Klein entre geom etrías y grupos de
transform aciones, las nociones y p ropi edades afines y p royectivas son, res-
pectiva m en te, aq uellas q ue se conservan po r las tra nsfo rm acion es de los
gru pos afín y proyecti vo. Por la observació n última, las nociones afines
quedan determi nadas por un sub grupo pa rt icula r del grup o proyectivo.
lo que co nvierte la geometría afín en una subgeome tríu de la proyec tiva.
También son subgeometrías de la geome tría pruyectiva la s otras geo-
metrías clásicas, co mo la euclídea y la hiperbólica (n o euclídea) de Lo ba -
chevski y Bolyai.
28 CAPÍTCJLO 2. RELACI ÓJ\I ...IúVTRE
.._
EL ESP!\CI Q M 'Í1\l y EL PR01ECTlVO
- _._ ._-_ ._ - - -
Teorema 2.2.5. Sea HT (X) el subgrupo del grupo afín de X [armado por
las homotecias y las traslaciones. Entonces, restringien do la biyeccion del
teorema anterior; se obtiene una biyeccion en tre I-IT ( X ) y el subgrupo de las
homografias de X que dejan in varian te cada pun to de X oo .
- - - - - - - - - - - - - --... _._._
....
2.3. REL¡\C/Ól t: TRE LAS RflPRESEIVTACIOIVES 'A LÍTl CAS 29
Eje mplo. Sea 0 e la refe rencia cartesian a canón ica de K", En ton ces, 0 (: es
la referencia canónica ele P (K n+ 1).
La base que res ulta es la base canónica de K J . Por tanto, tic es la refe-
rencia canónica de P (K 3 ) . O
-
en la referencia rE .
Proposición 2.. 3.4. Sea f :K ~ X" una aplicación afin definida por las
ecuaciones
(1) { x~ = tIfO + ailXl + ... + a i n Xn
i =l, ... ,l77.
amO amI a m ll
Teorem a de Pappus.. Sean r y r' dos rectas diferentes ele un plan o proyec-
tivo P y a, b, e E r, a' , b' , e' E r' seis pun tos distin tos. Enton ces, los puntos
a ", b" c*, que determina n las in terseccion es Vp t b, e' ) n p (b' , e), Vp Ca, e') n
7
t'í) t a', e), Vp(a , b ' ) n 11p (a !, b), respectiva mente, están alineados.
a'
_._-
...................... - - - - -_ .•.. _-_ .
2.4. ESPACIO S C0 1\1 l) , lA COlvIPLflTACIÓN PREFl1AlJ. 33
e a
Dem. Sean a' J b" . c" los 11 untos de las intersecciones r n 1'1, S n s' , t n t',
resp ectivam en te,
El subesp acio Vp (h * e") es un a recta de P, el! '0 complem ento es un
1
e'
e c'
b b'
En el con texto de esta sección, pod ernos adap tar el enunciado de 2.5,
corno SIgue.
Definición 2.4.3. Cuando una nomografia Ii f:. i el deja jijos lodos los pun-
tos de un hiperpla no pro rectiuo M, decirnos que h es una homologia de base
A1. Una homologia especial () elación es aquella cuya base incluye a lodos
los puntos jijos.
2.4. ESPACIOS ca u fA COJvIPLETAC¡(Jrv PHEFljAD!\ 35
- _ ._.._._ - - - - - - - - - - - _._ ._ .
Las hennolo gías son las homografías rn ás simp les de un espacio, si ex-
ceptuarnos la ap licación identidad. Por eso es rele 'an te el resu lt ado que
sIgue.
Dem. Por las hip ó tesis, h está inducida por un isomorfismo vec torial g
tal que giL = i d il: Y g (u ) = Ul' donde a = [u], al = [u 11.
Distinguiremos dos cas os :
o l./.l E U + L. En tonces, E = K u 6J I. fB l.', h.' = K u , ffi L ff) L/.
Sea gl : E E el isom orfism o vectorial tal que
---+
Entonces, la ho rno graña h 1 que induce g l coincide con ti sobre Vp (a, lvI) ,
y es una h0111010gía cu a base es el hlperplano s uma d e P (L), P (L") Yel
p un to [u + u 1] •
Esto cornpleta la p r ueba del lema. D
Por último, la proposición siguiente es útil para relacionar analítica-
mente los espacios del teorema 4.1.
- - - - - - _ ._.._.._._._--
2.4. ESPA(:lOS CON UNA COM PLE1i\ ( ;U};\i PREFIJADA _~ 37
e
P/¡m o X Plano P
........i r
, .
a a b
{u~ , ..., u~L donde éé resulta de ampliar cualquier base {UI, ..., ud del subes-
pacio L.
Claramente, basta demostrar que el conjunto lin calrnente independien-
te {llz*+l ' .. " U n*1r es t1asc d e [ "0
En efecto, to do u" E B * se expresa en la forma u " == Xl ll~ + ... + X n u ~,
donde XI == u" (ud , ..., X n == U * (u H ) .
- - .. _-_ ._._-_.._.__ -
..
3.1. DUALI DAD PROYECT1 VA 41
........ _._ _ -- - - - --_ _ - -- _ _.._._ .
Allora, como L.o = {Ul, ... , U 1}o , 1os' e1ernentos u * E: 1-'o ' ca racten.za-
estan
os po r las condiciones
p acio vectorial . su dual. Ent on ces, los suhesp acios de P (E) y P( E * ) se de-
terrn in an m utuamente, mediante las biyeccion es !1 y /1- 1, definidas por
(P(L)) = P CL° ), - 1 (P (N )) = P(O [\,J ) . (Esto es consecuencia in m ediata de
la propiedad D3)
En esta sltuaci ón, decimos que P( E* ) es el espacio d ual de P(E) , y lla-
marno s d ualidad canónica a cu alquiera de las biyeccion cs D. Ó D. - 1 .
tra n sform a 1] E P (E ?) en i1- 1 ({T] }). Por tanto, podern os consi de rar que ,:JI?
es un espacio proyectivo. Ten em os así un espacio de pun tos P (fl) y un es-
pacio de hiperplanos P (E* ) ó ¿lf. Corno adem ás pod ernos p asar de uno a
otro por medio d e ! , resulta que las noci.ones de punto e hi p erplano son
formalmente equiparables en geometría proyectiva,
~(Vp(U ¡EJ A1¡ )) => L1 ( - 1(1\11) ) = u. Es decir, ,ó,(\lp (U iETi\l d) ::J ni EJ ~(Mi).
Con esto queda probada la primera igualdad. La o tra tien e una dernos-
tración sirnilar. D
Conceptos duales y propiedades duales. Llamamos conceptos duales a
los que se correspon den m edian te la dualidad canónica, Por ejemplo, son
duales los conceptos d e punto e hípcrplano y las no ciones de variedad
unión y variedad in tersección .
Supongarnos ahora que P es una. propiedad p royec ti a} qu e puede ser
expresada en t érminos de dimensiones, inclusiones, in terseccion es y unio-
nes de subespacios.
Entonces, P tiene una propiedad dual P *, de form a que P y P " se co-
rresponden mediante . El enunciado de P " se obtiene sustituyendo cada
uno de los conceptos que intervi e n e n en el enunciado d e P por el concep -
to dual correspondiente· es decir, cambiando el sentido de las relaciones
de inclusión, puntos por hip erplan os , uniones por intersecciones, ....
3. J. DUALiDAD PRO}:'ECTIVA 43
- - - - - - ---_.._._._•..........
44 CAPÍTU LO 3. D U/ \/JIJA lJ y RAZÓN DOBLE
- - _._._._-- _.__
._ -- - - - - - - _ ._._._
[a, iJ, c, p l = la' ) / ,c' , h (p)] y [a,b, c, p ] = [c/ , b' , C' ) 71(P) ]
para todo p ~ al b, c.
1\sí vemos que h (p) = /1 1 (p ), para todo p E: P, con ]0 que h es la horno-
grafía h 1 . O
Dem. Por la hipó esis, los puntos a, b, e, el están rep resentados por vec-
e,
"- "-
,
Como a f:- b, los vectores d y b son line alment e independientes y, por
tan to, forman u na base del espacio H. Así,
" ,
c =A il+ IJlJ, d =vi1 +pb
y análogam ente,
det(á, ,' ) ~ ¡Jdct( á , b), dcnf d i ~ vdct (b , á i, dct (b, el ~ Ádet (b, á )
Por tan to , ,
de t(á, d ) det(b ,d ) P v
- ~ '-
(1 )
detíd , él det(b, C) !' . Á
Por otro lado, {A a:, p b } es un a base asociada a la referencia la, b, e} de P,
yIa exp resión {Í::: -X Aa+ : 1l1i m uestra q ue las co ord enad as de d en la , b; ej
son (~' : ~ ). Luego, p a r la de fin ici ón d e la razón doble,
p v
[a , b, c,d ] = - : - (2)
¡J A
Las igualdad es (1) Y(2 ) demu estran la proposición. D
Dem. (a) Asigna mos a a, b, e, d sus coo rden adas ca rtesia nas a l, b ¡,el ,
(h , respe ctivamen te, en un a referencia g de X. En tonces, las coordenadas
de a ,b,c, d en e son (l: a tl ,O : hUI: el ), O : d ¡) .
Por tanto, p or 2.4,
d ¡ ~ al ad bd [a ,e,dl
[a, b, c, d l = ~--"'. - ' -
Cl - a l a c ' be [b, e, dl
Ib) Como antes, asig nam os a a, e, d sus coo rdena das cartesianas a l , ci .
d v, respectivamente, en un a referencia S. Las coorde nadas de a , b=, e, d
en g' son entonces (l : all , (O: l ). (l : Cl lo (1: d l ) .
Por tan to, por 2.4,
d l -al ad
[a, b= ,c. d] ::: ::: - ::: [a, e, d]
el ~ al ae
Dem. Los valo res de [b} a, e, dI y ra , b,d , e] result an de la sim ple obser-
vación de la fó rm ula dc 2.4 .
Por otro lado, podemos considerar la referencia {a , b; el, en la que a, !J, e,
d tienen coordenadas (1 : O), (O: 1L (1 : 1), (l : k), rcsp ecti am ente. Aplican-
do 2.4 con es tas coordenadas se obtienen los valores deseados.
Por ejemplo,
1 1 O 1
1 k 1 k
IC, b, a el] = = l-k
~I
1 1 O
1 0 1
1
1 1 I O 1
1d b, e, a ] =
k 01 1 O k
i - k- l
1 1 O 1
k 1 J. 1 I
O
Cuaternas armónicas
Definición 3.2.7. Sean a, /J, e, d puntos dis tintos de una recta proyectiua.
Decirnos que a y b están separados armánicamente por e JI d, o que a, [J, e, el
forman una cuaterna armon ica, cuando [a, b, e, d] == - l .
Ejemplo. Dos puntos distin tos a y b de una recta afín D es t án sep arados
armónicamente p or el pu nto m edio de los ll1i S1110S y el punto del infinito
deD o
En efecto, si designarnos los do s últimos puntos por C y dco, entonces,
por la proposición 2.5, [ e, ~ , a, bl = le, a, b] = - 1.
Teorema 3.2.8. Las hom ograjlas entre rectas p royectínas reales son las apli-
caciones biyectioas que co nservan las cun ternas armónicas.
La condici ón última indica que p(lo ... tu) = 1 (co · · · en) + jJ(eo·· · e n), co-
mo se trataba d e pro bar. O
Corolario 3.3.4. Sea ,tJj: como en el lema preceden te. Sean A, E, R, S hiper-
pla nos d istintos de ,tJj: cuyas ecuaciones se obt ienen de la ecuación general
asignando el (~o : ~ d los va lores (ao: al)J (bo : bJJ, (ro : 1"1 ), (so : sr).
En tonces,
ao So ha So
al SI bl SI
[A,B , R, 51=
Uo ro !Jo ro
al r1 b1 1'1
peNo).
Las bases de E y E * serán {uo, ..., un} y su dual {u ; u~}, donde {u.o, u d
1 ••• ,
Adem ás, todo hiperplano ¡vI de .?f: tiene una ecuación del tipo (oxo +
' ] Xl = 0, y las coorden adas del punto 1) n lV! son (~l : - ~o) .
Capítulo 3
{u~ , ..., u~L donde éé resulta de ampliar cualquier base {UI, ..., ud del subes-
pacio L.
Claramente, basta demostrar que el conjunto lin calrnente independien-
te {llz*+l ' .. " U n*1r es t1asc d e [ "0
En efecto, to do u" E B * se expresa en la forma u " == Xl ll~ + ... + X n u ~,
donde XI == u" (ud , ..., X n == U * (u H ) .
- - .. _-_ ._._-_.._.__ -
..
3.1. DUALI DAD PROYECT1 VA 41
........ _._ _ -- - - - --_ _ - -- _ _.._._ .
Allora, como L.o = {Ul, ... , U 1}o , 1os' e1ernentos u * E: 1-'o ' ca racten.za-
estan
os po r las condiciones
p acio vectorial . su dual. Ent on ces, los suhesp acios de P (E) y P( E * ) se de-
terrn in an m utuamente, mediante las biyeccion es !1 y /1- 1, definidas por
(P(L)) = P CL° ), - 1 (P (N )) = P(O [\,J ) . (Esto es consecuencia in m ediata de
la propiedad D3)
En esta sltuaci ón, decimos que P( E* ) es el espacio d ual de P(E) , y lla-
marno s d ualidad canónica a cu alquiera de las biyeccion cs D. Ó D. - 1 .
tra n sform a 1] E P (E ?) en i1- 1 ({T] }). Por tanto, podern os consi de rar que ,:JI?
es un espacio proyectivo. Ten em os así un espacio de pun tos P (fl) y un es-
pacio de hiperplanos P (E* ) ó ¿lf. Corno adem ás pod ernos p asar de uno a
otro por medio d e ! , resulta que las noci.ones de punto e hi p erplano son
formalmente equiparables en geometría proyectiva,
~(Vp(U ¡EJ A1¡ )) => L1 ( - 1(1\11) ) = u. Es decir, ,ó,(\lp (U iETi\l d) ::J ni EJ ~(Mi).
Con esto queda probada la primera igualdad. La o tra tien e una dernos-
tración sirnilar. D
Conceptos duales y propiedades duales. Llamamos conceptos duales a
los que se correspon den m edian te la dualidad canónica, Por ejemplo, son
duales los conceptos d e punto e hípcrplano y las no ciones de variedad
unión y variedad in tersección .
Supongarnos ahora que P es una. propiedad p royec ti a} qu e puede ser
expresada en t érminos de dimensiones, inclusiones, in terseccion es y unio-
nes de subespacios.
Entonces, P tiene una propiedad dual P *, de form a que P y P " se co-
rresponden mediante . El enunciado de P " se obtiene sustituyendo cada
uno de los conceptos que intervi e n e n en el enunciado d e P por el concep -
to dual correspondiente· es decir, cambiando el sentido de las relaciones
de inclusión, puntos por hip erplan os , uniones por intersecciones, ....
3. J. DUALiDAD PRO}:'ECTIVA 43
- - - - - - ---_.._._._•..........
44 CAPÍTU LO 3. D U/ \/JIJA lJ y RAZÓN DOBLE
- - _._._._-- _.__
._ -- - - - - - - _ ._._._
[a, iJ, c, p l = la' ) / ,c' , h (p)] y [a,b, c, p ] = [c/ , b' , C' ) 71(P) ]
para todo p ~ al b, c.
1\sí vemos que h (p) = /1 1 (p ), para todo p E: P, con ]0 que h es la horno-
grafía h 1 . O
Dem. Por la hipó esis, los puntos a, b, e, el están rep resentados por vec-
e,
"- "-
,
Como a f:- b, los vectores d y b son line alment e independientes y, por
tan to, forman u na base del espacio H. Así,
" ,
c =A il+ IJlJ, d =vi1 +pb
y análogam ente,
Por tan to , ,
de t(á, d ) det(b ,d ) P v
- ~ '-
(1 )
detíd , él detrb, C) !' . Á
Por otro lado. {A a:, p b } es un a base asociada a la referencia la, b, e} de P,
yIa exp resión {Í::: -X Aa+ : 1l1i m uestra q ue las co ord enad as de d en la , b; ej
son (~' : ~ ). Luego, p a r la de fin ici ón d e la razón doble,
p v
[a , b, c,d ] = - : - (2)
¡J A
Las igualdad es (1) Y(2 ) demu estran la proposición. D
Dem. (a) Asigna mos a a, b, e, d sus coo rden adas ca rtesia nas a l, b ¡,el ,
(h , respe ctivamen te, en un a referencia g de X. En tonces, las coordenadas
de a ,b,c, d en e son (l: a tl ,O : hUI: el ), O : d ¡) .
Por tanto, p or 2.4,
d ¡ ~ al ad bd [a ,e,dl
[a, b, c, d l = ~--"'. - ' -
Cl - a l a c ' be [b, e, dl
Ib) Como antes, asig nam os a a, e, d sus coo rdena das cartesianas a l , C¡ ,
d v, respectivamente, en un a referencia S. Las coorde nadas de a , b=, e, d
en g' son entonces (l : all , (O: l ). (l: Cl lo (1: d l ) .
Por tan to, por 2.4,
d l -al ad
[a, b= ,c. d] ::: ::: - ::: [a, e, d]
el ~ al ae
(Una dem ostraci ón m ás con cep tual de este apartado resul ta de las de-
fi niciones, teni en do e n cu ent a la proposici ón 2.3.2) O
Dem. Los valo res de [b} a, e, dI y ra , b,d , e] result an de la sim ple obser-
vación de la fó rm ula dc 2.4 .
Por otro lado, podemos considerar la referencia {a , b; el, en la que a, !J, e,
d tienen coordenadas (1 : O), (O: 1L (1 : 1), (l : k), rcsp ecti am ente. Aplican-
do 2.4 con es tas coordenadas se obtienen los valores deseados.
Por ejemplo,
1 1 O 1
1 k 1 k
IC, b, a el] = = l-k
~I
1 1 O
1 0 1
1
1 1 I O 1
1d b, e, a ] =
k 01 1 O k
i - k- l
1 1 O 1
k 1 J. 1 I
O
Cuaternas armónicas
Definición 3.2.7. Sean a, /J, e, d puntos dis tintos de una recta proyectiua.
Decirnos que a y b están separados armánicamente por e JI d, o que a, [J, e, el
forman una cuaterna armon ica, cuando [a, b, e, d] == - l .
Ejemplo. Dos puntos distin tos a y b de una recta afín D es t án sep arados
armónicamente p or el pu nto m edio de los ll1i S1110S y el punto del infinito
deD o
En efecto, si designarnos los do s últimos puntos por C y dco, entonces,
por la proposición 2.5, [ e, ~ , a, bl = le, a, b] = - 1.
Teorema 3.2.8. Las hom ograjlas entre rectas p royectínas reales son las apli-
caciones biyectioas que co nservan las cun ternas armónicas.
La condici ón última indica que p(lo ... tu) = 1 (co · · · en) + jJ(eo·· · e n), co-
mo se trataba d e pro bar. O
Corolario 3.3.4. Sea ,tJj: como en el lema preceden te. Sean A, E, R, S hiper-
pla nos d istintos de ,tJj: cuyas ecuaciones se obt ienen de la ecuación general
asignando el (~o : ~ d los va lores (ao: al)J (bo : bJJ, (ro : 1"1 ), (so : sr).
En tonces,
ao So ha So
al SI bl SI
[A,B , R, 51=
Uo ro !Jo ro
al r1 b1 1'1
peNo).
Las bases de E y E * serán {uo, ..., un} y su dual {u ; u~}, donde {u.o, u d
1 ••• ,
Adem ás, todo hiperplano ¡vI de .?f: tiene una ecuación del tipo (oxo +
' ] Xl = 0, y las coorden adas del punto 1) n lV! son (~l : - ~o) .
Capít 4
En las dos prim eras seccion es de este capitulo analizaremos con detalle
los difere ntes tip os de h om ograñas de la recta y el pl ano proyecLivo sobre
el cuerpo real.
En gen eral, corno una hornografía está determinada por una matriz,
resulta apropiado considerar que dos homografías de un espacio son del
mismo tipo cuan do exis ten referencias en las que .usmatrices son igua-
les. (Es decir, cuan do tienen matrices scrnejan tes en una misma refe ren-
cia). Por tan to, utilizando las matrices canón icas de lardan, los distintos
tip os de homograñas qu edan caracte rizados alge braicam en te por las co-
rrespon dien tes m atrices canónicas. Adem ás, eremos que, para la recta
y el plano proyectivos, quedan también caracterizados geométricamen-
te por las configuracion es de sus su bespacios invariantes, esto es, por las
coleccion es de dich os su besp acios y las relacion es de incidencia entre los
m ism os.
(1)
Homografías in volutivas
Proposición 4.1.4. Sea h una homografia d e II na recta proyeciíva P, y su -
pongam os que existen dos puntos distintos a y b ta les que 11 (a) ;; b y h eh) ;;
a. (Esto se expres a diciendo que a y b están en involución ). Entonces, h es
ínoo íutíva: es decir, h = u:',
56 Ci\píTUl.0 4. CO UUES'PONlJ E1VCIA S P/WYELTIVAS PARTICULA RES
a -~ )
J( a ,~) = ( ~ a
Puntos fi jos y rectas inva riantes. Record amos de la sección 1.1 que una
ho mografia de ma triz A deja fi jo un punto a sí y sólo si. para algún valor
propi o A de la matriz A , sus coordenadas (xn : X I : X2) so n solución no nu la
del siste ma
(1\ - A l )(x{} XI x :.!)' = O ( 1)
(2 )
/ /
/ /
/ /
/ /
/
- - - ---
/
/
/
/
/
0-/ - - - - -
Figura 4.1: Puntos fijos (en negro) y rectas invaria n tes (trazo co n tinuo)
58 CAPÍTfJLO 4. COHHESPOtv DE r\lCL1S PR01'ECTIVAS PART1CU LARES
Algunas aclaraciones:
Los vértices de los triángulos dibujados son los puntos 170, 171 , P2 de la
referencia consid erad a.
Tres puntos fijos alineados indican una recta de p un tos fij os.
Tres rectas invari an tes concurren les indican un haz de rec tas in varian -
les.
Se ha excluido la h omografía identidad.
Para cualquier valor p ropio L de la matriz de h se obtiene una variedad
de puntos fijos , d efini da por el sistema (1) , Yuna colección de hiperplanos
(rectas) invariantes, determ inada por el sistema (2). Esta úl tima se puede
considerar corno un a varied ad de l esp acio de hiperplanos y en tonces las
dim ension es de arribas variedades son iguales.
Por tanto, como se observa en la figura 4.1 , un punto fijo es tá siempre
asociado a una recta in variante y una recta de puntos fi jos a un haz de
rectas invariantes.
Homologías del P ano. Entre los tipos de horno grafías descritos existen
dos clases de homologías qu e están representadas p or las matrices de Ior-
dan
Recordarnos que una hom ología del plano es una h om ogra íía h :1- id ,
que tiene una recta de puntos Jijas (llamada bas e o eje de la homología).
Por dualidad , toda h o rno lo gía tiene también un h az de rectas invariantes,
a cuya base se llama vértice de la hornología. El v ér tice p ued e es tar o no en
la base, y a continuación con sideram os ambas posibilidades.
• Homologias cuyo vértice no pertenece a la hase. Son aquellas con ma-
trices canónicas
Si h tiene esta m atriz en una rcfc rencia [J} > = {Po, P I, P2' P3}, en to n ces la
base .l. el vértice son la recta \lp( Pb P2) Yel punto po. Por el teorem a 2.4.2,
4.2. HOt..,,' OGRAFfAs V E::::l. Pl.A1VO 59
~~
Si h tiene esta matriz e n u na refere ncia {!jlJ = {Po ,PI ,pz; p:ll , entonces la
hase y el vé rtice son la recta V,,( PI> p;,d y el punto P I. Por el teorema 2.4.2,
la aplicación f : X - X . ind ucida por 1I e n el co m plem ento de la hase, es
una traslación .
El vértice PI es el punto del infinito de la fa milia de rectas paralelas de
X q ue tien en la dirección de la tra slació n.
- Propiedad : Si Il(p) = pi, p ::f:- p' Y h(p') = p", e nt onces
, n 1
11', 1' ,1' ,p Jl =2
com o se comprueba fácilmente .
Observación . Si se co nocen la bas e y el vértice de una homol ogía y la ima -
gen de un punto co ncreto, e nto nces la im agen de un pun to arbitrario que -
da determ inada como se indica en las fi guras siguien tes.
En efecto. dos pro pied ades (d uales) justifica n estas con struccio nes:
. Una recta qu e co ntien e al vér tice y a un pu nt o p con tien e tambié n a
Iz(p ), ya q ue dicha recta es invariante.
- Un pun to comen ido en la base y en una recta r también está come-
nido e n ll (r ) , ya que dich o pun to es invariante.
60 G\ P!TUW4 . COII RESPONIJENCIAS PROYECTlVAS PARTICUlARES
tmict o. h{a) , J
h(aJ
Definiciones y ejemplos
Definició n 4.3.1 . Supongamos dtrm- p rE) == dim KP(H' ) y sean ¿ji y ,,/,' los
conjuntos fo rmados por fas var iedades proyect íuas de PíE ) y P(E' ), respec-
tivam ente.
Llamamos col i neacián de P (F. ) en P(E' ) a Joda aplicación biyecíiua (1) :
y - o Y ' que com erva las relaciones de inclusión entre variedad es. - Es de-
cit; si M¡,lv12 E Y. M, e M-¿ . entonces cfl (MJl e 4>(.\12) '
Uamamos correlación de P(H) en PíE' ) el roda ap licación biyectiua 'l' :
.9' - .9" que invierte [¡IS relaciones de ínclusi án enrre va r i eda d es. - Es decir,
si M I , .\12 E Y. A/ 1 e ;\12. enro nces If' (M¡} => 'Jf(M 2)'
Dem . Es inmedia to que IJ.! y \}II invierten las relacion es de inclusión en-
tre variedades. Además, 'P' o 'P transforma P(f.) en P (C' L )II ) = P (L ); es deci r,
IplO IJ.! = id . Análogamente, Il' o 11" = id, con lo que qued a demostrado. O
4.3. COLI NEAC /O. ES YCORRELACI 01\f]]5 63
Dem. COIll0 la proposición análoga para D.. (Tam b ién se puede deducir
de la proposición 3.5) D
a) Definición d e h.
La form a 1/f: IJ x E - K d e term in a u na apl icación
(L~ - 1 o <1) h)(P (L)) = /1-1(h( P( L)) ) = ~-1 (P(f (L ))) = P (Of( L)) .
__.._._..._._--
_ .__... - - - - - - --
64 CAPÍTULO 4. CORRHSP01VDENCT/lS PROYECTIVAS PARI IC ULJ\ HES
COTI10
!! L ={ u E: E :1jJ (u, u) == O, para to do LJ E: L}
oJ eL) == 1u E E : a( u ) == 0, para todo a E f (L)}
cam biando la condición a E f (L) por la condición equivalen te a = f( v), LJ E
L, vernos que # L == of (L). Es to prueba el apartado b).
e) Unicidad de h .
Corno (Ph (J\!J) == h (11), tenernos que h está d e terminad a por eDlJ. Po r
tanto, la homografí a es única , ya que <D h ==!1 o Yp. O
Corolario 4.3.6. Dosform as bilineales regulares determinan la mismaco-
rrelacion si, y sólo si, son proporcionales.
D em. Supongamos que \]1 ,\11.' son las correlaci.ones determinadas por
las formas 'l/f ,VI'.
Corno en la demostraci ón de la proposición , \JI == [1 - 1 o <P h , ':P I == ~ -1 o
cD iv. d onde 17.., 17' están in du cid as por los isomorfism os I t ' d efinidos por
. ,
ur, ~I .
Por la proposición , si \:P == \f't , entonces h == 11'. Así f JI son propor-
cionales, y 10 mism o s uc ede para 1fJ y 1/1'.
y rec íprocamente. []
Observación. La relación dÍIn "L ::::: dim E- dirn L (n ecesaria para la validez
de 3.2 y 3.3) se sigue cla ramen te de la igualdad # L = ° f (L), establecida en
la prueba de 3.5.
Observación. Corno en la demostraci ón de 3.5 } to d a form a bilineal (no
necesariamente regular) 1/1 : e x E - K detenn.ina una apli cación lineal
f: H -- E * tal que ! ( v)( u ) == 1jf(u v ). Se comprueba fá cilm en te que, si f!l1 y
I J
(Recordarnos que 1(1fJ; ,@ ) == ((1j!(Ui, Uj) )) , d onde Uo ..., Un son los ele-
mentes de 9fJ )
Además, de la igualdad an terior, resul ta de inmediato q ue
lVf (1/1;[~l ) == lV[ (~1 ; 213 ) t A:f ClJ!; 3~) j\ll (Plh ; PA )
Por últim o, estud iaremos las exp resiones analíticas de las correlacio nes
considerad as en esta secci ón. Primero veremos có mo actúan estas corre-
laciones so bre los puntos), después indicaremos cóm o actúan sobre los
hiperp la nos.
Proposición 4.3.7. Sea \1' la correlación asociada a una forma bílinea! re-
gularw : /;' x E - > K . En J'{H ) consideram os la referencia asociada a tina base
PA . Si \]1 transforma el punta de coordenadas (za : ... : 4 11) en el hipe rpla no de
ecuación (~xo + + (~ XIl = O. entonces
o ••
Como esta ecuación debe ser propo rcio nal a la del enunciado, x' E.' = O,
se tiene la expresión desead a. O
Cap"
Cuádríc-... . . proyectivas
- - - - - - - -- _.....__._.
5. 1. CUADRll.l\S PROH:'C.T
. l\J\S. VA IlIEDADES TANGE NTES 69
(/ M (1'; ~) x = O
1
K( u) = (/) (u, u) y (P( u, lJ) = - (K( u + v) - K (u ) - K ( v ))
2
.......... _--_ _ - - - - - - -- -- - - _ _ _ _.
5.2. POLARIDAD SOC1AD¡\ ¡\ UNA CUÁDRICA 71
Dem. Lo prirnero es consecuencia de las exp resi ones <P (P(L)) = p (' L ) Y
ep-l (P (L)) = P (L #), p uesto que las Iormas que intervienen son sim étricas.
Así, A'1 , e éP (¡\t[2 ) implica <P(J\1d ~ (T)((1)- l (1\12)) lo qu e pru eb a la propie-
dad de simctria deseada . D
A continuación VerelTI OS algunas propiedades im portan tes de las cuá-
dricas en las que in ervien e la polaridad.
=
Dem. En efecto, por 1.7, P(L ) e e si y sólo si (PL o. Y, por otro lado, las
condiciones c/JL = OJ L e L i! y P (L) e cI)(P(L)) son equivalen tes. O
Dem. En efecto, si a E R n cD (R) , e nton ces a E R e <p (a) . Así, por la pro-
posición an terior, a E e ~ a: E R e Ta . Esto pru eba q ue R es tangente a la
cu ádrica en el pun to a . La demostraci ón del recíp roco es similar, D
Aho ra supondrem os qu e no existe ningún punto en R n cI) (H) ; es decir,
que los subespacios R y <I> (R ) son sup lem en tarios.
Proposición 5.2.3. Sean C, rep] una cuádrica regu lar en un espacio P(l3') y
R un subespacio proyectiuo distinto de P(E). Supongamos que R Y <I)(R) son
suplementarios JI e n et>(R) es no vacío. Entonces, para todo a E en cD(R) el J
/ ..._-..............
, -............
./ -............
<, / ~
// I ' <,•• ......
~'--"""
4
-1,*( U +
tp lJJ II I + u' ) = '/-..( U,
((.1 U ') , p ara to d o LiT ú
I E: L 1 u, V I E 11\T
\J'
(xo x, ) ( ab 1J) ( ~ )= O
e XI
Cuádricas tangenciales
Toda cuádrlca regular C, [<PI de un esp acio P (E ) tiene as ociada una cu á-
drica regu lar C* lct>* ] de P (E * ), de forma que los hiperplan os tangentes a
1
Proposición 5.2.7. Sean e, [cfJ] JI C *, [(,9* 1 una cuadrica reg u lar en un es-
pa cio P (E ) y la cuádrica tangen cia l asociada. Designa /nos por el) y cf> * las
pola ridades respectiuas. Entonces, tJ. o <P = <1) * o . Es decir; si el) transfo rm a
M 1 en 1V!2, entonces (J) * transfo rm a D-.(j\!ld en D. (1 12) '
76 CA PiTULO 5. CUÁDRICI\S PROYECTTVA.S
Observación. Puesto que cp ~ coin cide con su inversa , tenem os las expre -
sion es ep == /1- 1 0 (1) J' (1)* == D.. o <PI l . Esto m uestra q ue u n a cuádrica -y la cuá-
dri ca tan gencial asociada están representadas en referencias du ales por
matrices inversas.
donde r es el rango de c.p . (Los elementos ílO , íl r - l son los únicos no nu-
o •• ,
los)
Por tanto, la ec uación de la cuádrica en la referencia asociad a a 2l) es
--,------ - - - - - -- - -
5.3. ECUACIONES CA ÓNJCAS y eL!\.')! FICACI Ó1\ 1PROYECTIVA.
- _.. _-_..__._ . _ -_ .
77
Clasificación proyectiva
Definición 5.3.1 (Tran sform ada de una cuádri ca por un a homografía). Sea
e, [ep i una cuádrica en P (E ) y 17 una homografia de P (E).. inducida por un
isom orfismo h. Claramente, se tiene una aplicación (// : /:' x F -~ K tal que
ep' (h( u), h( u )) == </J (a
yepl es unaforma b ilineal simétrica no nula. Enton-
[J ) I
ces} ((p' ] es una cuádrica en P(E), cuya imagen es h,(C), como se comprueba
de inmediato.
Decirnos que esta cu ádrica es la transjormada de C, I(Pl ln ed ian te la ha-
mografia h.
Proposición 5.3.2. Utilizando una referencia en P ( E ) , sean C~, [(/JI la cuá-
dri ca de ecuación x ' Ax == OY e', [ep' l su transfor mada por la homografia h,
En tonces, e', [epI] est á defin ida por la ecuación x ' 11/ x = O, donde A' == Qt .A.Q
Y Q representa ii- J •
Dem. En efecto como en la definición, podernos suponer
Por tanto, p</J está definida por la matriz A' == Q t AQ, lo que demuestra
la proposición. O
Definición 5.3.3. Decimos que una cu ádrica e lep] es (p royeci i uam en te)
equivalente a otra el, [(p/J en un espacio P (E) cuando existe una homografia
iz, del espacio en si mismo que transfo rm a e, [(,6J en e l, [(pI ].
Es decir, e, [(,bl es equivalente a e', rep /l en P (E ) cuando se tiene un iso-
m orfism o vectorial h de E y u n escalar p ta les q ue qJ( u, v) == P(P' (h ( u), h( v )),
para todo u, v E: E.
78 CAPÍTULO 5. CUÁDRICAS PR OYEC·j'J \·~4.S
Dem. En la clase [eP], las form as P(P con P > O ti enen ra ngo r y sign a tura
p. Las restantes, tienen rango r y signatura r - p. y análogam ent.e para la
clase [(p"I. Recordam os ah ora que dos formas bilinealcs sim étricas reales
son equivalentes si y sólo si tienen el mismo rango y la misma signatura .
Ten ien do es to en cuen ta, el resultado es inmediato . D
Definición y observación. Si 1fJ : E x 1:' _... ~ es una for ma bi lin ea l simétrica
de rango r y signatura ¡J, llam am os signatura proycct íva de 1/1 al núrnero
s = !p -(r -p )l.
Utilizando este concepto, la con clusión del teorema se puede enunciar
~
aSI:
e, I ~P j
es equivalente a e l, [(pI] si y sólo si (p y <p' tienen el mismo rango JI
la misma signatura proyectiua.
-- J') , .J\.' -3
- '• Cóni ca vacía
"1' =3 , s= 1: Cóni ca regular n o uacia
? ?
r = 2, s = 2 : o+ xl2 =_ o..
X Pu n to d oble
-2
r ==2, s = 0 : X -.t-¡ - O.
o2 . Par de rect as
r =1,s =l: X
o =0. Re c ta doble
.., Ay2L = O. .
2
1" = '1) e-
'" , .c.l
= ...':.)> .. X o + -"']
\2 _J_
Pun to d oble
r=3,5=1:
?
- +
X0
?
- -x~1 - ·2 x2 = O. . Cono
r =2, s = 2 : x6 + x f =o. Re c t a do b le
o- Xi =o.
? ')
r = 2, 5 = O: X Par d e pl a nos
r = 1, s = 1 : x6 = o. Pl a no d oble
(1)
donde (xo, ..., x n ) (Yo, ..·
I JI/l) son las coordenadas de u , v en la base ,~ .
De modo sim ilar una form a biafín sobre un espacio afín X es una apli-
cación (p : X x X - K , defi n ida por una expresión
(2)
dond e {Xl , ... , xnL (Yl' ..., J'Jl) son las coordenadas de los pu ntos P, q en una
referencia cartesian a g y A. = ((aij )) O:;i ,jS ll es un a matriz de escalares. Po-
dernos denotar il p or (q;; g) .
La forma biafín es sim étrica cu an do lvf(q;; 8) es u na matriz sim étrica ,
(Las definiciones ~ justifica cion es oportun as figuran en el Apéndice 13)
Si q; es un a form a blafín sim étrica y p es igual a q, el segundo miembro
de (2) es el poli nomio simétrico
.L aijx¡ Xj +2 .L aO j Xj + «oo
l si ,j ~n l 'Sj ~ n
Por tanto, para que este polinomio sea de grad o 2, la su brnatriz Aoo =
((aij)) l :s i, j ~n de la matriz J\ d e be se r distinta d e O. Cuan do esta condición
se cumple, decimos que la forma considerada es propi a.
LAS CUÁ DRlCAS AFI1\TES 81
Observaci ón. Dado que ~y está engendrado vectorial m ente por X, el ca-
rácter bilineal de rjJ asegu ra que es ta forma qu eda determ inada por los va-
[ores de su restricción a X x X. Es decir, rjJ está determ inada de m anera
única por la form a blafln qJ. Y 10 mismo sucede para q" por la segunda
igualdad de (4).
- (jJ :::: ib, puesto que arribas formas tienen la rnisma rnatriz
- (p es p ropia (es decir, iíJ f. O) . por la hipótesis y las condiciones {/J =
- - --
<PI (X x )C) = </JIeX x X) .
Por tanto , e, I(pl es una cuádrica en X cuya completací ón es la cuádrica
de partida C ';; , [<Pl .
Esto termina la demostraci ón, puesto que la correspondencia conside-
rada es claramcn e inyectiva. D
Para las cu ádricas afines se pueden definir cier tas nociones importan-
tes, inexistentes en geometría proyectiva. Entre ellas destaca la noción ele
centro, que interviene en la determinación de la ecuación canónica y la
clasi.fi.cación de la cu ádrica afín.
Teorema 5.4.8 (Ecu a cion es can ón icas de las cuádricas afines). Sea el 1<p I
una cuádrica de un espacio afín real n -cdimensional X.
Si Po es centro d e e, [ep ], entonces, en alguna referencia cartesia na de
origen Po , la cu ádrica tiene una ecuación can ónica
.)
Xl + ... + s; - ... - X 2r + E = O
<)
+ J"LrP 2 + 2 <n
1 + ...
X.2 y2 - ··· - Jx
·r x - O r:
Definición 5.4.9 (Tran sform ad a de una cuád rica por una afinidad) . Sean
C, I(pl una cuádrica en un espacio atín X y h : X -+ X un isomorfismo «fin.
Claramente, se tiene una aplicación rp' : X x X --... K tal qu e rp'(ll (P ), h(q)) =
es una form a biafin simétrica propia. Entonces, [q/I es una cuú-
rp(p , q ), y q/
drica en X,
cuya imagen es h{C), como se comprueba de inmediato.
Decimos que esra cuád rica es la transform ada de e, [<pI mediante la afi-
nidad h .
Definición 5.4. 10. Decimos que una cuddríca e, (rpJ es (afl nmente) equiva-
lente a otra el, Irp/ l en u n espacio X mando existe un isomorfismo afín del
espacio en si mism o qu e transforma C, [<p I en e', [<p'l.
Es fáci l comp ro bar que la equiva len cia de cu ád ricas afines es una re -
lación de equivalencia en el senti do u sual. Pa ra los espacio s afines reales,
las clases de equ ivalencia se pueden caracte rizar co mo se establece a con -
tin u ación.
Teorema 5.4.11 (Cla sificación de las cuádricas afines rea les). Sean e, [!p I y
e, [q/ I cu údricas de u n espacio afín real, tales que las formas r(J y fjJ' tienen
rangos r y r' y signaturas p y pi. Entonces, las cu ádrícas son equivalentes en
los casos siguientes:
- Si r = r ', p = pi Y<P (Pu, Po) tiene el mismo signo q lle (I/ (p~, p~), donde
po y P ~ son centros de e, [rpl y e', [(p'J .
- Si r = r', p = r ' - p ' Y!P (Po, Po) yq/(p ~ , p~ ) tienen signos opuestos.
e-s r "" r 1, p = p I , o bíten, r "" r I , p = r I - p I , y 1as cuaíd ricas
- ,JI . carecen d e
centros.
r e Z, p = O.2 :
, ,
.(";;)+X2 - 1 = 0 El i p se
. ¡+ X,z = O Pu n to dobl e
.\;+ xª+ l = 0 Vac ía
r = 2, P = 1: Hip érbo la
Pa r de rec Ia s i n cid en tes
I.as imágen es de las cónicas regulares n o vacías (elipse. hipé rb ola y pa-
rábola) se muestran en la figura siguiente.
'~
/'
///~
", ,
Elipse ./
// <,
HipirboUl ........ r\P.rlibolR
5.4 . RELACIÓl c a LAS CUÁlJ.RIC:4S AFl lvES 87
') 2
r= 3, p = O,3: Xl
2
+ X2 + X 3 - 1 = o Eli p s oide
2 . .2 . 2
Xl + X 2 + X:.~ = o Pu n to d oble
.X1 ..L x"2 + "'x3 + 1 -- o
2 2 2
I
Vacía
2 2 2
r = 3, P = 1,2 : "'X1 + X 2 - "x3 - 1 --- 0 H i p e r b o l oi d e hiperbólico
2 2 x..2 --
-X'1 + x 2 -""3 O· Cono
xi + xi - x~ + 1 == o H i p e r b o lo i d e elíptico
r = 2, P = 0, 2: Ci l i n d r o e l í p t i co
R ec t a d oble
V a cí a
r = 1, p = O, 1 : Pa r de pl an os paralelos
P l a n o doble
Vacia
r = 2, P = 0, 2 : Par abo lo i de el ip ti co
r = 1, P = 0, 1 : XT + 2 X 3 = O Ci l i n d r o pa r abó li co
....,
Cj l ¡ n dr~ hipnMlia>
... -
,
5.4. REL¡\
_ __ 0._.
C/e)J\!
_
CO LAS C UÁDRl CAS AFllVES 89
"""' -
Corta
,,'"
ClIria
MI UIlll
rtI dos
.
Cilindro purabólíco """
P., Ih
...
,,"', I
Cilindro /li¡:t. lüiw mili!;
"""-
No amtitnt a 5
Conl.nu- a S
"'.-VIICÍlI
PlInto
"""dOOl,
ddIIt
Capítu O
e corneas
(2)
Cuan d o la cónica es regul ar, estas con diciones se pueden expresar d e
m an era m ás geom étrica, en térmi nos de la polaridad asociad a a la cónica.
En efecto, suponganl0s que C, fe/)] es u na cónica regular, y sea (P la polari -
da d asociada.
Enton ces, las condiciones (2) equ ivalen a las igualdades vectoria les
~l
Asl vemos qu e la ecuación de la có nica en una referencia 91' :::; la, !J, e; d I
es del tipo precede nte (l ) si, y só lo si, cada uno de los pu ntos a.ts.c es el
polo de la recta determinada po r los otros dos. Esta condición se exp resa
d iciendo que el tr iángulo de vértices a, b, e es autupolar.
Un triángulo autnpnlar resp ecto de una cónica se puede ob tener me-
dian te la construcción que sigue. {El conce pto de cuadrivértice que inter-
viene en esta construcción fue de finido en el p roblema 32}
Pmposición 6.1.1. Sea C. [f./J] una cónica regu la r 110 vac ía. y sllpongamos
que los vértices a, /J, e, d de un cuudríuertice son P UlllOS de C. Entonces. los
puntas diagona les del cuadrinérticef orman u n triángulo mnopolat:
Dem. Sean m, 11 , o los p un tos diagonales del cuadrivértice (como mues-
tra la figura) y P y q los pun tos de las intersecciones de \' ,J(a , b) y Vp(c, el)
con la recta Vp {ll ,o).
\
d \
b m
Para un a cónica e, [(PI, estas referencias son las asociadas a las bases
.~ = {Uo, l.l.l , U2 } ales que
(3)
Dem. Por la hipótesis, cuatro de los puntos dados for man una referen-
cia proyectiva. Utilizando est a referenci a [!7J, supongamos que las coo rde-
nadas del punto restante son (en: el : e2).
Clarament e, todas las cónicas represen tadas por ecuacion es del tipo
(3) contienen a los tres primeros puntos de 2J5. Por tan to, las que contienen
a todos los pun t o dados so n las quc verifican las condicio nes
Por ú ltimo, presentarem os otro tipo de ecu ación reducida para una có-
nica regular no vacía.
I.as referencias en las q ue se obtien en estas ecuaciones están forma da s
por el punto unidad. los puntos de tangencia de dos rectas diferentes y el
punto com ún de dichas rectas. Por ejemplo. supongam os que au y az son
los punros de tangencia de dos rectas q ue se co rtan en al , Ysean Clth a l , a2
los tres p rimeros puntos de una referencia f?I'.
De esta forma, sabemos que Vp <l1{) , a 2) es la rec ta pnl ar<t>(a¡) . respecto
de la cónica considerada e. 1</>1 . Por ta n to, [j/J es tá asociada a una hase !1e :::
{u () , /ll, 112} tal q ue
ljJ( uo, llO) ::: 0, <!J (uo, ll ¡ ) ::: O, q, (U¡ . HZ) = 0, <!J ( U2, ll;,d ::: ü
(Ya q ue las co ndicio nes (N a )) ::: Vp(ao . ( 2 ) y !u , fH::: V/(uo, llZ ) son equl -
valen tes)
Por tanto, la ecuación de la cónica se reduce a
2
all X I + 2a02_4JX2 = O
En particular, si elegim os un punto de la có nica co mo punto unidad de
.~, la ecuación adopta la exp resión canónica
Teorema 6.1 .3 . Suponga/nos que C, (1)] es una cónica regular y a, e son pun-
tos distin tos de C. Entonces, existe una homografia F : $ a ---+ $c tal que
F(VpCa, e)) es la recta tangente Te JI e es el conjunto
Por otro lado, las rectas r v r' de los haces ,C;;11 y .~c tie ne n ecuacio nes
de la fo rm a
Ax¡ + ¡ I X',!. = OY,l'xo+ l1 'X¡ = 0
respec tivamen te. Y, POf la observación siguiente a :1.3.3, los pares (A : Ji) y
(A' : Ji ) representan lo s pun tos dua les de dichas rectas en referencias apro-
piadas de M a ) y ~ ( c ) .
En panicular. las rectas r y F (r ) que tienen en común un punto p E: e
están definida'> por las ecuaciones
e= {r n F(r ) : r E .5J"a }
F e1/;p ( a c)')
J
= 1/P (b J
e). v.. F(. ~Tp Ca
v-» » lJ)) = \1p(a} e) (7)
Considerando una referencia [;;J1 = {a , b, e; el }, las rec ias de los haces ':Pa
y ,~c tienen ecuaciones de la forma
Por tanto, F .ien e defin id a por ecu aci ones del tip o p( ;,,', )i) = (/1, kp.) ,
k i:- O, Ytransforma cualquier recta r : A,XI + J.lX2 = O en la recta r' : ;1,.xo +
kux, = O.
Esto pru eb a que el conju nto e = { r n .F ( r ) : r E: '~a} está formado por
los puntos de coo rden adas (kfJ·2 : -/l f.l : Ir~) . Es decir, e es la imagen de la
cón ica regular d efin id a por la ecuación kxi-
X n X 2 = O. D
puntos son los uértices sucesivos de un hex ágono cuyos lados opuestos se
cortan en tres pun tos alineados.
Dem . Sean a, b' , e, a', /J, el, en es te orden , los vér tices del hexágono )
e", b" , a" los puntos de las intersecciones
Por el corolario 3.3.6, esto prueba qu e [a, e' , e, b"] = [a , d, b' , c"l. O
La figu ra 6.4 presenta otra ilu stración del teorem a .
Recordamos que las rec tas tan gentes a un a cónica regular son. duales
de los puntos de la cónica tangencial asociada. Por tanto, el resultado qu e
sigue es eq uivalen te al teorema de Pascal.
6.2. GEI\iERAU IJ/\ lJES SOBRE l lA.CflS DE CUÁIJRICAS lO ]
~--
y = ítrj) + p:W
ÁA -B
En particular, las cuádricas singulares del haz son las que se obtienen
para las raices ;t del p olinom io líl /l - B I, cuyo grado es la dim en sión de E.
Esto prueba que todo haz de cu ádricas no degenerado en un espacio
proyectivo de dimensi ón n contiene COTI10 máximo n + 1 cuádricas dege-
neradas.
Observación y definición. Es evidente que un punto P de P (E ) pertenece
a todas las cuádricas de un haz si ~y sólo si pertenece a do s de ellas.
El conjunto formado p or los puntos que pertenecen a todas las cu ádri-
cas de un haz se llama b ase del haz.
Asimismo, por la definición 5.1.5, es inmediato que todo subespacio
tangente en un punto p a dos cuádricas distintas ele un haz es tangente a
todas las cuádricas d e éste en e1111is1110 punto p.
6.2. GENERALID.ADES SOBHE HACES DJ] CUÁlJRICAS
- -_..._._...._-- _._.- 103
...
Recordamos que f está inducida por el isomorfismo vectorial f lal que
l(v)(Ll) = q> (u , v ), _ las matrices M(cf.>; !!li) y M(f;@ ,@*) son iguales.
Por tanto}sup o ni en d o que qJ y 1/1 tienen ma tri ces A y B en una base da-
da r@ , se liene qu e la homografía ¡-lo g está representada en la referencia
asociada a PlJ por la matriz A- 1 B.
104
[AA - BI = IAIIAI - A - 18 [
muestra que los valores de Á corresp ondien tes a las cuád ricas degeneradas
del haz son los valores propios de la matriz de la homografia asociada al
par ([ <j> I. I1f!Il.
Teorem a 6.2.4. Sea n r y I" haces decuadricas 110 degenerad os en un espacio
1'(1 ;'). íintonces, son condiciones equivalentes:
(a) I ' Y 1" son equ ivalen tes.
(b) Existen ctuuiricas regulares distintas [epi), [IJI' Jde r'. que son las trans-
formadas por una misma homogtufía de cuádrícas 1e!>1, [11'1 pertenecientes a
r.
(e) Existen p ar es d e cudd ricas regulares ( [ep], [1J!I) Y (11/ 1, 111")) d e r y I" cu -
yas lwmograJias asociadas son equivalentes. (E'i decir. están representadas
en una m isma referencia por matrices semejantes)
Entonces.
6.3 . H/\.CES DE CÓ l -lCAS El\ ' EL PLANO C()¡\<1PLEJO 105
donde P = A' T - 1 A - l .
La relaci ón Il A! - B' = p ellA - B )T indica que las matrices simétricas
íl,il- B Y/1 11' - E l son equivalen tes. Ahora, sobre el cuerp o e dos matrices
sim étricas eq uivalentes son congruentes (corno se puede ver en [1]), lo que
establece en este caso que
En parti cu lar,
.A' = o' AQ, E' = QtB Q
lo que demuestra que se cumpl e la condición eh). o
El teorema tien e la siguien te consecuen cia inmediata.
.._ _ _. - - - - - -
106 CAPÍTUW 6. COM PLEMENms y HACES DE CÓN I CAS
Puntos base y tangentes com unes. La base del haz cons ta de cua tro pun -
tos distintos. Además, estos p lintos son los v értices de un cuadrlvénlcc.
cuyos p ares de lados op uestos forman las 3 cónicas degeneradas de l haz.
(Lo s puntos diagonales del cuudrivértice son los tres primeros puntos
de la referencia empicada)
En un ha z de este tipo no existen tange nt es co m unes.
Tipo II. } tiene dos valores propios distintos y e l bloque elemen tal de
Iordan correspondiente al valor propio doble es de orden 2.
La igualdad
O1
100
O)-' ( 11 01 O)
( nOl 0
a
(1
=1
O az
lJ
muestra que r es equivalen te al haz I' n represen tado por la matriz general
can ónica
-1 1- 1
1 -1
( A-a, )
Calculando con es ta matriz se comprueban las propiedade s siguientes:
Cónicas singulares. El haz tiene 2 cónicas singulares. cada u na de las
cuales es un par de reet as.
6.3. HACES DE CÓNI('.AS EN EL PIA 1\'O CO M PLEJO
c::...:.:c:.:::... _ 107
Puntos base y tangentes com unes. La base del haz consta de tres p un -
los distintos, siendo u no de ellos el p un to singular de u na dc las cónicas
degeneradas. Es te p unto es el ú nico de tangencia común, y la otra cón i-
ca degene rada está formada por la tan gente e n dicho punto y la recta que
engendran los pun tos ba se restan tes.
Tipo III. J es u na mat riz diagonal con do s valores p rop ios distint os.
Entonces, I' es equ ivalente al haz re, representado por la ma triz general
A- 1 )
A- I
(
A - a2
Cón icas singulares. El haz tiene 2 cónicas singu lares: un par de rectas y
una recta doble. La imagen de la recta doble es la polar respecto de cual-
qu ier có nica regular del haz de l punto singu lar del par de rectas.
Pun tos base y tangentes com unes. La base del haz co nsta de dos puntos
dis tin tos, que engendran la imagen de la recta do ble (obviamen te). y, por
lo dich o an tes, am bos p untos so n de tan gen cia común con las rectas qu e
forman la otra cón ica degenerada.
Las cónicas de un haz de es te tipo se llam an blta ngcntes.
La igualdad
muestra que l ' es equi alente al haz f e, represen tado por la m atriz general
O
-1
-1
;t - 1
ít- l )
(
íl - l
Cónicas singulares. El haz tiene una única cóni ca degen erada, que es
un par de rectas.
Cónicas singulares. El haz tiene una ún ica có nica degen erada, en este
caso una rec ta doble.
6.3. lLACIl5 DE CÓNIC/\S EN EL PlANO COAIPLIlJO \09
- - -
Puntos base y tangentes com unes. La b ase del haz con sta de un punto
único. La ún ica tan gen te co mú n es la recta q ue forma la có nica degenera-
da.
En es le caso decimos que las cónicas del h az son hiperosculatrices en
el punto base.
_.... _- _.._._._.._ ._._-- -
1 11
Apén d íce A
A == Po + V (1)
(Donde Po + == {Po + v : v E: V} )
- _.._- - - - -
112 f PÉNDTCEA.. REQUlSITOS AFI ES DEL C¡\PÍTULO 2
Además, A tiene una estructura ele esp acio afín sobre el espacio vec torial
V, in du cida p or la estructura afín de X .
para todo u E: X.
Cuando f es u na aplicación afín, la aplicación lin eal g que satisface
la igu ald ad (2) es única, y la igualdad se cumple p ara t odo Po E X Ytodo
l.l E X. La aplicación g J llamada aplicación lineal aso ciada a la aplicación
a ñn j', se design a p or f .
X = (K - {Ol) x )( U {O} x X
Dem ostrarem os ah ora que los sub cspa cios X y k de j( son hi perpla-
nos.
Dem. Verem os p rimero que todo ele m ento de.\ pertenece a Kpo + X.
En efecto, para los elementos del Lipo (k , p ), esto resulta de las expre -
siones (k, p ) :::; k(l , p ) kp, teniendo en cuen la q ue p > Po + Po p oPara los
elementos del tipo (O, u ), el rc su lta do es obvio, p ues 11 E: X Y (O , 11) = u .
- -
Por otro lado, co mo po rt X , los subespacios K po Y X sólo tien en en
com ún el vector O.
Por tanto. K Po y k son subesp acios suplem entarios de X, como se tra -
taba d e p robar, O
Apénd ce
es una/arma biafin .
Además, se verifica:
k = (p(Po, qo) (2a)
[tu) = (p(Po + u, C/o) - (p(Po, C/o) (2b)
(4)
Y~ as irnismo,
B.l. FORlvfi\ S Bl FINES 119
se escribe en la form a
Observación (Form as cuadrá ticas afines). Corn o sucede p ara las Iorrnas
bilínealcs sim étricas, la da form a b iafín sim étrica r.p so bre un espacio X
queda determinada por la aplicación 1( : X ~ K ta l que K ( p ) = ipt p , p ). En
efecto , es fácil comprobar la relación
1 1
fjJ (P Jq ) =2K ( Z ( p + q) ) - 2 (K (p ) + K (q ))
Formas biafines regulares. Una forma biafín qJ es regular cuando está re-
presentada por una matriz regular Mup; 8).
Para obtener un a caract erización más satisfactoria, considerarn os el
sistema homogén eo
(xo ... x n ) NI ((p; 0) = O
Supongamos que la matriz M ((p; 8) es singular; es decir que el sistema
tiene soluciones no nulas. En ton ces, hay dos posibilidades:
- Existe una so lución no nula de la forma (] Xl ... x n ) . Esto significa que
existe un punto p tal que qJ (p J- ) es O.
- Existe una solución no n ula (O X l . . . x n ) . Teniendo en cuenta las ex-
presiones (6), que defin en la matriz l'vl(lp; cE), eso signi fica que existe un
vector no nulo u tal que f /1U( ll) = O = fjJ ( u , - ). .Adem ás, estas condiciones
son equivalentes a !p (ll) = 0, para tod o p, debiclo a las relaciones (4) de
1.3.
Por tanto, hemos estableci do el resultado siguiente.
Proposición 8.1.4. Sea qJ una lar/na biafin sobre un espacio X . Entonces,
c.p está representada por u na matriz regular si, y sólo si, se uerifi ca
- (p(p, - ) es distin to de O para todo P E: X
- lVO existe ningún uector no nulo II E X tal que Jp(u ) = O, para todo p.
B.2. CUÁDRICAS AFI TES.
_ I-IIPERPL
.__ 4N OS
_.._.._-
TANGE.
- - -
TES
- - --
12 1
Definición B.2.2. Decimos que una cu ádrica afin e, l<pJ es regular. cuando
la [orma (p es regu lar Cuando <p no es regular, decimos q ue la cuádrica es
singular o degenerada.
iptp, q) t Y{P' es una forma biafin simétrica prop ia. En tonces, [q/] es una cud-
drica en X', cuya imagen es hi C) , corno se comprueba de inm edia to.
Decirnos que esta cu ádrica es la transformada de C, I(pI mediante el iso-
morfismo afín 11 .
13.3. CBNTI?OS y SrlBESPACIOS DIA1\1ETRA LES 1 2~3
a i O+ L a¡ j Xj = O
l~ j~ n
{
i = 1, ..., n
Definición B.3.5.. Sea e r(p 1 una cuád rica de un espacio afin X con un cen -
- -
tro Po . Decimos que dos subespacios diametrales y == Po+ Y y Z = po+ Z son
subespacios conjugados de la cuádrica cuando sus subespacios de dirección
fr y Z son ortogonales con respecto a (p .
Se tiene la p rop iedad importan te siguien te .
.Dem. Por la hip ótesis sobre D , es q)(v, v) -1- O, por lo que [J y iJ son
subespacios suplementarios. Por tanto, JI es un hip erplano conjugado de
J) V están definidas las slmctrí as mencionadas, s y s'.
HA .
- -- - -- - - - - - _ _.._ __ _._.. 125
-
Ahora, todo p E: X se expresa en la fonna p = Po + l.l + k u, con ú E 1-1 ':/
k E: K, Yclaramente
Por tanto, (p (s (p ) , s (p )) = cp(p, p), lo que p rueb a el res ult ado p ara s. La
prue ba para ~J es análoga. O
"X
'1
2
+ x2'- .1 1-- x2r + E - O
+ .......
Consideramos la refere ncia &' :o:: {Po; li ¡, ..., unl. En ton ces,
Lema B.4.2. Sea e, [(ji ] una cuádrica sin centros de l l1l espacio X, y sea N
el núcleo de la fo rma tjJ. Entonces, para todo po E X , ex iste un vector ti E
N -kerfpo '
~liO + Cl i i X ¡ = O
{ l - l , ... , r
Por tan LO, tenem os una base 98 = ·ll.ll ' """' Un } de X en la que ({J está re-
p resentada por la 111 él .riz canón ica .
Consideramos la referencia ~ = {Po; Ul, . .. , Un }. Enton ces,
(p(p, p ) = (p(Pop Pop ) + 2J po( Po p) = (Xl" . x n )1VI ( p; <ge)(X¡ . . . Xn) t +
. ,n
2 Jpo (L..j= 1 Xi U ¡) = L
'\"' xi., - L\ ' x;.) + .2xn
l~ i~l l < j:::;r
Observación B'. Supongamos que C, [(p] y e', [<p/¡ son cu ádricas (equiva-
lentes) tales que
qJ ( p, q) = (p' (1-1 (p) 17..( q)) (1)
para algún isomorfismo afí n h. : X ---+ X.
De (1) resul ta de inm ed iato que si C, [(j)] tien e un centro Po , entonces
pb = h(po) es centro de e', [q/ J. y, obviamente, (p(Po) Po) = q/( p;)J p ~)).
Recordamos que las form as (p y (p' son equivalentes cuando se cum ple
la condíción (1) .
Observación B'.I. (1) COIno en la observación anterior, supongamos que
(1')
cp (p , q) = ep' (h(p ), /1 (q ))
Es decir, las formas ({J y (P' son equivalen tes.
Ap én le e
Pr blemas propuestos
C. I. Problemas propuestos
...
...
..
A :
........ ...'l~¡;~~ "d; b .
... .. ... . . .. , .
, ..
pasa t1 br
132 APÉNDICE C. PROBI .E.' L1S PROI'UCSmS
8. Derno strar que una homografía entre dos rectas distintas de un plano
proycctivo es una perspectívídad si y sólo si el pu nto de intersección de las
rectas perma nece fijo. (Utilizar el ejercicio ante rior)
12. Sea [J/J = {a , b, e; e } u n a refere ncia proyectiva d e P (!R 3 ) . Dem os trar que
para las referencias rfiJ' = { e, e, b; a } y y " = {e, e, a ; hL las matrices 1.\·1 ([2P f; ~~ )
y AI({jlJ/f; (00 ) so n in versas (salvo p roporcionalidad).
15. En p([ffi5) se considera el sub esp acio M, engen drad o por los tres puntos
(l : o: - 1 : O: 1) , (O : 1: O : 1: - 1) , (2: 2: - 2 : 1: 2) y la variedad M 2 de
ecuaciones X o - X I + X 4 = 0, 2xo + X2 - X 3 = 0, en la referen cia proyectiva
canónica. Ob tener las ecuaciones ele M I y un conjun to de generadores de
M2. . Determinar las varied ad es 1\11 n A12 y Vp (1vh , M 2 ) .
1
16. Demostrar que la aplicación proyectiva de p (~4) en p (~4), definida
por las ecuaciones pxb = Xo, p x~. = X3, px~ = X2, p x~ = X3 , es una p royección
cón ica . Hallar el cen tro TIa imagen de la m ism a . Hallar tam bié n :
El subespacio im agen invers a del punto (1 : - 1 : O: - 1).
Los subespacios imagen e im agen inversa de la recta de ec uacion es
X l = O = X o + X2 + X3-
19. Sean a, b, e, d cuatro pun t.os distintos d e P (lPl 2 ) . Demostrar que existe
una homo grafía única de p ([ffi2), que transform a a b, e, d en e, el a, b, res- 1
pectivam en te.
21A De t ermin ar las ecu acio n es de la proyección cónica de p (~4 ) que tien e
corno centro e imagen las rectas de ecuacio n es Xo + Xl = O= X2 + X 3 Y Xl =::
22. C'Tcorenl a del eje proycctivo ") En p( rr;R3) sean R y R' rectas dis tintas q ue
se cortan en un p unto 0 , 'i sea ¡ : R ~ R f u na hornografía. Dem ostrar que
existe una re cta T en la que están todo s los puntos Vp (a, f3')n IIp (¡3 , a f ) tales
que a, f3 E R ! (a ) =al, 1(f3) == ti'.
J
24. Hallar los puntos fijos y las rectas invarian tes de la homografía I d e
P (~:1 ) defin id a por las ecuaciones px;) = Xu + Xz, px~ = x{) + 2xt , px~ =- Xo -
Xl ·
Una rec ta invarian t e R de f co n lien e a u n punto fijo Cio Yal p u n to a2 =
(O: - 1 : 1). Ob tener las ecuaciones de {IR : R ~ R, en la referen cia de R
form ada por ao , / -1
(a2), a2. (Utilizar el ejercicio 9).
29. Comprobar que g = {el, 2, -1) ; (l, 1, OL (2,.1, 3), (O, O, l )} es una referen -
cia cartesiana ele ~3 . Hallar la referen cia proyectí va g, asociada a g'l y cal-
cul ar las coordenadas homogéneas en 8 de un punto arbitrario d e ~3 .
(La figura considerada se denom ina cu adrivértice. Está form ada por
cuatro vért ices distintos a, b, e, d, tales que tres cualesq uiera de ellos no
están alineados, y seis lados, que son las rec tas determi nad as por los vér-
tices. Los pares de lados opuesto s, es decir, que no pasan por un mismo
vér tice, se cortan en tres punto s llamados p un tos diagonales)
33. Con los datos del ejercicio an terior, sean f la homografía de P que
transforma a, b, n, o en 111 , b, n , d y g la ho mografía que transforma a, b, C, d
en m, n, b, o, respectivamente. Dedu cir que existen isomorfism os afines
I. g de X cuyas co mp letaciones proyectivas son J,g.
34. Sea J la homografía de P([R:1) definida por las ecuaci ones pxb ~ 2xo +
X2, px; ~ Xo- Xl - X2, p x; ~ ~ X(} . Obtener los p untos fi jos de dicha ho rno -
grafía . Probar que existe una transformación afín g de una rec ta 11 de [R2,
que coincide con J sobre A. Precis ar si g es una traslación o una ho mote-
CIa .
138 APBj\lDICJ] C. PROBLEf\1AS PROPUESTOS
36. Sea ¡la homografí a de P (~3 ) definida por las ec uaciones pxb = Xl + X2 ,
px~ =Xo + X21 px; = Xo+ Xl . Dem os trar que 1 tien e u na recta de pun tos fijos
r, y su restr icció n a l pla n o afín p (1R{3) - r es una h ornotcc ía.Hallar el centro
y la razón d e dicha hornotecia.
37. Con los datos del ejercicio 32, se consid era la homografía h de P tal
que hia; = 111, h (tn ) = e, h (c) = 71., 17 (71. ) = a. U tilizan do su rnatriz en la re -
...... ...... ......, l""'oJ'
~)
38. En P ([pi' ) se consíderan las rectas .l1 ; Xo = O, /1 : 2xo + Xl + X2 = O Y
I
39. (Dila taciones y trans cccioncs) Sea f: X - X un iso m orfism o afín que
deja fijos todos los p untos de un hiperplano Y (Con lo que su completa-
ción proyectiva h es una h om ología de base Y ). Probar que:
Toda recta D determin ad a p or un punto a de X y su imagen a' es inva-
riante por .r.
- Si aa' ~ Y, enton ces f induce en Duna h omotccia cuya razón k es la
característica de h. (En este cas o, decirnos que f es una dilataci ón de base
y dirección fJ y ra zón k )
I
40. En la situaci ón del ejercicio anterior, sea tp : X ~ K una Iorma añn tal
que y = (p-l (O ). Probar que I(p) = P + E(p (p ) aa' , para todo p, donde E es
una constante.
Problemas e capítulo 3
44. En una recta afín X se considera la cuaterna de pun tos a, /J, e, el, y de-
signamos tambi én por a , b , e, el las coordenadas respectivas en una refe-
rencia cartesiana de origen po. Demostrar q ue:
Si Po = a, la cuatern a es arrnónlca si, y sólo si, ~ = ~ + ~ .
!
Si Po = ~ a + b, la cu aterna es armónica si, y sól o si, a 2 = cd.
46. Sea .C}jJ = { a, b, e; e} una referencia de un p lano proyec livo P. Sea 8 ' la
referencia cartesiana del plan o afín X· = P- Vp (b, e) asociad a a ,9, corno en
la demostrac i ón d e 2.4.6. Demostrar que las coord en ad as de un punto p de
X en la referencia e son las razones dobles [a , b, el p !L [ü) b, e", p" l, donde
p' y p" son los puntos de las intcrscccion es Vp (a J b ) n Vp ( e) p) y Vp (a, e) n
V p (b, p ), respectivamente,
47. Sean a, b, e el a, b' , e', d' dos cuaternas de puntos de dos rectas di-
Ierentes que se cortan en a. Demostrar que las re ctas 11p (lJ, 1/), 1!p(c,c')
.._ __ _ - - - -- -- - - - - - -
140 A PÉ'I\/lJ jCE C. PHOHLE l AS PROPUESTOS
. . ._-_ ._ .- - --
48. (Teorem a de Ceva) En un pl an o afín tres rectas que p asan po r los vérti-
ces a, b, e de un triángulo cortan a loslados opuestos respectivos en puntos
a , {3, y, que se supo n en distintos de los anteriores. Dem ostrar que las tres
rectas son concu rrentes si, y sólo si, [a, b, e] [13 , c, a] [y, a , h] = - 1.
Enunciar u n a versión p royectiva del teorema, h aciendo uso de la razón
doble.
51. En un plano pro - ectivo se con sidera para cada vértice de un triángulo
dado una recta que lo con tiene, tom ándose el p u nto de ín rerseccí ón de la
m isma con el lado opuesto y su con jugado armó nico respecto de los vér-
tices pertenecientes a ese lado. Probar que los conjugados armónicos así
obtenidos están alin eados si y sólo si las rectas de p ar tida son con curren -
tes. (Fi g C.3)
52~ En un plano pro ec tivo sean r y r' rectas di stin tas que se cortan en un
punto 0 , y supongéunos q ue 17 : r - r' es una perspectíx 'dad de centro e y
eje t (Ejercici os 22 y 23). Demostrar qu e la cuaterna de rectas r , r, 1lp (o, e), 1
es armónica.
C.l. PROBLEMAS PHOPLJJ: S'TOS 14 1
-,
.........•••
-, ........••........
., -
-,
53. (Hornograñas entre haces de rectas) Sea F : <.-1Fa ~ LC;;C una aplicación
biyectiva entre los h ac es de rectas de bases {a} y {e} de un plano proyectivo.
(Recordamos de la observación anterio r a 3.3.2 que se tiene una identifica-
=
ción ~(a) '~a) Probar que la aplicación p' : L1 ( a ) - ti (c), .6. ( r ) ~ 6(F(r )) ,
es un a homografía si, y sólo si, F con serva las razones dobles.
Cuando se curnplen estas con diciones equivalentes, decirnos que F es
una hornografía entre los haces de rectas.
57. Sea h la homografía de P ( ,2) tal que h(a) ::: a, h ib) = e, h (c) = d , donde
a = (1 : O), b::: (O : 1) , e = (1 : 1), d = (2: 3). Determinar:
La transformaci ón afín I : X ~ X) obtenida por restricción de h a la
recta afín X = p(~2 ) - {a }.
La coordenada d el p un t o ¡(el) en la referencia cartesiana {e; be }.
58. Sea huna blyec ció n de la recta proyectiva P(lPl 2 ) = IR? u {<X>} en 51 misma
tal que h(O) = oo. Dem ostrar que h es una homografía involu tiva si, y sólo
si, para todo x ~ Oen fi(, el p rod ucto xh(x) tiene un valor constante.
59. Sean h y 11' ho m ograffas de una recta proyectíva, cuyos puntos fijos
respectivos a, b y a' Ji son todos distintos. Comprobar que si h' o 11, = h o
h l , entonces los puntos fijos de h están en .ínvo lu cíón con respecto a h',
Demostrar qu e h'oh = 11.0 h' si, y sólo si, ambas homo graíías son involutivas
Y [a,- b.ai
' 1'-
n , = - 1.
62. Demos trar que la homografía de p([ffi3 ) definida por las ecuaciones
pxb = 3xo, px~ = 3 X 1 p x~ = - Xo - 2X l + X2 es una homología. Hallar su vér-
J
64. Determin ar una hom ología de P (~3 L sabien do que el vértice está con-
tenido en la base las rec tas r : Xo + Xl = O Y s : Xo - Xl = Ose transforman
en r' : Xo + X2 = O s' : Xo - X2 = 0, respectivam ente.
65~ Estudiar CÓlTIO d ebe elegirse una referencia proyectíva para que una
homofogía del p lano P ([R:~) esté representada en la m isma por su matriz
canónica.
68. TIna hornografía involu tíva h de p(~3 ) deja in arian tes los puntos ao =
(1 : -1 : O) y ha = (O: 1 : O) y la recta r : Xo + XI + 3 X 2 = O, que co ntie n e a (lo.
Además, el p u n to e = (O: 3 : - 1) de r se t ra nsfo rma en e' = (4 : -.1 : - l) .
Precisar si h está d etermin ada de manera única de q ué tip o es su matriz
de Jordan. Hallar las rectas invariantes.
144 - - - - -
APÉNDICE C. PROBLEl ,1i l S PROPUESTOS
_ . __ .._.._._--
Demostrar que existen dos pun tos fijos al Y Cl2 contenid os en la recta
r.
Sabiendo que 11 es la cornple tación proyectiva d e una sim etría axial de
[ffi2 , hallar sus ecuaciones en la referencia canónica y las rectas invariantes.
71~ Escribir las distin tas matri ces de Iordan de ord en 4 sobre ~ que tienen
al menos dos bloqu es elernentales del tipo JI (íl) = (ít.) cor resp on dien tes
al rnisrno valo r propio I Y cuyo polinomlo característi co es de la forma
1
(x - íl )2Q (x) , do nde Q (x ) tiene alguna raiz real. Utilizar es as matric es para
detcnninar los subespacios invaria n tes de las h omografías d e p ([ffi4) repre-
sentadas por las m ismas,
72.. Sea h la hornogra íía d e p (1ffi4) definida por las ecuaciones p x~) = 3xQ +
Xl + 2x:.~, px~ = -xo + X l - 2X3 , px; =: 2X2 - X3 , p x; = 2 X3·
Determinar los p u n to s fijos de h.
Hallar la matri z de la restricció n de h al plano invariante Iv! : Xo + Xl +
3X3 :::; 0, en la re ferencia for m ad a p or los puntos (1 : - 1 : O: O)) (O: () : 1 : O) l
._ - - - - - - - _ __._
.. .
C. l. PROBLEMAS PROPUESTOS 145
73. Com p robar q ue las homologías de p ([R'1) figuran entre las homogra -
fías consideradas en el ejercicio 71 e indi ca r las correspondien tes ma trices
can ónicas.
74. (Hom ogratIa axial) Una homografia axial h de p (1It'4) es aquella cuyos
puntos Iljc s son los de una rec ta r, llam ada eje de la homografía, y cuyos
plano s invariantes son los pertenecien te s al haz de b ase r. Comprobar q ue
estas homogra ñas figuran en tre las co nsideradas en el ejercicio 71 e ind ica r
las correspond ien tes m atrices canónicas.
Probar q ue si h (p ) ::: pi , fJ f:- p' , don de h es u na ho rnografía axial, en-
tonces la re cta Vp(p , p i) es invarian te e inciden te con el eje de h.
76. (Hom ografia biaxial) Una ho m ogratIa blaxíal 11 de P (1H:4) es aquella cu-
yos puntos fijos son los pertenecien tes a dos rectas suplem entarias. Esta s
rectas se llaman ejes d e la h om ografía. Co mp ro bar qu e las homografías
biaxiales figuran en tre las considerad as en el ejercicio 7 1 e indicar las co -
rrespon dientes m at rice s canónicas.
Probar q ue si h (p ) = pi , P f:- p i, donde h es una homografía biaxial,
entonces la recta Vp(p . p ' ) es invarian te e in cidente con los ejes de h.
79. Sea q) la co rrelación de un esp acio P(E) en sí mism o defin id a por una
forma bilineal regular (p. Cuan d o esta forma es sim étrica o antisirn érrica,
decirnos que (1) es simétrica o antisimétrica.. re spectivam ente.Demostrar
que (1) coincide co n su invers a si, y sólo si, es sirn étrica o antisirnétrica.
81. En P CiR J ) sean ao, a ¡, az los vértices de un triángu lo y ro, r1l "2 los res -
pectivos lados opu estos. Demostrar que existe u n a correlación sim étr ica
única que tran sforma (lo , a l, Cl2, a en 1'0 ,1'1,1'2 , r , siendo a un punto no si-
ruado en los lados del tri án gulo y r una recta no incid e nt e con ninguno de
sus vérlices.
84. Una co rrelaci ó n de p (~3) transforma las rectas definidas por las ecua-
ciones Xo - Xl = O, Xo + X2 = O, Xo - X I + X2 = O en los puntos (1 : 1 : O),
(1 : -1 : -2), (O : 1 : 2) respectivamente, Sabi endo que el punt o (1 : O : O)
se transforma en la recta 4xI - 3X2 = 0, obtener las ecuaciones de dicha
correlación. Hallar el p u n to que se transforma en la rec ta XQ - Xl ~ O.
cuÁDRICAS PROYECTIVAS
88. Demostrar que la cuádrica regul ar de p (lhr ' ) definid a por la ecuación
-x6 xi
+ + x~ + x~ == O (llam a d a cuádrica elíptica) no conti ene a ninguna
recta.
90. Sean {Gil} y { C~,} las dos familias de genera trices de la cuádrica h iper-
bó lica, como en el ejercicio an terior. Deducir qu e dos generatrices se cor-
tan en u n punto ún ico si no pert enecen a la misma fa milia y son disjuntas
en caso contrario. Deducir que si Gu Ye;,se cortan en p, e ntonces el plano
determ inado por Gil y G;. coi ncide con el pla no tangent e Tp •
93. Determinar las rectas de P(1R3) que son tan gentes a la cón ica de ecua-
ción x5- 2xi - 2 xi + 2XUX2 - 4.1'1X2 = OYpasan po r el pun to (2 : 2 : - 1l.
xf
94. Dadas las cónicas Ca : -4 x~ + + a .-S - 4 aX{¡ x 2 + 2 x I x 2 = O. a E R. halla r
las rectas tangentes en el pu nto PI = (1 : - 2 : O). Sa bien do que Tp ¡ contien e
al punto (O: 1 : - 1), encontrar la otra tangen te que p asa por este mismo
punto.
Hall ar los polos de la recta xQ = Orespecto de las cónicas regulares con-
side ra das, y compro bar q ue todos ellos están en una m isma recta.
lOI . Establecer los res ullados similares a los del ejercicio 89 para el hiper-
boloidc hi p e rb ólico d e ecuación x 2 + y 2 - Z2 - 1 = o.
X +y = 2.u -,f { x - JI =- 2 u
G II { tí (x _ y) = - Z CTU u (x + JI) =z
Determinar la simetría afín de [ffi3 respecto de la generatriz Gil en la
d irección del plano x - JI = O, Ydemostrar que d ic a sím etría transforma la
cuádrica en sí m isma. Y análogamente para las generatrices G~/ y el plano
x + y =O.
- - - - - -- __ .
150 __
...
APÉ1\TDICE _C. PROBLElvIAS
.._ _._ _._ - - - -
PHOPUESTOS
- -
104. Demostrar que toda cuá drica que contiene a uno de sus centros es
degenerada.
106. Sea C) rqJ1una cuá drica d e un espacio afín X co n un cen t ro Po. Probar
que un diámetro 11 = Po + Ku de e, [(p] es una asíntota si, y só lo si, la recta
Ji es tangente en I u l a la cuád rica C, I(pl.
107. Demostrar qu e cua lquier rect a tangente a una hipérbola corta a las
asíntotas en dos p un tos cuyo punto medio coin cid e co n el de t angencia.
08. Sean e , [(p ] una cuád rica afín regular y D un diámetro de la misma
que corta a C. Dem ostrar que en D consta de d os puntos en los que los
hiperplanos tan gen t es son paralelos al h iperplano diametral H , conjugado
ele D.
Probar que f I es el hip erplan o p olar de D oc; en la polaridad asociada a
la cornpletación proyectiva d e C, [(pl .
109. En P(IHt 1) u n pian o tan gen te corta a una cu ádrica regula r en una cóni-
ca no regular. (Justifi ca r). Utili zando los ejercicios 88 y 90 probar que esta
cónica es un punto doble o un par de rectas, según que la cu áelrica sea
elíptica o hiperbólica.
Análogamen te, p robar que la cónica intersección de un cono con un
plano tangente en cualquier punto regular es una recta doble.
1 1 0~ De una cón ica regular de [ffi2 se sabe que su cen tro es el p u n to (0, O).
Adem ás, en la polarid ad asociad a a su cornplctaci ón en P (~:3), las rectas
polares de los pun tos (O: 1 : O) y (O; O: 1) pasan p or Jos pu n tos ( 1 : 1 : O) y
(O: 01 : 2), respectivamente. Hallar las ecuaciones de las cónicas afines que
curnplcn esas condiciones y clasiflcarlas .
xi
111. En p(~(I ) se co nsid eran las cuádricas Ca ,h : aX5 + + x~ + 2XOX3 -
2 Xl X2 + 2bx2X3 = O.Dctcrmin ar a y b para qu e la polaridad correspon d íen -
le transform e en sí misma la recta r : Xo - Xl :::: O= XC) + X:J.
c.i. PROR l. EJVIAS PROPUESTOS 151
112. Clasificar las cóni cas de [ffi2 definidas p or las ecuaciones siguientes,
así co rno sus cornpletacion cs proyect ívas:
') .)
2
x + y 2 + 4x - 8 JI + 4 = 0, 4 x"- + }r - 4 x JI - 2 Y + 4 = O,
x 2 + 4 y 2 - 4. -JI + 2 x - 4 Y - 3 = O.
'}
y- +xy +2 x -2y- 6 = 0,
113. Clasificar las cuádricas de !P1 3 definid a s por las ecuacion es siguien tes,
así corn o sus compleiacion es proyectivas:
'1 x 2 + Z 2 - 2xy + 2y + 4 = ()
x 2 +z2 - x ..v+2xz- vz+ x + 1 = O
' .,'
x 2 - y2 + 4x .z + 2 y z + 2 y - 2z - 1 = O
x 2 +)12 + 4z 2 - 2xy + 4xz - 4yz - 4y =O
2 2
_1.. - 2z - x z + x + z = O
114. (Cu ádricas en espacios complejos) Toda forma b ilin cal simé tric a so-
bre un espacio vect orial (E, <C) está represen lada por una m atriz diagonal
canó n ica, cuyos elementos no nulos son iguales a 1. Ademá s, dos de est as
formas son equi -alen tes si y só lo si tienen c l mismo rango.
Utilizan d o estas propi edades, probar que en un espacio proyectívo C0 I11-
piejo:
Toda cuá drica tien e una ecuación canónica del tipo + ... + = O. x6 X;-l
Dos cu ádricas e, [qJ] y e', [q/ 1son equivalentes si y sólo si las formas (/>
y (P' tienen el mi smo ran go.
_-_._._. - -
................ - - - - --
152 - - - - _
¡\PÉi
VD1CH
. _._-
- -_ .
C. PHOBLE ~/1AS PROPUESTOS
117. Sea C) [q) ] una cu ádrica hiperbólica de p ([ffi'I ). Supongamos que los
puntos (lo , al, Cl2 , Cl3 d e una referen cia 21J , distin tos del p u nto unid ad ) son
tales que CIo, al y a 2 ) a 3 d ctenninan dos genera trices d e la cuád rica y lo
mismo al, Cl2 Y Uo, a 3· Probar qu e en la referencia [J/J la cuádrica tiene una
ecuación reducida del tip o axoxz + b x, X 3 = O. En p articular) la ecuación es
XOX2 - ~rfX3 = 0, si el punto unidad de plJ pertenece a C...
121. Determinar la hipérb ola d e ~2 que pasa por el p unto (1/ 2,4 ), es tan-
gente a la recta x = Oen el p unto (a, 2) y tiene COIno asínto ta la recta 2x+4 =
V. Hallar su centro v la ecuación de la otra asíntota .
~ ~
122. Determinar una p arábola de ~2 , sabiendo que pasa por los puntos
(O, O) Y ca, 2) y es ta n gen te a la recta 3x - 4 Y + 2 = O en el pun to (2, 2).
. _ _._._ __._ - -
_._. - - - -
C.l . PHOBLEIvIA5 PROprJESTOS
._ - _ . -_ -
125. Sea T un haz de cuádri cas en una re ct a pro. ectiva. Demostrar que si
[!pJ y IV/ ] son elementos distintos de I', entonces una al rnenos de las cu á-
dricas lepJ, [1f!], [(/) + "lf!l es no singular. Supon ien do lepl no singular, deducir
que su ecuación en una referencia apropiada f?j'J es XOXI = O. .Así, cualqui er
otra cuádrica del haz tiene una ecuación de la Iorma aX5+ 2(b + A )XOXl +
1 o.
')
cX =
a --
127. Preci sa r si el teo rema de Des argues del pro blema 60 p u ede obtenerse
aplican do el teorema anterior a un haz particular de cónicas.
BIBUOGRAFfA
Bibliografía
..P
Diámetro de una cuá drica afín , 124 Forma bialín, BO, 117
Dilatación, P-39, P-78 propia, 80 , 119
Dimensi ón de un esp acio afín, 111 regular, 120
Dimensión de un espac io p royect í- sim étrica, 80 117
VD, 1
Formas biafines equivalen les, 121
Dirección asintótica, 122 Generatrices de la c uádrica reglada,
Dualidad proyecti va can ón ica, 41 P-B9 , P-90, P-11 6
Grupo afín, 26,27
Ecu ación
Grupo proycctivo , 1] 27
de un hiperplano tangente, 69
de una cuádrica afín 12 1 Haces de cuádricas eq uival en tes, 103
de una cuádrica proyectiva, GB Haz de cu ádricas 102
Ecuaciones Dc)degenerado , 102
canónicas de las cu ádricas afi- Haz de hiperplanos, 49
ncs,B4, 125, 127 I--:Iiperplano, 2
canónicas de las cuád ricas p ro- del infinito, 22
yect ívas, 76 invariante p or una b orn ografí a,
de la cornp letación de un subes- 19
pacio afín, 30 tangente a una cu ádrica afín, 81,
ele la cornpletaci ón de u n a apli- 122
cación afín, 30 tangente a u n acuádrica proyec-
de un cambio de coord enadas, liva,68
15, 16 I-Iomografía ,9
de un subespacio p royectivo, 17 axial, r-74
de una aplicación proycctiva , 1B blaxial, P-76
de una correlación 65 entre haces de rectas, P-53
reducidas de las cón icas , 93, 94, inducida p or un haz de cónicas
95,96 sobre una rect a, P-12G
Elación, 34· ind u cid a p or una cuá drica so bre
Espacio afín, 111 una recta 74
- - - _ _ _.-
f!'lDICE ALFABÉTICO 159
de Staudt, 49
de Stcin cr, 99
d el eje proyccti vo , P-22
Transform ación d e tina cuád ric a
por u n a afi n id ad . 85. 122
p or u n a hom ograña, 77
Transvección , P-:-l9