Indice y Cap I

:
Vectores
Juan Jos Scala
X a r x a de b i b l i o t e q u e s M u n i c ip a ls
1231633630
IN b tN IttIIH
EDITORIAL
SINTESIS
N D IC E
P R L O G O ............................................................................................................. CAPTULO 1. VECTORES EN EL ESPACIO AFN
11
1. Vectores: sus elem en to s............................................................................ 21 2. Vectores ligados, deslizantes y libres...................................................... 25 3. Suma y diferencia de vectores ................................................................ 27 4. Producto de vectores por escalares....................................................... 29 5. Espacio v ecto rial........................................................................................ 31 34 6 . Sistemas de vectores: su reduccin. R esu ltan te................................... 7. Combinaciones lineales.............................................................................. 37 8 . Subespacios vectoriales. Interseccin y suma de dos subespacios .. 38 9. Sistema de generadores ............................................................................ 41 10. Independencia lineal ................................................................................. 44 11. Dimensin de un espacio v ecto rial......................................................... 48 12. Base. Componentes de un v e c to r ........................................................... 51 13. Espacio afn de p u n to s .............................................................................. 52 14. Orientacin del espacio ............................................................................ 54 15. Cambio de b a s e .......................................................................................... 57 P roblem as........................................................................................................... 61 CAPTULO II. VECTORES EN EL ESPACIO M TRICO 1. 2. 3. 4. Proyeccin de un vector sobre una recta y sobre un e je ................... Producto e s c a la r........................................................................................ Espacio vectorial mtrico ......................................................................... Expresin analtica del producto escalar............................................... 77 78 81 84
ANLISIS VECTORIAL I: VECTORES
5. Funciones lin eales...................................................................................... 85 Producto vectorial ..................................................................................... 88 7. Expresin analtica del producto vectorial........................................... 91 8 . Producto mixto .......................................................................................... 93 9. Expresin analtica del producto m ix to ........................................ 95 10. Funcin multilineal y alternada de varios v ecto res ................ 97 102 11. Ternas recprocas de vectores de referencia............................... 12. Terna ortonorm al ...................................................................................... 105 13. Componentes covariantes y co n trav arian tes................... 108 14. Doble producto vectorial.......................................................................... 113 15. Productos escalar y vectorial de dos productos vectoriales................ 116 16. El espacio vectorial de dos dimensiones ............................................. 118 17. El espacio vectorial de una dim ensin.................................................. 122 18. Expresiones analticas de las proyecciones de un v ecto r................... 124 19. Expresin analtica del giro de un v e c to r............................................. 126 20. Cambio de terna ortonorm al.................................................................... 132 21. Definicin analtica de vectores y escalares.......................................... 137 P roblem as...................................................................................... 145
6.
CAPTULO III. ECUACIONES VECTORIALES LINEALES Coordenadas cartesian as.......................................................................... 197 Coordenadas cu rv iln eas.......................................................................... 199 Terna de referencia natural normalizada ............................................... 202 Forma cuadrtica fu n d a m e n ta l ............... 210 Coordenadas cilindricas............................................................................ 211 Coordenadas esfricas............................................................................... 218 Relaciones vectoriales independientes del o rig e n ................................. 229 Conjunto de puntos ponderados. Centro ............................................... 231 Coordenadas baricntricas en la r e c ta ............... 233 Coordenadas baricntricas en el p la n o . ............................................. 236 Coordenadas baricntricas tridim ensionales..........................................241 Convexidad.................................................................................................. 250 Ecuaciones de la recta .............................................................................. 252 Ecuaciones del p la n o ............................................................................. 255 Relaciones de incidencia ............................................................................ 259 Distancias y ngulos ........................................................................ 261 Relaciones trigonom tricas............................... 265 Puntos conjugados armnicos. Cuadrivrtice y cuadriltero com p le to ...................... 270 P roblem as...................................................................... 275 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. 18.
NDICE
APTULO IV. VECTORES DESLIZANTES Y LIGADOS Momento central de un v e c to r................................................................ 351 Momento xico de un v ecto r................................................................... 356 Momento relativo de dos vectores ......................................................... 359 Sistemas de vectores d eslizan tes............................................................. 360 P ar de vectores............................................................................................ 364 Reduccin de un sistema de vectores deslizantes................................. 368 Determinacin de un sistema de vectores deslizantes .........................372 Eje cen tral.................................................................................................... 374 Clasificacin de los sistemas de vectores deslizantes............................ 377 Sistemas de vectores coplanarios, concurrentes y paralelos................ 381 Suma de sistemas de vectores deslizantes y producto por escala res .................................................................................................................. 384 12. Virial de un v e c to r..................................................................................... 387 13. Sistemas de vectores lig ad o s.................................................................... 388 14. Pareja de vectores ligados......................................................................... 390 15. Par de vectores ligados.............................................................................. 395 16. Reduccin de un sistema de vectores lig ad o s........................................400 17. Determinacin de un sistema de vectores ligados ............................... 402 18. Plano y punto cen trales............................................................................ 403 19. Clasificacin de los sistemas de vectores ligados...................................405 20. Sistemas de vectores ligados p aralelo s.................................................... 411 21. Suma de sistemas de vectores ligados y producto por escalares.... 413 22. Naturaleza de los vectores en las aplicaciones...................................... 413 P roblem as........................................................................................................... 416 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11.
VECTORES EN EL ESPACIO A FN
El contenido de este libro se limita a estudiar los entes matemticos de orden cero (escalares) y orden uno (vectores) en el espacio eucldeo de la geome tra ordinaria (tres dimensiones) y los correspondientes subespacios, tambin eucldeos, que son el plano (dos dimensiones) y la recta (una dimensin). Por ello, en lugar de construir el espacio vectorial y, a p artir de l, definir el espacio afn de puntos y, posteriorm ente, el espacio mtrico, dado el carc ter elemental de esta obra, se partir del espacio de la geometra ordinaria y sus subespacios eucldeos (plano, lnea recta) o no eucldeos (superficie, lnea curva). Se funda la m trica en la idea intuitiva de distancia entre dos puntos imdulo de un vector) y ngulo de dos semirrectas, sin perjuicio de generalizar y formalizar estos conceptos, a fin de preparar al lector al estudio de tratados ms avanzados sobre estas materias. 1. V E C T O R E S : SUS E L E M E N T O S
En este planteam iento inicial, se adm iten como conceptos intuitivos el espacio tridimensional ordinario, los de punto, recta y plano, as como el de distancia entre dos puntos. Se llama E al conjunto de los puntos de este esracio, A al conjunto de rectas y 1 al conjunto de planos. Dados dos puntos A e E y B e E ), la distancia entre ellos se denotar por A B , que se leer 'longitud del segmento A B . Por lo tanto, A B B A . Dos puntos determ inan una recta y tres puntos determ inan un plano. En otras palabras, se acepta que tres puntos estn siempre contenidos en un espacio eucldeo bidimensional (plano), y dos de ellos siempre lo estn en uno unidimensional (recta). Si ms de tres puntos estn contenidos en un mismo
22
CAPTULO I. VECTORES EN EL ESPACIO AFN
plano, se dice que son coplanarios y si ms de dos estn contenidos en una misma recta, que estn alineados. El paralelismo entre rectas puede definirse, en sentido estricto, diciendo que dos rectas paralelas son dos rectas coplanarias que no tienen ningn punto comn. Esta definicin de paralelismo no constituye una relacin de equiva lencia en el conjunto A , ya que no se cumple la propiedad reflexiva (una recta no es paralela a s misma, pues tiene infinitos puntos comunes consigo misma), aunque se satisfacen las propiedades simtrica (si una recta es paralela a otra, sta lo es a la prim era) y transitiva (si una recta es paralela a otra, y esta lo es a una tercera, la prim era es paralela a la tercera). Se define, pues, que rectas paralelas, en sentido amplio, son dos rectas co planarias que no tiene ningn punto comn, o los tienen todos. Si se prefiere, son dos rectas coplanarias que no tienen un nico punto comn. Esta defini cin, por satisfacer las propiedades reflexiva, simtrica y transitiva, constituye una relacin de equivalencia 3' en el conjunto A de las rectas del espacio. Los elementos del conjunto cociente P = -A / 3 son las clases de equiva lencia definidas en A por la relacin 3 \ A la propiedad caracterstica de estas clases se llama direccin de una recta. Se designar con esta misma letra P al conjunto de las direcciones del espacio. Se forma el producto cartesiano del conjunto E por s mismo. Los ele mentos del conjunto E x E son pares ordenados de puntos, distintos o no, por ejemplo, (A, B ), (A, C ), (B , C), ( B , B ), etc. Se llama (E x E )* al subconjunto constituido por los elementos no diagonales del conjunto de E x E ; los elemen tos de (E x E )* son pares ordenados de puntos no coincidentes y constituyen el conjunto de los vectores ligados no nulos L* = (E x E)*. Si a este conjunto se le aade un elemento llamado vector nulo 0 , se tiene el conjunto de los vectores ligados del espacio I = {L*,0}. Hay que hacer notar que es esencial el carcter ordenado del par, a dife rencia de lo que ocurre con un segmento de la geometra mtrica no vectorial. Al aludir a un segmento, es indiferente el orden en que se citen los dos puntos que lo limitan, A B B A \ una misma palabra (extremos del segmento) designa a ambos y un mismo grafismo sobre el dibujo se utiliza para ellos. Al ser el vector ligado un par ordenado de puntos, deja de existir la sime tra que el segmento tiene respecto a su mediatriz. Al primero A se le llama origen y al segundo B , extremo. En la figura se seala ste por una punta de flecha. En la escritura puede utilizarse la notacin de Grassmann, escribiendo el origen y el extremo con una flecha encima A B , que ya no es igual a BA , o una letra minscula, tam bin con flecha encima a, o en caracteres especiales, generalmente negritas a, que es la utilizada en este libro. Por todo ello, se puede definir el vector ligado no nulo como un segmento orientado. jamiur' UT J: jHS'C JDI El
22,
1. V ECT O RE S: SUS E LE ME NT O S
23
La recta que determinan el origen y i extremo de un vector ligado no nulo, le enomina recta sopor-te, o simplemente. I rtc del vector.'A -la direccin de esta recta se le llama tambin direccin del vec: r La longitud A B se llama mdulo del rc:or, y se expresa mediante la notacin :5 |a|. Se establece la siguiente relacin bi i entre los elementos del conjunto I /: es vectores estn relacionados, si tienen el mismo origen. Resulta inmediato verificar que se tra ta de una relacin de equivalencia, pues se satisfacen las pro:.eades reflexiva, simtrica y transitiva. Se le llamar relacin de equivalencia . Los elementos del conjunto cociente l? /( son las clases constituidas por : 5 v e c to re s con un origen comn. Por ello, este conjunto cociente es biyectable :::: el conjunto E de los puntos del espacio L"/( . Se considera ahora esta relacin binaria entre los elementos de IT: dos vectores estn relacionados si tienen la misma recta soporte. Es tam bin evi dente que se tra ta de una relacin de equivalencia t . Los elementos de I*'/ J s :n las clases constituidas por los vectores con un mismo soporte, por lo que biyectable con el conjunto A de las rectas del espacio L*/. J A . Una tercera relacin binaria entre los elementos de 1/ sera sta: dos vec::res estn relacionados si tienen la misma direccin. Tambin es, como ya se visto, una relacin de equivalencia El conjunto cociente L*/. f es biyecta~le con el conjunto P de las direcciones del espacio, o el conjunto de las rectas ;ue pasan por un determinado punto L*/JV P. Se considera finalmente como relacin binaria entre los elementos de L* la siguiente: dos vectores estn relacionados si tienen el mismo mdulo. Es tam bin relacin de equivalencia - //, y el conjunto cociente L*/ / / es biyectable :on el de los nmeros reales positivos L' Se efecta ahora en IT la particin cruzada de las relaciones ( , ' t y A\ es decir, la relacin de equivalencia interseccin ( fl . t fl A'. Las clases del conjunto cociente H. -tlA') estn constituidas por los vectores que tie nen el mismo origen, mdulo y direccin. Resulta fcil comprobar que cada una de estas clases contiene slo dos vectores. En efecto, fijado el origen A y el mdulo rn, el extremo tiene que estar situado sobre un esfera de centro A y radio m; pero al dar una direccin concreta, queda seleccionado un dimetro B C de esta esfera, con lo que los nicos vectores que satisfacen las condiciones son el A B y el A C .
24
Para diferenciarlos, se establece una hueva caracterstica del vector: el sentido, de tal m anera que se dice que ambos vectores A B y A C tienen el mismo origen, mdulo y direccin, pero distinto sentido. Por ello, el origen, el mdulo, la direccin y el sentido son los elementos caractersticos de un vector ligado no nulo. EF vector nulo slo tiene determinado uno de estos cuatro elementos: su mdulo, que es igual a cero. En el contexto presentado, la coincidencia u oposicin de sentido slo es predicable entre vectores con origen, mdulo y direccin comn. Es usual extender el concepto entre vectores con soporte comn, y entre vectores con la misma direccin. Los criterios son los siguientes: dados dos vectores con la misma recta so porte, se deslizan sobre dicha recta soporte hasta hacer coincidir sus orgenes; una vez efectuado este movimiento se observa si sus extremos pertenecen a la misma o distinta semirrecta de las dos que sobre el soporte determ ina el origen comn; en el prim er caso, su sentido es el mismo; en el segundo, tienen senti dos opuestos. Cuando sus soportes son dos rectas paralelas distintas, es decir, tienen direccin comn y soportes distintos, se unen los dos orgenes por una recta, que divide en dos semiplanos al plano que contiene a ambos vectores. Si los extremos caen en el mismo semiplano, se dice que los vectores tienen el mismo sentido y, en caso contrario, sentidos opuestos. La coincidencia u oposicin de sentido slo se predica de vectores que tienen la misma direccin. Al origen de un vector se le denomina con frecuencia punto de aplicacin, y a su recta soporte se la denomina lnea de accin. Sin embargo, hablar de su magnitud al referirse a su mdulo es ciertam ente desaconsejable. Desde el punto de vista analtico, el origen de un vector se determina por medio de las tres coordenadas cartesianas respecto a una referencia. No se insiste en ello, porque se supone conocida por el lector la geometra analtica elemental, y porque los sistemas de coordenadas son estudiados ms adelante. El mdulo es, simplemente, un nmero real positivo para cualquier vector no nulo. En cuanto a la direccin y el sentido suelen determinarse conjuntam ente por medio de los parm etros que definen una semirrecta. En el plano, basta con un parm etro angular < p con variacin 0 ^ cp < 2n. En el espacio, una semirrecta queda determ inada por dos parm etros angulares, cuya definicin se estudiar con ms detalle en las coordenadas esfricas. La variacin de estos ngulos, que se presentan en la figura, es 0 < 9 < n, 0 ^ cp < 2n. El primer intervalo es abierto, pues para 6 0, 9 n no est determinado el ngulo cp. No obstante, al nico efecto de determ inar semirrectas, es decir, direccin y sentido, puede entenderse que 8 = 0 y 9 = n son suficientes para determ inar
2. VECTORES LIGADOS, DESLIZANTES Y LIBRES
25
las dos semirrectas que constituyen el tercer eje cartesiano positivo y negativo, respectivamente. ,t
2.
V E C T O R E S L IG A D O S , D E S L IZ A N T E S Y L IB R E S
En el pargrafo precedente se ha definido el conjunto L de los vectores ligados del espacio. Estos vectores, salvo el vector nulo, quedan determinados por su origen, mdulo, direccin y sentido. Dos vectores que difieran al me nos en una de estas caractersticas, son distintos. La teora que estudia sus relaciones a partir de este supuesto se llama teora de vectores ligados. Menos restrictivo es el concepto de vector deslizante. P ara introducirlo, se define en el con junto de los vectores ligados no nulos L* la siguien te relacin de equivalencia 3): dos vectores A B y CD no nulos son equivalentes cuando tienen la m isma recta soporte, el m ismo mdulo y el m is mo sentido. El carcter de relacin de equivalen cia es inmediato. El conjunto cociente D* = /% constituye el conjunto de los vectores deslizantes no nulos del espacio. Si se orienta la recta soporte, es decir, se define en ella un sentido posi tivo, cada vector no nulo de ella puede caracterizarse por un nmero real no nulo, de valor absoluto igual al mdulo del vector, y signo positivo o negativo segn que el sentido del vector coincida o no con el elegido comopositivo sobre la recta soporte. Queda, pues, definida la biyeccin D*^> A x l * . Si al conjunto D* se aade el vector nulo 0, es decir, un vector de mdulo cero, se tiene el conjunto de los vectores deslizantes del espacio D = La teora que estructura las relaciones vectoriales, suponiendo que un vector se
26
caracteriza por su recta soporte, mdulo y sentido, con independencia de su origen, se llama teora de los vec tores deslizantes. Los vectores deslizantes con la mis ma recta soporte se llaman colineales. Menos restrictivo an es el concepto de vector libre. Se define en el conjunto L* la relacin de equiva lencia cuyo carcter resulta evidente: dos vectores A B y CD son equivalentes cuando tienen la m isma direccin, el m ismo mdulo y el m ismo sentido. El conjunto cociente V* = L*/ r J V constituye el conjunto de los vectores libres no nulos del espacio. Llamando E al conjunto de semirrectas con un origen comn, cada una de ellas caracteriza una direccin y sentido en el espacio. Si a estas caracte rsticas se une el mdulo no nulo, es decir, un nmero real positivo, se tiene individualizado un vector libre no nulo. Queda, pues, definida la biyeccin V*<-> E x 1 +. Si al conjunto V* se aade el vector nulo 0, se tiene el conjunto de los vec tores libres del espacio V = {V*,0}. El estudio de sus operaciones algebraicas constituye la teora de los vectores libres. Una de las semirrectas del conjunto E, con origen en O, y un nmero real positivo r M .+, determ inan un punto A del espacio, distinto de O y, recproca mente, cada punto A , distinto de O, de fine la semirrecta O A y el nmero real positivo m = O A, que mide esta dis tancia. Se establece as una biyeccin en tre el conjunto de los vectores libres no nulos y los puntos A del espacio, distin tos de O. Si se conviene en hacer corres ponder al vector nulo el punto O y rec procamente, queda establecida una biyec cin entre el conjunto V de los vectores libres y el conjunto E de los puntos del espacio V ^ E . La generalizacin de esta biyeccin a espacios vectoriales dimensionales constituye el fundamento del espacio vectorial afn. En los tres primeros captulos de este volumen se hace referencia solamen te a los vectores libres, dejando para el captulo IV el estudio de los deslizantes y ligados.
3. SUMA Y DIFERENCIA DE VECTORES
27
3.
S U M A Y D IF E R E N C IA D E V E C T O R E S
Suma de dos vectores libres a = O A y b = O B es otro vector libre cons tituido por la diagonal del paralelogramo formado con los vectores sumandos como lados contiguos y el mismo origen para los tres vectores. Se escribe: s = a +b Por la misma definicin se ve que la ope racin es conm utativa a +fo = b + a P ara reiterar la operacin resulta cmoda esta definicin, equivalente a la dada: para su mar dos vectores a y b se lleva el origen del segundo a coincidir con el extremo del prim e ro; el vector suma tiene por origen el del primer vector y, por extremo, el del segundo. Aunque se hable de prim ero y segundo vector, las figuras ponen claramente de manifiesto la conmutatividad de la operacin. Si a y b tienen la misma direccin, se de fine como suma otro vector s con la misma di reccin que los sumandos, mdulo igual a la suma de los mdulos (si a y b tienen el mismo sentido) o a la diferencia (si a y b tienen distin to sentido), y sentido coincidente en todo caso con el del sumando de mdulo mayor. Aunque en este caso el paralelogramo resulta degenera do, sigue siendo aplicable la regla consistente en situar un vector a continuacin del otro. Cuando los vectores se designan por su origen y extremo se escribe AB +BC =AC que traduce la segunda definicin dada de su ma vectorial. En el conjunto de los vectores libres V la suma constituye una ley de composicin in
28
terna definida en todo V. Por la definicin dada de suma, resulta AB + BB = AB o sea a +0 = a
es decir, el vector nulo es el elemento neutro para esta ley de composicin interna. De dos vectores a y Ib se dice que son opuestos cuando tienen igual di reccin y mdulo, pero sus sentidos son distintos. Aplicando la definicin de suma a +b =
0
y, por analoga con los nmeros, al vector opuesto del a se le designa - a, o sea, a + ( a) =
0
Esta notacin no debe llevar a la idea de que los vectores puedan ser positivos o negativos, como los escalares. Dados tres vectores a, b , c, se de duce de la figura que (a + b ) + c = a + (b + c) es decir, la suma vectorial posee la pro piedad asociativa y se pueden suprimir los parntesis sin ambigedad s = a +b +c Combinando la propiedad asociativa y la propiedad conm utativa para dos sumandos, se demuestra la propiedad conm utativa para dos sumandos no consecutivos en una suma de varios vectores. Sea perm utar b y e en la suma a + b + c + d + e = a + (b+c)+(d+e) = a + (c+b)+(e+d) = = a+ c+ (b+e)+ d = a+ c+ (e+ b)+ d = a+(c+e)+(b+d) = u * (c c) -f- ( d -j- b) = a + e + c + d + f e Se llama diferencia r de dos vectores a y b al resultado de sumar al primero el opuesto del segundo r = a + (-b ) operacin que se escribe r = a b
4. PRODUCTO DE VECTORES POR ESCALARES
29
4.
PR O D U C T O D E V EC TO R ES P O R ESCA LA RES
Se define como producto de un vector a por un nmero real X, otro vector que tiene la misma direccin que a, mdulo igual al producto de \X\ (valor absoluto de X) por el mdulo de a, y el mismo u opuesto sentido que a, segn que X sea positivo o negativo. Si X es un nmero natural y se interpreta el producto Xa como la suma de tantos vectores iguales a a, como unidades tiene X, el resultado de esta operacin es concordante con la definicin dada. La operacin es una ley de composicin externa con el cuerpo de los nmeros reales como dominio de operadores. El producto es distributivo respecto a la suma de escalares. (X + fi) a = Xa + fia Para demostrarlo se distinguen los siguientes casos: a) X > 0, n > 0. El sentido del prim er miembro coincide con el de a, pues X + x > 0. El del segundo tam bin coincide con el de a, pues son de ese sentido los vectores Xa (X > 0) y xa (/j, > 0). El mdulo del primer miembro vale + /| |a| = (|A| + ||) |a| = \X\ |a| + |//| |a| y el del segundo, por ser dos vectores del mismo sentido \X a + n a \ = \Xa\ + |//a| = \X\ |a| + \v\ |a| b) X < 0, j. < 0. El caso es idntico al anterior con la nica diferencia que todos los vectores que intervienen tienen distinto sentido que a. c) X > 0, /i < 0, \X\ > |/i|. El sentido del primer miembro coincide con el de a, pues X + j, > 0. El del segundo tam bin coincide con el de a, pues Xa es del sentido de a {X > 0), fia es de sentido distinto que a(/ < 0), y \Xa\ > |/xa| por ser \X\ > ||. El mdulo del prim er miembro vale \X + /n\ |a| = (|A| - |^ |) |a| = \\ |a| - \n\ |a| y el del segundo, por tener sentidos opuestos y ser Xa\ > \pia\
30
d) A < 0, i > 0, \A\ > |/|. El sentido del primer miembro es distinto al de a, pues A + / < 0. El del segundo, tam bin es distinto al de a, pues A a es de distinto sentido que a (A < 0), na es del mismo sentido que a (,u > 0), y \Aa\ > \pa\ por ser \A\ > ||. Las relaciones modulares son las mismas que en el caso anterior. El producto es distributivo respecto a la suma vectorial A(a + b ) = x a + 2 b . En efecto, construido el paralelogramo que traduce la suma vectorial a +fo, se realiza una homotecia de centro O (origen comn de los vectores) y razn A. Los lados a y b tendrn como lados homlogos Aa y Ab, en su misma direccin por pasar por el centro de homote cia. Por la misma razn, la diagonal a + ib habr pasado a A(a + b). Como la homotecia conserva el paralelismo, la nueva figura ser A a tam bin un paralelogramo y, por tanto, A(a + b ) = Aa + Ab El producto es asociativo respecto a los escalares A(pa) = (Ap) a En efecto, la direccin es comn para los vectores de ambos miembros. En cuanto al sentido, se distinguen los siguientes casos: a) A > 0, x > 0. El primer miembro tiene el mismo sentido que a, pues //a tiene dicho sentido ( p > 0) y es A > 0. El segundo miembro tambin tiene el mismo sentido que a, por ser Ap > 0. b) A > 0, fi < 0. El primer miembro es de distinto sentido que a, por serlo p& ( p < 0) y ser A > 0. El segundo miembro tam bin tiene distinto sentido que a, por ser A/u < 0. c) A < 0, i > 0. El prim er miembro es de distinto sentido que a, pues /ia tiene el sentido de a(i > 0) y es A < 0. El segundo miembro tam bin es de distinto sentido que a, por ser Ap < 0. d) A < 0, i < 0. El prim er miembro es de distinto sentido que a, pues fia tiene sentido distinto que a(/i < 0) y es A < 0. El segundo miembro tam bin es del mismo sentido que a, por ser Ai > 0.
5. ESPACIO VECTORIAL
31
El mdulo del prim er miembro para cualquier caso es |2 (^ a)| = \\ |yua| = |/l| \u\ |a| y el del segundo |(/l//)a| = \Xx\ |a| = \X\ \n\ |a| Cualquier vector multiplicado por la unidad es igual a s mismo la = a lo que se deduce inm ediatam ente de la definicin. A p artir de ella tambin resulta evidente que Oa = 0 y 20 = 0 pues en ambos casos se anula el mdulo del resultado de la operacin. Tambin se infiere de la definicin que ( l a ) = ( - l ) a pues en el prim er miembro se toma el vector opuesto al resultado de la ope racin /la, y en el segundo el cambio de sentido tiene lugar por haber cambiado el signo del escalar. 5. E S P A C IO V E C T O R IA L /
Partiendo de unas ideas geomtricas elementales, se han definido unas operaciones y deducido unas propiedades en el conjunto de vectores libres del espacio ordinario. Cuando se define y estructura un espacio vectorial generalizado, es nece sario prescindir de estas ideas elementales. Algunas propiedades se postulan y, en contrapartida, se han de demostrar otras que en el tratam iento aqu seguido se han ofrecido como evidentes. Espacio vectorial V es un conjunto, cuyos elementos se llaman vectores y que posee las siguientes propiedades : a) El conjunto V tiene la estructura de un grupo abeliano respecto a una ley de composicin interna, llamada suma. Es decir, el conjunto V posee las siguientes propiedades: 1. Dados dos vectores a e V, b e V, se sabe asociarles un tercero, llamado suma, tal que s = a + b G V
32
2. La operacin es conmutiva
' Va, b e V
a+ b = b + a 3. La operacin es asociativa
(a + b ) + c = a + (b + c)
Va, b, c e V
4. Existe un elemento neutro, llamado vector nulo, tal que a M ); a 0 ; a 0 Va c V
5. Todo vector a tiene un elemento simtrico, llamado vector opuesto y escrito a, tal que a + (-a ) = O b) Dado un cuerpo K como dominio de operadores, se sabe asociar a cada par de elementos A e K y a e V, otro elemento Aa E V, de m anera que la operacin posea las siguientes propiedades: 1. Es distributiva respecto a la suma de escalares (A + ) a = /la + /a VA, /i e K,Va e V
2. Es distributiva respecto a la suma vectorial

