a Capitulo VIII Espacios afines El concepto del espacio vectorial real de tres dimensiones surge de un modo natural al describir las propiedades principales del es- pacio fisico corriente, siempre que en este espacio se haya destacado un punto cotne el origen de coordenadas. Puesto que ningiin punto del espacio fisico tiene ventaja alguna ante los demas, conviene tener, ademas del concepto de espacio vectorial, un modelo mate- matico que corresponda al concepto del espacio en el que no se hayan jijado de antemano puntos algunos. Ejemplos de estos mo- delos son él espacio afin y el espacio euclideo puntual. En este capitulo seran expuestos los elementos de la teoria de estos espacios. § 29. Espacios afines generales 29.1. Axiomatica. Sea dado un espacio vectorial 2 sobre un cuerpo conmutativo K, Se ilama espacio afin WM sobre ef espacio vectorial 2 un conjunte arbitrario tal que a todo par de elementos X e ¥ del mismo le corresponde un vector de ©, indicado en lo sucesivo por XY, con la condicién de que se cumplen las exigen- cias siguientes: A,: para todo X € 2 y fodo vE® existe un elemento Y EU, y séto uno, que satisface la relaciin XY =v; __ Agi para _cualesquiera X, Y y Z de WU es vdlida la igualdad X¥+YZ= XZ. Los elementos de un espacio afin se llaman puntos del mismo y los vectores de & se Ilaman vectores libres del espacio 1. Para cualesquiera XEM y vek indicaremos por X-v aquel punto Y EM para el cual XY =v, Segin el axioma A, un punto asi de existe y es Gnico. De aqui, en particular, se desprende que para cualesquiera X, YEM y we se tiene X-R¥=V y X(k-aj—a. ()§ 29. Espactos afines generates 307 En virtud del axioma A, tenemos XX+XY=XY y, por ello, XX=0 y X-omX (NEW y 0). En vista del mismo axioma se tiene XY-+YX=NX y, por ello, XY a—YX. (2) Finalmente, para cualesquiera X, 0, B, C, DEW se tiene (X-OB).CD = X (OB -+TD). @) En efecto, sea X‘OB=Y e ¥:.CD=Z. Debido a A, y a (1), se tiene OB=XY, CD=¥Z y OB+CD=XZ y por esto (X-OB).CD +2 =X XZ=X-(OB+ED). Pongamos en correspondencia a todo par (0, 8) de puntos del espacio %f la aplicacién de 9 en M, indicada por OB y definida mediante la férmula OB: X—x-GB (xe), (4) es decir, tomemos X-08 = X-OB. Las aplicaciones OB (O, BE se llaman trastactones (0 también desplazamientos o trasiados) del — espacio %. La superposicién de unas traslaciones OB y CD suele llamarse suma de estas traslaciones, es decir, se toma por definicién que X-(OB + €D) = (X-0B).CB = xX.(0B+€D), (8) E] producto de un elemento AGA por una traslacién OB se de- fine mediante la formula X. (MOB) = X - (NOB). (6) El conjunto de todas las traslaciones del espacio M, provisto de las operaciones de adicién y de multiplicacién por todos los 4€ K, se indicara por L(&), Las igualdades (5) y (6) muestran que la aplicacién OX—~+OX es un isomorfismo de ‘2 sobre L(&) y por esto L (Ql) es un espacio vectorial sobre K. Fijemos ahora en % un punto cualquiera O. Entonces la apli- caciin X—-OX (X€%) establece una correspondencia biyectiva entre los puntos de % y los vectores de 2. El vector OX suele Ilamarse radio vector del punto X respecto al punto inicial O. Ek radio vector del punto desplazado X-BC se expresa en términos328 Cap. VIII. Espactos ajines del radio vector det punto dado inicialmente X mediante la fér- mula O(X- BC) =OX + (OC —OB). 2) Efectivamente, tomando X.BC'=Y, obtenemos XY =5C y, por consiguiente, O(X-BC) =OY =OX + XY =0X +B, Supongamos ahora dado un espacio vectorial 2 sobre un cuerpo conmutativo K. Llamemos puntos a jos vectores de & y pongamos en correspondencia a todo par (u, v) de ellos el vector ww=v—u. Esta clare que en este caso las exigencias A, y A, se cumpliran sin duda alguna y de esta forma et propio espacio vectorial £ se convertiré en un espacio afin sobre si mismo. Indicaremos este espacio afin por A(%). Puesto que Ja igualdad xy==u4 equivale a la relaci6n y—x-=su, obtenemos para las traslaciones del espacio A(&) ia formula x bo= x 4-(c—6). (8) Desde el punto de vista puramente algebraico, es conveniente a veces considerar, ademas del concepto de un espacio afin sobre un espacio vectorial, el concepto de un espacio afin sobre un cuerpo conmutativo que surge del modo siguiente. Indiquemos por A el conjunto de todos los puntos de un espa- cio afin & sobre un espacio vectorial 2 sobre un cuerpo conmuta- tivo principal K. Introducimos en A unas operaciones nuevas S(X, Y, 2) y P,(X, Y) tomando por definicién S(X, ¥, Z)=Z-XY y Py(X, Yy=X-AXY) (9) y convertiendo con ello % en un Algebra nueva WM =(As S, {P}) AEX). Es facil comprobar que en el algebra 9* las operaciones S$ y Py poseen las propiedades siguientes: Ay: Para cualesquiera O, B, C, X EM" se tiene S(B, C, S(O, B, X))=S{O, C, X); (10) A;: Para cualesquiera O, B, XEU* y XEK se tiene S(O, B, P.(O, X))=P,(B, S(O, B, X)); qty Az: Fifamos en W* un punto cualquiera O y mediante tas opera- eiones S§ y P, introductmos para los elementos de X* unas operaciones nuevas Xto¥ =S(0, X,¥) y hoX=P\(O, %), (12)§ 29. Espactos afines generales 329 ilamadas adicién local y muttipticacién local de los elementos de U* por los numeros 4 (en el punto O). Respecto a estas operaciones {o- cales +o y +e los elementos de U* forman un espacio vectorial sobre K que se indica en lo sucesivo por Xo, En efecto, hemos visto que la aplicacién X —-OX (X € A) es una correspondencia biyectiva entre los puntos de A y los vecto- res de 2, Pasemos, de acuerdo con esta correspondencia, las opera- ciones vectoriales de 2 a A, es decir, tomemos por definicién X+¥=SZ6>0K 40% =02 y 1XK=Zep}0X=O02. (13) Entonces A se convierte en un espacio lineal sobre K y el punto O ser4 el elemento nulo de este espacio. Puesto que X-.AB =Y ©> XY =1A4B &» O¥Y—OX =1(0B—OA), y puesto que de (13) se deduce que OY —OX =1.(OB—OA) > Y—X =1(B—A), tenemos. X-AAB=V > ¥ =X+4(B—A), de donde X-AAB = X +4 (B—A) (4) y, por consiguiente, S(X, ¥, 2=¥+4+Z—X, PL(X, Y)=MY —X)+X, X+oVEX+Y y bo X=AX, Después de esto las afitmaciones Aj, Az y Az se hacen evidentes. Se Hama espacio afin sobre un cuerpo conmutativo K un conjunto de elementos A provisto de una operacién ternaria S(X,Y, Z) y una serie de operaciones binarias P,({X, Y) (kG K) que cumplen sobre A las exigencias Aj, Ay y A3. Un espacio afin sobre un cuerpo conmutativo K, al igual que un espacio vectorial sobre un cuerpo conmutativo K, es un digebra (cuya signatura depen- de de K y es, en el caso general, infinita). Por esto para los espacios alines sobre un cuerpo conmutativo resuitan definides automaticamente una serie de conceplos como isomorfismo, endomorfismo, congruencia, etc, Hemos visto como todo espacio afin & sobre un espacio vec- torial & sobre un cuerpo conmutativo X puede ser convertido en un espacio afin {&{* sobre e] cuerpo conmutativo K. Queremos de- mostrar ahora que de esta forma se puede obtener cualquier espa- cio afin sobre K. Sea, pues, B=(A, S, P,) un espacio afin sobre un cuerpo con- mutativo K. Representando la identidad (10) en la forma Cty (Bto X)=Ct+oX (15)330 Cap. VIil. Espactos ajines y tomando B=O, obtenemos CHo(O+X=C+oX, Esta es una ecuacién en el espacio vectorial & y, por ello, O+,X=x, (16) es decir, e] punto O es el cero del espacio Ly. Para cualesquiera puntos fijos O y B la aplicacién X—S(0, B, X) (xX EB) del espacio B en si mismo se |lamard traslacién de B y se indi- cara por OB. Por consiguiente, tomamos pdr definicién X.0B=5(0, B, X)=X+8. (17) Representando la relacién (16) en la forma X.00=x, ‘vemos que la traslacién 00 es Ia aplicacién idéntica de B sobre s{ mismo y que, en particular, 06=XX para cualesquiera 0, X EX. Al igual que antes, llamamos suma 06+Cb de trastaciones la superposicién de las mismas, es decir, tomamos X (OB + CD) = (X-0B)-CD=$(C, D, $(0, B, X)). (18) La identidad (10) significa que para las traslaciones es valida da regia del fridngulo 0B+ BC =060, (19) de la cual se desprende, en particular, que OB-+ 80 = 00, es de- = : i cir, que las traslaciones OB y BO son aplicaciones reciprocamente inversas. De (15) y (17) obtenemos X-CD=X +¢DmX +¢(C-+_(D—20) =X 4+5(D— 50), es decir, Cb=B(D—,0). (20) Combinando Jas formulas (20) y (19), Hegamos a la relacion 68 +€D=08 + 8(D—,€)-00—,0) que muestra que fa sume de trasiaciones es una trastactén,§ 29. Espacios afines generates 331 Definamos, finalmente, la operacién de multiplicacién de los — nimeros AG K por una traslacién OB, poniendo 2-08 =O(s- 58) =OP, (0, B), es decir, aceptando que X-(.0B) = $(0, P,(O, B), X)=P,(X, X-OB) rea] De ja férmula (21) se ve que siendo OB =CD, se tiene 4-OB= =1.CD, es decit, la operacién de muttiplicacion de un numero por una traslacién esta definida univocamente. TEOREMA |. El conjunto L(%*) de todas las trasiacipnes de un espacio afin (* sobre un cuerpo conmutativo K es un espacio vecto- rial sobre K respecto a tas operaciones de adicién de trastactones y de multipticacién de un nimero por una trastacién, El espacio L (X*) es isomorfo a cualquier de los subespacios &o. Poniendo en corres- pondencia a todo par de puntos X,Y de U* la traslacién XY € La’) convertimos U* en un espacio afin M sobre ef espacio vectorial L (*), Si en el espacio U se introducen mediante las férmulas (9) las ope- ractones S y P,, se obtiene de nuevo el espacio W*. Las dos uJtimas afirmaciones son evidentes, ya que, por ejem- plo, las formulas (9), aplicadas al espacio %, se convierten simple- mente en las formulas (17) y (21)..Demostremos las dos primeras afirmaciones. Tomemos un punto cualquiera O€ %* y consideremos la apli- cacién A:iX OX (X€2,). Puesto que cualquier traslaci6n puede ser representada en la —> forma OX, resulta que A es una aplicacién de &p sobre L£ (2*). Veamos si esta aplicacién A conserva las opéraciones- de. adicién y de multiplicacién por nimeros. Tenemos Z.OX + OV) mZ+ (K+ oY) =o X)-+o¥ 20K +0), —— ~~ es decir, O(X-+,Y)=OX+0Y y, por consiguiente, (X+oY)A=XA+YA. Analogamente, de (21) obtenemos (4-9 X) A =A-XA. Por consi- guiente, la aplicacién A es un isomorfismo de &_ sobre L(2*) res pecto a las operaciones de adicién y de multiplicacién por name- ros y, por ello, £(%*), asi como &,, es un espacio vectorial sobre K. Planteemos, finalmente, la pregunta: ¢baje qué condiciones serdn isomorfos dos espacios afines?332 Cap. VIil. Espacios afines El concepto de isomorfismo suele introducirse para las Algebras arbitrarias con una misma signatura, Los espacios afines sobre un cuerpo conmutative K han sido definidos como dlgebras cuya signatura depende del cuerpo conmuta- tivo K. Por ello para los espacios afines sobre un mismo cuerpo coamutativo esta definido también el concepto de isomorfisme. En cuanto a los espacios afines sobre un espacio vectorial dado, éstos no han sido definidos como unas 4igebras de signatura fija, sino como unos sistemas de una estructura més compleja para los cuates no hemos introducido por ahora el concepto de iso- mortismo. Introduzcamos la definicién siguiente. Se llama homomorfismo de un espacio afin M, definido sobre un espacio vectorial 2, en un espacio afin %, definido sobre el mismo espacio vectorial &, toda aplicacién puntual @: &— B para la cual XV =X (X, YEA). (22) Est& claro que dicha condicién equivale a la siguiente: (X-vpp=Xe-u (XEN y ve). Se ve de (22) que la aplicacién @ transforma distintos puntos en distintos y que siendo @ un homomorfismo de & sobre B, la aplicacién inversa p7? es un homomerfismo de % sobre WL. Un homomorfismo de 9% sobre 8 se llama isomorfismo si la aplicacién inversa es un homomorfismo de 8 sobre 9. Luego, para los espacios afines sobre un espacio vectorial fijo los conceptos de homomorfismo g de isomorfismo son equivalentes. Un isomorfismo de un espacio afin 2, definide sobre un espacio vectorial &, sobre si mismo se llama aufomorfismo de M sobre &. TEOREMA 2. Todes los espacios afines sobre un mismo espacio vec- tortal son isomorfos. Los automorfismos de un espacio afin sobre un espacio vectorial son las traslaciones del mismo. Sean & y B unos espacios afines sobre un espacio vectorial &. Tomemos unos puntos arbitrarios A€W y BEB y consideremos la aplicacién p: Av— Bu (v€2). De los axiomas A, y A, deducimos directamente que @ es un isomorfismo de & sobre %. Ademas, si gy es un automoriismo del espacio afin 9 sobre_el espacio vectorial &, obtenemos de la formula (22) que AX = A*X?, de donde X*= At. AX y por ello Xe X.XAV. AX =X-(AX + KA) =X: AA, es decir, @ es la traslacién de % determinada por el vector AAP. Reciprocamente, si @ es una traslacién, se tiene que ges de la forma X?=X-v, donde v es un vector arbitrario fijo de &, y por lo tanto Xe = (K-0) (¥-0) = XY. Un espacio afin sobre un cuerpo conmutativo K es un algebra de signatura S$. Py AER).§ 29. Espacios afines generates 333 Un isomorfismo @ de un espacio afin &, definido sobre un cuerpo conmutativo K, sobre un espacio afin %, definido sobre et mismo cuerpo K, es una aplicacion btyectiva de % sobre B que satisface las condiciones S(X, Y, Z)p=S(X2, ¥*, Zt), PA(X, Yes Py (X?, ¥*) ©, que es equivalente, las condiciones (2. R¥)9 = 22. GV%, (23) (X-RAY)? = XP Ae, (24) TEOREMA 3, Para que una aplicacién g: M—++B de un espacio ajin &, definido sobre un cuerpo conmutativo K, sobre un espacio afin B, definido sobre el mismo cuerpo, sea un isomorfismo, es nece- sario y suficiente que ia aplicacion . XY —» X*¥? (X, YEW) sea un isomorfismo del espacio vectorial L (2) sobre el espacio vectorial L (B). NECESIDAD. Probemos, ante todo, que la aplicacién 1p es uni- voca. Sea XY = UV (X, Y, U, VEM) y, por consiguiente, Z- XY = = 2Z-UV. De (23) obtenemos Z*.X?¥#=Z+.U%V?. Puesto que Z? recorre todo el espacio %, de la filtima igualdad tenemos X*¥? = = UsV* y por esto la aplicacién p es univoca. Representando ahora la relacion (23) en la forma (Zu)?=Z*u?, obtenemos para cuales- quiera 0, wé £(%) 2+ (ow) t= (Z (0 -+-m))* = ((Z0) w)? = (Z 70") wh = Ze (vt + why, de donde (v+w)? =v? +0, (25) Andlogamente, representando (24) en la forma (X+ Au)? = X*-Aut, obfenemos X2 (Au)? = (X- (Au))Y = XP-Aat, de donde (uu) = Au? (26) Las relaciones (25) y (26) significan que wp es un isomorfismo de L (9) sobre L(%). suFtcieNcta Supongames que dada la aplicacién o: A+B del conjunto % sobre el conjunto 8, la aplicacién wp: XY —+ X#¥? es un isomorfismo de L(%) sobre EAD), Puesto que en un isomorfismo de espacios vectoriales el vector nulo corresponde al vector nulo, de X?a¥* resulta X*¥?=o y por esto X¥ =o y X =Y, es decir, la aplicacién @ es biyectiva. Para demostrar ahora que para @ es valida la relacién (24), tomemos en % un punto U tal que X¥ =ZU.334 Cop. Vill. Espacios afines Entonces se tiene (Z) XV)? = UF = Ze. Ze = Ze. Kee (27) y, en particular, (Zu) = Zeut (ae L(M)). Ahora resulta de (26) que (X-AXYV)¥ = X¢. AX)? = XAXV? = Nea Neyo que es lo que se queria demostrar. COROLARIO t. Los espacios afines sobre un cuerpo conmutativo dado son. isomorfos cuanglo, y sélo cuando, sus espacios vectoriates de tras. faciones son de una misma dimension. Efectivamente, segiin el teorema 3, un isomorfismo entre espa- cios afines sobre un cuerpo conmutativo equivale a un isomorfismo de los espacios vectoriales de traslaciones y un isomorfismo de es- pacios vectoriales equivale (véase el p. 4.3) a la coincidencia de sus dimensiones. corotario 2, Los automorfismos de un espacio afin % sobre un cuerpo conmutativo que dejan en su sitio un punfo OEM son apli- caciones de tipo p: X—+O-OX%, donde W es un automorfismo fijo cualguiera del espacio vectorial L (2). En efecto, siendo @ un automorfismo del espacio 9 que deja en su sitio el punto O, se tiene X*= 0.0K? = 0. OFX? = 0-OX9, Reciprocamente, si tp es un automorfismo de £(2), se tiene X*¥9 = (0-OX¥) (0- OY #) = OY +— OX? = (OY —OX)'—= XV? y por esto — es, segiin el teorema 3, un automorfismo del espacio Y. TEOREMA 4. Siérido O un punto arbitrario de un espacio afin sobre un cuerpo conmutativo K, todo automorfismo del espacio % sobre K puede ser representado en la jorma P= Goh, (28) donde @, es una trastacién adecuada de Uy yo es un automorjismo de U que deja en su sitio ef punto O. Para todo automorfismo gla descomposicion de tipo (28) es univoca. Sea @ un automorfismo del espacio 9. Entonces Ja aplicacién fo =:O%0 es un automorfismo de % y de las relaciones 0-99= 0°00 =0 Se ve que @ deja en su sitio el punto O. Poniende , = 00%, obte-$ 29, Espactos afines generates 335 nemos la igualdad (28). Sea ahora $= Fo, = 40" 91, donde gf! es una traslacién y gf? un automorfismo de 9 que deja en su sitio a O. Tenemos entonces 1), 0. GPer* =O: Gbps" = 0. Puesto que la traslacién @{pz? deja en su sitio el punto O, se — tiene gf@z'=00, de donde gi? =g, y oh =@o. 29.2. Variedades lineales. Sea % un espacio afin sobre un cuerpo conmutativo . El espacio vectorial £ (9) formado por las trasla- ciones de {% lo indicaremos por &. A todo par de puntos X, Y € & corresponderd entonces un vector XY =XY de & y esta correspon- dencia satisfaré. los axiomas A, y A, del p. 29.1. Se llama dimen- stén del espacio afin 9% Ja dimensién del correspondiente espacio vectorial &. En particular, un espacio afin de dimensién 0 estd compuesto por un punto solo. Unos puntos X,, X,, ..., X,_ del espacio % se Haman fineal- mente independientes, si son linealmente independientes los vectores Rory, XoXar ws ey Xokm SE dice que un punto XEM depende line- almente de la sucesién de puntos X,, Xy, ..., Xm, Si el vector X,X puede ser expresado linealmente en términos de los vectores i en oe En estas definiciones el punto X, desempefia un papel especial, Pero de hecho, la dependencia lineal no esta ligada al orden de los puntos en ta sucesién X,, X,, ..., X_- Sea O un punto arbitrario del espacio &. Entonces se tiene X,X/+O0X,)—OX, (i=0, 1, ..., m) y el hecho de que el sistema de puntos X,, ..., X, sea lineal- mente independiente equivale a que para cualesquiera ky, ....%,€K de la relacion dy (OX, — OX.) +... hey (OX, —OX,) =O se desprenda 0, =... =A,,=0. Tomando 4,——4A,—...—4,,, vernios que los puntos X,, X,, ...1 Xm» son tineaimente independientes cuan- do, y sdlo cuando, para cualesquiera dos Ay s+) Am EK de tas relaciones Agtayt ee An =O, ROX, +A,OX, +... hgOX, <0 se deduce que A=, =... =A =O.336 Cap. VHI. Espacios afines En esta afirmacién no destaca ya ninguno de los puntos Xy, X,,...,Xq Y por esto si la sucesién de puntos X,, X,, ..., Xq es linealmente dependiente, también serd linealmmente dependiente la sucesi6n X;,,, X;,, s+21 Xiq cualquiera que sea la permutacién (Bis. Dag sscyey: ta) de los numeros 0, 1, ..., #. Esto también se re- fiere al concepto de dependencia lineal de un punto X respecto a una sucesién Xy, Xy, .-., Xm En las definiciones dadas se supone que la sucesién X,, X,, .--, Xm tiene no menos de dos términos (m1). Por definicién, se acepta que un sistema compuesto de un punto es lineatmente dependiente y que el hecho de que un punio X dependa linealmente del sistema significa que X=X,. De los teotenias del p. 4.2 sobre ia dependencia lineal de los vectores obtenemos directamente que a) una sucesién de puntos X,, X,, ..., Xm (m= 1) es lineal- mente dependiente cuando, y sdlo cuando, al menos uno de sus tér- minos depende linealmente de los demds; b) si un punto X depende linealmente de los puntos X,, ..., X y todo pinto X;, deperde linealmente de tos puntos Vy, ..., Y'g, el punto X depende tinealmente de los punios Yo, ..+, Yai c) si un punto X depende iinealmente de tos puntos is wvey Res el punto X depende lineatmente también de los puntos Xo, Xyy +11 Xa donde X, es un punto cualquiera del espacio. De la propiedad c) se deduce que si un sistema de puntos X,, X,, ..., Xq es linealmente independiente, cualquier subsistema del mismo que contiene mas de un punto es también linealmente inde- pendiente. Esto permite introducir la definicién siguiente: un con- junto arbitrario (finito o infinito) de purt:s MN de un espacio afin i se llama linealmente independiente, si todo su subconjunto finito que contiene mas de un punto es Jinealmente independiente. Andlogamente se dice que un punto X €% depende tinealmente de un conjunto de puntos Mt, si X depende linealmente de algiin subcanjunto finito de puntos de Dt. Se Nama adherencia tineat de un conjunto cualquiera no vacio Dt de puntos de un espacio afin % el conjunto formado por todos los puntos X €% que dependen linealmente del conjunto Mt. Un conjunto a se llama linealmente cerrado si {Mt coincide con su adherencia ineal. Los conjuntos linealmente cerrados de puntos de un espacio afin se Jlaman planos o variedades lineates del mismo, En otras palabras, un conjunto Mt de puntos de un espacio afin { se llama plano de YU, si cualesquiera que sean X,, ..., X,€ Mi este conjunto con- tiene también cualquier punto del espacio & que dependa lineal- mente de los puntos X,, De aqui se deduce *Girectamente que todo punto y el propio espacio % son indudablemente planos.§ 29. Espacios afines generates 337 Dos pianos Mt y M se llaman incidentes si uno de ellos esta contenido en et otro. Si MSM, se dice también que M se encuentra sobre R (o que N pasa por Mt). Entre Jos planes de un espacio afin O& y los subespacios lineales del espacio vectorial £ (2%) existe una relaci6n muy simple que tam- bién se emplea a veces para definir el concepto de plano TEOREMA |. Si para un conjunio SM de puntos de un espacio afin A yun punto PEM el conjunfo L(M) de lus vectores de tipo PX (XEM) es un subespacio lineat del espacio vectorial LQ), ef con- junto W es un plano de U. Pera cualquier plano no vacio Wt de un espacio afin UM y para cugiguier punto PEW el conjunto L(IM) de todos os vectores de tipo PX (X € Ml) es un subespacio lineal de L (9%) que no depende de ta seleecidn del punto P en Wt. Efectivamente, sea PEM y sea L(M) un subespacio de L (%). Si X,, --., X,€M y un punto XEM depende linealmente de . Xn». s@ tiene entonces para unos valores convenientes Aye ee Am EK __ PX=A,PX, +... +4,PX,€L(M), ex decir, para un punto Yet convenientemente escogido se tiene PX =PY, de donde X=YEM. Reciprocamente, sea YM un plano de My sean P, X, YEM y 4, HEK. Poniendo Q= P-(NPX + PY), vemos que PQ=APX +pPY, es decir, el punto Q fepande linealmente de P, X e ¥ y, por con- siguiente, QEM y PQEL (MY; es decir, LM) es un subespacio lineal de_Z (2%), Para cualesquiera P, P,, X €Wt tenemos PX = = PX—PP, y, por consiguiente, e! conjunto de los vectores de tipo PX (X EM) coincide con el conjunto de los vectores de tipo PX (x EM). Senelemos dos importantes corolarios que se desprenden del teo- rema 1. corotario 1. Sea O un punto fijo de un espacio afin YU, sea M un plano que pasa por O y sea P un punto arbitrario de YX. Enton- ces el conjunto N= WM-OP formado por todos los puntos desplazados del plano M es un plano de MX que pase por ef punto P. Reciprova- mente, si Res un plano que pasa por P, el conjunfo M=MR-OP es un plano gue pasa por O. En efecto, de O€ M se deduce que P=O.OPER y para todo punto X ER existe un punto YEM tal que X = ¥-OP. De aqui se tiene YX =OP y PX=O¥ y por fo tanto L(M)==L(M-OP). 22—1843338 Cap. VIN, Espactos afines COROLARIO 2. Para todo punto fiioO de un espacio afin M la apli- cacién X—+OX (X EM} determina una correspondencia biyectiva entre los subespacios lineales del espacio vectorial L(%) y tos planos del espacio U que pasan por O. La demostracion es evidente. Hemos sefialado en el p. 29.1 que si llamamos punto a todo vector u de un espacio vectorial 2 y si tomamos uw=w—v, se obtiene el espacio afin A(2) sobre 2. ,Qué conjuntos de vectores de 2 serdn los planos de A(X)? Tomando por el punto fijo O de A({®) el vector nulo, vemos que la aplicacién X—»+OX, de la cual se trata en el corolario 2, se convierte en Ja aplicacién idéntica w—-w. Luego, son planos del espacio A(@) que pasan por O todos Jos subespacios lineales del espacio 2, y sdlo ellos. Los planos que pasan por un punto arbitrario p€& son, segiin el corolario 1, los conjuntos de vectores de tipo p+, donde Mt es un subespacio lineal del espacio &, Se llama base de un plano arbitrario 92 de un espacio afin 2 todo conjunto linealmente independiente de puntos, cuya adheren- cia lineal coincide con $M. Esté claro que un conjunto de puntos A,(i€#) de un plano Mt es una base del plano {i cuando, y sdlo cuando, el conjunto de vectores A.A; (i €/), donde A, (w@ /) es un punto arbitrario fijo, es una base del espacio vectorial £ (Ml). En virtud del teorema sobre las bases de Jos espacios vectoriales del p. 4.2 tenemos: a) todo plano de un espacio afin posee una base; b} si un plano 9 estd contenido en un plano N, toda base det plano Mt es una parte de una base convenientemente escogida de Nt; c) todas fas bases de cuatguier plano fijo Wt son de una misma potencia igual a dim.L@MN)+1. Se llama dimension de un plano WM de un espacio afin U la dimension del espacio vectorial L(t} que le corresponde. De la propiedad c) se deduce que la dimensién de un plano es igual a la potencia de cualquier base suya disminuida en 1. El conjunto vacio de vectores de un espacio afin 9 se llama a veces plano vacio de M de base vacia. La dimensién del plano vacio se toma, por defini- cidn, igual a —l. Los planos 0-dimensionales son fos puntos del espacio 9. Los planes unidimensionates se Haman reefas (0 lineas rectas) del espacio {. Cualesquiera dos puntos distintos de una recta forman una base de la misma y por cualesquiera dos puntos distintes de un espa- cio M pasa una recta, y sdlo una. En general, cualesquiera &-+ 1 puntos linealmente independientes de un plano de dimensién & for- man una base de este plano y por esto por cualesquiera A+} 1 pun- tos linealmente independientes (& es un nimero finito} de un espa- cio alin & pasa un plano &-dimensional de este espacio y sdlo uno.