Revista Brasileira de Ensino de F sica, v. 31, n. 2, 2305 (2009) www.sbsica.org.

br

Sobre as origens das deni c oes dos produtos escalar e vetorial

(On the origins of the scalar and vectorial product denitions)

M.J. Menon1
Instituto de F sica Gleb Wataghin, Universidade Estadual de Campinas, Campinas, SP, Brasil Recebido em 11/11/2008; Revisado em 29/1/2009; Aceito em 10/3/2009; Publicado em 26/6/2009 Nos livros-texto de f sica e de matem atica utilizados em cursos b asicos universit arios, as opera co es de multiplica ca o de dois vetores (produtos escalar e vetorial) s ao introduzidas apenas como deni co es, sem nenhuma refer encia ou discuss ao a respeito das raz oes formais e/ou motiva co es que levaram ao estabelecimento de tais estruturas. Neste trabalho, apresentamos uma breve revis ao did atica sobre as origens dessas deni co es, discutindo os resultados pertinentes, formais, estabelecidos por Hamilton no contexto da algebra de quat ernions e certas adapta co es feitas por Gibbs e Heaviside, as quais deram origem ao ramo da matem atica que hoje e popularmente conhecido como algebra vetorial. Comentamos algumas desvantagens decorrentes dessas adapta co es, fazendo refer encia a outros sistemas alg ebricos pr aticos e formalmente bem fundamentados ( algebras de Grassmann e Cliord). Indicamos e comentamos alguns artigos e trabalhos, b asicos e tamb em recentes, nos quais o assunto pode ser aprofundado. Palavras-chave: algebra vetorial, quat ernions. The operations of two vector multiplication (the scalar and vector products) are introduced in physics and mathematics textbooks just as a denition, without any reference or discussion on the formal reasons and/or motivations that have led to these structures. In this work, a short pedagogical review on the origins of these denitions is presented. We discuss the formal results obtained by Hamilton in the context of quaternionic algebra and some changes performed by Gibbs and Heaviside, leading to what is now usually known as vector algebra. We present comments on some disadvantages of these changes, referring to more practical and formal systems (Grasmmann and Cliord algebras). Some basic and recent works on the subject are also mentioned and commented. Keywords: vector algebra, quaternions.

1. Introdu c ao
Sabemos que o conceito de grandeza vetorial ocupa um papel fundamental nas ci encias exatas e tecnol ogicas. No ensino m edio e nos cursos b asicos universit arios, o primeiro contato com os vetores e atrav es de uma representa c ao que caracteriza um tipo particular de vetor. Nessa representa c ao elementar, os vetores s ao vistos como associados a grandezas que necessitam de m odulo, dire c ao e sentido para serem completamente especicadas, sendo exemplos cl assicos o deslocamento de uma part cula, a velocidade, acelera c ao e for ca. Nesse contexto, um vetor e geometricamente representado por uma seta, com comprimento proporcional ao seu m odulo, o que e intuitivo. Em seguida, fazendo-se uso das regras do paralelogramo ou do pol gono, passase ` a adi c ao de vetores e ent ao ` a multiplica c ao de um vetor por um escalar (n umero real), tamb em geometricamente intuitivo, uma vez que se associa ao produto o
1 E-mail:

aumento ou diminui c ao do comprimento da seta e/ou invers ao de seu sentido. Mas a entra algo de car ater bem diferente: as opera c oes de multiplica c ao de dois vetores, na forma escalar (o resultado e um escalar) e vetorial (o resultado e um vetor). At e onde conhecemos, todos os textos did aticos utilizam a mesma estrat egia: as opera c oes s ao introduzidas atrav es de deni c oes, digamos pragm aticas, no sentido de que s ao apresentadas e passa-se imediatamente ` as propriedades decorrentes da deni c ao (por exemplo, Refs. [1, 2]). Mesmo que, previamente, se fa cam algumas considera c oes sobre grandezas f sicas (torque, momento angular,...) ou geom etricas ( angulo de rota c ao), n ao h a nenhuma refer encia ` as raz oes que levaram a essas deni c oes. Na nossa opini ao, trata-se de considera c oes que apenas maquiam a lacuna formal, induzindo o aluno a pensar que a natureza (a f sica) justica as deni c oes. claro que se pode dar uma certa justicativa, pelo E

menon@i.unicamp.br.

Copyright by the Sociedade Brasileira de F sica. Printed in Brazil.

2305-2

Menon