A (a + b ) = a + A b VA e K , Va, b e V
3. Es asociativa respecto a los escalares A(//a) = ( //i) a VA, ju K,Va V
4. Siendo e el elemento neutro de K para el producto, es e& a Va G V
Hay que hacer notar que el dominio de operadores K puede ser un cuerpo cualquiera', en cuanto sigue, se considerar el cuerpo de los nmeros reales, cuyo elemento neutro es la unidad. A p artir de las propiedades enunciadas para definir un espacio vec torial pueden demostrarse otras, algunas de las cuales se han presentado en los pargrafos anteriores:
5. ESPACIO VECTORIAL
33
1. El vector nulo es nico. Supngase que hubiesen dos 0 y 0'; por la definicin de vector nulo habra de ser 0 + a = a b + 0' = b Va V VbeV
Haciendo en la prim era a = 0 ' y en la segunda, b = 0, se tiene

0 0
+ +
' = (V
0 = 0
lo que demuestra que
'.
2. El vector opuesto a uno dado a es nico. Supngase que haya dos vectores a ' y a", opuestos al a; por la definicin a + a' a + a" es decir a + a' = a + a" Sumando a ' a los dos miembros a ' + (a + a ') = a ' + (a + a ") por la propiedad asociativa (a' + a) + a ' = (a ' + a) + a " por ser a ' opuesto del a
0 = 0 = 0
+ a' =
+ a"
y por definicin de vector nulo a ' = a" 3. El producto del elemento neutro de la suma en el cuerpo K, por un vector cualquiera a, da el vector nulo 0 . En efecto, si 0 es dicho elemento neutro, por definicin X+
0
= X
(A + 0 ) a = Aa
por la propiedad distributiva respecto a la suma de escalares /la + Oa = Aa y por la definicin de vector nulo * Oa =
0
34
4. El producto de cualquier elemento r A e K por el vector nulo, da el vector nulo. Por definicin de vector nulo a +0 = a A(a + 0) = A a
por la propiedad distributiva respecto a la suma vectorial /la + luego AO = 0 5. La proposicin recproca de las dos anteriores tam bin es cierta: la condicin /.a = 0 , implica /. = 0 v a = 0 . ( v , smbolo lgico del inclusivo : es verdadera una de las dos proposiciones, o ambas). En efecto, si A ^ 0, por pertenecer A a un cuerpo, existe un ele mento inverso, perfectam ente determinado, para el producto; sea A~l, tal que A~ 'A = e (elemento neutro de K para el producto). Se multiplica por A~ 1 la condicin supuesta A ~ \A a ) = A-'O como A~10 = 0 (propiedad 4, recin dem ostrada) y es asociativo respecto a la escalares (propiedad b.3, postulada) (A~ 'A)a = 0 y por la propiedad postulada en b.4, a =
6. 0 <10
= /la
ea = O
Para cualquier i e I se verifica que - ( /l a ) = (A) a. es decir, (A)a es el elemento opuesto de Aa. Se comprueba que su suma da el vector nulo, aplicando la propiedad distributiva respecto a la suma de escalares Aa + (A) a = [A + ( A)] a = Oa = 0
6 .
S IS T E M A S D E V E C T O R E S : S U R E D U C C I N . R E S U L T A N T E
En el 2 se ha definido el conjunto de los vectores libres del espacio. Sistema de vectores libres es un conjunto no vaco de vectores libres. Si se llama S n al conjunto de los sistemas de n vectores libres, se ve que S n est
6. SISTEMAS DE VECTORES: SU REDUCCIN. RESULTANTE
35
constituido por todas las aplicaciones de un conjunto referencial de n (n ^ 0 ) elementos en V. Por ejemplo, S 4 representa el conjunto de los sistemas de cuatro vectores libres, y sus elementos son las aplicaciones {1,2,3,4} V. Ntese que un mismo vector puede estar repetido en un sistema. Por ejemplo, una de estas aplicaciones es / ( 1 ) = a, / ( 2 ) = b , / ( 3 ) = b, / ( 4 ) = c, y el sistema { a ,b , b, c} G S 4. Se advierte tam bin que en un sistema puede estar presente el vector nulo, si bien se supone que el sistema nunca es vaco. Se destaca este hecho, rerque entre los sistemas pertenecientes a S j, es decir, los sistemas constitui dos por un solo vector, se encuentra el sistema constituido exclusivamente por el vector nulo {0}. Se le llamar sistem a nulo y se representar por S0 = {0}. En el conjunto de los sistemas de vectores libres S , los subconjuntos S n lefinen una particin, ya que son disjuntos (un sistema no puede pertenecer a ios de ellos, pues tiene un cardinal determinado), y todo sistema est incluido en alguno de ellos (el que corresponde a su cardinal). Se puede, pues, escribir
0 0
S = (JS"
n= 1
=:endo S n las clases de esta particin. En el conjunto S se establece la siguiente relacin de equivalencia r vDos sistemas son equivalentes cuando se puede pasar de uno a otro por las siguientes operaciones elementales: 1 , incorporacin al sistema de dos vectores ze igual mdulo y direccin, y de sentidos opuestos; 2 , supresin de dos vec::res del sistema en las mismas condiciones; 3, sustitucin de dos vectores por : tro que sea su suma; 4, sustitucin de un vector por otros dos que, sumados, en el sustituido; 5, incorporacin al sistema del vector nulo; 6 , supresin en el sistema del vector nulo. Se ve fcilmente que r v es una relacin de equivalencia: a) se puede pasar e un sistema cualquiera a l mismo sin realizar ninguna operacin (propiedad reflexiva); b) si en virtud de las operaciones elementales se pasa de un sistema 5 a otro S ', tam bin se puede pasar de 5" a S, ya que las operaciones 1 y 2, 3 y 4, 5 y 6 son, respectivamente, inversas (propiedad simtrica); c) si con las iperaciones elementales se pasa de S a S ', y tam bin de S ' a S " , es evidente que queda asegurado el paso de > S a S " con slo esas operaciones (propiedad transitiva). Reducir un sistema de vectores es hallar otro equivalente a l con me:or nmero de vectores. Ms formalizadamente, reducir un sistema S e S es hallar otro sistema S ', tal que S r'&yS y 5 ' e S m con m < n. Es fcil prorar que el proceso de reduccin puede prolongarse hasta encontrar un sistema equivalente perteneciente a S i (conjunto de sistemas constituidos por un solo
36
vector). En efecto, reiterando la operacin elemental nmero 3, se llega inde fectiblemente a un vector nico, suma de todos los vectores del sistema. Por las propiedades de la suma, este vector es independiente del proceso de reduc cin. Adems, dentro de una clase de equivalencia S /"v, slo puede haber un sistema constituido por un nico vector, ya que las operaciones elementales no perm iten pasar de un vector a otro distinto. Si en el proceso de reduccin se llega al sistema nulo S 0 e S t, se ha partido de un sistema equivalente al nulo. Obsrvese que la operacin 6 no es aplicable a S0, pues dara el conjunto vaco 0 ^ S . Como resumen de todo lo anterior, queda definida la biyeccin S / %y ^ M . Cualquier sistema de vectores libres S{a, , a 2, . . . , a n} tiene otro equivalente en S i, es decir, un representante de su clase de equivalencia, constituido por un slo vector {R}. A este vector se llama resultante del sistema S y, por lo dicho anteriorm ente, es R = ai + a 2 + . . . + a n Se define en el conjunto S una ley de composicin interna (suma de sis temas) y una ley de composicin externa, con el cuerpo de los nmeros reales como dominio de operadores (producto de un sistema por un escalar): a) Se llama suma de dos sistemas de vectores libres S y S ' a otro sistema S + S ' constituido por todos los vectores de los sistemas que se suman. Esta ley de composicin interna es conmutativa y su elemento neutro es la clase del sistem a nulo. Permite definir un sistema opuesto a otro, y de la propia definicin se infiere que si R y R ' son las resultantes de los sistemas de vectores que se suman, la resultante del sistema suma es R +R'. b) Producto de un sistema S por un escalar A es otro sistema XS, resultante de m ultiplicar por X todos los vectores de S. Si la resultante de S es R , la resultante de AS es AR. Las dos operaciones definidas en S son estables respecto a la relacin de equivalencia y, por tanto, inducen otras dos operaciones anlogas en el conjunto S / %y. Dotado este conjunto de una estructura constituida por estas leyes de composicin interna y externa, resulta ser isomorfo con el conjunto de los vectores libres V, siendo las operaciones correspondientes la suma vecto rial y el producto de vectores por escalares. Con estas leyes, el conjunto cuyos elementos son las clases de sistemas equivalentes de vectores libres, es decir, el conjunto cociente S / %v, tiene la estructura de espacio vectorial.
7. COMBINACIONES LINEALES
37
7.
C O M B IN A C IO N E S L IN E A L E S
Dado un sistema de vectores a 1, 'a2, . . . , a n, se dice que otro vector a es combinacin lineal de ellos, cuando puede obtenerse a p artir de los mismos por aplicacin de las leyes de composicin que definen un espacio vectorial, suma de vectores, y producto de escalares y vectores. Su expresin ms general es a = Aiai + A2 a 2 + . . . + Ana n siendo X \ , k 2, . . . , X n nmeros reales. De la definicin se desprenden inm ediatam ente algunas propiedades: 1. El vector nulo es combinacin lineal de los vectores de cualquier sistema. B asta tom ar i . . . An 0 2. Cada uno de los vectores a pertenecientes al sistem a es combinacin lineal de los vectores de ste. Haciendo , = 1 y /'J=, = 0 , resulta a = a. 3. La resultante del sistem a es combinacin lineal de los vectores que lo constituyen. Por ser su suma, basta hacer 2 . . . = An = 1. 4. Si un vector es combinacin lineal de un sistema, lo es otro en el cual el primero est incluido. Es decir, si a cin lineal de a 1( a 2, . . . , a n, tam bin lo es de cualquier a ^ a 2, . . . , a n, a n+i, an+2)..., a m que contenga los vectores En efecto, si a = Zi + l 2 a 2 + . . . + Ana n tambin a = /^ a , + A2 a 2 + . . . + Ana n + n + 1 a n +1 + An+2 a n+2 + . .. + siendo A n+l 0 5. Si un vector a es combinacin lineal de un sistem a { a , , a 2, . . . , a n} _ v cada uno de los vectores de este sistema es combinacin lineal de otro sistema b i , b 2, . . . , b m}, el prim er vector a es combinacin lineal de ste
n m
de cualquier es combina otro sistema del primero.
a =
=i
l ia
ai = ^ r t j b j
j= i
(i 1 , 2 , . . . , n)
Sustituyendo las n ltim as igualdades en la anterior
38
6.
Si, en el caso anterior, cada a es combinacin lineal de distintos sistemas S{, tambin es a combinacin lineal de un sistema S = S 1 US 2 U . . . U S n La demostracin es idntica a la del punto anterior, teniendo en cuenta que los vectores b j, comunes a varios sistemas, quedarn incluidos en un mismo trmino.
8 .
S U B E S P A C IO S V E C T O R IA L E S . IN T E R S E C C I N Y S U M A D E D O S S U B E S P A C IO S
Sea V el conjunto de los vectores libres; se dice que un subconjunto V ' c V (V' * 0 ) es un subespacio vectorial cuando, para cualesquiera vectores a e V' y b e V', se verifica que
a+beV '
y para cualquier vector a e V' y escalar l e K , a 6 V' Dicho de otra manera, el subconjunto no vaco V' c V es cerrado respecto a las dos operaciones que han servido para definir un espacio vectorial, o sea, V' es un espacio vectorial. En el conjunto de los vectores libres constituyen un subespacio todos los vectores con una misma direccin. Tambin constituyen un subespacio todos los vectores paralelos a un mismo plano. El vector nulo pertenece a todos los subespacios, que se pueden definir en V, pues para cualquier a e V ' y / l e K e s
a + 0 = a e V'
20 = 0 e V '
El vector nulo, por s solo, constituye un subespacio , como es fcil com probar. Si se tienen dos subespacios Vj c V y V2 C V, /a interseccin de am bos V3 = Vi fl V2 es tambin un subespacio vectorial. Sean a y b dos vectores cualesquiera de la interseccin
a g Vj a b e Vj =>- a + b e V ^ a G V2 a b E
2
Xa e Vi
a + b e V2 a Xa E V?
es decir, la suma y el producto por escalares pertenecen a ambos subespacios y, por tanto, a la interseccin, que resulta ser as un subespacio vectorial.
8. SUBESPACIOS VECTORIALES
39
En el espacio vectorial de tres dimensiones, la interseccin de los subespa cios formados por los vectores paralelos a dos planos n, y n2 que se cortan, es el subespacio constituido por los vectores, cuya direccin es paralela a ambos planos (o a su interseccin). Ya se ha dicho que dos subespacios cualesquiera tienen, al menos, un ele mento comn: el vector nulo. Cuando este vector es el nico elemento comn, e dice que los dos espacios son disjuntos. Por ejemplo, los subespacios forma dos por los vectores libres paralelos a dos rectas < 5 , y S2 no paralelas entre s, 0 los subespacios que constituyen los vectores paralelos a un plano n y el de .as paralelos a una recta (no paralela a n), son subespacios disjuntos. Suma de dos subespacios Vi y V2, que se escribe Vi +V2, es el subconjunto Je V constituido por los vectores c = a + b , con a G Vi y b G V2. La suma es un subconjunto en sentido amplio Vi + V2 V. Se demuestra que la suma de dos :ubespacios es un subespacio-, en efecto, sea otro de estos vectores c ' = a ' + fe.', :on a' e Vi y b ' e V2. c + c' = (a + b ) + (a' + b ) = (a + a ') + (b + b ) Como a + a ' G Vi (por ser Vi un subespacio) y b + b ' G V2 (por serlo V2), resulta que c + c' G V2 + V2. Adems, Ac = A(a + b ) = Aa + Ab, y al ser _a Vi, Ab G V2, resulta Ac G Vi + V2. La suma de los subespacios constituidos por los vectores paralelos a una recta < 5 i y por los paralelos a una recta 2 (no paralela a i) es el subespacio los vectores paralelos al plano n, paralelo a ambas rectas. De ahora en -leante se supondr, para mayor sencillez, que todos los vectores libres del r.-pacio estn situados en un mismo punto, de m anera que cada clasetenga . :m representante nico. Entonces se dir que el subespacio suma delos sube;parios constituidos por los vectores situados en dos rectas es el conjunto de eetores contenidos en el plano que ambas rectas determinan. Se comprueba que Vi y V2 son subespacios de Vi+V2, pues como el vector _ Jo pertenece a ambos, todo a e V , y el O e V2 generan a -{- 0 G Vi -f- V2 1 gualmente para cualquier vector de V2. Ntese que la suma de dos subespacios no coincide, en general, con el m ixspacio interseccin, Vi +V2 ^ v , n v 2 En el ejemplo anterior, Vi fl V2 es solamente el vector nulo, nico elemento ~ n a ambos subespacios, m ientras que se ha visto que Vi+V2 es el conjunto ic vectores contenidos en el plano determinado por < 5 , y < 5 2.
40
Considerando los dos subespacios constituidos por los vectores pertene cientes a dos planos distintos, se ve que el espacio tridimensional V es suma de ellos. Entre este ejemplo y el anterior hay una diferencia esencial: en el primero, un vector del plano se puede descomponer en form a nica en otros dos, situados sobre las rectas que lo determinan; en el segundo, un vector del espacio tridimensional puede descomponerse de infinitas maneras en otros dos, situados cada uno sobre uno de los dos planos. Se estudia, en forma general, a qu equivale la condicin de unicidad de esta descomposicin. Si un vector c del subespacio suma de Vi y V2 se puede descomponer de dos maneras c = a + b = a'+b' con a V,, el vector e = a-a' = b'-b pertenece a Vj y V2, es decir e e V, Pi V2. La unicidad de la descomposicin a = a', b = b ' equivale a la condicin e = O, es decir, que Vj y V2 sean dos subespacios disjuntos. De no serlo, siempre existir un e ^ 0 ( e e V , , e V2) que, dada una descomposicin c = a+ b perm itir hallar otra c = (a + e ) + (b e) con a + e e Vj y b - e e V2 En resumen, la condicin necesaria y suficiente para que la descomposi cin de un vector c e Vi + V2 en otros dos a e Vj y b V2 sea nica es que V] y V2 sean dos subespacios disjuntos. v l n v 2 = {0 } En este caso la suma se llama directa y se representa por V! V2. El espacio tridimensional de los vectores libres es suma directa del sub espacio de los vectores situados en un plano y el subespacio de los vectores situados en una recta no contenida en l. Ese mismo espacio tridimensional es suma (no directa) de los subespacios constituidos por los vectores situados en dos planos distintos. aeVi beV2 b V2, a ' e V 1; b'eV 2
9. SISTEMA DE GENERADORES
41
El subespacio bidimensional de los vectores situados en un plano es suma directa de los subespacios constituidos por los vectores situados en dos rectas distintas contenidas en aqul. De dos subespacios V, C V y V2 C V, cuya suma directa constituye el espacio total ViV2 = V, se dice que son suplementarios. Ya se ha observado que cualquier c e V adm ite una descomposicin nica c = a +fo de m anera que a y b pertenezcan a dos subespacios suplementarios. Se dice que a es la proyeccin de c sobre V,, segn V? y que b es la proyeccin de c sobre V2, segn V,. El concepto es general para espacios vectoriales de cualquier nmero de dimensiones y coincide con el de la geometra elemental: si Vi es un plano y V2 una recta que lo corta (subespacios suplementarios), todo c G V se puede descomponer en una a V[ y un b e V2; la descomposicin es nica y de a se dice que es la proyeccin de c sobre el plano, segn la direccin de la recta; y de b , que es la proyeccin de c sobre la recta, segn la direccin del plano (vase figura). El concepto de proyeccin es compatible con la estructura de espacio vectorial. Si c = a + b , c' = a' + b ', es c + c' = (a + b ) + (a ' + b ') = (a + a ') + (b + b ') con a + a ' e Vi y b + b ' G V2. P ara el producto por escalares, si c = a c' = Ac, es c' = Aa + I b con Aa e Vi y Ab e V2. Ambas propiedades pueden resumirse as: La proyeccin de una combinacin lineal de varios vectores, es la misma combinacin lineal de sus pro yecciones. proy (Aa + p b + v c) = = A proy a+ /.p ro y b + y proyc b y
9.
S IS T E M A D E G E N E R A D O R E S
Dado un sistema de vectores { a l , a 2, . . . , a n}, todos los vectores que pue den obtenerse por combinacin lineal de los a(i = 1 , 2 , . . . , n) constituyen un espacio vectorial. En efecto, siendo u y v dos vectores de este espacio
u = Aa -(- A2a 2 4 -. . . + Ana n
v = iai + /i2a 2 + . .. + n n& n
42
se comprueba que u + v tam bin pertenece al espacio, pues

U + V = (/li + /i]) + ( 2 + [ i2) a 2 + + (^n + fn) a n
El vector nulo pertenece al espacio, pues se obtiene con 2.1 .2 . .. An 0 y para formar el opuesto de u, se tom an los escalares p i\ \ [A 2 ^ 2
An
Finalmente se comprueba que, siendo u un vector del espacio, tambin lo es k u , para lo cual se eligen los coeficientes [2 kX2 . . . fn kAn Del sistema { a ,, a 2, . . . , a n} se dice que es un sistema de generadores del espacio considerado, y de ste, que es generado por aquel sistema. Si al sistema {a!, a 2, . . . , a n} se aaden vectores {bi , b 2, . . . , b m} combi nacin lineal de aqullos
bj = p\j&i +P2ja2+ + Pnjan

el espacio generado por {a,, a 2, . . . , a n, b i , b 2, . .. , b m} es el mismo. Se com prueba a continuacin que todo vector generado por el primero lo es tambin por el segundo y recprocamente. En efecto, si u = es tambin u = Aa + A2 a 2 + - + Ana.n + /iib i + /i 2t >2 + + /mbm con
! = H2 = = Hm = 0
ai + /L2 a 2 +
Recprocamente, si u = Via, + v 2 a 2 + + y na n H-Kibj +zc 2 b 2 + . . . + ?cmb m ver que
basta sustituir los bjpor sus expresiones en funcin de los a ; para u =

(1
+ Kjfiu -j- K2P 12 + + Kmpim) ai +
+ ( y 2 + KiP2i + K2 P2 2 + + KmP2m) a 2 +
( y n +
K lPnl
K2Pn2 +
M n m ) a n
es tambin combinacin lineal de a ,, a 2, . . . , a n.
9. SISTEMA DE GENERADORES
43
Por consiguiente, un mismo espacio puede ser generado por una infinidad de sistemas distintos. A los sistemas de generadores de un mismo espacio se les llama con frecuencia sistemas equivalentes, pero como en esta obra ha convenido utilizar este adjetivo en el sentido explicado en el 6 (y as se con servar para los sistemas de vectores deslizantes y ligados), se llam arn a estos sistemas isogeneradores. El espacio generado no se altera si se realizan las siguientes sustituciones: 1. Producto por un escalar de uno o varios de los vectores del sistema de generadores. 2. Adicin a un vector de otro vector del sistema multiplicado por un es calar. Ambas sustituciones pueden resumirse en sta: un sistem a se convierte en otro isogenerador sustituyendo un vector por una combinacin lineal, en la que l intervenga con coeficiente no nulo. En efecto, si el sistema es { a i , a 2, . . . , a n} y se sustituye a por b k\ a t -- k 2 ^2 H ~ f" k n a n cualquier u generado por el primero u = Ai ai + A2 a 2 + . . . + A a + . . . + An a n tambin es generado por el segundo; sustituyendo
1 &1
k2
/vj
ai=rF (Vj b _ F fVj a i T resulta i / II = X\&.\ -|- A2^2 + + 'H ^ = U iM. \

1
kn a 2 _ - " ~<VF j an
ki ~ k2 \ ,
k2 , i u ,
kn
\ J o ^
1 1
Recprocamente, u = v ia + v 2 a 2 + . .. + yb + . . . + y na n = = . ?L \ + y 2 a 2 + . . . + ^(fciai +A:2 a 2 + . . . + 3 ; + . . . +fcna n) + . . . + yna n = (v i -f- v ^ 1 ) ai + ( y 2 + Vi^2) a 2 + + yâi + . . . + ( y n + v^n) a n Por el momento, no se dispone de ningn criterio para pasar de un sistema i otro isogenerador por supresin de vectores.
44
10.
IN D E P E N D E N C IA LINEAL
De n vectores {a , a2, . . . , an} se dice que son linealmente independientes cuando no se pueden encontrar n escalares Al , A2, . . . , A D no todos nulos, tales que /li a! + A2a2 + . . . Anan = 0 Con otras palabras, si la nica posibilidad de que la anterior relacin sea sa tisfecha es A = A2 . . . An = 0 los vectores ai , a2, . . . , a n son linealmente independientes. En caso contrario, es decir, si puede lograrse la nulidad de la combinacin lineal con algn o algunos A distintos de cero, los vectores son linealmente dependientes. Algunas propiedades se desprenden inm ediatam ente de la definicin: a) El hecho de que n vectores sean linealmente dependientes o independien tes, no est condicionado al orden en que sean dados. Por consiguiente, si V es el conjunto de los vectores libres del espacio, la independencia lineal define una particin en el conjunto de las partes P(V). b) Todo conjunto de vectores que contiene el vector nulo es linealmente dependiente. En efecto, sea { a, , a2). . . , an, 0}. Se puede lograr que, cua lesquiera que sean los vectores a, se tenga A] ai + A2a2 + . . . -f- Anan + /l00 = 0 con A = A2 = . . . = An - 0 y A0 * 0 c) Si un conjunto de vectores { a ,, a 2, . . . , a n} es linealmente independiente, lo es cualquier parte de l. Tmense los k primeros vectores (k < r), a u a 2). . . , a k; stos forman un conjunto linealmente independiente, pues si se verifica Aiii + A2a2 + + -^kak = 0 con algn A ^ 0, tam bin se verificara A\a + A2a2 + . . . + k a^ -)- Ak+1aic+ 1 con ese A, ^ 0, las mismas k primeras A restantes, y Anan = 0
^ k + i Ak+ 2 = . . . = An = 0
contra lo supuesto, pues {a 1( a2, . . . , an} es un conjunto linealmente in dependiente. Al aadir vectores a un sistema linealmente independiente, no puede asegurarse que tambin lo sea el nuevo sistema.
10. INDEPENDENCIA LINEAL
45
d) Si un conjunto de vectores { aI, a 2, . .. a n} es linealmente dependiente, lo es cualquier otro que lo comprenda. Es decir, aadiendo cualesquiera vectores a n+1, a n+2, a m, el nuevo sistema {a,, a 2, . . . , a n, a n+1, a n+2 , a m} es linealmente dependiente. En efecto, si Ai ai + A2 a 2 + . . . + Ana n = 0 con algn A ^ 0, tambin se podr hacer Aj ai + A2 a 2 + . .. + Ana n + An+1 ^n+1 I - An+2 a n+2 con los mismos A<n y An+i = An+2 = . . . = Am = 0. Al suprimir vectores de un sistema linealmente dependiente, puede pasar se a un sistem a linealmente independiente. En resumen, la ampliacin de un sistema asegura la conservacin de la dependencia, pero no la de la independencia', la reduccin asegura la conservacin de la independencia, pero no la de la dependencia. e) Los sistemas constituidos por un nico vector, no nulo, son siempre linealmente independientes. Sea el sistema {a} (a ^ 0). La condicin Aa = 0 exige, como se ha visto en el 5, A = 0 a = 0; en este caso, por ser a ^ 0, se tiene como nica posibilidad A = 0. f) Si un sistema de vectores { a i , a 2 , . . . a } es linealmente independiente y, al aadirle un nuevo vector b, el nuevo sistema {a, , a 2, . . . , a n, b} es linealmente dependiente, el vector b es combinacin lineal de los a, o sea, pertenece al espacio que stos generan. En efecto, la condicin Aiaj + A2 a 2 + . . . + Ana n = 0 implica A, = A2 = . . . = An = 0. Pero se podr hacer Ai a! + A2 a 2 Ana n + /xb = 0 Ama m 0
con algn coeficiente no nulo; ste debe ser fi, pues si fuera algn A,, haciendo Aj^ = n 0 resultara que el sistema constituido por los vectores a sera linealmente dependiente. Al ser i ^ 0, puede despejarse b en funcin de los a. , _
b
Ai ai H
A2 a 2 . .. i
An an i
g) La expresin de un vector b en funcin de n vectores linealmente inde pendientes es nica. En efecto, si no lo fuera b = A] ai + A2 a 2 + + Ana n b = A i a! + A'2 a 2 + . . . + A'nan
46
por diferencia se obtiene (Aj 'i} a! + (/U ^ 2) &2 + + (^n X n) an = 0 y por ser los a linealmente independientes, han de ser nulos todos los coeficientes de la anterior relacin X1- X \ = X2 - X'2 = . . . = Xn - X'n = 0 es decir, X\ X' X2 = X'2 . .. Xn = X n
h) En una ecuacin en la que slo intervienen vectores linealmente inde pendientes entre s, se pueden igualar los respectivos coeficientes con que un mismo vector aparece en los dos miembros de la ecuacin vectorial. En efecto: X a + X2a2 + . .. + Xnan = ai -)- fi2a2 + + /-ina n
con {ai, a 2, . . . , a n} linealmente independientes, exige X\

