EL LGEBRA GEOMTRICA DEL ESPACIO Y TIEMPO 1

1. GENERALIDADES DEL LGEBRA GEOMTRICA

Definicin del lgebra geomtrica del espacio-tiempo

Defino el lgebra geomtrica del espacio y tiempo como el lgebra de las
matrices cuadradas reales de dimensin 4, ( ) R M
4 4
. Estas matrices, junto con la
operacin de suma de matrices y multiplicacin por nmeros reales forman un espacio
vectorial. Defino el producto geomtrico de dos elementos del lgebra como su
producto matricial. La multiplicacin de matrices les confiere estructura de grupo
continuo y por lo tanto junto a la estructura de espacio vectorial forman un lgebra
asociativa con elemento unidad, que es la matriz identidad. No entrar en estos detalles
de sobra conocidos.

Espacio vectorial generador del lgebra geomtrica

Toda el lgebra geomtrica puede ser generada mediante suma y multiplicacin
de los elementos de un subespacio E de ella con dimensin 4. A los elementos de este
subespacio los llamar vectores geomtricos o simplemente vectores en un sentido
restringido, y a este subespacio lo llamar espacio vectorial generador del lgebra
geomtrica, lo que podemos representar como ( ) ( ) E Cl =

R M
4 4
. El espacio vectorial
generador no es nico, y puede ser escogido de diferentes maneras dando lugar a lo que
aparentemente parecen diferentes lgebras geomtricas. Lo que s es nico es su
dimensin.


Producto exterior

Defino el producto exterior de dos vectores como aquella parte del producto
matricial (geomtrico) que no puede ser expresada como combinacin lineal de los dos
vectores y de la identidad (nmeros reales). En general, defino el producto exterior de
tres o ms vectores como aquella parte del producto geomtrico que no puede ser
expresada como combinacin lineal de productos de vectores en un nmero inferior en
al menos una unidad. El producto exterior, como su nombre indica, nos da la parte del
producto que corresponde a un aumento de dimensin geomtrica. Por ejemplo, el
producto exterior de dos vectores nos da el rea del paralelogramo, es decir, base por
altura (perpendicular a la base). Anlogamente el producto exterior de tres vectores nos
da el volumen del paraleleppedo, es decir, rea de la base por altura. El gran
descubrimiento de Hermann Grassmann es que el producto exterior es anticonmutativo,
es decir, al conmutar dos vectores su signo cambia. Dedicaremos un captulo al
producto exterior y sus aplicaciones geomtricas.


Elementos homogneos y su grado

Un elemento homogneo del lgebra es aquel que puede obtenerse como
combinacin lineal de productos exteriores del mismo nmero de vectores. Al nmero
de vectores de estos productos exteriores se le llama grado. As pues, un elemento
homogneo es combinacin lineal de elementos del mismo grado. El producto exterior
aumenta la dimensin geomtrica, que es lo que indica el grado. As por ejemplo, los
vectores son elementos de grado 1. A los elementos que se obtengan como
2 RAMON GONZLEZ CALVET
combinaciones lineales de productos exteriores de pares de vectores geomtricos se les
llama bivectores y tienen grado 2; a los que se obtengan a partir de combinaciones
lineales de productos exteriores de tres vectores se les llama trivectores y tienen grado
3 y as sucesivamente. Los bivectores representan superficies (en sentido amplio) y los
trivectores volmenes (en sentido amplio). Los elementos homogneos del lgebra
quedan clasificados por su grado y forman subespacios. Entonces se dice que el lgebra
geomtrica es un lgebra graduada. As, toda el lgebra aparece subdividida en espacios
vectoriales formados por elementos homogneos de la siguiente manera:

grado subespacio smbolo dimensin

0 nmeros reales R 1
1 vectores (subespacio generador) E 4
2 bivectores E
2
6
3 trivectores E
3
4
4 volumen tetradimensional E
4
1

La dimensin de cada subespacio viene dada por los nmeros combinatorios
pues su base se obtiene por combinacin de los elementos de la base del subespacio
generador. El lgebra de Clifford es la unin de todos estos subespacios y, por la
conocida frmula que da la suma de los nmeros combinatorios tenemos para un
lgebra geomtrica cualquiera con un subespacio generador de dimensin n:

( )
n
n
n
n n n
E Cl 2
1 0
dim =

+ +

= L

Para el caso concreto del lgebra del espacio-tiempo obtenemos:

( ) 16 2 1 4 6 4 1 dim
4
4
= = + + + + = E Cl

que es exactamente la dimensin del lgebra de matrices cuadradas reales de 44.
El grado no es una caracterstica intrnseca de un elemento del lgebra, sino que
depende del espacio vectorial escogido como generador del lgebra.


Mdulo de un elemento del lgebra

Defino el mdulo de un elemento cualquiera del lgebra como la raz cuarta
positiva de su determinante:

( )
4
det v v =

De aqu se sigue inmediatamente que el mdulo del producto de dos elementos
cualesquiera es igual al producto de mdulos:

( ) ( ) ( ) v u v u det det det = v u v u =

EL LGEBRA GEOMTRICA DEL ESPACIO Y TIEMPO 3
Slo en el caso de que los dos mdulos sean imaginarios tendremos el signo menos en
la igualdad.
Hasta ahora, muchos autores definan el mdulo en un lgebra geomtrica de
forma arbitraria, lo que no es correcto y no tiene generalidad. Si bien el mdulo de un
vector del espacio-tiempo viene dado empricamente por la teora de la relatividad, no
es tan obvio cul es el mdulo de cualquier otro elemento del lgebra. Una teora
coherente de las isometras del lgebra geomtrica, tal como se desarrollar en este
libro, exige que el mdulo se derive del determinante.


Perpendicularidad y ortogonalidad

Dir que dos elementos homogneos con el mismo grado son perpendiculares si
anticonmutan:

v w w v =

y que tienen la misma direccin si su producto conmuta. Tener la misma direccin
geomtrica ya no implica ser proporcionales o linealmente dependientes. Lo primero es
un concepto geomtrico, mientras lo segundo es un concepto algebraico.
Dir que dos elementos homogneos son ortogonales si el cuadrado del mdulo
de la suma es igual a la suma o resta de cuadrados de sus mdulos.


2 2 2
w v w v = +

Los adjetivos perpendicular y ortogonal coinciden para elementos
homogneos en el espacio de tres dimensiones pero ya no son idnticos para el lgebra
geomtrica de 4 dimensiones y hay que distinguirlos. El concepto de perpendicularidad
es puramente geomtrico y asociado a las direcciones del espacio generador. El
concepto de ortogonalidad es puramente algebraico, y generaliza el teorema de
Pitgoras.


Unidades geomtricas y teorema de Pitgoras

A un elemento u del lgebra geomtrica tal que su cuadrado sea la identidad
(que se identifica con el 1) y su determinante igual a uno
1
le llamo unidad geomtrica:

1
2
= u 1 det = u

Veamos el siguiente teorema: El cuadrado de una combinacin lineal de
unidades geomtricas mutuamente perpendiculares es un nmero real. Si las unidades
son perpendiculares es que anticonmutan:

1
2
=
i
u
i j j i
u u u u =

lo que nos lleva a:

1
Este requisito no se exige al lgebra bidimensional
2
Cl , pero s es necesario en el espacio-tiempo.
4 RAMON GONZLEZ CALVET

=
i
i i
u b R
i


R = = =

i i
i i
j i
i i j i j i
u u u b
2 2 2 2
1
2
= =
i i
u

Una consecuencia muy importante de este resultado es que el mdulo de una
combinacin lineal de unidades geomtricas mutuamente perpendiculares cumple el
teorema de Pitgoras generalizado, es decir cada cuadrado con signo + o (el signo en
realidad tiene muy poca importancia como se ir viendo en este libro):

= =
i
i i
b b
2 2
2


En el caso de mdulo imaginario ( 0
2
< b ) tendremos un signo menos delante.


Conjugado e inverso de un elemento del lgebra geomtrica

Se define el inverso de un elemento cualquiera v del lgebra como aquel
elemento
1
v que cumple
2
:

1
1 1
= =

v v v v

entendiendo por 1 la matriz identidad. No todos los elementos del lgebra tienen inverso
pues es condicin necesaria y suficiente para que exista el inverso que el determinante
sea no nulo:

0 det
1


v v

Un teorema al respecto muy importante es el de Frobenius
3
(1878): Las nicas
lgebras asociativas reales de divisin son los nmeros reales, los nmeros complejos y
los cuaterniones o bien lgebras que son isomorfas a ellos (por ejemplo sus
representaciones matriciales). Un lgebra de divisin es un lgebra
4
en que todos sus
elementos excepto el cero tienen inverso. Siendo en su tiempo este teorema un avance,
en realidad se acab convirtiendo en un freno conceptual, pues pareci que ya estaba
todo descubierto y cre cierto desdn para el resto de lgebras que contenan elementos
sin inverso. Por ejemplo, el lgebra geomtrica no es de divisin. Tiene elementos de
mdulo nulo y sin inverso que generan discontinuidades hiperblicas que se reflejan en
la estructura topolgica del espacio-tiempo.
Defino el conjugado * v de un elemento v del lgebra como aquel que cumple:

2
Es una consecuencia trivial de la propiedad asociativa que un elemento y su inverso siempre conmutan.
3
Vase L. S. Pontriaguin, Grupos continuos, ed. Mir (Mosc, 1978) p. 170.
4
Un lgebra asociativa es una estructura que contiene un conjunto de elementos y dos operaciones: una
suma y un producto. La suma es asociativa, conmutativa, tiene elemento neutro (el cero) y elemento
opuesto. El producto es asociativo, tiene elemento neutro (el 1 o identidad) y es distributivo respecto de la
suma. Puede haber elemento inverso para algunos elementos aunque no siempre para todos. Si el lgebra
tiene elemento inverso de cualquier elemento excepto el cero entonces se llama lgebra de divisin.
EL LGEBRA GEOMTRICA DEL ESPACIO Y TIEMPO 5

v v v v det *
2
= =

Por lo tanto, el conjugado se obtiene como:

v v v v v det *
1 1
2

= =

En algunos casos el conjugado coincide con el elemento. En otros cambia el
signo de algunas componentes. En cualquier caso, otros autores han definido diversos
conjugados en funcin del grado del elemento considerado, lo que no tena generalidad.
Esta definicin engloba todos los conjugados corrientemente utilizados, como el de los
nmeros complejos y los cuaterniones, y generaliza la definicin a cualquier elemento,
aunque sea heterogneo. El conjugado e inverso son simplemente proporcionales.


Ejercicios

1.1 Obtngase una frmula que describa el producto exterior de dos vectores en funcin
del producto geomtrico.

1.2 Explquese cmo podemos obtener una nueva unidad geomtrica a partir de una
combinacin lineal de unidades geomtricas mutuamente perpendiculares.

1.3 Aplquese el resultado anterior para obtener dos unidades geomtricas nuevas y
perpendiculares entre s a partir de { }
2 1
, e e tales que 1
2
2
2
1
= = e e .

1.4 Aplquese el resultado de 1.2 para obtener dos unidades geomtricas nuevas y
perpendiculares entre s a partir de { }
1 0
, e e tales que 1
2
0
= e y 1
2
1
= e .

1.5 Hemos dicho que el lgebra geomtrica no es de divisin. Encuntrense ejemplos
sencillos de matrices reales de dimensin 44 sin inverso.

1.6 William Rowan Hamilton descubri los cuaterniones el 16 de octubre de 1843 con
las siguientes leyes de formacin: k i j j i = = , i j k k j = = , j k i i k = = ,
1
2 2 2
= = = k j i . Su representacin matricial fiel
5
es:

= + + +
a b c d
b a d c
c d a b
d c b a
k d j c i b a R d c b a , , ,

a) Probar que es una sublgebra del lgebra geomtrica del espacio-tiempo.
b) Calcular el mdulo y demostrar que los cuaterniones son lgebra de divisin.
c) Calcular el conjugado e inverso de un cuaternin.

5
A. D. Aleksandrov, A. N. Kolmogorov, M. A. Laurentiev y otros, La matemtica: su contenido,
mtodos y significado, Alianza Universidad n 70, 5 ed. (Madrid, 1982) vol. III, p. 392.