menos, aos m odulos dos produtos, atrav es de resultados t picos da geometria e trigonometria elementares. Por exemplo, se A, B e C s ao os comprimentos dos lados de um tri angulo e o menor angulo entre os lados A e B (com origem comum), a lei dos cossenos fornece C 2 = A2 + B 2 2AB cos e temos tamb em que a area de um paralelogramo de lados A e B e dada por AB sen. Assim, as estruturas associadas aos m odulos dos produtos AB cos (escalar) e AB sen (vetorial), parecem ter uma base na trigonometria e aparentemente, a algebra, chamada vetorial, fornece express oes compactas e elegantes para os resultados acima (e tamb em muitos outros, n ao t ao elementares). Por em, no caso do produto vetorial, o resultado e um vetor normal aos dois fatores e, pior ainda, seu sentido e convencionado pela regra da m ao direita. Isso n ao e nada intuitivo e n ao sendo explicado ou justicado, permanece uma inc ognita com a qual os alunos, infelizmente, acabam se acostumando, assim como com algumas grandezas estranhas, como vetores deslocamento angular (innitesimal), velocidade angular, momento angular, torque e campo magn etico. claro que a abordagem acima discutida, padr E ao nos textos did aticos, n ao pode ser criticada quanto a sua estrat egia pr atica ou pragm atica: d a-se uma deni c ao e passa-se ao estudo das consequ encias formais. Por em e certo que h a uma lacuna pedag ogica: algo que o aluno n ao entende e n ao tem tempo para pensar, devido ` a sequ encia da mat eria e isso envolve n ao s o o produto em si, mas, principalmente, grandezas f sicas t ao importantes como as acima referidas. Anal, de onde vem essa deni c ao t ao espec ca e t ao u til na pr atica? Por que a deni c ao e essa e n ao outra? Tudo isso tem um fundamento matem atico e/ou um signicado mais amplo? O produto vetorial tem algo a ver com o escalar? N ao e poss vel unic a-los? E poss vel generaliz a-los para outras dimens oes? O objetivo deste trabalho e apresentar uma revis ao did atica sobre as origens hist oricas das deni c oes dos produtos escalar e vetorial, destacando aspectos formais envolvidos e de certas modica c oes que acabaram resultando no que hoje se conhece popularmente como algebra vetorial. Como veremos, as express oes desses produtos est ao associadas ao conceito formal de quat ernion, introduzido por William Rowan Hamilton em 1843 [3, 4] e de certas adapta c oes feitas por Josiah Willard Gibbs e Oliver Heaviside na d ecada de 1890 [5-7]. Em princ pio, n ao h a nada de novo em se abordar as interfaces entre algebra de quat ernions e algebra de Gibbs-Heaviside, uma vez que, como veremos e citaremos, o assunto j a foi bastante discutido e tamb em debatido na literatura (e continua sendo). O aspecto que entendemos original diz respeito ` a estrat egia e ` a t atica do texto, como explicado a seguir. Pressupomos do leitor apenas a familiariza c ao com as deni c oes de espa co vetorial, deni c oes usuais dos produtos escalar

e vetorial e com as opera c oes elementares envolvendo n umeros complexos (os dois u ltimos t opicos ser ao revisados). Discutimos de forma did atica as motiva c oes que levaram Hamilton ao desenvolvimento da algebra de quat ernions, bem como os conceitos e resultados b asicos desse formalismo. Em seguida, focalizamos nas express oes do produto de quat ernions, mostrando explicitamente as origens das deni c oes usuais dos produtos escalar e vetorial atrav es de modica c oes que n ao possuem justicativas formais na algebra de quat ernions. Como material adicional, apresentamos coment arios hist oricos e t ecnicos sobre o desenvolvimento da algebra na segunda metade do s eculo XIX, destacando os questionamentos ` as adapta c oes de Gibbs e Heaviside e citando algebras mais avan cadas de amplas aplica c oes pr aticas. Com isso esperamos que o texto seja especialmente u til aos alunos no in cio dos cursos prossionais (segundo/terceiro ano), os quais, talvez por falta de tempo e/ou de informa c oes adequadas, acabam se acostumando com as deni c oes, embora sintam ainda o desconforto da inc ognita. Num sentido mais amplo, esperamos contribuir com o desenvolvimento da atitude cr tica por parte dos alunos (e tamb em dos professores), evitando a simples aceita c ao de uma deni c ao ad hoc, que possui sutis implica c oes f sicas e matem aticas. O texto e organizado como segue. Na se c ao 1 revisamos as deni c oes usuais dos produtos escalar e vetorial e de suas express oes em coordenadas retangulares (cartesianas). Na se c ao 3 tratamos dos quat ernions, resumindo as motiva c oes que levaram Hamilton ` a sua formula c ao, apresentando as bases formais dessa algebra e a estrutura alg ebrica do produto de quat ernions. Na se c ao 4, comparamos e contrastamos os produtos de quat ernions com os produtos escalar e vetorial, destacando as adapta c oes b asicas efetuadas por Gibbs e Heaviside. Na se c ao 5 reunimos discuss oes sobre essas adapta c oes, os aspectos matem aticos envolvidos, o debate hist orico a respeito das diferentes interpreta c oes e comentamos algumas refer encias did aticas b asicas [812] e recentes [13-18], nas quais o assunto pode ser aprofundado. Nossas conclus oes s ao apresentadas na se c ao 6.

2.

Multiplica c ao de vetores na algebra vetorial

Revisamos aqui as deni c oes padr oes dos produtos esoes desses produtos calar e vetorial ([1, 2]) e das express no sistema de coordenadas retangulares. A nota c ao introduzida ser au til para a compara c ao com o produto de quat ernions, a ser tratado na se c ao 3. 2.1. Deni c oes padr oes

Sejam r1 e r2 dois vetores do espa co euclidiano tridimensional R3 e seja o menor angulo entre eles. Para

Sobre as origens das deni c oes dos produtos escalar e vetorial

2305-3

= 0 os dois vetores denem um plano e podemos pensar, por exemplo, em vetores posi c ao de duas part culas em repouso. 2.1.1. Produto escalar

Utilizando as propriedades associativa e distributiva da multiplica c ao em rela c ao ` a adi c ao, bem como os resultados das Eqs. (1) e (2), obtemos as express oes tamb em conhecidas para os produtos escalar r1 r2 = x1 x2 + y1 y2 + z1 z2 , e vetorial r1 r2 = (y1 z2 z1 y2 ) x + (x2 z1 z2 x1 ) y + (x1 y2 y1 x2 ) z. (5) (4)

O produto escalar de r1 por r2 , representado por r1 r2 , e o escalar denido por r1 r2 r1 r2 cos , onde ri = |ri |, i = 1, 2 s ao os m odulos dos vetores. Decorre da deni c ao que o produto escalar e comutativo: r1 r2 = r2 r1 . Esse produto e tamb em denominado produto interno. 2.1.2. Produto vetorial

3.

Quat ernions

O produto vetorial de r1 por r2 , representado por r1 r2 , e o vetor que possui - m odulo |r1 r2 | = r1 r2 sen ; - dire c ao perpendicular ao plano determinado por r1 e r2 ; - sentido convencionado pela regra da m ao direita: curvando-se os dedos da m ao direita no sentido do primeiro vetor (r1 ) para o segundo vetor (r2 ), ao longo do menor angulo, o polegar estendido d a a dire c ao e sentido do vetor resultante r1 r2 . Decorre da deni c ao que o produto vetorial e anticomutativo: r1 r2 = r2 r1 . Esse produto e tamb em denominado produto externo. 2.2. Express oes em coordenadas retangulares

