TPICOS DE LGEBRA GEOMTRICA

(TOPICS OF GEOMETRIC ALGEBRA) Ricardo Soares Vieira

ricardosoaresvieira@gmail.com
O presente texto tem por objetivo divulgar e esclarecer conceitos sobre lgebra geomtrica. Logo no incio do texto, apresentamos alguns personagens novos para a maioria dos estudantes, objetos como bivetores, trivetores etc, com o intuito de tornar mais natural a introduo do conceito de k-vetores. H tambm um resumo histrico do desenvolvimento do clculo vetorial e, em seguida, discutimos os principais tpicos de lgebra geomtrica (temas como a soma e o produto geomtrico de kvetores, um formalismo matricial para a lgebra geomtrica, dualidade de Hodge, anlise de funes vetoriais etc.). Apresentamos quais as relaes existentes entre a lgebra de Clifford, os quaternions de Hamilton e a lgebra de GibbsHeaviside. Finalmente, como exemplo de aplicao da lgebra geomtrica, demonstramos como as equaes de Maxwell podem ser reunidas em uma nica equao pelo formalismo aqui abordado. The present text has as objective to divulge and to clear concepts on geometric algebra. Already in the beginning of the text, we introduce some new characters for most of the students, objects like bivectors, trivectors etc., with the intention of turning more natural the introduction of the concept of k-vectors. There is also a historical summary of the vectors calculus development and, soon after, we discuss the principal topics of geometric algebra (themes like the sum and the geometric product of k-vectors, a matrix formalism for the geometric algebra, Hodge's duality, vectors functions analysis, etc.). We present which the existent relationships among the Clifford's algebra, the quaternions Hamilton and the Gibbs-Heavisides algebra. Finally, as example of a geometric algebra application, we demonstrate as the Maxwells equations can be resumed to a unique equation by the formalism here approached.

1. Introduo
J estamos bem acostumados com o emprego de vetores em fsica. De fato, a introduo destas entidades matemticas permitiu uma abordagem mais simples dos fenmenos naturais. O conceito de vetor foi criado justamente para descrever grandezas que possuem propriedades geomtricas tais como direo e sentido e que, por este motivo, no podiam ser completamente descritas por meros nmeros. Vrias so as grandezas que s ficam determinadas quando especificamos a sua direo ao longo de uma reta, tais grandezas so ditas vetoriais, e so representadas por vetores. Os vetores podem ser vistos, pelo ponto de vista geomtrico, como segmentos de reta orientados, a representao das grandezas vetoriais feita da seguinte forma: o comprimento do vetor informa a magnitude da grandeza, a direo desta determinada pela reta-

suporte do vetor e o seu sentido por uma flecha colocada em uma das extremidades dele. Estas trs propriedades, magnitude, direo e sentido, so suficientes para descrever um vetor em sua totalidade. A velocidade de um corpo, a fora que nele atua, o campo eltrico gerado por um eltron etc., so exemplos de grandezas vetoriais.

Figura 1: Um vetor Em contrapartida, existem outras grandezas ficam determinadas apenas por uma magnitude, no necessitando de uma direo. Estas grandezas podem ser representadas por nmeros mesmo e so chamadas de escalares. A energia, a carga eltrica, a massa de um corpo so alguns exemplos de escalares...

Agora, o que muitos no sabem (ncleo do assunto aqui abordado), que certas grandezas ficam mais bem representadas por outros objetos com caractersticas geomtricas que no os vetores. Por exemplo, grandezas angulares como o momentum angular ou o torque de uma fora, ficam mais bem representadas por fragmentos de plano orientados do que por segmentos de reta orientados. Realmente, estas grandezas no atuam ao longo de uma reta, mas sim ao longo de um plano, o qual no pode ser determinado por um vetor a menos que estejamos no espao tridimensional. Deste modo, para melhor representar tais grandezas, introduzimos um novo objeto vetorial chamado bivetor, que nada mais do que um fragmento de plano orientado: o valor de sua rea informa a magnitude da grandeza por ele representada, a direo da grandeza determinada pela direo do plano-suporte do bivetor, e tambm admite dois sentidos: horrio ou anti-horrio. Alis, at mesmo o ngulo que geralmente tratado como um nmero fica mais bem representado por um bivetor, j que ele s fica completamente determinado quando lhe fornecemos um valor, um plano na qual ele descrito e um sentido horrio ou anti-horrio segundo o qual o medimos , pois, claramente uma grandeza bivetorial!

permite incluir os escalares ao conjunto de objetos vetoriais, o qual pode geometricamente ser associado a pontos. A introduo destes objetos vetoriais que podem ser vistos como nmeros dirigidos ou ainda nmeros geomtricos nos permite criar um poderoso formalismo para o estudo dos fenmenos naturais: a lgebra Geomtrica. Veremos agora como estes objetos foram introduzidos no decorrer da histria atravs de uma breve viagem ao tempo pela histria do clculo vetorial.

2. Um pouco de histria.
A histria do clculo vetorial remonta tempos longnquos desde a Grcia Antiga, onde Euclides fundou a sua geometria. Mas foi somente aps muito tempo, com Ren Descartes, que a existncia das grandezas vetoriais ficou mais evidente. Descartes deu geometria de Euclides um formalismo analtico, onde cada ponto do espao pde ser representado por um par ordenado de nmeros (cada qual relacionado a um dos eixos de um sistema de coordenadas). Tempos depois, outro grande matemtico, Carl F. Gauss, e independentemente dele, Jean R. Argand, estudaram um novo campo da matemtica que a princpio no tinha nada a ver com vetores, mas que foram essenciais sua formulao: os nmeros complexos. Perceberam eles que tais objetos matemticos podiam ser representados por um par ordenado tal qual utilizado no plano cartesiano: bastava convencionar que um dos eixos do sistema representasse o conjunto

Figura 2: Um bivetor Analogamente, podemos admitir outros objetos geomtricos, alm destes. Se considerarmos um espao k-dimensional, poderemos ento definir desde escalares at k-vetores, (e.g., trivetores, quadrivetores, pentavetores, etc.), por exemplo, um trivetor estar associado a triedos orientados, j um quadrivetor, por sua vez, estar associado a objetos geomtricos quadridimensionais (cuja imagem a nossa pobre cabea incapaz de formar, mas capaz de admitir)... Seria interessante assumir o que faremos que qualquer objeto utilizado para descrever grandezas fsicas seja um objeto vetorial, pois que esta definio

R dos nmeros reais e o outro o conjunto I dos

nmeros imaginrios (cujos elementos so razes quadradas de nmeros negativos) que qualquer nmero complexo poderia ser representado por um ponto neste plano o chamado plano de ArgandGauss. Esse trabalho de Gauss e Argand logo cativou a imaginao dos matemticos da poca, talvez fazendo surgir na cabea deles seguinte pergunta: Se um nmero complexo que formado por uma parte real e outra imaginria pode ser associado a um plano, ento que outro objeto matemtico poderia ser associado ao espao tridimensional? Vrios

matemticos queimaram seus neurnios a procura desse objeto, e se depararam com diversas dificuldades: uma delas, que no plano de GaussArgand um dos eixos representava o conjunto dos nmeros reais, enquanto o outro o conjunto dos nmeros imaginrios; mas como em um sistema tridimensional h trs eixos perpendiculares, o misterioso objeto deveria apresentar mais uma outra parte alm da parte real e da imaginria, de forma que seria necessrio ampliar o conjunto dos nmeros complexos. Numa primeira abordagem, pode parecer bvio procurar por um nmero complexo de trs partes, cada qual associada a um dos eixos do sistema tridimensional, mas tal idia revelou-se assaz infrutfera: quando se tentava aplicar as regras da lgebra dos nmeros complexos a estes objetos, apareciam srias contradies, de forma que no foi possvel resolver o problema por este caminho. A soluo s foi alcanada por William Rowan Hamilton depois de algum tempo conta-se que Hamilton alcanou a resposta em um momento eureca enquanto caminhava por uma famosa ponte de sua cidade, l ele no hesitou e, com uma pedra rabiscou na ponte a relao fundamental de sua teoria! Hamilton percebeu que o erro estava em se tentar associar o conjunto R dos nmeros reais a um dos eixos, pois era justamente isso o que fazia aparecer as contradies encontradas em outras tentativas. Dever-se-ia, portanto, associar a cada eixo do sistema, conjuntos imaginrios I , J e K , mas que fossem independentes uns dos outros, assim como os nmeros reais so independentes em relao aos imaginrios. Adicionando a estes trs conjuntos o conjunto dos nmeros reais, Hamilton pde generalizar a lgebra dos nmeros complexos, que agora continha quatro partes. A este novo objeto complexo, Hamilton chamou de quaternion. Com este formalismo, as regras vlidas para os nmeros complexos eram satisfeitas, com a nica diferena de que o produto quaterninico no uma operao comutativa, contrariamente ao produto de nmeros complexos. Veremos mais adiante uma descrio bem mais completa da formulao dos quaternions.

A importncia dos quaternions para o clculo vetorial provm de suas caractersticas, que eram adequadas descrio de vrios fenmenos naturais o que , alis, o principal objetivo do clculo vetorial. Devido a estas caractersticas, vrias aplicaes dos quaternions se sucederam e vrios pesquisadores se interessaram em pesquisar novos objetos matemticos adequados para o estudo da natureza. Entre eles, Hermann Gnther Grassmann teve importncia publicou onde fundamental. artigo que as Em 1873, Grassmann Die fsicas Lineale fossem um denominado grandezas

Ausdehnungslehre (lgebra das Extenses Lineares), props representadas por objetos geomtricos ao invs de numricos. Estes objetos seriam como retas orientadas, fragmentos de plano orientados, cubos orientados, etc. Podemos dizer que foi exatamente neste ponto que surgiu o conceito de objetos vetoriais, como os nossos conhecidos vetores, e alm: j l estavam presentes aqueles outros objetos geomtricos comentados no incio do texto, quais sejam 2-vetores, 3-vetores, etc.. Alm disso, Grassmann generalizou a geometria de Euclides ao sugerir um tratamento matemtico vlido para um espao de qualquer dimenso. O trabalho de Grassmann foi, sem dvida, excepcional, entretanto, como muitas vezes acontece, o seu trabalho era por demais complexo para a poca em que foi publicada, e poucos foram os que a entenderam, alm do que, mediante todo o prestgio de Hamilton j bastante conhecido na poca pelas suas pesquisas matemticas o seu trabalho acabou quase que esquecido. Digo quase porque, ao menos uma mente reconheceu a grandeza de seu trabalho e pde ir alm, demonstrando vrias semelhanas entre o trabalho de Hamilton com o de Grassmann e formulando uma nova lgebra vetorial, que englobava ambas as formulaes de uma forma bem mais simples. O seu nome? William Kingdon Clifford. A lgebra de Clifford foi por ele denominada lgebra Geomtrica, mas por mesma infelicidade o seu trabalho tampouco ganhou a devida ateno na poca, sobretudo por causa de sua morte prematura. H hoje em dia fortes evidncias de que Grassmann teria chegado a concluses semelhantes s de Clifford, motivo pelo

qual prefervel o nome lgebra Geomtrica do que somente lgebra de Clifford. J em tempos mais recentes, Josiah Willard Gibbs tambm fez uma anlise da lgebra de Grassmann e pde, assim, simplific-la de forma considervel. Gibbs apresentou seus estudos sob a forma de notas de aula que utilizava junto a seus alunos. Quase ao mesmo tempo, Oliver Heaviside, chegou a resultados semelhantes ao de Gibbs de forma independente e assim nasceu a chamada lgebra vetorial que conhecemos hoje. Embora no tendo o mesmo rigor das lgebras de Grassmann, Clifford ou de Hamilton, e at mesmo contendo certos problemas de carter matemtico, prtica esta a lgebra descrio dos consideravelmente fenmenos naturais. Em sua lgebra no havia mais bivetores, trivetores etc., apenas escalares e 1-vetores. Vale ressaltar tambm que, devido simplicidade da lgebra vetorial de Gibbs-Heaviside, os quaternions foram pouco a pouco sendo esquecidos e hoje, possivelmente, a grande maioria dos estudantes sequer ouviram falar a palavra quaternion. Como exemplo de sua praticidade, convm mencionar como ela simplifica as equaes de Maxwell, que regem o eletromagnetismo: estas equaes consistiam, antes do advento do conceito moderno de vetor, em oito equaes escalares, j quando descritas na lgebra vetorial de Gibbs-Heaviside, estas mesmas equaes puderam ser resumidas em apenas quatro! (isso tambm ocorre no formalismo de Hamilton, que inclusive foi utilizado por Maxwell). No decorrer do tempo, outros pesquisadores como Levi-Civita, Ricci, Einstein etc., deram as suas contribuies e desenvolveram o conceito de tensor uma evoluo do conceito de vetor formulando assim uma lgebra tensorial. A origem do nome tensor provm dos estudos sobre os fenmenos das tenses, a sua importncia, da peculiar propriedade de manter a mesma forma em qualquer sistema de coordenadas propriedade que foi fundamental no desenvolvimento da teoria da relatividade generalizada de Einstein. H pouco tempo atrs este era o cenrio do clculo vetorial: tinha-se por um lado a praticidade da lgebra de Gibbs, por outro, as suas contradies que para

incomodavam, e os trabalhos de Hamilton, Grassmann e Clifford estavam praticamente esquecidos. Mas, felizmente, h alguns anos atrs algo surpreendente mexeu em todo cenrio. O professor David Hestenes tirou da escurido os trabalhos de Clifford e mostrou como ela simplifica por demais a descrio da natureza e ainda livre dos problemas em que a lgebra de Gibbs-Heaviside se depara. A partir de ento cada vez mais pesquisadores se interessam em seu estudo, inclusive aqui no Brasil (conferir em [1], [2], etc.). A lgebra geomtrica simplifica de forma surpreendente toda a descrio da natureza, ela adequada para descrever desde tpicos modernos tal qual relatividade restrita [1] (j que esta lgebra admite espaos quadridimensionais) e mecnica quntica [2] (pois a lgebra das matrizes de Pauli e a de Dirac possuem a mesma estrutura da lgebra geomtrica, inclusive pode-se neste formalismo introduzir o conceito de spinor de uma forma bem mais simples), como tambm fenmenos clssicos ([3], [4], [5]), como o eletromagnetismo. Para se ter uma idia de seu poderio, as equaes de Maxwell, que eram originalmente oito equaes escalares e que puderam ser reduzidas a quatro pela lgebra de GibbsHeaviside, agora se tornam apenas uma, eu disse apenas uma equao, na lgebra geomtrica! Isto no realmente fantstico? A lgebra geomtrica pode e deve ser utilizada no lugar da lgebra vetorial devido as suas vantagens inegveis, porm, necessrio salientar os trabalhos de Heaviside-Gibbs no podem ser de forma alguma esquecidos, pois mesmo com as suas incongruncias, permitiram a resoluo de muitos problemas, alm claro, de fazerem parte da histria da fsica e da matemtica. Como j nos dizia Jules Verne, A cincia feita de erros, que por sua vez, nos conduzem verdade e, muitas vezes, desta forma que evolui a cincia. Nas pginas seguintes, estudaremos a chamada lgebra Geomtrica de Clifford, que engloba tanto a lgebra de Grassmann como a lgebra de Hamilton. Comecemos por verificar algumas propriedades comuns a qualquer k-vetor.

3. Propriedades dos objetos vetoriais

Todo objeto vetorial, para ser completamente especificado, requer quatro propriedades que esto descritas a seguir: a) grade: Classifica os objetos vetoriais de acordo com o objeto geomtrico (ponto, reta, plano, triedo etc.) a que est associado. Reiterando o que j foi dito, objetos vetoriais so entidades matemticas que representam grandezas fsicas de forma que toda grandeza fsica deve ser representada por um objeto vetorial. Aquelas grandezas que no necessitam de orientao devem ser representadas por escalares (que podemos associar a pontos); j grandezas que necessitam de uma orientao ao longo de uma reta devem ser representadas por vetores (semi-retas dirigidas); de forma grandezas que angulares por bivetores sejam (fragmentos de plano orientados), e assim por diante, grandezas k-dimensionais representadas por k-vetores. Assim, dizemos que a grade dos escalares 0, que a grade dos vetores 1, que a dos bivetores 2 e assim por diante, sendo a grade de um k-vetor igual a k. Poderamos utilizar o termo dimenso ao invs de grade para se referir a esta propriedade, mas no vamos fazer isto para evitar confuso com a definio que dada dimenso em lgebra linear, e que difere muito da definio de grade apresentada aqui. A terminologia grade tambm utilizada por outros autores, de forma que vamos adot-la. Para diferenciar os diferentes tipos de objetos vetoriais utilizaremos doravante a seguinte notao: um objeto vetorial ser sempre escrito em negrito, com a sua grade especificada pelo nmero de setas sobrescritas. Assim, escalares sero representados como em v , vetores da forma v , bivetores v e assim por diante, sendo um vetor de grade k, quando grande, representado por
k

grandeza representa por ele quando especificamos uma unidade de medida adequada. Do ponto de vista geomtrico, este valor corresponde ao comprimento, rea, volume, etc. do objeto vetorial considerado. O mdulo de um vetor v representado por barras como em v . A definio matemtica desta operao ser apresentada no decorrer do texto, pois que os argumentos apresentados at aqui no so suficientes para defini-la...
c) Direo: corresponde reta, plano, volume etc. que d suporte ao k-vetor. A direo de 1-vetores

