EL LGEBRA GEOMTRICA DEL ESPACIO Y TIEMPO 43

4. EL PRODUCTO EXTERIOR Y SUS APLICACIONES

Definicin de producto exterior de vectores

Se define el producto exterior de cualquier nmero de vectores como su

producto antisimtrico, es decir, el nico producto distributivo respecto a la suma de
vectores que cambia de signo bajo cualquier permutacin de un par de ellos:

v1 L vi L v j L v n = v1 L v j L vi L v n i j

Actualmente el producto exterior de dos vectores a y b se representa como a b pero

su descubridor Hermann Grassmann lo representaba1 como [a b] . Esta definicin es
nica salvo un factor constante. Para ello se identifica el producto exterior de vectores
perpendiculares con el producto de sus mdulos para una constante igual a 1.
Veamos algunas consecuencias de su definicin. En primer lugar, es trivial que
si dos vectores del producto son iguales el producto exterior de todos ellos es nulo ya
que intercambindolos obtenemos el mismo producto:

v1 L vi L vi L v n = v1 L vi L vi L v n = 0

En segundo lugar, el producto exterior de un conjunto de vectores linealmente

dependientes es nulo. Efectivamente, si los vectores no son independientes, alguno de
ellos se podr expresar como combinacin lineal de los dems:

v j = i vi i R
i j

Sustituyendo esta combinacin lineal y aplicando la propiedad distributiva tenemos:

v1 L v j L v n = v1 L v j 1 i vi v j +1 L v n
i j

= i v1 L v j 1 vi v j +1 L v n = 0
i j

El resultado es idntico a cero porque en cada producto hay un vector repetido.

Supongamos ahora que los vectores son independientes. Descompongamos, por
ejemplo el vector v n en dos componentes perpendiculares, una que pertenece al
subespacio v1 , L , v n 1 y que representar como v n , || , y otra que no pertenece a ella y
que representar como v n , . Entonces:

v1 L v n 1 v n = v1 L v n 1 (v n , || + v n , ) = v1 L v n 1 v n ,

1
Mientras Eli Cartan us la antigua notacin en Les systmes diffrentiels extrieurs et leurs
applications gomtriques, Hermann & Cie (Pars, 1945), su hijo Henri Cartan ya utiliz la nueva en
Formas diferenciales. Aplicaciones elementales al clculo de variaciones y a la teora de curvas y
superficies, ed. Omega (Barcelona, 1972).
44 RAMON GONZLEZ CALVET

puesto que el producto exterior por la componente v n , || es idnticamente nulo por ser un
producto de vectores linealmente dependientes. Ah es donde se refleja la principal
propiedad del producto exterior: cada producto exterior por un nuevo vector es una
multiplicacin por su componente perpendicular al espacio generado por los vectores
anteriores. Por ejemplo, pensemos en el producto exterior de tres vectores {u , v, w}
cualesquiera independientes en el espacio eucldeo. El producto exterior del primero por
el segundo es igual a la longitud del primero por la componente perpendicular del
segundo respecto al primero (figura 4.1), es decir, el rea del paralelogramo que forman:

u v = u v u Figura 4.1

Ahora multipliqumoslo
exteriormente por el tercero y
obtendremos el producto del
rea del paralelogramo
formado por los dos primeros
por la componente
perpendicular del tercero
respecto al plano formado por
los dos primeros. Eso es igual
al rea de la base por la altura,
es decir, el volumen del paraleleppedo formado por los tres vectores:

u v w = u v u w uv

De ah el nombre que le dio Grassmann: producto exterior ya que siempre da como

resultado un aumento de dimensin geomtrica respecto a la dimensin geomtrica del
recinto anterior. El ttulo de su obra Die Ausdehnungslehre fue traducido muy
acertadamente al espaol como Teora de la extensin2.
Actualmente, el producto exterior est incluido en todos los programas docentes
de matemticas superiores. No me explayar pues con l. Slo deseo apuntar las
principales propiedades y destacar los aspectos conceptuales que son muy importantes y
que necesitaremos ms adelante.
Veamos ms propiedades. El producto exterior de un nmero de vectores
superior a la dimensin del espacio al que pertenecen es nulo. Es un resultado trivial
porque si hay ms vectores que la dimensin de su espacio3 quiere decir que son
linealmente dependientes. El producto exterior de un nmero de vectores igual a la
dimensin del espacio al que pertenecen slo tiene una componente (pues C nn = 1 ) y
pertenece a un subespacio del lgebra geomtrica de dimensin 1 cuya base es el
elemento de hipervolumen:

v1 L v n = det (v1 , L, v n ) e12Ln v1 ,L, v n E n n = dim E n

2
Vase Hermann Grassmann, Teora de la extensin, traduccin de Die Ausdehnungslehre al espaol por
Emilio scar Roxn, Coleccin Historia y Filosofa de la Ciencia dirigida por Julio Rey Pastor, Espasa
Calpe Argentina (Buenos Aires, 1947).
3
Justamente la dimensin de un espacio es el mximo nmero de vectores linealmente independientes
que podemos encontrar en l.
 EL LGEBRA GEOMTRICA DEL ESPACIO Y TIEMPO 45

