Alcocer Bonilla Arturo Azael.

Hamilton, William Rowan (1805 -1865).

lgebra Lineal.

Tarea: #1

William Rowan Hamilton. Matemtico irlands, nacido en Dubln en el ao 1805. Descubri y desarroll la teora de los cuaternios. Fue un nio prodigio en muy diversas reas de las letras y las ciencias. A muy temprana edad, apenas haba cumplido los trece aos, dominaba ms de una docena de idiomas, y varios aos antes haba mostrado ya inters por la literatura matemtica clsica, por los estudios de Newton y Laplace, entre otros. Ingres en el Trinity College de Dubln y obtuvo la calificacin mxima en griego y en fsica matemtica. Durante esta poca se centr en la fsica, y sus investigaciones sobre la ptica geomtrica le llevaron a cerciorarse de la analoga entre el principio de Fermat (1601 - 1665), que dice que el camino ptico seguido por la luz es estacionario, y el principio de menor accin de Maupertuis de la dinmica del punto material. Deducida de esta similitud, dict la "ley de la mnima accin" de la luz, que dice "la accin de una trayectoria lumnica es una funcin simple de su longitud, y la luz viaja a lo largo de una lnea que minimiza tal accin". Con ello cre uno de los pilares de la base de la mecnica ondulatoria de la fsica moderna. Adems, cre, en la mecnica, el concepto de funcin caracterstica,con la que se puede sustituir con un sistema de ecuaciones diferenciales las conocidas ecuaciones del movimiento de Lagrange. En 1827 fue nombrado Astrnomo Real de Irlanda y profesor de astronoma delTrinity College de Dubln. Aunque nunca lleg a ser un buen astrnomo en la prctica, sus nombramientos le permitieron investigar con una gran libertad de movimientos. Sus estudios con los nmeros complejos dieron como resultado el descubrimiento de la hodgrafa, es decir, la curva obtenida como lugar geomtrico de los extremos de los vectores que tienen su origen en un mismo punto y son equipolentes a los vectores velocidad de una partcula mvil. Hamilton estableci una teora completa de los nmeros complejos que ha sido aceptada por las matemticas modernas, sin ms que traducirla a trminos de la teora de conjuntos. Adems, descubri y desarroll, en 1843, la teora de los cuaternios. Un cuaternio es un nmero de la forma ae + bi + cj + dk, con a,b,c,d nmeros reales. Los nmeros complejos se han construido a partir de un espacio vectorial de dos dimensiones. Sin embargo, los cuaternios pertenecen a un espacio vectorial de cuatro dimensiones reales. Si en este espacio se consideran dos vectores v = ( a, b, c, d ) y v = (a, b, c, d), estos sern iguales si ocurre que a = a,

b = b, c = c, d = d. Se puede definir una primera operacin interna: la adicin, como: v + v = ( a + a, b + b, c + c, d + d). Se puede definir una operacin externa: la homotecia, como: mv = ( ma, mb, mc, md ). Y se puede definir una segunda operacin interna, la multiplicacin, de la siguiente forma: se elige una base cualquiera con cuatro vectores { e, i, j, k } la multiplicacin esta definida en la siguiente tabla: 1 Factor 2 Factor

e ............. e i j k i ............ i -e k -j j ............ j -k -e i k ............ k j -i -e Al observar la tabla anterior se deducen dos conclusiones: 1/ El vector e es el elemento neutro de esta operacin.