ser a mesma da reta de atuao da grandeza vetorial que ele representa; a direo de um 2-vetor ser o plano de atuao da grandeza bivetorial que lhe associado; e assim por diante, sendo inexistente a direo dos escalares.
d) Sentido: Define a origem do vetor e o seu destino. H apenas dois sentidos possveis para um dado k-vetor. Para determinar a forma com que uma

grandeza atua necessrio dizer de onde ela provm (origem de atuao) e aonde ela atuar (destino de atuao), desta forma, chamamos de sentido de um kvetor a sua direo quando orientada da origem para o destino. Toda grandeza vetorial possui dois sentidos associados a cada direo, por exemplo, os escalares podem ser positivos ou negativos; os vetores podem apontar para qualquer uma das duas direes possveis ao longo de sua reta de atuao, um bivetor, pode possuir um sentido horrio ou anti-horrio, um trivetor tem um dos sentidos definido pela regra da regra da mo direita e o outro pela regra da mo esquerda, que so utilizadas comumente em cursos de eletromagnetismo; e assim por diante.

4. O sistema de coordenadas vetoriais. Descrio analtica dos objetos vetoriais.

Neste ponto, iniciaremos o estudo analtico dos objetos vetoriais. Isso hoje s possvel porque h muito tempo Ren Descartes encontrou um modo simples, mas potente, de descrever a geometria de Euclides. Ele formulou o que ficou conhecido como
sistema de coordenadas cartesianas que provm de

e para um vetor de grade

qualquer usaremos a representao v .

b) Mdulo: representa a magnitude do objeto vetorial, equivale a medida do comprimento, rea, volume, etc. em sua representao geomtrica. O

mdulo de um k-vetor um nmero sempre real e no-negativo que nos fornece a intensidade da

Renatus Cartesius, forma latina de seu nome cuja funo a de algebrizar a geometria euclidiana. O sistema de coordenadas cartesianas simplesmente um sistema de eixos graduados, ortogonais entre si e que se encontram num determinado ponto dito origem. Qualquer cartesiano ponto de da x forma do espao nica pode por um ento ser representado forma conjunto

de eixos ortogonais e admitindo uma geometria euclidiana (onde a distncia entre dois pontos independente da localizao destes pontos), o mdulo de um vetor pode ser encontrado pela verso ndimensional do teorema de Pitgoras, definido pela frmula:
v = (v1 ) + (v2 ) + (v n )
2 2 2

(x 1, x 2 , x n ) , onde cada

elemento representa a distncia do ponto em relao a cada eixo X1, X 2 , X n do sistema, respectivamente. Posteriormente ao trabalho Descartes, Gauss e Argand utilizaram o sistema de coordenadas cartesianas para representar os nmeros complexos, que na poca estavam sendo estudados, mas um grande passo para a lgebra geomtrica foi dado por Grassmann que, de forma original, desenvolveu um sistema de coordenadas adequado descrio de vetores o chamado sistema vetorial. Grassmann considerou um sistema de eixos perpendiculares tal qual o cartesiano, mas associou a cada eixo um vetor unitrio ei (chamado versor), colinear ao respectivo
X2

A direo do vetor tambm pode ser obtida diretamente pelos valores de seus coeficientes, uma vez que cada coeficiente v i pode ser obtido pela equao v i = v cos i , de onde se encontra o ngulo i que o vetor forma com cada eixo do sistema.

x2 e2 e1 x

eixo e com origem coincidente com a do sistema, de forma que as coordenadas de um ponto qualquer que agora recebem o nome de componentes se tornam um vetor. Consequentemente, qualquer ponto do sistema passa a descrever um vetor x = x 1 e1, x 2 e2 , x n en , com origem igual a do sistema e destino no ponto considerado, em virtude dos versores que so associados as suas componentes. Grosso modo, um versor pode ser pensado como o elemento unitrio do conjunto dos vetores, assim como o nmero 1 o elemento unitrio do conjunto numrico ou o nmero i para o conjunto dos nmeros imaginrios... O conjunto e1 , e2 , en formado pelos versores do sistema, chamado de base do sistema, de forma que, conforme vimos, qualquer vetor pode ser descrito como uma combinao linear da base, isto , multiplicando cada elemento da base por um coeficiente numrico adequado. O mdulo de um vetor v , que corresponde ao valor de seu comprimento, pode ser encontrado diretamente pela geometria utilizando o teorema de Pitgoras, e
n

x1

X1

Figura 3: O sistema de coordenadas vetoriais Analogamente, bivetores tambm podem ser representados por um sistema vetorial. Basta associar biversores da forma eij a cada plano ij que se forma entre dois eixos do sistema. Assim, o sistema fica caracterizado tambm por uma base bivetorial da forma

e12 , e13 , e1n , e23 , emn , cujos elementos

esgotam todas as combinaes eij possveis de se formar com os ndices. Qualquer bivetor tambm pode ser descrito por uma combinao linear dos elementos desta base bivetorial, bastando multiplicar cada 2versor por um coeficiente numrico adequado, logo, tambm pode ser representado por um conjunto como: v = v12 e12 , v13 e13 , v1n e1n , v23 e23 , v mn emn Veja que o nmero de componentes de um bivetor depende da dimenso do sistema considerado:

depende

apenas

dos

coeficientes

(v , v , v )
1 2

que o determina. Utilizando um sistema

em um sistema quadridimensional um bivetor ter 6 componentes, j no tridimensional ter 3 e num bidimensional apenas 1 componente. Para o caso especial onde n = 3 , onde podemos formar apenas trs planos com os eixos do sistema, um bivetor ter a forma: v = v12 e12 , v13 e13 , v23 e23 .

sistema de coordenadas, sendo os seus atributos (i.e., grade, magnitude, direo e sentido) iguais, devem ser considerados equivalentes e dizemos que eles formam uma classe de equivalncia. No entanto, para fins de clculos, recomenda-se escrever um k-vetor sempre com sua origem na prpria do sistema.

O mdulo de um bivetor tambm pode ser encontrado pelo teorema de Pitgoras aplicado s suas componentes, onde temos: v = (v12 ) + (v13 ) + (v1n ) + (v mn )
2 2 2 2

5. A soma geomtrica.
O professor pergunta para seus alunos:

Ateno classe, qual o valor da soma de 5 bananas, 3 abacaxis e 4 laranjas? Rapidamente, Zezinho a quem o professor odiava responde: Eu sei professor, eu sei: uma salada de frutas!. Como bem percebeu Zezinho, a soma acima no poderia ser efetuada a menos que ele considerasse as bananas, abacaxis e laranjas como objetos pertencentes a uma mesma classe de objetos no caso, frutas pois caso ele diferenciasse as bananas dos abacaxis e das laranjas, ento s poderia somar bananas com bananas, abacaxis com abacaxis e laranjas com laranjas... O que se quer demonstrar com este exemplo que a operao matemtica adio s pode ser efetuada sobre objetos pertencentes a uma mesma classe de objetos, por exemplo, no podemos efetuar a soma de termos com incgnitas diferentes, de forma a agrup-los em um nico termo, assim como a soma de dois nmeros com expoentes diferentes tambm no pode ser efetuada de modo a resultar apenas em uma potncia, pois, nestes exemplos, as parcelas so de classes diferentes. Podemos escrever

A sua direo tambm pode ser determinada atravs da relao e v ij = v cos ij , onde ij o ngulo que o bivetor forma como cada plano do sistema. De um modo geral, um k-vetor qualquer pode ser descrito num sistema vetorial atribuindo ao sistema k-base, que encontrada por todas as combinaes possveis de se realizar com os eixos do sistema, tomados de k a k. Este nmero corresponde tambm ao nmero de componentes do k-vetor. Apelando para a teoria da anlise combinatria, podese provar que o nmero de componentes de um kvetor, quando descrito em um sistema n-dimensional, dado pelo nmero binomial n k , o qual definido pela frmula:
n Esta componentes equao de um n! k = k ! (n k ) ! mostra k-vetor que o nmero tanto de da

tais somas, represent-las por um novo smbolo, mas efetu-las realmente, tal qual fazemos com duas quantidades semelhantes (e.g., a + 2a = 3a ), no possvel... O mesmo pode ser dito sobre a soma de objetos vetoriais: uma soma vetorial s pode ser efetuada se os objetos vetoriais que se somam possurem grades iguais; podemos escrever uma equao em que figure a soma de, por exemplo, um vetor e um bivetor, porm, tal adio no poder ser efetuada, de modo que no possvel unificar a expresso a um nico termo. Esta a primeira coisa que devemos ter em mente para realizarmos a soma geomtrica de objetos vetoriais.

depende

dimenso do sistema como da grade do k-vetor. Tambm podemos representar um k-vetor por um conjunto ou matriz, assim como podemos encontrar o seu mdulo ou sua direo de forma anloga aos casos anteriores, mutatis mutandis. Uma ltima coisa deve ser mencionada: os sistemas vetoriais representam objetos vetoriais com origem coincidente com a do sistema, obviamente, podemos coloc-lo em qualquer outro ponto que ainda teremos o mesmo vetor. Em outras palavras, objetos vetoriais que diferem apenas por sua posio no

Mas afinal, como podemos somar estes objetos e qual a finalidade disto? Para responder a esta pergunta, daremos um exemplo simples: Suponha que um corpo se desloque de um ponto A para um ponto B e depois, mudando de direo, se desloque de B at outro ponto C. Como o deslocamento do corpo dado pela diferena entre a sua posio final e a inicial, pode-se concluir que o deslocamento dele ser igual ao segmento de reta AC , o qual, sem sombra de dvida, corresponde soma dos segmentos de reta AB e BC , j que ao se somar estes dois trajetos, ou seja, percorrer um e depois o outro, o corpo tambm se encontrar no mesmo ponto destino obtido pelo percurso anterior.

E a direo do vetor resultante, pode ser determinada pela equao: v sen + w sen v cos + w cos

tan =

Por estas duas equaes chegamos a uma definio da soma geomtrica de vetores atravs de conceitos puramente geomtricos, pois encontramos com ela a magnitude, direo e sentido do vetor resultante, que basta para determin-lo. H, entretanto, uma forma mais simples de realizar tal operao. Verifica-se que as operaes vetoriais se tornam bem mais simples quando so efetuadas sobre as componentes dos vetores.

C
u v A
Figura 4: Uma soma geomtrica de vetores Entretanto, a soma a que se referimos no e nem poderia ser a soma aritmtica dos comprimentos AB e BC , pois que se assim o fosse, ela no resultaria no segmento AC a menos que esses dois segmentos fossem colineares e de mesmo sentido. Com isso, prova-se que a aritmtica no aplicvel a vetores, fato pelo qual foi necessrio elaborar uma lgebra geomtrica. A sada para tal dilema encontrada definindo uma adio geomtrica, operao aplicvel a objetos vetoriais, que leve em considerao as direes, sentidos e magnitudes destes objetos. Esta operao pode ser inferida diretamente da geometria: analisemos a figura 4 que representa a soma dos dois vetores v = AB e w = BC , e que resultam no vetor
u = AC . Como estes vetores

Realmente, podemos perceber por uma anlise mais apurada da figura 4 que a soma geomtrica nada mais do que a soma aritmtica das componentes dos

w B

vetores, pois que, ao somarmos as componentes associadas aos mesmos eixos de cada vetor, encontramos as componentes do vetor resultante, associadas a estes mesmos eixos. Em outras palavras, o vetor resultante de uma soma geomtrica pode ser encontrado somando-se as componentes que apresentam mesmo ndice nos dois vetores (i.e., componentes homlogas). Sejam ento v e w dois vetores. A soma deles resultar num outro vetor u e podemos escrever: u = v + w , lembrando apenas de que esta soma geomtrica (informao explicita pela flecha sobrescrita). Pelo que vimos nos captulos anteriores, os vetores v e w podem ser descritos por conjuntos da forma:

v v1 , v2 , v n ,

w w1 , w2 , w n

Para somarmos esses dois vetores (ou um nmero qualquer de vetores), basta efetuar a soma aritmtica das componentes homlogas dos vetores v e w , ou seja:

formam um tringulo, o mdulo do vetor resultante u pode ser encontrado utilizando a lei dos co-senos:
2 2

u = ( v1 + w1 ) , ( v 2 + w 2 ) , ( v n + w n ) Pois fazendo (w i + v i ) = u i , encontramos o vetor resultante u , tal qual tinha sido obtido pelo

u =

v + w + 2 w v cos ( )

mtodo puramente geomtrico. O vetor u pode ento ser escrito da forma u u1, u 2 , u n . Obviamente, as prprias componentes do vetor determinam sua nova direo e sentido. Fica como um interessante exerccio para o leitor a demonstrao da equivalncia entre o formalismo analtico e o puramente

algbrica no lugar da matricial. Assim, podemos escrever um vetor pela equao: v = v1 e1 + v2 e2 + v n en Onde ocultamos os brackets por no serem mais necessrios. Um bivetor ter a forma v = v12 e12 + v13 e13 + v mn emn , analogamente para kvetores quaisquer. Doravante, os k-vetores sero preferencialmente representados por expresses algbricas como estas. Com estes conceitos, podemos verificar quais propriedades so respeitadas pela soma geomtrica. Em primeiro lugar, cabe esclarecer que dois k-vetores de mesma grade somente so iguais se, e somente se, as suas magnitudes, direes e sentidos forem iguais, em outras palavras, se as suas componentes forem iguais. E reforando o que j foi dito, no importante que as suas origens sejam coincidentes. As propriedades da soma geomtrica so as seguintes:

geomtrico. A grande vantagem deste formalismo analtico, to pouco explorado pelos professores do ensino mdio, que atravs dele obtemos todas as propriedades de um vetor de uma forma direta, no mais necessrio admitir uma equao para a magnitude do vetor resultante e outra para a sua direo e sentido, como o que ocorre quando os vetores so representados por segmentos de retas. A magnitude, que vetores direo e sentido do vetor ficam completamente determinados pelos seus coeficientes, j diferentes apresentam componentes diferentes.

uma operao associativa: u + (v + w) = (u + v) + w

e comutativa: u + v = v + u ; admite a existncia do tal que u + 0 = u , de onde resulta a vetor nulo 0 existncia de um vetor oposto u , associado a qualquer vetor u de forma que u + (u) = 0 . A existncia de um vetor oposto permite definir a diferena geomtrica do vetor u pelo vetor v como uma soma entre u e o vetor oposto a v , ou seja: u v = u + (v) . Tambm fcil verificar na geometria euclidiana a relao u + v u + v , que conhecida como desigualdade triangular. Agora vamos voltar ao assunto comentado no

w Figura 5: Soma geomtrica de bivetores A soma de dois (ou mais) k-vetores definida de forma anloga, somam-se as suas componentes homlogas. Por exemplo,
com

soma

do

bivetor

v v12 , v13 , vmn

w w12 , w13 , w mn

resulta em outro bivetor u u12 , u13 , u mn , tal que:

incio deste captulo. O que Zezinho nos ensinou

tambm vlido para a soma geomtrica no sentido de que s podemos efetuar uma soma geomtrica se os

