GEOMETRIA IICAPITULO VIII + RUBVENIOS DB LA GEOMBDREA PROYEOTIVA, wmaopuccro¥ ‘Bn ol espacio afin intuitive tridimensional & imaginenos dos planos afines Py P* paralelos, y un punto © no sttuado sobre PP’. 54 x oe un punto de Py 1a recte ¢o)x? no oe paralele a P (at a P*) y corte a P* en un punto x". La aplion of6n Pa xia x%4P* on une Diyecotéa que transforsa rectas en rectas. Por a1 Teorens Fundanental de 1a gronetrfa afin, se conoluye que f e¢ ma apliosoién denonina preyecotén oSnica (paralela) de P sobre PZ Imaginenos ahora que P no es paralelo a P’. La aplicacién f antes desorite parece ‘a primera vista que transforaa rectes on rectas, Be aplicucién afin? Un andlieie més detenido muestra que los puntos de 18 recta Rintersecotén dol plano Pf (que pasa por el ponte © y es paralelo © P*) oon el plano P, no tien Amagen on P/r Si reR, Le recta (osr) om paralele 2 P%, @ induce por tanto una "Airecoiéa" w* en at~ oho plano, Parece natural asignar al punto r dicha 4i- recoién y y escribir #(r)= 0° se A\ Por otra parte, los puntos de 1a recta R* interseo- Notén det piano P, (que pase por oy e0 varalelo a?) A'con 1 plano P*, no son en principio imagen de nin= “Yin punto de P. St rgR*, 1a reota (opr? on paralela Py @ Anduce una direcotén V sobre dicho plano. Pareoe natural asignar ono imagen de ¥ el punto r°, en deotr f(¥ Jer” Los elenenton ¥ yy" ae denominan puntos del infinite (de P y P*respeotivanente). Denotando por By Ba los planos P y P’*ooapletados" por los puntos del infinite correspondiontes, 18 aplioucién f desorita anteriomente, aparece cone uns biysootén de on P's 7 90 denonine preyeoeién ofaies (no paralela) de Pen P*s NStone que f no induce aplioaoién afin entre Py P*, pero sin embargo conserva en oterto sentido las reotes. Las aplicaciones de P on #° verificande esta propiedad Aenoninarén apliosctones proyectivas. Las tranefornsciones proyeotivas de F ot ‘teblecen 14 geonetrfa proyeotive del plano, que inoluye en un sentido que age tar de explicitrenos, a 1a geonetria afineRetablecerenos ¢1 concepto de espacio proysotive mediante 1a adfuncién de los pun— ton del infinito (6 dtrecotonts) # un sepaoio afin. La geonetr{a proysotive no Aistinguiré entre puntos ordinarion § puntos del infinite, y el espacio proyeotive abstracts ee identifionsd oon la fasilia de rectas de oferto tepicio vectorial. onde onte punto de vieta,lae propiedades proyectivas apareoen como las propieda- oe de los esptoios veotoriales que htcen interventr reotas. BL interés del estudio de 10 geonetrfa proyectiva, ae contra on tres aspeoton fun darentalent i+ Las propiedades de incidenoia de eubespaoios son mas sencillas que on gronetria atin 2u= La postbiliand de enviar puntos al dnfinite, para obtener un expacio afin en ol foual dow subespaotos con parade of y eole ei mu intersecotén eat formada por yun ton dol infinite. permite obtener propiedades afines con téonicas de geonetria proyectiva. Bue Le dualidad, que permite por efemplo en un plano proyective intercantiar beJo ofertas condiotonee las palabras recta y panto en enunotades de proposioiones 1a reota proyeotive afta ‘i, se sdentitton con ol conjunto E = Kulu de 1a formes (ep Ber ators so 10 denoatne extenstn pro yeotiva del cuerpo Ke Bi eapacto prozeotive, 1a construcoién anterior migiere 1a siguiente definioiéa generals Dettntotsn Un enpacio proseotive ep una tern Re(Ryi,” ) an dendar = 8 en un onsunto’denominade oonjunto de puntos ~ foe un captoto vectorial no mule que denosinanos espnote veotorial asootade ~ 7:8 40)78 on ua aplicuctéa supraysotiva denominada proyecotén, tal que r(x) Vio} os una recta vectorial de® para cada r F de 1.1.6 , da entructure de eapacto proyective aE sobre FE. af ¥= (%E,). 2) 4B os espacio vectorial no nuloy 18 aplicactén ( 3ef-ioled + (3]er(#)4a estructura a P(B) de espacis prozectivo sobre fy x se escribe P(8)=(P(8) 8x 2) 3) Be particular tonando B= F,(x)ei, ={(P)axye tis ae denore 9 2@) por Fy (Os Y #0 denonina modelo analftico n-dimensional de espacio proyeotivo. ee (ea ‘A ejenplo 2) on a1 whe general posible, cone vanos a ver @ continusoiént Propostotéa 51 Be(Bf, 17) 8 un espacio proysotive, 1a aplicacién Tak oer» N>(e}utol €r(B) ‘on aplicacién viysotiva, La denostraotén eo 1a misas que 1a de 14147 oveervacisa la Viyeooisa anterior, perntte identifionr on 18 praotion cada putto #6 con 18 recta vectorial I(e)= ri 7(e)Ul0}s Bn conseouenota at 36 # ~[0} escrtbizos por smuso de notectén 1(8)s|e)-don fate convenic » podenoe muponer cue B es el earte co moyective r(8) danorito on 1.2.1 2), y storibison Ber(B) cuando v6 sobren= steata 7 2, suppspucros 2.1 Detintotonse 2.1.1 See X eapaoto afin, BL A oe aubeepeoto eftn no vaoto &4 1, entonoea A os sapacte tiny y onbe considarar mu extensién proseotiva T= Auy -1UP() « 84 oa un punto, entonoes Z=l01 y conventaon on escribir P(G)=P(OM# yy = A. Si d= J convendrenos en que i = g. aetiniotén a las conddotonse te 21.1 se dice gut A ee un aubespaote preysotive afin de X 5 ye denota por A(X) a 1a fantiin de Aicnoe wibeepaoion (incluide 1 aubessacio 8). La siguiente proporiciOa pretends sotivar 18 defintolén general de audeapaoio de un espacio proyeotivor Propostotsa 81 os un ssbespaoio proyeotive atin de %, entonces 1 *(A)ui0) = i 46a vectorial del ubespacio afin A de X. Denowtraotéat st Gem) entonces (6) eH + ¥ hay dow postbirisadest a1 1(G)Ek, entonces ax 1. React, y por tanto Se2,si (8) PCR) entonces (ade (a]ed yy yor tanto Sek ch « La otca inclusién #6 decuentra de forma anfloges Sea Ea(8,#,7 ) un espacto proyeotine y A un eubsonjunto de Be La propostetén anterior] sugiore 1a siguiente definiotén geseralt Detinsorsa Se dhoe que Aon un (4) (OVW en un sudeapacio. vectorial de &. Ba estas condiciones ia proyeceiéa ‘Ie /A~jo}tte-{OYiod da estructura de ‘fepacto proyeotive (si Aff) al conjunto A, y (oi dim A es finita) dim A= dim 4 ~1,| St Af entonces I ~i0\ y conventeos en anignar a A dimensién igual @ 1 « Se denote por GP(R) a 1a fantlia de mibeapactos proyectivon de Bs Oveervacior 1) Utstisands 1 sdugo de notaciés establectdo on 1.2.4 , para un subespacto pro- yeotive Ade Bae thane 1a sgualdad AnP(i) etendo f= rr *(ayusoy . 2) Lon aubeepacton proyective afises de un eapscio proyective afin K son auteapa sine proyectivos de X, os deotr 5 ACG)SP(H). Obaervese que ak A ex aubeapacio afin de dimensién finsta , oe tiene ain A= dia T adinf 2. Proostotén Sea X subespscio proyectivo del espacio proyectivo afin X + Si A= ANX ff, on ‘tonoes Aes subespacio afin de Ky y A= 2. Denostssosént Por nipstenia es ri *()Utoled suvespacio vectorial de. Si acZnx , onton- cow anti(a)e nx , y reofprocamente y si acAnxes aan(a)e Ax, y oo tiene por tantor PP AAk= AAx~ as 4 asf por 1.4.1 (Cap VI) A es sudsspacio afin de X con extensién vectorial 1, y nti = n7(iyvio}. ta tguatdad et Aedace de forma innediata por ta sobreyectividad de Retioulo de subespscion ‘Ba(B,B, 71) es un espacio proyective sobre el ouerpo Ky ¥ SP(B) denote ala familia de sue suberpacions | Cone cusstiéa previa 1 siguiente rematador Propostotéa Si G1(E) denote a1 retfoulos de subeepacion vectoriales de , entoncen 1a aplicnotéa 0 1 gp(a)dare Lan *Cawio}e gu(f) as biyecTia,venovanco por ¥15L(H)—9GP(B) a Le Anversa de A, ge verifion 1a identiaed 4nP(i) para onda £65 P(B) «(ubtene ave 10 igualdad AnP(t) ce consiatente con de Adentiftoaciée 4# 2.1.5. 1)) Denosteaoiéa a aplicaciéa ~ es olaranente inysotiva, Yesnos que ¢# sobreyectivat SL Ve gt(®) , sea de m(V-10}). Batonoes Z= ri *a)Uio}~.V , ya que oi veT=(0} os n(v)ed y por tanto ver (A), Reotprecdsente, st Ze mi (A) , ene tonoes n(3) = aed an(Yeio}) y extete ve Vaio) com aan(v). Tet 4, v estén on 1a reota veotortai 7¥(a)vi0} contentda on Y. a particular aeY . Nétese ue Ie aplicactéa P viene defintéa por P15 Mile Vian (¥{o)e GPCR). st Ya0 entonoes F(U)af Teorene St (Ay),¢y ©GPCB) co una funtlia de subeapacton, emtonces Ae 4, 48 aubeeps ser ver cio pryvepive de By ve versrion 42) A Denostracién me creote » =n Mayviofe A adwiote MVC aU0 ) «4, var a Detintosén 18) 81 S on un auhconjunte de By ae Mana eutespsoio proyective gentrado por Sy ‘a1 mbenpacto (3), intersecctén de la fanilia de todos loa axtespacios ae 8 que ointionm as. 1 (4 )6E 4 oes eae >) Si Ay B son subeapacion proyeotives de B se dofine Le auna £43 @(AUBY « la estructura retioular de 9P(B) viene ented ds 14 siguiente proposiciént Propostotéa sh Ave (8) syacaertes 5 ueverr(ucr(r) 11) Booed 5 rcowrr=P(wyse() Denostractén 1) at Ac, on na) ¢ F(a) , 7 por santo LoS. Beofprocanmnts at LeB en n(&s01) = acten(S eo) « 44) Gono ACAIE 7 BEAK, por 4) ae thene AciHB y BKB, por tanto ish ch. Por otra parte P(i¥B) conttene « P(A)ma y a (8) =B , yor tanto P(T4B) coniene 2 14307(), on avoir, ib 203 « Las dente afimmactonen se deduoen del hecho de ver A viyeotiva y Pe2.2.5 Gorolario tsP@,0) foulo-Anonorto (sean a aplicactéa A ) al retioute (5108),4,0) de subeapsoion veotoriaies de 2. Gonsiderenoe atore el espacio proyective atin Fm (3h) oon 1a fantiie te sus suverpacton proyectivo-atines 5a(i)+ Propostotéa la aplicacttn ~1 5A(8)> Any T ¢ 54(K) os une aplicsottn biyective, y ae verifiq om pare ABE 5 A(X): 2) 54 AnD EH entoncee THB ATT sy otyge NM + 44) 1ere@TS ss) 743 Denostrsctéa a Migeottvidad de 1a eplicacise ~ en evident, 4) St ANB xB entonoes por ++ (Gp ) eo AAR = ANB, y ae tienes gag + PDB) PCR) PGB) wae, 0G vor tanto ia = (AmB) ay = (ANB) APS )a(AU,) (BUY yoko, A) Acne Ae BemP(Aye P(H)er Tet 444) 8 conseouenota de ii) 1 Ooeervaciéa Para un eepacio afin X de dinansién > 1, te tanitsa 5A(E) con las onersotones $y 1 no theme estructart av retfoulo. sf yor ajenplo don reotas parsielas #8 cortan en an panto del intinito que no ‘e8 suseepacio proyectivonatin yacio proyective Ey y la dinensién de Aes fintta, enton= coe dim A= dim 2-1, en decir aim P(i)ndin’T A ara cade mubespaoto vectorial de B. Bete hecho y ol teorens 2.2.4 permiten establecer triviainente el siguiens remaltador 2s3e1 Teorena St Ay B aon auvenpaoios proyeotivon de B con dimensién finita, entonces el aubes pacto AMS tlene dinenatén finite y a0 verifios Ain(atB)= dim A ¢ dim B ~ Ain(A73) Desostractén Sea tar(2) , 329(5) . for 1a férmile de dinensiones para aubensscion vectorialee (4,3 Cap 1) se tiene sin(i + B)= ain T+ aim S - aim(in), por tantor dia ste)natn(o(Z)an(B) Jatin r (48) )nain(A48)-1 (aim f -a)a(ain B - 1) ~(aia(X75)—1)edin A $i B dim(aoB).2,342. dorolario 2) Si din Ban, dim Ae p ydin B= y dim (498) =F ontoncy maz(-Lyplana)< ré min(pya) a 1) Reofprocanente, ip , @ son néseros entros oon le pen, -leasny 7B 8 espacio proyeotivo nadisenstonal, entonoes para onda entero n verifioando Las de~ sigusldades (1) , exiaten 4 y B sudespacios proyeotives de E tales que dim A= P dim Bag yy dim (403) =r us denostractén on evideate del resultado andlogo (4.3.3 Sap I) para aubeapsoion veotoriale! Oveervacisén La formula de dinensionon 2-3-1 para aubsapacios proyectivos, oontiene implicite- mente 18 correspondiente férmula para subespacios de un espacio afint Si A,B son subeepaoios del espaoto afin X oon A Bef entonces In =P(i)\P(8). =PRNB) yy Aia(Rn Basin (Rn B)aa , anf ain AB )ndin( 3)ndim(TH5)aaim Zim F — = din(i05)e aim a #tim 3 -dia(Z3)-1 Cuda AB fg In Férmule se deduce triviainente de 2.2.6 4) 3+ CORRESPONDENCIAS BNPRE ESPACIOS PROTECTIVOS (88,7), B’=(B*, B°,1) denotan sepacion proyectives sobre los cuerses | 7 Krreapectivanente = ae téonioas de traduoctén proyeotiva de elementos de la geonetrfa veotorial, y do extensién proyectiva de elementos de la geonetria afin, utilisados en epfgrate an- Werlary ao desarrollan ahora en forms paralele para el estudio de 1as oorrespon~ denoias naturales entre eapnoion proyectsvod. Gonoeston preliminsres sea Fir una apliceciéa aentlinenl con nicleo ker foi # #. st Ze%iA entonces $ transforms la recta vectorial [2] em 1s reota vectorial (#(%)], © induce por tan— to une aplioscisa natura £+P(G)-r(f)s CEDLFe P(E) « Bato aotiva 10 etguten te detintohéa tetsnicise Sean =P(@) eubespaoto proyective de & (if). Una oorrespondenota semilineal pro- yeotiva de Ben R* oon centro My e# une aplioaciéa £18-¥—rR’ tal que existe fem —¥B* aplicsciéa semilineal con ker f= de forma que el diagranar t feemren eytodo (RJ¢E=N, Derintetén En Las ntonas. condiciones de 3-10 2) 81 tf so Lana a f aplicactén sentlineat proyectiva, hgtenn que on ante caso on fini0}sker 7 , y por tanto rie —¥E° una aplicactén Lnyectiva, Una eplicactén seailineal proyective y auprayective, se denonine seat omograrta, Obviamente se suprimiré el pretijo "semi* cuando # sea lineal. ) En particular 1a8 homografts de E en sf atone ve denoninen transtor= mciones croyactives 4) St eacrivinos T1(P)=r , entonces TI define una aplicacign ae nel conjunto de correspondencias proyactivas de € en €* tamos por CP(E,E’)« EJomplos a) SLE ‘espacio vectorial tridimensional, y f:€-s€ es una eroyeceién vectorial con base ¢l plano Ay aireccién Le recta fientonces NaP(f) #8 un punto do P(E), y ReP(A) vo una rec ta proyectiva, La aplicacién f=71(#) de Es on € transforma cada punto x €£-M en NOR. Se trata de 1a proyeccién ednica de contre N y'base R. Méo adelante nsrenos un estu- dio general de date tipo de corresponden chan. b) Una correspondencta proyectiva f entre P.(k) y Pa(k) viene defini da por una matriz A€FL(né1,m+1) de forma qu a} stompre que A ) sea no nulo. Probaromos que 61 conjunto CP(E,E*) de correspondencias proyectivas de Een £” tigne estructura natural de espacio proyectivot Teorena s£44£° es aplicacidn Lineal no aula, entonces para todo 4e K- 0 THA He?)3.2 b) Recfprocament « FL(E,E°) veriticen 1] (~)=T1( +) entonces existe Ae Kefoy tal que Yahy. Denostracér a) Claramente oe ker ? = ker(\%), y para cada Xe E-fi se veritica (#@=0 FG] = [CDG]. cate prucba 12 atirmactén. b) Por hipstesis ker Y ker? =, y para todo esi se verifica: [pci] =[¥Go], 22 decir, ¥ (R= 4, ¥(R) para cierto Age Se probard que lg =) eK-0 para todo Ze Ei, En efecto, plonentario ent defi, 0s decir, Enlloh, Si Rye felor, 1amando Xe dy pedy » os factt prober cue x =p st (89) 08 Leds «cuando (9) 09 1st ,'a0 verition que (ps (9) 08 1a (pune af oF A pC3)+ PG) see pis re Tin fa 0). S00 f= Aggy » a tone Y PR ple (R= TY DFE YF)» vOF Lo que KaA=} y y por tanto Az =) para todo ach, . Finatmente, oi £ ple > pliva)= ) y (Ke Observactén EL toorema 3.1.4 adnite una veraign obvia cara correspondencées semili- neales proyectivas, cuyo enunciade y denostractén de Janos sl lector cone ejercieta, £1 siguiente resultado os insediate a partir de 3.1.4 Corolario La apiicacidn T7:FL(E,E*)-(0] 9 cP(E,E) define en cP(E,E*) una e: tructura de espacio proyective. Tdentittcande como en 1.2.4 f con TI*(F)V%O), para Fe CP(E,E"), pod mos escribir fa(#] donde T7(P)et » y asf puede estable 2a férmule go. Ga H8 = [7G6) que refleja toda el contenide de 3.1, of el convento 1.1.5 Correspontoncias provectivas y subsspacios Tal?) denota una correspond cha semtlineal proyectiva con [cw timp (fi), entre los eape- los proyectivos E y E%.4) St Aen un mubeapaote proyectiveds Ene contenido on Hy se Llane inagen ror f£ de A, y se denote por (A) sl conjunto {t(x) / xéA-N). Si ACH enoribinos ta) = $. ») SL Av en aubespaoto proyeotive de ‘“y se denosina imagen inversa por f de A", y #0 denota por #*(a) al conjunte{ zen / t(x) eA", 6 xeK }. Prebarenes que (A) y f(A“) son subespacics proyectivos. Teorena Sean A y A'subespacton proyeotiven de B y R° reapestivaneate. Entonces 1) f(A) on mubespacto proyeotive de E* y F(i)ai(A). Mente si £(A)46 » 10 aplica- oién f/Atk-(ANN)2 x+y f(x) f(A) es correspendencis proysotiva de A en f(A) con contro AK yy t/tel?/A)e = 2) © Y(41) on mubenpaoio proyeotive do By x Ma eP HE) Denostraciéat Tentendo on cuenta 18 conmutativided del diagrasa de abajo, a0 theses E-Nu—e! 1 iy E-8 ——» 4 a) nMe(ayyutajanH(etaewp veoye FT aw) yvioy= 2m) OV R= Ryvtore 20h — Hy FAFA), adonke ves F/AaKnR y 4/4 verstion 1a conmttiviced det dtngramar 4 x" una aplicacidn sentatin, Una correspendencia senilineal proyactiva'? de X en X* oe denomina extensién proyectiva def, of Peete K' ada 1a aplicacién somiafin f:X—>X" exiete una nica extensign proysc= tiva # para f, Por otra parte se verifica:4) Fly, =UfJ si f no ante, 44) Sif 08 constante , gl centro da f os % 444) fal?) atendo ? :X—>K’ 1a extensidn vectorial de La aplicactén soni- fine Donostracién: sen Taker *, Nep(). Susdngase que existe 1a extensisn proyective F< fs y probence que 7/s, queda unfvocanente determinada por 7. a REM y Runa recta afin de X con dizeccidn Rew a) SEY EN ontonces £(R) 08 una recta afin do X’con direceidn FUR) =P= wy o “alF(o). Por otra parte F(RmF(RUW)= at(R)U{P(% )} es une recta proyectiva de x” que thene el menos dos puntos conunes distintos con 1a recta proyectiva FUR}er(R)U fa") tanto T)=FlR) y wel (w Je HO). b)St wen, y eR entonces F(R) consta de un nico punto f(a), ¥ FHertnvierya e(apu {Fle J} ee aukenpacte preysctive de X', Cena ne existen subespacios proyectivas formades solo por dos puntos, s¢ con cluys que ¢ bien t(a)=(u) & bien F(& Jaf . Probenos que solo ésta posibilidad es factibl 84 F(Q)AB:, €1 razonaniento anterior sive para orobar que ¢(x)=Fl% )é x para todo x44 uye que f:K—PX" es apiicacién constante| Waker Fa X X un Unico punto de X/ Por 3.2.4 e1 centro M de ¥ es un hiperplandde Z, y esti contenide an 4, (ya que ft esté den Ginida on todos los puntos de X) por tanto Me Nyel y or jefe 1 prueba 1a unicidad def, y los apartades 1) y 41) del teorena, Para concluir la dowoatracién ea suficientes prober que Lf) as una ex- teneign proyective Para cada x €X (identificande x con [x]) 20 voritica: CAC te)=[FOs}= [ro] =P), €1 siguiente resultade os une caracteri- zacidn de Las correspondencias senili~ nesles proyectivas que son extensisn proyactiva de aplicaciones seniarines Sif os unt correspondencia semilineal proyective de X on X* tal que (EM qe 7 POOL yy ontonces existe F (nica) aplicneién miafin de Xen x” tal que Faye$] 4 F288" somitinosd. La condicidn P(e %,- implica Goek, ¥ 1a condicidn 9 (x) 4 4, permite concluir que existe a a ek tal que G(a)f Xp nultiplican= cande f° por una constante adscuada "scboaq4)) ) podence supsner que Olas "Tqla)) ) Podene a Pla)e x” mantentendo 1a iqualdad YalG] . para cade xex so tenes GP Od= GB (atded= F (ade 9 (ae) x2 Aal plac y por PK aftt—>x" en aplicacisn sesiafin con extensidn vectorial f°. Por 3.5.2 41) os F =(fe Proposteién 4 P2x—9K/ e8 aplicacign semiatin A subespacio afin de X y A’subse~ pacie afin de Ase verificet Denostraciént 1) Tentende én cuenta que F(A) F(R) = FR) = FC La denostracién de is) o& nf ¥ 9 corresnondenciae semilinsales proyectivas de centros espace tvos WY NY ,iEN—re%, GtE “NP E°%, Se veritice el siguiente resul~ tado: Teorens si ¢72(N’) ££ entonces 1a composicién de aplicaciones gef define una correspondencia semilineal proyectiva ds £ en £°* con centro ¢2(N‘). Adonda oi fa(?], onf) 28 veritica 9.fel3.7) « Oenostracidns Nétese que G.f (Zane Fx)e Keste Fh (h") = FAN’) , y 20 thone para xe(SJee - 1 *(n") (asf) (x)=0(£7 ()))= (06-7) GD) Lingel proyectiva, y asf geta(S.F}ea correspondencia semi~ Los resultados que siguen tienen ya denostracién casi innediata Corolario i) Le composicign de aplicaciones (semilinealss) proyectivas, es apli-acién (semilineal) proyectiva. 44) La composieiéa de (semt)nomograttae es (seni)honograrfa. Corolarto £1 conjunto GP(E) de traneformaciones proyectivas de un sepacio proyec~ tive € , tiene estructura de grupo respecto a 1a conposicién de aplica- ciones, €1 operador £7:GL(E)3 F-»[fleGP(E) es un homomorfismo su- Prayective de grupos cuyo nucleo es el subgrupo z(€) de homotdécias vectoriales de E. Corolario Sean fiX—¥X" gtX2¥X"" aplicaciones seniafines, Entonces Set= Be. Denostracisn Dado X =(X%,%,) espacio proyective afin, el conjunto de transforma- ones Ga(i)={F / FeGa(x)) es un subgrupo del grupo de transforma clones proyectivas GP(x), Lsonarfo al grupo afin Ga(X). Por otra parte CACR)= {44aP(x) / Fol lemy ts Denostracién £9 cansecuencia inmediata de 3.4.4 y 3. Observactones a) EL grupo prayective GP(E) establece una actuacién natural sob: conjunto $P(E)* de r-étuplas erdenadas de subespacios. Un invariante completo de le clesificaciéa para r=l es la dine) Para re2 las diferentes clases describen las posibles posiciones rel: tivas entre dos subsspacios descritas ya en 2.3.2 « Eatae atizmaciones se deducen de forma innediata a partir de .. (Cap) b) La geonetrfa proyective afin de un sapacto afin X viene definida por #1 grupo GA(X) subgrupo de GP(%). En virtud de 3.4.5 , 1a geometrfa pro- yectivo sfin os 1a propia geonetrfa atin mire te proyectivo, Todos los teoremas y conceptos de 1a geom sarrollados en 1a seccidn precedente, tienen una traduccidn precisa en sl Lenguaje proyective afin. Por otra parte en X puede hablarse de propiedades 6 conceptos afines(in= variantes por GA(X)) y proyectivos (invariantes por GP(X)). La razén simple es un ejemplo de concepte affn no preyectivo, €1 concepto de pacio es proyective (y por tanto afin)Los sistenas da coordenadas homogencos permiten representar en Fatma analftica los @lenentos do 1a geonstrfs proyectiva de un espacio abs- tracto de dinensidn finita ny describirlos come elementos de la geome tria proyectiva de los modelos analftivos P(K). Estos sistemas de coordenadas deducides inicialmente @ partir de bases Wactoriales, s@ pueden obtener a través de ciertos sistenas de punto: denoninados sistemas de referencia proyectivos, que devernefian an geone~ trfa proyectiva el eisro papel que las sistemas de referencia afin en geonetrfa afin. A partir de aquf se eatablece de torma natural una ver ‘eidn proyective del primer teorema fundamental, que aplicada al casa de rectas proyactivas da lugar al invariante"razén doble™ que es caracte= ristice de una estructura proyectiv Por atra parte, los sitenas de coordenadas naturales en un espécio afin dan lugar a sistemas de coordenadas homogencos sobre su extehsidn pré= establecen 1a geometr{a analftica proyective afin » que arfollada on forma paralela s lo largo del capitule. Es(E,E,77) denote un espacio proyectivo, y x=(X» %,) un e: packo proyective afin, anboe de: finidos sobre el cuerpo Ky y de dimensign finite n 1, SISTEMAS HOMOGENEOS OF COORDENAOAS 1.1 Coordenadas bonogeneas inducids® por una base vectorial /xo(@)) ) base vectorial da @, y 4 83 O(a, ©1 isomorfismo de cooordenadss definide por la igualdad: = Zinc(@)e para 84% “s1ed Oefinicién A la homogratfa h=[h]} = [z) + EL9P (kK) 80 denomina sistema de coor Senadas homogéneas inducido en € por 1a base vectorial & 11.2 observactén De 1a definicién anterior 50 delice inmedistanente 1a siguiente equiva lencia para cada 06 €: [sy nom] fer enhcegt. the, flsean 2 a, a(ojssesse2) dos vanes de €, Entonces « los she= tanas de coordonadas honogéneas h'y h’ inducides por 2 y @" colnctien at'y soto of exdete Ja Ke10y tai que 2a (on eects efae, pave $605.09) Donostracisn si ad pare Ada ontonces Ah Ay y melfle LR Jetn}e n’. Recfpracanente: #1 heh’ por 3.144 (Can VIII) ee deduce que existe A do tai que fe Af’. En particular p\ /9 op) {A para cada iso, of \o, Dpservacién si € os base dee, oe oxcrine ‘€ a[ZJe {40/46 Keioh}. por 18 propo= aieidn anterior , cada € a0 corresponde biunfvocanente con un sistema de coordenada: EJenplo La base candnica i dof da lugar a un eistena de coor E } py denadas honogéneas n:P,—7P, tal que |, |=|\ [ara todo |” Jer, Lad Coordenadas honogéneas cartesianas Un sistema de referencia afin 3,) en el espacio afin x con coordenadas cart: x, vague Eos base do. F as Justamenta 10 extensisn proyectiva 401 tsomorfiena afin fy y se tiene: si aex viene [5 Jw a Daegt dns wags gt Beteeet an ‘Tes J st HE my Jer w= [ett neg] por tanto Ye Sh pate delyeeeyn pare puntos del espacio atta t. AL fiJar 01 sistema de coordenadas homogsneas cartesianas podenes pacar a trabajar (por medio do F:i—> 7) sobre 01 modelo anaiftsco a.1.1.7 Coordenadas homogéneas baricentricas Sea Ea(e,yseer8,) un sistema de referencia afin sobre el espacio x con coordenadas baricéntricas n= (y |X=¥8, (véase s+ (Cop )) tid & an pave da Z, induce un ebatona [,"| =f: Zs, de coordena~ das homogéneas (baricéntricas), La relacién entre anbos slstenes de Coordenadas viene dada por para puntes del Fijado el sistema de coordenadas homagéneas baricentricas pacar a trabajar al modelo baricentrico proyective atin ss0,) un sistema de puntos de dice que el punto ec & denende proyectivamante de escribe entonces @ dio &, siatoma E se dice proyectivanente depentiante , si existe € tal que d.p (E-(8)) , y escribinos entonces £ p.d dice que ol sistena € es proyectivanente independiente (p.i) 21 #8 proyectivanante dependient La dependencia ® independencia proyectiva, seté intimanents ligada a la dependencia © indagendancia vectorial, tel como se indica a continuacié: 2 Teorena Sea En(e,sss+40,) un sistema de puntos de £. Sundngase ea[é) nara Bee ty ered cota tc crameet 4) Si en(6Jee so veritica: o dpéee sare. 48) ped at Senostraciént —“ Eo Armediata ef se visa an cuenta La igualded Co,ye..5e,) #CSpeees8> Derinictén Un sistema Em(e 4.+-0,) CE 80 denomina generadoe de E si se veritios CE) mE. Un sistema generador a1 independiente, se denonina dase (pro tiva)de €.1.264 Teorena Con tae mismas hipdtests oe 1, a) & on base de Ea @ es dave de & b) Todas Las bases de E tienen nfl puntos. ©) Ea vélide un teorema do extensidn de bases proyectivas Corokario SL € 08 un sistema de puntos en un espacio afin X, las afirmactones que siguen son equivalentes: 4) £ 08 afinnente independiente (en x) 44) € 08 proyectivanents independiente (en X) Denostracién Observese que ¢ ast on X are Led ankayepdenk . Sistemas de referencia proyectivos Derintctén sso,se)€E 90 Lana siatena de rereren cia proyective si cualquier subsistens formade por nél puntos de € es oroyectivanente independiente. €1 interés de los statenas de referencia proyectives radica ssencialmen te en al hecho de que inducen de forsa biunfvocs sistemas de coordenadas romogéness: Proposictén (Oerinteién) é sex8q) una bai EB, oyelés1 para indyeeen y y enc] 6 = 8,4...40,. Entonces 10,48) es un sistema de referencia proyactivo de €, A £ se le denomina ser.p inducide por € en Ey Denostracién Claranente (o,se+e98,) €9 Pete Probemos por ejemplo que ( 2 proyectivanente independiente: beet AG,44G a0 ontonces ATHA HASH eA A HAIG como Fo 144 80 concluye que A=0 ¥ Ajwssem Jad Establecerenos ahora 01 resultado recfproco Toorema St £a(o,sse040,58) 08 un sistema de referencia proyectiva en E, exis te una base £ cue induce a € Por otra parte dos bases vectoriales @ y @' inducen 1 mismo sistema de referencia proyectivo, ei y sola- mento oi existed € K-/o} tar ue ZAF,Denostraciéa oe ne Fijemos 86 E-(0Y con k es pst, sntonces & se dexcompone on suma difec~ a ta de ractas vectorialest E= @ G..4.@0, » y exten ne ten dnicos @,€0, tales que Sad,4. S4 algin @, ex nuto, ol sistena (.. ys Se ele 7 Goveaty yatygaseeed a8 Bod am conten dtccién con a hipdteaia. 6) 28 base de que induce al sistena & ¢ 10}, entonces 48 )=[a (6,404.88, )] C6) Por Gitino, ai dos bases € y €” inducen el wiano oistena de re proyective Em(esse+y0,t8) 20 veriticaen[6/]=[6/]-, y extste A, ter que j= Dd, pate 140) .s05n. Por otra parte, S[84s.+46;]m (6,4.-098,) ¥ existe Ag KosO) tat que thoge Astgteent Ave, + ¥ por ser © base , oo En wirtud de 1.3.2 y 143.3 extete una blysceidn natural entre lo eiste- referencia proyectivas € y los elementos de 1a forma [fJpara m(eyssesd,) base de 2, y ento permite identiticar anbos objetos, Aof eserinir € af€], significa que ¢=(egyesese,se) ¢9 el sistena de referencia proyective inductde por ¢ . Ngtese por otra parte que ol sistema de coordenadas homegéneas he; fe ryt Enducido por € viene caracterizedo port h(a,)aty=|{1]-» h(e)= |? li G Teorena 4) Un sietema de referencia cartestano = @reee08,) sobre 01 ese ) Un stetema ai de cartes’ A - 2 pacio afin X, délugar a un sistena de referencia proyectivo(cartesiano) [Elm aCegrvanangie) + donde eye(di]eM nara Selyseeen + y onogtd ben tS ye 41) Recforotamente, st £e(0,5..4,8,5¢) 9 vn aistona de referencia proyective on X tal que es2#X ¥ eyyevasege oy + entonces & 0 carteciano ( es decir , existe € sistema de referencia carte= stano tat que ¢ =f@])4) Ee evidente (91 28 Sdentitica cada punto xe X con a rectaly]) 41) Tee descompane en sun de rectas vactoriales de 1a forms, Re, +-Be, » ¥ por tanto existen Te 6, ielyessgn talee que Syond te .h8,p 8 doctr one, 48,4...88, + ¥ necosarianente cada ey e¢ a nulo, pues casa contrario€ no serfa sistema de referencia proyecti~ m(eyeeys tonente o¢ nico. ) 9s ei siatoma de referencia buscado, que evigen= 443.6 Teorona 2 a(ejree 2) un sistema de referencia affn en el espacio afin x. Se vagitica entonces que € [2] =(eseees0,50) 6X » slendo on 2, apbay ot paricontze de ( n) (88 supone K de caracte rfotioa distints de nél) Denostractént i nétece aun on[e,seeote Ja [ lotta d= Zech @ 2. GEOMETRIA AWALLT! PROYECTIVA : 2s Eevacionss de corresgondencias provectivas, Primes Teorena Fundasental Aunque @1 desarrole de dete parégrafe puede hacerse para el caso seni- Linea, nos cefirenos por rezones de claridad a1 cas lineal. Oe cual- quier forma 1a generalizacién al caso sentlineal de las cuestiones fundamentalea, es tan obvia cone trivial. “tal Ey E“denotan espactos proyectives (sobre ol misno cuerpa K) de dimen siones nym respactivenente. © y £° son aletenas de referencia pro- yeotives queinducen coordenadas honagéneas h=|."|2 £—7P,(k) n'a [os eae he Si f es una correspondencia proyectiva de £ en £” con centro Ny existe una Unica correspandencia proyectiva A de P.(K) en P.(K) oon centro n(N), tal que aensteh 4, 9 decir, Ah(p)eh’f(p) para pee-n y y por 3y1e3 6) A oa de 1a forma: (af A [Mag}fet® » donde Re ru(ntaymtn), tone entonces le siguiente definicién: +1.2 Dorinies¢ cn tas conictones de 2ataa, s6atce ave [i (1)]= [3] senreenta U ecuacién matricial honagénea de 1a correspondencia proyectiva f, respeceso @ 198 sistemas ov coarcenadas ny n’, Las ecuaciones x (4=0,.¢+9m) represantan unas ecuaciones homogéneas pi se escribe AeLiJ= nz. (A) Comentario : La apiicactén M¢1 do CP(E,E*) en CP(nym)e{lA) + Re FL(n#md)~/0} define una honogratfs entre espactos proyectives, y fq, =["g,2)] stendo Como consecuencia de esto, ol siguiente tecrena tiene denostracién inno~ diate. Teorens Si € , E’, y E°% son eapacios proyectivos con eiatenae de referencia “ , PECP(E,E’) g €CP(E’,E”), so veritica respective €, <*, & tonces My er (aetlatig Comentario Si € 08 sistona de referencia proyective en £, 1a homogratia Me = Meg d0 CP(E}=CP(E,E) ¢n CP(n)=CP(nyn) splica el grupo proyective GP(E) on e2 grupo GP(n)e{CAlt Re GL(n#1)} que se identifica con el oru= po proyective de P,. St reCPle) , y me (t)mlJ= & 12s ecuaciones de f respacto al sistema de secrdenadas ronogéneas _[ “} darinido por € se eacriben adn matricial: nente en la form: roposictén aplicacién afin, las ecuaciones de ? respecto a "e)enaye Nétese que las scuacion : ) son 1a8 ecuactones de Fe Veawos por Uitino que una honogratfa entre espacios proyactivofviene deterninada por los valores que toma sobre un aietena de referencia proyectivo:Sean E y E° espacios proyectives sobre el mismo cuerpa K, ¥ con la misaa dimensign ne Si Ea(Cjyeee2nb0)y L'a (Ose 1930") son ststonas de referencia proyectivos on E y E” reapectivanente, existe una Unica honogratfa fE—¥E" tal que F(a,)n0f y L90seee5n y Flo)ee’s Donostracién 18,) 2'=(8j,++084) bases vectoriales con Extate F ssonortismo Lineal (nica) de % en f° tar que rE" vorifica Por otra parte, oi gif —¥E” es homagrarfa con g(€)= €" oto, )=(408,] = {existe A je K-L0} tal que $(8) = A,/ ne Boro gle)m(SE,)4++448(6,)] =[ doctored dae te be K-foy tal cue Negheeet doce A, egteeetlel, Por ser 2% basa os 1 aA, = GaAs af” on [Sl=(A t-[fler. cote prusba le unteidad. Comentario St Ea(eseese,), ¢;) son sistenes de referencia afin en #1 espacio afin k, s¢ sabe (por ol teorema fundamental (prinero) de 1a geonetrfa afin) que existe una unica transformacién afin que enuia € a £%+ Sin embargo oxisten muchas transformactones proyectivas en X veri- ficando ésta condicidnt Una por cada eleccién de puntos ee #% tales que (eyseseye,50) y (03y : yectivas, ) sean sistemas de referencia pro~ acionos de subespacios Eeusciones implfeitas de subespacios provectivos Sea E un espacio proyective de dimensida ny yh tena de coordenadas honagéneas inducide por el sistena de referencia proyective € =[é]. 84 A es un subespacio proyective de & con dinensidn ner » y A=P(A), entor es eubespacto vectorial de ©, y adalte unas ecuactones inplfet~ ta9 en Las coordenadas (do @) ha (!?\ con (nta)~(c41) sou Linvales hopogéneas independientes , de 1a forma: Zo dapey tO Metreeeet 0A, Der Al sistema’ anterior, se denonina sistena de ecuaciones ivplfcitas delsubespacio proygetive Ay que puede describires de le format ae{onf3Jeex ZA, syladeOe Selaveet be Ecuaciones implicitas de as extensiones proyectivas de splicaciones ariness ‘4 Sen ahora Xa(Ky ay) un espacto aroyective ating y ()un atatena Mad de coordenadas cartesianas con coordenadas homogensas if \ S4 A es un subespacio afin de X con dimensidn ner, adnite om las coor denadas cartesianas ecuactones inplfcitas de r ecuacienes Lineales inde- » (s\)er Areb An ky teeet trax 0) Las ecuactones de A (y dat = A) 80 escribon entonces: + ax, =8 pendtentea: Ae $ Ankytoeet Ak a0 ) Mrakot Inkyteret dak 00 Finalmente, 1as scuactones de ad, (y las de Fm Ayteeet ncnged rare f OROGRAFLAS ENTRE RECTAS PROYECTIUAS: RAZON DOLE EL estudio de les honogratiae en ol caso particular do 1as rectas proyec-| tivas, os 1a clave para la detersinacién del concepts de 2razén dobles La razdn doble ef el invariants que desempefa en geanetrfa proyactiva, 21 papel an: de 1a razdn simple an geometrfa afing La relacién 20- bre una recta afin de ambos iqwariantes, permite dar estructura affn canénica al complenentario de un punto en una recta proyectiva. feprosontaciones anaifticas de honoaratfas entre rectss oroyectivas sean 2=p(2) » 4’=P(4') rectas proyectivas (eventualnente cosnciien-| tes) sobre 61 misno cuerso K. Suponganse fijados sistenas de coordena~ des nonogsneas he[3°], n’e(2] sone 4 y 4! respectivanento. bale PL ; La ecuscién matricial homogénea de una homograft ¢:d—>4’ es on vir~ (© 3\(*))-(% 5 8) comatfo (i tua de 2.101 ae ta rormas [(S 5)(2)}= [32] com ont (4g) sedate ma por f en el de coordenadas honogéneas (“| en 1a forma en que 28 indi~ bs) : 28 en le ecuacién anterior.as valet En Las condiciones 31.1 , 12 actuacién de 1a hora biree por médie de 1a ecuacién bit ox) (yma xy, que st denominan ecuacién bilineal homagénes de f. =o (SREEEE« (i) oe werttica anyeccongiPonyegctnajel «un eet do overdo con Le ecuactén (2). denadas homogéneas [j; ]viene definida por 1a recta vectorial on 4’ que en coordenades Lineales (2) tiene por i _ Supongess ahora que D y 0” son sectas afinen, y (,) 4( [32] [E] 102 corseapondiontes aistenes de coordenadas honogenoas carte~ al Uy, pani x con el convento , A =aeX , o£ AeK-io}. % Proposiesén En las condiciones do 344.4, si f:0—¥0" es una homograffa con ecua honcognea matricial: vee ea, ED forma: 6 pion Las ecuactones (3), y (4) se denominancrespectiver Las ecusctones (4) se deducen directamente de (3).a) Si om (3) 99 dfo y etdxeo + entonces atx = 227 do, y x/oW, resultado at que se pusde Llegar por medio ] . entonces de tn acusoién matriciat (1). por otra parte, ot seus [2] xed +. ») La condictén necesdria y suftctente para que f sea proyective afin, ee que d sea nulo. Razén doble de cuatro puntos alinsados La razén simple eatablece en geonetrfa afin un fnvariante que caracte~ riza la estructura afin del espacio y el grupo afin de transformaciones, Un inveriante andiago en geonetrfa proyectiva, no puede depender solo de tres puntos:Por ol primer teorena fundamental 2.1.6, trés puntos die~ tintos alineados pueden ser enviados a otros trés puntos distintes ali~ neados arbitrarios mediante una adacuada homograffa, Cabe esperar que dicho invariante ~ 1a razdn doble= dependa de cuatro puntos alineadoe. as}eers identificada con |by(8) tat cono se ineioa on Last Tres puntos distintos (a,b,c) de una recta proyectiva 4 (sabre k) de~ torninan un sistona de referencia proyectivo, y un sistema de coordena— das homogéneas hi d-—> K , que cr aria (ver 2.1.6) tal aid meade [2] = 0, miore [ oatinteién En 1a condiciones de 3. ra eat se denonina razén dotie (esbsxye] a1 vator n(xle® La,b5x4¢] = n(x) Nétese que t[aybsasc]= a, [aybsd,c]=™ [asbsc,c] 2 La propiedad de invariancia proyectiva de 1a razcn doble se deduce de Forma innediata a partir del siguiente teoremat Teorena sean 4 y 4! rectas proyectivas sobre el cuerpo Ky (a,b,c) un sistema do trés puntos distintos de A, y (a’sb’, 0”) un sitena de tree puntos atetintos de O', Sean ded , ded’, La condicién necesaria y suficiente para que oxista f:4—>A’ homocra~ffa tal que f(a,b,c,d)=(a"yb’,e°,d°), es que [a,dsdyc]m (a,b: Coneidérense 1as honograrfas hid a xrsLasbinclak 5 y nred’a xLaLe’sbS3xs0 JER « ndtene que Nlaybye)= h’(a’,bs0")=(0,% 41) Soa h(d)=A , h“(d’)e A’. Tomando fah”>.h, se verifica si-AsA* que tal #(asbedsc)e(a’sb/,d%yo) « Recfpracanente, of oxiete gd * que 9 08 honografta con a(aqbydyc)=(a’yb’sd’s0"), entonces por el priner teorema fundamental 2.1.7, se deduce que geten’ sn, y en particular a(d)e?( A)ed“an HA) yy AeA e Derintesén Una biyeccién ¢:4 —yA* entre rectas proyectivas , se dice que va 1a razén doble af pare cualescuiere que sean los puntos (asbydyc) < A, aby distintos, 20 veritica: fa,bsdsc]= (P(a),t(d)sr(d)st(e)] « corolarso Si 9:4 —y A’ es una aplicacidn biyectiva entre rectas proyectivas, son equivalentes las siguientes afizmacionest 1) 9.48 honograrfa 44) 9 conserva 1a razén doble Oenostracién 4) 2yl) 98 consecuencia inmediata de 3.2.3 AL) 4) Sean (a,b,c,d)¢d, a,b,c distintos , y sea gla,bydy: (a’,0,d’y0'). Por hipdtesis es [a,byd,c]=la’,b“sd“so'J, y por 3.2.3 existe una homograffa f:4—vA” tal qua f(2a,b,d,c)=(a°,b".d°,c"). Pro-| bones que gef 1 Si xed (utilizanda-1)=Fii) ) se thene, [arvsxscJefasb“s0(x),2Je[e‘s0 s(x), 07]- Como 1a aplicacién hr AaxtaLa’sb'sx‘yoc}En se biyectivay se deduce que a(x)=t(x)+ Verinictén Sean E y £% eapactos proyectivos, Una splicacidn FE—¥E" se dice que conserva 1a razén doble, of transforma biyectivanents cada recta pro~ yoctive d de & an una recta proyectiva 4° de’, y 1a aplicacién tia dx A" conserve la razén doble, Corolarto una aplicacisn proysctiva f:€—¥E “conserva 1a razén dable oonostracién: La consecuencia innadiata de 3.2.5 c) (Cap VIII), y de 32453.3 Expresign anaifeica do 1a razén doble: Propiedades Fijado sobre 1a recfa proyectiva 4 un sistema de coordenadas honagt nas he(a2]:d——+% 4 y dados tos puntos distingos (asbye)¢ 4, por 3.245 4), ov deduce que para tods x€4 , loybysxsc)= (h(a) sh(b)sh(x) ohCo| ¥ pare deterninar 1a razén doble, ‘0 suficiente conocer 1a férmula ox- plicita para cuatro puntos en p(k) Terme as my, sean a =(2°) be(5°) S0(¢9) % =(r2) vectores do BK) que determinan puntos am (6},0 =(61, ca(2l, xe(8) de P,(K) , stendo asbye distintos 90 veritica entoncest Nectar e]e #884GsRDt Muth s2) con l eorenis tesbexscle Seecard) det (ore) Demostracisn: aere 76 Fisado Se(y°) €F\(k), 90 thene por 1a regla de Cramer 1a identidedt nde Fel?) € B00, a0 thane por 28 repie 6 a Jueds B42 8 con dy = settee) (Ssh) @) eas) 5 ~ det (G,8) *“G * dot(ays) Por tantos ( Jgsds ng 6) 00 la base asociada al sistena de referencia proyectiva (a,b,c) (véase 3.3.3), y la homograffa bik —>K h(apbye)@(O, % 41) 98 de ie forna half) donde fr Py(K)H F, el isomorfismo linealftal quer RO Ag ay xe B={( 3.2.2 08 nxdelasbixse] 5 per0 dalifas de bs fata Labia © 2 Suatttuyende 45 por au valor an (1) 28 obtione 10 féraula pedida Proptedades Denotande (aybsxre]= (2 g) entonces nara cuatro puntos diatintos de una recta proyectiva J , ducen de forma inmediata a partir de Se5s1 Lae siguientes propsocades S ab pe ay = (2 5 t ; - 2 oC det ted Pbfa 8] Be) 7 [ee eletore [ee t + 89 satural establecer, utilizando Las propiedades anteriores © siguiente 5.343 Convento St aybye son tres puntos (al menos dos distintos) de una recta proyec= tiva , conveninos en escribir: yes Jf leo vdlida aun cuando becda tt él 94 vélida adn cuando snot le of 1 vélida atin cuando aebée 3.4 Conentario ata appliacién de 1a definicisn da razin doble-conpatibie aor su prd- pia construceidn con Las propiedades 343.2+ no aposts nada esenctalnen te nuevo a las derinictones 3.244 y 3.265 por lo que tos resultados 3.248 ¥ 3.2.7 permanecen vélidos, 3.8 azn dobie y razdn simple Si ayxsb son tree ountos de una recta afin @, afb , la razén simple (asxsb) viene definida por le condicién : (asxsb) ab = ak. Convendre~ mos on escribir (asxza)=% €K , cuando xéa , y adopteremos los siguien= tos convenios para 4¢ Kt 0 ot dd, at Bae hte 2 at 3.441 Teorena Soa R una recta afin y sean a,b)x,c.¢% cuatro puntos antre los cuales hay por 1 menos dos distintos. Entonces: 1) Sf aybyxyo en om [agbixyc]e {2bish 44) Sd betsy , (ayxyo)cR entonces Genostracién: Bt FiJenos en R un sistema de coordenadas cartesianas he(, fa["] :% 2% 01 atetona de coordanadas homogéness inductdo por h (ves oy ae 1.1.6):Ay 9h ayOpXyE EM 4 OD MLapD,KACIEN(a,DyXVCIR(S Pb yX"VE)EK , oscri= 2 . viewta [J]e4 para AeKk y aplicande 1a férmula de 3.3.1, a0 obtiene ‘teniendo en cuenta le invarianze de La rezdn doble por hy y de le ra~ simple por h’ : : oe gqa isa’, Kb’ (atenie) | (ame pind Gein ede Lat; Mab . (atiatie) (apus} Por otra parte, los conventos sstabiecides aie arcibe, eon compatibles con los conventas 3.363 5 {I} -+<% einer cot (2 1 ca? ot lie La afirmectén £4) adaite clorta reciprocidad: ) 8, 04 sxyc]= (ay 5x40 Je = (a°5x%50")e(azxsc) Teorena sea 4 una recta proyectiva, bed. Existe entonces una Unica astruce ture afin en Re A-toy respecte a 1a cual se verifica 1a propitied: (aixse)g = [asbsxsc], para too a,x,0 eR. Adenés La aplicactén mind tal que h(xJax para xefl y Ny )ab oe una homograffa que permite identificar de manera can RH cond y et punto bed con el infinite de Re Denostracign i fonos una honograt{a arbitrarie h:A—» R con h(b)= Ls aplicacién Ayah, A wish wK os una aplieacidn biyectivey y ext te una Gnica estructura afin en R= A-{b\ tal que h, 28 tsomcrfiana afin y 20 verifica para a,xye €Rt (a3x50)=(h(a) s(x) sh(c))= (h(a), & sh(x)sh(e)) =[h(a) ¢h(b) sh(x) pho) = Le unteidad de 18 estructura afin de A ce evidente = priors. Corolario Sea \—» A’ biyeccidn entre rectas proyectivas, y » <4. Son equi- valontes as efguientes afirpactones: 4) td 7d" e8 honogsatta 48) tt dolor A“ Ir(b)y os apttcaetén atin Oonostraciin 5) SPAi) Sif es homograrfa, por 3.2.5, conserva 1a razdn doble, y por 3-442 fy consorga 1a razém simple, y es por tanta Saonorfieno afin 11) 4) Sif, #8 afiny ontorses conserva 1a razds staple en 4 -ib}Utidazando 5,544 y Yetet se prueba que f:G4—3A conserva la razon doble de cuatro puntos en los que no intervenga b. En efecto: 84 (a4, ,x,¢) son cuatro puntos de A -ib} se tiene, AOI, re. ropatense Si on 1a razén doble Anterviene el punto en segundo lugar, ee tiene [apbsxee) @(asxse) Cr (ads r(x upltiarse(o)s (x), t()) Finaimente 2i 61 punto b interviene en otro lugar diatinto, ol results do a0 sigue de las propiedades 3.3.2, que nermiten pasarle @ segunda lu 3.4.4 Efemplo Fijjade en Ya recta proyective 4 un sistena de referencia proyective HK es dsomorfismo a: Stose que x= =} os asf het4 -letraKk 08 i fismo afin. Nétese a ie de referencia proysctives sobre las rectas A y 4A’ ” respectivangnts con sistenas correspon dsentes de coordenasas h «[2] y n’4{-2]« le. Si ¢ 08 una homogratfa de A en A“ pueden satablecerse como en 3,1 ecuaciones cartesianas y bilinesles cartesianas para f consid: como splicacidn de 1a recta 4 = -tet en 4’= A’ =teyi rede cono splicacign de 1a rect: fen A% A mteihe NStose que las coordenada: cartesianas correspondientes sonTEOREMAS DE ESTRUCTURA PROYECTIVA €1 principie de dualidad y 1a téenica de envio de puntos al infinite tuyen las dos herranientas bésicas de trabajo en geonetrfa pro- yectiva, y serdn analizadas on 1a primera parte del capftulo, La segunda parte presenta una versién proyectiva del segunda teorena Fundamental probade en geonetrfa afin, y analiza las relacionss entre astructura y gsontrfa proyectiva. 1. ESPACIO PROYECTIVG DUAL Dotaremes al conjunte £ de ninerplanos de un espacio proyective E= P(E) de estructura candnica de espacio prayectivo sabre el espacio vec~ torial dual € . La "traduccién™ de los elementos de 1a geonetr{s proyec~ ‘tive deE sn términos de la geometrfa proyectiva del espacio original E permitiré enunciar ei! principio general de dualidad, Estructura proyective dual | € aenotaré equf un espacte vectorial de dimensign finite nfl , y 1a aplicactén iG L(E)>gL(E") 8 1a ortogonalidad Antroducida en 3.1 (Cap I A partir da las prpiedades béeicas de 1a ortogonalidad dual,puede ee~ teblecerse de forma innediata el siguiente lena téenicot Lema si Pe E% 307 entonces [&]” 68 un hiperpiane de f. Adends ai & fe €*-40} y BYaB% antances (Caf). Eete reaultade es 1a clave para le denostracién del siguiente teorena: Teorena Sea €* 01 conjunto de hiperplanos del espacio proyective k=P(E). La aplicacién 7 t* 207 9%» P(K¥)ee™, daa E* estructura de espa elo proyectiva sobre ol espacio vectorial €”, Domostracié: Ee ouficients probar que fijado HEEY el conjunto T7*(H)V{0y es una recta vectorial de @* si nep(A) py KeE-40f os tar que Kat, entonces 7(&). el Loma 1.1.1 si 46 E*-/o}, se verifica 1a equivalencia:1 (Alen ey Mat Derintetén En las hipdtesis de 1.1.2 de denomina (e257) tive dual. Notacién Se identiticaré coms habitual para 24¢€?-i0}liJcon 1(@) y escri- birenas para Acé*, (Alen (Ato). En particular , €” Subespacios¢Razén doble de hiperplanos Oerinsesén 51 Aep(@) 08 sudespacto proyectiva de E=P(E) se detine A“AP(A™) que 2 subespacio proyactive de E, y s¢ dénonina ortogonal dual de A+ La aplicacién Ww: §L(E)—SGL(E") se denomina correlacién de duali- dad. 7 Teorena La correlacién de dualidad wt GL(E)—¥4L(E*) es una aplicacién biyec- tivasPor otra parte, i Ay 8 son subespacios proyectivos de € ve veri~ Fican las propiedades 4) dim a+ dim a? = nel 44) Si ace entonces AY BY; fac, ELH. 444) (asaya; (an of masa Denostracién: (Se utilizarén los resultados de 3.1 Cap IT) Si AaP(R) y BPG) , 20 thenet areca bed ‘wAeGn6"My Aad por tanto W es inyective. 52 =P($2) 08 subespacio de EY, tomando fu 52” so 1) ncasphe dey Ge fy aso (Be HM ian”, 44) (agey“=P( (A+B) mr (4% 84) =P (A) 1 PG) mar tivo de 6" en términos de 1a geometrfa de es Dado Amp(%) subespacio proyectivo de £ entonces: Wejwe 7) HDA}. Se denomina por data razén a AY hiperpianos si amp(A) y 0 thee:13244 Corelario SL 8 bespacio proyectivo da £”r-dimensional, te A,subesnacio proyectiva de £ can dinensién ner SRaiafne es H2A} ostracién: Apl{quese 1,242 i) y 1.2.3 EJenplos Una recta de hiperplanos de t*saté formada por 1a familia de hiperpla- nas que contienen a cierta subvariedad L de sinensidn n-2. Aef en el pla no proyecting, 1a familia de rectas que pasan por un punto dada consti~ ye una recta de hiperplence & haz rectilines de rectas. En 1 espacso proyectivo tridimensional,las rectas de £7 agn haces de hiperplanos que pasan por una recta, y los plancs de £ son familias de hiperplanos que pasan por un punto Intecoretemos ahora la razén doble de puntos de E” en la geumetrfa de € Teorena Sean (Hy), tn0,se.y8 Cuatto hiperplancs de £ (al menos dos distintos) que contisnen a cierto eubespacio L de dimensidn na2.Se tiene: Cualesquiera que sean as rectas 4 y A’ de E tales cuo Anke AAL =H, 90 voritica que AANA ANMy=saly 190, siendo 2 y af puntos de & yy [a,+8y38,085) = [ajvays Por otra parte » p coincide con ta razén dobie [H,4H, recta proyoctiva LY de €” Oenostraciéns Dada 1a recta proyactive A de Ey por el IS Teorena de Incidencia #¢ verifica que ¢ bién ANH, 08 un punto a 5 didn es A eHys y en dato Gitino caso, como L es hiperpleno de H, 99 verifica ANL #4. fal si AALef os Hy=fah. , Probenos qua ai A ALef entonces la apli-~ cacién hits HW Ane es una homografia, Este concluirfa 1a denos- tracidn , ya que ae homogratfas conservan 1a razén doble. bef teres que si Ler (t), sea VE @,A> con Rd cE io! y tonones 4 pa[xityd] . La condicidn [al “J ) CA Ref / xbtyB a0 en shoe (4 Kip / xhtyB ): 7 Osp) A) determina las ecusctones de bna honograffa siempre que (88) (818) dot ..) #0 \piay (p76 d/ to cual es ctarto, ya que por ser ) 01 sistema honagenco (B/E) (FB Y (casey (B18 )/ 1.3 Homograffa ‘dual Sean Eap(E) » £“=P(E") encién 18 nida por la dicién #* & &2F (véase . . Cap it). La ti duceidn proyectiva de la transposicin viene explicitada en el siguien- te resultado: Sea ta(#] 1€—9€’ una homograffa, S4iH es hiperplano de € entonces f(H) es hiperplano de Ef y 1s aplicacidn f*:e%s HH9e(H) EE Yes una honogtatia que veritica f’=[(F)"]. ate: La primers afirmacidn es evidentes partiz oe La segunda es consecuencia de le connutatividad 4 8 ZE* 0} 00 veritican las equivelenc: Br F) (dad em FR) ekor & “ y por tanto se tiene, y proyectivizando la igualdad 20 deduce, F(PPECR I) = HCA a(R") que es lo que querfanos orobar.La apticacién ¥:GP(E) = tiot%eGP(E*) es un isomorfisne de grupos Denostraciént Por las proppiedades de la transposicién ( . Cap II) se deduce que es un hononorfismo supraysctive de grupos. Si re GP(E) y f= id:e’ se", se concluye que todos les hiperplanos do E son invariantes por f, Sono cada punto de £ puede Anterseceién de hiperplanos, se concluys que faid. 1.3.3 Corolario Si frE—9E’ es honcaratfa, y A es subespacio proyectiva de £, entonces F(R yer (A) La donostracién queda como efercicio. 1,4 £1 Principio de Qualtdad Ee un principio bésico de argunentacién caracteristica de 12 geonetrfa proyectiva , y se basa en 1a oxisteneia de estructura proyectiva dual 1.4.1 Teorenas duales: Supuests denostrade un teorena T ds geonetr{a proyectiva, al aplicarle al espacio proyective (dual) de hiperplancs, y traducir ou enunciado en terminos de 1a geonetrfa proyectiva del espacio puntual original, 20 obtiens un nuevo teorema T” cus se denomina teorena dual de T. Puede probarss cus T*“=T, Tratarenos de clarificar Sate tdea madiante elgunos ejenples sencillos: 1.4.2 Ejenplo £1 siguiente teorena T, os valido para espacios proyectives do dimen= "00s rectas con um punto comin on-un espacis pteyective n=dimension son coplanarias® Réteae que el enunciade T, e* banal Para encontrar 01 enuncteds TY debe tenerse on cusnte que en un eepa- cto proyective tridimensional se tien 1) tres planos son ‘coplanarios' si/y solo si) ti punte en comin 44) tres planos estaf ‘alineados’ sf tienen una recta en comun. Aa Ty 96 enuncta: 1iterelnente: “Todos los hiperptanos de Gor haces roctilinos de hiperplanos on un espacio proyective tri- dimensional, con un hipersiano comin, tienen un punto on cond Dado que 1a recta do cada haz viene deterninada por 1a intersaccién do dos de cus hinerplanoe distintos, se observa que el enunciadoTJ:En un espacto proyactive tridinansional,dos rectas coplanarias tlenen un punto en comin” , que ese! enunciade recfproco de Ty. El paso directo de T; a T; puede reslizarse directanente de 1a si- guiente form: 18) Se establece un enunciade escuendtico de Ts del tipot " Sean agb doe rectas de un espacio proyactive tridimensional, tales que existe un punto c con ccanb. Existe entances un plano 4 tal que acd y bed” 28) Intercambiamos en el enunctade anterior tos siguientes términos: PUNTO <> PLANO , RECTAS>RECTA » #49 ce->> 4 y 80 obtiene’ ™ Sean ay b dos rectas de un espacio prayective tridimensional ta- les que existe un plano © tal que ¢> a4b, Existe entonces un punto d tal que dea ydeb™ 58) Si escribinos este Ultimo enunciado en un Lenguaje més compac~ to, 80 obtiens ©1 enunciado T’ recfpraco de T. Esta ejomple ilustra el siguiente enunciede general: Teorenas de incidencia duales En relacion con un teorena de incidencia T de un espacio proyec~ tive n-dimensional, puede obtenerse su teorema dual TY, intercan— biando en el enunciada de T los siguientes términcs: SUBESPACIO r-DIMENSIONAL ¢~ SUBESPACIO (n-r-1)-OIENSTONAL tern card, La denoatracién de dete principio descansa esencialnente en las propiedades de 1a corrolacidn de dualidad establecidas enl.2.2, y eerg augerida en 1a seccidn da ejercicios. 4 Ejenplo EL enunciade Ty’ dual de T, dol ejemplo 1.4.2, se obtiene direc monte de 1.4.3 quedande: T, #¥ En un espacio proyective de dinensién cuatro,dos planes con tenidos en un hiperplano, tienen una recta comin” EL principio de dualidad va ein embargo née alldde los teorenas do Ancidenaia,y es aplicable a cu,uier teorema de 1a geonstréa pro~ yeetivar 5 Ejenplo Consideress 1 siguiente enuncsador T:"Toda transfornacién proyectiva en un espacio proyective complJo adaite algun punto iio". Aplicando T al espacio proyestive dual , y teriends en cusnta 1.3, 98 obtiene: T sWToda transformacién proyactiva en un espacio proyective complejo adaite un hiperplane invariante" RESTRICCIONES AFINES EN GEOMETAIA PROYECTIVA En 3.4.2 Cap IX 90 probs 1a exietencia de una estructura afin candnt~ ca para el complenentaria de un punto b de una recta preyectiva A , de forma que fud posible identifivar de forma natural 12 complec- eign proyectiva de 1a recta afin A~{b) con A , y b con el punto del infinite, En éste epforate mandarenoe al infinite todos le puntos de un hiper— plano H de un espacio proyectivo E, de manera que la extensidn pro- yectiva X dol espacio afin candnico XeE-H pueda identiticarse de forma natural con E, y H con los puntos del infinito de X. eto permiting traducir oletenéticamente 1a teorfa de oxtensiones proyectivas de subespacios afines y aplicaciones a éste nueva contexta, apes cane fame emny fame come foe feee cetera av are setatea earcee rates atts [eter fates (etesrtatee aMcstorcs ene Junto HeE-H tal que toda recta afin R de X ex de 1a forma) Re AX-F-Rmd ~ Sea H=P(f) y %e@"—Jo}tar que wort =f. Boa xyaixe E/ & (Jer La aplicacién 17 16% biyoctiva, Danes a x 1a estructura espacio afin inducida a traves de por 1a estructura afin candnica de can espacio vectorial ssociada fl Probenos que ésta ea 1a eatructura afin buscada para xtSea R recta afin de x, es decir, T,(R)=R, es recta afin de x,, Su ex- Aula 1 ta et tansidn vectorial Ac € veritica A, X,=8,. Sea Rap(A,); claranente A torial Ac € verieiea A Ax,=8,. 8 KR Ds ca i 28 RH wig, Hy (otg deny ARMM, a9 af (ayxye Rel, (ayxy0)* (ayoxyoe,) CR, g5° verifica: ) “ ime alt (er igsese} nla tguaidad (1) @9 consecuencta de 3.4.2 (Cap IX) en donde se id o2- tructusa afin candnica al conplenentario de un punto en una recta pro~ yoctiva. La igualdad (2) 90 verifica por ser Ty: nomagrat fay (donde 1, 9 1a exteneign proyectiva de 1a aplicacién atin iy) + wLa tgualdad (3) 29 consecuencta de 1s identificacién candnica cue per- mite escribir Yat ios siguientes resultados,consecuencia inediata del teorema anterior establecon 1a unieidad de 1a estructura afin sobre XeE-H, y la toual- dad:x = £, salvo honogratfas: Corotario En lag hipstesia de 2,141, of XeE-H es el espacio afin construide on 2s1e2, 80 verifica: 4) Dada una recta atin 8 de X, existe una dnica recta proyectiva, que denotamceper A, tal que RAK = A. Li)Recfprocanente, el espacio afin xaE-H, verifica 1a siguiente pro~ pledad P:"Para toda recta aroyectiva A de E no contenida en H, 9: 4 - AON con su estructura afin cangnica (dada en 3.4.2 Cap 1X) rec~ a oftn dex Denostractén: 1) 81 y R, son rectas proyectivas que veritican Ry XR, Xen» recta afin do X, entonces fy fp tlenen al menos dos puntos en co- nding ¥ por tanto Ryaty « 14) 51 2 es une recta proyectiva de Eno contentda en Hy entonces AAW aa un punto do A y existen al menos dos puntos distintos ay BEAK, A partir de ia recta afin R do X derinida por tos pun- tos ay by a0 obtione por 1) uria recta proyectiva R tal que ANX—R, ¥ B coincide con 4 por tener comunes 10s puntos a y bs Ast se tien ne RRA = 4-4AH quo eo rocts afin de x2s1e4 Corolarto La estructura afin de teE-H dada en 2,142 e9 1a dinfca vorificande 1a propiedad P de 2.1.3 14) Donostrecién: Ngtese que 18 propiedad P caracteriza a Lae rectas afines de x, y la razén simple St (apxjc) 08 un aistena de tres puntos (a1 menos dos distintos) sé bre 1a recta afin R de Xyoxiste una Unica recta proyective F de € con Rnxer, ¥ (a5xse)= [sR Hix,e) « Corotarto Ooo rectas afines RyRy de XaE-H (coh ou estructura afin candnica) son paratelas, of y solo of RH ARAM . Donostracis Supéngase 4! Si RAH =i,AH =x EH, las rectas R 4R, generan (por el teorema de OW Ry Ry Ps ineideneia) un plano proyectivo Pry R=, Hy RAR, AH son dos rec tas afines del plano afin P-(P/A) , que tienon interseccidn vacfa, Por el teorena de incidencia afin, se concluye que Ry y Ry son rectas afines paralelas, €1 recfproco se pruaba de forma ansloga, Corolarto ootenoe a KaE-H de au estructura afin candnies dada en 241:2: Ls aplicactén MEE derinida por n(xlex af xeK, y A(asg)eRiaH para toda recta afin de X, 0s una honogratfa que permite identi ticar: =F con fi » para toda recta afin R de x = % con H con donoatracién: La aplicactén h est detinids ain anbigiedad, y se blyectiva en vir tud de 20145. Nétese adense que h coineide con 1a honagratia ¥,:%—+ ya considerada on 1a denostracién dol teorona 2.1. Retomando.ta definicidn 1.1.4 del capVIII, 28 puede establecer una aparente generalizacidn del concepte de espacio proysctive afin: Derinicsén Un espacio proyective afin es una pareja (E,H) donde € es un espacio proyective, y H 9s un hiperplane de €x! tivo afin. Observese que si (EyH) @2 un espacio proyective afin, to- sando KeE-H se veritica que YeE sMynH ¥ por tanto (CyH)eKe Ejompo En el espacto proyective P,(K) se fija el hiperplane H de scuacién ¥,00. Entonces en X= (K)-He{{x,]/ x #0} 1a estructura afin canéni~ ce tanto A (K)=(P, (kK) 5H). Teaductendo al lenguaJe de le detinicién 2.1.7 anteriomios resulta dos do epfgrate 2.1 del capitulo VIII se tien: Teorena Dado -(E,M) espacte proyective afin, XWf-H entoncest 1) Para A suvaspacio afin de x, existe un unico X audeepacto proyac- tive de € tal que BAxek. danas Tbe oy, 41) Recfprocanente, 21 A ea subsspacio proyectivo de Etal que F¢H, enton~ Fin Xen es subespacto Ky y Teas Yenotanoa par GA(EWM)=2 A / Ae SAX} = {He GCE) / TAHhe NSte08 cue GA(EsH)< SP(E)» AESTRICCIONES AFINES OE TRANSFORNACTONES PROYECTIVAS Cone consecuencia de 241.6 #8 posible traducir sistenéticanente to- da 1a teorfa de espacios proyectivo afines desarrollada en el Cpi~ tule VIII a los eapactos (E,H) de 1a derintesén 2.147. Yastaquenos no obstante expifcitamente los siguientes concoptes y resultados: DeFintesén Sea (E,H) un espacto proyective afin, Una teansformactén proyective afin de (EsH) es una transformscién proyectiva de € que deja inv rlante ol hiperplano H. Escrtbinos Ga(E,H)={¢ FAGA(E,H) 08 un Ssomor= emo de grupos, 44) S£ AE GA(X) y Pe GA(K) 90 verifica F(A)=PUA).© ee Un Sxpacse proyees | I a | tivo de dimensién finita n 2, y H ae un hiperplano de E. Xe€-H es ol espacio afin construido en 2.1 5 Sif GAE,H) eseri- | loinc f, para denotar 1a restricesén de fake ty GA(K) y veritica tat, Se t= ldentargearé x cone yy con H, 2.243 Derinieién (Honologfas) una traneformacién proyectiva f de € que deja fijos todos los puntos de H (e2 decir, f(a)ea pare todo a¢H) ae denomina hdmologfa de € con hiperpiane central H. E1 estudio de 122 honlogfas se realiza me joe desde 1a prespective dol espacio afin xet-H: Teorane Sea féGA(E,H)+ Entonces ¢ es hanolegfa de hiperplano antral H of y solo af f, x Domoatracién: a8 una dilatacién del espacio afin XeE-He St F es honologfe , para probar que f es dilatacién es sufictonte de- nostrar (por 1.2.5 Cap V) que f, transforma cada recta afin on une recta paralel Si R es una recta afin de X, se verifica para R, FQ AH @ FAN H = eA eUH)= PRM) Fa Por 2,1,5 las rectas Ry f,(R) sén paralolas, Recfprocanente, o$ diietectén, entonces Fy puntos de as, alle Traduciende los elementos geondtricos de Las dilataciones al Lenguaje proyective so tiene: Teorena Sea f:E—2E une honologfa de hiperplane central Hy distinta do la aplicacién Adentidad, Existe entonces un Gnico punto © cn y aol *(caybp)ada“sb‘>ef(A)« Por 3.141 F(A) e9 aubespacio proyective de E%. Probemos que f transforma un hiperplano (cualquiera) H de € en un hi- perplana f(H) de EF En efecto: por 3.1.2 98 sabe que existe un punto pet-H tal cue A AHEM para toda recta proyectiva d que contions a ps Si A’ 08 una recta proyectiva de Econ f(o)e 4°, e9 acti ver que puede cons trutree A recta proyectiva de £ con f(A )=d’y ped . tone ANE # se deduce que F(A AMR ANCHE » y por 341.2 ¢(H) 08 hizerslano de Sean XeE-H X’xE"=t(H) los espacios afines correspondientes a (E,H) ¥ (E“,C(H))« Vaanos que tyix—sX" transforma rectas en rectast Si R es recta afin de xX, R o9 recta proyectiva de € y se tisne Fy (=F, Aa ALAN x)RLR)AX que aa recta afin de Xs ya que porhipotesis F(R) es recta proyective de E . Por otra parte ai R, y R, son rectas afines paralelas de X, entonce HMw a Ryan amy CHLOE) = TAIN FH) = HCD. Mal F(R) os paralola a ¢,(R,),¥ por 1a soditicacién introductde an 1.1.9 Cap V dot teorena fundanenta de 1a geomstrfa afin, se concluye que f, x 0 aplicacidn seniafin (sin hipstests adicional K’# Z, I). Aplican do shora 1a teorfa de extensiones proyectivas expussta en 3.3 Cap VIII, y tentende en cuenta el corolario 2.1.6 se concluye que Feat oo a nihonogratta Cetanoe ahora an conéictones de probar o1 recforoce det teorena 34267 ap 1X: corolaria Una biyeccisn f de un espacio proyective E sobre un eubrpo K es trans formacién proyective 10 aL conserva La re Yenostracién: Si dim #1, 01 resultado es equivalents al corolaric 3.2.5 Cap IX. Supongsse que dim E> 2: Si f coneerva 1a razén doble (def. 3.2.6 Cap IX) vorifica en particu- lar-la hipgteais de 3.1.3 y f es por tanto sesthonogratt Si Kez, entonces f 0s homogratta (pues ol tinico autorerfisn del cuer~ po 2, 8 12 identidad) 51 KAZ), tomando ¥ hiperplano de Ey XaE=H , x“=E-F(H) , 26 concluye Factimente que f,ik—?X" conserva 1a razén simple (utiifcase 3.4.1 44) Cap 1X)3 £28 por 4.3.4 Cap 3M aplicacién afin y asf taf, transformacién proyectiva, oe EL reaultads reefproco ee justanente el cozolarto 3.2.7 Cap IX Un Teorema Fundanental para rectas proyectivas Derinicisn Cuatre puntos ordenados (a,byc,d) de una recta proyectiva 4 se dice que estén en divieién arménica si [a,bze,d] #1 Proposicién S4 (asb,c4d) 90m puntos on divieidn arndnica de una racte proyecti- va A, entonces también estén on divisién arndnicar (byaycyd) y (cpdyayb) Dnostraciént Es consacuencia de que [ay (easeyd)~*s (e,dsayb] . (véase3.3.2 Cap IX). Observaciones 4) St (asb,ey8) eon cuatro puntos en divieidn arnénica de 1a recta proyectiva D, so dice tambiéi que {2,8} separa arndntéanente a(cyd}. NStese que on virtud de 3,3,2 no extate anbigiedad en 1a terainole- fafa, y 1a relacién de separacién aradnica a2 sinétrica 11) Nétese que on virtud de 3.441 41) Cap 1X, sf aybyeyd oon puntos de 1a recta proyectiva A entonces {ayby separa arménicanente afesd} ai y sole of (aicsd), 4, aot » 08 decir, 2 08 el punto medio entre cy den ia recta afin A-b 444) Una idea intuttiva de a separacign armdnica de puntos viene dada en 1a figura: Loe puntos y observar que 2,9), G@,s2) son Las diagenales de paralelograno de vertices 9, 42, +293, rt asf c es el punto medio del segnento definido por a, y a, Denostrarencs qué 1a conservacién de 1a separacién arednica caracte- wiza a las senthonograffas entre rectes proyectivas, Probenos antes el siguiente Lena de tipo técnica: Lene Si CiKW9K" os un Seonorfisno de cusrpos, entonces 18 aplicacién FRA tar que F(a dew’ y E/k =o :KH9K’, 98 une somthono= greta que veritica (erbse,d]° =[8(a), © (d)s ¥ (c), &(4)) para todo amerd eK « Denostracisn nétene que at aybjo ek o(Casbse))= of SP yu Tieh= Tha} =(o(a)5.or(b);e(e)). Por 4.5.2 Cap IV 80 concluye que 7:K—> K* e8 seniafin, y & su extensign os por tanto senihonogratfa. ba Sitiva afizmacién es ya evident:3.2.8 Perinteisn Sea fr At» A’ una aplicacidn biyectiva entre rectas proyectivas. se dice que f conserva 1a separscién armdnica de puntos af para todo ayb,c,d € A con [asbscsd]enL, 99 veriticn [P(a),#(b)st(e),f(d)] =-2 Teorena sea fi Aid’ una biyeccién entre las rectas proysctivas 4 y d¢ sobre los cuerpos Ky K’, entonces 4) Si f 2 sonihonogratia respegto a1 isonorfisme de cuerpo Lyk", ontonces [a,bse,d]"=[F(a),t(b)s¢(c),f(d)) pare todo abe, £4. En particular f conserva la divietén arndnica, 41) Rocfprocanente, ai ¢ conserva la separacidn arnénica y y K #255 en- tonces 2 senthonograrfa, Oomostractén: 4) Fisenos (asbye) tras punto distintos de dy sea t(asbye)= =(a°,b’s0"). Tomando h: dw K (respectivamente h’: 4’ K*) homogra- fae tales que h(aybjc)=(0y ¥ 41) (respectivanente h’(a“sb“se"=(0p%51)) ve que el diagrans os conutative, ya que jon sonthonografias 4: isomorfismo de cuerpos T:K+*K* que transforman (Oyar,1) en (0,',1) (apliquese una versidn ampliada de 2.1.7 Cap IX), Se tiene entonces para aybyc,dEd ¢ {rCa)sr(b)5 ¢(c),#(a)] #[h’P(a) ht (b)sh“#(e) yh Fd) cad <1 -seonsecuencia del lena 3.3. = [ab5ed 44) Supéngase que f consetve 1a separacién aradnica, Construyamas h y h* como en i) a partir de un terna (a,b,c)<4 de trea puntos distintos, y 2 & ie aplicacién que hace con nutative 61 diagrama: Nétese que F(0,% y1)m(0,%',1),Sea T= T/K:k 4K", Es suficiente dex nostrar (a partir de 3.2.4) cus 7 :K-*K’ es isoncrtions de cusrpost cone an’t nt, yn’, ¢, o> conservan 1a separacién arndnica, ae concluye que © conserva 1a separacién armdnica, asf ai b,c son puntosdeKy om es su punto medio, se verific (azbse)e-t= [eon bye] y por tanto [o(a) bs o(b),c (0)] = a1. 5 08 de ote)sa le cir (0(a)s (bs Ofe))a-Ls En cénsecuencta, oa) o- PEF ), en particular tomando on se tiene: fo). ¢(2) para cada Bek . Esto permite concluir que 7 Si xeK, tentende en cuenta que’ [3,x%5x-x] a1 98 deduce que Lay ofx)5 (xy 6G) Jann y por tanto (x?) 7 (x)? St aybeK tonando anxty bex-y 98 deduce que: OrCab = (xP oy) (x) 20 Ory) 6 TUE (YI) (7 (aD=e (Y))= Ta) T (6) Esto finalize 1a denastracién Por Gitimo por 3.1.3 y 3.2.6 1) se tiene: Teorema Sea f#€ rE" una biyectién entre espacios proyectivos sobre los cusr~ pos K y K’reepectivanente, Supdngase dim £2. Son squivalentes 1es siguientes afizmaciones: 4) f transforma biyectivanente rectes proyectivas de € en rectas pro~ yootivas de ©” 44) f 9 sonthonograrte 144) Emtate ok He KLsonorfiena de cuerpos, tal cue cualquiera cue sean los puntos alinoados aybycyd de € se veritica que f(a),t(b)»f(e) f(a) eetén alineados, y (F(a), ¢(b)s¢(c),t(a)] =[asbgcrd] ~~ Donostracién: 4) 9744) €2 ol teorema fundamental 3.1.3 14) =p 444) C8 consscuencta de 3. iii) Bi) sea 4 recta proyectiva de €, (a,b,c) sistema de referen= eta proyective en 4. Los puntes (a’,b’s0”)=r(a,byc) satan situados re una recta A’ de. Sean hs dusk , n'a “K’ Las honografias tales que h(asbyc)=(0,o¢ 41) , h’(a’yb’,c")a(Oyy'y1). Por hipétesis e diagrama: yf 4! k Ja! R= es conmutativo. Como hyh’, y F son biyecciones, se concluye que f es biyectivay decir f(A)ed’ s4.GEOMETRIA Y ESTRUCTURA PROYECTIVAS Das espacio oroysctives (EsE,5 74) (EsE:+ 77g) definides sobre ol mio- mo canjunto de puntos E s# dird que inducen 1a miena estructura proyec~ tive (sobre £) sf definon la misna razén doble, En general doe eatructuras proyectivas distintas sobre £ pueden indu cir ol mismo gruo da transformaciones proyectivas. E1 objeto Final de Sete enforafe 4 as por una parte caracterizar las distintas estructu- Fas proyectivas sobre © conjunta £ que dan lugar a le misma geonetrfa y por otra mostrar coro 1a geometrfa proyectiva de un espacia viens de~ torminada por 1a familia de sus rectas proyectivas El analieie de dstas cusstiones requieren ciertos preparatives que dan lugar @ resultades con interés prépio tales como aigunos teorenas de xtensign de hanograf{as, y una caracterizacién de las somihomograrias cone biyeceiones que conssrvan 1a gsonetrfa E y E” denotan espacios proyac- |tivos do dimensign finite sobre 4,1 Teorenas do oxzensisn de honograt{fas . £1 primer teorema fundamental de la geometrfs proyectiva (2.1.7 Cap Ix) nos da un priner eJenple de 1s posibilidad de construtr transforsactones proyectivasa lav que ae exigen ciertes reatricctones de partida, Uti- Lizarenos 0 teorena para nostrar otros resultados de este tipo que nos sezén de uilided ade adelante. 41s Teoreaa sean f& y A“subospactos proyectives ds €, y g:—>A” una honograrta, existe entonces una transformacin proyectiva fF: —>€ tal que t/hegs Ponostracidn: Supdngase A=P(A),A“=P(A*) 9 [9]. pase de € con (@yyeresd,) = A « Entonces (8(G,)4+++98(8,)) 08 bee de Ay puede extenderes a una base F’= Goer )eBlgyeeeedg) do, St Fes ta dntea transtormacién Li neal de £ tal que (j= 3” se conctuye que #/A =9 y por tanto f/aag y stondo tal). 4.162 Tearena Sean A, (respectivanents Aj) ie1,2 subsspacios proyectives de -E y CyEAy—#Al 101,2 honograttas,Supongase que A, kz = ALAS =H, existe entonces una transformacian proyactiva TEGP(E) tal que t/aet, y Sel,2s Demostraciént En virtud de 4.1.1 podesos suponer ain perdida de generaligad que AY MPpAHApEANStese que dim Ayedin AZ $142. Sh AyoPCAL) AZHPCK) ty(P,] “40142, utttizanda una téenton parecica a 4,161 , se pusde construir # transformacién Lineal on € tal que #/igaPy 601,25 y tomando ta(#) on thene F/agaty. Nétose que 1a transformacién proyective f no ee tinica (gporcus?). 4,165 Corolarto 34 (a,ya,9aq) on tres puntos distintos sktuados sobre una recta pre~ yoctive A de &, y scE-4 , entonces dada x: {042,2\-»10,1,2) permun tacisn, exieto 9 €GP(E) tel que g (a= a Demostraciént c(t) 2 OLE ay 9 Por ol priner teorema fundamental de 1a geonetr{a proyective (241.7 op 1X) existe te6P(4) con F(a,)=a,(qy {904242 Como Aniaj= fy 80 concluye sor 4,142 que extate 9,.€G°(E) con o,/4 = ¥ 9,(a)ea Ya, veritica las condiciones pedidass 4st Corolarto Sean (,42,529ya5) cuatre puntos de £ de los cuales no hay trés ali~ neados. Fijada 7 permutacién de {0,142,3) , waiste g26P(E) tal que 9,(ama,(1) para £=0)1,2)3. Denostracién: Sea Pua,ya,42,985)+ Si ol sistena 2 proyectivanents dependionte, enton: cos P es un plano » y (a,4a;¢8,48,) #2 un sitena de referenciasproy: tivo en P, Por ol ptiner teorema fundamental existe f transfornacién proyectiva on P tal que f(ay)= e(4) inDl2,3 « APlicando ahora 4.2e2 50 construye oy « Si (a,,2,,25983) 08 proyectivanente independiente, entonces dim P «3, y podenos olegir acP tal que (a43,2,42542) 90a sistema de referen- cla proyective en P. La construccién de 9. es andloga al caso anterior: See toms t E” es una biyeccién compatible con.las geametrfas, entom- ces 1a aplicacién ¢ :6P(E)sau9f ¢ fe GP(E") ea un Seonorfisno de orupes- 11) £1 producto de dos biyecciones compatibles con las geometrfas, tanbién es del misno tipo, y 0 veritica: (f f") Wf f’s ddyatd En particular 1a famslia de biyecciones de£ que conservan 1a geone: tria tiene estructura de grupo., que contiens a GP(E) como subgrupss Propostetén Si f:€—4£" as semthonograffa entoncas f 8 compatible con las geome= trfas, Denostractént Supotigase f semthonograffa respecto al isonorfisno o:K—K"s Por 2.2 cap IV, 9¢ concluye que si g 4GP(E) » el Ssomorfisno asociado a tottes esdo eid, y asf tg re GP(E’). La otra condicién a0 demuestra anéloganente. Teorena Supongase K con mas de tres elementos: 51 f:€—¥€/ o8 una blyecetén conpatibie con las geonetrfas, entonces f e9 somithonosrattfa Denostracidn: Probarenos que f transforma puntos slineados en puntos alineados. & plicando el a! “¥, se concluye que f transforma rectas en rectas, y por el segundo teorena fundanental (3.1.3 Cap x) que f es senthonograrfa. Sean (a,/a,+22) tres puntos distintos situgdos sobre una recta proyec~ tiva a de Es Cono K tiene més de tres elenentas, es posible elegir a5 €O-fajsaeay}, tal que Ae[a,sa,sayea5] #1, y asf Ag20415203} (pues los ay St en ol sistema F(a,ya,4ayy25)¥(aoa, son distintos). 1 neades, por 4.1.8 90 concluye que fijada T permutacién de {0,1,2,3 145483) na hay tres puntos ali- existe af€cP(E) con af(e{)m af (4) 49052,253, Por hindtests o=t €GP(E) y Yoveriticn 9a det tg” Fay)at 2g (af}ar (2Z(4y)= Ae¢ay Para 420415243 Como g conserva 1a tazdn doble (3.2.7 Cap IX), 90 deduce tomando ta pernutacion: Tconventente que dele, ay sazeeg] Ley: a y en particular A =-1 . Este contradice que Ag {1,-1) «ASL puss eM ed Sistema (a,,2) 48,25) MAY AL menos tres puntos aiines~ dos. 51 por eJenplo a; no esté situads sobre 1a recta 2, que contie~ ne a (#fya3,af) , por el corolario 4.1.3 se concluye utilizands un argumento sinilar al anterior qu J=(a,0a,58,00,]= Dguioeriea tesa y esto conduce a la misma contradiccién anterior. =([a,0a, 58,08, A a[ajsaysayy $ abservacién Nétene que en an espacio proyective sobre el cuetpo Zs, 1a rezin do~ bie A de los custro puntos distintos de una recta proyectiva Z om (por exclusidn, ya que A 40,1, 04 )igual 2 -1 cualquiera que sea el orden en que se onan. por otra parte, on Zz para A a1 se verifican las igualdades sate she per le que el argumento de 4.144 no puede tnctuir ei caso Kez, (ni pow supueste Kez,) Estructura proyectiva, Eetructuras cus inducon le misne Geonetrfa. Sea € un conjunte de puntos eobre el cual se han definido dos espacios proyectivas (E,£,47;) » (EsEy+772) cue denotanos abreviadanente por (Ep) ¥ (E47y)+ Sean ky y K Si a,b,e,d son cuatro puntos alineados on (E,7,) , denotanes por los correspondientes cusrpes bases {aybseyd), su razdn doste (i91,2). GP(E,T1,) denotan 1os correspondientes grupos proyective 2 Derintessn En las condiciones 4.3.1 58 dice que “7, y 71, deftnen 1a misna estruce 7, ¥ Ty definen La misne ra tura proyectiva sobre es deci 4) (€, Ty) y (rT) tlenen Las misnas rectes proyectiv 41) 84 ajb,09d son cuatro puntos alineades entonces Cesbseve], esd], Gen particular Ky=K,) Como consecvencia 1a caractrizacién de honogratfas por medio de 1a razén doble (3-144 Cap x) , y 1@ propia definicidn de honogratia , ce tiene el siguiente resultado: Teoroma En las hipétests de 4.5.1, son equivelentes las afirnaciones: 4) 71, ¥ 71, definen 1a misma estructura proyectiva sobre & 41) La aplicacién identidad id:(E,77,)—> (E,715) e¢ homografts 144) extate © :€,—» £, isonortiene Lineal cue hace conmutative el diagrana:4,34 Corélerio Sean X,=(K5%y9 44) » Xp=(XpXqy4y) dos espacios afines sobre el mis ma conjunt X, que inducen 1a misma estructuzasfin sobre x ( véase 1.2.6 Cap IU). Entonces las estructurss proyectivas-sebre X =xu od inducidas gor %, y %, coinciden, Oenostracién: UEALizendo 443.5 6) Cap IV se deduce que id:x,—¥Xx, es aplicacidn a arin , y su extensidn proyective {a:%,-5%, es por tanto homogratfa, Derintetén En les condiciones de 4,31 s0 dice que 7 y 71, inducen a etsna geonetrfa si GP(E, 71, )=0P(E, 71) obsergacién Aétose que si 1, y 71, definen 1a misna estructura proyectiva en E por ser 1a razén doble invariante carscterfstica (3.1.4 Cap x), 60 deduce que 1, y Ty definen 1a misea geonetrfa proyactiva. Sin en barge cono verenos, no se verifica al recfproco: Teorena ( Se supone que el cuerpo K, tiene més de tres slenentos) En Las condiciones 4.3.1, las afirnaciones que siguen son equivalentes: 1) 71, y 71, detinen 1a misma goonetrfa proyectiva A1) La aplicacién identidad, id: (€,77,)—> (E,77,) 08 somthonoaratéa 11) Las rectas proyectivas de (E,11,) y (Es7) coinciden Denostracién: A)épit) NStose que 1a afirmacién i) equivele a decir cue 1e aplica~ eién Sas(E,7 1) -¥ (Ey Ty) 08 conpatibie con tas geonetrfas, sects apli-| car entonces 4.2.3 y 4.244 para probar 1a equivalencta 44) @ 451) @9 conseousncia Anmediats del segundo Teorena Fundamental de 1a geonetr{a proyectiva. Obeervacisn En ot caso de que (€,77,) y (E, 1) estén derinides sobre ol misno cuerpo K que no adnita autonorfisnes distintés de la identidad, (cor eJempla KeR) los concepts de Geonstfia y estructura se determinan en~ tre #4 biunfvocanenteCLASIFICACION OE CORRESPONDENCIAS EN UN ESPACIO PROVECTIVO dos correspondencias prayectivas on un espacio proyective £ 2¢ consi~ deran equivalentes, of au "expresién analftica" puede ser formalmente la miena , reapecto a siatenae de coardenadas honegéneos adecuadanen- te elegidos, Esto signitica que ambas corresponde: ae ven actuar de 1a misma forma respecto a puntos de vista proyectives aducuados, Aef por efomplo , 20 puede intuir faciamente que dos honologfas de ta miona razén son proyectivanente equivalentes, ya que 1a actua~ eign de este tina de traneformaciones puede deacribiree geonétricanen— te ein utilizar sistemas de coordenadas, (vase 2.2.5 Cap X) problema de claeificacisn proyectiva de correspondencias se resuel- a partir del Teorena de Jordan ( 4, Cap III), y es el objetivo final, este capitulo, |atnensign n zi sobre ot c Ly EQUIVALENCIA PROYECTIVA OE CORRESPONDENCIAS. INVAREAWTES 1s Intzodu 1.141 Oenotanos como es habitual por CP(E) al espacio proyective de las co- rrespondencias proyectivas de & . Recardonos que 12 estructura proyecti-| va de CP(E) viene definida por 1a aplicacién “set (€)~(o}9F 9 (flece(e) (vase 3.1.6 Cap 111) En particular of caP,(k)=P, » CP(E) se identifiea con CP(n) Lins) ={(8)/ % eki(nti)} con su estructura proyactive canénica. 1.1.2 Proposicién Sea € un sistema de referencia proyective, y € 1a base do & induot- da por é. La aplicacién m,:CP(E)a(F]ux(m;(#)]ecP(n) depende solo de & , y os tuna homogratta con My =[Mg]e Denostracién ce(e)- Basta comprebar que el diagrana eL(e)-t0} 28 connutative, y que para todo \ek-{o}se veritica tele3 Obsorvacién née son las ecuaciones de f en e) sistema de coordena~ das inducide por &.Parece puss natural 1a siguiente definictén: Derintetén Doe correspondencias proyectivas f,t’ 60 ue honotseta de centro © que tiene por ecuaciones: Jeon tas coordenadas honogéneas on E sspctadas ab sistona de cooréensiea cartesianes de partica ( 92 decir X= 3°) Oe ésta forma cualquier homologfa de razén 440,1 pt faiftivenente por 1as acuactones (1) resnecto a clertos sistemas de coordenadas honagénes®, y todas son proyactivanente equivelentes, 31 Vat, 20 prueba de forms anéloga due puede obteneree para f una sxpresiin anaiftica de 1a forma: 7 i ye) (2) 2) eal Ce respecte a cierto oistens de coordenaded honogéneas. Recfpracanente , 189 ecuaciones (1) y (2) repreaentan homologfas de ra~ zones }y 1 respectivanente. af ot f os honclogfa de razén Ao, y 1 es pie a f entonces fYadmite una representacién analftica del tine12.8 1s 1.3.2 (2) 6 (2) 4 y asf f’es hamologia de razén 4 (utilfcese 1.1.7). Invarientes proyectivos. Planteantents del prople elaoi ta Derinietén Un inveriante proyective en CP(E) es una aplicacidén 3 de cP(E) en uw conjunte A de forma que 3(t)= S(r’) si fy ¢” son py E jonnio La aplicacién A:cP(E)-7 K tal que A(f)_0 of f no es homologfa, ¥ A(t) es 1a azn de honolegfa en caso contrarie, es en virtud det ejemplo 1.1.9 un invariants proyective, que es suftctente para 1s cla- stticactén de honologfas de CP(E) Defintet sn Un sistema conpieto de invariantes (proyectives) ea una coleccidn (Byreeen F,) do Anvartantes tates que F,(t)= F(t") telson? Smplica que f y f” son proyectivanente equivelentes, £1 sistema 9° dice irreducible, 9 ( Fyse0y 5.) - (Fy) ya no es sistema complete do invariantes para telysses? La solucién completa del problema de clesificacién proyactiva de corres Pondencias consiste en deterninar un sistena complete de invartantes (Byseeey B) ¥ una coleccién J de matrices 3 de Jordan de forma wer Dado f €CP(E) aueda determinarse a partir co F,(t)seey FCF) ube matriz 3 de Jordan talque M,(f)=[3]para cierto sistema de referencia prayective & de E. Por otra parte, en virtud de 1.1.7, 9f dos correspondencisa proyectivas edeiten representaciones de Jordan [3] y [3°] entonces son proyecti~ vanente equivalentes, af y sole ss lo son [3] y [3¢] “ef puee interesa ré dar criterios practices para raconocer cuando Caly(3‘] son 9.0 Para astablecer ol teorena general de clasificacién de correszondenciss proyectivas, son aun necesarios algunos prerequisites: Senejanza de polinomios Prelininar KC4] denota como es habitual ef anillo de polinomios sobre el cusrpe K en 1s variable t St pele] ld}y deK-fo} se denota por aP al polironto AP (HI=APY(t/4) stendo m el grado del polinomis « St por eJemmlo (tata, 14. .etaytta, 5 entonces se tione ple ha ted g te Aoen particuiar, oi Y= a, ee pea,» ot Plt/atta, os No ee dificil establecer Les siguientes propisdades: Teorena Sea yeKLt]-io], eK ~i0). Se verifice entonce: Dy Pep) para weK-0. P= pe 41) $4 p 8 mdnico de grade m, entonces 4 es ménico de grado m 441) 81 Pap.eep, ontonces j= Polinomie primo, también is es ,p. Yer a, ap, + Em particular si p es tv) 54 p aol, ..6RF o8 una desconposieién de (P an factores prince, enton coe jPa,pileee,o8F e9 una desconposicién de Yen Factores prinos, Donostracién: Lae apartadss 1) y 44) son ovidentes, Probarenos sit): pera P= 9, stm ym ¥ mz son tos grados respectivas dey, \y yy oe tone mamtny y {PCED {Plt A™ yp (t/A JAMZ Pa (t/A Y= A” PLEA Y= pled La afimacién tv) se deduce ya trivialnente de iit). Derintetsn Dos polinomios Py 4 é Kt} s2 dicen semejantes st existe 1 ¢k-ireal que ¥ = AP. °e denonina e A razén de seneJanzae Propoatetén La rolactén de sene janzy definida anteriormente » 0s relacién de aqui~ valencia en K(t] =J0), 30 denota por yk/t] al conjunte coctente. Donostracién: fo inediata o partir de 1) de 1.3.2 Observacién 5k potTea, je + eo tthe ty tH, 1 si poten st Thestayttay + Yo eH, jt eet HB, son coding ios seneJantes de razén A ek -{04, entonce phere eaa. the, Tate Aas Y(t) » y esto equivale & das ara todo Jelyesesme Aan snes Pare todo J o En particular los polininios t=); t~ A, (Ay#0) son seneJantes con raxéa beAV/ A,» derinieign rs 88 un subconjunto de K[t]-|o), y Ae K-{0}, escribimos 4 P/¥¢S7. 00s Familias S y S‘de polinimios se dicen semejantes atexiste Ack-0 tal que S’= 45. La relacign anterior, es obvianente de equivalencia sobre as partes de KTt]- 0. Si ScKCt]-10}, denotanos por yS su correspondiente clase de equivalencia.2, TEOREMA OE CLASIFICACION DE CORRESPONOENCIAS PROYECTIVAS En este apartada ae desarrollaré el prograna estozado en 1.2.4 Statens conpleto de invariants Se denctaré con ee habitual X y Mp al polinonto caracteristice y minino respectivanente del endonortiano lintel * de € (véase 2.3 y 3.2 cap 111). £1 siguiente resultado os crucial, y muestra 1a utilided del concoote de senejanza de polinonios para conectar el problema que nos ocupa con el de clasificacién Lineal de endonorfisnas resuelto en el Capitulo 111. Teorena Sea ? endonortisao lineal de y ck -‘0b Se tiene entonces: 1) gm Xp g 1) Hye Hy Denostracidn: 1) si 2 es base de & y nm, (F)aa so tions: Kypltdedoe(tr~ dndedot(A( Hr = aye s™eot( £1 - ale aXplt). YekCt] y el grado de ip es m ae verifigan las equivalencies: p Pao» 2’ pdb yao emp (A F)e0 « En consecuencia, tode pelino= ato feK[e]~(0} tat que Y(Af)aD veritin 4 (Pao y yeah Hy pam Fa chert ZeKIt)s y=. Cy ¢)= Bhp + En consncuencha ,HeH, zo Coroterto Las aplicaciones ¥:cP(E) > telf]-> X= ,X peak lt] ,y P(E) > tal?in bpm Sps,Kit] son invarianates proyectivas de cP(E) Oenostraciént Si te (Fl, t’=(?Json correspondencias proyectivas de E tales que f os pee af", entances existe Ae K-10} tal cue fies i.e 4?” y por tan- to pe Hpm ykg- (roapectivanente, bynf,¢=,83-) 5 por tanto Xp = 5%$- C7 Age 4hp-) como querianos denosttar. Para establecer el teorema de clasificaciin ee necesita aun del siguien- te Lema técntco Lone Sea péKlt) de grado m, f ondomorfismo lineal de fy A K =f0h enton= ces Fa(p(F))era(,p(A)) danastracién 0(,0(A P))m ral A™pCF) erg (0(F)sea telf]ece(e) con Bp apMleeent® (grado de py igual a ¥,) La a composieidn en factores prince del polinosio afnina de f, Entonces: 2),f0, lo de 1a corzespondencia f ate (p ju £9604 F)4) 44) Para cada py 1s o Pylon 220. detinen save riantes proyectivos en CP(E). : 414) 1 atstona de invartantes descritos on it) constituye un sistena com pleto de invariant La correspontencia proyectiva f adaite una representacién enaiftica do 1s rorne: (5()f [i] respecte « cterta states de coordanadae nonogeneas [%,], siendo Suna natriz de Jorden asociada ai endosorfino Lneat 7 de € (vease 4.4.3 Cap 113) Oenostracién . 1) £8 una facil consecuencta de 2.51 11), 16342 414) y La doriniclon 1.3.6. ji 44) 50 deduce dei tema 2.1.3 y do que 72(04(F)") son invartantes 14 pealéa (véase 4.2.2 Sap 111) LLL) Es consecuencta de que los invariantes *9(P3(#)#) consti tuyen lin statene complete de Aneartantes pare 1a clesificacién Lineal de endonortisnce (4,242 Cap 112). Estaplezcenss por ditino un eriterio practice para reconocer cusnde dos elenentos de 1a forme [3] y (3‘] (donde 3 3 ‘aon matrices de jor- dan) son proyectivenente equivalentes otactén Recordenas que una natriz 5 de Jordan (correspondiente al endonortis- no 7 de 3.144) 09 de La forma Sudtag(S{o,)ou0045(0,))» donde pare ye P= A) 08 Todmdiag Clash y)oeee4Cl4k,)) siondo > ane BRO A), clopkde( 8?) ) Rp a(o)/ cada 929 (an, con A(p) Ny como en. 4,544 Cap TIT, Denotando para cada JeK-10), A(p)=A(,p) » convendrence on escribir 2F(p)mdtag(C(sosk,DoeeesClaPekg)) 6 ¥ Ieddag(,3(0,)eee934a,)) En estas condiciones ae tiene el siguiente criterio: Proposicién Sea fun endonorfiene Lineal de €, y Suna repr! ién matricial reducida de Jordan para ty A€ K-40h Entonces 8 una representa=son Linesinente equivalentes, Donostracién: oa Fpn"l...p"F ( Ym grado da p,) 1a descompasicién en factores ari~ Sea Gynafl.e.at® ( Y= grado de p,) tores ari, mos dol polinomio mfnino def. utiiizande 2.2.1 11) y +342 tv) e@ ve cus Gig = hp asTleegoM® , y para cada Selyveeyr y role a 2 ota (af) (véese 2.2.3) Ast si. *Saataa( So » dan de? deducida (par 4.4.2 Cap III) de tos invariantes de rango,s0, coneuys que ,Sediag(3(,9,)s++»5(,9,)) @8 18 correspondiente a 47, La Gitina afizmacién es consecuencia de que 43 y 43 son das repre- sentaciones matriciales de}? , y por tento son linealnente equivalen- tea, Cerolarie Dadas dos matrices de Jordan J y 3’, entonces [3] os proyectivanente equivatente a [3°] si y solo si existe dek-/o) tal que S’y 33 son Lineaisente squivalentes, En particular 4” se obtione a partiz de 43 oor pernutacién de caja. Denostracién sufictente obsecvar que [3] es p.e. a [S‘Jos y solo ai existe » no mule con AJ l,e a 3°, Aolfquess ahora la Gitina afirmacién de le proposicién anterior. La Gitina afirmacién del corolaria es consacuencia del criterie de equi~ valenci Lineal de matrices de Jordan dado en 443.8 Cap IIT. woe 729 0), (no 0) gle i e) a 20) su 1 2) entonces Sy 3 do hecho se tiene que 9° es Lee a ta mateiz 35 = (> Y 42 yz ya que By(t)e(t-2)(t2) yb to1) (t+ $ Observacidn . En general, cuando los Factores irreducibles del polinonic afaino Lineales (por ejenplo si K es algebraicanente cerrado), 01 criterio aractice para reconoce? cuando dos m trices de Jordan son proyectiva- mente equivalentes, es sue salvo permutacién de cajas se pueda obtener una de la otra multiplicands por un ascaler no nulo los térainos de la diagonal principal.2 2 Subespacios Lnvertantes de una transfornacién proyectiva Definicién Sea f una transfornacién proyectiva de E+ Un subsspacto A de E 20 dice feinvartante(S invariante of se sobrentiende f) st F(a)c As Nétese que 1a condseién anterior equivale a decir que r(A)ma, pues din t(a)mdin Ay Se tiene 1a siguiente caracteri zack Proposicién Sea falP]ecP(c) , y AeP(R) subsspacio proyective de £, Son equivalentes: 1) A e8 feinvariante i) @ os F-invariante denostractén 4) 244) Supongase A f-Lovariante, of GeFvorentoncss Clea y F(Lal)=lF(a)Jen » luego F(a) ¢ Re £1 recforoco sa prusba de foena andloga. Corolario Sea fe [Ff] eGp(E). Los puntos fijos de f son exactamente los puntos 8) da € definidos nor autovectores a de F . Observaci: a) La Anterseceign de dos subesnactos invariantes eo siempre invarian~ ta, sin embergo no puede dedirse lo misno de la suma, como verenos mas adelante en algun ejemplo. b) Para cuerpos algebraicanente corrados, toda transfornacién lineal adnite un autovector, es decir, toda transformacién proyective adnite algue punto fi Jo. Calculo de hiperslancs invarientes Los hiperplanos invariantes de una tranetarmacién proyectiva tal?] de E son loo puntos invariantes de 1a transformacién dual 26> He tle E*. ( veaae 1.3 Cap x), En 1a practica 1 calcula 90 realiza de 1a siguiente format ih St € [é] es un stotona de referencia proyective con coordenaass | :°] tas somesarns Ga £00 session do 10 tormes[ A(T) ef Te tends fetg(f). St upeytesshigtyed 0s un oe ——_C ri sustituyenda an La anterior scuscién cade x, fer ou valor a partir (2) en Fanetén de xj, o2 deciz, tomando un(ujsee-st,) yx =( 2 )80 tiene: Hz(u x= 0) y H’r(u A™*x’= 0) por tanto uu [or (ef (ef ta tovastonce ao ne enor [H# 6 do forma equivatente (7°) a(:°) para cierto Ae Ko} \un/ Las, Es decir ios hiperplance Anvariantes W se obtienen s partir de oe autovectors do i®, Clasiticacién de las homograt{as de una recta proyectiva eT Q=0(A) 09 una recta proyactiva sobre ol cuerpo Lx. Defintesén una transformacién proyectiva f ¥ Las rec~ tae invariantes eon las que pasan pore, » ¥ adends, 1a recta base,ees \o 0 2, % a f es una transformacién proyectiva con puntos fijos e4+0,+8) » ¥ rectas invarantes, las determinadas por dichos puntos 109 Sea oo & f es homologta de base 1a recta a9(#,48,) y centro 2, . Los puntos. fijas son los de la recta 8, y son rectas invariantes, todas las que pasam per oi centro 1 0 0 Bea. oo A f tiene unicanente dos puntos fijos 49, y; dos rectas invariantes Keys» ¥ ¢ o f tiene un Gnico punté fijo ye, y una dnica secta tavariante 182 (que contiene al punte ri Jo) fo, 0. aN defo oo a) {go 1 @ La transformacién f tiene un unico punto fijo*, ¥ una Gnica recta invariants ,(@,,8,> ( sus no contiene al punto fijo) observacién NStese que 12 configuracién geonétrica del conjunto de puntos fijoa, euande consta de més de un punto, detrenina a1 tipo prayective de la transformacién (24441, -244,2y' 294335 204.4 ) Cuando sole hay un punto fijoy °s preciso recurrir a eu posicién rele tiva respecte @ la Unica recta invariante (2-45, 264.6 )CAPITULO xII FORMAS CUADRATICAS, CUAORICAS PROYECTIVAS En eate Capftule & denota un espacio] vectorial de donensign nti soca un cuerpo K de caracteristica distinta| fs dos. E=P(€) os 1 correspondiente | pacte Fijado ei sistens de coordenedas ( dn doi tipo @ =Zajx, (ae K) representa una foraa Lineal que ~ sf on ea iden ticamente mula = da lugar a un nipersiane proyective H de E de scus~ én Zrayxy = 0 + Oicho hiperplano determina 1a forma lineal & sal~ vo constantes muitiplicativas no nulas, y 1a identifivacién wel?) pornite estabiecer una estructura proyectiva candnica sobre 1a famiiia €” do hiperplanos do E. EL objetivo de este capitulo consiste inicialnente en desarroller un quema andloge para expresionss de 1a forma = Za, aed atlas donominadas formas cuadrdticas. La ecuacién Za, = 0 representa~ Faery Senominada una cuddrica en el espacio proyactivo r& ahora to que se: Ey y seré posible der estructurs oroyectiva al conjunte Q(€) de todas elles. £1 estudio de 1 rolactén de ortogonalidad (poleridad) indueida por una forma cuadrética (cuadrica) oa el ingredients geenstrice fundamental deosta teorfa , y prepara el camino para determinar axpresiones ana~ ifticas reducidas. Cote erg el Gitine tena del capitulo, que estard planteads de 1a forma habitual, es decir, coma un etablene de clasifi- cacién geonétricer 1, OEFINICIONES Y RESULTADOS sA5ICos 1:0 Formas bilinesies y cuadréticas, Cusdricas 11st Dofintesén Una forma bilineal en £, es una aplicacidn @: E+ k cue os Lineal respecte a cada componente, os decir, para frdeby dyn ek > 4) BCAR tp Fe 44K) 4-070) 41) GG, AR Ep He IGG,5) 44.4 La forma bilineal se dice sindtrica si G(%,$)=0(F.%) para toda & Ve F.1.1.2 Ejempios » Tomando f=), , para $m(2°) 20 dorine: 102 p endl o