2/ La multiplicacin no es conmutativa, sino que por el contrario depende del orden de los factores. A cada vector x de este espacio se le denomina cuaternio y tiene la siguiente expresin algebraica: x = a e + b i + c j + d k Una propiedad muy importante de los cuaternios consiste en que si el cuerpo en el que se han construido es el de los nmeros reales, el conjunto de los nmeros cuaternios tambin tiene una estructura de cuerpo. Si se toma e = ( 1, 0, 0, 0 ) y i= ( 0, 1, 0, 0 ), se tiene que i2 = j2 = k2 = - 1, un cuaternio se escribira entonces de la forma: x = a + bi + cj + dk que tiene una parte escalar, a, y una parte vectorial, bi + cj + dk. Por lo tanto, los cuaternios de componentes reales tienen una estructura de cuerpo no conmutativo. Era la primera vez que se obtena un resultado de este tipo. El estudio de los cuaternios entusiasm a muchos cientficos. Varios matemticos intentaron construir otras lgebras no conmutativas, entre ellos destacan los trabajos al respecto de Grassmann. Sin embargo, en 1873 Frobenius postul que no se pueden formar lgebras no conmutativas que contengan nmeros reales y que tengan estructura de cuerpo, aparte de los cuaternios. Por otro lado, aunque el estudio de estos curiosos nmeros fue una aventura apasionante para muchos estudiosos, no llegaron a tener mucha utilidad prctica en fsica, por lo que se dejaron de lado en favor del anlisis vectorial. En la actualidad los cuaternios han sido "apartados" en beneficio de los sistemas hipercomplejos, lgebras stas ms genricas y de mayor utilidad. Durante los ltimos aos de su vida, Hamilton se encerr literalmente en su casa y se dedic apasionadamente a dos actividades: su trabajo y la bebida, hasta que en 1865 le sorprendi la

muerte. Se le ha dado su nombre a los operadores de la mecnica cuntica que l descubri, se conocen como operadores hamiltonianos. Herman Grassmann Hermann Grassmann era el tercero de los doce hijos de Justus Gnter Grassmann y Johanne Luise Friederike Medenwald. Su madre era hija de un pastor de Klein-Schnfeld. Su padre haba sido tambin consagrado pastor, pero consigui una plaza de profesor dematemticas y fsica en el Instituto de Stettin, y fue un acadmico notable, autor de varios libros de texto escolar de Fsica y Matemticas, adems de llevar a cabo interesantes investigaciones en el campo de la cristalografa. Otro hermano de Hermann, Robert, tambin se dedic a las matemticas y ambos trabajaron conjuntamente en muchos proyectos. Durante su juventud, Hermann fue educado por su madre, mujer de una vasta cultura. Luego asisti a una escuela privada, antes de ingresar en el Instituto de Stettin, en el que daba clases su padre. La mayora de los matemticos despuntan ante sus profesores desde muy jvenes. Sin embargo, y a pesar de tener unas extraordinarias oportunidades al pertenecer a una familia proclive a la educacin, Hermann no destac de modo especial en sus aos de estudios secundarios, hasta el punto de que su padre pens que deba dedicarse a algn tipo de trabajo manual, como el de jardinero o artesano. Hermann apreciaba la msica y aprendi a tocar el piano, a la vez que prosegua sus estudios, en los que poco a poco iba mejorando y en los exmenes finales de los estudios secundarios, con 18 aos, termin el segundo de su promocin. Tras demostrar al final de sus estudios su competencia acadmica, Hermann decidi estudiar teologa, y en 1827 se traslad a Berln junto a su hermano mayor para cursar estudios en la Universidad. Realiz estudios de teologa, lenguas clsicas, filosofa y literatura, y no parece que acudiera a ninguna clase de matemticas o fsica. A pesar de que parece evidente que Hermann no tuvo formacin universitaria formal alguna en matemticas, sta era la materia que ms le interesaba cuando regres a Stettin, en otoo de 1830, tras haber completado sus estudios universitarios en Berln. Evidentemente, la influencia de su padre en esta va fue muy importante, y pudo haber llegado a ser profesor de matemticas, pero ya se haba decidido a llevar a cabo investigaciones matemticas por su cuenta. Despus de pasar un ao investigando en matemticas y preparando el examen para profesor de instituto, Hermann se fue a a Berln en diciembre de 1831 para presentarse a dichos exmenes. Parece ser que sus ejercicios escritos no debieron ser muy bien valorados, puesto que sus examinadores le dieron el ttulo para ensear slo en los primeros niveles de la secundaria. Se le dijo que antes de poder ensear en los niveles superiores debera volver a examinarse y demostrar unos mayores conocimientos en los temas por los que haba concursado. En la primavera de 1832 obtuvo una plaza de profesor ayudante en el Instituto de Stettin.