1
X2 fx2 *
Xn f-in
es decir, equivale a n ecuaciones escalares. Concretando las anteriores definiciones y propiedades al espacio tridim en sional ordinario, se puede afirmar: 1. Un vector no nulo constituye un sistema linealmente independiente. 2. Dos vectores a, b, de la m isma direccin son linealmente dependientes. En efecto, se puede lograr Xa -f ib = 0 con \X\ |b| y |^| = |a|, y signos iguales o distintos segn que a y b tengan distinto o el mismo sentido. 3. Dos vectores a, b, de distinta direccin son linealmente independientes. Por ser Xa de igual direccin que a, y /ib de igual direccin que b, la relacin Xa + jub 0 exige la nulidad de ambos sumandos y como a ^ X j. = 0.
0
, b ^
, ha de ser
10. INDEPENDENCIA LINEAL
47
4. Tres vectores a, b , c, paralelos a un mismo plano son linealmente de
pendientes. Supnganse los tres de distinta direccin. Descomponiendo c en las direcciones de a y b
C = Ci + c2
se puede tener Aa + fb + v c = O Aa ~ j~/.b -f- v (Cj -j(Aa l- v Cj) (/ib = O
v C2) = 0
anulando cada parntesis independientemente, con
w = W
l,|= w
y signos de A y p positivos o negativos segn sean distintos o coinci dentes los sentidos de los vectores, cuyos mdulos intervienen en cada fraccin. Si dos de los vectores fueran de la misma direccin, bastara asignar coeficiente nulo al tercero y el caso queda reducido al visto en 2. 5. Lo visto en 3 y 4 para dos y tres vectores respectivamente se generaliza para un nmero cualquiera de ellos. Un conjunto de dos o ms vectores de la m isma direccin es linealmente dependiente. B asta asignar coeficientes nulos a todos menos dos y redu cirlo al caso 2. Un conjunto de tres o ms vectores paralelos a un m ismo plano es lineal m ente dependiente. Se hacen nulos los coeficientes de todos menos tres y se reduce al caso 4. : Corolarios inmediatos son: a) todos los vectores de la m isma direccin pueden expresarse linealmente en funcin de uno de ellos', b) todos los vectores paralelos a un plano pueden expresarse linealmente en funcin de dos de ellos de distinta direccin. Estas expresiones son nicas, como se ha visto en g) con carcter general y como resulta evidente para el es pacio tridimensional ordinario por simples consideraciones geomtricas. Tres vectores a, Ib, c no paralelos a un m ismo plano son linealmente independientes. En efecto, no existir un plano paralelo a Aa, ib, v e y
48
la condicin Aa + ib + v c = 0 slo podr satisfacerse con A X = v = 0 .