Se define el determinante de la matriz formada por las componentes de estos vectores

como el valor escalar de este producto exterior.
En la pgina 1 y 2 del libro se explic rpidamente el concepto de elementos
homogneos, de grado y la dimensin de cada subespacio y de toda el lgebra
geomtrica. Vamos a explicarlo de nuevo. Sea {u i } una base de vectores de E n .
Entonces todos los posibles productos de dos vectores forman un espacio de elementos
homogneos de grado 2 cuya base es {u i u j } con j > i puesto que u i u i = 0 y
u i u j = u j u i :

v w = vi u i w j u j = (vi w j v j wi ) u i u j
n n n n

i =1 j =1 i =1 j >i

El nmero de elementos de esta base es el nmero combinatorio C 2n que es la

dimensin del espacio de bivectores que generan. Si consideramos los productos de tres
vectores, stos son elementos homogneos de grado 3 y su espacio tiene por base
{ui u j u k } con k > j > i . El nmero de elementos distintos de esta base es el
nmero combinatorio C 3n , que es la dimensin del espacio de trivectores que generan.
La dimensin del lgebra geomtrica es la suma de las dimensiones de los espacios de
elementos homogneos de todos los grados:

n
dim Cl (E n ) = C in = 2 n
i =1

y por la conocida frmula de combinatoria vemos que es igual a 2 n .

Definicin de determinante

Como hemos dicho, los productos exteriores de un nmero de vectores

{v1 , L v n }
igual a la dimensin del espacio generador E n forman un subespacio de
dimensin 1 cuya base es {u1 u 2 L u n } ya que C nn = 1 . Hemos definido el
determinante det (v1 , L v n ) de la matriz formada por las componentes de estos vectores
como el valor escalar de este producto. Para una matriz cuadrada slo hay una nica
combinacin (salvo un factor) de productos de coeficientes que sea antisimtrica
(adems de distributiva). Para que un producto de filas o columnas de una matriz
cuadrada sea antisimtrico deben necesariamente tomarse una combinacin de
productos de sus elementos en que en cada producto no se repita la fila ni la columna,
pues si as fuera, por intercambio no sera antisimtrica. Por otro lado, podemos tomar
la suma de todos los posibles productos pero esta sera simtrica. Por lo tanto hay que
multiplicar cada producto por el signo de la permutacin de elementos y as se consigue
un producto antisimtrico. Por ejemplo:

a b a b
det = = a d b c
c d c d
46 RAMON GONZLEZ CALVET

a b c
d e f = a e ib d i+c d ha f h+b f g c e g
g h i

Cada vez que permutamos elementos de dos filas (o columnas) el trmino cambia de
signo. En general, pues un determinante de un conjunto de vectores es la combinacin
lineal totalmente antisimtrica (la suma alternada) de los productos de sus componentes.
Sea = [ 1, 2 ,L n ] cualquier permutacin de [1, 2, L n ] entonces:

a11 a12 L a1n

a 21 a 22 L a2n
det (aij ) = = a a 1, 2 , 2 L a n , n sgn ( )
L L L L S n
1

a n1 a n 2 L a nn

donde S n es el grupo de permutaciones y sgn ( ) es el signo de la permutacin , que

es igual a +1 si la permutacin es par (el nmero de transposiciones es par) o igual a 1
si la permutacin es impar (nmero de transposiciones impar).
Las propiedades de los determinantes son sobradamente conocidas para
cualquier estudiante de bachillerato o universidad por lo que no me extender en ellas.
En todo caso, la mayora se entienden mucho mejor al considerar un determinante como
un producto exterior. Como ejemplo, si multiplicamos todos los elementos de una
matriz M de dimensin n n por un escalar k, su determinante queda multiplicado por
k n . Esto se entiende perfectamente a travs del producto exterior:

km11 L km1n
det (kM ) = L L L = km1 L kmn = k n m1 L mn = k n det M
kmn1 L kmnn

Componentes del producto exterior y syzygies

Si multiplicamos exteriormente menos vectores que la dimensin del espacio al

que pertenecen obtenemos un producto exterior que tiene ms de una componente. Es
trivial ver que estas componentes son los menores de la matriz. Por ejemplo si los
vectores:

u = 2e1 3e 3 +2e4

v = 3e1 + 5e2 + 4e 3 7e4

w = e1 + 3e2 4e4

los ordenamos en una matriz:

 EL LGEBRA GEOMTRICA DEL ESPACIO Y TIEMPO 47

u 2 0 3 2

v = 3 5 4 7
w 1 3 0 4

entonces sus menores son las componentes del producto exterior4:

2 0 2 3 2 2 0 3 0 2
uv = e1 e2 + e1 e3 + e1 e4 + e 2 e3 + e2 e4
3 5 3 4 3 7 5 4 5 7

3 2
+ e3 e4 = 10 e1 e2 + 17e1 e3 20e1 e4 + 15e2 e3 10e2 e4 + 13e3 e4
4 7

Y si continuamos multiplicando:

2 0 3 2 0 2
uvw= 3 5 4 e1 e2 e3 + 3 5 7 e1 e2 e4
1 3 0 1 3 4