(v

12

+ w12 , v13 + w13 , v23 + w23

)(

)(

vetores-parcelas tiverem a mesma grade. Se somarmos, por exemplo, um vetor com um bivetor, vamos obter um outro objeto vetorial que no ser nem um vetor, nem um bivetor ser sim um objeto hbrido o qual chamamos de multivetor e o representamos por M . Um multivetor M no pode ser escrito como um nico objeto vetorial, pois cada parcela pertence a uma classe diferente de vetores, logo, um multivetor descrito em um espao n-dimensional, possui a forma

Um fato interessante da soma geomtrica que um k-vetor sempre pode ser escrito como a soma de outros dois ou mais k-vetores. Em particular, qualquer
k-vetor pode ser escrito como uma soma de suas

componentes, j que elas tambm so entidades vetoriais. Esta propriedade importante porque nos permite escrever um vetor por uma expresso

geral: M = v, v, v, v . Observe que um multivetor

euclidiana ortogonal, entretanto, pelo o que ser exposto, o leitor no encontrar dificuldades em estender as definies a outras geometrias. Seja ento um vetor v, descrito nesta geometria e em um sistema bidimensional para simplificar. Temos: v = v1 e1 + v2 e2 . Comecemos por escrever o quadrado do mdulo de v pela expresso: v = vv , que tambm pode ser escrito da seguinte forma: vv = (v1 e1 + v2 e2 )(v1 e1 + v2 e2 ) = v
2 2

possui em geral uma grade mista. Assim como kvetores podem ser representados por uma equao algbrica, o mesmo pode ser dito dos multivetores. No sistema tridimensional, onde podemos encontrar desde escalares at trivetores, um multivetor ser da forma:

M = v0 + v1 e1 + v2 e2 + v 3 e3 + v12 e1 e2 + v13 e1 e3 + v23 e2 e3 + v123 e1 e2 e3 . Pode-se facilmente verificar que o nmero de componentes de um multivetor depende da dimenso n do sistema segundo a equao 2n . A soma de multivetores definida de forma semelhante: somamse os termos respectivos de cada multivetor.

Observe que acabamos de escrever um vetor por uma expresso algbrica, isto nos leva a considerar, a priori, que o produto vetorial siga regras semelhantes quelas que so vlidas para as expresses algbricas, em especial a propriedade distributiva. Vamos admitir que pelo menos esta propriedade seja satisfeita (o que pode ser feito livremente como uma hiptese, j que poderemos neg-la futuramente se no obtivermos xito), de forma que efetuando a distributiva, encontraremos:

6. O produto geomtrico de Clifford. Como defini-lo a partir da aritmtica e da geometria conjuntamente.

No captulo 4 vimos que o mdulo de um vetor pode ser encontrado diretamente a partir da

vv = v1v1 e1 e1 + v2v2 e2 e2 + v1v2 e1 e2 + v2v1 e2 e1 = v

geometria, atravs, por exemplo, do teorema de Pitgoras se consideramos a geometria euclidiana ortogonal. Mas tambm podemos definir o mdulo de um nmero real a a partir da aritmtica, atravs da equao a = aa , j que uma raiz quadrada, por definio, sempre fornece um nmero no-negativo... Ora, como um k-vetor tambm pode ser escrito por uma expresso algbrica, poderamos pensar em definir um produto de vetores tal que a expresso vv permita encontrar o mdulo do k-vetor v . Uma vez que o mdulo do k-vetor pode ser encontrado a partir da geometria, o produto vv pode ser determinado. Em resumo, procuramos por um produto com a propriedade de que o quadrado de um
k-vetor seja igual ao quadrado de seu mdulo.

Mas como a partir da geometria euclidiana temos: v = v12 + v22 , obtemos:

v1v1 e1 e1 + v2v2 e2 e2 + v1v2 e1 e2 + v2v1 e2 e1 = v12 + v22
2

Observe que neste ponto que

a geometria

interfere na definio do produto geomtrico. Para garantir a igualdade da equao acima, devemos impor algumas relaes entre os versores que figuram em cada termo. So estas relaes que determinam o produto geomtrico na geometria considerada, veremos agora como determinar tais relaes. Admitindo a relao e1 e1 = e2 e2 = 1 , os dois primeiros termos v1v1 e1 e1 + v2v2 e2 e2 j fornecem o quadrado do mdulo do vetor v , logo, isso leva relao v1v2 e1 e2 + v2v1 e2 e1 = 0 . Mas veja que esta soma pode se anular por dois modos distintos: Poderamos simplesmente considerar que o produto geomtrico fosse uma operao comutativa, e admitir as relaes e1 e2 = e2 e1 = 0 , que de fato tornam nula a

Como em cada geometria h uma expresso diferente que define o mdulo de um k-vetor, decorre as regras para multiplicar k-vetores sero diferentes em cada geometria. Vamos considerar aqui (a menos que se diga explicitamente o contrrio) uma geometria

equao mais acima. Esta hiptese foi admitida por Gibbs e Heaviside, mas infelizmente, o produto vetorial assim definido resulta sempre em uma quantidade escalar e, portanto, leva a uma estrutura pobre, pois nem sempre uma grandeza fsica que resulte de um produto vetorial se comporta como um escalar. Para contornar o problema, Gibbs tem de admitir um outro tipo de produto vetorial para dar conta destes fatos (vide 14), logo, no uma boa escolha. Uma forma alternativa pode, felizmente, ser admitida abrindo mo da comutatividade do produto geomtrico. obter Podemos colocar em evidncia os

7. O produto geomtrico de vetores e suas propriedades.

Comecemos com o produto geomtrico de dois vetores v e w , escritos em um sistema bidimensional para simplificar. Temos:

vw = (v1 e1 + v2 e2 )(w1 e1 + w2 e2 )
Desenvolvendo por distributiva, obtemos:

vw = v1w1 e1 e1 + v2w 2 e2 e2 + v1w 2 e1 e2 + v2w1 e2 e1

Aplicando agora as relaes obtidas no captulo anterior, encontramos diretamente:

coeficientes da equao v1v2 e1 e2 + v2v1 e2 e1 = 0 , para

v1v2 (e1 e2 + e2 e1 ) = 0 , que basta

ento

percebemos a relao

claramente

admitir

e1 e2 + e2 e1 = 0 , ou seja, que (e1 e2 ) = (e2 e1 ) , para atingir o objetivo proposto. Tal escolha foi formulada por W. Clifford antes mesmo de Gibbs e Heaviside, e muito mais rica que a anterior, pois que com ela no necessrio admitir outro produto vetorial para dar conta de todos os casos, conforme veremos. Vale ressaltar que no h nada nas equaes que indique, a priori, que o produto de vetores seja uma operao comutativa, admitir isso seria arbitrrio e pior, inevitavelmente nos conduziria a contradies em nossas operaes. Generalizando estes argumentos para sistemas
n-dimensionais, encontramos, portanto, as seguintes

vw = (v1w1 + v2w 2 ) + (v1w 2 v2w1 ) e1 e2

Onde foi feito uso da propriedade

e1 e2 = (e2 e1 ) no ltimo termo.

Vamos analisar o resultado obtido: o primeiro termo da equao resultante corresponde a um escalar, pois no contm versores. Este termo justamente o produto vetorial que tinha sido definido outrora por Gibbs e Heaviside, (ou seja, caso postulssemos arbitrariamente que o produto de vetores fosse uma operao comutativa). Por questes histricas, este termo comumente chamado de produto de GibbsHeaviside e geralmente representado por v w .

relaes

que

definem

produto

geomtrico

na

geometria euclidiana ortogonal. So elas: (a) e i ei = 1

ei e j + e j ei = 0

Aqui, vamos cham-lo de produto interno, ou s vezes de contrao de w por v , uma vez que tal produto diminui a grade dos vetores originais. Para evitar confuses com o produto numrico, vamos representlo por
v w . O seu valor tambm pode ser

(b )

determinado

atravs

de

conceitos

puramente

Esta ltima expresso tambm pode ser escrita como

geomtricos, apenas com os valores dos mdulos dos vetores v e w e do ngulo vw formado entre eles. Por geometria, o produto interno pode ser definido pela equao:
v w = (v1w1 + v2w 2 ) = v w cos vw

(ei e j ) = ( e jei ) .

Substituindo estas relaes na

equao

vv , obtemos imediatamente o mdulo do

vetor conforme o esperado (confira!). No prximo captulo vamos demonstrar como utilizar estas relaes para efetuar o produto geomtrico de vetores.

Passamos agora para o segundo termo do produto geomtrico, qual seja, (v1w 2 v2w1 ) e1 e2 . Este

termo, equivalente ao que, outrora, tinha sido definido por Grassmann, sendo assim comumente chamado de produto de Grassmann; aqui vamos cham-lo de produto externo, ou, esporadicamente, de expanso de w por v . Ele comumente representado por v w , e ser deste modo que vamos representlo. O produto externo de dois vetores resulta num bivetor. Facilmente podemos se convencer que o

vw
Produto de Clifford

vw
Produto de Gibbs-Heaviside

vw
Produto de Grassmann

A generalizao para um sistema n-dimensional direta: os produtos interno e externo so definidos neste sistema respectivamente por:

v w = v1w1 + v2w 2 + vnw n

termo (v1w 2 v2w1 ) e1 e2 trata-se de um bivetor. Por exemplo, se substitussemos o formalismo analtico por um formalismo puramente geomtrico, ou seja, se escrevssemos (v1w 2 v2w1 ) atravs do mdulo dos vetores v e w do ngulo vw formado entre eles, chegaramos a seguinte relao:

v w = (v iw j v jw i ) ei e j
1,2

m ,n

A partir da definio de produto geomtrico de vetores, facilmente podemos verificar vrias relaes, vamos verificar algumas delas: Os produtos interno e externo podem ser definidos dentro da lgebra geomtrica de uma forma bem simples atravs das relaes:

v w = (v1w 2 v2w1 ) = v w sen vw Ora, a equao acima define a rea de um paralelogramo de lados v e w , e cujo ngulo obtuso igual a vw , assim, o produto externo est

vw =

naturalmente associado a fragmentos de plano e no a segmentos de reta, logo no pode ser um vetor. Tambm no pode ser um escalar pois os versores e1 e2 lhe garantem caractersticas vetoriais, orientando-o segundo o sentido anti-horrio, ou horrio. Isto tudo nos leva, inevitavelmente, a associar-lhe uma natureza bivetorial. Observe ainda que o conjunto de versores ei e j se comporta de forma anloga base eij dos bivetores, logo, podemos tom-los como equivalentes e escrever
Prova:

vw + wv ; 2
considere

vw =

vw wv 2 v
e

dois

vetores

w.

Realizando o produto de v por w , nesta ordem, encontramos vw = v w + v w , do mesmo modo, se realizarmos o produto de

por

vamos ter

wv = w v + w v , mas, lembrando que o produto

interno comutativo (pois o seu resultado um escalar) e o externo anti-comutativo (pois resulta em um bivetor), tambm podemos escrever

wv = v w v w e assim, somando-se os produtos vw e wv

e dividindo por dois, encontramos as relaes apresentadas acima. O ngulo entre dois vetores tambm pode ser encontrado
tan =

(e12 e1 e2 ), ( e13 e1 e3 ), ( emn em en )

Do que foi dito at aqui, conclui-se o seguinte: o produto geomtrico de dois vetores resulta em um multivetor contendo um 0-vetor mais um 2-vetor. Tal produto foi definido por Clifford, (embora haja indcios de que Grassmann tenha chegado a esta relao independentemente, referindo-se ao produto central de dois vetores, conforme comentado em [3] e
[6]). Podemos mesmo escrever o produto de Clifford como uma soma entre o produto de Gibbs-Heaviside e o de Grassmann, conforme abaixo:

atravs
, onde

da
se

seguinte
supe

frmula:
que

vw vw

vw 0,

provm das definies geomtricas dos produtos interno e externo. Em especial, quando dois vetores v e w so paralelos, temos vw = wv , j que o produto externo de dois vetores paralelos nulo, de forma a restar apenas o produto interno que comutativo; j quando eles so ortogonais, temos vw = wv , pois agora quem se anula o produto interno, restando apenas o externo que uma operao anti-comutativa. Tambm podemos verificar a seguinte relao, que

pode ser vista como uma generalizao da relao de Cauchy-Schwarz:

deles, um bivetor forma ei e j . Substituindo nesta equao, teremos:

v w = vw + vw .
Destas propriedades resulta tambm que o quadrado de um vetor ser sempre um nmero real cujo valor corresponde ao quadrado de seu mdulo. Porm, a diviso geomtrica de um vetor por outro nem sempre resulta num escalar (a no ser a diviso de um vetor por ele mesmo que, obviamente, resulta no escalar 1), mas de forma geral, esta diviso tambm resulta em um escalar e um bivetor. Pois, em primeiro lugar, a diviso geomtrica no pode ser escrita como v / w , j que o produto de Clifford no , em geral, uma operao comutativa, de forma que temos duas divises, a saber, uma pela esquerda

e i e j = e i e j e i e j = ( e i e i e j e j ) = 1 Obtemos um nmero imaginrio! Mas o mdulo, por definio, deve ser um nmero real e no-negativo, logo, a expresso v = vv no geral e deve ser substituda. Esta substituio pode ser feita da seguinte forma: notemos primeiramente que um bivetor no um objeto real, mas imaginrio, pois o quadrado de seus versores resulta em um nmero negativo. Isto leva a considerar, em principio, que os objetos vetoriais so entidades complexas, no sentido de possurem propriedades semelhante a dos nmeros complexos. Ora, mas o mdulo de um nmero complexo z = a + bi (onde a e b so nmeros reais e
i = 1

(w1 ) v

e outra pela direita v (w1 ) . Para resolv-las

w1

a unidade dos nmeros imaginrios),

z = zz , onde z = a bi

(considerando desde j que w 0 ), devemos definir um vetor-inverso

ww
1 1

realmente no definido pela equao z = zz , mas sim por chamado complexo-conjugado de z . Desta forma, devemos definir o mdulo de um k-vetor pela formula mais geral: v = vv , onde v o chamado conjugado de v e que devemos ainda definir. Por razes que ficaro mais claras no captulo 11, o k-vetor-conjugado v pode ser obtido de v invertendo-se a ordem dos versores presentes em cada um de seus termos, assim, o bivetor ei e j ter como conjugado o bivetor e j ei . Provaremos posteriormente que numa geometria euclidiana (onde vetores e escalares so considerados objetos reais), um k-vetor de propriedades reais no altera o seu sinal quando invertemos a ordem de seus versores dizemos que eles so simtricos mas, se ele possuir propriedades imaginrias, ento o seu sinal se inverte, assim, o produto vv , em qualquer caso, ser sempre um nmero real e nos fornecer o quadrado do mdulo de um k-vetor. Feitas estas consideraes, podemos verificar como se efetua o produto entre k-vetores. Vamos, para fixar as idias, relembrar a definio geral do produto geomtrico de Clifford:

tal que sempre se tenha

= w w = 1 . Por uma simples anlise, podemos

concluir que o vetor inverso pode ser obtido pela equao: w1 =

w w
2

, ou seja, o inverso de um vetor

o prprio vetor dividido pelo quadrado de seu mdulo.

Com estas definies, podemos finalmente escrever:

vw

vw w
2

w v=

wv w
2

Outras propriedades do produto geomtrico sero discutidas em momentos oportunos.

8.

Generalizao

para

produto

geomtrico de k-vetores
Conseguimos definir um produto vetorial

admitindo que a relao v = vv fornece o mdulo de um vetor. Ser que esta relao pode ser utilizada para um k-vetor qualquer? Para verificar isto, vamos utilizar a equao

vv para encontrar o mdulo de

um bivetor, tomemos como exemplo o mais simples

O produto geomtrico entre dois k-vetores uma operao no-comutativa onde cada componente do primeiro k-vetor multiplica todas as componentes do segundo por distributiva, gerando assim um multivetor. As relaes entre versores que definem o produto geomtrico dependem da geometria em questo e so deduzidas pela condio de que o quadrado de um k-vetor sempre fornea o quadrado de seu mdulo. O que ocorre na prtica o seguinte: ao desenvolver a distributiva, alguns termos podem aparecer com versores repetidos. Admitindo uma geometria euclidiana ortogonal, podemos cancelar estes versores repetidos utilizando a relao ei ei = 1 , caso eles estejam um do lado do outro. Se eles no estiverem lado a lado, ento devemos permutar (i.e.,

demonstrado, o que implica numa reduo na grade de alguns termos. Prova-se facilmente que o multivetor resultante possuir termos cuja grade varia de p q at p + q e aumentam sempre de duas em duas unidades a partir de p q (dizemos que o produto geomtrico uma operao graduada em duas unidades), ou seja, as grades possveis que os termos do multivetor resultante podem apresentar so somente as seguintes:

(p q ), ( p q + 2), (p q + 4), , (p + q )

A prova dada a seguir: seja

(e e

i j

ep

os

versores presentes nos termos do primeiro k-vetor, de grade p, e

(e e

l m

eq

os versores presentes nos

termos do segundo k-vetor, de grade q , onde p > q . Aps a distributiva, todos os termos possuiro versores reunidos na forma ei e j ep el em eq , neste conjunto, pode acontecer uma das trs possibilidades: a) no h versores repetidos, logo a grade do termo fica sendo igual a p + q ; b) todos os versores provenientes do segundo vetor so iguais aos versores provenientes do primeiro, logo, como os versores iguais se cancelam, teremos um termo com grade igual p q ; c) apenas alguns versores se repetem, logo, para cada par de versores repetidos, a grade do termo resultante fica diminuda de duas unidades a partir de p + q . E est provado. oportuno comentar tambm que o produto geomtrico de um escalar por um vetor qualquer resulta em outro vetor de mesma grade do anterior, cujos termos devido distributiva ficam todos eles multiplicados por este escalar. Observe que este fato natural na lgebra geomtrica, no necessitando de ser postulado. Como j foi dito, somente quando os vetores v e

trocar de lugar) dois versores entre si, utilizando para tal a relao (ei e j ) = ( e jei ) a cada permutao, para coloc-los lado a lado e, logo aps, cancel-los pela relao anterior. Por exemplo, no termo ei ei e j ek ei e j , podemos cancelar de pronto os versores ei ei , mas devemos permutar
ek com e j a fim de se obter

( e j e jei ek ) e cancelar e j e j , com o que, o termo

resultante fica sendo ( ei ek ) . Aps resultante estes pode cancelamentos, ter uma cada termo diferente grade

(correspondente ao nmero de versores que restaram), e ento podemos agrup-los em um termo escalar, outro vetorial, outro bivetorial, etc., obtendo assim um multivetor. Portanto, o produto geomtrico de kvetores resulta em um multivetor. somente no caso do produto geomtrico de dois vetores que o multivetor resultante ser formado por um escalar e um bivetor. Em qualquer outro caso, encontraremos objetos vetoriais de outras grades, o que no difcil de entender: considere dois k-vetores de grades principio,

p
ter

q p q

respectivamente, o produto componentes, devido

so

unidimensionais

podemos

escrever

geomtrico deles resultar em um objeto que, a distributiva. Como cada termo composto pelos versores do primeiro k-vetor mais os do segundo, os termos resultantes devero ter, em uma primeira abordagem, grade igual a p + q . Porm, sempre possvel cancelar os versores iguais, conforme

vw = v w + v w , no caso mais geral, os produtos

interno e externo fornecem apenas os k-vetores de maior e menor grade do multivetor resultante, todavia, podemos definir um produto v w que chamaremos de contrao de w por v como representando a soma de todos os k-vetores resultantes do produto geomtrico cuja grade seja menor ou igual

a do primeiro vetor, e tambm definir outro produto