8.
Cuatro vectores cualesquiera, en el espacio tridimensional ordinario, son siempre linealmente dependientes. Supnganse los cuatro vecto res no paralelos a un plano a, b, c, d y que los a, b, c son linealmente independientes. Se descompone el vector d en las direcciones de a, b, c, d di + d 2 + d 3
La relacin Aa + jub + v c + p d = 0 Aa + jub + v c + p(d[ + d 2 + d 3) O (Aa + p d ,) + (ib p d 2) + ( v c + p d 3) =

0
puede lograrse anulando independientemente cada parntesis, con p =
MI
\M = t |a| t
ld | l
IaI = t^ |b|t
|d 2 l
Iv I = t |c| t
ld 3 1
y signos de A, [i, v positivos o negativos segn sean distintos o coinci dentes lossentidos de los vectores que intervienen en cada fraccin. 9. En el espacio de tres dimensiones no pueden existir ms de tres vectores linealmente independientes. Un vector cualquiera de este espacio puede expresarse unvocamente en funcin lineal de tres vectores linealmente independientes. Por tanto, tres vectores no coplanarios constituyen un sistem a de generadores del espacio tridimensional. En este espacio, un sistema linealmente independiente puede constar de tres, dos o un vector. 11. D IM E N S I N D E U N E S P A C IO V E C T O R IA L
Se inicia este pargrafo demostrando el teorema fundamental de la inde pendencia lineal entre vectores. Dice as: En un espacio vectorial M , engendra do por un sistem a de n generadores { a i , a 2, . . . , a n}, todo sistema de vectores
11. DIMENSIN DE UN ESPACIO VECTORIAL
49
5 linealmente independientes { b ,, b 2, . . . , b p} tiene un nmero p de vectores, ial que p ^ n. Para demostrarlo, se considera uno de los vectores de S y, como la inde pendencia lineal no est afectada por el orden de los vectores, se puede tom ar el b p Como vector de V que es, se puede expresar en funcin del sistema de generadores b! = An -f- A2& 2 I - I - Anan El vector bi no puede ser nulo, ya que de existir un vector nulo en S, ste sera un sistema de vectores linealmente dependientes, segn se ha demostrado en el 7. Quiere esto decir que algunos de los coeficientes A -x no es nulo. Supngase que sea el primero Ax ^ 0. En el 9 se ha demostrado que un sistema de generadores se convierte en otro isogenerador sustituyendo un vector por una combinacin lineal, en la cue l interviene con coeficiente no nulo. En la expresin de b 1( que es una combinacin lineal del sistema de generadores, a, interviene con coeficiente no nulo. Por tanto, si en el sistema de generadores se sustituye aj por b , se obtiene un sistema isogenerador { b 1; a 2, . . . , a n}, que tam bin genera V. Siendo esto as, el vector b 2 G V se puede expresar en funcin del nuevo sistema de generadores b 2 = ju'ibi + A'2a 2 + . . . + A na n y en esta expresin, como antes, tiene que existir algn coeficiente no nulo. Pero en este caso se puede afirmar, adems, que uno de estos coeficientes no nulos tiene que ser alguna de las A. En efecto, si todas las A fueran nulas, resultara b 2 = /A b , y, al existir esta relacin lineal entre b , y b 2, el sistema 5 no estara constituido por vectores linealmente independientes. Supngase pues, A'2 ^ 0. El vector a 2 es sustituible en el sistema de ge neradores {bi, a 2, . . . , a n} por una combinacin lineal, que es el b 2 = n \ b t -f A'2h2 + + A ' na, en la que a 2 interviene con coeficiente ( A'2 ^ 0 ) no nulo. Se pasa as a un nuevo sistema isogenerador { b j . b , , . . . , a n}. Al reiterar este razonamiento, se prosigue la sustitucin de los vectores a por los vectores b en el sistema de generadores, obtenindose sucesivos sis temas isogeneradores. Se denomina a este proceso teorema del intercambio. Si p < n se llegara a un sistema final generador de V con lo s p vectores b y n p vectores a sobrantes, es decir, { b i , b 2, . . . , bp, a p+1, a p+2, , a n} Puede tambin ocurrir que el nmero de los vectores b sea igual al de los vectores a, o sea p = n. Al final, se tendra un sistema de generadores en el
50
que no quedara ningn a,
* { b 1 (b 2, . . . , b p=n}
Supngase finalmente que p > n. En el proceso de sustitucin se agotan los vectores a, cuando todava sobran p n vectores b. El sistema generador a que finalmente se llega es { b , , b 2, , b n} y han sobrado los b n+1 , b n+2, ... , b p. Estos ltimos podrn expresarse como combinacin lineal del sistema de generadores. Pero esto supone que los vecto res b no constituyen un sistema de vectores linealmente independientes. Esto va contra lo supuesto. Por tanto, si el sistema S { b 1 ; b 2, . . . , b p} es de vectores linealmente independientes, ha de ser p < n. El axioma de la dimensin afirma que siempre se cumple uno de estos dos supuestos, que se excluyen m tuam ente: dado un espacio vectorial V, y llamando A a un sistema de vectores linealmente independientes de este espa cio, hay dos hiptesis posibles: a) para cualquier nmero natural n, por grande que sea, siempre se puede encontrar un sistema A , tal que card A > n; b) exis te un nmero natural n, tal que cualquier sistema A de vectores linealmente independientes, ha de ser card A ^ n. En cuanto sigue, se supondr que se verifica la segunda hiptesis. Esto equivale a afirmar que en el espacio V existen sistemas de vectores linealmen te independientes de orden mximo, entendiendo por tales los sistemas de vectores linealmente independientes que, al incorporarles un vector cualquiera del espacio, pasan a convertirse en un sistema de vectores linealmente de pendientes. En efecto, si el sistema { a1; a 2, . . . , a n} es de vectores linealmente independientes y existe en V algn vector b, tal que {a,, a 2 , . . . , a n, b} sigue siendo un sistema de vectores linealmente independientes, el primero no era de orden mximo. Por el contrario, si {ab a 2, . . . , a n} es ciertam ente un sistema de vectores linealmente independientes, al incorporarle un vector cualquiera u e V, se con vierte en un sistema ( a ! , a 2, . . . , a n, o} de vectores linealmente dependientes. Por tanto, la nulidad de la combinacin lineal
Ai ai + A2a 2 + . . . + Ana n -j- / u = 0
podr lograrse con algn coeficiente no nulo. Uno de estos coeficientes no nulos habr de ser j,, pues si i fuera nulo, el no nulo habra que encontrarlo entre las A, lo que supondra que {a,, a 2, . . . , a n} no sera un sistema de vectores linealmente independientes. Se concluye que i ^ 0, lo que perm ite despejar Ai A2 An
12. BASE COMPONENTES DE UN VECTOR
51
Esto pone de manifiesto que cualquier vector u de V puede expresarse como combinacin lineal de los vectores a, o lo que es lo mismo, un sistem a de rectores linealmente independientes de orden mximo es un sistema de gene radores del espacio. Adems, por ser linealmente independientes, la expresin de u en funcin de ellos es nica, como se prob en la propiedad g) del 1 0 . Demostrado que en V existen sistemas de generadores de orden mximo, es decir, sistemas de vectores linealmente independientes, que generan todo el espacio V, y que no son ampliables, puede ocurrir que dos de tales siste mas {a 1 , a 2 ) . . . , a n} y {b 1 , b 2 , . . . , b p} tengan distinto nmero de vectores? A continuacin se prueba que la respuesta es negativa. En efecto, ambos sistemas Sa = {a,, a 2, . . . , a n} y Sb = { b , b 2, . .. , b p} poseen un doble carcter: 1. Son sistemas de vectores linealmente indepen dientes; 2. Son generadores del espacio V. Al principio de este pargrafo se ha demostrado que en un espacio vectorial V, generado por un sistema S a de n generadores {a1( a 2, . . . , a n}, todo sistema de vectores S b linealmente indepen dientes { b i , b 2, . . . , b p} debe tener un nmero p de vectores, tal que p < n. Pero el doble carcter sealado hace que ahora los papeles de Sa y S b sean intercambiables. Considerando a S b como sistema de generadores de V y Sa como un sistema de vectores linealmente independientes en V, se debe cumplir que n ^ p. Como conclusin final se llega a que n ~ p,Q s decir, todos los sistemas de rectores linealmente independientes de orden mximo, (lo que comporta que ;on, adems, sistemas de generadores del espacio), tienen el m ismo nmero de vectores. A ese nmero se le llama dimensin del espacio vectorial. 12. BASE. C O M PO N EN T ES D E U N V E C T O R
Base de un espacio vectorial es un sistema de vectores linealmente indepeJidientes de orden mximo. En consecuencia, la base constituye un sistema e generadores del espacio, y el nmero de vectores que contiene es igual a la intensin del espacio. Al expresar un vector u del espacio, en funcin de una base B = {elJe 2 , . . . , e n} de un espacio -dim ensional u = Uiî -f- w2e 2 + . . . + une n i ios coeficientes de esta combinacin lineal se les llama componentes del vector a en la base B y con frecuencia se escribe
u ( u l, u 2, . . . , u n)
52
A fin de expresar con comodidad la correspondencia entre los vectores de la base y las componentes, ambos conjuntos se consideran ordenados, lo que per m ite aludir al primer, segundo, te rc er... vector de base o a la primera, segunda, te rc era... componente. Por ser la base un sistema de vectores linealmente independientes, te niendo en cuenta la propiedad g) del 1 0 , queda asegurada la unicidad de las componentes de un vector en una base determinada. Los vectores de la base tienen todas sus componentes nulas, salvo una que es igual a la unidad, precisamente aqulla que ocupa la misma posicin ordinal que el vector en la base e 1( l , 0 , . . . , 0 ) e 2( 0 , 1 , . . . , 0 )
e n( 0 , 0 , . . . , 1 ) Las componentes de una suma de vectores son la suma de las respectivas componentes de los vectores sumandos u
v u+v
=
= =
U\&i
u2e2 +
unen
v,e! + v 2e2 + . . . + v nen (Mi + Vi)e, + ( u 2 + v 2) e 2 + . . . + ( u n + vn)en
y las componentes del producto de un vector por un escalar son el resultado dem ultiplicar por ese escalar las componentes del vector
/lu = (Awi) ej + ( u 2) e2 + . . . + (Aun) en
El vector nulo, y slo l, tiene nulas todas sus componentes. Dos vectores opuestos tienen sus componentes respectivamente opuestas. Estas propiedades perm iten deducir muy fcilmente que los vectores que tienen nulas las mismas componentes constituyen un subespacio vectorial. En efecto, la suma de dos de ellos, o el producto por un escalar, tendr nulas esas mismas componentes. Se puede extraer de B una base para uno de estos subespacios, prescindiendo de los vectores de B cuya componente igual a 1 corresponde a alguna de las componentes idnticamente nulas de los vectores del subespacio. 13. E S P A C IO A F N D E P U N T O S
Espacio afin es un conjunto A, cuyos elementos se llaman puntos, para el que se define la aplicacin A x A -* V, es decir, a cada par ordenado de
13. ESPACIO AFN DE PUNTOS
53
puntos A e A y B e A s e asocia un vector libre f (A, B ) e V, cumplindose las propiedades 1. VA e A, Va G V, 3B e A \ f ( A , B ) = a
- f { A , B ) + / (B, C) = / (A, C) En la segunda se reconocer la generalizacin de la regla del paralelogramo, rs radiada en el 3. Tomando en la relacin el punto B en lugar del C, se tiene f ( A , B ) + f ( B , B ) = f ( A JB) : que hace ver que f (B, B ) = 0, VJ9 e A. Tomando ahora A en lugar de C en relacin inicialmente escrita, es f(A,B) +f(B,A) =f(A,) = O ru pone de manifiesto q u e/ ( A , B ) = - f ( B , A ). Si se elige un punto arbitrario O, llamado origen para ocupar la primera : licin del par, la prim era propiedad asegura una biyeccin A<-V entre los rm to s del espacio afin y los vectores libres. A cada punto A le corresponden su zr.jo o vector de posicin f (O, A ). Resulta inm ediato que al origen corresponde ; eetor nulo / (O, O ) = 0. Si, adems del origen O, se elige una base del espacio vectorial V, . e2, . . . , e n} se dispone de una referencia en el espacio A, que se escribe l \ e . e 2, . . . , e n). P ara cualquier punto A E s e llaman coordenadas del misrr: a las componentes del vector / (O, A ) respecto a la base {ej , e 2, . . . , e n}, :: decir, siendo / (O, A) = x ^ i + x 2e 2 + . . . + x ne se rice que el punto A tiene por coordenadas {xj , x 2,
x - . x
, x n}, lo que se escribe
, . . . , x d ).
Un punto O e A y un subespacio V[ de V definen un subespacio A c A, nre se notar Ai{Oi, Vj}, constituido por los puntos A, tales que f { O u ) e Vi eleccin de O x es arbitraria, con tal que al elegir otro punto 0 \ se cumpla f ( O u O \ ) V, Er efecto, siendo esto as, se ve que tam b in / ( 0 ' , A ) e Vi ya que f ( 0 ' l, A ) = f ( 0 ' 1, 0 1) + f ( 0 1, A) = - f ( 0 1, 0 ' 1) + f ( 0 , A)
54
con
f ( O u O\) G\ u
f { O u ) V!
Si se tienen dos subespacios Ai(?i,Vi) y A2 ( 0 2 ,V2) siendo Vt un subespacio vectorial de V2, es decir, Vi V2, y O, y 0 2 dos puntos de A, tales que / ( 0 i , 0 2) ^ V2 se dice que ellos son subespacios paralelos. Dos subespacios paralelos no tienen ningn punto comn Ai(Oi,Vi) 1A2 ( 0 2 ,V2) = 0. En efec to, si P es un punto que pertenece a ambos espacios paralelos Ai (O ,, Vi) y A2 ( 0 2 ,V2) ha de ser f ( O u P ) e V 1^ f ( O u P ) V 2 y f ( 0 2, P ) g V2 f ( O u 0 2) = f ( O u P ) + /(/> , 0 2) = f ( O u P ) ~ f ( 0 2, P ) con lo que resu lta/ (O, 0 2) G V2, contra lo supuesto en la definicin. Dados dos subespacios con un punto comn Ai(0i, Vi ) y A2 (0 i,V 2) se llama interseccin de ambos al subespacio A.3 (C?i,Vi O V2). Si Vi O V2 = {}, la interseccin de Ai (O u Vi) y A2 (?i, V2) no contiene ms que el punto O i, ya que para cualquier otro punto P habr de ser f ( O l t P ) G Vi n v 2 es decir f ( 0 {, P ) = 0
lo que supone que P y Ox coinciden, es decir, son el mismo punto. 14. O R IE N T A C I N D E L E S P A C IO
Aplicando lo dicho a los espacios de una, dos y tres dimensiones, resulta que en el primero una referencia est constituida por un punto y un vector no nulo { 0 ,e i} . Todos los vectores de este espacio, que es una recta, podrn expresarse en funcin de ei por una componente nica
r xej
que ser la abscisa de los puntos de esta recta. El vector ei define en la recta un sentido positivo, es decir, la recta ha quedado orientada. Una recta orientada se llama eje y sobre l un vector se expresa por un nmero real. En el espacio de dos dimensiones (plano), la referencia { 0 , e , e 2} est constituida por el origen O y dos vectores de distinta direccin. Las rectas que tienen sus direcciones y pasan por O, orientadas por los sentidos de ei y e 2 se llaman ejes de abscisas y ordenadas respectivamente. Un vector tiene dos componentes x , y r - xei + y e 2 y un punto del plano queda as determinado por su abscisa y ordenada con respecto a la referencia { O , e , , e 2}.
14. ORIENTACIN DEL ESPACIO
55
En el espacio de tres dimensiones la referencia la constituyen un punto tres vectores no coplanarios { O .e ^ e a .e s} que con su direccin y sentido reterminan tres ejes, llamados de abscisas, ordenadas y cotas, respectivamenre. Los mismos nombres reciben las coordenadas de un punto, que son las : im ponentes de su vector de posicin
r = x e x + y e 2 + z e2
Se llamar transformacin topolgica de una referencia a una variacin .: - tinua de la misma, de tal m anera que durante la transformacin los vecto res que la forman no constituyan en ningn momento un sistema linealmendependiente. Dos referencias sern topolgicamente equivalentes cuando se rueden llevar a coincidir por una transformacin topolgica. La relacin es de : : uivalencia, pues satisface las propiedades reflexiva, simtrica y transitiva; .te rm in a , pues, dos clases en el conjunto de las referencias. En el espacio de una dimensin, dos referencias {O, ej} y { 0 ' , e \ } se r ueden desplazar hasta hacer coincidir los orgenes. Si los vectores e y e \ renen el mismo sentido se les puede variar de m anera continua hasta hacerlos :: incidir. En tal caso, son topolgicamente equivalentes. Si los sentidos fueran puestos, la variacin continua hacia la coincidencia requerira pasar por la n ilacin de uno de los vectores, por lo que no seran referencias topolgicarrente equivalentes. No se utiliza nom enclatura especial para distinguir ambas ases de referencia sobre la recta. En el plano se han representado dos referencias que no son topolgicamente r: bivalentes. P ara llevar una de ellas a -: _ncidir con la otra habra que pasar r : r la anulacin de uno de los vectores r orque fueran colineales en algn mo ato. Aunque la propiedad sera detecn b le por seres bidimensionales que, aloseos en el plano, ignorasen la tercera i rrensin, las reglas prcticas para su : ::ncin se darn considerando un ob ador que contempla el plano desde rera, es decir, mirando una de sus caras. M anteniendo plana la mano derecha, mirando la palma, se separa el pulgar de los otros dos dedos. Las referencias a : r : lgicamente equivalentes a las que corresponden a la direccin y sentido de ; dedos pulgar e ndice, en este orden, son referencias a derechas o direcr_L. Las de la otra clase, que responderan a la misma regla aplicada con la mai : izquierda, son referencias a izquierdas o inversas . Si se prefiere, se puede t servar si el giro sobre el ngulo convexo que llevase a coincidir la direccin
56
y sentido del prim er vector con los del segundo no corresponde o corresponde con el de las agujas del reloj. En el caso de sentido antihorario se tiene una referencia a derechas o directa; si el gi ro tiene sentido horario, la referencia es a / 3 izquierdas o inversa . /"j / En el espacio tridimensional la referencia est constituida por tres vectores no coplanarios. En la figura se ha representado una referencia de cada una de las dos clases de referencias topolgicamente equivalentes. Puede observarse que para hacerlas coincidir por una evolucin continua es imprescindible hacer que el extremo de uno de los vecto res atraviese el plano determinado por los otros dos. '' H_ :: - - - 1
rt, i
La regla p ara distinguirlas y nombrarlas es parecida a la anterior: como antes, se separa el pulgar de los otros dedos, de m anera que est situado en el plano de la palma, pero ahora se dobla el central hasta situarlo perpendicular a este plano. Se observa que el sentido de esta flexin es obligado por la anato ma de la mano. Las ternas topolgicamente equivalentes a la que determ inan las direcciones y sentidos de los dedos pulgar, ndice y central, en este orden, se llaman a derechas o directas, si la mano utilizada es la derecha, y a izquierdas o inversas, si es la mano izquierda. D ada una base, se dice por extensin que el espacio est orientado a derechas o a izquierdas, segn sea la clase a que pertenece la terna de referencia. De las reglas dadas se deduce que la orientacin de una terna depende del orden en que los vectores se consideran. Se puede establecer un criterio, fcilmente verificable con la regla de la mano, y es que si se perm utan los vectores de una terna { ei , e 2 , e 3} resultan ser ternas topolgicamente equiva lentes aqullas en que los ndices de los vectores forman un nmero par de inversiones', son ternas de orientacin distinta a la dada aquellas en que los ndices de los vectores de la base presentan un nmero im par de inversiones. Se recuerda que el nmero de inversiones se obtiene comparando cada ndice con todos los que le siguen y observando si se presentan en orden natural (no hay inversin) o antinatural (hay inversin). De las seis referencias que se pueden obtener por perm utacin de los vec tores, son de la misma orientacin las que se dan en cada lnea, que se obtienen por perm utacin circular de los ndices: { 0 , e l, e 2 , e 3} { 0 , e 2 , e 3 , e l}
{ 0 ) e 2, e 1, e 3}
{ 0 , e 3 , e u e2} { 0 , e u e 3 , e 2}
15. CAMBIO DE BASE
57
En el espacio de dos dimensiones, las dos nicas permutaciones posibles { 0 ,e 1,e 2} y { 0 , e 2, ei } corresponden a distinta orientacin, y no ha lugar a perm utar el vector de la referencia unidimensional { 0 ,6 !} . La orientacin de la referencia cambia tambin, en general, cuando se cambia el sentido de alguno o algunos de los vectores. Se puede comprobar que la orientacin cambia cuando se altera el sentido de un nmero im par de vectores y se conserva cuando dicho nmero es par. El criterio es independiente del nmero de dimensiones, y tanto ste, como el referente a las permutaciones, son extensibles a espacios n dimensionales. La relacin de equivalencia topolgica entre bases es aplicable a los conjuntos ordenados de tres semirrectas con origen comn. Por ello tam bin se llaman triedros a derechas y a izquierdas los repre sentados en la figura. 15. C A M B IO D E B A S E
Limitndose al espacio de tres dimensiones, que ms directam ente intere sa, aunque con metodologa completamente general, se van a deducir, a p artir de las componentes {v1;v2,v 3} de un vector v, referido a la base { e i,e 2, e 3}, las nuevas componentes { v \ , v'2, v'3}, que este mismo vector tendr respecto a una nueva base { e 'i,e '2, e '3}. Por lo dicho, v = Vje! + v2e 2 + v3e 3 v = v \ e \ + v'2e ' 2 + v'3e ' 3
Se expresan los vectores e 'i , e '2,e '3 en funcin de la terna { e !,e 2 ,e 3}

e'i = a u e , + a i 2e 2 + a 13e 3 e '2 = a 21ei + a 22e 2 + a 23e 3 e '3 = 3iCi + oc32e 2 + 33e 3
La m atriz formada por estas componentes

/
11
O 21 si
12 22
32
13 23 33
se llama m atriz de transformacin y, por la independencia lineal de { e , , e 2, e 3}, no puede existir ninguna relacin lineal entre sus filas o columnas. Es, pues, una m atriz no degenerada, o sea, su determ inante no es nulo.
58
Sustituyendo e V e '^ e '- j en la expresin de v v = v i ( a u e! + oe,2e 2 + a 13e 3) + + V 2 (2 lGl + 0 C 22e 2+<^23e 3) +

+
3 (a 3 ie i
a 32e 2 + & 3 3 e 3 )
(v
X OC 1 1 +
V 221
V ' 2 OC2 2
+ +
3a 3 l ) e l +
( V 0 C 2 +
v /3a 32) ^2 +
+ (v a 1 3 -j-v'2< x23 + v/3 a 33) e 3 =

= v, ej + v 2 e 2 + v 3 e 3
Identificando los coeficientes de e 1 )e 2 , e 3, que son linealmente indepen dientes V ] = v 1 ai + v 2oc2i + v 3 oc3i
V 2 V 1 O 12 +
V 2 0C 22 + V 3 0 C 32
v3 ~ v 1 oi3 + v'2 a 23 + v'3 a 33 que pueden escribirse en forma de igualdad matricial / a l 1 a l2 0^13 \ (Vi V 2 v3) = ( v \ v' 2 v'3) & 21 \ 0 C 3 1 C 22 0^23 a 32 < ^33 /
El paso de las componentes (v, , v2, v3) a las ( Vi , v' 2 , v' 3) se obtiene por un proceso anlogo, partiendo de la expresin de los vectores e i , e 2 , e 3 en funcin de los e 'i , e ' 2 , e ' 3 Ci fn e 1 P 12&2 +
e2
= P21 e
+ /?22 2 + ^23^3
2
3 = /?31^ 1 + /?32e y sustituyendo en
+^33e,3
y = v, ej + v2 e 2 + v3 e 3
con posterior identificacin, resulta V'l VlP\\ + V 2^21 + V3^3l

V 2 VlPl2 +
V
V2^22 +
v 2p23
^ 3^32
^ 3^33
V \fil3
o en forma matricial /
(v'l y'2 v'3) = (v, v2 v3)
Pu
P 12 P 13 ^
P21 /?22 Pl3 V

p31 3 32
033 /
15. CAMBIO DE BASE
59
Para hallar la relacin entre las matrices (a) y (/?), basta postm ultiplicar : ultima igualdad por la inversa de (/?)
f Pu P\2 Pl3 ^
( Pl\ Pl2 Pl3 ^ / Pu Pl2

(Vi V 2 v3)
p2l \ @ 3\ ^22 P 32 P 23 $33 )
P 13
v ':v '3)
p2\ P22 P23
/?21
P 22 P23
P ll
$32
\ P\ P32 P33 )
/ 1 0 0 \ - (Vi v2 v3) \ : lentificar con l an

(v'i v'2 v'3) O C 21 \ 31 : -r al cumplirse para todo v, exige
12 13 \
0 0
1 0
0 1
= (Vi v2 v3)
a 22 a 32
23 a 33
( Vi
V2
v 3)
^ Pu P21 \ Pu
P 12
/?i3 ^
11
12 22 32
13 23 33
P22 P23 p32 P33 /

\
(X 2
31
sea, las matrices de transformacin son inversas entre s.
Si se efectan varios cambios de base sucesivos , la transformacin total i rue por m atriz el producto de las matrices de los distintos cambios de base, r__aplicadas en el mismo orden en que los cambios se efectan. Supngase r_c. despus de pasar de { e ^ e 2, e 3} a {e 'j, e '2) e '3}, se pasa de sta a otra base e e " 2, e " 3}, de m anera que \ = Vi e x + v2 e 2 + v 3 e 3 V = v'i e'i + v'2 e ' 2 + v'3 e '3
v = v '\ e" , + v"2 e " 2 + v"3 e " 3
hiendo
e ', = a e , + a 12e 2 + a 13e 3
2 21 e l + e 3 = 3 le l + 22^2 + 32^2 + 23e 3
33C 3
e"i = y ne\ + y i2e '2 + y i3e '3

e
2
= y2\^'\ + y 22^2 + y23e'3

3
e 3 = y 3ie 1 + 732 2 + y 33e
60
Por lo visto antes, ser
(
O
v2 v 3)
11 21
12 22
13 \ 23
= (v'i v'2 v'3)
\ a 3i ( Tu O ', v' 2 v'3) = (v"i v "2 v "3)

721
a 32 a 33 / y 12 y 13 \
yi2 723
\ y3 1 732 y33 /
Sustituyendo la m atriz lineal O i su valor tomado de la segunda, ( yn (v, v2 v3) =
0 v 2
v'3) en la primera igualdad, por
y 12 y3 \ yi2 y23 y 32 y 33 /
(
\
11 21 31
12 22 32
13 \ 23 33 /
"i v"2 v"3)
y2 \ y3i
lo que indica que la m atriz de transformacin de la base { e ' \ , e " 2, e " 3} en la {ei, e 2, e 3} es el producto de las matrices ( 7 ) y (a ) de los dos cambios sucesivos de base.
PROBLEMAS
61
PROBLEM A 1
Se considera un conjunto de seis puntos situados en los vrtices de dos .irados contiguos E = {A, B , C, P, Q, R} A B C
1. Hallar cuntos elementos tiene el conjunto E x E y form ar dichos ele mentos. 2. Hallar cuntos vectores ligados no nulos distintos determinan los seis puntos y escribir esos vectores. 3 Suponiendo que el lado de los cuadrados es igual a la unidad, determinar la aplicacin del conjunto anterior en el conjunto de los nmeros reales, obteniendo las clases de los vectores de igual mdulo. 4. Establecer las clases de equivalencia de los vectores con origen comn, y la correspondencia biunvoca entre estas clases y los elementos de E . : Establecer las clases de equivalencia de los vectores que tienen la m isma lnea de accin o recta soporte. j Establecer las clases de equivalencia de los vectores que tienen la misma direccin. Dentro de las clases anteriores, hallar las subclases que constituyen los vectores del m ismo sentido. : De los vectores ligados definidos, cules son iguales entre s como vec tores deslizantes? - De los vectores ligados definidos, cules son iguales entre s como vec tores libres? . El nmero de elementos de E x E ser card(t xE ) =
6
= 36
62
que son AA BA CA PA QA RA AB BB CB PB QB RB AC BC CC PC QC RC AP BP CP PP QP RP AQ BQ CQ PQ QQ RQ AR BR CR PR QR RR
2. Prescindiendo de los elementos diagonales de E x E , quedan card (E x E ) * = 6 x 6 6 = 30 elementos, que es el nmero de va riaciones de 6 elementos tomados de 2 en 2. Los vectores son
AB BA CA PA QA RA CB PB QB RB
AC BC PC QC RC
AP BP CP
AQ BQ CQ PQ
AR BR CR PR QR
QP RP
RQ
3. La aplicacin es { A S , A P , B A , B C , W iy, C B , C R , P A , P Q , Q B , QP , Q R , R C , R Q } {A(?, B P , B R , C?, P B , Q A , Q , R B } -> V 2 {AC, CA, F R , R P } 2 { A R , CP , T C , R A } 7 5
4. Las clases y su correspondencia son {AB ,AC ,AP ,AQ , A R } A
(BA ,BC ,BP ,BQ ,B R } B { C l , C B ,CP ,CQ , C R ) C
1 ,F B , P C , P Q , P R }
P Q R
{Q A,Q B, QC, QP,QR} {RA,RB,RC,RP,RQ }
PROBLEMAS
63
5. Designando con letras minsculas las rectas, se tienen las siguientes cla ses y correspondencias { A B , A C, B A , B C , CA, C B } a { F Q , TR, Q P , Q R , R P , RQ } b {AP, P~ A} c ^ r, I ! , h! i .i I /; > " k A A ^ : ! A Q y R ! {B Q ,Q B }~d {C R ,R C }-e
o t
\ I / a ----------------------------------------I ,A b A p l A A A
.g^ w . { B R , R B } g
{BP.PB} - h QC} - 1 [a r , r a ] {C P ,P C }^k
6.
B astar agrupar las anteriores rectas, que son paralelas entre s { A B , A C , B A , B C , C A , C B , P Q , P R , Q P , Q R , R P , r Q ) a,b {AP,PA,B^,Q B,C R,R } {A$,Q A,BR,RB} {a k . r X } ~ {CP,PC} ~ c, d,e f,g j k
{ B P , P B , C Q , QC } h, i
i. {{ a S , A , B , ^ , Q K , T R } , { B A , c l , C B , Q P , R Q , R P } } { { A P , B ^ , C R } , { T A , Q S , r C}} { { A Q , B R } , {Q l , R B }} { { B P , C $ } , { p b , q }} {{AR}, {RA}} {{CP}, {PC}}
64 9.
A B - B C - P Q = QR B A = C B = QP - R Q AP = B Q = C R PA = QB - RC AQ = B R QA = R B B T = CQ ~PB = QC A C =P~R CA = R P
Dado un vector a determinado y otro b de mdulo constante y direccin variable, discutir la variabilidad del ngulo que el vector a + b form a con el a.
Si |b | < |a|, la semirrecta que determ ina la direccin y sentido de a + b tiene que ser interior al cono de vrtice A (origen de a), circunscrito a la esfera de centro B (extremo de a) y radio igual a |b|. Por tanto a ^ are sen !M |a| Si |b| = |a|, la semirrecta que determ ina a + b podr ser cualquiera de las del semiespacio determinado por un plano perpendicular a a, por ser origen A, y en el que se encuentra el extremo B . Quedan excluidas las semirrectas contenidas en ese plano. Si |b | > |a|, a + b puede ir direccionado por todas las semirrectas del espacio. 9
-
PROBLEMAS
65
PRO BLEM A 3 Dado el vector unitario a 0, se establece la suma de infinitos sumandos
& o + a i + a2 + a3
ai: que |a| = ^ la -il- La direccin y sentido de todos los vectores, salvo el estn indeterminados. Hallar el dominio que debe contener el extremo del -::tor suma. El mayor mdulo posible de a i + a 2 + a 3 + ... ser cuando todos estos vectores tengan la misma direccin y sentido. En tal caso,
Iai + a2 + a3 + . I = la i I + la^l + |a3| + ... =

1, , 1 , 1, , 1 1 1
4 8
2 la l + 4 la l + g la l + 2
~ 1
Teniendoen cuenta el segundo caso del problema anterior, seconcluye que e". extremo del vector suma es interior a un dominio esfrico de eentro en el extremo de a 0 y radio unidad.
66
PRO BLEM A 4 Dados en el plano dos vectores perpendiculares entre s a y b , hallar el lugar geomtrico del extremo del vector r = Aa + jub, con la condicin A2 + f i 2 = 1. Eligiendo unos ejes cartesianos coincidentes con las direcciones y sentidos de a y b x = A |a| A= H ' 2_ |b| y = H |b| x y 2 ll|2 |a |2 ' |b |2
|a|
El lugar es una elipse con semiejes |a| y |b| y di recciones de los ejes coincidentes con las de estos vectores.
Dada la base {a, b, c}, hallar los valores de A para que los vectores (1, m , n} no constituyan una base, siendo 1 ~ m n = A a "(- b + c a+ A b + c a+ b + Ac
Los vectores {1, m , n} no constituirn una base cuando sean linealmente dependientes, es decir, cuando sea degenerada la m atriz
/Al
1\
1 A 1 \ 1 1 A o sea A 1 1 A = A3 - 3 A + 2 - 0 = > A ~ \ , A = - 2 1 1 Se ve que con A e s l = a + b + c , m = a + b + c , n = a + b + c , o sea, 1 = m = n, los tres vectores son colineales. Con A = 2 i = 2a + b + c o sea,
1
m = a 2 b + c
n = a+b
2c,
+m +n =
, los tres vectores son coplanarios.
PROBLEMAS
67
PROBLEM A
llar 'in
Se considera el sistema de seis vectores libres coincidentes con las aristas de un tetraedro regular, de longitud unidad. Los sentidos son tales que un vr tice es el origen de tres vectores y otro vrtice es el extremo de tres vectores. Calcular el mdulo de la resultante del sistema. Los tres vectores cuyo extremo comn es B dan una suma en la direccin de la altura del tetraedro y cuyo mdulo es el triple de esta altura AB +CB +WB =1WB \A E | = \ 1
~ ( \
73 2
\H B | = n} |A B + C B + D B | 3 J - = V 6 Por otra parte AD +AC = 2 A E \AD + A C \ = 2 \ A E \ = 7 3
ite y como A D + A C y CD son perpendicu lares ( AD + A C ) + C D | = ^ ( 7 3 ) 2 + 1 2 = 2 lo que tam bin se comprueba sumando en el plano los tres vectores. c Finalmente, como A B + C B + D B es perpendicular a A C + A D + C D , el mdulo de la resultante vale |R | =
y/(V6)2 + 22 = 7 6 + 4
= VIO
68
PRO BLEM A Demostrar que los conjuntos ordenados de n nmeros { x , x 2, . . . , x n} constituyen un espacio vectorial.
Definida la operacin suma { x u x 2, . . . , x n} + { y u y 2, - . . , y n} = { x l + y u x 2 + y 2, . . . , x n + j n} se ve inm ediatam ente que es conm utativa y asociativa. El elemento neutro es { 0 , 0 , . . . , 0} y el simtrico de { x u x 2, . . . , x n} es { - x u - x 2, . . . , - x n}. El producto por un escalar X se define X { x i , x 2, . . . , x n} = {Xx, Xx2, . . . , Xx n} y se desprende inm ediatam ente que es distributivo respecto a la suma de es calares y vectores, y que el 1 (elemento neutro para el producto de escalares) da \ { x u x 2, . . . , x n} = { x u x 2, . . . , x n}
PRO BLEM A
Dada la base {a, b, c}, demostrar que el vector u - a 2c es combinacin lineal de los \ = 2a + 3b - c y w = 3a + b + 7c.
Basta probar que los vectores u, v, w son linealmente dependientes, o sea, que la m atriz que forman sus componentes es degenerada
1 0
2
-3
-2 3 - 1 = 2 1 -4 -1 8 + 1 = 0 1 7
Tambin puede verificarse que u = X \ + /J.W a 2c = 2Xn + 3Xb Xc - 3a + /ub + 7c
PROBLEMAS
69
y. por la independencia lineal de a, b, c 2A 3/j. 3A + n = A + 7fx = sistema compatible, cuya solucin es n = Por consiguiente,
u
1 1 0
-2
_3_ TI
11
3 w 11
PROBLEM A 9 Siendo {a, b, c} una base, se considera el subespacio V constituido por los vectores colineales con a + 2b + 3c, el subespacio V2 de los colineales con 3a + 2b + c, y el V3 form ado por los vectores que tienen nula la tercera com ponente sobre la base dada, es decir, de la fo rm a xa'-\-yb. Hallar una expresin general de los vectores que constituyen el subespacio : + V2) I"! V3 .
Formarn el subespacio Vi + V2 todos los vectores combinacin lineal de los dados, cuya forma general es
x( a + 2b + 3c) + ju(3a + 2b + c) = (A + 3/i) a + ( 2A + 2/) b + (3/1 +m)c

La condicin de pertenecer a V3 es la nulidad de la tercera componente, o sea,
3A + /i = 0
ju = 3/1
Por tanto, los vectores de la interseccin son (A - 9A) a + (2A - 6A) b = - 8 Aa - 4Ab Llamando n al nmero real 4 A, queda la expresin general 2na + n b
70
P R O B L E M A 10 j _________________________________________________________ Se consideran los subespacios generados por los sistemas { u ,v } y { w } , siendo la expresin de estos vectores en la base {a, b, c} u = v = w =
6a
+ 4b +
8c
a + 7b + 2c 2a 10b + 4c
1. Demostrar que son dos subespacios disjuntos. 2. Descomponer el vector 2a + 7 b + 2 c en otros dos pertenecientes a dichos subespacios.
1. Expresin de un vector perteneciente al primer subespacio Au + n \ =

(6 A
+ ju) a + (4/1 + lp ) b + ( 8 A + 2X) c
Expresin de un vector perteneciente al segundo subespacio vw = 2 y a 10vb + 4 v c El conjunto de vectores interseccin de ambos subespacios deber satisfacer las condiciones
6/1
+ i = 2v
6A
/j. 2v = 0
4A + 7// = 10y
8A
= > 4/l+7jU + 10v = 0

8A
+ 2/i = 4v
+ 2/j. 4v
= 0
sistema homogneo que tiene infinitas o ninguna solucin, salvo la tri vial, segn que el determ inante de los coeficientes sea o no nulo. Como puede verse 6 1 -2 4 7 10 = - 9 6 * 0 8 2 -4 Por tanto, los dos subespacios son disjuntos: slo el vector nulo perte nece a ambos, pues la nica solucin que el sistema adm ite es la trivial A = i = v = 0 . 2. Sea la descomposicin del vector 2a 7b -}-2c (x a -(-Jîb Z\c) -i- (X2 a -}-^vsb -j-Z2C)
PROBLEMAS
2
71
x i -j- X2 7 = j;i + V 2 2 = -Z i + z2
Como el vector x, a -f v, b + z c pertenece al espacio generado por {u, v}, ha de ser combinacin lineal de stos
6
1 x,
4 8 7 2 }i z
0=> 48x, Ay\ + 38z, = 0
y como x 2a +>2b + z2c pertenece al espacio engendrado por {w}, ha de ser colineal con l *2 _ y 2 _ Z2 2 ~ ~ 10 4 Las seis ecuaciones perm iten hallar las componentes 48(2 - x 2) - 4(7 - y 2) + 38(2 = > 48x2 + 4 v 2 38z2 = 48 ^ z2)= 0^>
y2 - 5x2 z2 - 2x2 )
= > - 48x2 20x 2 76x2 = 48 = > x 2 : -1 X[ = 3 y2 = 5 y {= 2 z2 = 2 Z\ 4 Los vectores buscados son: - proyeccin de 2a + 7b + 3c sobre V, {u, v}, segn V2{w} 3a + 2b + 4c - proyeccin de 2a + 7b + 2c sobre V2 {w}, segn V ^ u , v} - a + 5 b -2 c
P R O B L E M A 11 \ Establecer las condiciones analticas para que tres vectores u = i^ a + w 2b + 3c, v = v,a + v2b + v3c, w = vtâ + w2b + w3c,
constituyan un sistema de generadores del espacio de tres dimensiones, o de r un subespacio de dos o de una dimensin.
72
P ara que generen el espacio de tres dimensiones es condicin necesaria y suficiente que sean linealmente independientes. No pueden existir tres valores k, n, v , no todos nulos, que satisfagan la condicin k u + V + VW o sea k ( u xa + u2b + u3c) + /(via + v2b + v3c) + v ( w xa + w2b + w3c) = o, por la independencia lineal de a, b, c,
u xk + Vjju + Wj v = 0 u2k -j- v2pi -{- w2 y = 0
0
+ v3;u + w3 v = 0 sistema homogneo que, para adm itir soluciones distintas de la trivial, exige U1 V! W ] A = u2 v2 w2 u3 v3 w3 o
Por tanto, si A 0, la nica solucin es la trivial k = n = v = 0 y u , v , w son linealmente independientes, constituyendo un sistema de generadores del espacio tridimensional. Si A = 0, u, v, w generan un espacio de una o dos dimensiones. P ara generar un espacio unidimensional es condicin necesaria y sufi ciente que dos de ellos (v, w, por ejemplo) puedan expresarse en funcin del tercero
v = au w = j5u
+ v2b + v3c = a. u x2l + oc u 2b + a u 3c Wj a + w2b + w 3c = /? w,a + 5 w2b + Por tanto, la m atriz U\ W 3 \ O C U \ OU2 CCU t , \ p u x p u 2 fiu 3 / no slo es degenerada, sino tam bin todos sus menores de segundo orden. Su rango es 1 . Cuando la m atriz es degenerada, pero no lo es alguno de sus menores (rango 2 ), los tres vectores u, v, w son coplanarios y engendran un espacio de dos dimensiones. u 3c
PROBLEMAS
73
P R O B L E M A 12 Ordenadas las doce aristas de un cubo por los nmeros que indica la f i gura, establecer la orientacin de los ocho triedros de sus vrtices. Para ello basta hacer corres ponder los nmeros de las aristas de cada triedro, ordenados de menor a mayor, con los dedos pulgar, ndi ce y central de la mano derecha (en este orden) y ver si el triedro que forma la mano y el de la figura son :opolgicamente equivalentes. En el primer caso es directo; en el segun do, inverso.
Vrtice
A B C D E F G H
Pulgar
1 2 3 1 5 6 7 8
Indice
2 3 4 4 9 10 11 9
Central
5 6 7 8 10 11 12 12
Triedro de la figura
directo directo directo inverso inverso inverso inverso directo
P R O B L E M A 13 Se dan los vectores 1, m , n referidos a la base {a, b, c}:

1
2a
a2b
m =
n = -3 b + 1. Comprobar que {1, m , n} es una base.
2. Hallar la expresin de a + b + c en dicha base.
74
1. Los vectores 1, m , n son linealmente independientes, pues

2 0 - 1
MI
1 -2
0 = -4 + 3 = -1 * 0
-3
2. Sean { x , y , z } las componentes de a + b + c en la base {1, m , n } a l c vi m i + zn
a + b + c = x ( 2 a ~ c ) + v ( a - 2 b) + z ( - 3 b + c ) a + b + c = 2xa xc + va 2yb 3zb + zc y, por ser linealmente independientes {a, b, c} 2x + y =

1
- 2 y - 3" = 1 x +z = o en forma matricial ( 2 (x y z)

0 1
1 \ = ( /
1 1 1
1 -2 0 -3
P ara hallar x , y , z se resuelve el sistema o, lo que es equivalente, se postmultiplican los dos miembros de la igualdad m atricial por la inversa de la m atriz cuadrada ( 2
1 0
-i \
0 1
/ traspuesta (A)' = \ -(-3 ) + (+ 2) _ ( _ 6) + (-2 ) \ i - ( + 1) + (-4 ) l
2 0 1
1 -2 0
^ ) \
(A) =
-3
1
- 3
/ + ( - 2) adjunta ( A ) r = -(+ 1 ) + (-3 )
~ 2 - 1 - 3
3
2
- 2 - 1
6 -4 /
anteriorm ente est calculado el determ inante \A\ = 1, luego la m atriz inversa es
PROBLEMAS
75
( ^
- 2 -6
MI
(x y
(2 0 -1 \ ( 1-2 0 1 -2 z) V0 -3 1j l 3 -6 ( 1 0 0 ( x y z) 0 1 0 V0 0 1 x = 6 y =2 ~ 3
= ( 1
1)
(6
-1 1
7)
= 7
+ b + c = 61 - 1lm + 7n

Indice y Cap I

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Indice y Cap I

Încărcat de

Drepturi de autor:

Formate disponibile

:

P R L O G O ............................................................................................................. CAPTULO 1. VECTORES EN EL ESPACIO AFN

ANLISIS VECTORIAL I: VECTORES

CAPTULO I. VECTORES EN EL ESPACIO AFN

CAPTULO I. VECTORES EN EL ESPACIO AFN

2. VECTORES LIGADOS, DESLIZANTES Y LIBRES

CAPTULO I. VECTORES EN EL ESPACIO AFN

3. SUMA Y DIFERENCIA DE VECTORES

CAPTULO I. VECTORES EN EL ESPACIO AFN

terna definida en todo V. Por la definicin dada de suma, resulta AB + BB = AB o sea a +0 = a

4. PRODUCTO DE VECTORES POR ESCALARES

CAPTULO I. VECTORES EN EL ESPACIO AFN

CAPTULO I. VECTORES EN EL ESPACIO AFN

4. Existe un elemento neutro, llamado vector nulo, tal que a M ); a 0 ; a 0 Va c V

2. Es distributiva respecto a la suma vectorial

3. Es asociativa respecto a los escalares A(//a) = ( //i) a VA, ju K,Va V

4. Siendo e el elemento neutro de K para el producto, es e& a Va G V

Haciendo en la prim era a = 0 ' y en la segunda, b = 0, se tiene

lo que demuestra que

CAPTULO I. VECTORES EN EL ESPACIO AFN

6. SISTEMAS DE VECTORES: SU REDUCCIN. RESULTANTE

CAPTULO I. VECTORES EN EL ESPACIO AFN

de cualquier es combina otro sistema del primero.

Sustituyendo las n ltim as igualdades en la anterior

CAPTULO I. VECTORES EN EL ESPACIO AFN

CAPTULO I. VECTORES EN EL ESPACIO AFN

v = iai + /i2a 2 + . .. + n n& n

CAPTULO I. VECTORES EN EL ESPACIO AFN

se comprueba que u + v tam bin pertenece al espacio, pues

bj = p\j&i +P2ja2+ + Pnjan

Recprocamente, si u = Via, + v 2 a 2 + + y na n H-Kibj +zc 2 b 2 + . . . + ?cmb m ver que

basta sustituir los bjpor sus expresiones en funcin de los a ; para u =

+ Kjfiu -j- K2P 12 + + Kmpim) ai +

es tambin combinacin lineal de a ,, a 2, . . . , a n.

ai=rF (Vj b _ F fVj a i T resulta i / II = X\&.\ -|- A2^2 + + 'H ^ = U iM. \

CAPTULO I. VECTORES EN EL ESPACIO AFN

10. INDEPENDENCIA LINEAL

CAPTULO I. VECTORES EN EL ESPACIO AFN

con {ai, a 2, . . . , a n} linealmente independientes, exige X\

10. INDEPENDENCIA LINEAL

4. Tres vectores a, b , c, paralelos a un mismo plano son linealmente de

pendientes. Supnganse los tres de distinta direccin. Descomponiendo c en las direcciones de a y b

anulando cada parntesis independientemente, con

CAPTULO I. VECTORES EN EL ESPACIO AFN

la condicin Aa + ib + v c = 0 slo podr satisfacerse con A X = v = 0 .

La relacin Aa + jub + v c + p d = 0 Aa + jub + v c + p(d[ + d 2 + d 3) O (Aa + p d ,) + (ib p d 2) + ( v c + p d 3) =

puede lograrse anulando independientemente cada parntesis, con p =

11. DIMENSIN DE UN ESPACIO VECTORIAL

CAPTULO I. VECTORES EN EL ESPACIO AFN

que no quedara ningn a,

12. BASE COMPONENTES DE UN VECTOR

CAPTULO I. VECTORES EN EL ESPACIO AFN

v,e! + v 2e2 + . . . + v nen (Mi + Vi)e, + ( u 2 + v 2) e 2 + . . . + ( u n + vn)en

13. ESPACIO AFN DE PUNTOS

puntos A e A y B e A s e asocia un vector libre f (A, B ) e V, cumplindose las propiedades 1. VA e A, Va G V, 3B e A \ f ( A , B ) = a

, x n}, lo que se escribe

CAPTULO I. VECTORES EN EL ESPACIO AFN

lo que supone que P y Ox coinciden, es decir, son el mismo punto. 14. O R IE N T A C I N D E L E S P A C IO

14. ORIENTACIN DEL ESPACIO

CAPTULO I. VECTORES EN EL ESPACIO AFN

15. CAMBIO DE BASE

Se expresan los vectores e 'i , e '2,e '3 en funcin de la terna { e !,e 2 ,e 3}

La m atriz formada por estas componentes