2 3 2 0 3 2
+3 4 7 e1 e3 e4 + 5 4 7 e 2 e3 e 4
1 0 4 3 0 4

= 36 e1 e2 e3 + 10 e1 e2 e4 55 e1 e3 e4 21 e2 e3 e4

Las componentes de un producto exterior en general no son independientes, es

decir, en general para las matrices de unas dimensiones dadas existen relaciones de
dependencia funcional entre sus menores del mismo orden. Hongbo Li5 es quien mejor
ha estudiado sus relaciones de dependencia lineal, los syzygies6. En el mtodo de los
orlados, para calcular el rango de una matriz (nmero de filas o columnas linealmente
independientes) slo se examinan los determinantes de orden k + 1 que se obtienen
orlando un menor no nulo de orden k , que s son funcionalmente independientes,
aunque todos los menores de orden k + 1 no lo sean. La dependencia funcional significa
dependencia lineal de los diferenciales y vamos a ver un ejemplo. Calculemos el
producto exterior de dos vectores de cuatro componentes:

v w = (v 0 e0 + v1e1 + v 2 e2 + v3 e3 ) (w0 e0 + w1e1 + w2 e2 + w3 e3 )

4
Lgicamente el orden de los vectores de base en cada producto exterior tiene que coincidir con el orden
de las columnas.
5
Vase Hongobo Li, Invariant Algebras and Geometric Reasoning, World Scientific (Singapore, 2008).
6
Un syzygy es un polinomio de invariantes que se iguala a cero cuando se expande en forma de
coordenadas.
48 RAMON GONZLEZ CALVET

v0 v1 v v2 v v3
= e0 e1 + e0 e 2 0 + e 0 e3 0 +
w0 w1 w0 w2 w0 w3

v1 v2 v1 v3 v v3
+ e1 e2 + e1 e3 + e 2 e3 2
w1 w2 w1 w3 w2 w3

Diferenciemos todas las componentes:

v0 v1
d = dv 0 w1 + v0 dw1 dv1 w0 v1 dw0
w0 w1

v0 v2
d = dv0 w2 + v0 dw2 dv 2 w0 v 2 dw0
w0 w2

v0 v3
d = dv0 w3 + v 0 dw3 dv3 w0 v3 dw0
w0 w3

v1 v2
d = dv1 w2 + v1 dw2 dv 2 w1 v 2 dw1
w1 w2

v1 v3
d = dv1 w3 + v1 dw3 dv3 w1 v3 dw1
w1 w3

v2 v3
d = dv 2 w3 + v 2 dw3 dv3 w2 v3 dw2
w2 w3

Construyamos la matriz de los diferenciales:

dv 0 dv1 dv 2 dv3 dw0 dw1 dw2 dw3

w1 w0 0 0 v1 v0 0 0

w2 0 w0 0 v2 0 v0 0
w 0 0 w0 v3 0 0 v0
3
0 w2 w1 0 0 v2 v1 0
0 w3 0 w1 0 v3 0 v1

0 0 w3 w2 0 0 v3 v 2

Pues bien, esta matriz tiene rango 5, es decir slo hay 5 diferenciales de
determinantes que sean independientes. Por lo tanto hay una relacin funcional entre los
seis determinantes (un syzygy7), que se puede encontrar multiplicando parejas de
determinantes:

7
Hongbo Li, ibidem, p. 14.
 EL LGEBRA GEOMTRICA DEL ESPACIO Y TIEMPO 49

v0 v1 v 2 v3 v v 2 v1 v3 v v3 v1 v2
0 + 0 =0
w0 w1 w2 w3 w0 w2 w1 w3 w0 w 3 w1 w2

Al no ser independientes las 6 componentes del producto exterior, un elemento

homogneo cualquiera de grado 2 no puede ser en general un producto exterior de dos
vectores, es decir un blade8.

El producto exterior de elementos homogneos de cualquier grado

Ha quedado claro cmo es el producto exterior de varios vectores. Sin embargo

debemos plantearnos cmo se multiplican exteriormente elementos homogneos de
grado mayor que 1, que no son vectores sino productos exteriores de vectores. Puesto
que en cada permutacin de dos vectores cambia el signo del producto exterior, al
multiplicar exteriormente un vector por un bivector el signo no cambia si los
permutamos como fcilmente se ve:

b =uv u , v, w E

bw = u v w = wu v = wb

El producto exterior pues conmuta o anticonmuta segn los grados de los dos
factores. La generalizacin del resultado anterior es bien conocida9:

bk cl = ( 1) cl bk
kl
bk k E cl l E

donde k y l son (como se indica) los grados de los dos elementos homogneos.

El producto exterior de diferenciales

Los diferenciales de las funciones forman un espacio vectorial cuya base son los
diferenciales de las coordenadas {dx, dy, dz , c dt} . Este espacio vectorial genera un
lgebra geomtrica de diferenciales formada por las combinaciones lineales de todos sus
productos exteriores. En esta lgebra geomtrica podemos calcular, mediante producto
exterior, las frmulas de transformacin de Lorentz para el elemento de superficie y de
volumen. La transformacin para el elemento de longitud es:

