You are on page 1of 116
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,

You might also like