
72 Ana M. Mart´ın-Caraballo - Concepci´on Paralera-Morales -
´
Angel F. Tenorio
turas tabulares cuadradas almacenadas en su interior. Cayley comprender´ıa casi de inmediato la
relevancia y significado del concepto de matriz que hab´ıa introducido su amigo Sylvester, por lo
que trabaj´o en esta noci´on publicando el art´ıculo titulado Remarques sur la notations de fonctions
alg´ebriques en 1855 [15]. Esta nota introduc´ıa el concepto de inversa de una matriz y el de pro-
ducto de dos matrices, relacionando la estructura matricial con una forma cuadr´atica y bilineal.
Simult´aneamente, en 1853, el matem´atico y f´ısico irland´es William Rowan Hamilton (1805–1865)
escribi´o sus Lectures on Quaternions [35], en la que har´ıa uso del c´alculo matricial para estudiar
los cuaterniones y obtener para estos objetos varios resultados que ser´ıan formalizados para las
matrices por Cayley en su memoria de 1858 [16].
Esta memoria se titul´o Memoir on the theory of matrices y en ella no solo aparece la primera
definici´on abstracta de matriz (mostrando c´omo los ‘arrays’ que se hab´ıan estado utilizando
hasta ese momento en matem´aticas eran casos particulares de su concepto), sino que tambi´en
incluye el primer tratamiento formal de las operaciones con matrices y sus principales resultados.
As´ı, Cayley dio la definici´on algebraica de las siguientes operaciones: suma, resta y producto de
matrices, producto de matriz por escalar e inversi´on de matrices. En el caso de la inversa de una
matriz, la construy´o expl´ıcitamente en t´erminos de determinantes. M´as a´un, introdujo la notaci´on
matricial para escribir un sistema de ecuaciones lineales, representando las ecuaciones como filas
y las inc´ognitas como columnas. En la obra comentada, Cayley demostr´o que dada una matriz
de orden 2 × 2, dicha matriz anula a su polinomio caracter´ıstico. Aunque dej´o indicada tambi´en
la prueba para matrices 3 × 3, afirm´o que no dispon´ıa de los requisitos necesarios para demostrar
la propiedad considerando una matriz arbitraria de orden arbitrario n × n. Este resultado se
conoce como Teorema de Cayley-Hamilton porque, previamente al estudio de Cayley, Hamilton
[35] describi´o una demostraci´on de este resultado para orden 4 × 4. No obstante y como veremos
en breve, habr´ıa que esperar al matem´atico alem´an Ferdinand Georg Fr¨obenius (1849–1917) para
disponer del resultado general para matrices de orden n × n.
Aproximadamente una d´ecada m´as tarde, en 1870, el matem´atico franc´es Marie Ennemond
Camille Jordan (1838–1922) escribe su Trait´e des substitutions et des ´equations alg´ebriques [40],
en el que aparece descrita por primera vez la forma can´onica que lleva su nombre al trabajar con
las sustituciones lineales sobre un cuerpo finito de orden primo.
En 1878, Fr¨obenius escribe su obra
¨
Uber lineare substitutionen und bilineare formen [40], sin
tener conocimiento del trabajo llevado a cabo por Cayley y que hemos comentado anteriormente.
Esta obra se convertir´ıa en uno de los principales referentes sobre la teor´ıa de matrices. Aun-
que sin emplear el t´ermino ‘matriz’, Fr¨obenius trabaj´o con coeficientes de formas cuadr´aticas.
Tambi´en incluy´o demostraciones de resultados fundamentales sobre matrices can´onicas como re-
presentaciones de clases de equivalencia de matrices. A este respecto, mencion´o expl´ıcitamente
los trabajos previos de los matem´aticos alemanes Leopold Kr¨onecker (1823–1891) y Karl Theo-
dor Wilhelm Weierstrass (1815–1897) publicados en 1874 [46] y 1868 [82] respectivamente, pero
indicando que eran casos particulares de los resultados que ´el hab´ıa obtenido. Pero esta obra de
Fr¨obenius no se limit´o solo a las cuestiones ya indicadas, sino que inclu´ıa la demostraci´on general
del Teorema de Cayley-Hamilton, que solo hab´ıa sido demostrada hasta orden 4×4. Adem´as, este
trabajo conten´ıa la primera definici´on formal del rango de una matriz (usada cuando trabajaba
con formas can´onicas) y de matriz ortogonal.
No es hasta 1896 que Fr¨obenius tuvo conocimiento de la obra de Cayley en [16] sobre la
teor´ıa de matrices y es entonces que Fr¨obenius comenz´o a emplear el t´ermino ‘matriz’. De este
modo, su art´ıculo de 1896 [26] inclu´ıa nuevamente una demostraci´on general del Teorema de
Cayley-Hamilton para matrices cuadradas de cualquier orden; atribuyendo el m´erito de dicha
demostraci´on al propio Cayley, que como ya indicamos antes no hab´ıa sido capaz de conseguirla.
Divulgaciones Matem´aticas Vol. 22, No. 1 (2021), pp. 64–89