8
En David Hestenes, Garret Sobzyck, Clifford Algebra to Geometric Calculus. A Unified Language for
Mathematics and Physics, Reidel (Dordrecht, 1984) p. 4 leemos (traduzco del original ingls): La
relacin multiplicativa de vectores hacia r-vectores se especifica asumiendo que, para cualquier entero
r>0, un r-vector puede ser expresado como suma de r-blades. Un multivector Ar se le llama un r-blade o
r-vector simple si y slo si puede ser factorizado en un producto de r vectores anticonmutativos a1, a2,
ar, esto es: Ar = a1 a 2 L a r donde a j a k = a k a j para j , k = 1, 2, L r y j k .
9
P. Lounesto, Clifford Algebras and Spinors, Cambridge University Press (Cambridge, 1997), p. 43.
Vase tambin L. Dorst, D. Fontijne, S. Mann, Geometric Algebra for Computer Science, Morgan
Kaufmann (msterdam, 2007) p. 51.
50 RAMON GONZLEZ CALVET

V dx'
dt' +
dx' + V dt' c2
dx = dy = dy' dz = dz' dt =
V2 V2
1 2 1 2
c c

Mediante el producto exterior encontramos la transformacin de Lorentz para el

elemento de superficie:

dz' dx' V dt' dz'

dy dz = dy' dz' dz dx =
V2
1
c2

dx' dy' + V dt' dy'

dx dy = dt dx = dt' dx'
V2
1 2
c

V V
dt' dy' + dx' dy' dt' dz' dz' dx'
dt dy = c2 dt dz = c2
V2 V2
1 2 1 2
c c

Y observamos que es idntica a la transformacin de Lorentz del campo

electromagntico, es decir, corresponde a la transformacin del bivector de rea
espacio-temporal

dA = dy dz e23 + dz dx e31 + dx dy e12 + c dt dx e01 + c dt dy e02 + c dt dz e03

cuyo mdulo es invariante:

dA' = dA = (dy dz ) + (dz dx ) + (dx dy ) c 2 (dt dx ) c 2 (dt dy ) c 2 (dt dz )

2 2 2 2 2 2 2 2

ya que:

(dx dy )2 c 2 (dt dy )2 = (dx' dy' )2 c 2 (dt' dy' )2

y (dz dx )2 c 2 (dt dz )2 = (dz' dx' )2 c 2 (dt' dz' )2

Calculemos la transformacin de Lorentz para el elemento de volumen:

dx' dy' dz' + V dt' dy' dz'

dx dy dz =
V2
1
c2
 EL LGEBRA GEOMTRICA DEL ESPACIO Y TIEMPO 51

V
dt' dy' dz + dx' dy' dz'
dt dy dz = c2
V2
1 2
c

dt dz dx = dt' dz' dx' dt dx dy = dt' dx' dy'

con lo que vemos que el trivector de volumen tetradimensional:

dV = dx dy dz e123 + c dt dy dz e023 + c dt dz dx e031 + c dt dx dy e012

se transforma igual como un vector de espacio-tiempo.

Igualmente, el producto exterior nos permite calcular los elementos de lnea,
superficie y volumen para un cambio de coordenadas. Por ejemplo, diferenciando las
coordenadas esfricas (figura 4.2):

x = r sin cos

y = r sin sin
z = r cos

obtenemos:

dx = sin cos dr + r cos cos d r sin sin d Figura 4.2

dy = sin sin dr + r cos sin d + r sin cos d

dz = cos dr r sin d

El elemento de lnea en el espacio eucldeo es:

dl = dx e1 + dy e2 + dz e3

Tomando cuadrados y sumando obtenemos el cuadrado del diferencial de longitud en

coordenadas esfricas:

dl 2 = dx 2 + dy 2 + dz 2 = dr 2 + r 2 d 2 + r 2 sin 2 d 2

por lo que el elemento de lnea en coordenadas esfricas es:

dl = dr er + r d e + r sin d e

Los productos exteriores de los diferenciales de las coordenadas cartesianas son:

dx dy = r sin 2 dr d + r 2 sin cos d d

dy dz = r sin dr d r sin cos cos dr d + r sin cos d d

2 2

dz dx = r cos dr d r sin cos sin dr d + r 2 sin 2 sin d d

52 RAMON GONZLEZ CALVET

y el elemento de superficie es:

dA = dx dy e12 + dy dz e23 + dz dx e31

Tomando cuadrados y sumando obtenemos el cuadrado del mdulo del diferencial de

rea en coordenadas esfricas:

dA = (dx dy ) + (dy dz ) + (dz dx )

2 2 2 2

= r 2 (dr d ) + r 2 sin 2 (dr d ) + r 4 sin 2 (d d )

2 2 2

de donde se sigue la expresin bivectorial del elemento de superficie:

dA = r dr d er + r sin dr d er + r 2 sin d d e

que tambin poda haberse obtenido mediante productos exteriores de las componentes
del elemento de lnea en coordenadas esfricas:

dA = dr er r d e + dr er r sin d e + r d e r sin d e