Conclumos, por conseguinte, que o produto geomtrico entre um vetor e um bivetor resulta no multivetor M 1,3 = a1 e1 + a2 e2 + a 3 e3 + a123 e1 e2 e3 , onde os coeficientes so dados pela equao mais acima. A demonstrao de outros produtos geomtricos fica a cargo do leitor. evidente tambm que o produto geomtrico de multivetores pode ser efetuado de forma semelhante, uma vez que estes objetos tambm podem ser escritos por expresses algbricas. Para finalizar este captulo, vamos apresentar as propriedades do produto geomtrico na geometria euclidiana: o produto geomtrico de dois k-vetores uma operao no-comutativa uv vu , mas porm associativa: u (vw ) = (uv) w ; a todo k-vetor u de mdulo no-nulo podemos encontrar um k-vetor
inverso u 1 tal que u 1u = uu1 = 1 , e este k-vetor

v w que chamaremos de expanso de w por v como representando a soma de todos os k-vetores resultantes cuja grade seja maior que a do primeiro vetor, pois assim, podemos escrever o produto geomtrico destes k-vetores de uma forma mais familiar: vw = v w + v w . A ttulo de exemplo e para esclarecer o que foi dito, ser demonstrado o procedimento a ser realizado para se efetuar o produto geomtrico entre um vetor e um bivetor, no sistema tridimensional. Esta demonstrao servir de paradigma para outros casos. Primeiramente, vamos escrever os dois vetores v e w atravs de suas componentes: v = v1 e1 + v2 e2 + v 3 e3 w = w12 e1 e2 + w13 e1 e3 + w 23 e2 e3 . E ento o produto geomtrico de v por w se escreve:

obtido por u 1 = u* / u ; existe um nico elemento neutro para esta operao e corresponde ao escalar 1 ; finalmente, tambm vlida as propriedades distributivas sobre a adio u (v + w ) = uv + uw e (v + w) u = vu + wu .

(v1e1 + v2 e2 + v3 e3 )(w12 e1 e2 + w13 e1e3 + w23 e2 e3 )

9. Um formalismo matricial para a

Realizando a distributiva, teremos:

lgebra geomtrica.
Nos captulos anteriores, a lgebra geomtrica foi explorada atravs de expresses algbricas, onde aprendemos como somar, multiplicar e dividir kvetores e multivetores. Entretanto, estas operaes so

v1w12 e1 e1 e2 + v1w13 e1 e1 e3 + v1w23 e1 e2 e3 + v2w12 e2 e1 e2 + v2w13 e2 e1 e3 + v2w 23 e2 e2 e3 + v 3w12 e3 e1 e2 + v 3w13 e3 e1 e3 + v3w23 e3 e2 e3

Utilizando as relaes

(ei e j ) = ( e jei )

por muitas vezes bem trabalhosas e complicadas, sobretudo porque geram expresses com vrios termos e com um acmulo considervel de versores, o que poderia levar o estudante menos atento a possveis erros de clculo. Temos aqui uma situao parecida com a que havia no sculo XIX quando os matemticos estudavam sistemas lineares de muitas

(ei ei ) = 1 para simplificar cada termo, obtemos:

v1w12 e2 + v1w13 e3 + v1w23 e1 e2 e3
v2w12 e1 v2w13 e1 e2 e3 + v2w23 e3 + v 3w12 e1 e2 e3 v 3w13 e1 v 3w 23 e2

Por fim, agrupando os termos de mesma grade, finalmente encontramos:

equaes, l tambm os clculos eram dificultados pelo grande nmero de expresses e pelo acmulo de smbolos repetidos. Felizmente, com o advento do clculo matricial e da teoria dos determinantes, foi possvel representar tais sistemas de uma maneira mais prtica e eficiente: utilizando matrizes cujas linhas representavam as equaes e cujas colunas

