Vous êtes sur la page 1sur 8

Breve historia del algebra matricial

Estas breves notas pretenden mostrar como ductos: el interior (vease la seccion 6) y el
han surgido en la historia algunos conceptos exterior. Aplico estos productos para resolver
propios del algebra matricial. Se ha pretendi- problemas geometricos concretos (el producto
do dar mas enfasis a las ideas que a las bi- exterior de vectores no es hoy una herramien-
ografas de los matematicos creadores de la ta estandar en la matematica moderna).
teora. En la siguiente direccion La formulacion final se debe a Gibbs (1839
http://www-groups.dcs.st-and.ac.uk 1903) en un panfleto de circulacion privada
se halla una coleccion de biografas de los entre sus alumnos y por Heaviside (1850
matematicos mas famosos. 1925) en el libro Electromagnetic Theory pu-
La mayor parte de estas notas historicas blicado en 1893. En ambos libros se introdu-
estan sacadas de [1]. jeron el producto escalar y el vectorial de for-
ma moderna.
1. Geometra de IR2 y IR3
2. Matrices
Los antecedentes historicos del estudio de
la geometra plana y espacial se remontan Los determinantes surgieron cuando se em-
a la introduccion por Descartes (15961650) pezaron a resolver los sistemas de ecuaciones
en el siglo XVII de la geometra analtica lineales. En 1693, Leibniz (16461716) uso un
que lleva su nombre. La idea de vector en- conjunto sistematico de ndices para los coe-
tro en las matematicas calladamente. Stevin ficientes de un sistema de tres ecuaciones li-
(15481620) empleo la ley del paralelogramo neales con tres incognitas obteniendo un de-
en problemas de estatica y Galileo (1564 terminante.
1642) enuncio esta ley de forma explcita. La solucion de ecuaciones lineales de dos,
Despues de la representacion geometrica tres y cuatro incognitas fue obtenida por
de los numeros complejos proporcionada por Maclaurin (16981746) publicada en 1748
Wessel (17451818), Argand (17681822) y en su Treatise of algebra. Cramer (1704
Gauss (17771855) fuera algo familiar, los 1752) publico en 1750 el libro Introduction
matematicos se percataron de que los numeros a lanalyse des lignes courbes algebriques la
complejos podan usarse para trabajar los vec- regla para determinar los coeficientes de una
tores en el plano. Sin embargo, la utilidad de conica general pasando por 5 puntos da-
los numeros complejos esta limitada a proble- dos utilizando determinantes. En 1776 Bezout
mas planos. La creacion de un analogo tridi- (17301783) demostro que la anulacion del de-
mensional util de los numeros complejos se terminante de un sistema de dos ecuaciones
debe a Hamilton (18051865) cuando des- con dos incognitas homogeneo es una condi-
cubrio los cuaterniones en 1843. cion necesaria y suficiente para que haya solu-
Mientras Hamilton trabajaba con sus cua- ciones no nulas.
terniones, Grassmann (18091877) estaba de- Vandermonde (17351796), en 1776, fue el
sarrollando la idea moderna de vector. En este primero en dar una exposicion coherente y
sentido, Grassmann definio de forma moderna logica de la teora de los determinantes co-
la suma y el producto por escalares de vec- mo tales, aplicandolos a los sistemas de ecua-
tores de IRn e introdujo dos clases de pro- ciones lineales. Proporciono una regla para

1
calcular determinantes por medio de subma- que la idea de matriz es logicamente anterior a
trices de orden 2. En un ensayo de 1772 la de determinante, pero historicamente el or-
Recherches sur le calcul integral et sur le den fue el inverso. Cayley fue el primero en de-
systeme du monde, Laplace generalizo el sarrollar de modo independiente el concepto
metodo de Vandermonde. de matriz en un artculo publicado en 1855, A
Como hemos visto, los determinantes memoir on the theory of matrices. Definio las
surgieron en la solucion de los sistemas de matrices nula y unidad, la suma de matrices
ecuaciones lineales; pero pronto surgieron en y senala que esta operacion es asociativa y
los siguientes problemas: Transformacion de conmutativa. Cayley toma directamente de la
coordenadas, solucion de sistemas de ecua- representacion del efecto de dos transforma-
ciones diferenciales, o cambios de variables en ciones sucesivas la definicion de multiplicacion
las integrales dobles y triples, por citar solo de dos matrices. Cayley senala que una matriz
algunos. m n puede ser multiplicada solamente por
La palabra determinante, usada por una matriz n p. En este mismo artculo es-
primera vez por Gauss, la aplico Cauchy tablece que una matriz tiene inversa si y solo
(17891857) a los determinantes ya apareci- si su determinante es nulo. Ademas prueba
dos en el siglo XVIII en un artculo publicado
1
en 1815. La disposicion de los elementos en A1 = Adj(At ). (1)
tabla y la notacion de subndices dobles se le det(A)
debe a el. Binet (17861856), en 1812, enun-
Cayley aseguro que el producto de dos ma-
cio el teorema de multiplicacion, demostrado
trices puede ser la matriz nula siendo las dos
correctamente por Cauchy, que en notacion
matrices invertibles. En realidad Cayley se
moderna es det(AB) = det(A) det(B).
equivoco: Si AB = 0, entonces A o B no
Heinrich Scherk (17981885) en su Math-
tienen inversa (por que?)
ematische Abhandlungen aporto nuevas re-
A partir de este momento los trabajos sobre
glas para de los determinantes, por ejemplo,
matrices se disparan. Debemos citar los tra-
si una fila es combinacion lineal de otras, el
bajos de Jordan (18381922), Rouche (1832
determinante es nulo; o la regla para calcular
1910) y a Frobenius (18491917). En el siglo
determinantes triangulares.
XX es rara la rama de la matematica apli-
Diramos que el campo de las matrices es-
cada que no use la teora de matrices. Pode-
tuvo bien formado aun antes de crearse. Los
mos citar una afirmacion profetica hecha por
determinantes fueron estudiados a mediados
el fsico Tait (18311901) a mediados del siglo
del siglo XVIII. Un determinante contiene
XIX: Cayley esta forjando las armas para las
un cuadro de numeros y pareca deducirse
futuras generaciones de fsicos.
de la inmensa cantidad de trabajos sobre los
determinantes que el cuadro poda ser estu-
diado en s mismo y manipulado para mu-
3. Sistemas de ecuaciones lineales
chos propositos. Quedaba por reconocer que Como ya mencionamos en la seccion 2, los
al cuadro como tal se le poda proporcionar sistemas de ecuaciones lineales comenzaron a
una identidad independiente de la del deter- ser estudiados sistematicamente por Leibniz y
minante. El cuadro por s mismo es llama- Cramer a mediados del siglo XVIII. Este ulti-
do matriz. La palabra matriz fue usada por mo matematico, expuso lo que hoy conocemos
primer vez por Sylvester (18141897) en 1850. como regla de Cramer para los sistemas de or-
Es cierto, como dice Cayley (18211895), den 3. A mediados del siglo XIX fue Cayley, al

2
estudiar las matrices, quien dedujo la formula la pivotacion parcial, una ligera variante del
general de la regla de Cramer y quien expuso metodo de Gauss, para intentar que los erro-
claramente la condicion necesaria y suficiente res parciales sean los menores posibles. En
para que un sistema cuadrado de ecuaciones 1948, el matematico ingles Alan Turing de-
lineales tuviera solucion unica, a saber, que sarrollo la factorizacion LU.
la matriz de los coeficientes del sistema fuera
invertible. 4. Espacios vectoriales
Frobenius introdujo la nocion de rango de Como ya se vio en la seccion 1, la idea de
una matriz en 1879, aunque en relacion con los vector de IRn entro en las matematicas de for-
determinantes. Esta definicion permitio gene- ma callada. Mas aun, podemos decir que la
ralizar el teorema que hoy conocemos como idea de vector abstracto fue introducida por
teorema de Rouche-Frobenius. Euler (17071783) sin que este se diera cuen-
Gauss dedujo a principios del siglo XIX ta: al resolver la ecuacion diferencial que hoy
un metodo que permite resolver cualquier llamamos lineal de orden n homogenea de co-
sistema de ecuaciones lineales. Este metodo eficientes constantes, Euler indica que la solu-
cayo en el olvido pues es mas engorroso que la cion general ha de contener n constantes ar-
presentacion matricial hecha por Cayley y por bitrarias y que dicha solucion vendra dada
Frobenius. Jordan1 dedujo un algoritmo alter- por combinaciones de n soluciones particu-
nativo a la formula (1) presentada por Cayley lares independientes. De un modo mas preciso,
para calcular la inversa de una matriz. Hoy si y = y(t) es la solucion, entonces
conocemos este metodo como el algoritmo de
Gauss-Jordan. y(t) = C1 y1 (t) + + Cn yn (t),
A medida que en otras disciplinas cientfi-
cas se iba encontrando que los problemas se donde C1 , . . . , Cn son constantes arbitrarias e
podan plantear en terminos de sistemas de y1 , . . . , yn son soluciones independientes. Eu-
ecuaciones lineales los matematicos se em- ler no aclara lo que para el son funciones
pezaron a preocupar de aspectos como el independientes. En trabajos posteriores, La-
numero de operaciones en un algoritmo. Pron- grange (17361813) extendio este resultado a
to se dieron cuenta que la formula (1) para ecuaciones lineales homogeneas de coeficientes
el calculo de la inversa es muy costosa por el variables. Fue Cauchy quien aislo la nocion de
numero de operaciones, mientras que el meto- independencia lineal y la aplico al estudio de
do de Gauss exiga un numero considerable- ecuaciones diferenciales. Curiosamente se de-
mente menor. sarrollaron los conceptos basicos en el espacio
Un problema muy complicado es el sigu- de las funciones continuas antes que en IRn .
iente: De que forma contribuyen los errores En 1844, Grassmann, en el libro Die lin-
de redondeo individuales al error total? Fue eale ausdehnungslehre, axiomatizo el concepto
atacado por primera vez por Von Neumann, de independencia lineal aplicandolo a los ele-
si bien solo encontro estimaciones muy com- mentos de IRn . La exposicion de Grassmann
plicadas. Actualmente se utiliza el metodo de estaba ligada con ideas geometricas, pero a el
se le deben los conceptos claves de la teora
1
Aunque ha habido confusion sobre que Jordan de espacios vectoriales. El primero en dar la
debe recibir el merito por este algoritmo, ahora parece
claro que este metodo fue introducido por Wilhem Jor-
definicion axiomatica actual de espacio vecto-
dan (18421899) y no por el mas conocido Marie En- rial fue Peano (18581932) en su libro Calco-
nemond Camile Jordan. lo geometrico secondo lAusdehnungslehre di

3
H. Grassmann preceduto dalle operazioni del- En lenguaje moderno, (2) equivale a escribir
la logica deduttiva publicado en 1888. x = Ax0 , donde A = (aij ), x = (x, y, z)t y
x0 = (x0 , y 0 , z 0 )t . Mientras que las condiciones
5. Aplicaciones lineales (3) y (4) equivalen a AAt = I.
Descartes, en uno de sus intentos por alge- La relacion entre matriz y aplicacion lin-
brizar la geometra plana estudio la relacion eal se hizo mas patente cuando Cayley es-
entre (x, y) y (x0 , y 0 ) si el segundo se obtiene cribio de forma matricial las ecuaciones de los
girando un angulo el primer punto. Jean diferentes tipos de transformaciones geometri-
Bernouilli (16671748) en una carta a Leib- cas. Tambien escribio de forma matricial las
niz en 1715 introdujo los planos coordena- ecuaciones obtenidas por Lagrange obtenien-
dos en IR3 tal como los conocemos hoy en do un tipot particular de matrices: las ortogo-
da. Rapidamente se empezaron a estudiar nales (AA = I). El concepto de aplicacion
las ecuaciones de las principales transforma- lineal en su forma actual se le debe a Peano
ciones geometricas en el espacio: proyecciones, cuando axiomatizo la definicion de espacio
simetras y giros. vectorial.
Los siguientes pasos los dieron Euler y La- Hoy en da las aplicaciones lineales son im-
grange desde dos puntos de vista: el geometri- portantes en las matematicas y en las cien-
co y el analtico. Euler, al estudiar la ecuacion cias aplicadas. Las aplicaciones lineales mode-
general de segundo grado en tres coordenadas lan las transformaciones geometricas as co-
cambio los ejes para que la expresion resulte mo las ecuaciones lineales. Muchos proble-
lo mas sencilla posible, de esta manera, fue mas de la ingeniera se plantean usando ma-
capaz de clasificar todas las cuadricas2 . La- trices, y por tanto, con aplicaciones lineales.
grange, en un ensayo sobre la atraccion de los Muchos problemas complicados se aproximan
esferoides, proporciono la forma general de los mediante la linealizacion prefiriendo estudiar
movimientos que conservan distancias: los problemas lineales que surgen. Incluso en
la mecanica cuantica un observable es cierto
0
x = a11 x + a12 y + a13 z0 0 operador lineal en un espacio vectorial com-
0
y = a21 x + a22 y + a23 z0 0 (2) plejo.
0
z = a31 x + a32 y + a33 z0 0

6. Espacio vectorial eucldeo


donde los coeficientes aij verifican
Cuando los matematicos posteriores a

a211 + a221 + a231 = 1
Descartes desarrollaron la geometra analtica
a212 + a222 + a232 = 1 (3) no se dieron cuenta que el concepto de perpen-
a213 + a223 + a233

= 1 dicularidad era independiente del concepto de
paralelismo. Los desarrollos obtenidos por los
y matematicos en los siglos XVIII y principios
del XIX los consideraron como parte del mis-
a11 a12 + a21 a22 + a31 a32 = 0
mo tipo de geometra.
a11 a13 + a21 a23 + a31 a33 = 0 (4) Fue a principios del siglo XIX, con el es-

a12 a13 + a22 a23 + a32 a33 = 0 tudio de la geometra proyectiva y las ge-
2
Al hacer esta clasificacion Euler descubrio el
ometras no eucldeas cuando se observo que
paraboloide hiperbolico, superficie desconocida para las ideas de paralelismo e incidencia son con-
los griegos. ceptos independientes de la metrica del espa-

4
cio. El desarrollo de la teora que hoy cono- Desde el punto de vista del analisis, ya
cemos como producto interno vino de dos Euler se dio cuenta, al estudiar el desarrol-
caminos diferentes: el algebra y el analisis. lo de una funcion en serie trigonometrica, la
Grassmann definio en su libro Die lineale relacion
ausdehnungslehre lo que llamo cantidad ex- Z
tensiva (un tipo de hipernumero con n com- fi (x)fj (x) dx = 0, i 6= j,

ponentes). Para Grassmann un hipernumero
es una expresion del tipo siendo fi , fj cualesquiera funciones del llama-
do sistema trigonometrico:
= 1 e1 + 2 e2 + + n en ,

donde los i son numeros reales y donde ei {1, cos x, sen x, cos(2x), sen(2x), . . .}.
son unidades cualitativas representadas geo-
metricamente por segmentos de lnea dirigidos Legendre (17521833) obtuvo, al estudiar la
(de una unidad de longitud) trazados desde ecuacion diferencial que hoy lleva su nombre,
un origen comun determinando un sistema de una serie de polinomios pi que satisfacen
ejes ortogonal. Las i ei son multiplos de las 1
(
1 si i = j,
Z
unidades primarias y estan representadas por pi (x)pj (x) dx =
longitudes i a lo largo de los ejes respectivos, 1 0 si i 6= j.
mientras que esta representado por un seg-
mento de lnea dirigido en el espacio cuyas Sturm (18031855) y Liouville (18091882)
proyecciones sobre los ejes son las longitudes generalizaron este tipo de funciones y es-
i . Grassmann define la suma y el producto tablecieron una clara analoga del compor-
por escalares tamiento de todas estas funciones con el de-
sarrollo hecho por Grassmann. La teora tuvo
(1 e1 + + n en ) + (1 e1 + + n en ) que esperar a los trabajos de Hilbert (1862
= (1 + 1 )e1 + + (n + n )en , 1943) sobre las ecuaciones integrales definien-
do con claridad un producto interno en el es-
y pacio de las funciones que generaliza al pro-
ducto de Grassmann.
(1 e1 + + n en ) Aunque Hilbert no desarrollo un lengua-
= (1 )e1 + + (n )en je geometrico puso los fundamentos para el
desarrollo de la teora general que fue hecha
Grassmann introdujo dos clases de produc-
por Schmidt (18761959) a principios del siglo
tos, el interno y el externo. Para el primero
XX. Consideraba las funciones como elemen-
Grassmann postulo
tos de un espacio de dimension infinita, intro-
dujo la notacion que hoy utilizamos, definio el
(
1 si i = j,
ei |ej = concepto de perpendicularidad, norma y de-
0 si i 6= j,
dujo los principales teoremas: Pitagoras, de-
la propiedad distributiva con respecto a la sigualdad de Bessel, desigualdad de Cauchy-
suma, la conmutativa y (e)|f = (e|f ), sien- Schwarz y la desigualdad triangular.
do e y f dos hipernumeros. Grassmann de- En 1958, J. H. Wilkinson desarrollo la fac-
fine el valor numerico de un hipernumero (lo torizacion QR a partir del proceso de ortogo-
que hoy llamamos norma) y angulo entre dos nalizacion de Gram-Schmidt. Al matematico
hipernumeros. danes Jorgen Pedersen Gram (1850-1916) se

5
le recuerda sobre todo por este proceso de or- tar hacer mnima la funcion de dos variables
togonalizacion que construye un conjunto or- n
X
togonal de vectores a partir de un conjunto in- f (a, b) = (a + bxi yi )2 ,
dependiente. Sin embargo, el no fue el primero i=1
en usar este metodo. Parece ser que fue descu-
bierto por Laplace y fue usado esencialmente Para ello se iguala f /a y f /b a cero
por Cauchy in 1836. obteniendo un sistema de ecuaciones. Moder-
namente se prefiere deducir este sistema por
metodos algebraicos, ya que si lo que se pre-
7. Aproximacion mnimos-cuadratica
tende es minimizar la norma de cierto vec-
En el primer da del ano 1801, un cuerpo, tor de IRn , parece claro que podemos utilizar
posteriormente identificado como un asteroide tecnicas de producto interior.
y llamado Ceres, fue descubierto mientras que
se aproximaba al Sol. Los astronomos fueron 8. Teora espectral
incapaces de calcular su orbita, a pesar de El tema de los valores propios apare-
que pudieron observar este cuerpo durante 40 cio cuando Euler, en el primer tercio del siglo
das seguidos hasta que lo perdieron de vista. XVIII, estudio sistematicamente la ecuacion
Despues de solo tres observaciones Gauss de- general de segundo grado en dos y tres vari-
sarrollo una tecnica para calcular su orbita ables en el plano y en el espacio respectiva-
con tal precision que los astronomos a finales mente. Demuestra que existen unos ejes per-
de 1801 y principios de 1802 pudieron lo- pendiculares donde la expresion de la conica
calizar Ceres sin ninguna dificultad. Con este o cuadrica es especialmente sencilla. Posteri-
avance en astronoma, Gauss logro un rapi- ormente en 1760 en su libro Recherches sur
do reconocimiento en el ambito cientfico. Su la courbure des surfaces, al estudiar las sec-
metodo, que no fue descrito hasta 1809 en el ciones normales de una superficie en un pun-
libro Theoria motus corporum coelestium, to- to encuentra que hay dos planos mutuamente
dava es usado hoy en da y solo requiere unas ortogonales cuyas secciones proporcionan las
pocas modificaciones para adaptarse a los or- curvas de maxima y mnima curvatura. Poste-
denadores modernos. riormente se vio que estas dos situaciones son
Tres anos antes y de modo independiente, casos particulares del hecho de que una matriz
Legendre en su Nouvelles methodes pour la simetrica sea ortogonalmente diagonalizable.
determination des orbites des cometes, desa- La nocion de polinomio caracterstico aparece
rrollo el primer tratamiento del metodo de los explcitamente en el trabajo de Lagrange so-
mnimos cuadrados. bre sistemas de ecuaciones diferenciales en
En esencia el metodo de Gauss fue como 1774 y en el trabajo de Laplace (17491827)
sigue. Si se obtiene una tabla de medidas entre en 1775.
las variables x e y ligadas por medio de la Cauchy reconocio el problema del valor pro-
relacion y = a + bx: pio en la obra de Euler, Lagrange y Laplace.
En 1826 tomo el problema de la reduccion de
x x1 x2 xn la forma cuadratica en tres variables y de-
y y1 y2 y n mostro que la ecuacion caracterstica es in-
variante para cualquier cambio en los ejes
Y se busca la recta y = a + bx que mejor se rectangulares, en lenguaje moderno, si A es
ajusta a esta tabla de puntos, se debe inten- una matriz cuadrada y si S es invertible, en-

6
tonces los ejes principales generalizado en espacios
de dimension infinita. Hilbert llevo a cabo
det(A I) = det(SAS 1 I).
un proceso de paso al lmite que le permi-
En 1829 Cauchy prueba que los valores pro- tio generalizar resultados sobre sistemas fini-
pios de una matriz simetrica son reales. Las tos de ecuaciones lineales. Sobre esta base
t
matrices hermticas (A = A ) fueron intro- decidio que un tratamiento de las formas
ducidas por Hermite (18221901). Frobenius cuadraticas infinitas vendra a completar de
en 1878 prueba la diagonalizabilidad de las una manera esencial la teora bien conocida
matrices ortogonales, extendiendo en 1883 la de las formas cuadraticas con un numero fini-
t
demostracion a matrices unitarias (AA = I). to de variables.
El teorema espectral para matrices normales
t t
(AA = A A) es debido a Toeplitz (1881 9. Aplicaciones de la teora espectral
1940). Como se vio en la seccion anterior, Cauchy
Jacobi (18041851) dio la solucion del sis- se dio cuenta de la estrecha relacion entre
tema de ecuaciones diferenciales Y 0 = AY , los valores y vectores propios de una matriz
siendo A una matriz diagonalizable. Jordan simetrica con las direcciones principales y las
resolvio el caso no diagonalizable usando los longitudes de los ejes de la conica asociada a
conceptos de matrices similares (dos matrices esta matriz simetrica. El motivo de introducir
A y B se dicen similares si existe una ma- el concepto de ortogonalmente diagonalizable
triz invertible S tal que A = SBS 1 ) y de fue precisamente este.
ecuacion caracterstica. En el libro Traite des Una de las primeras aplicaciones de la
substitutions (1870) demostro que una matriz teora de los valores y vectores propios fue
puede ser transformada a una forma canonica el estudio de las sucesiones dadas por recu-
hoy llamada forma canonica de Jordan. rrencia lineales, por ejemplo la sucesion de Fi-
Un paso simultaneo hacia el concepto de bonacci.
valor y vector propio en un espacio vectorial
abstracto lo dieron Sturm y Liouville al estu- a1 = 1, a2 = 1, an+2 = an+1 + an n 1.
diar las ecuaciones que hoy llevan su nombre.
Observaron que si es cierto operador dife- La tecnica que aun usamos hoy en da se re-
rencial, entonces existe una sucesion de valo- duce al calculo de la potencia de una matriz.
res n tales que existen funciones yn no nulas Markov (18561922) fue el primero en es-
ortogonales entre s verificando (yn ) = n yn . tudiar los procesos estocasticos no depen-
Desde 1904 hasta 1910, Hilbert
Rb
estudio la dientes del tiempo, llamados hoy cadenas
ecuacion integral u(x) = a K(x, y)u(y) dy. de Markov. Una cadena de Markov es una
Supone que K es simetrico y define lo que sucesion de variables dependientes X(ti ) =
es un operador autoadjunto para un espacio (x1 (ti ), . . . , xn (ti )) identificadas por valores
de funciones, lo que le permite hacer uso de discretos crecientes de ti (usualmente el tiem-
las propiedades de las matrices simetricas en po) con la propiedad de que cualquier predic-
el caso finito. En concreto demuestra que el cion de X(ti ) es solo funcion de X(ti1 ). Esto
operador (u)(x) = ab K(x, y)u(y) dy es au-
R
es, el valor futuro de la variable X depende
toadjunto. Las autofunciones asociadas a los solo del valor presente y no de los valores
distintos autovalores son perpendiculares dos en el pasado. Utilizando la teora de diago-
a dos. Con estos resultados Hilbert puede de- nalizacion de matrices Markov pudo estudiar
mostrar lo que se conoce como el teorema de completamente las cadenas de Markov donde

7
la relacion entre X(ti ) y X(ti1 ) es lineal. Su versity Press, 1972. (Hay traduccion
trabajo ademas ha sido aplicado a la biolo- castellana: El pensamiento matematico:
ga. En 1945 Leslie, introdujo un cierto tipo de la antiguedad a nuestros das. Alianza
de matrices (llamadas hoy en da matrices Universidad.)
de Leslie con el fin de estudiar problemas de
evolucion de poblaciones de animales. Julio Bentez Lopez

Breve cronologa Universidad Politecnica de Valencia


1693. Leibniz
6 de Noviembre de 2007
1750. Cramer: resolucion de sistemas de
ecuaciones lineales.
Final del siglo XVIII. Lagrange: Formas bi-
lineales para la optimizacion de una funcion
real de dos o mas variables
1800 Gauss: Eliminacion gaussiana (en el
siglo III se descubrio en China este metodo
para sistemas 3 3.
1844 Grassmann: Algebra vectorial.
1848 Sylvester: Introdujo el termino matriz.
1855 Cayley: Define la multiplicacion ma-
tricial motivado por la composicion de trans-
formaciones. Tambien introdujo las inversas.
1878 Frobenius: Introdujo el rango y
provo el Teorema de Cayley-Hamilton.
1888 Peano: Dio la definicion moderna de
espacio vectorial.
1942 von Neumann: Definio el numero de
condicion de una matriz que sirve para estudi-
ar la sensibilidad de un sistema de ecuaciones
lineales.
1948 Turing: Introdujo la factorizacion LU.
1958 Wilkinson: Introdujo la factorizacion
QR.

Referencias
[1] M. Kline: Mathematical Thought From
Ancient to Modern Times. Oxford Uni-