Igor Oliveira Monteiro

Algebra geometrica do espaco euclidiano:

conceitos basicos e algumas aplicacoes
fsicas
Rio Grande - RS
Fevereiro de 2009
Igor Oliveira Monteiro

Algebra geometrica do espaco euclidiano:

conceitos basicos e algumas aplicacoes
fsicas
Monograa apresentada `a banca examina-
dora da Universidade Federal do Rio Grande,
como exigencia parcial para obtencao do grau
de bacharel em Fsica.
Orientador: L ucio Souza Fassarella
Universidade Federal do Rio Grande
Rio Grande - RS
Fevereiro de 2009
Monograa de conclus ao de curso sob o ttulo

Algebra geometrica do espaco euclidi-

ano: conceitos basicos e algumas aplicacoes fsicas, defendida por Igor Oliveira Monteiro
e aprovada e em 15 de dezembro de 2008, em Rio Grande, Estado do Rio Grande do Sul,
pela banca examinadora constituida pelos doutores:
Prof. Dr. L ucio Souza Fassarella
Orientador
Prof. Dr. Cristiano Brenner Mariotto
Universidade Federal de Rio Grande
Prof. Dr. Leandro Sebben Bellicanta
Universidade Federal de Rio Grande
Dedico este trabalho a minha namo-esposa Sandra por ter
me incentivado e me dado forca para chegar ate aqui.
Agradecimentos
Apresentar os agradecimentos necessarios e o mnimo que devo fazer a tantos que me
ajudaram e me apoiaram ao longo deste curso. Ressalto a todos que colaboraram que
devo a voces a realiza cao de um dos maiores sonhos da minha vida. Nao sei como consegui
chegar ate aqui, mas posso dizer que em determinado instante a voca cao bateu na minha
porta e aqui estou concluindo o curso. Poucos sabem o quanto isso foi difcil.
Ent ao vamos aos agradecimentos. Comeco agradecendo ` a minha namorada Sandra
pelo carinho e compreens ao e por ter feito tantas coisas que deviam ser feitas por mim
para que eu pudesse me dedicar ao curso.
Agradeco aos meus pais Paulo Roberto e Maria do Carmo por conar em mim e nos
meus sonhos, mesmo quando um desses sonhos e difcil de entender como foi o caso da
fsica te orica.
Agradeco aos meus avos Ant onio e Venina por terem me ajudado a chegar ate aqui.
Agradeco aos meus dindos Zeca e Mariluce por toda a ajuda e pelos conselhos nos
momentos de d uvidas.
Agradeco ao meu orientador L ucio por ter aceitado me orientar e por ter dedicado
tantas horas no desenvolvimento desta monograa. Tua ajuda fez a monograa parecer
trivial.
Agradeco `a professora Elisa Fernandes do Instituto de Oceanograa da FURG por ter
mais uma vez me ajudado e por ter sido exvel para que eu pudesse desenvolver minhas
atividades como bolsista no Laboratorio de Oceanograa Fsica e ao mesmo tempo pudesse
cursar a fsica teorica.
Agradeco aos professores do curso de fsica te orica Cl audio Maekawa, Marcos Rodri-
guez, Cristiano Mariotto, Fernando Kokubun e Luis Almeida pela dedicacao ao ensino da
fsica. O esforco de voces deve servir de exemplo a todos os professores de nossa univer-
sidade. Em especial agradeco ao professor Claudio por ter suportado tantas perguntas e
por seus in umeros pronunciamentos sobre a pross ao de fsico, ao professor Marcos por ter
me incentivado e ter me emprestado seus livros varias vezes para que eu pudesse estudar,
ao professor Cristiano por ter conado em mim permitindo que eu chegasse atrasado nas
aulas de termodin amica.
Agradeco tambem `a professora Eliane Cappelleto por ter me oferecido a disciplina de
otica em outro semestre permitindo que eu conclusse o curso.
Agradeco aos meus colegas de aula e amigos Daneele, Danusa, Diego, Luis Ricardo,
Rafael e Thiago por tantas discuss oes sobre fsica e muitas outras coisas legais.
Agradeco aos professores do instituto de matematica e estatstica da UNICAMP,
Jayme Vaz e Ricardo Mosna pelas conversas por e-mail sobre a algebra geometrica e por
terem me nanciado para que eu pudesse participar do 8th International Conference on
Cliord Algebra (ICCA 8) onde eu aprendi muitas coisas e tive a oportunidade de conhecer
pessoas lend arias no estudo da algebra geometrica como o David Hestenes.
Agradeco tambem ` a superintendencia estudantil por ter nanciado parcialmente a
minha participac ao no ICCA 8.
Agradeco ` a Marcinha da Comissao de Curso de Fsica e `a professora Aline por terem
me ajudado a lidar com as questoes burocr aticas da Universidade.
Sumario
Lista de Figuras
Resumo
1 Minha monograa p. 11
2 Justicativa p. 13
3 Hipotese e Objetivo p. 15
4 Desenvolvimento da algebra geometrica p. 16
5 Denicao do produto geometrico p. 29
5.1 Propriedades do produto geometrico entre dois vetores . . . . . . . . . p. 30
5.1.1 Comutatividade . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 30
5.1.2 Distributividade . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 30
5.1.3 Multiplicacao por escalar . . . . . . . . . . . . . . . . . . . . . . p. 31
5.1.4 Uma nova abordagem para os produtos interno e externo . . . . p. 32
5.2 Propriedades do produto geometrico entre tres vetores . . . . . . . . . p. 33
5.2.1 Propriedade de associatividade . . . . . . . . . . . . . . . . . . p. 34
6 Axiomatica da algebra geometrica p. 38
6.1 Axiomas da algebra geometrica . . . . . . . . . . . . . . . . . . . . . . p. 38
6.2 Algumas denic oes e teoremas . . . . . . . . . . . . . . . . . . . . . . . p. 40
6.3 Exemplos de algebras geometricas . . . . . . . . . . . . . . . . . . . . . p. 45
6.3.1 Exemplo 1:

Algebra geometrica do plano euclidiano ou

i- algebra p. 45
6.3.1.1

Algebra geometrica do plano espinor (G
+
(R
2
)) . . . . p. 50
6.3.2 Exemplo 2:

Algebra geometrica do espaco euclidiano G(R
3
) . . p. 52
6.3.2.1 Isomorsmos de G(R
3
) . . . . . . . . . . . . . . . . . p. 61
Isomorsmo com quaternions . . . . . . . . . . . . . . . . p. 61
Isomorsmo com /(2, C) . . . . . . . . . . . . . . . . . p. 62
7 Operadores lineares na algebra geometrica p. 66
7.1 Operador proje cao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 68
7.2 Operadores ortogonais . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 70
7.2.1 Operador reex ao . . . . . . . . . . . . . . . . . . . . . . . . . . p. 72
7.2.2 Operador rotac ao . . . . . . . . . . . . . . . . . . . . . . . . . . p. 74
7.2.2.1 O grupo SPIN(3) . . . . . . . . . . . . . . . . . . . . . p. 80
7.2.2.2 O espinor de Pauli . . . . . . . . . . . . . . . . . . . . p. 83
7.2.2.3 A transformacao do espinor de Pauli . . . . . . . . . . p. 93
Transformac ao passiva . . . . . . . . . . . . . . . . . . . p. 93
Transformac ao ativa . . . . . . . . . . . . . . . . . . . . p. 94
8 Aplicacoes da algebra geometrica `a fsica te orica p. 97
8.1 Aplicac oes: formulac ao espinorial da mec anica classica usando espinores p. 97
8.1.1 Aplicacao do formalismo espinorial da mecanica classica ao pro-
blema de Kepler . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 103
8.2 Aplicac oes: teoria de Pauli do eletron . . . . . . . . . . . . . . . . . . . p. 108
8.2.1 Equacao de Pauli na algebra geometrica . . . . . . . . . . . . . p. 115
9 Consideracoes nais p. 119
Referencias p. 121
Lista de Figuras
1 Relacao entre n umero e magnitude de acordo com Euclides. . . . . . . p. 17
2 Denicao geometrica da multiplicac ao (a) e de adic ao (b) de acordo com
Descartes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 18
3 Denicao de soma de vetores formulada por Grassmann. . . . . . . . . p. 20
4 Denicao geometrica de produto interno proposta por Grassmann . . . p. 21
5 Paralelogramo limitado pelos n umeros complexos z
1
e z
2
. . . . . . . . . p. 22
6 Denicao de produto vetorial (cross product). . . . . . . . . . . . . . . p. 25
7 Denicao geometrica de produto externo proposta por Grassmann. . . . p. 25
8 Propriedade distributiva do produto externo de Grassmann. . . . . . . p. 26
9 Extensao do produto externo para o produto de tres vetores. A gura
ilustra trivetores com diferentes orientacoes. . . . . . . . . . . . . . . . p. 27
10 Representa cao geometrica dos elementos da algebra geometrica do

i-
plano ou plano euclidiano. . . . . . . . . . . . . . . . . . . . . . . . . . p. 47
11 Representa cao geometrica do plano espinor . . . . . . . . . . . . . . . . p. 51
12 Efeito do espinor z sobre e
1
. . . . . . . . . . . . . . . . . . . . . . . . p. 52
13 Representa cao geometrica dos 1-vetores da base can onica e de tres 2-
placas linearmente independentes geradas pelos seus produtos geometricos.
Acrescentando o sinal de menos a estas 2-placas alteramos o sentido de
giro na representac ao geometrica. . . . . . . . . . . . . . . . . . . . . . p. 54
14 Possiveis orientacoes do segmento de volume orientado I. . . . . . . . . p. 55
15 k-placas existentes na algebra geometrica do espaco euclidiano tridimen-
sional. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 59
16 Esquema representando a reex ao do vetor x no plano ortogonal ao vetor
unit ario u. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 74
17 Utilizac ao do espinor =

