UNIVERSIDAD NACIONAL AUTONOMA DE MEXICO. FACULTAD DE INGENIERIA DIVISION DE CIENCIAS RASICAS COORDINACION DE MATEMATICAS Ce DEPARTAMENTO DE ALGEBRA LINEAL | ARSTORU DEL ALGEBRA WWE Y OPERADORES LINEALES EA SAICIOS COlEPRODUCTO:TERND Enero de 2010LAS ESTRUCTURAS ALGEBRAICAS Uno de las ideas centales que aparecen recurrentemente al hablar de algebra ‘moderna es la de estructura algebraica. Es indudable que la investigacion rmatematica levada 2 cabo dentro de la tendencia conocida como estructura algébrica trajo consigo resuitados de gran valor, paticularmanta en lo que respecta al dlgebra. El significado de la coriont estructural es la consoidacion de luna nuova imagen del conocimionta matamitico, Con el algebra moderna se da la posbilidad de formular conceplas algebraicos en {enminos puramente abstracts. Et algebra modema se inicia con Evariste Galois quien cambio radicalmente ef caracter del algebra. Antes de Galois, los esfuerzos de 10s algebistas estaban drigides principalmente hacia la solucisn de ecuaciones algebraicas; despues de Galois los esfuerzos de los algebristas se dirgieron hacia las estucturas de ‘grupos y campos, Ala obra de Galois se debe la ejecucién de! programa revolucionario de cientificos importantes como Leopold Kronecker, Richard Dedekind, Helarich Martin Weber, entre otros, que consistié en fundamentar los mdarnos desartolos abstractos de las teorias algebraicas, ‘Solo en 1846 se conocid gran parte de los escrtos de Galois par obra de Joseph LUowvile (1809-1882), y completé la publcacién de sus esoritos Jules Tannery (1848-1810) a comienzos de este siglo (1908). En ellos asoma ya la idea de “euerpo", que luego desarrollaron Riemann y Richard Dedekind (1831-1916). Es fen estos escritos donde aparecen por primera vez Ia propiedades més importantes de la teoria do grupos (nombre que él acuno) que convierten a Galois, (on su cabal fundador Las prmeras conferencias formales que se dion sobre Ia teoria de Galois fueron las de Richard Dedekind en los primeros afos de la década 1850-1860, Por quella misma época Leopold Kronecker empez® sus estudios sobre las ‘ecuaciones abelianas. Parece que el concepto de campo ee introdyjo en las ‘matemdticas a través de las obras de Dedekind y Kronecker. Ambos, especialmente Dedekind, admiieron la importancia de los grupos para el algebra, I concepto de campo de nimeros quedd fimmemente establecido en las mateméticas con el famoso Eleventh Supplement de Dedekind, sin embargo en esta obra Dedekind se ocupé unicamente de los nimeros y las raices de ‘ecuaciones algebraicas con coeficentes racionales. Los campos que definié fueron por tanto los de los nimeros reales y complejo,En 1854 Arthur Cayley (1821-1899) aplica la teoria de grupos al estudio ala teoria de los cuaterios, y Wiliam Rowan Hamilton (1805-1865), en 1866, alos poliedros regulares. Un tratamianto formal y abstracto de los conceptos de grupas y campos fue realizado pot Heinrich Martin Weber (1842-1913). En colaboracion con Dedekind, Weber publicé en 1882 un trabajo sobre funciones algebraicas, en el cual se aplicaban muchos de los conceptos que Dedekind habia desarrollado en su teoria {de ideales. Weber y Dedekind son considerados como pioneros del punto de vista abstract del algebra, En 1893 Weber publicé su articulo "Fundamentacion general de la teoria de ecuaciones de Galois" cuyo objetivo era presentar dicha teoria desde un punto de isla mas general. Weber presentaba la teoria, no como una teotia que se cupaba de las ecuaciones, sino mas bien de grupos y campos. ‘La teoria se presenta aqui como una consecuencia inmediata del concept de campo, que nos {es sino una extensién del concepto de grupo, visto como una ley formal, independientemente del significado numérico de los elementos relacionados... la teoria aparece come un formalismo absoluto, el cual cobra vida y contenido, sble al otorgarsele a ls elementos valores numéricos” ‘Weber define un campo como un grupo al que se le aflade una operacién que cumple ciertas resticciones. En la defricin de Weber, los grupos. quedan ‘defines por una ley de compasicon, Se cumple la propiedad de asoclativdad, pero en general, no la de conmutatvidad; existe un elemento neutro y elemento inverso para cada elemento del grupo. [Nel Henrik Abel fue quien se encarg6 de estudiar, entre muchas otras cosas, ls propiedad de la conmutatvidad en fo que a los grupos se rfiee. De ahi el nombre de grupos conmutativos 0 abelianos. Habra que mencionar que el problema dela determinacin del numero de grupos ‘existentes para un orden dado, como bien se sabe, fue planteado por primera vez fen 1851 por Arthur Cayley. quien también defino el concept de grupo con una formulacion atamente abstracta Weber define isomortsmo y establece que dos grupos isomorfos constiuyen un ‘mismo concepto genérice, y que por tanto, es indiferente tomar uno u otro representante. En 1910 Emst Stentz publicé su trabajo sobre los campos, trabajo que produjo un ‘autntico cambio de direcién en el andlisis de las estructura algebraicasSi bien es cierto Weber habia sido el primera en definir fos campos en forma abstract fue Steinz el primero en investiga estructuralmente dicho concepto, Steintz abre su articulo con una declaracién metodoligica: su objetivo es investigar los campos abstractos definidos por Weber en 1893. pero su investigacién dliferrd de la de su predecedor en un sentido importante. En ol trabajo de Steintz se presenta una vision general de todos los tipos posibles de ‘campos y se detallan los pasos a seguit a fin de deserbir todos los campos y entender la esencia de sus inerrelaciones, Primero es necesario determinar ls campos ms simples, luego deben estudiarse los _métodos por medios de los cuales pueden oblenerse nuevos campos, partiendo de campos dados y a través de extensiones, detalando cuales son las. Propiedades del campo original que se transmiten a a extension El trabajo de Steintz repercutié en diversas areas de la matematica, Tal vez el _’jemplo mas importante de esto es ol trabajo de Abraham Fraenkel, en el cual se estudio por primera vez ol concepto abstract de anillo, mencionando cexplictamente a SIeinitz como fuente de inspiracion. A su vez los trabajos de Fraenkel abrieron el camino para lo trabajos importantes de Emmy Noether, Emil Artin y Wolfgang Knul sobre las tecrias algebraicas abstractas, La abstraccion de dlichas teorias abstractas s el resultado de un proceso ‘caracteristico de la matemitica de hoy y que ee manifest) contempordneamente fen otros sectores, proceso que elimina toda referencia a entes concretos, que prescinde por completo de la “naturaleza" de lo que en él intervene, para no dejar sino el “esquelelo formal” de entes y relaciones abstractos que definen la estructura algebraicaEL DESARROLLO DEL ALGEBRA LINEAL En el siglo XIX se rompieron los cdnones cldsicos del algebra, con erilerio cada vez mas abstracto, de los Conceptos fundamentales de la aritmética y del algebra ‘ordinarias , lo que io por resultado la creacion de nuevas entes que pusieron de ‘manifesto el cardcter basico de fa amada "ley de composicion’. La historia de la rmatematica no hace sina comprobar tal caracter En el siglo XVII el auge del célculo infiitesimal y los sucesivos tracasos de resolver la ecuacién de quinto grado por radicales detuvieron el progreso del ‘Algebra, pero en e! siglo XIX, y en especial en la segunda mitad, el algebra se rige por distintos caminos hacia lo ue se considera hoy su problema esencial: el estudio de as estructuras algebraicas por si mismas. Mientras adquieren gran desarrollo ol estudio de las formas y de los invaiantes, y Ia teoria de los grupos se extionde ala teoria de cuerpos y anillos, la creacion de sucesivas generaldades y extensiones del conceplo de nimero da nacimienta a la rocién abstracia de ley de composicién, cuya aplicacién a los nuevos entes amplia fen grado considerable el campo del algebra El primero de estos entes es el vector, que si bien era utilzado ya en la composicion do fuorzas y de volociades por los tratadistas de mecanica desde fines del siglo XVI no tuvo repercusién entonces entre os matemsticos Mientras que por un lado los vertores, y sus sucesores los tensores. con el auxlio ce los recursos del andlisis matematice, encuentran importantes aplicaciones en iversos campos de la fisica; por otro lado, los vectores contnbuyeron a la creaci6n de las nuevas algebras, po ejemplo, el algebra linea En este sentido cabe senalar las obras de Wiliam Rowan Hamilton (1805-1865) y de Hermann Gunther Grassmann (1808-1877). El algebra alcanz6 por primera ver la libertad en las décadas 1830-40 y 1840-50, com las teorias matemdticas de Hamillon y de Grassmann. Estos dos liberadares {ol digobra se encuentran entre los mayores profetas malematicos del siglo X1K Hamilton fue un sablo maitiple que sabresalié en astronana, fsica y matematica, ‘Se acupo de los vectores (e! nombre es invencién suya) y cred un sistema de rhumeras complajos que Iam Quatemions (cuaternins) que satistace todas las propiedades de las operaciones de la aiimetica ordinaria, con excopcién oe la Propiedad conmutativa de Ia mutiplicacién. Los cuaterios aparecen en 1843, ‘aunque el tratado completo sobre el tema: Lectures on Quaternions, de Hamilton no se publicé hasta diez afios después.Hamilton alos trece Conocia muy bien los cldsicos y las lenguas orientales tanto ‘como las europeas. A ls veintisiote aos Hamilton era famoso por su prodicelén ‘matematica dela refracein cénica, deducida de su ampliateoria de los sistemas de rayos, en dptica; a los trenta afios habia completado précticamente su obra fundamental de dinamica que representaba un avance sobre Lagrange Comparable al de éste sobre Euler. En 1843, ales treinta y ocho afos, sobrepaso las dificutades que le habian impedido extender el algebra de fos vectores coplanares a una teoria de vectores y de rolaciones en un espacio de tres dimensiones. ‘Sobre Hamilton se acumularon los henores; a Grassmann, menos afortunado, no se le concedieron, Grassmann mantuvo a su mujer y a nueve hijos practicando la ensenanza ‘elemental, profesion para la cual estaba muy mal dotado, Nunca se quelé de los tormentos que sufria en manos de fo jovenes salves a los que, tan mal pagado habia de civiizar. Hombre de ciencia original, tedlogo y lingbista, que 2 los 63 ‘aos, decepcionade por el escaso éxita de eus trabajos matematics, se dedicd al ‘estudio del sinscrito. Su cbra matemtica importante es de 1844 y se le conoce con el titulo abreviado Ausdehrungslehro (Teoria de la extension) aunque en eu titulo completo se refere a una nueva discipina matematica expuesta y aclarada ‘mediante aplicaciones. El trabajo de 1644 se refiere a la “parte lineal” de dicha teoria y en aos posteriores pubiicé ampliaciones de la misma, pero la manera algo inustada y on exceso flosofica para los matematicns de la época hizo que esta obra pasara inadvertda. Solo mas tarde, y ya muerte el autor, se reconoci® tanto ia ampia generaidad como la total abstaccién de esta teora algebraica- ‘geométriea en un espacio de n dimensiones con importantes aplicaciones y donde Aaparecen conceptos basicos dol digabra lineal coma “producto intern y “producto cextama’ En 1844 Grassmann estaba en posesién de una extensa teoria capaz de una casi interminable cantidad de desarrolos por especialzaciones en diferentes direcciones. Tal como la elabord su creador, se puede interpretar esta teoria de las “magnitudes ampliadas" como un analisis vectarial muy generalizado para un ‘espacio de n dimensiones. Et interés en la obra de Grassmann es la amplia generalizacisn que daba a los rnumeros complejos x+ixs coma parejas de nimeros (x1), hasia Hegar a los ‘humeros hipercompiejos (x.x2%3._Elalcance de su teoria quizés no se aprecié por completo hasta el siglo XX. La obra de Grassmann incluia como detalle implicio et algebra del calculo tensorial {que sélo fue ampliamente conacida después de su aplicacién (1915-169) a la relatvidad general. ‘Se ha dicho a menudo que a un matematco no le conviene ser flésofo. Sea o no testo un teorema general, con seguridad fue cierto en el caso del descichado Grassmann, que al dotar a su teoria con toda la generalzacion que podia soportar, Ia asfixis con abstracciones floséficas. Esta fue una de las grandes, tragedias de las mateméticas. Gauss examin6 la Ausdehnungsihre, y la bendijo con su calficada aprobacion. Segula la misma direccién, dijo, que ya habia tomado ét mismo casi medio siglo antes. Pero era demasiado filosofica con su “peculiar terminologia’, incluso para Gauss, que era bastante aficionado a la filosoia. Entotanto Gauss habia puesto de manifesto su descubrimiento independiente de los cuaterios de Hamiton, En un breve resumen analitico que nunca public, que se cree del afio 1819, Gauss escribio las ecuaciones fundamentales de lo que liam mutaciones en el espacio, que en esencia son los cuaterios. ‘Ademés de Hamillon y Grassmann, ttes matematicos que contribuyeron al progreso del algebra lineal, en siglo XIX, son Arthur Cayley (1821-1895), James ‘Joseph Sylvester (1814-1897) y Charles Hermite (1822-1901). Se debe a ellos la Creacion de la teoria de los invariantes y por tal razén se les conoce con el ‘sobrenombre de la “trinidad invariantva’, como alguna vez dijo Hermite. Es a Sylvester a quien se deben las matrices (alas que no clo precisamente ese hombre) y el importante concepto de “rango’, pero fue Cayley quien desarrallé, en 41858, con el edleuo de las matrices (el nombre es de ¢!) una nueva algebra La invencion de las matrices iustré una vez més lo poderosa y sugestiva que puede ser una notacién bien ideada, también es un ejemplo del hecho que algunos matematicos admitieron con disgusto de que un artifice trivial de notacion fue el germen de una vasta teoria con innumerables aplicaciones. Cayley mismo relaté en 1894 que fué lo que le condujo a las matrices: “Desde luego que no llegué al concepto de matiiz a través de los cuaternios, fub directamente a parti del de los determinantes: 0 bien como un modo conveniente de expresar las ecuaciones xX zany cxtdy"Simbolizando esta transtormacion lineal con dos variables independientes por ‘medio dela dsposicion en cuadro ab C2) de aus cofientes 0 elementos, Cayley se vd conducido au aigbra de maces den? elementos, por las propiedades de las transfoimaciones_tneales homogéneas de n variables independiente. Tras de este invento hay un importante trozo de historia, Cayley habla demostrado, en 1858, que los cuatemnios se pueden representar coma maltices Ca donde sus elementes son numeros compleos Un signo de la evolucién hacia una concepcién cada vez més abstacta de las consttucciones algebraicas puede verse en una frase de Cayley, de fines de silo, al aludi a las discusiones acerca del valor de los cuaternios en vista de sus aplicaciones practcas: “el concepto de cuaternio es mucho mas hermoso que ‘valquiera de sus aplicaciones” Después de 1870 puede senalarse un nuevo progrese hacia la estructura general o las algobras con la obra de Benjamin Peirce (1809-1880) sobre las algebras Fneales asaciativas. Se establecen alli los conceptos de elementos nilpotentes © idompotentes, cuyo estudio incé el autor en 1864, aunque no se publics sino hhasta después de su muerte en 1861 El Algebra lineal, cuyo desarrolo se inicia en el siglo XIX, mantiene un rasgo comin con las geometrias no eucdianas y el nueva analisis: su contribucion 3 eliminar de la matomética conceptos intuitvos y hébitos mentales aun arraigados hasta en mentalidades matematicas; asi Mébius paso al lado de los cuaternios sin vets, al rechazar los compleos de cuatro unidades porno salisfacer la propiedad cconmutativa dela mulipicacion,UNA APLICACION IMPORTANTE DEL ALGEBRA LINEAL En una clase que impartié en la Universidad de Gétingen en 1908, el matematico aleman David Hilbert (1862-1943) considerd que los operadores lneales actuaban sobre ciettos espacios vectoriles de dimension infin, De esta clase surgié la nocion de una forma cuadkatica en una lnfinidad de variables, y fue en este Ccontexto que Hilbert utliz6 por primera vez el temino especiro para refeise a un Conjunto completo de eigenvalores. Los espacios en cuestin se conocen en la actualidad como espacios de Hilbert Hilbert hizo importantes contrbuciones a muchas reas de las matematicas, entre fllas las ecuacionas integrals, Ia teoria de los nimeros, 1a geomettia y fundamentos de matematicas, En 1900, en el segundo Congreso Internacional de Matematicas llevado a cabo en Paris, dio una conferencia tiulada "Los problemas de las matematicas’. En ella, dosafié a los matematicos a resolver 23 problemas de importancia fundamental durante el siglo que se avecinaba, Muchos de fos problemas han sido resuetos, probandose que algunos eran verdaderos y otrs falsos, mientras que algunos ‘nunca pudieron resolverse, No abstante el discurso de Hilbert galvanize a la Comunidad matematica y con frecuencia se considera como ell discurse de mas Influencia que jamas se haya dado acerca de las malematicas y de la importancia dol Algebra Lineal. TERMINOLOGIA ‘Spectrum (espectro) es una palabra latina que significa “imagen”. Cuando los ‘tomos vibran emiten luz. Y evando la luz pasa a través de un pisma se dispersa fen un "espectio"; una bande irdiscente (que muestra los colores del arco). Las frecuencias de vibracién cortesponden a los eigenvalores de un cletto operador y son visibles como lineas brilantes en el especto de luz que es emiido desde un prisma, De este modo podemos ver litealmente ls eigenvalores del lomo en su lespectto, y por esta razén es apropiado que la palabra espectio haya legado a aplicarse al conjunto de todos fos eigenvalores de una malriz u operador.