Una Introduccion a las Algebras Geometricas

Algebra Geometrica Euclideana Bidimensional

Edgar Vera Saravia
1
edverasar@gmail.com
Resumen
Ofrecemos una introduccion a las Algebras Geometricas presentan-
do el algebra geometrica euclideana bidimensional can onica AGC(2),
como una extensi on natural de la R-algebra conmutativa de los n umeros
complejos C. Este es un punto de partida para el estudio de una es-
tructura propuesta como modelo unicador para la fundamentacion
matem atica de la fsica.
En terminos matem aticos mas precisos lo que haremos es simplemente
construir un algebra de Cliord asociada al espacio euclideano R
2
.
Presentacion
Que es Algebra Geometrica?
Es una estructura matem atica que ofrece una algebrizacion de la geometra,
fue creada por William K. Cliord, entre los a nos 1876 y 1882, conjugando
los aportes pioneros que Grassmann y Hamilton presentaron en 1844. En
el caso bidimensional, que veremos aqu, es la estructura que completa la
ampliaci on de los n umeros reales a los n umeros complejos, mostrando que
los complejos y su contenido geometrico estan determinados por la metrica
euclideana del plano.
Por que no es tan conocida?
De un lado porque la versi on matem atica, llamada precisamente Algebras de
Cliord, tiene un desarrollo sosticado y, de otro, porque la interpretaci on
incompleta del tema que a nes del siglo XIX realizo Gibbs, al crear los espa-
cios vectoriales, parecio ser suciente durante el siglo XX, aun cuando en la
segunda decada de dicho siglo Heisenberg manifesto que la fsica requeria una
matem atica completamente nueva, que incluyera algebras no conmutativas.
Fue en esa lnea que trabajaron Pauli y Dirac.
1
Departamento de Matem atica de la UNMSM, Lima, Per u
1
Para que sirve?
Es un tema que ha sido recreado en m as de una oportunidad en otras areas,
siendo la m as signicativa la que se hizo en la fsica, dada su antigua inter-
acci on con la matem atica y que en este caso se aprecia ntidamente. En [7]
y [8] pueden apreciarse algunas aplicaciones actuales.
1. Motivacion Historica
1.1. La Historia Reciente
Se inicia en la decada de los 20 del siglo XX cuando Dirac, trabajando en su
Teoria Cuantica del Electron, tuvo la necesidad de una estructura matem atica
/ que sea un R-espacio vectorial donde se pueda multiplicar de tal forma
que, mediante dichas operaciones, / sea generada por n de sus elementos
a
j
. Su objetivo era poder linealizar un operador cuadratico en el siguiente
sentido:
D
2
1
+ ... + D
2
n
= (a
1
D
1
+ ... + a
n
D
n
)
2
.
Es claro que esto es posible si y solo si
a
2
j
= 1 R y a
i
a
j
= a
j
a
i
lo que, a su vez, es equivalente a la llamada condici on de Dirac:
a
i
a
j
+ a
j
a
i
= 2
ij
i, j 1, ..., n.
Esto muestra de inmediato que el producto en / debe ser no conmutativo; es
menos inmediato percatarse que / debe tener dimension 2
n
como R-espacio
vectoral.
Como es natural, en la b usqueda de dicha estructura se recurri o a las algebras
no conmutativas m as conocidas en la epoca: Las algebras de matrices. El
estudio se inicio en dimensiones tres y cuatro: Primero Pauli, en su Teora
no-Relativista del Electron, us o como / las matrices complejas 2 2 y como
a
j
las matrices que llevan su nombre. Dirac utiliz o las matrices complejas
4 4 como / y las matrices que llevan su nombre como a
j
.
Observacion 1.1. Por cuestiones didacticas y de divulgacion trataremos
aqu el caso bidimensional, en efecto:
2
R y C son las R-algebras conmutativas mas conocidas.
Entre las R-algebras no-conmutativas la mas conocida es R
22
, llamada
simplemente algebra de las matrices reales 2 2.
1.2. R
22
: Las matrices reales 2 2, una R-algebra no
conmutativa especial
Aqu vamos a mostrar que R
22
, como R-espacio vectorial, tiene una base
muy particular que posee algunas propiedades realmente maravillosas, entre
ellas unas muy parecidas a las requeridas por Dirac.
La base en consideracion es m
0
, m
1
, m
2
, m
3
, donde las matrices m
i
son,
respectivamente,

1 0
0 1

0 1
1 0

1 0
0 1

0 1
1 0

Proposici on 1.2. Es facil vericar que estas matrices determinan una R-