R para representar o vetor x. . . . . . . . p. 89
18 Representa cao geometrica do mapeamento do espinor no vetor r. . . p. 98
19 Par ametros da elipse. . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 106
Resumo
A algebra geometrica e conhecida por ser uma linguagem criada a partir de ele-
mentos geometricos e das rela coes existentes entre eles. Essas rela coes sao axiomatizadas
e assim obtem-se um sistema algebrico que por um lado permite a representa cao completa
dos conceitos geometricos e por outro lado permite estender estes conceitos para espacos
abstratos e com maior n umero de dimensoes. Assim o presente trabalho foi desenvolvido
com base na hip otese de que a algebra geometrica poderia trazer aspectos novos e inter-
pretac oes geometricas desconhecidas para as teorias fsicas j a existentes ao traduzi-las do
formalismo matematico tradicional para o formalismo da algebra geometrica. Logo, esta
monograa teve como objetivo apresentar os fundamentos da algebra geometrica e mos-
trar algumas aplicac oes deste formalismo matematico para a fsica te orica. Primeiramente
no captulo 3 e feita uma revis ao historica das motivac oes e desenvolvimento da algebra
geometrica onde tentou-se mostrar suas conexoes com as algebras tradicionalmente usa-
das nos dias de hoje. Em seguida no captulo 2 e apresentada a denic ao de produto
geometrico usando a nocao de produto interno e produto externo de onde as propriedades
do produto geometrico sao deduzidas. Com base nisso no captulo 4 e feita uma denic ao
abstrata da algebra geometrica a partir de axiomas que expressam as propriedades do
produto geometrico. Neste mesmo captulo sao apresentados alguns exemplos de algebras
geometricas e seu isomorsmo com algumas algebras tradicionais. No captulo 6 s ao de-
nidos alguns operadores lineares na algebra geometrica e em particular e feito um estudo
do objeto matematico conhecido como espinor de Pauli. Finalmente, e feita a aplicacao da
algebra geometrica para escrever uma formula cao da mec anica cl assica em termos de es-
pinores e essa formulac ao e usada para a resoluc ao do problema de Kepler. Esta aplica cao
do formalismo espinorial da mecanica cl assica apresenta grandes vantagens pois permite
transformar o problema de Kepler que e nao-linear, acoplado e com uma singularidade na
origem em equa coes lineares, desacopladas e livre de singularidade. Este procedimento
e conhecido como regularizacao do problema de Kepler. Tambem e apresentada uma
vers ao da teoria quantica de Pauli para o spin tendo como base a algebra geometrica e
assim uma interpretac ao geometrica e dada para o elemento conhecido como espinor de
Pauli. Uma das vantagens da utilizac ao da algebra geometrica nesse caso e que o termo
de Stern-Gerlach introduzido por Pauli de forma ad hoc no hamiltoniano do sistema pode
ser deduzido do hamiltoniano da partcula sujeita a um campo magnetico se trocarmos o
produto escalar pelo produto geometrico.
11
1 Minha monograa
A matem atica e a linguagem da fsica e a fsica e provalmente uma das aplicac oes
mais bem sucedidas da matematica. Ao longo destes tres anos como aluno do curso de
fsica da Universidade Federal do Rio Grande, a maior licao que aprendi foi que o fsico
deve ter gosto pela matem atica, assim para enxergarmos mais longe (como diria Isaac
Newton) devemos dedicar grande parte de nossa carreira ao estudo da rainha de todas as
ciencias. Entao, desde o incio do curso dediquei grande parte do tempo que eu dispunha
ao estudo da matem atica necess aria para cada disciplina. A origem dessa losoa de
estudo comecou nos conselhos de meu tio (padrinho) Ant onio Jose Monteiro Neto que me
ensinou que mais importante do que ter o conhecimento sobre algo ou tarefa, e conhecer,
possuir e dominar as ferramentas para executar tal tarefa. Esta losoa pode parecer
um pouco pragmatica mas para mim e bastante fundamental pois o que seria de um
fsico que possui boas ideias mas n ao sabe como coloc a-las em uma base formal? Como
pintar uma parede sem ter os pinceis corretos? Como construir uma teoria fsica sem
conhecer a matem atica? A ferramenta do fsico e a matem atica. De fato a compra de
livros e o estudo previo da matematica resultou em um bom desempenho durante o curso.
Ainda mais importante que isso e que hoje vejo que atingi meu objetivo de aumentar
meu conhecimento sobre a fsica e a matematica. Neste contexto, resolvi aprofundar esta
ideia (anal de acordo com o dito popular: time que est a ganhando nao se deve mexer)
dedicando minha monograa de conclus ao de curso ao estudo da fsica-matematica.
A algebra trata das relac oes entre elementos de um conjunto e assim generaliza as
relac oes aritmeticas. Para a fsica, ela e uma das areas da matem atica de maior interesse
e para a mec anica qu antica e de fundamental importancia pois atraves dela sao denidos
observ aveis fsicos, como acontece por exemplo com a denicao moderna de momento
angular em termos de sua algebra. Tendo que escolher uma area da matem atica para
aplicar a fsica escolhi, por este motivo, a algebra.
O desao e a busca por paradigmas sao caractersticas inerente dos jovens e em
muitos casos ao longo da hist oria da fsica esse comportamento produziu bons frutos.
12
Assim me deixei levar por essa necessidade juvenil de fazer as coisas de modo diferente
e resolvi embarcar no estudo da algebra geometrica (ou algebra de Cliord) a qual, pelo
menos para os fsicos, constitui um ponto de vista bastante novo fornecendo resultados e
interpreta coes diferentes o que em alguns casos causa bastante polemica.
Neste contexto, escolhi o assunto da algebra geometrica na espectativa de que
houvessem resultados novos e interessantes, mas acredito agora que o maior benefcio de
ter escolhido este tema foi o aprendizado adquirido ao trilhar caminhos diferentes, nos
quais se carece de bibliograa e discuss oes. Isso me fez avancar muito nesta jornada para
ser um pesquisador e me fez ver que todas as diculdades encontradas valeram o esforco,
pois neste momento me sinto pronto para v oos ainda mais altos.
13
2 Justicativa
A algebra geometrica e uma linguagem matem atica baseada em princpios geometricos
que sao axiomatizados para que sejam aplicados de forma abstrata. Essa forma de cons-
truc ao faz da algebra geometrica uma ferramenta muito importante para a fsica dos dias
de hoje. Ao meu ver, seu estudo se justica por pelo menos quatro motivos:
1. Ferramenta did atica: Por ser baseada em princpios geometricos, a algebra geometrica
permite a aprendizagem de conceitos fsicos de forma intuita. Alem disso, a simpli-
cidade dos conceitos envolvidos faz com que o estudante de fsica consiga avancar
mais rapido nos conceitos matem aticos sobrando mais tempo para o estudo da fsica.
2. Facilidade de c alculo: A algebra geometrica apresenta uma notac ao conhecida como
notac ao sintetica. A notac ao sintetica consiste em usar os pr oprios elementos da
algebra para fazer contas sem recorrer a representa coes de coordenadas. Um exemplo
mal-sucedido de representac ao sintetica e a algebra vetorial, a qual a princpio pode
ser usada sem a utilizac ao de coordenadas. Entretanto como a deni cao de seu
produto (produto vetorial) e pobre, pouca coisa pode ser feita usando a nota cao
sintetica e quase sempre e necessario representar os elementos da algebra em termos
de suas coordenadas. A vantagem da notacao sintetica e que os c alculos se tornam
muito mais faceis, o que por si s o, ja justica a sua aplicac ao.
3. Unicacao da matem atica usada para a fsica: Uma das perspectivas mais promis-
soras da algebra geometrica e a unicac ao da matematica utilizada para o estudo
dos fen omenos fsicos. De acordo com [Hes02b] a fsica utiliza diversas teorias ma-
tem aticas onde as mais importantes s ao: a geometria sintetica, a geometria de
coordenadas, as variaveis complexas, os quaternions, a analise vetorial, a algebra
de matrizes, os espinores, os tensores e as formas diferenciais. O aprendizado de
cada uma dessas linguagens exige um grande esfor co e somente apos alguns anos
se atinge a experiencia necessaria para a sua manipulac ao. Alem disso, diferentes
teorias fsicas s ao formuladas usando diferentes teorias matem aticas, assim apesar
14
da fsica ser uma so, o fsico acostumado a trabalhar com uma dada linguagem
ter a diculdade de comprender a fsica escrita em outra linguagem matematica.
Ent ao, em tempos em que se fala em uma unica cao da fsica, e necessario pensar
em uma unicacao da linguagem em que a fsica e construda. Neste contexto, a
algebra geometrica surge como a linguagem que permite unicar todas essas lingua-
gens pois e geral o suciente para ter todas as outras como casos particulares (ver
[Hes02b].
4. Representac ao algebrica completa dos elementos geometricos: Como sera mostrado a
algebra geometrica foi construda a partir da representac ao dos elementos geometricos
existentes no espaco tridimensional e da extensao do conceito de n umero. Assim,
a algebra geometrica e mais completa que a algebra vetorial pois pode representar
uma maior quantidade de coisas e permite resolver confus oes conceituais como a
existencia de escalares pseudo-escalares e vetores pseudo-vetores.
Grande parte das justicativas aqui apresentadas para o estudo da algebra geometrica
poderao ser percebidas ao longo deste trabalho. O leitor interessado em saber mais so-
bre as vantagens do uso da algebra geometrica e convidado a consultar os trabalhos de
[Hes02b] e [Vaz97]
15
3 Hipotese e Objetivo
O presente trabalho foi desenvolvido com base na hip otese de que a algebra
geometrica poderia trazer aspectos novos e interpreta coes geometricas desconhecidas para
as teorias fsicas j a existentes ao traduzi-las do formalismo matem atico tradicional para o
formalismo da algebra geometrica. Logo, esta monograa teve como objetivo apresentar
os fundamentos da algebra geometrica e mostrar algumas aplicac oes deste formalismo
matem atico para a fsica te orica.
16
4 Desenvolvimento da algebra
geometrica
A ideia de estabelecer um conjunto de relac oes matematicas a partir de algu-
mas hipoteses sobre os objetos do mundo fsico e a relac ao entre eles come cou com Eu-
clides de Alexandria (360 a.C. ` a 295 a.C.) na Grecia Antiga. Euclides mostrou que
atraves de um pequeno n umero de postulados (cinco) era possvel estabelecer um grande
n umero de relac oes geometricas que uma vez demonstradas poderiam ser sempre utili-
zadas [Boy83]. Tao logo as ideias de Euclides come caram a ser divulgadas, surgiram
as primeiras aplicac oes delas na fsica como por exemplo a teoria da medida e a otica
geometrica. Pode-se considerar que o livro Os elementos de Euclides foi a primeira
teoria a respeito do mundo fsico [Hes02a].
Para Euclides havia uma distinc ao entre os n umeros e a magnitude de um seg-
mento (comprimento de um segmento de linha). Enquanto os n umeros serviam para a
contagem, a magnitude servia para efetuar medidas [Hes02a]. Entretanto, Euclides per-
cebeu que estes dois conceitos apresentavam alguma relac ao, isto e, havia uma maneira
de atribuir o comprimento de um segmento de linha (magnitude) a cada n umero conhe-
cido na epoca (n umeros racionais). Para isso, se estabelecia um segmento de linha como
comprimento padr ao e pela contagem da quantidade de comprimentos padr ao em outro
segmento se atribuia um n umero a magnitude deste segmento (gura 1). Entretanto, se
percebeu que nem sempre era possvel associar um n umero para a magnitude (como por
exemplo a magnitude da diagonal de um quadrado) o que levou a pensar que o conceito
de magnitude era mais abrangente que o conceito de n umero. Este fato fez com que
Euclides usasse um procedimento oposto ao que e usado em nossos dias, ou seja, Euclides
utilizava os teoremas da geometria para resolver problemas aritmeticos [Boy83]. Por este
motivo surgiram express oes usadas ainda hoje como o quadrado e o cubo de um n umero.
Isto permitiu a resoluc ao de algumas equac oes de segundo e terceiro grau, mas o avanco
parou por a, pois n ao havia representac ao geometrica para equa coes de grau maior (por
exemplo, n ao existia uma gura geometrica associada a uma potencia de ordem 4).

E
17
importante notar que intrnseco neste procedimento estava a ideia de Euclides de que a
representa cao do produto de dois segmentos de linha (ou produto geometrico) era a area
do ret angulo formado por estes segmentos [Hes02a]. Entretanto sera visto adiante que
existe outra interpretac ao geometrica para o produto de dois segmentos.
Figura 1: Relacao entre n umero e magnitude de acordo com Euclides.
Desta forma, os gregos desenvolveram profundamente a geometria e forneceram
algumas tecnicas para a resoluc ao de problemas aritmeticos. Diversos historiadores, ao
longo do desenvolvimento da hist oria da matematica, atriburam as limitacoes dos gregos
em resolver problemas aritmeticos `a sua tentativa de resolver estes problemas atraves de
ideias geometricas, as quais, para estes historiadores seriam inferiores. Contudo, nos dias
de hoje podemos ver que o uso de ideias geometricas e muito util e o que faltava aos
gregos era uma linguagem adequada para expressar algebricamente suas profundas ideias
geometricas e estende-las por meio da algebra. Assim foi impossvel estender os teore-
mas geometricos para outras areas da matematica, como a aritmetica, sem a utilizac ao
de metodos geometricos. Mesmo com essas limitac oes, avan cos expressivos para a ma-
tem atica como as teorias gregas s o ocorreram novamente no seculo XVI com a publicacao
da obra La Geometrie de Rene Descartes [Boy83].
A explos ao da produc ao de conhecimentos ocorrida na matem atica e na fsica
durante o Renascimento e geralmente atribuda ao nascimento acidental de um grande
n umero de genios como Kepler, Galileo e Newton, e a motivos humansticos como o clima
social, poltico e intelectual estimulado pelo redescobrimento da cultura grega. Embora
tais fatores tenham sido importantes, outro acontecimento de grande valor ocorrido nessa
epoca tem sido subestimado. Este acontecimento foi a elaboracao do sistema de n umeros
e da linguagem algebrica elementar, os quais tornaram possveis continuar o desenvolvi-
mento iniciado pelos gregos, isto e, neste momento comecou a existir uma linguagem mais
adequada para expressar e estender as ideias da geometria grega [Hes02a].
Assim, Rene Descartes (1596 `a 1650) foi capaz de estabelecer a relac ao entre os
18
n umeros e as magnitudes fazendo com que cada segmento de linha fosse representado
unicamente por um n umero [Boy83]. Alem disso, Descartes adotou a ideia de Francois
Vi`ete (1540 - 1603) de usar letras para expressar constantes e inc ognitas produzindo a
uni ao da geometria com a algebra. Outro importante passo de Descartes foi abandonar
a ideia grega de que a multiplicacao geometrica produzia uma area. Descartes introduziu
a denicao de produto geometrico em que dois segmentos multiplicados produziriam um
terceiro segmento com magnitude igual ao produto aritmetico dos n umeros que represen-
tam a magnitude dos segmentos multiplicados. A interpretac ao geometrica deste produto
e que um dos segmentos sofreria uma dilatac ao proporcional ao n umero que representa a
magnitude do outro segmento (gura 2 a). Este conceito de produto geometrico permitiu
trabalhar com produtos de qualquer ordem fazendo renascer o estudo das curvas e poten-
cializando uma interpretac ao geometrica para equa coes de ordem maior que 3 [Boy83].
Alem disso, Descartes deniu a adic ao de dois segmentos como o comprimento resultante
da uniao de uma das extremidades de cada um dos segmentos a ser somados (gura 2 b).
Desta forma, ele colocou a geometria de segmentos de linha em correspondencia univoca
com algebra dos n umeros reais [Hes02a].
Figura 2: Denic ao geometrica da multiplica cao (a) e de adic ao (b) de acordo com Des-
cartes.
Foi visto que a evoluc ao da matem atica nao foi possvel ate que a aritmetica e a
algebra se tornassem comensur aveis com a geometria desenvolvida pelos gregos. Entre-
tanto, existe mais informa cao em um segmento de linha do que seu comprimento e para
que isso fosse introduzido na algebra foi necessario uma nova revolu cao no entendimento
dos n umeros. Mais uma vez a geometria teve que esperar, desta vez, em torno de 2 seculos
para que o conceito de n umero com direcao fosse introduzido.
Diversos matem aticos contriburam para o nascimento da noc ao de n umero com
direc ao, mas foi Hermann Grassmann (1809-1877) no seculo de XIX que conseguiu for-
19
mular um conceito preciso e completo para estes n umeros. Descartes, em seu estudo
dos segmentos de linha, utilizava o conceito de congruencia para denir uma classe de
equivalencia destes segmentos, isto e, todos os segmentos congruentes
1
s ao considerados
equivalentes. Grassmann redeniu a classe de equivalencia considerando que dois segmen-
tos s ao equivalentes quando podem ser colocados em situac ao de equivalencia atraves de
translac oes. Desta forma, quando e necess ario rotac oes para colocar dois segmentos em
situac ao de equivalencia dizemos que os segmentos tem direc oes diferentes. O segmento
de linha com dire cao e hoje conhecido como vetor. Para representar estes n umeros foi
denido que sua representacao seria o produto entre um escalar (equivalente ao compri-
mento do segmento de linha) para representar sua magnitude e uma direcao representada
por um vetor de magnitude unitaria [Hes02a]. Hoje denotamos,
a = |a| a (4.1)
Alem disso, Grassmann foi um dos primeiros matem aticos a perceber que o sig-
nicado de um n umero nao est a nele mesmo, mas na maneira como ele se relaciona com
os outros n umeros [Wik08b]. Dessa forma, foi necessario estabelecer as regras para relaci-
onar os n umeros com direc ao. Entao Grassmann tomou emprestada a ideia de adic ao de
segmentos de linha de Descartes e construiu a noc ao de soma de n umeros com direcao com
base na geometria. Ou seja, a adi cao foi denida fazendo coincidir uma das extremidades
de cada vetor a ser somado e unindo as duas extremidades restantes obtemos o segmento
resultante da soma dos outros dois (gura 3). Dessa forma, a ideia geometrica da adic ao
de segmentos de linha com direc ao determina as propriedades da adic ao de vetores que
s ao incorporados como axiomas da adicao para denir um espaco vetorial. Da mesma
forma, a ideia de dilatac ao e compress ao na multiplicac ao de um segmento de linha por
um escalar determina as propriedades adotadas como axiomas de multiplica cao por esca-
lar para a deni cao de um espaco vetorial. Dessa forma, os resultados geometricos s ao
axiomatizados para a construcao da denicao abstrata de espa co vetorial.
Diversos teoremas podem ser expressos e demonstrados utilizando as regras algebricas
da adi cao de vetores e multiplicac ao por escalar. Entretanto este sistema algebrico falha
em expressar completamente as no coes de magnitude e dire cao relativa. Isto e, falta uma
operac ao que permita relacionar e diferenciar escalares e vetores. Ent ao, Grassman deniu
um novo produto geometrico estendendo a ideia de multiplicacao de segmentos de Des-
1
Dois segmentos sao congruentes quando podemos mostrar que eles sao identicos usando apenas
opera coes de translacao e rotacao.
20
Figura 3: Denic ao de soma de vetores formulada por Grassmann.
cartes para segmentos com direcao e assim fornecendo ao conceito de direc ao relativa uma
express ao algebrica completa [Hes02a]. No desenvolvimento deste produto foi introduzido
tambem o conceito de proje cao perpendicular de um segmento de linha com direc ao sobre
outro. Desta forma um novo produto chamado de Produto Interno foi assim denido por
Grassmann: projete um segmento de linha com direc ao a sobre outro segmento de linha
b e obtenha a magnitude da projec ao; como a projec ao de a sobre b n ao depende da
magnitude de b ent ao multiplicamos o resultado da projec ao pela magnitude de b para
obter um resultado simetrico. Obtemos entao:
a

b =
_
_
_

b
_
_
_(|a| cos) (4.2)
A gura (4) ilustra geometricamente a denicao de produto interno. Podemos
reescrever o lado direito de 4.2 e ver que:
a

b = |a|
__
_
_

b
_
_
_cos
_
=

b a
Ou seja, o produto interno e comutativo. Esta e outras propriedades do produto
interno s ao deduzidas da denic ao geometrica do produto interno e quando escritas alge-
bricamente formam os chamados axiomas do produto interno [AB06]. Usando o produto
interno podemos expressar diversos conceitos geometricos como comprimento, dist ancia,
projecao e angulo em uma linguagem algebrica. Uma vez que esta representac ao tenha
sido feita, uma abordagem puramente abstrata pode ser tomada interpretando o produto
interno como uma forma de relacionar escalares com vetores.
21
Figura 4: Denicao geometrica de produto interno proposta por Grassmann
Este conjunto de relac oes algebricas n ao e totalmente capaz de expressar todas
as ideias geometricas. Por isso existem diferentes sistemas matematicos para representar
estas ideias como por exemplo os quaternions, a algebra tensorial, a algebra matricial e
algebra de espinores. O produto interno falha em expressar o fato fundamental de que
dois segmentos de linha tambem determinam um paralelogramo. Desta forma, surge a
quest ao como representar este objeto geometrico.
Diversos produtos foram denidos ate que se chegasse a representac ao completa
do produto geometrico como uma area. A aritmetica complexa forneceu as primeiras ideias
de como estender a denic ao de produto. Os n umeros complexos podem ser representados
como um par ordenado de n umeros reais em um plano denominado plano complexo. Sua
representa cao e feita como z = x +iy. Desta forma a denic ao de produto entre n umeros
complexos deveria fornecer alguma interpretacao geometrica neste plano. Observou-se
que o produto entre n umeros complexos na forma zz = (x + iy) (x + iy) = x
2
y
2
+i2xy
n ao fornecia nenhuma interpretac ao geometrica. Um produto mais util e denido por zz

onde z

e a conjugac ao complexa de z e representa z

= x iy. Desta forma temos:

zz

= (x + iy) (x iy)
zz

= x
2
+ y
2
Temos agora que o produto complexo pode ser usado para calcular a norma do
n umero complexo z. Se considerarmos agora o produto entre z
1
e o complexo conjugado
22
Figura 5: Paralelogramo limitado pelos n umeros complexos z
1
e z
2
.
de z
2
temos:
z
1
z

2
= (a + ib) (c id) = (ac + bd) + i (bc ad)
Onde vemos que a parte real ac+bd e semelhante ao produto interno mas o termo
imagin ario bc ad precisa ser interpretado. Em representacao polar temos:
z
1
z

2
= [z
1
[ [z
2
[ e
i()
= [z
1
[ [z
2
[ cos ( ) + i [z
1
[ [z
2
[ sen( )
Dessa forma podemos ver que a parte imaginaria [z
1
[ [z
2
[ sen( ) representa a
area de um paralelogramo formado pelos segmentos que ligam os n umeros complexos z
1
e z
2
a origem (gura 5).
Assim podemos concluir que o produto de dois n umeros complexos produz outro
n umero complexo. Alem disso, podemos interpretar um n umero complexo como a soma
de uma parte escalar e uma parte que representa um segmento de plano.
William R. Hamilton (1805 - 1865), interessado na propriedade de operar rotac oes
apresentada pelos n umeros complexos, tentou estender a algebra destes n umeros para tres
23
dimens oes. Para isso considerou um terceiro eixo e escreveu o tripleto z = a + ib + jc.
Ent ao avaliou a norma para tal tripleto:
zz

= (a + ib + jc) (a ib jc)
zz

= a
2
iab jac + iba + b
2
ijbc + jca jicb + c
2
zz

= a
2
+ b
2
+ c
2
(ij + ji) cb
Se assumirmos que ij = ji ent ao obtemos a norma [z[. Entretanto o produto de
dois tripletos diferentes apresentado abaixo n ao tem nenhuma interpretac ao geometrica
mesmo usando ij = ji.
(a + ib + jc) (x iy jz) = ax iay jaz + ibx by ijbz + jcx jicy cz
Ent ao, Hamilton percebeu que a soluc ao para o problema era considerar quadru-
pletos no lugar de tripletos, os quais Hamilton chamou de Quaternions. Desta forma, a
norma seria:
zz

= (a + ib + jc + kd) (a ib jc kd)
zz

= a
2
abiacjadk+bai+b
2
bcijbdik+acjcbji+c
2
cdjk+adkbdkidckj+d
2
zz

= a
2
+ b
2
+ c
2
bc (ij + ji) bd (ik + ki) cd (jk + kj)
Assumindo ij = ji, ik = ki e jk = kj obtemos a norma.
Para o produto de dois quaternions puros (parte escalar nula) diferentes Hamilton
encontrou:
24
(ib + jc + kd) (iy + jz + kw) = by +ijbz +ikbw+jicy cz +jkcw+kidy +kjdz dw
(ib + jc + kd) (iy + jz + kw) = by cz dw+ijbz ijcy +kidy kibw+jkcwjkdz
(ib + jc + kd) (iy + jz + kw) = (by + cz + dw)+ij (bz cy)+ki (dy bw)+jk (cw dz)
Ent ao Hamilton considerou ij = ji = k, ki = ik = j e jk = kj = i para
que o resultado fosse outro quaternion.
(ib + jc + kd) (iy + jz + kw) = (by + cz + dw) +k (bz cy) +j (dy bw) +i (cw dz)
Onde podemos ver que e produzida uma parte escalar semelhante a um produto
interno e uma parte vetorial. Um dos problemas na utilizac ao dos quaternions e que
como o produto quaterni onico de quaternions puros n ao era fechado (produzia um escalar)
frequentemente a parte escalar tinha que ser retirada dos calculos sem justicativa[DL03].
Apesar do esforco de Hamilton os quaternions foram abandonados em troca de
um sistema hbrido chamado algebra de vetores e promovido por Josiah W. Gibbs (1839
- 1903).
Gibbs aproveitou a parte vetorial do produto quaternionico e deniu o produto
vetorial (cross product). Desta forma, a algebra vetorial permitiu trabalhar com a repre-
sentac ao de areas. O produto vetorial foi ent ao assim denido (ver gura 6):
a

b e ortogonal ao plano denido por a e

b
a

b tem magnitude igual a [a[

sen
Os vetores a,

b e a

b formam um conjunto destrogiro

O produto vetorial foi rapidamente introduzido na fsica nas equac oes da mec anica
e no eletromagnetismo enquanto os quaternions foram cada vez menos usados. Por volta
do ano de 1900 poucas pessoas usavam ainda os quaternions [DL03].
25
Figura 6: Denicao de produto vetorial (cross product).
Figura 7: Denicao geometrica de produto externo proposta por Grassmann.
Apesar do sucesso do produto vetorial, ele apresenta alguns problemas. Um deles
e que e necessario considerar dois tipos de vetores: os axiais e os polares. Outro problema
e que o produto vetorial so existe no espaco tridimensional. Em duas dimens oes ele nao
existe porque n ao ha lugar para se por um terceiro vetor que seja ortogonal aos dois
vetores do plano e no espaco quadridimensional o vetor ortogonal nao e unico.
Por outro lado, Grassmann considerou a existencia de objetos do tipo ij, jk e
ki desprezando a associa cao feita com vetores ortogonais utilizada no produto vetorial
[DL03]. Entretanto, o conceito de n umero teve que ser reformulado novamente para
incorporar esta ideia.
Um paralelogramo pode ser considerado como um segmento de plano com direc ao.
Desta forma, um novo tipo de n umero tem que ser introduzido: o 2-vetor ou bivetor. O
2-vetor tem magnitude, dire cao e orientac ao. A distinc ao entre a direc ao de um vetor e a
direc ao de um 2-vetor levou a necessidade de denir o conceito de dimens ao ou graduac ao
dos n umeros, isto e, um escalar seria um n umero de graduac ao 0 e por isso possui somente
orienta cao, um vetor seria um n umero de graduacao 1 sendo por isso um segmento de
linha com dire cao e um 2-vetor seria um n umero de gradua cao 2 representando um plano
com direc ao.
26
Figura 8: Propriedade distributiva do produto externo de Grassmann.
Ap os denir a representacao de um segmento de plano com orienta cao se tornou
necess ario denir algo que relacione o segmento de plano com os vetores. Para isso,
Grassmann considerou um novo produto geometrico chamado de produto externo. O
produto externo foi assim denido: considere um vetor a e um vetor

b e faca o vetor
a deslizar na direc ao do vetor

b denindo assim um plano. Temos entao um segmento
de plano orientado (ver gura 7) [Hes02a] com orientac ao dada pelo sentido de giro dos
vetores a e

b. Este produto foi representado por:

A = a

b (4.3)
O elemento

A e a generalizac ao do conceito de n umero para incluir segmentos de
plano orientado, ou seja, o 2-vetor mencionado acima.
A gura 7 ilustra uma propriedade do produto externo conhecida como anti-
comutatividade, ou seja, os 2-vetores a

b (orienta cao anti-hor ario) e

b a (orienta cao
hor ario) tem orientac oes opostas e por isso dizemos que o produto externo e anti-comutativo.
Na gura 8 pode ser visto que o produto externo tambem exibe a propriedade distributiva.
Alem disso, e possvel considerar um produto externo entre um 2-vetor e um vetor
fazendo um segmento de plano deslizar na dire cao de um vetor e desta forma determinar
um paraleleppedo (gura 9). Denotamos entao:
a

b c

T (4.4)
Precisamos novamente generalizar a noc ao de n umero para considerar

T como um
3-vetor, isto e, um segmento de volume orientado. O 3-vetor possui magnitude, dire cao e
27
Figura 9: Extens ao do produto externo para o produto de tres vetores. A gura ilustra
trivetores com diferentes orientac oes.
orienta cao. Sua magnitude e o volume do paralelogramo denido pelos tres vetores que o
comp oe, ou seja:
_
_
_

T
_
_
_ =
_
_
_a

b c
_
_
_ (4.5)
A dimensionalidade igual a 3 do 3-vetor signica que ele pode ser fatorado em
um produto externo de 3 vetores. O produto externo permite generalizar a noc ao de
n umero para maiores dimensoes, entretanto, podemos considerar a seguinte condic ao para
representar a geometria ordinaria de 3 dimens oes:
a

b c

d = 0 (4.6)
Com a denic ao de produto externo houve o ressurgimento da interpretac ao de
Euclides sobre o produto geometrico como uma area. Neste contexto, Grassmann comple-
tou a representacao algebrica da geometria grega iniciada por Descartes e abriu caminho
para a generalizacao para maiores dimensoes.
A algebra geometrica surgiu por volta de 1880 quando o matematico ingles Wiliam
K. Cliord deu continuidade ao desenvolvimento da algebra de Grassmann. Cliord
formalizou a ideia de um novo produto geometrico o qual era a soma do produto interno
e do produto externo [Wik08a]. Esta ideia foi introduzida inicialmente por Grassmann,
entretanto, foi Cliord que percebeu o enorme potencial da denic ao deste produto. O
produto geometrico e um produto associativo como o produto externo de Grassmann
mas e invertvel como os quaternions de Hamilton. Na verdade o produto geometrico de
Cliord unica os trabalhos originais de Grassmann e Hamilton em uma unica estrutura
28
[DL03].
Paralelamente a algebra geometrica de Cliord, algumas ideais de Grassmann
foram formalizadas e extendidas por Gibbs e Oliver Heaviside (1850-1925) ofuscando
completamente a algebra geometrica [Wik08a]. As ideias de Gibbs e Heaviside sao conhe-
cidas atualmente como an alise vetorial e obtiveram grande sucesso devido a sua imediata
aplicac ao no eletromagnetismo e na descricao do movimento de rotacao.
Com a morte prematura de Cliord, ausencia de um sucessor que desse continui-
dade ao desenvolvimento da algebra geometrica e o enorme sucesso da analise vetorial,
a algebra de Cliord (geometrica) caiu em esquecimento na fsica. Por outro lado, as
algebras de Cliord continuaram a serem estudadas de um ponto de vista abstrato por
algebristas como Hermann Weyl (1985-1955) e Claude Chevalley (1909-1984) mas sua
interpreta cao geometrica se perdeu [DL03, Wik08a].
A situac ao comecou a mudar quando David Hestenes (nascido em 1933) recuperou
a interpretac ao original de Cliord sobre as matrizes de Pauli. Hestenes tem investigado
seu questionamento sobre a relac ao entre a estrutura da algebra de Cliord e os funda-
mentos da teoria qu antica. Alem disso, Hestenes tem promovido a utilizac ao da algebra
geometrica como uma ferramenta universal para a fsica sendo indispens avel para o desen-
volvimento moderno do assunto. A aceitac ao da algebra geometrica esta em crescimento
e nos dias de hoje e difcil encontrar uma area em que algebra geometrica n ao pode ser
aplicada com algum grau de sucesso.
29
5 Denic ao do produto
geometrico
Uma das ultimas ideias de Grassmann foi a existencia de um produto geometrico
fundamental do qual todos os outros tipos de produtos geometricos (multiplicac ao por
escalar, produto interno, produto externo) podem ser obtidos [Hes02a]. Pode-se notar que
o produto interno e o externo parecem se complementar descrevendo relac oes geometricas
independentes. Por este motivo Grassmann introduziu um novo tipo de produto [Hes96]:
a

b = a

b +a

b (5.1)
No primeiro instante a equac ao (5.1) pode parecer um absurdo ao somar um
escalar com um bivetor. Entrentanto isto nao e verdade pois a equacao (5.1) deve ser in-
terpretada de uma forma abstrata. Isto e, tudo que a matematica exige e que as rela coes
e operac oes sejam bem denidas e consistentemente empregadas. A interpretac ao ma-
tem atica que deve ser feita quando adicionamos escalares a 2-vetores e especicar que
a rela cao obedece as regras de associatividade e comutatividade (isto supondo que os
axiomas da algebra utilizada denem a adic ao desta forma).
O produto a

b e chamado de produto geometrico dos vetores a e

b.
O objetivo deste captulo e desenvolver algumas propriedades do produto geometrico
com base em nosso conhecimento sobre as denic oes de produto interno e externo. Com
o estabelecimento destas propriedades, a algebra geometrica ser a introduzida no pr oximo
captulo abstratamente como um conjunto de axiomas que denem o produto geometrico.
30
5.1 Propriedades do produto geometrico entre dois
vetores
O produto geometrico herda a interpreta cao geometrica das denic oes de produto
interno e externo. Ele e uma medida algebrica da dire cao relativa dos vetores a e

b. Neste
contexto, vamos analisar as propriedades do produto em (5.1) com base na intuicao que
j a temos sobre o produto interno e o produto externo.
5.1.1 Comutatividade
Sabemos que a

b =

b a e a

b =

b a. Desta forma, temos:

ba =

b a +

b a

ba = a

b a

b (5.2)
Logo, a

b ,=

ba. Portanto, o produto geometrico n ao apresenta a propriedade de
comuta cao.
De (5.2) podemos concluir tambem que:
Lema 1 a e

b sao colineares se e somente se, o produto a

b comuta.
Lema 2 a e

b sao ortogonais se e somente se, o produto a

b anti-comuta.
5.1.2 Distributividade
Podemos analisar o comportamento do produto geometrico em rela cao a distri-
butividade:
a
_

b +c
_
= a
_

b +c
_
+a
_

b +c
_
a
_

b +c
_
= a

b +a c +a

b +a c
a
_

b +c
_
= a

b +a c +a

b +a c
31
a
_

b +c
_
= a

b +ac (5.3)
Isto demonstra que o produto geometrico apresenta a propriedade de distribu-
tividade. De forma an aloga e possvel demonstrar que:
_

b +c
_
a =

ba +ca (5.4)
Obs:

E importante notar que as equacoes 5.3 e 5.4 sao independentes pois o
produto geometrico nao e comutativo.
5.1.3 Multiplicacao por escalar
Vamos analisar a multiplicac ao por escalar:

_
a

b
_
=
_
a

b +a

b
_

_
a

b
_
= a

b + a

_
a

b
_
= (a)

b + (a)

_
a

b
_
= (a)

b
De forma an aloga pode-se mostrar que:

_
a

b
_
= a
_

b
_
Assim obtemos que a relac ao de multiplicacao por escalar pode ser expressa como:

_
a

b
_
= a
_

b
_
= a
_

b
_
(5.5)
32
5.1.4 Uma nova abordagem para os produtos interno e externo
Usamos o produto interno e externo entre dois vetores para denir o produto
geometrico e estabelecer suas propriedades. Podemos fazer o caminho oposto agora e
denir o produto interno e externo a partir do produto geometrico.
Somando 5.1 e 5.2 obtemos:
a

b +

ba = a

b +a

b +

b a +

b a
a

b +

ba = 2a

b +a

b a

b
1
2
_
a

b +

ba
_
= a

b (5.6)
Subtraindo 5.1 e 5.2 obtemos:
a

ba = a

b +a

b a

b a
a

ba = a

b +a

b
1
2
_
a

ba
_
= a

b (5.7)
As equacoes 5.6 e 5.7 mostram que podemos escrever o produto interno e externo a
partir do produto geometrico. Deste ponto de vista, podemos notar que a comutatividade
de a

b surge da comutatividade da adic ao (equac ao 5.6) e a anticomutatividade de a

b
surge da anticomutatividade da subtrac ao (equacao 5.7) e assim temos o produto interno
representando a parte simetrica do produto geometrico e o produto externo representando
a parte antisimetrica do geometrico.
33
5.2 Propriedades do produto geometrico entre tres
vetores
Queremos analisar o produto geometrico entre tres vetores (por exemplo, a

bc.
Entretanto, come caremos analisando o produto de um vetor a por um 2-vetor

B =

b c,
isto e:
a

B = a
_

b c
_
Vimos que o produto geometrico entre dois vetores pode ser dividido em uma
parte simetrica e uma parte antisimetrica e que essas partes s ao na verdade o produto
interno e o produto externo. Procedemos agora separando o produto a

B em uma parte
simetrica e outra antisimetrica. Assim escrevemos a

B como,
a

B =
1
2
_
a

B +a

B
_
+
1
2
_

Ba

Ba
_
a

B =
1
2
_
a

B +

Ba
_
+
1
2
_
a

B

Ba
_
(5.8)
Denimos ent ao,
Denition 1 Deniremos o produto interno entre um vetor e um 2-vetor como:
a

B =
1
2
_
a

B

Ba
_
=

B a (5.9)
Denition 2 Deniremos o produto externo entre um vetor e um 2-vetor como:
a

B =
1
2
_
a

B +

Ba
_
=

B a (5.10)
Neste momento o leitor deve estar se perguntando porque denimos o produto
externo a

B como a parte simetrica do produto a

B se antes denimos a

b como parte
antismetrica do produto a

b. A resposta para esta escolha e que esperamos que o produto

externo a

B coincida com a denic ao do triplo produto externo a

b c (lembre que

B =

b c). Abaixo mostramos que o produto a

B comuta, ou seja, representa a parte
simetrica do produto a

B.
a

B = a

b c
34
a

B = (1)

b a c
a

B = (1) (1)

b c a
a

B =

B a (5.11)
De onde conclumos que o produto externo de um vetor e um 2-vetor apresenta
a propriedade de comuta cao.
Somando as equa coes 5.9 e 5.10 podemos escrever a

B como:
a

B = a

B +a

B (5.12)
O termo a

B e um termo novo (ou seja, esta e sua primeira aparicao neste
manuscrito) e consideraremos como uma generalizac ao do produto interno de vetores, en-
tretanto, algebricamente, ele deve ser interpretado como a parte antisimetrica do produto
a

B.
5.2.1 Propriedade de associatividade
Tratando do produto geometrico entre tres vetores gostariamos que este produto
apresentasse a propriedade de associatividade, isto e:
_
a

b
_
c = a
_

bc
_
= a

bc (5.13)
Podemos obter esta propriedade contanto que consigamos mostrar que as propri-
edades do produto interno e do produto externo usadas para denir o produto geometrico
entre vetores sejam respeitadas. Vamos analisar se isto acontece.
Vamos abrir o lado esquerdo da equac ao 5.13:
_
a

b
_
c =
_
a

b +a

b
_
c
_
a

b
_
c =
_
a

b
_
c +
_
a

b
_
c
35
_
a

b
_
c =
_
a

b
_
c +
_
a

b
_
c
_
a

b
_
c =
_
a

b
_
c +
_
a

b
_
c +
_
a

b
_
c (5.14)
Vamos abrir o termo do meio da equa cao (5.13):
a
_

bc
_
= a
_

b c +

b c
_
a
_

bc
_
= a
_

b c
_
+a
_

b c
_
+a
_

b c
_
(5.15)
Comparando a equacao (5.14) com a equac ao (5.15) nos resta mostrar que:
_
a

b
_
c +
_
a

b
_
c = a
_

b c
_
+a
_

b c
_
(5.16)
Onde usamos a propriedade de associatividade do produto triplo, ou seja:
_
a

b
_
c = a
_

b c
_
(5.17)
Agora o problema de mostrar a veracidade da equa cao (5.13) se restringe a de-
monstrar a igualdade em 5.16.
Como o termo

b c representa um 2-vetor usamos (5.9) para escrever:
a
_

b c
_
=
1
2
_
a
_

b c
_

b c
_
a
_
E usando a equac ao (5.7) para reescrever o termo

b c obtemos:
a
_

b c
_
=
1
4
_
a
_

bc c

b
_

bc c

b
_
a
_
a
_

b c
_
=
1
4
_
a

bc ac

bca +c

ba
_
a
_

b c
_
=
1
4
_
a

bc ac

bca +c

ba +

bac

bac +ca

b ca

b
_
36
a
_

b c
_
=
1
2
_
2
_
a

b +

ba
_
c 2 (ac +ca)

b
_
a
_

b c
_
=
_
a

b
_
c (a c)

b (5.18)
Vamos analisar agora o termo
_
a

b
_
c em (5.16).
_
a

b
_
c =
1
2
__
a

b
_
c c
_
a

b
__
_
a

b
_
c =
1
4
__
a

ba
_
c c
_
a

ba
__
_
a

b
_
c =
1
4
_
a

bc

bac ca

b +c

ba
_
_
a

b
_
c =
1
4
_
a

bc

bac ca

b +c

ba +ac

b ac

bca +

bca ac

b +ac

b +

bca

bca
_
_
a

b
_
c =
1
4
_
a
_

bc +c

b
_
+
_
c

b +

bc
_
a

b (ac +ca) (ca +ac)

b
_
_
a

b
_
c =
1
4
_
4a
_

b c
_
4

b (a c)
_
_
a

b
_
c = a
_

b c
_

b (a c) (5.19)
Usando (5.18) e (5.19) em (5.16) obtemos:
_
a

b
_
c +a
_

b c
_

b (a c) = a
_

b c
_
+
_
a

b
_
c (a c)

b (5.20)
Desta forma, a expressao (5.13) e verdadeira e podemos dizer que o produto
geometrico e associativo.
Outro resultado interessante e que podemos usar (5.18) para reescrever (5.12) e
obter:
37
a

B = a
_

b c
_
+a
_

b c
_
=
_
a

b
_
c (a c)

b +a
_

b c
_
(5.21)
Onde concluimos que o produto geometrico entre um vetor e um 2-vetor produz
um vetor e um 3-vetor. Se compararmos a equac ao (5.21) e (5.1) podemos observar o
padr ao de que no produto geometrico entre um vetor e um k-vetor, o produto interno
reduz o graudo k-vetor em um e o produto externo aumenta o graudo k-vetor em
um.
38
6 Axiomatica da algebra
geometrica
6.1 Axiomas da algebra geometrica
Uma algebra geometrica e uma algebra construida a partir de um espaco veto-
rial. Considerando um espaco vetoral arbitr ario
n
n-dimensional, denimos a algebra
geometrica G(
n
) sobre o espaco
n
como o conjunto dos elementos, chamados multiveto-
res, que est ao relacionados pela operacao de adicao que a cada par de multivetores A e
B associa um multivetor A+B G(
n
), e pela operac ao chamada produto geometrico
que a cada par de multivetores A e B associa um multivetor AB G(
n
).
Sejam A, B, C multivetores de G(
n
) as propriedades das operacoes de adicao e
produto geometrico s ao denidas como axiomas:
Comutatividade
Axioma 1 A adicao e comutativa, i.e,
A + B = B + A (6.1)
Distributividade
Axioma 2 A multiplicacao e distributiva em relacao a adicao, i.e,
A(B + C) = AB + AC (6.2)
(B + C) A = BA + CA (6.3)
Associatividade
39
Axioma 3 A adicao e a multiplicacao sao associativas, i.e,
(A + B) + C = A + (B + C) (6.4)
(AB) C = A(BC) (6.5)
Elemento Nulo
Axioma 4 Existe um unico multivetor denotado 0 e chamado de elemento nulo tal que,
A + 0 = A (6.6)
Elemento Neutro
Axioma 5 Existe um unico multivetor denotado 1 e chamado de elemento neutro tal que,
1A = A (6.7)
Inverso Aditivo
Axioma 6 Cada multivetor A tem um inverso aditivo denotado -A tal que,
A + (A) = 0 (6.8)
Os seguintes axiomas s ao estabelecidos para especicar os elementos da algebra
geometrica.
Axioma 7 O espaco vetorial
n
e um subespaco linear de G(
n
) chamado espaco vetorial
dos multivetores de graduacao 1 ou 1-vetores.
Obs: No estudo de algebras graduadas e comum diferenciar o termo espaco
vetorial lineardo termo espaco linearsendo ultimo usado em um contexto geral e o
primeiro usado quando se trata de 1-vetores [Hes02a].
Axioma 8 Os demais multivetores resultam do produto geometrico entre 1-vetores ou da
combinacao linear dos elementos gerados pelo produto de 1-vetores.
40
Os dois axiomas acima estabelecem o papel de um dado espaco vetorial
n
na
gerac ao a partir dele de uma especca algebra geometrica G(
n
).
Axioma 9 G(
n
) possui um subespaco vetorial, denominado subespaco dos escalares (mul-
tivetores de graduacao 0) que e identico ao conjunto dos n umeros reais.
Axioma 10 O produto geometrico entre vetores de
n
e relacionado com escalares as-
sumindo que o quadradode um vetor a
n
arbitrario resulta em um unico escalar
chamado magnitude de a e denotado por [a[
2
que tambem e elemento de G(
n
), i.e,
a
2
= aa = |a|
2
(6.9)
6.2 Algumas denic oes e teoremas
Com base nos axiomas acima faremos algumas denic oes sem discutir a quest ao
da existencia de elementos da algebra geometrica que possuam as propriedades utilizadas
nestas denicoes. Mais a frente construiremos alguns exemplos de algebras geometricas
onde elementos com tais propriedades aparecer ao. O leitor interessado em provas mais
gerais onde nao ha a necessidade de escolher uma especca algebra geometrica pode
consultar o livro [HS84].
Denicao 1 Quando um multivetor de G(
n
) puder ser escrito como o produto geometrico
de r 1-vetores de
n
que anticomutam chamaremos este multivetor de uma r-placa (r-
blade).
Denicao 2 1. Supondo que existam multivetores que sejam escritos como combinacao
linear de varias r-placas, chamaremos de parte r-vetor do multivetor a combinacao
linear de r-placas que possuam o mesmo valor r.
2. No caso em que existir multivetores com combinacoes lineares de r-placas com dife-
rentes valores de r escrevemos A)
r
para representar a parte r-vetor do multivetor
A.
3. Um multivetor e chamado um r-vetor puro ou r-vetor quando A = A)
r
41
4. Dizemos que um multivetor A arbitrario tem graduacao r quando A e escrito
como combinacao linear de r-placas de mesmo valor de r.
Obs: Supondo que existam objetos na algebra geometrica que se enquadrem
nas denicoes acima, a motivac ao delas e fornecer uma nomenclatura para os elementos
linearmente independentes que compoem esta algebra geometrica.
Quando existir um multivetor composto de r-placas com diferentes valores de r
podemos denotar que ele composto por partes de diferentes graduac oes escrevendo:
A = A)
0
+A)
1
+ ... +A)
n
(6.10)
A algebra elementar nos mostra que a possibilidade de divisao facilita muito a
resoluc ao de equac oes. A divis ao de multivetores pode ser denida na algebra geometrica
a partir do produto de multivetores. Entretanto este assunto tem que ser tratado com
bastante atenc ao devido a ausencia de comutatividade.
Sempre existe a divisao por um multivetor A se este multivetor possui um inverso
multiplicativo. Denimos o inverso de A no contexto da algebra geometrica como:
Denicao 3 Seja A um multivetor que pertence a uma dada algebra geometrica G(
n
)
sobre um espaco vetorial . Denimos o inverso multiplicativo de A denotado por
A
1
ou
1
A
pela equacao:
A
1
A = 1 (6.11)
Neste contexto quando A
1
existe ent ao temos duas possibilidades de divis ao pelo
multivetor A:
Pela direita:
A
1
B =
1
A
B (6.12)
Pela esquerda:
BA
1
= B
1
A
(6.13)
Obviamente, a divis ao pela direita e a divis ao pela esquerda nao s ao equivalentes a
menos que B e A
1
comutem. Entretanto quando se trata dos escalares (que apresentam a
propriedade de comutac ao) a divis ao pela esquerda e pela direita sao equivalentes. Assim
e interessante notar como a algebra geometrica generaliza a algebra dos n umeros reais.
42
Obs: A existencia da operacao de divis ao na algebra geometrica permite genera-
lizar considerando a noc ao de n umeros com dire cao, muitos teoremas existentes para os
n umeros reais. Assim esta e uma das propriedades da algebra geometrica que faz com que
ela possua uma variedade de aplicac oes muito maior que a algebra de vetores de Gibbs.
Como resultado da denic ao acima podemos estabelecer uma f ormula para obter
o inverso de vetores.
Teorema 1 Todo vetor nao-nulo a pertencente a uma dada algebra geometrica G(
n
)
possui um inverso multiplicativo dado por:
a
1
=
a
|a|
2
(6.14)
Prova. A prova da formula acima e feita a partir da denic ao de vetor inverso.
Seja,
aa
1
= 1 [aplica a ` a direita]
a
2
a
1
= a [usando o axioma 10]
|a|
2
a
1
= a
a
1
=
a
|a|
2
Fazemos agora a deni cao de produto interno e externo entre 1-vetores de
n

G(
n
) da seguinte forma:
Denicao 4 O produto interno entre os 1-vetores a e

b representado por a

b e denido
como:
a

b =
1
2
_
a

b +

ba
_
(6.15)
Ou seja, a

b nos fornece a parte simetrica do produto a

b.
Denicao 5 O produto externo entre os 1-vetores a e

b representado por a

b e denido
como:
a

b =
1
2
_
a

ba
_
(6.16)
43
Por outro lado, o produto externo a

b nos fornece a parte antisimetrica do

produto a

b.
Dessas denic oes estabelecemos os seguintes teoremas:
Teorema 2 O produto interno a

b e comutativo.
Prova.
a

b =
1
2
_
a

b +

ba
_
Da comutatividade da adi cao (axioma 6.1) temos:
a

b =
1
2
_

ba +a

b
_
a

b =

b a
Teorema 3 O produto externo a

b e anticomutativo.
Prova.
a

b =
1
2
_
a

ba
_
=
1
2
_
(1) (1)a

b + (1)

ba
_
= (1)
1
2
_
(1)a

b +

ba
_
=
1
2
_

ba a

b
_
a

b =

b a
Teorema 4 O produto a

b pode ser escrito como a soma de um produto interno a

b e um
produto externo a

b, i.e,
a

b = a

b +a

b (6.17)
Prova.
a

b =
1
2
_
a

b +a

b
_
+
1
2
_

ba

ba
_
=
1
2
_
a

b +

ba
_
+
1
2
_
a

ba
_
a

b = a

b +a

b
44
Teorema 5 As armacoes abaixo sao equivalentes:
1. a

b =

ba
2. a

b = a

b
3. a

b = 0
Prova.
Para mostrar que (1) implica em (2) basta usar (1) na denic ao 4
Para mostrar que (2) implica em (3) basta usar (2) no teorema 4
Para mostrar que (3) implica em (1) basta usar (3) na denic ao 5
Teorema 6 As armacoes abaixo sao equivalentes:
1. a

b =

ba
2. a

b = a

b
3. a

b = 0
Prova.
Para mostrar que (1) implica em (2) basta usar (1) na denic ao 5
Para mostrar que (2) implica em (3) basta usar (2) no teorema 4
Para mostrar que (3) implica em (1) basta usar (3) na denic ao 4
Denicao 6 .
45
Chamamos um multivetor A de par quando A)
r
= 0 para todo r mpar.
Chamamos um multivetor A de mpar quando A)
r
= 0 para todo r par.
Denicao 7 Denimos a operacao de reversao (representada pelo acento til) pelas se-
guintes equacoes:
1. (AB)=

B

A
2. (A + B)=

A +

B
3.
_

A
_
0
= A)
0
4.

a = a para todo a = a)
1
A unicidade da operac ao de revers ao denida acima pode ser encontrada em
[HS84].
Denicao 8 Seja A um multivetor qualquer de G(
n
). Denimos a norma ou magnitude
do multivetor A por:
[A[
2
=
_

AA
_
0
=
_
A

A
_
0
(6.18)
A vericac ao de que a denic ao acima e consistente com a denicao de norma de
um vetor e apresentada em [Hes02a].
6.3 Exemplos de algebras geometricas
6.3.1 Exemplo 1:

Algebra geometrica do plano euclidiano ou

i-algebra
Podemos construir uma algebra geometrica G(R
2
) chamada

i- algebra sobre o
espaco vetorial conhecido como R
2
que representa os pontos do plano euclidiano. Para isso
consideramos uma base can onica de R
2
representada pelos vetores ortonormais e
1
= (1, 0)
e e
2
= (0, 1). Seja v = v
1
e
1
+ v
2
e
2
um vetor do espaco vetorial R
2
, calculamos o seu
quadrado:
46
v
2
= vv = (v
1
e
1
+ v
2
e
2
) (v
1
e
1
+ v
2
e
2
)
= v
1
v
1
e
1
e
1
+ v
2
v
2
e
2
e
2
+ v
1
v
2
e
1
e
2
+ v
2
v
1
e
2
e
1
= v
1
v
1
e
1
e
1
+ v
2
v
2
e
2
e
2
+ v
1
v
2
( e
1
e
2
+ e
2
e
1
) (6.19)
Como estamos considerando o caso de um plano euclidiano o qual possui uma ge-
ometria euclidiana, acrescentamos aos axiomas da algebra geometrica, o seguinte axioma:
Axioma 11 Seja a = v
1
e
1
+ v
2
e
2
um vetor arbitrario tal que a R
2
, a magnitude de a
e calculada de acordo com a norma euclidiana, i.e,
[a[
2
= v
2
1
+ v
2
2
(6.20)
Devido a este axioma, devemos impor a seguinte condic ao a equac ao (@6.19):
e
1
e
1
= e
2
e
2
= 1 (6.21)
e
1
e
2
+ e
2
e
1
= 0 (6.22)
O 2-vetor e
1
e
2
e uma 2-placa e representa na algebra do plano euclidiano um seg-
mento de plano orientado unit ario. O 2-vetor e
1
e
2
e tambem chamado pseudo-escalar
unitario da algebra do plano euclidiano e pode ser denotado como

i = e
1
e
2
. Esta de-
nominac ao se justicara mais precisamente quando zermos a denic ao do dual de um
multivetor (isto ser a feito quando apresentarmos a algebra geometrica do espaco euclidi-
ano tridimensional). Entretanto, justicamos neste momento pelo fato que todo o 2-vetor
(ou pseudo-escalar) da algebra geometrica do plano euclidiano e multiplo do pseudo-
escalar unit ario

i e portanto, assim como os escalares, o espaco linear gerado por

i e
unidimensional e somente a noc ao de orientacao (ou sentido) existe.
Temos ent ao tres espacos lineares de graduac oes diferentes, o espaco linear (
0
2
= R
dos escalares, o espaco vetorial (
1
2
= R
2
dos 1-vetores e o espaco linear (
2
2
dos 2-vetores
(ou pseudo-escalares). Assim o conjunto dos elementos da algebra geometrica G(R
2
)
formam um espa co linear denotado como (
2
que resulta da soma direta:
(
2
=
2
i=0
(
i
2
(6.23)
47
Figura 10: Representac ao geometrica dos elementos da algebra geometrica do

i-plano ou
plano euclidiano.
Uma base para o espaco linear (
2
dos elementos de G(R
2
) e o conjunto 1, e
1
, e
2
, e
1
e
2
.
Assim o espaco vetorial (
2
e quadridimensional. Desta forma, qualquer multivetor da
algebra geometrica do plano euclidiano pode ser escrito como:
A =
0
+
1
e
1
+
2
e
2
+
3

i (6.24)
onde
0
,
1
,
2
,
3
s ao escalares arbitr arios e

i = e
1
e
2
.
Gracamente pode-se pensar nos elementos da algebra do plano euclidiano G(R
2
)
de acordo com a representac ao apresentada na gura 10.
Considerando o produto

i

i =

i
2
obtemos:

i
2
=

i

i
= e
1
e
2
e
1
e
2
= e
1
e
1
e
2
e
2

i
2
= 1 (6.25)
48
Onde vemos que o pseudo-escalar unitario de G(R
2
) apresenta a mesma propri-
edade da unidade imaginaria dos n umeros complexos. Neste contexto estabelecemos o
seguinte teorema sobre o pseudo-escalar da algebra geometrica do plano euclidiano.
Teorema 7 O pseudo-escalar

i de G(R
2
) apresenta as seguintes propriedades:
1.

i
2
= 1 (6.26)
2.

i =

i (6.27)
3. O pseudo-escalar

i comuta com escalares e 2-vetores e anticomuta com 1-vetores.
Prova.
O item (1) foi provado em (6.25).
Demonstrac ao item 2.

i = ( e
1
e
2
)

i =

e
2

e
1
= e
1
e
2
=

i
Finalmente

i comuta com escalares por que qualquer multivetor comuta com es-
calares e comuta com 2-vetores por que os 2-vetores sao multiplos de

i. Abaixo e
provado que

i anticomuta com 1-vetores. Seja v =

1
e
1
+
2
e
2
um 1-vetor arbitr ario
temos:
v

i = (
1
e
1
+
2
e
2
)

i
= (
1
e
1
+
2
e
2
) e
1
e
2
=
1
e
1
e
1
e
2
+
2
e
2
e
1
e
2
=
1
e
1
e
2
e
1

2
e
1
e
2
e
2
= e
1
e
2
(
1
e
1

2
e
2
)
=

i (
1
e
1
+
2
e
2
)
=

iv
49
Calculando o produto geometrico entre dois vetores arbitr arios u = u
1
e
1
+u
2
e
2
e
v = v
1
e
1
+ v
2
e
2
obtemos:
uv = u
1
v
1
+ u
2
v
2
+ u
1
v
2
e
1
e
2
+ u
2
v
1
e
2
e
1
= u
1
v
1
+ u
2
v
2
+ (u
1
v
2
u
2
v
1
) e
1
e
2
(6.28)
Calculando o produto geometrico entre u e v novamente mas em ordem inversa
temos,
vu = u
1
v
1
+ u
2
v
2
+ v
1
u
2
e
1
e
2
+ v
2
u
1
e
2
e
1
= u
1
v
1
+ u
2
v
2
+ (u
2
v
1
u
1
v
2
) e
1
e
2
(6.29)
Usando as equac oes (6.28) e (6.29) para calcular o produto interno de acordo com
a denic ao 4 obtemos:
u v = u
1
v
1
+ u
2
v
2
(6.30)
Onde vemos que o produto interno na algebra geometrica do R
2
e igual ao produto
escalar da algebra vetorial sobre o R
2
.
Usando as equa coes (6.28) e (6.29) para calcular o produto externo de acordo
com a deni cao 5 obtemos:
u v = (u
1
v
2
u
2
v
1
) e
1
e
2
(6.31)
O qual representa um segmento de plano orientado e n ao possui analogo na
algebra vetorial do R
2
.
Podemos separar o espaco vetorial (
2
em multivetores pares (escalares e 2-vetores)
(
+
2
= (
0
2
+ (
2
2
e multivetores impares (vetores) (

2
= (
1
2
e escrevemos o conjunto dos
elementos da algebra geometrica G(R
2
) como a soma direta do espa cos vetoriais (

2
e (
+
2
,
50
i.e,
(
2
= (

2
(
+
2
(6.32)

E interessante notar que os elementos do espaco vetorial (

+
2
formam um conjunto
fechado na soma e no produto geometrico e portanto uma subalgebra de G(R
2
) denotada
G
+
(R
2
) e chamada subalgebra par ou subalgebra do plano espinor. O mesmo n ao
ocorre com os elementos do espaco vetorial (

2
por que o produto geometrico de dois
elementos deste espaco produz um elemento do espa co vetorial (
+
2
.
6.3.1.1

Algebra geometrica do plano espinor (G
+
(R
2
))
Considerando ainda a algebra G
+
(R
2
) chamamos de espinor a combinac ao linear
de um escalar (0-vetor) e um 2-vetor e representamos o espinor pela letra z (as raz oes
desta nomenclatura serao esclarecidas adiante quando analisarmos sua aplica cao a teoria
de Pauli para o eletron). Para construir um espinor basta multiplicar dois 1-vetores. Como
exemplo, considere o vetor x = x
1
e
1
+ x
2
e
2
, construimos um espinor z multiplicando e
1
por x e obtemos,
z e
1
x = e
1
(x
1
e
1
+ x
2
e
2
)
= x
1
e
1
e
1
+ x
2
e
1
e
2
z = x
1
+ x
2

i
Onde z G
+
(R
2
). Calculando z z obtemos:
z z =
_
x
1
+ x
2

i
__
x
1
x
2

i
_
= x
2
1
+ x
1
x
2

i x
2

ix
1
+ x
2
2
= x
2
1
+ x
2
2
= z)
2
0
= [z[
2
A gura 11 apresenta gracamente a representac ao do plano espinor.
O conjunto dos elementos do plano espinor apresentam aplicac oes como opera-
dores. Para mostrar isso aplicamos z ` a direita de e
1
obtemos:
51
Figura 11: Representac ao geometrica do plano espinor
e
1
z = e
1
_
x
1
+ x
2

i
_
x = x
1
e
1
+ x
2
e
2
(6.33)
Podemos concluir que o espinor z realiza uma rotac ao em e
1
pelo angulo =
arctan(
x
2
x
1
) e uma dilata cao igual a [z[ =

z z. Por este motivo o espinor z e chamado

tambem de operador rotacao-dilatacao quando aplicado sobre os elementos de (

2
. A
gura 12 ilustra o efeito do espinor z sobre e
1
.
Fazendo a seguinte associac ao:

i G
+
(R)
2
i C
1 G
+
(R)
2
1 C
(6.34)
Com essas identicac oes denimos um isomorsmo algebrico entre o plano espinor
52
Figura 12: Efeito do espinor z sobre e
1
G
+
(R)
2
e o plano complexo C. Ent ao, em analogia com o plano complexo, escrevemos o
espinor z na forma polar como:
z = [z[ exp
_

i
_
(6.35)
Onde:
= arctan(
x
2
x
1
)
[z[
2
= z z = x
2
1
+ x
2
2
6.3.2 Exemplo 2:

Algebra geometrica do espaco euclidiano G(R
3
)
Para introduzir a algebra geometrica do espaco euclidiano G(R
3
) utilizamos o
espaco vetorial R
3
que representa os pontos do espaco euclidiano
3
. Utilizamos a base
can onica e
1
= (1, 0, 0), e
2
= (0, 1, 0), e
3
= (0, 0, 1) do R
3
. Igualmente como foi feito para o
exemplo da algebra geometrica do plano euclidiano acrescentamos mais um axioma para
denir a norma de um vetor do espaco R
3
.
53
Axioma 11 Seja a = v
1
e
1
+ v
2
e
2
+ v
3
e
3
R
3
, a magnitude de a e calculada de acordo
com a norma euclidiana, i.e,
[a[
2
= v
2
1
+ v
2
2
+ v
2
3
(6.36)
Ent ao a algebra geometrica do espaco euclidiano G(R
3
) e gerada a partir do
espaco vetorial R
3
e da norma euclidiana para o espaco tridimensional. Fazemos isso
calculando o quadrado de um vetor arbitrario v = v
1
e
1
+ v
2
e
2
+ v
3
e
3
em R
3
:
v
2
= vv = (v
1
e
1
+ v
2
e
2
+ v
3
e
3
) (v
1
e
1
+ v
2
e
2
+ v
3
e
3
)
= v
1
v
1
e
1
e
1
+ v
2
v
2
e
2
e
2
+ v
3
v
3
e
3
e
3
+ v
1
v
2
e
1
e
2
+ v
2
v
1
e
2
e
1
+ ...
... + v
1
v
3
e
1
e
3
+ v
3
v
1
e
3
e
1
+ v
3
v
2
e
3
e
2
+ v
2
v
3
e
2
e
3
= v
1
v
1
e
1
e
1
+ v
2
v
2
e
2
e
2
+ v
3
v
3
e
3
e
3
+ v
1
v
2
( e
1
e
2
+ e
2
e
1
) + ...
... + v
3
v
1
( e
3
e
1
+ e
1
e
3
) + v
2
v
3
( e
2
e
3
+ e
3
e
2
) (6.37)
De acordo com o axioma 10 devemos associar v
2
= |v|
2
onde |v|
2
e estabelecido
pelo axioma 11. Em sintese devemos ter:
v
2
= v
2
1
+ v
2
2
+ v
2
3
(6.38)
Ent ao a equac ao (6.37) de ser igualada `a equac ao (6.38) e devemos ter:
e
1
e
1
= e
2
e
2
= e
3
e
3
= 1
e
1
e
2
+ e
2
e
1
= 0
e
2
e
3
+ e
3
e
2
= 0
e
3
e
1
+ e
1
e
3
= 0
(6.39)
Obtemos entao as 2-placas e
1
e
2
= e
2
e
1
, e
2
e
3
= e
3
e
2
e e
3
e
1
= e
1
e
3
as quais po-
dem ser interpretadas geometricamente como segmentos de planos orientados linearmente
independentes (gura 13). A mudanca de sinal deve ser interpretada geometricamente
como uma mudanca de sentido de giro do segmento de plano orientado.
Podemos introduzir a notacao alternativa para estes 2-placas:
54
Figura 13: Representac ao geometrica dos 1-vetores da base can onica e de tres 2-placas
linearmente independentes geradas pelos seus produtos geometricos. Acrescentando o
sinal de menos a estas 2-placas alteramos o sentido de giro na representac ao geometrica.

i
3
= e
1
e
2
= e
2
e
1

i
1
= e
2
e
3
= e
3
e
2

i
2
= e
3
e
1
= e
1
e
3
(6.40)
Podemos considerar o produto de tres 1-placa e
1
, e
2
e e
3
, ou seja,
e
1
e
2
e
3
I (6.41)
O 3-placa I e chamado pseudo-escalar unit ario do espa co euclidiano e pode ser
interpretado geometricamente como um segmento de volume orientado. No espaco tridi-
mensional um segmento de volume pode ter uma unica direc ao e dois sentidos, dextrogiro
e levogiro que s ao associados com os sinais positivo e negativo, respectivamente (gura
14).
Com relac ao ao 3-placa I enunciamos o seguinte teorema que e valido na algebra
geometrica do espaco euclidiano tridimensional.
Teorema 8 Seja I = e
1
e
2
e
3
o 3-placa unitario da algebra geometrica do espaco euclidiano
tridimensional temos as seguintes propriedades:
55
Figura 14: Possiveis orientac oes do segmento de volume orientado I.
1.

I = I (6.42)
2.
I
2
= 1 (6.43)
3.
IA = AI para todo o A G
_
R
3
_
(6.44)
Prova.
Analisando

I:

I = e
3
e
2
e
1
= e
2
e
3
e
1
= e
2
e
1
e
3
= e
1
e
2
e
3
= I
56
Analisando I
2
:
I
2
= e
1
e
2
e
3
e
1
e
2
e
3
= e
1
e
3
e
2
e
1
e
2
e
3
= e
3
e
1
e
2
e
1
e
2
e
3
= e
3
e
2
e
1
e
1
e
2
e
3
= e
3
e
2
e
2
e
3
= e
3
e
3
= 1
Prova do item 3: O 3-placa I comuta automaticamente com qualquer escalar ou com
qualquer 3-vetor. Resta mostrar que ele comuta tambem com 1-vetores e 2-vetores.
Seja

b = b
1
e
1
+ b
2
e
2
+ b
3
e
3
um vetor arbitrario de G(R
3
). Ent ao mostramos que I
comuta com

b calculando,

bI = (b
1
e
1
+ b
2
e
2
+ b
3
e
3
) I
= (b
1
e
1
+ b
2
e
2
+ b
3
e
3
) e
1
e
2
e
3
= b
1
e
1
e
1
e
2
e
3
+ b
2
e
2
e
1
e
2
e
3
+ b
3
e
3
e
1
e
2
e
3
= b
1
e
1
e
2
e
1
e
3
b
2
e
1
e
2
e
2
e
3
b
3
e
1
e
3
e
2
e
3
= b
1
e
1
e
2
e
3
e
1
+ b
2
e
1
e
2
e
3
e
2
+ b
3
e
1
e
2
e
3
e
3
= e
1
e
2
e
3
(b
1
e
1
+ b
2
e
2
+ b
3
e
3
)
= I

b
Seja

B = B
1
e
2
e
3
+B
2
e
3
e
1
+B
3
e
1
e
2
um 2-vetor arbitr ario de G(R
3
). Ent ao mostra-
57
mos que I comuta com

B calculando,

BI = (B
1
e
2
e
3
+ B
2
e
3
e
1
+ B
3
e
1
e
2
) I
= (B
1
e
2
e
3
+ B
2
e
3
e
1
+ B
3
e
1
e
2
) e
1
e
2
e
3
= B
1
e
2
e
3
e
1
e
2
e
3
+ B
2
e
3
e
1
e
1
e
2
e
3
+ B
3
e
1
e
2
e
1
e
2
e
3
= B
1
e
2
e
1
e
3
e
2
e
3
B
2
e
3
e
1
e
2
e
1
e
3
B
3
e
1
e
2
e
2
e
1
e
3
= B
1
e
1
e
2
e
3
e
2
e
3
+ B
2
e
1
e
3
e
2
e
1
e
3
+ B
3
e
1
e
2
e
2
e
3
e
1
= B
1
e
1
e
2
e
3
e
2
e
3
B
2
e
1
e
2
e
3
e
1
e
3
B
3
e
1
e
2
e
3
e
2
e
1
= B
1
e
1
e
2
e
3
e
2
e
3
+ B
2
e
1
e
2
e
3
e
3
e
1
+ B
3
e
1
e
2
e
3
e
1
e
2
= e
1
e
2
e
3
(B
1
e
2
e
3
+ B
2
e
3
e
1
+ B
3
e
1
e
2
)
= I (B
1
e
2
e
3
+ B
2
e
3
e
1
+ B
3
e
1
e
2
)
= I

B
Neste contexto, qualquer vetor na algebra do espaco euclidiano pode ser escrito
como:
a = a
1
e
1
+ a
2
e
2
+ a
3
e
3
(6.45)
Qualquer 2-vetor pode ser escrito como:

B = B
1
e
2
e
3
+ B
2
e
3
e
1
+ B
3
e
1
e
2
(6.46)
Ou alternativamente,

B = B
1
( e
1
e
1
) e
2
e
3
+ B
2
( e
2
e
2
) e
3
e
1
+ B
3
e
1
e
2
( e
3
e
3
)

B = ( e
1
e
2
e
3
) B
1
e
1
+ ( e
1
e
2
e
3
) B
2
e
2
+ ( e
1
e
2
e
3
) B
3
e
3

B = e
1
e
2
e
3
(B
1
e
1
+ B
2
e
2
+ B
3
e
3
)

B = I (B
1
e
1
+ B
2
e
2
+ B
3
e
3
) (6.47)
Denindo

b = B
1
e
1
+ B
2
e
2
+ B
3
e
3
temos:
58

B = I

b (6.48)
Desta forma dizemos que o vetor

b e o dual do 2-vetor

B e o 3-placa I e o
operador de dualidade. Por este motivo dentro da algebra geometrica do espaco euclidiano
tridimensional chamamos o 2-vetor de pseudo-vetor. Entretanto, e importante notar que
as relacoes dualidade dependem da algebra geometrica que estamos trabalhando pois
vimos que no caso da algebra geometrica do plano euclidiano o 2-vetor era o pseudo-
escalar da algebra.
Qualquer 3-vetor pode ser escrito como:
A)
3
= e
1
e
2
e
3
(6.49)
Ou,
A)
3
= I (6.50)
Onde podemos ver que o 3-vetor e o dual de um escalar assim chamamos os
3-vetores alternativamente como pseudo-escalar.
Mais genericamente denimos o operador de dualidade chamado dual e denotado
por como [Vaz97]:
Denicao 9 Denimos o operador dualidade sobre um k-vetor A
k
em uma algebra geometrica
arbitraria G() que fornece seu dual A
k
por:
A
k


A
k
I (6.51)
Onde

I e o pseudo-escalar unitario de G().
A gura 15 esquematiza as k-placas existentes na algebra geometrica do espaco
euclidiano tridimensional. Assim vemos que a algebra geometrica do espaco euclidiano
tridimensional G(R
3
) possui elementos de graduac ao 0 (escalares), de graduac ao 1 (ve-
tores), de gradua cao 2 (pseudo-vetores) e de graduac ao 3 (pseudo-escalares). O espaco
vetorial (
3
dos elementos de G(R
3
) e escrito como soma direta dos espa cos vetoriais destes
elementos:
59
Figura 15: k-placas existentes na algebra geometrica do espaco euclidiano tridimensional.
(
3
=
3
i=0
(
i
3
(6.52)
Assim qualquer multivetor A da algebra do espaco-euclidiano como:
A =
0
+ a
1
e
1
+ a
2
e
2
+ a
3
e
3
+ B
1
e
2
e
3
+ B
2
e
3
e
1
+ B
3
e
1
e
2
+ e
1
e
2
e
3
(6.53)
Ou usando a dualidade, temos a forma alternativa,
A =
0
+a +

bI + I (6.54)
Como o subespaco linear dos escalares tem dimensao 1, o subespaco vetorial dos
vetores tem dimensao 3, o subespaco linear dos 2-vetores tem dimensao 3 e o subespaco
linear dos 3-vetores tem dimensao 1. Concluimos que a algebra geometrica do espaco
euclidiano tem dimensao 8.
Calculando o produto entre dois vetores arbitr arios u = u
1
e
1
+ u
2
e
2
+ u
3
e
3
e
v = v
1
e
1
+ v
2
e
2
+ v
3
e
3
obtemos:
uv = (u
1
e
1
+ u
2
e
2
+ u
3
e
3
) (v
1
e
1
+ v
2
e
2
+ v
3
e
3
)
= u
1
v
1
+ u
2
v
2
+ u
3
v
3
+ u
1
v
2
e
1
e
2
+ u
1
v
3
e
1
e
3
+ ...
... + u
2
v
1
e
2
e
1
+ u
2
v
3
e
2
e
3
+ u
3
v
1
e
3
e
1
+ u
3
v
2
e
3
e
2
= (u
1
v
1
+ u
2
v
2
+ u
3
v
3
) + (u
2
v
3
u
3
v
1
) e
2
e
3
+ ...
... + (u
3
v
1
u
1
v
3
) e
3
e
1
+ (u
1
v
2
v
2
u
1
) e
1
e
2
(6.55)
60
Calculando agora o produto vu obtemos:
vu = (v
1
e
1
+ v
2
e
2
+ v
3
e
3
) (u
1
e
1
+ u
2
e
2
+ u
3
e
3
)
= u
1
v
1
+ u
2
v
2
+ u
3
v
3
+ v
1
u
2
e
1
e
2
+ v
1
u
3
e
1
e
3
+ ...
... + v
2
u
1
e
2
e
1
+ v
2
u
3
e
2
e
3
+ v
3
u
1
e
3
e
1
+ v
3
u
2
e
3
e
2
= (u
1
v
1
+ u
2
v
2
+ u
3
v
3
) (u
2
v
3
u
3
v
1
) e
2
e
3
...
... (u
3
v
1
u
1
v
3
) e
3
e
1
(u
1
v
2
v
2
u
1
) e
1
e
2
(6.56)
Usamos agora as equac oes (6.55) e (6.56) na denicao 4 para calcular o produto
interno do R
3
:
u v = u
1
v
1
+ u
2
v
2
+ u
3
v
3
(6.57)
Onde vemos que o produto interno entre vetores no R
3
e igual ao produto escalar
da algebra vetorial.
Usamos as equacoes (6.55) e (6.56) na denicao 5 para calcular o produto externo
no R
3
:
u v = (u
2
v
3
u
3
v
1
) e
2
e
3
+ (u
3
v
1
u
1
v
3
) e
3
e
1
+ (u
1
v
2
v
2
u
1
) e
1
e
2
(6.58)
O produto externo nos fornece o segmento de plano orientado determinado pelos
vetores u e v. Temos ent ao:
uv = u v +u v
Ou seja, uv nos fornece um escalar e um 2-vetor (segmento de plano orientado).
Retornando a equacao (6.58) podemos multiplic a-la por I para obter:
I (u v) = (u
2
v
3
u
3
v
1
) e
1
+ (u
3
v
1
u
1
v
3
) e
2
+ (u
1
v
2
v
2
u
1
) e
3
(6.59)
61
Mas o termo da direita na equa cao (6.59) e conhecido na algebra vetorial do R
3
como produto vetorial. Logo o produto vetorial existe na algebra geometrica do R
3
e e
denido como:
Denicao 10 O produto vetorial (cross product) e denido na algebra geometrica por:
u v = I (u v) (6.60)
Podemos ainda separar o espaco linear (
3
em espaco espaco linear dos multive-
tores pares (
+
3
e espaco linear dos multivetores impares (

3
e escrever:
(
3
= (

3
(
+
3
Os multivetores pares, i. e, os multivetores do tipo A)
+
=
0
+ i

b (
+
3
geram
uma sub algebra G
+
(R
3
) chamada sub algebra par do espaco euclidiano tridimensional pois
seus elementos formam um conjunto fechado em rela cao as operac oes de soma e produto
geometrico. O mesmo n ao ocorre com os multivetores do espaco vetorial impar (

3
pois o
produto geometrico entre eles sempre produz um elemento que pertence ao espaco linear
dos multivetores pares (
+
3
.
6.3.2.1 Isomorsmos de G(R
3
)
Isomorsmo com quaternions .
De acordo com [Vaz97] os quaternions H s ao elementos da forma q = +
1
i +

2
j +
3
k que com as seguintes regras de produto:
i
2
= j
2
= k
2
= 1 (6.61)
ij = ji = k (6.62)
jk = kj = i (6.63)
ki = ik = j (6.64)
geram uma lgebra H(H) chamada algebra dos quaternions.
Vamos usar os elementos de (
+
3
para estabelecer o isomorsmo entre G
+
(R
3
) e
H. Denimos

i,

j e

k G
+
(R
3
) como:
62

i e
3
e
2

j e
1
e
3

k e
2
e
1
(6.65)
Assim podemos escrever qualquer elemento A
+
(
+
3
como:
A
+
= +
i

i +
j

j +
k

k (6.66)
Em conseqncia da denio de

i,

j e

k temos:

i
2
= 1

j
2
= 1

k
2
= 1
(6.67)

j =

i =

k

k =

j =

i =

k =

j
(6.68)
Ento fazendo as associaes:
1 1
i

i
j

j
k

k
(6.69)
E associando a soma de quatrnions com a soma de elementos de (
3
e o produto
de quatrnions com o produto geomtrico entre os elementos de (
3
temos o isomorsmo
lgebrico H(H).
Isomorsmo com M(2, C) .
Nesta seo mostraremos o isomorsmo entre /(2, C) e G(R
3
) de forma seme-
lhante a [Vaz97].
63
Sejam
1
,
2
e
3
as matrizes unitrias e hermitianas conhecidas como matrizes
de Pauli e denidas por ([Coh05]):

1

_
0 1
1 0
_
(6.70)

2

_
0 i
i 0
_
(6.71)

3

_
1 0
0 1
_
(6.72)
As matrizes de Pauli formam um conjunto de geradores da lgebra das matrizes
complexas 2x2, denotada /(2, C) [Vaz97]. Em conseqncia da denio das matrizes temos
as seguintes relaes:

2
i
= 1 para i = 1, 2, 3 (6.73)

j
+
j

i
= 0 para i ,= j (6.74)
J foi mostrado que os geradores e
1
, e
2
e e
3
de G(R
3
) tm a seguinte propriedade
(equao 6.39):
e
2
i
= 1 para i = 1, 2, 3 (6.75)
e
i
e
j
+ e
j
e
i
= 0 para i ,= j (6.76)
Ento fazendo a associao:
e
1

1
e
2

2
e
3

3
(6.77)
E associando o produto geomtrico com o produto matricial temos o isomorsmo
algbrico G(R
3
) /(2, C).
Como I = e
1
e
2
e
3
temos:
64
I = e
1
e
2
e
3

1

3
= i
_
1 0
0 1
_
(6.78)
Neste contexto estabeleceremos representaes matriciais para os elementos de
G(R
3
). Seja A = a + a
1
e
1
+ a
2
e
2
+ a
3
e
3
+ a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
31
e
3
e
1
+ a
123
e
1
e
2
e
3
,
podemos reescrev-lo como:
A = a + a
1
e
1
+ a
2
e
2
+ a
3
e
3
+ a
12
I e
3
+ a
23
I e
1
a
13
I e
2
+ a
123
I (6.79)
Usando as associaes em (6.77) e a relao em (6.78) para reescrever A temos:
[A] = a
_
1 0
0 1
_
+ a
1
_
0 1
1 0
_
+ a
2
_
0 i
i 0
_
+ a
3
_
1 0
0 1
_
+ ...
... + a
12
i
_
1 0
0 1
_
+ a
23
i
_
0 1
1 0
_
a
13
i
_
0 i
i 0
_
+ a
123
_
i 0
0 i
_
[A] =
_
a 0
0 a
_
+
_
0 a
1
a
1
0
_
+
_
0 ia
2
ia
2
0
_
+
_
a
3
0
0 a
3
_
+ ...
... +
_
ia
12
0
0 ia
12
_
+
_
0 ia
23
ia
23
0
_
+
_
0 a
13
a
13
0
_
+
_
ia
123
0
0 ia
123
_
[A] =
_
(a + a
3
) + i (a
12
+ a
123
) (a
1
a
13
) i (a
2
a
23
)
(a
1
+ a
13
) + i (a
2
+ a
23
) (a a
3
) i (a
12
a
123
)
_
(6.80)
Denindo,
z
1
(a + a
3
) + i (a
12
+ a
123
)
z
2
(a
1
+ a
13
) + i (a
2
+ a
23
)
z
3
(a
1
a
13
) i (a
2
a
23
)
z
4
(a a
3
) i (a
12
a
123
)
(6.81)
Temos,
65
[A] =
_
z
1
z
3
z
2
z
4
_
(6.82)
Destacamos o fato que o reverso de A que

A = a +a
1
e
1
+a
2
e
2
+a
3
e
3
a
12
e
1
e
2

a
23
e
2
e
3
a
31
e
3
e
1
a
123
e
1
e
2
e
3
tem representao matrical:
_

A
_
=
_
(a + a
3
) + i (a
12
a
123
) (a
1
+ a
13
) i (a
2
+ a
23
)
(a
1
a
13
) + i (a
2
a
23
) (a a
3
) + i (a
12
a
123
)
_
Comparando com (6.81) obtemos a representao matricial de

A:
_

A
_
=
_
z

1
z

2
z

3
z

4
_
(6.83)
Para um elemento de (
+
3
temos que a
1
, a
2
, a
3
e a
123
so nulos e a representao
matricial deste elemento A
+
ser:
[A
+
] =
_
a + ia
12
a
13
+ ia
23
a
13
+ ia
23
a ia
12
_
(6.84)
Que podemos escrever de forma alternativa como:
[A
+
] =
_
w
1
w

2
w
2
w

1
_
(6.85)
Onde:
w
1
a + ia
12
w
2
a
13
+ ia
23
(6.86)
66
7 Operadores lineares na algebra
geometrica
Os operadores lineares apresentam aplica coes em diversas areas da Fsica. Neste
captulo ser a apresentado como que os operadores lineares podem ser representados na
algebra geometrica e alguns operadores de interesse neste trabalho serao estudados com
maior detalhamento. Comecamos com a deni cao de transformac oes lineares [Lim04]:
Denicao 11 Sejam E e F espacos vetoriais. Uma transformacao linear A : E F e
uma correspondencia que associa a cada vetor v E um vetor A(v) = Av F de modo
que valham, para quaisquer u e v E e R, as relacoes:
A(u + v) = Au +Av (7.1)
A( v) = Av (7.2)
Denicao 12 A soma de duas transformacoes lineares A, B : E F e uma trans-
formacao linear A +B : E F denida como:
(A +B) v = Av +Bv
(7.3)
Denicao 13 O produto de uma transformacao linear A : E F por um n umero real
e uma transformacao linear A : E F denida como:
(A) v = (Av)
(7.4)
Denicao 14 O simbolo 0 indica a tranformacao linear nula 0 : E F denida por:
0 (v) = 0
67
Denicao 15 Seja A uma transformacao linear, denimos a transformacao linear in-
verso aditivo de A denotada A e denida como:
A + (A) = 0
Seja /(E; F) o conjunto das transforma coes lineares de E em F, o conjunto
de denic oes acima fazem de /(E; F) um espa co vetorial [Lim04]. No caso em que
/(E; E) as transforma coes sao do tipo A : E E, ou seja, levam o espaco vetorial E
em si mesmo, por isso denotamos /(E) e chamamos estas transformacoes de operadores
lineares [Lim04].
Denimos ainda o produto de transformacoes lineares [Lim04]:
Denicao 16 Dadas as transformacoes lineares A : E F e B : F G, onde o
domnio de B coincide com o contra-domnio de A, dene-se o produto BA : E G
pondo para cada v E, (BA) v = B(Av).
Em conseq uencia da denicao temos que AB e tambem uma transformacao linear.
Neste contexto temos que o produto de transforma coes lineares apresenta as propriedades
de associatividade, distributividade a esquerda, distributividade a direita e homogenei-
dade. Entretanto existe diferencas not aveis entre o produto de transformacoes lineares
e o produto de n umeros reais como a ausencia de comutatividade, lei do corte e inversa
multiplicativa e a presenca de transformacoes nilpotentes [Lim04].
Assim temos uma algebra de operadores conhecida como algebra linear. Mos-
traremos abaixo a representac ao de alguns operadores importantes da algebra linear na
algebra geometrica usando a soma e produtos de multivetores.

E atraves deste procedi-
mento que pode-se mostrar que todo operador da algebra linear possui uma representac ao
na algebra geometrica e desta forma a algebra linear esta entre as aplicac oes da algebra
geometrica [Hes02a].
Denimos /(E) como sendo o conjunto dos operadores lineares que atuam sobre
o espaco vetorial E. Vimos tambem que a cada espa co vetorial E corresponde uma algebra
geometrica G(E) gerada por este espaco vetorial. Neste sentido cada operador A de /(E)
induz um operador linear A sobre G(E) denido como [Hes02a]:
Denicao 17 Seja A um operador linear denido sobre um espaco vetorial E. Denimos
o operador linear A induzido sobre a algebra geometrica G(E) gerada por E como:
68
Preserva os escalares:
A() = (7.5)
Linearidade. Sejam X, Y multivetores em G(E) temos:
A(X + Y ) = A(X) + A(Y ) (7.6)
Preserva a graduacao. Seja X um multivetor de G(E) temos:
A(X)
k
) = A(X))
k
(7.7)
Preserva o produto externo (externomorsmo). Sejam X, Y multivetores em G(E)
temos:
A(X Y ) = A(X) A(Y ) (7.8)
Fazemos agora a denic ao do determinante no contexto da algebra geometrica
que sera bastante util no estudo dos operadores ortogonais.
Denicao 18 Denimos o determinante de um operador A na algebra geometrica G(E)
atraves de seu operador induzido A e o pseudo-escalar unitario I de G(E) como:
A(I) = det (A) I (7.9)
7.1 Operador projecao
Podemos denir uma projec ao como [Wik08c]:
Denicao 19 Uma projecao e uma transformacao linear P de um espaco vetorial nele
mesmo tal que P
2
= P.
Seja x um vetor em um espaco vetorial E e seja P uma projec ao em um subespa co
vetorial F do espaco vetorial E. Considere a um vetor ortogonal ao subespaco vetorial
F. A express ao canonica para o operador projec ao na algebra geometrica e:
P
a
(x) = a
1
(x a) =
1
2
_
x +a
1
xa
_
(7.10)
69
Exemplo 1 Vamos considerar a algebra geometrica do espaco euclidiano e mostrar como
projetar um vetor x R
3
em uma reta contida no espaco R
3
. Seja x = e
1
+ e
2
+ 4 e
3
um
vetor e A um subespaco denido pelo vetor a = e
2
+ e
3
. A projecao P
a
(x) e:
P
a
(x) =
1
2
_
( e
1
+ e
2
+ 4 e
3
) +a
1
( e
1
+ e
2
+ 4 e
3
)a
_
Temos que a
1
=
1
2
( e
2
+ e
3
). Entao,
P
a
(x) =
1
2
_
( e
1
+ e
2
+ 4 e
3
) +
1
2
( e
2
+ e
3
) ( e
1
e
2
+ e
1
e
3
+ 1 + e
2
e
3
+ 4 e
2
e
3
+ 4)
_
P
a
(x) =
1
2
_
( e
1
+ e
2
+ 4 e
3
) +
1
2
( e
2
+ e
3
) ( e
1
e
2
+ e
1
e
3
+ e
3
e
2
+ 5)
_
P
a
(x) =
1
2
_
( e
1
+ e
2
+ 4 e
3
) +
1
2
(2 e
1
+ 7 e
2
+ 2 e
3
)
_
P
a
(x) =
1
4
(7 e
2
+ 12 e
3
)
Seja

A
k
um k-vetor que dene um k-espa co . Podemos generalizar (7.10) e obter
a proje cao neste k-espaco por:
P

A
k
(x) =
_
x

A
k
_

A
k
1
(7.11)
Para obter (7.11) basta considerar o produto x

A
k
. Temos:
x

A
k
= x

A
k
+x

A
k
Agora multiplicamos por A
1
k
` a direita.
x =
_
x

A
k
_
A
1
k
+
_
x

A
k
_
A
1
k
Temos entao,
70
x = x

+x

(7.12)
e
x

=
_
x

A
k
_
A
1
k
(7.13)
x

=
_
x

A
k
_
A
1
k
(7.14)
A equac ao (7.14) no fornece a projecao no subespaco de graduac ao k ortogonal
a A
k
.
7.2 Operadores ortogonais
Comecamos deninindo o operador adjunto no contexto da algebra geometrica
[Hes02a].
Denicao 20 Seja A um operador linear sobre o espaco vetorial E. Denimos o operador
adjunto de A e denotado A

como sendo o operador que para todo x, y E satisfaz:

x (Ay) =
_
A

x
_
y (7.15)
Neste contexto podemos denir os operadores ortogonais [Lim04]:
Denicao 21 Um operador e chamado ortogonal quando apresenta a seguinte proprie-
dade:
A
1
= A

(7.16)
Como conseq uencia desta denicao temos o seguinte teorema:
Teorema 9 Sejam x, y R
3
e A um operador ortogonal sobre o R
3
. Consequentemente
temos:
1. A transformacao de x e y por A nao altera o produto interno entre x e y, ou seja,
A(x) A(y) = x y.
71
2. det (A) = 1
Prova.
Comecamos mostrando que A ser ortogonal (1).
Usamos a deni cao de operador adjunto para escrever:
A(x) A(y) = x A

(A(y)) [Def. de op. adjunto]

= x A
1
(A(y)) [Def. de op. ortogonal]
A(x) A(y) = x y
Prova de (2). Considere A(I).
A(I) = A( e
1
e
2
... e
n
)
= A( e
1
) A( e
2
) ... A( e
n
)
= A( e
1
) A( e
2
) ... A( e
n
) (7.17)
= A( e
1
) A( e
2
) ...A( e
n
)
Calculando o reverso de A(I):
(A(I)) = A( e
n
) ... A( e
2
) A( e
1
)
= A( e
n
) ...A( e
2
) A( e
1
) (7.18)
Mas de (1) temos:
A( e
i
) A( e
j
) = e
i
e
j
=
i,j
Usando (6.18) calculamos [A(I)[
2
:
[A(I)[
2
= A( e
1
) A( e
2
) ...A( e
n
) A( e
n
) ...A( e
2
) A( e
1
)
[A(I)[
2
= 1 (7.19)
Mas A(I) = det (A) I e [A(I)]= det (A)

I = det (A) I Ent ao,
[A(I)[
2
= 1 = (det (A))
2
I
2
= 1
= (det (A))
2
(1) = 1
= (det (A))
2
= 1
det (A) = 1
72
7.2.1 Operador reexao
O operador reex ao e um operador que quando fazemos a composicao dele com
ele mesmo obtemos o operador identidade [Wik08d]. Comecamos denindo a expressao
can onica na algebra geometrica para uma reex ao em um plano [Hes02a].
Denicao 22 Seja U o operador linear que representa uma reexao de um vetor x ar-
bitrario em um plano ortogonal a um vetor unitario u. A representacao canonica do
operador U na algebra geometrica e escrita como:
U(x) = ux u (7.20)
Precisamos mostrar que a denic ao acima e realmente uma operac ao de reexao.
Para mostrar isso calculamos:
U(U(x)) = (1)(1) u ux u u
= u ux u u
= 1x1
= x
Em conseq uencia desta deni cao temos o seguinte teorema:
Teorema 10 O operador U tem as seguintes propriedades:
1. U e um operador ortogonal
2. det (U) = 1
Prova.
73
1. Comecamos encontrando o operador adjunto de U:
x U

(y) = U(x) y
= ux u y
=
1
2
( ux uy u u + u uy ux u)
=
1
2
u(x uy u + uy ux) u
= u(x ( uy u)) u
= x ( uy u)
Ent ao U

(x) = uy u.
Calculamos agora U
_
U

(x)
_
:
U
_
U

(x)
_
= u( uy u) u
= 1y
Logo, U e ortogonal.
2. Para mostrar (2) usamos a denic ao do determinante.
U(I) = det (U) I
( u e
1
u) ( u e
2
u) ( u e
3
u) = det (U) I
= det (U) I
u e
1
u u e
2
u u e
3
u = det (U) I
u e
1
e
2
e
3
u = det (U) I
uI u = det (U) I
u uI = det (U) I
I = det (U) I
1 = det (U)
Estas propriedades s ao de fato esperadas para qualquer representa cao de um
operador reexao.
Vamos analisar um exemplo da aplicac ao do operador reex ao.
Exemplo 2 Vamos analisar a operacao de um operador U que reete um vetor x em um
plano ortogonal ao vetor unitario u (a gura 16 esquematiza o exemplo). Escrevemos x
74
Figura 16: Esquema representando a reexao do vetor x no plano ortogonal ao vetor
unit ario u.
como a a adicao de uma componente x

paralela a u e uma componente x

ortogonal a
u, ou seja,
x = x

+x

Aplicamos U sobre x:
x

= U(x) = u
_
x

+x

_
u
= ux

u ux

u
= u ux

+ u ux

= U(x) = x

+x

7.2.2 Operador rotacao

Considere um vetor x R
3
que e transformado em um vetor x

R
3
atraves de
uma rotac ao. Calculando o produto geometrico entre eles temos:
x

x = x

x +x

x (7.21)
Que pode ser reescrita como:
x

x = x

x + I (x

x) (7.22)
Podemos denir o angulo entre dois vetores usando express oes para o produto
escalar e vetorial [Vaz97].
75
Denicao 23 Denimos o angulo entre dois vetores x e x

usando as expressoes:
1.
x

x = |x| |x| cos (7.23)

2.
|x

x| = |x| |x| sin (7.24)

Reescrevemos ent ao o produto vetorial como:
x

x = |x| |x

| sin w (7.25)
Onde w e o vetor unitario ortogonal a x e x

e tem sentido denido pela regra da

m ao direita. Escrevemos ent ao:
x

x = |x| |x

| (cos + I wsin )
= |x| |x

|
_

n=1
(1)
n

(2n)
(2n)!
+ I w

n=1
(1)
n

(2n+1)
(2n + 1)!
_
Mas,
( wI)
n
=
_
(1)
n
para n par
(1)
n
I w para n impar
(7.26)
x

x = |x| |x

|
_

n=1
(I w)
2n

(2n)
(2n)!
+

n=1
(I w)
(2n+1)

(2n+1)
(2n + 1)!
_
= |x| |x

|
_

n=1
(I w)
n

n
n!
_
= |x| |x

|
_

n=1
(I w)
n
n!
_
(7.27)
Mostraremos que o termo entre parenteses produzir a uma express ao canonica na
algebra geometrica para um operador de rotac ao. Supondo que x

seja o resultado de uma

rotac ao por um angulo no plano ortogonal a w, entao a partir da equac ao acima temos
aplicando x ` a direita:
x

|x|
2
= |x| |x

|
_

n=1
(I w)
n
n!
_
x (7.28)
76
Mas a operacao de rotac ao nao deve alterar a norma do vetor, ent ao, |x| = |x

|.
E obtemos:
x

=
_

n=1
(I w)
n
n!
_
x (7.29)
Denicao 24 Seja A G(R
3
). Denimos a funcao multivetorial exp (A) como:
exp (A) =

n=1
A
n
n!
(7.30)
A express ao acima permite generalizar a f ormula de Euler exp (i) = cos +isin
para espaco de maiores dimensoes que o plano complexo [Vaz97][Hes02a]. Escrevemos
esta generalizac ao como:
exp (I w) = cos + I wsin (7.31)
Escrevemos ent ao,
x

= exp
_

2
I w
_
exp
_

2
I w
_
x
= exp
_

2
I w
__
cos

2
+ I wsen

2
_
x
= exp
_

2
I w
__
xcos

2
+ I wxsen

2
_
Lembrando que w x temos wx = x w.
x

= exp
_

2
I w
__
xcos

2
xI wsen

2
_
= exp
_

2
I w
_
x
_
cos

2
I wsen

2
_
Obtemos ent ao,
x

= exp
_

2
I w
_
xexp
_

2
I w
_
(7.32)
Denindo,
77
R = exp
_

2
I w
_
(7.33)
Temos,

R = exp
_

2
I w
_
(7.34)
E escrevemos a transforma cao de x em x

por uma rotac ao como:

x

= Rx

R (7.35)
Com base nessa construcao sobre G(R
3
) denimos a representac ao da opera cao
de rotac ao para uma algebra geometrica arbitraria como:
Denicao 25 Denimos a representacao de um operador de rotacao R
, w
sobre os vetores
de R
n
como:
R
, w
(x) = Rx

R (7.36)
Onde: R (
0
(
2
e escrito como R = exp
_

2
_
= exp
_
I

2
_
.
E

=
_

_
2
e um 2-vetor e sua direcao

estabelece o plano de rotacao e sua norma
_
_
_

_
_
_
estabelece a magnitude do angulo de rotacao.
Os elementos R (
0
(
2
s ao chamados de rotores [DL03]. Considerando a
denic ao acima podemos enunciar o seguinte teorema estabelecendo algumas propriedades
da operacao de rotac ao.
Teorema 11 Seja R um operador arbitrario de rotacao representado de acordo com a
denicao (25). Temos as seguintes propriedades:
1. R

R =

RR = 1, portanto R
1
=

R.
2. R e um operador ortogonal.
3. det (R) = 1.
Prova.
78
Comecamos demostrando (1). Para isso escrevemos R = cos + I wsen que tem
reverso igual

R = cos +

I wsen = cos I wsen.
R

R = (cos + I wsen) (cos I wsen)
= cos
2
I wcossen + I wcossen I
2
sen
2

= cos
2
I wcossen + I wcossen + sen
2

= cos
2
+ sen
2

R

R = 1
Agora demonstramos (2). Primeiramente vamos encontrar operador adjunto de R.
Sejam x, y vetores do R
n
, considerando a denic ao de operador adjunto temos:
R

(x) y = x R

(y)
x R

(y) = R

(x) y
=
_
Rx

R
_
y
=
1
2
_
Rx

Ry + yRx

R
_
=
1
2
_
Rx

RyR

R + R

RRyRx

R
_
= R
_
1
2
_
x

RyR +

RRyRx
_
_

R
= R
_
x
_

RyR
__

R
=
_
x
_

RyR
__
R

R
= x
_

RyR
_
Ent ao o operador adjunto de R e:
R

(x) =

RxR (7.37)
Agora calculamos R

R(x):
RR(x) =

RRx

RR (7.38)
= 1x1
= I (x)
Onde I (x) e o operador identidade. Logo R

= R
1
, ou seja, R e uma transformac ao
ortogonal.
79
Finalmente demonstramos (3).
R(I) = det (R) I
RI

R = det (R) I
R

RI = det (R) I
det (R) I = I
det (R) = 1
Os itens (2) e (3) s ao esperados para qualquer representac ao da operacao de rotac ao,
assim garantem que a representa cao em (25) dene um operador de rotac ao [Lim04].
A representac ao da composicao de duas rotac oes e feita da seguinte forma [Hes02a]:
Denicao 26 Seja R uma rotacao por um angulo em um plano

. Representamos essa
operacao sobre um vetor x R
n
por:
R

(x) = exp
_

_
xexp
_

_
= exp
_

2
I

_
xexp
_

2
I

_
Seja R

uma rotacao por um angulo em um plano

. Representamos essa operacao
sobre um vetor x R
n
por:
R

(x) = exp
_

_
xexp
_

_
= exp
_

2
I

_
xexp
_

2
I

_
Denimos entao o operador R

que e a composicao dos operadores R

e R

como:
R

(x) = exp
_

_
exp
_

_
xexp
_

_
exp
_

_
(7.39)
= exp
_

2
I

_
exp
_

2
I

_
xexp
_

2
I

_
exp
_

2
I

_
(7.40)
Considerando a deni cao acima, precisamos justicar que o operador resultante
da composic ao de duas rotac oes e ainda uma rotac ao. Primeiro vamos mostrar que em
G(R
n
) a composic ao de duas rotac oes e um elemento de (
0
(
2
. Para isso considere dois
multivetores arbitr arios R
1
=
1
+ I

1
e R
2
=
2
+ I

2
. Calculando o produto R
1
R
2
temos:
80
R
1
R
2
=
_

1
+ I

1
__

2
+ I

2
_
=
1

2
+ I
1

2
+ I
2

2
=
1

2
+ I
1

2
+ I
2

2
=
1

2
+ I
_

2
+
2

1
+ I

2
_
=
1

2
+ I
_

2
+
2

2
_
Denindo,

3

1

3

1

2
+
2

2
Obtemos,
R
3
R
1
R
2
=
3
+ I

3
Vemos claramente que R
3
e elemento de (
0
(
2
. Entretanto, ser elemento de
(
0
(
2
e condic ao necessaria mas nao suciente para que R
3
seja um operador de rotac ao.
Queremos somente aqueles com a propriedade R
1
3
=

R
3
. Calculamos entao R
3

R
3
:
R
3

R
3
= (R
1
R
2
) (R
1
R
2
)
= (R
1
R
2
) (R
1
R
2
)
= (R
1
R
2
)
_

R
2

R
1
_
= R
1
R
2

R
2

R
1
= R
1

R
1
= 1
Desta forma vemos que a composi cao de duas representac oes de rotac oes e tambem
uma rotac ao.
7.2.2.1 O grupo SPIN(3)
De acordo com [Jon90] um grupo e denido como:
81
Denicao 27 Um grupo G pode ser denido como um conjunto de elementos com uma lei
de composicao (multiplicados) a qual associa a cada par ordenado a, b G outro elemento,
escrito ab que pertence ao conjunto G. A lei de composicao satisfaz as seguintes condicoes:
1. Associatividade: A multiplicacao e associativa, ou seja, se a, b, c G entao:
(ab) c = a (bc)
2. Existencia do elemento neutro: Existe um elemento 1 G tal que para todo
a G:
1a = a1 = a
3. Existencia do elemento inverso: Para todo a G existe um elemento inverso
denotado a
1
tal que:
a
1
a = aa
1
= 1 (7.41)
Com respeito aos rotores R (
0
(
2
usados na denic ao (25) desejamos mostrar
que eles formam um grupo onde a lei de multiplica cao e o produto geometrico. Vimos que
a composi cao de dois rotores e um rotor tambem, que o inverso de R e

R, que o elemento
neutro e 1 (
0
e que a associatividade resulta da associativade do produto geometrico.
Ent ao o conjunto SPIN(3)=
_
R (
0
(
2
[

R = R
1
_
e um grupo que chamados de grupo
SPIN(3) [Vaz97].
Sendo R
1
=

R temos,
R

R = 1 (7.42)
A representac ao matricial de R e (equac ao (6.85)):
[R] =
_
w
1
w

2
w
2
w

1
_
(7.43)
Portanto (equac ao (6.86)):
[R] =
_
a + ia
12
a
13
+ ia
23
a
13
+ ia
23
a ia
12
_
(7.44)
82
Ent ao a representacao de

R = a a
12
e
1
e
2
a
23
e
2
e
3
a
13
e
1
e
3
e:
_

R
_
=
_
a ia
12
a
13
ia
23
a
13
ia
23
a + ia
12
_
(7.45)
E usando as denic oes de w
1
e w
2
(equac ao 6.86) temos:
_

R
_
=
_
w

1
w

2
w
2
w
1
_
(7.46)
Usando as equa coes (7.43) e (7.46) na equac ao (7.42) obtemos:
_
w
1
w

2
w
2
w

1
__
w

1
w

2
w
2
w
1
_
=
_
1 0
0 1
_
(7.47)
Que resulta em:
_
[w
1
[
2
+[w
2
[
2
0
0 [w
1
[
2
+[w
2
[
2
_
=
_
1 0
0 1
_
(7.48)
Ou seja,
[w
1
[
2
+[w
2
[
2
= 1 (7.49)
Logo, R e representado por matrizes complexas de determinante 1. Alem disso,
calculando o conjugado hermitiano da representac ao matricial de R obtemos:
[R]

=
_
w

1
w

2
w
2
w
1
_
(7.50)
Por comparac ao com a equac ao (7.47) vemos que [R]

= [R]
1
, ou seja, [R] e
unit aria. Como [R] e representado por matrizes unit arias com determinante 1 e estas
matrizes formam um grupo denominado SU(2) (special unitary group - grupo especial
unit ario de matrizes 2x2) temos ent ao um isomorsmo de grupo SPIN(3)SU(2).
83
7.2.2.2 O espinor de Pauli
Ao falar sobre a sub algebra par G
+
(R
3
) chamamos seus elementos de espinores
e mencionamos que mais a frente a raz ao dessa nomenclatura seria esclarecida (ver se cao
onde apresentamos a algebra do plano espinor como exemplo de algebra geometrica).
Nesta sec ao pretendemos apresentar a justicativa para esta nomenclatura que em sntese
consiste em estabelecer um isomorsmo entre os objetos chamados espinores de Pauli
(denidos abaixo) e os elementos de G
+
(R
3
). Comecamos entao com a denic ao de
espinores de Pauli.
Denicao 28 Abaixo denimos os espinores de Pauli e estabelecemos a representacao
deles utilizada neste trabalho:
Espinores de pauli sao os elementos do espaco vetorial de uma representacao proje-
tiva do grupo de rotacoes SO(3).
O grupo SU(2) e o recobrimento universal
1
(e duplo) do grupo SO(3), assim pode-
mos usar a representacao do grupo SU(2) em termos de matrizes complexas 2 2
para denir os espinores como os elementos do espaco vetorial C
2
.
Assim um espinor de Pauli e um elemento de C
2
que representamos como:
=
_

1
+ i
1

2
+ i
2
_
(7.51)
Onde
i
,
i
R.
Buscamos agora uma denic ao equivalente para o espinor de Pauli em termos de
G(R
3
). Seguiremos o procedimento apresentado em [Vaz97].
Seja f um multivetor denido por:
f
1
2
(1 + e
3
) (7.52)
1
O recobrimento universal de um grupo de Lie G (no nosso caso o grupo de Lie e o grupo das rotacoes)
e um grupo de Lie simplesmente conexo G

que e localmente continuamente homomorfo a G. No nosso

caso, o que e relevante com relacao ao recobrimento universal esta no teorema de Bargmann que enuncia
que a toda representa cao projetiva do grupo de Lie G esta associada a uma representa cao unitaria do seu
recobrimento universal G

.
84
O multivetor f possui a propriedade de idempotencia, ou seja, f
2
= f. Para ver
isso,
f
2
=
1
2
(1 + e
3
)
1
2
(1 + e
3
)
f
2
=
1
4
(1 + e
3
+ e
3
+ 1)
f
2
=
1
4
(2 + 2e
3
)
f
2
=
1
2
(1 + e
3
)
f
2
= f
O conjunto da forma I
3
= G(R
3
) f e um ideal ` a esquerda
1
da algebra G(R
3
).
Vamos fazer uma denic ao algebrica do espinor de Pauli em G(R
3
) como elemento de
I
3
= G(R
3
) f. Escrevendo,
[1) = f (7.53)
Seja A = a + a
1
e
1
+ a
2
e
2
+ a
3
e
3
+ a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
+ a
123
e
1
e
2
e
3
um
elemento arbitr ario de G(R
3
) aplicando-o sobre [1) temos,
1
Um conjunto I e um ideal `a esquerda da algebra A se I e um subconjunto de A tal que xi I,
x A e i I [Vaz97].
85
A[1) = (a + a
1
e
1
+ a
2
e
2
+ a
3
e
3
+ a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
+ a
123
e
1
e
2
e
3
) [1)
= a
1
2
(1 + e
3
) + (a
1
e
1
+ a
2
e
2
+ a
3
e
3
)
1
2
(1 + e
3
) + ...
... + (a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
)
1
2
(1 + e
3
) + (a
123
e
1
e
2
e
3
)
1
2
(1 + e
3
)
=
a
2
+
a e
3
2
+
1
2
(a
1
e
1
+ a
2
e
2
+ a
3
e
3
) + (a
1
e
1
+ a
2
e
2
+ a
3
e
3
)
e
3
2
+ ...
... +
1
2
(a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
) + (a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
)
e
3
2
+ ...
... +
1
2
(a
123
e
1
e
2
e
3
) + (a
123
e
1
e
2
e
3
)
e
3
2
=
a
2
+
a
2
e
3
+
a
1
2
e
1
+
a
2
2
e
2
+
a
3
2
e
3
+
a
1
2
e
1
e
3
+
a
2
2
e
2
e
3
+
a
3
2
+ ...
... +
a
12
2
e
1
e
2
+
a
23
2
e
2
e
3
+
a
13
2
e
1
e
3
+
a
12
2
e
1
e
2
e
3
+
a
23
2
e
2
+
a
13
2
e
1
+ ...
... +
a
123
2
e
1
e
2
e
3
+
a
123
2
e
1
e
2
=
a
2
(1 + e
3
) +
a
3
2
(1 + e
3
) + e
1
e
2
e
3
a
12
2
(1 + e
3
) + e
1
e
2
e
3
a
123
2
(1 + e
3
) + ...
... +
a
1
2
e
1
(1 + e
3
) +
a
13
2
e
1
(1 + e
3
) + e
1
e
2
e
3
a
2
2
e
1
(1 + e
3
) + e
1
e
2
e
3
a
23
2
e
1
(1 + e
3
)
Denindo [2) e
1
(1 + e
3
) e lembrando que I = e
1
e
2
e
3
temos:
A[1) = [(a + a
3
) + I (a
12
+ a
123
)] [1) + [(a
1
+ a
13
) + I (a
2
+ a
23
)] [2) (7.54)
Se aplicarmos A sobre [2) obtemos:
86
A[2) = (a + a
1
e
1
+ a
2
e
2
+ a
3
e
3
+ a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
+ a
123
e
1
e
2
e
3
) [2)
A[2) = (a + a
1
e
1
+ a
2
e
2
+ a
3
e
3
+ a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
+ a
123
e
1
e
2
e
3
) e
1
(1 + e
3
)
2
A[2) = a e
1
(1 + e
3
)
2
+ a
1
e
1
e
1
(1 + e
3
)
2
+ a
2
e
2
e
1
(1 + e
3
)
2
+ a
3
e
3
e
1
(1 + e
3
)
2
+ ...
... + a
12
e
1
e
2
e
1
(1 + e
3
)
2
+ a
23
e
2
e
3
e
1
(1 + e
3
)
2
+ a
13
e
1
e
3
e
1
(1 + e
3
)
2
+ a
123
e
1
e
2
e
3
e
1
(1 + e
3
)
2
A[2) = a e
1
(1 + e
3
)
2
+ a
1
(1 + e
3
) a
2
( e
1
e
2
e
3
e
3
+ e
1
e
2
e
3
)
2
a
3
e
1
( e
3
+ 1)
2
+ ...
... + a
12
e
1
e
2
e
1
e
3
e
3
(1 + e
3
)
2
+ a
23
e
1
e
2
e
3
(1 + e
3
)
2
a
13
( e
3
+ 1)
2
+ a
123
e
1
e
2
e
3
e
1
(1 + e
3
)
2
A[2) = a [2) + a
1
[1) a
2
I
( e
3
+ 1)
2
a
3
[2) ...
... a
12
e
1
e
2
e
3
e
1
( e
3
+ 1)
2
+ a
23
I [1) a
13
[1) + a
123
I [2)
A[2) = a [2) + a
1
[1) a
2
I [1) a
3
[2) a
12
I [2) + a
23
I [1) a
13
[1) + a
123
I [2)
Finalmente,
A[2) = [(a
1
a
13
) I (a
2
a
23
)] [1) + [(a a
3
) I (a
12
a
123
)] [2) (7.55)
A partir de [1) e [2) denimos:
1[

[1) (7.56)
2[

[2) (7.57)
Assim temos as seguintes propriedades:
1[ 1) = f (7.58)
2[ 2) = f (7.59)
1[ 2) = 0 (7.60)
2[ 1) = 0 (7.61)
[2) 2[ +[1) 1[ = 1 (7.62)
87
Deve-se notar que i[ A[j) fornece as entradas da representacao matricial de A
apresentada na matriz em (6.80).
Temos que SU(2) aparece devido ao isomorsmo SU(2)SPIN(3) na forma dos
elementos do grupo SPIN(3). Alem disso, I tem o mesmo papel da unidade imagin aria i,
ou seja, I
2
= 1. Assim fazendo a seguinte associacao:
_
1
0
_
[1) (7.63)
_
0
1
_
[2) (7.64)
um espinor pode ser denido como elemento do ideal `a esquerda I
3
= G(R
3
) f e escrito
como:
= (
1
+ I
1
) [1) + (
2
+ I
2
) [2) (7.65)
A forma mais geral possvel de um elemento desse tipo em G(R
3
) f e expressa por
uma express ao do tipo (7.54). Entretanto G(R
3
) f e isomorfo a G
+
(R
3
) f e um espinor
em G
+
(R
3
) f pode ser denido escolhendo-se a
1
= a
2
= a
3
= a
123
= 0. Assim o espinor
em G
+
(R
3
) f pode ser escrito como:
= [a + Ia
12
] [1) + [a
13
+ Ia
23
] [2) (7.66)
Fazendo,
z
1
= a + Ia
12
(7.67)
z
2
= a
13
+ Ia
23
(7.68)
Escrevemos,
= z
1
[1) + z
2
[2) (7.69)
A representac ao matricial equivalente seria:
88
_
z
1
z
2
_
=
_
a + ia
12
a
13
+ ia
23
_
(7.70)
Podemos escrever este espinor na forma equivalente:
_
z
1
z
2

z
2
z
1

_
=
_
a + ia
12
a
13
+ ia
23
a
13
+ ia
23
a ia
12
_
(7.71)
A express ao acima e a express ao de um multivetor arbitr ario A de G
+
(R
3
) apre-
sentado na equacao (6.84). Assim temos a denic ao de um espinor em G(R
3
) como
elemento de G
+
(R
3
), ou seja,
= a + a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
(7.72)
Para diferenciar o espinor C
2
do espinor G
+
(R
3
) usaremos o termo
espinor operatorial de Pauli para G
+
(R
3
).
Se calcularmos

:

= (a + a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
) (a a
12
e
1
e
2
a
23
e
2
e
3
a
13
e
1
e
3
)
= a
2
aa
12
e
1
e
2
aa
23
e
2
e
3
aa
13
e
1
e
3
+ aa
12
e
1
e
2
a
2
12
e
1
e
2
e
1
e
2
...
... a
12
a
23
e
1
e
2
e
2
e
3
a
12
a
13
e
1
e
2
e
1
e
3
+ a
23
a e
2
e
3
a
23
a
12
e
2
e
3
e
1
e
2
...
... a
2
23
e
2
e
3
e
2
e
3
a
23
a
13
e
2
e
3
e
1
e
3
+ a
13
a e
1
e
3
a
13
a
12
e
1
e
3
e
1
e
2
...
... a
13
a
23
e
1
e
3
e
2
e
3
a
2
13
e
1
e
3
e
1
e
3
= a
2
+ a
2
12
e
1
e
1
e
2
e
2
a
12
a
23
e
1
e
3
+ a
12
a
13
e
2
e
1
e
1
e
3
a
23
a
12
e
3
e
1
e
2
e
2
...
... + a
2
23
e
3
e
2
e
2
e
3
+ a
23
a
13
e
2
e
1
e
3
e
3
+ a
13
a
12
e
3
e
1
e
1
e
2
+ a
13
a
23
e
1
e
2
e
3
e
3
+ ...
... + a
2
13
e
3
e
1
e
1
e
3
= a
2
+ a
2
12
a
12
a
23
e
1
e
3
+ a
12
a
13
e
2
e
3
a
23
a
12
e
3
e
1
+ a
2
23
+ a
23
a
13
e
2
e
1
+ ...
... + a
13
a
12
e
3
e
2
+ a
13
a
23
e
1
e
2
+ a
2
13
= a
2
+ a
2
12
+ a
2
23
+ a
2
13
(7.73)
De (7.73) podemos mostrar que todo o espinor operatorial de Pauli pode ser
escrito como o produto

R onde R e um rotor.
89
Figura 17: Utilizac ao do espinor =

R para representar o vetor x.
Teorema 12 Todo o espinor operatorial de Pauli G
+
(R
3
) pode ser escrito na se-
guinte forma:
=

R (7.74)
Onde R SPIN(3)
Equivalentemente podemos dizer que todo espinor operatorial e um operador rotacao-
dilatacao.
Prova. Para mostrar o teorema acima calculamos

:

=

R

R
= R

R
Para que a equac ao (7.73) seja v alida

R = R
1
, ou seja, R SPIN(3)
Uma vez que vimos que um espinor operatorial de Pauli e um operador rotac ao-
dilatac ao apresentaremos um exemplo para elucidar melhor sua ac ao como operador.
Seja e
3
um vetor unitario no espaco euclidiano tridimensional contido em uma base
desse espaco; podemos us a-lo para escrever qualquer outro vetor x do espaco euclidiano
tridimensional atraves de uma operac ao rotac ao-dilatac ao sobre o vetor unit ario e
3
. Ou
seja, existe pelo menos um espinor tal que : e
3
x. Ent ao temos a combinac ao de
uma rotac ao R : e
3
e

3
= R e
3

R e uma dilatac ao : e

3
x = e

3
. A gura 17 ilustra
a utilizac ao do espinor para representar um vetor x.
Podemos analisar como as coordenadas do vetor x = x
1
e
1
+ x
2
e
2
+ x
3
e
3
se rela-
cionam com as coordenadas do espinor = a + a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
que usamos
90
para represent a-lo. Para isso, calculamos x = e
3

:
x = e
3

(7.75)
= (a + a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
) e
3
(a a
12
e
1
e
2
a
23
e
2
e
3
a
13
e
1
e
3
)
= (a + a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
) (a e
3
a
12
e
3
e
1
e
2
a
23
e
3
e
2
e
3
a
13
e
3
e
1
e
3
)
= (a + a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
) (a e
3
a
12
e
3
e
1
e
2
+ a
23
e
2
+ a
13
e
1
)
= a
2
e
3
aa
12
e
3
e
1
e
2
+ aa
23
e
2
+ aa
13
e
1
+ a
12
a e
1
e
2
e
3
a
2
12
e
1
e
2
e
3
e
1
e
2
+ ...
... + a
12
a
23
e
1
e
2
e
2
+ a
12
a
13
e
1
e
2
e
1
+ a
23
a e
2
e
3
e
3
a
23
a
12
e
2
e
3
e
3
e
1
e
2
+ a
2
23
e
2
e
3
e
2
+ ...
... + a
23
a
13
e
2
e
3
e
1
+ a
13
a e
1
e
3
e
3
a
13
a
12
e
1
e
3
e
3
e
1
e
2
+ a
13
a
23
e
1
e
3
e
2
+ a
2
13
e
1
e
3
e
1
= a
2
e
3
aa
12
e
1
e
2
e
3
+ aa
23
e
2
+ aa
13
e
1
+ a
12
a e
1
e
2
e
3
a
2
12
e
1
e
2
e
1
e
2
e
3
+ ...
... + a
12
a
23
e
1
a
12
a
13
e
2
+ a
23
a e
2
+ a
23
a
12
e
1
a
2
23
e
2
e
2
e
3
+ ...
... + a
23
a
13
e
1
e
2
e
3
+ a
13
a e
1
a
13
a
12
e
1
e
1
e
2
a
13
a
23
e
1
e
2
e
3
a
2
13
e
1
e
1
e
3
= a
2
e
3
aa
12
e
1
e
2
e
3
+ aa
23
e
2
+ aa
13
e
1
+ a
12
a e
1
e
2
e
3
+ a
2
12
e
1
e
2
e
2
e
1
e
3
+ ...
... + a
12
a
23
e
1
a
12
a
13
e
2
+ a
23
a e
2
+ a
23
a
12
e
1
a
2
23
e
3
+ ...
... + a
23
a
13
e
1
e
2
e
3
+ a
13
a e
1
a
13
a
12
e
2
a
13
a
23
e
1
e
2
e
3
a
2
13
e
3
= a
2
e
3
aa
12
e
1
e
2
e
3
+ aa
23
e
2
+ aa
13
e
1
+ a
12
a e
1
e
2
e
3
+ a
2
12
e
1
e
1
e
3
+ ...
... + a
12
a
23
e
1
a
12
a
13
e
2
+ a
23
a e
2
+ a
23
a
12
e
1
a
2
23
e
3
+ ...
... + a
23
a
13
e
1
e
2
e
3
+ a
13
a e
1
a
13
a
12
e
2
a
13
a
23
e
1
e
2
e
3
a
2
13
e
3
= a
2
e
3
+ aa
23
e
2
+ aa
13
e
1
+ a
2
12
e
3
+ a
12
a
23
e
1
a
12
a
13
e
2
+ a
23
a e
2
+ a
23
a
12
e
1
...
... a
2
23
e
3
+ a
13
a e
1
a
13
a
12
e
2
a
2
13
e
3
= 2 (aa
13
+ a
12
a
23
) e
1
+ 2 (aa
23
a
12
a
13
) e
2
+
_
a
2
+ a
2
12
a
2
23
a
2
13
_
e
3
(7.76)
Ent ao,
x
1
= 2 (aa
13
+ a
12
a
23
) (7.77)
x
2
= 2 (aa
23
a
12
a
13
) (7.78)
x
3
= a
2
+ a
2
12
a
2
23
a
2
13
(7.79)
91
O mapeamento de S
3
(3-esfera)
1
em S
2
(2-esfera)
2
e conhecido como mapeamento
ou brado de Hopf (Hopf bration ou Hopf bundle)[Nak03]. Se usarmos os espinores
tradicionais em termos de C
2
obtemos os mesmos resultados:
x
1
=

1
(7.80)
=
_
a + ia
12
a
13
+ ia
23
_

_
0 1
1 0
__
a + ia
12
a
13
+ ia
23
_
=
_
a + ia
12
a
13
+ ia
23
_

_
a
13
+ ia
23
a + ia
12
_
= (a + ia
12
)

(a
13
+ ia
23
) + (a
13
+ ia
23
)

(a + ia
12
)
= aa
13
+ iaa
23
ia
12
a
13
+ a
12
a
23
+ a
13
a + ia
13
a
12
ia
23
a + a
23
a
12
= 2 (aa
13
+ a
12
a
23
) (7.81)
O resultado acima e o mesmo encontrado na equacao (7.77).
De forma analoga temos:
x
2
=

2
(7.82)
=
_
a + ia
12
a
13
+ ia
23
_

_
0 i
i 0
__
a + ia
12
a
13
+ ia
23
_
=
_
a + ia
12
a
13
+ ia
23
_

_
a
23
ia
13
a
12
+ ia
_
= (a + ia
12
)

(a
23
ia
13
) + (a
13
+ ia
23
)

(a
12
+ ia)
= aa
23
iaa
13
ia
12
a
23
a
12
a
13
a
13
a
12
+ ia
13
a + ia
23
a
12
+ a
23
a
= 2 (aa
23
a
12
a
13
)
O resultado acima e o mesmo encontrado na equacao (7.78).
Finalmente, calculando x
3
temos:
1
3-esfera e uma esfera do espaco R
4
descrita por a
2
+ a
2
12
+ a
2
23
+ a
2
13
= 1.
2
2-esfera e uma esfera do espaco R
3
descrita por x
2
1
+ x
2
2
+ x
2
3
= 1.
92
x
3
=

3
(7.83)
=
_
a + ia
12
a
13
+ ia
23
_

_
1 0
0 1
__
a + ia
12
a
13
+ ia
23
_
=
_
a + ia
12
a
13
+ ia
23
_

_
a + ia
12
a
13
ia
23
_
= (a + ia
12
)

(a + ia
12
) + (a
13
+ ia
23
)

(a
13
ia
23
)
= a
2
+ iaa
12
ia
12
a + a
2
12
a
2
13
ia
13
a
23
+ ia
23
a
13
a
2
23
= a
2
+ a
2
12
a
2
13
a
2
23
O resultado acima e o mesmo encontrado na equacao (7.79).
93
7.2.2.3 A transformacao do espinor de Pauli
Transformacao passiva .
Acima vimos as caractersticas operatoriais do espinor de Pauli agindo como um
operador rotac ao-dilatac ao. Dessa forma, mostramos que todo vetor do R
3
pode ser escrito
usando um espinor operatorial de Pauli G
+
(R
3
) atraves da express ao:
x = e
3

(7.84)
Entretanto a escolha do vetor e
3
= e
1
, e
2
, e
3
e arbitr aria, ou seja poderiamos
ter escolhido outro vetor em uma outra base

denotado e

3
e relacionado com e
3
na base
por uma rota cao e obter o mesmo vetor x. Isto e,
x =

e
3

(7.85)
Onde:

= a + a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
(7.86)

= a

+ a

12
e

1
e

2
+ a

23
e

2
e

3
+ a

13
e

1
e

3
Devemos interpretar a base como estando associada a um sistema de referencia
S e a base

como estando associada a um sistema de referencia S

e os espinores

como representando o mesmo objeto mas em sistemas de referencia diferentes. Neste

contexto denimos precisamente o espinor operatorial de Pauli como [Vaz97]:
Denicao 29 Um espinor operatorial de Pauli e uma classe de equivalencia [Nak03]
de elementos

, ... G
+
(R
3
) tais que

e
3

= ..., onde e

i
= R e
i

R
para i = 1, 2, 3 e R SPIN(3). Denotamos a classe de equivalencia por e dizemos que

e o representante de na base e

e o representante de na base

Como relacionar os espinores

? Foi dito que o versor e

3
estava
relacionado com e

atraves de uma rotac ao, ou seja,

e

3
= R e
3

R (7.87)
94
Usando a express ao acima em (7.85) obtemos:
x =

e
3

R e
3

R

e
3

R e
3

R

De onde concluimos que:

R (7.88)
Ou equivalentemente,

R
1
=

R (7.89)
Quando calculamos x usando

temos uma expressao do tipo x[

= x
1
e
1
+
x
2
e
2
+ x
3
e
3
e quando calculamos x usando

temos uma express ao do tipo x[

=
x

1
e

1
+ x

2
e

2
+ x

3
e

3
. Pode-se mostrar a partir da equac ao (7.85) [Vaz97] que os vetores
x[

= (x
1
, x
2
, x
3
) e x[

= (x

1
, x

2
, x

3
) est ao relacionados por uma matriz de rotac ao, ou
seja, uma rotac ao do sistema de coordenadas o que j a era esperado para representacoes
de x em sistemas de coordenadas diferentes.
Transformacao ativa .
Podemos considerar tambem uma Tranformacao ativa do espinor de Pauli,
ou seja, podemos ter uma transformacao do tipo
/
. Para isso considere o
vetor x denido pela transforma cao:
x =

e
3

(7.90)
Onde e

3
= R e
3

R com R SPIN(3). Logo,

s ao representac oes do espinor

nas bases e

, respectivamente. Agora seja x um outro vetor relacionado com x

por:
x

= Rx

R (7.91)
95
Onde R SPIN(3) e o mesmo vetor usado para relacionar e
3
e e

3
. Da mesma
forma como foi feito para x temos espinores

pertencentes a uma classe de equi-

valencia
/
que podemos usar para escrever o vetor x

como:

e
3

(7.92)
Podemos usar as equac oes (7.90) e (7.92) na equa cao (7.91) para obter:

= R

R (7.93)
De onde concluimos que:

= R

(7.94)
Ou seja, esta e a transforma cao ativa dos espinores de Pauli em termos da base

.
Podemos tambem obter analogamenete a mesma transforma cao em termos da
base usando novamente as equac oes (7.90) e (7.92) na equa cao (7.91):

e
3

= R

e
3

R (7.95)
De onde concluimos que:

= R

(7.96)
Assim generalizamos as express oes acima que caracterizam a transforma cao ativa
do espinor de Pauli (considerando nossa denic ao de espinor de Pauli em termos de classe
de equivalencia) para:

/
= R (7.97)
Onde R SPIN(3).
Assim esperamos ter exposto por completo as ferramentas matematicas que serao
utilizadas no seguinte captulo do trabalho onde ser ao apresentadas as aplicac oes sicas
96
da algebra geometrica.
97
8 Aplicacoes da algebra
geometrica ` a fsica teorica
8.1 Aplicacoes: formulacao espinorial da mecanica
classica usando espinores
Neste captulo utilizaremos o conceito de espinor como operador de rotac ao-
dilatac ao para construir uma formulac ao alternativa da mec anica cl assica usando espi-
nores operatoriais de G
+
3
ao inves dos vetores usuais do R
3
. Para fazer isso usaremos a
express ao can onica do operador rotac ao-dilatac ao:
r = e
3

(8.1)
E usando =

R podemos explicitar a operac ao de rotac ao-dilatac ao como:
r = R e
3

R (8.2)
Assim podemos escrever todos os r R
3
a partir de uma operac ao de rotac ao-
dilatac ao sobre um vetor preveamente xado e
3
. Podemos interpretar a equacao (8.1)
como um mapeamento de (
+
3
em r R
3
. A gura (18) apresenta a representac ao
geometrica da utilizac ao de um espinor para representar um vetor posic ao.
A equacao que descreve a din amica da partcula (tambem conhecida como se-
gunda lei de Newton) e escrita como:
m
d
2
r
dt
2
=

f (8.3)
Onde

f e a resultante das for cas que atuam sobre a partcula.
Em outras palavras, a equac ao acima descreve a evolucao temporal do vetor
98
Figura 18: Representac ao geometrica do mapeamento do espinor no vetor r.
posic ao r. Desejamos usar a equacao (8.1) para reescrever a equacao (8.3) usando es-
pinores. Chamaremos estes espinores de espinor posicao pois a intenc ao e que eles
descrevam a trajetoria da partcula.

E interessante notar que o vetor e

3
e invariante sob a a cao do rotor R

= a+a
12
e
1
e
2
com a
2
+ a
12
2
= 1. Para demonstrar submetemos o vetor e
3
ao rotor R

:
R

e
3

R

= (a + a
12
e
1
e
2
) e
3
(a a
12
e
1
e
2
)
= (a e
3
+ a
12
e
1
e
2
e
3
)(a a
12
e
1
e
2
)
= ( e
3
a a
12
e
1
e
3
e
2
)(a a
12
e
1
e
2
)
= ( e
3
a + a
12
e
3
e
1
e
2
)(a a
12
e
1
e
2
)
= e
3
(a + a
12
e
1
e
2
)(a a
12
e
1
e
2
)
= e
3
(a
2
aa
12
e
1
e
2
+ aa
12
e
1
e
2
+ a
12
2
)
= e
3
(a
2
+ a
12
2
)
= e
3
Na notacao de exponenciais dizemos que e
3
e invariante ao rotor R

= exp ( e
1
e
2
)
e o par ametro e um calibre (gauge) que podemos usar a nosso favor para simplicar as
contas. A interpretacao geometrica dessa transformac ao e bastante obvia e signica que
o vetor e
3
e invariante a uma rotac ao em torno de si pr oprio.
Sejam

r =
dr
dt
e r =
d
2
r
dt
2
queremos encontrar a express ao de

r em func ao de espi-
99
nores para podermos reescrever a equa cao do movimento (equac ao (8.1)) para espinores.
Procedemos entao diferenciando a equac ao (8.1) em relacao ao tempo:

r =
d
dt
_
e
3

_
=

e
3

+ e
3

=

e
3

+
_

e
3

_
(8.4)
Sabemos que a expressao e
3

produz um vetor mas nao sabemos no que resulta
a expressao

e
3

. Vamos analizar,

e
3

=
__

_
0
+
_

_
2
_
e
3
()
0
+)
2
)
=
__

_
0
e
3
+
_

_
2
e
3
_
()
0
+)
2
)
=
__

e
3
_
1
+
_

e
3
_
3
_
()
0
+)
2
)
=
_

e
3
_
1
)
0
+
_

e
3
_
1
)
2
+
_

e
3
_
3
)
0
+
_

e
3
_
3
)
2
=
_

e
3

_
1
+
_

e
3

_
3
Mas esperamos que

e
3

produza o vetor

r ent ao fazemos a parte 3-vetor nula.
Esta escolha implica em xar o calibre discutido acima, logo, como haviamos dito usamos
o calibre para facilitar as contas, assim temos,
_

e
3

_
3
= 0 (8.5)
E temos que:

e
3

=
_

e
3

_
1
=
_

e
3

_
=

e
3

(8.6)
Logo na equa cao (8.4) temos:

r = 2

e
3

(8.7)
Agora aplicamos
_

_
1
a direita, obtemos:
100

r
_

_
1
= 2

e
3
(8.8)
Aplicamos e
3
` a direita,

r
_

_
1
e
3
= 2

(8.9)
Mas
_

_
1
=
1
. Para ver isso,
=

1
=

1
=
1
(8.10)
Ent ao usando a express ao para

1
temos:

r
1
e
3
= 2

1
2

r e
3
=

(8.11)
Agora denimos um par ametro escalar s tal que:
d
ds
=

(8.12)
Usando a regra da cadeia temos,
d
ds
=

d
dt
dt
ds
=

dt
ds
=

dt
ds
= (8.13)
Usando (8.12) em (8.11) obtemos:
101
1
2

r e
3
=
d
ds
(8.14)
Agora diferenciamos a equac ao (8.14) em relac ao ao par ametro s:
d
2

ds
2
=
dt
ds
d
dt
_
1
2

r e
3
_
=
dt
ds
d
dt
_
1
2

r e
3
_
=
d
dt
_
1
2

r e
3
_
=
1
2

r e
3
+

r

e
3
_
(8.15)
Agora aplicando
_

_
1
a direita da equac ao (8.7) obtemos:

r
_

_
1
= 2

e
3
Mas
_

_
1
=
1
ent ao,

r
1
= 2

e
3

e
3
=
1
2

r (8.16)
Usando a equa cao (8.16) na equa cao (8.15) obtemos:
d
2

ds
2
=
1
2
_

r e
3
+

r
1
2

r
_
d
2

ds
2
=
1
2
_

r e
3
+
1
2

r
2

_
(8.17)
Agora aplicando
_

_
1
a direita da equac ao (8.1) obtemos:
r
_

_
1
= e
3
(8.18)
Mas
_

_
1
=
1
ent ao,
102
r
1
= e
3
(8.19)
Usando a equa cao (8.19) na equa cao (8.17) obtemos:
d
2

ds
2
=
1
2
_

rr +
1
2

r
2
_

Agora usamos a equac ao (8.3) na equac ao (8.20) e obtemos:

d
2

ds
2
=
1
2
_

fr
m
+
1
2

r
2
_

d
2

ds
2
=
1
2m
_

fr +
m
2

r
2
_
(8.20)
Podemos usar as equacoes (8.1) e (8.7). para rescrever a equa cao acima somente
em termos de espinores Assim obtemos uma formula cao espinorial da mecanica cl assica.
Entretanto o termo
1
2
_

fr
m
+
1
2

r
2
_
possui interpretac ao fsica e no caso caso em que ele e
constante a equacao acima e facilmente solucion avel. Abaixo descrevemos a interpretacao
fsica do termo
1
2
_

fr
m
+
1
2

r
2
_
.
d
2

ds
2
=
1
2m
_

fr +

r
2
2m
_

d
2

ds
2

1
2m
_

fr +

r
2
2m
_
= 0
d
2

ds
2

1
2m
_

f r +

f r +

r
2
2m
_
= 0
d
2

ds
2

1
2m
_

f r r

f +

r
2
2m
_
= 0
d
2

ds
2

1
2m
_

f r + IIr

f +

r
2
2m
_
= 0
d
2

ds
2

1
2m
_

f r I (I) r

f +

r
2
2m
_
= 0
O termo

f r nos fornece o trabalho realizado sobre a partcula pela forca

f e o
103
termo = (I) r

f = r

f e o torque em rela cao a origem realizado sobre a partcula
pela forca

f. Ent ao temos:
d
2

ds
2

1
2m
_
W I +

r
2
2m
_
= 0 (8.21)
Como foi descrito acima, nos casos em que o termo
_
W I +

r
2
2m
_
e constante,
a equac ao (8.21) e facilmente resolvida.
8.1.1 Aplicacao do formalismo espinorial da mecanica classica
ao problema de Kepler
Vamos considerar agora o problema de Kepler, ou seja, a descricao do movimento
de uma partcula sujeita a acao de uma forca central proporcional ao inverso do quadrado
da distancia. Assim temos,

f = k
r
[[r[[
2
(8.22)
Usamos a equa cao (8.22) na equa cao (8.20) e obtemos:
d
2

ds
2
=
1
2m
_
k
r
[[r[[
2
r +
m
2

r
2
_

d
2

ds
2
=
1
2m
_
k
[[r[[
+
m
2

r
2
_

Denimos,
E
k
=
k
[[r[[
+
m
2

r
2
(8.23)
onde E
k
e a energia total da partcula, a qual e conservada no problema de forcas
centrais ([TM03]).
Ficamos com,
104
d
2

ds
2
=
1
2
E
k

d
2

ds
2

1
2
E
k
= 0 (8.24)
Assim a equa cao do movimento do problema de Kepler em termos de espinores
reduz-se a quatro equac oes diferenciais lineares independentes, as quais para E < 0 sao
identicas ` as equacoes de osciladores harm onicos sendo assim facilmente resolvidas. Mais
especicamente, a mudanca de formalismo (vetorial para espinorial) transformou o pro-
blema de Kepler em termos de componentes de vetor sendo este n ao-linear, acoplado e
com uma singularidade na origem em uma equac ao espinorial que e linear, livre de sin-
gularidade e onde as componentes do espinor podem ser resolvidas independentemente
(quatro equac oes de osciladores harmonicos cada um com frequencia igual `a =
_
E
k
2
).
O procedimento de remo cao da singularidade e chamado de regularizac ao da equa cao. A
transformac ao descrita acima e conhecida como transformacao de Kustaanheimo-Stiefel
e foi criada por estes autores usando o formalismo matricial ([Bar03]).
Temos entao que a soluc ao geral do problema no caso E < 0 e:
a (s) = A
0
cos (s) + B
0
sin(s) (8.25)
a
12
(s) = A
0
12
cos (s) + B
0
12
sin(s) (8.26)
a
23
(s) = A
0
23
cos (s) + B
0
23
sin(s) (8.27)
a
13
(s) = A
0
13
cos (s) + B
0
13
sin(s) (8.28)
Como sabemos que o movimento de forca central se reduz ao movimento em
um plano podemos escolher o 2-vetor e
1
e
3
para representar este plano e escolher o vetor
unit ario e
3
apontando na dire cao da posic ao inicial da partcula. Assim obtemos a solu cao
particular do problema como sendo:
(s) = Acos (s) + B e
1
e
3
sen(s) (8.29)
Para obter o vetor posic ao calculamos:
105
r = e
3

r =
2
e
3
(8.30)
Abrindo a equa cao acima temos,
r = (Acos (s) + B e
1
e
3
sen(s)) (Acos (s) + B e
1
e
3
sen(s)) e
3
=
_
A
2
cos
2
(s) B
2
sen
2
(s) + 2ABcos (s) sen(s) e
1
e
3
_
e
3
=
_
A
2
cos
2
(s) B
2
sen
2
(s)
_
e
3
+ 2ABcos (s) sen(s) e
1
=
_
A
2
2
cos
2
(s) +
A
2
2
cos
2
(s) +
A
2
2
sen
2
(s)
A
2
2
sen
2
(s) ...
...
B
2
2
sen
2
(s)
B
2
2
sen
2
(s) +
B
2
2
cos
2
(s)
B
2
2
cos
2
(s) ) e
3
+ ...
... + 2ABcos (s) sen(s) e
1
=
_
A
2
2
+
A
2
2
cos
2
(s)
A
2
2
sen
2
(s)
B
2
2
+
A
2
2
cos
2
(s)
A
2
2
sen
2
(s)
_
=
_
A
2
B
2
2
+
A
2
+ B
2
2
_
cos
2
(s) sen
2
(s)
_
_
e
3
+ ...
... + 2ABcos (s) sen(s) e
1
Usando as identidades trigonometricas:
sen(2) = 2sen() cos () (8.31)
cos (2) = cos
2
() sen
2
() (8.32)
Temos,
r =
_
A
2
B
2
2
+
A
2
+ B
2
2
cos (2s)
_
e
3
+ ABsen(2s) e
1
A equa cao acima descreve uma orbita elptica parametrizada pelo angulo = 2s.
O angulo e chamado de anomalia excentrica e e conhecido como o par ametro ideal
para descrever o movimento planetario de Kepler ([Wal08]). Usando a algebra geometrica
esse parametro surge de maneira natural ([Hes02a]).
106
Figura 19: Parametros da elipse.
Neste contexto temos os seguintes par ametros da orbita (ver gura 19):
a =
A
2
+ B
2
2
(8.33)
b = AB (8.34)
c =
A
2
B
2
2
(8.35)
Onde a e o semi-eixo maior, b e o semi-eixo menor e c e a distancia do centro da
orbita ate a origem do sistema de coordenadas, o qual coincide com o foco. Temos entao
a excentricidade e denida como:
e =
c
a
=
A
2
B
2
A
2
+ B
2
(8.36)
Podemos obter r usando r =

,
107
r =

= (Acos (s) + B e
1
e
3
sen(s)) (Acos (s) B e
1
e
3
sen(s))
= A
2
cos
2
(s) + B
2
sen
2
(s) Acos (s) B e
1
e
3
sen(s) + ...
... + B e
1
e
3
sen(s) Acos (s)
= A
2
cos
2
(s) + B
2
sen
2
(s) AB e
1
e
3
cos (s) sen(s) + ...
... + AB e
1
e
3
sen(s) cos (s)
= A
2
cos
2
(s) + B
2
sen
2
(s)
=
A
2
2
cos
2
(s) +
A
2
2
sen
2
(s)
A
2
2
sen
2
(s) +
A
2
2
cos
2
(s) + ...
... +
B
2
2
sen
2
(s) +
B
2
2
cos
2
(s)
B
2
2
cos
2
(s) +
B
2
2
sen
2
(s)
=
A
2
+ B
2
2
+
A
2
2
_
cos
2
(s) sen
2
(s)
_

B
2
2
_
cos
2
(s) sen
2
(s)
_
Agora usamos a identidade trigonometrica cos2 = cos
2
sen
2
na expressao
acima.
r =
A
2
+ B
2
2
+
A
2
2
cos (2s)
B
2
2
cos (2s)
=
A
2
+ B
2
2
+
A
2
B
2
2
cos (2s) (8.37)
Em func ao dos par ametros da elipse denidos acima temos,
r = a + ccos () = a (1 + ecos ()) (8.38)
Integramos a equac ao (8.13) usando a equa cao (8.22).
_
t
0
dt

=
_
s
0
_
A
2
+ B
2
2
+
A
2
B
2
2
cos (2s

)
_
ds

t =
A
2
+ B
2
2
s
A
2
B
2
4
sin(2s) (8.39)
Em termos dos par ametros da elipse temos:
108
t =
a
2

c
2
sin() =
a
2
( esin) (8.40)
Assim obtemos as equacoes que descrevem o movimento da partcula sob a acao
de uma for ca central atrativa proporcional ao inverso do quadrado da dist ancia.
8.2 Aplicacoes: teoria de Pauli do eletron
No ano de 1921 ([Coh05]) algumas evidencias experimentais mostraram que o
eletron poderia apresentar movimento de rotac ao em torno de seu pr oprio eixo em dois
sentidos. Como exemplo podemos citar os experimentos que revelaram a estrutura na das
linhas espectrais dos atomos, o efeito Zeeman an omalo e o experimento de Stern-Gerlach.
O leitor interessado em maiores detalhes sobre estes experimentos pode encontr a-los no
livro ([Coh05]). Com relacao aos resultados encontrados nestes experimentos e relevante
para o presente trabalho a verica cao de um momento angular semi-inteiro que n ao pode
ser identicado com um momento angular orbital.
Com base nesses resultados Wolfgang Pauli (1900-1958) acrescentou um novo
conjunto de postulados aos postulados ja existentes para a mec anica quantica permitindo
assim introduzir o fen omeno de spin na teoria qu antica. Seus novos postulados foram
([Coh05]):
1. A grandeza spin e um momento angular e portanto e descrita na mecanica qu antica
por uma terna de observaveis
1

S = (S
1
, S
2
, S
3
) cujas componentes satisfazem a
seguinte lei de comutacao:
[S
i
, S
j
] = i
ijk
S
k
(8.41)
2. O operador

S age em um novo espa co, o espaco de estados de spin
s
onde

S
2
e S
z
formam um conjunto completo de observ aveis comutantes (complete set of
commuting observables - CSCO). O espaco
s
e gerado pelos auto-estados [s, m)
comuns aos operadores

S
2
e S
z
. Logo temos,

S
2
[s, m) = s (s + 1)
2
[s, m) (8.42)
S
z
[s, m) = mh[s, m) (8.43)
1
Observavel e um operador que e hermitiano e seus auto-estados geram o espaco de estados. Um
operador e hermitiano quando seu adjunto e igual ao proprio operador.
109
E para cada tipo de partcula s tem um valor unico.
3. O espaco de estados de uma partcula e o produto tensorial
r

s
. Assim os
observ aveis de
r
e
s
comutam.
4. O eletron e uma partcula de spin
1
2
(s =
1
2
) e seu momento magnetico intrnseco e
dado por

M
s
= 2

S (8.44)
Neste contexto desejamos apresentar a teoria de Pauli do eletron no formalismo
da algebra geometrica. Assim fazemos as seguintes denicoes:
O vetor do espaco de estados e representado na algebra geometrica como um espinor
operatorial de Pauli = a + a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
da algebra G
+
3
. Ent ao o
espaco de estados e o espaco vetorial dos elementos de gradua cao par (
+
3
.
Assim a probabilidade de encontrar um eletron em uma posic ao arbitraria r e de-
nida pela express ao:
P (r) = (r)

(r) =

(r) (r) = (r) = a (r)
2
+ a
12
(r)
2
+ a
23
(r)
2
+ a
13
(r)
2
(8.45)
Como a, a
12
, a
23
e a
13
s ao n umeros reais P e positiva denida como deve ser.
Denimos o operador de spin como:
S
i
[] =

2
e
i
e
3
(8.46)
Vamos mostrar que a denic ao acima e consistente com a algebra de momento
110
angular:
[S
1
, S
2
] = S
1
S
2
S
2
S
1

=

2
S
1
e
2
e
3

2
S
2
e
1
e
3
=

2

2
e
1
e
2
e
3
e
3

2
e
2
e
1
e
3
e
3
=

2
4
( e
1
e
2
e
2
e
1
)
=

2
4
( e
1
e
2
e
2
e
1
)
=

2
2
e
1
e
2
(II)
=

2
2
II e
3
(I)
=

2
2
e
3
e
3
e
3
I
= S
3
[] I e
3
Onde I e
3
faz o papel de unidade imagin aria
2
.
De forma an aloga temos:
[S
2
, S
3
] = S
1
[] I e
3
(8.47)
[S
3
, S
1
] = S
2
[] I e
3
(8.48)
Denimos a expressao para o valor esperado de um observ avel S
i
em um estado
arbitr ario como sendo:
S
i
(r)) = [S
i
[)

S
i
[])
0
=

(r) e
i
(r) e
3
)
0
(8.49)
Onde

e
i
e
3
)
0
signica a parte escalar de

e
i
e
3
. Escrevemos S
i
(r) por que nos
referimos ao valor esperado local do observ avel S
i
([Hes75]), ou seja, o termo local se
refere ao valor esperado no espaco de spin (fornece uma densidade espacial de spin),
entretanto para obter o valor esperado no espaco de estado (valor esperado global
do operador S
i
) precisamos integrar tambem no espaco das posic oes
r
. Como n ao
especicamos a din amica no espaco das posic oes nos limitaremos a analisar somente
o espaco de spin logo estamos tratando dos observaveis locais.
2
Lembramos que (I e
3
)
2
= ( e
1
e
2
)
2
= 1
111
Agora vamos demostrar que a expressao acima corresponde a mesma expressao
obtida usando a representa cao em termos de matrizes de Pauli. Vamos calcular o
valor esperado de S
1
considerando um espinor generico = a +a
12
e
1
e
2
+a
23
e
2
e
3
+
a
13
e
1
e
3
. Preliminarmente calculamos:

e
1
e
3
=

e
1
(a + a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
) e
3
=

e
1
(a e
3
+ a
12
e
1
e
2
e
3
+ a
23
e
2
+ a
13
e
1
)
=

(a e
1
e
3
+ a
12
e
2
e
3
+ a
23
e
1
e
2
+ a
13
)
= (a a
12
e
1
e
2
a
23
e
2
e
3
a
13
e
1
e
3
) (a e
1
e
3
+ a
12
e
2
e
3
+ a
23
e
1
e
2
+ a
13
)
Lembrando que estamos interessados na projec ao no subespaco dos escalares (pro-
jetor )
0
), devemos aproveitar da express ao acima somente os termos 0-vetor, isto
e,
S
1
) =

2

e
1
e
3
)
0
=

2
(aa
13
+ a
12
a
23
+ a
23
a
12
+ a
13
a)
= (aa
13
+ a
12
a
23
) (8.50)
O qual e o mesmo resultado obtido com a matriz de Pauli

2

1
(ver equac ao 7.77).
Para encontrar o valor esperado de S
2
calculamos

e
2
e
3
:

e
2
e
3
=

e
2
(a + a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
) e
3
=

e
2
(a e
3
+ a
12
e
1
e
2
e
3
+ a
23
e
2
+ a
13
e
1
)
=

(a e
2
e
3
+ a
12
e
2
e
1
e
2
e
3
+ a
23
+ a
13
e
2
e
1
)
=

(a e
2
e
3
a
12
e
1
e
3
+ a
23
+ a
13
e
2
e
1
)
= (a a
12
e
1
e
2
a
23
e
2
e
3
a
13
e
1
e
3
) (a e
2
e
3
a
12
e
1
e
3
+ a
23
+ a
13
e
2
e
1
)
E obtemos o valor esperado de S
2
extraindo somente a parte escalar:
112
S
2
) =

2

e
2
e
3
)
=

2
(aa
23
a
12
a
13
+ a
23
a a
12
a
23
)
= (aa
23
a
12
a
13
) (8.51)
Para calcular o valor esperado de S
3
calculamos

e
3
e
3
:

e
3
e
3
=

e
3
(a + a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
) e
3
=

e
1
(a e
3
+ a
12
e
1
e
2
e
3
+ a
23
e
2
+ a
13
e
1
)
=

(a + a
12
e
1
e
2
+ a
23
e
3
e
2
+ a
13
e
3
e
1
)
= (a a
12
e
1
e
2
a
23
e
2
e
3
a
13
e
1
e
3
) (a + a
12
e
1
e
2
+ a
23
e
3
e
2
+ a
13
e
3
e
1
)
Finalmente, mantendo a parte escalar temos o valor esperado para S
3
):
S
3
) =

e
3
e
3
)
= a
2
+ a
12
2
a
23
2
a
13
2
(8.52)
Obtemos assim os mesmos resultados que s ao obtidos com os operadores representa-
dos em termos das matrizes de Pauli (ver equacao (7.84)). Assim obter a expressao
para S
i
) =

e
i
e
3
)
0
e equivalente a calcular e
3

e
i
(para ver isso calcule o pro-
duto interno entre a equac ao (7.76) e e
i
ou veja as equacoes (7.77), (7.78) e (7.79)),
isto e,
S
i
) = e
3

e
i
(8.53)
Que e equivalente a,
S
i
) = e
3

e
i
) (8.54)
Podemos achar,
113

S) =
_
e
3

e
1
_
e
1
+
_
e
3

e
2
_
e
2
+
_
e
3

e
3
_
e
3
(8.55)
Ou ainda,

S) = e
3

(8.56)
Assim, no contexto da teoria de Pauli, podemos interpretar o espinor como um
operador rota cao-dilata cao que mapeia o versor e
3
de um dado sistema de referencia
no valor esperado para

S.
Podemos tambem reescrever a express ao (8.53) como:
S
i
) =

S) e
i
(8.57)
Vamos analisar agora os auto-estados possveis do operador S
3
, ou seja devemos
encontrar os espinores tal que tenhamos,
S
3
[] = (8.58)

2
e
3
e
3
= (8.59)
Seja = a +a
12
e
1
e
2
+a
23
e
2
e
3
+a
13
e
1
e
3
um espinor arbitr ario. Calculamos agora
os autovetores de S
3
:

2
e
3
(a + a
12
e
1
e
2
+ a
23
e
2
e
3
+ a
13
e
1
e
3
) e
3
= (8.60)

2
(a + a
12
e
3
e
1
e
2
e
3
a + a
23
e
3
e
2
+ a
13
e
3
e
1
) e
3
=

2
(a + a
12
e
1
e
2
a
23
e
2
e
3
a
13
e
1
e
3
) e
3
=
Analisando a equac ao acima vemos que as duas opcoes para S
3
[] = s ao

1
= a+a
12
e
1
e
2
em que temos =

2
e
2
= a
23
e
2
e
3
+a
13
e
1
e
3
onde =

2
. Assim temos
os dois auto-estados de spin possveis como e observado experimentalmente. Entretanto
temos uma interpretac ao geometrica para estes auto-estados devido a interpretacao do
espinor como operador de rotac ao-dilatac ao. Para mostrar isso vamos calcular o valor
esperado de

S) para um eletron em auto-estado normalizado

1
:
114

S) =

2
(a a
12
e
1
e
2
) e
3
(a + a
12
e
1
e
2
) (8.61)
=

2
(a e
3
a
12
e
1
e
2
e
3
) (a + a
12
e
1
e
2
)
=

2
a
2
e
3
aa
12
e
3
e
1
e
2
a
12
a e
1
e
2
e
3
a
12
2
e
1
e
2
e
3
e
1
e
2
=

2
a
2
e
3

2
a
12
( e
1
e
2
)
2
e
3
=

2
_
a
2
+ a
12
2
_
e
3
O qual representa o auto-estado de spin para cima. Neste caso o espinor
1
rotac ao-dilatac ao somente dilata e
3
.
Vamos calcular o valor esperado de

S para um eletron em um auto-estado
2
.

S) =

2
(a
23
e
2
e
3
+ a
13
e
1
e
3
) e
3
(a
23
e
2
e
3
+ a
13
e
1
e
3
) (8.62)
=

2
(a
23
e
2
a
13
e
1
) (a
23
e
2
e
3
+ a
13
e
1
e
3
)
=

2
a
23
2
e
3

2
a
13
a
23
e
2
e
1
e
3
a
13
a
23
v e
1
e
2
e
3

2
a
13
2
e
3
=

2
a
23
2
e
3

2
a
13
2
e
3
=

2
_
a
23
2
+ a
13
2
_
e
3
Temos neste caso o valor esperado de um spin em auto-estado para baixo. E o
espinor
2
e um operador rotacao-dilatacao que rotaciona e dilata e
3
no vetor

S) que e
antiparalelo a e
3
.
Podemos calcular tambem a ac ao do operador S
2
= S
2
1
+ S
2
2
+ S
2
3
:
S
2
=
_
S
1
2
+ S
2
2
+ S
3
2
_
= S
1
[S
1
[]] + S
2
[S
2
[]] + S
3
[S
3
[]] (8.63)
=

2
4
e
1
e
1
e
3
e
3
+

2
4
e
2
e
2
e
3
e
3
+

2
4
e
3
e
3
e
3
e
3
=

2
4
+

2
4
+

2
4

=
3
4
=
1
2
_
1
2
+ 1
_

115
Assim obtemos o operador S
2
com as propriedades desejadas de acordo com os
postulados de Pauli, isto e, nossa denicao dos operadores de momento angular nos levou
a uma express ao consistente para o operador

S
2
. Alem disso temos uma interpreta cao
geometrica para a lei de comuta cao
_

S
2
, S
3
_
= 0 a qual ocorre por que os escalares (S
2
e
um escalar) comutam com qualquer elemento da algebra geometrica do espaco euclidiano.
8.2.1 Equacao de Pauli na algebra geometrica
Nesta sec ao apresentaremos a equa cao de Pauli considerando o formalismo da
teoria de Pauli usando a algebra geometrica. O hamiltoniano classico de uma partcula
carregada inuenciada por um campo magnetico e dado por:
H =
1
2m
_
p q

A
_

_
p q

A
_
+ q (8.64)
Onde:
p e o vetor momento linear da partcula

A e o potencial vetor
e o potencial eletrico escalar
q e a carga da partcula
Na mec anica quantica as grandezas mensuraveis tornam-se observaveis e temos
que o hamiltoniano nesse caso torna-se:
H =
1
2m
_

P q

A
_

P q

A
_
+ q (8.65)
Mas para obter a descric ao correta desse sistema fsico, Pauli precisou acrescentar
de forma ad hoc um novo termo neste hamiltoniano para representar a interacao da
partcula com o campo magnetico. Assim o hamiltoniano de Pauli e escrito como:
H =
1
2m
_

P q

A
_

P q

A
_
+ q
qh
2m


B (8.66)
O termo
qh
2m


B e conhecido como termo de Stern-Gerlach.
116
No contexto da algebra geometrica manteremos o hamiltoniano apresentado na
equac ao (8.65) mas trocaremos o produto escalar pelo produto geometrico. Obtemos
ent ao:
H =
1
2m
_

P q

A
__

P q

A
_
+ q
=
1
2m
_

P q

A
__

P q

A
_
+ q
Denimos agora a representac ao do operador momento no espa co das posic oes
(base do espa co de estado sendo as posic oes [r) ) como sendo:

P I e
3
(8.67)
A denic ao acima e semelhante a denic ao de Schr odinger uma vez que a parte
I e
3
faz o papel de unidade imagin aria. Para obter a equa cao de Pauli aplicamos o hamil-
toniano sobre o espinor:
H =
1
2m
_

P q

A
__
I e
3
q

A
_
+ q
=
1
2m
_

2
(I e
3
)
2
+ q

AI e
3
+ q
_

A
_
I e
3
+ q
2

A
2

_
+ q
Mas,

A
_
=
_

A
_
+

A (8.68)
Separando em componentes temos:

A =
3

k=1
_
e
k


A + e
k


A
_

x
k

=
3

k=1
_

A e
k


A e
k
_

x
k

=

A

A
117
Assim obtemos que

A
_
=
_

A
_
+
_

A
_
+

A +

A

A (8.69)
Continuando o c alculo,
H =
1
2m
_

2
(I e
3
)
2
+ q

AI e
3
+ q
__

A
_
+
_

A
_
+

A + ...
... +

A

A
_
+ q
2

A
2

_
+ q
=
1
2m
_

2
+ q

AI e
3
+ q
_

A
_
+ q
_

A
_
+ q

A + ...
... + q

A q

A + q
2

A
2

_
+ q
=
1
2m
_

2
+ q

A I e
3
+ q

A I e
3
+ q
_

A
_
+ q
_

A
_
+ ...
... + q

A + q

A + q

A q

A + q
2

A
2

_
+ q
=
1
2m
_

2
+ q

A I e
3
+ q
_

A
_
+ q
_

A
_
+ 2q

A + ...
... + q
2

A
2

_
+ q
=
1
2m
_

2
+ q

A I e
3
+ q
_

A
_
+ 2q

A + q
2

A
2

_
+ ...
... + q +
q
2m
_

A
_

Usando

A = I

A obtemos:
H =
1
2m
_

2
+ 2q

A I e
3
+ q

AI e
3
+ q
2

A
2

_
+ q
q
2m

AI e
3
(8.70)
Mas

B =

A ent ao:
H =
1
2m
_

2
2q

A I e
3
q

AI e
3
+ q
2

A
2

_
+ q
q
2m

BI e
3
(8.71)
118
H =
1
2m
_

P q

A
_

P q

A
_
+ q
q
2m

BI e
3
(8.72)
Assim deduzimos de forma natural o termo de Stern-Gerlach
q
2m

BI e
3
a partir
do hamiltoniando da partcula sob a ac ao de um campo eletromagnetico considerando o
produto geometrico ao inves do produto interno. A troca do produto interno pelo produto
geometrico n ao e uma hipotese ad hoc, ela resulta da formulacao do eletromagnetismo em
termos da algebra geometrica, assim, temos que o termo de Stern-Gerlach surge de forma
natural na algebra geometrica.
119
9 Considerac oes nais
Este trabalho teve como objetivo apresentar a algebra geometrica do espaco eucli-
diano e mostrar algumas aplicac oes deste formalismo ` a fsica teorica. Assim apresentamos
o formalismo da algebra geometrica do espaco euclidiano e identicamos os espinores de
Pauli como uma classe de equivalencia do operadores de rotacao-dilatacao. Em seguida,
o conceito de espinor como operador de rotac ao-dilatac ao foi aplicado para reescrever a
mec anica classica em termos de espinores operatoriais. Desta forma obteve-se um novo
formalismo matem atico para mecanica classica em termos de operadores operatoriais de
Pauli. Este formalismo apresentou grandes vantagens em relac ao ao formalismo tradi-
cional em termos de vetores quando consideramos o problema de Kepler, resultando na
regularizac ao das equac oes din amicas desse problema. Finalmente descrevemos a teoria de
Pauli no formalismo da algebra geometrica e encontramos uma interpretac ao geometrica
para os espinores de Pauli usados para descrever o estado da partcula. Alem disso ao es-
crevermos a mec anica quantica em termos da algebra geometrica, obtivemos naturalmente
o termo de Stern-Gerlach, o qual e postulado de forma ad hoc no formalismo matem atico
tradicional.
Gostariamos de destacar que o presente trabalho pode ser estendido facilmente
para o espaco-tempo de Minkowski (espaco pseudo-euclidiano) para se tornar um forma-
lismo relativstico. Para isso basta considerar uma algebra geometrica gerada a partir
de um espaco vetorial quadridimensional e impor uma metrica pseudo-euclidiana (norma
|v|
2
= v
0
2
v
1
2
v
2
2
v
3
2
para todo vetor v = v
0
e
0
+v
1
e
1
+v
2
e
2
+v
3
e
3
dessa algebra).
Neste caso temos transformac oes ortogonais que representam rotac oes tradicionais mas
temos tambem rotac oes ortogonais envolvendo a componente temporal que sao rota coes hi-
perbolicas as quais produzem os efeitos previstos pela relatividade. Nesta algebra os espi-
nores operatoriais encontrados sao os espinores de Dirac conhecidos na mecanica qu antica
relativstica. Nesta monograa pretendia-se apresentar a algebra geometrica do espaco-
tempo e identicar os elementos da algebra par com os espinores de Dirac, entretanto,
apesar de ter sido feito todo o desenvolvimento da algebra geometrica do espaco-tempo
120
e o estudo da cinem atica e din amica relativstica usando essa algebra, n ao dispomos de
tempo para estudar com detalhes a representac ao na algebra geometrica da teoria de
Dirac do eletron. Assim, a parte relativstica foi excluda do trabalho e deixamos como
sugest ao para trabalhos futuros. Maiores detalhes sobre esse tipo de aplicac ao podem ser
encontrados em [Hes03] e [Vaz00].
121
Referencias
[AB06] Anton, H. and Busby, R.C.

Algebra Linear Contemporanea. Bookman Compa-
nhia Editora, Porto Alegre, 2006.
[Bar03] Bartsh, T. The kustaanheimo-stiefel transformation in geometric algebra. Jour-
nal of Physics A: Mathematical and General, 2003.
[Boy83] Boyer, C.B. Historia da Matematica. Editora Edgard Bl ucher, S ao Paulo, 1983.
[Coh05] Cohen-Tannoudji, C. Quantum Mechanics. John Wiley and Sons, Singapore,
2005.
[DL03] Doran, C. and Lasenby, A. Geometric Algebra for Physicists. Cambridge Uni-
versity Press, Cambridge, 2003.
[Hes75] Hestenes, D. Local observables in quantum theory. American Journal of Physics,
1975.
[Hes96] Hestenes, D. Hermann Gunther Grassmann (1809:1877): Visionary Mathema-
tician, Scientist and Neohumanist scholar, chapter Grassmanns Vision, page
191:201. Kluwer Academic Publisher, 1996.
[Hes02a] Hestenes, D. New Foundations for Classical Mechanics. Kluwer Publisher Press,
Dordrecht, 2002.
[Hes02b] Hestenes, D. Oersted medal lecture: Reforming the mathematical language of
physics., 2002.
[Hes03] Hestenes, D. Spacetime physics with geometric algebra. American Journal of
Physics, 2003.
[HS84] Hestenes, D. and Sobczyk G. Cliord Algebra to Geometric Calculus. Reidel,
Dordrecht, 1984.
[Jon90] Jones, H. F. Groups, Representations and Physics. Adam Hilger, New York,
USA, 1990.
[Lim04] Lima, E.L.

Algebra Linear. IMPA, Rio de Janeiro, 2004.
[Nak03] Nakahara, M. Geometry, topology and physics. IoP, Bristol and Philadelphia,
2003.
[TM03] Thornton, S. T. and Marion, J. B. Geometry, topology and physics. IoP, Bristol
and Philadelphia, 2003.
122
[Vaz97] Vaz Jr, J. A

Algebra geometrica do espaco euclidiano e a teoria de pauli. Revista
Brasileira do Ensino de Fsica, 1997.
[Vaz00] Vaz Jr, J. A

Algebra geometrica do espaco-tempo e a teoria da relatividade.
Revista Brasileira do Ensino de Fsica, 2000.
[Wal08] Jorg Waldvogel. Quaternions for regularizing celestial mechanics - the right way.
Technical report, Eidgen ossische Technische Hochschule - Z urich, 2008.
[Wik08a] Wikipedia. Geometric algebra wikipedia, the free encyclopedia, 2008. [On-
line; accessed 23-February-2008].
[Wik08b] Wikipedia. Hermann grassmann wikipedia, the free encyclopedia, 2008.
[Online; accessed 21-February-2008].
[Wik08c] Wikipedia. Projection (linear algebra) wikipedia, the free encyclopedia, 2008.
[Online; accessed 18-July-2008].
[Wik08d] Wikipedia. Reection (linear algebra) wikipedia, the free encyclopedia, 2008.
[Online; accessed 10-October-2008].