Que las coordenadas esfricas son ortogonales se manifiesta en el hecho que no

aparecen trminos cruzados en el cuadrado del diferencial de longitud y puede deducirse
de la ortogonalidad de los vectores unitarios a partir del cambio inverso:

z y
r = x2 + y2 + z2 = arccos = arctan + ( )
x2 + y2 + z2 x

dr =
x dx + y dy + z dz
d =
x z dx + y z dy x 2 + y 2 dz ( )
x2 + y2 + z2 (x 2
+ y2 + z2 ) x2 + y2

y dx + x dy
d =
x2 + y2

Tomando componentes en la base {dx, dy, dz} se obtienen los vectores que tienen las
direcciones de los diferenciales. Tomndolos de mdulo unidad se llega a los vectores
ortonormales de las coordenadas esfricas:

er =
( x, y , z ) e =
(x z, y z, (x + y )) 2 2
e =
( y, x, 0)
x2 + y2 + z2 (x + y + z )(x + y )
2 2 2 2 2
x2 + y2

er e = e e = er e = 0 er2 = e2 = e2 = 1
 EL LGEBRA GEOMTRICA DEL ESPACIO Y TIEMPO 53

Resulta interesante ver tambin, a partir de las coordenadas esfricas, que las
coordenadas cartesianas son ortogonales. Tomando las componentes de los diferenciales
de x, y y z en la base {dr , r d , r sin d } obtenemos:

e1 = (sin cos , cos cos , sin ) e2 = (sin sin , cos sin , cos )

e3 = (cos , sin , 0)

lo que nos permite comprobar su ortogonalidad:

e1 e2 = e1 e3 = e2 e3 = 0

La diferencial exterior

Una forma diferencial es una combinacin lineal homognea de diferenciales o

de sus productos exteriores. Por lo tanto, una forma diferencial es un elemento
homogneo del lgebra geomtrica de diferenciales. El grado de una forma diferencial
es el nmero de diferenciales presentes en cada producto exterior. Es un concepto
equivalente al grado de un elemento homogneo del lgebra geomtrica. Por ejemplo:

= x y dx dy dz + x 2 dy dz dt + z x y dz dx dy + z y 3 dx dy dt

es una forma diferencial de grado 3.

Se define el operador diferencial d como:

d= dx + dy + dz
x y z

Cuando el operador diferencial d acta exteriormente sobre una forma

diferencial se le llama diferencial exterior. Al aplicarla sobre una funcin es la
diferencial corriente y resulta en una forma de grado 1:

f f f
d f = df = dx + dy + dz
x y z
Por ejemplo si f ( x, y ) = 2 x + 3x y entonces:
2

d f = df = (4 x + 3 y ) dx + 3 x dy

Para calcular la diferencial exterior de una forma diferencial hay que realizar el
producto exterior de los diferenciales de los coeficientes por los diferenciales existentes
siendo el convenio que los diferenciales de los coeficientes se ubican delante del resto
de diferenciales10. Por ejemplo:

( )
d = 2 x dx dy dz dt + y 3 dz dx dy dt = 2 x + y 3 dx dy dz dt

10
Vase Henri Cartan, Formas diferenciales, ed. Omega (Barcelona, 1972) p. 33.
54 RAMON GONZLEZ CALVET

La diferencial de un producto exterior de una forma k de grado k y otra forma

l de grado l lgicamente cumple:

d ( k l ) = (d k ) l + ( 1) k (d l )
k

puesto que en el segundo trmino se ha cambiado el orden del operador diferencial d ,

que es de grado 1, y de la forma k .
Una forma diferencial se llama exacta si existe su integral, es decir, es la
diferencial de otra forma. Por ejemplo:

z2
= y dx + x dy + z dz = d = x y+ +C
2

donde C es una constante de integracin.

Una forma diferencial se llama cerrada si su diferencial es nula:

d = dy dx + dx dy + dz dz = 0

La doble aplicacin de la diferencial exterior a cualquier forma diferencial da un

resultado nulo, lo que es obvio puesto que estamos multiplicando exteriormente el
operador diferencial por s mismo. Aplicado al ejemplo anterior:

d = d d = 0

Es decir, toda forma diferencial exacta es cerrada11. El enunciado inverso, que

toda forma diferencial cerrada es exacta (lema de Poincar), es vlido si las formas
estn definidas sobre un conjunto abierto con forma de estrella12 y es un mtodo
habitual para determinar cuando una forma diferencial es exacta. Por ejemplo,
investiguemos si es integrable la forma :

= 2 x y 2 z dx dy x z dx dz x 2 y 2 dy dz

mirando si se anula su diferencial:

d = 2 x y 2 dz dx dy 2 x y 2 dx dy dz = 0

Luego existe su integral tal que d = . Integremos por separado los trminos
respecto cada una de las variables:

( 2 x y z )dy dx 2 x3y
3
z
2 x y 2 z dx dy x 2 y 2 z dy 2
dx

11
Se llega a este resultado por la igualdad de las segundas derivadas parciales cruzadas (teorema de
Schwarz).
12
Lema de Poincar. Vase M. Spivak, Clculo en variedades, ed. Revert (Barcelona, 1982) p. 86.
 EL LGEBRA GEOMTRICA DEL ESPACIO Y TIEMPO 55