Fue sobre esta poca cuando realiz sus dos primeros descubrimientos matemticos significativos, que estaban destinados a llevarlo a las importantes ideas que desarrollara aos despus. En la premisa de su Die Lineale Ausdehnungslehre, ein neuer Zweig der Mathematik (Teora de la extensin lineal, una nueva rama de las matemticas 1844), Grassmann describe cmo haba ido llegando a estas ideas ya alrededor del ao 1832. En 1834 Grassmann empez a dar clases de matemticas en la Gewerbeschule (Escuela de artes y oficios) de Berln. Un ao ms tarde regres a Stettin patra dar clases de matemticas, fsica, lengua alemana, latn, y religin en un centro educativo nuevo, la Otto Schule. Esta gran variedad de materias a impartir es prueba de que an estaba habilitado solamente para impartir clases en las escuelas en los niveles ms bajos. En los cuatro aos siguientes, Grassmann super los exmenes que le permitieron dar clases de matemticas, fsica, qumica y mineraloga en todos los niveles de los centros de educacin secundaria. Grassmann se senta en parte frustrado por el hecho de tener que dar clases slo en niveles de secundaria, a pesar de ser capaz de elaborar una matemtica innovadora. En 1847 pasa a ser "Oberlehrer". En 1852 se le asign el puesto que anteriormente haba desempeado su padre en el Instituto de Stettin, y obtuvo de ese modo el ttulo de profesor. En 1847 solicit al ministro prusiano de Educacin ser tenido en cuenta para el desempeo de un puesto de profesor universitario, y el ministro solicit a Ernst Eduard Kummer su opinin acerca de Grassmann. Kummer contest diciendo que el ensayo de Grassman, que haba sido premiado en 1846, tena "(...) buen material expresado de modo inadecuado". Este informe de Kummer acab con la esperanza de Grassmann de llegar a obtener una plaza de profesor universitario. Este episodio confirma adems el hecho de que las autoridades con las que Grassmann contact nunca reconocieron la importancia real de sus ideas. Durante los disturbios polticos que se desarrollan en Alemania en 1848-49, Hermann y Robert Grassmann editaron un peridico en Stettin para apoyar la unificacin de Alemania en el marco de una monarqua constitucional. Despus de escribir una serie de artculos sobre leyes constitucionales, Hermann, cada vez menos de acuerdo con la lnea poltica del peridico, lo dej. Grassmann tuvo once hijos, de los que siete llegaron a adultos. Uno de sus hijos, Hermann Ernst Grassmann, lleg a profesor de matemticas en la Universidad de Giessen.

Galois, variste (1811-1832).

Sello conmemorativo de variste Galois. Matemtico francs del que surgi la teora de grupos, nacido el 25 de octubre de 1811 en Bourgla-Reine, cerca de Pars. Hijo de Nicholas-Gabriel Galois partidario de Napolen y uno de los lderes del partido liberal de la ciudad, y de la que fue alcalde durante los cien das en los que Napolen volvi de su exilio. Hasta la edad de doce aos fue educado por su madre, Adelade-Marie Demante Galois, quien le proporcion formacin en las lenguas clsicas, latn, griego, su escepticismo por la iglesia y nociones bsicas de aritmtica. En 1823 ingresa en el Collge Royal de Louis-le-Grand, de Pars, donde desarrolla sus ideas liberales y antimonrquicas, por otra parte ya inculcadas por sus padres. Durante los dos primeros cursos destaca fundamentalmente en las materias de latn y griego, en las que recibi varios premios, pero despus tuvo que repetir el tercer curso por sus dificultades en retrica. A los 15 aos, recibe su primer curso de matemticas, impartido por Hippolyte Jean Vernier, que despierta su inters por ellas; a partir de ah comienza a leer las obras de Adrien Marie Legendre, "lments de Gomtrie" y de Joseph Louis Lagrange "La resolucin de ecuaciones algebraicas", "La teora de funciones analticas", "Lecciones sobre clculo de funciones". Esta pasin por las matemticas le hizo olvidarse del resto de las materias. En 1827, se presenta al examen de ingreso de la cole Polytechnique, una de las instituciones de enseanza ms prestigiosas de la poca, sin el curso de preparacin previo requerido, siendo rechazado. Entonces se matricula en un curso superior de matemticas en el Louis-le-Grand, impartido por Louis Paul mile Richard, quien al observar las dotes de su alumno solicita su admisin en la cole Polytechnique sin examen previo, peticin que fue desestimada. En marzo de 1829, publica su primer trabajo, "Demostracin de un teorema sobre fracciones continuas peridicas" en "Annales de mathmatiques pures et apliques" y su atencin se haba fijado ya en la teora de las ecuaciones. Enva artculos sobre una incipiente teora de grupos a la Academia de Ciencias Francesa durante su ltimo curso en el Louis-le-Grand, aunque sin demasiado xito. El 2 de julio 1829, su padre se suicida y a la semana siguiente debe examinarse de nuevo para ingresar en la cole Polytechnique,