Os quat ernions s ao, essencialmente, generaliza c oes de n umeros complexos para quatro dimens oes. Nesta Se c ao revisamos as motiva c oes que levaram ` a sua introdu c ao, a deni c ao formal e, mais importante, a express ao do produto de um tipo especial de quat ernion, o qual, na se c ao 4, ser a comparado com os resultados acima, (4) e (5), da algebra vetorial. 3.1. Motiva c ao e origem dos quat ernions

Considerando o sistema de coordenadas retangulares (cartesiano), denotemos as coordenadas x, y, z , e a base de vetores ortonormais por {x , y , z }. Das deni c oes acima dos produtos escalar e vetorial decorrem os resultados conhecidos envolvendo os versores da base: x x =y y =z z = 1, x y =x z =y z = 0,

Iniciamos recordando algumas propriedades associadas aos n umeros complexos que ser ao a seguir generalizadas para o caso de quat ernions. Sabemos que os n umeros complexos tiveram origem nas solu c oes de equa c oes alg ebricas que implicavam em raiz quadrada de n umeros negativos, por exemplo, x2 + 1 = 0. Esse problema do discriminante negativo, j a conhecido no s eculo XVI, foi tratado no in cio do s eculo XIX por Hamilton (e independentemente por Karl Friedrich Gauss) na forma de pares ordenados (a, b) de n umeros reais a e b. Com as deni c oes de igualdade, soma e produto de pares ordenados (a, b) e (c, d), (a, b) = (c, d) implica em a = c e b = d, (a, b) + (c, d) = (a + c, b + d), (a, b)(c, d) = (ac bd, ad + bc), estabelece-se [19] uma algebra dupla, isto e, com duas componentes. Na pr atica, as opera c oes com esses pares ordenados s ao mais simples atrav es da introdu c ao da chamada unidade imagin aria, denotada i e denida pelo produto ii = i2 = 1, (7) o que implica em i = 1. Com isso, representa-se um n umero complexo na forma a + ib onde a e a chamada parte real e b a parte imagin aria, ambas reais. Como sabemos, com a deni c ao (7) e as propriedade distributiva e associativa, decorre a estrutura do produto na Eq. (6).

(6)

(1)

x x = 0, x y = z , x z = y ,

y x = z , y y = 0, y z =x ,

z x =y , z y = x , z z = 0. (2)

Vamos expressar os vetores r1 e r2 na base retangular com a seguinte nota c ao r1 = x1 x + y1 y + z1 z , r2 = x2 x + y2 y + z2 z . (3)

2305-4

Menon

Uma propriedade importante dos n umeros complexos (principalmente para o que discutiremos a seguir) e a propriedade de fechamento : o resultado da adi c ao e multiplica c ao de dois n umeros complexos e tamb em um n umero complexo, isto e, um n umero com a mesma estrutura acima. Uma realiza c ao visual desses abstratos n umeros foi estabelecida em 1797 pelo top ografo noruegu es Gaspar Wessel (e posteriormente por Robert Argand em 1806): representam-se geometricamente os n umeros complexos por pontos no plano, tendo a e b por coordenadas associadas a dois eixos perpendiculares, denominados eixos real e imagin ario, respectivamente. Essa representa ca o tem muita semelhan ca com os vetores no plano (R2 ), embora as deni c oes de multiplica c ao no R2 ( algebra vetorial) e de n umeros complexos sejam completamente distintas (voltaremos a esse assunto na se c ao 5.2). Essa representa c ao permite tamb em uma interpreta c ao geom etrica para o produto de dois n umeros complexos, em particular de um n umero complexo pela unidade imagin aria: rota c ao de /2 radianos. Especicamente, considerando coordenadas polares, para z = rei e como i = ei/2 temos z = rei iz = ei/2 rei = rei(+/2) .

3.2.

Nota c ao e deni c oes

Vejamos como a algebra de quat ernions e formalmente estabelecida, isto e, como no caso dos complexos, quais as opera c oes que denem as unidades imagin arias. Vamos utilizar uma nota c ao conveniente para em seguida correlacionar com os resultados da se c ao 2. Representaremos um quat ernion pela letra q , os quatro n umeros reais associados por w, x, y e z (ordem alfab etica) e as tr es unidades imagin arias por i, j e k (ordem tamb em alfab etica), nota c ao esta (das unidades) t pica dos trabalhos de Hamilton. Com isso um quat ernion tem estrutura q = w + ix + jy + kz. (10)

De modo an alogo aos n umeros complexos, um quat ernion possui tamb em uma parte real (w), por em 3 partes imagin arias (x, y e z ). Hamilton introduziu denomina c oes para essas contribui c oes que s ao as mesmas atualmente utilizadas. A componente real foi denominada Parte Escalar do Quat ernion, denotada E (q ) (em ingl es, S (q )): E (q ) = w. (11)

A componente com unidades imagin arias foi denominada Parte Vetorial do Quat ernion, denotada V (q ): (8) V (q ) = ix + jy + kz As similaridades geom etricas entre n umeros complexos e vetores no plano e, por outro lado, a aus encia de correla c oes entre n umeros complexos e vetores no espa co tridimensional (R3 ), motivou Hamilton a buscar generaliza c oes dos n umeros complexos em 3 dimens oes. Uma id eia imediata, embora abstrata, e pensar numa segunda unidade imagin aria, digamos, j , com propriedade an aloga a i, isto e jj = 1, e considerar tripletos de n umeros reais e unidades imagin arias. Por exemplo, sendo a, b e c n umeros reais, i e j as unidades imagin arias e representando o tripleto por t, poder amos ter uma estrutura da forma t = a + ib + jc. (9) (12) e e tamb em referida como Quat ernion Puro. Assim, no caso geral, q = E (q ) + V (q ). Como na algebra dos complexos, o ponto central ea generaliza c ao de (7) no caso das 3 unidades imagin arias de modo a se obter uma algebra fechada. As regras fundamentais, obtidas por Hamilton, que denem a algebra fechada de quat ernions est ao contidas nos nove produtos das unidades imagin arias: i2 ij jk ki = = = = j 2 = k 2 = 1 k = ji i = kj j = ik.

Ser a que isso funciona? Em meados do s eculo XIX, Hamilton iniciou o estudo das generaliza c oes atrav es desses tripletos, mas deparou-se com um problema: com as regras acima introduzidas e outras que buscou estabelecer, os tripletos n ao obedecem ` a propriedade de fechamento no caso da multiplica c ao, o que leva, por exemplo, a uma algebra que n ao pode ser generalizada a outras dimens oes. Ap os 15 anos de estudos e v arias tentativas, descobriu que a introdu c ao de uma terceira unidade imagin aria, com propriedades, como veremos, bem denidas, levava a uma estrutura fechada. Esses novos objetos com quatro componentes e 3 unidades imagin arias foram introduzidos por Hamilton em 1843 e por ele denominados quat ernions.

(13)

Como relata Eves [20], Hamilton comentava que foi durante um passeio a p e em Dublin que intuiu a necessidade de quatro componentes, bem como as t abuas acima de multiplica c ao das unidades imagin arias, gravando a principal delas com um canivete numa pedra da ponte Proughm. Atualmente h a uma placa nesse local com os dizeres Here as he walked by on the 16th of October 1843 Sir William Rowan Hamilton in a ash of genius discovered the fundamental formula for quartenion multiplication i2 = j 2 = k 2 = ijk = 1 & cut it in a stone of this bridge.

Sobre as origens das deni c oes dos produtos escalar e vetorial

2305-5

3.3.

Multiplica c ao de quat ernions