2
x z2
( x z ) dx dz x z
dz x z dz dx dx
2 2

( x y )dy dz x 3y

2 3
2 2
dz x 2 y 2 dz dy x 2 y 2 z dy

donde el smbolo indica que estoy omitiendo las constantes de integracin, que en
este caso son funciones de la variable que no se integra. La unin13 de estos trminos
nos da 2 , ya que cada trmino se ha integrado dos veces, por lo que puede ser, en
principio:

x y3z x z2 x2 y2 z x2 z x2 y3
+ dx + dy + dz
3 4 2 4 6

donde nuevamente indica que hemos omitido, de momento, las constantes de

integracin. Puesto que toda forma diferencial de primer grado que sea exacta es
cerrada:

f f f
= dx + dy + dz d = 0
x y z

el papel de la constante de integracin para lo juega cualquier forma diferencial de

primer grado. As pues, tendremos que la integral de ser en general:

x y 3 z x z 2 f x 2 y 2 z f x 2 z x 2 y 3 f
= + + dx + + dy + + dz
3 4 x 2 y 4 6 z

donde f ( x, y, z ) es una funcin real arbitraria que no puede determinarse. Por ejemplo
supongamos que:

x2 y3z
f ( x, y , z ) =
6

Entonces tendramos:

x z2 x2 z
= dx + x 2 y 2 z dy dz
4 4

Cambios de variable

Supongamos que las variables xi dependen del mismo nmero de variables y i :

13
Es decir, aquellos trminos que sean iguales slo se cuentan una vez.
56 RAMON GONZLEZ CALVET

xi ( y1 L y n ) 1 i n

Las variables xi son funcionalmente independientes si sus diferenciales son linealmente

independientes y su producto exterior es no nulo:

x
dx1 L dx n 0 det i dy1 L dy n 0
y
j

lo que implica que el llamado jacobiano, el determinante de las derivadas parciales, sea
no nulo:

x xi
det i = 0
y y
j j

En este caso el cambio de variables ser no degenerado. Podemos aplicar este cambio
de variables a una integral:

xi
f (x1 ,L, x n ) dx1 L dx n = f ( x1 ( y i ),L , x n ( y i )) dy1 L dy n
y j

Para cambios de variable en elementos de lnea, de superficie, de volumen en

cualquier integral vectorial que impliquen ms de un jacobiano, se debern aplicar en
general las reglas algebraicas del producto exterior.

Integracin en el problema de los N cuerpos

El problema clsico de los tres cuerpos haba sido ya resuelto para algunas
configuraciones especiales como la de Lagrange y Euler, de las cuales Hestenes da una
amena explicacin14. En 2007 ya publiqu15 la solucin general del problema de los N
cuerpos. Vamos a recordarla brevemente. Sea un sistema de N cuerpos ubicados en las
posiciones X i con pesos mi . Entonces se cumple:

m m (X Xj)
2
i j i

m X = G 2 mi +
2 i j >i

m
i i
i i i
i

m X i i
donde G = i
es el centro de masas.
m i
i

14
D. Hestenes, New Foundations for Classical Mechanics, 2n ed., Kluwer (N.Y. 2002) p. 400.
15
Treatise of Plane Geometry through Geometric Algebra (2007), p. 248, aunque era conocedor de la
solucin desde el ao 1986. La edicin catalana Tractat de geometria plana mitjanant llgebra
geomtrica (1996) ya contena la solucin del problema de los tres cuerpos (ejercicio 8.3, p. 57 y 103).
 EL LGEBRA GEOMTRICA DEL ESPACIO Y TIEMPO 57

Supongamos un problema donde debamos integrar una funcin f (X ij ) que

depende de las coordenadas relativas X ij = X i X j . Para integrar es necesario utilizar
un conjunto de X ij linealmente independientes. Entonces, en la funcin f (X ij ) es
suficiente que sustituyamos las X ij que sean linealmente dependientes por las
independientes utilizando sus ligaduras. Incluso podemos trabajar con una f (X ij ) que
slo dependa de coordenadas independientes que hemos escogido convenientemente. En
cualquier caso, vamos a tener tantas X ij independientes como el nmero de X i menos
uno, ya que hay que descontar G, el centro de masas. Un conjunto de X ij
independientes puede ser X 1 j = X 1 X j con j > 1 . El problema al integrar es que el
elemento de volumen viene dado por las coordenadas cartesianas y stas no se
corresponden con las coordenadas relativas de las que depende la funcin, lo que es un
grave problema de clculo:

dX 1 L dX n f (X 1 j )

Nuestra hiptesis es que los elementos de volumen cartesiano y de las coordenadas

relativas independientes son idnticos, es decir:

dX 12 L dX 1n dG = dX 1 L dX n

Vamos a demostrarlo. Veamos cmo es la sucesin de productos exteriores de los

diferenciales de las coordenadas relativas:

d ( X 1 X 2 ) d ( X 1 X 3 ) = dX 1 dX 2 + dX 2 dX 3 + dX 3 dX 1

