A. DONEDDU CURSO DE MATEMATICAS eee COMPLEMENTOS DE GEOMETRIA ALGEBRAICAes =a. \ | | PREFACIO MAK , GIST avewcones 1980, oantravo 38 sadelé picasa a ‘aan 643-2094 (edi completa) rere 2s SSSR Tao* PREFACIO Uns de ie innovacions de ese Curso de matemsticas consists en presenta los etudintes dos modos de constrccionsaiomstin de Ia rome. En el tomo I hemos dado una axiomsticn de origen geomsico, ba sada en la definicin sgulentes la peometra exe estudio de wn espacio until sobre ef cual opera wn grupo de ransformeione. sta axiomatic, aunque diel de estratarar dee un punto de vista logiomatemitico,oece In inapresable ventaja de elaborar la teria a arte de Ta noc initia de espacio concreto, debido ao cual es minentemente pedagigcn, Requier qe se offezca a alumno lo esencil dela conseuccn, sn dtenerse demariado en jstiiaciones igure, tte pueden hallase en otras obras. Ea eonsecuenca, no se dan tos fo detalles del desarollo, sino que se exponen slo Tos pricipios fone ddamentales la segla del juego, eleridos unos y tra en esencia @ ‘bjetos familiares sos estadants. Estos pueden inarse ast sin con- fusiones en Ia slaboracin de una teori guess. Por ott porte, en los dos primeros tomes el fetor ha entrado en contacto on divertor cjerplos de espacios vectorile,y ha podido ver que ese estructura, sorida de in geometea habitual, saplica a otros ntes matentleos tales como poinomios, espacios foncionaes, ite- pals, et. ‘En ens tercer tomo se requier dl esuante que comprenday apres ce una segunda aniomaticn de In geomet, asada en Inestructura de ‘apacio vectorial El sistema de aniomas er ahora puremente algerico, To gue fusifen el nombve de geomet dgebaice. sua segunda anionic permite abut andes perspectivas sobre cometrian que preten ser priori may diferentes y que, no obstant, foseen muchos earacteres comes. El estdiante que tenga ya algunas Focionesscerea de las Eeometsas afin, evldlana © incluso proysetia, 1 gue baa rsuelto numeroseejerccios y problemas al respect, estard “aqua para capar los nuevos horzonts de la geometra algebraic, La primera teora que hemos de desarollar es, evientemente, Ia eomttia alle, Después de recordar algunos aspectos esencsls sobreTos espacios vectorial introdacen lst nuevas nociones de ariedades Tineses, aplicaciones fines, grupo ein, hperptonos, es "A continua, se hace presiso detenrse ola geomet proyectiva Por el tome I lame conoce ya una protonacién intuitiva de a gee rea elemental en In geometela proyectiva, meced a a introduccién {ion elementos det infint. Sbce em bate, etd en mejores conio tes de entender los coneptos (bastante deticados, heros de reconoero) {de saiedaes proyctive,eplicalonesproyeeteas, grupo proyecto, i Rerloor eto rahe x omer ny ewe ‘Como es Kgico, ln geometra eelidina no interviene en esta cons truce ends que en ua tecera etapa, pes esta geomet aports wt tito nuevo: cide forma bilimea. Algunos pretenden que es preferible tones trata lis geometries de a formas bilinales cualsqulra sobre ‘hyscos vectorial cunlesguora Ta geometriaeuclidiana no serfa mis Sue un miserable caso particular de esta gran teorla, Es preciso backt ‘otar a qulenes as piensan que a incacén pedagpca es algo compe- Tame itint, Las wolentas conmociones que hoy vivimas, que para Tui han ponadolnadvertida, muestram a5 clras que fos problemas fiaplgios, lejos de rer desdfables,exgen ser reseltos con fa mayor tegen, ‘Agut hemos decdido ocupstnos en primer lugar de ts geometea ‘ecitfona por diversas raones de ex fadole: ante to, porgue a r+ ancl de ta estuctra euldlna es simétria postiva no deren aay, por tanto, ma senella; neo, porque esta forma nce interven create We Tos mimeros reales, que es ms fairs fnalmente d= ido a ue cleton resultados no serdn dl todo micros para e estudian te dociSn de ortogonalidad aparece aqul en situacones conocidss, Inge se aplque a espace de dimensién cuagir, incuso infinita ine Bometrias Tos eemjanzas son simples extensiones a esos espacio UB io'tanatrmaciones hnbitules en que se basa la axomtica ex puesta en ol foro I ‘Una res que ba logo servitee de fas formas bilineales en el 350 senci en que estas formas f08 reales, simfticasy positives no dese Sera el Ietor puede ya emprender el estudio geeral do formas bi Rese Gstenqiers sobre um cuerpo eatlqulera; surgen nuevas nocio= Tov que hacen apatecer diferencias eemcils con Ia formas simples yo Chrliades: nicl, retoresfotopos,subespiciosisotropos, En este Eads tte concepts som mis cients ssilble,y arroan nueva far sob ln Hes de ertogonalidad. ‘Se angus entoncs Is tps final dos fous sesglineles, Res? pec de es formas heise ropten michael oper sv Tiornene conse Extn open, em ner de atm faconwe: ent, conse um veraders mseid eobre todo ndcan fuidadosment Tos potas de avergeact De esta mance eto es intsado en los eration prekiberaos:gtednsobrayads la sslogi ton ioe egacios euliane yt repaa el xno pare snes utr ari ain on ped a bre ona as norone cenils relatives Tos hipecusrias dou espacio Proyetvo sobre el aero € de bs nimero compsos Putt a de ‘eleven el eas gener le elemento fundsmentsles eon extudiados fepilianente con mucho mds detalereterdor a at cincas 7 2a slit ond ston cnr aio sn shoes ‘ome mado ds aplasia particular de los concepos geometric ses ‘para las hipercuddricas. mio ones A. Dosenou.INDICE GENERAL op as Antenne Can 3mm sone ta OMENS AY aA 8 cw. BClntens ¥ comcast osoneals rvEcHVa a tice ea eel ps otChr. 9~Clmcas am GEOWEAL Ar Yeu COMPLEMENTOS DE GEOMETRIA ALGEBRAICAcaorroto 4 GEOMETRIA AFIN 11. Inoue En el primer tomo de esta obra hemos presentado Ja grometria ‘xclfana Como el ertudio de un espacio puntal sobre el ue opera tn gro de transformacione, Hamas tometiiats Eur defnicn amplis'de modo nate toe conocimentos. geome: trcos adquiides por Tos estudiantes en Ta eneanea tesa, donde seometia eucidians es acertadnmente precentada como el ectulio Iutemitico de espacio tensile en que stv, ‘A puri de sistema de asiomas gue responden eta dsinicién 1 sasacen ls nds rigurosss enigencis Wes, ban eedacio Is Principles estuctras de Ia geometra euchdna: Tongitder 3 Iedida sobre el cuerpo de Tor mimes reales, Anglos 7 su medida, tore y estrictra de esyaco vectorial, roduc scala, medida AF rotacones y titnometi Ia geometia fn sobre el cuerpo de Tos nmeros reas aparece ast de una manera natura, alive del espacio vectorial obenido, como {cotati de ete espacio sobre el coat opera el grupo de as trase- TA vel univestri es conveniene pesentar un nuevo punto de vista, mis ganeral haiendo tntervenir con la mayor frecuencia pst The a enero. conmurativo K dado (oo solamente el cuerpo de os IMimeros reales, sino tambiés el de Ios complejo, cvalguler oto) ‘Artal dun tal Kespacio vectorial E, ln feometia afin se define lomo el estuto det espacio sobre el. que opera el grupo de Tas tas ftcones. Para ser conecuentes con tal punto de vita es precio que fn esta geomcela queden identiicados puntos y vectores, sendo el ‘ectorelclemento tase de la tor El espacio alfa nox te coea gue el propio espacio vectorial sobre 1 que opera al grupo de Ins traacionen Este enfoque simplifieador, Stsmds Ge Lic, resulta pedngéico, Los estudiantes universarios hn lcanado un nivel en sos estudio Que les debe permite abundo- 3nar el orden natural de edvcacién matemtic de sus estudion ante- tiores abrir a nuevos horzontes. Las conocimientos prevents ‘dguirdos hacen posible exponer-una teorapuriendo. de una ies mis genera: un Kespucio vectra, donde K's un cuerpo comme tauivo, de dimensién fini ono. De este estudio mds generale In gsometia alin se deduced oto ‘studio general de Ta geomedri eucidianapartiendo, ademis del es fpocio vectorial sobre el cuerpo de los nimeros reales, de una forma bilineal simérica postiva nov degenerndn sobre este espacioy Este ex foque,amplisdo af cuerpo de los omplejoe,conduce al extdio de ta scomcria hermits en tor eepaios de sta forma bilieal ‘Simétrica positiva no degenerada hace el papel del producto exalt Iubitual. Pero tl forma bins! no es nia, todos os espacios eu lanes consteuidor sore el, misma Reesparo. vectorial E estan Ser felzmente isomorfos ene Por elcontrario, el sistema de axiomas tasado sobre ls isoeteas ts caraterfstco de la geometiasucidana en el semido de que sta ‘rometria responde a la anicidad deta medida (Qe unidad ees) 9 define una sol forma bine siméteica postiva fundamental: el pro dcto esalar habitual salvo un esalar multipleativo, coresponden tea hh unidad de medida wiizaday. 1.2, Eapacton vctorales Vamos a recorder as principales proiedadeshalladas en tomo 1 sobre los espicios Yectoriles, compltindolas sex neesaia, 121, Detinitin—Decinos gue un conjunto E es un espacio vector ial sobre un cuerpo conmuativo Ks 1 Bes un grupo conmutativo (ey denotads con +). 2B est dotado de una ley de composcin ext caciin: (@a) > am de KxE en E, que sntite Piedades: ‘sobre Kap slgulentes pro. YaupER: VebeE ‘ofa b)=aa+ ab (e+penaa+ Be alpe)~(op)a onde 1s la unidad del cuerpo K. sie. 12 snc veeronnes 5 os elements de reciben el nombre de vectores,y los de K, el de cexcalores. 122. Sebeapacae wectraln—Recibe el nombre de subespaco wee: torial de un espacio vectorial E, toda parte de E que sea ata ver on espuclo vectorial sobre el misma cuerpo. ‘La condicin neceara y sufiene para que F sea subespacio de B es que, pars euslesqicra ey b de Ke GEF © YER => orttyer, 123, Conbinacin Hnea—Dad wn fain {en frmae ta yor p vectores de B, recibe el nombre de combinacién line de ‘estos p voctores, todo vector x de F que sstistae In rguiente propi Aad Cxsten p esealees ypc aes gue Los esealaes , se Haman covfcintes de Ia combina Se verfic Ta siguiente propiedad: Fl conjunto F de ls combinaiones Healer de una fama dads itn ura] CE es un subespacio de E; es el menor subespacio que contens a Ta fama dad, Diremos que (si, pote) 68 ons faa de generadores de F. 124, Famili Hie: Fania aga —Direros también que una fie lin (aus erty) de vectores de Bes bre (0 que Jos vectors $08 Tincmenteiadependiontes) a la rela: ini =,=0. En caso contario,decnios que Ia familia es igade (© que fos vee- toret sy no son linelente independents): exston entnces esala- tera; no todos nulo, 9 ales que: ayer ayant nt Opty 0. 1.25. fayute retrial de dimen inite—Un espacio vectorial sobre un cuerpo Kt dice de dimension fina si existe wns fai rita de generadores de E.« cunt eromerna ary Recibe el nombre de base de E toda fail libre de generadores de E-Pora un explo vectorial de dimension fia, todas Tas bases tienen of mismo ard ‘inmamos entonces dinensién de E a cardinal de una de sus bases Ti notaciin correspondiente es: dim, £, 0 simplemente: dim si no hay peligro de confusién. S51 Bofeven sven) una base del Kespacio vectorial £. Para cualquier = €'E, existe entonces uaa fanaa {20s mya) de escal tes; due selien el nombre de coordenadas de xen To base B, tales qu’ 1.26. Sumy de do suherpcin Sean Fy G dos subespacios dl espacio vectorial E. Por definicin, la sua’ de dos subespacios Fy Ge Feon E 8 | 3CF, 39 EG, soxty) ‘icha suma es el menor subsspacio que eontene e FUG. 1.27, Sema sicetn de don sebepacin De ds subespacios Fy @ de Ese dice que som lncalmente independintes st FVG=(0).. atone cualquier vector 2 de FF adaite una descomposicion tinigd not y, con 2 EF 0 YEG. En cstts condiciones, Ia cuma F+G recbe ol nombre de sina dliecta de FY Gy lo que se cette: F@G. “Ademiss sl POGAH, 9 dice que F y G son suplementarios en H. 13. Aplicacones lineales 13.1. tomomorthmos ute epain vectors —Sean E y F dos es paces vectovaics sobre st mismo cuerpo K. Una aplicacién f de Ben F $2 denomin lineal sh se cumplen las dos propledades que siuen: WHEE: WER (HEF; WER) ta condicin necesria y sufiiente pra que una aplicacion f de B ‘en Foon Teal es que, cuslesquera que sean a y B de Ky para todo pir sey de E, se veique flax by) ells) +b). El conjunto de las apicsionet lineaes de Een F so escrlbo 246, F. src_14: eseico YECTORAL S646.) ¥ nana Lal) 1 1.3.2 taagem y nilen—Se (© aE, Fa imagen de 6 (ECF. “Tamil se emplen In notin: Im =f. Se verific que 6) es wn eubespacio vectorial de F. Recibe el aombre de micleo def, y se esribe NG), o bien Ker(D, 1s siguente parte dF KerQ={x€ E | fi)=0) Se demucsea que Ker(f) es un subespacio vectorial de E. Es importante In siguiente propiedad: Dra ue una aplicoein ines de Bon F se inyectva, es neces tio y uficinte que Ker()=(0) 133. Raakin entre I Ey F dos Kespaion tect ‘pletiin lineal f de E en Fe veri: im Ker ()+dim Im (hi LA, Rapacio vectorial £<(B,F) y anilo CE) LA, Foace vc £4(F)—Sean fy dos elementos de ey{6.P) que denotaremes snplemente (E,F). Entonces It aplict= Gin h de'B en F, dein por (eB) Me) (yale) cs tambign lineal: BE UEP. 'Sedetne asi un ley de composicin (jg) hater en (5, Py que rece ehombre de ecm. La aplicacion hse ama sua de f 7 flo que se exeibe fe. ‘oe mners anllogs,sena { ©55,F) y a’ K. Eatonces 1s aplica- cin fy de Een F dings por: (ee A) Madmale) cs Tint: hE LE, [Be eta forma’ se define una ley de composicion (@,.—>hy de KaZ(ELF) en 2(E Pp La apliacign ecb el nombre de producto ef por et escalor ayy ses of.Las dos leyes anteriores confleren 9 (6, F) estructura de espacio vcore sobre el cuerpo K. 142. Compute de apieacones tinal —Sean E, F, O tres Kes: pcos vectorial, sean { © (EF) y g © £1F,G); por eonsgsiente, Bef 26,6) Si PE LE, A, so veriiea Ia distributed a fa i ‘gerd ee GsNmnettaet Sig © £(6,0), 0 cumple asf mismo la dstributvdad a la derec: refaeleeet. 1A3._Anlle de tn endomstimos de BSi EF, toda apliacin Tie seal de B en F recbe el nombre de endomorfsmo de B. En este caso ftnpleremor Ie nolaeiba 2(2) [o simplemente 2(E)} en lugar de EME. ‘Sitemos (L4.1) que SE) es un K:espacio vectra. Si consideramos en (6), demise Ty adicin, Ia ley de composi de aplicaciones {142 para el caso de que EFC), conacda teocltvidad de sta ley y In isteibutivded's derecha e fagulerda con react a Ta aicin conferen & 2() estructura de ani, Este aio tene como elemento ‘eidad et concidenca sobre E Cs LAA. Goape tinel—Busquemos en primer Inga fos elementos versiles de"Z(H, El elemento de (8) ef inversibie sly sol ‘ste g de (6) tal que: gef-foane ete demuestra que Fes suprayectia, puesto que pars todo x © & existe a0) CE tl gue mae La reacidn: (We EB) a raion: te B) aiei== praca que f es inyeetva, puesto que: Me)=fee) > fe =a] > ene Por consiquente, (es biyectiva, Es un automorfiemo de E, Results evidente que Ia condcin anterior basta pars que f sea inverible en Salo 20, "Tvlos Ios lementos inversile del anillo constitayen un grape par 4 segunda ley. En mest eat, los atomorismos de (6) forman tin grupo (no Conmuttiva) para la ley de compodeion de aplicaciones, fl cual recite el nombre de grupo lineal y, abveviadamente, s repre: fenta con Ia notacign GL). 15. Proyectores 5. Detntdén—Soan Fy G dos expaios suplementarios en E: FOG=E. Entonces, para cunlguier x de #, existe un Unico vector pe) © F 4 wn dinco vector fs) E G tales quer sople) sate) Las aplicaciones x-» p(s) de F on Fy x9) de E en G recibea respoctivamente fos nombres de proyecior de E sobre F (pralelamente 216) de proyector de E sobre G (praeiamente a F). Resta evidente ‘qve ambas aplicaciones son suprapetivas. 152. Proptedaers 12 Todo proyector es wn apie lineal. 2+ Sippy q som los proyestoes do F ebre los subespaciossuple- imentaros F y G, espectivamente, entoncs: Ker)-G y Ker (=F. 3 Cualquier proysctor p vera Peper. 442 Sean G y G* dos subespciossuplementaios del mismo subes- sacio F de B FOG-FO’ Si q es el proyector de E sobre G paralelamente a F, entonces la res- wisn de'g 2 G' es un somortisme de G' sobre10 can. ronrraa ar 1.6. Veetores propion. Valores propios EL Detnione—Consderemos ahora un endomartisme de E: 1E24@, Demos 1-—Desimos que es str vector propio de f sl x £0 y si existe un exclar AE K al que fe)ohe Este excalare¢ nia, pore: (#0 y dank) dn _y reibe el nombre de valor propio coreespndient a vector propio. Dernuctén 2~Se tlm valor propio de un endomertim f € (6) todo scalar 1 € K que stintgn Ia siguiente propiedad: else un Yer tor no nolo + de E al que fs) he El vector x recibe el nombre de vector propo correspondiente al talor propio ®: No es nic, ya que para cunguier exalt y © Ko vector px goza de la misma propiedhd que el vector =. 1.62. PepidnienDesignemos con «Ia conciencia de sabre Si kes un valor prio de 'y x un vector propio correspondiente, en, tonces la apiacin Ae © (6) etieface ta eondiion Gr )=0, Por tanto, x pertenece al nisl de f—Re: £€ Ker(-te), Y¥ como x0, este micleo no se reduce a solo (0), to que implica aque fe no es inet Reciprocamente si exste un esealar A tal que [=e no es inyee: tira, el miceo de esta aplicaciones distinto de (0); existe entonces al menos un x £0 tal que (Re) 2)=0, de donde [la)=he, Por cone Snuiente, = es un vector propio y h eu valor propo ssoiado, Tron —Parn que el scalar X sea valor propio del endomorts- mo f,e5 necesario y suiiente que Ker (~Ae)>" (0). Ker (=e) es, por consiguente, el conjunto de los = de E tales cae fa) “AG. La resticion def @ Kee (Re) rela er entonces la Momotecia de ania. Ker (—2e) reibe el nombre de subespacio propio correspondiente a valor propo 1.7. Variedades Hines 17. Tralaanma—Sea Eon espacio vectorial sobre un cuerpo conmutatvo K. Derincion—Para cualquier vector « de E, se lam trasacén de vector ala apliccioa fg: ah de Ben af mismo. 1a tashaca tes Ia coincdencin sobre E. Es claro que toda taslacdn ee una biyecion de B sobre ef mismo (permutacin de}. La reciproce de In trasncén fy etn trasaciinf ‘Ademis, ib oto vetor de Blas relalones AND radobHaraymardyre emuestran que: tee teat Podemes, pues, enuncia: tae ‘eonsma 1—Las traslaciones de un espacio vectorial F constituyen un grupo eonmutative,subgrupo de ls permutaiones de E, isomorfo MT grupo adiivo de (Con Tr designamos el grupo de Is traslaciones de Z. CConsderamos In grometia aff como el estudio de un espacio vee torial sobre el cual opera el grupo de ls trislaciones; al espacio ectval recibe et nombre de espa aft 7.2. VurediesUnaen-—Sex Fun sbespscio vectorial de E. La imagen de F por In tranacién f, et el conjunto de los wy para todo yder: s=(2 EB | YER, atyns). Bscribimos: 1 PnatF. sta imagen se denomina vaiedsd lined alfa o vavedad linea. Deenicin-—La imagen do cuslgulersubespacio vectorial de E por tuna trasacin recibe el nombre de aridad lve! en E-2 ye. 1s orounema an 1.73. Propiedad wi] aer => at En efecto, hemos que (@EF y x EF) => ate Ademis, para cualquier de F etiste y de Ftal que a+y=s- | Las snus varedadeslneales que contionen a O son tos sube cespciosvectorales. En electo, si O€ (a Fh, entonces a F, de donde a EF, y, por consgulente, «+ FF, Py | Sean F y © dor subespacios de E y seon a y B dos ectores Entoncer, «FF Cb+G equlele a: (FCG y a-b EG). 4) Demostremos primero que: StFCUIG => (FCG y a-bEO. Pata todo de F, tenemos: atx € (e+, de donde ats € (64-0). Existe, por tano, yG tl que ave—bey. ‘Tomand, x0, 2 v8 que a bay CG EEntonces, para todo x de F,tendremat xb 4yEG, de donde FCO. 2) Demostemos ahore la implicacén recprce Para todo #6 (eR), tenemos: =F, de donde x-a€ C. Como ab € G, entonces: (labs bEG = Ze G40) 7A, Dies de ene vaaad ines. P| Pore toda eorisdad fines! V, existe un solo suberpacio vec- tori F tol que at FV, cualquiera que sea ol vector @ de V. En efecto, sean «© Vy F un subespcio tales que «HF =V. Eas tonces, de acuerdo. con Py a+Faa'+P implica 4 ls vex FCF 9 FICE, de donde PP. Dertucién.—E1 subespacio vectorial recbe ef nombre de direc. iin de a vated lineal a 175. ercskin de do vara tines Tr) eget met inte pr a do sae Kets ws Uta Mim Sree seb esa 8 LF Supongamos € (a G40). Existen enfonces s€ Fre y © O tales que nba aby EPH. by de dn Recprocamente, a—b € F+G implica Is existencia de uns € Fy de of EG tales que a-b=—rty, de donde emata=bty 6 comin a e+F y BG. demos, por fan atFroiF oy bY cribs Het. 25 Nos fate por demostrar que: (eh M(e+O)~eHFNG) kn eecto, st FG, entonces e+ x E (e+ A) y ete C (046). Reciqrocamente, ls € (e= F)C\(e 4G) existenentoncesx € Fey € G tiles quer seceanety, de donde £7 € FG. ‘Le propiedad Py sth demostrads. 126, Neicades ines poral Dermiciy.—Dos variedades Tineles at F y b4.G, de direcciones respativas Fy 6, rvien el nombre de poalas si FCO. ‘Peden presentarse dos cos: Le (HA NG+G)=0: 2b ennte © (as F)UG+O). Entonces: letPoatF y b+GnetG. ‘Aeris, segia Py: FCG = etFCesG.En resumen, si dos vriedadesUneles son paras, o bi no te: nen ningin punto comin, o bie una ests incaida en In ots. 1.7.27. La menoe varia tnt que canons wn pare A de Sea ‘A uma parte ovals dada dE, Eetudiemos Tas varices lncales fines, tales que LA. ara todo a € A, y Fes la decen de, tenem WHFDA ee FD -abA. Leahy: ‘Tenemos, pues, que estulr los subespacios vectorial F de ‘que continen'Ta parte ("a+ A). Sabemas (ome 1, 1243) que Tersecciin de todos estos subespacion eu bespaios es'el menor subespacio que contioe la parte (at A). Es también el espacio, G fngendrado por i fais (a A, Dio subespocio G no depende de l elesién de « € A En efecto, HEA, para todo = € (DIA) existe + (a A) ta gue! hasan —(-asb)tei 5 una combinacién lineal de los vectors (a+b) y 8 de (—e4 Ad. Podemos pues, enuacar [8] ta menor sain tie! 1 que contin wt prte A de tiene por direccin el menor subespeco vectra engendrado Por 1s familia aA, elegido el punto w de manera ar, frag en A Denen.—L recite el nombre de varia neal engendrade por A, Se die también que A es un sistema de generadores de. 1.8, Aplicaciones afnen LB, Detinién—Sean Ey F dos K-espacios vectorial, Para sli aplieachin inal f de & en Fy toda tralacion fo a ale gels, compuesta ff tebe enone de apiceién Tinea! ata de Para designar el conjunto de tales aplicaciones emplearemos It no- tacgn AEF 0 bien ACE ino ene plo de Cas, 5 evident que: LE. PYCNE, A. $201 artcvcrnes aries 1s Si Ty designs el grupo de las traslacones sobre F, se tiene también THE AEA. Por detnic Ger y (EXER) = ara culquee« de B, tenemos, pues: Ha fl0, 182, Gnead dete dscomposctn-—Sopongamos que exsten dos vectres a yw’ de Fy dos apisconesineses fy f de (EF) tales que? ofate of: *fEMEL. a Para too © de B, tendvemos: at feynat 6100, En particu, si x0, como ((0)=/(0)=0, se debe tener a= De lo anterior resulta /=P, y podemot enunciar P, | Pare cuslgier gE AEF), ta descomposicién gmt, ef con Fy [EMEP es unica 1 rece el nombre de aplicacdn neat asociada a Ia apleaign Tinea ‘atin be ma traslacién asoiada a g. Obsereaisn—Come Ia trslciin ¢, es na permutacién de F, ta condici neceeri y eliciente para que g sen rupayectiva(cspecti= ‘amente: injection, bigectia), que f también To se. 1.83. 01m decompoion de lan apleaconer fines blyecint-—Ste pongamos que a& By que {© 6, Estudios la compuestaf =f. Tendiemos (EE) fotsy=fla2)=f(0) +) Por consiguiente 16 EP6 Podemos, en consecuesca, enunciar Ia propiedad: Pore cusguier © (EF) y todo a fla aplicacion {ty 5 wna apliccion ofn de Ben F. Ades: fee nae Sif es biyectoa,entonces para todo b de F existe un vector 4, y solo uno, de E tal que f(a) by Dado que pars toda © ACE, F) existe tin elo vector UEP y una aola [ELE F) tales Que B=fs of (5 tin Pi), cntonce,en el caso en que sea bgectiva, existe también un folo vector w Fy uns soln / © “(E,F) (a misma que anteriorments) tal gues gf ty i Se vere, pts, In siguente propiedad Para toda apliacin oft biyctiva g, de E on F, la descom- Posicién fot, con aS Ey [© LUE,F) es tnica. 1.84. tnmcen dle una vere Hneal—Sea_g=ty «una aplcacién lineal atin de Een Fy sea aL una varied Uncal de diceién Z, ene Pra todo « € aL, exist «© £ tal que WDM) =b He) +e +2, de donde: Por consguiente: sles E)=b fl 0). Podemos, por tanto, enuncar: Para cualquier eplcacién of E AIF, F), la imagen de wna viedad lea! de deci L ow E ex ote ariedad lneel de irecci [L) en F, sendo fla apicacién Tne! oxociada @ Si dos varies lincales aL y a+’ son puralelas, con LCL’, entonces (1) CCL, ¥ por tanto? Conotano.—Las imigener afiner de dot variedader parlelas son riedades parla. see 1 arucicrowes aries 0 ro tome 1 (192), se gene robre un cuerpo etal ‘Teonoun 2-—Dados puntos de un espacio afin E sobre un cuer po K, que denotamos yay tia Ym Sears ay ay nrg dK, tales que a,tay nay 0, cl punto g dlinido por mre! concepto de biricento, etudiado ya en el de manera inmediata a un expaco ain E ak. vein, sobre ra toda aplcaién lineal afin f de & en un expacio atin F sme cuerpo, I reli sft) ofla) tell) We) Demostacin DSi FE L16,, emonce (cette) elle ntl) 4 el worema esté demostrad, 2) Sit, Tr ¥ BE LAE, F), entonces: at 4 21D tO) abt sled) 1 por consguiente, para tods opiccin lineal ain ft, og el tore. za ests demostrado Dennteix—El punto g rcbe el nombre de barcentro de los pune tos tnay vray alestadas de low coeficenes ray Se puede demostrar (como en el tomo 1) que el barcentro no esmbia al ee siatitayen fos ecalares ay ay asta FOr otros proporcionaes pave pte Por eta raabo, 8 mend go eigen sintema de escalares tales que: aut ort metal.i urs ebony ar Si se susttoyen p de tos m puntos ay por su barcento alec tado de la suma ay ay el baicentro dolor m puntos noe alters. “Teoma 3.—Sean E y F doe espacios afines sabre ef mismo cuer- po K. Si una aplcacién / de E en F aplica el barcentro de cualler Sistema de puntos sobre el baricentr de Is imigenes de estos puntos, alectados de ls mises coetcentes,entonce fe na apliecion afi deben F Demostraciin Por hipétss, (2 E> F verifies, para todo sistema ‘yyy de puntos de Ey eutiguier conunto ty yay de esalres 44 tales que ay tag, Ia relacion a) + fad Entonces, para cualquier taslaclin & € Ty, I composts t ef 8+ tstoce,evideatemente, Ia misma propiedad. Por tanto podemos supo- rer que (0)~0 y limitarnos a demostear que (© 2E,f). Pare todo tat de punts x, de & y cualqieresclar N€ K, tendremos? M412) Me) ‘Tomando y=0, se obtene, para culguirn x € y todo AE Ks 1)=M). a Si el cuerpo Kno es de caracterfstice dos, entonces A= existe ea ky: yt oa ([bxets] Lee Lan as, tenlendo en cuenta te {1} para Awd, nos dce que para cules quiera x © y de E: oe Bet y-fl0) +09) a De tas tH] y (2 resulta que / © (8, y ot teorema esté demos- teado cuando K no es de carsteiten dos, SUK 8 de caracterstin dos, podemos consider cualquier tena de puntos 3,4 afectados de eoetcentes iuals as unidad, oboe vande que! Lele Se_L8: arucsciones arn 9 Entonces, por hipstesis: Meet ys) +16)+ fe Basta hacer agut +=0 para obtener (2; portato, / © (EF) EL eorema 3 queda demostrado 186, Compue de spacone sfiner—Sean Ey F, G tes Kespa: ‘og vetoriles,y supongamos que © AIE,F)'y KE ACP con JE LEA) yt. T4 con RE LEG) y hE Te Estudlemos Ia compuesta kh, Para todo 2 © F, tenemos: obs) Ha f= ela+fle)~ +e) 8 fl. Como b+ 4(a)=Kia se obtiene: to que nos permite enuncar: ‘Teoneaa 4—La compuesta KA de dos aplicaciones afines hy es ora aplicacion afin cuya tasackn asclada es fu (le8 fy aS Tac asoiada aM), y cya aplicaién lineal asciada es la compuesta de ls aplicaciones inate esocadas ay 187. Momosea fin-—St EF, denotames con ACE) el conjunto de tas aplicaciones anes de & en si mismo. Ast, pe, par cualquier a EE y todo p © K, la aplicaién: x atple-o) ‘una aplicaclén alfa de E en sf mismo, y su spieacin lineal aoc (a ex In homotela x -» ps) d@ raz6nep y caja tslalén asocads tiene por vector (I~ pla, Elta ex e ric punto ivaviante de esta teansormacién fin, que reibe el nombre de Romatcia oft de centro ay rezdn p,y que denotames hy, Esta howotecia es bipetiva', y solo si, py. La apicacion re: cfproca es entonces: 1 aye! # > arb tena.1a compuesta de dos homotecias aines (de razones py 6 viene dada por el tovema 4, Pesto que lz compuesta de las dos howotecas Tesi ascladas es otra hometeca lineal de rxzin pp 8 comporst ti Tas dos, homoteelas fins propuestas es otra Homoteia afin de Seba pp St ppraly ie computa es una traslaién de Tr, De lo ex pesto result Et conjunto H de las homotecia fines de raxén no mula y de Tas tmacones de un expacio Bes wn subgropo de [as per inntaciones dE. ees un subgrapo del grupo Hl, Phevotea pare be L es una varedad lineal de diecién Lh ‘unt homoteca aia de ranén p, eatonces Mb-1) es una variedad Ih teal afin de direct pha(y EE | 3eEL; y=p) Es claro que plCL, para too p E K. Podemes, pues, enuncia: Pal ta imagen de une vridad tinsel por ume Romoteia afin «8 tena ‘variedad line! pale BR. Grupo afin GACE)—Sabemos (1.8.2, Obseroaién) que, para aque tw apliecion alin. de E en F sea biyetva, es necesaio y sai fente que la aplicaciéa lineal arocads To sea. Si g=ty sf cont © Ty donde eo a apleacién lineal bigectiva de Een F,enfoncs: eat frietlongeptety vy de seuerdo con Pr tetra co sea, gt os unm aplicacén lineal bipetiva de F en B. ‘Supongamos el eico EF. Entonces Ta aplcacién afin g © AE) seri byectiva sy eno Hi 9 aplieaign Unealasociada / © GLE), La Splcnion reipoca gt sork wna plicacén afin byectva de E sobre ef mismo Por dia parts, sein el eorema 4, Ia compuesta de. dos apicacio= nes afies bigestivas ex uns apiscén afin cuya aplicacin Tnel 350: Gala ex la compuesia de dos elementos de GLUE), y, Por tanto, 8 86.1.9: gers & mreRavon a tun elemento de GLE). Por consiguente, la aplicaién alia compursta 5 también bigectia, y podemos enunciar ‘Teonts 5.—El conjunto de ls aplicaciones afines biyetias de ‘un expicio afin F sobre sf mismo es un subgeupo del grupo de las pte ‘mutacones de E. Pero sr ene soe de afin de E, y se escribe GA(E). ” FL pro Hinest GLLE) es un subgrupo de GA(E). El grupo de Is homotecasafines es también un subgropo de GALE), Ms Iperplanos 19. Recta veto Derisicix—En un Keespcio vectorial (0), recibe ot nombre erecta vectorial que pass por 70, subespacio Vectoval imagen be In aplcacién A> he de Ken. Esta apicaciin es inyectiva porque he~Ne <> AX. Adem si denotatnos com D, In imagen en cuestion, lt aplleseién es una bi yssclin de K sobre D.- ‘i # 40, e menor subespacio vectorial que contene aa debe evi entemente ontener a todor los ha cuando h toma todos fos valores {80 K, y por consigulete coincide con De SiBED, {0} existe entonces p 0 tal ue b=pe.¥ para todo existe AE K tal que aohenX, or coosguints, # © Dy de donde D, Cy. De manera aniloga se demvestea que Dy CD, por lo que B, Le rectz De cotelde con la Dy cuando bE D,~{0). De fo anterior resulta qu, si dos gectae vectoriles D, y Dy tienen tun punto comin b distinto de 0, cabeafirmar que D,=De Bor rectar vectovoes, 0 bien se confnden 0 Bien tienen como imterseecidn (0). 192, stn atin, Dersici.—En un esplo afin sobre wn euerpo K,recibe el non ‘bre de recta fn (0 simplemente recta) toda varedad lineal cuye d= rece en una recta vectorial.2 feyr ts ofan anon ‘ina qeeta an D es, pues, el conjunto de los a-tAe esando ton fat nares dK, siendo a yw dos vectores dados-en toma todos Jy gue define 1a cieccon de In vaiedad rece el nom fhe de vector diactor do a-rect af ‘Por ota parte, se tene que # € DSi recta eetori A aaa: Anza ae es una biecin de K sobre D. Part cunial panto m € Dente un RE K, ¥ uno so, ve: 1a recta afin D es una ean tlacén se lama representaién paranétrica de D. Dados dos ‘anton distincs ay B de Ey ln eli main a) representa en forma paramética una recta ue les conten. sta rete terre puesto que el vector ba 7/0 define una recta vectorial ¥ ‘Sho woe Ea denotamos! Duy © Dies 1193. Mec peaeon-Saberos que dos variedads, Tinea, son juries alae deccones corespondentes est inluias wa en “Como ta directén de una recta afin es una recta vetoral, I cul es di menor subespacio vectorial que coatiene @ uno de sus punton, ‘taco de 0, resulta que dor retas som paalels 8 se confonden sus ‘deeclones, Por consguent [re] ny pp i be a Se vera tambidn I sgulente propiedad [a] Stamey ats oy bree a rie J ea entonces le recta Dy etd ineluida en esta verdad. Tim efecto, la vavicdad que pasa por a ¥ de direcion Les a Le ¥ ta etks Ge pasando pora ene como direcién Bes a8. Sib—a€ & FEST Nenemes ACL, puesto que 4 es el menor subespacia ave Joticne a bea. Se vriica, pass: a4 AC at Le 1194. Miperplanae veteran Ea todo To anterior hemos conside: aden espacio vectorial, distinto de (0), sobre un cuerpo conmitsr tno cashier K. No feos bsto ings hpsei sobre a Sea at ce mete 6m Bs go ge, temes "gue Erno slo es dating de (0), so tambien erento nn recta vei Em igs rsa, SE de dens ta te oremos que dimcl>2 Bt exudo qu sigue be apa af mismo Tir copacos vetoes E de Smension ttt Derwiciée.—En un. K-espacio vectorial B, recbe el nombre de Kipreano mtr 080 wobec Yor semen Ge we Hes un hierpano vecoval sexs una recta vectorial tal. que: Hos. Si a€ (0), entonces para tolo x E existe un dnico y © H ym tnico A E K tales gue shat ‘Vamos a demostrar dos propiedades: Pa | Teo hipertano He wn suberpacio vectorial maximal no xiste subetpaco aguno, distinto de Ey de H, que conten gel Supongamos que H foe un sabespaio veto que conte al hhiperplano H anterior y distinto de . wou. Pata todo « € H'=H, existe y EH y NE K=O) tales quer soya de donde: G-ner 1 por consguinte: H'= H+ 8B. Pal Tod recta vectorial no include en um hiperplano vectorial fr suplemencaria de este hiperplano.2 ‘Sean Hun hiperplano vectorial y 8 una recta vectorial no includ ‘en H Entonces too punto w de &(0) 10 perteece a H (en eto Contra, ACH, segin Py) Por tanto, AMM =(0). Por ot parte STi ev evidentemente un subespacio. gue contene esrictamente 8 fie y como H es taximal, 8+H=E. Por consiguente: son-5 {y queda demostrada la propiedad Py CObyeroacin—Si suponemos dim, E~2, entonces existe una iden tide entee Ios bipeplans y las rectas vectorial. 19.5, Miprpano afin Demnstciix Toda varied lineal cuya diecién es un hiperplano sectoral recibo ot nombre de perplano afin, © Hiperplan. ‘Toto bierslano vectorial es ua hiperplano atin particl contiene 80, ‘Pe que una varedad lines! sea paralel awn Nperplano ain es rnectsro'y sufcente que In direciéa de Ta varied Noes esté ‘oid en fa del hiperpano (17.6. En particular, dou hiperplanos afines son pralelos ‘oinciden nus dieccones ave y slo 8, 196, Powclin den erslne afin-—Recordemos (tomo 1, 13.8) que oa forma lived sobre un Keespacio vectorial E es uns apicacion R'E tn KEL conjunto ‘£«(E,K) de ls formas Tneles sobre K se de ota también £, yreeibe el nombre de espacio duel de E “Teonana 6-—Sea unt forms Hneal obre E con {7£0, Pare todo cescler N Ky el conjunto de los « de tales que fe)~A e8 un hirer flavo afin Py, La dveclin de Tos 2% no depende de A. Sean JER y Ma(2EE | fD-)- coun (60, a meas ws eB taf) ~0720, pro cuanto fl) De Wao eg et todo = de B Heda) =f00)— Mio) fe2)—>- 2s Designemes con He el nicl de f; segin Jo anterior: Hada 1y Hes una variedad linea fla de diccciin He. DDemostemos que Hy e# un hiperlano vectra. Desipnemos con Dn recta vectorial gue pas por m:Para todo = E, tenemos: fe=f(a)¢) =e) fe) f(@)=0 => #1) aE My Por tant, para cuslguee © de E, existe ¥E He tl ques sefisyary to que demuestea que: BD, +Hy Por otra parte, £€D,-(0) > GpEK-(0}; = = fhal=plid=p #0 => x Me sea: Dan 0), ¥, por consiguente ees on hperplano vectorial y, por tanto, Fun hiprpano afin pare canlguer XK. ‘Cuando A toma todos ls valores de K, todos estos hiperpanos te ren por dicen Hy lo ue termina la demestracion dst teorema 6 ‘Teonomn 7-—Para todo biperplano afin Hen B, exist una forma lines] © E* 9 ue excalar NER tales ue He el conjunto de Tos x (de E gue satiiacen Tn condiin (2) =. Demortacidn 1). Supongamos que H! sa un hierpano vector, por tanto, 0 € H. iste entonces una rela vectorial D tal que: HOD=E. Seu a € D-(0}y sea p el proyctor de E sobre D paralelamente 8 He Tenemos: Ker(p)=H © im(=D.Para todo x de E, rs) pertensce & Ds existe enfonces AE K tal que padohe Se define ast una apiackin f2 > =f), de B en Ke mo et proyector pes wn endomorismo de E, para cualesquira = Coy de Ey todo mde K oe verfica: Hety)=ple)+00) 7 Has) =a Entonces, puesto que part todo # € B, pla)=fle)e, a0 deduce de 10 fnterior!| Heer =fe) +10) ¥ flex) alle) Por consiguente, fe uns forma lineal sobre Ker()=Ker(p)~H © EY. Bs claro que He(2€B | -0}. 2) Supongamoe que Hes un hiperplano afin cualquera y que CH. Extonces, —bs Hl o¢ um biperplao vectorial, drecién de 3 seq To que antecede, existe waa © B* tal que ~beHm{y EE | (Q)-0}, ds donde: Haw EB | feb) » 4 esribiendo ex: H=(2€B | fm) El teorema 7 queda demostrado, Deriiciis—La relacdn fls)=A se die que es ama ecuncién del iperpano af H Para cvalgulaehiperplano 1, Ia anterior ecncién no es ica, como 4 demuesta el sigulente terema: ‘Teoresa BSI fl)=A y gG2)= som dos ecsactones del mismo iperplano EE", gE B*, NEK, EK), existe entonces un esca- lara K* ta gue fa Y wma. 1) Supongamor primero que H es un hiperplano vectorial yD una teeta vectorial ales que: H@D~E. Por hikes, {yg son doe formas ness con el mismo nicleo H- Pam tole we D-(O}, se veifea fa) #0 y a) #0, Escrtamos: 0) y wena fo * ta forma lineal es tal que, para fodo x GH, se verificn fs)=0 Por definiciin de tenemos: a)? Enroncty para todo + 6, existe y EH y pK tales que sorte de donde’ x) ad +p) ‘por consguiente, es Ia aplicacin nla ava 2) Supongamos ahora que Hes un hiperplano ain cuss, sea bE. St fQ)=0 y He) =0 son dos esuaciones dea dec ise de M sabemos, por una parte, que existe «© K* tal goof ¥, por ota, ave: Ha(e€E | fednfy=r)a(2 EE | ae-e=e) Anora bien: Ab)=ft) <> Baad Bt teorema & queds demoted. 1.10, Planoe vectorales y afines 1.102, Paes vecoistn Sen E un espaco vectril sobre un cue po tanaatati Ky de dienain fst 0 0. Supongamos dime E>’. Dormicién—Ea un. Kespacio vectorial & (dime >3) resbe el nome de plano vectorial todo subespcio vectorial de dimensin dos, ‘Sea (a,b) una faa five en B, la ual engendea un subespacio vectal de uimension dos, 0 388, sh plano vectorial que excribimos Pe 'tas rectatwectriles Dog ¥ Dow qUe pasan respetiaenteEs ‘or @ y b, on lneslmente independienes, y su suma directa es pre 2 ara todo punto © € Pay, existe un nico (4) © Kt que ohare. Esta relic recbe el nombre de representaisn poramdirice del pl 0 Paw Li"Splcaién (4). e8 una biecciin de A? sobre Po 1102. Prploades Po | (€ Pm y ¢€Da) => Pons Pane Presto que eG Dae Ia familia fae} bre. Al se €C Poy exis enlonecs (2) E KF con pA 0) tal que eo ha eb ‘Toda combinacién lineal de a y ¢ et también combinacién tinea! de ay bY Pre Poa Come 70, tenemos as mismo: leah, de donde: Poa Pan 1a propiedad exté demosteads, Pa] Si dox plano wectorites tienen um punto comin a, dstinto ‘de 0, 0 Bien concien 0 Interseceiin x tna recta ecto. ial que pasa por a. Si ax£0 es comin dos planor vetorisles, podemos denotrios con Pav ¥ Pon sen To anterior, de donde Pow Pons Dae Sila intersecién contene ad Day entonces,segin Pp, los dos ‘slanos eolaiden con Pr ‘Silos planas son dstintos,tendremos: Par 0 Paee=Dow Observaciin Si dime E> 3, existen pares de pianos veetorsles ve slo tienen et punto 9 en comin, 1.103. Ca em gn ding = P| Si dime E=2, ta inerseccién de dos planos vectors di tintor ex wn rota eectoia, Sean Pag ¥ Poca: dos planot vectorales distntos. Basta demos- tear que admin tn punto comin «20 ( aplicar a continuacion Py). She avis Pow Pov (0). das pb Nab wh

3. Dernicién—Recbe el nombre de plano ofr o plane, toda varie- dad linea euya direcién sea un plano vectorial ‘Un plano atin es, pues, el conjunto c+ Pag cuando (i) toman todos i valores de Ki es dest, ese conunto de fos puntos “ha nb La anterior reac es In representocion paramétrica det plano afin Se veifian Ine sigelentes|propiedades: Pa] Portes pnts que no peronecen a wa ern recta pasa wo ‘low, y alo wo. En efoto, sia; bye es una tera de puntos, (aby ae) 68 une fe ta ive qoe determina un plano veterlal nico, de donde se deduce 1a propiedad Pye Pal Sidos puntos dstintas pertenecen a wn mismo plano, entonces P| a wecta que for contione extd tnd en el plano, Enviando uno de este puntos, mediante una trasaién, sobre 0 tos tallamos en el caso en gue uo de lo puts est eno, 7 In pro- pledad Py ae deduce entonces dela Py). ‘Obsereeién—De manera andlogs, en el cas0 en, gue dime B~ ‘= spllan las propiedades Py Py plans e hiperanos afines 1) Si dime Fo}, fa inteseccién de dos planosefnes distintos es una recta efi 2) Si dime B3, ls plans e hiperplnos coincide LIL, Cawo on que E es do dimension fn Suponemoe que el espacio vector ‘bre el eusepo conmurtativo K. LAL, Referee afin Deraci—Recibe el nombre’ de referencia ofin en E todo pas (eB) formato por un punto a © E y una base B=(ey oy ta) © es de dimensi fata n so- Pe seuka ambi, de manera tamed, de In Pe El punto «se la orign de In referencia En ‘una tal referencia afin, I coordenadas de s—a en ta base B reciben el nombre de coordenadar dl punto © E. Son inicas Sh am tyvniy 20m estan coordenada, tenemos 1.112. Beasanes de won eee afin Seana recta afin D defini 4 or pt jo ver decor Um presenta ra oben a apllcain Np. un bigecidn de K sobre D. St designamos con: etn ont I coordenadas de e en Ta tase B, DsBy abs las coordenadar de ben Ie referencia atin (a, snooty as coordenadas de x en 1a referencia afin (eB), para las eewaiones parambticas de D en ta referencia afin (a B), ob- tenemos: By =b4d0 abt hy o sonst Ae Sia recta afin D viene defnida por los puntos ditatos © y cua representacin paramtca de la misma es x=bsme-D) yy la ecutcionesparamétias de D en la referencia afin (5) son vexed) @E Chm. wo 1.113. ewelin de an Ngee afin El esto de 1.9.6 nos ba ceoatfado que una souscn de uo plano afi Hes del io () Te E"y YE K.Canlgulera bes ecuncién de H es del forma P)~7, Leip e Bev € k tales que existe hE K, que veritca = y Y= "Us fora tne! sobre E, de dimensie m sobre K, queda deliiga oma T, 138) dando la imdgenes de fs vectores dea base Br Hedman Ke=on + fed=deSi tiene como coordenadas 85.34 en M8 bake B, entonces: Hedman tants t teat Por consiguiete, para toda referencia fla a, B), la ecuacién de un Iiperplano es dea forma eR hate RAB a ado ahora otto hiperplano, fat como: aizainttatteB a te di que los hiperplans {1 y [2] soa paral i y ols oinciden fie direciones ‘Sify son dos formas lineal corespondientes, (x)= fs)=0 eben ser dos ecuaciones dsl misma hiperpano vectorial, y existe en tonces un exealar AE tal que ['=N, de donde las condiciones de prelim ton ETD imho Pars expresar que los dos planos coincide, es necesirio escribir adomis que wane. 1L114.* timers de ana varied Unel—En un espacio E de di imensiéa sobre K, recibe el nombre de dimension de wea earledad 1 dimensién de au drecin, ‘Ax, ln nenslin de una recta es 1; Ia de un biperplano, n— senetetos Jo Se4 86 XE Py a qe #20 un omoteme de E sobre i" pom gum ara calguer enon Ke ZF) ite wm em stots 1215) bepeteh 1) Pe que Is alicia {+051 et un bamorisno de alo 248) sobre a 10) ide fins de GUE), Detention dei Some Geran en fertih Stig € anton cepstrament, a aiden de Ese By rah y SBE Som de eaten ita do 0 dc en 120. Sal eaten ceo Reape vel Sy 7 egy reper cue tntncs Yer ict ns Oe SS stares Pei To acolo ncel ywtte pr gu 1a a) Pee A povecir Py, verquee ge DORE )=B. 1) Shoda p'7'¢ ov proyecto cular de, paftese gue fensrle IC Imo, Shumate ¢ Kerio) Karta a2) sce era Kert@) (0) Cake Ingo etm) 9 im (oh Iniptqpeo=imi) + late, 14, ra ao dr rns ees on cp cin ww Prue que or dhe; 8) es también un ptaelogramo y que sposie do que ow 0 sites don cde ios punor meio eos (25)5 Gait Baus et eke atemar R's de carcino4 ar. 1s ofourrmth st 2) Sen earer) wn canteran cna de Be Bee) I pelt son fn topetiar panos medion os su th fuk han cp ad oe renin, Te, Protos gor tala apa ala de F en F (2 MED eetyetetgh sem 12% emutssse que ani footy of 0% 6 un marae del nite 2) Ai) ces ta agen de 2) es wh lo ort) LE Pracese ane en endomatame 4 x6) sa ie tne Ral i Reales aon ses « claciena eb B, 41 CUE UrlctnsSeon Fy © oe etespcie enplestton em BE Fooe. fino sy ‘Sea (©2170) Deliames on enororine fe B como ses ner = anh, fee = sono. Prado ave (4) OL "La. Seu Kun ow conta de erceien ditt de dos y de wo ep Sa TST hgh 9 se B am Resp vector ‘Debmmae can hye tres ent na nneaten Je Ey con Be! Jom esqntonpunor mas elo prs (eh eh ‘Demet que at zen Da. Day Dag orl bake de Yo ‘tary afsados dein miss efits ‘pin cn pre we cin v7 dete 1.2, Sea, Fon esac vector sobre un copa sonmavo,K, con tn Bo rae nese pola Iacono pee yells fecgen an enn em oie er cae snterupo distnpoids de GAGE, dec (HEH y WEGMEY => wehewten ‘ods cto mo pr wn prlno To ese ota (lena frogeddPr ee 1.73 1.12, Cites de In clmentoe de £40 Sapooemon dmg H=2, y ne we Z(H) un endoworioo def a ave etna ana ea vei (rang de w yale Te nase tm 1709 symerces 3 1) Pattecegve ent a bate de con ea a ae aoe be lentes forms (8) Go) om ons ‘5° Suances quer ist pllnomiacaratrtizn ome f, 182) dew a rite loc ete un awe de'B tone mote de w cm lin 9 lao ee GD ea - 6) 4. dézcne de fo tvs una caractertaisn del subuil et) tacts ot eatemorinnes che conmtan on Te De ibe foe GUD), pratere ae fs endomorfinar av cone nun a Ten straps del CUBy ee Yabo moire Ge omraaor Eb te tinal el emt Jee ta on edomortane 4 © 248) see be det tone 11686 Serre ate a plisin we ta) e# un omomtine ‘ity joie tego maint Ke1) Borimos SUE) pra deer el nileo ae ete omar: SUEy=(we GUE) | ae0)=1) ‘SUE oun been del CLE, que rece enone de tape unimodal, “Sie he" on tometer ye del CUI) sn codon ends we Sexi tl qos wow ewe ae: Gene Bes Deedes fe condcén cenit nae ease lometon 7 ie CLIP, 9 tne de OH SSESINS Sein sto confers esque ol cvloto de eter wre ‘opis et mmo prey a Titers ae uence ee on w’e SLE a gue amas al (St ai esc eanivamete st emate de irsatomatmos $e Bite he Meena aes propionitrile) 1.14. Gomera afin are wn exer ends ‘Se tna cnr conmttvo eden un, cverg_conmaio mat Be se S RNSLASTET Sen e den tt ee, ae sine a ‘Seater pried een ecb we atecbte (ee mero y aad) me coats, Rete | 04 weoieer | 20h kee URUIO) cen es (HOEK a ee te Sashes 0G0 Ry mania nde Wt gue noms Ks on corpo tno ‘he gomlene al oepo de teense are “Se un woec estral sre am eaerpo ovdeado KPa cin kt SEO), Inman spmurete stort cere de ein @ al one HG dein vtec ha sanod'h toma tor ls aoes de Kean 420 Gem. a Seo ee chs dfman dar semis, etre bie it apne Rin oot re or en eso oh sees nonbre smith gn de de en Demetes ue oda sires ert fc em una rect y sla wat Penile alte puna dunt vocu Dave's en en ou seen eigen s lnadea tenets ope Fr Suan igelan, fda nae ecmcen de H, EcBinoss Polack | hema Faleek | fd GREK amie) LZ, Cambio de nneRecordemos fos concepios vstos en el o- smo I (453) y tnduscdeosos al lengusje proyectvo. ‘Sea dimy E=m 1 ¥ consideremos dos ices de E Bolerteitenh Co a matris de paso A~(a) vine definida por Si X es In mata columnd de las eoordenadas de = en la base B, 1X lamatiz column de ne coordenadas de en base C, 8 vein: Xo AX, La frmuls anterioe permits el paso de un sistema X de coorden 4s homoptneas do un punto r(e) de P(E) en base B, al sistema X' ‘de coordenadas homogsness del mito panto a(x) en base C. De acuerdo con Ps este sistemas Je coordenades homogfaeas no on inicos; con mayor preciins siendo X" un sistema de coordena- ‘as de n(x) on base C, fara que X sea un sistema de coordenadas de ‘la) en base B ex necsirioy suflente que exsta A K tal que X=MAX 2.2. Variedaden Hincales proyeetivas 22.1. esgen camden dew sabrpria DernicinSea Fun espacio vectorial sbre un cuerpo conmi tativo Key Fron subespacio de F; por In apnea canna late igen caninien de F-=(0} relbe el nombre de eaiedad lineal proyctiva {6 variaad tne en PE). Si se considers In restricign A(F) a F—{0) de la eelaci6n de equ- valencia AE} se Menten Ys. vations! proyectira, imagen Inca de F--(0) en P(E), con el espacio proyectivo PF) deducido de F. Podemos, pues, enunci P| Tode variadad teat proyectiva, imagen condnica de un sub imcio ectril F, prado de O, coincide con af espacio prowetin PP) deducido de F Si es de dimensn fists y dimy E+ 1, sabemos que cuslauler subespaco Fes de dmensign fit) dime Fp lene l. En th ste prusto,podemos hablar de dimenstén de una Variedad Teal proye Eieas si dime Ppl, eatonces dime Pp. 222. Miperptane reco, Dericix-En un expacio proyectivo P(E), ree el nombre de ivertano progectioo toda varedad nest proyeetiva, Imagen eanéniea «de un hiperplano vectorial de. Si B cs de dimensin finita y dim P(E)=n, evalguler bipetano propetiro es una varedad lineal de dimensién ~ 1 1223. teneuae peyeira-—Com hemos, visto, la geometr pro- sectva conte en" straductes lor resultados del igebrs tinea! sein Biome Mxcn (a straducclén no es tra cosa que lt apisetin ‘anes: Espacio vectorial B nto scta provectva Plano proyecto. vviedad neal proyectiva ie dimension p= iperpano proyectivo recta eta a vert csp el snes 3 SE seo de dimen ‘iP biplane ect2 ar. 2: ornrrnn rmorecrva 224. Intenccén de vais Haale prope ea intersccin de dos varedadeslneles proyectioas es otra vied lineal proyctoa,ademis: PENG) =PIR NO) ‘Sea & un espacio vectorial sbre un cuerpo conmutativo K, y sean Fy G dos subespacos de E. Sefalemos que esi en(e) € PUP equivale a decir que ea recta vectorial Dy que pasa por # © B estlinctlda en Po AUER o> DCE MAJERG) <> DCO, Por consiguiente: AEMHARG +> D.CENG <2 #4) E RENO) Ast, pes: FENG) =PE NPE 225. Varied pros eentide por une Pe. Sea A una parte no vacla de PE). Como w es suprayectia, Ii ten reciproca "4a F4A)=[2E£-(0) | wt) EA) no es vaca en Para todo y © A, existe « € 9°) tl que yon{s) y DeCa-MA). En particular, si A se reduce 2 un punto: A-=(y),entonces 3°) ‘una recta proyeciva en E (privada dsl punto O)" 3-1) Extudemos Tas varedades Hees proyectva 1 de PE) que con tienen @ Ay " re LDA ee MDW KA, La imerseecdn de todos tos sbespacis vectoraes de E que con- Wdenen =°¥(A) es el menor subespaco F tal gue! F-() 39) 25.22 vanes Linea rnovEerVAs s 1a vatedad proyectiva PQ), imagen de F(O} por a, es In menor vasedad lineal proyetive gue contene aA: cutluier olen ariedad nal poesia gue conte «conte ana PF Poemes, pues, enuncie [Pe] ote po eM ew nr rie ie | Sor eee es aaa Saris LA bert ae tte dae ed pet iC al es ee dan. se Een opce oa re ons oot cid ia ie ta es te Lh ca pa cee) a Ase oe Serna ee on net pln) pleas) +o tpegs)=0 =P prasmpresm {y como ninguio de for «es lo, se oben: pee pan 1 por copsigueme, te familia B os ae mimo bre, El rei ex YakUhacs a esi, entoncestmbié Toes Ay pvemosenciat: [Pe] sexe enn dir day nt Settee ee nem ed ok Sees A dae ae te pops iia ene et: asain (hh) 2262, a is hon ease tec ae ioe Some How th tenn opt eb pert dg gn a i er Le Se cn ne mon ne Seto Sala as je arcur. 2 cuowern morneriva Subemos (tomo 1, 12546) que, para que una familia (#50) es lgada en Bot necerario suficiente que evista un {© [lyn] tal ‘ques pertenezen al subespacio engendrado por tos ay de subindie FU En Lenguaje proyectivo se obtiene la siguiente propiedad: P| Bie PED, para que wna familia (Hye) sta Higada, es cesar sfiiente que esa unt © [i fl que Y per tenezea a eaiedad lineal proyctioa engendrada‘por Tos tales que fe 2263. Rango de sn faa en PUEL—En ol tome 1 (17.12) se ha etn el range de wna familia de wectores A= (xp tyre) de UR ‘syasio vectorial. Es In dimensGn del sbesacio F de Eengendrado yor A. De ello se deduce Ia siguiente: Derintebx.~Recbe el nombre de rang de una familia (Uy Ya) 2) MDs a dines de In vain eal royce ened tor lia Sires el rango de I familia A= (ayy ont) de Westores no me los del espacio vectorial E, entonces r= es el tango de {rsa Aled), familia de os corres ; pondeaes punts det espacio proyectvo delux cido PCE), " 227. mean proper La condicén necesira y suiciene ors se dor puntos ey de A) ssanpoyectvanentefadoenent ‘que sean distintos. (Esto solo sucede si dim, E>2) ren rok enOt veda tne froyectva que los conten Ie engene rad por ells Ahora bien, 0) y a0) son dos rctas vectorales Duy Dy lineaimente Independiente, y sien Ee haces F=D, 90, ve es um plano vectorial y portato, PF) es ua rect po- ete tt menor varedd Ia qu contene @'y'B. Poderoy chr eta en propiedad Ps] Por dor punts disintr de PE) pata sa recta proyecto, too wie. en “ 228 Plone proyecto concn neces. y suficiente para ‘que tres puntos, edo P(E consitayan una fala proyetiamen- libre, er que lor tes vectors «By e de B~{O) tales que a~n(a), Deib), c= ne) formen na fama Tee en E (esto slo puede pasit 4H dime B33). Entonces, 7a) 4-40) y 9-0) son tres recta veo torales De, Dy, De linesiente independents; al F etl subespcio Ae B,engendrado or {ay by eee verte: F=D,OD,9D. cst suna directa de tre ectasvetrises que conesponden, rs Sivas, los tes puntos daar, dim F=3- Entrees, PUP) es Uh plano peoyectivo: ex In menor vaiedad linet que contiene = los pntes«, bse Sfulemos qu, sein PIs fala (0,5) rroyectivament be sy soo a ninguno d& fs puntos perience Ia varedad Tinea tngendada por ios otros dot x Gc, y slo si os tres puntos no fevtenecen a Ta misma recta proyectva,Podemos, pes, enon: P| Por tres puntos no linear poes we plano proyctioo, uno solo. Sean @y b dos puntos ditintos de un plano proyectivo, Como ta recta proyestiva que los contene es a mente varidad Tinea qus past or eos dicho iano, projectivo coniene a esta recta, De donde Pr] 5 dos puntas distintos pertenecen a wn plano proectio, It set prayectoe que coon eextos dos punton et cua on el plano, 2.8, ‘liperplanon proyectivor 23:1, Tote bipertano proecve oy mrmle—Sea En espacio vee- tonal bre un cuerpo commutative Ky y sm P(E) el espacio proyeeti> iiackdo de Ee Hedazcamos a leaguajeproyectivo ls propedndes vistas en 18. a [) rae Mere te fe PUB) dH, que-contonga a H.En efecto, or definicin, 4°¥H) es un hiperplano vectorial en E, por cosiguiente, manimal en £ (1.94), de done, pare coalqier sabes: aco vectorial F de E? (Fe y Few) > RHE. Por consiuients, ira toda varidad proyecto POF) C PUB) (DH y AM => AA=PE. No existe, pues, varedad proyectva distin de ME) y de H, que con tenga a 7h'y queda ast demostada In propiedad Pr ‘Deo anterior resulta que Py | La parte (6,21) de PE), constitide yor oe hipeplano Hy sm punto 0 H, engendre todo el espacio PC) Obrervcione: Iz Si dimcE=2, entonces P(E) es una recta proyectiva: Los hi peplanes y Ios puntos de P(E) coinciden, 22 Si dimc=3, entonces PIE) e¢ um plano propectivo, Los hic perplanos y las retas proyectvas son idénticos. 32 Si dimcE=4, entonces dim ME)=3. Hay identidad entre los hipetplanos Tos planos proyectvos. 23.2, reanlin de un iperpline proyeeno Sea E un espacio vec- torial subre um cuerpo K, ¥ sea P(E) cl espacio proyeeuvo. deducde aoe, "Teonema 1-—Sea f una forma Hineal sobre B, distinta de ta forma ula, El conjunt de Tos de PE) ales que fe) 0 e5 un hiperplano royectiva. Digamos, en primer lugar, que, para cualquier eealar A KY, y todo # de B Me)=0 > [0x)=0, Por consiguente, Ia definicién del cosjunto Ho(2€ PE) | f(2)=0) ‘n0 depende del representante x de Ia clase $86.25: mirenuavoe morecrvo# a En conscuenca, so por escribir: eK={eEE | (0-0), Ara bien, sabemos (186) que este conunto et un iperpano wectovial en By lo que nos permite afirmar que AT eb un hiperpano proyectivo ea PE). ‘Teonea 2.—Para cuslgoier hpeclano proyetivo Hen PE), exis. te una forma lineal © B" tal que ex el conjunto de los x de PCE) gee verlcan fis)=0. Fn electo, para cugvier hiperplano proyectivo en FE), reslta que #-AGD es un hiperplano vestorial en B. Sabersoe (1.9.6) que existe fs forma tines! © Bal que: ality=(x€ B-(0) | fhe~0}- Por consguinte = EPIB) | f0)=0) Deenacgn—La relacdn fs)=0 se dice que es ana eeuacién del ipeplano progectivo “Cualgiera otra ecuncin de Hes de a forma as) =0, €on a0. avon Sst 2102, tric de mgr yw e209 ap eee By rt pests Ht aD (ayomnon dn PES . “sr ‘dos puntos distintos de D pertenecen aH, entonces DCH, por ser Dror edad nal gue os conte Preteen ae cota, DY een en pat comin see et te dts de con DM Sgeanos Dh agendrada por Ia parte (a\b}. Por consiguient, rt toda puntos € D, exten dos excalres 2 yw de K tales que, woke nb. Supongamos que f(s)=0 es wna ecucién del Riperpano Hl, Part cualquier © D tendremos: Ma) =Mia)+ a0 ‘Tomando A~fb) y p=—ile), 0 obtene ((2)=0.“ car. 2: orourrnia enovecrva Por consguente, el panto: en fb)e fa) caste, puesto que (0) 20, y perlenece a DAH, lo que nos permite uncin' “Teonsnwh 3.—En un espacio proyestiv, toda recta no inclida en un hiperplano To cortaen tm punt solo en un. Bjemplos {Si dim P(E)=2, oe obtine ot siguiente enuncido: Dos recta distintas de un espacio proyecto de dimensién dos tienen sempre ptt. contin y slo to. 22 St dim RE)=3,entonees Tosa recta no inluida on um plane, en un espacio proyctivo de sinonsién tre, cortaa dicho plano en 10 punto, ¥ 010 eo. Por consiguiente, et concepto habitual de yoraelsmo queda fue de In goometia ropectiva 23.4. tnercetin de wm hiperplaney down plna.—EA el espacio pro: sectvo P(E, conaderemas el Riperplano Hy el plano Q. Guponetes ain rey>3) Si tres puntos no aineados de Q (es deve, proyectivamente inde: pendientes) prtenecen aH, entonces OCH, puesto que el pabo Q es FE menor vatledadproyectva engendrada por los tes punt Prabemos que, en caso contraro, In intersccén Q (Vf es una recta proyetiva. Sean a, Dye tes puntos no slineados de Q, yO H. Su: onemes, p. ja que eH. Para cualquiera # © Q,exlsten los escalates A hy» de K tales qu, soMat pb tre Si fls)=0 es una ecuacién del hiperlano H, para todo ¥ © Q te. fa)= Monty). Puesto que eH, entonces /(e)7£0. Elijamos » de manera que” ‘ee)=0. Etectuando operaciones se oleae: pn Me eH0) Te) 86,2: APLICACIONES LaREALES mOWREHVAS o Entones, el punto dE FE), definite por: la) nf0) Aone tub fe) 5 deat, por: fle) af) + fe) B10) ed pertenece, pra eualesquira A y pt de K, a DOM. ‘Abors bien el conjunto de estos puntos d& PIE), cuando» y p toman todos os valores de K, ea la recta que contene a estos dos puntos dstiatos(*), iigenes candnicas de Hee-ttre y feyb-fbye. Podesos, pues, enuncae ‘Tron 4-—En un espacio proyecto, todo plano no incuido en Fipernlano fo covtasegin una ret Si dim PE)=3, se obtene el siguiente enunciado: La interseccién de dos planos proyctioos ditintos es une recte proyectioa, 24, Aplieacionen lineal proyeetivas DAL. Imagen dena rsta vsti pat spleen neal —Consl dereimos dos epacios rectoriales sabre un mismo cuerpo conmut fo K. Para cialguer aplicacion Unel / € (EF), desgnamos con Nel nileo def. Para que una recta rctoril Dy, que asa por «70, fo est lncuida en yes neces y suticlente que x © Np por eonsi= sions, que 100720, puesto que N; «3 un subespacio de E. Probe Foe gue entoncet f(D.) es también una recta vectra. Ea efecto, pues to que Ke) 20 ED, =P GREK ye) => fO)-ME)E Dror To Weamor seen p ERY 7 9 ER? tales goes ‘eee =e) =) 4 oe eu) eta ew 7 Ko, ozo etaDe donde se coneuye quet [Da CDear Por otra parte: 2€Dyoy <> (BAEK: sels) f00)) S Ged: sf Por consiguiente: Duy CHO (Queda, por tanto, demostrado gue H.)=Dror [ro] sane 7 dx eps reir I Td St nd 6c 5 tn 7 CTE rt ptt io 242, no tn cocenen La propiedad anterior non dice ave f plc comjuto' de as tetas vectors, privadas de 0, intodas SIE I, en el conjnto defn recta vetoriles sin 0, inluas 2 F- evigdemon com la apleacgn candnica de Ben P(E), y con =” aplicniin cannes de Fen MF). ‘ara todo = de PUE)—PON)) su imagen reiproce wi) es 8 ree ta De(O}C EN. Por consgsiete,ffo"(2)} es In recta vectorial Dyoy=(O) lala en {i seibimos y=f(2) en F, la imagen de Dy por” el conjunto de wai clennto (ys =A) FB Pe rsieD, (0) “fren =Pia-(0) > oO) aque en form de exquema podemes poner: gen, —t— Fy 7 7 =P) ———> i) ' Por este procedimiento,lamado paso a fos cocientes, se define sung eplcacion g: >, de PCE)~PIN) en PUP. Daraiciones.—A toda f © £4(E,F) queda ssociads, por paso a tos covintes, una aplincin g de E)—PU}) en PUR, que recibe el nie dep Ine roe poet i tiv 1 capacio PIN) en el cual g no est defnda, se dice que es el conto de 8 243, aad: ‘i [© 2B) es inpectia,cusluier por de recta vectovaesdis- tints tiene Come tmagen por [un par de recat tambin diferentes. En efeto: {D)=fD.) => Pro=Dues GREK: fe)-MOO = fe-r=0, en eve fev inecina Se satistace 1a siguiente prope- ys f es Inyectva, lo anterior pie: eHAs=0, de donde De=Dy Por paso & Toe cocientes, cabe decir que: Si [© Sq, F) es ingsctiv, ew azoiada g tami fo es Tim ese cas, N= (0) ¥ el centro de g es waco TEntones ges una aplicaciim proyectiva de P(E) en POF), definida tars todo PE). 2AM. conn en eg ex rprayection, ein —Si f © 2a(6P) 68 prayectiva, para todo y © Fe{O) existe al menos wn x de E—N tl foe yfte por consguente, para toda cecta vectorial B, incuida See ease al menos una recta, Hacuida en B tal que, entonces, 1D) =D or po alos cocientes, tndremos que: Sif € 246, F) ex sxprayetva, su asoiads g también 1 es. Como consecvencia, se deduce Ia sguiente propiedad: SS a ‘ef pra todo PCE.2 vn. 26 esormnn mroweerva (Ge recuerda que G,( 6, simboliza el conjunto de las bipeciones lieales dB en F) 25. Bl grupo prosectivo 25.1. Comput de wna aplaion y de una Ineciin proyectos Sean E, F, G tees Kespacios vectors. Recordemos que sf, ZalEsF) ¥ fr © Lyf, C),entonces tendee- amos fro fh © AE, 0) Por ps a fos cocientes, a fc le asocia ona aplicacin proyectira 4 de MEP) en POE); fy otra aplcacén proyectiva ay de PF)=PIN,) en AO). Si fs mo 5 ingctva [P,) 0}, no cabe hablar de ls compuesta ‘gh pueste que el conjunto imagen de yo est iclido en el or ial de or el contri, i fy es inyectra, estos dos conjuntos coincden {yest In compuestag,= 1 et una apiecion de P(E)—PIN,) en LO). En ert caso In cvestiin que se pantea es si og, 0 90 una aplicacion proectva, En primer lar, por y=), a todo x de PE) PIN) corresponde yA sepin el spuente eoquema, en el que » simboliza la api- ‘acim candnien de F en POF)" 2D. > MDI=Dyny > WD)=CU)- LLacg, ify et inyectiva, por z=, a todo y © MP) coresponde £€ MG), de acuerdo con el esquena que sigue, en el que” simbo- fia in spliecincanéniea do @ en PCG) YF Dy > MDI=Diuyy > wDI=CE) Sefalemos que: Pd Peo ) ee NDd~Proter De ello se deduce que a todo « € PUE)-PIN,)'se halla asocindo EPG) por ree fy de acverdo con el eaquema: FD. > feeMDI=Dyaenn > FDI=(}. ss. 25's. nro mornervo 3 1s anlcin compocsta 6 efor lo, sais dea fof 1 oma ame acs Poet, ut os Pe Toon 5-Si_g es una aplncionproyetiva aside NE 2AEF yo nyc proyetva scan 9 2h Oh xi entones fre 9 ctu alacon poy de AB) eG) woth afeafy nin 25.2. iyetonn praseiad-Si { © OE, 8 una bigeecién Ue neal de sobre , por paso « los cocenter sibemos que Ie apnea ‘royetivaasociada fy de PIE) en P(F) ex wna bipecién, Deseamos Yer Jn bveccin reciproca gj! es uaa apliacin proyecivn. St Jepna: ‘os con ya li repectivas aplicaciones candnicat de E en FUE) Y de Fen P(F) en el caso en que FE Gy(E,F) tenemor los siguientes quem > weed, 4 Dky > WD): » (=D, Spay > DI=E- yor En consecuencla, la apliccion veclproca de wma iyeccidn proye: sieges ella misma lineal progectioa ‘Consderemor shorn una bigecién lineal fy Ox, Fy una yest lined fy Oy, ). atonces ff, Gx(E,C). ‘or pao a ls eocients, stg, e5 la biyoccén proyeciva, de UE) sobre PUR, stociada 8 fy, ¥ gy e8 Ia biyeccion proyeciva, de PF) s0> ‘be PG), seocinda w fs sgn el teorema 5 se verfiea Que £1> 6) €5 tna apliccign bigectira, de P(E) eobre PG). soci « fyefh. Cabe, pues afimar que In compuesta de dos biecclones proyctons es una biyecctin ropectioaC). 252. Goupe proyeive. Consideremos el caso BF, de donde P18) =P(M. El conjunto de lag byeecones Tneles de & conttuye tin pape (ouburupo del grapo de I permutaciones de E) que hemes ‘wcrito CAE). Por paso los cocintes, a toda bivecién Tinea f de E ‘queda asoctada wa biyestin proyectiva g de P(E). De lo anteviormente ‘xpuesto se deduce que In compuesta de dos bjecciones proyectvas {de PG) en otra Biyecién proyociva de PB), y Ia recproca de una biyeein proyectiva de P(E) co una bieccién proyectva de POE. EL ‘ia Mpecén Hoel prvetva reheat mln el ome de fran forks entice © homeuraia ar, 2: oeoernn showecrva conjat de td la, en FE ro consent, wn ere, rufo del propo de ae permetactones de P(E)] que recbe eh nombre E grpo proyecto de PIE}, ¥ que esribimes PGUE). Beaotarwor oa Ta covesfondencin que asecia, por puto a los co- conten, sualguee [© GUE) a ge PCL). eo OUR > POLE: =e Pacsto a ett elt) eth) (Coren 5), 6 65m homomeorfiemo del grape GILE) sobre el grupo PLE). 254, Imagen de on valad proyci por ane Ingen gree siraSen [© LAE F) wu tnyecion Tncal Ge B en F. Por pao a tos cociente, a le correspond una inyeceién proyectiva g de P(E) enn, SVE ex un subespcio vectorial cualquiera, entonces /(V) es un subespaco vectorial de. Puesto que g ext definkda para todo KE) y POV)C PE), enton- ‘es ln imagen {PCV} de In varied proyectiva P(V) también To est ‘Queremos probar queers inmgen es una Yaledad proyectva en PU); precisando mis: aeO= PU. En efector VERRY) => BEEMV; yest] > DICY me MDI) DyCM) VE PUD Por consguiete: APOC PION Recfprocamente: YEPUV]) => DCH) => (EVs y=fe] = = ERY) = prse mm) De donde: PKC APO que demuestra gual proposes, Podemos enuncar el teorema que Base, S86, 26: neruneneus morecrvAs s ‘Toonen 6.—Paa cualquier inyccin f © £4(, Ia magen, por la Inyecinprosectvaasociada g de toda varedad proyeciva AV) P(E), 8 una varedad proyectva de PCF) y: [aera] ‘Se verifiea ademés Ia siguiente propiedad: ‘Par toda inyocidm proyectioa g de PLE) en POP) si PV) eo tuna eariedad proyectiva de dimension fnta en P(E, entnces i gin PV) = La ima iguldad yu es conocida, Demostzemos lx primera: toda inyecion FE 0, F) spice una fain Wore de B sobre ota fora libre de F, Por paco Toe coientes (226), la inyeccin proyectiva g ocinda af aplicn toda fila progetivameateibre de PE) sobre una familia proyectivamente ze do POF). Si {V) ex do dimensién tnita fn PU), entoncesgapien cualquier base de PIV) sobre fra base de IPG), to que demvestn la propedad Py. ‘Obseroacién—Elteorema 6 y Ia Py se aplian evdentemente a toda biyecion proyectivn g de POL(E) ya cualgulr varedad.proyect fen ME): fx imagen por de wna variedad proyctva en P(E) «5 ota Sarledadproyectiva ea PU, y at wna et do dimension fits, I otra También tne la misma dimen 2.6. Referencias proyectieas 261, twwottn,Supondiemos, hasta nuevo avis, que ME) es un espacio proyecto de dendén que poviene de un ect vs Toval Ee aimenion 1 sobre ua corp conta Ke B26 toe lo ose de goer more sn todo punto 2 © ME) con rain 3 na tae B= 9 Tr es an stern Ge corded (ay yng) pata to = © B ta que 20)=Para cualquier otto sistema (aa, ay) de coordenadas homo- séneas de =€ PUD, existe un excalar no nulo A K° ta que, para fodo #€ [lyn], se vriien ajax ero ex necestio saber Inteprelar esto: como la aplicaisn cand nica ss) de Ben PIF) no er inyestia, el Gjar mt] puntos pro. pectivamente indepenintesydy doy em PU) no determina ‘una base “Br(ayen-veyes) bien precise “de E tal que, para todo FE [Imei], se vealgue qymele). Ea efecto, st B es una slucia, B= (R50 Mets os Bott donde los son esalaresarbitrarios no nul, e= atm slum, ‘Una famiin proyectivament libre de m1 pantos en P(E) no de termina, pus, una referencia previa en P(E), cuando dim P(E). 'Vamiot a democrat que, tomando 1-2 puntor en P(E) de maners que cualguie familia etrign de cardinal m1 1 sex provestivamente Ure, se puede mejorar considerabiemente esta stucién y otene? ‘a referencia conveniente en PUD. 2.62. Eamio de ceras Samos de n+ pantn om PCE) emostrar el igienteteorema ‘Troms 7-—Ea un espcio proysctive PCE), con dim P(E), pars oda falls (ayy .dor) de'"+2 puntos tl que toda sobfamiia de cardinal n+1 sea proyectivamente More, exist slempre una base Bo (ents usta) de yea salvo una hométela, tl gue Dae) 05 ee os HA 2) met ep bat ey Vamos a Demostacin—Para todo 1 [lyn], ejamos mG E tal quer ama Entonces {ay my.vdys) constitaye una base de E, y en ell todo uy € E, tal que mn) ay, pose un sist determinado de coor: Aenads (@y ay aan)" Sefalemos que todos estos ay fon dstnts de sero; en efecto, #3 ccxistse un /© [lye] al gue a=, ental caso la familia se. REFERENCIAS FaOYECIVAS fe a st oven) sein Tgada en B, y In subtamila de 261 punts. 5 hig at) no seria proyectiamente libre, Jo que contadice Ig hipétesis Por onsguinte, st para todo #@ [1,01]. exeribinos ey, ny enonees Bo [enn eves) 8 ane base de E tal gue Hayman aa)=Ay oy Hens —Aage 0 Hoy ter eno a Queda probada I exstenca de B. Falta por demostar que cualguler otra bate B que catitga Ia hhipiess se deduce de B por una homoteca es ect, que existe © K* tal que B= pB. En efecto, sh B=, condiciones (i) y (2 se ten: Weta we bebo Hehe) weies) 66 una base que satisace tas Hiei)=n(6), 8 antes 8 i De Ia (3 se deduce que pare todo {© [1,41], existe BL K* tl ave effi dela [i] dedioe a existencla de p ER tal ques plete 80 Las dos condiciones obtnidas ilies (Bx prevte—p) ert + Ba ds donde, para todo #€ [hms 1}: Bmp. 2 por consguente: paps, ‘on To que queda demostrado el torema 7. 263, Reforma proyecto Dariicin—Ea un esac proyetivo PU) de dimension, reibe ct nombre de referencia’ proyectiva toda familia de n-+2_ puntos| \ \ {esd condyy) ta ue toda subamiia de cardinal 941 sex poysc- tivament be. Entonces de acuerdo con Io demostrado ee torema 7, existe una base B= [eye or egns} de E tal que Ceca sles) 259 1 recite el nombre de origen 0 centro de Ia reerenla proyectiva Ta hace B queda definida salvo una homoteia; come el sistema de coosennise homorénea de culguier panto de P(E) con rll a dicha ‘bse B exté dfinido salvo an escalar maltipentivo no mulo, la sk vente dfinicién et coherent Denmtein. Se tm sistema de coordonalas de cuslguier punto de) en In welernein progoetva (yay dys) & todo sistema de coon homnéncs fy 4s) 4 dicho punto con reacion fl base Be (eye on euash Ejemplos—Le Sobre la recta proyectiva (n=1), canker faiia de tnt puntos istintos dos a dos, e6 una referencia proyect BF Enel plano proyectiva (r=2) toda familia de cuatro puntos tater que tes cusesquera de entre ellos no estén alineados consttuye ns clerenia proyestva, Se Toga tna tal referencia proyetva con- ‘Hesando. un verdadero tldnpilon ac, elipiendo el orien fuera de Tor winds» del eingul Gest dim XE)~3, cualquier familia de cinco puntos tales ave ‘cuatro custenqiere de entre ellos 20 sean coplanaios coastitose una fefercia proyectva. Para formaria testa tomar un everdadero te- taeda ents leg el oigen a fera des ecrases Tin seule vercios algunas aplicaciones en el plano proyective, 264. tennant woe bieciin roretina—Sean Ey F dos acioe vestorales sobre el mismo cucrpo K, de dimensién n+; se fee entonces que: dim PE) =dim PCF) =n. ‘Teonana 8 —Para toda referencia. proyetin (ao Gai) €0 (tz) y toda releencin proyectira {By By nn buys) PCF, existe ond biyecién proyectiva By y una sola, de PE) sobre FCF, tl ave, pars ceatlguler 4 [0,n-+1], se verficn Ma)=by eo 26: mores moveerivis 2 Demostracin—Existe una base B=(ey ey. enei) de E, dfinida salvo una homotel, tal que, i es Ia splcaciéa Caninica de E en Pe CHETAN xy mlevtert n+ éayDe06 Existe también una base C={ ty ton tt} de detinida salvo tuna omoteca, tl que six” es a apliacém canéniea de F en PP) WHE TLMEID FladmDe lust art nt tail ora in sabenae (ono 1 1324) ue exe na {© Gyls Hedy fone mayy do donde: fleet ey) ont ee Pero a sstituinos B por MB, con NE Ky C por 0 con eK, centonces f queda tustitulln por Et I (HE Ham TD ated de donde: ak yectiva h de P(E) on POF) ded oe consiquint, In Bien 2 eeae'con ie que a deduce de g. Adem, pra todo cidade f eoincide‘con It qve € d el fe pone} Mais at ere 8 th deposed Fo oven Sian oF, 2 vere l cori que seve: Conoann- ado un a de refatencin propeci (ty ees aoa ate oan antomacon prove Y abide oc xan gue on FE Lon +1 8 Fe fap=Pe Hemoe demostrado también Ia siguiente proridad — riya 1 GU wp [re] sige reun ete th Ou ee ae Si cscder pe Re tal que =P265. Xjemplo ona plane provectve—Detro del plano proyeetivo HE)(=2), conideremos um sverdndero tingulo» ay J Mh Pu to a, que mo perteneza 4 Sut eladose. Las cootdenadas de ests cuatro Punto en la referencia proyectiva (ayaa, de ceneo ay Soa: 40,005 0f0,1,0); 0.0.0; ah 265:1. Eouaiones de tos sladors de ta referencia —Para que 2) pertnezca al ado a9) es necesario y suficente que (4s) ‘in una familla proyetivamenteligeds; por nto, x=0. Tendremes, pet, que! Ta cosncin del lado aa es: 2=0, 1 eeuscin del lado oo) e6: 9=0, 1a eewaclén del lado a. es: 20 265.2. owaion de wt recta que pasa por un edrtce dela rofe renciar Sea Bass) an panto eslguera del plano provestivo PE). Supuesto. 2 7a, hallemor In sotaciin de Ia recta aD. Para que ings y.2) pertenez a dieha rects es necesro y sullente que le ‘on b.m) sea proyectivamente Heads, s deci, que: 10 9 eB foo a ccuacién de In recta 4b serd, pues: 2—79~0. Si Dea la ecuaign de a rota ob es: y= —e2=0. Si bya, Ia ecuaién do a rots ob es: ay —Pe=0. ‘Como casos partcalares, fas eewalones de Is rectas ay a0 ¥ 44,00, respectvamente 265.3. owacén general de una recta en el 41 plano proyectivo, cualquier recta D es un Bi fgulete, para toda recta, existe una forma lineal © £* tal que una fcuacin del hiperlano D’sex fém)=0, ‘Si denotamas con B=(ey ye) la base de B, dia salvo una o- ‘moteca, correspondiente a Ta referencia proyecivaeleidainiilmen- te, entonen f queda determinada por los esalaes: uote valle: wasted. 86,27: ReoTA motecriva, mz ote o ra que m(sy,2) pertenezea a D es necesaio y saficieate que Hem) =0, 0 sea: ey tur, ta rlacin anteriores In ecuacln general de ls recta proyectva cl plano proyecto. 2654. Heyl de determinain de sna transformacin proves tS ovens sty toma ecto Yo fim, We POLE), que peta te rlreca propecia aartey von, Carctercemos con ayuda de tn erunones en base B. TPO Gua) setae debe sate: Hed=dey fled=ren endo,» p euatio escaares. Pero: rete =e Keyefted+fed=fled vey Kee 4 donde: deter teteted=pe, 1 yr consign, y=p Y A=p= = 2% ALE tis deft bate Bert ents: oot woer(-t 8 1 yy las ecuscones de hen dicha base: 2.1. Recta proyecto 27.1, Neate provecivae—Sean: Resgaclo vectorial E de dimensin 25 recta proyectiva PE) deducida de fa apiecin candnia w de E en PE).@ car. 2: onowrmnia raovecrva Designamos con a un vector de # represetante de a AVE); es dese: ata) 2. "Toda tera (4,b,¢) de ponte distintos consttuye una referencia proyetiva Existon entocer dos veetores w y b que constitayen una bse de B, salvo una homotei, tales ave wena: ara todo par de referencias proyectvas (4.0,c} y (4.0) exit te una tanslormacién proyectiva, yun sola, g PGL(E, tal que: Hane: =; Korme 0 wb)=b; matt) Si eae deduce de f € GLACE), tenemos, en fadaa’s 10)=b flav Dua’ Vamos, pues, & propaneros el sigulente problema: 272. Proem,—Dados dos conjusts de cuatro puntos distintos a.brosd) y (a,b,c) de PC), se desea saber bajo auf condiciones fxisto unt E PGUE) tal que: KO=e; MO=W Ames =e Sabernos gue existe una g © PLA, y slo una, tal que satiate tas ten prmeras iualdades, Designs con / © GLE) un automor- fismo de E del que re deduce g Para toto pusto d © PO), dstinto de a, existe wn teal dnico pe Kul qu pia. En otras palabras (1) ew sistema de coordenadas homogéneas de den laeeerecia proyectva (4.b.¢). Por © GL}, se obtiene: Ha =p) +10) pat +: Para que sld)=d es necesrio y sults que (p, 1) sea también ‘un sistema de coordenadas homogéneas de den Ia referencia proyee> tive (2,0). Podemes, pus, enuncar el teorema que sigue: sre. 27. puers movecrvA, gon nome os “Tronta 9.—Dadas dos custernas de puntos (0,60) (Bs) de una esta peoyestivn PU), tales que (abe) (Bc) sean Telex tencns proyectivas de P(E) y que d =a y dai, para que exista una {g POL(E) que apligue tn primers eobre Ia sequnds, es necesrio'y basta que exists un escalar pC tal que (pt) sea un sistema de coordenadae homogenes de dn Ta referencia proyetia (1c) do fento cy y def en In referencia proyectiva («by e") de cent. El ecealir pes neo. Hemos de procedet, pues, al siguente esto. 273, Ravin doe Deriici,—Dada una cuntena (,b,¢-d) de puntos do una recta rapectiva P(E, tales que (a b,c) sea una referencia proyectva de PU, com de, rebel nombre de raxin doble de ta cuterna el scalar p €K, escrito pelebedl 1 ta que (1) sean sista de coordenadas homogéneas de d en a Telerncia proyetiva (4 b,c} de eat & En otras palabras existe wna base (ab) de E tal que Had=a; mb)~b; alas b)ne; apa md Obseroacin fa, byevel=1 y lbs es Siar duevd son distintos, entonces p #0 ¥ pL CConoanio DEL, THoneNs 9—Dadas dos, referencias, proyetivas| (abc) 9 (a.bec} en ME, In eansformacion g € PCLLE) que se Ci primate sobre segunda colseide com la aplienién =p, de HE) ce at lomo, que aca a sobre a, b sobre BY sobre ©, ¥ qve fatinface a iguaad fa doomat, ee mh 274. cambio de be,—El problema que nos planteamas eel si sulente: ‘Promsna-—Sea {airy} wna rlerencia proyectiva de P(E, con centro en 7,7 conigeremos cinto puntos «.b,c,d dstntos de ME), ‘yar respeeeas coordenadas homogtneas, con relaién a 1a referene Oued) Onyd Ans) Coedsa car. 2¢ ceouern movecrva Se tata de eacular, en funcibn de las coordenadn, la renin doble ‘dk Soluciin-—Designemos con (ay) Ia base de F, diea salvo una omotesia, correspondiente a Ix reerenia proyectiva dada anna), Pra, y=n0+B). Si oybe,d son representantes en de los puntos 4 by d de PE, edsten custo escalaes Ry, yy ¥ hy 10 Alo, tales qe er kithaet Hs) bokOoat 148) enka tin B) aka 3) dapat. De la tres primera relacones se deduce, puesto by hth mks di Bath Bas 4 de ls dos dts: Ey dewpi thy anemic Bee Hiatlemos i reac que determina p en fone de Ay ws FE [1 AT ara ello hay que seliminars Tot ‘Dene doe primeras rlaiones deduce: rommeeanr enn Aovmcnadaties-pad Las ot ins proper: penn iapd Raacpetdophiene md econ en pitta pr de lds Lf ns mm) Ponte gue sed fn dation Af > oy 8 sumdes(%™) eared rurmcrtos o Se obtiene: Por smo (oP. DL (af ydl ‘existe, y podemos tomar para todo #€ [1,4]: hem oy Prato B.rchi pe de donde, pars cualgier par de subindicesdistintos if de [1,412 ey=Pr~Ps 4 entones: yoncici0s: 21, gen de one Tote serio generin soda de 254 5 Ine splleaaees proyectos See EEF. Deanonon con Ie aplinién eoyecia eon de Peay en PP er Bat de Fy ME evn poeta dtc de AME) PEDO RON PLED. Por abso de lng odin gn Ia inagen por en eles proyectra me vided poeta22, Sex (€ 246 P Desgemos con I sel prove a Fi) Pai) en A Prtiese fora eller tr (€or ceo M, y alin gue eet fc, sue eee NR? a gee P= 2. Seno: UE)» POU, mono dl ey al de Em ‘esr conta de an F048) tas tee wi) sa el lene esto dt Pein. 2A, Sex une pli Heal provecva de RE) en RD. Se comers va tread ne"pepectea WCE) Eudes at eager io} om raed propecia om PL 25, Coneemos cinta puntos Bde dito dor x don de wea rect propecia PBs hed mained mmtse bal: mt a en fucdn de p sor qe I 24 rates oben, coreondines ‘nt Juntos das tan mortals el 8m. Sons Be To se taslentere, 26, Troma del cade complete a oll peng TP) ean cr K de cc 2, om Sr soe By cow fo por pono 07 ae ABD [e)=Da nde (f= Pu Dae (e}=DuNDe (hl=Du My Prats ue Bere N= 122. Teoma de Doren, En tl plane pectin PE) cnsdremot sete panos a bse tats gee ‘tara he} 7 Cortstve) ssa toerenc poy, Bstbinos (rlDae Dies (a)=Dar Das (rI=Dac Da (mda ADves (gT~Dan ADee (PI=D Dey ‘24, Telinglo homeliicn srs gee Sel ca smn amr oe sn woes rsccos ° Soren Enel som pec RA) re on cern omen Konno Dy MDes Bre Ben DrelDye 211 tn tec vein UD, Senin ct, ie om er ‘Gerace ns 'sanelones In tansormacise he PGLUE) que alien Te et ‘242, Ba el envio pronectvo ME) de dimen tes sabe capo de toe Simple, "eosderenon dor reas Dy un punto comin, Saponency Srey ts fe BY os oi 8 21%, Ene no pry Fy seman te gna oat Pang) Prudhoe aut Dap Diy: De determin un tengo &¥e 1) Bamecarere gut Der! Dy Dost eoseretes 24, conden lo eta provectve UE) sobre el ceo € dos med tes da tah POLE, detour todos pres Ure) ‘vteioes de PCLIE) tes que fe 1215, Sobre In cein groecna ME) se dan entro punter Bd Si becmineme lee POLE, ove pestan soe canto Foran (am 4s een SF Biome les KE PELE) que pemutancarrroo 3 COMPLEMENTOS SOBRE LAS GEOMETRIAS AFIN Y PROYECTIVA 3.1. Dualided on Tos espactos proyectiton uit. agate proyening dea—Sean E un espuco vectorial sobre un cuerpo K, y PUB) e espacio proyectivo aocido, El espacio vectorial E+E, K) de ls formas lneles sobre Eo hemos llama expo ‘ual de F (Gomo 1, 1.8). Demos ahora la siguiente defini: Deriiciéx—Recibo el nombre de espacio dual del espacio pro- yectivo P(E), el espacio proyectivo P(E") deducido del dual B* de E, 3:12 ipcebn canna —Designamos con 3C el conjunto de Tos hipersanos proyectivos de PIE). Cuslguier hperplano #f de 3C es de Ja'Torma P(F), siendo. Fun hiperplano vectorial de E. Si fl)=0 es tna ecnschn de FY € 6"), cualgler otra ecuacién de Fes do a for sma N(2)=0, con XE K-(O). Por consguiente, aH le correspon um punto, y solo uno: harire PED Reciprocaments, 4 todo punto hE P(E") le comesponde una forma neal (© B*, tal que R=) (salvo una constante maltiplictva dis tinta de cero) y, for consigulente, un hiperpano dnico F de Ede cuncén fx)=0, de donde wn hiperplano nico P(A) en P(E). Heros pues de manifesto una bijecion & de 5C sobre P(E*), Tron 1-—Existe una biecciin 8 del conjunto © de tos hiper.” pianos de P(E) sobre el espacio dual AE") que a todo hiperpano H (de 3 azcia a) © P(E"), sie f(e)=0 wa ecuacion de H. 11 apen candoen de #*— catia ese ote Fa dot a, ‘cana ay pls de este Deriteéx.8 recibe el nombre de bigecibn coninca de dled LAL Pan ate, BALL. Familias libres 0 ligndat—De la defincia dada en 226 de una familia de puntos del espacio proyectivo PE) proyectivamente More (o gad, ge dedace i siguiente: Deeisici6x—Una fails fata (Hy HH) do iperpanos de HC se dice que es lve (0 ligada)segin gue a faa imagen por Ia Dbiyeccn 8, (ls nh), se proyectvamente ire ( ligada) en PE"). 113.2, Rango de wna fois de hiperplanos. Durnstcxx-—Recie el nombre de rao de a fila (2 Ha Ha) de hiperplanoe del nga de Ta familia (2 Py) Hagen por 8 en PEN, Si, arn todo #€ [1], a0 vein #U{)~hy con fy B%,entonces fl rango de los hes igual al rango dels, dsminuido en 1 LIAL Mace iene de hperalanes, LIA. Dertcids—Resbe ef nombee de haz fnel de herp rns (o hes de hiperplanas) toda fala de biperpanos de 3 cays ima- fen por 8 es una varlodad proyectiva de dimensi uno en el espacio sual PE") ‘Si ex un baz de hperplanos, se tiene: dim 96F)~1. LIA2. Representacin de un hez-—Sean Hy H, dos hiperplanos Aistntos dat haz CX, Entonces Int) y= dt) son dos pantos distintos en FE). Si fie) ~0 y fife) =0 son dos eu ‘Sones de Hy y Hy respecivamente,tendremes hy=aif) yall. Tor puntos fh, yy engendran una recta proyectiva D.C PCE"), Por de {inictn, para cealguierhiperplano HY de hae existe un punto hE D tal que Bi) =A. ‘Ahora bien para todo punto h de D, existen los esclares 01 ¥ no simultinenmente nul, tales que: hema freed.Reeiposament, a todo pat (ay) € K?~(0,0)} correspond, se tsi la telaién anterior un punto hy uno slo de D,y, portant, wn Fiperslino unio He 5 tl que 82) De esta manor 2 eulgutr hiperplano Hf del har 9 corresponde ‘de manera univace una forma ay fae BY ue) +e ‘una sounclin de H Se dice que Hy Fy son los hperplanos bose del haz 3143. Hipeplanos de F que pason por wn prnto—Sea a & PE) tun punto dado cualguers con em) (ae B). Para que un biprps- to Ht de & pase por a, es necesro Y suficiente quest ecuaciéa en B ‘ede verifanda por ; aie) +enffe)~0. Prien caso: @ Hi Hy Entonces fife) y fe) 20 Son mus, y al pa (owed =e) ~ He) le corresponde un dnico hipeepano HY de ecuseén: Ha f=) ~f40) )~0. 15 t nico hiperpano de F que pasa por a ‘Svaino exs0: @ E Hi Entonces ffa)=fi(e)=0, ¥ @ pertencce a cualquier hiperplano de Observacibn-—Del etatio anterior re deduce que dos hiperplanos Aistntos en 5 tienen por intereecién 1,02 Jy por consguiente, pueden ellos mismos servir de base en ver de HY" 3S. Raa doe de entre bierrlane do BAS. ermaci—Recibe el nombre de rezén doble de cuatro ipeplanos HHH, He de V, to que everibinos (ly Hy Hy Hy ra doble (out, at, 1, CHO) e los puntos corespondientes sobre la recta proyectiva 9)C PE". S86, 3.1 MOALION F105 EsrAiOSPRoNECTVOS n 3.52. Seeante a los hiperplaos de wn ez —Sea F un bax cxyos hipetranas base son Hy y 2 81 GEM AMLNH) yet CHLOMD, entones Ia recta proyectiva D que Tos conten corta a Hy en un punto “nico ya yen el pant nico a (6D eortra Hh en otro puto P, ‘entonces'D estariainloida en, ay pertenecera a Hy: cantadi ‘in La recta D no corta a 1,012, Calguier ote hiprplano 1 de ts coriado por D en un panto, y uno sol, a. En efecto, sabemos 23.3) que DOH no es vac: supongamos que @€ DOM; ee verifen! {2 1,0. My y por a poss un Unico hierpano de, gue lamar 2. (GID cortra'a Ht en un segundo punto b, entonees DCH 9 6H. Por a, pasarian dos hiperplanosdistintos Hy Hy) "Recpvocamente, si una recta D no est inceida en aingin hlper plano de F,entonces (233) D corta 2 todo hiperplano de Fen un pon- {ory etlo en uno. Por conguinte [fr]. nin nmi y eit pe me ct cect tas gis bras mae [Fe] rou nc ce ct in he 9 [™] arse enc dt a Sl eng pes 4153, Rasdn doble.Sean cuatro bipeplanes Hy Hy Hy Hed an bat Ce, 9 4D na eee secant Fy dy dy ce Fespectvamen te Pata todo punto = © D, exist (cy 03) © K*~((0,0)} aque, en i fs)=0 y fa) =0 som doe ecusiones de Hy y Hy cualquier i penplano Hv de © admite wna couaién de I forma: Ma) wie) =0- Para que m € Hy, e& necesaro y sukiente que dew tan0) +Hhfen a+ 090)=0,0, necesaiamente eberk ser: dag) éwadia) =O puesto que fa) ~fie Se puede tomar: Asafa) y eomashiad a aplicacdn (au.a)» Op) de K2-((0,0)) sobre af mismo es una fcmutacion y define una bomogeatia de la recta proyectiva D sobre Ia Foun projeciva ACH) que api Ia ctaterna de puntos (ied 2) bbee In cuatema (602), 5), 8), FTO). En esta homorratia se onerv Ia razdn dobe de cuatro puntos (262). Podemes, pues, enum Ghrel teotema que sigue “Teonen 2—La razin dob de cuatro hiperplanos de hae es igual tia razin doble de log contro puntos de su interaecién con ‘Miguterrecta que no estéInloida en singin hiperplano del haz. LLG, Onopnatted, LAL6A. Deemer Ser B un Keespacio vectorial y sea Fun eub- espacio de B, Designemos con Fla pate del dual E* defnida como tue: POUGEt | Vee: (=O) Fn estas condiciones, para euslesguiera fy de Fy cunesauere Ay i de K, se verifies: exper Por tanto, Fes un subespaco de £*. Derincién-—Sea E un Kespacio vectorial, Recbe el sombre de ortoonal de cualquier eubespac F de E, escrito F, el subesraio {Se Be consttaido por las formas f que se anlan para todo = de F. NL62 Dimensiin de F—Sopongamos dimeB=n y dim F=7 (reih, Podemos completa una Base (ey ey ord) de F para formar eS ae (ents rep sone) do B. Desinemos con (Pn fe) Ia base ‘eal en B* {tomo 1 (82) ara cualguer f€ £*, tenemos: tah WER. Para que fF es necesario y suliiente que se tenga: He) =0,fle)=0, > Ke es decir Yartey=0. WE LD ivi => fhe=0 ini => feb ta telacén anterior equiva, por coniguente, a HE LLPD 4 de donde, para toda (© FH f Sar sea, Uppeot) 8 um ban de poe comity cin —p Gi on permite esac el Cree “Funan Sea Eun Kespco wt de densa Sit Para mame Pele enopna Pen Ferien go: im E 4.163, Simetria deta ortogonatided —Sen B wn Kespacio veer via de dimensin fst pea cunguier suberpacio F de F, tenemos: (HZ | WER MeO). Hemos identifeado (E" ¥ F. Por dsl! de F, para todo (a)0, de donde: Fey, ‘Seqin el teorema 3, se verificn también: dim Fim (9) =dim B* dim Es EF y cunkuler © F, tenemos74__can 5: comranraros somne 14s Gsouernas arnt reoveriva de donde se deduce est otra elacién: im (Pi Por consguente: Foy. [P] tor esacioseectoites de dimenin fit, le rlacén de od) ortogonatd es sida 37. Dated om foe enncloeproyetvon de dimen fin BAA. Hiperplanos que contionen una varedad proyetiea—Sen 1 on espacio vectorial de dimension ny y sex PE) el espacio ‘royectivo decide. Designemos con F un subespacie cualquiera de, Aistnto de, y con PUF) Ia rari proyectiva que deduce de , Estudios el conjunto de los hperplanos que conienen a PF): R/a(HER | HDA), Si f(2)~0 es la ecuacién de-un hiperplno HE8Cy, entonces, para todo 2 € F, tenemos: fe)=0. Por consiguente de fa definicién del ‘ovtogonal Fi de, te dedce: HE HIDE RED, de donde: 20009) CF, Reciprocamente, para todo PF, designemos con EF a forma de donde we deduce hy con Hel hiperpla de tl que 6H) ~P. ‘Todo £€ F verifies ff)=0, y, por consiguente, PFC H, de donde HE By y POP) CB). Com consecueni at). ‘Teonss 4.— La imagen por 8 del conunto de hiperlanoe de PCE) que contienen una variedad poyetiva POF) es POP). Ademis: a anterior relaién cobce lat dimensiones resulta del teorema 3. Ey sre 32; tokoon HERE LAS GEOMETHIA API 411.72, Haz de hiperlanos—Un haz de Wiperplanos es In parte 2, contin for os hoes ae cote oe ede rayectiva PUP) tal que Ta imagen (Ey) su una recta proyectiva POF). [Bal torcs anterior rsuta que dim AP) =n-—2. Podetmo, pes, ene cat In siguiente serie de eorlarios: ‘Conouanio 1—En wn espacio proyetivo de dimensén n, un haz tineat de Hiperranos es familia de hperplanos que conienen wna ‘edad proyectiva de dimensin = 2- MZ, Caso n=2 03. CConotanio 2-—Fa un espacio proyectivo de, dimensi tes un haz tinest de planos es Ia fain de planos que pasan por una recta ro eat Cconouanio 3B el plano peayetivo, un hax lineal de rectas e tu fia de rests que passa For um Punto. 8.2. Lguasn entre Ins geomettian afin y proyectiva 5.241. Plintnmicn tel prblema—Vieos que el concepto de part eis estictor definido en geometra af (1.7.5, era extafo a omer proyestna (233) eerie el torDo 1 (Cap. 21) hemos presentado la geometela proyectiv dee Shteions como una preangeién de Ta eames in pan eee ein iaouccion de nocvor panto os puntos del inf Bs munere que anc de mle, fundamental en ogee Peers nn pofongacon a projectvn ai a dos elas ise ents en un eco ain de dimension dos cotesyonde ‘gas Seteaorentes en el expe proyecto do ial iment ee eae de foma evra Tanda que et ene 1 geomettas ain proyecta. 22. fauln plinie—Consdeames lesio vectra de 2.23, Simonet (dime B=3). Sea Hom hiperpano vectra ys same ey Entones et Ht cota varedad fe an de dime eee eae Hy dina de HA ctakiee pio s € 6% ita tn, fet cta etait Dyno inlida en Hy, reframe aan eanetoia no neds on H cor 8 +H eb wn punto ‘sien no ences, ann bien etre a IT ye conanto de at rect cides eo16 _cur. 5: courusovros sone tas crowernas arn x rmowscrva ‘bora bien, el espuco proyectivo P(E) coleide, en el enguse pro ecto, con el conjento de las rectas vectors de E,¥ el hiperplano ‘royectivo Pt) con el conjunto de es recat vecornesinclldas en Existe, pues, ona bigeceiin de PE)-PCD sobre at Sefalemos que Hf tiene un esructi de esac afin ste H. eto. quire decir que, para. cal guiee par sy de (at In diferen- cia ye pertence. al’ sbespacio vector Hy no depende del pon. {or eletdo en abd. a bipecidn permite tana porta Ie estructore sia de eff rebce me)-PUD, Dados dos puntos culesgle 6 4 do E)~PU, existe una trsacn, solo ta, tH para ‘val se tiene: fle)~ ly). En tl aso, so sele esrb: yh 0 s-y-t Las sigulentes (Smulas fon cles de comprobar e220: s-y=-G-2): -w4y-2)=2— Por consgulente, en el espacio afin E de dimensi tes el dar un hipcerlano efit aH (a2) permite resringi el espacio proyetioo AB) de dimension dos, a un expacio fin PVE)~ PU) isomorto co sci afin aff de dimensén doe. ‘Obeervemos (Fig. 1) que una recta afin dy Cast, de dieccién a (con a € 4), corresponde, por fa Ia recta proyectira PUD, A) der Aucids del plano vectorial D, @ 4, que esribiremos, en forma abrvis a, 0,4). Dos reas paraelas 6, dy incaidas en a 1, conresponden por f 1 dos rectas proyectvas 0,3) ¥ POA). ‘Ahora bien fs planes (0, 8,) y (0,8) se cortan segin una recta vectorial incluida en 17; lab recta proyectiva DQ, 8) ¥ PO, 6) #0 ortan, por coniguientc, segin el punto PIA), que pertenece a PH) 232: Wekoow means Las eros arnt moveeiva n 0 sea, a dos rectas de PIF, concurentes sobre PH), eotespon- den dos tees patatelas en «+ H. Recipocamente, sa un espacio afin V de dimensign dos sobre Ft (que hard el papel de a+) y eectuenos I iamersién de V en un ex pacio prayectivo de dimensin dot, corto P(E), por adjunciin mV fe una recta, denotada PD, de manera que PYE)~ PtH) sa un espa- ‘io afl isomorfo' V, ¥ ave dos rector parslelas culesquera dl ee pacio alla V, es deck, PUE)-PU), tengan, en a profongacén P(E) Sn ponto comin que perencisa a AUD Eat recta PH) se lamas, pov eata anim, recta del nf, ‘Tal eset problema de I completaién de'un espacio afin V en un espa royetvo RP, poems que Yanoy 4 eu aor ene aso general 523, Hamlio det eae geera—Sea Eun espacio vectorial sobre tun cuerpo conmtstivo Ky ¥ sen H un hiperplano vectorial de B. Sean P(E) et eepacio proyectivo ¥ DUH) el hiperplane preyectivo deducidos {de By H. Pijemos a © BH, Entonces i Dz x la recta vectorial que ‘ssh por, se erica B=H®D,. ary todo x EH, existe un Unico NE K*, y existe asf mismo tun GE Hy y solo uno, ales que setesten(aed Por tanto, existe un nico ecalar dy on nico £€ H, tales ques sonar, de donde: aha) nla) © P)-POD. Reciprocaments, a todo « € PE)~ PtH) correspond wa x € BH, Siico evo un escalarmuliplicavg, ta que ==(2),¥. POF tanto, Siico 1 HT tal que: sonlet by iste, pus, una bigecsiin A de PUE)-PUH) sobre aH.1a biyecién 9 permite transportar Ia estrctura de espacio afi de at Hl sobre FE)" PH) (at propiedades dadas en 322 t0n gene- wale). ‘SI. es wna varedad incida en eH, seré de la forma: Anh, con: bE abit y ACH. "SD, ex la recta vectorial que pasa por b, como D&T implica bapa, existe entonces la sums directa Dy 9, ‘Canlquicrvaredhd lineal by inclulda en aH que sea parlela a dy sal Bo: feearg wca@acacm Si Dyes la recta vectorial que pasa pore, a summa desta D-@ 8 el fe. Soponptmos e52b, Entonoes D.MDy=(0}- Por consiuiente NCACH => PD.EMMD.O4)=MAC UD. [Si ACA'CH, ext inerscccbn es PL) PED Si bien Tas dos varidades netes yy By carecen de punto coms, tus correspondiente varedadee propecia Wenen una Varedad p= sectira comin ineuida en PH). RRefprocament, el problema de la completacén proyctioa de un expt afte al siguiente: Tieeos un espacio afin V (que par el pupel dew +H) yefectuemos 1a inmersdn de V en un espacio proyestiva FE) por adjuncioa a V de tun hiperplano POH), de manera que P(E) P(A sea un espacio af Jsomorio a V, y que dos varitades paralelas en el espacio afin Vy e& decir PE) PD, tengan ea la pelongacién PE) una varedad comin ‘clu en PUD. El hperplano PC) se Hamar, por esta raz, hiper- Plano del infinite. ‘Obsersaién-—En el caso de gue dim, Bn +1, entoncs dim PE) = 4 para el expacio vectorial PE) P(t), isomorlo a a+ Hl de dimen Bonn, tendremes dim (E)—PD}=n- 124. Compleaiin poyctia de am copci afin—Partinos de un espacio ain V dado sobre un cuerpo K (dim Vm, Se tala, en pe mer ugar de hacer In fnmersin de V en un espacio vectorial de Aliensiin +1 sabre K: El prodcto de espiososctoriales nos va permite reslver est pyoblema. Recordemos (tomo I, ejercico 129) que si Uy V son dos [esqcios vectorial, entonces ou producto carteslano UV, dotada de las Tees: Wa NEUxV, WL EUXV, YER, Geto y)lerei ty) Me 2)= 008,99) es un Keespacio vectorial, y que ademés: dim (UV) dim Ueda V. Por consiqvent, si se quiere prolongat V para obtener un espaci sectoral de dimensn 1+ dim V, basta tomar U=K, slendo K el ever po dado de lot excalares Seu EK Vs todo vector de Fes un par (\a).con NE Ky = © ¥ Ia aplcacién «>(0,2) de V en B es un homomortsmo inyectiv centre eopcios vectorial: es, por tanto, un Isomorismo de V sobre {oyxVo Ene espacio vectorial = Kx V, ste hiperplano vectoria Voutais es el que vas desempotar el papel que hace Hen el este io directo G23) ‘Por ota parts, tenemos: +1 im B= V+ i Cconsideremos en E el higerlano afin Vi=(1)%¥, enya direc es Von 0) 2 (Vy tea jar el papel de @ TT en el estudio diet ‘Fode recta vecoral de E queda definida por ua punto Oya) distin ae'eoy, Par que esta recn no est incluidn em Ves necestio y #4 fleiete que sen A705 tal recta vectorial encuentra entonces @ Vs punto: 2ovn= (bs) Reciproeaments, yor cunlgier punto (1,5) € Vs past una recta ve tori solo una, no inclu en Ve Exise, pues una bigeccin ent fos puntos de'Vj 7 las voctas vetoes de BVSea entonces PUE)=PIK*¥) el espacio proyectvo dedcido de F. ‘Tenemos! dim Pe)=dim Vn, Designemos con = fa apicciincaninioa de E sobre ME, y estar leno arian ya mea) de V en PE, Se ea I po edad: P| La oplicocién ytx)=nth.x) er une bigcciin de V sobre PEAS. En efecto, ¢ os ingectiva porque: a.amn(hx) => PER (yaaa) = 1 y 22) Probemos, por timo, que y es suprayestiva: =P) -PVD. 8 evdente que ANCPE)-PU). Por otra parte, para todo m © AIE)— PIV, ite 0,8) € EVs tal aque maa(h x). Como 0, ge venice 1 (i+): mon(t-bs) no-RVNCH, x om lo que termina In demotracién, En primer ga de donde: 425, Inern don POB-La Hci git eye ta fa tractor Sessional de Ye RESP ra todo x € V, escribiremos: ie ee ene De xta manera, legac vectorial departs quad mers en elec No=nK Vs: VERB y V=R-Pve se. Darinicin—Para todo subespacio vectorial V sobre un cuerpo & 1K V) 50 designa con el nombre de compltado. proyction Be Observaién-—Toda la teoris de I completacin expuesta anterior ‘mentees lida incluso i V no es de dimension fia; Basta supri Jos pasos que hablan de dim Vm. Dernci6n.~El eomplementario P(V) de V en PUE) recite el nom bre de hiperplano del infin: todo punto de P(V) se Hama puto de ‘oft. 3.26. Counlenene dels pants del infiite—Suporgames dim V=s y sea Balopeyrnss) una base de Ve Para E=KxV, tomemos base (lO, m= Oa), = ‘Todo punto m PE) tiene un sistema (ayy) de coords das homogéncas en esta base 2 mena ue ram ot th) aie Haye) 2), vty ara quem € V (expats de Ia lamersin) es necesari y suficien te que a0. Para que m © PVE)~V, es deck, ps Sito, es necesrioy suficente que ®=0. qe mse un punto del in 3.2.7. Lignin ere vero th ser problems que se Hos planes ahora es el sigulent 3271. Posten 1-—Dado el Kespuci vectorial V y su comple fado proyecto MK V, estar la imagen, por I biyeccion | eV sabre PUR) P4(0) x V), de cuaiqulervareda lineal ain de Sean B=KxV, Vo=(0)xV y Vin(1)xV. La bigeccon gix~ratl,») de V sabre E)-PUVD puede descon ponerse como india e sguenteesquema: 24 Ox) 5 Gs) “> ma) eam ete ye TB igure 2 be apes ding ¥=2.y dng B=RXV=3: Me seca al, aclalen en, deacon 81a) ¥ ca apliaciin x->(0,2) de V en E. Se ve sin difcltad aque te trate etna aplicacion lineal inyostiva: @ © (VE). Por com ‘Bpuente et um isomortiamo entze los eopaios vectorial Vy Vo ‘by cota trasacén, de vector (1,0), de E sobre af mismo, Desigaamos sempre con fla rstletion de esta trasacién a Vo est reiiotn es umn biecclin de Vy sobre Ve & 6) 7 es aplcaién candnien de F sobre PE), Su rstrieiin a Vi ‘es una biyectiin de V, sobre P12) -P(V,), que segutemes denotando 7. i compuesta £9 ex una bigeceién lineal afi de V cobre V Por i ‘onsiguieats, cutlgger variedad Tieal fle Moar, ineuida enV | {de dieclén 8, tene como Hagen por tuna varedad inal ati Tnciida en Vy de direceién Ya) Ve (LBA) feseribiremoss L= WA] Y ae posh por bts la) Portas bela a) mt 0 $a) +448) : (Queda por estudiar ta sigvente cuestiSa: dada una variedad fined alin be ncaa en Vy (CC. Vay ballar su magn por la apiacion "Vamos a demostar qo a(6+1)=PD, 81)-AD, au slendo D, recta vectorial de E que pasa por b, va sec. 3:2: wagon mine Las eROWETUAS APTN rnowPETNA s Como 6 EV; ¥ LC Vy In sums directs Dy ® b eset, Para coal ier yE mb+0), existe'an #E DIL GEI)C) Bl que wa)~ ‘rnte entonces # € [tal que 4=bém de donde: XEDOL © yon) EMD, O1)-PU), or consiguente: Abs DCMD.OD MOY Inveramente, pura todo yE MD, @1)-P(D, existe ED, SL y 2€L al que s()=1 Enise entonces AE RY y #€ L tales Nts de donde: ‘por consgsente: AD, BL) ML) Cat b, Queda asf demostrada ema sigsionte igvaldad (1, podemos enuncar el te “Tronsoa 5.—Sea V un Keespacia vectorial sea AK») come pletado.proyectiva. Designames con: tere x(a) Ia biyesion de V sobre PUK ¥)=P((0) x1) Gems (2) la biyosiin Lineal de V sobre (0) ¥ {(,2)-> ea) i talalén de (0)%V sobre (1) x. Para cualgulervaredad lineal afin a+, de dieccdn &, de V, oe volo ‘lar 8)= PID, 41272, En To que sigue, utlizaremes los mismes espacios que en ‘apartado anterior, Sea una varedsd peoyectiva POF) en PCE), 10 ine ‘Guide ene hiperplno dein ito FQVQ, deducida de un subespacio F Como AVIMED=FVA, etnces aE Vy de donde E.4___o4e. 5: comrasnmeros some tas cuaDEERAS I Y movEeRIA de E no includo en Ve Recordemos que tiene tn iualdad: PNAV)=PEAV. ‘Veamos shora el siguente problema, recproco del problema 1 Prostina 2-—Se desea saber si pata cualquler varied proyectiva {Fen PCF), no incuida en el biperplano de infato, existe una Vie ried lineal ain Men V tal que g(M)=PP)- PUPA Va Paesto que FE Vs existe una recta vectorial inchida en Fy nota cluida em Vor esta recta encuentran Vy en um punto by y FAV, 00 eric BE RAV. Ssbemes (175) que FAY: FOVVs. Por tanto, si lamas ENV abel. una variedad Hine de diecciéa FV, tendeemos: La aplcacién (¢= 9)-!=p-t ott es una biyecion sobee Vey la imagen de b+ por esa aplicacén lineal es (84) un edad fined M de Vi M=leo MED) =(62 9K) +N. La respuesta al problema propuesto es, por tanto fiemativa, y po= demos eauncia el feorema! “Toons 6—Paca toda vavedad proyectiva MF) de PUB) 20 ine eluida en P(V9, ta apen recfroca por » de PF)~PUPO\VS) es una ‘arledad inal alin'de'V; ademés, sido bm punto cualquiera de FOV, verlea: IPE) PPO Valor O)HMEN VO) 3273. Blyeecdn entre varedader ofnes y. proyectves.—De los teoremas anterioces deduce de manera inmrdta el siguente: “Toonsxn 7-—Existe una biyeccién entree conjunto de lat ari dades inelesafines do Vy el de las varedades Unesles rayectiras 2 PK), includ on ol hiperplano dl nfato. Denotaremos con w esta bese. ‘A cualquier varedad lineal M, de dieclén L, en V, Ie Biecci «| hace coresponder una variedad proyetiva cf) que encuentra al i+ SEC. 32: chun EoTRE As OLOMETRIAS AFI Y PROVECIVA erlano del infnito segin o(L) y, recfprocamente « toda variedad proyectia en F(KxV}, no lnluta en el hiperplano del infnito In biyeciin recproca a” hace corresponder unt warded linea ala 1B, de direelon or KF). 3274, Traduccién del poaelismo afin-—Consderemes dos va- riedades Mt y M' en V, cuyas direcioes respestivas Ay 8” yrican Cav, Las varedades My Af” son pall, Entonces ef) y at) ‘son varidades lineales proyectivas en P(E) que encuentran al hiper- Plano del infiito Vy setin ofA) y ofS), respectivament. Coma: aca = aac, ‘abe afirar que todos los puntos del infinite de o(M) lo som de aX, ‘Recfprocaments, si dos vaiedades peoyectivs & y 8° con fale ue todos Ios puntos del nfato de © pertenecen a ¥, 088, quet FAUCT NY, fptoness XO) y 4-4 som vais fies cas dreciones ve MFA MCOAT A 1 or eonsguent, son parses, ‘Queda esablecido, por tanto, el teorena que sigue ‘Teoksws &.—La condiciin necosnriay sulcente para que dos vax tiedades tnealesafines BE y AM” de V sean parlles es que cualquier punto del infinto de una de las dos valedades proyetivas w(t) 7 0 pectenezca 8 Ta ota : 3.28. gern entre Mpecones aac y bamografinn Sen V un es: pacio vectorial sobre K: hagamor H= Kx y desgnemos con P(E) el feompletido proyectvo de V- Plantefmonos el sguente problema: 3.281. Pnontena 3.—Se dese saber aia evslqueebiyecin lineal Min / € GA) se puodo esocar una homografi € POLE). Sea fi GLAY) el automornio de V asaiado sf. Existe @ V tal qu, para todo = © V, se verifies: HematiteDeseamos asocir a / una homogeatia MC POLE), es dec, un futomerfismo # GUE) del que se deduzca por pase Sek Resordemos que de V a PE)—P(VQ) pasamos por Ia bigeclén ys eomeo lamando: Oe 9) sopin et siguiente caquema: «3 G0 5 ae 1a restric de a UE) PV) debe er meefow ltse, us recmutacin de 216)-PUV, Se dete entonces que h dsb st na prolongctn de Wen AB) gue des ran al eed an de tnt PU " For consiguiente, g € GLE), de donde se deduce h, deberé dejar ate ye 9%, ng! a EVs ha de venir dade por Roofs (alvo um facter multiplicative, que hemos supuesto igual & 1 sin que ‘ie tnea importanci par fo que sigue). En parelan debe ier también invariante a Vy, Por consiguients, para toda (ira) Vs oe tended (1 2), f(a Ahora bien, para todo A © K, se verifea que también (1, Ax) € Vi por To que hn de sstitacerse: B14) =U (00-19), Observemos que: B01 0-19) =H) HOM N= he HE $80.32: weezy mee Ls 0 Por tanto, ay que tomar B=D Aero Ftircomente, see apcacin de ens miso define yor eta Sun, Evientomente et won permutacén de Fue tae fee Hans, Ademis se verfca que g© GLIEY porque IN HIM IEN ON U8 fear Pode HHDN Xe Hee TI =e 2) e404) 2 pea tod esata pe ALO Heh sr Fao fos coe, gd Is homografia hE GLE) que bute ‘amos. Podemos, pes, enunclr Tron 9--A cualquier biveccién alin {€ GA(Y) esté ence Spe omeerat slo una) h € FUE cups ressin a MEN © Pefoe"s CE hiperptino de into AV) 08 Invusane yor eh 3282, Visto est sient Pronimis 4—Se desea saber si a toda homogeatia h © POLE), ne isle Ines ot hiperlan dl into er Pore noone Diyecein ala Fe GAC). abe shore plantear Ie cutstién reeiproce si Salvo una homoteia poo ile de manera que el hiperptan ae at mismo nviieene et wok yriton awe gt1,0)=(p, 0) com p32, entencer at es imorismo 9g que dea, como g.invaiante « Ve" dja tarbiey nae ante « V4) 2 festlesion a de g 9 Ves una permutaciin de Vy, Por tanto, lst una permutacion f de ¥ ta que prs coshuieg Sic 5012) =U fen. Por otra parte, Ia cesticién de f 4 Ve es una biyeciém tinea! del ‘sabesecio Vs, Exste, put, © GLAV) tl que, pra Conquer vee5 vedic i siguiente iqualda: Como (.3)=0,0)+0,2) tendremor: 0h 2) 1,094 10, 460) 3, Por tanto, g(1,0)€ Viz por comsiguente, existe @€ V tal que 1, 0)=(hp), de don Anat, De to antevor se sigue que: 1 yes ln 0.4610) h(a), de donde: Te Ga, Abors ben: de acuerdo con Ia solui6n dl problema 3, la perma tacin fo de Vt i restccién a V, de'una sla permatacin linea de # que deja invavtnte V, (amblén dsj ivarante Vo evden. temente). De ello se sigue que In @ © GL(E} de paride coc com (sta permatscin lineal Podemos,entonces, enunciar: ‘rons 10.—A cusluier homogralls hE PELE, que deje inva: Hate el hiperpiano del infinto PCV), queda atociada wa y solo una, FEAL) ta gue ea a restelecdn de ha PLE) POV. 3283, Breurio—sea {© GACY), con dig V2, definida en una tse (er er} de V por sus ecucines: 4294, v= 41, En el completado proyectivo’ MLV), tomemos ta refgeencia: 0.6); me? x10. ‘Todo punlo mE ANY) tiene come coordenndas honogéneas X, ¥, Z G26, que veifcan mon, Xe, Ye, Si m@ P((0}x Vy, es dest, sim no es un punto del nfnit, en lonces 270, y podemos esrb: moa(t te donde: 00) =X. vier den ‘Sea hE PCL V) Ia homograaasociada a /; su resteccin W « FMV) PO} V) Hopsfog Pera Hin), gue no es en el infnito si m no To esl, podemos ‘omar ls coordenndas homogéness (XY. 2), con Zp enon Xam Expresemes que gle Wm)=fog-lin); se obtene donde las ecuaciones de hE PGLAR« ¥) son Xoaxs2y—tz, Yo x-a¥-Z, Zz 2,8.3, Momogratian deta rectn proyectiva PEI PoLEy, Zovo punto @ & PE al gue g(2)~a, 46 denomin puto bern {te a la homopralle ge POLE, Entones, si © GLACE) e6 un automerfisme de E del que se deduc & & sls un escalar AE K tal que f)mhay por soagee ‘4 un vector propio def, ¥ Nel valor propio coretocasen ne El problema de halla los pintos ineariantes de una @ © PGLIE) unin recite a encontrar os vetoes propios de GUE) ey ‘te aguela v6 ha deduct, (Como [© GLAE), el sutomorisme f care de valor propio mule. 33.2, Valores propos denn g-€ PLCE) {utomorismo de E de que se ha deducdo & entonces At, Ie) oe te pER® tal gue Ppl y Madde => Fa)=pha De Io anterior resulta entonces que 1) as dlneciones propies de f y f° coincden; por consiguiente, ‘a blued de fos puntos invaeantes de © POLIE) no dept at ‘5 {© GUE eleida de Ta gue se bn deducido p 2) los ealores propio de fe dedeen de los de f multipicando or un exile Fs posible, por tate, define, salvo una homotecia, el conjunto de Jos valores propos de una homogafi ¢ © PELUE) ef PErIcGx.Llamnrenes, pues, valores propios de wna homoge EEPGLE) a tos valores propios de una fe CUE) de le gerry ne ‘aye deducid, maltipiados por un mismo ezaat ge Ke Este defini, sep lo anterior, no depende de ls felegida, 333. wo de te rete ‘Supongamos que dim PE). FE GLE) de'ln gue se ha AUntos hy Ms one, En 5853.5: nowocRiFis oF 14 nrc rroveciva ” gonalisable y que dos vectors propios ey ey cortespondentescous- tituyen ina ‘bae de 5. Los dos pantos de My a=me): ar=nlen, ‘on invaranes por © POLE) Hadmes samen ier punto. m G P(E) correspond gO) © P(E), Caeute im dob Ptou5 mm umndo m0, ¥ m zea, fitonces sf) dntint de ay ay mi Observemos que (osm consiaye una eterenci prayers en PCE). Exist, puts, una base (a) de E tal gue 16H) symm, — mann tad Como ms colineal con ey yu 108 con ey entonces a ym som ‘wectores propos de, con lo iismos valores propioe sy Ay Hayden, — fu donde (acted em deci: 0) 0.1 +A = ¥ por coniguente (273): Fey s0)} = ‘eonsna 11~Si una homogralisg dela recta proyectiva PIE) tex ne dos puntos invarintesdistntos ey ay coresponontes ty as lores propiosistintos Ay y Ay para todo m & PLE) (ans) se tees mE oo nt sta relaclénrecibe el nombre deforma candice dele homograia2 SOLEDINTOS SOR LAS GuEWETHIA AW yHRovETIvA 52 __c1r. 5: cournensrossoons as osourmns Av povecriv 334, neiprocorSean oy 0; dos puntos distintos dados en PE) 4Y pwn escla no aslo también dado. Probemes, en primer Tega, tos ra allcacin g de PUE)=> (6) exté bien deiida port Son ctnte sa) =o Pa Ym PE) (een), [and Om) =pe ara tod m © P(5)~ (ay oy, el covolario dado en 273 permite air ‘mar que existe una fi PGL{B), y solo una, que spin fe referencia Proyectira (a,c) sobre sf mia; es I coincide, Coin Is at hn dable ce conserva, entonces: 5 Lee m mT Lay mm) me ome Por tao, correspondiente gf) de'm ests bien determinado ‘por (ey g es uns aplcaion de PE) on a ism. Aderda, I splcaaSe ¢ ss dein es sice Probemos ahora que g es unt homografla de (5) y que p es et ente entre fos valores propio de g relativos a a,» Definamot TE GI4E), de la que se dedozea . Tomemos Ew Ka ewe Entonce (ey 4) es una base de E. Consderemes ia © GLB) ‘que, en esta base, tenga ‘ome tai mo=(¢. 3). Por tanto, f admite los, vectores propos es y ey con p y 1 como talotes propios corespondientes. Sex h © PCL(E) i homurato de ducida de): a yay son puntos invarintes de h con apt a som talores propioscorespondieates,sendo aun ear euler de Re 3 seg el teorema directo: Cm PE)—(004) (ay, Mendim Pon, De ello se sigue que: g=A, de donde g € PELE), Podemos, pus, enuncir el teoremsn qut se da « continuaci, 1G) ata dels 6 CUB), 8 agave ox dedvacs 0 det forma roth cia a! ES : 4 mice, rovseria By Teonsnn 12-—Para todo par de puntos ditintos ayy en PB, y anlar esa p70, In aplicacén de P(E) en a mismo. dea, {OME ME-(0000 tooo mstondmn, sad=a yaa, ss una homgrata de PE, slendo pel cosiente entre los valores po ‘os correspondiente a los pustos ivaranes J ay 33.5. moar ‘mos sempre une recta proyertivay Suporg 1 wn solo punto invvinte eto) Entonces,culguer © GL(E) de donde se haya dedeido g tine wn slo 470 (el potinomi earcteriatico def adnite una ras dob Pero, puesto que ge distin de Is coincidencia,entones fet dating ‘de una homoteciaen Ey, por tanto, posee una ola rect avarante D. ies D, entonces In matic de [en una base (en) da to mo= (2 =r) 2) oxeecn a Sobre P(E), podemos considerar el panto a com el hiperpano del innito y aplcar los resultados de 1.2%. Es posite Hentinee ne conveniente & y KD, y considéar ae P(E) como el competade pers Yestivo de D, Sea Ba bivecclin x» (I,2) de D sobre Ie reste tg DrmeytD. Entonees, si es ln aplicaién candaen de E sobre ED (enotando de nuevo con la resrcein » D) la compuesta por cp som biyecion de Ia recta D sobre el complemeneri PE) {a}, recta proyectiva‘sin su punto del int ‘Tomemos en P(E) le eeferencia proyectiva: w(1,0) y (je). Pare ‘waluier m € ME) de coordenadae Homogeaeas (2,3, se tea maz, Xe), sho az, 02) Sim no est en of Ininita (m 760), seek 2720, Basquemos entonces In tressformacisn ain ¢ © GA(D), asoca © PCIE). La resticcién g de g'n ME)~(a} ex pote863.5: nonscnArs ta maerA moveerIVA 5 4 _owr. 5: courtswsvros some as OFOMEtRAS Ant moecriva onde se deduce que: gteymtog) A x erma%e, ‘| erestme (Z4n)m. or tat, ¢ ee talc #-+ x ay de vector ey Rescate, un ealguvea By este BoKeb, y stscemon si con ME) el comands poyecien oes ead GG EADY ns ny comapnie wen 7S CUO a aan Ss lac por oi en SE) a ue eh ive apn de il de Roy sae Snir po tt tenn ah ‘Tronkovs 1}-—Sea D una recta proyetvg, y sea P(E) su completado broyectivo, La condiciin necsaia'y suliciate para gc cou ue 1336. Meogntin laa 336. Caactrizacin de las ineoluiones en etna © PCL es involutive si su candrado es le coneidencin fora ca ‘necro y sficlente que ln € GLA) de i que se debera tal qu F represents uns hometeca. En una beoe (oye) de ae (a) esbe aeae Mme S89") Part ve P sea una homotca ecesvo y suieate que a wie MIP) sea esa cs esi ave Oboe be, (orden(ardybne M Yea solucion evdente del sistema es a4d=0. (La suma eed re ibe el nombre de raza de te mati i) oes dl endoneasof) Si Mkonemes «td 960, ot siteme adaite como soluién boeu0 Zig Ghttonss. ls moa es urn homotecn, yh g concen la coincdencn de PGLCE). Podcmos cae Tyo Ma conden necesrin'y siete para que AG ROME distin de te colcencta, se tvolten, eft Ts fa tnea de una / © CL(E) enc Cin iy mites ireariones SI gx invoativa, se vein que ta ‘matrt Mip) de una (de donde se ha teeta 8) coms amine mn (2 enc nlinomio cracteritico de MI) 344+ be), por cons ult, ene dos ees ditntasy opuestas 0 pe ene singin, Peas omoealsnvaaia dott de Ta eoncdencs ene defer ianes dlstints, 0 bien ng Goreecin-Si el cuipo Kes algebricamente cerrado (pe Jor maf et iteres comple), entones faa homepage os puntorinveiantes, 326% Corsctersacidn arménice.—Consideremos wea homoyie teraitve g con dos puntos invariances; tl poinomis tare eet Sed ion entonces dos races uesas. Aplcinde 339, eas Snulente,enunelad Trae 15-$i uns homograls inva gde la seta proyectia Feces Punts levaints yay para todo me MD) fovanh ee Vesilea entonces que (ety, 0 1a divsin ( eusterns) es erndhicn Seettrocaments, sean cya dos puntos distntos de IE). De acuers secon, feorem 12 de 334, le plecion de Py On oe es Aetinde por siad=2, glam, Wm € E0446) evan, elod— tts bomonstin de P(E, con dos puntos invaiantes oy y ap Se vee ‘ila tambien gue: Fey 0, gm}96 cae 5: commisnmos sone Ls OROETRLAS AFH RROTETIYA 1, como podemos cambiar los dos limos téminos do ln rexén doble Arménics, de ello se dedgce que: Bom 1 & 6s involuiva. Se verti, portant, el teorema: ‘Teoneata 16-—Pars todo put de puntos dstintos ay oy de PCE), sien g de P(E) en st mismo deinida por: Ha)=ay - (0)=04 (mE ECan]; (ene meeml= ce es una homogsfia involutive de POLE). Tay Ramen ij) oa 2.1. Sea UE) a sein propecia he lee’ de nine om fa yin toa ell teeny else’ pare oe comps Tlie de PeLg) se tambien : 1.2 Seu MO) i recta poyenvn ste om evi eulalera K Con ents’ wan banoyt'g © RELIED com solo, punto imaraate #: Bett. SEAT Nate Gone me Mabel of ere yy oo " Hey aon hey ls F Ses) a rete grovetes tlre eevee C de fr meron coms Pract es ys coiuler NE PCL, enemas de Iolo ua) ler oe hoo Fi Ss Sen FE) um ata rye abr on cut Ky sen 6 POLE. Sf stn ‘tet edited pantor Inver ydisttos, rte ue esas tat non tovaince 7 PELE) eae comms cot h nn ole pate © A, demas i pony Ao, 12) Senoanos que ane sna gust nrc Patbese aut no ‘ste season do PELE) gue commute cone tT ‘uk, Terea del cade compen, a's pnw prpecive FUE) ego co Ke acts di any Feet (el=2a Dae {Da Dre G=DaN mg “ThmDRMD,: oem 6, FD in tn proven sce copa Ce le nrc come ples Par cial eaten de anton bed be Mh des | Rabe dm(ME PELE) | MedmD y Memd ttn conte dens hott de en gue spa « ‘Jb smgwene 7 : 2.2, Sa MU an pen prope sabe corpo K de cacti ne de do.‘ da ‘aur puma bron ot Con Pores er Pik Se dln wr veeae Dy Dy 9 Dy de sei forma? Dy comene # {Day Deo Day i Dy eomlone BY (Dae Dan Dee i Dy amine © ¥ Wan Da Drs Di 2.8, tn of ino pore FI), st tom, noe te concede saga hae er oie ah tin Sy io rte, Da Aen Bec Benes 5) amet qo art todo me Dye ano, ee limi nh et evr» dete cere J cece § parte de DOD y 8-400. 1 ‘Cansyne gi Eomoceo'm By vane a ‘D. leoe ot pute sree cere de tds g © PGE) qe spc te ontos Gs sits sobre sto er Fates tambien sinedb 122. Sex FE) um platoproretv sb el cue de los nce com leony totale wlan poe aye sph Se onal‘he POLE) deteminnda or wn sovtloes ee lereca gv Hemet elo: 1) Determine toe pnts ignated : 3) Bewate Saas gromdte ce "jn toto ota om ter Intent ste : Ree, Ta KAD MOLYED "a0. faa plan provetvo FUN sobre el stro de Joe nimero com sles tates br RE POL) ove seat inva Spo ab oh ‘St ego reso i Se Natt Sear a BrPar todo pens mee 7'm'@ Dy tect eoaenra PD''p al gee Gomme domen “an ‘11. Sia P(E) om eran groyecva de dimen tes oe evra 1 coe a res pa a Sn cP utara (ict) Go vtec propia cig 8G aan’ | snr psi tp Se Aine, ln pens at 5 "Se sapone gue Xun valor oni de onden p © [8] de A. Pat Suv beer tone aves prio de corepondente 2.3. "Puli oe dor suas opoey Ssoy hy 3 de A capo: en hot Veal propecia tte penton invaetes 62 FUE) ‘12, Emplenoy he mismen nooner del sel anterior. Sopoaemon ote ne An ca lor sino, Sn by ye ‘Sgeesas crs fate'a"Tome con so um raterendia popes 8 ‘EiRaoe ute mate heen ren : ‘S48, ama, 0 on i noch el fsa nt, sgompns aba ave 1k matt A este oe Tis rola tgs Ayres me yn onl, ae aaa a Snes dois vaded propecia ¥ dew poston Jnmenion by of ponte Ivan cvrondlns 4 9 ody Sncdtee'. Demstrwce gue e'pnbe set fe € Rf Jeena prenesive eA). Bare un Ha Bybee MEN mesh,» mg ¥- Denamon con pel puma de ine reson Se #5 tn eee byt Beto ie nance a Ra (BapmMt=k 14 tomato bial Boscom mtn de sso 32. Sapam of on ga vie Anais on ord poe eben 2.7 hy gel a Gee in de alate’ recs Wh 7, reas Oey Dyan Yr Dever que ss rss cep bye FO) a 4 {Sree at ec Rhee on Byer we MI UVR. Prydbone qve xine una rete y oy ge paar remem Hy Woes m9 wet Pere Mom=kcanto 4 CEOMETRIA EUCLIDIANA En too este capitulo, conederamos un espacio vectorial & eobre cuerpo R de Tor mimeo reales 4.1. Eatewcturn do eapacto eulidian ALA, Formas iene Slondo B, Fy C tres efpcies vectoraes| tobee ‘el mismo cuerpo, en el tomo T (154) hemos dado la definiciin ‘at concepto de alien bilineal de BF en G. SiG es el euerpo de ‘cealres, entonces fnemds una forma Diinea, Repetimos la defncin Soponiendo que EP y que R eel cuerpo de exalares. Derién.—Dado un expo vectorial E sobre el cuerpo R de los _nimeros reales, ecibe el nombre de forma bina sobre, una ep fuckin f de BE en Re gue ease Inv siguientes condiciones ‘ara cuslesuiers x), 9,37 de By eualeaquter ay B de: 1) flax, a) )= als 9 29) fete safe Med 3. fhe y+y)=fee 0) Lo anterior eguivale a decir qu It plcacén parcial de E en T s-of(eig) es lineal, pra cualquier y € B, campliend Ta misma con ‘Gikin le allan parcial: y= ery) para todo x © E. 412, orm Mince simi Darincx—Un form bilinealf sobre un espacio vectorial B re ive el nombre de simderca si, cualesquera que sean x © y do fees). 9). Bjemplo—Sen ditty Bon, 7 £68 B= (ey ey sey) una base de B. ‘Para cuslesquiere elementos x e y de E, existen, como es sabi, es y PRLCTORA He ESACIO sHELONAND a0 (on 89M © ota) EH es oe See 8 a Daw ijemoe mimeroseeles ory U apiacin f de Ben Rd fia or: cone fan Sane bilinear, ws esti Dare Sin sow eu ce sia Erne ol nombre de pesos no dope Spr eget = aoe foes veten ee aa 413. Formas Mller sé Mea) >0. iemplo—Si todos los ssealares 0m etrctamente positives, ators Ia Torn del cemplo antes Mesamay wha thot tH fs postiva, ya que para todo 2 70: pene) haya} tay 38 > 0. Por el conta, asta tomar uno dels nepativoo nulo para que 1a forma no se eetrctamente posites. En elect, tomemos, por elem. to, a/c0y consderemay el hector say ey, Tendremos Keven tie) =0,21<0 1 no = cumple In deiniion a it, ALA. Barwetara de epee cuisine, Dariicis.Se dice que un espacio vectorial E sobre el cuerpo R elon mimeros resin poree unm extuctra de espacio guido sh fsobce Beat fide uon forma bilnel snteicaposlra no degeEe un error ponsr que sobee B solo puode definirse una estvet de expacio euciinn, pues basta, pe}, tomar dos formas dita Ty Pe tilnales,sircaspostvas no degeneradas, pra definc dos structures diferentes de espacio enciiano sobre E. {Ea el ejemplo precedente, si tomamos dos m-uplas (ay...) ¥ (etna) distntas, do nimeros reales estectamente posiivos,tende- Ios dos formas difsrentes que efinen sobre B dos estructura, dit fas de espacio evcldiano. AUS. Produce eelr—En una extrctura de espacio euciiano sobre, determinada por la fora f ilneal simétlca posts, dicha fovmn relbe et nombre de producto esceler, y se suse tliat para desgnar este Jn noted: hy Meader) 1a bilineaidad se trace por: YeyEE YaER: 7 D(x) y=s(an)=alsy), 2) sytyymaytay, 3 ee)y- aierta 7 0 sectoral a simetla de Ua forma equal a la conmutatividad det proto alt: ne 9 WnyE Dx 1s forma es postva no deoncrada; esta propiedad se taduce por a siguente condi: FD MEER) xe e 1 cuadrado excler de cualquier vector no nulo es estectamente positive 42. Noco 421, Norm. Dertucién.—Ea un espacio vectorial eucidiano, eecibe el nombre de nov de'un vector evalguera x, se esclbe fy el nimero veal pstva deficio por bine = verte: lls Puesto que la forma es bine W@ER VEE Jas} 1 por sr posta no dente Isl-0 2-0. 422. Dian Demvacién—En un espacio ewclidiano B, se denomina distancia apse de Ben My denotnds (a, =>, 9) dein ts. 2) fe La siguientes propiedades ton nmediatar: (mre 8): YaeR, oy deneo ae any, 2) de.mdy2) 3) detnytarmdteey) 4) das, ay)= falls 9 3) significa que a disticia entre dos puntos no vata por sn asain, 2) slgnlica queen uns homoteca, I distancia entee dos puntos viene multiicnda por el tlor abeoisto de In rin de honotel, 423. Vester niein-Un vetlor w E recbe at nombre de uni: tario a fo een 1 € F-(0), existe wn vector unitario u ¥ slo,une tal que xn con 420; es el vector wae * tetso can. 4s orem evans Cuclesguiera que sean ton vectores # @ y de B, 9 vsrifin ielstelit | I elacin s evdente Supongamos #30 y consierems tog vetores ety cuando a torn todos le valores de elesemos cuando esa (ext soa att any ty Como el primer mimbro et un nner res postin o mao, e te somio en dsl segendo miembro debe ser positvo 9 nulo eulgulers ‘que sea a. Porconsguient, su dicriminate debe ser negativoo nl Escrbamos esta conic Gorey ‘Tomando races cuadradas en RY, se obtiene ta desguldad de Sohwars boot Ea bh 425, Dosguelad wiangnlar « de Minkowe, [Fi] cates ee rte 9 Bir deel tel both En efecto, partamos de: lett e+ bt +2. Arfiando In esigustad de Schwere: sycboistl bot lets bP +b +2he Dole que tambign te puede ecribi en a forma: Heo de ay. 2) Y eambiando © € 3 Ae 9) aly 2) aly»), le donde, para cuslguer tera, de B x 9 ate 9) En un tifngulo, la norma de un Iado es recis de lie normas de Toe otros sae. ite menos igual @106 can. 4s orourema rucupi0 426, Verona engin Daviwtex—Se dice que dos vectors = ey do 5 son ortogonales say=. Pesto que el producto scalar es conmatativ, Ia relacin de orto- onalidad es siméricn. ‘Un vector solo ex ortogons a mismo aes nue. P| Stun vector er ortoponal @ cde sno de Tor vectores de la Tenia (yyy =z, entonces también foes enauier veer for del Subespaciaengendrado por sa farsa. Ex elects, para todo vector y de in de scanner yoy nvvy tales Ue te subespci, existe una fam omg ant Ge de donde, por distributvkiad: 6 yma ays aneyat haya 42.7, “Tereme de Pio ‘TroneMA 1—La condieiéa necesaria y suficiente para que dos vee- tores sean rtogonales et que: En efecto, cuslenguira que san los vactores x.y, de 0 vel Testy =BePs oft +20. Para que x © y stan ortogonle, es necesarlo y suliente que y=0, de donde’ deduce ol teres fie: Demnicign.—Se dice que dos partes A y B de B son ortogoales si todo vector de A es ortogonl ¢ cualgier vector de Entoces todo vestor de B et ortogaal a canluier vector de A. sxe, 434 sonesrscos orcas iy Di] si dor prtes A y B de £ som ortogonales, 0 ben AN BB o bien AN B=(0}. fia efecto, un vector es extogonal asf mismo solo a es nao 43.2. Sebegnin external Fr] et conjusto F de tos vectoresortogonales a calgier parte A tie es 1 subespcio de E- En fect, sy 35 pvtenecen F entones,ctlesguea qu san tog lee or Jew el vector u31tenys pvtonece también 8, ae nF Dernicin —F re eA. ‘iF ese ubnepcio.orfogonl a una parte A de Be conju de 100 eens Gtognats 2 Fes A nm on eubespacio G ae, en 1 eos san a A Inco ast miso A es subse s ate egies eoicin GA, Se aie gue Fy @ som doe Sbespactos ortogondes. So ero rectors ortgonaes a Fes G. Si admis el con Junta Sige octave ortopnaes a exincie con F, se dice entonees Me Fy 6 som totalmente ortogonles. 1433: Preyer erigoaln Seat Fy G dos subespacios oF080- aie or Emtomees Ia sna FG es necesasamente deci, Supon- amos adeais que E=FOG. Te es aliione, toto vector ortogonal a Fpertences 8 Gy todo cect ysl pevteneee a F Ea efecto, part todo vector » dF, Gunten fs Fe yO tales qe ie el nombre de subespact ortogonal I pa Sis es orfogonal 4 F, tendremos: 2 yaad por ser F'y © ortogonnes, ego #2=0, de donde =O J. Bin, 2 G. Pademos, pues envncar: [stom dia de er tapi ons 6 Sbespoto oroponat @ F (esp. G)€# © (resp. tin otras palabras, F y G aon entones totalmente ortogonalsDariwciénSi & ola sums directa de dot auesracos ortopons- les Fy G, los proyecorescorrespondientes py recben el nombre Ae proyctores ortogonaes vbre FG, rsepetivamente B=FOG implica que, para cunguier x € Bs vere; sn 0te) + abe) is) E Foe lama proyeccdm ortognal de x sobre F, FG) EG se lama proyccin ortogonal de = sobre G- 434. Miperplin erogoel « one rete dada, ‘Teonswa 2-—Sen D una recta vectorial en BE subespaco, mai mal #1 ortogonal aD es un hiperpano vectorial auplementario, de D, ‘Ademis, el subespacio ortogona « Ht eoincide eon Be Sein, Duna teeta eetoril y w @'D=(0). Lamemos! oss Hal © Be (rae =O) 0s ‘© ees una forms lineal no idtcamente ula puesto {a telaciin ux™=0'e5, yor consigulete, Is ecuacén de un hiperplano vectorial (194), que eolcide con H. Adenia, puesto qe ww 720, la recta D,no ests inside en Hy, portant, #7 yD, son suplementaroe O94: ees a) Enestas condiciones segia Py, el subespsclo ortogonsl a 21 coincide on Tasks 3 bes a 5 ‘Teoma 3.—Sean D una recta vectorial, w€ D={0) y p el peo: ‘tor ortogonal sobre D,Entonces para cuaguler x © verte: En efecto, si Hes el hperplano vectorial ortoponal «Dy, pusto que EDOM, para caaluier ©, exste un neo, esclat NER. (al que of || Eye ews oy ate He 1 como consecuenca: 435, Ditenca de Plone i 8 de, a) por dia i togonales, En efecto, por defi 1 basta apie el ter 1 despa, teorema Por consgulets, 0 deduce que: pa)=aw 1D wienen respectivamente dads por 1 [srr niin, tenemos: ts feat = Go ema 3 para obtener: 4 Peégrae para egar late DyP [aL IP. ¥ dle, Dyes) ret 9 Hera, ‘Ademds, yaa todo y € Hy todo» E D, 60 verifen que : le, Moh=0=) | a0. 1 Poe consguente, Ker = (0) yf es inyetirs, por lo que f © GUE. ‘Tod lometia se lan taba transformasiinotogonal. ‘Teonema 7-—Para que € p(B) ses une isometries necesario Y slelente que f conserve el producto escalr 1 Sea f © 5q(H) tal que, para cunlesquiera x ¢ y de B, s0 ve. sigue, ay fop=sy.