O produto de dois quat ernions e estabelecido, de modo an alogo aos complexos, atrav es das propriedades associativa e distributiva da multiplica c ao em rela c ao ` a adi c ao, juntamente com as regras (13) que denem as unidades imagin arias. Para nossos prop ositos ser a suciente considerar um caso particular e fundamental, como veremos, que e o produto de dois quat ernions puros, isto e, com partes escalares nulas. 3.3.1. Produto de dois quat ernions puros

r1 r2 tem a mesma estrutura alg ebrica que V (q1 q2 ), se substituirmos as unidades imagin arias i, j e k pelos versores da base retangular x , y ez , respectivamente. Com isso, temos as associa c oes sugestivas r1 r2 E (q1 q2 ) (19)

r1 r2

V (q1 q2 )

(20)

Consideremos a seguinte nota c ao para dois quat ernions com partes escalares nulas q1 = V (q1 ) = ix1 + jy1 + kz1 , q2 = V (q2 ) = ix2 + jy2 + kz2 , E (q1 ) = 0 E (q2 ) = 0 (14) (15)

Utilizando as propriedades e regras acima referidas, e um exerc cio proveitoso para o leitor obter o resultado do produto q1 q2 . De fato, agrupando os termos em partes escalar e vetorial, obt em-se q1 q2 = (x1 x2 + y1 y2 + z1 z2 ) + i (y1 z2 z1 y2 ) + j (x2 z1 z2 x1 ) + k (x1 y2 y1 x2 ). (16)

De fato, esta e a origem hist orica das express oes que hoje conhecemos como produtos escalar e vetorial, denidos de forma pragm atica na algebra vetorial. A algebra de quat ernions, formalmente constru da por Hamilton com o objetivo de estabelecer um sistema fechado, se reduz ` a algebra de Gibbs-Heaviside atrav es de adapta c oes que, na pr atica, correspondem a - Separa c ao das partes escalar e vetorial do produto de dois quat ernions puros em dois produtos independentes, hoje conhecidos como escalar e vetorial; - Elimina c ao do sinal negativo presente na parte escalar do produto de dois quat ernions puros; - Substitui c ao das unidades imagin arias por versores da base retangular. Com isso, estabelecem-se as formas (4) e (5) em coordenadas retangulares, decorrendo ent ao as deni c oes padr oes da se c ao 2. Com essas deni c oes de produtos independentes e demais regras de igualdade e adi c ao, an alogas ` as (6), constr oi-se a algebra de Gibbs-Heaviside, a qual, como sabemos, possui amplas aplica c oes na F sica Cl assica (Mec anica Newtoniana e Eletromagnetismo). Embora tudo isso caracterize, de fato, as origens dos produtos escalar e vetorial e da popular algebra vetorial, e claro que neste ponto muita coisa ca ainda a desejar. Anal, o que levou esses autores a essas adapta c oes? Por que os quat ernions n ao s ao utilizados nos livros texto de f sica cl assica? Pode-se simplesmente adaptar coisas formalmente constru das, com eventual justicativa de se obter uma linguagem mais simples ou pr atica? Quais as implica c oes do desmantelamento dos quat ernions? H a inconsist encias ou inconvenientes? N ao h a a um elo perdido formal? De fato, as correla c oes e contrastes entre quat ernions e vetores envolvem v arias sutilezas conceituais e foram motivo de intenso debate entre os eminentes criadores das duas abordagens. Embora n ao seja nosso objetivo discutir explicitamente essas quest oes, apresentamos na pr oxima se c ao alguns coment arios hist oricos e informa c oes sobre o assunto, indicando refer encias espec cas, b asicas e recentes, nas quais as quest oes podem ser aprofundadas.

3.3.2.

Propriedade not avel

Nesse resultado alg ebrico temos uma propriedade not avel: o produto de dois quat ernions puros (s o parte vetorial) tem a estrutura de um quat ernion geral, isto e, com parte escalar E (q1 q2 ) = (x1 x2 + y1 y2 + z1 z2 ) e parte vetorial V (q1 q2 ) = + i (y1 z2 z1 y2 ) + j (x2 z1 z2 x1 ) k (x1 y2 y1 x2 ). (18) (17)

Isso mostra que n ao e poss vel tratar separadamente as partes escalar e vetorial, pois o produto de dois quat ernios puros (partes escalares nulas) gera, automaticamente, uma parte escalar.

4.

Correla co es entre os produtos

Comparando esses resultados (17) e (18) com os revisados na se c ao 2 sobre os produtos escalar e vetorial de dois vetores r1 e r2 , no contexto da algebra vetorial, Eqs. (4) e (5), vemos que r1 r2 tem a mesma estrutura alg ebrica que E (q1 q2 )

2305-6

Menon

5.

Coment arios

5.1. 5.1.1.

Nota c oes e s mbolos Versores

Inicialmente apresentamos algumas informa c oes sobre as origens de certas nota c oes e s mbolos correntes na algebra de Gibbs-Heaviside, destacando algumas desvantagens dessa abordagem. Em seguida, observamos que, embora popularmente denominada algebra vetorial, a algebra de Gibbs-Heaviside e apenas um caso particular de uma algebra vetorial (por isso utilizamos at e aqui as aspas) e discutimos o conceito geral e formal do que consiste uma algebra. Com esse conceito formal, situamos historicamente as adapta c oes de Gibbs-Heaviside, comentamos, resumidamente, o pol emico debate que isso causou, as algebras mais gerais de amplas aplica c oes f sicas, nossa vis ao pessoal do assunto e, por m, coment arios sobre algumas refer encias b asicas e recentes. Na Fig. 1 indicamos um esquema cronol ogico dos principais autores e obras que ser ao referidos a seguir.

Como lembramos anteriormente, o efeito geom etrico de se multiplicar um n umero complexo z por uma unidade imagin aria i e provocar em z uma rota c ao de /2 radianos. Pelo fato de a parte vetorial de um quat ernion possuir unidades imagin arias, Hamilton pensou no efeito de rota c ao (rotor ), introduzindo a denomina c ao versor para designar as unidades imagin arias i, j e k . Entretanto, as interpreta c oes de Gibbs e tamb em de Heaviside foram bem diferentes, pois esses autores entendiam um quat ernion puro como um elemento do espa co euclidiano R3 , introduzindo a denomina c ao vetor (e n ao parte vetorial do quat ernion, como denotado por Hamilton). No sistema de GibbsHeaviside, as unidades imagin arias s ao interpretadas como vetores unit arios, os quais, posteriormente, receberam a nota c ao original de Hamilton: versores. 5.1.2. } e a regra da m A base { i, j, k ao direita

Na algebra de quat ernions, i, j e k s ao unidades imagin arias, denidas pelas regras (13), que garantem a propriedade de fechamento. Ao se associarem versores a esses s mbolos, desprezando-se as regras acima de composi c ao, torna-se necess ario impor, ou postular, o modo pelo qual combinando-se, por exemplo, os versores ie j d e como resultado k . Essa e a origem da convencionada regra da m ao direita para o produto vetorial.2 5.1.3. Vetores, pseudovetores, escalares e pseudoescalares

Figura 1 - Esquema aproximado do per odo hist orico e das principais obras (e autores) referidas no texto. A primeira linha indica o ano, as linhas com os nomes e uma barra referem-se ao per odo do autor, os n umeros est ao associados ao ano da publica c ao ou apresenta c ao da obra principal (indicadas na parte inferior) e as duas barras verticais indicam o per odo do debate.
2 Observemos

Essa u ltima adapta c ao da algebra de quat ernions teve delicadas consequ encias na F sica: a necessidade de se associarem a certas grandezas f sicas dire c oes e sentidos estabelecidos por conven c ao. De fato, decorre da deni c ao de produto vetorial que, se tr es grandezas f sicas s ao correlacionadas por esse produto, uma delas, necessariamente, possui dire c ao e sentido convencionados. Assim, devem-se distinguir vetores que possuem dire c ao e sentido naturais (por exemplo, deslocamento, velocidade, acelera c ao, for ca, campo el etrico) denominados vetores polares ou simplesmente vetores, daqueles com dire c ao e sentido convencionados (por exemplo, deslocamento angular innitesimal, velocidade angular, momento angular, torque, campo magn etico), denominados vetores axiais (devido ao eixo de refer encia) ou c oes decorrem das conhecipseudovetores.3 Essas distin das rela c oes v = T = r, r F, L = r mv, F = q E + q v B.

}, ao inv que essa e a origem da nota c ao ainda utilizada por alguns autores para a base retangular: { i, j, k es de {x , y , z }, }. nota c ao esta mais intuitiva e sim etrica para compara c ao com outras coordenadas, por exemplo, esf ericas, {r , , 3 Os adjetivos polares e axiais foram introduzidos por Woldemar Voigt em 1896.

Sobre as origens das deni c oes dos produtos escalar e vetorial

2305-7

Mas n ao e s o isso. Sob a opera c ao de invers ao dos eixos coordenados, um vetor polar troca de sinal. Isso signica que, sob essa invers ao, o produto escalar de dois vetores polares preserva o sinal, (A) (B) = A B (por exemplo o trabalho determinado pelo produto escalar da for ca pelo deslocamento). Por outro lado, num produto triplo escalar (de vetores polares) o resultado troca de sinal (A) [(B) (C)] = A [B C] (por exemplo o volume de um paralelep pedo que tenha A, B e C por lados e origens num dos v ertices; essa ea raz ao pela qual se expressa esse volume pelo m odulo do produto triplo). Como consequ encia, temos tamb em outra distin ca o na algebra de Gibbs-Heaviside: escalares que preservam o sinal sob invers ao, denominados simplesmente escalares e os que trocam de sinal, denominados pseudoescalares. importante destacar que tudo isso n E ao e nenhuma requisi c ao, nem propriedade intr nseca, da natureza (isto e, da f sica, na concep c ao da palavra), mas uma consequ encia (imposi c ao) da linguagem utilizada. Em outros sistemas, como veremos adiante, n ao ocorrem essas distin c oes. 5.1.4. Os s mbolos e

espa cos de dimens ao 3 e n ao 2 ou 4, o que n ao e interessante nem do ponto de vista formal da algebra e nem de aplica c oes pr aticas, por exemplo o espa co-tempo quadridimensional da Relatividade Especial (voltaremos a essa limita c ao no que segue). 5.2. Algebra vetorial

Com rela c ao ao produto de quat ernions puros, Eq. (16), Gibbs e Heaviside deniram dois tipos diferentes e independentes de produtos, o produto vetorial, associado ` a parte vetorial do produto de dois quat ernions puros, V (q1 q2 ) e o produto escalar, identicado com o negativo da parte escalar, E (q1 q2 ). Para destacar o car ater independente que passavam a ter esses produtos, Gibbs introduziu as nota c oes e , eliminando o sinal negativo e separando, denitivamente (em sua algebra), os produtos escalar e vetorial. 5.1.5. Distin c oes entre quat ernions e vetores

