Producto Vectorial

EL PRODUCTO VECTORIAL
Juan Francisco Gonzalez Hernandez

Resumen
Se desarrolla una exposicion historica del origen de la operacion
que llamamos producto vectorial, destacandose los problemas y
conceptos matematicos que llevaron a su introduccion en el A
lgebra. Se incluye una descripcion de las mas destacadas y
representativas aplicaciones de este producto en Fsica y Matema
ticas, as como una vision general de las diferentes alternativas
para generalizar este producto a espacios de mas dimensiones.
Finalmente, se discute acerca de la mejor manera de intro- ducir este
concepto a nivel teorico y practico en los ultimos cursos de la
E.S.O. y en Bachillerato, destacandose algunos puntos pedagogicos y
didacticos que pueden ser de interes practico.
Indice
1. Intro duccion
2. Historia y desarrollo del producto vectorial

2
2.1. W. R.Hamilton: complejos, cuaternios y vectores...................................2
2.2. Grassmann y el calculo de extensiones..................................................7
2.3. Gibbs, Heaviside y el analisis vectorial.................................................9
2.4. William K. Clifford.................................................................................11
2.5. Una sntesis moderna del producto vectorial.......................................12
2.5.1. Definicion.......................................................................................12
2.5.2. Ejemplos..........................................................................................13
2.5.3. Propiedades interesantes.............................................................13
2.5.4. Matrices, SO(3) y producto vectorial.......................................13
2.5.5. Notacion tensorial y producto vectorial...................................14
2.5.6. Vectores axiales y quiralidad.....................................................14
3. Aplicaciones del producto vectorial
15
3.1. Aplicaciones en Matematicas................................................................15
3.1.1. Calculo de areas y volumenes...............................................15
3.1.2. Teorema de Stokes......................................................................15
3.1.3. A lgebras de Lie y producto vectorial.................................16
3.1.4. Metodo de Cayley-Dickson, semioctavas, octavas y Matrices de Zorn.....................................................................................16
3.1.5. Otras utilidades matematicas.......................................................................18
3.2. Aplicaciones en la Fsica.......................................................................18
*
k: [email protected]
URL: http://thespectrumofriemannium.wordpress.com/
**
3.2.2.
3.2.3.
3.2.4.
3.2.7.
3.2.8.
3.2.1. Momento angular y torque.....................................................................18

Vector de Laplace-Runge-Lenz............................................................................19
Sistemas de referencia no inerciales.....................................................................19
Redes de Bravais...................................................................................................20
3.2.5. Expresion de la fuerza de Lorentz y vector de Poynting .
21
3.2.6. Ley de Biot-Savart
21
Ecuaciones de Maxwell.........................................................................................22
Rotacional y vorticidad.........................................................................................22
4. Generalizaciones
23
4.1. A lgebras normadas en D=1, 2, 4, 8...............................................23
4.1.1. Las algebras con division K = R, C, H, O........................23
4.1.2. A B solo existe en D = 0, 1, 3, 7...................................23
4.2. Producto exterior y A lgebra de Grassmann..................................26
4.2.1. A lgebra de Grassmann para principiantes.........................26
4.2.2. A lgebras de Grassmann en serio......................................27
4.3. Forma de volumen y dual de Hodge......................................................28
4.4. A lgebras de Clifford (A lgebra geometrica)...........................30
5. Pedagoga y Didactica
31
5.1. La regla del tornillo y del sacacorchos..................................................32
5.2. La regla de la mano derecha..................................................................32
5.3. La tecnica e intuicion algebraicas.......................................................32
5.4. Problemas comunes de tipo didactico y recursos pedagogicos . . 33
6. Conclusiones y discusion
A. Cronologa algebraica
34
36
B. Perfiles biograficos
42
B.1. W. R. Hamilton.......................................................................................42
B.2. Hermann Gunther Grassmann........................................................45
B.3. Oliver Heaviside...........................................................................................46
B.4. Josiah W. Gibbs......................................................................................49
B.5. Arthur Cayley..........................................................................................49
B.6. W. K. Clifford.........................................................................................50
B.7. Nabla.......................................................................................................51
1.
Introduccion
La tercera operacion aritmetica basica, el producto, es en Matematicas

y en Fsica una de las fuentes de mayores sorpresas. Para numeros
convencionales, tales como los numeros reales, R, la definicion del producto
no presenta ningun problema, ya que simplemente es cuestion de una
extension trivial de las reglas para el producto que tenemos en los numeros
enteros, Z, y los racionales, Q.
Sin embargo, todos nos hemos enfrentado alguna vez a la dificultad intr
nse- ca que plantea el producto y su operacion inversa, la division, en
cuerpos o estructuras algebraicas mas generales. Los ejemplos tpicos que
hoy da se en- senan en la E.S.O. y Bachillerato comprenden dos casos
importantes: el algebra
vectorial y el algebra matricial. El concepto de producto de dos vectores, o

de dos matrices, es algo inherentemente complicado y sorprendente cuando se
ve por primera vez. Esta ha sido las principales motivaciones, junto a la
vertiente historica, hoy totalmente arrinconada por desgracia, la que nos ha
llevado a la realizacion de este trabajo. El conocimiento de los pasos l
ogicos que historicamente llevaron a sentar las bases del calculo vectorial
y tensorial por un lado, y por otro del A lgebra, tienen gran importancia para
profundizar en el concepto sobre el cual, de una u otra forma, descansan la
mayor parte de aplicaciones utiles: la nocion de operacion.
La organizacion del presente trabajo es como sigue: en la seccion 1,
estu- diamos como aparecio el concepto de vector y las distintas clases de
producto durante la genesis de los Cuaternios en el siglo XIX, donde
Hamilton introdujo la nocion de vector y mas tarde Gibbs y Heaviside
desarrollaron tanto la notacion como la maquinaria matematica conocida
hoy no ya solo por fsicos y matematicos, sino por una gran parte de los
estudiantes preuniversitarios, al mismo tiempo que se exponen cuales fueron
los posteriores desarrollos histori- cos. En la seccion 2, hacemos una extensa
revision de las aplicaciones que tiene la operacion de producto vectorial en
las disciplinas de Fsica y Matematicas. En la seccion 3, realizamos una s
ntesis autocontenida de las distintas formas de generalizar, en un sentido
concreto matematico, la nocion de producto vectorial a espacios de mas
dimensiones usando dos enfoques diferentes. Finalmente, en la seccion 4,
presentamos una discusion que se espera sea util a instructores y profesores,
y donde cobran particular importancia tres aspectos: la vision espacial, la
regla del tornillo o sacacorchos y la tecnica o intuicion algebraica, este u
ltimo normalmente poco destacado y valorado en libros y manuales.
2.
Historia y desarrollo del producto vectorial
La historia de la operacion producto vectorial se encuentra ntimamente

uni- da al origen del A lgebra y la propia evolucion natural de la teora de
numeros[1]. En concreto, para ser mas precisos, su creacion como entidad
propia se encuentra, como veremos, en el mismo perodo de tiempo que
llevo a la introduccion del analisis vectorial [2, 3, 4]. Entre los siglos
XVI y XVIII tuvo lugar una autentica revolucion matematica, consistente
en la puesta en comun de la Geo- metra Clasica eucldea y el A lgebra
aparecida en el Renacimiento. Mediante los metodos de la Geometra Anal
tica, y del recien inventado Calculo infinitesimal, se produjo una
explosion de nuevos y poderosos resultados pero tambien al planteamiento
de nuevas dificultades. As, a finales del siglo XVIII y principios del siglo
XIX, quedaban ya pocos matematicos atados a los metodos exclusivamente geometricos, usando preferentemente tambien ya los nuevos
desarrollos algebraicos procedentes de la teora de ecuaciones. Sin embargo,
conviene des- tacar que esta curiosa operacion, el producto vectorial, no
aparecio en primer lugar con los vectores, sino que fue mas bien al reves,
los vectores y las distintas operaciones entre ellos se crearon a partir de la
solucion algebraica de un problema concreto, que no es otro que la de la
generalizacion de la nocion de numero complejo.
2.1.
W. R.Hamilton: complejos, cuaternios y vectores
Sir William Rowan Hamilton fue sin lugar a dudas una persona superdotada en muchos aspectos: a los 5 anos lea griego, latn, hebreo y
dominaba a los diez anos media docena de lenguas orientales. Estudio en el
Trinity Colle- ge de Dubln, y a los 22 anos era ya astronomo real de
Irlanda, director del Observatorio de Dunsink y profesor de Astronoma.
Publico pronto un trabajo sobre rayos en O ptica, y estudio otros
interesantes fenomenos naturales cuya explicacion y confirmacion
experimental le dieron enorme prestigio, tanto como para ser elevado a la
nobleza a los 30 anos. Ademas, fue la primera persona que presento un
trabajo original sobre el A lgebra de numeros complejos ( aunque dicen las
rumorologas matematicas que Gauss ya conoca ese sistema) siendo el
primero en formalizarlo en 1833. As, en ese ano, el artculo que presento
a la Irish Academy, introdujo el concepto de numero complejo como un
algebra 1 formal de pares de numeros reales con operaciones suma y producto
definidas como en la actualidad. De esta forma:
(a, b) + (c, d) = (a + c, b +
d) (a, b) = (a, b)
(a, b) (c, d) = (ac bd, ad + bc)
El producto vectorial y el producto escalar surgieron a posteriori de la teor
a de los cuaternios de Hamilton, que son un conjunto de numeros de la
forma siguiente:
Q = a + bi + cj + dk
(1)
con a, b, c, d, R y los elementos base hipercomplejos cumpliendo las

relaciones fundamentales siguientes:
i
=j
=k
= ijk = 1
(2)
Como llego Hamilton a semejantes relaciones? Bien, la cuestion es

matematicamente no trivial, pero el problema es una simple generalizaci
on. Por analoga con los numeros complejos, Hamilton se pregunto si sera
posible hacer lo mismo para tripletes de numeros lo que haba hecho para
pares o dobletes de numeros reales, lo que haba hecho para construir de
una manera novel los numeros complejos. Entonces, su siguiente paso fue
imaginarse unos tripletes de la forma siguiente:
a + bi + cj
(3)
1
Un algebra hoy da se define como un espacio vectorial V sobre los reales, R,
equipado con una operacion externa bilineal : V V V que puede imaginarse como
una suerte de producto de vectores. Pero la cuestion es, de donde vienen los espacios
vectoriales? Se
despertaba Gauss alarmado y noctambulo por la noche, pensando Sea V un espacio
sobre un cuerpo F, con la operacion suma definida por + : V V V , asociativa y
conmutativa,
. . . ? No, no lo hizo as. Los numeros complejos pueden verse como un espacio vectorial
sobre los reales con 1 e i como vectores base. Satisfacen las propiedades usuales, tales como
distributividad y conmutatividad. Son un algebra. Un algebra de division es un algebra
en la que todo elemento salvo el 0 tiene un inverso multiplicativo. Un algebra normada
satisface la ley de los modulos.
y en donde los coeficientes a, b, c son de nuevo numeros reales. Hamilton,

en- tenda entonces estos numeros de ternas como un conjunto cuya base eran
1, i, j, mutuamente perpendiculares entre s, como lo eran 1, i en el plano
complejo. Surga la siguiente dificultad cuando trataba de multiplicar los
siguientes productos de ternas
(a + bi + cj ) (A + Bj + Cj )
(4)
Como el producto deba estar en el mismo espacio, y efectuarse termino a t
ermino, para visualizar completamente el espacio tridimensional deba
cum- plirse la relacion entre los modulos, esto es, que el modulo del
producto fuera el producto de los modulos: |Q1 Q2 | = |Q1 ||Q2 |, y como tambi
en quera que i, j
fueran unidades imaginarias diferentes, i 2 = j 2 = 1, al calcular el producto
obtena, suponiendo la condicion adicional ij = ji:
(a + bi + cj ) (A + Bj + Cj ) =
= (aA bB cC) + (aB + bA) i + (aC + cA) j + (bC + cB) ij
Ante este resultado, dado que salen 4 () sumandos diferentes, se hizo la pregunta siguiente: cuanto tiene que valer ij para que el producto sea de la
forma de tripletes T = p + qi + rj , perteneciendo por tanto al espacio
tridimensional que hoy llamamos R3 ? Hamilton era un personaje pertinaz, y
empezo a probar con soluciones por prueba y error. Intento primero las
posibilidades ij = 1, y tambien ij = 1. Sin embargo, tales casos le llevaban
a unas reglas de multiplicacion que no verificaban la ley de los modulos. Tambien probo incluso ij
= 0, y tampoco se cumpla la ley de los modulos, aunque en ese caso
observo un fenomeno curioso. A saber, cuando se anulaba dicho termino, y
se haca que el producto de dos tripletes con los escalares asociados a i , j
iguales, se llegaba al resultado:
(a + bi + cj ) (A + bj + cj )
=
= aA b2 c 2 + (a + A) bi + (a + A) cj
que, como es facil de observar, verifica la ley de los modulos. Entonces,
se dio cuenta que para que se anulara el factor con ij era suficiente que
anticon- mutara, es decir, intuyo que ij = ji . Pero entonces, cual deba
ser el nuevo valor concreto que asignar a ij mas alla de esta propiedad?
Llamo finalmente k al nuevo valor que penso deba determinar espec
ficamente. Haciendo de nuevo
el producto de las ternas (4), haciendo que ij = ji = k = 0, se observa la ley
de los modulos al hacer la diferencia entre los cuadrados de los modulos de
los
factores menos el cuadrado del modulo del producto:
a2 + b2 + c2
(aA bB
cC)
A2 + B 2 + C 2
+ (aB +
+ (aC +
bA)
cA)
+ (bC + cB) =
= (bC cB)
que no es otra cosa que el cuadrado del coeficiente de k en el desarrollo del producto. Entonces, penso en reorientar definitivamente el problema. Dejo de
ponerse la restriccion tridimensional, y en lugar de multiplicar tripletes,
anadio una cuarta coordenada a sus numeros hipercomplejos, para lograr,

como caso particular cierto calculo de tripletes. Supuso finalmente que ij = ji = k , donde
k era una nueva unidad imaginaria y considero cuaternios, cuadruplas o

cuaterniones, de la forma (1), expresiones del tipo a + bi + cj + dk, sujetos
a las siguientes reglas de multiplicacion:
ik = iij = j
ki = jii = j
jk = jii = i
kj = ijj = i
k2 = (ij) (ij) = (ji) (ij) = (jiij) = j2 = 1
que se pueden resumir en las ecuaciones antes mencionadas (2), y que fueron
grabadas con la punta de la navaja en una piedra del puente de Brougham,
Brougham Bridge, en un paseo de Hamilton cuando solvento el problema:
Los nuevos cuaternios o cuaterniones de Hamilton, tenan muchas

propiedades nuevas e interesantes en s mismas, y fascinaron al propio
Hamilton tanto que gran parte de sus publicaciones desde su invencion las
dedico a su estudio, que se plasmo en [6]. Pasemos a continuacion a revisar
dichas propiedades, porque encierran, ocultas, y condensadas, el producto
escalar y vectorial que hoy conocemos:
1. Los cuaternios, que simbolizaremos de forma abstracta por H, pueden
entenderse y escribirse en forma de pares de numeros complejos
como sigue
Q = a + bi + cj + dk = a + bi + cj + dij =
= (a + bi ) + (c + di ) j = z1 + z2j
2. Todo cuaternio tiene un conjugado y un inverso para el producto. En
efecto, definimos el cuaternio conjugado a Q = a + bi + cj + dk ,
denotado por Q , como
Q = a bi cj dk
(5)
Ademas, el producto de Q y Q es el cuadrado del modulo del
cuaternio, es decir, la norma, es
N (Q) = |Q|2 = QQ = a2 + b2 + c2 + d2
(6)
y entonces el inverso multiplicativo de un cuaternio Q sera, siempre

que sea un cuaternio no nulo,
Q
(7)
Q1 =
QQ
3. El producto de cuaternios, aunque es no conmutativo en general por las

reglas (2), es asociativo. La demostracion es sencilla usando la
notacion compleja para los cuaternios y no se hara aqu. El lector
interesado puede consultar [1].
4. Los cuaternios con la operacion suma definida por componentes de
la forma usual, y las reglas para el producto de (2) tiene la estructura de
un
algebra normada con division, pero no es un cuerpo como R o C.
5. Cualquier cuaternio se puede dividir en la suma de una parte escalar,
tambien llamada pura, S(Q), y una parte imaginaria, tambien llamada
vector o vectorial V (Q) de la forma siguiente
Q = S(Q) + V (Q)
S(Q) = a
V (Q) = bi + cj + dk
(8)
(9)
(10)
Hamilton llamo a la parte imaginaria vector porque en latn veher

significa dirigir, direccionar. La parte imaginaria era precisamente la teora
de tripletes que buscaba para el espacio, pero obtuvo como inesperado
visitante a la parte escalar. Fue algo muy debatido la interpretacion de
estos nuevos cuaternios, precisamente porque parece que permiten, in grosso
modo, sumar puntos y vectores. Es posible sumar peras con manzanas? La
respuesta de la comunidad en general fue reinterpretar sus cuaternios de otra
forma diferente. Pero ahora viene lo realmente interesante, y que no deja de
ser sumamente sorprendente para quien no lo conoce. Si somos personas
contrariadas e inquietas por esa parte escalar que nos estorba...Por que no
cancelarla?Si as lo hacemos, y calculamos el producto de dos cuaternios
imaginarios o vectores obtenemos
q1q2 = (x1i + y1j + z1k ) (x2i + y2j + z2k )
(11)
q1q2 = (y1z2 z1y2) i + (z1x2 x1z2) j + (x1y2 y1x2) k (x1x2 + y1y2 + z1z2)
(12)
Y rapidamente podemos reconocer ah las componentes tanto del producto
escalar como del producto vectorial. Todo esto le llevo a Hamilton un
tiempo. De hecho la leyenda o historia que ha llegado hasta nuestro tiempo es
el siguiente relato
Hamilton llego a conjeturar que en el espacio de tres
dimensiones, lo que ahora conocemos por un vector, podra ser
representado por un conjunto de tres numeros, de la misma forma
que un vector en un plano es expresado en un par. Trato de
encontrar la cuarta pro- porcional multiplicando ternas, conjuntos
de tres numeros, pero encontro dificultades. Los miembros mas
jovenes de la casa de Dunsink participaban con afecto en las
esperanzas y desenganos de su ilus- tre padre, a medida que las
investigaciones tenan lugar. William Edwin, de nueve anos y
Archibald Henry, de ocho solan preguntar en el desayunoQu
e, papa, puedes multiplicar ya ternas? A lo cual se vea
obligado a contestar, sacudiendo tristemente su cabeza: No, solo
los puedo sumar y restar. Un da, paseando de Dunsink a Dubl