donde es suspendido definitivamente. Ante la situacin creada, decide ingresar en la cole Normale, en la que fue admitido tras superar un examen con unas calificaciones excelentes. Ante la falta de atencin por parte de la Academia, Galois empieza a publicar en el Bulletin des sciences mathmatiques, astronomiques, physiques et chimiques del Barn de Frussac. Los artculos all publicados demuestran que haba llegado ms lejos que ningn otro matemtico respecto a las condiciones que delimitan la solubilidad de las ecuaciones, pero su teora an no estaba completa. En enero de 1831, a peticin del matemtico Simen Denis Poisson, enva a la Academia otra memoria, quiz el trabajo ms importante de Galois relativo a la teora de grupos, no obstante Poisson recomienda a la Academia que lo rechazase finalmente y a Galois que desarrolle el trabajo y lo explique ms claramente, pues sus razonamientos son excesivamente concisos. Galois se involucra polticamente, contactando e ingresando en sociedades republicanas y participando en manifestaciones polticas de la poca. A causa de ello, y por una carta que enva al director de cole Normale en la que le acusa de traidor es expulsado de la misma. En 1832, es encarcelado durante un mes en la prisin de Sainte-Plagie por brindar por Luis Felipe de Orlans, no obstante el jurado le absuelve. Pero poco despus, el 14 de julio de 1831, vuelve a ser detenido por vestir el uniforme de la Guardia de Artillera, cuerpo que haba sido disuelto por considerarlo una amenaza para el trono; por este motivo, Galois pasa ocho meses de nuevo en Sainte-Plagie, donde sufre todo tipo de calamidades, e incluso se dice que intenta el suicidio. Una vez puesto en libertad, es retado a un duelo de honor por Pescheux d'Herbinville, un activista poltico quien el 30 de mayo de 1832, en el trascurso de dicho duelo en las afueras de Pars le hiere en el abdomen de un balazo; Galois es abandonado a su suerte y termina siendo recogido por un transente que le traslada al hospital Cochin, donde muere poco despus como consecuencia de una peritonitis cuando an no haba cumplido los veintiun aos de edad, siendo enterrado en la fosa comn del Cementerio Sur. La noche anterior a la celebracin del duelo, Galois escribe una larga carta a Auguste Chevalier, en la que corrige la redaccin de tres manuscritos, uno el trabajo rechazado por Poisson, otro una versin resumida de un articulo aparecido en le Bulletin de Frussac y un tercero relativo a las integrales de las funciones algebraicas generales; a su vez le pide a Chevalier que solicite a C. G. Jacobi y a C. F. Gauss su opinin sobre la importancia de estos teoremas. En el manuscrito de esta carta puede leerse la frase "no tengo tiempo", que escribe Galois presintiendo quiz su muerte inminente. Estos manuscritos fueron publicados en 1848 por el matemtico francs Joseph Liouville, naciendo as la rama matemtica de la teora de grupos. Obra cientfica En la poca de Galois, el problema de la teora de ecuaciones se planteaba bajo el prisma de encontrar un mtodo general de resolucin de ecuaciones polinmicas con una sola incgnita y de