importante ressaltar que n E ao h a nenhuma equivalencia formal entre a algebra de quat ernions e a de GibbsHeaviside. Quat ernions puros e vetores (de GibbsHeaviside) s ao objetos distintos, possuindo diferentes propriedades de simetria. Por exemplo, o produto de dois quat ernions n ao e comutativo, mas obedece a propriedade associativa. Por outro lado, o produto escalar e comutativo e n ao associativo e o produto vetorial e anti-comutativo e n ao e associativo. Al em disso, no sistema de quat ernions n ao h a nenhuma distin c ao entre vetores polares e vetores axiais e portanto, nem entre escalares e pseudoescalares. Outro aspecto peculiar do sistema Gibbs-Heaviside e o fato de o produto vetorial ser denido apenas para

O conceito formal e geral de vetor e estabelecido nos cursos de algebra linear, atrav es das propriedades que denem um espa co vetorial e o corpo (escalares) sobre o qual o espa co vetorial e denido. Essas propriedades dizem respeito somente ` as opera c oes de adi c ao e de multiplica c ao de escalares, no caso do corpo, e de vetores por escalares, no caso do espa co vetorial, al em das propriedades associativa, distributiva, elemento neutro, etc... [19]. Um vetor e, por deni c ao, um elemento do espa co vetorial, isto e, um objeto que obedece todas as propriedades que denem o espa co vetorial. Nesse contexto, vemos que a representa c ao elementar, referida em nossa introdu c ao, de grandezas com m odulo, dire c ao e sentido, diz respeito, de fato, a tipos muito particulares de vetores. importante destacar que o produto de vetores n E ao faz parte da deni c ao de espa co vetorial. A partir da deni c ao (ou inven c ao) de um produto de vetores num dado espa co vetorial, estabelece-se o que se denomina, formalmente, uma algebra vetorial. Por exemplo, sabemos que tanto os vetores do R2 como os n umeros complexos, obedecem as propriedades que denem um espa co vetorial. Entretanto as algebras associadas, estabelecidas pelas deni c oes de produtos de dois vetores (escalar, vetorial) e de dois n umeros complexos, s ao completamente diferentes devido ` as formas dos produtos. De fato, na representa c ao geom etrica, o produto de dois n umeros complexos do plano e um n umero complexo e portanto contido no mesmo plano. Em contraste, o produto de dois vetores na algebra de GibbsHeaviside nunca resulta num vetor do plano por eles denido: s o pode ser um escalar (elemento do corpo, formalmente associado ao conceito de funcional) ou um vetor normal ao plano e portanto n ao pertencendo a ele. Esse e o exemplo cl assico do n ao fechamento da algebra associada. Tamb em, denidos os produtos e demais propriedades, para matrizes, polin omios, etc., teremos as algebras vetoriais correspondentes, sendo estes exemplos obvios de vetores sem dire c ao ou sentido associados. 5.3. A algebra no nal do s eculo XIX

Como discutido por Evens [20], a Algebra teve origem na aritm etica, sendo caracterizada, em sua ess encia, pela substitui c ao de n umeros por letras. As opera c oes e propriedades de diferentes conjuntos num ericos (inteiros, reais,...) passavam a ser representadas por letras, implicando mais em uma aritm etica simb olica

2305-8

Menon

do que propriamente uma algebra. A desvincula c ao entre algebra e aritm etica aconteceu no momento em que se passou a estudar regras de opera c oes e propriedades de forma independente daquelas ditadas pelos conjuntos num ericos. Isso ocorreu na Inglaterra, no in cio do s eculo XIX, tendo como pedra fundamental o Tratado sobre Algebra de George Peacock, professor da Universidade de Cambridge, publicado em 1830. Como consequ encia, houve um desenvolvimento muito r apido e fundamental das algebras chamadas m ultiplas (v arias componentes), destacando-se algebra de quat ernions de Hamilton (1843), a primeira algebra que rompeu com o axioma da comutatividade, a algebra de extens ao de Grassmann (1844) e a algebra geom etrica de Clifford (1878) (sobre as duas u ltimas retornaremos adiante). Justamente durante toda essa efervesc encia algebrica, no u ltimo quartel do s eculo XIX, surge uma outra quest ao no terreno da F sica, que discutimos a seguir. 5.4. A quest ao da nota c ao pr atica

recursos pr oprios, uma apostila de t tulo Elementos de An alise Vetorial [5]. Nesse manuscrito trata explicitamente a separa c ao dos produtos escalar e vetorial, introduzindo as estruturas que revisamos na se c ao 2 e discutimos acima. Tratava-se da origem de uma aparente nova nota c ao ou nova linguagem para o estudo dos fen omenos eletromagn eticos. 5.5. Controv ersia e debate