base de R
22
y cumplen las siguientes tres identidades:
m
i
m
j
+ m
j
m
i
= 2
ij
m
0
i, j 1, 2
m
1
m
2
= m
3
m
3
m
3
= m
0
En realidad basta considerar las dos primeras porque la tercera es consecuen-
cia de estas.
Obviamente la primera es casi lo requerido por Dirac (decimos casi, porque
el producto de una matriz por si misma es otra matriz y no un n umero).
El lector puede intentar determinar las matrices (R Pauli) m
1
y m
2
usando
matrices con entradas enteras y las identidades arriba.
Proposici on 1.3. De lo anterior se concluye de inmediato que:
R
22
= a
0
m
0
+ a
1
m
1
+ a
2
m
2
+ a
3
m
1
m
2
/a
j
R
Resulta que m
0
y las matrices m
1
y m
2
generan R
22
y las dos ultimas
cumplen la condicion de Dirac
m
i
m
j
+ m
j
m
i
= 2
ij
m
o
i, j 1, 2.
3
Debemos mencionar que, en este contexto, R
22
resulta un ejemplo de las
algebras de Cliord de matrices usadas en la Fsica-Matem atica.
Proposici on 1.4. La base considerada permite vericar que:
1. R
22
contiene una copia isomorfa de la R-algebra conmutativa de los
n umeros complejos C. Basta asociar m
0
con 1 y m
3
con .
2. R
22
contiene una copia isomorfa del R-espacio vectorial canonico R
2
que asocia las matrices m
1
y m
2
con la base canonica e
1
y e
2
respecti-
vamente.
El lector debe haberse percatado que si en lugar de
ij
m
0
R
22
se tuviera
simplemente
ij
R tendriamos satisfecha la demanda de Dirac en dimension
2. Es justamente eso lo que se consigue al construir AG(2).
1.3. Retomando la propuesta de Cliord: El Programa
Hestenes
La pre-historia de la demanda de Dirac por un modelo matem atico apropiado
para el desarrollo de la fsica se remonta al siglo XVII, como se desprende
de lo mencionado por Leibniz en una misiva enviada a Huygenz en 1679,
despues de conocer la Geometria Analtica creada por Descartes y Fermat
[4]:
la fsica no podra avanzar m as a no ser que se encuentre un nuevo
metodo de analisis m as geometrico, que permita expresar y operar
con direcciones tan directamente como el algebra (de los n umeros
reales) representa y opera con las magnitudes (longitudes de la
geometra analitica)
2
A nes del siglo XVIII, en 1796, el agrimensor noruego Caspar Wessel fue
el primero en dar una presentaci on geometrica de los n umeros complejos la
misma que, por motivos idiomaticos, solo fue conocida un siglo despues, [1]
y [2].
Grassmann y Hamilton brindaron su aporte fundamental en la primera mitad
del siglo XIX y en la segunda mitad del mismo siglo Cliord complet o el
proceso creador, [4] y [5].
2
traducci on del autor
4
Lo que hizo Dirac fue recrear, desde la perspectiva geometrica de la Fsica-
Matematica, el aporte de Cliord.
El Programa Hestenes propugna, desde la decada de los 60 del siglo XX,
retomar el estudio del algebra geometrica como modelo unicador para la
fundamentaci on matem atica de la fsica pero sin recurrir a representaciones
matriciales, [4]. Sin duda Hestenes tomo en cuenta dos cosas: De un lado lo
mencionado por Dirac en un congreso sobre los fundamentos matem aticos de
la teora cu antica:
Aprend a desconar de todo concepto fsico como base para una
teora. Uno debe conar en un esquema matem atico, aun cuando
a primera vista el esquema no aparezca relacionado con la fsica.
Uno debe concentrarse en conseguir la matem atica que interesa
3
De otro lado fue un detalle explicitado en la introducci on de [6]
en electrodinamica cu antica se ha encontrado que muchas manip-
ulaciones algebraicas involucrando matrices de Dirac pueden ser
realizadas de modo m as eciente sin usar matriz alguna
4
En la pr oxima seccion haremos una presentaci on alternativa de las ideas de
Hestenes, editando los resultados obtenidos con las matrices, recurriendo a
R-subespacios vectoriales de anillos de polinomios reales, en una y varias
variables, y modicando convenientemente el correspondiente producto de
polinomios.
2. AG(2): El Algebra Geometrica Euclideana
Canonica del R
2
Usaremos como estructuras iniciales los siguientes R-espacios vectoriales:
1. El espacio de pares ordenados de n umeros reales
R
2
= a
1
e
1
+ a
2
e
2
/a
j
R
donde e
1
y e
2
indicar an los elementos de su base can onica.
3
traducci on del autor
4
traducci on del autor
5
2. El subespacio del anillo de polinomios reales R[e
1
, e
2
], en las variables
e
1
y e
2
{(2) = a
0
+ a
1
e
1
+ a
2
e
2
+ a
3
e
1
e
2
/a
j
R
La elecci on de las variables en el segundo caso es intencional, posteriormente
quedara claro que la identicaci on con la base can onica del R
2
es v alida y
natural.
2.1. El algebra geometrica euclideana bidimensional
AG(2)
Denicion 2.1. El algebra geometrica euclideana canonica bidimensional
AG(2) AG(2,0) sera el R-espacio {(2) provisto del producto de polinomios
modicado por la condicion (euclideana) de Dirac
e
i
e
j
+ e
j
e
i
= 2
ij
i, j 1, 2.
Este producto modicado sera llamado producto geometrico (euclideano)
de AG(2).
Observacion 2.2. 1. Mas adelante veremos que la condicion de Dirac
es simplemente una forma alternativa de expresar la ortonormalidad
(euclideana) de la base canonica del R
2
.
2. Por que considerar e
1
e
2
y no e
2
e
1
? Sin duda se trata de una opcion
ante una dualidad, pero hay que respetar convenios heredados: Como
veremos dentro de poco, usando el producto geometrico euclideano, se
tiene e
1
(e
1
e
2
) = e
2
y e
2
(e
1
e
2
) = e
1
lo que permite asociar e
1
e
2
con la
rotarcion en

2
de un vector, en el sentido antihorario.
Es decir, veremos que en AG(2) es posible matematizar el concepto
geometrico de orientacion y usarlo algebraicamente.
Denicion 2.3. Lo que haremos es transcribir la terminologa y propiedades
de los polinomios al contexto de las algebras geometricas:
1. 'AG(2)`
j
denotara la familia de los polinomios homogeneos de grado j
de AG(2) y seran llamados de j-vectores, j 0, 1, 2.
2. Los elementos de AG(2) seran llamados multi-vectores (euclideanos).
Observacion 2.4. De la denicion anterior tenemos:
6
1. La igualdad de polinomios se traducira como: Todo elemento M de
AG(2) se escribe de manera unica como suma de j-vectores:
M = 'M`
0
+'M`
1
+ 'M`
2
donde 'M`
j
'AG(2)`
j
2. De modo mas preciso
1, e
1
, e
2
, e
1
e
2
es una R-base de AG(2)
3. Existe un isomorsmo natural, como R-espacios vectoriales, entre 'AG(2)`
1
y R
2
4. Usaremos las identidades
'AG(2)`
0
= R, 'AG(2)`
1
= R
2
y 'AG(2)`
2
= Re
1
e
2
Las demostraciones de las armaciones que haremos a continuacion son sen-
cillas y las dejamos como ejercicio para el lector. Sera el mejor modo de
familiarizarse con esta nueva estructura que mejora sustantivamente la gran
utilidad de los n umeros complejos.
Proposici on 2.5. Como 1, e
1
, e
2
, e
1
e
2
es una base del R-espacio vectorial
AG(2), siendo e
1
, e
2
la base canonica del R
2
, los siguientes resultados son
validos
1. e
2
e
1
= e
1
e
2
, es decir, AG(2) es no conmutativa.
2. e
1
e
1
= e
2
e
2
= 1, es decir, e
1
y e
2
son races cuadradas de 1.
3. (e
1
e
2
)(e
1
e
2
) = 1, es decir, e
1
e
2
es raz cuadrada de -1.
4. Dados los multi-vectores
A = a
0
+ a
1
e
1
+ a
2
e
2
+ a
3
e
1
e
2
y
B = b
0
+ b
1
e
1
+ b
2
e
2
+ b
3
e
1
e
2
se tiene
AB = c
0
+ c
1
e
1
+ c
2
e
2
+ c
3
e
1
e
2
donde
c
0
= a
0
b
0
+ a
1
b
1
+ a
2
b
2
a
3
b
3
c
1
= a
0
b
1
+ a
1
b
0
+ a
3
b
2
a
2
b
3
c
2
= a
0
b
2
+ a
2
b
0
+ a
1
b
3
a
3
b
1
c
3
= a
0
b
3
+ a
3
b
0
+ a
1
b
2
a
2
b
1
7
5. De lo anterior resulta que el producto geometrico de un 1-vector consigo
mismo
(a
1
e
1
+ a
2
e
2
)(a
1
e
1
+ a
2
e
2
) = a
2
1
+ a
2
2
0
coincide con el valor de la forma cuadratica euclideana del R
2
evaluada
en dicho vector, es decir; la estructura de algebra geometrica de AG(2)
determina la metrica euclideana del R
2
.
6. Concluir que e
1
e
2
R R
2
y tambien que todo vector unitario es una
raz cuadrada de 1.
7. Existe un isomorsmo natural, como R-espacios vectoriales, entre AG(2)
y R
22
que preserva los productos considerados en cada caso.
Recomendamos al lector que se inicia en el tema realizar la demostraci on de la
proposicion anterior, antes de continuar, para familiarizarse con la estructura
de AG(2) y, de modo particular, en el uso de las propiedades que caracterizan
el producto geometrico euclideano:
e
1
e
1
= e
2
e
2
= 1, e
2
e
1
= e
1
e
2
y (e
1
e
2
)(e
1
e
2
) = 1
Observacion 2.6. 1. El lector mas informado debe haberse percatado que
lo que acabamos de hacer ha sido construir AG(2) como un algebra de
Cliord generada por el R-espacio vectorial R
2
provisto de la metrica
euclideana canonica.
2. En este contexto se puede demostrar, sin usar propiedades de poli-
nomios, que
1, e
1
, e
2
, e
1
e
2
es una R-base de AG(2)
Notacion 2.7. Debido a nuestra estrategia de divulgacion del tema usaremos
las siguientes notaciones e identicaciones:
1. R
(2,0)
: El espacio vectorial R
2
provisto de la metrica euclideana
2. S
(2,0)
= w R
2
/w
2
= 1: La frontera del disco unitario del R
(2,0)
3. 'AG(2)`
2
e
1
e
2
C
4. C
(2,0)
= 'AG(2)`
0
'AG(2)`
2
C
8
Importante:
1. En 3 y 4 estamos en realidad introduciendo C
(2,0)
, llamada R-subalgebra
par de AG(2), una versi on mejorada de los n umeros complejos ya que
ahora sera un 2-vector y, como veremos, pasa a contener informacion
sobre la orientaci on del R
2
.
2. Las identicaciones realizadas nos permiten considerar
R C AG(2) y tambien R
2
AG(2)
Podemos concluir: Eligiendo convenientemente ciertas propiedades del alge-
bra de matrices reales R
22
, hemos construido el algebra geometrica eu-
clideana bidimensional AG(2) mejorando y ampliando C (ahora tendremos
los n umeros complejos repotenciados C
(2,0)
.
2.2. Resultados Adicionales
Veamos ahora como se mejora la relacion algebra-geometra en el contexto de
AG(2): Podremos representar de un mejor modo los conceptos ya conocidos
y, adem as, el nuevo lenguaje nos permitir a introducir otros.
Observacion 2.8. Dados los 1-vectores
v = v
1
e
1
+ v
2
e
2
, w = w
1
e
1
+ w
2
e
2
R
2
se tiene:
1. La aplicacion v R
2
e
1
v C
(2,0)
, con inversa z e
1
z ,
establece el conocido isomorsmo de R-espacios vectoriales entre R
2
y C
2.
vw = (v
1
w
1
+ v
2
w
2
) + (v
1
w
2
v
2
w
1
) C
(2,0)
wv = (w
1
v
1
+ w
2
v
2
) + (w
1
v
2
w
2
v
1
) C
(2,0)
3. Los primeros sumandos de las identidades anteriores son iguales a un
valor real conocido, el producto escalar euclideano v.w = w.v
4. Los segundos sumandos de las identidades anteriores corresponden a
un mismo 2-vector, con signos opuestos, caracterizado por el hecho que
el valor absoluto de su factor escalar, [ v
1
w
2
v
2
w
1
[, es precisamente
el area del paralelogramo determinado por los 1-vectores v y w, cuando
son l.i. (y cero cuando son colineales).
9
Proposici on 2.9. Lo anterior, junto con la conocida descomposicion de un
producto en su parte simetrica y antisimetrica
vw =
vw + wv
2
+
vw wv
2
permiten establecer:
1.
vw+wv
2
= v
1
w
1
+ v
2
w
2
= v.w 'AG(2)`
0
2.
vwwv
2
= (v
1
w
2
v
2
w
1
) 'AG(2)`
2
Denicion 2.10. Con las notaciones anteriores, dados los 1-vectores v y w,
establecemos las siguientes deniciones en el contexto del AG(2):
1. El producto escalar euclideano, v.w, como la parte simetrica del pro-
ducto geometrico vw
v.w =
vw + wv
2
'AG(2)`
0
2. El producto exterior, vw, como la parte anti-simetrica del producto
geometrico vw
v w =
vw wv
2
'AG(2)`
2
3. e
1
e
2
= e
1
e
2
C
(2,0)
sera llamado 2-vector basico euclideano.
Ampliando la conocida representaci on de Grassmann para los 1-vectores co-
mo segmentos orientados de recta, los 2-vectores son representados como
ciertos segmentos orientados de plano: Dados los 1-vectores l.i. v y w , el 2-
vector v w sera representado por el paralelogramo determinado por dichos
vectores y el angulo orientado (v, w), seg un el criterio dado despues del
gr aco
10
v + w
v
v w v + w
. v
. w w v
0 .
. w
0
Criterio 2.11. Dados a, b S
(2,0)
l.i. consideraremos:
1. (a, b) el angulo con vertice en el origen, comprendido dentro del par-
alelogramo determinado por dichos vectores y orientado de a hacia b
2. (a, b) = (b, a) a b = b a
3. A cada angulo se le asociara, como su medida euclideana, un unico
valor ((a, b)) ], [
4. a = cos e
1
+ sen e
2
= ((e
1
, a))
5. La formula de Euler, solo por comodidad notacional por cuanto no
hemos denido la exponencial de un 2-vector,
e

cos + sen u = e
1
e

S
(2,0)
` e
1
y = ((e
1
, u))
11
6. El angulo orientado entre dos vectores l.i. sera el angulo orientado de
los correspondientes vectores unitarios.
Importante: Tomar nota de lo siguiente
1. Respecto a lo establecido en el tercer criterio, seguiremos usando ex-
presiones como angulo orientado (a, b) ], [para referirnos a
un angulo en el contexto arriba indicado. Tambien llamaremos angulo
orientado a multiplos de esos valores.
2. En relaci on a la formula considerada en el quinto criterio, para realizar
operaciones (por ejemplo demostrar que ve

= e

v) debe usarse la
forma explcita cos + sen e
1
e
2
En el par agrafo 4.4 hacemos una propuesta para matematizar la idea de
angulo orientado.
Observacion 2.12. Dados los 1-vectores a, b, v y w, con las notaciones an-
teriores, tenemos:
1. Todo 2-vector es multiplo del 2-vector basico :
v w = (v
1
w
2
v
2
w
1
) = [
v.e
1
v.e
2
w.e
1
w.e
2
[
2. De lo anterior resulta la identidad:
(v w)(v w) = ([
v.e
1
v.e
2
w.e
1
w.e
2
[)
2
3. Sigue que:
(v w)(w v) = ([
v.e
1
v.e
2
w.e
1
w.e
2
[)
2
precisamente el cuadrado del area del paralelogramo determinado por
los 1-vectores v y w.
4. De 1 y e
1
e
2
= e
1
e
2
sigue
(a b)(e
2
e
1
) = [
a.e
1
a.e
2
b.e
1
b.e
2
[
De esta identidad, por linealidad, resulta:
(a b)(w v) = [
a.v a.w
b.v b.w
[
En particular tenemos una formula invariante (valida cualquiera que
sean las coordenadas que se usen) para calcular el area del paralelogramo
deteminado por dos vectores l.i. v y w :
(v w)(w v) = [
v.v v.w
v.w w.w
[ 0
12
5. Se cumple la siguiente identidad entre los productos geometrico, interior
y exterior.
vw = v.w + v w
la cual establece la descomposicion unica del producto geometrico de
dos 1-vectores como suma de un 0-vector con un 2-vector.
6. Una relacion entre producto exterior y producto interior
v w = v.(w)
7. Una alternativa para la descomposicion unica del producto geometrico
de dos 1-vectores dada en 5
vw = v.w + v w = v.w + v.(w)
Proposici on 2.13. Los bivectores (complejos puros repotenciados) tienen
las siguientes propiedades:
1. El producto exterior de 1-vectores es anti-simetrico y bilineal:
v w = w v
(u + v) w = (u w) + (v w) donde , R
u (v + w) = (u v) + (u w) donde , R
2. El producto exterior de 1-vectores permite caracterizar la dependencia
lineal de pares de vectores:
v w = 0 v y w son l. d.
o, de modo equivalente,
v w = 0 v y w son l. i.
Proposici on 2.14. Dados los 1-vectores v y w se tiene:
1. v y w son ortogonales v.w = 0 vw = wv
2. v y w son colineales v w = 0 vw = wv
13
3. vw = v.w v y w son colineales
4. vw = v w v y w son ortogonales. Este resultado es importante
porque da condiciones para reemplazar v w por vw lo que simplica
muchos calculos.
Proposici on 2.15. Dado el 1-vector v = v
1
e
1
+ v
2
e
2
se tiene:
1. v(= v
2
e
1
+ v
1
e
2
) es el 1-vector que resulta de rotar v un angulo

2
2. v(= v
2
e
1
v
1
e
2
) es el 1-vector que resulta de rotar v un angulo

2
3. v = v
Corolario 2.16. Dados u, v S
(2,0)
se tiene:
u y v son ortogonales uv = e
1
e
2

Denicion 2.17. Dados u, v S
(2,0)
diremos que (el par ordenado de vec-
tores):
1. (u, v) es una base ortonormal positivamente orientada (bon+)
si uv = e
1
e
2

2. (u, v) es una base ortonormal negativamente orientada (bon)
si uv = e
2
e
1

Corolario 2.18. Si u S
(2,0)
entonces los pares ordenados abajo indicados
cumplen:
1. (u, u) es una bon+ de R
2
y toda bon+ es de esa forma.
2. (u, u) es una bon de R
2
y toda bon es de esa forma.
Corolario 2.19. Usando 7 de la observacion 2.12 tenemos la descomposicion
de v R
2
en la bon (u, u), v = vuu = (vu)u = (v.u)u + v.(u)u.
Notacion 2.20. Dados u S
(2,0)
, y ], [
1.
u
: R
2
R
2
denotara la reexion respecto de la recta l que pasa por
el origen y es ortogonal a u
2.
2
: R
2
R
2
indicara el giro orientado (euclideano) en el angulo
orientado 2
14
El algebra geometrica, como su nombre lo indica, permite algebrizar las re-
exiones y rotaciones de un buen modo
Proposici on 2.21.
u
(v) = uvu v R
2
.
Para una demostracion basta usar la descomposicion de v dada en el corolario
2.19 y guiarse por el siguiente diagrama:
v l
.
u u u(v)
0
l .
Corolario 2.22. Toda reexion es una isometra.
En efecto:
(
u
(v))
2
=
u
(v)
u
(v) = (uvu)(uvu) = uvuuvu = uv
2
u = v
2
uu = v
2
A seguir prarafraseamos, en el contexto de AG(2), el teorema de la geometra
euclideana que establece que toda rotacion (giro orientado en nuestro caso)
es el producto de dos reexiones:
15
Proposici on 2.23. Dados u, v S
(2,0)
l.i., si = ((u, v)) ], [, en
el contexto del Criterio 2.11, entonces la composicion
v

u
de las reexiones

u
y
v
es igual al giro orientado
2
. Recprocamente, todo giro orientado

2
se descompone de ese modo, sin unicidad de los vectores unitarios con-
siderados.
Corolario 2.24. 1. Todo giro orientado es una isometra.
2. Los giros orientados
2
=
v

u
y
2
=
u

v
son uno inverso del otro.
Proposici on 2.25. En las condiciones de la proposicion 2.23 y usando el
criterio 2.11, tenemos:
1. = ((u, v)) = uv = e

y vu = e

2.

2
[w] = e

we

y
2
[w] = e

we

Para una demostracion de 1 usar 4 del criterio 2.11 dos veces:

Primero con u y = ((e
1
, u)) ], [ para obtener
e
1
u = e

y ue
1
= e

A seguir con v y = ((e

1
, v)) ], [ para obtener
e
1
v = e

y ve
1
= e

Lo que permite concluir:

uv = ue
1
e
1
v = e
()
= e

y, analogamente, vu = e

Importante:
1. No se arma = , porque esto no es verdad en todos los casos,
sino la igualdad de los valores de las funciones sen y cos en dichos
angulos.
2. Recordar lo comentado despues del criterio 2.11
3. Algunas aplicaciones simples
A seguir apreciaremos las bondades de AG(2) en el estudio de la geometra
del R
(2,0)
.
La proposicion 2.15 garantiza la siguiente
16
REGLA PRACTICA 1
Dado el 1-vector v
Basta calcular v (v , respectivamente)
para tener el vector que resulta al girar v noventa grados
en sentido anti-horario (horario, respectivamente)
Ejemplo 3.1. Si v= 4e
1
3e
2
entonces v = ve
1
e
2
= ... = 3e
1
+ 4e
2
El corolario 2.18 justica la
REGLA PRACTICA 2
Dado u S
(2,0)
, el par ordenado
(u, u) ((u, u), respectivamente) es una base ortonormal
con la misma (opuesta, respectivamente) orientaci on
que la base can onica (e
1
, e
2
)
El corolario 2.19 sustenta la
REGLA PRACTICA 3
Fijado u S
(2,0)
y dado v R
2
Como v=vuu=(vu)u
Basta calcular explcitamente vu
para tener la descomposicion de v en la bon (u, u).
Ejemplo 3.2. Si u =
4

33
10
e
1

4+3

3
10
e
2
y v = 10e
1
10e
2
, como
vu = (1 + 7

3) (7

3) , resulta v = (1 +

3)u (7

3)u
La proposicion 2.21 justica la
REGLA PRACTICA 4
Fijado u S
(2,0)
y dado v R
2
Basta calcular uvu
para tener el vector reejado de v en relaci on a
la recta que pasa por el origen y es ortogonal a u.
Nuestra ultima regla pr actica resulta de 2 de la proposicion 2.25. Es impor-
tante tener presente que los calculos se realizan en AG(2).
REGLA PRACTICA 5
Dados w R
2
y ], [
Basta calcular e
2
we
2
para tener el vector que resulta de girar w
el angulo orientado 2.
17
4. Propuestas para ampliar resultados
Para lo que sigue se requiere conocimientos de algebra lineal y geometra
diferencial.
4.1. Sobre la estructura
El siguiente resultado matematiza lo comentado en 1 de la observaci on 2.4
Proposici on 4.1. Las siguientes identidades, como R -espacios vectoriales,
son equivalentes:
1. AG(2)= 'AG(2)`
0
'AG(2)`
1
'AG(2)`
2
2. AG(2) R R
2
Ri R
2
C
Observacion 4.2. De lo anterior tenemos
1. Todo elemento M de AG(2) se escribe de manera unica como:
M = 'M`
0
+'M`
1
+ 'M`
2
donde 'M`
j
'AG(2)`
j
2. 'AG(2)`
0
'AG(2)`
2
= C
(2,0)
es llamada subalgebra par de AGC(2).
A seguir extendemos a multi-vectores los conceptos de producto escalar y
producto exteriror e introducimos el concepto de producto interior:
Denicion 4.3. Dados A
j
'AG(2)`
j
y B
k
'AG(2)`
k
1. A
j
B
k
= 'A
j
B
k
`
|jk|
es llamado producto interior de los multivec-
tores A
j
y B
k
.
2. A
j
B
k
= 'A
j
B
k
`
j+k
si j + k 2 y cero de otro modo, es llamado
producto exterior de los multivectores A
j
y B
k
.
3. A
j
.B
j
= A
j
B
j
= 'A
j
B
j
`
0
es llamado producto escalar de los
multivectores A
j
y B
j
.
4. |A
j
| =

[A
j
.A
j
[ es llamada j-magnitud euclideana del j-vector A
j
.
Observacion 4.4. De 3 y 4 de la observacion 2.12, para 2-vectores tenemos:
18
1. (a b).(v w) = (a b)(v w)
2. |v w| = [v
1
w
2
v
2
w
1
[ = [
v.v v.w
v.w w.w
[ precisamente el area del paralelo-
gramo determinado por los 1-vectores v y w.
Proposici on 4.5. La estructura algebraica de AG(2) no depende de la base
ortonormal considerada. Es decir, dados u
1
, u
2
S
(2,0)
se tiene:
1. (u
1
, u
2
) es una base ortonormal (euclideana) de R
2
si y solo si cumple
la condicion de Dirac u
i
u
j
+ u
j
u
i
= 2
ij
i, j 1, 2
2. Si (u
1
, u
2
) es una bon de R
2
entonces se cumple la igualdad de conjuntos
AG(2) = b
0
+ b
1
u
1
+ b
2
u
2
+ b
3
u
1
u
2
/b
j
R
3. Repitiendo con una bon u
1
, u
2
el proceso realizado con la base canonica,
AG(2) admite una estructura de algebra geometrica asociada a dicha
base
4. El producto de dos 1-vectores no depende de la bon+ considerada y por
lo tanto el producto de multivectores no depende de la bon+ considerada
5. Dada una bon u
1
, u
2
, extendiendo a todo AG(2) la aplicacion (e
i
) =
u
i
resulta un automorsmo (isomorsmo de algebras geometricas de
AG(2) consigo mismo) y reciprocamente, todo automorsmo de AG(2)
es de esa forma
4.2. Sobre un caso no-euclideano
Adem as de R
2
y {(2) usaremos las siguientes variaciones del delta de Kro-
necker:
Con 1 k n y i, j 1, ..., n (n=2 en nuestro caso) usaremos :

(n,k)
ij
=

1 si 1 i = j k
0 si i = j
1 si k + 1 i = j n
Denicion 4.6. El algebra geometrica hiperbolica bidimensional AG(2,1)
sera el R-espacio {(2) provisto del producto de polinomios modicado por la
condicion (hiperbolica) de Dirac
e
i
e
j
+ e
j
e
i
= 2
(2,1)
ij
i, j 1, 2.
19
Este producto modicado sera llamado producto geometrico (hiperbolico)
de AG(2,1).
Observacion 4.7. Resaltamos algunas diferencias con el caso euclideano
1. e
1
e
1
= (e
1
e
2
)(e
1
e
2
) = 1, es decir, e
1
y e
1
e
2
son races cuadradas de 1.
2. e
2
e
2
= 1, es decir, e
2
es raz cuadrada de -1.
3. El producto geometrico (hiperbolico) de un 1-vector consigo mismo
(a
1
e
1
+ a
2
e
2
)(a
1
e
1
+ a
2
e
2
) = a
2
1
a
2
2
puede asumir cualquier valor real y coincide con el valor de la for-
ma cuadratica hiperbolica del R
2
evaluada en dicho vector, es decir; la
estructura de algebra geometrica de AG(2,1) determina la metrica
hiperbolica del R
2
.
Notacion 4.8. Usaremos las siguientes notaciones:
1. R
(2,1)
: El espacio vectorial R
2
provisto de la metrica hiperbolica
2. S
(2,1)
= w R
2
/w
2
= 1: La frontera del disco unitario del R
(2,1)
3. S
(2,1)
i
indicara la rama de la hiperbole que contiene a e
i
4. C
(2,1)
= 'AG(2, 1)`
0
'AG(2, 1)`
2
: La R-algebra de los n umeros hiperboli-
cos (repotenciados)
Denicion 4.9. Dados los 1-vectores v y w, establecemos las siguientes deni-
ciones en el contexto del AG(2,1) :
1. El producto escalar hiperbolico, v.w, como la parte simetrica del pro-
ducto geometrico vw
v.w =
vw + wv
2
'AG(2, 1)`
0
2. El producto exterior hiperbolico, v w, como la parte anti-simetrica
del producto geometrico vw
v w =
vw wv
2
'AG(2, 1)`
2
20
3. e
1
e
2
= e
1
e
2
C
(2,1)
sera llamado 2-vector basico hiperbolico
Criterio 4.10. Dados a, b S
(2,1)
1
l.i. consideraremos:
1. (a, b) el angulo con vertice en el origen, comprendido dentro del par-
alelogramo determinado por dichos vectores y orientado de a hacia b.
2. (a, b) = (b, a) a b = b a
3. A cada angulo se le asociara, como su medida hiperbolica, un unico
valor ((a, b)) R
4. a = cosh e
1
+ senh e
2
= ((e
1
, a))
5. La formula (solo por comodidad notacional por cuanto no hemos denido
la exponencial de un 2-vector hiperbolico)
e

cosh + senh u = e
1
e

S
(2,1)
1
y = ((e
1
, u))
6. El angulo orientado entre dos vectores l.i. sera el angulo orientado de
los correspondientes vectores unitarios.
Importante: En relaci on a la formula considerada en el quinto criterio, es
importante tomar nota que para realizar operaciones debe usarse la forma
explcita cosh + senh e
1
e
2
Procediendo de modo similar al caso euclideano tendremos los conceptos de
giro orientado hiperbolico, como por ejemplo
Denicion 4.11. Dados w R
2
1
= (a, b) R
2
/b < a y a 0 y R

2
[w] = e

we

indicara el giro orientado (hiperbolico) en el angulo orientado 2

4.3. Sobre la derivada geometrica
Denicion 4.12. Dado un abierto R
k
, 1 k 2,
1. (

() denotara la familia de funciones (

de en R
21
2. La funci on con valores multivectoriales
f : p f(p) =
3

m=0
f
m
(p)e
m
AG(2), con e
0
= 1 y e
3
= e
1
e
2
es llamada (

si cada funcion coeciente f

m
(

()
(

(, AG(2)) denotara la familia de funciones multivectoriales (

3. Para k 2 y j=1,2; la aplicacion

j
: f (

(, AG(2))
j
f =
3

m=0

j
f
m
e
m
(

(, AG(2))
es llamada operador j-derivada parcial
4. Con k 2, la aplicacion
: f (

(, AG(2)) f (

(, AG(2)), donde
f(p) = e
1

1
f(p) + e
2

2
f(p)
es llamada operador derivada geometrica.
Aqui es importante tener en cuenta el orden considerado porque los
productos se realizan en AG(2).
Proposici on 4.13. En las condiciones de la denicion anterior se tiene:
1. (

(, AG(2)) es un anillo y tambien un (

()-modulo
2. El operador es casi una derivacion (es lineal y cumple la identidad
de Leibniz de modo parcial, por causa de la anticonmutatividad)
Observacion 4.14. El valor explcito de f(p)
(
1
f
1
+
2
f
2
)(p)+(
1
f
0

2
f
3
)(p)e
1
+(
2
f
0
+
1
f
3
)(p)e
2
+(
1
f
2

2
f
1
)(p)e
1
e
2
puede obtenerse, de modo alternativo, como sigue:
1. Considerar = e
1

1
+e
2

2
, en ese orden, como un 1-vector simbolico
2. Efectuar el producto (e
1

1
+ e
2

2
)(

3
m=0
f
m
e
m
) en AG(2), agrupar y
evaluar en p
22
Corolario 4.15. Usando 1 de la proposicion 4.1 se tienen los casos partic-
ulares:
1. El gradiente
g (

(, 'AG(2)`
0
) =g(p) =
1
g(p)e
1
+
2
g(p)e
2
(

(, 'AG(2)`
1
)
2. La divergencia y el birotacional
g (

(, 'AG(2)`
1
) =g(p) = .g(p)+g(p) (

(, 'AG(2)`
0
'AG(2)`
2
)
3. El .
o
rtogradiente
g (

(, 'AG(2)`
2
) =g(p) =
2
g(p)e
1
+
1
g(p)e
2
(

(, 'AG(2)`
1
)
El corolario anterior nos sugiere que la derivada geometrica generaliza el
hamiltoniano; en efecto, bastar a establecer:
1. El ujo geometrico de funciones con valores multivectoriales como una
generalizaci on del concepto fsico de ujo, remplazando la integral de
un producto interno por la integral de un producto geometrico.
2. El hamiltoniano geometrico de funciones con valores multivectoriales
como una generalizaci on del concepto fsico de hamiltoniano, reem-
plazando el cociente con la medida convencional por el cociente con la
medida orientada (area orientada en nuestro caso).
Comencemos precisando algunos conceptos en el contexto euclideano can onico:
1. Dado P = (p
1
, p
2
) R
2
, K indicar a un rect angulo, de lados
paralelos a los ejes coordenados, centrado en P y contenido en . K
denotara su frontera orientada positivamente (sentido antihorario).
2. Dada f (

(, AG(2)) cosideraremos

f =
3

m=0

f
m
e
m
(

(, AG(2))
en el contexto que corresponda.
23
3. : [0, a] R
2
indicar a la parametrizacion por longitud de arco de K,
de clase (

por partes, que la recorre siguiendo la orientacion dada.

4. [K[ = |K| sera el area orientada de K, donde |K| es el area usual.
Denicion 4.16. Dada g (

(, AG(2))
1. El ujo geometrico de g atravez de K sera
T
K
[g] =

a
0
(t)g((t))dt (

(, AG(2))
aqu usamos 2, dada arriba, con f = (t)g((t)) (el orden es impor-
tante porque el producto es en AG(2))
2. El hamiltoniano geometrico de g en P sera
1[g] (P) = lm
KP
1
[K[
T
K
[g] AG(2)
Proposici on 4.17.
1[g] (P) = g(p)
Para una demostracion considerar K como el rect angulo P
0
P
1
P
2
P
3
donde
P
0
= (p
1

x
2
, p
2

y
2
), P
1
= (p
1
+
x
2
, p
2

y
2
),
P
2
= (p
1
+
x
2
, p
2
+
y
2
) y P
3
= (p
1

x
2
, p
2
+
y
2
)
Comenzando en P
0
, l
m
indicar a el correspondiente lado de K, orientado
positivamente.
1
|K|
T
K
[g] =
1
(xy)

4
m=1

lm
(t)g((t))dt

1
xy
()

e
1
g(p
1
, p
2

y
2
)x + e
2
g(p
1
+
x
2
, p
2
)y+
e
1
g(p
1
, p
2
+
y
2
)x e
2
g(p
1

x
2
, p
2
)y
= e
1
g(p
1
+
x
2
,p
2
)g(p
1

x
2
,p
2
)
x
+ e
2
g(p
1
,p
2
+
y
2
)g(p
1
,p
2

y
2
)
y
Para la aproximacion hemos usado el teorema del valor medio para integrales
en cada segmento separadamente, considerando el valor de g en el punto
medio de dicho segmento.
El resultado deseado sigue al tomar el lmite cuando K colapsa hacia P.
Para incluir el caso an y obtener resultados m as generales se requieren
algunos conceptos adicionales:
24
Denicion 4.18. Con las notaciones y terminologa de la denicion anterior
1. : AG(2) , donde es la proyeccion al primer factor, es
llamado brado geometrico trivial asociado a .
2. La secciones S : AG(2) (cumplen S = 1

) son llamadas
campos multivectoriales (CMV) asociados a .
Escribiendo S(p) = (p,s(p)) diremos que S es un CMV (

si s lo es.

() denotara la familia de los CMV (

asociados a .
3. Con las adaptaciones del caso, consideraremos j-brados geometri-
cos triviales y j-campos vectoriales (j-CV)
: 'AG(2)`
j
y S : 'AG(2)`
j

j
() denotara la correspondiente familia de los j-CV (

4. Dado un CMV S = (1

, s), el CMV S = (1

, s) es llamado
campo derivada geometrica del campo S.
Esto determina un operador :

()

() que tambien sera

llamado operador derivada geometrica (el contexto determinara el caso
a considerar).
Proposici on 4.19. En las condiciones de la denicion anterior, el corolario
4.15 determina los operadores:
1. :

0
()

1
()
2. :

1
()

0
()

2
()
3. :

2
()

1
()
Observacion 4.20. Considerando

j
() 0 cuando j Z`0, 1, 2 pode-
mos concluir que, dado un j-CV, el operador derivada geometrica genera dos
CV: Un (j-1)-CV y un (j+1)-CV.
4.4. Sobre una alternativa a las formas diferenciales
/
k
() denotara la familia de k-formas diferenciales (

(k-FD) asociadas al
abierto .
Es facil ver que el teorema de representaci on de Riesz (1-TRR) establece
25
una relaci on biyectiva entre

1
() y /
1
(), esto permitio en su momento
extender resultados relacionados con los 1-CV a las k-FD.
Ahora mostraremos que generalizando el 1-TRR es posible establecer una
relaci on biyectiva entre formas diferenciales y campos multivectoriales. Ob-
viamente nos limitaremos al caso bidimensional.
Proposici on 4.21. Teorema de representacion de Riesz para funcionales
bilineales antisimetricas (2-TRR).
: R
2
R
2
R es una funcional bilineal antisimetrica sss existe un unico
2-vector B 'AG(2)`
2
tal que (v, w) = B.(v w) .
Una demostracion sigue de:
(v, w) =

1i<j2
[
v.e
i
w.e
i
v.e
j
w.e
j
[ (e
1
, e
2
) = B.(v w)
donde, para la ultima igualdad, ponemos
B =

1i<j2
(e
i
, e
j
)(e
i
e
j
) = (e
1
, e
2
)(e
1
e
2
)
despues de usar 4 de la observacion 2.11 y 1 de la observacion 4.4.
Corolario 4.22. Existe una una relacion biyectiva entre

2
() y /
2
()
Observacion 4.23. Los resultados anteriores nos dan una idea de que los
j-CV y la derivada geometrica brindan mayor informacion que sus correlatos:
Las j-FD y la derivada exterior.
4.5. Sobre una denicion de angulo orientado
Bosquejamos aqui algunas ideas que la estructura de AG(2) sugiere sobre el
particular:
En primera instancia, recurriendo al concepto y propiedades tradicionales de
angulo, caracterizaremos en el contexto de AG(2) la idea de angulo orientado
entre dos vectores considerada en el Criterio 2.11.
Proposici on 4.24. Dados cuatro 1-vectores: a, b, v y w S
(2,0)
y consideran-
do
1
= ((a, b)),
2
= ((v, w)) ], [, las siguientes identidades
son equivalentes:
26
1. ab = vw
2. cos
1
= cos
2
y sen
1
= sen
2
3.
1
=
2
Para una demostracion de la equivalencia de las dos primeras identidades se
usa dos veces 1 de la proposicion 2.25:
En primer lugar, poniendo
= ((e
1
, a)) y = ((e
1
, b)) ], [
se tiene
a = cos e
1
+ sen e
2
y b = cos e
1
+ sen e
2
de donde tenemos
ab = ae
1
e
1
b = e
()
= e

En segundo lugar, procediendo de modo analogo, pero ahora con u y v ,

tendremos
vw = e

Corolario 4.25. cos

1
= a.b y sen
1
= a.(b) = (a b)
A continuacion presentamos los ingredientes para dar una denicion:
Proposici on 4.26. Dados los 1-vectores a, b, v y w S
(2,0)
, se tiene:
1. La relacion 3mm(a, b) (v, w) a b = v w
es una relacion de equivalencia en S
(2,0)
S
(2,0)
2. ab = vw a.b = v.w y a b = v w
3. (v.w)
2
+ ((v w))
2
= 1
La segunda armaci on sigue de 1 de la observacion 4.2.
Para la tercera armaci on recordar las identidades
v.w =
vw + wv
2
y (v w) = (
vw wv
2
)
y, a seguir, hacer los calculos requeridos en AG(2).
Denicion 4.27. Dados los 1-vectores v y w S
(2,0)
,
27
1. Denimos el angulo orientado de v a w como:
(v, w) = '(v, w)` S
(2,0)
S
(2,0)
/
la clase de equivalencia de la relacion establecida en la proposicion an-
terior.
2. Denimos cos (v, w) = v.w y sen (v, w) = (v w) = v.(w)
A modo de conclusion podemos decir:
1. El concepto de angulo orientado no depende de la condici on de Dirac.
2. La medida de un angulo orientado y el concepto de giro orientado son
algebrizados por pares de 1-vectores unitarios (digamos u y v, de tal
modo que los sentidos opuestos estan determinados por los productos
geometricos uv y vu).
3. As como la metrica euclideana del plano y los n umeros complejos son
determinados por la estructura de AG(2), tambien los conceptos de giro
orientado, seno y coseno son determinados por dicha estructura.
4. Finalmente, si tomamos en cuenta el isomorsmo entre R
2
y C, explic-
itado en 1 de la observacion 2.8, aparece una relaci on de giro orientado
con pares ordenados de n umeros complejos que evoca la idea primigenia
de spinor dada por Pauli.
Referencias
[1] Bekken, O. Una Historia Breve del Algebra, Sociedad Matematica Peru-
ana, 1983.
[2] Bekken, O. Wessel on Vectors, Notes of a Workshop on the History of
Mathematics, Norway 1988.
[3] Doran-Lasenby Physical Applications of Geometric Algebra, Lecture
Course, Cambridge University.
[4] Hestenes, D. New Foundations for Classical Mechanics, Kluwer Academic
Publishers, 1993.
28
[5] Lounesto, P. Cliord Algebras and Spinors, Cambridge University Press,
2001.
[6] Snigg, J. Cliord Algebra, A Computacional tool for Physicists, Oxford
University Press, 1997.
[7] Vaz Jr., J. A algebra geometrica do espaco euclideano e a teora de Pauli,
Revista Brasileira de Ensino de Fsica, Vol. 19 numero 2, 1997.
[8] Vaz Jr., J. A algebra geometrica do espaco-tempo e a teora da relativi-
dade, Revista Brasileira de Ensino de Fsica, Vol. 22 numero 1, 2000.
29