orden n-simo, basado en las cuatro operaciones elementales de la aritmtica (adicin, sustraccin, multiplicacin y divisin) y en la extraccin de races. La importancia de la obra de Galois no fue tanto los criterios que sent para determinar si las soluciones de una ecuacin polinmica podran hallarse mediante radicales o no, sino los mtodos que idea para este estudio y de los que nace la teora de grupos, de una aplicacin mucho mayor que la teora de las ecuaciones. La teora de grupos se ocupa de las simetras intrnsecas de un sistema cualquiera, y Galois introduce tres nociones fundamentales, que le permiten demostrar que no existe ningn mtodo general para las ecuaciones de grado superior al cuarto, que permita su resolucin mediante las operaciones de adicin, sustraccin, multiplicacin, divisin y extraccin de races: 1- cada ecuacin tiene asociado un grupo de permutaciones; este grupo es una representacin de las propiedades de simetra de la ecuacin que actualmente se denomina grupo de Galois. 2- nocin de subgrupo normal; un subgrupo de un grupo es normal a l cuando se verifica que al multiplicar por la izquierda cualquier elemento del subgrupo por un elemento cualquiera g del grupo paterno y despus al multiplicar por la derecha el producto resultante por el elemento inverso de g, el resultado obtenido sigue siendo un elemento del subgrupo. 3- nocin de grupo soluble; un grupo es soluble cuando genera unos subgrupos normales maximales cuyos factores de composicin sean todos primos; tales factores se determinan a partir de los nmeros de elementos del grupo paterno y de los subgrupos. Cada ecuacin de grado n tiene asociado un grupo denominado grupo de Galois, o algn subgrupo de ste; Galois demostr que slo eran resolubles por procedimientos aritmticos y extraccin de races, aquellas ecuaciones cuyo grupo de Galois sea soluble; y l demostr que efectivamente haba ecuaciones de grado igual o superior al quinto para la cuales el grupo correspondiente no es soluble.

Gauss, Carl Friedrich (1777-1855).

Carl Friedrich Gauss. Clebre matemtico y astrnomo alemn, nacido en Brunswick en 1777 y muerto en Gotinga en 1855. Hijo de un jardinero y asistente comercial, mostr desde muy pequeo una precocidad intelectual singular, ejemplo de la cual es la leyenda que le atribuye aprender a leer y escribir por s mismo. Hazaas intelectuales como corregir un error de clculo de su padre a los tres aos de edad y la deduccin de la solucin de la serie aritmtica (a, a+b, a+2b, .... ) a los diez le granjearon la simpata del Duque de Brunswick, quien lo introdujo en el colegio Carolinum de dicha ciudad en 1792 con una generosa bolsa de estudios y sufragando luego una beca de investigacin, en contra de la opinin de su madre, que prefera para el joven Gauss una profesin. Gauss siempre guard gratitud hacia su mecenas, y sufri una fuerte conmocin cuando se enter de su fallecimiento en la batalla de Jena contra Napolen (1806). Uno de los mejores matemticos de todos los tiempos. En 1795 ingres en la universidad de Gotinga aproximadamente en la misma poca en que encontr su famoso mtodo de los mnimos cuadrados de encontrar la mejor curva matemtica suave que pasa por un nmero dado de puntos, que aparecera ms tarde en su obraTheoria combinationis observationum erroribus minimis obnoxiae (1823). Simultneamente describi porqu es imposible dibujar un polgono de nmero impar cualquiera de lados excepto los nmeros primos 3, 5, 17, 257 y 65.537 con una regla y un comps, corolario de un tratado de resolucin de ecuaciones binomiales que fue ms tarde publicado en su obra Disquisitiones Arithmeticae (1801). Este libro es considerado el germen del que surgi la moderna teora de nmeros, y en l se encuentra la demostracin del llamado Teorema fundamental de la aritmtica, que establece que los nmeros naturales se pueden representar como el producto nico de una serie de nmeros primos. Tambin se discuten las llamadas congruencias binomiales(ecuaciones de la forma xn=A) entrelazando aritmtica, lgebra y geometra de un modo tan elegante que es considerada por muchos como una autntica obra de arte. En 1799 logr el ttulo de doctor por la