( v w + (v w
2 1

12

v3w13 e1 + (v1w12 v 3w 23 ) e2 + (v1w13 + v2w23 ) e3 v2w13 + v 3w12 e1 e2 e3

23

representavam as variveis das equaes, sendo os seus elementos os coeficientes que acompanham as variveis. Essa representao possibilitou trabalhar apenas com os coeficientes das variveis, simplificando sobremaneira os clculos. Isto nos leva a perguntar se no seria possvel encontrar uma representao matricial para a lgebra geomtrica onde se possa trabalhar apenas com os coeficientes dos multivetores (ou k-vetores), obtendo assim uma maior praticidade e agilidade nos clculos. Neste captulo veremos como isso pode ser feito. O formalismo que ser apresentado no

A soma de dois multivetores W e V pode ser encontrada somando-se os elementos situados em linhas iguais, pois que a soma geomtrica definida pela soma das respectivas componentes dos multivetores, logo, temos: w 0 v0 w 0 + v0 u0 w v w + v u 1 1 1 1 + = 1 W + V = w v = = U 2 2 w 2 + v2 u 2 w v 12 12 w12 + v12 u12 Veremos agora como definir o produto de Clifford em termos matriciais operao bem mais complicada que a anterior. Pela estrutura que foi dada a essas matrizes, evidente que esta operao no pode ser o produto matricial usual, de fato, tal produto nem definido para todas as matrizes-coluna, logo, procuramos por um outro produto. Este produto pode ser encontrado, primeiramente, efetuando a distributiva nas componentes dos multivetores e, em seguida, reunindo os termos pertencente a uma mesma componente do multivetor resultante, onde ento poderemos representar cada uma destas componentes por uma linha da matriz-coluna resultante. Desta forma, o produto geomtrico entre dois multivetores W e V , descritos num sistema bidimensional, pode ser escrito como: w 0 v 0 w 0v 0 + w1v1 + w 2v2 w12v12 u 0 w v w v + w v w v + w v u 1 1 0 1 1 0 2 12 12 2 = = 1 w v w v + w v + w v w v u 2 2 0 2 1 12 2 0 12 1 2 w v 12 12 w 0v12 + w1v2 w2v1 + w12v 0 u12 Observe que a primeira linha possui todos os termos escalares do multivetor resultante, enquanto que a segunda e a terceira linha representam as suas componentes vetoriais, e A a ltima linha, que as os

acrescenta nada de novo lgebra geomtrica, apenas uma nova representao, porm mais prtica e econmica. apenas Vamos admitir no desenrolar dos argumentos um sistema bidimensional euclidiano, para simplificar. Basicamente, vamos representar multivetores por matrizes-coluna, onde a cada linha da matriz associada a uma componente do multivetor. Ora, vimos no captulo 5 que um multivetor pode ser escrito em um sistema bidimensional por uma expresso algbrica da forma

M = m 0 + m1 e1 + m2 e2 + m12 e1 e2 , onde verificamos de

imediato que ele possui quatro componentes e, por conseguinte, devemos represent-lo neste formalismo por uma matriz-coluna de quatro linhas, cujos elementos sejam os coeficientes das suas respectivas componentes. Observe tambm que escalares, vetores, bivetores etc, so multivetores incompletos, pois estes so obtidos fazendo nulas algumas componentes especficas do multivetor, logo, tambm podem ser representados pelas mesmas matrizes que utilizamos para representar multivetores, basta tornar nulos alguns de seus elementos. Assim, para o sistema bidimensional, temos:

m 0 0 0 m 1 m = m = m 0 2 0 0 escalar vetor

0 0 m= 0 m 12 bivetor

m0 m 1 M = m 2 m 12 multivetor

componentes bivetoriais.

ordem com

elementos de uma mesma linha esto dispostos arbitrria, contudo, vamos adotar a ordenao acima porque ela parece ser a mais simples e, nesta ordenao, poderemos obter tais termos de uma forma bem simples, considerando cada termo como se fosse um elemento de uma matriz 4 4 .

Podemos verificar agora como as operaes da lgebra geomtrica podem ser efetuadas neste formalismo.

Esta ordenao foi escolhida de forma a apresentar em cada coluna os elementos da primeira matriz, em ordem crescente, sendo eles repetidos em todas as linhas. Assim, para encontrar os termos de uma determinada linha, basta verificar quais elementos de V (segunda matriz) devem multiplicar os de W (primeira matriz) para que cada termo pertena quela linha, uma tarefa simples que pode ser realizada anulando mentalmente os ndices repetidos, j que os versores ocultos nesta representao estariam na mesma ordem destes ndices. O sinal que acompanha estes termos tambm pode ser encontrado de forma anloga: podemos permutar mentalmente os ndices com o objetivo de coloc-los em ordem crescente, lembrando de inverter o seu sinal a cada permutao. Vrias dicas podem ser percebidas se tomarmos a ordenao referida, por exemplo, os elementos de V que figuram em uma certa linha da matriz resultante so os mesmos que figuram na coluna respectiva a esta linha, e na mesma ordem, (e.g., os elementos

maiores, pois que o nmero de componentes de um multivetor em um sistema n-dimensional, conforme j comentado, dado por 2n e conseqentemente a matriz resultante do produto geomtrico teria 4n termos. Todavia, seria mais difcil ainda realizar estes produtos pelo mtodo algbrico... O interessante deste formalismo que ele releva a propriedade de completude da lgebra geomtrica. Quando realizamos um produto geomtrico entre dois vetores, o resultado no outro vetor, conforme vimos, um escalar mais um bivetor; isso poderia levar o leitor a pensar que a lgebra geomtrica no uma lgebra fechada, no sentido de que necessrio introduzir novos objetos para satisfazer suas propriedades. Porm, isso naturalmente superado quando se introduz o conjunto M dos multivetores, onde qualquer k-vetor passa a ser um elemento de certo subconjunto dele. Com esta definio, qualquer operao da lgebra geomtrica efetuada sobre multivetores e o resultado sempre um outro multivetor, constituindo portanto uma lgebra fechada no sentido apresentado mais acima. Isto no fica bem claro na representao algbrica, mas fica completamente evidente nesta representao matricial.

(v2 , v12 , v0 , v1 ) que figuram na terceira linha tambm

aparecem na terceira coluna da matriz resultante e na mesma ordem); temos tambm que na diagonal principal sempre encontraremos o primeiro elemento da matriz V , enquanto que na diagonal secundria, sempre estar o ltimo elemento de V . Vrias outras curiosidades podem ser encontradas tomando-se esta ordenao, procedimento que nos fornece um modo rpido de se realizar o produto geomtrico de dois multivetores. Todas as operaes da lgebra geomtrica podem ser efetuadas desta forma mais prtica, e como exemplo, abaixo realizamos o produto entre dois vetores no sistema bidimensional, onde obtemos diretamente o escalar e o bivetor que compe o multivetor resultante:

10.

lgebra

geomtrica

para

sistemas vetoriais oblquos.

Todas as propriedades e exemplos vistos at agora so vlidos para uma geometria euclidiana e ortogonal, ou seja, tnhamos considerado que o sistema vetorial empregado possua eixos ortogonais entre si este sistema, no presente captulo, ser chamado de sistema cartesiano. Como exemplo de como o produto geomtrico depende da geometria utilizada, vamos deduzir as suas relaes fundamentais em uma geometria euclidiana mas no ortogonal (i.e., onde graduaes dos eixos so constantes mas o ngulo entre eles no reto), a que chamaremos de sistema no-cartesiano. Este tpico importante porque, em alguns casos, as coisas ficam bem mais simples quando so descritas em um sistema no-cartesiano, isso ocorre, por exemplo, na

0 0 0 w1v1 w2v2 w v 0 1 1 0 0 = w v 2 2 0 0 0 0 0 0 w v w v 1 2 2 1 Se tivssemos considerado

0 u0 0 0 = 0 0 0 u12 um sistema n-

dimensional ao invs do utilizado neste exemplo, as matrizes que representam os multivetores seriam

formulao geomtrica da teoria da relatividade, quando se utiliza o formalismo de Minkowski... Por amor a simplicidade, vamos nos restringir a sistemas bidimensionais, isto no prejudicar em nada o desenrolar dos conceitos, uma vez que a generalizao para sistemas n-dimensionais pode ser alcanada sem grandes dificuldades, bastando aplicar as relaes que sero demonstradas a cada plano do sistema.

duas projees sempre coincidem: a projeo de um vetor tanto ortogonal aos eixos em que se projeta quanto paralela aos outros eixos... Analisando a figura 6, facilmente percebemos que as componentes ortogonais do vetor v so obtidas pelas equaes:

v1 = v cos 1 ;

v2 = v cos 2 .

Agora, quanto as componentes paralelas, faz-se necessrio perceber que elas dependem tambm do
X2

ngulo entre os eixos do prprio sistema, que o caracteriza como no-cartesiano. Isto evidente, pois, se cada projeo paralela obtida por uma reta paralela em relao ao outro eixo, ento obvio que o seu valor depender da direo dos eixos do sistema... Conseqentemente, cada componente paralela

v2 v2 2 1

depender do valor das outras componentes paralelas. Analisando a figura anterior, podemos verificar que as componentes paralelas do vetor v so dadas por:

v1

v1

X1

v1 = v cos 1 v2 cos ;
Figura 6: Sistema de coordenadas no-cartesiano

v2 = v cos 2 v1 cos .
Uma interessante propriedade dos sistemas nocartesianos a seguinte: um vetor pode ser projetado nos seus eixos de duas formas diferentes: podemos projet-lo atravs de retas ortogonais aos eixos que chamaremos por componentes ortogonais e as representaremos por setas sobrescritas apontando para esquerda bem como podemos projet-los por retas paralelas aos outros eixos que as chamaremos de componentes paralelas e as representaremos por setas sobrescritas apontando para direita. A figura 6 ilustra bem essa possibilidade. Observe que as componentes v1 e v2 foram projetadas atravs de retas paralelas ao outro eixo, enquanto que as componentes v1 e v2 so projetadas atravs retas ortogonais em relao eixo que se projeta. Comumente estas projees so chamadas de componentes respectivamente, nomenclatura contravariantes mas no afinal, porque, e elas covariantes, esta no oferecem adotaremos

fcil perceber que, se o ngulo fosse reto, teramos

cos = 0 ,

voltaramos

equaes

definidas para os sistemas cartesianos. oportuno notar tambm que o primeiro termo desta equao justamente a componente ortogonal do vetor no prprio eixo. Isso permite transformar componentes ortogonais em paralelas, e vice-versa, atravs das relaes: v1 = v1 + v2 cos v2 = v2 + v1 cos

O mdulo de um vetor tambm pode ser descrito atravs de suas componentes ortogonais, paralelas ou mistas (i.e., atravs de uma coordenada paralela e outra ortogonal). Apresentaremos aqui apenas a obtida pelas componentes paralelas, as outras podem ser facilmente encontradas utilizando as reaes dadas mais acima. Desta forma temos:

nenhuma clareza sobre como estas projees so obtidas. Observe que num sistema cartesiano estas

v =

v1 + v2 + 2 v1 v2 cos

E obtemos:

fazendo

as e

substituies

seguintes:

e1 e2 = e1 e2 + e1 e2

e2 e1 = e2 e1 + e2 e1 ,

fcil verificar tambm que a soma de dois kvetores num sistema no-cartesiano segue as mesmas regras que so definidas para um sistema cartesiano: somam-se os coeficientes respectivos dos dois kvetores; tanto faz se esta soma se estende sobre as componentes ortogonais, paralelas ou mistas. Esta propriedade tambm permite escrever um k-vetor atravs das suas componentes paralelas, ortogonais ou mistas... Para sistemas definir no um produto geomtrico levar em em cartesianos devemos

vw = v1w1 + v2w 2 + v1w 2 (e1 e2 + e1 e2 ) + v2w1 (e2 e1 + e2 e1 )

Aplicando a distributiva nos dois ltimos termos , encontramos:

vw = v1w1 + v2w 2 + v1w 2 (e1 e2 ) + v2w1 ( e2 e1 ) + v1w2 ( e1 e2 ) + v2w1 (e2 e1 )

Por fim, lembrando da comutatividade do produto de Gibbs-Heaviside e da anti-comutatividade do produto de Grassmann, encontramos finalmente:

considerao o ngulo

do sistema efetuando o

produto geomtrico dos versores ei e e j que definem os seus eixos, o qual, a priori, resultar na relao

ei e j = ei e j + ei e j . Esta relao quando descrita

em um sistema cartesiano, onde relaes

ei

ej

so

vw = v1w1 + v2w 2 + (v1w 2 + v2w1 ) e1 e2 + + (v1w 2 v2w1 ) e1 e2

Vemos assim que o produto geomtrico aplicado a sistemas A no euclidianos deste fica acrescido para da um quantidade (v1w 2 + v2w1 ) (e1 e2 ) . generalizao resultado sistema n-dimensional se faz simplesmente com:

ortogonais, resultam imediatamente nas j corriqueiras

e i ei = 1

ei e j + e j ei = 0 , mas no caso

presente isso no ocorre. De fato, como ei e e j no so mais ortogonais, o produto ei e j no ser mais nulo, de forma que teremos as relaes: e i ei = e j e j = 1

e i e j + e j ei = 2 ( ei e j )

fcil verificar que, se o sistema vetorial fosse ortogonal, voltaramos s relaes anteriores. Com estas novas relaes podemos encontrar o produto de vetores simplesmente efetuando a distributiva e aplicando as regras recm definidas. Sejam v e w dois vetores descritos num sistema bidimensional no-cartesiano. Desenvolvendo o produto geomtrico por distributiva, encontramos:

vw =

v w (e
i j 1

e j ) + (v iw j v jw i ) ei e j
1

Onde agora a somatria se estende a qualquer i ou j, com i j , de 1 a n. Podemos chamar a quantidade

v w (e
i j 1

ej )

de produto interno no-cartesiano, e represent-lo por

v w . Isto se justifica, pois que uma quantidade

vw = (v1 e1 + v2 e2 )(w1 e1 + w2 e2 ) vw = v1w1 e1 e1 + v2w 2 e2 e2 + v1w 2 e1 e2 + v2w1 e2 e1

Aplicando a propriedade ei ei = 1 , temos:

escalar e, se o sistema fosse euclidiano, ento ele tornar-se-ia o produto interno usual. Este termo , portanto, uma generalizao do produto interno para sistemas no cartesianos, da mesma forma como a lei dos co-senos uma generalizao do teorema de Pitgoras para tringulos no retngulos. Com esta definio podemos escrever, para o produto geomtrico de dois 1-vetores num cartesiano: vw = v sistema euclidiano no-

vw = v1w1 + v2w 2 + v1w 2 e1 e2 + v2w1 e2 e1

w + v w.

 interessante notar que mesmo num sistema no-cartesiano, o produto de dois vetores resulta em um multivetor, formado por um escalar mais um bivetor.

(ei e j ) (ei e j ) (ei e j ) (ei e j )

= ei e j = e i e j e i e j = ( e i e i e j e j ) = 1 = ei e j ei e j ei e j = ( e i e i ei e j e j e j ) = ( e i e j ) = e i e j ei e j ei e j ei e j = ( ei e i ei ei e j e j e j e j ) = 1

11. Relao entre a lgebra geomtrica e a lgebra dos nmeros complexos

Vamos investigar agora as relaes existentes entre a lgebra geomtrica e a lgebra dos nmeros complexos. Veremos que os objetos vetoriais tm muitas semelhanas com os nmeros complexos...

Os valores alternam-se agora entre ei e j , 1 , ( ei e j ) e 1 . Ora, isto anlogo ao que ocorre com o nmero imaginrio i = 1 (substitua ei e j por i e confira), logo, podemos dizer que os bivetores se comportam como objetos imaginrios perante estas mesmas operaes. Tal resultado indica que a lgebra geomtrica constitua uma generalizao da lgebra dos nmeros complexos... O carter real ou imaginrio de um k-vetor depende exclusivamente de sua grade. Matematicamente, se k a sua grade, podemos saber se ele possui caractersticas imaginrias ou reais pela equao (1)
k (k 1) / 2

Podemos classificar um k-vetor v em duas

classes distintas, de acordo com o resultado do

produto vv . Vimos que o quadrado de um k-vetor sempre um escalar, assim, se o produto vv for um nmero positivo, ento o vetor v dito real, se o resultado for um nmero negativo, ele dito
imaginrio. Neste sentido, um multivetor ser em

, caso o resultado seja igual a 1 , a 1 , o

ento o k-vetor ter caractersticas reais e caso o resultado seja igual

geral um objeto complexo. Tambm podemos verificar qual a classe que um k-vetor pertence analisando como se comporta os seus versores quando eles so elevados s potencias 1, 2, 3 e 4. Por exemplo, os versores de um vetor genrico so todos da forma ei , elevando-os a estas quatro potncias, utilizando a propriedade ei ei = 1 , encontramos:

k-vetor
que

ter os

caractersticas

imaginrias.

Considerando

escalares so sempre objetos reais, temos que vetores tambm sero, j bivetores e trivetores sero do tipo imaginrio, e assim por diante, alternando sempre de duas em duas unidades. Tambm podemos saber se um objeto vetorial tem caractersticas reais ou imaginrias atravs da simetria de seus versores: admitindo uma geometria

( e i ) = ei (ei ) = ei ei = 1
2

( e i ) = ei ei e i = ei ( e i ) = ei ei ei ei = 1
4

euclidiana, ento se o conjunto de versores que caracteriza um k-vetor for simtrico, isto , se tivermos

(e1 e2 ep ) = (ep e2 e1 ) , pode-se inferir (e1e2 ep ) = (ep e2 e1 ) ,

que

Observe que os valores alternam-se em ei e 1 . Isto anlogo ao que ocorre com o nmero real 1 (substitua ei por 1 e confira), logo, podemos dizer que vetores se comportam como objetos reais perante a estas operaes. Vamos analisar agora o que ocorre com os bivetores, cujos versores so da forma ei e j . Utilizando a relao
e i e j = ( e j ei )

ele ser do tipo real e se este conjunto for antisimtrico, ou seja, ento ele ser do tipo imaginrio. Isto pode ser confrontado permutando-se os versores at inverter a sua ordem, lembrando-se de inverter o sinal a cada permutao. Agora podemos relacionar a operao conjugao geomtrica com a simetria do k-vetor. O conjugado v de um k-vetor v , por definio, o prprio k-vetor caso ele seja real e o k-vetor oposto caso seja imaginrio. Assim, em qualquer caso, o conjugado de um

e i ei = 1 ,

vamos,

novamente, elev-los a estas quatro potncias e analisar o resultado:

k-vetor

pode

ser

encontrado

invertendo-se a ordem dos seus ndices.

Este conceito de simetria de um k-vetor (e tambm de um sistema vetorial) ser amplamente utilizado no prximo captulo, quando definirmos uma operao chamada dualidade... Vale pena comentar que o carter real ou imaginrio dos objetos vetoriais implica em diversas propriedades. Para verificar estas propriedades, vamos escrever o produto de Clifford em funo dos mdulos dos vetores e do ngulo que eles formam entre si. Uma vez que se tem e

Que nos fornece as componentes de v ' em funo de v e . Note que a forma como escrevemos o produto geomtrico em vw = v w (cos + ev ew sen ) semelhante forma polar de um nmero complexo z, onde se tem z = z (cos + i sen ) = z exp (i ) . A nica diferena que no lugar do nmero imaginrio

i temos o biversor ev e w . Todavia, pelo que acabamos

de ver ev e w tambm um objeto imaginrio, de forma que a expresso apresentada pode tambm ser escrita em forma exponencial: vw = v w exp (ev ew ) O produto na ordem inversa pode ser escrito

vw = v w + v w ,

onde

v w = v w cos

v w = v w ev ew sen ,

sendo ev e w versores co-planares a v e a w , ento podemos escrever o produto de Clifford utilizando estas relaes, com o que, obtemos:
vw = v w (cos + ev ew sen )
como wv = v w exp ( ew ev ) . Somando e subtraindo estas duas relaes, e em seguida dividindo por dois, encontramos expresses que definem os produtos interno e externo atravs de exponenciais: e ev ew + e ew ev v w = v w 2 e ev ew e ew ev v w = v w 2

Esta relao bastante prtica para realizar a rotao de um vetor em um plano: considere um espao bidimensional de eixos X1 e X 2 . Seja v um vetor deste espao e v ' o vetor que se obtm de v por uma rotao de um ngulo , e se quer saber quais sero as componentes de v ' aps a rotao. O problema
2

pode

ser

resolvido

de

forma

simples

escrevendo o produto geomtrico vv ' pela equao:

vv ' = v (cos + e1 e2 sen ) , onde lembramos que v = v ' , pois que a rotao preserva o mdulo do vetor girado. Dividindo a expresso por v ou melhor, multiplicando pela esquerda por v1 = v / v encontramos:
v ' = v (cos + e1 e2 sen ) Escrevendo v = v1 e1 + v2 e2 e realizando a
2

12. Dualidade
Conforme vimos anteriormente, o nmero de componentes de um k-vetor depende tanto de sua grade quanto da dimenso do sistema vetorial considerado. Se n a dimenso do sistema, ento o nmero N de componentes de um k-vetor (i.e., de um objeto vetorial de grade k), dado pelo nmero binomial N = n k . H uma propriedade muito interessante dos nmeros binomiais e que vai se revelar bem fortuita para o que se segue que nos diz que o valor do binmio no se altera caso troquemos, na equao acima, k por n k . Em linguagem matemtica, temos a igualdade:

distributiva, obtemos:

v ' = (v1 cos ) e1 + (v1 sen ) e1 e1 e2 + + (v2 cos ) e2 + (v2 sen ) e2 e1 e2 Por fim, utilizando as relaes e1 e1 = 1 e e2 e1 = (e1 e2 ) , vem finalmente: v ' = (v1 cos v2 sen ) e1 + (v2 cos + v1 sen ) e2

k = n

n k

primeiramente definida por Hodge, que aplicou este

Esta identidade, quando interpretada no mbito da lgebra geomtrica, implica na existncia de duas classes de k-vetores que possuem um mesmo nmero de componentes, sendo que este nmero depende apenas da dimenso do sistema empregado. Assim, os k-vetores cujas grades so k e n k possuem o mesmo nmero de componentes dimenso n. Quando determinado exemplo, no duas sistema sistema classes de objetos dizemos vetoriais que eles possuem o mesmo nmero de componentes, em vetorial, constituem um dual no sistema considerado. Por tridimensional possvel descrever desde 0-vetores at 3-vetores, o nmero de componentes de cada uma deles descrito abaixo: no mesmo sistema de

conceito lgebra de Grassmann, mostraremos agora como ela pode ser descrita pela lgebra geomtrica. Comecemos nos perguntando quais as caractersticas que o dual deve possuir. Ora, evidente que o q-vetor dual procurado deve ter mdulo igual ao do p-vetor original, pois, conforme dissemos, ambos devem representar uma mesma grandeza. Resta-nos, portanto, saber qual deve ser a direo e o sentido deste dual. Isto pode ser esclarecido ao perceber que, dado um p-vetor v , dentre uma infinidade de objetos vetoriais de grade q = n p que possuem mesmo mdulo de v , apenas dois deles so ortogonais v . Estes dois q-vetores possuem mesma direo mas sentidos opostos. Assim fica evidente que o p-vetor original pode ser completamente representado por um destes dois q-vetores, bastando

0-vetor 1-vetor 2-vetor 3-vetor

N 0 = n n N1 = N 2 = n N 3 = n

0 = 1 =3 1 =3 2 3 = 1

apenas escolher qual deles. Esta escolha, porm, arbitraria, ou seja, depende apenas de uma mera conveno, uma vez que ambos os q-vetores conseguem, com igual xito, representar o p-vetor v . Veremos daqui a pouco como podemos fazer esta conveno de uma forma bem racional. A questo se resume agora em dizer como podemos transformar um p-vetor no seu dual. Como a operao que procuramos preserva o mdulo do vetor original, esta s pode atuar nos versores do p-vetor, e no nos seus coeficientes, assim, vamos nos reter apenas a estes versores. fcil verificar que cada componente do p-vetor ser formado pela combinao dos versores do sistema, tomados de p a p, logo, o nmero de versores de cada um de seus termos ser justamente igual a sua grade p. J o conjunto que forma a base do sistema ter todos os n versores existentes neste sistema (este conjunto ter grade n) e justamente por isso, se multiplicarmos geometricamente o p-vetor pelos os versores desta base, digamos pela esquerda, ento os versores do pvetor se cancelaro com os versores iguais presentes na base, de tal forma que vamos obter um q-vetor com n p versores, e estes versores sero, todos eles, diferentes, em cada termo, dos existentes no p-vetor original. O fato de os termos do q-vetor resultante possurem n p versores faz com que a grade deste qvetor seja q = n p . O fato de estes versores serem

Observe que escalares e 3-vetores possuem, ambos, apenas uma componente (embora os escalares no sejam dirigidos, podemos pensar em uma componente escalar associando-lhes um 0-versor e0 tal que todo escalar x possa ser expresso como x e0 ), sendo assim, dizemos que, no sistema tridimensional, 3-vetores e 0-vetores formam um dual. Do mesmo modo, 1-vetores e 2-vetores, por apresentarem ambos trs componentes, formam outro dual. Entretanto, deve-se alertar que este resultado s vlido no sistema tridimensional. Em qualquer outro sistema, os pares duais sero diferentes. A importncia de se definir o conceito de dualidade encontra justificativa no fato de que estas propriedades tornam possvel associar a cada p-vetor um certo q-vetor dual (sendo q = n p ), de tal forma que este q-vetor represente, talvez de uma forma mais cmoda, a mesma grandeza representada antes pelo pvetor. Observe que isto s possvel porque os vetores-duais tm o mesmo nmero de componentes. A operao de se transformar um k-vetor no seu dual chama-se dualidade. A dualidade foi

todos diferentes dos anteriores faz com que o q-vetor seja ortogonal ao p-vetor original. Logo, encontramos deste modo o dual do p-vetor. O sentido deste dual depende exclusivamente da ordem com que os versores da base do sistema so dispostos na hora de multiplicarem o p-vetor. Basta convencionar que estes versores sejam dispostos na ordem crescente dos ndices que o sentido do dual fica completamente determinado esta uma forma muito natural de escolher um sentido para a dualidade e por isso ser utilizada aqui.

disto preciso esclarecer algumas particularidades da operao dualidade. Vimos no captulo 11 que um objeto vetorial pode ter caractersticas reais ou imaginrias de acordo com a sua simetria perante uma inverso da ordem de seus versores. Ora, sendo o operador de Hodge um operador vetorial, evidente que ele ser tambm um operador complexo no sentido de que ele pode possuir caractersticas de nmeros reais ou de nmeros imaginrios, dependendo da dimenso do sistema considerado. Isto muito importante, pois se o sistema for um sistema simtrico, ento o produto ser sempre igual a 1, logo, aplicando-o duas vezes sobre um p-vetor v , encontraremos novamente o p-vetor v . Porm, se o sistema for um sistema anti-simtrico, ento o produto ser igual a 1 , e se o aplicarmos duas vezes sobre um p-vetor v , no

Figura 7: Um bivetor e seu dual Portanto, multiplicando um p-vetor (

encontraremos mais este mesmo p-vetor, mas sim o seu oposto v . Em virtude deste fato, para recuperarmos com segurana o p-vetor original, temos de definir um operador de Hodge inverso sempre
1
1

esquerda) pelo conjunto de versores que formam base do sistema e estando estes versores dispostos na ordem crescente dos ndices, encontramos, pois, o seu q-vetor dual. V-se assim, que o conjunto que multiplica o pvetor de fato um operador matemtico, pois atravs dele que efetuamos a operao dualidade. Este operador comumente chamado de operador de Hodge e representado por uma estrela como Logo, temos: .

, de forma que se tenha

do

=1

independentemente

sistema considerado. Este operador pode ser definido como o conjugado do operador de Hodge, ou seja, o mesmo conjunto mas com os versores na ordem oposta. Pois assim fazendo, ao inverter a ordem dos versores do operador de Hodge vamos obter o mesmo operador caso o sistema seja simtrico, mas obteremos o operador oposto (i.e, multiplicado por 1 ) caso o

= ( e1e2 e3 em en )

sistema

seja

anti-simtrico,

portanto

sempre

retornaremos ao p-vetor original. Logo, podemos

O dual de um p-vetor v pode ento ser

encontrado pelo produto geomtrico

definir o operador de Hodge inverso como:

1

v , ou seja: = (en em e3 e2 e1 )

v = ( e1e2 e3 em en ) v
Assim, quando tivermos um q-vetor dual e

Mas, uma vez obtido o q-vetor dual, como poderemos bastaria retornar multiplicar ao
p-vetor

quisermos inverso w=
1

retornar

ao

p-vetor

original

basta

original? o
p-vetor

Numa pelo

multiplic-lo ( esquerda) pelo operador de Hodge , conforme definido acima, ou seja, se

1

primeira abordagem, o leitor poderia supor que novamente operador de Hodge para recuperarmos o vetor original, mas na verdade, o dual do dual de um p-vetor nem
sempre o p-vetor original. Para perceber o porqu

v , ento v =

w.

A dualidade pode ser tambm aplicada a multivetores, neste caso, basta encontrar o dual de cada
k-vetor

que

compe,

ou

seja:

M=

v+

v+

v . Como o produto de dois

ortogonal ao plano formado por v e B , mas, sendo a fora uma grandeza univetorial, ela no pode ser descrita pelo bivetor resultante de tal produto, todavia pode ser descrito pelo seu dual, pois que tem todas as caractersticas necessrias para assim ser representada, logo, podemos definir: Fem =

vetores gera um multivetor, o dual deste produto nos fornece as relao tambm

(vw) = (v w) + (v w) e
operao associativa:

uma

(vw) = ( v) w = v ( w) , propriedade que continua

vlida quando aplicada sobre os produtos interno e externo separadamente. Em especial, vamos estudar a dualidade aplicada ao sistema tridimensional, que um sistema anti-simtrico. Neste sistema possvel descrever desde escalares os at trivetores, abaixo com esto seus relacionados k-vetores originais

(B q v ) .

A dualidade unifica vrias outras reas que antes eram tidas como coisas desanexas. Um exemplo ser dado no prximo captulo.

13. A relao entre os quaternions e a lgebra geomtrica.

respectivos duais:

(1) = e1e2 e3

( e1e2 e3 ) = 1 ( e2e3 ) = e1 ( e3e1 ) = e2 ( e1e2 ) = e3

= ( e1e2 e3 ) . O importante de

Vimos no captulo 11 que os k-vetores, de um modo geral, so objetos complexos, e os classificamos em dois tipos: k-vetores simtricos aqueles que possuem propriedades semelhantes s dos nmeros reais e k-vetores anti-simtricos que possuem propriedades caractersticas de nmeros imaginrios. J no captulo anterior, definimos a operao dualidade, que permite transformar um objeto vetorial

( e1 ) = e2e3 ( e2 ) = e3e1 ( e3 ) = e1e2

Onde temos

de grade p em outro de grade q = n p , em especial, vimos que no sistema tridimensional o dual de um bivetor um vetor, e vice-versa. Atravs destes dois conceitos veremos agora como a lgebra dos quaternions, formulada bem antes por Hamilton, pode ser naturalmente englobada pela lgebra geomtrica. Conforme j comentamos, Hamilton partiu dos trabalhos de Argand e Gauss que formularam o plano complexo, onde um dos eixos deste sistema representava o conjunto imaginrios. Aps vrias tentativas de se generalizar este formalismo para um sistema tridimensional, Hamilton encontrou a soluo ao perceber que o erro estava em tentar associar o conjunto R a um dos eixos. Assim, dever-se-ia associar a cada eixo conjunto de nmeros imaginrios X1, X 2 , X 3 um
K,

se notar que, no sistema tridimensional, o dual de um bivetor um vetor ortogonal ao plano deste bivetor, tal qual est ilustrado na figura 7. Este resultado importante porque h grandezas fsicas que so naturalmente associadas a vetores, mas, so obtidas por um produto geomtrico de outros dois vetores. Como se sabe, este produto gera um bivetor e um escalar, nunca um outro vetor. O aparente problema solucionado ao perceber que o vetor representativo dessas grandezas sempre ortogonal aos vetores que se multiplicam, e possuem o mesmo mdulo do bivetor que resultaria do produto geomtrico dos vetores que o geram, o que permite associ-lo ao dual de um bivetor. Um exemplo clssico onde isso ocorre a fora que atua sobre uma carga eltrica em movimento num campo magntico; demonstra-se experimentalmente que o mdulo desta fora eletromagntica dada por B q v onde B o vetor campo-magntico, acelerado e q
v a velocidade do corpo

dos nmeros reais,

enquanto o outro o conjunto

dos nmeros

I,

respectivamente. Incluindo a estes trs conjuntos imaginrios o conjunto R dos nmeros reais, obtemos o chamado conjunto Q dos quaternions, que pode ser

a sua carga eltrica; tambm se

demonstra que a direo desta fora sempre

entendido como uma generalizao do conjunto C dos nmeros complexos. Um quaternion , portanto, um objeto complexo de quatro componentes, uma real e trs imaginrias (sendo que estas trs formam a parte pura do quaternion). Assim como o elemento 1 o elemento unitrio do conjunto dos nmeros reais, podemos considerar que i , j e k sejam elementos unitrios de seus respectivos conjuntos, o que permite escrever qualquer quaternion q por uma combinao linear destes elementos unitrios, fazendo:

nmeros unitrios i , j e k . Estas regras foram formuladas por Hamilton e so descritas abaixo:

ii = jj = kk = ijk = 1
ij = ( ji ) = k jk = ( kj) = i ki = (ik ) = j
Sendo tambm evidente que o produto do nmero 1 por i , j ou k resulta nos prprios quaternions puros

i, j

ou k . Como exemplo, vamos considerar os dois

q = a1 + bi + c j + d k

r (Pu ) = ri i + rj j + rk k

s (Pu ) = s i i + s j j + s k k . Efetuando o produto deles

por distributiva e utilizando as regras acima, encontramos:

Onde a, b, c e d, so coeficiente reais que diferenciam um quaternion do outro. Observe que para descrever o sistema tridimensional, tomamos apenas a parte pura dos quaternions, ou seja, cada ponto do sistema fica bem determinado por um quaternion puro b i + c j + d k . Definindo-se uma regra para a soma e o produto de quaternions, Hamilton demonstrou que a sua lgebra atendia a todas as operaes matemticas requeridas pela lgebra dos nmeros complexos. Vamos verificar como estas operaes devem ser definidas para satisfazer estas exigncias. A soma de dois quaternions definida de forma semelhante soma de dois vetores (igual tambm adio de nmeros complexos) e uma operao associativa e comutativa. Por exemplo, a soma dos dois quaternions

t = (rs i + rjs j + rks k ) 1 i + (r2s 3 r3s2 ) i + (r3s1 r1s 3 ) j + (r1s2 r2s1 ) k

Caso tivssemos considerado quaternions

completos, um termo adicional apareceria em cada componente resultante. Uma vez definido o produto quaterninico, definimos o mdulo de um quaternion q pela equao

q = qq , onde q = a 1 b i cj d k o chamado conjugado de q . Tambm podemos definir um

2

quaternion inverso para cada quaternion no nulo atravs da equao q 1 = q* / q , de forma que

r = r1 1 + ri i + rj j + rk k

sempre se tenha

q 1q = qq 1 = 1

propriedade

e outro

importantssima dos quaternions. Observe agora como so semelhantes o produto de dois quaternion e aquele entre dois vetores: o primeiro termo do quaternion resultante, que constitui a sua parte real, semelhante ao que se obtm pelo produto interno de dois vetores, com a nica diferena no sinal, que oposto; j o seu segundo membro, correspondente a sua parte pura, semelhante ao que se obtm por um produto externo entre dois vetores. Observe tambm que o produto de dois quaternions puros no gera outro quaternion puro, mas sim um quaternion completo, do mesmo modo que o produto geomtrico de dois vetores no resulta somente em outro vetor...

s = s1 1 + s i i + s j j + s k k ,
quaternion t tal que:

resulta

em

t = (r1 + s1 )1 + (ri + s i ) i + (rj + s j ) j + (rk + s k )k

O produto de dois quaternions tambm efetuado, de certa forma, analogamente ao produto de vetores (e tambm ao produto de nmeros complexos), ou seja, por distributiva. O interessante aqui que de dois quaternions no comutativo. Pode-se definiir o produto de dois quaternions de uma forma bem simples estabelecendo regras para o produto dos

Toda esta semelhana no fruto de mera coincidncia. De fato, as relaes entre i , j e k , no que diz respeito ao produto quaterninico, so as mesmas vlidas para o produto geomtrico de biversores, pois ambos so anti-comutativos. Assim, numa primeira abordagem, poderamos supor que os quaternions unitrios

Uma outra aplicao da dualidade, relacionada de forma ntima com os quaternions, descrita no prximo captulo.

14. A lgebra vetorial de GibbsHeaviside.

Nestes ltimos captulos vimos que Hamilton e Grassmann haviam formulado duas lgebras distintas para descrever os fenmenos fsicos, abordagens que levaram a elaborao da lgebra geomtrica, que de certa forma permitiu unific-las. Uma outra tentativa de fazer esta unificao foi realizada por Willard Gibbs e Olliver Heaviside. Gibbs havia tido contato com os quaternions de Hamilton e tambm estudado o trabalho de Grassmann, e soube assim, com uma grande praticidade sui generis, simplificar ambos os trabalhos e explicar vrios fenmenos naturais de uma forma bem mais simples que os seus antecedentes. A lgebra de Gibbs-Heaviside uma lgebra vetorial definida somente no sistema tridimensional; no h mais bivetores, trivetores etc., mas somente vetores e escalares. Nesta lgebra os vetores se somam e se subtraem de forma anloga ao visto at aqui, a diferena est unicamente na definio do produto de vetores como podemos ver, no havia consenso algum sobre a forma correta de se multiplicar vetores. Ao invs de admitir apenas um produto

i,

k,

possam

ser pelo

representados na lgebra geomtrica por bivetores. Isto de fato verdade, pois substituindo i biversor e3 e2 , j por e1 e3 e k por e2 e1 , encontramos exatamente as mesmas relaes existentes entre i , j e

k , veja:

ijk = (e3 e2 )(e1 e3 )( e2 e1 ) = 1 ii = jj = kk = ( ei ei )( ei ei ) = 1

ij = ( e3 e2 )( e1 e3 ) = (e2 e1 ) = k ki = (e2 e1 )(e3 e2 ) = ( e1 e3 ) = j jk = ( e1 e3 )(e2 e1 ) = (e3 e2 ) = i
No entanto, seria mais natural associar os quaternions unitrios i , j e k a versores do sistema tridimensional, pois era este o intuito de Hamilton. Ora, isto pode ser feito de uma forma bem simples atravs do conceito de dualidade, uma vez que o dual de bivetores so vetores. fcil verificar as seguintes relaes: e1 = ( e3 e2 ) , e2 = (e1 e3 ) e e3 = ( e2 e1 ) , ou seja, temos:

e1 =

e2 =

e3 =

vetorial, Gibbs definiu dois produtos vetoriais: o produto escalar (ou interno) e o produto vetorial (ou cruzado) de dois vetores. O primeiro deles j fomos apresentados: o produto interno entre dois vetores definido pela lgebra geomtrica. Tal produto, como vimos, resulta em um escalar da o nome produto escalar de dois vetores. J o segundo, uma simplificao do produto externo definido na lgebra geomtrica. A nica diferena entre eles que, ao invs de gerar um bivetor, o produto cruzado de Gibbs gera um outro vetor, ortogonal aos anteriores. A elaborao deste produto vetorial teve como incentivo certas observaes referentes a alguns fenmenos fsicos sobretudo eletromagnticos onde uma grandeza vetorial podia ser escrita por um vetor resultante de um produto entre dois outros vetores. A

Expresses estas que relacionam os versores e1 ,

e2 e e 3 com os quaternions unitrios i , j e k .

Portanto, pode-se dizer que a lgebra dos quaternions totalmente englobada pela lgebra geomtrica. Vale ressaltar que o ponto de partida de Clifford na elaborao de sua lgebra foi justamente o trabalho de Hamilton (cuja importncia para matemtica e fsica vai muito alm dos quaternions). A beleza dos quaternions e sua importncia histrica de forma alguma sero esquecidas, porm, evidente que o formalismo de Clifford mais adequado ao tratamento vetorial, j que ela no se retm ao sistema tridimensional...

observao destes fenmenos tambm demonstrava que o mdulo do vetor resultante deveria ser igual ao produto dos mdulos dos vetores originais multiplicados pelo seno do ngulo entre eles (anlogo ao produto de Grassmann), e com direo ortogonal a ambos. Vamos verificar agora como este produto definido. No que se segue, o produto cruzado de dois vetores v e w ser representado por v w . A forma mais simples de se definir tal produto est em estabelecer regras para o produto de versores. Uma

a 1 , enquanto que os produtos e1 e1 , e2 e2 e

e3 e3 so iguais a 0 . Esta semelhana nos faz

indagar se Gibbs qui no tivera a inteno de unificar a lgebra como dos quaternions com agora, a de esta Grassmann... Porm, mostraremos unificao ocorre apenas em aparncia.

e1

e1 '

vez que o vetor resultante , por definio, ortogonal aos vetores originais, estas relaes tm de ser as seguintes:

e3 e2

e3 ' e2 '

e1 e1 = e2 e2 = e3 e3 = 0 e1 e2 = e3 e2 e3 = e1 e3 e1 = e2 e2 e1 = e3 e3 e2 = e1 e1 e3 = e2

Figura 8: Reflexo Especular

O problema na abordagem de Gibbs que, infelizmente, o produto cruzado apresenta incoerncias internas em sua definio. Um dos paradoxos

Observe que esta operao tambm no comutativa (alis, nem associativa). Dados dois vetores v e w, descritos em um sistema tridimensional, o produto cruzado v w pode ser encontrado efetuando a distributiva e, posteriormente, aplicando as regras dadas acima para o produto de versores, de onde resulta o vetor u u1, u 2 , u 3 , que tem por componentes:

existentes na lgebra de Gibbs est relacionado a uma operao que se chama reflexo especular: considere um sistema tridimensional cujos eixos so descritos pelos versores e1 , e2 e e3 , e seja u um vetor orientado na direo de e3 . Se colocarmos um espelho na direo do plano definido pelos versores e1 e e2 , a reflexo destes eixos no espelho nos fornecer um sistema virtual cujos eixos sero agora, e1 ' = e1 ,
e2 ' = e2 e e3 ' = (e3 ) . Em virtude deste fato, o vetor u tambm deve se inverter perante uma reflexo

u1 = (v2w 3 v3w 2 ) e1 u 2 = (v 3w1 v1w 3 ) e2 u 3 = (v1w2 v2w1 ) e3

especular: u ' = u pois que possui a mesma direo de e3 . Mas o problema na formulao de Gibbs que o vetor resultante do produto v w no se altera perante uma reflexo especular. De fato, sejam os vetores v = v e1 e w = w e2 , de forma que produto cruzado
vw

Por uma simples anlise vemos que o vetor u ortogonal ao plano formado por v e w , e que o seu mdulo dado por v w sen vw , tal qual requer a definio do produto cruzado de dois vetores. J vimos que este produto semelhante ao definido por Grassmann, agora veremos agora o quo ele semelhante ao produto de quaternions. Note que as relaes definidas para o produto cruzado de versores s diferem das relaes estabelecidas por Hamilton para os quaternions pelo fato de o produto entre dois quaternion homlogos ii , jj e kk ser igual

resulte

no

vetor

u = u e3 .

Ao

realizarmos uma reflexo especular, era de se esperar que o vetor u se invertesse, mas isto no ocorre porque a orientao dos versores e1 e e2 no se inverte, de forma que ainda temos:
v ' w ' = v w = u . A figura 8 ilustra bem este fato.

Por este motivo necessrio distinguir dois tipos de vetores na lgebra de Gibbs: os vetores axiais

 aqueles que se invertem perante uma reflexo especular e os vetores polares que so provenientes de um produto cruzado de vetores axiais e que, portanto, no se invertem perante uma reflexo especular. Esta distino foi, na minha opinio, uma tentativa desesperada de contornar o problema... Este paradoxo completamente superado na lgebra geomtrica atravs da operao dualidade. Na lgebra geomtrica o produto cruzado de Gibbs pode ser definido, se me permitem, como o dual do produto de Grassmann, pois com uma simples anlise das relaes definidas para o produto cruzado de versores e da definio de dualidade, encontramos:

Clifford porque utilizamos o conceito de dualidade ao definir v w = realizar

1

(v w) . Quando isto feito, ao se

especular, o operador

uma

reflexo

= e3 e2 e1

se inverte, de forma que temos, no

sistema virtual,

'=

= e1 e2 e3 e, conseqentemente,

nos conduz relao

(v ' w ') = ( v w) ,

j que o

sistema tridimensional anti-simtrico, ou seja, o vetor u se inverte perante uma reflexo especular:
u ' = u , como era de se esperar.

Assim est demonstrado como a lgebra de Gibbs pode ser completamente descrita pela lgebra geomtrica, e como ela livre de contradies internas, alm de ser aplicvel a sistemas de qualquer dimenso.

vw =

(v w )

v w = (v w )

A prova destas relaes fcil de ser obtida: considere um sistema tridimensional e seja u = v w . Conforme vimos, as componentes de u sero dadas por:

15. Funes escalares de valor vetorial. Derivadas e integrais dessas funes.

Estudaremos agora um ramo importante do

u 23 = (v2w 3 v 3w 2 ) e2 e3 u 31 = (v 3w1 v1w 3 ) e3 e1 u12 = (v1w 2 v2w1 ) e1 e2

Assim, aplicando a operao dualidade a cada componente, encontramos por: diretamente o produto cruzado u = v w , cujas componentes sero dadas

conhecimento cientfico: o estudo das funes e sua anlise. No faremos aqui um estudo completo e rigoroso do assunto, motivo pelo qual optamos por uma abordagem a mais intuitiva possvel. Definimos o conceito de funo como a operao matemtica que estabelece uma relao entre dois conjuntos A e B, de forma que, para cada elemento de
B se faa corresponder um nico elemento em A diz-

se que A funo de B. O conjunto B, do qual os elementos

u1 = u2 = u3 =
Onde
1

so

tomados

arbitrariamente,

se

diz

u 23 = (v2w 3 v 3w2 ) e1 u 31 = (v 3w1 v1w 3 ) e2 u 31 = (v1w 2 v2w1 ) e3

Observe que agora

domnio da funo, e o conjunto A, cujos elementos

so determinados pelos elementos de B a sua

imagem. Geralmente, uma funo representada da

forma y = f (x ) , onde y representa um elemento do conjunto imagem e x domnio, f (x ) a um elemento do conjunto equao que estabelece a

= e3 e2 e1 .

tambm podemos escrever o produto geomtrico de dois vetores pela equao:

correspondncia nica entre x e y . Tais conjuntos podem ser de qualquer natureza, mas comumente utilizamos conjuntos numricos onde as funes so ditas numricas. Aqui enfocaremos casos onde pelo menos um desses conjuntos vetorial: so as funes vetoriais. Comearemos estudando funes cujo domnio um conjunto escalar e a imagem um conjunto vetorial

vw = v w + (v w)
Agora, vamos provar como o paradoxo da lgebra de Gibbs no existe na lgebra geomtrica. No defrontamos com problemas na lgebra de

(i.e., funes escalares de valor vetorial). Funes que associam a cada escalar um nico vetor. Tais funes expressam situaes onde uma grandeza vetorial depende de uma grandeza escalar, como o caso da posio de um corpo quando este se movimenta, uma vez que tal posio pode ser obtida por um vetor dependente do tempo.

apenas definir o parmetro escalar de que a funo depende este pode ser o ngulo que o vetor faz com um dos eixos do sistema, ou ainda o comprimento da curva a partir de um ponto dela escolhido como origem. Tal possibilidade representada na figura 9. Uma funo y = f (x ) nos informa como os valores de y dependem dos valores de x. Em muitos casos interessante saber tambm como y varia conforme variamos o valor de x. Para obter esta

relao, suponha que sejam dados dois valores x, digamos x a e xb , com o que, a funo apresentar dois respectivos valores ya = f (xa ) e yb = f (xb ) . Assim, a diferena y = f (xb ) f (xa ) representa a variao que a funo apresenta quando a varivel da qual ela depende varia de x = xb xa . Admita que a funo seja contnua (grosso modo, isso significa que a valores infinitamente prximos de x correspondem valores infinitamente prximos de y), ento pode-se escolher x to pequeno quanto se queira, e assim, para uma variao infinitamente pequena dx, a funo tambm apresentar uma variao infinitamente pequena dy. Assim podemos relacionar as variaes infinitesimais dy e dx por uma nova funo da forma

Figura 9: Curva de uma funo de valor vetorial Assim como um vetor pode ser decomposto em componentes, uma funo vetorial y = f (x ) tambm o pode, o que significa que as componentes do vetor tambm so funes da mesma varivel x da funo vetorial. Logo, para uma funo vetorial (obviamente, pode-se definir funes k-vetoriais de uma forma anloga), podemos escrever:

y (x ) = y1 (x ) + y2 (x ) + y n (x )
Tambm podemos definir o mdulo de uma funo vetorial como o nmero real no-negativo que resulta da operao

dy = g (x )dx , que chamada de diferencial da funo. dy A razo = g (x ) chama-se derivada da funo dx y = f (x ) e nos fornece a taxa de variao de dy em
relao a dx . Geometricamente, a derivada de uma funo corresponde ao coeficiente linear das retas tangentes curva representativa da funo, em cada ponto dela. Para funes vetoriais, pode-se dizer o mesmo, bastando aplicar as consideraes feitas acima a cada componente da funo, lembrando-se apenas que o seu valor agora um vetor e no um nmero. Assim, dada uma funo vetorial

y (x ) = (y1 (x ))(y1 (x )) ,

considerando apenas funes reais. Numa geometria euclidiana e utilizando um sistema vetorial ortogonal, tambm podemos escrever:
2 2 2

y (x ) =
Funes

y1 (x ) + y2 (x ) + y n (x )
de valor vetorial tm

y = f (x ) ,

variao

y = f (xb ) f (xa ) que ela apresenta quando x varia

grande de x = xb xa corresponde agora a um vetor de origem no ponto (ya , xa ) e destino em (yb , xb ) . Se considerarmos uma variao

importncia em geometria analtica, j que uma relao algbrica pode ser representada por uma figura geomtrica cujos pontos satisfaam a relao dada. Ora, se utilizarmos um sistema vetorial em lugar do cartesiano, ento cada ponto da curva passa a descrever um vetor e a curva pode assim ser representada por uma funo vetorial, bastando

dx

infinitamente

pequena, ento a variao dy sofrida pela funo corresponder a um vetor de magnitude infinitamente pequena e tangente curva representativa da funo em cada ponto dela. interessante perceber que este vetor depende dos valores de x , o que permite

represent-lo por uma funo dy = g (x )dx , a qual tambm pode ser escrita atravs de componentes como abaixo:

d (v w ) d ( v w) d + (vw) = dx dx dx

Onde podemos tambm escrever:

dy (x ) = dy1 (x ) + dy2 (x ) + dy n (x )
A partir do vetor dy podemos encontrar um vetor unitrio tangente a cada ponto da curva da funo y = f
(x )

d dw dv (v w ) = v + w dx dx dx d dw dv (v w ) = v + w dx dx dx

dividindo dy pelo mdulo da funo

neste ponto, pois conforme j tnhamos visto, tal diviso sempre resulta em um vetor unitrio se o mdulo de dy no for nulo. A razo

Nestas relaes, deve-se ter cuidado com a ordem dos vetores que so derivados, pois o produto geomtrico no comutativo. Pela regra do produto vemos que alm de funes vetoriais, pode-se definir em geral funes k-vetoriais. O leitor que acompanhou o texto at aqui no deve estar surpreso: estas funes apenas representam a dependncia de grandezas kvetoriais com escalares, como por exemplo a variao do momentum angular de um corpo rgido no decorrer do tempo... Dois casos tambm merecem destaque: a derivada escalar de funes vetoriais cuja direo sempre constante ser sempre uma nova funo vetorial cujos vetores tm mesma direo dos

dy = g (x ) a derivada escalar da dx

funo vetorial y = f (x ) , geometricamente, a funo

g (x ) fornece vetores tangentes curva da funo, em

cada ponto dela, cujos mdulos so obtidos pela relao

g (x ) g (x ) , j que s estamos considerando

funes reais. As mesmas regras de derivao vlidas para funes numricas so vlidas para funes de valor vetorial, as principais so as descritas abaixo:

d c = 0; dx

d d kv=k v; dx dx

anteriores (obviamente porque so vetores tangentes curva) e, quando a funo vetorial possui mdulo sempre constante, mas podendo variar de direo, ento a sua derivada resultar em uma funo cujos vetores sero todos eles ortogonais aos vetores da funo original, em cada ponto dela, exemplificando: considere a funo que descreve a velocidade de um corpo num movimento circular, funo esta que possui mdulo constante. Quando derivamos em relao ao tempo, os vetores resultantes da derivada desta funo correspondem a vetores que definem a acelerao centrpeta, os quais sero sempre ortogonais aos vetores-velocidade e apontam para o centro do circulo...

d d d (v w ) = v w dx dx dx Nestas equaes, c um vetor constante (tanto em mdulo como em direo e sentido); v e w so funes vetoriais da forma y = f (x ) e k um escalar. A regra da derivada de um produto de funes vetoriais merece uma ateno especial. Analogamente derivao numrica, podemos escrever:

d dw dv (vw) = v + w dx dx dx
Porm, considerado como o produto temos vw de deve ser

Uma vez obtida a derivada de uma funo, como retornar funo original? A operao que permite esta faanha chama-se integral, esta pode ser entendida da seguinte forma: suponha que
dy = g (x )dx seja uma funo diferencial, e queremos

geomtrico,

escrever

vw = v w + v w e isso implica que a derivada de

um produto de vetores corresponder soma de uma funo escalar (i.e., numrica) com uma funo bivetorial, e teremos:

saber qual a funo y = f (x ) que a gerou (funo que recebe o nome de primitiva). Ora, uma vez que

dy corresponde a uma variao infinitamente pequena

de f (x ) , a variao desta funo entre dois valores x a e

y =

xb xa

dy (x )dx .

xb

pode se obtida somando-se todos os e xb

dy

existentes neste intervalo. Esta soma define o que se chama integral definida, sendo x a de integral, dado abaixo: os seus extremos de integrao, e representada pelo smbolo

16.

Campos

vetoriais,

operador

nabla, a derivada geomtrica.

As funes apresentadas no captulo anterior

y =

xb xa

g (x )dx

permitem relacionar entre si apenas duas grandezas. claro que encontramos na natureza vrios exemplos de grandezas dependem de vrias outras. A relao enter estas grandezas pode ser feita atravs de funes de vrias variveis, que diferem das anteriores apenas porque o seu domnio agora formado por mais de um conjunto, digamos X1, X 2 , X n , sendo ainda nico o conjunto imagem Y . Para cada combinao de elementos (x 1 , x 2 , x n ) dos conjuntos do domnio, corresponde um nico elemento

Uma vez obtida a forma variada da funo, a sua forma original pode ser obtida caso se saiba o valor da funo para algum valor particular de x . Esta informao adicional necessria porque os termos constantes presentes na funo primitiva f (x ) no podem ser recuperados por uma integrao, j que a derivada de qualquer constante sempre igual a zero. Se no tivermos esta informao, a funo encontrada pela integral poder estar diferindo da primitiva por uma constante c , por este motivo, tal integral dita indefinida e escrevemos:

do conjunto podemos

imagem. A representao de tais funes anloga:

y = f (x 1, x 2 , x n ) .

Geometricamente,

representar uma funo de n variveis por um sistema cartesiano com n eixos, onde a cada um destes eixos associado a uma das variveis. Nesta representao, no h eixo associado imagem da funo, sendo esta obtida pelo valor associado a cada ponto do sistema. Quando a funo depende de vrias variveis, cada varivel pode sofrer variaes diferentes das outras e de forma independente, mas, uma vez que para cada conjunto de valores (x 1 , x 2 , x n ) a funo apresenta um valor bem determinado, a sua forma variada pode ser encontrada pela diferena entre dois conjuntos destes considerados, de forma que temos: w = f (x 1b , x 2b , x nb ) f (x 1a , x 2a , x na ) Entretanto, muito mais conveniente investigar como a funo varia em relao a cada uma das variveis, quando as demais so mantidas constantes, isto , saber qual a variao da funo devida cada varivel independentemente das outras dizemos que estamos investigando as variaes parciais da funo. Esta relao pode ser facilmente encontrada dando-se uma variao varivel escolhida e mantendo as

y=

g (x )dx + c = f (x ) .

Uma integral pode ser

resolvida desde que se saiba qual a funo primitiva cuja derivada resulta na funo que se quer integrar, mas, infelizmente, encontrar tal funo no algo trivial e s vezes nem possvel... Para as integrais de funes de valor vetorial, procedemos da mesma forma, lembrando-se apenas que a primitiva resultante ser uma funo vetorial. O comprimento de curvas pode ser encontrado de forma bem mais fcil com integrais de funes vetoriais, de fato, se dy (x ) o valor absoluto da diferencial dy (x ) que infinitamente pequeno e como estes vetores so sempre tangentes curva em questo, ento a soma de todos os dy (x ) em um dado intervalo nos fornecer o comprimento da curva neste intervalo, e podemos escrever:

C =

xb xa

dy (x ) dx

Se no tomssemos o mdulo na equao acima, encontraramos o vetor deslocamento y entre os pontos (ya , xa ) e (yb , xb ) , ou seja, podemos escrever:

demais inalteradas, assim, a variao parcial da funo em relao varivel x i , ser dada pela relao:

x = x 1 e1 + x 2 e2 + x n en e a funo pode ser escrita como:

x w = f x 1a , x ib , x na f x1a , x ia , x na

y (x) = 1 (x 1 e1 ) + 2 (x 2 e2 ) + 2 (x n en ) f f f O mdulo desta expresso chamado de intensidade do campo no ponto considerado. O carter vetorial destas funes tambm recai sobre as derivadas parciais da funo, que se tornam agora componentes de uma nova funo vetorial. Esta nova funo vetorial proveniente da soma das derivadas parciais vetoriais nos fornece informaes importantes sobre o comportamento da funo e chamada de derivada geomtrica da funo e representada por: y y y y = e1 x + e2 x + en x 1 2 n O smbolo a representao da derivada geomtrica e chama-se nabla. Ele consiste em um operador matemtico, pois que sua aplicao fornece a derivada geomtrica da funo. Tal aplicao deve ser realizada por um produto geomtrico entre o nabla e a funo a ser derivada. Observe que o nabla tem caractersticas vetoriais, embora no seja propriamente um vetor, pois que no possui coeficientes definidos. Pelo que foi dito, o nabla definido como:
= e1 x + e2 x + en x 1 2 n

Nesta equao, somente x i diferente de zero. evidente que uma funo de n variveis apresentar n variaes parciais. Se as variaes x 1, x 2 , x n forem consideradas infinitesimais

ento a funo tambm apresentar uma variao parcial infinitesimal. A razo entre a variao parcial da funo pela variao infinitamente pequena de cada varivel chama-se derivada parcial da funo em relao a esta varivel. Logicamente para cada varivel
x i , a funo apresentar uma derivada

parcial correspondente, e que representada pelo y smbolo . A derivada parcial nos indica a taxa de x i variao da funo em relao a cada varivel, quando as demais so mantidas constantes. Sabendo como se trabalhar com funes de vrias variveis podemos agora estudar o caso de funes vetoriais com domnio e imagem k-vetoriais. Tais funes so chamadas de campo e, dependendo se a imagem da funo escalar, vetorial, bivetorial, etc, recebe o nome de campo escalar, campo vetorial, etc. Estudaremos demais. Uma vez que os elementos do conjunto domnio destas funes so vetores, e como os vetores podem ser decompostos em componentes, decorre que a funo pode ser considerada como uma funo das componentes. Logo uma funo de domnio vetorial , em geral, uma funo de vrias variveis. A representao geomtrica de tais funes pode ser feita utilizando um sistema vetorial no lugar do cartesiano, de forma que a cada eixo do sistema estar associado uma componente dos vetores do domnio e a cada ponto do sistema, associado um k-vetor cuja grade depende da natureza da funo. f Seja y = (x ) uma funo de campo de domnio vetorial e cuja imagem uma funo kvetorial de grade qualquer. Os elementos do domnio desta funo so vetores, logo possuem a forma aqui somente funes de domnio vetorial, pois que serve como paradigma para as

O operador nabla pode ser aplicado a funes vetoriais ou escalares. Em cada caso, a funo resultante ser diferente, podendo ser uma funo escalar, univetorial, bivetorial etc. Estudaremos agora os casos mais importantes.

16.1. Derivada geomtrica de uma funo escalar. Gradiente.

Quando aplicamos o operador nabla a uma funo-de-campo escalar da forma = f (x) , obtemos

um campo vetorial denominado Gradiente de e o representamos por grad . O campo resultante vetorial j que o produto de um vetor por um escalar sempre um vetor. Matematicamente, o gradiente assim definido:

Considere agora um campo univetorial, que representaremos por . Uma vez que este campo vetorial, podemos decomp-lo em componentes Quando escrevendo:

1 e1 + 2 e2 + n en .

aplicamos o nabla a este campo, estamos realizamos um produto geomtrico entre duas entidades vetoriais, logo podemos escrever:

grad = e1 + e2 + en x 1 x 2 x n A sua interpretao fsica simples: o gradiente nos fornece a mxima taxa de variao da funo em cada ponto dela. Em cada ponto do sistema o vetor gradiente aponta para a direo onde o campo apresenta a maior taxa de variao e o seu mdulo d a magnitude desta taxa. Costuma-se chamar de linhas-de-campo as curvas tangentes aos vetores que formam o gradiente e as linhas ortogonais a elas, onde a intensidade do campo a mesma, so comumente chamadas de nveis-de-campo. Em muitas ocasies desejamos saber qual a taxa de variao da funo em uma outra direo qualquer, digamos aquela definida pelo vetor dr . Esta taxa recebe o nome de derivada direcional, e sempre menor que a definida pelo gradiente. Ela pode ser encontrada projetando os vetores do gradiente na direo do vetor dr , logo definida por
d = cos , onde o ngulo entre d r e o dr

= + .
A parcela consiste em um campo escalar que denominamos divergncia de e indicamos por

div . A divergncia definida pelo produto escalar

indicado, que corresponde a:

div = 1 + 2 + n x x 2 x n 1 Cada parcela desta equao nos fornece o valor numrico da taxa de variao de cada componente da funo em relao direo desta componente (i.e., a taxa com que i varia em relao x i ). O nome divergncia deve-se ao fato de que, se esta quantidade for nula, ento as os vetores que formam o campo no divergem nem convergem para um ponto suas direes so paralelas; se o seu valor for positivo, ento os vetores do campo divergem a partir de um ponto que chamado de fonte; por fim, se a divergncia for negativa ento os vetores do campo convergem para um ponto que chamado de
sorvedouro. No sistema tridimensional, a divergncia

( )

vetor-gradiente em cada ponto do sistema. Assim, temos:

d = e1 x cos 1 + e2 x cos 2 + en x cos n dr 1 2 n Observe que, se d r for ortogonal ao gradiente, a derivada direcional ser nula, o que significa que o campo se mantm constante nesta direo, comprovando que os nveis-de-campo so ortogonais aos vetores do gradiente...

fornece

densidade

do

fluxo

de

vetores

que

atravessam um elemento de rea do sistema. J a parcela trata-se de um campo bivetorial chamado

rotacional de

que

representado por

rot . O rotacional definido

matematicamente pelo produto externo mencionado:

j
i

rot =

i e e i j x j a todas as

16.2. Derivada geomtrica de uma funo univetorial. Divergncia e Rotacional.

Onde

somatria

estende-se

combinaes de classe par entre i e j, de 1 n. Cada parcela desta equao nos fornece a taxa de variao

de cada componente da funo em relao s outras componentes (i.e., a taxa com que j varia em relao a x i , e orientado pelo biversor ei e j ). No sistema tridimensional, o rotacional fornece a densidade de circulao dos vetores que contornam um elemento de rea do sistema.

O produto comumente empregado no lugar de , devido principalmente a divulgao do trabalho de Gibbs-Heaviside, porm, o rotacional vetorial s pode ser definido no sistema tridimensional, uma vez que ele faz uso do produto cruzado, motivo pelo qual se deve dar preferncia ao rotacional bivetorial. Para se passar do rotacional vetorial para o rotacional bivetorial, basta utilizar a relao inversa:

Grosso modo o rotacional pode ser sempre

associado a uma propriedade rotativa do campo. Uma forma de verificar visualmente o rotacional de um campo fazendo a seguinte experincia imaginria: coloca-se um cata-vento no ponto desejado e procura-se observar se ele gira ou no devido a um suposto torque exercido pelos vetores do campo (como se eles representassem a fora exercida por um hipottico vento), se no girar, ento o rotacional do campo nulo e ele dito irrotacional.

( ) .

16.3. Derivadas geomtricas de ordens mais altas. Laplaciano.

Quando aplicamos o nabla a uma funo de f campo y = (x ) , em geral, o resultado uma outra

funo y ' = g (x) . Por este motivo, podemos, em

geral, aplicar novamente o nabla a esta funo. Demonstraremos que o resultado ser um campo k-

vetorial de mesma grade que o original. Seja

Figura 10: Testando o rotacional de um campo No sistema tridimensional o rotacional possui a forma mais simples:

ento

dado

um

campo

escalar

Aplicando o nabla a este campo encontraremos o gradiente dado por , mas, se aplicarmos novamente o nabla a este campo, ou seja, se fizermos = 2 , o que encontraremos? Em princpio, ao fazer a distributiva, vamos encontrar um objeto cujos termos sero da forma ei e j
2 , com i igual x i x j

( )

2 1 e e + 3 2 e e + 1 2 2 3 x x 2 x 3 1 x 2 rot = 1 3 e3 e1 x 3 x 1 Se neste sistema tridimensional, utilizarmos a operao

1

ou diferente de j, mas fcil verificar que as derivadas mistas se anulam duas a duas, pois que se tem
ei e j 2 2 + e j ei = 0, x i x j x j x i ou seja, a parte

dualidade,

atravs

da

relao

bivetorial deste produto sempre nula, logo, resta-nos apenas a parte escalar dada por ei ei 2 2 = . x i x i x i2

( ) = ,

vamos encontrar um campo

vetorial, cujos vetores sero todos ortogonais aos bivetores do campo original. Efetuando a dualidade em cada componente da equao acima, encontramos que este rotacional-dual definido por:
= 2 1 e3 + 3 2 e1 + 3 1 e2 x x x 1 x 2 2 x 3 1 x 3

Assim, tal operao gera um outro campo escalar. Isto evidente, pois o quadrado de um objeto vetorial sempre um escalar, e como um campo tambm escalar decorre imediatamente que 2 ser escalar. Podemos mesmo considerar 2 como um novo operador geomtrico, tal qual o nabla, mas agora de segunda ordem. Pelo o que foi dito, este novo operador pode ser definido pelo produto geomtrico , o qual fornece:

17. Integrais sobre campos vetoriais.

2 2 2 2 = 2 + + x x 22 x n2 1
O campo escalar comumente chamado de laplaciano de em homenagem a Laplace. Se um campo escalar, ento o laplaciano de definido como:
2

No

captulo

15

estudamos

integrais

cuja

varivel de integrao era de natureza numrica que doravante sero chamadas de integrais escalares. E conforme vimos, a integrao a operao inversa da diferenciao, de forma que, se uma funo y = f (x ) possui uma derivada y ' = g (x ) , ento a integral 2 2 2 + lap 2 + 2 x 1 x 2 x n2 O laplaciano ento a derivada geomtrica segunda da funo de campo. Tambm podemos defini-lo como a divergncia do gradiente de , pois o rotacional do gradiente (que seria a soma das derivadas mistas) sempre nulo, de forma que o laplaciano corresponde exatamente divergncia do gradiente de . Assim, podemos escrever tambm: lap = div (grad ) . O laplaciano de um campo escalar nos fornece informaes valiosas cerca das salincias do campo em torno de seus pontos. Enquanto o gradiente permite saber para onde a funo de campo cresce ou decresce, em cada ponto do sistema, o laplaciano nos permite saber onde a funo de campo ser estacionria, ou seja, onde o campo apresentar um mximo, mnimo ou ponto de inflexo. Sem a introduo do laplaciano, alguns problemas fsicos se tornam muito difceis, seno impossveis, de se solucionar alis, mesmo com ele, a soluo procurada no trivial e geralmente requer certas condies de contorno. Por ter estas propriedades, sua aplicao vasta no campo da fsica. Observe que, se a funo considerada no for escalar, mas sim k-vetorial, ento a aplicao do operador 2 resultar em outra funo k-vetorial, uma vez que este operador escalar. Podemos definir outros operadores atravs de potencias do nabla, como
3
Neste captulo estudaremos como se efetua integrais cuja varivel de integrao um vetor da forma x = x 1 e1 + x 2 e2 + x n en . Tais integrais sero chamadas de integrais geomtricas e possuem a seguinte forma geral: y (x ) = g ( x ) dx , onde

g (x )dx

nos fornece a funo primitiva f (x ) a

menos de uma constante arbitrria. A integrao permite tambm encontrar a variao que a funo primitiva sofre quando a varivel da qual ela depende varia de x a para xb atravs da chamada integral definida, dada abaixo: y =

xb xa

g (x )dx = f (xb ) f (xa )

dx = dx 1 e1 + dx 2 e2 + dx n en o vetor diferencial da

varivel x , sendo ainda g (x) e y (x) funes kvetoriais de uma varivel vetorial. Como x uma varivel, as suas componentes podem assumir qualquer valor pertencente ao domnio da funo, o que implica que integrais geomtricas atuam em geral sobre um campo vetorial. Se uma integral escalar fica completamente definida ao se fornecer dois extremos de integrao, o mesmo no pode ser dito das integrais geomtricas. De fato, uma integral pode ser pensada como uma soma de diferenciais, e quando especificamos os dois extremos de integrao de uma integral numrica, os valores entre estes extremos ficam bem determinados, de forma que a soma nica. J no caso geomtrico, especificar dois extremos de integrao no basta. Isso fica claro notando que os extremos de integrao podem ser representados por dois pontos de um sistema n-dimensional, e vidente que existem infinitas trajetrias ligando estes dois pontos, de forma que a integral pode somar atravs de qualquer um

etc.,

mas

os

apresentados aqui so suficientes para o contexto.

destes caminhos e, para cada um desses caminhos de integrao, resultar num valor diferente. Assim, necessrio especificar uma trajetria de integrao para tornar uma integral geomtrica definida por este motivo as integrais geomtricas so comumente chamadas tambm de integrais-de-linha. Isto pode ser feito especificando uma curva (x) no sistema representativo da funo a ser integrada. A

dos seus extremos, isso porque no estamos fazendo nada mais do que efetuar uma diferena vetorial entre os vetores associados aos pontos x b e xa , porm, esta propriedade no vlida em outros casos...

dr
r r +dr

funo g (x) passa a depender de (x) , de forma que

podemos escrever g ( (x)) , e a varivel de integrao passa a ser escrita como dx = d (x) e , onde e so versores tangentes curva, em cada ponto dela. Isto conduz a escrever uma integral geomtrica como:

y (x ) =

g ( (x))d e

Figura 11: Clculo de reas por integrais geomtricas Vamos estudar agora integrais geomtricas de funes vetoriais. Neste caso, pode-se provar que a integral no depender de um caminho de integrao se, e somente se, o rotacional da funo a ser integrada for nulo. Em todos os outros casos, caminhos diferentes conduziro a resultados diferentes. A prova simples: quando integrarmos a funo g (x) , em geral encontramos uma funo (x) multivetorial, f que representa a soma de um campo escalar com um bivetorial; porm, se o rotacional da funo g (x) for nulo, isto significa que (x) ser o gradiente de g (x) , f e assim, a funo primitiva que resulta da integrao ser escalar, conseqentemente a integral fica definida apenas pelos extremos de integrao, pois estaremos efetuando nada mais, nada menos, do que a diferena entre dois nmeros... Observe tambm que, por haver um produto geomtrico entre g (x) e dx , estas integrais, ela deve ser decomposta em duas parcelas, a saber:

Na prtica, as funes g ( (x)) e d (x) so parametrizadas em relao a uma outra varivel t , escalar, de forma a tornar a integral geomtrica em uma integral numrica de uma funo vetorial, a qual pode ser resolvida mais facilmente pela equao: e g ( (t )) ' dt , onde ' a derivada da curva em relao t . Em geral, uma integral geomtrica pode ser separada em componentes, cada qual relacionada com as respectivas componentes da varivel de integrao, ou seja, podemos fazer:

g ( x ) dx =

g (x)dx 1 e1 + g (x)dx n en

O resultado desta integral indefinida uma f outra funo vetorial da forma y = (x) + cuja c grade depende da natureza da funo integranda e onde um k-vetor constante. Deve-se salientar c tambm que o produto presente em g (x)dx deve ser considerado geomtrico, onde sero vlidas todas as propriedades aplicadas ao produto de k-vetores. Se a funo a ser integrada escalar, a integrao pode ser realizada da mesma forma que calculamos integrais numricas, com a nica diferena que o resultado final ser uma funo univetorial. Neste caso especial, uma integral definida pode ser calculada pela diferena f (x b ) f (x a ) , ou seja, ela no depende da trajetria de integrao mas apenas

g ( x ) dx = g ( x ) dx + g ( x ) dx
A parcela

g ( x ) dx

fornece uma funo

escalar. Quando definida esta integral fornece a soma das projees (na direo da curva) de todos os vetores presentes nesta trajetria. Se a funo g (x) tal que associa vetores unitrios e tangentes curva

 (x ) ,

ento

esta

integral

permite

encontrar

comprimento da curva (x) considerada. J a parcela

g ( x ) dx

fornece uma funo

18. A Equao de Maxwell

Para encerrar, gostaria de apresentar uma aplicao da lgebra geomtrica que utiliza quase todos os tpicos apresentados aqui e que demonstra bem o seu poderio e praticidade: a unificao das equaes de J. C. Maxwell (que descrevem as leis do eletromagnetismo clssico) em uma nica equao. Originalmente, Maxwell escrevera suas equaes sem utilizar o conceito de vetor, consistiam em oito equaes, quatro descrevendo o campo eltrico, e outras quatro, o campo magntico. Para cada conjunto de quatro equaes, uma delas aplicava-se a campos estacionrios (correspondiam s leis de Gauss para os fluxos eltrico e magntico), as outras trs descreviam, para cada eixo do sistema, as indues eltrica (lei de Faraday-Lenz) e magntica (lei de Ampre-Maxwell), que se devem respectivamente a uma variao do fluxo magntico e a uma variao do fluxo eltrico mais o movimento de cargas eltricas.

bivetorial. Esta pode ser utilizada para calcular reas de curvas que no formem laos, conforme a elipse ilustrada na figura 11. Utilizando um sistema de coordenadas vetorial, podemos descrever a curva por uma funo de valor vetorial r ( ) , que associa um vetor r a cada ponto da curva. Deste modo, a dois pontos visinhos da curva estaro associados dois vetores: r e r + d r , de modo que o produto externo entre estes vetores nos fornece o bivetor dA cujo mdulo ser igual ao dobro do elemento de rea delimitada por estes vetores. Pode-se fazer uso da propriedade distributiva do produto externo, em conjunto com a propriedade r r = 0 , para provar que r r + d r = r d r e, por fim, parametrizando

curva atravs do ngulo que o raio-vetor forma com um dos eixos do sistema, a sua rea pode ser calculada pela integral:

1 A= 2

1 r dr = 2

b a

r ( ( )) r ' ( )d

Com o advento da lgebra vetorial desenvolvida por Gibbs e Heaviside, onde se introduziu o operador nabla, estas oito equaes puderam ser escritas, resumidamente, em quatro equaes, grupo que consiste na forma mais conhecida das equaes de Maxwell. So elas: E = 4
(1)

No caso da elipse que apresentamos na figura, tem-se a equao vetorial r = (a cos ) e1 + (b sen ) e2 , onde a e b so os semi-eixos da elipse. Derivando esta funo externo em
r r'

relao e

, da

encontramos identidade obtemos

r ' = (a sen ) e1 + (b cos ) e2 ; realizando o produto

lembrando

trigonomtrica

sen2 + cos2 = 1 ,

r r ' = (ab ) e1 e2 , com o que, a integral se escreve: 1 2 A = (ab ) e1 e2d , mas como ab constante e 2 0 e1 e2 = 1 , obtemos a frmula A = ab , que nos

B = 0

(2)

E =

1 B c t

(3)

fornece a rea de uma elipse em termos dos seus semieixos. Nas integrais discutidas aqui consideramos uma varivel de integrao vetorial, obviamente, podemos admitir integrais com variveis de integrao
Onde E o campo eltrico, B o campo j a B = 4 1 E j+ c c t
( 4)

bivetoriais, trivetoriais etc., o que no necessrio apresentar. Outros pontos importantes da anlise destas integrais (como os teoremas de Green e de Stokes), podem ser consultadas em livros de clculo vetorial avanado.

magntico, a densidade de carga eltrica, da luz no vcuo.

densidade de corrente eltrica real e c a velocidade Esta faanha unificar as equaes de Maxwell pode ser realizada basicamente pelas seguintes

operaes: substituir o produto cruzado pelo produto externo (o que permite somar as equaes eltricas e magnticas expressando-as como um produto geomtrico); substituir o vetor campo magntico pelo seu dual bivetorial (o que permite definir o multivetor campo eletromagntico); e escrever o nabla em um sistema quadridimensional. Vamos seguir estes passos. Comecemos por substituir o produto cruzado presente nas equaes (3) e (4) pelo produto externo de Grassmann,
1

4 1 E + M c j E + M = c c t

Esta equao ainda pode ser mais simplificada fazendo a substituio ct = x 4 , e passando a derivada temporal para o outro lado da equao, o que permite definir o nabla a quatro dimenses, como: 4 = e1 x + e2 x + e3 x + e4 x 1 2 3 4 Por fim, definindo o chamado multivetor de
Faraday,

utilizando

para

tal

relao

( ) , com o que encontraremos:

1

( (

1 B E = c t

(ou

multivetor

campo-eletromagntico)

(3 ')

atravs de F = E + M , bem como o multivetor

densidade de carga-corrente J = c j , a equao

B =

4 1 E j+ c c t

(4 ')

de Maxwell adquire a singela forma:

Prosseguimos com a substituio B =

M,

4 F =

4 J c

ou seja, expressando o campo magntico pelo dual de um bivetor, de onde as equaes acima se tornam:

Vale ressaltar que a equao obtida aqui se torna idntica a que seria obtida pela teoria da relatividade especial ao considerarmos um espao pseudo-euclidiano quatro dimenses (cuja nica diferena para o espao euclidiano reside no fato de que a quarta dimenso, associada ao tempo, matematicamente imaginria, de forma que temos as relaes ei e j + e j ei = 0 , e1 e1 = e2 e2 = e3 e3 = 1 , mas
e4 e4 = 1 no lugar das relaes anteriores). Maiores

E =

1 M c t 4 1 E j c c t
1

(3 '')

M =

(4 '')

Onde utilizamos as propriedades:

1 1

=1 e

= 1 , j que o sistema tridimensional anti-

detalhes podem ser conferidos em [1]. No caso de vcuo, onde supomos no haver densidades ou deslocamentos de cargas eltricas ou magnticas, temos simplesmente: 4 F = 0

simtrico. Obviamente tambm teremos M = 0 . Com estas substituies, podemos somar as equaes eltricas e magnticas, respectivamente, expressando-as como um produto geomtrico como abaixo:

E = 4

1 M c t

(A)

Aplicando o nabla mais uma vez a esta ltima equao, obtemos diretamente a equao de onda eletromagntica:

4 1 E M = j c c t

(B )
4 2 F = 0 Onde 42 o operador laplaciano a quatro dimenses, descrito na geometria pseudo-euclidiana de

E somando estas equaes, atingimos o objetivo proposto:

Minkowski

(comumente

chamado

de

operador

[2] J. Vaz, Jr., A lgebra geomtrica do espao euclideano e a teoria de Pauli, Revista Brasileira de Ensino de Fsica, 19, 234 (2000). [3] Chris J. L. Doran, Geometric Algebra and its Application to Mathematical Physics, Tese de

dAlembertiano, em homenagem a J. R. d'Alembert). Operador que tem a forma:

2 2 2 1 2 4 2 = 2 + + 2 2 2 2 x 1 x 2 x 3 c t Separando a derivada temporal da espacial, encontramos, efetivamente, uma equao de onda diferencial no campo F velocidade c : F F F 1 F + + = 2 x 12 x 22 x 32 c t 2
2 2 2 2

Doutorado, Universidade de Cambridge, (1994). [4] Chris Doran and Anthony Lasenby, Geometric Algebra for Physicists (Cambridge Univ. Press, 2003). [5] D. Hestenes, New Fundations for Classical Mechanics, Kluwer (1989). [6] D. Hestenes, A unified language for mathematics and physics, in Clifford Algebras and their Applications in Mathematical Physics, (J. S. R.

e que se propaga com a

4 2 F = 0

Chisholm e A. K. Commons Editors, D. Reidel, 1986). [7] Grupo de discusso sobre cincia, acesso pelo stio http://br.groups.yahoo.com/group/ciencialist.

Verifica-se desta forma como as equaes de Maxwell e, conseqentemente, toda a teoria eletromagntica toma um significado simples e claro dentro do formalismo da lgebra geomtrica. A simplificao obtida aqui pelo emprego da lgebra geomtrica no se restringe apenas ao eletromagnetismo: ocorre em todos os ramos da fsica, como pode ser conferido em [4] e [5], motivo pelo qual devemos estud-la, divulg-la e aplic-la cada vez mais. Este foi o objetivo principal deste artigo.

Dedicatria e agradecimentos
O autor dedica este trabalho memria de seu pai, Sr. Ari Vieira, grande responsvel pela sua escolha profissional. E tambm agradece a Jos Victor de Oliveira Neto bem como aos demais participantes da Ciencialist [7] pelo grande incentivo e valiosos esclarecimentos prestados concernente anlise de campos vetoriais.

Referncias
[1] J. Vaz, Jr., A lgebra geomtrica do espao-tempo e a teoria da relatividade, Revista Brasileira de Ensino de Fsica, 22, 234 (1997).