Antecedentes histricos de algebra de vectores

La historia del lgebra comenz en el antiguo Egipto y Babilonia, donde fueron capaces de
resolver ecuaciones lineales (ax = b) y cuadrticas (ax2 + bx = c), as como ecuaciones
indeterminadas como x2 + y2 = z2, con varias incgnitas. Los anticuados babilonios
resolvan cualquier ecuacin cuadrtica empleando esencialmente los mismos mtodos
que hoy se ensean. Tambin fueron hbiles de solucionar ciertas ecuaciones
indeterminadas.
Hasta el siglo XVIII el algebra era , esencialmente el arte de resolver ecuaciones de
grado arbitrario. El matemtico y filosofo francs, y uno de los iniciadores de la
Enciclopedia, D,Alembert descubre que las soluciones de un sistema AX=b forman una
variedad lineal. Asimismo Euler, Lagrange y el propio D,Alembert se dan cuenta que la
solucin general del sistema homogneo Ax=o es una combinacin lineal de algunas
soluciones particulares.
En el siglo IX, el matemtico al-Jwrizm; escribi uno de los primeros libros rabes de
lgebra, una presentacin sistemtica de la teora fundamental de ecuaciones, con
ejemplos y demostraciones incluidas. A finales del siglo IX, el matemtico egipcio Abu
Kamil enunci y demostr las leyes fundamentales e identidades del lgebra, y resolvi
problemas tan complicados como encontrar la x, y, z que cumplen x + y + z = 10, x2 + y2 =
z2, y xz = y2.
A principios del siglo XVI los matemticos italianos Scipione del Ferro, Tartaglia y
Gerolamo Cardano resolvieron la ecuacin cbica general en funcin de las constantes
que aparecen en la ecuacin. Ludovico Ferrari, alumno de Cardano, pronto encontr la
solucin exacta para la ecuacin de cuarto grado y, como consecuencia, ciertos
matemticos de los siglos posteriores intentaron encontrar la frmula de las races de las
ecuaciones de quinto grado y superior.
Despus del descubrimiento de Hamilton el matemtico alemn Hermann Grassmann
empez a investigar los vectores. A pesar de su carcter abstracto, el fsico
estadounidense J. W. Gibbs encontr en el lgebra vectorial un sistema de gran utilidad
para los fsicos, del mismo modo que Hamilton haba hecho con las cuaternas. La amplia
influencia de este enfoque abstracto llev a George Boole a escribir Investigacin sobre las
leyes del pensamiento (1854), un tratamiento algebraico de la lgica bsica. Desde
entonces, el lgebra moderna tambin llamada lgebra abstracta ha seguido
evolucionando; se han obtenido resultados importantes y se le han encontrado
aplicaciones en todas las ramas de las matemticas y en muchas otras ciencias.

En esa poca aparecen con Hamilton, Arthur Cayley ( 1821-1895) y Hermann Gunther
Grassmann ( 1809-1877) las nociones de vector y de espacio vectorial como una
axiomatizacin de la idea de vector manejada por los estudiosos de la mecnica desde
fines del siglo XVII. Adems considerado el maestro de algebra lineal, Grassmann
introduce el producto geomtrico y lineal, siendo el primero de estos equivalentes a
nuestro producto vectorial. Asimismo, introduce las nociones de independencia lineal de
un conjunto de vectores, asi como de la dimensin de una espacio vectorial y prueba la
clsica identidad.
dim( U + W )= dim (U) + dim (W) dim( U W )
para cada par de subespacios U y W de un espacio vectorial.