n, Hamilton se dio cuenta repentinamente de la respuesta.
Los detalles matematicos, los hemos dado mas arriba. Ademas se puede
observar que el producto de dos cuaternios imaginarios con parte escalar, o
vectores puros, se puede escribir con notacion moderna
q1 q2 = a b a b
(13)
que tambien puede expresarse diciendo que si Q1 y Q2 son dos cuaternios

que tienen por componentes escalares y vectoriales respectivas (0, a) y (0, b)
entonces su producto vale
Q1Q2 = (0, a) (0, b) = (a b, a b)
Es decir, el producto de dos cuaterniones imaginarios puros es igual al producto vectorial que hoy conocemos como tal, menos el producto escalar eucl
deo usual. Sorprendente, magico y al mismo tiempo util si se sabe. Si
tenemos dos cuaternios con cuatro componentes en general no nulas, el
producto es mas complicado, como se puede ver a continuacion
Q1 = A + Bi + Cj + Dk
(14)
Q2 = a + bi + cj + dk
(15)
Q = Q1 Q2 = Aa Q 1 Q 2 + AQ 2 + aQ 1 + Q 1 Q 2 (16)
Q = (A, X) (a, Y) = (Aa X Y, AY + aX + X Y)
(17)
Es por esta identidad en especial, por la que durante la segunda mitad del
siglo XIX se expresaba el calculo en terminos de cuaternios, que sin
embargo seguan pareciendo extravagantes a muchas mentes lucidas.
Tanto es as, que se produjo pronto una escision entre lo que se podra
denominar la corriente cuaternionista y lo que se vendra en llamar la
corriente vectorial y tensorial. Eso se debio en gran medida tambien al
auge de los metodos teorico grupales, esto es, la teora de grupos, en
especial la de los grupos de Lie, a finales de siglo XIX. Aunque la aparici
on de los cuaternios en la representacion de ciertos grupos resulto notable,
parecan a la luz de esta nueva herramienta matematica
-la teora de grupos- bastante anecdotica y cayeron progresivamente en
desuso en favor de la corriente competidora. No obstante, su irrupcion
convulsiono la estructura clasica de las Matematicas.
2.2.
Grassmann y el calculo de extensiones
Hermann Gunther Grassmann tuvo una formacion autodidacta en Matema

ticas. Tras le realizazion de un examen, se convirtio en profesor de
Matematicas en Berln, ensenando tambien Fsica, Qumica y Mineralog
a. Paso toda su vida como profesor en un liceo. Entre los muchos temas que
abordo Grassman esta su ensayo sobre la teora de las mareas. Lo elaboro en
1840, tomando com base la teora de la Mechanique analytique de Lagrange
y de la Mechanique celeste de Laplace, pero exponiendo esta teora por m
etodos vectoriales, sobre los que tra- bajaba desde 1832. Este ensayo,
publicado por primera en los Collected Works de 1894-1911, contiene el
primer testimonio escrito de lo que hoy se conoce como algebra lineal y la
nocion de espacio vectorial. Grassmann desarrollo estos metodos en Die
Lineale Ausdehnungslehre, ein neuer Zweig der Mathematik y Die
Ausdehnungslehre: Vollstandig und in strenger Form bearbeitet.
En 1844, Grassmann publica su obra maestra, Die Lineale

Ausdehnungslehre, ein neuer Zweig der Mathematik, mas conocido como
Ausdehnungslehre, que se puede traducir como teora de la extensi
on o teora de las magnitudes extensivas. Despues de proponer en
Ausdehnungslehre nuevas bases para toda las matematicas, el trabajo
empieza con definiciones de naturaleza mas bien filosofica. Grassmann
demostro ademas que si la geometra se hubiese expresado en forma
algebraica como el propona, el numero tres no hubiese desempenado el
papel privilegiado que tiene como numero que expresa la dimesiones
espaciales; de hecho, el numero de posibles dimensiones de interes para la
geometra es ilimitado.
Fearnley-Sander (1979) describe la creacion del algebra lineal de
Grassmann de este modo:
La definicion de espacio lineal (...) se reconoce abiertamente
alrededor de 1920, cuando Hermann Weyl y otros publicaron la
definicion formal. En realidad dicha definicion haba sido
formulada unos treinta anos antes por Peano, que haba estudiado
a fondo el trabajo matematico de Grassmann. Grassmann no
formulo una definicion formal - no exista entonces un lenguaje
adecuado - pero no hay du- da de que tuviera claro el concepto.
Empezando con una coleccion de unidades, el, efectivamente,
definio el espacio lineal libre que generaban; en otros t
erminos, considera la combinacion lineal formal de tales
unidades, y con coeficientes dados por numeros reales, define la
suma y la multiplicacion de numeros reales [en el modo que se
usa actualmente] y demuestra formalmente las propiedades de
espacio lineal de estas operaziones. (...) Desarrolla la teora del la
independencia lineal de modo extra- ordinariamente similar a la
presentacion que podemos encontrar en los textos modernos de
algebra lineal. Define la nocione di subespacio, independencia,
longitud, desdoblamiento, dimension, union e interseccion de
subespacios, y proyeccion de elementos en los subespacios.
(. . . )...pocos estuvieron tan cerca como Hermann Grassmann
de crear, trabajando en solitario, una nueva disciplina.
As pues, a pesar de las valiosas contribuciones de Grassmann, estas no
fueron reconocidas en su tiempo. Fue en el siglo XX y este principio de siglo
cuando estan comenzando a valorarse propiamente sus contribuciones, pero
supusieron una frustracion y un parcial abandono de las Matematicas por
parte de Grass- mann. Sin embargo, al estar de moda el calculo de
cuaterniones de Hamilton, logro un apoyo individual por parte de Hankel, que
escribio Theorie der comple- xen Zahlensysteme und ihre Functionen
(1867), en donde en una clara y concisa notacion matematica confronto el c
alculo cuaternionico con el grassmaniano. De hecho, el propio Grassmann
encontro una forma de reducir su calculo al formalismo de los cuaternios.
Un breve extracto de lo que pensaba Grassmann nos ensena sus
profundas convicciones
Yo haba comprendido desde haca tiempo que no poda
considerar a la Geometra, como se consideraba a la Aritmetica o
la Teora de Combinaciones, como una rama de la Matematica,
sino mas bien,
puesto que la Geometra hace referencia a algo que ya esta dado

en la naturaleza, a saber, el espacio, deba tener en consecuencia
una rama de las Matematicas que se extrajera de ella misma de
manera puramente abstracta, leyes semejantes a las que en
Geometra aparecen ligadas al espacio. La posibilidad de
desarrollar tal rama de la matematica puramente abstracta estaba
dada por el nuevo analisis, cuando fue desarrollado
independientemente de todo teorema demostrado por otros y en la
pura abstraccion fue esta ciencia. La ventaja esencial obtenida por
esta interpretacion era, para la forma, que todos los principios que
expresaban las visiones del espacio des- aparecieron completamente
y, de este modo, los principios se volvan tan evidentes como los
de la Aritmetica y, por otra parte, para el contenido, la ventaja
estriba en que la limitacion a tres dimensiones se volva caduca.
De esta manera solo las leyes se iluminan en su evidencia y
universalidad y se presentan en su contexto esencial. Al- gunas
regularidades que en tres dimensiones o no existan todava o no
se manifestaban mas que de forma oculta, se desarrollan entonces
en toda su generalidad por esta generalizacion.
Que aportacion hizo Grassmann al producto vectorial ? Esencialmente,
fue una generalizacion. Grassmann se guio por la intuicion geometrica. E l
concibio el
area barrida por un segmento que se desliza sobre otro y sobre una lnea
quebrada dotada de una orientacion, y por lo tanto, de un signo, segun se
recorriera el permetro del area en un sentido u otro. Con esto, definio un
nuevo producto, el producto que en la actualidad se llama producto exterior,
ab = a b que el llamaba producto escalon, ntimamente relacionado con
el producto vectorial, y que, empero, a diferencia de este, no esta
restringido a una dimensionalidad
fija como en el caso del producto vectorial. Por cierto abuso de notacion,
en particular, algunos profesores y docentes actualmente representan el
producto vectorial con el smbolo del producto exterior , a pesar de que
conceptualmente son diferentes en origen y en formulacion. No es
recomendable hacerlo. Incluso aunque podamos relacionar ambas ideas,
conviene diferenciarlas explcitamente. En particular, el producto exterior
es asociativo, mientras que el producto
vectorial o producto cruz no lo es al ser un algebra de Lie.
2.3.
Gibbs, Heaviside y el analisis vectorial
La primera edicion del Tratado sobre la electricidad y el magnetismo

de Maxwell se publico en 1873 y Heaviside lo conocio inmediatamente,
quedando profundamente impresionado por su contenido, aunque inicialmente
no com- prendio bien su novedad (como la mayora de los lectores
contemporaneos), sobre todo en lo relacionado con las ondas electromagn
eticas y su propagacion por el medio (el eter como dielectrico). El aparato
matematico utilizado, basado en cuaterniones, tambien superaba sus
capacidades del momento. Por todo ello dedico varios anos a su estudio
profundo y en 1876 comenzo a citarlo en sus propios trabajos. La temprana
muerte de Maxwell en 1879 supuso un cambio radical de circunstancias, pues
no podan esperarse ya aportaciones del maestro a una teora muy necesitada
de ellas y de ser dada a conocer al publico. Heavi- side tomo sobre s esta
tarea y, segun su propia confesion, empezo a realizarla conscientemente

desde 1882. Pero no se limito a una repeticion del contenido
del Tratado como texto sagrado(como terminara sucediendo con la

corriente maxwelliana de Cambridge; J. J. Thomson llego a llamar a
Heaviside max- welliano apostata), sino que realizo una reelaboracion,
una depuracion y una ampliacion del mismo que dio como resultado lo que
la ciencia actual conoce como teora de Maxwell. Hoy suele hablarse como
cosa evidente de las cuatro ecuaciones de Maxwell, pero conviene saber que
el verdadero numero de las que contiene el tratado es de trece. La sntesis
final y la clarificacion teorica que representan las cuatro ecuaciones se
debieron a la labor, primero independiente y luego conjunta, de Heaviside y de
Hertz.
En su apropiacion, reelaboracion y difusion de la teora maxwelliana
Heavi- side conto con la decisiva colaboracion de otros fsicos ingleses, a
los que se ha llamado los maxwellianos, fundamentalmente G. F. FitzGerald
y O. Lodge en los primeros anos, anadiendose luego J. Larmor, aunque la
relacion de Heaviside con este ultimo fuese menos armoniosa que con los
otros.
A pesar de su implicacion en ella, Heaviside no consideraba que la teora
maxwelliana estuviese concluida o que tuviese la ultima palabra. No considero siquiera que los experimentos de Hertz de 1886-1888 fuesen una
prueba irrefutable de su correccion. Los problemas que planteaba el
movimiento del
eter y su mismo concepto estaban ah para demostrarlo y una complicacion
mas vino a significar el creciente papel teorico del electron en los anos finales
del siglo XIX junto a sus confirmaciones experimentales, que obligaron a
modificar los conceptos de carga y de corriente maxwellianos. Heaviside
participo activamente en la extension de las ecuaciones de campo a las
cargas moviles (electrones) y proporciono algunas de las primeras soluciones
completas.
La representacion simbolica de magnitudes fsicas dotadas de orientacion
fue un proceso de consolidacion lenta, que fue realizandose a lo largo del siglo
XIX, empezando por los numeros complejos, aplicables al plano. Su
generalizacion al espacio fue naturalmente mas difcil todava. Tal era el
proposito de la teora de cuaterniones de W. R. Hamilton. En el estudio del
electromagnetismo resulta esencial disponer de una notacion concisa y eficaz
para el manejo de vectores espaciales y Maxwell haba usado los
cuaterniones, pero utilizandolos muchas veces de manera simplificada. Para los
propositos pedagogicos y sistematizadores de Heaviside esto no era suficiente,
por lo que elaboro el analisis vectorial como un algebra independiente,
formulada en la que sigue siendo su forma actual en el captulo III de
Electromagnetic theory. All se contienen tambien las razones de su rechazo
de la teora cuaternionica, asunto sobre el que mantuvo hasta el final de su
carrera encendidas polemicas con P. G. Tait, su principal expositor y
defensor. De todos modos el calculo vectorial era practicamente desconocido
para los ingenieros y fsicos de su epoca (Heaviside tuvo que ensenarselo a
Hertz), lo que contribuyo a dificultar la comprension de los escritos de
Heaviside, a pesar de los denodados esfuerzos pedagogicos de este, hasta el
punto de que su amigo Lodge los calificase no solo de difciles, sino incluso de
excentricos y en ciertos aspectos repelentes.
Fue tambien uno de los creadores del calculo mediante operadores, c
alculo operativo o calculo operacional, de tanta utilidad posterior en ingenier
a, a cuya elaboracion y exposicion dedico buena parte de su actividad de
los anos 1894 a 1898, recogida en el volumen segundo de Electromagnetic
theory. Aunque el metodo no se generalizo hasta despues de su muerte, se lo

ha considerado como uno de los tres grandes avances matematicos del ultimo
cuarto del siglo XIX.
Heaviside conceba las matematicas como una ciencia experimental y despre-
ciaba a los matematicos puros academicos. Sus matematicas no se

ocupaban de demostraciones o de teoremas existenciales, sino de resolver
problemas fsicos, cuyas relaciones funcionales son sencillas y no requieren el
analisis exhaustivo de todas las posibilidades abstractas. Ni que decir tiene que
la opinion que de el y sus metodos tenan los matematicos profesionales
no era en correspondencia muy buena.
Paralelamente a Heaviside, en Yale, Gibbs tambien desarrollo un c
alculo simbolico separando las partes vectorial y escalar de los cuaternios.
A diferencia de Heaviside, no obstante, su claridad y rigor matematico llevo
a dar un impulso a los metodos de Heaviside. En particular, por ejemplo,
desarrollo la teora del operador nabla, en su expresion actual, con todos
sus matices: rotacional, divergencia, gradiente e identidades.
Debido a todo esto, y a los desarrollos refinados del A lgebra y la teora de los
determinantes, tomo cuerpo como entidad independiente el analisis vectorial,
no sin dejar para los anales de la Historia de las Matematicas una de las luchas
entre corrientes mas dramaticas. En efecto, los cuaternionistas, liderados por
Tait, un fsico escoces, se negaron a reconocer la utilidad practica de la
nueva estructura creada y tambien vieron con igual excentridad que la
competencia hacia ellos. Sin embargo, con la publicacion de los nuevos
tratados sobre Electromagnetis- mo en lenguaje vectorial y no cuaternionico,
vieron rapidamente mermado su numero y quedaron exiguos seguidores. Y,
en cierta forma, el origen del mismo analisis vectorial quedo envuelto en un
poderoso lenguaje matematico autocon- sistente del que quedaron las unidades
imaginarias, del que quizas solo algunos individuos avispados atisban mas
alla del tupido velo y nveo halo lo que la formalizacion vectorial matema
tica oculta. Nadie ha sentido curiosidad jamas de donde salan las letras i
, j , k del determinante formal que permite calcular el producto vectorial?
2.4.
William K. Clifford
Clifford fue, por encima de todo y antes que nada, un ge
ometra (H. J. S. Smith)
Es por ello por lo que fue un innovador frente a la tendencia de Cambridge

excesivamente dirigida hacia el Analisis . Estudio las geometras noeuclidiana influido por Riemann y Lobatchevsky. En 1870 escribio On the
space theory of matter (Sobre la teora espacial de la materia), en la que
argua que energa y materia eran simplemente diferentes tipos de curvatura
del espacio. Esas ideas jugaron luego un papel fundamental en la teora
general de la relatividad.
Clifford es recordado hoy en da mas por las algebras de Clifford [8],
un tipo de algebra asociativa que generaliza al cuerpo de los numeros
complejos y a los cuaterniones de Hamilton. Un resultado posterior, los
octoniones (bicuaterniones), es ahora conocido como espacio de CliffordKlein y es empleado para el estudio de movimientos en espacios no
euclidianos y en ciertas superficies. Demostro que los espacios de
curvatura constante pueden tener estructuras topologicas diferentes. Tambi
en probo que una superficie de Riemann es topologicamente equivalente a
una caja con agujeros. Sugirio brillantes ideas en Teora de Grafos o
representacion geometrica de funciones algebraicas que otros desarrollaron.
Estuvo muy interesado en los campos del algebra universal y en funciones el
pticas. Sus artculos Preliminary Sketch of Biquaternions (Es-
tudio preliminar sobre bicuaterniones), de 1873, and On the Canonical Form

and Dissection of a Riemanns Surface (Sobre la forma canonica y la
disec- cion de una superficie de Riemann), de 1877, se consideran como cl
asicos. Otro importante artculo fue Classification of Loci (Clasificacion de
lugares geometricos), de 1878. Publico tambien varios artculos sobre
formas algebraicas y sobre geometra proyectiva.
Las dos contribuciones matematicas principales de Clifford al producto
vectorial fueron dos:
1. En sus Elements of Dynamics, introduce el producto vectorial como lo
conocemos hoy da. Solo un posterior refinamiento con la teora
formal de determinantes acabo de dar forma a lo que hoy llamamos
producto vectorial
C=AB=
i
Ax
j
Ay
Az
Bx
By
Bz
(18)
C = A B = (Ay Bz Az By, Az Bx AxBz, AxBy Ay Bx) (19)

C = (Cx, Cy, Cz ) = (Ay Bz Az By, Az Bx AxBz, AxBy Ay Bx) (20)
Cx = Ay Bz Az By
(21)
Cy = Az Bx AxBz
(22)
Cz = AxBy Ay Bx
(23)
2. Introdujo la nocion de producto geometrico, que funde los productos

escalar y exterior en un solo objeto mediante las algebras que hoy se
nombran en su honor. Dicho producto es muy similar al producto de
cuaternios (13) pero no esta restringido a 4 dimensiones. Vale
ab = a b + a b
2.5.
(24)
Una sntesis moderna del producto vectorial
En Matematicas, en la actualidad el producto vectorial, denotado por , ,

[, ] se define como una operacion binaria en un espacio eucldeo
tridimensional, que produce otro vector que es ortogonal o perpendicular a los
dos vectores que se multiplican. Es diferente entonces al producto escalar
que fabrica un numero a partir de los dos vectores input. En algunas ocasiones, tambien se les
denomina respectivamente producto cruz y producto punto, sobre todo en
traducciones literales de libros anglosajones.
El producto vectorial, como tal, solo es definible en principio de tres
dimensiones y el algebra generado por el es no asociativo! De hecho, el
producto vectorial en tres dimensiones satisface los axiomas de un algebra
de Lie. Y, ademas, a diferencia del producto escalar, depende de la orientaci
on o quiralidad. Para orientaciones arbitrarias, el producto vectorial se
comporta de forma diferente a un vector, y se le llama entonces
pseudovector .
2.5.1.
Definicion
El producto vectorial de dos vectores, se define en tres dimensiones y un