d (X 1 X 2 ) d (X 1 X 3 ) d (X 1 X 4 ) =

= dX 1 dX 2 dX 3 dX 2 dX 3 dX 4 + dX 3 dX 4 dX 1 dX 4 dX 1 dX 2

d (X 1 X 2 ) d (X 1 X 3 ) d (X 1 X 4 ) d (X 1 X 5 ) =

= dX 1 dX 2 dX 3 dX 4 + dX 2 dX 3 dX 4 dX 5 + dX 3 dX 4 dX 5 dX 1

+ dX 4 dX 5 dX 1 dX 2 + dX 5 dX 1 dX 2 dX 3

Es decir, un producto exterior de un nmero par de coordenadas relativas es igual a la

suma de los productos cclicos de todas las coordenadas cartesianas menos una. Para un
nmero impar se obtiene la suma alternada de dichos productos. El hecho de que se trate
de diferenciales es indiferente, pues la igualdad se cumple tambin sin stos. Ahora si
multiplicamos por el centro de masas obtenemos para tres cuerpos:
58 RAMON GONZLEZ CALVET

m1 dX 1 + m2 dX 2 + m3 dX 3
dX 12 dX 13 dG = (dX 1 dX 2 + dX 2 dX 3 + dX 3 dX 1 )
m1 + m2 + m3

= dX 1 dX 2 dX 3

Para cuatro cuerpos:

dX 12 dX 13 dX 14 dG = (dX 1 dX 2 dX 3 dX 2 dX 3 dX 4 + dX 3 dX 4 dX 1

m1 dX 1 + m2 dX 2 + m3 dX 3 + m4 dX 4
dX 4 dX 1 dX 2 ) = dX 1 dX 2 dX 3 dX 4
m1 + m2 + m3 + m4

Y as sucesivamente. Se ve perfectamente que el hecho de que sea suma o suma

alternada se acopla perfectamente con el nmero de transposiciones necesarias para
ordenar los factores resultantes y poder simplificar. As pues el resultado general es que
el elemento de volumen n-dimensional es el producto exterior de n 1 coordenadas
relativas independientes y del centro de masas como habamos supuesto.
Esta situacin aparece en mecnica cuntica. Normalmente para evaluar
cualquier magnitud A debemos integrar el resultado de aplicar su operador a la funcin
de onda :

A =
* dV

Pero muy a menudo depende de las coordenadas relativas y no de las cartesianas, una
vez factorizada la funcin de onda traslacional t . Por ejemplo, para un sistema de tres
partculas:

= i ( X 12 , X 13 ) t (G )

Si la magnitud A es invariante bajo una traslacin entonces, para obtener el valor

esperado de la magnitud, slo har falta integrar para las coordenadas relativas:

A =
dX 12 dX 13 i * ( X 12 , X 13 ) ( X 12 , X 13 )

lo cual no es a priori evidente.

Producto exterior versus producto geomtrico

En el primer captulo se defini el producto geomtrico de dos elementos del

lgebra geomtrica como su producto matricial. Ahora hemos definido el producto
exterior de dos vectores como su producto antisimtrico. Cuando los vectores son
perpendiculares ambos productos coinciden. En el caso de que v y w sean dos vectores
cualesquiera, entonces se cumple:
 EL LGEBRA GEOMTRICA DEL ESPACIO Y TIEMPO 59

1
vw= (v w w v ) v, w E
2

Cual es la definicin para el producto exterior de tres vectores? Evidentemente:

1
uvw= (u v w u w v v u w + v w u w v u + w u v ) u , v, w E
6

donde cada producto tiene signo positivo si la permutacin es par y signo negativo si es
impar. En general se cumple que:

1
v1 L v n = sgn ( ) v 1 v 2 L v n vi E
n! S
n

donde representa las permutaciones del grupo de permutaciones S n . An siendo

cierta y totalmente antisimtrica esta igualdad, no recomiendo utilizarla pues existe un
resultado ms restrictivo, la propiedad permutativa16:

1
uvw= (u v w w v u )
2

cumplindose tambin:

1
u v w = u w v = (v w u u w v ) = w u v = 1 (w u v v u w)
2 2

Es decir la frmula totalmente antisimtrica se obtiene como media de tres expresiones

algebraicas con el mismo valor.
Estas frmulas slo valen para productos exteriores de vectores, es decir, de
elementos que pertenecen al espacio generador del lgebra geomtrica, y nos interesan
tambin los productos exteriores por elementos homogneos de grado mayor que uno.
Es un resultado conocido17 que:

v ak =
1
2
[
v a k + ( 1) a k v
k
] v En ak k En

Apliqumoslo al resultado anterior y obtenemos, aadiendo t como factor por la

izquierda:

1
t u vw = [t u v w t w v u u v w t + w v u t ]
4

16
Treatise of Plane Geometry through Geometric Algebra (2007), p. 172.
17
D. Hestenes, G. Sobzyck, Clifford Algebra to Geometric Calculus. A Unified Language for
Mathematics and Physics. Reidel (Dordrecht, 1984) p. 4.
60 RAMON GONZLEZ CALVET

en vez de las 24 permutaciones del producto geomtrico que nos da la frmula