Num bom sentido, talvez seja poss vel dizer que a primeira sugest ao para um desmantelamento da algebra de quat ernions aparece justamente numa das obras mais conhecidas e fundamentais da f sica, o Tratado sobre Eletricidade e Magnetismo de James Clerk Maxwell, publicado em 1873 [21]. Apesar de, nessa obra, Maxwell ressaltar a import ancia dos quat ernions como entidades matem aticas e utilizar as id eias conceituais envolvidas, ele n ao faz uso expl cito das opera c oes completas ou m etodos quaterni onicos. O ponto central e que, utilizando o formalismo por componentes, refere-se separadamente a vetores e escalares. Se Maxwell n ao utilizou explicitamente a algebra quaterni onica, seria essa abordagem matem atica, abstrata para muitos estudiosos n ao matem aticos, a linguagem adequada aos fen omenos tratados? Dada a import ancia fundamental da obra de Maxwell no campo da F sica, esse questionamento passa tamb em a ter import ancia destacada: infelizmente, como veremos a seguir, surgia um primeiro embate entre, digamos, matem atica formal, por em abstratae nota c ao pr atica para uso popular. Na epoca da publica c ao do Tratado de Maxwell, Josiah Willard Gibbs, professor de f sica matem atica na Universidade de Yale (e detentor do primeiro t tulo de doutor em engenharia nos EUA), trabalhava em problemas relacionados ` a qu mica e ` a termodin amica. Posteriormente, desenvolvendo trabalhos do pr oprio Maxwell e de Boltzmann, viria a se tornar um dos criadores da mec anica estat stica, com contribui c oes fundamentais no estabelecimento da rela c ao formal entre entropia e probabilidade. Ao que tudo indica, inuenciado pelo Tratado e tamb em pela algebra de extens ao de Grassmann (falaremos sobre ela adiante), Gibbs publica em 1881, com

No mesmo ano, Gibbs enviou c opias de sua apostila a uma centena de especialistas (v arios renomados) e dentre eles Oliver Heaviside e Peter Guthrie Tait. Heaviside, que teve como u nico emprego o de telegrasta na Inglaterra, viria a desenvolver um sistema vetorial an alogo ao de Gibbs. Ocupava-se, como independente, de problemas relacionados ao eletromagnetismo e ` a transmiss ao telegr aca. Seus artigos, publicados na revista The Electrician entre 1885 e 1887, constitu ram parte de seu livro Teoria Eletromagn etica, publicado em 1893 [7]. Peter Tait, professor de matem atica na Universidade de Edinburgo, foi um dos mais ardorosos defensores e divulgadores dos quat ernions, principalmente ap os a morte de Hamilton, ocorrida em 1865. Teve uma produ c ao intelectual destac avel, publicando 365 artigos sobre v arios temas e sendo tamb em autor ou co-autor de 22 livros [8]. A aprecia c ao de Tait sobre a apostila de Gibbs aparece s o em 1890, no pref acio da terceira edi c ao de seu livro sobre quat ernions, An Elementary Treatise on Quaternions [4]. O parecer e contundente: referese a Gibbs como um dos respons aveis pelo atraso no desenvolvimento dos quat ernions e especicamente sobre a apostila, como um tipo de monstro hermafrodito formado pelas nota c oes de Hamilton e Grassmann. A resposta de Gibbs a Tait aparece em artigo publicado na revista Nature, no ano seguinte [22] e a partir da , tem in cio um debate caloroso envolvendo defensores de quat ernions e de vetores, que se estende por quatro anos (1891-1894) e do qual tomam parte P.G. Tait, J.W. Gibbs, A. Macfarlane, A. McAulay, O. Heaviside, C.G. Knott, A. Lodge e R.S. Ball. N ao entraremos em detalhes sobre o assunto, mas na se c ao 5.8 indicamos refer encias onde trechos das publica c oes (em v arios pontos picantes) s ao reproduzidas e comentadas. Infelizmente essas discuss oes acabaram inuenciando outros autores ao longo dos anos, os quais parecem ver o assunto como uma disputa. Dois exemplos t picos, favor aveis a Gibbs-Heaviside, s ao os seguintes: Em artigo de 1966 publicado no American Journal of Physics, Stephenson arma no resumo do artigo [8] In the seventy years since this controversy, it is apparent that Gibbss work and point of view have been completely vindicated. No conhecido Curso de F sica de Berkeley, Kit-

Sobre as origens das deni c oes dos produtos escalar e vetorial

2305-9

tel, Knight e Ruderman, em nota hist orica no ap endice do Cap. 2 a respeito de Gibbs, citam o autor: Se tive qualquer sucesso em f sica matem atica, e porque, penso eu, consegui evadir diculdades matem aticas.[2]. Apenas para tomar um exemplo recente do outro lado, Jayme Vaz em artigo da RBEF arma que [13], a algebra vetorial de Gibbs nada mais e do que um apanhado de conceitos disfar cado sobre o manto de uma nota c ao falaciosa e num artigo posterior [14], Ocorre que esse produto vetorial n ao existe em espa cos bidimensionais ou quadridimensionais, por exemplo... uma estrutura matem atica cuja aplicabilidade se limite unicamente a um espa co tridimensional n ao pode merecer muito cr edito. 5.6. Hamilton, Grassmann, Cliord

fer encia a essas abordagens formais, coerentes, de amplas aplica c oes pr aticas (se c ao 5.8) e que foram desenvolvidas no nal do s eculo XIX. 5.7. Vencedores e vencidos?

O tempo mostrou que a aplicabilidade da algebra de quat ernions n ao se limita, como no caso da algebra de Gibbs-Heaviside, ` a f sica cl assica, sendo atualmente linguagem utilizada em relatividade [23], mec anica c oes em qu antica e teorias de campos [24], com aplica v arias areas das ci encias, como discutiremos na se c ao 5.8. Apesar de questionamentos a certas interpreta c oes de Hamilton [12, 16] (retornaremos a esse assunto tamb em na se c ao 5.8), os quat ernions constitu ram o passo inicial para o desenvolvimento de algebras mais avan cadas, que incluem importantes aplica c oes f sicas. Entre estas, destacam-se os trabalhos de Grassmann e Cliord. Em 1844 surge a primeira edi c ao do C alculo de Extens oes (Ausdehnungslehre ) [25], no qual Hermann G unther Grassmann (professor de escola secund aria em Estetino4 ), estende a id eia de quat ernions para n dimens oes, introduzindo o conceito de n umeros hipercomplexos e os produtos interno e externo em espa cos arbitr arios (n ao necessariamente ortogonais). Entretanto, n ao vendo exito ou aceita c ao de seu trabalho, abandona a matem atica, passando a dedicar-se ` a lingua e literatura s anscritas [20]. Poucos anos depois, William Kingdon Cliord (professor de matem atica da Universidade de Londres) desenvolve uma generaliza c ao da algebra de Grassmann, incorporando elementos de quat ernions. Seus trabaem vem a falecer lhos s ao publicados em 1877 [26], por dois anos depois, aos 34 anos, deixando, provavelmente, uma obra incompleta. Apesar disso a algebra de Clifford tornou-se um ramo da matem atica, sendo tema espec co de peri odico (Advances in Applied Cliord Algebras ) e s erie de confer encias a partir de 1986 (International Conference on Cliord Algebras and their Applications in Mathematical Physics ). Infelizmente, os livros atualmente adotados nos cursos de gradua c ao em F sica n ao fazem sequer re-

N ao obstante o intenso e caloroso debate em defesa deste ou daquele sistema que, como vimos, estendese at e os dias atuais, acreditamos que n ao se trata de nenhum caso de vencido ou vencedor. As duas abordagens s ao consistentes a partir de suas premissas e cumprem os prop ositos aos quais se prop oem. A nosso ver esse assunto encaixa-se muito bem na famosa frase do l osofo austr aco Ludwig Wittgenstein: Os limites de minha linguagem s ao os limites do meu mundo [27]. De fato, se entendermos limite como fronteira, a est a a diferen ca crucial entre as duas abordagens. Como claramente observado por Jayme Vaz, citado anteriormente, um dos problemas centrais de Gibbs-Heaviside e que se limita exclusivamente a espa cos tridimensionais e sabemos que, tanto a matem atica como a f sica v ao muito al em dessa fronteira. Voltaremos a esse assunto nas conclus oes. 5.8. Refer encias comentadas

Os aspectos aqui levantados e resumidamente discutidos, j a foram abordados por muitos autores, em diferentes contextos e com diferentes objetivos. Nesta Se c ao, apresentamos alguns coment arios sobre artigos e trabalhos que serviram de base para a elabora c ao deste texto. Neles, podem-se encontrar refer encias essenciais e adicionais sobre o assunto. Reginald Stephenson [8] trata da evolu c ao das algebras m ultiplas, discutindo de forma comparativa a algebra de quat ernions e o sistema de GibbsHeaviside; apresenta discuss oes sobre o operador vetorial nabla e os teoremas de Gauss, Stokes e Green . Alfred Bork [9] reproduz e comenta trechos de 20 artigos publicados por Gibbs, Heaviside, Tait, Knott e outros, deixando claro o n vel, at e certo ponto violento, do debate ocorrido no per odo 1891 a 1894. Barte van der Waerden [10], baseado nos trabalhos, nas cartas e anota c oes de Hamilton, discute em detalhe os passos que levaram ` a descoberta dos quat ernions, em especial os problemas dos tripletos (via tentativa e erro) e as solu c oes alcan cadas com a quarta componente. Freeman Dyson [11] ressalta o atraso que ocorre no desenvolvimento das ci encias quando h a um