Run A(R)e K , 08 una forma cuadrética en F con forma polar Gz:hiF> (8,9)-¥ A(R He K « Domostracign 28 BCA R)ma(A Re A7G Che VEER. 8 veritica: 5 (Gz (R49) ~G, (5)~Gg(9))=8(KF). « Esto concluye 12 denostracién, Obeervacsn st Vepek @ si, son formas tilinesles sinetricas on @, v4, 4, son las corresnondientes formas cuadrdticas asociadss, 28 define BeAdt pi, do re forma BR H=AG IAB, G9) oe AGU pa, 08 tal cue = 4, CIHR E,H) Se prueba de manera totalmente trivial que @ es una forma bilineal simetrica con forma cuadratica asociada G. Por otra parte’ con estas operaciones el conjunto de formas bilinoales imetricas, y el de forsss cuadraticas sabre £, son espacios vectoriales, ¥ 8¢ denota = ambas oor 01 simbole a(€). Le razdn de dsta anbiglledad esté on 1a siguiente pronosicidn, cuya demostracidn osté contenida en este misma epfarate: Proposicién La aplicectén @-»@ que hace corrasponder a cada forma cuadratica su forma polat, es un isomortisms Lineal entre espacios vectoriales.Une cuadrica q de € ea un-efemento de la forma qe{@) donde @ es una forma cuadrética (no nula) de &, El conjunte de cuadricas de E, es el espacio prayective P(a(E)) construs| do sobre e1 espacio vectorial Q(), y 10 denotaromos por Q(€): fNétesa que una cuadrica viene detersinada per una forma cuadrética no nulay y dos formas cuadrdticas determinan 1a misna cuadrica of y sole 84 san proporcionales. Cone {edtropas Puntos de una cuadsica Darintesén Un vector &«€ se denoming isétropo respecto a la forma cuadrética feat) st AC Propesicién 81 Ze a2 un vector isotrope respecte s G det AvaO . EJemplo La forma cusdrética @% de 1.1.4 ee no degenerada ef y solo si ¢ 2, ORETOGONALIOAD. POLARIOA | En este epforate ce trabaja con Juna forma cusdrética tija @ sobre £ . & denota su forma polar, 2.2 Bango 2.141 Proposicidn (derinietén) A partir de la forma cuadrética G, y fijado Gc ee define a (G)E oR AG KEK. Se tienes 4) Le apiicacién 8°(3) 2 1inoa para toda Geé 44) La apiicacién G22" 5a §"(&) ¢E" on Linval. S0 denomina aplica- eign Lineal asoctada a la forma cuadrética 4.La denostracién as elenantal si 90 tiene on cuenta la 1.141 de foena bilineal. 2.142 observacién Aplicando 1s natacsén “anbigtla" para sapacto dual (1.1.5 cap TI), 80 verifica 1a tdentidad: 8(8,6)=(8"(4)/6 para todo 3, Geb. 2.143 Teorena 8 una aplicacién Lineal 2 cu baee dual entonces Denastracién 1) 8 Gy8,e08) denota 1a forma polas correspondisn-| é te» para tode G€€ 0 tiene: (CARH A204): (B)/6)=( AsO, + A,8,) (445 )= 9,8, 8,84 2,8, (28 A103 (2)+ 4,43(8)/6) para toda b €, Oe acuf se concluys i). If) Teniende on cuenta la identidad de 1.1.11 CapII referente a bast ) , se tiene para Ae| B® x, Va, aj * B= Z OY dx, = 206 fo eye ZQ0,/e em Za J Beast Como consecuencia de sate reuttado , resulta coneistente 1a siguiente dorinsesént Derintesén Suponsase @ #0 , y ow l4)s 1) Se 11ana radical de @ y se denote por rad @ a1 nucieo de 1a apli- cacién lineal GY asoctada. 44) AL conjunte P(rad @) = rad q se denomina conjunto de puntos siagu- Lares de 1a cuadrica, 444) Se denomina rang de 1a forma cusdrética % (29 @) y de 1a cuadrica @ (r¢q) al rango de 1a aplicacién linear @*:€.» t*, iv) & ta cosrespondencta proyectiva d'=(@'Kie = rad q—y € , #0 denoni- na correspondencia de polaridad inducida por 1a cuadrica a,Zse8 Gonsecuencias innediatas 3) si & 09 base de Ey me (G)ma y a =[é}entances rg qe rg G= TEA En particular se thenen las equivalenctas: & no degenerada av 9 cuadrica prépia ardet A x Oe? @* isomorfiona Lineal 99 G = rg G antl erred G = Gerad gad. a) 8h OK 444) Como rq @*4dim(Ker @*) = nfl 90 tiene 1a formula: a @ + dim (rad @) = nt @ Teniendo en cuenta que rad q=P(rad @) y dim(rad q)= dim(rad 4)-1 : 'q.q ¢dim(rad q) = 9 (2) iv) Nétese que rad qcimq ya que sf aeii}erad gp eaGerad Gy se tie. ne G*(8)=0, por tanto (8)=0(4,8)=(G"(8)/8)=(0/a)m0 yy acim a J 2.166 EJenplo €1 rango de a cuatrica af=[é¢] (143.7) 2 igual a py ye que Pos @1 rango de la matriz A= diag(-ly 72 6 y-lyty 2701,06 6 040) hiStese que 1as scuactones do rad gy rad Gon xyyyH0 } 4 2.2.Qetogonalidad y solaridad, Oefintetonss antesén 4) Si4jbeF 20 dice que a es ortegonal a & (respects a @) of §(4,8)=0, y escribimos 416. 44) St an(G], be (B]ee , se dice que a y t son conjugados (respecto a la ecuddrica q) si 816 (respects a @) y se eecribe ait +242 Observacisn fdteae que 1a parte 11) de 1a definicién carece de anbigiedad, pues st @ 08 ortogonal a 6 respecte a 4, entonces A es ortogonal a no respecto ama para todo Typ! kek= Os 2.2.3 Oetinieién (propesteién) 41) 81% es oupconjunte de €, 01 conjunte S={sef / 413 para todo 88 subsspacio vectorial de € y se denomina subespacio ortogona} 2 3, i) S15 es subconjunto de £, ef conjunte S=[acE / als para todo s< 5}. eo subenpacie proyective de E, y ee denomina subsspacio polar de 551 4b¢5 414, eK 20 thene para todo $ eS: 0 Mab .8,8)=\(G,5)4 1-0(6,6)a040=0, luego Aag- bed 11) Notese que 21 SCE ae puede construir un Gnico cf tal que 5 ={(31/ G68- Of (brevenente, S=P(3)), y se veritica sa(64), Propestetén 3) +a rad G 41) 4 rad a Denostracién 4) téteae que rad @ = Ker @ 34408 / G(ase)=0 4) £1 siguiente resuitads relactona le ortogonalidad respacto a la forma cuadrética q con 1a ortogonalidad dual estsblecida en 3,1 Cap II 5 Torsens Sea $ subcanjunto de & , y G*2€->€* 1a aplicecién lineal esociada 3 4 tiene entonces: § = G(s)” = (f4)72(s") Oemostracién Sea def, 98 tienen las equivalencias: Se Sew BlGy2)m0 V5eS em (6/0(8))=0 V8 e Sem Be OE)” Ge Bem 08,2)= (GG) /)a0 V 8c Sm BMA) E SMe Ge (a) corolerio Sea A subespacio proyective de € . Entonces: atm a(R)” = (a) PCa") Denostracién Sea A =P(i), te veritica 7 at ep (A) =P( G°(A)%) = PCG (AD)Y =[a" (O(R))] “=a"(ay La otra {qualdad se prueba de forma anéloga Propiedades operstivas de las relacionte Je ortogonslidad y polarided, Convento de notactones ‘a simplificar la exposicién, describirenos de forma sinultinea las proptedadss de la resacién de ortogonalidad y de la de polaridad og. bun © siguionte convenio de notaciones: X donota indietintanente al espacio vectorial £¢ al proyective E. SA 8 08 eubconjunte de X, 90 denotard por $+ al subespacio ortogonal respecto a @, of xe , ¢ al subsepacio poler respecto a 1a cuadrica q 1 t= £. En genersl las denostracionss ee ofactuarén solo para el casoLas regles de manipulacidn del operador 1 pueden sistemati: los siguientes puntos: SiS y T son subconjuntos de %, entances S Dopostracidn: Tomenos XE . Camo $c(S) por 2.36208 st>a eLa . Esto prueba it) 411) €2 consecuencia de 2165 y de 1a propiedad w= ia tv) Nétese que oi wl att, por 2.2.10 02 a= athw H* , y por tanta OH) fxt/ xe] ak a {ees wentDos formas cuadréticas ( ¢ cuadricas) se dirén equivalentes si adniten una misma expresisn anaiftica formal reapecto a sendos sistenas de coordenadas adecuadanante elegidos. Plantearenas el correspondiente problena de clasificacifn dede el suns to de vidta de 1a actuactén dei grupo de transforsaciones, y lo resol~ verengs on el caso real y complejo, Equivslencta lineal y proyectiva Sea €’ espacio vectorial y £“=P(E*) el correspondiente vspacie proyectivi Proposieién sea #1 @—y€° una aplicacién Lineal. 1) SiG 08 una forma cuadrética en €* con forma polar @” , entonces es una forma cuadrética on @ cuya forma polar os +E 2(G,6)—9 (FG) FED K 44) La eplicacién #* 20(E“)-—sa(€) e2 1ineat Oenostractént 4) La aplicacidn @ definida en 4) 8 claranente forma bilineal aim trica y Q(ay)= G°(#(6),7(4))=(2 67) (4). it) st 468; 0€) 4 Aye AyeK ontoncoe PC yay AG 3) CBY— CASTE 4989) (FCB) = Ay (4z-7) (2D# 4, (G3. Be OAMape aap Propostcién si FEE’, °° son aplicaciones Lineale: (B.F)"= FAG, Adonds (ATE 27F* para too eK. En particular of Fif-¥€’ o2 isonorfisno Lineal se verifica que #%:a(@)u» a(€) o2 teonorfisno \inaal con (#)MaG-}* La denostracidn ee elenontal. Teaductende estas ideas al Lenguage proyective se tiene: Corolarto si e[F]s€Us8* 09 una honograrfe , 1a aplicacién CE] :0(6°) > geld Jaw Ma )=(*4(G)] € a) 28 homograrfa. Adonde of o£ i»"* 9s ota hanogratia entre eapacios proyectivas eo veritica (get)*attsc*s En particular () a(t. Denostracién: cone (A #)*= 7, 1a derinicisn de f carece do ambigtiedad. Las dendo afirmactones son triviales a partir de 3.1.2Volviende a 1a notackén 2.3.1 , y aseribiends G(x) Para expresar el grupo LCE) 65 GP(E) sequn wl S tiene 1a siguiente defini-| torolarse (deFinteisn) La aplicactén 6(x),4(X) (Pa) PM (q) @a(x) eetablece una actuacién pot la derecha del grupo ds transformaciones sobre el conjunto a(x) (de formas cuadréticas de®, si xe€ $ de cuddricas de E si XeE). Doe elementos gyd@Q(x) se dirgn equivalentes sf existe fe G(x) tal que q’=f"(q), La relacién es de enuivalencias 31 Xe 90 Lema equiva ela Lineal de formas cuadrdticasy of Xef, equivelencia proyective de cuddricas, La denostracién 09 Annediata, Propostetén 0s cuadricas g=(4], a’=[4] son proyectivanente equivalentes of y solo S existe A €k-0 tal que G@ es linealmente equivalente a 9° Denostraciém Sh fel #]ecp(c) 90 tienen las equivalencia eM(q)= a“exL** (Qi) =(4/] extete Ae %-0)+ Si Gad entonces por 1.1.5,i00 y coaiquier base de® os -ottogonals sk of0 , existe Gc @ con 4(6,)40 4 y GCG.) 28 una forme Lineal no mula (sues (@" (3,)/G,)¥G(G,)#0) cuyo hi- pexplano anuiador i = G2 na contiene al vector G. Considerese 1a forma cuadrética @/fisfiv’ ++ 8(2) ©K » por 1.4.8 a4 fores polar es @/fi,il = fg. Como dim Hen< nfl, apiicands 1a hindtesis de induceign se deduce 1a existencia de una b: ortogonal (Gyr) para la forma cuairétice 4/ff, y es avidentenente sistene ortogonal respecte a @.cone fim G0 G1 G para tetysesen » y anf cone dg fy (Gyyeeer@,) 08 base ottogenal de® respecto a @. Corolario Sea @ forma cuadrética no nuis de £ y aelG] . existe entonces un sistema de coordenadas (x,) en £ de manera que 1a forma cuadrtica 4 se vacri- otens (ap © Denostractén: 4,) base ortogonal de & respecte a 4, Entonces (8,00 SL AAS y OG /0,)= 1, a0seeeyne La matriz do @ 03 por tanto de le forea A = shes Jyseees' AL) « El resultade 0 deduce ahord de 1.344 Derintesga a Una base (Z,ys+es6,) de € se dice ortonormal (respecto a 1a forma cus dzética @), of es base offgonal, y A(S,)= A, » senda AjHiy-1y J 0 j Le base oxtonarnat (6,¢+++46,) 20 dice bien osdenada at todos tos Z, tales que a@) 1 coFresponden @ los primeroe elesentos de la base, y los 8, con o(€,)e0 corresponden a los ditimos, es decis J J (GB) ine esB (ED a (obs eeesaLelpeeeedsOye Corciario S4 KeR 6 KaC, el espacio vectorial € admite una base ortanarmal respec~ to a cualquier forma cuadrética 4, En el caso complejo, 1a base ortonoreal (G,,e++s0,) puede tomarse do forma que (6 Jaa & aya ,LrtCS—tsrst—SSCSCsisC—C—C—rztsN respects a con %(Gj)m Aj. £8 tacth ardenar adecuatamente los ele- mentos de 1a base para consoquir que AG)=>,<0 4G y=As>0 AG, I= Ay, “0 pare ke p seeesh o9li,J= 0 ¥ 19 base (B,sse098,) 09 base oxtonormal bien ordenada, En 1 caso ¥aC 4 utlLiaando un pracediasents anéloge puade conseguisee una base ortonornal (Zjysser%,) con XG Ja1 para JHOyeees'P “1 ¥ ae GUS J0 pata ke pyenest Corolario Supangase € espacio vectorial sobre el cuerpo C de los comple jos: 1) O08 fowmas cuadréticas de £ son Linealnente equivalentes si y solo a4 tienen el misno rans 41)00s cuddricas on £=p(E) son proyectivamente aquivalentes si y sola si tienen el mismo rango. Demostreciént 4) 8&4 y @° eon formas cuadréticas en € con el eismo range 0» por +245 existen aietemas de coordenadas lineales (x,),(x{) tales que ee hee son Linealnente equivalentes. Recfprocarente, si @ y 4° son Linealnente equivalentes, por 3.1.9 tlonen 01 mismo cango. 44) Se prusba de forma innediata a partir de )3 St ael@] y a’=[@‘) 80 veritica: @ proy. eq. a a&y3h4o con @ lin ea. akGrg ge ra( AG ")era @” @rgqs toa’Ei eapacio vectorial € y ol proyectiva cqp(E) estén definidos| jobre el cuerpo f @ los numeros | reales Eatblezcanos algunos conceptes prelininares 3.3.1 definterén Gea q una forms cusdr‘atica de yF sutesnacto vectorial de f 1) Se dice que 4 es definida positiva enf si a(%)>0 ¥Re Fto a) a 414) G08 nula on F st G(R)=0 Vee? 4 detinida negativa on F si G(%)<0 Wee Fovoh iv) @ 09 definiga en sf os definida positiva ¢ negativd on & v) @ es dofinida, definida positive ,é definida negat 81 lo os on & EJonplos Em PR) Gyaxgtesete? os definida positive yy Gy.= -G, os definida Sng agetiva én Py(R} a forme cusdeéticn Syex2xZix? no os deriniéa, sin enbas- 90, @8 definida positive en ¢l subespacio (x,=0) y definida negative 7a on 1a recta vectorial ((3)) \o/ Comentarios y notactones Si @ es una forma cusdrética en £, aplicando 01 corolario 3. deduce 1a exiatencia en @ de una base ortonornal bien ordeneda seerb,) 9 1a expr ima de coordenadas (x,) 02 @e- Eat Denotando por ta(6, 5. ae ve ave: os definida negativa en @ y dia & =¥ es definida positiva en €* y dim et spe es mula en 2 y aim $= ntlmp En gatas condiciones se tiene ol siguiente resultado: proposicién 1) €% red @ $4) cuatouier sistema (x7yx443°) con ®2E% (am =sy0) 08 un sistona ortogonal,1) ndvese que para 130 r Zp yf orotdgonal “y G(@,4,)=0- . Por otsa parte din(rad f)=nti-p (por 2.15 14)) con 10 que (3 a0 bace de rad 4. 44) 8 insediato a partir de le ortogonalidad de 1a base & 5 ghaereacién El range p de 1a forma cuadrética indica ol numero de sunandos de eu oxpresidn reducida (1) de 3.3.3. Probaremos ahora que el numero de sumandos negatives no depends és que de 1a forma cuadrética , y ne de 1a base ortonarmal elegida Derintesén sea Guna forma cuadrética en £, 80 denonina indice de 4 al numero ind(a)av= max? din ® / FE, y Gos dorinida negative em? ] ¥ nétese que 0 ¢ ind(a)¢ nél Tooren, Seay, el indice de 1s forna cuadrética G de €. si (:°) son ies Poordenadas correspondientes 2 una ase ortonornal bidn ordenada 5 cualcuiers , entonces Ge - 2.x) Donostraciént sea © una base ortonormal bién ordenada det , y E7sE*sE" co 34843. Probenos que Yay, ¢ En efacto, coms din t7=v y G as detinide negative on” oe deduce for 1a defintetén de, quay, 2V= dine, Por otra parte, si Gea definida negativa em F<é, probenos que din Fé? 5 con Lo cue serk ¥.4¥~ En efectos Por 3.3.4 11) cada vector % de & descompone de forma Unica en su ma Bek Hk*4R com » REY (v= ~y4y0) J) y Le aplicactén € axiiy e% 08 une proyeceién lineal. si fx & y § 0s definida negativa en f , probenas que Fakis%< 7 es inyoctivar si ke? y 8 2 athe g? he y 8720 entonces GaX448° y come X41 3° se verifica rere reas + ': ‘ G(R) =G(R*)4G(5° Jw a(x) 7.0 5 y como q ea daFinida negativa on Fas ne~ cesdriamente @(%)m0 y a0, Of Ssta forma es dim Fcdim =v , De aquf 26 deduce ol siguiente teorena de clasificacién para formas cusdréticas reales:51 ypsel indice y el Tango comunes de las formes cuadréticas & y &%, entonces por 3.3.7 y 3.5.5 existen en & sistemas de CD)» 4) toon ue Atath4a Por 3.1.8, 198 formas cusoréticas son Linealmente equivalent Recfprocanent Supangase @ y @° formas cuadrdticas linealmente equivalentes, Existe entonces Peci(é) tal cue #(G")aq ( 08 decir faa). Se prueba tri vialmente que si 4 es dsfinida negativa sobre un subspacio F de & entonces @” taabién lo e¢ sobre 7(F), En particular ae deduce aue si F tions dimensign méxima dim Fa snd(4) entonces e And(4) = dim F = dim F(F) < ind(@*) De forma anglege se prueba que ind(@")s ind(@). loa rangos deg ya” observacione: 2) EX teorema 3.3.8 92 puede enunciar también diciends que Fijado ome sh sitena de caprdsnadas (x,) + entonces 12 fantiie de foreas cusdeé— pee Zt + 80 n ofps 4 thoass fa 2x #205 con Of pe nh y ose describe de forma biunfyoca todos loa tinoe de formas cuadréticas en tr e9 decir, of @ 00 forma cuadrética en f de ranga ¢ @ indice forma cuadrética @f e3 1a Gntca linealmente equivalente a @ de ta fa ailia anterior. b) En buena parte de 1a biblicgraffa y al indice de 1a for tlea q se denomina indice de negatividad, y of pe rod, denomina indice de poaitividad que viene definide de forma intrinseca por p =v wai join / Fel, y q on detinida positive mF}. A 1a pareja (Y=) g@ denomina signatura de la forma cuadritica, La stonatura + en vittud de 3.3.8 el invariants lineal com plete para Ja clasificacién Lineal de formas cuadréticas,304 Clastficactén ps E = P(é)) 98 un espacio proyec-| |ttve sobre 01 cuerpo R de los nineros reales, Para establecer 1 concept de indice (de Uitt) de una cuddrica (que Junto con el rango determina un sistema completo de invarsantes) 90 pre-| cies del siguiente lena técnica: tena oa @ una forms cuadrética on Ey | eR a) sf 4>0 08 Ind(\a)= tnd(4) b) st Aco oe Ind(A 4)= r9(8)-1n4(4) denostractén: Liamands p= r9(@) y v= Ind(@) 4 por 3)3.7 existe un donadas (x,) en € tal que: yn £ “y: por tanto A ZA : ‘. “pa ustituyende em (1) tiene sustituyendo em (1) y theneobviasente indice derintesén S0 Liana indice (de Uitt) de 1s cuadrica ge [6] al niénero Ind(q)= min 1nd(4),-rg(4)-1nd(4)) « observacién En viztud de lena 3.4/1 01 indice de 1a cuadrica a-(4] no depende de Le forma cuadrética utiiizada para definirle ya que para Aco se tiene: (ind( A 4),r9(4%)-Ind(s @)) =(r9(4)-1nd(4),tnd(4)) ¢ si A>o Ind(@)=Ind(\@) , y le conclusign se obtiens de forma tri- vials Teorena de Claaificacidn dos cuadricas q y a’de E son proyectivenente aquivalentes si y solo tienen el pismo indica y el mismo range. venostracién: sea q =(4J, a’m{G“)doe cuadricas de €, si rg oer9 a” y Ind(q)atnd(a’), Por el lewa 3.441 , 08 posible suponer~ quizde cambiando el signe ason linealmente equivalentes, y per tanto Jas cuddricas q y q* son pro~ yectivanente equivalentes, Recfprocamente ;: ei q=(4] y q'» LA‘Jeon proyectivanents equivalentes por 3.1s5 existe AER-I0} tel que Ges linealmente equivalents a Aa” ¥ por 33.8 80 tiene p = ro(A)ara( 44") y) Ind(@)aInd(A@’)= v « Aat ind(ayetne(a’e mtn (9 ¢@=¥) » pues 9’aha Comentarios Todos 30% tines de cusdricas én P(A) pusden des gaa as Xa donde ¥ oa justanents © indice de 1a cuadrica y p 2% range con 1e p< nth En los ejemplos 162.8 se dascriben todes los tipos correspondientes 2 PCR) ¥ PCR). Deseribanos los tipos de cusdricae en 5(R). Oejancs al lector 1a tarea de interpreter los nombres y hacer los dibujos sobre un modelo afin adecuadanente elegide: Plane deble par de planos inaginarios par de planos reales corm imaginario cone real cuddrica prépia inaginaria (euclidea): cuadrica propia real no replade cuddrica propia regladade EDPALAUD VELIUMLALES METRICOS, CLASIFICACION una forma cuadrética q induce en el espacio vectorial € on donde esté dofinida una estructura adicional ya impifeitamente estudiads en epi- grafes precedentes, Explicitarenas inicielmente este estudia por medio del concepts de espacio vectorial métrico, con idea de crear una con~ ekexte adecuade para analizar las geometr{as indécidas por una fora cuadrética y por una cusdrica, Espacio vectorial agtricgs Sumas ortoggnales inietsn Un espacie vectorial metrico es una preja E=(2,q) donde & es un espacio vectorial y @ ss una forma cusdrética en é La forma polar @ de @ (uéese 1,146) 2¢ denonina seaducto escalar en E, y oscribinos para abet + G(ayb)=(6/8) « Convento Haronos Frecuentenente referencia a los invariantes geonétricos de 1a forma cuadrética cane invariantes geonétricos de1 espacio vectorial nétrico &=(&4) , aef oscribiremos rg & , Ind Eyrad ® «s.ote. para re~ ferirnos 2 los correspondientes concaptos relatives a Ge Berinicién acto vectorial aétrice Ea(Eya) induce sobre cada subespacio vecu torial ? de é une estructura néteica Fa(PsGq) » donde Gz os 1a restrice cidn oo @.af , 1 producto eacalar on? viene entonces derinide tan bidn por reatricetént frF2 (3,8) (3/8)< K « (Véase 141.8) Derinteién Un espacto vectarial métrico Em(E,q) se dice no singular, si ta forma cuadrdtica @ es no degenerada, es decir, red & = 0. mde genetal : Un subespacio fF de & se dice no singular si rad F m{Se# / (2/2)q0 para todo Xe f= EnF+ es Adenticanente nulo. Si todos los vectores de F son isotropos (4(%)m0 para tode Z" 0 1tana tzomotefa, of P(&’)n@ (véare 3-261 para 1a derinicién de 7). 44 existe une tsonetrfa de € on €’ se dice que ambos eapacios son isondtricar. Proposietén La composicién de ieonetrfas es una isometrfa, Er particular la reda~ eign de sor ison relacién de equivalencta. Denostracién: Vease 3,24! Toorena Sean €n(E,@) €“m(€“,@") espacios vectoriales métricos, wt’ un Sasser.) base de® . Son entonces equiva afizmactonee: 4)? 09 teometeLa 44) (F(€)/# (6) )=(4/6) para tode abet MEG FG MG/E) para todo i,ja0 Demontractént 4) PAL) es conseouencia de 3.161 4) ii) 57444) es trivial 444) 74) 3 SiR (fe dary # C16). Obeervacisn $i los espacios vectoriales étricos €-(€°,4°) tienen le mis~ ma Ginonsidn finkta y con no einguiares, entances toda aplicactén H- nest 16 2° que conserve le estructura nétrica ( e@ decir $(5")<8) os autonaticanonte tsonetria, ya que of H(@)a0 , se veritica (FCG)/#(%) )=(4/2) =O para todo Zeb. En consscuencts Gerad fa os Establozcanoe par ultine el concepto ie suna artagonsl de ‘sonetrfas: aetintctén (propostetén) sean G69 ...Ou, €'=8;G7.400907 sapecton vectorsals aétricos dos- compueston en suns ortogonal. Sea #,:0,+-¥0, una Seometrfa para Selysseyt sEntonces La aplicacié: ‘tab DaeeDhet Fo Ryteseth nh Greet Be?” 09 una tsonetrfa, ¥ 90 denomina suma ortogonal de las t, (Se togonal &:Donostraciént Ba LI, BIH, + FRC ZF) d= ZUR G/F Ie SRN OM) sive. Propostcién Con las niomas hipstesis de la definicién anterior, s EaULto.-OU;” y Gwj-s uj’ seonetrfe ta1, 6,0 ++405,)(F,O...OF)=G, FO. .OG,F). G,O-+-09,) F,O-+-OF )=G,FIO---OG,F). La denostracién ee elenental. Clasificacién do espacios vectorinles aétricos La clasificactén por 1a relacién de root reales y conple joe constituye luna reinterpretacién del corres oondiente tecrena de clasificacién gara formas cuadréticas dade om 3.3 y 3.2.6 sean €a(Esa) €%=(6"48°) © ricos sobre el misao cuere K y con 1a mien dinensién tl 4) Si KeR los espactos & y€’ con isométrices si y solo sf tienen el mismo rango © indice LL) 51 Ket, los espactos € y €° mn Ssonétricos a1 y sole ei tienen ol mntexo range. Denostracisn 1) sea fi» €° une ssometsfe, para probar que ro Garg @” y ind Gaind @ dete observarse que # transforna une base ortosormal bien ordenada de € (véase 5.2.4 y 5.268) on una base ortonormal bien ordenada de 2” totes % con. (6/8)=-1 « necfprocenente, af ra fang t= fy y Ind Eatnd 2’=Y, tonando bases ore tonormales bie ordenadas @ y 2’ en€ yt", 01 Unico tsongtfieno Li- neal F:2.4£’ tal que 7(€ )eZ’ es una isometrfa por 4,2,3 111) 41) 80 prueba de forma andioge. Para las cuadricas proyectivas se tiene 1s siguiente réplica: 2 Definictén bos cuadricas q y q“definidas sobre los espscios proyectives Ey E” se dicen proyectivenents equivalentes of existe f homograffa de E en E “tal que f(q/)aq (vease 3.1.3 para la definicsdnn eo MYLa relacién dafinida on 4.3.2 es relacién do equivalencta pemostracién : véase 3.2.3 qeorema sean qy q’ dos cusdricas definides en los espacios proyectives © y © sobre el misno cuerpo K y con 1a misna dimensién nt 4) SE keR Lee cuadricas son proyectivanente equivalentes si y sole of @ 7/4" tlenen el misno renga © indice 41) Si Kec as cuadricas son proyectivanente equivalentes sf y sole at ay a’ tienen el mismo range. ponostracién: nétese que of ae(é) y q’a(4’) 20 ueritea 1a equivalencta 4 proyectivanente equivalents a qm AAfo tal que (£,4) es isondtrico a (E5Aa). La conelusign se obtiene ahora innediatenente de 4.3.1 y de 3.4.2 fedelos analiticos FASada el cuerpo k (de caracteristica distinta de dos) denotanos: 2) HUE = (OnlWeaf Demva ve ocpe mn eevee —stende aq nndaxt e Bak, (ules tz, ate) ne (net, ) torotaria ») «' para ge Venti. 4) Loe distintos tipos de espactos vectoriales adtricos reales de antl (ess) 44) Loe distintos tipos de espacios vectorisles métricos comple jos eign ntl vienen dados por 3a familia con 0g pe nel yo: de dimeneign ntl vienen dados por 1a familia na cnt (p90) Denostracién + véase 4.3.1 ¥ 34369 con os pentl « oerintesén Algunos tipos de espacios vectoriales nétricos reales tienen denoninactones especia~ aes, ante 4) Los de 1a forma aft! se denominan auclideos positives, y estén carac~ terizados por que eu forma cuadrética os definida positive 14) Loe dot t1pe aM! oon 08 eueiidess negatives. Su forme cudrdties es derinida negative 444) Loe go 10 forma pit? eo denoninan espacios de Lorentz y y tienen interés en 1a teorfa de 1a relatividad.un espacio vectorial wétrico real es euclideo (p08 ¥ solo 91 no posse vactores tsdtropos.no ules. oenostracién sea fu(Es@) copacio vectorial adtrico real. susongase que oxisten vec~ tores Set tales aur 4(3)>.0 y 4(6)< 04 La ecuacisn de segundo arado on A s (G+ \6)=4(4)42 A (6/6)# 174(b)ao tiene dtecriainante 4(a/0)2-4a(a)a(b)> 0 » ¥ esto implica 1a existencia de vectores 1s0- tropes no nulos. asf, of no existen tales vactozes entonces ¢ ee nece- sarianente euclideos 5. GRUPO ORTOGONAL. GRUPO UE UNA CURORICA © usa) donotard un eopecto vectorial métrico de dimonsién finita ntl (n20) defint- do sobre un cuerpo K de caractristica distinta de dos. cuando @ sea no nulay ae(4) es 1a cues Jdrica definida por 4 on c=r( 2 prelininares Estableceronos inictalsente los grupos naturales de transfornactone: que inducen una forma cuadrética y una cuadrica, y estudiarencs las re~ jactones entre snbas grupos en el caso real y conclelo, 5.141 Osfintesén i) Llamamos grupo ortogonal de €y y lo denotamos por a(4), o(e)s ateed) Andistintanente, al grupo de Jae Seometrfas de £ en of misao, ee decir: o(A)m{ Fe Lie) / (aaa f 44) Se Liane grupe reducido de 1a cuadrica q al grupo Po(ade{(#/ F< ota « 444) €1 grupo de 1a cuadrica q , #2 #1 grupo de las transformaciones ero~ yoctivas que dean invariante la cuddrica, es decir: o(a)e{re cele) / *(a)eaY nde que p0(9) ©8 subgrupe de o(q) 142 Prapoatesén St Te0(a) entonces F(4m q)xin q« por tanto o(a) actua sobre img Denostracién si tal?] y xe[KJeim q se veritica %*(4)2)@ para cierto 4 fo, BER) A(Rmo » ast F(x)a [FR Eim a.y 21nd(a)éra (4) Bonostracién sea fa(?]e0(a)-entonces #(4)=4G para cierto 1 fo . Si existe LEK: 2) eG con 2m) » tomando Pye £% quedar Cone fa[?,] #2 Fe p0(a) siempre existe el lar ye raiz cuadrada do J Cuando Kec 1a afirmacién es ciertanente vélida cuando Kefts necosarianente 1>0 (por tanto adaite raiz cuadrada) ya que st h<0 » como Gy A@ son linealmente equivalentes es Ind(a)=Ind(4q) y por e1 lema 3.4.1 es Ind(A@)m rq @- Ind, Ast oo 2 Ind Garg @ en contradiccién con 1a hindtesiay Estudsenes ahora el caso t 2 Ind = x9 4 si KeR ¥ 2 Ind Ge zg entonces ¢ ae descospone en suma directa €=VOtT@racé , donde fy # son supespacios isstronve. domostraciént Una bese ortonormal bien ordenada para £ eo de la forms Sa lBGFa no s85_vetilee ie gr80pe00482 ) com (GY/6r)— mw, x por 3.3.4 08 rad {oosreds Val» 90 seduce tonedtatanente cue 6,/5,)=(4/0 todo LyJadseees Val » y por tanto GedaseeesO,_) 9 Te penne ahora consecuencia de que (6,0 seca 7 2°) 2 nase. supongase Ken y 2 Ind Ge 254. 51% T@G@rad os a desconpoei- eign del loma anterior entoncos é 4) Le sinetrfa vectorian 2:2-s8 con base an y direceién G@rad varitica F8(G)a-d « 14) €1 grupo (a) puede escribirse como unign dis junta 0(a)= Pa(a)y © PO(a) « Oicho de otra forma, pO(a) e# subgruse de 0(a) con indice do:4) un vector Se 20 escribe de forms nica come FadrG4d conGeG Cad TerasF, y se tiene &()a(6/E)=2(0/%). ono G(K)a - 6 = 0, se vesiticn (FFA) (R)uG(G-0-0)a-2(60/0)x-8(%) 41) sea fa[F]eo(a) « entonces #4 =+@ para cierto po. st A>0 por 1a denostracién de S.1.3 26 sigue que Fe P0(4) ai Aco tonsndo #,= 6? so verifica: 8 Gal FFP GaP (EG) APM -c)a-FMbe (=A) a4 Como -1> 0, por 10 ante~ thor se concluye que ty=(f.l=¢ .tepo(a) y asf ofyet @ POCA)! Jeorena 4 ng Eatudierencs las ainetrfas vectoriales de f que con adendé transforma efones ortogonales (simetrfas ortogonales) y probarencs que las sine~ txfes ortogonales respecte © hiperplanoa constituyen un sistema gene rador del gruna artogonal (Teorena de cartan-Mieudonné). be forme muLténea 20 Arén analizande Las ineldenctes de estos resultados en 1a geonetria de una cuadricas Oerinkcsdn une sinetzfa vectorial ge que es adends transformacién ortogonsl, se denomina sinetrfa ortogonal. propasscin wea F:éi4 una simetrfa vectorie: con base & y direccién B. Enton= cee # os simetrfa ortegonal si y solo ot $16 Denostracién Por hipotesis BOOS. rijado eB y Ge se tiene (4) af (6-4) 26 (6) 44(4)-206/8) 2) ( 8 (8) 48 (4) #2 (6/4) (2) comparando (1) y (2) s@ concluye cus GCF (648) BG eae B43 Esto permite concluir facilmente la donostracién. par tante 4(% Por otra par obecrvacsén nétese que si € es no singular, 1a base § y 1a direcctén 6 de une sine trfa ortogenal son subespacios ng singuierss:oe hecho por 5.2.2 se vom riftca FSD y por 4.1.0 , \of= rad @ = rad § 4rad 6, 02 decis rad Gm rad 0 ={os recfprocanente, si € es no singular, y 8 es subsspacio no singular de €, entonces 005%, y 1a simetrfa vectorial de base G=5+y direccidn & es sinetrfa ortosonal.+4 corolario (dofinseidn) si Gf 0s un voctor no tsotropos ontonces & cay # @y ta simotrfa vectorial © con base fini y diveccicn 8) es simetrfa ortogonel.Se 1e donomina sinotr£a hiperplana. EL siguiente teorena muestra 1 traduceidn do cote sesultado a 1s geone- tefa do una cusdricat Teorone sea aee- im at 1) S1 din £92, 18 homologta arndnica ode contro ay hiperplane cone tral He a+ est en el grupo redutida de 1a cuadrica po(q) 44) SL € 08 recta proyectiva ! 1a transfornacién hipertéil con puntos fijos ay a+ deja tnvartante 1a cuadrica, En particuleret tm q=leye,t cdc, 08 [eysepiaye"]= -1 para todo a Ate, ,6,4+ Denostracsén a Jy nep(f) se voritica S44 fy € = GOR. pos 5.264 Le sinetria vectorial $ de base Hl y diroccién <8 08 sinetrfa ortogonal y £po(a). nétese que WUf aes el conjunte de puntos Jos para %, quo es por tanto honologfa de razén como oe id ce k*aL y (or Hid) kende 11) La prinera parte se prusbe de forma andloga, para prober 1a itina afirmacién basta observar que como © (im gain ay ¢ id ¥ necead rtanente es T(6,)ae, ¢ El siguiente Lona es crucial para 1a denostracién dol Teorema do Cartan: Lena Sean &,b¢% vectores no isdtropos con 4(3)=4(6). Existe entonces una transformacidn ortogonal F, producto de una é dos sinetrfas hiperple~ fo, que aplica @ en 6, Yonoatracién: emo (2/8)=(5/5)=(840/E-B)ao , €0 aebe (acy y 4-e(546)' SB os no isdtropo,la-simetrfa hipérplana © con dir transforna 40} (i4b)4 b coh) on GCa)e- } (G46) 2 GS) 2 = 5 abye BAY on G(A)u- F (G46)- 3b (6%) 2B 44) 81 446 08 no Saotropo, analogenents 1 simetrfa hinerplano con di- reccién Cétb)y © transtorna @ on, © (3)u Oy y 18 sinotrfa hinerpleno © con direcctsn £6) transrorna -O on E(cB)abs Hot so tienes $ (4-8.Terese vemuavaneomenem ULaTUymU (Eee Jay pues of asf fuera, el subsspacto <640,9-5) serfa Ledtrope y on parti- cular 3(2)=8(6}40 en contra de 1 hipétesta, Teorena (cartan-pLeudonné) st € 08 no singular, entonces 01 grupo 0(4) eaté imetrfas hiperplanos Donostraciént Se hace por induccién sobre 1a dinensién nti de e+ st nap (din € 1) el resultado es trivial, ya cue se prucba factinente que on este cate o(G)u{id,nt4} y y id oo einetefa hiperpiano en ¢. Supuesto clerto ei recultads para dinenoidn inferior a nb, sea € de dimeneién nat y Fe0(€: @ , entonces fiacé>+ a) Si existe @ vector no saétropo de £. aon Fé 88 hiperplano invariante por f ( (5/5)=0 (F(%)/8)=(F(%)/F(8) )=(&/8)=0) Adonds %=@OG y ff ev nb degenerado (por 4.1.8 Aplicando 1a hipdtests de induccién a #0 #78 e0(f) 5 20 deduce 10 existencle de eimetrfas hiperplano at, tales cue FB yeoe G+ Tomando GF = ad es simetrfa hiperplano en € con base 4 isree! Zen con basee Byres oon concraye aus @ a A Byres Fynltyg OF) oo (dg OF, wid OF =F. b) En cualquier otro caso, tonando © vector no isotrapay por el Lema 6, existe 9 €0(8) producto de una ¢ dos sinetrfas hiperplano 3))04 5 y Gc? 0 desconpone pot 8) en producto da sinetrfas hi- fa G02 8, 6 8h por ofenpio on 6. (8,2 eimetsfas hipor~ plano) se verifica to%.d.G0..0F, © perplano %. Nota eo ee eed 7 puede proberce que cada 7 €0(4) puede descomponesce en producto de a to ade din sinotefas hiperpiano, véase (pe) « corotario ay Po(a) oaté gfos arnéntcas que dejan invariants 1a cusdrica, genostractén: st tepo(a) , existe Fea) con tal]. por 5.2.7 00 Fa ue Fy con ©, sinctrfs hiperolano, eof fal?]m(6y) -.{2,-) ¥1@q 0 honclo= ofa arnnica que deja invariante 1a cuadrica (porS.2.5)Come apuntabanos en 5.1.2 «1 grupo a(q) actus sobre im q. Se probard que en el caso real & complejo esta actuacién es transitiva sobre el conjunte de puntos no singulares im q = rad q, y también sobre of conjunte de puntos singulares , rad q. Esto goondtricenente stanifica que dos puntos no singulares (resp. singulares) de 1a cuadrica son equivalentes . Es decir, el estudse geondtrico-proyective de 1a cuadrical en uno de sus puntos no edngulares, puede hacerse autondticanente exten-| sivo a los donde puntos no singulares do la misma. Definesén ee puntos aybeim q ae dicen (proyectivanente)equivalentes, si existe £€0(a) con f(a)=bs Esta relacién es obvianante de equivalencsay probaremes que las clases de equivalencia correspondientes son exacte~ monte imq -radq y rad q. Se requieren algunos resultados previos: Lena st 2 04a) y v 08 subespacto dee, os F(uyt =F(ut). En particular eo t(rad qlarad ay flim q = rad q)aim qe rad Denostracién sea fet]. entonces #@=)4 pare cierto J fo St AbeE yy (4/6)=0 2a (F(8)/#(8))= (4/8) = 0» 88 decir, aLbent(a)L f(b) 2 vis 1e biyectivided def se veri fie Pla)e t(utjer a6 Ue alu para todo ueue f(a) f(u) © Faery « Las dengs afirmacionss tanbién son innediatas 5.53 Lona si Ge€ os un vector isdtropo no nulo, Serad f, entonces existe bef vector Saatropo con (4/S)et ¢ Demostracidnt come Sfrad €, oxtate Sef con (a/e)fo + Busquenos en el plane Cas) 01 vector ba) % $y8 veriticande 1ae condiciones sel teorenat Cid pA 26/6) 4 G/B)apCh/)u 1. a0 ttone ants =o (a/e) * 5.3.4 observacién dn - nStese que en el lena anterior el plano vectorial nétrsca no singular, pues la matriz de 1a forma cuadrética bese (0,5) one( ce ba matriz de gpr Lena 31 € LOG entonces: 2) rab = ra G oo 14) 51 ken oo ad(e)eraacipetna¢i) Denostraciéns 1) por 40108 08 rad Ga rad + rad Gy act ro(E)e die E- din(rad fu ndin 0 din § ~ dta(cad G)= din(rad Gye v9 0 40 Ge 14) Tonenos bases ortonormaies tien ordenadas para Gy + normal bien ordenada de € , y = 1nd 6 tind G Toorena supengase kx as de i@ q son proyectivanente equivalen- tess of ambos son no singulares ¢ singulares. En particular, sobre una cuadrica q ¢1 gruno po(a) actua de forma tran- extivae pemostractént Por.el. lene 5.5.2 s@ deduce una de tae Anplicacionee del teorens. probenos 1a otra para 1) 84 an(4] a’=(4‘J20n dos puntos de im q no singuisas, entonces @ y AY son vectores ‘tedtropos no perteneciontes a rad 4. De 5.3.3 90 a duco 1a existencta de vectores $y 8” def seotropos, tales que (@/6}=(4°/6")e1 » Aaf por 5.3.4 109 planos 6 a(4,6) y P“=dG,6280n ulares , y por 4,23 ol isomorfisno Linealg:f—26” tal que $ (8s8)=(476°) 08 une Lsometste utsitzends ahora 4.1.8 80 ve que EaBO BL BG $4 y aor S945 se deduce que ro = 29 B', rnd(B4Jarnd(64) con 10 que $4 y 84 on métricos, Fijada Frptop“+ isometrfa, por 4.2.5 es FGF 2 C08 teometefa que veriticn f(a)aa*s Aat of ¢ alf] se tiene Playas”ts uumoscracion pare 01 caso Ke es analogas nota Entste un teorena debide a uttt que prueba quo at Gj y "son subespactos de espactos vectoriales aétricos £ y E’no singulares s Leomotric si existe una isometrfa F:jim 1" entonces existe ffi E” isone~ trfa tal que F/Ga Fi", (wase (ae! & 14) eato peraite en particular probar factinente 1a validez do 5.376 sobre tin cuerpo Ks POSICTONES RELATIVAS ENTRE CUADAICA Y sUBESPACIO : FiJada 1a cusdsica qe[4] y e1 subospacto UaP(G) del espacio proyectiva Ey st Ud img entonces @ e9 una forma cuadrética no mule, Genoninare no® postsién reiativa dey (respecte a q) al tipo proyective de 1e cus drica [4] + analizaronas este cusstign detsntendonos de forna espacial en las posictones relativas entre hiperplano-cuadrica y recta~cuadrical |espacto proyectiva ExP(E). Como es habitual, ot cuerpo base tiene caractoristica distinte de doe | © #(€,4) 08 am cspacio vectorial nétrico. Ganeralidades Detinieién st Uep(G) vs eubespacte proyective dee, s@ denomina cuddrica secctén a do q por V a Le cuadrica en us nual! clr ugim ae if) + euando Gg 28 na mule (e2 de 1) vein gf vetm ay din Ue dln Vs Li) Udine y win ay y 10s edrtcas anu y Qn¥- son proyectivanente sculvetantys ( wer 4:28); a0 decks) exlate une hongrata TU tal que M(qnwy= anus sige obeervactén én las condiciones de in derinilén 6.151 hacenos noter que ol nec 4 dulce an generel que xiste Te0(@) con f(Ue¥ Y (ty (an¥)eanu. Este contictgn dante Lugar ana detinicide nfo rettictive (ynatura) de posicién relativa, quo aquf no vance a analizer,6s1¥3 propostetén st U es un subespacio de £, U¢im ay ontonces tm(anU)m(im a)nu y Fad(qn U)m Unut a{ueu / uv. pars todo xeuy < Denostractén St Usp(G) yf un[G] se tlene ue in(anuyen %, (Gaver AGG)e0 y Ge O we (in apnue La segunda igualdad ss consecuencia de que rad G = dng patintetén sea y subespacio proyective de tt 4) So dice que y es exterior a 1a cuadrica q, of tm anu of 2 NStose que si kac no exteten subsspacios exteriores (no vactos) AL) 5¢ dice que yes tangente a la cusdrica sf UNUM ff, 08 decir, 6 bien ucim q (entonces uu (im a) Au w) 4d bien U¢im g (on tonces au es cuddrica degenerada).! En cualquier caso al subespacio UNUE ( que esté contenido en in a) donomina subespacto de tangencia. Las puntos de unut se denontnan pun= too da tangencial 114) Se dice que y es secante a la cuadrica af no es tangante ni exterior: 2155 eJenpie considegese on p(n) iscuadrice =xZixtexeo yO, (Ax, by20) Tomando en Us coordenadas honagéneas / }°) correapondtentes a ie vase(( of is A yy2ay ao «aa tienes , ph para} =21 U es tangente ala cusdrica en el punto | -d bos stidl>1 , uy e9 exterior a la cuadrica st lea 20 socante a 1a cuadrica ws 6.146 observacién Si aes un punto cingular para ie cuadrica entonces cualquier subespa~ clo u que contenga al punto a es tangente a 1a cuadrica por e1 punté a) ya que rad qeut 4 gasicién relativa entre hiperplano y cuadrica. Eetudionos en primer lugar ei probleaa de la tangencia:ov2v1 Teorena gade s€4mq punto no singular pare la cuddrica, existe un dnico hiper= plano H que es tangonte a 1a cusdrica por el punto a. Este hiperplane e justanente 01 biperalano polar a4 dea. Benostracién: a) SiH ee hiperplano tangente a 1a cuadrica en el punto a, entonce por definicién- acHnn* y por tanto Hcat J como a+ es. hiperplano (263412) 98 deduce 1a iguaidad Heat J b) por atra parte He at ee hiperslano tangents a le cuadrica en a, pues como acing y a¢ateH jy obviamente acnt 2 Coratario Dos hiperplanos tangentes a la cuadrica en puntos no singutarea, tle= nen 1a moma posicién relativas Donostraciént Si Hel, 90n hiperoienoe tangentes a 1a cuadrica q en los puntos no singutares a) Way J por 5.316 y 5.3.7 existe Te Pala) con f(a,)= y por tanto f(a )ead es decir f(Hy)aHy © Calcule analftico del hiperplang tangente FAJonos on € un sistema hosogenso de coordenadas [,] y sea = 0 una ecuacién para q j donde Ge Za, 3 aay FiJado el punto @eimq -rad q y sscribanos 4«(:°\ para denotar las coordenadae homogeneas de as Entonces 1a ecuacién ds a+ hiperpla~ no tangente a q por el punto aes de le format donde 24. donota 1a dorivade pareialde q respecto me respecte a En efecto,’ se verifica la identidad + 1 ( yy, [24008 /2\ /25) ls ai /2 9, veedeg/2 |f 7 \ al? 9,72 / Yl asf el cénjunto de puntos x com coordenadas homagéneas 0 deseribe por 1a ecuaciénhNocuse que 1a8 ecuaciones de rad q son justanente eJonsto, f ae B punto de in @ y ol hiperplano tangents ae (121, tnge8)iN Le tne topseccisn de H con {mq 9@ obtiene resolviend el sister (xb, )xg7m, Erg ag )=0 (Ccuactén de 1a cuadrica) x = (Ecuactén dei ptano) u 0 4 pee tos puntos de 1a recta y los de ta recta 4! x70 xy-xe0 an contenidos en im qfHe00. hecho im qa =AuA° ¢ roa nde? Ind (a W)ete por 1a tranaitividad det gtupe 0(q) (vease 5.3) 20 concluye que pate ta~ do punte ein a, au hiserpleno tangents conte a ia cusdefea on un per de rectes. 6.2.5 Drepestetén St Hen um hiperpiane contentée on in ay entonces ol rango de q es t= qual 03. 2. Ey ol priner caso An gatls En e1 segunda tm GeHUH” otene do Woteo horeplane distinto do Hi oenostracté FiJonoe on peas [2] tel que 14 couse cin de W a0 reduzee & > an coneluye que Je acuecidn de qe do Lo forma fa Ge) (‘ YQ G2 ano ef GUE M y= cece %pA0 (40) 4 09 decker wxz—0 sen cuyo caso es rg ql y im ae He Eatudionos por Ultine para Kak 1¢ posible existencia de hiperplancs exteriors, Dengatrarence previsnente ol siguiente resultado: 5 proposicién Toda cudrica real sin puntos es propia y tlemindice nulo Benostractén c=d , (E44) no tiene vectores isotropos, y par 4.3.8 #8 euclides, ABE G ee derinida con lo que te {4] verificd 1ateose.6.2.7 Toorena sh existe un hiperplano H exterior a 1a cusdrica real q y entences necasarianente Ind q ee igual a cero ¢ la unidad. “dends GAH 09 pro~ pia y Ind(qnu)=0 © penostraciént Sea Hep(fi) exterior a 1a cuadrica q. Entonces im(qnH)af »! y por 428% faGGshy) 08 eenacio euelides que podenos suponer positive,’ 9s decir, Ind(fi)mo. Si Left , por ser Hino daganerado so tiene flO ii » y Per 52325 se concluye que Ind(E)eInd(q)eind(t)+ind(fi) que serd por tanto tgual a gS 1a untdad, Le Ultima afismacién ee consecuencia de 6.26. Corotarto Qos hiperplanoe HysH1y extertores a 1a cuadrica real q tianan 1a misma posicién relativa respecte a a. Denostracién: por 6.2.7 08 ra(anH, )aro(arH,) =n y Ind(an ty )=tnd(an ky: do ahora ol teorena do clasificactsn 4.3.4 90 abtiene 1a concluaidn, <0 + ApLican-| fostctones retativas entre recta y cuadricas El estudio de esta cusstign requiere de un andlisie explicite previo dol teorena de clasiticactén 4.3.4 aplicado » cuadricss em rectas proyectiva Teorena Sea q,=(4,) una cuadrica sobre 1s recta proyectiva A =p(&) definida sobre el cuerpo Ks Caben trée postbilidades: a) Am qyata}, Entonces a, no es propia y rad ayafaP « por otra parte, las cuadsicas sobre rectas proyectivas (em el cuerpe K) con un ante punta, son proysctivanente equivaientes, b) tm qyafast} afb « En dete caso q, e8 propta.Todas las cuadricas sabre rectas prayectivas (on K) con dos puntos (distintos) son proyectivanen= te sautvalontes: c) tm aye. Entonces a, oe pronta, Lae cuadricas sim puntos sobre rectas proyectivas reales tivanente equivalen Domostraciént EL resultado se deduce a partir de las siguientes reflextanes: rica a,% "7 existe oh menoa un pu 4) St 1a cuadrica a,%"y existe oi menos un punto on(éJé4m &), onton=coe Za(4 sc,) @8 un espacic na singular y @,(4)q03 por $1373 extate Bed con 4 (B)a0 y (4/8)ea1 « En ot sistema do coordonadas {2 induct do por 1a base (4,8) do A , 1 ecuacién de 1a cuadrica es x,x)0+ Por tanto a y tm[b) som los dinicos puntos de la cuadrica, 14) St 4m gel y ket entonces nar 6.2.6 a) es cuadtica propia y tiene ine 2 dice ule, su ecuactén reductda os x,41,70 444) por Gitimo st tm qyefaty! por 1) a, no os proptay y rad ayniai. Tomanda ae(81 y S42 con 4(6)40, podenos suponer ~ multipiicande @, por a, (b)~ que @,(G)aL. adomds (a/S)a0 aus Ge rad 4), flespecte at sistona de coordenadas [9] induetdo nor 28 base ($56) 4 1a ecuactén de ts cusdrtea es x20: Corotarto Fijada 1a cuadriea ge[4] en el espacto proyectiva real £ y 1a diferam tes posicianes relativas de una recta preyectiva 4 ene y a (seaiin dofinicsén 6.171) vienan descritas por la cardianalidad del conJunto im 4nd. Expicitanenteseole hay cuatro posibiiidadss + 1) im qndaf + Recta exterior a 1a cuadrica 41) tm qndmlatt Recta tangente 2 1a cuadrica (y ne contenida LAL) dm qodetaybl (afd) Recta secante a la cuadrica iv) Im qode d+ Recta contenida en 1a cuadrica Denostraciént Cuands Adin q se toma ay=and + basta aplicar ahora ol teores 3.1. 6.303 observacién La aplicactén iiteral de 6,5: al estudio de posiciones relativas entre recta y cuadrica, permite mantener 1a validez general tel carolario 6.3.2 pare cualquier cuerpo ky eecepto en lo que respecta a las cuss= {ones relacionadas con rectae exteriores a 1a cuadrica, Concretanente a) St K aa algebraicanente cerrado, no oxisten tectes oxteriores b) para cierte cusrpos K pueden encontraree rectas oxteriores a la cu; drica con distinta posicién relativas caleulos analfticas Fi Jado en € un ofetoma [x{) de coordenadas honogeneas 1a ecuacién de 1a cuadrica os de 1a forma:una recta proyectiva 4 on € queda definida por dos puntos a y b distin= (Po) tos; Tomando (2°) 198 vectares que definen las coordena~ en ee ee ee cuadrica and as (Aaty 6)‘ (ty b0 J Hactendo operaciones queda: 2¢3' ie eu A) p2a0y 20 deci Op A( ; 6) a ab stenso A = ( |) Tomones asf: \atas stag / 1) A cin gem Ana A Ae ae o ty A tangente a 1a cuadrica qc ded w(ats a)(ots by=(a 141) A socante « 1a cuadrica gay det-AZo tv) A exterior a 1a cuadrica gam detA> a La Justittcactén da £44) y 4v) esté en ol efguients Lema: 56365 Loma Sea (x49) A(_°)=0 1a ecuacton de 1a cuadrica a, respecto a clerte 4) sietena de coordenadas homogeneas en la recta proyectiva real J 2 en~ tonces e1 signo de detwA (n0,1,'-) sole depende de 1a cuadrica a, yy a? no d01 sistema de coordenadas, En particulary: devAA<0 qm 1a cuadrica tiene das puntos dat > 0 2p 1a cuadrica no tiene puntos donostracign: nediante un canbie de cooréenadas (|= p (“2) , 1a meva scuscién de . xy] ts cuadeten os (45045) 4 ("2) \x;] 0 Ata ptAe yy Stone (det(A’)}x Stone (det p)detA = stone (det A ) nétese adonde que para \eR-(o} ea det(4A)m A” det (A) y ambos detet-| ninantes tienen ol atsno signo. si det A fo ontonces 1a ecuactén reducida de gy #2 de 1a forma Zid on (ouadsice sin puntos) § btencx2hx2g (euadrtea oon dos puntos) dependiando de que detAd0 ¢ detAco respectivanente. 5.3 cone_tangante Fifado un punto #4£ no singular para q , cabe considerar e1 confuntove seeeas gue conesonen ai punto @ y son tangentes @ le cuadrica, La u- niin de dichas rectas~ cuando existe alguna~ verenos que constituye el conjunte de puntos de una cuadeica que denoninanes cone tangente a 4 on e1 punto a. Propoatetén (Oefintetén) Fifado a=[a]ee-rd gy 10 aplicecién ne una forma cuadratica no nulay y 1a cuedtica q.=[4;] no depende dol representante @ elegide para a. Se denomina a 9, cone tangents a 1a cud drica por el punto as Denostractén La aplicactin 1€ 9 —» (4/2)7, es una forma cuadrética wen forma peter P(%,%)—(4/8) (4/9) yy se tone 4; = G(a)q ~ 6 que oe diferencia 40 dos formas cuadrética: Por otra parte se wo que @,,= 174; para fo. Esto concluys 1a denos~ tractén’ Teorena S1 8£E 09 un punto no singular ¥ entonces im ay | x€ €=(a7/ fain) ee tangante a ayOdafe por otra parte el punto a ea punto singular de q (1m a.) (im ade a? tng 3 Demostractén: supongase a= (a) . La comdicidn neceseria y suficientes para que te[t] de~ termine con a una recta tangente a q e8 que <3,b) sea un.plano vectorial degenerade (sespecto a @) es decir 4(5)8(6) ~ (4/6)e0 , anf os tangente a q@> bé im aA polar “Gz de 1a forma cuadrética Gg de 673/198 Gig (8,9) =G (20 (K,9)-4(4,2)0(4,9) 5! ¥ Oz(4,D)a0 para todo FEL Probenos per itine 1a Loualdad (1 a) (im q,)= ehin g 4) St acim ontonces @ ve fatitnanté que tm quads) y 1a tgualdad es trivial, : 41) st aim qj para x (im q) (im a,) se veritica por lo anterior que 1a recta (ajx> es tangents a 1a cuadrica, y por 6.2.2 08 Zasx)/\ dm @ =)x}p 02 punto x de tangancia es por 6.3.1 conJugade con to~ do punto de

Potrebbero piacerti anche

• The Psychology of Money: Timeless lessons on wealth, greed, and happiness

  

  Da Everand

  The Psychology of Money: Timeless lessons on wealth, greed, and happiness

  Morgan Housel

  Valutazione: 4.5 su 5 stelle

  4.5/5 (804)
• The Handmaid's Tale

  

  Da Everand

  The Handmaid's Tale

  Margaret Atwood

  Valutazione: 4 su 5 stelle

  4/5 (13186)
• Rich Dad Poor Dad

  

  Da Everand

  Rich Dad Poor Dad

  Robert T. Kiyosaki

  Valutazione: 4.5 su 5 stelle

  4.5/5 (1110)
• • Riviste
  • Podcast
  • Spartito
• The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life

  

  Da Everand

  The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life

  Mark Manson

  Valutazione: 4.5 su 5 stelle

  4.5/5 (20025)
• The Hobbit

  

  Da Everand

  The Hobbit

  J.R.R. Tolkien

  Valutazione: 4.5 su 5 stelle

  4.5/5 (25134)
• The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life

  

  Da Everand

  The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good Life

  Mark Manson

  Valutazione: 4 su 5 stelle

  4/5 (5795)
• Never Split the Difference: Negotiating As If Your Life Depended On It

  

  Da Everand

  Never Split the Difference: Negotiating As If Your Life Depended On It

  Chris Voss

  Valutazione: 4.5 su 5 stelle

  4.5/5 (3278)
• Habit 1 Be Proactive: The Habit of Choice

  

  Da Everand

  Habit 1 Be Proactive: The Habit of Choice

  Stephen R. Covey

  Valutazione: 4 su 5 stelle

  4/5 (2556)
• Elon Musk

  

  Da Everand

  Elon Musk

  Walter Isaacson

  Valutazione: 4.5 su 5 stelle

  4.5/5 (437)
• The 7 Habits of Highly Effective People: The Infographics Edition

  

  Da Everand

  The 7 Habits of Highly Effective People: The Infographics Edition

  Stephen R. Covey

  Valutazione: 4 su 5 stelle

  4/5 (2475)
• Los secretos de la mente millonaria: Cómo dominar el juego interior de la riqueza

  

  Da Everand

  Los secretos de la mente millonaria: Cómo dominar el juego interior de la riqueza

  T. Harv Eker

  Valutazione: 4.5 su 5 stelle

  4.5/5 (814)
• The Hobbit

  

  Da Everand

  The Hobbit

  J.R.R. Tolkien

  Valutazione: 4.5 su 5 stelle

  4.5/5 (24586)
• American Gods: The Tenth Anniversary Edition

  

  Da Everand

  American Gods: The Tenth Anniversary Edition

  Neil Gaiman

  Valutazione: 4 su 5 stelle

  4/5 (12947)
• Habit 3 Put First Things First: The Habit of Integrity and Execution

  

  Da Everand

  Habit 3 Put First Things First: The Habit of Integrity and Execution

  Stephen R. Covey

  Valutazione: 4 su 5 stelle

  4/5 (2507)
• Orgullo y prejuicio: Clásicos de la literatura

  

  Da Everand

  Orgullo y prejuicio: Clásicos de la literatura

  Jane Austen

  Valutazione: 4.5 su 5 stelle

  4.5/5 (20550)
• Matar a un ruisenor (To Kill a Mockingbird - Spanish Edition)

  

  Da Everand

  Matar a un ruisenor (To Kill a Mockingbird - Spanish Edition)

  Harper Lee

  Valutazione: 4.5 su 5 stelle

  4.5/5 (23003)
• Habit 6 Synergize: The Habit of Creative Cooperation

  

  Da Everand

  Habit 6 Synergize: The Habit of Creative Cooperation

  Stephen R. Covey

  Valutazione: 4 su 5 stelle

  4/5 (2499)
• The 7 Habits of Highly Effective People: 30th Anniversary Edition

  

  Da Everand

  The 7 Habits of Highly Effective People: 30th Anniversary Edition

  Stephen R. Covey

  Valutazione: 4.5 su 5 stelle

  4.5/5 (41)
• American Gods [TV Tie-In]: A Novel

  

  Da Everand

  American Gods [TV Tie-In]: A Novel

  Neil Gaiman

  Valutazione: 4 su 5 stelle

  4/5 (12520)
• The 7 Habits of Highly Effective People: Infographics Edition: Powerful Lessons in Personal Change

  

  Da Everand

  The 7 Habits of Highly Effective People: Infographics Edition: Powerful Lessons in Personal Change

  Stephen R. Covey

  Valutazione: 4.5 su 5 stelle

  4.5/5 (142)
• Pride and Prejudice: Bestsellers and famous Books

  

  Da Everand

  Pride and Prejudice: Bestsellers and famous Books

  Jane Austen

  Valutazione: 4.5 su 5 stelle

  4.5/5 (19653)
• Never Split the Difference: Negotiating As If Your Life Depended On It

  

  Da Everand

  Never Split the Difference: Negotiating As If Your Life Depended On It

  Chris Voss

  Valutazione: 4.5 su 5 stelle

  4.5/5 (838)
• To Kill a Mockingbird \ Matar a un ruiseñor (Spanish edition)

  

  Da Everand

  To Kill a Mockingbird \ Matar a un ruiseñor (Spanish edition)

  Harper Lee

  Valutazione: 4.5 su 5 stelle

  4.5/5 (22902)
• Good Omens

  

  Da Everand

  Good Omens

  Neil Gaiman

  Valutazione: 4.5 su 5 stelle

  4.5/5 (12010)
• Good Omens: A Full Cast Production

  

  Da Everand

  Good Omens: A Full Cast Production

  Neil Gaiman

  Valutazione: 4.5 su 5 stelle

  4.5/5 (10907)
• It Ends with Us: A Novel

  

  Da Everand

  It Ends with Us: A Novel

  Colleen Hoover

  Valutazione: 4.5 su 5 stelle

  4.5/5 (5757)
• The Perfect Marriage: A Completely Gripping Psychological Suspense

  

  Da Everand

  The Perfect Marriage: A Completely Gripping Psychological Suspense

  Jeneva Rose

  Valutazione: 4 su 5 stelle

  4/5 (1108)
• And Then There Were None

  

  Da Everand

  And Then There Were None

  Agatha Christie

  Valutazione: 4.5 su 5 stelle

  4.5/5 (8934)