PARTE Il OPERADORES LINEALES CAPITULO 7 MATRICES Y OPERADORES LINEALES § 56. Operadores El elemento principal en la croa- cién de los fundamontos del andlisis matemdtico consiste en la introduccién del concepto de funcién. Da acuerdo con la definicién, pera prefijar una funcién es preciso indicar dos conjuntos X, ¥ le niimeros reales y enunciar una regla, segin la cual a todo nimero 2€X se le pone en correspondencia el niimero tinico f € ¥. Esta regla representa precisemente una funcidn univoca de Ia variable real x, definida en el conjunto X. Al realitar la ides general de Ja depondencia funcional, no es totalmente obligatorio exigir que X, Y sean unos-conjuntos de nfime- ros reales. Entendiendo por X, ¥ Jos més diversos conjuntos de elementos, Wegamos a la sizuiente definicién qué generalize el con- ceplo de funcién, La regia, de acuerdo con Ia cual a todo elemento 2 de cierto con- junto no vaclo X se Jo pone en correspondencia un finico elemento y del conjunto no vacfo Y, se llama operador. E] resultado y de la apli- cacién del optrador A al elemento + se designa asi: yod i), vod (56.1) y se dice que el operador A acta de X en Y o bien aplica X en Y. El conjunto X se Hama campo de definieién del operador A. Et elemento y de (56,4) se denomina imagen del elemento x y el propio z, preimagen* dol clemento y. La totaliuad 7, de todas las imigenes so llama campo de valores (0 tmagen) del operador A. Kn el caso cuan- do cualquier elemento y € ¥ tiene preimagen y ésta es la tinica, la © En algunos obras so omplen el término simagen reciprocas. QN. del Pri)9M, OPERADORES 185 regia (56.4) se llama biunfvoce. El operador se denomina, ademas, aplicacién, transformacién u operacién. En lo quo sigue consideraremos, en Io esencial, solamonte los asi Hamados operadores lineales. Las peculiaridades distintivas de estos tiltimos consisten en lo siguiente. En primer lugar, el campo de definicién de un operader lineal es siempre cierto espacio lineal o subespacio. En segundo lugar, las propiedades del operador lineal estén {ntimamente relacionadas con las operaciones sobre los vec- tores de un espacio lineal. Al estudiar los operadores lineales supon- dremos, generalmente, que los espacios se dan sobre un campo do niimeros reales o complejos. Por operador se entenderd en lo suce- sivo un operador lineal, siempre que no haya especificaciones especia- les, En la teoria general de operedores los operadores |neales desem- Pefian un papel de la misma importancia que una Hnea recta y un plono desempefian en cl anélisis matemético. A esto se debe, de hecho, Ja necesidad en una investigacién detallada de ellos. Sean dados los espacios lineales X, ¥ sobre un wismo campo P. Consideremos un operador A, cuyo campo de definiciém constituye el espacio X y el campo de valores es cierto conjunto de ¥. El ope- rador A se llama lineal, si A (au + fe) = adu + fdv (36.2) para cualesquicra vectores u, v € X y cualesquiera nimeros a, B € P. Nos hemos encontrado, ya mis de una vez, con los operadores lineales. De acuerdo con (9.8), como operador lineal sirve la magni- tud de un segmento dirigido. Su campo de definicién representa en si el conjunto de todos los segmentos dirigidos de un eje, el campo de valores coincide con el conjunto de todos los niimeros reales. Segin se deduce de (21.2), una correspondencia isomorfa entre dos espacios Hineales también sera un operador lineal. Fijemos un subes- pacio EL on un espacio lineal provisto de un producto escalar. Obten- dremos dos operadores lineales, si a todo vector del espacio le asigna- mos 6 bien su proyeccién sobre el subespacio Lo bien la perpendicular trazade desde este vector aL, La validez de esta aflirmacién se des- prende de (30.5), (30.6). Un operador que a todo veetor z del espacio X pone en corres- Ponaenels el vector nulo del espacio Y es, evidentemente, lineal. ¢ llama operador nulo y se denota mediante el simbolo 0. Asi pues, O = Oz. Pondremos en correspondencia a todo vector z€ X el mismo veclor #. Se obtendri un operador lineal E que actaa de X en X, Este operador se denomina idéntico uw operador unidad. Por defini- cién, w= Er,CAP. 7. MATRICES Y OPERADONES LINEALES: 196 Sea un operador Lineal A que actia del espacio X en el espacio Y. Construyamos un operador nuevo &, conforme a ln inseripeion Bz = = —Ax. El operador obtenido B es también un operador lineal que actia de X en ¥, Se llama operador opweste al operador A. Fijemos, por fin, un niimero arhitrario a y a todo vector x € X Te pondremos en correspondencia el vector az € X. Un operador cons- truido de esta modo sera, por supussto, lineal, Se Hama operadar escalar. Cuando ¢ = 0 obtenomos un operador nulo, cuando « = 1 obtenemos un operador idéntico. A continuacién expondremos el método general para obtener ope- yadores lineales, pero ahora demos a conocer algunas de sus pecu- Haridades caracteristicas. Segin se deduce de {56.2}, la correlacién 2 a A( Z ot)) = 3 aAsy = fm tiene lugar para cualesquicra vectores 2, y los niimeros o;. De aqui se deduee, en particular, que todo eperador lineal A transforma un vector nulo en vector nulo, ¢s decir, 0 = AO. El campo de valores 7, del operador lineal A es un subespacto del espacio ¥. Si s = Au, w = Av, entonces el vector az + fw serd, a cioncia cierta, la imagen del vector at -+ fv para cualesquiera nimeros a, §. Por consiguiente, el vector az + fw pertenece al campo de valores del operador A. La dimensién del subespacio T, se llama range del operador y se indica con ry. Ala par con I’, examinemos un conjunto N’, da vectores € X que satisfacen la igualdad dAz=4. Este conjunto es también unt subespacie y se denomina muicleo del operador A. La dimension a, del niicleo se denomina defect del operador A, El rango y #) defecto no son caracteristicas independientes del oporador linoal A. Sea un espacio X de dimensién m. Deseomponga- moglo en Ja suma directa X=Nat Mas (56.3) donde N, 93 ¢l niicleo del operador A y My, cualquier subespacio complementario. Tomemos un vector arbitrario x € X y represente- moslo en forma de una suma w= ty hb Fay donde ty € Ng. ta € My. Si y = Ax, on virtud de la lineatidad del operador A y de la condicién Ary = 0, obltenemas que yo Axy,058, OPERADORES 197 Por consiguiente, todo vector de 7, tiene por lo menos una preima- gen de My. Esta preimagen en Mf, es en realidad dnica, Supongamos que para un vector y € T, tenemos dos proimagones ry, ty € My. Ya que AM, es un subespacio, entonees ty — zyx € M,. Pero en vista lo qué zy y 2h, on preimSgenes de wn mismo vector y, se tiene ty — ay € Ny. Sélo el vector nulo es comin para los subespacios My, y Nq. Por esta razén ty — typ = 0, es decir, tay = ye De este modo, el operador A establece una correspondencia biunt- voea entre los vectores de les subespacios TF, y M4. En virtud do la Jinealidad del operador esta correspondencia es un isomorfismo, Por esta razdn, las dimensiones de 74 y M4 coinciden y son iguales ara, De la descomposicién (56.3) se infiere que ra bn, =m, (56.4) Hemos de notar qua «l operador lineal A establece una corres pondencia isomorta entre el subespacio 7, y cualquier subespacio AM, de X, el cual en Ja suma directa con el nicleo del operedor cons- Utuye todo el espacio X. Por esto podemos considerar que todo ope- cador linea] A genera toda una familia de otros operadores lineales. En primer lugar, se trata del operador nulo definido en el niiclea V4, es decir, del operador que acta de NV, en 0. En segundo lugar, esto 68 un Conjunto de operadores lineales que actian de los subespacios Af,, complementarios al micleo, en el subsspacio Ty. Una circuns- tancia de gran importancia es que cada uno de log nuevos operadores coincide en su campo de definicién con el operador A. SiN, = 0, entonces Af, = X y todo el segundo conjunto de operadores coincide con el operador A. En cambio, siN 4 — X, entonces A es un opera- dor oulo. Estas cuestiones las analizaremos nuevamente més ade- lante, Ejercicios, Demuéstrese que los pigeinatea operadores son lineales. 4. Eu un espacio Jineal < viene dada wma base. El operndor A asigoa a todo vector 2 € X su coordenada de niimero fijado. 2. En um espacio X provisto de un producto escalur se fija un vector 2). El operador A asigna a todo vector r€X el producto escalur (x, x). En un espacio Vy se fija un vector x5, El operador A asigna m todo vector 5 € Vy el producto escalar [x. 24). 4. El espacio X csté formada por unos polinamios de coeficientes reales. El operador 4 asigna # todo palinomio eu t-€sima derivada. Este operador lleva el nombre de operador de diferenctaesin k-miiltiple, 5. En el espacio de los polinomios dependientes de In variable ¢ el operador A asigna a todo polinomio F(t) un polinomio ¢.P (7, 6, El espocio X esti descompuesto on la suma directa de los subespacios Sy FT. Dopresentemos todo vector z € X en forma de una suma z= u + py, donde u € 5,06 T. E) operador A asigna al vector z el vector at. Este operador Nova el nombre de operador de proyeccin sobre el subespacio S paralelamenra al subespacio J,CaP. 7. MATRICES Y OFERADORES LINEALES 198 § 57. Espacio lineal de los operadores Fiyemos dos espacios linoales X. ¥ sobro un mismo campo PF y examinemos el conjunto @ xy de todos log oparadoras lineales que actian de X en ¥. En el conjunto @ xy Se pueden introducir operaciones de adicién de operadores y de multiplicacién da un operador por les nimeros de P, transformando de este modo w zy en un espacio lineal, Dos operadores A, 8, que actiian de X on Y, son tguales, si so cumple la igualdad Ar = Br para todo vector z € X. Es facil comprobar que la razdn de igualdad. de los operadores 04 una razén de equivalencta. La igualdad de los operadores se designa de tal modo: A=48, El operador C se lama suma de los operadores A, # que actian de X on Y, si se verifica la igualdad Cz =Ar+ Br para todo vector z €.X. La suma de fos operadores se indica coA+B, Por definicion, se pueden sumar cualesquiera oporadores que actian de X en Y. Si A, B son unos operadores lineales de o xy, su suma ser§ también un operador lineal de w zy. Para cualesquiera vectores u,v X y cualesquiera nimeros a, B € P so tiene € (au + po) = A (ou + fo) + B (au -+ flv) = = gdu+ fAe + aBu + pRe = =o (due + Bu) + f (Av + Bo) = aCu + plo La operacién de adicién de los operadores es una operaciia alge- broica. Es, adomds, asociativa. En efecto, sean A, B, C tres opera- dores linoaleg arbitrarios de @ yy. Entonces, para todo veetor 2 € X se verifiean las igualdades (A+ B)4+02=(A+ 8)2+Cr=Ar+ Br+Cr= = Art (Bz + Crps Art (b+ ejaa dt Bt ee Pero esta significa que (4+ B+ C=$A4+ (B+ CR La operacién de adicién de los operadores o3 conmutativa. Si A, B son unos operadores cualesquicra do war y 7 0s un vector§ ST. ESPACIO LINEAL DE LOS OPBRADORES 199 de X, entonces (A + 8)2 Az + Br = Be + dz = (B+ A), es decir, A+B=8+4. Ahora es f4cil mostrar que al conjunto ayy con la operacién do adicién de los operadores introducida es un grupo abeliano. Este cunjunto tiene por lo menos un elemento nulo, por ejemplo, el ope- rador nulo. Todo elemento de @ xy tione por lo menos un elemento opuesta, por ejemplo, un operador inverso. Todo lo demas proviene del teorema 7.1. Segin so deduce de] mismo teorema, la opsracién do adicién de los operadores tiene su inversa. Llamémosla sustraceién y hagamios uso de los simbolos y las propiedades aceptadas. El operador ¢ se llama producto del operador A, que actia de X en ¥, por el nilmero 4 del campo P, si se verifies la igualdad Cz sheAx para todo vector « € X. Este producto so designa con esd El producto de un operador lineal deo xy por un niimero es tam- bién un operador lineal de w xy. En efecto, para cualesquiera veo- tores u, vEX y cualesquiora numeros «, 6 ¢ P tenemos C (au + pu) = BA (au + Be) = % (ade + Pde) = =a (du) + B (Ade) = alu -+- pov. No es dificil convencerse de que en la operacién do adicién de los operadores y on In de niultiplicacién de un operador por un nome- ro 88 cumplen todas las propiedades que determinan un espacio lingal. Por consiguionte, el conjunto w xy de todos los operadores lineales, que sctian del espacio lingal X en ol espacio lineal Y, forma un espacio lineal nuevo. De aqui se infere que desde el punto de vista de las operaciones de multiplicaciém de un operador por un naimero, de adicidn y sustraccidn de los operadores, sa cumplen todas las reglas para las transformaciones equivalontes do las expresiones algebraicas operacionales. En Jo sucosivo dichas reglas ya no serdn un chjeto de especificacion especial. Hemos de notar que nunca usamoes la relacién mutua de los espa- cios lineales X, Y. Puedem ser tanto diferentes como coineidentes. El conjunte w zx de los operadores lineales, qua actiian del espa- cio X en el mismo espacio x, serd uno de Jos fundamantales objetos de nuestra investigacién, Los operadores citados se llamarin ope- radores lingales en X.CAP, 1 MATRICES ¥ OPERADORES LINEALES 200 Ejereicios. 1. Demuéstrose que a) multiplicar un operador por un mimero oo nulo, el rango y el defecto del operador no varian, : 2 Demugstrese que el rango da la suma de woog operadores no es superior & Ja suma de rangos de los sumandos. 3. Domuésirese que un conjunto do operadores linealts de wry, cuyos Sampo de valores pertenceen a un mismo subespacio, forma de por af un subbes- pacio lingal. 4. Demuéstrese que un sistema de dos operadores no nules de wyy, cuyos campos de valores son distintos, es Linealmente independiente. 5. Domuéstrese quo un espacio de operadores ales que octian en V, és unidimensional. § 58, Anillo de los operadores Consideremos tres espacios li les X, ¥, Z sobre un mismo campo P. Sea A wn operador que actia de Xen ¥ y sea # un operador que actia de ¥ en Z. El operador C que actiia de X on Z se llama producto del operader B por el operador A, si se verifica la igualdad Cz = B (Ar) todo yeetor x € X. El producta de los operadores By A so lesigna por C= BA. El producto de los operadores lineales es también un operador lineal. Para cnalesquiora vectores u, v © X y cualesquiera nimeros a, PEP so tiene € (au + fv) = BA (au + pe)) = B (ad + PAv) — = af (Au} + PB (dv) = aCu + Bee, La multiplicacién de los operadores no es una operaciin alge~ braica, dado que ol producto no esté definido para todo par de opera- dores. No obstante, siendo factible, la operacién de multiplicacion de log operadores posea unas propiedades bien naturales. A saber: 1) (AB) C = A (BC), 2) A (AB) = (8) A = B (RA), 68.0 a) (A + B)C = AC + BC, 4p a (B+C)= AB + AC para cualesquiera operadores A, B, € y todo wamero & de P, si, por supuesto, Ins expresiones correspondientes estan definidas. La demostracién de todas estas propiedades se efectia de una manora igual, razén por la cual nos limitaremos a estudiar sola- mente la primera de las propiedades. Sean X,Y, Z, U unos espacins4 S& ANILLO DE LOS OPERADORES 204 lineales fijados y sean A, £, C cuslesquiera operadores lineales, de los cuales A actia de X en Y, B acta de ¥ en Zy C, de Z on U. Observemos ante todo que en la igualdad 4 estén definides ambos. operadores, (AB) C y A (BC), Para todo vector z € X tenemos (AB) C) z = AB (Cz) = A (B (Cz), (A (BC)) x = A (BCx) = A (B (C2)), de donde se deduce la validez de Ja igualdad 4. Gonsideremos otra vez el conjunto wx x de los operadores linea~ Jes que actian en él espacio X. Para cualasquiera dos operadores de wy x se han definide tanto la suma como el producto. De acuerdo con las propiedades 3, 4, ambas operaciones estdn relacionadas por una Jey distributiva, Por esto el conjunto w x x de operadores linea- Jes representa en si un anilla, En Jo sucesiva mostraremos que eb anillo de Jos operadores es no conmutativo. Desde luego, por casua- lidad puede ocurrir que para algun par de operadores A, 3 se cumpla la correlacién AB — BA, Estos operadores se llamorin conmutables, En particular, un operador idéntico es conmutable con cualquier operador. En el anillo de los operadores lineales, al igual que en todo otro anillo, el producto de cualquier operador por un operador nulo es también un operador nulo, La Jey distributiva relaciona con la mul- tiplicacién to sélo la suma de operadores, sino también la diferencia entre éstos. Un anillo de los operadores lineales es a la vez un espacio lineal, por lo cual, para la diferencia entre los operadores resulta licita la férmula A-B=A+(-t)B.' La propiedad 2 de (58.4) muestra la relacién entre la multiplicacién de Jos operadores en un anillo y la multiplicacion por un nimero. Desde luego, quedan en vigor también todas Jas correlaciones que provienen de las propiedades de los espacios lincales. Ejereicios. 1. Denotermes mediante D el operador de diferenciacién y mediante T, et operader de multiplicaciém por f, ex un espacio de polinomios que dependen do la varioble # Demuéstrese quo OT = TD. Hillese el operador DT — TD. 2 Fijemos cierto operador # del stpacio «wy x- Demvégtrese que el conjunto de los operadores 4, para los cuales BA = 0 Forma en aay x tum subvspacio. 3. Damudstrese que ol Tang, de un producto de los operadores no cs supe- rior al rango de cada uno de joe fuctores. 4. Demuéstrese que el defecto de un produtio de operadores no es inferior at derecto de cada uno de log fectores, 7 5. Demudstrese qua ene! aniflo oy y de operadores lineoles buy divizores @ Cero.GAP, 7, MATRICES ¥ OPERADORES LINEALES 20; § 59. Grupo de operadores regulares Los operadores lineales que act: an en el espacio X forman un grupo abeliano de adicién. Poro entre tales operadores pusden indicarse unos conjuntes que representar an si los grupos de multipliceciéu, Estos grupos estan ligados cor Jos llamados operadores rogulares. ‘Un operador que actia en un espacio lineal se llama regular, 8. su niclea consta solo de un vector nulo, Un operador no regular a¢ llama degenerado. Sorin regularos, por ejemplo, el aperador idénticc y ol operador esealar, si no es nulo, A veces, con el operador A, que actia en el espacio X, ae puede ligar cierto operador regular, ineluse cuando A soa degonerado. En efecto, sea 7, ol campo de valore: del operador A y-sea Ny au nicleo, Si Ty yMa ‘no tienen vectore: no nulos comunes, entonces, de acuerdo con (56.4), tenemos X=Natla- Como ya se ha observado, ol operador A engendra un conjunte de otros operadores que actiian de cualquier subespacio, compleman- tario al micleo 4, on el subespacio de valores T,4. En el caso con- siderado el operador A engendra un operador que actia de I, on Ty. Este operador serd regular, puesto quo transforma en cero sdlo el vector nulo de T,. Los operadores regulares poseen una serie de peculiaridades remarcables. Para los operadores de este tipo ol defecto es igual a coro, por lo cual de la férmula-(96.4) se infiere que el rango del oporador rogular coincide con [a dimensién del espacio. Si un operador regular A actda en el espacio X, el campo de valores 7", coincide con X. De este modo, todo vector de X és una imagen de ciecto vector de X. Esta propiedad del operador regular es equivelente a su defi- nicién. ‘Una propiedad importante dol operader regular consiste en la uni¢idad de la preimagen de tode voctor del espacio. Efectivamente, supongamos que para cierto vector y existen dos praimagenes u, v, Esto significa que Au=y, du=y Pero en este caso Atu—vp =O. Por definicién ae operador regular, el nicleo se compone sdly dal vector nulo. Por esto, u—v =O, esto es, u =v. La propiedad demostrada es también equivalente a la definicién do operador regu- Jar. Esta propicdad ya so ha menoionado, de hecho, on el § 56. Un producto do cualquisr niimero finite de operadores regulares 3 también un operador rogular. Evidentemente, basta demostrar§ 50. GRUPO DE OPERADORES REGULARES 203 esta afirmacién para dos operadores. Sean A, 2 cualesquiera opera- dores regulares que actian en el mismo espacio X. Consideromos la ecuacién BAr = 0, (69.4) De acuerdo con la defini¢ion de la moultiplicacién de operadores, osta ecuacién significa que B (42) =0. El operador & es regular, por lo cual de la altima ecuacibn se deduce que Az = 0. Pero 4 es también un operador regular y de aqui pro- viene que z = 0, Asi pues, la ecuacién (59.1) se satialace solamente por el vactor nulo, es decir, el operador BA og regular. Una suma do oporadoras rogulares ya no ser obligatoriamente un oporador regular, Si es un operador regular, lo serd también el operador (—1) A. Pero In suma de estos operadores es un operador nalo que es degonerado. Examinemos el conjunto de operadores regulares que actian en un mismo especie Lineal. En dicho conjunto Ia multiplicacién de los operadores es una operacién algebraica y, ademas, asoctativa. Entre los operadores regulares figura también ol oporador idéntico £, que desempeiia él papel de la unidad. Efectivamente, es facil com- probar que para todo operador A que actiia an elespacio X sa vorifica E=EA=A. Si probamos quo para todo operador regular A existe un operador regular qua, siendo multiplicado por A, da un operador idéntica, esto serf el testimonio de que el conjunto de todos los operadores ragulares forma un grupo de multiplicaciéo. Sea A un operador regular. Gomo go sabe, para todo vector y € X existe un vector, y silo uno, ¢ X, relacionado con y mediante la axpresidn ye Ax, (59.2) Por consiguiente, a todo vacuor y € X se puede poner on correspon- dencia el Gnico vector « € X, para el cual y os una imagen suya. La correspondencia construida cs un cierto operador. Se Hama ope- rador {averso del operador A y so designa mediante ol simbola Av‘, Si se verificoa la desigualdad (59.2), ontonces z= Ay. (59.3) Demostremnos que el operador inverso es lineal y regul.r. EL producto esta definido para cual iera operadores, no aélo para los lineales. Por osto, de In definieion de operador inverse se desprends que AtA = AA = E, (99.4)CAP. 1. MATRICES Y OPERADORES LINEALES 204 Para demostrar estas igualdades, basta aplicar a ambos miembros do (59,2) el operador A-* y a cada uno de los miembros de (59.3), el operador A ‘Tomemos unos vectores cualesquicra u, v € X y cualesquiera mimeros «, fi € # y consideremos un vector c= A“ jeu + fic) — ad-tn — Bate Apliquemos ahora a ambos miembros de la igualdad el operador A. Tomando en consideracién la linealidad del operador A y las corre- laciones (59.4), coneluimos que Az = 0. Puesto que el operador A es regular, esto quiere decir : = 0. Por consiguiente, An! (au + fir) = cA“ + BA-ty, es decit. el operador A“! eg lineal. Es fdeil mostrar que e] operador A~} es regular. Para todo vec- tor y del nucleo del operador A“! tenemos Any = 0. Apliquemos a ambos miembros de esta igualdad el operador A. Comoe A es un operador lineal, entonces 40 = 0. Teniendo presentes Jas eorrelaciones (59.4), concluimos que y = 0. Asi pues, e] nicleo del operador 4-! se compone sélo de un veetor nulo, es decir, A-* eg el operador regular. De este modo, el conjunto de operadores regulares representa en si un grupo de muitiplicaciém. Un poco mas adelante mostraremos que este grupo es Ro conmufativa. Con ayuda de los operadores regulares pueden construirse también unos grupos conmutativos. Sea A un operador arbitrario que actia en el espacio X, Para cualquier niimero positive entero p hallemos el p-ésimo grado del operador A mediante Ja igualdad —. AP= AA... A, (59.5) donde en el segundo miembro estan contenides p factores. En virtud de la asociatividad de la operacién de multiplicacién, el operador 4” se define un{vocamente. Desde Inego, este operador es lineal. Para cualesquiera nfimeros positives y enteros p, rt de (39.5) se deduce que APAT = AM, (59.6) Si se considera, por definieién, que AQ°sE para tedo operador A, entonces la f6rmule (59.6) tendrd lugar para cualesquiera mimeros no negativos y enteros p, r. Supongamos que A es un operador regular, entonces para todo r no negative sera regular también el eperador A’. Par consiguiente,$49 GRUPO DB OPERADORES REGULARES 205 para él existe un operador inverse. De acuerdo con las formulas (7.2), (59.5), tenemos r a At (99.7) Consideraremes también, por definician, que Ar = (AN, Teniendo en cuenta las formulas (59.5), (59.7) y tomando on consi- deracién que AA~! = 4-1A, no os dificil demostrar la correlacion APA = AvAP pare cualesquiera p, r no negativos y enteros. Esto significa que la formula (59.6) es valida para cualesquiera nmimoros enteros p, r. Tomemos ahora un operador regular A y formemos el conjunto w de los operadores del tipo A® para tedos los p enteros. En este conjunto la multiplicactén de los operadores es wna operacién alge- bratea y, como se deduce de (59.6), conmutative. Todo operador A? tiene su inverso, igual a A~’. En el conjunte w, figura también el operador idéntico £. Por consiguiente, el conjunto w, representa en si un grupo conmutativo de multiplicacién. Este grupo so denomi- na efelico, generado por el operador A. (Ay te (A = A Ejercicios. 4, Demmuéstrese que si para doa operadores linsales A, # de wy x vo verifica la correlacién AB = £, entonces ambos operadores son regulares. 2. Demugstrase que para qua los oj lores A, B, dv wy ¢ seun requilares, es nocesario y stficiente que sean regulares los operadores AB y BA. 3. Domuéstreso que si el operador A os regular y al nimero a 0, entonces el operador aA es también regular y (2A)-! -+ Ast 4. Damudstress que T, 2 NV, cuando, y sélo cuando, AT = 6. G. Demutatrese que para cualquier operador A so cumplen,las corrolaciones WAS Ny SNe TART aS Tye 6. Demuéstrese que el operador P ea un srerador de proyeccion cuando, y sélo cuando, P? = P. Qué representaa on si los subespacios N, y FP 7. Demuéstrese que si P es un apeeadte de proyeccién, entonces E — P es tamblén un operador de proyeccion. & Demuéstress qué si el oporador A satisface la igualdad A™ = 6 para algin namero positive entero m, entonces el operador a£ — A ser regular para cualquier nimero & 4 0. ®. Demuéstrese qua el oporndor lineal A, para el cual F 4= aA apd? >... aes fend? = 0, 03 regular, 10. Demuédstrese que si.4 es un operador regular, entonces o blen todos los specetanes ‘en al grupp ciclico a, evn distintos o bien cierta potencia del opera- or A coincide con el operador idéntico.CAP. 7, MATRICES Y OPERADORES LINRALES 206 § 60. Matriz del operador Demos a conocer un método gene- ral pare construir e] operador lineal que actia del espacio m-dimen- sional X on el espacio n-dimensional Y. Supongamos que a los voe- tores de la base ¢,, 2, ..., ém del espacio X les estén asignados unos vectores jf, fs, +++. fm del espacio ¥. En este caso existe un opera- dor lineal A y es, ademas, dnieo, que actin de X en ¥ y que transfor- ma todo vector e, en el vector correspondiente /,. Supongamos que el operador buscado A existe. Tomemos un veo- tor arbitrario z€.X y representémoslo en forma de un desarrollo wm Bit + bata +. + Emtine Entoners frm ACS tres) = 3 bday 3 Bata El segundo miembro de las correlaciones se determina unfvocamente por el vector x y las {mGgenes de Ia base. Por eso la igualded obtenida demuestra la unicidad del operador A, si éste existe. Por otra parte, podemos definir el operador A precisamente mediante esta igualdad, es decir, poner my Ar= 3) Enfae et El operador obtenido, como es fécil de comprobar, es un operador lineal que actia de X en Y y transforma, o la vex, todo vector ey en el vector correspondiente f,. El campo de valores 7’, del opera- dor A coincide con Ja cépsula lineal del sistema de vectores f,, fy, -.- market Pgee Ahora podemos anuneiar una deduccién importante: el operador Hnect A que cetiia del espacio X en el espacio Y esté enteramente de- finido mediante la totalidad de imdgenes Ay Ady e+. Atm Pare cualquier base fijada Buy Ops ee ey om del espacta X. Fijemos en el espacio X Ia hase ¢,, és, . . -, ém ¥ en él espacio Y, la base @, fa, - + ++ ne El vector e, se transforma por el operader A en cierto vector Ae, del espacio ¥, el cual, como todo vector de este espacio, puede ser desarrollado por veetores bdsicos Ae, = ayyg, + aay + dayne6 G0, MATRIZ DEL OPERADOR 207 Andlogaments, Ay = Qqyf, + dana H+ + + Casas Aém = Gm + Gemfs +b +++ dnmdas Los coeficientes a, de estas correlaciones determinan una matriz Age de n filas y m columnas By gg- + + Cam Ago= Bgyfze+ ++ A2m Oni@ages Oa que se denomina matriz del operador A en bases eligidas. Como columnas de la matriz del operador sirver las coordenadas de Ins vectores Ag, Ae, . -., Agm respecte do la base g,, a+ + > +++ Ja: Con el fin de determinar el elemento aj, do Ja matriz del operador A hace falta aplicar el operador al vector ¢; y tomar la j-ésima coordenada en la imagen Ag. Si, para abreviar, designamos mediante (eh la i-ésima coordenada del vector +, entonces ayy = = {Ae;};. En Jo sucesivo haremos uso del método doscrito para de- terminar los elementos de la matriz del operador. Consideremos un vector arbitrerio z € X y su imagen y = Az. Aclaremos de qué modo se expresan Jas coordenadas del vector y en términos de las coordenadas del vector z y Joa elementos de la matriz del operador. Sea n r ca Sten v= Xd nde (60.1) a a Caleulamos a ™ mm = om nom Arn A ge) = Py Edey= zB gy a ays = 4, (3 Ejay) te Al comparar el segundo ruembro de estas igualdades con el desn- rrollo (60.1) para el vector y, conclaimos que deben cemplirse las igualdades Stale para @= 1, 2,2... 7m, 65 decir eygEp t+ Qyske tag tiem = Me AygE) tb aanka + ++ + Sank = Mer (60.2) OnE: +Gnsbs +++ ent = Mn:CAP 7. MATRICES ¥ OPEAADORES LINEALES 208 De este modo, toda operador lineal genera, cuando estan fijadas Jas bases en los espacios X, Y, las correlaciones (60.2) que relacionan entre si las coordenadas de [a imagen y las de la preimagen. Con el fin de doterminar las coordenadas de la imagen segin las coordana- das de la preimagen, basta caleular los primeros miembrus de estas cortelaciones. Para determinar las coordenadas do la preimagen sogan Jas coordenadas conocidas del vector y hemos de resolver el sistema de ecuaciones algebraicas lineales (60.2) respecto de las incégnitas Ei, Eqs ++ or Em- La matriz do este sistema coincide con la matriz del operador, Las correlaciones (60.2) establecon una relacién profunda entre los operadores linealas y sistemas de ecuaciones algebraicas lineales. En particular, de (60.2) provieno que el rango del operador coincide con ol de la matriz del operador y la dimensién del nicleo coincide eon el ciimoro de soluciones fundamentales del sistema homogéneo reducido, De este hecho se deduce trivialmente la férmula (56.4) y una serie de otras formulas. A la relacin existente entra los sistemas do ecuaciones algebra cas lineales y los operadores lineales volveremos con frecuencia. Poro primeramente demostremos quo ontra les operadores y las matrices que, de hecho, detorminan los sistemas del tipo (60.2) existe una correspondencia biunivoca. Ya homos mostrado que todo opera- dor A dotermina cierta matriz A ,,, siendo fijadas las bases. Tomemoa ahora una matriz arbitraria A,, de dimensiones n ™ m. Siendo fija- dlas lag bases én los espacios X, ¥’, las correlaciones (60.2) a toda voe- tor x € X le ponen en correspondencia cierto vector y € Y. Es facil comprobar que esta correspandencia es un operador lineal, Construya- mos la matriz del operador dado en las mismas bases. Todas las coor- denadas del vector e, son nulas, a excepcion de la j-¢sima coordenada que es igual a uno. be (60.2) so deduce qye las coordenadas del vee- tor de, coinciden con los elementos de la j-ésima columna de la matriz Ag, y, por ende, {Ae}, — ay). Por lo tamto, la matriz del operador construido coincide con la inicial Age. Asi pues, toda matriz mn X mas una roatriz de cierto opearador neal que actiia del espacio m-dimensional X en el espacio n-dimens nal ¥, para las bases fijadas on dichos espacios, De este moda se esta- blece una correspondencia biuntvoca, para unas bases fijadas cualesguiera, entre los operadores lineales y las matrices reclangulares. En este caso, tanto los espacios lineales como Jas matrices se consideran, desde luego, sobra e] mismo campo P. ‘He aqui algunos de los ejemplos, Sea 0 un operador nulo. Tenemos : {Oey}, = {0}, =0. Por consiguiente, todos los elementos de la matriz del operador nulo son iguales a cero. Tal matriz se llama mula y se designa por el sim- bolo O.§ 01, OPERACIONES SOBRE LAS MATRICES 209 Tomemos ahora un operador idéntica £. Para este operador on- contramos 1, si i=], Bes}, {Eey} ten={ O, sh thy. Por esta razén la matriz del operador idéntico tiene la forma siguien- te, Es una matriz cuadrada en cuya diagonal principal se disponen las unidades, miontras que los demas lugares som ocupados por ceros. La matriz de un operador idéntico so denomina matriz unided y so designa con la letra F. Nos encontraremos frecuentemente con un tipo mda de matrices. Sean Iq, Ae, «+ -) Aq Whos noimeros arbitrarios del campo P. truyamos una matriz cuadrada A la que tiene dichos nimeros dispues- tos por Ja diagonal principal, mientras que en los restantes lugares se dispomen ceros, es docir, 4 a 1 O dn Las matrices de tal indole se Ilaman diagonales. Si todos los elementos diagonales son iguales entre si, 1a matriz se denomina escalar. En particular, la matriz unidad es escalar. Llameamos también diegona- les las matrices rectangulares, construidas de modo andlogo. Si nos referimos a las correlactones (60.2), estableceremos facilmente cémo actia el operador lineal con la matriz A. Este operador “estira” la tisima coordenada de cualquier vector 2, veces para todo i. Bjercicios. 1. En un espacia de polinomios do grado no superior 2 a ge halla fijedr In base #, ¢ 8, ..-. @. (Qué forma tiene en esto base la matriz del operadoa do diferenciaciin? 2. En cl espacio X se halla dado el operador P de proyeccién sobre el sobespacio S, paralolamente al subespacio 7. Fijamos en X cualquier base formada como a reunion de los subespactos S y T. 2Qué forma tienen en dicha base jas cuatrices de los operadores P , E—P? 2. Supongamios que el operador lineal A actin de X en Y. Designomes modian- te Mf, un subespacto en X, complementaria al ouclao Vy, y mediante A, un subespacio en'Y complementario a T,. ¢Cémo variard la matriz del apera- dor A, si al elegic las hazes on X, ¥, emplearmos las bases de wnos o de todos loa subespacios indicados* § 61. Operaciones sobre las matrices Ya se ha mostrado que, siendo fijadas las bases en los espacios, todo operador lineal se define uni- vocamente por medio de su matriz. Por esto, las operaciones con losCAP 7 MATRICES ¥ OPBEADORES LINBALES 240 operadores examinades mas arriba conducen a las operaciones bien determinadas sobre las matrices. En los problemas que actualmente son de interés para nosotros, la eleccién de una base no juega ningin papel, razén por In cual los operadores v sus matrices so designan mediante Ins mismas letras, omitiendo todos los indices concernien- tes a las bases. Supongamos que dos operadores iguales setiian del espacio m-di- mensional X en el espacio n- ensional ¥. Puesto que los operado- res iguales se ponen de manifiesto de una manera igual, cualquiera que sea la situacién, tendrin una misma matriz. Esto nos ofrece un fondamento para enunciar la siguiente definicién. Las matrices A, 8 de dimensiones iguales n * m con los clemen- tos ayy, O43 86 aman iguales, st ayy = bay para f= 4, 2,...,m f= 4d, 2... me La igualdad de las matrices sa indica de] modo siguiente: A> B. Supongamos ahora, que del espacio X en el espacio Y actiian dos operadores A, 8. Consideraremes el operador C = A+ B. Desig- néemos los elementos de las matrices de estos operadores con cy, ayy, Digs Tespectivamente, Con arreglo a lo dicho anteriormente, ty = lees. Tenijendo presentes la definicién de la sume de opera- dores y las propiedades de las coordenadas de los vectores respecto a las operaciones sobre ellos, obtendremos ty = (Ce), = (CA + B) eh = (dey + Bey) = = {Aer + (Bey) = ay + by Por esta razon: Sa Nama suma de dos matrices A, 2 de dimensiones iguales nm Xm con los elementos a,), by) una matriz C de Jas mismas dimensiones con Jos alomentos ¢,, $1 ey = ay hy parai=1, 2,..5, 8,7 =4, 2, ..., m. La cuma de las matrices se designa con CH=A+S8, Se lama diferencia de dos matrices A, B de dimensiones iguales n & moon los elementos @,,, b,, una matriz C de las mismas dimen- siones con los elementos e)), si ey = Gas — ny para i= 4, 2 am, f= 4, 2,..., m. La diferencia entre las matrices se indica con C=A—Rf.9 t. OPERACIONES SOBRE LAS MATRICES 21 Consideremos un operador A que actia de X on ¥ y el operador C =A para cierto nimero 4. Si ayy, cys son los elementos de las matrices do dichos operadores, entonces ty = {Coy}, = (Aer), = 4 {Aes}, = day, y Hegamos a la siguiente definiciin: Se llama products de ia matriz A de dimensiones n x m con los elomentos aj, por el niimero 4 una matriz € de las mismas dimensio- nes con los elementos cyy, si Cay = Lay. parad= 4,2, ..., ", f= 4, 2,..., m. El producto de una ma- triz por un nimero se designa asi C = dd. Sean dados un espacio m-dimensional X y un espacio n-dimensio- nal ¥ sobre un mismo campo P. Segén lo demostrado még arriba, siendo fijadas las bases en X, ¥, ontre el conjunto wyy de todos los operadores que actian de X en ¥ y el conjunto de todas las matri- cag de dimensions n X m con los elementos del campo P tiene lugar una correspondencia biunfvoea. Puesto que las operaciones sobre las matrices se introducian en concordancia con las operaciones sobro loa operadores, e] conjunta de las matrices x x m, al igual que el conjunto @yy, representa en si un espacio lineal. Es facil mostrar una de lag bases del espacio de matrices. Esta seré, por ejemplo, el sistema de matrices A?) para k = 1, 2, ... -.4 2, p= ft, 2,..., m, donde los elementos aff? de la matriz A®*) se definen por las siguientes igualdades: {hm En el espacio wxy de base sirve un sistema de operadores con matrices A"), De aqui concluimos que un espacio lineal de operada- res que wctian de X en ¥ es un espacio de dimensidn finita y su dimen- sidn es igual al produeto mn, Supongamos dados tres espacigs Jineales X, Y, Z, con Ia parti- cularidad de que el operador A actia de X en ¥, el 8, de ¥ en 2, Sean las dimensiones de los espacios citados m. m, p, respectivamen- te. Convengamos en considerar que en X, ¥, Zestan fijadas ins bases Oye woe Ome Ty) ee ee Ory Pye + + oy Pye El operador A tiene la matriz n X m con Jos elementos ayy y 4, si isk, f=p, 0 en todos los demas casos, ” Aey= ¥) ayy... =!CAP 7. MATRICES ¥ OPERADORES LINRALES 22 El operndor # tiene Ia matriz p X m con [os elementos by ¥ P Ba, ¥) byrne cA 2 heh: Al investigar la matriz del operador C = BA, llegamos a la conelu- sién que debe tener dimensiones p X m, y sus elementos son como siguen: a Cyy= (Ceg} = (BAe) = {e(a aya) = as) =3 44896): 1 2 Bag Dyer) = yo” 6 = {22 Baates) Pals = 2 Bitey fo! werk La formula oblanida nos dicta la siguiente definicién. El producto de la matriz B de dimensiones p X 7 con los elemen- tos b,, por la matriz A de dimensiones » X m con Jos elementos aj, es la matriz ¢ de dimensiones p % m con los olamentos cy, si cys 2 buths (61.1) parai=1,2,..., pf = 4, 2, .~., om El producto de las matri- cad 86 designs con C=RA. De este mode, al producto se ha definido sélo para aquellas matri- cog, on Jag cuales e] nimero de columnas del factor izquierdo equivale al nimero de filag del factor derecho. El elemento de la matriz del producto qua se dispone en Ie interseccion de Lo {-ésima fila y la f-ésima columna es igual a Ja suma de productos de todos los ele- mentos de la i-ésima fila del factor izquierdo por los elementos corres- pondientes de In j-ésima columaa del factor derecho. Recordemos una vez mds que entra los operadores lineales y las matrices tieno lugar una correspondencia hiuniveca. Las operaciones sobre las matrices so introducian conforme a Jas operaciones con los operadores. Por esta razéa, la multiplicacién de matrices esté ligada, mediante la correlacién (55.4), con la sumacién y la multiplicacién de la matriz por un néimaro, ‘Ya se ha observado que ol anillo de operadores y ] grupo de todos los operadores regulares, que actiian en un espacio lineal, son no conmutativos. Para demostrar esta afirmacién es suficiente, eviden- temente, hallar dos matrices cuadradas A, 2 tales que sea AB o& BA.#41, OPERAGIONES SOBRE LAS MATRICES 218 ‘Tomemos, por ejemplo, ii 41 0 a=(j i Be(; i): a-(2 1), pan(‘'), y ol cardcter no conmutative de la multiplicacién queda demostrado. La operacién de multiplicacién de las matrices permite anotar cémodamente las correlaciones del tipo (60.2). Designemos con z, la matriz de dimensiones m x 1, compuesta por las coordenadas del veotor z, y mediante Yon Ja matriz de dimensiones n * 1, compuasta por las coordenadas del vector y. Entonces, las correlaciones (80.2) serin equivalentes a una igualdad matricial gets = Ve (64.2) Se llama igualdad coordenada, correspondiente « la igualdad opera- cional Calculamos; Az = y. Dicha igueldad liga, en forma matricial, las coordenades de la prei- magen con las de lo ima a través de la matriz del operador. Resulta importante observar que desde el punte de vista de la notacién, las igualdades coordenada y operacional parecen ser com- pletamente analogas, siempre que, desde luego, se omitan los fndi- ces, miontras que ef simbola Az se entiende como ¢l producto de A por z. Puesto que Ins notaciones y las propiedades de les operacio- nes sobre matrices y operadores coinciden, cualquier transformacion de una igualded operacional lleva o la misma transformacidn de In igualdad coordenada. Por esto, formalmente no importa de qué correlaciones se trata: de las matriciales o de Jas operacionales. En adelante, de hecho, no haremos distinciones entre las igual- dades operacionales y coordenadas, Mas ain, todos los conceptos y hechos nuevos referentes @ los operadores, lox extenderemos sin reservas. a lag matrices, Ejercicios. i, Demmuéstrese que Jas operaciones sobre las matrices eatin vinculadas 8 In oporacién de transposi id mediante Jes siguientes correlaciones: {aAy = aa’, “+ By aa +e, (ABy |= Ba’, (Ay = A. 2 Demuéstreee que todo aperador lineal en forma de una vonide r opurnlares Hneales y os puss re pees pertain de una sume de un nimero menor de operadores eed a. 3. Demuéstrese que una matriz de dimensiones n Xx m es de tango f, si, y sélo si, puede representarse en forma de un producto de dos matrices no mules de dimensiones a X 1 y 1% m.GAP, 7, MATRICES Y OPERADORES LINFALES 24 4. Supongamos que para las maaieloos feindaa A, & se cumple Ia igualdad para cualquier matrix C. Demuéstress qua A = B. 5. Halleza la forma Senta de una matriz cuadrada quo conmutable con uma matric diagoual dada. 6. Demuéstrese que para que unm matrix sea escalar, es mocesario y sufi- ciente que sea conmutable con todas las matrices cuadradas. 7. La suma da elementos diagoosles de una matriz A s8 denomina trasa dela matriz A y so designe con tr A. Domuéstraso quo td trad’, tr (ad) [= ot A, w+ =u d + eB, ur (BA) = tr (AB). 8. Demuéatrese que uns matriz real A es nula, si, y sélo si, tr (AA) = 0. § 62. Matrices y determinantes Las matrices desempefian un pa- pel esencial en la investigacién de los operadores lineales. Como medio auxiliar en las investigaciones se utiliza con frecuencia un de- terminante. Consideraremos ahora algunas cuestiones relacionadas con las matrices y los determinantes. Supengamos que un operador regular A actia en el espacio X. Su rango coincide con la dimensién de X. Sogin se deduce de las formulas (60.2), esto significa que el range del sistema de columnas de la matriz del oparador coincide con su mimero. Esto es posible cuando, y s6lo cuando el determinante de la matriz sea distinto de cero, Asi pues, Un operador que actila en un espacio lineal serd regular cuando, y sélo cuando, ef determinante de su matriz sea distinto de cero, La propiedad obtenida del operador regular sirve de base para las definiciones siguientes. Una matriz cuadrada se llama regular, si sudeterminante es dis- tinto de cero y 90 Hama degenerada, en ol caso contrario. Naturalmente, apoydndogze en las propiedades correspondientes de los operadores regulares, se puede decir, por ejemplo, que un pro- ducto de matrices regulares es, nuevamente, una matric regular; todas las matrices regulares forman un grupo de multiplicacién, cada matriz regular engendra un grupo efclica, etc, La conexién 6xis- tente con} los operadores regulates permite afirmar que cualquier matriz regular A tiene, y ademas, una sola matriz A~ tal, que ATA =AAt = E, (62.1) La matriz A~! sa llama inversa de la matriz A. Empleando el concepto de determinante, podemes indicar la forma explicita de Jos elementos de la matriz inversa a través de los menores de la matriz A, Sirven de base para la resolucién de este blema las formulas (40.5)—(40.9). Teniendo presente la formula 1.1) para un elemento del producto de dos matrices, concluimos que§ 42 MATRIGES ¥ DETERMINANTES 215 8 las ecuaciones (62.1) les satisfaco la matriz A A, An pe | (42 Asm vee Arm Aqui d es el determinante do la matriz A; A,;, el complemento alge- braico de su elomento a4). Debido a la unicidad de ia matriz inversa, ésia, puede tener sélo esta forma. 2 Introduzcamos unas designaciones abreviadas para los menores de una matriz arbitraria A. El menor, dispuesto on las filas i, 4g ee ey dp y em las columnas j,, fy, .. 0. Jp, 30 designard mediante A ie fay way * Bay Fav ees dp, Consideraremos, ademas, que la coincidencia de alganos indices en la fila superior (inferior) de la dosignacién del menor significa que son coincidentes las filas (columnas} del mismo menor. TEOREMA 024. (fdrmula Binel—Cauchy). Supongamos que ung matriz cuadrada C de orden a es igual al producto de dos matrices rectan- gulares Ay B, cuyas dimensiones son n X my m % n, respectivamente, con la particularidad de que m= n. Entonces {2...n 1 2..0 key ky... k, ed ach ED) 12...Rf cmectes hymn Ny Ry es By | (62.2) DEMOSTHACTON. Denotemas con ayy, b,j. cy los elementos de Jas matrices A, #, C. Por definicién del producto de las matrices, tenemos ey 2 yh. Sustituyendo, los elemoutos do [a matriz © por sus oxpresiones y sir viéndose de la propiedad de linealidad del determinante en relacién a fos vectores columna, oneontramos s rs x DB aiybat 3 ttedbag aS 2, G1, bi yn J = ae! ae (“ eoFin ) aot Cage+> CanGAP 7. MATRICES ¥ OPERADORES LINEALES 216 m o Baba x 44,5),2 «+ - =. ben m mB) dak ee ee eee eee = nim! yy byt Ors, nm 3 det} - ol get “ Grube Pnsybayts « -3, Bn Dean sx 045 Mat @iebeg «6+ Bis Pron Sy GRE | eee cerca = see a= An 1 Oy Bae x 1 2...0 vise! yc (; Bes tbat coe Bagne — (62.3) (Cada uno de los indices s,, $,. .... 8, no dependa de los otros y puede tomar cualesquiera valores desde 1 hasta m, por lo que la expresién obtenida representa en si la suma do m™ sumandos. En dicha suma serdn nulos aquellos sumandos cuyos valores tengan aunque sea dos indices iguales, puesto que serdn iguales a cero los menores correspondiontes de la matriz A. Todos los demas suman- dos puedon dividirse en grupos con 7! sumandos en cada uno de ellos, reuniendo en cada grupo todos los sumandos, cuyos valores de los indices forman una misma totalidad de nimeros, Designemos mediante k,, ky, .... &, lu disposicién de los valo- res da los indices &, S3, ..., Sa, ordenada en forma creciente. Sea © (is fae ee oy a) = CH), donde NV es el nimero de transposiciones necesarias para transformar Ia permiuttacion 6, 4, +++) Sx 8 la Ay, Ag, ~~ 0) Ky. Em este cago, dentro de los mites de un grupo de los valores de los indices 4, fy) ++ +1 Sur la suma de los sumandos correspondientes de (62.3) soré igual a 12a Bie oy sys na(, bn.) batt ‘A Jeu Bip ey Sa) Dade «=» bag = see g(t eg (Reba he ~" Geral (; 2 eae De Ia corrolacién obtenida deducimos la formula (62.2). ba462 PASO A LA OTRA BASE UT cononanto. El determinante del producte de dos matrices cuadradas es igual ai produete de los determinantes de [os foctores. iy nih en la formula (62.2) constard, en el caso dado, de un sumando, por Jo ewal 12...9 12...” 412... 9 e(, 2G 2 aC vel o bien, lo que es igual, det C = det A-det 2. cOROLARIO. Supongames que una matriz cuadrade C de ordenn es igual al producto de dos matrices rectangulares A y EF cuyas dimensio- nes son X my m K A, respectivamente, con la particularidad de que m. 5. Eeeribase In formula del (ipo (62.2) para un menor arbitrario dol pro- ducta de dog matrices. 6. Demuéstresa quo para cualquier matriz real A today los menores prin- cipales de las matrices A'A y AA" 300 To negatives. 7. Demudstress que ¢l tango de un producto de matrices no es superior al range de cada uno de los faciores, 8. Dh Se que €n una operacion de multiplicacién por una matric regular el rango mo varia. $63. Paso a la otra base Siendo fijadas Jas bases en los espacios, la igualdad coordenada permite investigar totalmente la aecién de un operador lineal, Evidentemente, cuanto mas simple es Ja forma de la matriz de on operador, tanto més efiear ser la realiza- cién de dicha investigacion. Genoralmente Jas matrices de los opera- dores dependen de las bases y nuestra tarea inmediatn consiste en aclarar asta dependencia.GAP. 1, MATRICES ¥ OPERADORES LINEALES 218 Sean ej. ts. ++. tm ¥ fy fey». fm dos bases de un mismo espacio m-dimensional X. Los vectores fy, fy .- +. fm $0 definen univocamegte mediante sus descomposiciones A= Putit Pastat - + + Pnttms te Pata} Boats (63.4) fon = Pim?s + Pama} «++ Brom me segiin los vectores ¢, ty ..., €m « Log cocficientes p,, determinan Ja matriz Pa Pas e+ Pim Pal] Pa Pa -+- Pam Prt Pma+++ Pom Ja cual se ama matriz de la transformacidn de coordenadas al pasar de In base @, @, ..-, &m ala base fy, fe. os.) fm Tomemos un vector arbitrario z € X y descompongémoslo segiin los vectores de ambas bases, Sea De acuerdo con (884) tenemoa fm mm om a ber= & Wh= 4 th 4 Pney= . _— = Py (Daur Je= (3 map) ee Comparando los coeficientes de ¢, en el primero y segundo miembros de las correlaciones obtenidas, encontramos b= 4 Prt (63.2) para i = 4, 2,..., m, Estas formulas so denominan férmulas de transformacién de las coordenadas, Designemos, como hasta ahora, mediante z, y zy lag matrices de dimensiones mx 1, formadas por las coordenadas del vector + en las bases correspondientes. Las formulas (63.2) muestran que t, = Pry. (63.3) La matriz de Ja transformacién do coordenadas debe ser regular, puesto que en el caso contrario tendré lugar la dependencia lineal entre gus columnas y, por tanto, emtco los vectores f,, Ja, » Por supuasto, cualquier matriz regular és una matriz de cierta$03 FASO A LA OTRA BASE 219 formacién de coordenadas definida mediante la igualdad (63.3). Al multiplicar a la izquierda la igualdad (63.3) por la matriz P-!, obtan- dremos xy = Pox, Supongamos ahora que en el espacio lineal X vienen dadas tres Wasos 2. eg, «6 ms fay «os fm ¥ Tas + + oe Pm El paso do la pri- mora base a la tercera puedes realizarse con ayuda de dos procedimien- fos: o bien directamente de Ja primera a la tercera o bien primero de la primera a la segunda, y después de Ia segunda a la tercera, No es dificil establecer Ja conexién entre las matrices correspondientes de la transformacién de coordenadas. De acuerdo con (63.3), tenemos: ty= Pry, m= Az, t= Srp De las primeras dos correlaciones se desprends a, = Pz, = P (Rz,) = (PR) z,, de donde provione que 5 = PR. De este modo, cuando Jas coordenadas se transforman de manera eonsecutiva, la matriz de la Lransformacién resultante seca igual al producto de matrices de las transformaciones intermedias, Examinemos otra vez el operador lineal A que actia de X en ¥. Elijamos en el espacio X dos bases ey. .... @m ¥ fiy +s oe Fy ¥ ON el espacio Y otras dos bases q,% . «. Ga ¥ bye «yf, En las primeras dos bases a un mismo operador A le corresponde Ja igualdad coords- nada Yq Agate (63.4) y en las otras dos bases, la igualdad Yr = Age (63.5) En concordancia con estos pares de bases, para un mismo operador A tenemos dos matrices A,, y A 4. Designemos con P la matriz de la transformacién de coordenadas al pasar de la basae,, ..., @mala base, .... fm ycond, la matriz de la transformacién de coordenadas al pasar deg, .- +1 dn &@by +++ weer bg. Se thane vem Pay, Yq = OUe (63.6) Sustituyendo estas oxprasiones para t,, yg en (63.4), obtenemos Que = A gePry, de donde se deduce que ¥1 = QA GP) 2,CAP, 7. MATRICES ¥ OPERADORES LINEALES 220 Al comparar la igualdad obtenida com (63,5), concluimos que Ay = OG? (63.7) Esto es precisamente la correlacién buscada que liga las matrices de un mismo operador en diferentes bases. Ejercicios. 4. Demuéstrese que al pasar a otras bases el rango de In matriz del operador no cambia, 2. Demutetrese que ol determinante de una matriz de un operador que actin em wn epacio lineal no depende de cémo se lige la base. 3, Qué correspondencia puede ostablecerso entre whos operadores regula- res, que actian en ol espacio X, y las transformaciones do coordoundas en eb mismo espacio? : 4, Llamemos homénimas dos bases de un espacio real, si el determinante de su matric de la translormacién de coordeandas es positive. Demutstrese ‘uqe todas las bases pueden ser repartidas entre dos clasce de bases homénimas. 5. Llamemos izquierda una clase de las bases homénimas y derecha, Ia otra. Compdronge dichas clases con las descritas en el § 34, § 64. Matrices equivalentes y mafrices semejantes A todo operador lineal A que ac- tia del espacio X en el espacio Y le corresponde wn conjunto de sus matrices que se define por la posibilidad de legir diferentes bases en Xe Y. La estructura de este conjunto puede ser sustancialmente diferente on dependencia de si son o no coincidentesX @ Y. Dos matrices rectangulares A y B de dimensiones iguales se deno- minan equivelentes, si existén dos matrices euadradas reguiares y § tales que se verifique B= RAS, De (63.7) se deduce que dos matrices, correspondientes a un mis- ma operador lineal, siendo diferente la eleccién de las bases en X @ ¥, serdn siempre equivalentes entre si. No es dificil ver que la afir- macién contraria ea también cierta. A saber, dos matrices equivalen- tes corresponden siempre o un mismo operador lineal en las bases adecuadamente elegidas, De este modo, a todo operador lineal que aplica X en ¥ Ie corresponde una clase de matrices equivalentes. TEOREMA ai1 Para gue dos matrices rectangulares de dimenstones iguales sean equivelentes, es necesarie y stftciente que tengan un mismo range. pEMOSsTRACTON, Al multiplicar una matriz cualquiera por otras matrices regulares, su rango no varia, razén por la cual Jas matrices oquivalantes tienen ranges iguales. Supongamos ahora que dos matri- ces de dimensiones iguales tienen un mismo rango. Demonstraremos que estas matrices son equivalentes. Domostraren.os, ademds, quo§ ¢&. MATRICES FQUIVALENTES Y SEMBJANTES 22t cada matriz de rango r es equivalente a la matriz 7 Sea dada una matriz rectangular de dimensiones n X m. Define cierto operador lineal A que aplica el espacio X de base 4, ¢, .- - - oy @m em el espacio Y de base q,, 9s, -. -+ gn- Designomos median- te rel nimero de vectores linealmente independientes entre las ima- genes de los vectores de la base Ae, Ae, .. -, Aém. Sin perturbar la generalidad, podemos considerar quo los-veetores Ag,, Ae,, ..., Ae, son linealmente indepondientes, puesto que se puede conseguirlo numerando adecuadamente los vectores de la base. Los restantes veotores, Aép4y, ---) Aémi s@ expresan linealmente en términos do los primeros © Aey= 2 expe (84.4) parak =r-+4,..., m. Definamos la base nueva fy, fay ++ oe fm en X de la manera siguiente: tar had, 2, ue ry = ey 64.2) i fa— Ditytn Rertiy..m (642) fet En este caso, en virtud de (64,1), tenemos Af =0 (64.3) parak =r, ..., m. Hagamos, luego, Afy= yy (84.4) para j= 4, 2... . 7 Los vectoras 4, f, -.-, f, son, por hipdte- sis, linealmente independientes. Completémoslos con ciertos vectores triage ++ rr dy hasta obtener una base on ¥Y y examinemos la metriz del operador A on las bases nuevas f,, .- +; fm ¥ ty ---) tay Los coeticientes de ia k-4sima columna de dicha matriz coinciden con las coordenadas del vector Af, en la based, ..., ty. De conformidad con jas ugralasionicg (64.3), (64.4), lo matriz del operador A coincidira con i,CAP 7, MATRICES ¥ OPERADORES LINEALES 222 La matriz inicial y Ja J, corresponden a ua misino aperador, por lo sual son equivalentes. Consecuentemente, todas las matrices de un mismo rango son equivalentes a la matriz J, y por esta razdm son equivalentes entre si. En el transcurso de la demostracién del teorema hemos respondi- do 2 una pregunta muy importante: “jCémo se deben elegir las bases en los espactos X ¢ ¥, para que la matrix del operador iineal tenga una forma mds simple?” Aderuds, hemos mostrado la forma explicita de osta matriz mas simple. La respuesta, tan sencilla y eficaz, resulté ser posible debido a que las bases en X ¢ ¥ podian escogerse independientemente una de la otra. Supongames ahora que el operador A actia en el espacio X. Por supuesto, podriamos considerar nuevamente las imagenes y prei- magenes on diferentes bases, no obstante esto no parece ser natural aqui, puesto que tanto las imégenes como las preimégenes pertenecen a un mismo espacio. El empleo de diferentes bases complicaria con- siderablemente Ja investigacién del mode con qua actia e] operador contra los vectores del espacio X. Si la hase es una, los matrices P y @ en (63.4) coinciden.:Por consiguiente, a todo operador lineal que actia en un espacio lineal le corresponds una clase de matrices relacionadas por las correlaciones * Bm P-gp (84.5) pare diferentes matrices regulares P. Las matrices de tal indole se aman semejanies y la matriz P se denomina matrts de ja transforma- cién de semejanza. La cuestién seferente a las condiciones hajo las cuales dos matri- ces pueden ger semejantes se resuelve con unas dificultades bastante grandes y la respuesta se obtendra mas adelante. También es compli- cada la cuestién acerca de la forma de Ja matriz mas simple entre todas las matrices semejantes. Los dos capitulos siguientes estan de- dicados precisamente a las investigaciones de estos problemas. Ejereielos. 1, Demuéstreso que ol criteria de equivalencia de las matrices y el eriterio de serejanza son unas correlaciones de equivalencia, _ 2. Demuéstreso que las matrices semejantes poseen una traza y un deter qminante iguales, 3. Domuéstreso que en tna misma transformacién de semejanze un gripe ciclice do matrices regulares pasa en un grupe efclico. 4. Temuéstress quo #0 und misma transformacién de semejanea un subespa- cio lineal do matrices paso on un subespacio lineal. §. En un conjunte de matrices cundradas del mismo orden examinemos un oporador consistente en [a transformacién dé semojenta de dichas matrices com una matriz fijoda do la transforryacién da somejanza, Demuéstrese que ‘este operador es lineal, 6. Demuéstrese que el conjunto de todos los operadores do una tronsforma- ciém de somejanen definidas sobra un mismo conjunte do matrices cuadradas del mismo orden forma un grupo de multiplicaciin,CAPITULO 8 POLINOMIO CARACTERISTICO § 65. Valores proplos y vectores propios Supongamos que un operador li- neal A achia en el espacio X. Esto significa que a todo vector € X¥ sole pone en correspondencia un vector y = Az del mismo ospacio X. Puede ocurrir que para cierto vector no nulo x Ja imagen y la preima- gen son colineales. Segin verémos en lo sucesivo, una sitmacién semejante permite simplificar considerablemente Ja investigacién del operador, El niimero 4 se denomina valor propio y el vector no nulo 2, vector propio del operador lineal A, siempre que estén ligados entre si mediante la correlacién Az = he. Hemos de noter que si z ¢3 un vector propio correspondiente al valor propio 4, todo vector colineal ar sera también un vector propio pora «0. Si al valor propio & le corresponden dos vectores pro- pios z, y, entonces todo vector no nule del tipo az + By también ser un vector propio. Por dafinicién, al vector nulo no 3 propio. Por esto el conjunto X,, de todos los vectores propios que son combina- ciones lineales de cualquier nimero de vectores propios dados, corres- poudientes a un mismo valor propio 4, no serd un subespacio. En el caso de amplisr X,, al agregarlo um vector oulo, X, se convertiré en un subespacio. Este iiltimo se denominara subespacio propio del operador A correspondiente al valor propio 4. No es dificil comprender que todos los vectores no nulos del espa- cio X serdn vectores propios de los operadores 0, E y a£, Gada uno de estos operadores tiene silo un valor propio que es igual a 0,41 y ¢, respectivamente, ¥, consecuentemente, por lo menos un snhespacio propio que coincide con todo el espacio mr El] operador proyector P cuenta con dos totalidades de vectores propios: todos los vectores pertenecientes al campo de valores del operador P y todos los vee- tores pertenecientes al campo de valores del operador F — P, A la primera totalidad de vectores propios lo corresponds el valor propio % = 1; ala segunda, el valor propio A = 0, En efecta, como P? = P,CAP, @ POLINOM(O CARACTERESTICO 224 tenemos P (Pr) = Pz = Pr = 1-Pr, P(E — Pz) = (P— PY) 2 = (P — PF) = 0=0-(E — Pe. Por consiguicnte, el operador proyector tiene al menos dos subespa- sios propips. TEOnEMA 654, Un sistema de vectores propios 2, £_, . -., 2m del operador A, que corresponden a los walores propios distintos dos @ dos Bas Aes ss Meme 68 Uinealmente independiente. DEMostAactoN. Los veclores propios son no nulos por definicién, razén por la cual el teoroma 63 justo, a ciencia cierta, para m = 4. Supongamos que es vélido para cualquier sistema dem — 1 vectores propios y no es vélido para los vectorés ry, 2, ..., Bm. En esto ‘taso él sistema de dichos vectores ser linealmente independiente, es decir, para ciertos niimeros @, ag, ++ -» Gp» 00 iguales a cero simul- tineamente, se verifica ‘la igualdad yy H Gete be + tm = (65.4) Supongamos que a, 9 0. Aplicando A a (65.1), obtendremos Gyr, + het, +... + admit = (65.2) Al multiplicar (65.1) por 4m y al restarla de (65.2), hallamos hy (hy Deen) y+ Oly eg Moen) Tp Pe ee seh thy Gamat hn) Ima =O Conforme a la suposicién inductiva, de aqui se deduce que todos lo cooficientes de los vectores zy, ty, .. ., 2m, 30m nulos. En particus lar, % lq — hm) = 0, lo que contra la condicién dy 34 Am ¥ la supesicién a, 50. Por consigulente, el sistema de vectores x, Ty, +. +) Dm 88 linealmente independiente. COROLARIO. Toda operador lineal que acti en un espacio m-dimen- sional no puede tener ms de m valores propios distintos dos a dos. Es da mayor interés el caso on que el oporador A en un espacio m-dimensioual tlene m valores propios distintos dos a dos. De acuerdo con el teorema 65.1, en este caso podemoes escoger una base del espa- cio compuesta integraments da los vectores propios del operador A. El operador A que actia en el espacio m-dimensional X se Hama operador de estructura simple, si tione m vectores propios linealmante independientes, El hecho de que entre todos los operadores lineales destacamos los de astructura simple so oxplica de una manora sencilla, Estos opera- dores, y sélo ellos, tienen en cierta base las matrices diagonales, Efeo- tivamente, sean z,, Zp, ..., tm los vectores propios del operador 4 linenlmente independientes. Al tomarlos en calidad de los vectores basicog del espacio X, construyamos en la base citade Ja matriz del§ 05. VALORES ¥ VECTORES PROPIOS 225 operador A, Tenemos An=hity Aity = datas Alm = Amin: Reeordemos que los elementos de las columnas de la matriz de] ope- rador coincidon eon Ins coordonadas de los imagenes da los vectores de la base, Por eso, la matriz A, del operador A tendra en la base de los vectores propios la forma siguiente: 4,0 ...0 mess O A,...0 : Ahora, si el operador A tiene en cierta base 2), 2), ..., tm una matriz diagonal con ciertos niimeros 34, 4g, -- +. Am (no forzosa- mente distintos) an la diagonal principal, entonces z,, tq) .. +) %m sordn vectores propios del operador A carrespondientes a los valores Propios Ay, Age oe ov Ame De este modo, los operadores de estractura simple, y sdlo ellos, tienen en cierta base unas matrices diagonales. Esta base puede ser compuesta solamente de los vectores propios del operador A. La accién de cualquier operador de estructura simple se reduce siempre al “alargamiento” de las coordenadas dol vector on la base dada. Si todos los operadores lineales tuvieran estructura simple, el problema yeferente a la oleccién de la base en la que la matriz del operador tenga una forma mas sencilla seria resuelto por completo. No obslanta, con los operadores de estructura simple no 56 agotan todos los operadores lincales. Ejercieins. i. Suponga: jee el oparador A tiene un vector proplo x correspondiente al valor propio 2. he Bemubatresn qe para ¢l operador yl 4 yA oe. eA, donde cy, 4, .... &, son ciertes nimeros, el vector ¢ sera también propio, correspondiente, esta ver, al valor propio y+ ak. . + tinh, 2. Demuéstrese que los operadores Ay A — oe Vienea los mismnas vectores protice. Sulseniars qué sean cl operadee 4 fe niimera ot. 3. Demudsteoge que ol operador 4 os F cuando, y aélo enando, no Miene valores propics nulas. 4. Demutstrese que los aperudores A y A-? tienen los mismos vectors propics, cualquiera que sea el oporador regular 4. ¢De qué modo estén rela- ciomades entre ai tos valoces propios de estos operadores?CAP. 8. POLINOMIG GARACTERISTICO 226 5. Demuéstrese que si al oporador A es de estructura simple, el operador OE + aA + oe tot es también do estructura simple. 6. Demuéstrese que un operador de diferencisciGn que soli en un espacio Ge pollaition bo és operador de estructura gimple. Hallense los vectores propics y loa valores propica da este operador. 7. Examinomes el operador de una transformacién de semejanza con Is suatriz diagonal, Damuéstreso que dicho operador os de estructura simple, Hallense todos sus vectores propios y valores propios. § 66. Polinomio caracteristica No todo operador linea! tiene aunque sea un solo vector propio. Supongamos, por ejemplo, que ua operador actiia en cl espacio V', y realiza ol giro de cada segmento di- rigido alrededor del origen de coordenadas a 90" en el sentide con- trahorario. Es evidente que en este caso la imagen y la preimagen nun- ca serdn colineales y el operador no tendra ni un solo vector propio. Para investigar la cuestidn de existencia de los vectores propios, deduzcamos primero una ecuacién la que satisfacen todos los valores propios del operador lineal. Supongamos que el operador lines! A actia en el espacio m-dimen- sional X prefijado sobre el campo P. Si el operador dispone de valor propio 3, correspondiente al vector propro 2, entonces, por defini- cid, queda eumplida la correlacién Ax = hx, o bien, Jo que es igual, GE — Aja = 0. (66.4) El vector z es no mulo, por lo cual de (86.1) se deduce que el operador AE — A es degenerado. Do este modo, los valores propios del opera- dor A son aquellos mimeros 4 de P, y sdlo ellos, para los cuales eb operador AE — A es degonerado. Fijemos en el espacio X cierta base ¢,, ey... +) @m ¥ designemos mediante A, la matriz del operador A en dicha base. E] operador E — A eg degenerado cuando, y sélo cuando. sea degencrada av matriz AE — A,, es decir, cuando det QE — A,) = 0. (66.2) La determinacién de valores propios no ha sido ligada con la elec- cién de Ja base en el espacio X. Por osto los numeros } del campo P, que satisfacen le ecuacién (66.2), tampoco deben depender de Ia hase. En realidad, no depende de fa eleccién de fa base el primer miembro de (66.2), cualquiera que sea 4, aunque formalmente osta dependencia se ‘ha obgervado. Supongamos que en cierta otra base fu a Fi el operador 4 tiene Ja matriz Ay. Conforme a (64.5), las matrices A, y Ay estén ligadas entre si mediante Ia correlacién Ay =Q7A.0 Tins§ %, POLINOMIO CARACTERITICO 227 donde ( os una matriz regular. Ahora, con cualquior 4 de P encon- ‘Lramos det (AZ — Aj) = dot (KO-EO — 0714.0) = del (0 AE — ALO) = = det Oo! det (AE — 4,) det Q = (dot QO) det QE — A} det Q= = det GE — A,). Al tomar en consideracién la expresién de] determinante de Ja matriz en términos de los elementos de ésta, es facil entender que el primer miembro de (66.2) puede ser representado en In forma: det (AE — Ay) = ay + ah bene faa! f ay h™, (68.3) Los coeficiontes a, .. +. Gm se calculan do tal o cual manera segin Jos elementos de Ja matriz A, y no dependen de i. La potencia ma- xima de + sélo figura en ol producto de los clementos diagonales de ia matriz AE — A, y, por ello, dy =i. He aqui la expresién explicita parn dos cocficientes mas. A saber, a, = (—1)" det A, Om = tt Ay. Se puede suponer, en general, que al representoc el determinante det (AK — A,) en potencias de 4, empleando pura eflo diferentes métodes, ohtendremos Ins expresiones de un tipo andloge al segunda miembro de (86,3), mas con distintos coeficientes a). Sin embargo, en lo que sigue se mostrar que ia supusiciin citada no tiene lugar, Los coeficienies en el segundo miembro de (66.3) no dopenden de cémo se realiza su calevlo. Teniendo on cuenta que el determinante det (A — A,) no depende de la base, llegamos no que todos los coefi- clenles @p, . . +) Gm. 50N, on realidad, las caractertsticas del opera= dor A. La funcién UA) ag bah be gE (66.4) se denomina pelirioméo caracterfsticu de! opermdor |. A todo operador linéal s¢ le atribuye un polinomiv caracteristico. Lo reciproce es también cierto. Todo polinomie del tipo (40.4) eg caracteristico para cierto operador lineal, A titulo del iltine puede servir, por cjemplo, un operador cuya matriz A, tiene on alguna base le forma siguiente: 8 gy mag oy ay 1 Oo. 0 0 A= 0 t aan: Me oO (66.5)CAP. & POLINOMIO GARACTERISTICO 228, Es ficil convencerse de esto por comprobacion inmediata, recurriendo al teorema de Laplice para calcular el detorminante det (KE — A,). Las matrices del tipo (66.5) se llaman matrices de Frobenius. Para que ¢l utimero 2 del campo FP sea e) valor propio del opera- dor A, es necesario y suficienie que satisiaga la ecuacién Og te ayh +... + td"! + AT = 0, es decir, que sea una raiz del polinomio caracteristico. No en cual- quier campo P ni mucho menos, todo polinomio con los coeficientes de P tiene aunque sea una sola raiz de P. Como ejemplo puede indi carse el polinomio 24 + 1, que no tiene raices ni en el campo do mi- meros racionales ni en el campo de nimeros reales, El campo P se Hama algebrateamente cerrado, si todo polinomio con los coeficientes de P tiene a] menos una raiz de P. Asi pues, si un operador lineal actia en un espacio dado sobre un campo algebraicamento cerrado, tione sin falta por lo menos un solo vector propio. Pueden construirse los diversos ejemplos de los campos algebraicamente cerrados, no obstante, el mayor valor practice lo liene solo uno de ellos, a saber, el campo de nimeros complejos. Nuestras investigaciones mas proximas estan dedicadas a la demostra- cién de que dicho campo es algebraicamento cerrado. Ejercicios. i. Hallege el polimomio caracteristica para los operadores nule e idéntico. 2, Hallese el polinomlo caracteristico para el operador de diferenciacion. Sack mil de igualdad de operadores la coimcidencia de los polinomios iatico: 4. Denruéstrese que los operadores con las matrices A y A‘ tienen polino~ mios caractoristicos sguales 5. Supongamos que en cierta base el operador tiene la matrix (66.5). Hillen- se ea Ja misma base las coordenadas de los vectores proplos. 6. Demméstrese que un operader con ts matriz (66.5) tiene estructura simple coum, sélo cuando, el polinomie caracteristice cusata con m raiccs distintas los a dos. § 67. Anillo de polinomios En algunos ejercicios ¥ ejemplos ya hemos atraido la atencién del lector a las propiedades algebraicas de los polinomios. En relacién con el estudio del polinomio caracte- ristico estas investigaciones serdn continuadas. Sea dado un campo arbitrario P. Consideraremos un conjunte de polinomios, es decir, de funciones del tipo T(z) = ay + age +... + aya", (OTA) dapendientes del argumento z, que toma los valores de P, y que tie- nen los coefieientes ay, .-., @, de P, Comvengamos en que f (z) es un polinomio de grado n, siempre que a,, = 0 y los cooficientes de niime-§ 67, ANILLO DE POLINOMIOS 220 ros mayores sean nulos. El iinico polinomio que no tiene grado deter- minado es aquel cuyos coeficientes son todos iguales a cero, Lilamé- moslo pelinomio nudo y lo designaremos con el simbolo 0. Dos pelinomios se considerardn iguales, si son iguales todos sus coeficientes da los argumentos de potencias iguales. Sean dados, ahora, los polinomios j (2) y g (2) de grados nm y # respectivamente. Denotemos FQ) = a9 + ays +... gaye + 4,2", F(z) = by + byt ee bgt + bt y supongamos, para concretar, que n> s. Se denomina suma f(z) + + g (2) de los polinomios j (2) y g (2) ef polinomio P+ ge) = 09 Heys +... 4+ epg t + ee, donde ¢, = a, ++}; para todo is, La potencia do la suma de los polinomios os igual a n, si n>, pero sera inferior an, para n = s, siempre que b, = Se llama producto f (2)-@ (z) de los polinomior f tt) y o : ie) el pali- nomio Ff ltjeg () = dy toe tee tay + day et, donde (67.2) d= bata ay parai= 0, 4, ..., = +s. El coeficiente d, es la suma de productos de aquellos coeficientes de los polinomios f (z) y g (2) cuyos indices, siende sumadas, dan f. Por ejemplo, dy = deba, dats = tyby. De Ja ultima igualded se desprende que d,,, 9 0, por lo cual Ja potencia del producto de polinomios no nulos es igual a la suma de potencias da los foctores. Por consiguiente, ¢] producto de les poli- nomios no nulos es un polinomjo no nule, Coma caso particular del producto de los polinomios imterviens el producto uf (2) del polinemio f (z) por ef niimere a, puesto que un numero no nulo puede considerarse como un polinomio de grado nulo. E] conjunto de polinomios con las operaciones introducidas mas arriba representa en si wn amedlo conmutative. No nos detendremos an la comprobacién de la validex de todos los axiomas, TEOREMA aT, Para evalguler polinamia f (2) y el palinomio no nulo g (2} pueden hallarse los tinicos polinomios g {z) y r (z} tales que se verilica la ecnacién fl=e)¢@)+re) (67.3)CAP, §, POLINOMIO CARACTERTSTICO 230 con fa particularidad de que ef grado de r (z) es inferior al de g {z) o bien F(z) = 0. DEMoaTRAGION. Supongamos quo los polinomios f(z) y g (2) son de grado mys, Sin <0 bien j (c) = 0, entonces en la deacomposi- cién (67.3) podemos hacer g (z} = 0, r (2) = f (z). Supangamos, por esto, que ns. Representemos los polinomios f (z) y g (z)¢onforme a (67. 2) y hage- mos 1) (F) = fa @)- (67.4) Supongamos que el grado del polinomio f, (z) es igual a m,, y su coefi- ciente mayor es aj’. Es abvio que m, 1 eon coeficientes complejos tiene al menos una raiz que es, en el caso general, compleja. Consideraremos al principio unos polinomios del tipo especial. A saber, f@=a-— (68.4) Representenios Jos nimeros complejos 2 en la asi llamada forma trlangular £==F (cos p + 1 sen g). Aqui, res un ndmero no negativo, llamado médulo del nimero 2, y jes un ndmero real llamado argumento del mimero . Esté claro que para todo nimero = el médulo esta definido univocamente. Para los nameros 2 no nulos el médulo esta definido, salvo un niimero multiple de 2x; para z = 0 el argumento no esté definido. Formando el producto de dos nameros complejos a= 1 (cosp +s seng), v= p (cos + ison), encontramos av = rp (cos g + f sen @) (cos p + i sens) = = rp (cos (p + #) -+ ¢ sen (p + ))- De aqui deducimos que ' 2 =r" (cos ag + f sen a), Esta igualdad lleva el nombre de Moivre. Permite hallar con facilidad las raices de la ecuacién (68.1). En efecto, supongamos que el nimere complejo @ esta pepresentado en la forma triangular @ =a (cos 8 + i-sen 6). La écuacion a—m=9 respecto de z es equivalente a la ecuacién @ (cos 8 + ft sen @) = (cos mp + i sen nq} respecio de ry q. Mas, la Gltima ecuacién tiene, a ciencia cierta, tales soluciones para k = 0, 1, 2, ..., nm — 4: WR _ fin r= +o, - =. Por consiguiente, los niimeros complejos a, = +17 (ens SE eon E285) (68,2) © son las raices de la ecwacién (68.1). Llamaremos estos nfimeros raices de n-ésimo grado del nimere a y las designaremos mediante el sim-CAP. & POLINOMIO CARACTERISTICO 234 holo general =a. Ahora, sea dado un polinomio arbitrario f(z) con coeficientes complejos. Considerarémoslo como una funcién compleja del argu- mento complejo z. Para tales funciones, al igual que para las fun- ciones reales de un argumento real, pueden introducirse las nocienes de continuidad, derivada, otc. Do dstas no todas lag nociones las nocasitaremos en una medida igual, pero todas allas se besan en ol empleo de le completitud del espacio de nimeros complejos. Una funcién compleja uniforme f (z) del argumento complejo = se Hama continua en el punto zy, si para todo nimero «> 0, tan Pequefio como so quiora, oxiste un § > 0 tal qua para cualquier mime- ro complejo z que satisface la desigualdad jz—2/<8 ‘tendremos If t)— fla) I 0, tan pequefio come se quiera, se puede hallar tal § > 0, que, siendo | | <6, se cumpla la desigualdad | f {z) —f (2) |< e. -Al desarrollar el polinomio dado f {z) en potencias de (z — 2), obtendremos 1) Agta G~ad+... +4, €— 4)". Puesto que Ap =f (to) y (5 — 2) ostd designado con h, resulta fo +A) —f lip) @ A+... + Aya (88.4) ‘De aqui proviene que If Goeth) —f@) lA, | [AI+... se FIA, TAM = AAD. 685) La funcién real A (jh |) es un polinomio con coeficientes reales | Ay | respecto de la variable real | 4 |. Segdim se sabe del curso del andlisis matemitico, 4 i A |) es una funcién continua en todo punto YY. om particular, cuando |k|=0. Como A (0) =0, por e>O9 @. TEOREMA FUNDAMENTAL DEL ALGEBRA 235 dado se puede hallar tal 6 > 0 que para [Alas (68.6) A (jae. Tomando en consideracién la desigualdad (68.5), concluimos que si se cumple (68.6), se cumplird también Ia desigualdad [fla +h) — fe) |< e. conotanw. El mddulo de un polinomio es una funcién continua. Dicha afirmacién se dedues inmediatamente de la siguiente co- crelacién: Wf) LF Ge) Ws LF) — fe) COROLAMO. Si una sucestin de niimeros complejos (2,} converge a fg, para todo polinomio f (z) jim F (tn) = 1 {24)- Lema 08.2, Si ef polinomio f (2) de grado n > 1 no se anula cuando =, entonces slempre existe un niimero complejo Ah tal, que [Fey + A) | <1 f Go) I. pEmostTracton, Examinemos nuevamente el desarrollo (68.4). tendremos Supongamos que entre los coeficientas A,, Ay, ..., A, el primer coeficiente distinto de cero s. dy. Tomemos hae / —1ae, (68.7) donde a titulo de raiz de la k-ésima » vasa se toma cualquiera de log valores de este cooficiente y Ogre. 488.8) arnt, (ERY Ahora, teniando en cuenta (68.7), (68.8), de (68.4) encontramos [Flo A) DEF Go) — PF Go) Ba te tS SIG — Af Ge) +e Baa [ee POLE = =(—P Gd) +O Ra lt... te lB l= = Ife) +O (lf Go) 1 tl Baa br. +P" 18, = [PG 1+ AB. Designaremos En definitiva tenemos [ftp LSP Go) | + Be).CAP. 9. POLENOMIO CARACTERISTICO 236 La fanciéo # (t) es un polrnomio con coeficientes reales y el argu- mento real t. Es una funcién continua. Pero, B (0) = —| f tz) |< <0, razdn por Ja cual, en virtud de la comtinuidad de B (é), existe tal t, dentro de los limites 0 << ¢,<= 1, que & (tj) sera también negative. Para el nidmero complejo 4, que se determina mediante el oimero f,. de acuerdo con (68.7) obtendremos [PG + YDS TF Zab | th (to) << (ee) Lema 653 Para todo peélinomio | (2) de grado n D> 1 y toda suce- stdin infinita de numeros complejas (2,) se verifica ta correlactén Umite jim fG)| = +e. (68.9) DEMosTRAcION. Consideraremos el polinomio (68.3). Para cual~ quier z 0 eneontramos edt lagtiai” (4—[<2 ist... | 2 Hara). (68.10) Puesto que la sucesién [2,} ¢s infinitamente creciente, entonces lim |z,] = +0. ham Ei segundo miembro de la correlacién (68.10) es una funcién real, por lo cual calculamos LI ual elias (4—[ Elite Pero, para el otro factor de (68.10) tenemos lim Ja,||2,/"= +00. [t_l 20 Por consiguiente, la correlacién (68.9) es valida. TEQREMA 681 (teorema fundamental del digebra). Tado polinomia f(z) de grado n S 1 con coefictentes complejos tiene por lo menos una rais, gue es, en el caso general, complejo. DEMOSTRAGION, Consideraremos up conjunto de toda clase de valores de] médulo del polinomio f(z}. Puesto que | f(s) | 0, este conjunto estd acotado inferiormente. Del curso del anélisis matemético sabemos que cualquier conjunto no vacio de nimeros reales, acotado inferiormente, tiene Ja cota inferior execta. Supon- gamos que para el conjunto de valores | f (2) | esta cota es i, Esto significa que para cualquier némero natural & se puede hallar tal niméro complejo 2, que O< If) l—i2. De aqui se deduee que Poe tie) p=t (68.11) fisrt)=4. an§ &% COROLARIO8 DEL TEOREMA PUNDAMENTAL 237 ‘Si suponamos que la sucesian {is} no esté acotada, se podria olo~ gir do olla una subsucesién infinitamente grande y, de acuerdo con el loma (68.3), Is correlacién (68.11) no podria verificarse. Por esta razén la sucesion {z,} es acotada, Elijamos de ésta una subsu- cesién convergent {2} y supongamos que lim 2), = zp. noe Conforme al corolario del lema 68.1, el madulo de un polinomio s una funcién continua. Por consiguiente, 1f (20)| = Mien | n=. Si [== 0, del loma 68.2 se desprende que existe tal nimero z9, para ol cual | f (zt) |< 4. Esto contradice a que / es la cota inferior exacta de los valores del médulo del polinomio, razén por Ja cual l=. Asi pues, hemos probado Ja oxistencia de un nimero complozo zy tal, que | f (2) |= 0, 4, lo que es igual, Ge) = 0. Esto significa que 2) ¢4 la rafz del polinomio f (s). Ejereicios. f. Demuéstrese = el conjunto de todas Jas raices de n-ésimo grado del wamero complejo { forma uo grupo conmutativo de multiplicacién. 2. Domudstrese que para que una sucesién de mimeros complejo (%} gen acotada, es necesario y suficiente que In sucesiém [/ (1,)) sea acotads por jo monos para um polinomio { (s) de grado n i 3, Demudstrese que pata cualquier polinomio / (z} de grudo n > 4 y todo nimero complejo s, existe un oimero complejo A tal que | f (% + 4 I> =f Ge I. . : 4. Demuéstrese que todas las raices del palinomio (68.3) se hellan dentro 1 oh (955 : del anillo ell | ay. ) fe 5. Rigiéndoso por cl mismo esquema quo se ha usado para loa nisneros complajos, tritese de sclemostrars qua el campo de nimeros reales es algebraica- mente cerrado. ¢Em qué lugar Im «demostraciins mo tiene analogia? ] siete age § 69. Corolarios del teorema fundamental Del teorema fundamental so de- duce toda una serie de corolarios. Consideraremos los mds impor- tantes de ellos.GAP, 8, FOLINOMIO CARACTERIETICO 238 El polinomio / (2) de grado n> 1 con coeficientes complejos tiene por lo menos una rafz z,. Por esto, / (2) puede ser descompuesta asi: f@=t—a4) 9G) donde @ (2) es un polinomio de grado a — 4. Los coeficientes del polinomio ¥ (2) son, come antes, ndmeros complejos. Por consi- guiemte, » (2) tiene la raix 2, (siempre que nm >» 2) y ¥ @) = & — a2) ¥ te), de donde se deduca que 7) = & — 4) (2 — a) &). Continuando este proceso, obtendremos Ia descomposicién de! poli- nomio en un producto de factores lineares: f(}= 6 (@—H) —%)-.. — ta), donde > es up cierto numero. Abriendo los paréntesis en el segundo miembro de la descomposicién obtenida y comparando los cooficien- tes de las potencias con los coeficientes a, bet polinomio / (2), llegamos a la conclusién de que >’ = a,. Entre los ntimeros 2, 23, + =, pueden haber niimeros iguales. Supongamos, para simplificar, que 2), ..., 3, son distintos dos a dos, mientras que cada uno dé los niimeros z,4;, ..., 2, 08 igual «uno de los primeros. En este caso ol polinomio f (2) puede escribirse en Ja forma: fia) =a, (2—2,)™ (z—a,)M ... (8 ap. (69.4) donde 3; 9% z, cuando i 5¢j, y, ademis, ky thy tee. bhp =a. La descomposicién (69.1) se denomina descomposicidn candnica cet polinomia f (zs) en factores. Para el polinomio jf (2) la descomposicién candnica es tnica, salvo ef orden en que se disponen los factores. En efecto, supongamos que a la par con la descomposicidn (69.1) oxiste otra descompoaicién canénica, por ejemplo Fa) ay (20g) (ty... Im). En este caso serd veridica la igualdad (2a) (2— 2)... (Ea, = (2— 2) (0g). (FB (69.2) Observemos que la totalidad da los nimeross,, ..., 2, debe coin- vidir con la de los ndmeros v;, ..., Um: Si, por ejemplo, 2 no es igual a ninguno de los nimeros 4, ..., Um, entonces, al sustituir§ 80. COROLARIOS DEL TROREMA FUNDAMENTAL 239 = = 3; en (69,2), obtendremos tero en el primer miembro de la igual- dad, mientras que en e] segundo miembro, un nimero diferente de cera, Asi pues, si existen dos descomposiciones cundnicas del poli- nomio f (zh, la igualdad (69.2) sélo puede tener esta forma: (sa) (2—ay)h*. -. (2 — ap) me (2 — 5 (aay. (Rael, Supengamos, per eyemplo, que 4, ys 4, y sea, para concretar 4, > 4. Al dividir ambos miembros de la tltima igualded por el mismo divisor (s —#,)', llegamos a que (2—ag)—4 (2-2)... (a= (2 — aye (ear (Otra vez, al sustituir aqui s = s,, vemos que on el primer miembro de la igualdad figure cero y en el segundo miembro, un nimero diferente de cero, De este mado, la unicidad de la descomposicion enndnica queda demostrada. Si en ia descomposicidn candénica (69.4) k, = 1, entonces la ratz a se Hama simple; en cambio sik; > 1, entonces la raiz 2, so denomina multiple, El nimero k, leva el nombre de multiplictdad de la raiz 2. Ahora podemos enunciar una deduceién muy importante: Todo polinomio de grado n> 4 con coeficlentes complejos tiene n ratces, si cada una de Ing raices se cuenta tantas veces cual es su mul- tiplietdad. ‘Un polinomio de grado nulo no tiene raices. El tinico polinomio que tiene un némero tan grande como se quiera de raiecs distintas dos a dos es e| polinomio nulo. Hacienda uso de lo citado, podemos enunciar la deduccién siguiente: St dos polinomias f () y g (2) de grado no superior am tenen valores iguales para mds de n diferentes valores del argumento, tados los coefi~ clentes correspondientes de dickos polinomios serdn iguales entre st. En efecto, el polinamio f (1) — g (2) tiene, por hipotesis, més de nraices. Pero su grado no es superior an, por locual f (2) — g (2) = 0. Asi pues, un polinomio f (2), cuyo grado no es superior a nr, 30 determina completamente mediante sus valores para cualesquiera n+ diferentes valores del argumento. Esto permite restablecer e] polinomio por medio de sus valores, No es dificil sefialar la forma explicita de este polinomio “restaurador". Si el polinomia / (z) toma, para los valores del argumento a, .. +) @n4a. los valores Ply) or f (Ge42). entonces nti a (emoey) v= (5 tpng) (2 Ath) vs (B—Ginay) fz) 2 PCG Tay (ety yg) (eg) oe Sed Esté claro que el grado del polinomio em el segundo miambro no es superior a m, y en los puntos z = a, 6l polinomio toma los valo- res f (a). Un polinomie construido de esta manera se denomina. polinomio de tnterpolacién de Lagrange.GAP, 8. POLINOMIO GARAGTERISTICO 240 Examinemos ahora un polinemio f(z) de grado m y supongamos que zy. Zy, +.) 3, SOD sua races escritas tantas veces cual es la multiplicidad de cada una de ellas. En este casa I (2) =a, & — 3) & —3,) ... (ze — 2). Moitiplicando Jas oxpresiones oncerradas entre paréntesis que figu- ran en el segundo miembro, reduciondo los iérminos semejantes ¥com- parando los coeficientes obtenides con los de la expresién (68.3), podemos deducir las siguientes igualdades: By ldy = (Mgt... +2q), OnanlOy = + (Bybg eyes te. HEyo_ ee Btn) Bayly (ZpSy%y + aby, ee + ty ayn) ayy =(— 1)" (a5. Bolan — (AY 2429... tn Estas igualdades se Ilaman férmutas de Vidte y expresan los coefi- sientes de un polinomio en términos de sus raices. En el segundo miembro de la 4-ésima igualdad figura la sume de toda clase de productos de & raices tomada con el signo més o el signo menos, en dependencia do sies par o impar el niimero k. En lo sucesive nos serin atiles algunos corolarios del teoroma fundamental del algebra referantes a los polinomios can coeficientes reales, Supongamos que el polinomio Fe) ap aye +... tage con coeficientes reales tiene una raiz compleja v (pero no real), es decir, tg tart... +a." =0, La iiltima igualdad no se violard, si todos los niimeros en ella se sustituyen por los nimeres complejos conjugados. No obstante, Jos coeficientes ay, ..., a, ¥ el numero 0, siendo mimeros reales, quedarin en esta sustitucién intactos. Por elle ay Hag... +a" =0, es decir, f= 0. De este modo, si un nimero complejo (pero no real) py es una raiz del polinomio / (2) con coeficientes reales, entonces el nimero complejo conjugado v también seré raiz de f (2). Do aqni so deduce que el palinomio (s) se dividira por un tri- nomio de segundo grado p (2) =(2—v)}{z—0) = 2? —(v +b) s+ un,§ 8). COROLARIOS DSL TROREMA FUNDAMENTAL 24 suyos cooficientes son reales. Haciendo uso de este hecho, demostre- mos que las raicas v y v son de la misma multiplicidad. Supongamos que la multiplicidad de ellas os & y 1, respeotiva- mente, y, por ejemplo, & >> 1, En este caso j (2) se divide por ol ésimo grado del polinomio @ (z), os decir, f(2)— af @)-9 0). El polinomio g (2), representando en si um cociente de dos polino- mios con codficiontos realas, tiene también coeficiontes roalas, Por hipétesis, el ofimero v debe ser La raiz de multiplicidad (& — J) de este polinomio que no tiene raiz igual a v. Do acuardo con lo demos- trado anteriormente, esto oo es posible, razén por la cual & = J. De este modo, todas las raicas complejas de cualquier polinomio de cocficientes reales son complejas conjugadas dos a dos. Da la unicidad de la descomposicién canduica proviene la siguiente deduccién. Todo polinomio con caoficientes reales puode ser representado, salvo el orden em qde se disponon los factores, de un modo Gnico en forma del producto de su cosficiente mayor y los polinomios con coeficiontes reales. Les ultimos polinomios tienen sus coaficientes mayores equivalontes a uno y son linealeg, si corresponden a las raices reales, y cuadraticos, cuando corresponden a un par de raices eomplejas conjugadas. ‘or fin, viene la deduccién mas importante, en aras de la cual, én esencia, so domostraba «| teorema fundamental del Algebra. Supongamos que el operador lineal A actia en un espacio complejo. Los valores propios de este operador, y sdlo ellos, son las raices del polinomie caractoristice. Gonforma al teorema fundamental, el ope- rador A tiene por lo menos un valor propio 4, Por consiguieate, Tode aperador lineal que acttia en un espacio compleja lineal tiene por lo menos un vector propio. Ha de ser observado quo si el operador A actia en un espacio real y racional dicha deduccién ya no es juste. En relacién con los valores propios se ompleari la misma tormi- nologia que se ha aplicado respacto a las raices del polinumio En particular, un valor propio se llamard simple, si es una raiz simple del polinomie caracteristico y se denominara milliple, en ed caso eontrario. Se llamara multiplicidad del valor propio % La multipli- eidad de 4, al intervenir éste on calidad de raiz del polinowio carac- teristica. Ejercicios. 1. Demuéstrese que si el numero complejo o 7 0, para todo mimero natu- Tal n solo existen n nimeros complejos distintos, cuya numa poloocia es igual a a 2, yDe qué mode estin ligadas entre si las raices de los polinomios f (3) y f(t—a), donde a es un nimore compleyo?GAP. §, POLINOMIO CARACTERISTICO 242 3. Supongomos que el polinomio f (2) con coeficientes reulés, de grado no superior a n toma los valores iguales para n -} 1 distintos valores del axgu- mento. Derutstrese que f (2) es uD nomic de grado mule. 4, Demuéstreso que cualquier polimomio de grado Impar, con cooficiontes reales, tiena por lo menos wna reiz . 3 &. Deruéstrese que el polinomio / (z) tiene por lo menos won raiz en cada uno de los dos lomnios te fe 6. Demuéstrese que e. operador A es de estructura simple, cuando, y s6lo- cuando, « todo valor propio le sorreapentan tantos valores propios linealmento independientes cual as la multiplicidad de A,CAPITULO 9 ESTRUCTURA DEL OPERADOR LINEAL § 70. Subespacios {nvarlantes Les investigaciones que se réalitardn bajo el supuesto de que of operador linea] viene dado en un espacio complojo X. Como ya se ha indicado antes, dicha supo- aiciém agegura que para cualquier operador lineal existe al monos un vector propio. El subespacio ZL de un espacio lineal XY se donomina invariante respecto del operador A, si para todo vectorz de ZL suimagen Az pertences también a LE. Todo operador lineal tiene a] menos dos subespacios invariantes triviales: el] subespacio nulo y todo el espacio X. Significaciém esoncial alo tienen los subespacios invariantes no trivieles. A los subespa- cios semejantes pertenecen, por ejamplo, los subespacics propios. ‘Come en un espacio lireal complejo cualquier operador tiene, a cien- cia cierta, por lo menos un yoetor propio, cuslquier operador en tal espacio tiene obligatoriamentsa al menos un subespacio invariante no trivial. Es facil comprober que para todo operador A el campo de valores T, y el ndcleo N, serén subsspacios invariantes. Estes subespacios. son triviales cuanto, y sélo cuando, el operador 4 sea regular o nulo. Si L es un subeapacio invariante, existen varios métodos por medio de los cuales se puede construir un subespacio complementa- rio M tal que X¥ = £ + M. Sin embargo, entra estos subespacios complementarios puede no haber ninguno que sea invariante. Ep cambio, si axiste aunque sea un solo subespacio complementario invarlante, podemos hablar sobre la descomposiciém del espacio en una suma directa de subespacios invariantes. El conocimiento de algdin subespacio invariante y mds atin, de la descomposicion del espacio en una suma directa de suhespacios invariantes permite construir una base en la cual la matriz del ope- rodor tenga Ja forma més simple. Supongamos que el operador A tiens on el espacio m-dimensional X un subespacio invariante L de dimonsién m. Elijamos en X una base ¢, ¢y, .. ., ¢m de tal modo iCAP. 9. ESTRUCTURA DEL OPERADGR LINEAL 244 que sus primeros n vectors portenezcan a L. En este caso Jas ima- gones Ag, ..., Ae, da los vectores &,..., @, pertancceran a L y se podré descomponerlas segiin los vectores ¢,, ..., &,, conside- rando log Ultimos como vectores de la base L. Por consiguiente, fey = aye, + Gat be + eb Sartns Ady = Gynt) H Ganty “bse Gontne Recordemos que los elementos de las columnas de la matriz de un operader colneiden con las enordenadas de las imagenes de los vectores de la base. Por ello la matriz A, del operador A en la basa ) St) -. +) @y tendré por expresion: O jdat, net O.0 O Jam, nen ees mm ” Por regla general, las matrices de este tipo se escriben en la asi llamada forma celular. A saber, (7 a} - (70.4) Aqui, A,, 68 wna matriz euadratica de orden n, Ag, es une matrix cuadrdtica de orden m—n, 0 es una matriz nula de dimenstones (m —n) % mn, y Aj, la matria de dimensiones n x (m — rn). Supongamos ahora que el espacio X esta descompuesto en suma directa do los subespacios invariantes & y M. Elijamos en X una base &, @) . +.» @q de modo tal que los primeros m vectores de la hase pertenezcan a L y los demds m —- n vectores pertenezcan a M. En este caso las imigenes Ag, .... de, pueden descomponorse s6lo segiin log vectores ¢,..., a, mientras que las imégenss Agni «+ +) Aég, S610 sagan los vectores tyags se. &m- La matriz Aj, on (70-4) serd, evidentemente, nula. Por esta razén la matriz A, del operader A en la base considerada tendré una forma atin mis simple, A saber, 4 Ay (0 4) Supongamos que la operacién del operador A se investiga sélo en los vectores del subospacio invariante L. Siz € L, so tien Az € L. Por consigufente, podemos considerar que ol operador A genera en L9 10, SUBESPAGIOS INVATEANTES 245 otro operador A |Z definido por la igualdad (A | L)r= Az para todo z € E. El operador A | £ se denomina operader inducido, generado por el operador A. Con relacién al operador A | £, al ope- rador A se llama generader, Por ser el operador A lineal, el operador inducido seré también lineal. El operador inducido A | L eaincide con el oparador generador 4 en el su’ acio invariante L y no estd definido fuera de J. De este modo, dichos operadores so dife- rencian, principalmente, por el campo de definicién. A pesar de que la introducecién del operador inducido perece ser algo artificial, éste representa en si un aparato auxiliar muy cémodo on la ajecucién de las més diversas investigaciones. Por ejemplo, ‘wn operador inducido, al igual que cualquier otro opersdor lineal, tiene por lo menos un vector propio. Pera, come dicho operador coin- cide con el operador generador en su campo de definicién, esto signi- fica que: Todo operador lineal tiene en cualquier subespacio tnvariante por lo menos un vector propio. Si un espacio estd descompuesto en une suma directa der subespa- cios invariantes, el operador lineal tiene por lo menos r vectores propies linealmente indapendientes. Esté claro que todo valor propio y todo vector propio de un ope- rador inducido son, reapectivamente, el valor propio y el vector propio del operador generador. Resulta menos avidente el TeoREMa v1, El polinomto caracteristico de un operadar indueido engendrado en um swbespacto no trivial ex el divisor del polinomio carac- teristico del operador generador. DEMOSTRACION. Supongamos que el operador inducido A |Z ast definido on el subaspacio invariante £. Elijamos nusvamente : el espacio X una base ¢,, ..-, @m de tal modo que los veetores - ++, ¢, compongan Ia base en J. Si la matriz del operador gene- xt es A, de (70.4), la matriz del operador inducido A | L os Ay, de (70.4). El polinomio caracteristico para el operador A es igual adet (AE — A,); para el operador A | £ el mismo es igual a det ak — Ay). Aplicando el teorema de Laplace para el desarrollo del deter minante det (AF — A.) por las primeras » columnas, encontramos ABA Ay det AEA) = dot { a hi “) maeene— — Aq) x x det (AZ— Ay), La igualdad obtenida significa precisamente la validez de la afirma- cido del teorema. La determinacién de todos los valores propios del operador A se reduce a la bisqueda de todas Jax raices del polinomio caracte-GAP. % ESTRUCTURA DEL OPERADOR LINBAL 246 tistico. Si el operader A tiene un subespacio invariante no trivial, entonces, de acuerdo con el teorema 70.1, la tarea puede ser reducida a la bGsqueda de todas las rafces de dos polinomios de grados iafe- rlores, Si al oporador inducido tiene por si mismo un subespacio invarlante uo trivial, el proceso de descomposicién del polinomio caracteristico en factoras puede ser continuado. Ejereieios. 1. Demudstreso que la sume y la intersecelén du los subsspasios invariantes 800 nos subespacios invariantes. 2 Demuéstroso que si el oparador A oa regular, entonces cualquier oporador inducido es también regular, 8. Demuéstrese quo si ol oporador A es do ogtructura simple, cunlqulor operador inducldo ey también de estructura simple, 4 gEm qué caso el subespacio invariante do un operador de estructura slinple sarita suma directa de los subespacios proplos? 5, Demuéstrosa qua si aunque soa uno de log subespacios invariantes deb operador A std privado de un subsspacio invariants complementario, A no puede ser operador de estructura simple, 6. Demudsteesa quo ai al operador A es de estructura simplo, el campo do ‘valones: ol niicleo estén privados de vectores no nulos comunes. 7 Suobetrens cis ‘si un subespacio os invarionte respecto dol operador 4, eri invarinnte también respecto del aparador aZ ++ aA + ~.. + apAP. § 71. Polinomfo operacional Uno da los métodos més impor- tantes para construir subespacios invariantes de un operador lineal consisto on ol empleo de log polinomios can coeficientes complejos. Supongamos quo el operador lineal A actia en el espacio com- plejo X. Elijamos un polinomio arbitrario p @) = aga +... + op? con coeficientes complejos y consideromos un operador linaal p (A) = agF + aA +... + apd’. Este operador actda en al aspacio X y se danomina palinomt{o ope- racional o polinomio del operador A. Fijemos el operador A y constrayamos el conjunto de todos les polinomios operacionales que dependen de 4. Puesto que el conjunto de todos Jos polinomios eg un anillo conmutativo, lo sord también el conjunto de todos los polincmios operacionales, En particular, de aqui se deduce que 9 (A) A = dg (4) para cualquicr polinomio (2). La conmutatividad de un anillo de polinomios operacionales detempeta un papel exclusivamente importante en todas tus investtgactanes a seguir.§ 1, POLINOMIO OPERACIONAL 247 Es facil mostrar quo ol campo de valores 7, de todo polinomio operacional » (A) es un subespacio invariante para el operador A, En efecto, sen z € T,. Esto significa que z = (A) y para cierto y€X. Por ser A y g {A} conmutables, tonemos Az = Aq (A) y = @ (A) (Ap). Por consiguiente, al vector Az es 61 resultado de aplicar ol operador q @ al vector Ay € A, ea decir, Az € Ty. 1 niicleo N, del polinomio operecional @ (A) es también un subespacio invariante para ol operador 4. Si z€ Ny, entonces g(d)z=0, pero em este caso 9 (A) (az) = A (g (A) 2) = 4 (0) = 0. Ya se ha obsorvado anteriormente que cualquier subsspacio invariante contiene por lo menos un vector propio del operador. Ahora podemos enunciar una afirmacién més exacta. A saber, Si ef valor propio del operador A es (no #8) una rats del polinomio @ (2), todos fos vectores propios del operador A, correspondientes a dicho valor propio, pertenecen al niicleo (campo de valores) del operador p (A). Efectivamente, sea z un vector propio del operador A correspon- dionte al valor propio 4. En los ejercicios del § 65 se subrayaba que al vector z os también propio para el operador @ (A), pera corres- ponde al valor propio (4). Por consiguiente, » (A) z = @ (}) 2. ‘Si. es una raiz del polinomio p (2), entonces p (4) = 0 y ol vector x pertenece al micleo del operador p (A). En cambio si p (A) & 0, el vector @ (4) x serd no nulo y el vector z pertenecerd al campo de valores del operador @ (A). No podemos demostrar que cualquier subespacio invariante del operador A eso bien un campo de valores o bien un micleo de cierto polinomio operacional. Esta afirmacién, por lo general, no os cierta, jo cual se afirma en el ajamplo del operador idéntico. Cualquiera que sea el polinomio p (2), se tione p (E) = @ (i) Z, por lo cual ol oparador «p (Z} es o bien nulo o bien regular. Por consiguiente, el eampo de valores y el niicleo para p (£) representan siempre unos subespacios triviales. En cuanto al su io invariante del ope- rador £, lo constituird cualquier subespacio. Con todo esto, cada subespacio invariante del oparador A esté ligado de modo determi- anda a los polinomios operacionales de A. Es valida ol reonEeMA 71.1. Sea L un subespacio invariante arbitrarie del ope- rador A. Si todos los valores proptes del operador, tnducido sobre L, son las ratces del polinamio #p (3), entonces L estd contentdo en los nicleos de los operadores g* (A) para todas las potencias k, enteras positivas y sufictentemente grandes. pemosTracton, Designaremos mediante 7, 7, -.. los campos de valores do los operadores inducidos sobre Econ ayuda de los poli- nomios operacionales g* (4) pata k= 1, 2,.... El operadorCAP, 0. BSTRUGTURA DEL OPHRADOR LINBAL 249 q (A) es degenerado en Z, puesto que en su nucleo estin contenidos Jo menos todos los vectores propios del operador A portenscien- tesa L. Por ello, fT, cL, dim 7, j. Por consiguiente, la matriz del operador A tiene la forma yy Mag ees Biym-t fam O Gag eee gy mat Sem Bi. ceslereees OD nee Greg, meat Smat,m oO ...0 Onm donde a, = 0 para > j. Una matriz, todos los ¢lementos de la cual, dispuestos por debajo {por arriba) de Ja diagonal principal, son nulos, se denomina matrizCAP 0. ESTRUCTURA DEL OPERADOR LINBAL 250 triangular derecha (isquierda). En el lenguaje de las matrices ol rasul- tado obtenido significa que toda matriz cuadrada es semejante a una matriz triangular derecha, La forma triangular de una matriz es de amplio uso en la demos- tracién da log mds diversos hechos econcernientes a los operadores lineales. Esto se debe, principalmente, a la siguiente propiedad de la misma: Si al operador A tiene en cierta base la matriz triangular Ay, Jos elementos diagonales de la matriz A, coinciden con los valores propios del operador 4 incluso cuando se toma en consideracién la multiplicidad de éstos. En efecto, al aplicar el teorema de Laplace, encomtramos que ol polinomio caracterfatico de la matriz A, os igual a * det (iB — A.) = [] (h—au)e de donde proviene que la afirmacién onunciada es cierta. Una parte considerable de la ulterior teoria de los operadores lineales se dedica al perfeccionamionto del resultado recién obtenido | acerca de la reduccién de la matriz de un operador a Ja forma trian- gular. La forma mas simple que puede tener la matriz de un operador es diagonal. Como sé sabe, a esta forma pweden reducirso sélo las matrices de los operadores de estructura simple. No cbstante, para los operadores de estructura no simplo la forma triangular tampoco es Ja mds soncilla. Ejercicios 4, Dermugetrese que cualquier matriz cuadrada ¢3 semejante a una matris (riengulee fequierda, . Domudstress que ua conjunto de matrices triangulares do un mismo orden y de una misma deoominaciéa forma wo anillo. 3. Demudstrese que un sontoni do matrices triangulares regulares de un mismo orden y de lo misma donominacién forma un grupo. &. Sean At, hay «+s. hm los valores propias dal oparador A sscritos por orden temands on cousiderasiéa ou multiplicidad, Demuéstrase que, tomando en considoractin [a raultiplicidad, los niimeror p (iy), 9 (Aa), -- +. sorin valores propios dal oparador p {4}, cunlquiera quo sea el palinomio @ (3). 5. trase que si todos les olamentod diagonales da una matriz trian- gular 4 de orden m son nulos, entonces A™ = 0. 7 4. Supongamos que una metriz triangular as semejante a la diagonal. Demuéstrese quo la matriz de la transformacién de semejanza pucde ser ida. triangular de in misma donominuciin. § 73. Suma directa de log operadores Un operador lineal cuyos valores propio son todos iguales es, en cierto sentido, una exclusién. No obstante, mostraremos quo todo operador lineal puede sar compuesto precisamente de operadores de este tipo.§ 78. GUMA DIRECTA DE LOS OPERADORES 201 Supongamos que el espacio X ostd representado en forma de la suma directa de los subespaciogs L y M. Fijemos en al subsspacio L cierto opsrador B y on el subespacio M, ol operador C. Para todo vector +€X tiene lugar la descomposicién (Gnica reaton (73.1) donde z, 6 L, ty, &M, Un operador A, definido mediante la igualdad Ar = Bay + Cry se llama suma directa de los operadores B y C. Si uno de los subespa- cios DL, Mf os trivial, la suma directa sé danomina también trivial. Es facil comprobar que A es un operador lineal en X. Sefialemos que dicho operador puede ser representade de un modo Gnico en for- ma de la suma directa da los operadores definidos on los subespacios Ly AM. En efecto, para todo vector x € b se tiene Az = Bz. Por analogia, At = Cz para todo r€ M. Esto significa que el opera- dor C coincide con el operador inducide A | Ly el oporador C coin- cide con el A | M. Considersmos ahora un operador arbitrario A om el espacio X. Si X queda descompueste de tal o cual manera em la suma directa de los subespacios L y M, invariantes respeoto del operador A, enton- ces el propio operador A puede ser descompweste en suma directa. Biec- tivamente, construyamos los operadores inducidos A | y A | M. Al descomponor una vez més ol vector arbitrario € X on forma de ia suma (73.1), obtendramos Az= (A 1L) 2, + tA | Mie En este cago, on virtud del teorema 70.4, el polinomio caractoristioo del operador A es igual al producto de los polinomios caractoristicas do los operadores inducidos A|L y A | M, El operador A puede descomponerse on una suma directa con ayuda de cualquier polinomio operacional p (A), Designamos con Ny el micleo del operador g* (A). Esto e9 un subespacio invariante res- pocto de A y, evidentamente, V, [ N,< ... Demostremos pri- moramonte quo si NV, = Ny+4, para cierto 4, ontonces Vy = Np para todo p > &. En afecto, elijamos cualquier vactor z € Ny, onton- cas gp (4) # = 0, Al escribir osta igualdad on In forma p**! (A) x x (g?*- (A) z) = 0, concluimos qua al vector g?-*~ (A) E Nua. En virtud de la igualdad N, = V,4;, esta mismo vector perteneca a N,. Por consiguionte, ot (A) (pO (A) 2) = Pt (A) = = 0, es docir, ol vector z € Vy... La validez de la afirmacién enunciada ge establece ahora por induceidn segin p. El espacio X, donde actia ol oparador A, 03 do dimensién finite, por lo cual las dimonsiones de los subespacios N, no pueden crecerGAP, 9, ESTRUCTURA. DEL OPERADOR LINEAL 952 ilimitadamente. Sea g un niimero positive entero minimo, para el eual V,=N,4,. Designemos mediante 7, el campo de valores del operader ¢* (ayy examinemos cualquier vector comin z de los subespacios T, y Ng. Tenemos g# (4) = 0 y z= gt (A) pare clerto vector y € X. ‘De aqui proviene que q** (A) y = 0, es decir, y € Nog. Pero, de acuerdo con lo demostrado, se verifica la igualdad N= Nee. Por esta razon y €.N,, es decir, = gi (Ap y = 0. Asi pues, para los subespacios +. y NV, sélo el vector nulo resulta ser comin. En virtud de Ja formule 66.5), esto significa que X = = T, + ¥,- Puesto que los subespacios T, y Ng son invariantes, la posihilidad de descomponer el operador queda establecida, Segiin sé ha observado anterformente, todos los vectores proptos del operador A deben encontrarse en los subespucios T, y Ng. Ade- mas, en Vy sa enchentran aquellos de los vectores que corresponden a los valores propios, coincidentes con lag raices cualesquiera del polinomio ¢ ®). nijentres que en 7, se hellan aquellos vectores propios, para los cuales los valores propios correspondientes no coin- iden con ninguna de las raicesde p (2), Puesto que a todo valor pro- pio le corresponde aunque sea un solo voctor propio, de estos razo- namientos se deduce que: Cada una de Jas refces (ninguna de las raices) del polinomio carac- teristico de un operador, inducido sobre Ny (f,), 3 (n0 es) la raiz del polinomio @p (z). La caracteristica definitiva de las Gascon noaisloana de un ope- yador en una sume directa, obtenida con ayuda de los polinomios operacionales, la proporciona el TEOREMA 731 Supongamos gue ¢! palinomio caracteristico j (s} del operador A esté desecompueste en el producto de los polinomios ¢p (2) yD (2) que no tienen rafces comunes. En este caso ef operador A puede descomponerse del moda tinico en la suma directa de los operadores B y C con polinomios caracteristicos p (2) yp (2). DemosTracion, Consideraremos la descomposicién del operador A en una suma directa, obtenida con ayuda del polinomio @ (2). Como el producto de los polinomios caracteristicos de los operadores, que definen la suma directa, coincide con ol polinomio caracteristico f(z), entonces la existencia de al menos una descomposicién se deduce de Jas investigaciones realizadas mis arriba. Supongamos ahora que el espacio X esti descompuesto de uno u otro modo en la suma directa de los espacios invariantes N y T- En eate caso el operador inducido tiene en N un polinomio caracte- ristico » (z) y el operador en T, el polinomio +p (2). Segim el teore- ma Tid, ¥ Ny para cualesquicra & suficientemente grandes, por To cual VW

Anda mungkin juga menyukai

• Practica de Comprension Lectora 5

  

  Dokumen16 halaman

  Practica de Comprension Lectora 5

  Vladislav Cekov

  40% (5)
• Ficha de Monitoreo A Las Condiciones para El Buen Inicio Del Año Escolar 2023 Fase 1 Ok

  

  Dokumen5 halaman

  Ficha de Monitoreo A Las Condiciones para El Buen Inicio Del Año Escolar 2023 Fase 1 Ok

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Oficio Multiple 038-2023-Drea-Dgp-Ful Taller Presencial de Especialistas 13-02

  

  Dokumen2 halaman

  Oficio Multiple 038-2023-Drea-Dgp-Ful Taller Presencial de Especialistas 13-02

  Mardonio Cisneros Ramos

  Belum ada peringkat
• • Majalah
  • Podcast
  • Partitur
• Asistencia Tecnica Local - 13 de Julio

  

  Dokumen25 halaman

  Asistencia Tecnica Local - 13 de Julio

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Plan de Acompañamiento Individualizado 2023 Ok

  

  Dokumen12 halaman

  Plan de Acompañamiento Individualizado 2023 Ok

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Pauta de Encuesta A Docentes - 05

  

  Dokumen7 halaman

  Pauta de Encuesta A Docentes - 05

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Plazas Vacantes Bolsa de Horas Jer

  

  Dokumen3 halaman

  Plazas Vacantes Bolsa de Horas Jer

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Cuadro de Horas Ultimo Raymondi

  

  Dokumen8 halaman

  Cuadro de Horas Ultimo Raymondi

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Directiva Complementaria N°01 UGEL VH Final

  

  Dokumen38 halaman

  Directiva Complementaria N°01 UGEL VH Final

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Criterios y Rubrica

  

  Dokumen36 halaman

  Criterios y Rubrica

  Mardonio Cisneros Ramos

  100% (1)
• Esquema Pa Sugerido

  

  Dokumen5 halaman

  Esquema Pa Sugerido

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Informe2 Verificación JS Chocano

  

  Dokumen2 halaman

  Informe2 Verificación JS Chocano

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Guión Metodológico (17 de Febrero)

  

  Dokumen2 halaman

  Guión Metodológico (17 de Febrero)

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Directiva Complementaria 2023 - UGELVH

  

  Dokumen25 halaman

  Directiva Complementaria 2023 - UGELVH

  Mardonio Cisneros Ramos

  Belum ada peringkat
• PAT - 2022 AGP VH Secundaria

  

  Dokumen22 halaman

  PAT - 2022 AGP VH Secundaria

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Ciro Alegria

  

  Dokumen1 halaman

  Ciro Alegria

  Mardonio Cisneros Ramos

  Belum ada peringkat
• SOLICITUD

  

  Dokumen1 halaman

  SOLICITUD

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Beca Los Chankas 2021

  

  Dokumen10 halaman

  Beca Los Chankas 2021

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Cuadro de Meritos JJMB

  

  Dokumen9 halaman

  Cuadro de Meritos JJMB

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Programa Taller Febrero

  

  Dokumen2 halaman

  Programa Taller Febrero

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Res Cont 2021 Bol

  

  Dokumen12 halaman

  Res Cont 2021 Bol

  Mardonio Cisneros Ramos

  Belum ada peringkat
• SOLICITUD

  

  Dokumen1 halaman

  SOLICITUD

  Mardonio Cisneros Ramos

  Belum ada peringkat
• OM 15 CONVOCA TALLER DE ASISTENCIA TECNICA Febrero

  

  Dokumen1 halaman

  OM 15 CONVOCA TALLER DE ASISTENCIA TECNICA Febrero

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Planificación Anual 2° DPCC

  

  Dokumen6 halaman

  Planificación Anual 2° DPCC

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Unidad de Aprendizaje 1 Com

  

  Dokumen8 halaman

  Unidad de Aprendizaje 1 Com

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Plan Específico - Taller Directvios - Pei - Pat

  

  Dokumen12 halaman

  Plan Específico - Taller Directvios - Pei - Pat

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Plan Específico de Taller Fortal Comp Pedagógicas Marzo

  

  Dokumen14 halaman

  Plan Específico de Taller Fortal Comp Pedagógicas Marzo

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Sílabo Del Curso Virtual Tics

  

  Dokumen3 halaman

  Sílabo Del Curso Virtual Tics

  Mardonio Cisneros Ramos

  Belum ada peringkat
• Sílabo

  

  Dokumen7 halaman

  Sílabo

  Jin Wooja

  Belum ada peringkat
• Institución Educativa

  

  Dokumen10 halaman

  Institución Educativa

  Mardonio Cisneros Ramos

  Belum ada peringkat