sistema de coordenadas a derechas, u orientado segun la mano derecha, es
el vector perpendicular al plano generado por los dos vectores definidos con
dicha orientacion. Su expresion viene dada por la expresion:
a b = ab sin n
donde es el angulo formado por los vectores, y n es un vector
unitario ortogonal al plano generado por los mismo.
La dependencia de la orientacion, crea un pequeno problema cuando
uno cambia de sistema de referencia, dado que un vector verdadero no
debera cambiar de direccion al cambiar de orientacion, por ejemplo, bajo
imagen espe- cular. Esto explica la diferenciacion que se hace de los
pseudovectores o vectores axiales ( procedentes de un producto vectorial), en
los libros de texto.
2.5.2.
Ejemplos
Sean u = (1, 2, 3) y v = (4, 5, 6) . El producto vectorial u v es usando

(19)
w = (3, 6, 3) .
Si u = (3, 0, 0) y v = (0, 2, 0) . El producto vectorial u v es w = (0, 0,
6)
Se observa que podemos interpretar, por tanto, el producto vectorial como
el area del paralelogramo generado por los dos vectores operados.
2.5.3.
Propiedades interesantes
No es asociativo, sino que verifica la identidad de Jacobi:

a (b c) + b (c a) + c
(a b) = 0 Tampoco se puede hacer cancelacion de
factores con el:
a b = a c
no implica necesariamente que b = c. Sin embargo, si ab = ac y

ab = ac,
entonces s se puede deducir que b = c. La distributividad respecto de la
suma, bilinealidad e identidad de Jacobi se dotan de la estructura de algebra
de Lie. En especial, destaca tambien la famosa identidad de Lagrange:
|a b|2 + |a b|2 = |a|2|b|
2
que como vimos se puede entender como la multiplicatividad de la norma de

los cuaternios.
2.5.4.
Matrices, SO(3) y producto vectorial
Puesto que el producto vectorial en el espacio tridimensional es isomorfo al
algebra de Lie so(3) del grupo SO(3), podemos entonces representar al

producto vectorial en terminos de matrices antisimetricas 3 3 como sigue:

0 a3
a2
b1
0 a1
b2
a b = [a] b = a3
a2
a1
b3
b a = bT [a] =
l
b1
b2
b3
a3
a3
0
a2
a1
a2
a1
0
Esta notacion sugiere ya una forma de generalizar el producto vectorial
a dimensiones superiores, sustituyendo el pseudovector por matrices antisim
etrin(n1)
cas. Es evidente que como tales cantidades tienen
componentes fsicas
2
independientes en n-dimensiones, solo se puede representar a las rotaciones
por (pseudo)vectores en el espacio tridimensional eucldeo ordinario, y es la
razon de fondo por la que se hace as. De hecho, en Fsica, la velocidad
angular o el campo magnetico son tales vectores.
2.5.5.
Notacion tensorial y producto vectorial
El producto vectorial puede escribirse en componentes usando el tensor de

Levi-Civita de tres ndices. Este tensor es completamente antisimetrico en
los tres ndices, y vale 123 = 1, cuando son permutaciones de orden par
tiene igual
valor 312 = 231 = 1, pero la permutaciones de orden impar estan
cambiadas de signo 132 = 321 = 213 = 1, mientras que es cero si dos o
mas ndices estan repetidos. Usando este tensor, podemos calcular el
producto vectorial
como sigue:
a b = c ci =
3"\" 3
"\"
ijkajbk = ijkajbk
j=1 k=1
donde en la ultima igualdad se ha empleado el convenio de Einstein: los

ndices repetidos en una expresion tensorial han de entenderse que estan
sumados sobre ellos.
2.5.6.
Vectores axiales y quiralidad
Cuando las cantidades medibles involucran productos vectoriales, la quiralidad del sistema del coordenadas no puede ser arbitraria. Sin embargo, cuando
las leyes fsicas se escriben como ecuaciones, debera ser posible elegir
arbitra- riamente el sistema de coordenadas, incluyendo la orientacion en
dicho sistema de referencia. En particular, esto significa que hay que tener
cuidado con las ecuaciones que tienen miembros que no se comportan igual
frente a reflexiones en un espejo y no escribirlas hasta comprobar la
naturaleza de los vectores involucrados. El conjunto de relaciones que hay
entre productores de pseudovectores ( o vectores axiales), P, y vectores, V, se
puede resumir en las siguientes relaciones:
V P =
P V V
= V P
P =P
Es decir, el resultado de un producto vectorial puede ser un vector o un
pseudovector, dependiendo de la naturaleza de sus operandos. Solo sera un
vector puro, si al menos uno de los dos vectores es un pseudovector, el

resultado sera otro pseudovector.
Finalmente, un ultimo comentario historico. Tras la introduccion de la

notacion cruz para el producto vectorial por Gibbs, el libro Elements of
Vector Analysis(1881) alcanzara mayores cotas de popularidad tras la
publicacion por Wilson, un estudiante de Gibbs, de material de su mentor,
Heaviside y Hamilton. Ese material fue dividido en tres partes, segun el
mismo Wilson:
La primera, concierne la adicion y los producto escalar y vectorial
entre vectores. La segunda, concerniente al calculo diferencial e
integral en relacion a funciones escalares y vectoriales. La tercera,
contiene la teora de funciones vectoriales lineales.
Tambien se incluan diferentes tipos de productos triples y de mas de
tres vectores, as como la expansion en terminos de determinantes y la
identidad de Lagrange.
3.
Aplicaciones del producto vectorial
3.1.
Aplicaciones en Matematicas
3.1.1.
Calculo de areas y volumenes
El producto vectorial entre dos vectores define tiene como modulo un