totalmente antisimtrica. Por permutacin del producto exterior vemos que hay 6 sumas
de 4 trminos con el mismo valor que es igual a cuatro veces el producto exterior.
Si aadimos w como factor por la derecha al producto u v w tenemos:

1
t u vw = [t u v w v u t w w t u v + w v u t ]
4

y comparndolo con el resultado anterior nos damos cuenta de la igualdad:

t wv u +u v wt = v u t w+ wt u v

y de que propiamente debemos emparejar los trminos:

1
t u vw = [(t u v w + w v u t ) (t w v u + u v w t )]
4

1
= [(t u v w + w v u t ) (v u t w + w t u v )]
4

existiendo muchos pares de trminos iguales, de acuerdo con la relacin anterior, pero
que no coinciden con el producto exterior. Cada par de trminos est formado por los
productos geomtricos de los vectores en un orden determinado y en orden inverso.
Utilizando las propiedades anteriores podemos ir incrementando sucesivamente
los factores del producto exterior y escribirlos como suma de un nmero mnimo de
productos geomtricos.

El teorema de Rouch-Frobenius y la regla de Cramer

Una bella aplicacin del producto exterior es la demostracin de la regla de

Cramer. Consideremos cualquier sistema de n ecuaciones con n incgnitas:

a11 x1 + a12 x 2 + L + a1n x n = b1

M M M M M
a n1 x1 + a n 2 x 2 + L + a nn x n = bn

Para representar el sistema introducimos los vectores columna:

a1i b1

Ai = M B= M
a b
ni n

Ahora el sistema puede escribirse como:

x1 A1 + L + x n A n = B
 EL LGEBRA GEOMTRICA DEL ESPACIO Y TIEMPO 61

Es decir B debe ser una combinacin lineal de A i lo que implica que el sistema tiene
solucin si y slo si:

rango(A i , B) = rango(A i ) (teorema de Rouch-Frobenius)

Multipliquemos exteriormente B por todos los vectores menos el primero:

B A 2 L A n = (x1 A1 + L + x n A n ) A 2 L A n

= x1 A 1 A 2 L A n

Todos los productos exteriores resultantes son nulos excepto el primero porque en todos
los dems hay un vector repetido. Como ya hemos visto, el producto exterior de n
vectores de n componentes es igual al determinante de los vectores por la unidad de
hipervolumen, y sta ltima se simplifica en el cociente de ambos productos
geomtricos:

B A2 L An det (B, A 2 , L , A n )
x1 = =
A 1 A 2 L A n det (A 1 , A 2 , L , A n )

Igualmente tenemos:

A1 B A 3 L A n = x 2 A1 A 2 L A n

det (A 1 , B, A 3 , L , A n )
x2 =
det (A 1 , A 2 , L , A n )

y en general:

det (A 1 , L A i 1 , B, A i +1 , L , A n )
xi =
det (A 1 , A 2 , L , A n )

Es decir, en el determinante del numerador debe sustituirse la columna i-sima de la

matriz de los coeficientes por los trminos independientes (regla de Cramer).
Evidentemente, la regla de Cramer slo es aplicable si el denominador es no nulo, lo
que requiere que rango(A 1 , L, A n ) = n , es decir que los vectores A i sean linealmente
independientes.

Ejercicios

4.1 Demustrese que los elementos de volumen n-dimensional de las coordenadas

cartesianas y relativas son idnticos mediante el jacobiano del cambio de variables:

dX 12 dX 13 L dX 1n dG = dX 1 L dX n
62 RAMON GONZLEZ CALVET

4.2 Demustrese para tres vectores cualesquiera u, v, w E n la propiedad permutativa:

1
uvw= (u v w w v u )
2

4.3 Demustrese el conocido resultado de que un producto exterior de un vector por un

elemento homogneo puede escribirse como semisuma o semidiferencia (segn el grado
del elemento homogneo) de sus productos geomtricos de acuerdo con:

v ak =
1
2
[v a k + ( 1) a k v
k
] v En ak k En

4.4 Demustrese que no existe ningn syzygy que ligue las cuatro componentes de un
producto exterior de tres vectores de un espacio cuadridimensional, como el espacio-
tiempo. Demustrese tambin que cualquier elemento homogneo de tercer grado en
esta lgebra es siempre un blade, un producto exterior de tres vectores.

4.5 Demustrese que las tres componentes del momento angular Lx , L y y L z y del
momento temporal M x , M y y M z de una partcula no son independientes sino que
estn ligadas por una relacin. Encuntrese esta relacin.

4.6 Demustrese que si i = e1 e2 L en es el elemento de hipervolumen

(pseudoescalar) del lgebra geomtrica de un espacio vectorial E n de dimensin n ,
entonces para cualquier vector v tenemos la regla de conmutacin v i = ( 1)
n +1
i v.

4.7 Estudiar si es integrable la forma diferencial:

= ( 3z 12 x y ) dx dy dz + 2 y dx dy dt

y en caso de que lo sea calcular su integral.

4.8 Demostrar, utilizando el teorema de Schwarz sobre las derivadas cruzadas, que
d df = 0 .