Universidad de Helmstadt, con una tesis en la que se recoga el llamado Teorema fundamental del lgebra, a partir de entonces conocido como Teorema de Gauss, que seala que toda ecuacin algebraica tiene una solucin, real o compleja, que permite expresar cualquier polinomio como el producto de factores binomiales simples. Tras este trabajo volc toda su atencin en la astronoma. El asteroide Ceres, descubierto en Palermo por el astrnomo Piazzi, haba sido observado el primer da del siglo XIX, pero fue perdido de vista, y los astrnomos buscaban incesantemente su rastro. A partir de las pocas anotaciones que tom Piazzi, Gauss pudo, demostrar que las rbitas calculadas por los dems astrnomos eran errneas, y calcular sus propias efemrides, que seran comprobadas aos ms tarde por F. S. Zach. Fue nombrado profesor de matemticas de la Universidad de Gotinga (1807) y, a instancias de Olbers;OLBERS, HEINRICH WILHELM, director del Observatorio Astronmico de dicha ciudad. En l compuso un trabajo sobre las rbitas planetarias (Theoria motus corporum coelestium), extensin del anlisis realizado para el asteroide. Entre tanto, sus ratos de ocio los ocupaba en la lectura de literatura extranjera, obras polticas (de tendencia conservadora) y el estudio de idiomas, y lleg a convertirse en un fillogo notable. Contrajo matrimonio con Johanne Osthof una vez que tuvo una posicin econmica suficientemente holgada (1805). En 1809 falleci su esposa durante el parto del tercer hijo de la pareja, lo que lo sumi en una profunda depresin de la que no supo salir, aunque contrajo nuevo matrimonio, fruto del cual fuero tres hijos ms. Gauss se recluy en la investigacin matemtica. Poco tiempo despus public Disquisitiones generales circa seriem infinitam 1 + ab/1g + a(a+1)b(b+1)/12g(g+1) + ..., serie hipergeomtrica llamada serie de Gauss. Fue nombrado en 1820 agregado a la comisin de Hannver para la medicin del grado del meridiano terrestre, e invent con ese fin un aparato ptico llamado heliotropo, destinado a la medicin mediante simple trigonometra de la forma de la tierra. En 1827 publica Disquisitiones circa superficies curvas, primer tratado de topologa acerca de la curvatura de las superficies. Entre 1820 y 1830 su inters se decant hacia la fsica, donde sus contribuciones fueron tambin numerosas. Fund el primer observatorio magntico en Gotinga, donde trabaj conjuntamente con W. Weber desde 1831. Construy el primer telgrafo magntico y public el primer atlas magntico de la superficie terrestre. A partir de 1837 estudi los principios ms abstractos del magnetismo y la electricidad, la gravitacin y la ptica; as, obtuvo el llamado teorema de Gauss (el tercero!) que indica que el flujo total de campo que atraviesa una superficie cerrada es proporcional a la carga encerrada en su interior. No hubo disciplina matemtica que no revolucionara. A menudo callaba cuando los matemticos de su poca alcanzaban conclusiones que l haba descubierto aos antes. Sus investigaciones las anotaba en un pequeo diario, plagado de encabezamientos crpticos que l slo conoca. Por ejemplo, una anotacin como EgPHKA!num=D+D+D significa el hallazgo de que cualquier nmero puede escribirse como la suma de tres nmeros triangulares D = n(n+1)/2 para un nmero entero n. Muchas de estas anotaciones no han podido descifrarse an, como por ejemplo una que reza "Vicimus GEGAN", lo que resulta frustrante, dado que muchos de los hallazgos matemticos de pocas posteriores a su fallecimiento ya haban sido anotadas por Gauss en su diario (a menudo sin demostracin alguna). Suele decirse que si Gauss hubiese mostrado menos desidia en publicar sus resultados la matemtica hubiera avanzado el equivalente a un siglo entero de descubrimientos. Gauss se anticip a J. Bolyai treinta aos en la descripcin de la geometra no eucldea, a Hamilton en el descubrimiento de los cuaternios, a Abel, Jacobi y Legendre en sus

descripciones de los grupos matemticos, las funciones elpticas y la resolucin de ecuaciones diferenciales.