4 Estetino, cidade alem a onde Grasmann nasceu, passou a pertencer ` a Pol onia ap os a Segunda Guerra Mundial (em alem ao Stettin, em polon es Szczecin ).

2305-10

Menon

div orcio entre f sicos e matem aticos. Exemplica essas oportunidades perdidas ou desperdi cadas atrav es de sete exemplos t picos, sendo um deles, o caso dos quat ernions e vetores (se c ao 5 do artigo). Simon Altmann [12] discute aplica c oes dos quat ernions no estudo de rota c oes, apresentando cr ticas contundentes a certas interpreta c oes de Hamilton (e seguidores); discute tamb em contribui c oes de Olinde Rodrigues (1794 - 1851) no estudo de rota c oes, as quais trazem embutidas estruturas quaterni onicas. Jayme Vaz introduz e discute de forma did atica e abrangente as algebras de Grassmann e Cliord em dois excelentes artigos da RBEF. No artigo de 1997 [13], trata a teoria n ao-relativ stica do el etron no contexto da algebra geom etrica (Clifford), ressaltando os equ vocos nas interpreta c oes da vari avel spin como efeito exclusivamente relativ stico, sem an alogo cl assico. Destaca tamb em as inconsist encias do sistema de Gibbs-Heaviside. No artigo de 2000 [14], a algebra de Cliord e utilizada no contexto da Teoria da Relatividade Restrita, demonstrando a eci encia dessa algebra, em especial no que concerne a generaliza c oes. Cibelle Silva, em sua tese de doutorado de 2002 [15], apresenta um estudo amplo e abrangente sobre o desenvolvimento dos conceitos f sicos e matem aticos relacionados ao eletromagnetismo nos s eculos XIX e XX. Em particular, o cap tulo 3 trata de forma detalhada a evolu c ao da algebra vetorial (em sua concep c ao geral) a partir dos quat ernions. Trata-se de excelente material de pesquisa hist orica, tendo sido a refer encia b asica e inspiradora deste trabalho. Cibelle Silva e Roberto Martins [16] discutem diferen cas entre vetores polares/axiais e quat ernions, relacionadas a propriedades intr nsecas e de simetria; destacam tamb em a utiliza c ao contradit oria dos s mbolos i, j e k como vetores e ao mesmo tempo versores. David Lewis [17], em artigo de 2006, destaca a import ancia dos quat ernions como origem da algebra n ao comutativa, discutindo de modo bastante formal a algebra de quat ernions e de biquat ernions (oct onions) sobre campos. Fornece tamb em refer encias interessantes e atuais sobre aplica c oes pr aticas em sistemas de navega c ao, anima c ao computadorizada, processamento de imagens e teoria de c odigos. Andre Gsponer e Jean-Pierre Hurni [18] apresentam uma extensa compila c ao bibliogr aca sobre artigos que, de alguma forma, envolvem o conceito de quat ernions (1.433 refer encias!). A lista,

de atualiza c ao constante, inclui n ao s o trabalhos que tratam exclusivamente de quat ernions e biquat ernions, mas tamb em as extens oes e decorr encias desses conceitos, como algebras de Grassmann, Cliord e outras, bem como aplica c oes em v arias areas da ci encia. Embora a lista seja apresentada em ordem alfab etica de sobrenome do primeiro autor, pode-se ter uma id eia clara e abrangente da import ancia atual desses formalismos como ferramenta fundamental (e formal) para a F sica. O contexto matem atico nos per odos hist oricos dos quais nos ocupamos e tratado em v arios livros sobre a hist oria da matem atica, destacando-se, na nossa opini ao, as obras de Howard Eves [20] e Carl Boyer [28]. Em particular, a evolu c ao das id eias sobre sistemas vetoriais e estudada no livro de Michael Crowe [29].

6.

Conclus oes e observa c oes nais

Neste trabalho revisamos, de forma resumida, as bases hist oricas (do ponto de vista formal, matem atico) que deram origem ` as deni c oes dos produtos escalar e vetorial, as quais s ao apresentadas de forma pragm atica nos livros did aticos dos cursos b asicos (e prossionais) em ci encias exatas. Embora o foco central tenha sido nas deni c oes desses produtos, apresentamos v arios coment arios sobre quest oes adjacentes, que n ao podem ser desvinculadas do assunto. Em especial, discutimos alguns aspectos hist oricos, citamos certas inconveni encias inerentes ` a algebra de Gibbs-Heaviside, bem como nos referimos a desenvolvimentos matem aticos mais avan cados, que possuem, atualmente, amplas aplica c oes pr aticas. Como vimos, um dos principais problemas com as interpreta c oes de Gibbs e Heaviside e sua limita c ao ao espa co tridimensional. Trata-se assim de uma algebra que poder amos classicar como pobre, no sentido de suas aplica c oes restritas. Entretanto, de um lado, n ao se deve com isso menosprezar a algebra de Gibbs-Heaviside (por exemplo, trancando matr cula nas disciplinas que tanto utilizam essa abordagem, ou pior ainda, mudando de curso). Como armamos antes, essa algebra cumpre os prop ositos aos quais se prop oe e esses, embora limitados, constituem arcabou co dos assuntos tratados nos cursos de gradua c ao em ci encias exatas e tecnol ogicas, demonstrando excelentes resultados pr aticos em f sica cl assica. Por outro lado, o que n ao se deve esquecer e que s o poderemos ultrapassar certos limites em nosso mundo expandindo nossa linguagem e isso faz parte intr nseca da hist oria da f sica e da matem atica, ali as, caracteriza essas duas ci encias essenciais. Galileu Galilei, um dos pais da f sica-matem atica, j a nos alertou, h a quase 400 anos, que, despidos da matem atica, vagamos per-

Sobre as origens das deni c oes dos produtos escalar e vetorial

2305-11

didos num obscuro labirinto [30]. Nesse texto, de 1623, Galileu refere-se a tri angulos, circunfer encias e outras guras geom etricas, ou seja, ` a linguagem mais avan cada de seu tempo e provavelmente n ao t ao popular entre seus colegas contempor aneos. As algebras de Grasmann e Cliord s ao j a idosas, remontando ao s eculo retrasado e suas aplica c oes pr aticas s ao incontest aveis [18]. Porque n ao consider alas nos curr culos universit arios? Como referido em nossa introdu c ao, esperamos que este texto possa contribuir com uma vis ao mais ampla por parte dos alunos, bem como com o desenvolvimento de uma atitude cr tica em rela c ao a assuntos tratados em aula. Por outro lado, acreditamos que seria tamb em importante que, ao se discutir a algebra vetorial, os professores se preocupassem em incentivar os alunos a leituras adicionais, permitindo a eles desvendar outras id eias e linguagens, que poder ao ser fundamentais no futuro.

