LGEBRA GEOMTRICA E APLICAES

Augusto Csar Dias dos Reis

Universidade Federal de Mato Grosso do Sul
augusto0710@hotmail.com
RESUMO
Neste trabalho, apresentamos XXXXXXXXXXXXXXXXXXXXXXXX
Palavras-chave: XX, XX, XX.
1 INTRODUO
lgebra Geomtrica ou lgebra de Cliord uma representao generalizada das
lgebras de diviso at os quatrnions. tambm conhecida por ser uma linguagem
criada a partir de elementos geomtricos e das relaes existentes entre eles.
utilizada na resoluo de problemas em diversas reas, quando se deseja deter-
minar a posio tridimensional de pontos ou objetos, parados ou em movimento, que
obedecem a um conjunto de comandos bsicos.
rea do eletromagnetismo: obter dados geomtricos necessrios ao clculo do
campo eletromagntico total irradiado cuja variao no espao o diagrama de
radiao.
rea de nanotecnologia: como todos os produtos manufaturados so feitos de
tomos, suas propriedades e raes qumicas envolvidas dependem da forma como
os tomos esto dispostos, ou seja, dependem de sua conformao atmica. A
fabricao de chips de computadores d-se a partir da reorganizao de tomos
de areia, acrescentando dopantes.
Para entendermos bem os conceitos de lgebra Geomtrica, precisamos familiarizar-
nos com alguns conceitos de vetores, bivetores, trivetores, etc, objetivando certa natu-
ralidade com alguns conceitos de k-vetores.
importante tambm conhecer fatos histricos que marcaram o desenvolvimento
do clculo vetorial, alm de observar as relaes existentes entre a lgebra de Cliord,
os quatrnions de Hamilton e a lgebra de Gibbs-Heaviside.
2 UM POUCO DE HISTRIA
A Geometria Grega, formulada sistematicamente por Euclides de Alexandria
(300 A.C.), foi a primeira teoria abrangente no mundo fsico. Euclides mostrou que
a partir de hipteses simples do mundo fsico pode-se deduzir uma grande variedade
de relaes notveis.
Apesar da Matemtica grega sofrer reformulaes com o tempo, ela no perdeu
sua essncia. Depois de um longo perodo estagnada cientcamente, no sculo XVII,
a Matemtica "retornou das cinzas" com grandes estudiosos como Kepler, Galileu e
Newton.
Isaac Newton (1643 - 1727), em 1687, publicou seu trabalho Principia Mathe-
matica em que utilizou ideias, que aproximam-se do conceito de vetores. O tema ex-
plorado eram foras, e estas possuem "magnitude" e direo e podem ser combinadas,
ou adicionadas, formando novas foras.
William Rowan Hamilton (1805 - 1865), em 1837, publicou um extenso artigo
em que interpretava os nmeros complexos como pares ordenados, e ainda neste artigo
mencionou sua esperana em publicar sobre a teoria dos tripletos. Em 1843, aps trinta
anos de estudos dos tripletos, Hamilton descobriu os quatrnions, um dos principais
sistemas de anlise vetorial.
Hamilton devotou sua vida ao estudo dos quatrnions e morreu em 1865, deixando
um discpulo, Peter Guthrie Tait.
Alm de Hamilton, outros seis pesquisadores desenvolveram sistemas que eram pra-
ticamente caracterizados como sistemas vetoriais. Os pesquisadores eram: August Fer-
dinand Mbius, Matthew O. Brien, Giusto Bellavitis, Comte de Saint-Venant, Augustin
Cauchy e Hermann G. Grassmann.
Hermann Gnther Grassmann (1809 - 1877) foi professor de escola secundria
por toda sua vida, estudioso, em 1840 apresentou sua obra sobre Teoria do Fluxo e
Reuxo, o qual se tratava da teoria das mars e que continha seu primeiro sistema
de anlise espacial com vetores. Em 1844, Grassmann publicou a exposio completa
do seu sistema na obra de Die Lineale Ausdehnungslehre (Teoria de extenso linear),
que incluia um sistema mais amplo, estendendo a ideia de quatrnions para o espao
n-dimensional, introduzindo o conceito de nmeros hipercomplexos e o produto interno
e externo em espaos arbitrrios. Apesar de tudo, o trabalho de Grassmann no foi
bem aceito pelos seus contemporneos por conter ideias mais avanadas para a poca.
William Kingdon Cliord (1845 - 1879) foi um brilhante matemtico ingls,
professor da Universidade de Londres, um dos poucos a trabalhar conjuntamente os
sistemas Grassmanniano e Hamiltoniano. Em 1877, publicou uma obra elementar
sobre mecnica, Elements of Dynamic, unindo os dois sistemas. Cliord pode ter sido
a primeira pessoa a encontrar signicado no fato que duas diferentes interpretaes de
nmeros, podem ser distinguidas, a quantitativa e a operacional.
2
Na quantitativa, i representa uma medida de rea direcionada e na operacional, i
especica uma rotao no i -plano.
Cliord observou que Grassmann desenvolveu a idia de nmero direcionado do
ponto de vista quantitativo, enquanto, Hamilton enfatizou a interpretao operacional.
Aps dois anos da publicao de sua obra, Cliord faleceu e deixou seu trabalho
incompleto.
Josiah Willard Gibbs (1839 - 1903), Oliver Heaviside (1850 - 1925). Pri-
meiramente Gibbs, inuenciado pelo Tratado de Maxwell e pela extenso de Grass-
mann, publicou em 1881 um trabalho chamado Elementos de Anlise Vetorial e en-
viou por conta prpria para alguns especialistas. Este trabalho despertou interesses,
como em Heaviside que posteriormente desenvolveu um sistema vetorial anlogo e em
dissonncia como o sistema desenvolvido por Peter Tait.
A lgebra vetorial desenvolvida por Gibbs e Heaviside, com a tentativa de unicar os
sistemas de Grassmann e Hamilton, se estabeleceu, mesmo causando vrias discusses,
e a ensinada nos dias de hoje.
Apesar da tentativa de unicao, a nova lgebra desenvolvida por Gibbs e Hea-
viside no foi to satisfatria, pois no permitia a denio de produto vetorial em
qualquer dimenso e ainda o produto vetorial no era associativo.
Ento em 1878, surge a lgebra de Cliord, ou lgebra Geomtrica, que sintetiza
em nico esquema as boas propriedades das lgebras de Grassmann e Hamilton, por
meio da adio de um anlogo do produto quaterninico na estrutura da lgebra de
Grassmann, obtendo-se assim um sistema adaptado descrio algbrica dos entes
geomtricos de um espao am arbitrrio A
n
.
3 Vetores, Espaos Lineares e Cl
2
3.1 Vetores e Escalares
Escalares so quantidades determinadas por suas dimenses, medidos em unidades
de uma escala adequada.
Vetores so entes geomtricos que possuem comprimento, chamados de segmentos
orientados. O comprimento de um vetor v denotado por [v[. Dois vetores so iguais
se possuem mesmo comprimento, mesma direo e mesmo sentido. Vetores parelelos
so aqueles que possuem mesma direo. Quando dois vetores possuirem mesmo com-
primento, mesma direo, porm sentidos opostos, chamamos esses de vetores opostos.
3.1.1 Multiplicao por escalar
Denio 1. Dado um vetor a e um escalar R, o vetor a tem a mesma direo
de a, tem comprimento [a[ = [[|a| e sentido dado por
3
a a se > 0
a a se < 0
para a ,= 0.
A multiplicao por escalar satisfaz a distributividade, (a + b) = a + b, a
associatividade, ()a = (a), e a existncia do elementro neutro multiplicativo,
1a = a, para todo escalar real , e vetores a, b.
3.2 Bases e coordenadas
Num plano, quaisquer dois vetores e
1
, e
2
, no paralelos, formam uma base, se
um vetor arbitrrio do plano puder ser escrito como combinao linear deles, ou seja,
a = a
1
e
1
+ a
2
e
2
. Os nmeros a
1
, a
2
so chamados coordenadas ou componentes do
vetor a em relao a base e
1
, e
2
.
Quando uma base escolhida, seus elementos podem ser representados como as
matrizes linhas:
e
1
= (1, 0), e
2
= (0, 1),
e um vetor a do plano como a matriz linha:
a = (a
1
, a
2
).
3.3 Espaos Lineares e Funes Lineares
Denio 2. Um espao vetorial V sobre um corpo F um conjunto, cujos elementos
so chamados vetores e onde so denidas as operaes:
+ : V V V, u +v = w, (1)
e
: F V V, v = w, (2)
: V F V, v = w. (3)
A aplicao interna denida pela Equao 3.1 dita soma de vetores e a aplicao
dita multiplicao de escalar por vetor. Tal aplicao tal que para v, w V e
F = R, C tem-se:
v = w = v . (4)
No que se segue escreveremos como usual, v = v = v = v.
4
As aplicaes + e devem satisfazer, para quaisquer , F e u, v, w V , os
seguintes axiomas:
Comutatividade: u +v = v +u;
Associatividade: (u +v) +w = u + (v +w) e ()v = (v);
Vetor Nulo: existe um vetor 0 V , chamado vetor nulo, ou vetor zero, tal que v+0 =
0 +v = v;
Inverso aditivo: para cada v V existe v V , chamado inverso aditivo, ou o
simtrico de v, tal que v +v = v = (v) = 0;
Distributividade: ( + )v = v + v e (u +v) = u + v;
Multiplicao por 1 F : 1v = v.
3.3.1 Subespaos Vetoriais
Um suconjunto U de um espao linear V chamado subespao linear de V , se fechado
para as seguintes operaes de espao linear:
a +b U, a, b U, (5)
a +b U, F, a, b U (6)
Denio 3. Sejam V e W dois espaos vetoriais sobre F. Uma transformao linear
uma aplicao de V em W, F : V W, que satisfaz as seguintes condies:
i) Quaisquer que sejam u, v V ,
F(u +v) = F(u) + F(v);
ii) Quaisquer que sejam k F e v V ,
F(kv) = kF(v).
3.4 Espaos Ans
Denio 4. Seja X ,= um conjunto e V um espao vetorial sobre F. Uma estrutura
am para X com espao vetorial V uma aplicao : X X V ; (x, a) x a
tal que:
(i) Para todo a X xo, a aplicao
a
: X V ; x x a bijetora;
(ii) (Axioma do tringulo) a, b, x X, (x b) + (b a) = (x a);
Fazendo a = b = x, em (ii) temos:
(iii) x X, x x = 0;
Fazendo a = x, em (ii) temos:
5
(iv) a, b X, b a = (a b)
A aplicao chamada subtrao e os elementos de V so, naturalmente, chamados
de vetores. O vetor (ba) dito diferena do par (a, b) XX ou ainda de segmento
orientado de a para b. Um espao am (X, V, ) uma dupla (X, V ) onde X um
conjunto no vazio e V um espao vetorial, dotado de uma estrutura am xa.
Sempre que possvel (X, V, ) ser frequentemente abreviado para X.
3.5 Vetores Livres e Tangentes de um Espao Am (X, V, )
Da denio 4 segue que a aplicao X a V ; (x, a) x a tambm
bijetora para qualquer escolha de a X, e induz uma estrutura linear sobre X a;
com (a, a) como origem. O espao linear induzido chamado de espao tangente a X
em a e denotado por TX
a
. Seus elementos so chamados de vetores tangentes a X em
a.
A aplicao : X X V sobrejetora, pelo axioma (i) da Denio 4 e assim
a aplicao
inj
: (X X) V bijetora, induzindo uma estrutura linear sobre
(X X), o conjunto de segmentos orientados da estrutura am . O espao linear
induzido chamado de espao dos vetores livres sobre X, e seus elementos so chamados
de vetores livres sobre X.
Os vetores tangentes (x

, a

) X a

e (x, a) X a so ditos equivalentes

(ou paralelos) se so representados pelo mesmo vetor livre, e escrevemos (x

, a

)|(x, a).
Logo
(x

, a

)|(x, a) x

= x a. (7)
3.6 Independncia Linear, Dimenso de V
Um vetor b V dito uma combinao linear dos vetores a
1
, a
2
, a
3
, , a
k
se puder
ser escrito como a soma de mltiplos dos vetores a
1
, a
2
, a
3
, , a
k
.
b =
1
a
1
+
2
a
2
+
3
a
3
+ +
k
a
k
, (8)
onde
i
F, e i = 1, 2, 3, , k.
As combinaes lineares de a
1
, a
2
, a
3
, , a
k
V formam um subespao de V e
dizemos que este subespao gerado por a
1
, a
2
, a
3
, , a
k
.
O conjunto a
1
, a
2
, a
3
, , a
k
dito linearmente independente, se nenhum desses
vetores puder ser escrito como combinao linear dos outros, ou seja, se
1
a
1
+
2
a
2
+
+
k
a
k
= 0, implica que
1
=
2
=
3
= =
k
= 0.
Neste caso, o conjunto linearmente independente a
1
, a
2
, a
3
, , a
k
V uma
base para V e os nmeros
i
, i = 1, 2, 3, , k, na equao anterior so nicos e so
chamados de coordenadas de b com relao a base a
1
, a
2
, a
3
, , a
k
.
6
Pode-se mostrar sem diculdades que toda base de V tem exatamente o mesmo
nmero de elementos, chamado dimenso de V , que ser denotado dimV = k.
3.7 Produto Escalar
Agora vamos denir Produto Escalar ou Produto Interno para, em seguida, denirmos
ngulo e comprimento.
Denio 5. Diz-se produto escalar em V
n
, onde V
n
um espao vetorial n-dimensional
sobre R, uma aplicao : V
n
V
n
R que satisfaz, R, as seguintes proprieda-
des:
_

_
(a +b) c = a c +b c
(a) b = (a b) (linearidade do primeiro fator)
a (b) = (a b) (linearidade do segundo fator)
a b = b a (comutatividade)
a a > 0, a ,= 0 (produto positivo denido)
(9)
A partir de agora, neste captulo, trabalharemos com V
n
= R
2
. Considerando a
base usual de R
2
, e
1
, e
2
, temos que:
e
i
e
j
=
ij
,
onde

ij
=
_
1, se i = j,
0, se i ,= j
o produto escalar de dois vetores a = a
1
e
1
+ a
2
e
2
e b = b
1
e
1
+ b
2
e
2
o nmero real
denido como a b = a
1
b
1
+ a
2
b
2
.
Dene-se o ngulo (0 ) entre a e b pela equao:
a b = [a[[b[cos. (10)
O comprimento (ou magnitude) de um vetor a denido por:
[a[ =

a a =
_
a
2
1
a
2
2
. (11)
Dois vetores so ortogonais se o produto interno entre eles nulo, ou seja, a b = 0.
Um vetor dito unitrio se possui comprimento igual a 1, isto , [a[ = 1. Se os vetores
da base so ortogonais e unitrios, esta chamada base ortonormal, como exemplo,
temos a base cannica e
1
, e
2
.
3.7.1 Espaos Vetorial e Am Euclidianos
O espao vetorial R
2
chamado de espao vetorial euclidiano, quando for dotado
do produto escalar a b = a
1
b
1
+ a
2
b
2
. O espao vetorial R
2
chamado de espao
7
euclidiano bidimensional ou plano euclidiano, sempre que for espao am, dotado de
produto escalar em sua subestrutura vetorial.
Assim, podemos denir, trivialmente, o conceito de distncia.
Denio 6. Sejam x, y X = R
2
a distncia entre esses pontos a aplicao
d : X X R,
d(x, y) = [x y[
3.8 Produto de Cliord para vetores e bivetores
Seja o espao am (X = R
2
, V = R
2
, ). Tome dois vetores unitrios ortogonais
e
1
, e
2
T
o
R
2
, o X = R
2
. O comprimento do vetor r = xe
1
+ ye
2
[r[ =
_
x
2
+ y
2
.
Denimos agora uma multiplicao entre vetores:
r
2
= [r[
2
. (12)
Usando as coordenadas dos vetores, reescrevemos a equao anterior como:
(xe
1
+ ye
2
)
2
= x
2
+ y
2
.
Supondo que o produto de Cliord satisfaa o axioma da distributividade, porm,
sem assumir a comutatividade, obtemos:
(xe
1
+ye
2
)
2
= (xe
1
+ye
2
)(xe
1
+ye
2
) = x
2
e
2
1
+y
2
e
2
2
+xy(e
1
e
2
+e
2
e
1
) = x
2
+y
2
.
Porm, isto s vale se os vetores e
1
e e
2
so tais que:
e
2
1
= e
2
2
= 1,
e
1
e
2
= e
2
e
1
.
Logo, temos:
[e
1
[ = [e
2
[ = 1,
e
1
e
2
Supondo a associatividade do produto de Cliord, temos:
(e
1
e
2
)
2
= e
1
e
2
e
1
e
2
= e
1
e
2
e
2
e
1
= e
1
1e
1
= 1.
Isso nos leva a perceber que temos um novo tipo de ente matemtico, que chamamos de
bivetor, pois o quadrado de e
1
e
2
negativo. Este produto representa geometricamente
a rea plana orientada do quadrado denido por e
1
, e
2
.
A partir de agora usaremos a seguinte notao: e
1
e
2
= e
12
.
Denio 7. Denimos o produto de Cliord para dois vetores a = a
1
e
1
+ a
2
e
2
e
b = b
1
e
1
+b
2
e
2
por: ab = a
1
b
1
+a
2
b
2
+(a
1
b
2
a
2
b
1
)e
12
, isto , a soma de um escalar
com um bivetor.
8
3.9 A lgebra de Cliord Cl
2
A base para o espao linear da lgebra de Cliord Cl
2
do espao vetorial R
2
formada
por quatro elementos: um escalar, e
1
, e
2
vetores e e
12
bivetor, ou seja, se u que um
elemento de Cl
2
escrito como combinao linear do escalar u
0
, do vetor u
1
e
1
+ u
2
e
2
e do bivetor u
12
e
12
, u = u
0
+ u
1
e
1
+ u
2
e
2
+ u
12
e
12
.
Observao 1. A lgebra de Cliord Cl
n
de R
n
contm 0-vetores (escalares), 1-
vetores (ou simplesmente vetores), 2-vetores, ..., n-vetores. Os agregados dos k-vetores
fornecem ao espao linear Cl
n
uma estrutura multivetorial que se denota por:
Cl
n
=
0

R
n

R
n

R
n

n

R
n
.
Os subespaos
k

R
n
so ditos espaos dos k-vetores e temos a identicao
0

R
n
R
e
1

R
n
R
n
.
Vamos estudar agora os resultados do seguinte exemplo para podermos introduzir
o produto de Cliord entre elementos arbitrrios de Cl
2
.
Exemplo 1. Seja a = e
2
e
12
, b = e
1
+e
2
, c = 1 +e
2
. Calcule ab, ac e ba.
Soluo: Aplicando a distributividade temos:
ab = (e
2
e
12
)(e
1
+e
2
) = e
2
e
1
+e
2
e
2
e
12
e
1
e
12
e
2
= e
12
+1 +e
2
e
1
= 1 e
1
+e
2
e12,
ac = (e
2
e
12
)(1 +e
2
) = e
2
+1 e
12
e
1
= 1 e
1
+e
2
e
12
ba = (e
1
+e
2
)(e
2
e
12
) = e
12
e
1
e
12
+e
2
e
2
e
2
e
12
= e
12
e
2
+1 +e
1
= 1 +e
1
e
2
+e
12
.
O que nos mostra que ab = ac com b ,= c e ab ,= ba. Resumidamente, uma tabela
para a multiplicao dos elementos da base do espao linear da lgebra de Cliord Cl
2
,
:
e
1
e
2
e
12
e
1
1 e
12
e
2
e
2
e
12
1 e
1
e
12
e
2
e
1
1
3.9.1 Produto Exterior
Extraindo a parte escalar e bivetor do produto de Cliord, temos:
a b = a
1
b
1
+ a
2
b
2
(o produto escalar de a por b)
a b = (a
1
b
2
a
2
b
1
)e
12
(o produto exterior de a por b)
9
O bivetor a b representa a orientao do segmento plano do paralelogramo de lados
a e b. A rea deste paralelogramo [a
1
b
2
a
2
b
1
[ e denotaremos esta rea por:
[a b[ = [a
1
b
2
a
2
b
1
[
e diremos que ela a magnitude do bivetor a b. Logo visualizamos que o parale-
Figura 1:
logramo denido por (a, b), pode ser algebricamente representado como um tipo de
produto geomtrico dos seus lados.
Os bivetores a b e b a possuem mesma magnitude porm sentidos opostos. Ou
seja:
a b = b a.
Figura 2:
Assim, podemos reescrever a equao ab = a
1
b
1
+ a
2
b
2
+ (a
1
b
2
a
2
b
1
)e
12
como:
ab = a b +a b.
A equao ba = b
1
a
1
+ b
2
a
2
+ (b
1
a
2
b
2
a
1
)e
12
tambm pode ser reescrita como:
ba = b a +b a = a b a b.
10
Logo, adicionando e subtraindo as equaes acima, obtemos:
+
_
ab = a b +a b
ba = a b a b
ab +ba = 2(a b) a b =
1
2
(ab +ba) (13)

_
ab = a b +a b
ba = a b a b
ab ba = 2(a b) a b =
1
2
(ab ba) (14)
Se a b = 0 temos:
1
2
(ab ba) = 0 ab ba = 0 ab = ba,
quando isto acontece dizemos que os vetores a e b so paralelos. Quando ab = ba
dizemos que os vetores a e b so ortogonais. Logo temos:
ab = ba a | b a b = 0 ab = a b, (15)
ab = ba a b a b = 0 ab = a b. (16)
Exemplo 2. Consideremos a decomposio do vetor r em duas componentes, uma
paralela ao vetor a e a outra paralela ao vetor b, onde a b. Ou seja, vamos determinar
os coecientes e na decomposio r = a + b.
O coeciente pode ser obtido por meio do produto exterior r b = (a+b)b =
(a b) + (b b) = (a b) + 0 = (a b), logo r b = (a + b) b =
(a b) + (b b) = (a b) + 0 = (a b), logo r b = (a b).
Para obtermos o coeciente procedemos de modo anlogo: a r = a (a +
b) = (a a) + (a b) = 0 + (a b) = (a b). Logo a r = (a b).
Como nas duas ltimas equaes ambos os lados so mltiplos de e
12
podemos escrever
simbolicamente
1
:
=
r b
a b
,
=
a r
a b
.
Os coecientes e podem ser obtidos visualmente comparando as reas orientadas
(ao invs de comprimentos) na seguinte gura:
Exerccio 1. Seja a = e
1
2e
2
; b = e
1
+e
2
; r =5e
1
e
2
. Calcule , na decompo-
sio r = a + b.
Demonstrao. Temos que b a = (e
1
+e
2
) (e
1
2e
2
) = e
1
+e
2
e
1
+ 2e
2
=
3e
2
e
2
=
1
3
(ba). Temos tambm que a+2b = e
1
2e
2
+2(e
1
+e
2
) = e
1
2e
2
+
2e
1
+ 2e
2
= 3e
1
e
1
=
1
3
(a + 2b).
1
Como um elemento da lgebra exterior

R
2
o bivetor a b = (a
1
b
2
a
2
b
1
)e
12
no possui
inverso. Como um elemento da lgebra de Cliord Cl
2
o bivetor no nulo a b possui inverso.
11
Figura 3:
Agora substituimos e
1
e e
2
em r: r = 5
_
1
3
(a + 2b)
_

1
3
(ba) = 5
_
1
3
a +
2
3
b
_

1
3
(b a) =
5
3
a +
10
3
b
1
3
b +
1
3
a = 2a + 3b. Portanto = 2 e = 3.
3.9.2 Projees Perpendiculares e Reexes
Calcularemos a componente de a na direo de b quando dois vetores divergem por
um ngulo , 0 < < . A componente paralela a

um escalar mltiplo do vetor

unitrio
b
[b[
:
a

= [a[ cos
b
[b[
= [a[[b[ cos
b
[b[
2
(17)
Ou seja, a componente a

o produto escalar
a b = [a[[b[ cos ,
multiplicado pelo vetor b
1
=
b
[b[
, chamado de inverso
2
de b. Assim,
a

= (a b)
b
[b[
2
= (a b)b
1
. (18)
A ltima frmula nos diz que na projeo de a na direo do vetor b, o comprimento
do vetor b no importante.
A componente perpendicular a

dada pela diferena:

a

= a a

= a (a b)b
1
= (ab a b)b
1
= (a b)b
1
. (19)
Perceba que o vetor e
12
anti-comuta com todos os vetores do plano e
1
e
2
, assim
(a b)b
1
= b
1
(a b) = b
1
(b a) = (b a)b
1
. (20)
2
O inverso b
1
do vetor no-nulo b R
2
Cl
2
satisfaz b
1
b = bb
1
= 1 na lgebra de Cliord
Cl
2
. Um vetor e seu inverso so vetores paralelos.
12
Figura 4:
A rea do paralelogramo com lados a, b dada por:
[a

b[ =

(a b)b
1
b

= [a b[ = [a[[b[ sen , onde 0 < < . (21)

A reexo de um vetor r atravs do vetor a resulta no vetor r

. Se, r = r

+r

e
r

= r

, por 18 e 19 podemos escrever

r

= r

= (r a)a
1
(r a)a
1
= (r a r a)a
1
= (a r +a r)a
1
= ara
1
.
Mas, por outro lado de 13, podemos escrever:
r

= (2a r ra)a
1
(22)
= 2
a r
a
2
a r. (23)
Figura 5:
A frmula r

= ara
1
pode ser obtida diretamente, usando-se as propriedades do
produto de Cliord
3
: decompondo r = r

+r

, onde ar

a
1
= r

aa
1
= r

, enquanto
ar

a
1
= r

aa
1
= r

.
3
Como a paralelo a r

, ento ar

= r

a e como a perpendicular a r

ento ar

= r

a.
13
A composio de duas reexes (primeiro por a e depois por b) dada por
r r

= ara
1
r

= br

b
1
= b(ara
1
)b
1
= (ba)r(ba)
1
.
Figura 6:
Observamos, facilmente, que a composio dessas duas reexes nada mais do
que uma rotao por um ngulo que duas vezes o valor do ngulo entre a e b.
4 Representao Matricial de Cl
2
At agora introduzimos, de maneira informal, a lgebra de Cliord Cl
2
associada ao
espao vetorial R
2
. Esta uma lgebra de dimenso 4 sobre R e como tambm
associativa, a lgebra de Cliord Cl
2
isomorfa a lgebra das matrizes 2 2 com
entradas reais, que denotaremos por Mat(2, R). Sendo assim, temos:
1
_
1 0
0 1
_
, e
1

_
1 0
0 1
_
, e
2

_
0 1
1 0
_
, e
12

_
0 1
1 0
_
.
Porm, a lgebra de Cliord Cl
2
possui mais estrutura do que a lgebra das matrizes
Mat(2, R). Por exemplo, por denio temos o subespao dos 1-vetores R
2
Cl
2
.
Nenhum subespao semelhante privilegiado na lgebra matricial Mat(2, R).
Representamos um elemento arbitrrio u Cl
2
com a seguinte correspondncia de
Mat(2, R):
u = u
0
+ u
1
e
1
+ u
2
e
2
+ u
12
e
12
u
0
_
1 0
0 1
_
+ u
1
_
1 0
0 1
_
+ u
12
_
0 1
1 0
_
,
ou
u
_
u
0
+ u
1
u
2
+ u
12
u
2
u
12
u
0
u
1
_
.
14
Tambm dado
_
a b
c d
_
Mat(2, R) temos:
_
a b
c d
_
= a
_
1 0
0 0
_
+ b
_
0 1
0 0
_
+ c
_
0 0
1 0
_
+ d
_
0 0
0 1
_
,
Ou seja,
_
a b
c d
_

1
2
[(a + d) + (a d)e
1
+ (b + c)e
2
+ (b c)e
12
],
Demonstrao.
1
2
_
(a + d)
_
1 0
0 1
_
+ (a d)
_
1 0
0 1
_
+ (b + c)
_
0 1
1 0
_
+ (b c)
_
0 1
1 0
__

1
2
_
a + d + a d b + c + b c
b + c b + c a + d a + d
_

1
2
_
2a 2b
2c 2d
_

_
a b
c d
_
Dizemos que u Cl
2
reverso de u Cl
2
, em que u representado pela matriz
_
a b
c d
_
Mat(2, R) e u corresponde a sua matriz transposta.
u =
_
a b
c d
_
T
=
_
a c
b d
_
A operao de reverso denida por
: Cl
2
Cl
2
u u
tal que se escrevemos u = u
0
+u
1
e
1
+u
2
e
2
+u
12
e
12
ento temos u = u
0
+u
1
e
1
+u
2
e
2

u
12
e
12
.
Demonstrao.
_
u
0
+ u
1
u
2
+ u
12
u
2
u
12
u
0
u
1
_
=
_
a b
c d
_
.
Tem-se que:
15
u
_
a b
c d
_
T
=
_
a c
b d
_
=
_
u
0
+ u
1
u
2
u
12
u
2
+ u
12
u
0
u
1
_
= u
0
_
1 0
0 1
_
+ u
1
_
1 0
0 1
_
+ u
2
_
0 1
1 0
_
+ u
12
_
0 1
1 0
_
u
0
+ u
1
e
1
+ u
2
e
2
u
12
u
1
2.
Tambm temos que a matriz adjunta de
_
a c
b d
_
Mat(2, R), que representa um
u Cl
2
, ou seja,
(ad bc)
_
a c
b d
_
1
=
_
d b
c a
_
corresponde ao elemento u Cl 2, chamado Cliord conjugado, ou apenas conjugado,
de u Cl
2
. A operao de conjugao em Cl
2
denida por:
: Cl
2
Cl
2
u u
tal que se escrevermos u = u
0
+ u
1
e
1
+ u
2
e
2
+ u
12
e
12
, o elemento u Cl
2
ento
u = u
0
u
1
e
1
u
2
e
2
u
12
e
12
.
Demonstrao.
u (ad bc)
_
a c
b d
_
1
=
_
d b
c a
_
=
_
u
0
u
1
u
2
u
12
u
2
+ u
12
u
0
+ u
1
_
= u
0
_
1 0
0 1
_
+ u
1
_
1 0
0 1
_
+ u
2
_
0 1
1 0
_
+ u
12
_
0 1
1 0
_
u
0
u
1
e
1
u
2
e
2
u
12
e
12
.
Alm da reverso e do Cliord-conjugado, temos a involuo graduada que corres-
ponde ao elemento u Cl
2
representado pela transposta da matriz adjunta de
_
a b
c d
_
Mat(2, R).
Essa operao denida por:
: Cl
2
Cl
2
u u
tal que se escrevermos u = u
0
+u
1
e
1
+u
2
e
2
+u
12
e
12
, ento u = u
0
u
1
e
1
u
2
e
2
+u
12
e
12
.
Vamos vericar que esta identicao est correta.
16
Demonstrao.
u
_
d b
c a
_
T
=
_
d c
b a
_
=
_
u
0
u
1
u
2
+ u
12
u
2
u
12
u
0
+ u
1
_
= u
0
_
1 0
0 1
_
u
1
_
1 0
0 1
_
u
2
_
0 1
1 0
_
+ u
12
_
0 1
1 0
_
u
0
u
1
e
1
u
2
2 + u
12
e
12
Observao 2. A composio entre a involuo graduada e a reverso nos fornece o
Cliord-conjugado.
Demonstrao.
(u) = ( u) = (u
0
+ u
1
e
1
+ u
2
e
2
u
12
e
12
)
= (u
0
) +(u
1
e
1
) +(u
2
e
2
) (u
12
e
12
)
= u
0
u
1
e
1
u
2
e
2
u
12
e
12
u.
(u) = (u
0
u
1
e
1
u
2
e
2
+ u
12
e
12
)
= (u
0
) (u
1
e
1
) (u
2
e
2
)+ (u
12
e
12
)
= u
0
u
1
e
1
u
2
e
2
u
12
e
12
u.
A reverso e o Cliord-conjugado so anti-involues (antiautomorsmos).
Denio 8. Seja / uma lgebra e denote por o produto em /. Uma aplicao
bijetora:
f : / /
tal que
f(a b) = f(a) f(b), a, b /,
dita um automorsmo. Uma aplicao bijetora
l : / /
tal que
l(a b) = l(a) l(b), a, b /,
dita um antiautomorsmo.
Denio 9. Uma aplicao
i : / /
dito uma involuo se, e somente se,
i
2
(a) := i i(a) = a, a /
17
Teorema 1. Dado u = u
0
+ u
1
e
1
+ u
2
e
2
+ u
12
e
12
Cl
2
, as operaes u (reverso),
u (conjugao) e u (involuo graduada) so involues, u um automorsmo, u e u
so antiautomorsmos.
Demonstrao.
(u) =

( u) =

(u
0
u
1
e
1
u
2
e
2
+ u
12
e
12
)
=

(u
0
)

(u
1
e
1
)

(u
2
e
2
) +

(u
12
e
12
)
= u
0
(u
1
e
1
) (u
2
e
2
) + u
12
e
12
= u
0
+ u
1
e
1
+ u
2
e
2
+ u
12
e
12
= u
(u) =

( u) =

(u
0
+ u
1
e
1
+ u
2
e
2
u
12
e
12
)
=

(u
0
) +

(u
1
e
1
) +

(u
2
e
2
)

(u
12
e
12
)
= u
0
+ u
1
e
1
+ u
2
e
2
(u
12
e
12
)
= u
0
+ u
1
e
1
+ u
2
e
2
+ u
12
e
12
= u
(u) =

(u) =

(u
0
u
1
e
1
u
2
e
2
u
12
e
12
)
=

(u
0
)

(u
1
e
1
)

(u
2
e
2
)

(u
12
e
12
)
= u
0
(u
1
e
1
) (u
2
e
2
) (u
12
e
12
)
= u
0
+ u
1
e
1
+ u
2
e
2
+ u
12
e
12
= u
Logo u, u e u so involues.
Vamos mostrar agora que u automorsmo.
Demonstrao. Seja v = v
0
+ v
1
e
1
+ v
2
e
2
+ v
12
e
12
. Ento:

(uv) =

[(u
0
+ u
1
e
1
+ u
2
e
2
+ u
12
e
12
)(v
0
+ v
1
e
1
+ v
2
e
2
+ v
12
e
12
)]
=

[u
0
v
0
+ u
0
v
1
e
1
+ u
0
v
2
e
2
+ u
0
v
12
e
12
+ u
1
e
1
v
0
+ u
1
e
1
v
1
e
1
+ u
1
e
1
v
2
e
2
+u
1
e
1
v
12
e
12
+ u
2
e
2
v
0
+ u
2
e
2
v
1
e
1
+ u
2
e
2
v
2
e
2
+ u
2
e
2
v
12
e
12
+u
12
e
12
v
0
+ u
12
e
12
v
1
e
1
+ u
12
e
12
v
2
e
2
+ u
1
2e
12
v
12
e
12
]
= (u
0
v
0
+ u
1
v
1
+ u
2
v
2
+ u
12
v
12
) (u
0
v
1
e
1
+ u
0
v
2
e
2
+ u
1
e
1
v
0
+ u
1
v
12
e
2
+u
2
e
2
v
0
u
2
v
12
e
1
u
12
v
1
e
2
+ u
12
e
1
v
2
) + (u
0
v
12
e
12
+ u
1
e
12
v
2
+u
2
e
21
v
1
+ u
12
e
12
v
0
)
= (u
0
u
1
e
1
u
2
e
2
+ u
12
e
12
)(v
0
v
1
e
1
v
2
e
2
+ v
12
e
12
) = u v automorsmo.
18
Analogamente vamos mostrar que u e u so antiautomorsmos.

(uv) =

[(u
0
+ u
1
e
1
+ u
2
e
2
+ u
12
e
12
)(v
0
+ v
1
e
1
+ v
2
e
2
+ v
12
e
12
)]
=

[u
0
v
0
+ u
0
v
1
e
1
+ u
0
v
2
e
2
+ u
0
v
12
e
12
+ u
1
e
1
v
0
+ u
1
e
1
v
1
e
1
+ u
1
e
1
v
2
e
2
+u
1
e
1
v
12
e
12
+ u
2
e
2
v
0
+ u
2
e
2
v
1
e
1
+ u
2
e
2
v
2
e
2
+ u
2
e
2
v
12
e
12
+u
12
e
12
v
0
+ u
12
e
12
v
1
e
1
+ u
12
e
12
v
2
e
2
+ u
1
2e
12
v
12
e
12
]
= (u
0
v
0
+ u
1
v
1
+ u
2
v
2
+ u
12
v
12
) + (u
0
v
1
e
1
+ u
0
v
2
e
2
+ u
1
e
1
v
0
+ u
1
v
12
e
2
+u
2
e
2
v
0
u
2
v
12
e
1
u
12
v
1
e
2
+ u
12
e
1
v
2
) (u
0
v
12
e
12
+ u
1
e
12
v
2
+u
2
e
21
v
1
+ u
12
e
12
v
0
)
= (v
0
u
0
+ v
1
u
1
+ v
2
u
2
+ v
12
u
12
) + (v
0
u
1
e
1
+ v
0
u
2
e
2
+ v
1
e
1
u
0
+ v
1
u
12
e
2
+v
2
e
2
u
0
v
2
u
12
e
1
v
12
u
1
e
2
+ v
12
e
1
u
2
) (v
0
u
12
e
12
+ v
1
e
12
u
2
+v
2
e
21
u
1
+ v
12
e
12
u
0
)
= (v
0
v
1
e
1
v
2
e
2
+ v
12
e
12
)(u
0
u
1
e
1
u
2
e
2
+ u
12
e
12
) = v u

(uv) =

[(u
0
+ u
1
e
1
+ u
2
e
2
+ u
12
e
12
)(v
0
+ v
1
e
1
+ v
2
e
2
+ v
12
e
12
)]
=

[u
0
v
0
+ u
0
v
1
e
1
+ u
0
v
2
e
2
+ u
0
v
12
e
12
+ u
1
e
1
v
0
+ u
1
e
1
v
1
e
1
+ u
1
e
1
v
2
e
2
+u
1
e
1
v
12
e
12
+ u
2
e
2
v
0
+ u
2
e
2
v
1
e
1
+ u
2
e
2
v
2
e
2
+ u
2
e
2
v
12
e
12
+u
12
e
12
v
0
+ u
12
e
12
v
1
e
1
+ u
12
e
12
v
2
e
2
+ u
1
2e
12
v
12
e
12
]
= (u
0
v
0
+ u
1
v
1
+ u
2
v
2
+ u
12
v
12
) (u
0
v
1
e
1
+ u
0
v
2
e
2
+ u
1
e
1
v
0
+ u
1
v
12
e
2
+u
2
e
2
v
0
u
2
v
12
e
1
u
12
v
1
e
2
+ u
12
e
1
v
2
) (u
0
v
12
e
12
+ u
1
e
12
v
2
+u
2
e
21
v
1
+ u
12
e
12
v
0
)
= (v
0
u
0
+ v
1
u
1
+ v
2
u
2
+ v
12
u
12
) (v
0
u
1
e
1
+ v
0
u
2
e
2
+ v
1
e
1
u
0
+ v
1
u
12
e
2
+v
2
e
2
u
0
v
2
u
12
e
1
v
12
u
1
e
2
+ v
12
e
1
u
2
) (v
0
u
12
e
12
+ v
1
e
12
u
2
+v
2
e
21
u
1
+ v
12
e
12
u
0
)
= (v
0
v
1
e
1
v
2
e
2
v
12
e
12
)(u
0
u
1
e
1
u
2
e
2
u
12
e
12
) = v u
u e u so antiautomorsmos.
19