valor igual al area del paralelogramo generado por los mismos:
A reaDAB = |A B |
El volumen de un paraleleppedo generado por tres vectores A , B viene
, C
dado por el producto mixto siguiente:
A1 A2 A3
rA , B , C l = rA , (B C ,l = det B1 B2
C1 C2 C3
B3
Ademas, el producto vectorial tiene muchas aplicaciones utiles en la

Geo- metra Analtica, como por ejemplo para determinar la perpendicular
comun a dos rectas, o representar vectorialmente planos y superficies.
3.1.2.
Teorema de Stokes
El clasico teorema de Stokes , tambien usaldo por Kelvin, senala que

r
v d =
v dr
y relaciona la integral de superficie del rotacional del campo vectorial sobre una superficie en el 3-espacio eucldeo con la integral de lnea del
campo vectorial sobre su frontera. Es un caso especial del teorema de Stokes
generalizado (con N= 2) una vez que identifiquemos el campo vectorial con
una 1-forma usando la metrica en el 3-espacio eucldeo correspondiente.
La forma general del teorema de Stokes que usa formas diferenciales es de
mas alcance que los casos especiales, por supuesto, aunque los ultimos son m
as accesibles y a menudo son considerados mas convenientes por fsicos e

ingenieros.
Otra forma mas comun de escribir el mismo teorema es la siguiente:
r
( A ) ds =
S
dl
A
L
en donde A es un vector arbitrario. Establece, por ende, que la integral

de superficie del rotacional de un campo vectorial sobre una superficie abierta
es igual a la integral cerrada del campo vectorial a lo largo del contorno que
limita la superficie, que en ocasiones se llama tambien circulacion.
Sea M una variedad de dimension N diferenciable por trozos
orientada compacta y sea una forma diferencial en M de grado n 1 y
de clase C 1 . Si M denota el lmite de M con su orientacion inducida,
entonces
r
r
d =
M
en donde d es la derivada exterior, que se define usando solamente la estructura de variedad. El teorema debe ser considerado como generalizacion
del teorema fundamental del calculo, y, de hecho, se prueba facilmente
usando este teorema.
El teorema se utiliza a menudo en situaciones donde M es una subvariedad
orientada sumergida en una variedad mas grande W en la cual la forma
se define.
El teorema se extiende facilmente a las combinaciones lineales de las
sub- variedades diferenciables por trozos, las as llamadas cadenas. El
teorema de Stokes demuestra entonces que las formas cerradas (d = 0)
definidas modulo una forma diferencial cerrada y una exacta ( = d), se
pueden integrar sobre las cadenas definidas salvo modulo en el borde o
frontera de la variedad. De hecho, toda forma diferencial puede
descomponerse en suma de una diferencial cerrada, una exacta y una forma
armonica ( Hodge). E sta es la base para la correspondencia entre los
grupos de homologa y la denominada cohomologa de de Rham.
3.1.3.
A lgebras de Lie y producto vectorial
Segun vimos antes, se puede establecer el siguien isomorfismo entre el

espacio tridimensional eucldeo dotado con la estructura adicional de producto
vectorial
R3 , y el espacio de matrices antisimetricas de orden tres y
determinante unidad, A (M33 ), mediante la aplicacion
: R3 A (M3 3)
a (a) = A so(3)

0 a3
a2
b1
a b = [a]b = a3
0 a1 b2
a2
a1
0
b3
de forma que podemos establecer una correspondencia unvoca entre el
espacio tridimensional con la estructura adicional de producto vectorial
con el corchete de Lie del algebra de las matrices antisimetricas de orden
3. Esto es muy conocido entre matematicos y cientficos de Europa del
Este, donde generalmente se prefiere simbolizar el producto vectorial entre
dos vectores, a y
b como [a, b] en vez de usar la cruz o el smbolo del producto exterior

o escalon.
3.1.4.
Metodo de Cayley-Dickson, semioctavas, octavas y

Matrices de Zorn
En Matematicas, las semioctavas ( en ingles split-octonions) son una

extension no asociativa de los cuaternios o semicuaternios ( splitquaternions). Difieren de las octavas u octoniones usuales en la signatura de
la forma cuadratica: las semioctavas tienen signatura (4,4) mientras que las
octavas tienen (8,0). Es decir, las octavas son definidas positivas mientras las
semioctavas no. Las semioctavas forman un algebra unica sobre los nu
meros reales y existen algebras analogas sobre un cuerpo arbitrario F.
Las octavas y semioctavas pueden ser definidas mediante el llamado
proceso de doblado Cayley - Dickson, consistente en la defininicion de
multiplicion de pares de cuaterniones. Si introducimos un una unidad
imaginaria l, en adicion a las unidades cuaternionicas conocidas i,j,k, y
escribimos un par de cuaternios (a, b) en la foma c = a + lb el producto
queda definido por la asignacion
(a + fb)(c + fd) = (ac + db) + f(ad + cb)
donde = f2 . Si se toma como 1 obtenemos el algebra de las
octavas. Si elegimos +1 obtenemos las semioctavas. Tambien puede
obtenerse ambas
algebras mediante el proceso de Cayley-Dickson sobre los semicuaternios,
en vez de los hacerlo sobre los cuaternios. Una base para las semioctavas esta
dada por el conjunto A = {1 , i , j , k, l , li , lj , lk }. Toda semioctava X
puede escribirse como una combinacionn lineal de elementos de la base
anterior:
X = x0 + x1 i + x2 j + x3 k + x4 l + x5 li + x6 lj + x7 lk
con coeficientes reales xi, i = 0, 1, . . . , 7. Por linealidad, las semioctavas
que- dan totalmente determinadas por la tabla de multiplicacion siguiente:
1
i
j
k
f
f
fj
fk
i
-1
k
-j
fi
f
f
j
j
-k
-1
i
f
f
fi
k
f
f
k
k
j
-i
-1
f
i
f
jf
i
f
f
f
fj
f
j
k
k1
ji
i
k
f
f
-i
1
k
-j
f
j
fi
f
-j
-k
1
i
k
f
k
fj
f fi
-k
j
-i
1
i
f
k
j
f
El conjugado de una semioctava X se define como x = x0 x1 ix2 j x3 k
x4 lx5 lix6 lj x7 lk y de forma analoga para las octavas. La forma cuadr
atica
o norma de X esta dada por N (x) = xx = (x2 +x2 +x2 +x2 )(x2 +x2 +x2 +x2 ).
0
Esta norma es la norma estandar pseudoeucldea sobre R4,4 . Debido a este

caracter, hay elementos X no nulos, llamados isotropos, que anulan la
norma y no sera, a diferencia de las octavas, un algebra con division. En
este ultimo caso, las octavas, o para elementos no isotropos del algebra de
las semioctavas, el elemento inverso queda definido por la relacion:
x
x1 = N (x)
Tano semioctavas como octavas son algebras noconmutativas y no
asociativas. Son normadas, y satisfacen la relacion multiplicativa en sus norm,
esto es, si
18
N es la forma cuadratica que define la norma, se verifica que N (xy) = N

(x)N (y). A esto tambien se llama algebra de composicion. Las
semioctavas tambien satisfacen las identidades de Moufang y son, como las
octavas, un algebra alternativa. Entoncs, por el teorema de Artin,
cualquier subalgebra generada por dos elementos diferentes cualequiera es
asociativa. El conjunto de elementos inverti- bles para los cuales la norma es
no nula forma un bucle de Moufang ( Moufang loop).
Como las semioctavas son no asociativas, no pueden ser representadas por
matrices ordinarias. Sin embargo, Max August Zorn hallo una manera de
repre- sentarlas como matrices, usando una version modificada de la
multiplicacion matricial. En concreto, definio una matriz vectorial 2 2 de
la forma:
a
w
v
b
donde a y b son numeros reales, v y w son vectores de R3 , mientras que

la multiplicacion de estos objetos esta dada por la operacion
a
w
v
b
a/
w/
aa/ + v w/
v/
=
b/
a/w + bw/ v v/
av/ + b/v + w w /
bb/ + v/ w
donde , son el producto escalar y vectorial en 3D. Con la adicion y

multiplicacion escalar usuales, el conjunto de tales matrices forma un
algebra unitaria 8-dimensional no asociativa sobre los numero reales, llamada
algebra de Zorn. El
algebra de Zorn es de hecho isomorfa al algebra de las semioctavas.
Escribiendo una octava en la forma X = (a + a) + f(b + b) donde a, b, a, b
son las partes escalar y vectorial de las respectivas octavas, el isomorfismo
entre semioctavas y algebra de Zorn esta dado por
X (x) =
3.1.5.
a+b
a + b
a+b
ab
Otras utilidades matematicas

Para terminar esta seccion, simplemente mencionar que la existencia del
algebra de las octavas esta estrechamente unido a que las esferas S 0 , S 1 ,
S 3 , S 7 son paralelizables, en terminos matematicos son una fibra, y
admiten lo que se llaman una fibracion de Hopf. Esto tiene consecuencias
aritmeticas, como
el teorema de los 2, 4 y 8 cuadrados, o tambien sorprendentes
aplicaciones en Topologa y Teora de Grafos. De hecho, L.H.Kauffman ha
probado que el teorema de los 4 colores es equivalente a un problema
algebraico de asociar en multipletes no ambiguos n-uplas de productos
vectoriales tridimensionales.
3.2.
Aplicaciones en la Fsica
3.2.1.
Momento angular y torque
El momento angular o cinetico es una magnitud importante en todas

las teoras fsicas, desde la Fsica Clasica hasta la Fsica Cuantica,
19
pasando por la teora especial de la relatividad y la Mecanica Relativista.

Su importancia en todas ellas se debe a que esta relacionada con las simetr
as rotacionales de los sistemas fsicos. Bajo ciertas condiciones de simetra
rotacional de los sistemas
20
es una magnitud que se mantiene constante con el tiempo a medida que el

sistema evoluciona, lo cual da lugar a una ley de conservacion conocida
como ley de conservacion del momento angular. En ausencia de momentos de
fuerza externo, tambien denominado torque, el momento angular de un
conjunto de partculas, de objetos o de cuerpos rgidos se conserva. Esto
es valido tanto para partculas subatomicas como para galaxias. La
definicion matematica para el espacio tridimensional de momento angular y
de torque ( o momento de una fuerza) usa el producto vectorial:
Momento angular = L = r p = r mv
Torque = Momento de una fuerza = = r F
Y ambas se relacionan por la conocida relacion:
dL
=
dt
En Mecanica Cuantica, ademas, el operador momento angular se define
tambien, va el principio de correspondencia de Bohr, mediante el operador
siguiente:
L = in (r )
que como vemos, hace uso tambien del producto vectorial.
3.2.2. Vector de Laplace-Runge-Lenz
En Mecanica Clasica, el vector de Laplace-Runge-Lenz ( LRL), tambien
llamado por los astronomos y astrofsicos vector excentricidad, es un vector
espacial usado para describir la forma y orientacion de la orbita celeste de un
cuerpo gi- rando en torno a otro mediante la ley de gravitacion newtoniana.
En particular, el vector LRL es una constante del movimiento para el problema
de Kepler de una ley de fuerzas del inverso del cuadrado de la distancia,
como por ejemplo la gravitacion de Newton o el potencial de Coulomb. Debe
su nombre a los tres autores que mas lo usaron, puesto que es un vector que
ha sido redescubierto en varias ocasiones a lo largo del tiempo. El vector
LRL puede definirse para potenciales arbitrarios, pero solo es constante para
la ley de fuerzas central del inverso del cuadrado.
Para una partcula simple,
en el problema de Kepler, y una fuerza
central dada por F(r)
= k r, el vector excentricidad A o LRL esta
2
r
definido por la
siguiente ecuacion
A = p L mkr
donde
m es la masa de la partcula moviendose bajo la fuerza central.
p es el momento lineal o mpetu de la misma partcula.
L es el momeno angular.
r es el vector de posicion de la partcula.
k es un parametro que describe la intensidad de la fuerza central.
r es el vector unitario en la direccion de la posicion de la partcula.
3.2.3. Sistemas de referencia no inerciales

Sean dos sistemas de referencia, uno inercial S, y otro no inercial S ( dotado
de aceleracion respecto del inercial). La relacion entre las derivadas
temporales entres ambos sistemas de referencia esta dada por el operador
formal siguiente:
+
dt
d
dt
SI
Al aplicarlo sucesivamente dos veces, i.e., elevandolo operacionalmente

al cuadrado, nos queda
d
dt
dt
d
dt
SI
SI
Operando y reordenando terminos llegamos a la relacion siguiente
d
dt
+
2
dt
dt
SI
SI
dt
+ (
SI
Multiplicando por la masa escalar m y actuando el operador sobre el vector

de posicion r, se tiene la ley de aceleraciones y fuerzas para un sistema
de referencia no inercial:
F = ma
=m
d2r
d2r
=m
dt2
dt2
+2m
SI
dr
dt
+m
SI
d
dt
r+m (
r)
S
SI
de donde podemos despejar la expresion de la fuerza en el sistema S
FNo inercial =
m
d2r
= FInercial + FCoriolis + Fac.angular + Fcentrfuga
dt2
SI
con las definiciones dadas por
FInercial
= F =
ma =
m
FCoriolis = 2m
d2r
dt2
dr
dt
Fac.angular =
mr
SI
d
dt
SI
Fcentrfuga = m ( r)
3.2.4. Redes de Bravais
En Cristalografa, la red inversa o recproca de una red ( directa) de
Bravais es el conjunto de todos los vectores de la red K que verifican la relacio
n:
eiKR = 1
para todos los puntos de la red definidos por el vector R. La red recproca
es una red de Bravais y la recproca de la recproca es la red original de
partida. En estas condiciones, y para el caso particular de un retculo o red
tridimensional, definido por vectores primitivos a1 , a2 , a3 , su red recproca
puede determinarse mediante tres vectores primitivos recprocos, dados
mediante las formulas:
b1 = 2
a2 a3
a 1 (a2 a3)
b2 = 2
a3 a1
a 2 (a3 a1)
b3 = 2
a1 a2
a 3 (a1 a2)
Curiosamente, aunque la nocion de red o retculo no esta limitada a tres

dimensiones, las formulas con el producto vectorial, de naturaleza intr
nsecamente 3D dominan en Cristalografa.
3.2.5. Expresion de la fuerza de Lorentz y vector de Poynting
Para una partcula sometida a un campo electrico combinado con un
campo magnetico, la electromagnetica total o fuerza de Lorentz sobre esa
partcula viene dada por
f = q(E + v B )
en donde v velocidad de la carga, es el vector campo electrico y
es el
E
B
vector campo magnetico. La expresion anterior esta relacionada con la
fuerza de Laplace o fuerza sobre un hilo conductor por el que circula corriente
f = r I
L d B
con l siendo un elemento (dirigido) de longitud del conductor, I es la intensidad

de corriente electrica y
es la intensidad de campo magnetico. Curiosamente
B
esta ultima expresion historicamente se encontro antes que la anterior, a
pesar de ser una consecuencia directa de la anterior.
Por otra parte, el vector de Poynting es un vector cuyo modulo representa
la intensidad instantanea de energa electromagnetica y cuya direccion y
sentido son los de propagacion de la onda electromagnetica. De una
manera general el vector de Poynting puede definirse como el producto
vectorial del campo
electrico y la intensidad del campo magnetico. Recibe su nombre del fsico
ingles John Henry Poynting y se expresa mediante el smbolo S . Matema
ticamente su
expresion es
S = E H
E B
Aqu E representa el campo electrico y H la intensidad del campo magn
etico. B es el campo de induccion magnetico, y la permeabilidad magn
etica del medio. Dado que los campos electrico y magnetico de una onda
electromagnetica oscilan con la frecuencia de la onda, la magnitud del vector
de Poynting cambia en el tiempo. El promedio del vector de Poynting sobre
un periodo de tiempo muy
superior al periodo de la onda es llamado irradiancia y representa el flujo de

energa asociado a la radiacion electromagnetica en la direccion
perpendicular a su direccion de propagacion.
3.2.6. Ley de Biot-Savart
La ley de Biot-Savart proporciona el campo magnetico creado por
corrientes estacionarias. En el caso de corrientes que circulan por circuitos
filiformes (o cerrados), la contribucion de un elemento infinitesimal de
longitud dl del cir- cuito recorrido por una corriente I, crea una
contribucion elemental de campo
magnetico, dB en el punto situado en la posicion R respecto de dl dada por
0 Idl R
dB = 4 R3
con el valor 0 siendo la permeabilidad magnetica del espacio vaco.
3.2.7.
Ecuaciones de Maxwell
En medios no-dispersivos e isotropos las ecuaciones de Maxwell del
electromagnetismo se reducen a:
E =
H = 0
H
E =
t
+ E
=
J
H
t
Aunque, como hemos mencionado, Maxwell uso los cuaternios para
deducir las ecuaciones, pueron Gibbs y Heaviside quienes acabaron poniendo
de moda las cuatro ecuaciones anteriores mediante el uso del analisis vectorial,
y creando el operador nabla que haba sido introducido tambien por Maxwell
y el propio Hamilton bajo otra diferente orientacion y terminologa.
3.2.8. Rotacional y vorticidad
El rotacional, denotado por rot ( o curl en pases anglosajones, de
circu- lation), de un campo de vectores nos informa sobre la rotacion del
campo en cualquier punto. El modulo nos dice cuanta rotacion hay, la
regla de la mano derecha, ademas, nos indicara la direccion de rotacion y
su sentido.
curl(F) = F =
rot(F)
o bien
F =
Fx
Fy
Fz
Matematicamente, la vorticidad en un punto es un vector definido como el

rotacional del campo de velocidades en dicho punto, esto es
= v
En el campo de velocidades de un fluido, la vorticidad es nula en casi todo
punto. Solamente en lugares especiales, tales como la frontera del medio o el
nucleo de un vortice, es distinta de cero.
4.
Generalizaciones
4.1.
A lgebras normadas en D=1, 2, 4, 8
4.1.1. Las algebras con division K = R, C, H, O

R, C, H, y O son las unicas algebras alternativas con division.
Este frase es de hecho un teorema, se debe a un artculo de Hurwitz de
1898 [21]. Fue posteriormente generalizado en muchas direcciones,
especialmente en
algebras sobre otros cuerpos mas complejos. Otra version apaerece en un art
culo de 1930 de Zorn [23], mas conocido quizas por el conocido lema de
teora de conjuntos. Un buen libro donde consultar aspectos mas matem
aticos es [22].
Una observacion importante es que no queremos decir que R, C, H, y O son
las unicas algebras con division. Esto no es cierto. Existen algebras con
division que no tienen inversos multiplicativos de algunos elementos, pero
puede aun dividirse en las mismas. Sin embargo, lo que es mas importante
es percatarse de que cualquier algebra con division tiene dimension 1, 2, 4
u 8.
Podemos construir el algebra de los octoniones u octavas, de forma an
aloga a como hicimos previamente con las semioctavas. Las octavas son el
algebra octodimensional generado por la base 1, e1, e2, e3, e4, e5, e6, e7, y
su tabla de multiplicacion esta dada por
e
1
e
2
e
3
e
4
e
5
e
6
e
7
e1
1
e4
ee27
ee56
e3
e2
e4
1
e5
ee31
ee67
e3
e7
e5
1
e6
ee42
e1
e4
ee12
e6
1
e7
ee53
e5
e6
ee23
e7
1
e1
e4
e6
ee75
ee34
e1
1
e2
e7
e
3
ee16
ee45
e2
Normalmente se usan otros metodos, pictoricos como el diagrama de Fano,
para recordar la tabla anterior. No obstante, ya daremos despues una

ecuacion compacta para recordar esta tabla en la seccion de algebras de
Clifford.
4.1.2.
A B solo existe en D = 0, 1, 3, 7
El producto vectorial tridimensional ha probado ser util en varias
aplicaciones fsicas, segun lo expuesto en el presente trabajo. Una
cuestion natural consiste en saber si es posible una generalizacion
multidimensional del producto vectorial. Aqu seguiremos la referencia [20].
Esta aparentemente simple pregunta tiene una respuesta inesperada, no
ampliamente conocida por la comunidad de fsicos: la generalizacion mas
parecida posible al producto vectorial solo existen en un espacio
heptadimensional[10]. En esta seccion probamos que las unicas
generalizaciones posibles del producto vectorial [11]son posibles solamente en
dimensiones D=0,1,3,7.
Para la Fsica contemporanea, el producto vectorial heptadimensional
representa no solo un ejemplo de interes academico, sino que demuestra,
entre otras cosas, que su utilidad por ejemplo al considerar campos de YangMills dependientes solo del tiempo, va ecuaciones de Nahm, y que
aparecen en el contexto de la denominada teora M[12, 13]. Otras
aplicaciones incluyen: compactifica- ciones de Kaluza-Klein en
Supergravedad d = 11, N = 1 [14]
Consideremos ahora un espacio vectorial n-dimensional Rn sobre los numeros reales, con el producto escalar estandar eucldeo definido sobre el mismo.
Que propiedades queremos que satisfaga el producto vectorial bilineal
multidimensional en Rn?Es natural elegir como axiomas para este producto
las siguientes:
A A = 0,
(25)
(A B ) A = (A B ) B = 0,
(26)
|A B | = |A | |
A B = 0.
(27)
B |, si Aqu |A |2 = A A es la norma
del vector A .
Entonces
0 = (A + B ) (A + B ) = A B + B A
muestra que el producto vectorial es anticonmutativo ( tambien llamado
he- misimetrico, antisimetrico o supersimetrico en ocasiones). Por el mismo
truco podemos probar que
(A B ) C es alternado en A , B , C . Por ejemplo,
0 = ((A + C ) B ) (A + C ) = (C B ) A + (A B ) C
muestra que (C B ) A = (A B ) C .
Para dos vectores cualesquiera A and B la norma |A B |2 es igual a
2
/
A B \

2
2
2
AB
2
A
B = A
B |B| = |A| |B| (A B) .
|B
B
|2
|B |2
Entonces para cualesquiera dos vectores hemos de obtener
(A B ) (A B ) = (A A )(B B ) (A B )2 .
(28)
Si consideramos ahora
|A (B A ) (A A )B + (A B )A |2 =
= |A (B A )|2 + |A |4 |B |2 (A B )2 |A |2 2|A |2 (A (B A )) B .
Pero esto es cero, ya que
|A (B A )|2 = |A |2 |B A |2 = |A |4 |B |2 (A B )2 |A |2
y
(A (B A )) B = (B A ) (B A ) = |A |2 |B |2 (A B )2 .
Entonces hemos probado la identidad

A (B A ) = (A A )B (A B )A .
(29)
Notese que la colocacion de los corchetes en miembre izquierdo es de hecho irrelevante por causa de la anticonmutatividad. Sin embargo, la conocida identidad
A (B C ) = B (A C ) C (A B )
(30)
no se deduce en general de propiedades intuitivamente evidentes (25-27) del

producto vectorial [11]. Para mostrar esto introducimos el producto ternario o
triple [15] (que es cero si (30) es valida )
{A , B , C } = A (B C ) B (A C ) + C (A B ).
La ecuacion (29) implica que este producto es alternado en sus argumentos
. Por ejemplo
0 = {A + B , A + B , C } = {A , B , C } + {B , A , C
}.
Si ei, i = 1, . . . , n es una base ortonormal en el espacio vectorial,
entonces (ei A ) (ei B ) = ((ei B ) ei) A
= [B (B ei)ei] A
y, por ende,
"\"
(ei A ) (ei B ) = (n 1)A B .
(31)
i=1
Usando esta identidad obtenemos ahora

n
"\"
{ei, A , B } {ei, C , D } =
i=1
= (n 5)(A B ) (C D ) + 2(A C )(B D ) 2(A D

)(B C ).
(32)
y de aqu llegamos ahora a que
n
"\"
(33)
{ei, ej , A } {ei, ej , B } = (n
i,j=1
1)(n 3)A B
y
[15]
"\"
i,j,k=
1
{ei, ej , ek } {ei, ej , ek } = n(n 1)(n 3).

(34)
La ultima ecuacion muestra que existe algun {ei , ej , ek } que

es no nulo si n > 3. Por tanto, (30) es valida solo para el producto
vectorial 3d (n = 0, 1 es, por
supuesto, un caso poco interesante porque corresponde al producto vectorial

identicamente nulo y a una rotacion de noventa grados plana, y sera
trivial ) . Sorprendentemente, no tenemos muchas alternativas para n incluso
en el caso en que la validez de (30) no es necesaria. De hecho, la dimensio
n espacial n debera satisfacer [11] (vease tambien [16])
n(n 1)(n 3)(n 7) = 0.
(35)
Para probar esta identidad, notemos que usando

A (B C ) + (A B ) C = (A + C ) B (A + C ) A B
A C B C =
= 2A C B A B C B C A
y
2
(B1 (C
A
D
)) =
A (B (C D)) + (A B) (C D)
(A B ) (C D ) ((A B ) C ) D + ((A B ) C ) D +
+(A (B C )) D (A (B C )) D A ((B C ) D )+
+A ((B C ) D ) + A (B (C D )) l
podemos comprobar la ecuacion
A {B , C , D } = {A , B , C D } + A (B (C D )) {A , C ,
D B }+
+A (C (D B )) {A , D , B C } + A (D (B C )) =
= {A , B , C D } {A , C , D B } {A , D , B C } + 3A {B ,
C , D }.
El ultimo paso se sigue del desarrollo siguiente:
3{B , C , D } = {B , C , D } + {C , D , B } + {D , B , C } =
= B (C D ) + C (D B ) + D (B C ).
Por consiguiente, el producto ternario satisface la fascinante propiedad
2 A {B , C , D } = {A , B , C D } + {A , C , D B } +
{A , D , B C }
(36)
y deberamos tener, entonces,
n
|ei {ej , ek , el }|2 =
"\"
4 i,j,k,l=1
n
"\"
i,j,k,l=1 |{ei,
ej , ek el} + {ei, ek , el ej } + {ei,

el, ej ek }|2 .
El miembro izquierdo se calcula facilmente por medio de (??) y (??):

n
"\"
4 i,j,k,l=1
|ei {ej , ek , el }|2 = 4n(n 1)2 (n 3).
Para calcular el lado derecho, podemos observar la util identidad

n {ei , ej , A } {ei , ej B , C } = (n 3)(n 6)A (B
"\"
C )
(37)
i,j=1
que se deduce de (??) y de la siguiente identidad

n
"\"
(ei A ) ((ei B ) C ) =
i=1
n
"\"
(ei A ) [2ei C B B C ei ei B C ei (B
C )] =
i=1
= (n 4)A (B C
).
Ahora, juntando (??) y (??), es un ejercicio sencillo calcular
n
"\"
i,j,k,l=1
|{ei , ej , ek el } + {ei , ek , el ej } +
{ei , el , ej ek }|2 =
= 3n(n 1)2(n 3) + 6n(n 1)(n 3)(n 6) = 3n(n 1)(n 3)(3n 13).

de donde
4n(n 1)2(n 3) = 3n(n 1)(n 3)(3n 13).
pero
3n(n 1)(n 3)(3n 13) 4n(n 1)2(n 3) = 5n(n 1)(n 3)(n 7)
con lo cual se deduce finalmente (??).
Como vemos, la dimension espacial debe igualar al numero magico
siete si queremos una generalizacion unica del producto vectorial
tridimensional.
Solo hemos mostrado que el producto vectorial puede existir en principio.
Que ocurre con su realizacion concreta?Para responder a esta pregunta, es
util darse cuenta que los productos vectoriales estan relacionados
estrechamente con las algebras de composicion y normadas [10] ( de hecho,
las dos nociones son equivalentes [11]). Es decir, para cualquier algebra de
composicion o normada
con elemento unidad e, podemos definir el producto vectorial en el subespacio
1
ortogonal a e mediante x y =
(xy yx). Entonces, desde el punto de
2
vista de un algebra normada, el producto vectorial es de hecho el
conmutador ( o
corchete de Lie si se prefiere un lenguaje en terminos de teora de
grupos) dividido por dos. Y, segun vimos, el teorema de Hurwitz [17] dice que
las unicas
algebras normadas son los numeros reales, los numeros complejos, los
cuaternios y los octoniones u octavas. Los primeros dos de ellos producen
el producto vectorial trivial, uno identicamente cero, otro una mera rotacion o
multiplicacion por la unidad imaginaria pura. Los cuaternios producen el
producto vectorial tridimensional. El producto heptadimensional esta
generado por los octoniones u octavas [18]. Es interesante observar que este
producto heptadimensional es covariante respecto al mas pequeno grupo
excepcional de Lie, denominado G2 [19], que es ademas el grupo de
automorfismos de las octavas. Usando la tabla
de multiplicacion de los octoniones [18] podemos expresar el nuevo

producto como sigue
7
"\"
ei ej =
fijkek , i, j = 1, 2, . . . , 7,
(38)
k=1
donde fijk es el totalmente antisimetrico G2 -tensor invariante y las unicas

componentes no nulas independientes son
f123 = f246 = f435 = f651 = f572 = f714 = f367 = 1.
Notamos que en vez del resultado tridimensional fijkfkmn /= imjn injm.
se tiene en su lugar
fijkfkmn = gijmn + imjn injm
donde
(39)
gijmn = ei {ej , em , en }.
De hecho gijmn es un totalmente antisimetrico G2 -tensor invariante. Por ejemplo

gijmn = ei {ej , em , en } = ei {em , ej , en } =
= ei (em (ej en )) + (ei ej )(em en ) (ei en )(em ej ) =
= em (ei (en ej )) + (ei ej )(em en ) (ei en )(em ej ) =
= em {ei, en , ej } = em {ej , ei, en } = gmjin .
Las unicas componentes no nulas independientes resultan ser entonces
g1254 = g1267 = g1364 = g1375 = g2347 = g2365 = g4576 = 1.
En sntesis, la generalizacion del producto vectorial es solo posible en
espacios heptadimensionales y esta vinculado al algebra de las octavas u
octoniones, que es el algebra normada mas grande que se puede tener, hecho a
su vez relacionado con muchas estructuras excepcionales en Matematicas [19].
En un caso genera de p-esimos productos vectoriales, otras alternativas
pueden considerarse, como en este trabajo y [10, 14, 20].
4.2.
Producto exterior y A lgebra de Grassmann

4.2.1.
A lgebra de Grassmann para principiantes
En esta seccion, seguiremos la referencia [4] y expondremos de una

forma accesible los axiomas de un algebra de Grassmann. En su obra mas
importante sobre La Teora de la Extension Lineal, Grassmann introduce los
siguientes axiomas geometricos abstractos:
1. Si un segmento se desplaza en el plano sobre un numero arbitrario
de segmentos, la superficie total que se obtiene es gual al espacio
obtenido cuando se desplaza ese segmento por la suma de los segmentos.
2. Si en el plano un segmento se mueve entre dos paralelas fijas de modo que
se mueve de una a otra, la superficie total barrrida es la misma cualquiera
que sea el camino recorrido.
3. La superficie que describe una lnea quebrada es igual a la descrita por

un segmento que tiene los mismos puntos inicial y final que ella.
Matemati- cacmente A (B + C) = A B + A C.
4. La superficie total que describe una superficie cerrada al moverse en el
plano es nula. En terminos abstractos: (B + C) A = B A + C A.
5. La expresion A B significa (hiper)-superficie, y A B C = (A
B) C = A (B C) significara (hiper)-volumen. Esto llevo a
Grassmann a definir el primer operando, p.ej. A, como segmento del
primer escalon o cuna ( dimension uno), a A B como un elemento
del segundo escalon ( dimension dos), a A B C como un
elemento del tercer escalon ( dimension tres), y as sucesivamente.
6. Si dos vectores son de la misma especie, entonces su producto es AB =
A A = A2 = 0.
7. Si B1 y B2 son elemenos de la misma especie, se tienen las reglas:
(A + B1) B2 = A
B2 B2 (A + B1) = B2
A
8. La misma relacion anterior es valida para un vector de un escalon
arbitrario P:
(A + B1) B2 P = A B2 P
9. Si Ay B son dos vectores que no son de la misma especie, se tiene por los
axiomas anteriores que:
(A + B) (A + B) = 0 = (A + B) A + (A + B) B =
A A + B B + A B + B A = A2 + B2 + AB + BA
de donde
o bien
A B = B
A
AB = BA
10.Para Grassmann, el ejemplo de no conmutatividad mas simple,

vinculado por dualidad al producto vectorial es el producto orientado
A B = |A||B| sin
donde es el angulo que va desde A hasta B, y cuyo seno, por tanto,
cambia de signo segun vayamos de A hasta B o desde B hasta A.
4.2.2.
A lgebras de Grassmann en serio.
En Matematicas, el producto cuna o escalon, tambien conocido como

producto exterior, es una anti-simetrizacion del producto tensorial. El
producto exterior es una multiplicacion asociativa y distributiva de
funciones multilineales anti-simetricas que es anti-conmutativo para las
funciones con el numero impar de variables y conmutativo de otra manera.
La teora sistematica empieza en la construccion de la potencia exterior
para un espacio vectorial. El metodo es construir las estructuras algebraicas
utilizando generadores y relaciones y no es manifiestamente independiente de
una base. Grassmann utilizo solamente las
algebras reales, es decir las algebras en que los escalares son los numeros
reales (el no hizo ninguna distincion entre los numeros reales y las funciones
a valores reales, lo que sin embargo cambia la teora algebraica dra
sticamente). 2 Sea ei una base de un espacio vectorial V . El producto exterior
sobre elementos de la base se realiza formalmente mediante las reglas de c
alculo siguientes:
ei ej = eij = eji i /=
j ei ei = 0
y se ampla este proceso recursivamente a los productos de un grado mas alto
mediante la relacion adicional
ei ej..k = eij..k = eji..k
Notese que el producto toma valores en un nuevo espacio V V que sea
un espacio factor del V V . El producto es asociativo por definicion y
alternan- te, es decir se anula si dos ndices son iguales. Un calculo
combinatorio breve
demuestra que se obtienen de n vectores de base 2n productos linealmente independientes. Se construye el espacio V vectorial subyacente a un algebra
de Grassmann de la manera siguiente. El producto exterior se extiende al
espacio entero V por bilinealidad. El algebra de Grassmann es un algebra
graduada. Definimos el grado de los escalares como cero y el grado de los
vectores de base como 1. El grado de un producto diferente a cero de
generadores cuenta el numero de generadores. El espacio de un algebra de
Grassmann se puede por lo tanto descomponer en una suma directa de
subespacios homogeneos de grado definido, es decir el espacio expandido
por todos los productos que tienen exactamente k generadores:
V = V 0 V 1 V n
donde V 0 se identifica con R, los numeros reales.
La definicion de un operador multilineal antisimetrico es un operador
: V n V tal que si hay una dependencia lineal entre sus argumentos, el
resultado es 0. Observe que la adicion de dos operadores antisimetricos, o
la multiplicacion de uno por un escalar, sigue siendo antisimetrica. Una
forma de definir el espacio de Grassmann constructivamente es dividiendo el
espacio tensorial por el subespacio generado por todos los tensores de los nuplas que son linealmente
dependientes.
2
Nosotros, tambien nos saltaremos algunos aspectos tecnicos y definiremos el producto
exterior mediante bases en espacios vectoriales, pero esta restriccion no es necesaria.
La dimension del espacio (producto) exterior k-esimo para un modulo libre

de dimension n es n! . En particular, ese significa que modulo una consk!(nk)!
tante, hay un unico funcional antisimetrico la dimension del espacio. Tambien

observe que cada funcional lineal es antisimetrico. En general, podemos definir
la cuna de un funcional antisimetrico m-lineal y un funcional antisimetrico nlineal dando un funcional antisimetrico (m+n)-lineal. Puesto que resulta que
esta operacion es asociativa, podemos tambien definir la potencia de un
funcional lineal antisimetrico.
Un algebra de Grassmann abstracta o algebra exterior es pues un
algebra asociativa unital K generado por un conjunto S conforme a la
relacion ij + j i = 0 para cualquier i en S. Esta definicion dice que los
generadores son cantidades anti-conmutativas y debe ser modificada en caso
de que K tenga caracterstica 2.
El algebra exterior tiene notables aplicaciones en Geometra diferencial,
donde suele ser usada para definir formas diferenciales, que no son otra
cosa que las aplicaciones multilineales duales a los espacios exteriores
correspondientes. Se define as un producto exterior natural para formas
diferenciales.
Como curiosidad, en teora de representaciones, el algebra exterior es uno
de los dos functores fundamentales de Schur en la categora de espacios
vectoriales, siendo el otro el algebra simetrica. Estos dos objetos, juntos,
sirven para generar las representaciones irreducibles del grupo general lineal.
4.3.
Forma de volumen y dual de Hodge

El operador estrella de Hodge ( Hodge star operator) es una aplicacion
lineal introducida popularmente por W. V. D.Hodge. Se define sobre el
algebra exterior de un espacio con producto interior y una orientacion en
dimension finita. Ademas, establece una correspondencia entre el espacio de
k-vectores y el espacio de (n-k)-vectores. La imagen del k-vector bajo este
isomorfismo se denomina dual de Hodge. En terminos dimensionales, los kvectores tienen
din
mension
, mientras que el dual tiene dimension
, que por la simetra de
n
k
nk
los binomiales tienen el mismo valor. Dos espacios con la misma dimension son
siempre isomorfos, pero no necesariamente en una manera canonica o esta
ndar. La dualidad de Hodge, sin embargo, toma ventaja del producto interior o
escalar y de la orientacion del espacio para inducir la correspondencia un
voca mas natural. La definicion de operador de Hodge esta determinada
esta determinada tambien por su actuacion sobre una base. Sea una base
orientada ortonormal e1 , e2 , ..., en , entonces el operador estrella de Hodge
actua sobre ella de la form a siguiente:
*(e1 e2 ... ek ) = ek+1 ek+2 ... en
tambien puede usarse la notacion de ndices tensorial. Para ello se usa
el tensor totalmente antisimetrico o smbolo de Levi-Civita, para escribir
1 j1
cj1 ,...,jk,i1 ,...,in k
(*)i1 ,i2 ,...,ink = ,...,jk k!

donde es totalmente antisimetrico en sus k-ndices. Escrito de esta
forma, es evidente que el espacio vectorial debe tener un producto interior o
escalar. Es necesario que exista para poder subir y bajar los ndices del
tensor contrado. Usar el producto interior g, la metrica, es equivalente, pero
no totalmente obvio,
apuede
prefijar el smbolo) de Levi-Civita con la raz cuadrada del determinante
del producto
tomar
el operador
interiorde|g|Hodge
para obtener
a cualquier
la forma
tensor,de elvolumen.
resultadoAunque
es antisim
uno
etrico siempre, ya que las componentes simetricas del tensor se anularan
cuando que- den contradas por el smbolo. Un ejemplo comun es el caso
del espacio tridimensional. Ah, el dual de Hodge de las 2-formas basicas
son 1-formas, que es lo que esta implcito en la asociacion de un vector a
un bivector. Explcitamente, se tiene que:
*dx = dy dz
*dy = dz dx
*dz = dx dy
En el caso tetradimensional, n = 4, el dual de Hodge actua como
endomor- fismo sobre las 2-formas, de dimension 6. Es una involucion y se
separa en una parte autodual y una antiautodual. De hecho, la razon
profunda de esto, es que en 4 dimensiones los tensores antisimetricos de
orden 3 solo pueden ser concebidos como partes de tensores antisim
etricos de orden 4, y por eso se pierde la correspondencia entre 2-formas y
1-formas en n = 4. As, el dual de Hodge induce, en general, un producto
escalar sobre los k-vectores, el algebra exterior o de Grassmann del espacio
vectorial V que consideremos. La forma de volumen sobre el espacio
verifica la condicion
* = (, )
Se puede probar sin demasiado esfuerzo que (, ) es un producto escalar. En
esencia, los productos exteriores de elementos de una base ortogonal forman una
base ortogonal del algebra exterior. Extendida a variedades arbitrarias, el
dual
de Hodge permite la definicion de la forma de volumen sobre la variedad:
= | det g
i
j
| dx1 . . . dxn
donde gij es la metrica sobre la variedad. Y, tambien, uno puede

fabricar una forma de volumen de dimension n, tomando el determinante
formal de n 1 vectores con una base ortogonal de V , que sera la
generalizacion multilineal del
producto vectorial. Matematicamente:
e 1 e 2 . . . en
a1 a2 . . . an
..
.
...
.
.
.
z1 z2 . . . zn
.
.
4.4.
A lgebras de Clifford (A lgebra geometrica)
Las algebras de Clifford [24, 8, 19] son un tipo especial de algebra

asociativa. Son otra manera alternativa de generalizar los numeros complejos
y cuaternios, y por ende, el producto vectorial. Estan relacionadas con la
teora de formas cuadraticas y transformaciones ortogonales y sus
aplicaciones exceden las que aqu pueden nombrarse, tanto en Matematicas,
como en Fsica. En concreto, un algebra de Clifford se define en la
actualidad como un algebra asociativa generada por un espacio vectorial V
equipado con una forma cuadratica Q. El
algebra de Clifford se denota entonces por Cl(V, Q). Formalmente, se

define tambien:
v2 = Q(v)v V
uv + vu = 2g(u, v)u, v V
Una de las propiedades mas importantes de estas algebras es su
denominada propiedad universal.
Si la dimension de V es n, y ei es una base de V , entonces el conjunto
ei1 ei2 eik con 1 i1 < i2 < < ik n y 0 k n
es una base para Cl(V, Q). La dimension del algebra de Clifford es
n
"\"
n
dim Cf(V, Q) =
k
= 2n
k=0
Las bases ortogonales son un conjunto privilegiado para V , ya que en sus

terminos puede escribirse
(ei, ej ) = 0
eiej = ejei
i /= j
i /= j
Denotemos el producto de dos octavas a, b O por a b. Sean 1, e1, e2, ...,

e7 una base de O. Definamos el producto en terminos de la base como el
algebra de Clifford dado por las relaciones siguientes:
y por la tabla
ei ei = 1, y ei ej = ej ei si
j
i /=
e1 e2 = e 4 , e 2 e 4 = e 1 , e4 e1 =
e2 e2e3 = e5, e3e5 = e2, e5e2
= e3
..
.
..
..
.
.
e7e1 = e3, e1e3 = e7, e3e7 = e1
Esta tabla puede condensarse en la ecuacion compacta siguiente
ei ei+1 = ei+3 mod(7)
Entonces el producto
tabla de multiplicacion
expresion matricial:
0
e4
e7
E T = e2
e6
e
5
e3
vectorial entre dos vectores U,V de R7 hereda la

de las octavas, y esta definido por las siguiente
e4
0
e5
e1
e7
e5
0
e6
e2
e1
e6
0
e6
e3
e2
e7
e5
e7
e4
e3
e3
e7
e2
e4
e7
e3
0
e1
e1
0
e6
e1
e5
e4
e2

e3 t1

e6
t2
e1 t3
e5 t4

e4 t 5
e2
t
6
0
t7
Sin embargo, a diferencia del producto vectorial tridimensional no es un

algebra de Lie, sino un algebra de Malcev. En vez de la identidad de
Jacobi, satisface la relacion de Malcev siguiente (xy)(xz) = ((xy)z)x +
((yz)x)x + ((zx)x)y en donde x, y, z son octavas ( puramente vectoriales) y
los parentesis denotan el orden de actuacion del producto vectorial
heptadimensional. En este mismo formalismo, hay otra diferencia. A saber,
mientras que en el espacio tridimensional el producto vectorial es unico,
salvo orientacion, en el espacio heptadimensional el producto vectorial
depende de un trivector o volumen. En el espacio tridimensional a b = c d implica que a,b, c y d estan en el mismo plano, pero
para el producto vectorial heptadimensional hay otros planos distintos al
formado
por a y b dando la misma direccion que su producto cruz. Mas
abstractamen- te, el producto vectorial tridimensional es invariante bajo todas
las rotaciones del grupo SO(3), mientras que el producto vectorial
heptadimensioanl no es invariante bajo todo el grupo SO(7), sino solo bajo
el grupo excepcional G2 , un subgrupo de SO(7). Los bivectores en 7
dimensiones generan una variedad de dimension 11, mientras que la imagen
es un elemento de dimension 7. Por
tanto, no hay una relacion uno a uno entre la asociacion de producto
vectorial y matrices antisimetricas de orden 7, sino es solamente una forma
de asociar un vector a un bivector.
5.
Pedagoga y Didactica
En esta seccion, vamos a analizar y criticar las diferentes tecnicas
conocidas para el calculo del producto vectorial. Esto es especialmente util
e importante para profesores de la E.S.O., en caso de encontrarse con alumnos
avanzados, y Bachillerato mas generalmente.
5.1.
La regla del tornillo y del sacacorchos

Esta es la regla comunmente usada en los libros de texto para la obtenci
on de la direccion y sentido de producto vectorial. Se han llenado multiples
libros con el famoso eslogan siguiente:
La direccion y sentido del producto vectorial son las de un
tornillo o sacacorchos, que gira del primer vector al segundo por el
camino mas corto.
En nuestra opinion, aunque se cuente este truco, no es demasiado
conve- niente por varios motivos:
1. No siempre hay tornillos y sacacorchos en clase. Y aunque puedan ser sustituidos por bolgrafos o elementos analogos, se puede generar confusio
n.
2. Se enfatiza el aspecto mecanico o manual de la operacion. Si bien
puede ser util para aquellos alumnos que necesiten apoyo psicomotor y
visuali- zacion en tres dimensiones, no siempre encontraremos alumnos y
alumnas originales para sustituir correctamente dichos elementos. En F
sica y Ma- tematicas, en principio, queremos potenciar las capacidades
cognitivas, no tanto las psicomotoras.
5.2.
La regla de la mano derecha

Segun esta norma, la direccion y sentido del producto vectorial se
obtienen con el pulgar de la mano derecha, orientando correctamente los dedos
ndice y corazon de forma que recaigan correctamente en los vectores
operando.
Esta regla, archiconocida tambien en todos los manuales de Fsica y Qu
mica, y en algunos textos de Matematicas, tambien presenta una serie de
de dificultades conocidas por todos los profesores:
El que un alumno o alumna sea zurdo o diestro, puede dificultar su aplicacion practica. Para los zurdos, es natural pensar en la derecha
como su mano izquierda. En los ambidiestros puede aparecer tambien
alguna problematica.
Al igual que en el truco anterior, se enfatiza demasiado las capacidades
psicomotoras, lo cual puede representar problemas para personas con poca
destreza manual.
En Fsica, se puede confundir con la regla de la mano izquierda, lo
que amplia las posibilidades de confusion manual, incluso cuando los
conceptos pueden estar totalmente claros.
5.3.
La tecnica e intuicion algebraicas

En nuestra opinion, si se quiere ensenar bien el producto vectorial, m
as alla de que en ciertos momentos puedan o deban contarse las reglas
anteriores, debe preconizarse la tecnica algebraica definida por (19). Por qu
e? En primer lugar, porque la misma esencia natural del producto vectorial
es de germen algebraico. En segundo lugar, y eso es poco destacado ni
siquiera como nota en los libros de texto, porque si se tienen las componentes
de los vectores que se multiplican, el sentido y direccion del producto
vectorial vienen dados au- tomaticamente por el resultado del determinante
formal dado por la expansion por adjuntos o la regla de Sarrus. Es mas
importante ensenar como se pueden visualizar sus compenentes una vez
efectuadas las operaciones aritmeticas basicas, que todo el mundo conoce y
maneja con cierta habilidad ( sumar, restar, multiplicar y dividir) que pedir a
los alumnos que lo perciban en terminos manuales. Habra alumnos que
prefieran y apliquen tecnicas no-algebraicas, pero es necesario vigilar que lo
hagan correctamente. En cambio, usando el determinante, se puede controlar
mejor que dominan el concepto algebraico y matematico. No obstante, no
negamos la utilidad de los recursos anteriores, pero la intuicion geometrica y
visual en tres dimensiones, o la destreza manual, no nos parece en pie de
igualdad a la capacidad de realizar operaciones basicas y dibujar las tres
componentes obtenidas en relacion a las originales.
Quizas, la unica dificultad de este metodo es recordar el signo del
segundo adjunto, que puede producir errores en los alumnos menos avezados
algebrai- camente. En este caso, se puede contar el truco de yuxtaponer al
determinante a su derecha las dos primeras columnas, y usar el metodo
convecional para obtener el producto correcto: tres primeras diagonales
principales de izquierda a derecha (y arriba abajo) tienen signo positivo, las
otras tres diagonales principales de abajo hacia arriba (tambien hacia la
derecha) negativas. Este hecho, por desgracia, tampoco aparece destacado en
los manuales preuniversitarios o de Bachillerato/E.S.O.
5.4.
Problemas comunes de tipo didactico y recursos

pedagogicos
Es bastante comun en la didactica del producto vectorial, que se

pregunte acerca de la no conmutatividad del producto vectorial. No es facil
una respuesta simple, segun hemos visto en el presente trabajo. De hecho,
el producto vectorial, junto a la multiplicacion de matrices, es el primer
caso de operacion no conmutativa que aprenden los estudiantes. Y es
complicado para algunos com- prender que la ley conmutativa no se cumple
siempre. Para ilustrar que tipo de objetos tienen tales propiedades, se pueden
citar los ejemplos siguientes:
1. El profesor coge un libro de texto u hoja a su disposicion. La gira
primero noventa grados hacia la izquierda, y luego noventa grados hacia
s mismo. Luego repite las operaciones anteriores en orden inverso:
primero gira la hoja hacia s mismo, y luego rota la hoja hacia la
izquierda, en ambos casos noventa grados. Puede ilustrarse as un
ejemplo de no conmutatividad.
2. Para poner un ejemplo concreto de vectores axiales, puede tomarse la misma hoja y se le pincha o anade un vector normal a su
superficie(puede ser un bolgrafo, una tiza,. . . ). En el caso de que las
rotaciones anteriores fuesen de un angulo muy pequeno, se insiste
en el concepto de que dicho vector normal permanecera invariante
ante tales transformaciones. infinitesimal de hecho, puede observarse
como la posicion del
Ademas, hay otros conocidos recursos graficos para el producto vectorial.
En particular, destacan dos reglas mnemotecnicas:
1. El diagrama cclico i j k . Si se pinta una circunferencia con
tres vertices, orientada en una direccion fija, cuyos vertices sean los
vectores base canonica del espacio eucldeo i,j,k, se pueden recuperar
los productos
vectoriales de los vectores base siguiendo el sentido. El resultado tiene
signo negativo solo si se va en contra de la orientacion prefijada en
el dibujo.
2. Usar, en conjuncion y apoyo de las reglas del tornillo y mano

derecha, bolgrafos, lapiceros y otros elementos con pinta de
vectores para no confundirse al aplicar dichas normas.
3. La palabra magica XYZZY y sus derivadas cclicas. De acuerdo a las
relaciones basicas (19), la primera componente ( X) del producto
vectorial intercalara el producto de las componentes (Y) y (Z) del primer
y segundo vector, menos, el producto de las componentes (Z) e (Y) de
los mismos. Las restantes dos componentes se obtienen sin mas que
permutar cclica- mente las letras en la palabra magica. As, las dos
siguientes palabras
magicas seran YZXXZ y ZXYYX. Este recurso puede ser

especialmente util para los estudiantes con inclinaciones Human
sticas o mas de Letras que de Ciencia, y tambien, por otra parte,
puede motivar por el interes de las palabras curiosas a los alumnos de
Ciencias.
Finalmente, a los alumnos mas curiosos se les podra mostrar como el
producto de dos cuaternios vectoriales reproduce tambien el producto vectorial
correcto, mencionando y destacando igualmente a los mismos como se origino
el concepto abstracto en su contexto historico.
6.
Conclusiones y discusion
El producto vectorial posee, como hemos visto, una estructura matem
atica muy intrincada y excepcional. No por ello deja de ser fascinante y
sorprendente que aparezca de forma ubicua en numerosas partes. Tanto es as
, que incluso si nadie hubiera sido capaz de concebirlo de forma abstracta,
probablemente habramos acabado encontrandolo de forma totalmente
experimental. La com- plejidad de este producto en su forma tridimensional,
son en buena parte resultado del oculto y profundo significado que tiene en la
Geometra multidimensional. Suele decirse, entre los fsicos, por poner un
ejemplo, que el magnetismo es tan complicado que para su descripcion
tridimensional necesitamos auxiliarnos del producto vectorial. Ello es as, en
efecto. Pero no es menos cierto, que cuando ampliamos el numero de
dimensiones, usando la teoria de la relatividad restrin- gida, se obtiene una
simplificacion de las expresiones que involucran el producto vectorial. Eso no
significa que el problema sea mas sencillo de entender, nadie comprende aun
del todo el electromagnetismo, pero a nivel de descripcion, es evidente la
simplificacion del lenguaje matematico usando mas dimensiones. La
generalizacion correcta del formalismo matematico del producto vectorial
no es inmediata, dado que el triunfo historico correspondio a los
fundadores del calculo tensorial y vectorial, muy posiblemente porque
consideraran que el en- gendro o monstruo de un espacio con muchas
dimensiones no tena soporte emprico. Ademas, un ingeniero o tecnico no
necesita la abstracion de espacios multidimensionales, sino metodos eficientes
de calculo. Los vectores y tensores proporcionaron tal calculo, aunque en
absoluto nos parece totalmente transpa- rente dichos utensilios.
En cuanto a la Pedagoga y Didactica de esta operacion, tambien hemos
proporcionado ideas, trucos y crticas de las metodologas conocidas. Es
importante conocerlas y usar los recursos mas apropiados para cada tipo
de aula, destacando los aspectos que proporcionen un mayor rendimiento en
cada grupo de alumnos. Ensenar un concepto abstracto, visual, geometrico y
en cierta forma difcil, entrana seleccionar los metodos que mas puedan
motivar al alumnado en el momento de su explicacion. No renunciemos
tampoco a mencionar algo de la Historia de las Matematicas involucrada en
la operacion o del origen de los vectores si haciera falta para enganchar con
los nuevos conceptos a nuestros discpulos.
Agradecimientos
Agradecemos al profesor Javier Peralta su disposicion favorable sobre la
seleccion tematica de este trabajo, as como el haber llamado nuestra
atencion sobre las referencias [4, 5], que resultaron sumamente utiles para la
redaccion de este manuscrito.
A.
Cronologa algebraica
665 Brahmagupta (598-670) escribe Khandakhadyaka que resuelve las
ecuaciones cuadraticas y permite la posibilidad de soluciones
negativas. which solves quadratic equations and allows for the possibility
of negative solutions.
1136 Abraham bar Hiyya Ha-Nasi escribe el trabajo Hibbur haMeshihah ve-ha-Tishboret, traducido al latn como Liber embadorum,
donde se presenta la primera solucion completa de la ecuacion
cuadratica.
1484 Nicolas Chuquet (1445-1500) escribe Triparty en la sciences des
nombres. La cuarta parte de este tratado contiene la llamada Regle des
premiers, o regla de lo desconocido, que cuenta reglas manipulativas que
hoy llamaramos A lgebra. Introdujo la notacion exponencial,
permitiendo potencis positivas, negativas y la potencia nula. En la
resolucion de ecuaciones generales, mostro que algunas ecuaciones
conducan a soluciones imaginarias, pero las descarto porque Tel
nombre est ineperible.
1535 Nicolo Fontana (Tartaglia) (1500-77) encuentra le metodo
general para la resolucion de todo tipo de ecuacion cubica y se lo
comenta a Cardano, bajo promesa de que no lo contara hasta que lo
publique el primero. Cardano la revela publicamente en1545.
Girolamo Cardano (1501-1576) escribe Ars magna sobre las soluciones
generales de las ecuaciones cubica y cuartica. En ella, aparecen
soluciones cuyos polinomios conducen a races cuadradas de
cantidadades negativas, pero Cardano las llama sofsticas y concluye
que es tan sutil como inutil.
1572 Rafael Bombelli (1530-1590) publica Algebra, y hace uso de su idea
salvaje de que uno podra usar las races cuadradas de numeros
negativos para obtener las soluciones reales mediante una tecnica que
llegara a conocerse mas tarde como conjugacion. Estas tecnicas fueon
originalmente escritas en una version temprana del manuscrito, en 1550,
pero no llegaron finalmente a ser publicadas.
1629 Albert Girard (1595-1632) publica Invention nouvelle en
lalgebre, enunciando claramente las relacione entre races y
coeficientes, permitiendo races negativas e imaginarias a las
ecuaciones. La conceptualizacion de Girard de las soluciones
negativas asienta el terreno para la idea de los numeros de la recta o
lnea real, interpretando de hecho los numeros negativos como un
tipo de orientacion relativa. Ademas, retiene las races imaginarias
porque estas muestran los principios generales en la resolucion del

problema general de hallar las races.
1637 Rene Descartes (1596-1650) acuna el termino imaginario para

expresiones que involucran la raz cuadrada de un numero negativo,
tomando su reiterada aparicion como un signo de que el problema es,
en cierto modo, insoluble.
1670 Gottfried Wilhelm Leibniz (1646-1716) revive las especulaciones sobre los numeros imaginarios, senalando que eran un tipo de anfibio
que se divide por la mitad entre la existencia y la no existencia.
1673 John Wallis (1616-1703)publica Algebra, en donde aparece por primera vez una manera de representar los numeros complejos geom
etrica- mente.
1714 Roger Cotes (1682-1716), en su artculo Logometria, deduce la f
ormula i = ln [cos i sin ], que tambien se publicara en la p
ostuma Har- monia Mensurarum of 1722. Este resultado pasa mucho
tiempo completamente desapercibido.
1747 Leonhard Euler (1707-1783) muestra que el logaritmo de un nu
mero negativo es imaginario.
1748 Euler publica Introductio in analysin infinitorum dando las formulaciones en series infinitas de exp x, sin x, cos x, y deduce la f
ormula exp i = cos + i sin , aunque estoy ha haba sido
desarrollado por Johann Bernoulli y otros de otras formas.
1749 Euler muetra que la potencia de un numero complejo es un nu
mero complejo.
Jean le Rond dAlemberts (1717-1783) construye funciones de una variable compleja, obteniendo lo que mas tarde se conoceran como
ecuaciones de Cauchy-Riemann.
1777 Euler inventa y propugna el smbolo i para la expresion 1.

1797 Caspar Wessel (1745-1818) publica el artculo Sobre la
representacion analtica de la direccion: una propuesta, en donde
representan los numeros complejos graficamente sobre un plano
bidimensional. Impreso en 1798, e incluido en las memorias de la Real
Academia de Dinamarca de 1799, este trabajo resulto desconocido hasta
su redescubrimiento en 1895. Este plano se denomina hoy de ArgandGauss, pero ya lo haba inventado Wessel.
1806 Jean Robert Argand (1768-1822) publica Ensayo sobre la interpretacion geometrica de las cantidades imaginarias, acerca de la
representacion grafica de los numeros complejos en un plano.
1814 Las memorias de Augustin-Louis Cauchy (1789-1857) dan la
primera teora clara sobre funciones de variable compleja. No se
publican hasta 1825. En las siguientes tres decadas, Cauchy investiga los
fundamentos de la moderna teora de funciones complejas.
1820 Simeon-Denis Poisson (1781-1804) escribe el primer ejemplo
publicado de integracion en el plano complejo en 1815.
1825 Cauchy publica Memoire sur les integrales definies, prises entre
des limites imaginaires. Contiene su teorema integral y la nocion de
residuo. 1825-50 se considera el perodo de comienzo del moderno analisis
complejo.
1828 George Green (1793-1841) publica un teorema relacionando integrales de contorno e integrales de area en el plano complejo. Hoy se
llama Teorema de Green, pero sera redescubierto por Mikhail
Ostrogradski (1801-62) in 1831.
John Warren (1796-1852) publica A Treatise on the Geometrical Representation of the Square Roots of Negative Quantities.
1830 Augustus De Morgan (1806-1871) escribe Trigonometra y A
lgebra doble, relacionando los numeros reales y complejos pero
rechazando la posibilidad de algebras con tripletes y cuadrupletes.
1831 Cauchy muestra que una funcion analtica de variable compleja
puede ser expandida en serie de potencias en el entorno de una
singularidad. Formula un algebra rigurosa de numeros complejos basada
en la geometra del plano complejo.
Carl Friedrich Gauss (1777-1855) publica su teora aritmetica de nu
mero complejos ( el termino complejo haba sido introducido por
Gauss), permitiendo una interpretacion geometrica de los numeros
complejos mas profunda y simple que las anteriores. Construye el
algebra de numeros complejos y senala por primera vez el camino
para construir numeros hipercomplejos.
1833 William Rowan Hamilton (1805-1865) introduce por primera vez un
algebra de pares de numeros reales que mimetiza el algebra de los nu
meros complejos mediante cierta operacion producto.
1834 George Peacock (1791-1858) presenta un informe resumiendo el
progreso y estado de ciertas ramas del Analisis. Enuncia por primera
vez la idea de un algegra construida axiomaticamente sin referencia a
su posible interpretacion.
1835 Hamilton identifica x + iy con coordenadas (x, y) y reescribe las
definiciones en forma totalmente algebraica. Como tantas otras veces,
estoy haba tambien sido descubierto por Gauss, pero el no sola
publicar sus resultados.
1840 Duncan Farquharson Gregory (1813-1844) publica Sobre la naturaleza del algebra simbolica, donde senala que las diferentes
algebras pueden tener operaciones diferentes a las conocidas.
1841 De Morgan escribe Sobre el fundamento del A lgebra,
introduciendo el A lgebra de forma simbolica para explicar
operaciones especficas. Considera las operaciones +, , , , as
como las propiedades elemento unidad, elemento nulo, conmutatividad,
asociatividad, distributividad (
perono con esta terminologa) y da un tratamiento axiomatico
correcto del concepto de igualdad.
1843 Hamilton crea los numeros cuaternios o cuaterniones. Define

el subespacio de unidades imaginarias como vector, V (Q) = ai + bj +
ck
, cuyos elementos o componentes podan ser interpretados como las
coordenadas de un punto en un espacio eucldeo tridimensional. Sin
embargo, le fascina la tetradimensionalidad de su creacion y dedica
buena parte de su vida y obra matematica resultante a su estudio
detallado.
26 de Diciembre de 1843 John T. Graves escribe una carta a su amigo Hamilton sobre una generalizacion del trabajo de Hamilton.
Graves ha inventado las octavas, que mas tarde se llamaran
octoniones o numeros de Cayley. La publicacion del resultado fue
postergada por Hamilton, demasiado ocupado en sus cuaternios.
Finalente se publica en Julio de 1847.
1844 Hermann Grassmann (1809-1877) comienza a trabajar en el c
alculo exterior hacia 1862. Primer gran encuentro con la geometra de
espacios multidimensionales.
Arthur Cayley (1821-1895)publica Chapters in the analytical geometry of
N-dimensions, (Captulos en la geometra analtrica de Ndimensiones).
1845 Cayley describe los octoniones 8-dimensionales, llamados ahora numeros de Cayley, que son no-conmutativos y no-asociativos, en el artculoOn
Jacobis elliptic functions, in reply to the Rev. B. Brouwin; and on quaternions.
1847 Ernst Kummer (1810-1893) introduce el concepto de ideal en teor
a de numeros, una generalizacion de los numeros primos que hace el
teorema fundamental de la Aritmetica aplicable a numeros complejos.
George Boole (1815-1864) publica The Mathematical Analysis of Logic,
donde expone una vision de las Matematicas como Ciencia del
simbolismo consistente, y contrapuesta a numeros o magnitudes.
1851 Georg Bernhard Riemann (1826-1866) muestra que cualquier funcion compleja puede ser aplicada en una correspondencia uno a uno
en una superficie que ahora se denomina superficie de Riemann.
1852 James Joseph Sylvester (1814-1897) publica La prueba del teorema
de que todo polinomio cuadratico homogeneo se reduce por
transformaciones ortogonales a una forma de suma de cuadrados
positivos y negativos. Es la conocida ley de la inercia de las formas
cuadraticas.
1853 Primera edicion del libro Lectures on Quaternions, donde
Hamilton presenta su nuevo algebra totalmente desarrollada. Muestra
que forman lo que llama un espacio vectorial lineal sobre los numeros
reales, introduciendo dos nociones distintas de producto sobre ellos, y un
tercero hbrido, mostrando entre otras propiedades que el producto
escalar o interior de dos vectores es bilineal.
1854 Riemann publica Sobre las hipotesis en la que se basan los
fundamentos de la Geometra en Gottingen y publicadas por
Dedekind en 1868, dando definiciones intuitivas geometricas de variedad

N-dimensional e introduciendo la nocion de curvatura.
1858 Cayley presenta Una memoria sobre la teora de matrices

donde introduce las matrices, su adicion, multiplicacion, cero, y la
matriz identidad, junto a una interpretacion de la teora de
determinantes. Mues- tra tambien como los cuaternios pueden ser
formulado en terminos de matrices. Generaliza un teorema de
Hamilton, formulando el teorema de Cayley-Hamilton actual, proba
ndolo para matrices de orden 2 y 3.
1859 Riemann extiende la funcion zeta de Euler al plano complejo.
Desde entonces se llama funcion zeta de Riemann.
1861 Karl Weierstrass prueba que los numeros complejos son la u
nica extension posible en dimension finita que preserva todas las
leyes usuales de la Aritmetica.
1862 Grassmann publica la segunda edicion de su Teora de la
Extension Lineal, mas accesible y popular que la previa. Elabora las
nociones de dependencia e independencia lineal, subconjuntos,
intersecciones, y poniendo
enfasis en la distincion entre los productos interior y exterior.
1866 Se publican los Elements of Quaternions, postumos a la muerte
de Hamilton.
1867 Hermann Hankel (1839-1873) publica La Teora de los numeros
complejos, donde apareca una prueba de que los numeros complejos
eran el
algebra mas general posible bajo los axiomas fundamenales de la Aritm
etica, y ayuda a la popularizacion de las ideas de Grassmann.
1870 Benjamin Peirce (1809-1880) publica Linear Associative Algebras,
uno de los primeros estudios sistematicos de los numeros
hipercomplejos, y escribiendo las tablas de multiplicacion para 162
algebras diferentes. Su hijo Charles S. Peirce muestra que de todas las
algebras de menos de 7 dimensiones, solo tres son sistemas algebraicos
con division: los reales, los complejos y los cuaternios.
1871 Maxwell escribe una carta de recomendacion para Clifford,
donde senala:
(...) The peculiarities of Mr. Cliffords researches ... is that
they tend not to the elaboration of abstruse theorems by
ingeneous calculations, but to the elucidation of scientific
ideas by the concentration upon them of clear and steady
thought(...)
1873 Sophus Lie (1842-1899), que haba estudiado con Felix Klein
(1849- 1925), comienza su estudio de los gruos de transformaciones, que
dara sus frutos produciendo las algebras de Lie, que tambien fueron
introducidas y clasificadas de forma independiente por Wilhelm Killing
(1847-1923) y Elie Cartan (1869-1951). La clasificacion de las algebras
de Lie corresponde a la clasificacion de las algebras reales
alternativas, esto es, los numeros reales, los numeros complejos, los
cuaternos y las las octavas u octoniones ( o numeros de Cayley)
1873 William Kingdon Clifford (1845-1879) desarrolla una geometra

del movimiento que generaliza los cuaternios a bicuaternios.
1878 Ferdinand Georg Frobenius muestra, usando instrumentos de la

To- pologa algebraica, que los cuaternios son un algebra que
satisfacen todas las propiedades de la Aritmetica salvo la propiedad
conmutativa de la multiplicacion.
1879 Clifford publica Applications of Grassmanns extensive algebra (Am.
J. Math.) , donde propone una modificacion del algebra de Grassman
en lo que ahora se denomina algebra de Clifford. Fallecen Maxwell
y Clifford, nace Albert Einstein.
Richard Dedekind (1831-1916) define explcitamente la nocion de
cuerpo numerico.
1881 Josiah Williard Gibbs (1839-1903) publica su Vector Analysis.
1884 Weierstrass publica Sobre la teora de magnitudes complejas
forma- das por n-unidades. Muestra que todo algebra conmutativa sin
elementos nilpotentes es una suma directa de un determinado numero
de copias de los numeros reales y complejos.
1885-1887 Oliver Heaviside (1850-1925) escribe Electromagnetic
induc- tion and its propagation, reexpresando la teora electrodina
mica de Max- well, desarrollando la mayor parte del calculo vectorial
moderno y promo- viendo sus aplicaciones en la Fsica.
1886 Rudolf Otto Sigismund Lipschitz (1832-1903) redescubre independientemente las algebras de Clifford, y es el primero en aplicarlas al
estudio de rotaciones en espacios eucldeos.
1893 Fedor Eduardovich Molin (1861-1941) descubre que salvo isomorfismo, todas las algebras complejas simples son algebras matriciales de
orden
N. Esto sera redescubierto independientemente por Frobenius y Cartan.
1896 Adolf Hurwitz (1859-1919) prueba que todo algebra normada con
un elemento unidad es isomorfo a los reales, a los complejos, los cuaternios
o los nuemos de Cayley.
1897 Kurt Hensel inventa los numeros p-adicos. Su trabajo queda
oculto en la nevera de ideas matematicas extravagantes.
1898 Alfred North Whitehead publica A Treatise on Universal
Algebra, with Applications.
1907 Joseph Henry Maclagen Wedderburn (1882-1948) prueba que todas las algebras simples asociativas sobre un cuerpo F, son
precisamente
algebras matriciales con elementos en un algebra normada asociativa.
1957 John Willard Milnor, R. Bott and Kervaire muestran que si uno
no impone las leyes conmutativa y asociativa del producto, el conjunto
completo de sistemas aritmeticos posibles son los reales, los
complejos, los cuaternios y los numeros de Cayley.
1925-actualidad Progreso en el estudio de las algebras de Clifford

y de Grassman. Aplicaciones en Fsica. Atisbos de su relevancia para
la descripcion fundamental de la Naturaleza. Dirac redescubre las
algebras de Clifford en la teora relativista de los electrones. Jordan,
Wigner y John von Neumann clasifican todas las algebras de Jordan
finitas en 1934 in- tentando generalizar la Mecanica Cuantica.
Resurge el algebra geometrica de Clifford gracias al trabajo de
matematicos como Weyl y Chevalley, y mas recientemente de fsicos
como David Hestenes, el grupo de Cambridge y otros. Emil Artin
publica tambien un libro titulado Geometric Algebra. Se introducen
los idèles a mediados de 1930, por Claude Chevalley. Aparecen en
teora de las clases de cuerpo para extensiones infinitas en terminos
de grupos topologicos. Aparecen los adèles ( etimologicamen- te
additive idèles) de manos de Andre Weil, para formular una prueba
del teorema de Riemann-Roch. Adèle es un nombre de chica franc
es, y el chiste no era o no es aceptable para algunos que aun
prefieren lla- marlos reparticiones o vectores de valoracion. La
terminologa actual fue afianzada por Borel y Harish-Chandra.
Desarrollos amplios en terminos de hiperobjetos: hiperdeterminantes,
hipermatrices, hipernumeros,. . .
B.
B.1.
Perfiles biografi
W. R. Hamilton
William Rowan Hamilton nacio repentinamente en la noche del 3 al 4

de agosto de 1805 en la capital de Irlanda, en Dubln. Hamilton demostro
una inteligencia sorprendente desde muy pequeno. Con tres anos fue
enviado con un to suyo, llamado James, que era sacerdote y maestro en la
escuela Anglicana de Trim, un pueblecito cerca de Dubln. Su to James ten
a fama de excentrico, por ejemplo, el ataba una cadena al dedo gordo del
joven William por la noche y la pasaba a traves de un agujero hasta la suya
propia. A la manana siguiente, cuando era la hora de comenzar los estudios,
tiraba fuertemente de la cadena para despertarlo. Sin embargo, con su to
continuo hasta 1923 cuando entro en el Trinity College de Dubln. A los
pocos meses de estar con su to James, con tan solo tres anos, ya escriba y
lea perfectamente el ingles y dominaba la aritmetica avanzada. Con cinco
anos recien cumplidos, ya traduca el latn, el griego y el hebreo y
recitaba a Homero, Milton y Dryden. Antes de cumplir los 12 anos, ya hab
a escrito un manual de gramatica Siria y a los 13 dominaba tan bien el
arabe que fue el encargado de escribir el discurso de bienvenida al
embajador de Persia en su visita a Dubln. En resumen, se dice que a la edad
de 13 anos dominaba otros tantos idiomas.
Hamilton comenzo a interesarse por las matematicas y la fsica despu

es de 1920, cuando conocio a un americano, Zerah Colburn, que poda hacer
grandes calculos mentales a velocidades increbles. Cuando tena 16 anos,
y habien- do ledo el Elements dalgèbre de Alexis-Claude Clairaut y los
Principia de Newton, Hamilton se introdujo en la lectura de los 5 volumenes
del Traite de mecanique celeste de Pierre-Simone Laplace. La deteccion
de un error en el ra- zonamiento de Laplace hizo que el joven Hamilton llamase
la atencion de John Brinkley, profesor de astronoma en el Trinity College.
Con 17 anos, Hamilton envio a Brinkley, por aquel entonces ya presidente
de la Royal Irish Academy una original memoria sobre optica geometrica y,
cuando este la presento ante la Academia, se dice que remarco
Este joven, no voy a decir que sera, sino es el primer matematico
de su edad
En 1823 Hamilton ingresa en el Trinity College, donde obtuvo los m
aximos honores, tanto en lenguas clasicas, como en Matematicas. Mientras
tanto, el continuo con sus investigaciones en optica y en abril de 1827
presento su Theory of Sistems of Rays a la Academia. E ste tratado
transformaba la optica geometrica en una ciencia dotada de metodos matem
aticos estableciendo un metodo uni- forme aplicable a la resolucion de
cualquier problema en este campo. Hamilton comenzo desde el principio que
Pierre de Fermat haba establecido en el siglo XVII, conocido como
Principio de Fermat, que establece que la luz recorre el camino que requiera
menor tiempo al propagarse de un punto a otro, tanto si el camino es recto o
alterado por la refraccion. La idea basica de Hamilton fue considerar que el
tiempo (o una cantidad parecida denominada accion) como una funcion de
los puntos finales entre los cuales la luz pasa y demostrando que esa cantidad
vara cuando las coordenadas de los puntos finales varan, de acuerdo con
una ley que el denomino ley de accion covariacional. Ademas, demostro
que toda la teora es reductible al estudio de esa funcion caracterstica.
Poco despues de la presentacion de su trabajo, y siendo todava un
estudiante sin graduar, el Trinity College le eligio para los puestos de
Andrews professor of astronomy y para el de Astronomo Real de Irlanda,
sucediendo a Brinkley, a quien le haban hecho obispo. Siendo aun un
estudiante sin graduar (no tena ni 22 anos) se convirtio en examinador ex
officio de los graduados que se presentaban al Bishop Law Prize de matema
ticas. Sus electores objetaron que se estaba otorgando a Hamilton un puesto
de investigacion libre de las pesadas responsa- bilidades de la ensenanza.
Por consiguiente, en octubre de 1927, 5 meses despues de la publicacion de
su tratado de optica, Hamilton fija su residencia cerca del Observatorio
Dunsink, a 8 km de Dubln, donde vivio el resto de su vida.
Seis anos despues de trasladarse a Dunsink, Hamilton se caso con Maria
Bay- ley, hija del rector del County Tipperary. Del matrimonio nacieron dos
ninos yuna nina, pero su mujer no era muy buena en los quehaceres dom
esticos; como resultado, Hamilton nunca tuvo comidas regulares y termino
confiando excesivamente en el alcohol. Sola trabajar en el comedor y la
cocinera le sola traer chuletas de cordero de vez en cuando. Despues de su
muerte, se encontraron restos de huesos en platos entre sus papeles.
En 1835, Hamilton fue el encargado de la organizacion de la British
Associa- tion for the Advancement of Science reunida en Dubln, y al finalizar
la cena de despedida, fue nombrado caballero. Dos anos despues fue

nombrado presidente
de la Royal Irish Academy. En 1843, le fue otorgada una pension de 200

libras anuales por el gobierno britanico.
Mientras padeca la que sera su ultima enfermedad, un ataque de
gota, Hamilton recibio una gran satisfaccion al saberse como un nombre
seguro para formar parte de la Foreign Association de la recien formada
National Academy of the United States.
Ademas de su trabajo en la unificacion de la optica y la dinamica,
Hamilton descubrio los cuaterniones; estos son conjuntos de cuatro numeros
que, satisfa- ciendo ciertas reglas de igualdad, adicion y multiplicacion, son
de gran utilidad en el estudio de cantidades en el espacio tridimensional que
requieren conocer magnitud y direccion. Este descubrimiento marco un hito
en la historia, ya que liberaba al algebra del postulado de conmutabilidad
de la multiplicacion. In- vestigaciones en este campo haban comenzado 10
anos antes con un innovador documento sobre parejas algebraicas de nu
meros, en el cual la entidad basica ya no era numeros simples, sino
parejas ordenadas de numeros. Hamilton empleo esta idea para desarrollar
una rigurosa teora sobre los numeros complejos. Este trabajo fue
considerado un intento pionero de dotar al algebra de una base axiomatica
parecida a la de la geometra. La geometra de numeros complejos se basa
en vectores bidimensionales sobre un plano. En su intento por llevar a cabo
una generalizacion de su trabajo en el espacio tridimensional, los fraca- sos
se sucedieron durante anos al no poder resolver problemas fundamentales
cuando intentaba aplicar tripletes analogos a las parejas en un espacio
bidimensional. Repentinamente, el 16 de octubre de 1943, mientras caminaba
hacia Dubln por el Royal Canal, la solucion se le aparecio la idea, tras
el razona- miento que hicimos en este trabajo: las operaciones geometricas
en el espacio tridimensional no requieren tripletes, sino cuadrupletes. La
razon es aparentemente sencilla, mientras que en un plano parejas algebraicas
bastan, ya que son equivalentes a un multiplicador y un angulo, en el espacio
tridimensional la orientacion del plano sobre s mismo es variable, lo cual
necesita dos numeros mas para ser descrito. Hamilton estaba tan excitado por
su descubrimiento que al pasar por el Brougham Bridge de camino, grabo las
formulas fundamentales de los cuaterniones en la piedra.
El descubrimiento de Hamilton fue una ruptura con la tradicion,
porque abandonaba la ley conmutativa propia de la multiplicacion ( ab =
ba ). Los siguientes 22 anos los dedicara al desarrollo del algebra de
cuaterniones y sus aplicaciones. Su trabajo fue publicado a ttulo postumo
en 1866 bajo el nombre de The Elements of Quaternions.
Desafortunadamente, Hamilton creyo que los cuaterniones seran adaptados
para la resolucion de fsica aplicada; no obstante, fue la version mas
simplificada de J. W. Gibbs, conocida como analisis vectorial, la que fue
eventualmente adoptada por los matematicos y fsicos. Sin embargo, el
valor del descubrimiento de Hamilton descansa en las matematicas puras,
donde permitio el desarrollo del A lgebra abstracta moderna.
B.2.
Hermann Gunther Grassmann
Hermann Gunther Grassmann (Stettin, 15 de abril de 1809 - 26 de

septiembre de 1877) fue un linguista y matematico aleman. Tambien
fue fsico, humanista, erudito y editor. Hermann Grassmann era el tercero
de los doce hijos de Justus Gunter Grassmann y Johanne Luise Friederike
Medenwald. Su madre era hija de un pastor de Klein-Schonfeld. Su padre
haba sido tambien consagrado pastor pero consiguio una plaza de profesor
de matematicas y fsica en el Instituto de Stettin y fue un academico
notable, autor de varios libros de texto escolar de Fsica y Matematicas,
ademas de llevar a cabo interesantes investigaciones en el campo de la
cristalografa. Otro hermano de Hermann, Ro- bert, tambien se dedico a
las matematicas y ambos trabajaron conjuntamente en muchos proyectos.
Durante su juventud, Hermann fue educado por su madre, mujer de una
vasta cultura. Luego acudio a una escuela privada, antes de ingresar en el
Instituto de Stettin, en el que daba clases su padre. La mayora de los
matematicos despuntan ante sus profesores desde muy jovenes, sin
embargo, y a pesar de tener unas extraordinarias oportunidades al pertenecer
a una familia proclive a la educacion, Hermann no destaco de modo
especial en sus anos de estudios secundarios, hasta el punto de que su padre
penso que deba dedicarse a algun tipo de trabajo manual, como el de
jardinero o artesano.
Hermann apreciaba la musica y aprendio a tocar el piano, a la vez que
prose- gua sus estudios, en los que poco a poco iba mejorando y en los ex
amenes finales de los estudios secundarios, con 18 anos, termino el segundo
de su promocion. Tras demostrar al final de sus estudios su competencia
academica, Hermann decidio estudiar teologa y en 1827 se traslado a
Berln junto a su hermano mayor para cursar estudios en su Universidad.
Realizo estudios de teologa, lenguas clasicas, filosofa y literatura, y no
parece que acudiera a ninguna clase de matematicas o fsica.
A pesar de que parece evidente que Hermann no tuvo formacion
universi- taria formal alguna en matematicas, esta era la materia que mas
le interesaba cuando regreso a Stettin, en otono 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 matematicas, pero ya se haba decidido a llevar a cabo
investigaciones matematicas por su cuenta. Despues de pasar un ano
investigando en matematicas y preparando el examen para profesor de
instituto, Hermann se fue a a Berln en diciembre de 1831, para presentarse a
dichos examenes. Parece ser que sus ejercicios escritos no debieron ser muy
bien valorados, puesto que sus examinadores le dieron el ttulo para
ensenar solo en los primeros niveles de la secundaria. Se le dijo que antes

de poder ensenar 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 epoca cuando realizo sus dos primeros descubrimientos
matematicos significativos, que estaban destinados a llevarlo a las importantes
ideas que desarrollara anos despues. En la premisa de su Die Lineale
Ausdehnungs- lehre, ein neuer Zweig del Mathematik (Teora de la
extension lineal, una nueva rama de la matematica, 1844),
Grassmann describe como haba ido llegando a estas ideas ya alrededor del
ano 1832.
En 1834 Grassmann empezo a dar clases de matematicas en la
Gewerbeschule de Berln. Un ano mas tarde regreso a Stettin patra dar
clases de matematicas, fsica, lengua alemana, latn, y religion en un
centro educativo nuevo, la Otto Schule. Esta gran variedad de materias a
impartir es prueba de que aun estaba habilitado solamente para impartir
clases en las escuelas en los niveles mas bajos. En los cuatro anos
siguientes, Grassmann supero los examenes que le permitieron dar clases
de matematicas, fsica, qumica y mineraloga en todos los niveles de los
centros de educacion secundaria.
Grassmann se senta en parte frustrado por el hecho de tener que dar
clases solo en niveles de secundaria, a pesar de ser capaz de elaborar una
matematica innovadora. En 1847 pasa a ser Oberlehrer. En 1852 se le
asigno la el puesto que anteriormente haba desempenado su padre en el
Instituto de Stettin, y obtuvo de ese modo el ttulo de profesor. En 1847
solicito al ministro prusiano de Educacion ser tenido en cuenta para el
desempeno de un puesto de profesor universitario, y el ministro solicito a
Ernst Eduard Kummer su opinion acerca de Grassmann. Kummer contesto
diciendo que el ensayo de Grassman, que haba sido premiado en 1846,
tena (...) buen material expresado de modo inadecuado. Este informe de
Kummer acabo con la esperanza de Grassmann de llegara a obtener una
plaza de profesor universitario. Este episodio confirma ademas el hecho de
que las autoridades con las que Grassmann contacto nunca reconocieron la
importancia real de sus ideas.
Durante los disturbios polticos que se desarrollan en Alemania en 184849, Hermann y Robert Grassmann editaron un periodico en Stettin para
apoyar la unificacion de Alemania en el marco de una monarqua
constitucional. Despues de escribir una serie de artculos sobre leyes
constitucionales, Hermann, cada vez menos de acuerdo con la lnea poltica
del periodico, lo dejo.
Grassmann tuvo once hijos, de los que siete llegaron a adultos. Uno de sus
hijos, Hermann Ernst Grassmann, llego a profesor de matematicas en la
Uni- versidad de Giessen.
B.3.
Oliver Heaviside
Oliver Heaviside, telegrafista y matematico ingles, nacio en Londres
(Ingla- terra) el 18 de mayo de 1850, falleciendo en Torquay (Inglaterra) el 3 de
febrero de 1925. Oliver fue el cuarto hijo de la familia formada por Thomas
Heaviside y Rachel West. El padre era un dotado grabador en madera, pero su
oficio estaba resintiendose ya de la competencia de las nacientes tecnicas
fotograficas y la familia anduvo siempre muy escasa de dinero. La madre

monto una especie de pequena escuela para senoritas en su casa alquilada
de Camden Town para
conseguir mas ingresos. El ambiente familiar debio ser tenso y malhumorado.

La situacion se complico en el caso de Oliver porque de pequeno sufrio la
escarlati- na, como consecuencia de lo cual quedo practicamente sordo. Esto
dificulto su relacion con los demas, especialmente con los otros chicos, y
probablemente constituyo la base del caracter hurano y retrado que
mostro durante el resto de su vida, aunque recuperase mucho la audicion
posteriormente, durante la adolescencia.
El tema fundamental de las investigaciones iniciales de Heaviside fue la propagacion de las senales por las lneas telegraficas, especialmente la
distorsion que sufran a su paso por lneas subterraneas o de clable
submarino.
Un legado recibido en 1863 significo una notable mejora economica para
la familia. Los Heaviside se trasladaron a una vivienda mejor del mismo barrio
y Oliver pudo ir a la escuela, donde destaco en ciencias naturales, ganando
una medalla en los examenes de 1865. Pero su escolarizacion tuvo que finalizar
al ano siguiente. El resto de su formacion intelectual fue autodidacta, siendo
al parecer un asiduo y avido visitante de las bibliotecas publicas. Le atraan
especialmente las obras cientficas y fue as como profundizo en los tratados
de Newton y de Laplace.
No pudiendo ir a la universidad, hubo de ponerse a trabajar. En 1867 se
traslado a Newcastle, donde inicio su vida laboral como telegrafista. Esta
orientacion, tan decisiva para su posterior carrera, fue el resultado de
circunstancias familiares. Una hermana mayor de su madre, Emma West, se
haba casado con Charles Wheatstone, coinventor de un sistema de telegrafo
con W. F. Cooke, lo que le hizo rico y poderoso. Un hermano mayor de
Oliver, Arthur W. Hea- viside, se convirtio en ayudante de su to, pasando
luego a dirigir la compana telegrafica local de Newcastle; termino teniendo
un puesto importante en el Post Office. Por su parte Oliver empezo como
ayudante de su hermano y en el otono de 1868 fue asignado al funcionamiento
del nuevo cable submarino tendido entre Newcastle y Dinamarca, primero
como operador y luego como electricista, nombre que se daba entonces a los
especialistas de la materia, la mas novedosa e interesante de toda la
electrotecnia. Los anos siguientes los paso Oliver en los talleres y a bordo
de los barcos encargados del mantenimiento de la lnea, lugares privilegiados
donde se experimentaban y se analizaban todos los aspectos de los nuevos
fenomenos y problemas que continuamente se presentaban. Durante este
tiempo siguio estudiando fsica por su cuenta, tanto teorica como
experimentalmente.
Heaviside elaboro una terminologa consistente para la designacion de
los fenomenos y magnitudes electricos a lo largo de su obra. En 1884
establecio el operador generalizado de resistencia electrica, al que llamo
impedancia y le asigno el smbolo Z, como se sigue utilizando actualmente.
En 1884 definio el concepto de vector de flujo de energa, al mismo
tiempo que lo haca Poynting, pero de manera mas clara y completa, a pesar
de lo cual se le suele conocer como vector de Poynting.
Tambien propugno la racionalizacion de las unidades electricas, cuyo
sistema se encontraba en elaboracion en Inglaterra (sistema de unidades de
la British Association, o B. A.) y estaba dando los primeros pasos hacia su
internaciona- lizacion.
Heaviside trabajo en 1873 en un sistema duplex de telegrafa, es decir,
que permitiese la simultanea emision y recepcion de senales por una misma
lnea, lo que era un objetivo muy deseado por la mejora de rendimiento

economico que
supona. J. B Stearns haba propuesto un ano antes un esquema practico

para ello y Heaviside analizo el proceso e invento dos nuevas formas de
realizarlo.
Tras el exito de la conexion transatlantica por radio de Marconi en
1901, el mundo se preguntaba como se las apanaban las ondas para seguir la
curvatura de la tierra. Heaviside conjeturo un mecanismo que lo haca posible,
suponiendo que eran guiadas por una capa ionosferica conductora y por el
mar. A. E. Kennelly hizo al mismo tiempo una conjetura semejante y esta capa,
cuya existencia real fue luego comprobada en 1925, se designa como capa de
Kennelly-Heaviside.
En mayo de 1874 abandono su trabajo en Newcastle y retorno a casa de
sus padres en Londres, tanto por razones de salud (sufra una especie de
ataques seudoepilepticos) como por un deseo de dedicarse exclusivamente al
estudio y a la investigacion. No volvio a tener un empleo fijo remunerado,
salvo que se considere como tal el esporadico de articulista, que le
proporcionaba un escuali- do rendimiento. Rechazo todas las posibilidades
de empleo que su hermano y otras personas le proporcionaron, eligiendo un
modo de vida extremadamen- te austero a cambio de la libertad total para
sus investigaciones.Nac filosofo natural, no inquieto ingeniero ni hombre
practico en sentido mercantil, se ca- racterizo a s mismo al final de su
vida. Muchas de sus aportaciones teoricas tuvieron importantes aplicaciones
practicas, pero el nunca intento obtener rendimiento economico de ellas
(probablemente siguiendo las huellas de Faraday, uno de sus dolos), a pesar
del furor inventivo y la consiguiente solicitud de patentes propios de la
epoca, incluido el cercano ejemplo de su to Wheatstone.
Despues de 1900 la actividad cientfica de Heaviside declino
apreciablemente en cantidad y calidad, cesando practicamente en 1906,
aunque su ultimo libro se publicase en 1912. Una de las causas
fundamentales fueron los problemas ocasionados por su persistente mala
salud.
Oliver y sus padres se fueron a vivir en septiembre de 1889 con su hermano
Charles, que tena una tienda de instrumentos musicales en Paington
(Devonshi- re), siguiendo otra de las lneas operativas familiares iniciadas por
Wheatstone, quien tambien haba inventado el acordeon o concertina. Tras
el fallecimiento de sus padres en 1894 y 1896, Oliver se traslado en 1897 a
una casa independiente en el campo, cerca de Newton Abbot y no muy lejos
de Paington, pero la experiencia no fue muy satisfactoria y en 1908 volvio a
vivir como huesped en Torquay, donde fallecio en 1925, tras llevar una vida
cada vez mas solitaria y excentrica.
A pesar de su vida eremtica, la obra publicada y las actividades de
sus amigos influyentes grangearon numerosos reconocimientos a Heaviside,
aunque
el no pareciese apreciarlos en exceso. Son destacables los
siguientes: 1891: Miembro de la Royal Society de Londres.
1899: Miembro honorario de la American Academy of Arts and Sciences.
1905: La Universidad alemana de Gottingen le concede el doctorado
ho- noris causa.
1908: Miembro honorario de la Institution of Electrical Engineers inglesa.

1918: Miembro honorario del American Institute of Electrical Engineers.
1921: Primer galardonado con la medalla Faraday de la Institution of
Electrical Engineers.
Los esfuerzos y gestiones de J. Perry, G. F. FitzGerald, O. Lodge y otros

amigos lograron que se le concediera a Heaviside una pension oficial de
120 libras anuales en 1896 (elevada a 220 libras en 1914), consiguiendo tambi
en que
este terminase por aceptarla, pues dos anos antes haba rechazado otra
ayuda del Scientific Relief Fund de la Royal Society, gestionada del mismo
modo, por considerarla caridad.
B.4.
Josiah W. Gibbs
Josiah Willard Gibbs (11 de febrero, 1839 en New Haven: Connecticut, USAd.28 de abril 1903) fue un matematico y fsico estadounidense que contribuyo
de forma destacada a la fundacion teorica de la termodinamica.
Estudio en la Universidad de Yale, obteniendo su doctorado en 1863

con una tesis sobre los dientes de engranajes, e ingresando en la sociedad
secreta Los Calavera y Huesos.
En 1886 fue a vivir a Europa, donde permancio tres anos: Pars, Berln y
Hei- delberg. En 1871 fue nombrado profesor de Fsica Matematica en la
Universidad de Yale. Enfoco su trabajo al estudio de la Termodinamica; y
profundizo asi- mismo la teora del calculo vectorial, donde paralelamente
a Heaviside opera separando la parte real y la parte vectorial del producto de
dos cuaternios puros, con la idea de su empleo en Fsica. En estos campos,
se le considero uno de los grandes pioneros de la actualidad.
B.5.
Arthur Cayley
Arthur Cayley (Richmond, Reino Unido, 16 de agosto de 1821 - Cambridge,
26 de enero de 1895) fue un matematico britanico. Es uno de los fundadores
de la escuela britanica moderna de matematicas puras.
Ademas de su predileccion por las matematicas, tambien era un avido
lector de novelas, le gustaba pintar, apasionado de la botanica y de la
naturaleza en general, y aficionado al alpinismo.
Fue educado en el Trinity College de Cambridge. Estudio durante algun
tiempo la carrera de leyes con lo que trabajo de abogado durante 14 anos, a
la
vez que publicaba un gran numero de artculos. Luego paso a ser profesor
en Cambridge. Fue el primero que introdujo la multiplicacion de las matrices.
Es el autor del teorema de Cayley-Hamilton que dice que cualquier matriz
cuadrada es solucion de su polinomio caracterstico. Dio la primera definicio
n moderna de la nocion de grupo. Ademas, generalizo los cuaternios de
Hamilton a octoniones, llamados hoy tambien numeros de Cayley, pero que
ya haban sido concebidos antes por un amigo de Hamilton, Graves, en
correspendencia con este, y que los llamaba en su lugar octavas.
Recibio la Royal Medal en 1859 y la Medalla Copley en 1882.
En combinatoria, su nombre esta unido a la formula que enumera los
arboles decorados con n vertices.
Se llama a veces octavas de Cayley o numeros de Cayley a los octoniones.
Es el tercer matematico mas prolfico de la historia, sobrepasado tan
solo por Euler y Cauchy, con aportaciones a amplias areas de la matema
tica. Cayley es autor de una coleccion de artculos suyos llamado
Collected Mathematical Papers of Cayley, que contiene 966 artculos en
trece grandes volumenes. Tam- bien destacan sus trabajos sobre funciones
elpticas, la teora de determinantes
y su generalizacion. Es poco conocido tambien, que Cayley definio un
invariante algebraico llamado hiperdeterminante para hipermatrices
222, en paralelo con el clasico determinante, y que no ha recibido uso
hasta anos recientes.
B.6.
W. K. Clifford
William Clifford nacio en Exeter el 4 de mayo de 1845. Durante sus ano

de escuela fue una joven promesa. A la edad de 15 anos ingreso en el Kings
College de Londres. En 1868 fue elegido fellow del Trinity College de
Cambridge, tras ser elegido segundo wrangler en 1867 y segundo premio
Smith.El destino de ser segundo lo compartio con otros posteriores famosos
matematicos, como William Thomson (lord Kelvin) y James Clerk Maxwell.
En 1870 formo parte de una expedicion a Italia para observar un eclipse y
sobrevivio a un naufragio en las costas sicilianas.
En 1871 fue nombrado profesor de Matematica y Mecanica del
University College de Londres, y en 1874 miembro de la Royal Society. Fue
ademas miembro de la London Mathematical Society y de la Metaphysical
Society.
En 1875 contrae matrimonio con la novelista de Barbados Lucy Lane. En
1876 sufre un colapso, probablemente debido al exceso de trabajo (durante el
da se dedicaba a las tareas docentes y administrativas propias de su cargo,
y por la noche escriba). Paso seis meses de descanso en Argelia y Espana,
tras lo cual retomo sus deberes, sufriendo 18 meses despues otro colapso.
Fue a Madeira a recuperarse, pero murio de tuberculosis all tras algunos

meses, el 3 de marzo
de 1879, dejando viuda y dos hijos.

Sus contemporaneos lo consideraban una persona de agudeza y originalidad
extraordinarias, adornado con rapidez de pensamiento y palabra, estilo lu
cido, ingenio y gusto poetico, y afectuoso.
Al igual que Charles Dodgson (mas conocido como Lewis Carroll),
disfrutaba escribiendo cuentos de hadas. Dejo una coleccion titulada La
gente menuda.
Como curiosidad, 11 das despues de su muerte nacio Albert Einstein,
quien dio forma rigurosa a la intuicion de Clifford sobre la gravedad.
B.7.
Nabla
Nabla es un smbolo, que se escribe como . El nombre viene de una
palabra griega para un arpa hebrea con una forma similar al smbolo que
representa.
Palabras relacionadas tambien existen en arameo, siriaco y hebreo. El s

mbo- lo fue usado por primera vez por William Rowan Hamilton en la
forma de un triangulo girado: I>. Otro nombre hoy da menos comun para
este smbolo es atled (delta pronunciada al reves) debiado a que nabla es
una delta invertida.
Nabla se usa en Matematicas para denotar el operador derivada en
sentido vectorial. Tambien puede referirse a una conexion en geometra
diferencial o representar la relacion todo en teora de retculos. Sobre su
introduccion por Hamilton, W. Thomson escribio en 1884:
Me tome la libertad de preguntar al Profesor Bell si tena un nombre

para este smbolo y el me menciono la palabra nabla, una
sugerencia
en tono humorstico de Maxwell. Se trata del nombre de una

antigua arpa egipcia, que tiene esa forma.
En 1901 Gibbs y Wilson senalan:
Este operador simbolico fue introducido por Sir W.R.Hamilton
y es ahora universalmente usado. No parece haber, sin embargo,
un acuerdo universalmente reconocido para nombrarlo, aunque la
aparicion frecuente del smbolo ocasiona una necesidad pra
ctica para denominarlo. Se encuentra por experiencia que el
monoslabo del es tan corto y facil de pronunciar que incluso en
toda formula com- plicada den la que aparece varias veces no hay
inconvenientes para el hablante u oyente de confundirse cuando se
repite.
Referencias
[1]
Numbers (Graduate Texts in Mathematics / Readings in

Mathematics),Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich
Hirzebruch, and Max Koecher (Paperback - Jan 18, 1996).
[2] B. L. van der Waerden, Hamiltons discovery of quaternions.

Mathematics Magazine, 49 (1976), pp. 227-234.
[3] M. J. Crowe, A History of Vector Analysis, Dover Publications (1994).
[4] El lenguaje vectorial en Geometra. Los pioneros William Rowan
Hamilton y Hermann Gunther Grassmann. Revista SUMA, no 25, pags.
61-70 (1997). Vctor Arenzana Hernandez.
[5] La forma de volumen. Javier Peralta, en Contribuciones matema
ticas: libro-homenaje al profesor Jose Javier Etayo, 1994, ISBN 847491-510- 4, pags. 189-202.
[6] W. R. Hamiltons Lectures on Quaternions, 1853.
[7] On Jacobis elliptic functions, en The collected mathematical papers of
Arthur Cayley.Vol. 1 (Paperback). Scholarly Publishing Office, University of Michigan Library (December 20, 2005).
[8] Mathematical papers, William Kingdon Clifford. Ed. by Robert Tucker,
With an introduction by H. J. Stephen Smith. (Paperback). Scholarly
Publishing Office, University of Michigan Library (December 20, 2005).
[9] Multi-dimensional vector product, Z. K. Silagadze, math/0204357
[10] B. Eckmann, Stetige Losungen linearer Gleichungssysteme, Comm.
Math. Helv. 15, 318-339 (1943).
[11] M. Rost, On the Dimension of a Composition Algebra, Doc. Math. J.
DMV 1, 209-214 (1996).
[12] D. B. Fairlie and T. Ueno, Higher-dimensional generalizations of the

Euler top equations, hep-th/9710079.
[13] T. Ueno, General solution of 7D octonionic top equation, Phys. Lett. A

245, 373-381 (1998).
[14] R. Dundarer, F. Gursey and C. Tze, Generalized Vector Products, Duality And Octonionic Identities In D = 8 Geometry, J. Math. Phys. 25,
1496-1506 (1984).
[15]
S. Maurer, Vektorproduktalgebren, Diplomarbeit, Universitat

Regens- burg, 1998.
http://www.math.ohio-state.edu/~rost/tensors.html#maurer
[16] J. A.Nieto and L.N. Alejo-Armenta, Hurwitz theorem and parallelizable

spheres from tensor analysis, Int. J. Mod. Phys. A 16, 4207-4222 (2001).
[17] M. Kocher and R. Remmert, Composition algebras, en Numbers, Graduate Texts in Mathematics, vol. 123 (Springer, 1990). Edited by
J. H. Ewing, pp. 265-280.
[18] M. Gunaydin and F. Gursey, Quark Structure And Octonions, J. Math.
Phys. 14, 1651-1667 (1973);
V. de Alfaro, S. Fubini and G. Furlan, Why We Like Octonions, Prog.
Theor. Phys. Suppl. 86, 274-286 (1986);
F. Gursey and C. H. Tze, On the role of division, Jordan and related
algebras in particle physics (World Scientific, Singapore, 1996);
G. M. Dixon, Division algebras: octonions, quaternions, complex numbers
and the algebraic design of physics (Kluwer Academic Publishers Group,
Dordrecht, 1994);
S. Okubo, Introduction to octonion and other nonassociative algebras in
physics (Cambridge University Press, Cambridge, 1995).
[19] J. C. Baez, The Octonions, math.ra/0105155.
[20] R. L. Brown and A. Gray, Vector cross products, Comm. Math. Helv.
42, 222-236 (1967);
A. Gray, Vector cross products on manifolds, Trans. Am. Math. Soc.
141, 465-504 (1969); Errata to Vector cross products on manifolds,
ibid. 148, 625 (1970) (erratum).
[21] Adolf Hurwitz, U ber die Composition der quadratischen Formen
von beliebig vielen Variabeln, Nachr. Ges. Wiss. Gottingen (1898)
309316.
[22] Richard D. Schafer, Introduction to Non-Associative Algebras, Dover,
New York, 1995.
[23] Max Zorn, Theorie der alternativen Ringe, Abh. Math. Sem. Univ. Hamburg 8 (1930), 123147.
[24] William K. Clifford, Applications of Grassmanns extensive algebra,
Amer. Jour. Math. 1 (1878), 350-358.

Producto Vectorial

Cargado por

Copyright:

Formatos disponibles

Producto Vectorial

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Producto Vectorial

Cargado por

Copyright:

Formatos disponibles

EL PRODUCTO VECTORIAL

Juan Francisco Gonzalez Hernandez

2. Historia y desarrollo del producto vectorial

3.2.1. Momento angular y torque.....................................................................18

La tercera operacion aritmetica basica, el producto, es en Matematicas

vectorial y el algebra matricial. El concepto de producto de dos vectores, o

Historia y desarrollo del producto vectorial

La historia de la operacion producto vectorial se encuentra ntimamente

W. R.Hamilton: complejos, cuaternios y vectores

con a, b, c, d, R y los elementos base hipercomplejos cumpliendo las

Como llego Hamilton a semejantes relaciones? Bien, la cuestion es

y en donde los coeficientes a, b, c son de nuevo numeros reales. Hamilton,

anadio una cuarta coordenada a sus numeros hipercomplejos, para lograr,

k era una nueva unidad imaginaria y considero cuaternios, cuadruplas o

Los nuevos cuaternios o cuaterniones de Hamilton, tenan muchas

y entonces el inverso multiplicativo de un cuaternio Q sera, siempre

3. El producto de cuaternios, aunque es no conmutativo en general por las

Hamilton llamo a la parte imaginaria vector porque en latn veher

los puedo sumar y restar. Un da, paseando de Dunsink a Dubl

que tambien puede expresarse diciendo que si Q1 y Q2 son dos cuaternios

Grassmann y el calculo de extensiones

Hermann Gunther Grassmann tuvo una formacion autodidacta en Matema

En 1844, Grassmann publica su obra maestra, Die Lineale

puesto que la Geometra hace referencia a algo que ya esta dado

Gibbs, Heaviside y el analisis vectorial

La primera edicion del Tratado sobre la electricidad y el magnetismo

tarea y, segun su propia confesion, empezo a realizarla conscientemente

del Tratado como texto sagrado(como terminara sucediendo con la

theory. Aunque el metodo no se generalizo hasta despues de su muerte, se lo

ciaba a los matematicos puros academicos. Sus matematicas no se

Es por ello por lo que fue un innovador frente a la tendencia de Cambridge

tudio preliminar sobre bicuaterniones), de 1873, and On the Canonical Form

C = A B = (Ay Bz Az By, Az Bx AxBz, AxBy Ay Bx) (19)

2. Introdujo la nocion de producto geometrico, que funde los productos

Una sntesis moderna del producto vectorial

En Matematicas, en la actualidad el producto vectorial, denotado por , ,

El producto vectorial de dos vectores, se define en tres dimensiones y un

Sean u = (1, 2, 3) y v = (4, 5, 6) . El producto vectorial u v es usando

No es asociativo, sino que verifica la identidad de Jacobi:

no implica necesariamente que b = c. Sin embargo, si ab = ac y

que como vimos se puede entender como la multiplicatividad de la norma de

Matrices, SO(3) y producto vectorial

Puesto que el producto vectorial en el espacio tridimensional es isomorfo al

algebra de Lie so(3) del grupo SO(3), podemos entonces representar al

Notacion tensorial y producto vectorial

El producto vectorial puede escribirse en componentes usando el tensor de

donde en la ultima igualdad se ha empleado el convenio de Einstein: los

Vectores axiales y quiralidad

vec- tor puro, si al menos uno de los dos vectores es un pseudovector, el

Finalmente, un ultimo comentario historico. Tras la introduccion de la

Aplicaciones del producto vectorial

Calculo de areas y volumenes

El producto vectorial entre dos vectores define tiene como modulo un

Ademas, el producto vectorial tiene muchas aplicaciones utiles en la

El clasico teorema de Stokes , tambien usaldo por Kelvin, senala que

as accesibles y a menudo son considerados mas convenientes por fsicos e

en donde A es un vector arbitrario. Establece, por ende, que la integral

A lgebras de Lie y producto vectorial

Segun vimos antes, se puede establecer el siguien isomorfismo entre el