[6] E.B. Wilson, Vector Analysis of J.W. Gibbs (Charles Scrines Sons, New York, 1901). [7] O. Heaviside, Electromagnetic Theory (Chelsea P.C., New York, 1971); Electrical Papers (Chelsea P.C., New York, 1970). [8] R.J. Stephenson, Am. J. Phys. 34, 194 (1966). [9] A.M. Bork, Am. J. Phys. 34, 202 (1966). [10] B.L. van der Waerden, Math. Magazine, 49, 227 (1976). [11] F.J. Dyson, Bulletin of the Am. Math. Society, 78, 635 (1972). [12] S.L. Altmann, Math. Mag. 62, 291 (1989); Rotations, Quaternions, and Double Groups (Clarendon Press, Oxford, 1986). [13] J. Vaz Jr., Revista Brasileira de Ensino de F sica 19, 234 (1997). [14] J. Vaz Jr., Revista Brasileira de Ensino de F sica, 22, 5 (2000). [15] C.C. Silva, Da For ca ao Tensor: Evolu ca o do Conceito F sico e Representa ca o Matem atica do Campo Eletromagn etico. Tese de Doutorado, Universidade Estadual de Campinas, 2002 (dispon vel em http://webbif. ifi.unicamp.br/teses). [16] C.C. Silva and R.A. Martins, Am. J. Phys. 70, 958 (2002). [17] D.W. Lewis, Irish Math. Soc. Bulletin, 57, 41 (2006). [18] A. Gsponer and J-P Hurni, arXiv:math-ph/0510059v4. [19] T.M. Apostol, Calculus (Editorial Revert e, Barcelona, 1977), segunda edici on. [20] H. Eves, Introdu ca o ` a Hist oria da Matem atica (Editora UNICAMP, Campinas, 2004). [21] J.C. Maxwell, A Treatise on Electricity and Magnetism, 1891 (re-edi ca o Dover, New York, 1954). [22] J.W. Gibbs, Nature, 43, 511 (1981). [23] H.T. Flint,Philos. Mag. 39, 439 (1920). [24] S. Adler, Quaternionic Quantum Mechanics and Quantum Fields (Oxford University Press, New York, 1995). [25] H. Grassmann, A New Branch of Mathematics: The Ausdehnungslehreof 1844 and Other Works (Open Court P. C., Chicago, 1995). [26] W.K. Cliord, Elements of Dynamics: A Introduction to the Study of the Motion and Rest in Solid Fluid Bodies (MacMillan, London, 1877). [27] L.J.J. Wittgenstein, Tratado L ogico-Filos oco. Investiga c oes Filos ocas (Funda c ao Calouste Gulbenkian, Lisboa, 1995). [28] C.B. Boyer, Hist oria da Matem atica (Edgard Bl ucher, S ao Paulo, 1974). [29] M.J. Crowe, A History of Vector Analysis: The Evolution of the Idea of a Vectorial System (Notre Dame University Press, London, 1967). [30] Galileu Galilei, O Ensaiador, Cole ca o Os Pensadores (Nova Cultura, S ao Paulo, 1987).

Agradecimentos
Sou grato a J. Vaz Jr. pelas cr ticas, coment arios e refer encias sugeridas, a C.C. Silva pelos coment arios e sugest oes, a C.D. Chinellato, E.G.S. Luna. M.L.T. Menon e J. Montanha pela leitura e revis ao do manuscrito. Agrade co tamb em ao arbitro da RBEF pelos coment arios, em especial, pela recomenda c ao das Refs. [10, 11, 18].

Refer encias
[1] M. Alonso, E.J. Finn, F sica: Um Curso Universit ario (Editora Edgard Bl ucher Ltda, S ao Paulo, 1972); K.R. Symon, Mec anica (Editora Campus, Rio de Janeiro, 1982); H.M. Nussenzveig Curso de F sica B asica 1 Mec anica (Editora Edgard Bl ucher Ltda, S ao Paulo, 2002); R.A. Serway and J.W. Jewett Jr. Princ pios de F sica 1 - Mec anica (Editora LTC, S ao Paulo, 2002); R.P. Feynman, R.B. Leighton and M. Sands, The Feynman Lectures on Physics (Addison-Wesley P.C., Reading, 1963); D. Halliday, R. Resnick e outros (qualquer das m ultiplas edi c oes). [2] C. Kittel, W.D. Knight and M.A. Ruderman, Curso de F sica de Berkeley, Volume 1, Mec anica (Editora Edgard Bl ucher Ltda, S ao Paulo, 1970). [3] W.R. Hamilton, Elements of Quaternions (Longman, London, 1889; re-edi ca o Chelsea P.C., New York, 1969); The Mathematical Papers of Sir Willian Rowan Hamilton (Cambridge U.P., Cambridge, 1967). [4] P.G. Tait, An Elementary Treatise on Quaternions (Cambridge University Press, Cambridge, 1890), 3rd edition; 1st edition, 1867; 2nd edition, 1873. [5] J.W. Gibbs, The Scientic Papers of J. Willard Gibbs (Dover, New York, 1961); L.P. Wheeler, Josiah Willard Gibbs, The History of a Great Mind (Yale University Press, New Haven, 1962).