Breve Hist oria da Algebra Abstrata

C esar Polcino Milies

Instituto de Matem atica e Estat stica Universidade de S ao Paulo Caixa Postal 66.281 05311-970 - S ao Paulo - Brasil polcino@ime.usp.br

Introdu c ao

A algebra, tal como apresentada hoje nos nossos cursos universit arios, costuma resultar de dif cil compreens ao aos nossos estudantes, precisamente por seu car acter abstrato. Normalmente, uma estrutura e denida a partir dos axiomas que a caracterizam e, logo depois, uma sucess ao aparentemente intermin avel de teoremas passa a ser deduzida destes axiomas. Muitas vezes, resulta dif cil para o aluno compreender porque a area se desenvolveu na direc ao em que ela e apresentada e porque alguns resultados s ao mais relevantes do que outros. Nesse sentido, um conhecimento da hist oria do assunto pode tornar claro porque e natural considerar uma determinada estrutura e n ao outra, um determinado conjunto de axiomas e n ao outro; porque algumas perguntas s ao mais relevantes do que outras. Na verdade, a hist oria mostrar a que muitas vezes o desenvolvimento de um dado assunto n ao foi linear nem simples, que os matem aticos levaram muito tempo para compreender a import ancia de um conceito e, ` as vezes, at e para admit -lo como v alido. A hist oria que pretendemos contar nestas p aginas e fascinante em mais de um sentido. N ao somente diz como determinadas id eias foram sendo introduzidas gradativamente na matem atica, como descreve tamb em o longo processo que levou esta ci encia na dire c ao de uma abstra c ao sempre crescente. Tamb em nos mostra que muitas vezes, um determinado conceito foi se impondo por for ca das circust ancias, como resultado de um ac umulo de descobertas que apontavam na sua dire c ao, mesmo apesar da resist encia de um bom n umero de matem aticos, muitos destes de primeira qualidade. A hist oria da matem atica est a intimamente ligada com o desenvolvimento de todas as areas da cultura humana e muitas vezes s ao motiva c oes vindas

ii de campos t ao diversos como a f sica, a losoa ou a arte, que determinam o progresso desta ci encia. Algumas destas inu encias, se bem que n ao todas, resultar ao aparentes nesta nossa hist oria. Este e um assunto que tem nos atra do de longa data, de modo que tratamos dele em outras oportunidades e alguns dos nossos escritos anteriores tiveram inu encia na reda c ao deste, particularmente [20], [21], [22] e [24]. E claro que algumas refer encias cl assicas de hist oria da matem atica tiveram tamb em grande inu encia no nosso trabalho, como [2], [3], [13] e [31]. Ao longo destas notas zemos refer encia tamb em a uma s eria de artigos sobre hist oria da algebra e alguns textos originais na esperan ca de indicar poss veis dire c oes de estudo ao leitor interessado.

Sum ario
1 Um panorama geral 1.1 Introdu c ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 O simbolismo alg ebrico . . . . . . . . . . . . . . . . . . . . 2 Os 2.1 2.2 2.3 2.4 campos num ericos Introdu c ao . . . . . . . . . . . . . . . . A necessidade dos n umeros complexos Progressos Ulteriores . . . . . . . . . . O Teorema Fundamental da Algebra . 3 3 5 13 13 16 18 21 25 25 26 28

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

. . . .

3 A abstra c ao em algebra 3.1 Introdu c ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2 O apego ` a aritm etica universal . . . . . . . . . . . . . . . . . . 3.3 A algebra abstrata . . . . . . . . . . . . . . . . . . . . . . . .

4 A descoberta dos quat ernios 31 4.1 N umeros Complexos. . . . . . . . . . . . . . . . . . . . . . . . 31 4.2 Quat ernios. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 5 Novas estruturas 5.1 Grupos e matrizes . . . . . . . . . . . . . . . . . . . . . . . . . 5.2 Teoria de corpos . . . . . . . . . . . . . . . . . . . . . . . . . . 5.3 An eis e Algebras . . . . . . . . . . . . . . . . . . . . . . . . . 39 39 42 46

SUMARIO

Cap tulo 1 Um panorama geral

1.1 Introdu c ao

Durante muit ssimo tempo, a palavra Algebra designava aquela parte da matem atica que se ocupava de estudar as opera c oes entre n umeros e, principalmente, da resolu c ao de equa c oes. Nesse sentido, pode-se dizer que esta ci encia e t ao antiga quanto a pr opria hist oria da humanidade, se levamos em conta que esta u ltima se inicia a partir da descoberta da escrita. De fato, tanto nas tabuletas de argila da sum eria quanto nos papiros eg pcios, encontramos problemas matem aticos que lidam com a resolu c ao de equa c oes. No Papiro Rhind, por exemplo, documento eg pcio que data aproximadamente do ano 1650 a.C. e no qual o escriba conta que est a copiando material que prov em do ano 2000 a.C., encontramos problemas sobre distribui c ao de mercadorias que conduzem a equa c oes relativamente simples. Surpreendentemente, descobrimos tamb em que os antigos babil onios sabiam resolver completamente equa c oes de segundo grau (veja, por exemplo o Cap tulo III de [3]). Desde os seus come cos, a algebra se preocupou sempre com a procura de m etodos gerais e rigorosos. Assim por exemplo, R.J. Gillings [9, Appendix I] comentando os m etodos que os eg pcios usavam para lidar com a resolu c ao de equa c oes diz: Os estudiosos da hist oria e losoa da ci encia do s eculo vinte, ao considerar as contribui c oes dos antigos Eg pcios, se inclinam para atitude moderna de que um argumento ou prova l ogica deve ser simb olico para ser considerado rigoroso, e que um ou dois exem3

CAP ITULO 1. UM PANORAMA GERAL plos espec cos usando n umeros escolhidos n ao podem ser considerados cienticamente s olidos. Mas isto n ao e verdade! Um argumento ou demonstra c ao n ao simb olico pode ser realmente rigoroso quando dado p[ara um valor particular da vari avel; as condi c oes para o rigor s ao que o valor particular da vari avel seja t pico e que uma conseq uente generaliza c ao para qualquer valor seja imediata. Em qualquer dos t opicos mencionados neste livro, onde o tratamento dado pelos escribas seguia estas linhas, ambos os requisitos eram satisfeitos de modo que os argumentos colocados pelos escribas s ao j a rigorosos... o rigor est a impl cito no m etodo.

Quando nalmente se desenvolveu uma nota c ao apropriada (empregando letras para reperesentar coecientes e vari aveis de uma equa c ao), foi poss vel determinar f ormulas gerais de resolu c ao de equa c oes e discutir m etodos de trabalho tamb em gerais. Por em, mesmo nestes casos, tratava-se de situac oes relativamente contcretas. As letras representavam sempre algum tipo de n umeros (inteiros, racionais, reais ou complexos) e utilizavam-se as propriedades destes de forma mais ou menos intuitiva. Como veremos adiante, a formaliza c ao destes conceitos de modo preciso s o aconteceria a partir do s eculo XIX. Foi precisamente nesse s eculo que alargou-se consideravelmente o conceito de opera c ao. Alguns autores da epoca n ao mais se restringem a estudar as opera c oes cl assicas entre n umeros, mas d ao ao termo um signicado bem mais amplo e estudam opera co es entre elementos, sem se preocupar com a natureza destes, interessando-se apenas com as propriedades que estas opera c oes vericam. A passagem da algebra cl assica para a assim chamada algebra abstrata foi um processo sumamente interessante. Representa n ao somente um progresso quanto aos conte udos t ecnico-ciet cos da disciplina como amplia consideravelmente o seu campo de aplica c ao e, o que e mais importante, implica - num certo sentido - uma mudan ca na pr opria concep c ao do que a matem atica e, da compreen c ao de sua condi c ao de ci encia independente e da evolu c ao dos m etodos de trabalho. J. Dieudonn e disse, em [1, Cap tulo III] que ... em matem atica, os grandes progressos estiveram sempre ligados a progressos na capacidade de elevarse um pouco mais no campo da abstra c ao e, na mesma obra, A. Lichnerowicz [1, Cap tulo IV] observou que e uma caracter stica da matem atica repensar

 1.2. O SIMBOLISMO ALGEBRICO

integralmente seus pr oprios conte udos e nisso reside, inclusive, uma condi c ao essencial para seu progresso. A hist oria da algebra abstrata ilustra perfeitamente estes pontos de vista.

Pode-se dizer que h a dois fatores que contribuiram fundamentalmente para o desenvolvimento da algebra: de um lado, a tend encia a aperfei coar as nota c oes, de modo a permitir tornar o trabalho com as opera c oes (e equac oes) cada vez mais simples, r apido e o mais geral poss vel e, por outro lado, a necessidade de introduzir novos conjuntos de n umeros, com o consequente esfor co para compreender sua natureza e sua adequada formaliza c ao.

1.2

O simbolismo alg ebrico

bem sabido que o uso de uma nota E c ao adequada e fundamental para o bom desenvolvimento de uma area da matem atica. Por em, a hist oria nos ensina que nem sempre e f acil chegar a uma tal nota c ao. Um bom exemplo vem dos pr oprios n umeros naturais. A numera c ao indo-ar abica que usamos ainda hoje come cou a ser desenvolvida na India e a primeira refer encia ao princ pio posicional aparece pela primeira vez na obra de Aryabhata chamada Aryabatiya, publicada em 499, onde encontramos a frase de lugar para lugar, cada um vale dez vezes o precedente. A primeira ocorr encia de fato se d a num objeto do ano 595, onde a data 346 aparece em numera c ao posicional e o registro mais antigo do uso do n umero zero se acha numa inscri c ao indiana de 876 d.C. A necessidade de uma nota c ao mais sosticada se manifestou pela primeira vez em rela c ao ` a resolu c ao de equa c oes alg ebricas. Como j a observamos, os eg pcios resolviam equa c oes de primeiro grau e algumas equa c oes particulares do segundo grau, enquanto que os babil onios conheciam o m etodo para resolver qualquer equa c ao de segundo grau. Tamb em os gregos resolviam este tipo de equa c oes, por m etodos geom etricos mas, em todos os casos, n ao havia nota c oes nem f ormulas gerais. E no s eculo IV d.C., na Aritm etica de Diophanto, que encontramos pela primeira vez o uso de uma letra para representar a inc ognita de uma equa c ao, que o autor chamava o n umero do problema. Como os manuscritos originas

CAP ITULO 1. UM PANORAMA GERAL

de Diofanto n ao chegaram at e n os, n ao sabemos com toda certeza quais os s mbolos que ele usava, mas acredita-se que representava a inc ognita pela letra , uma variante da letra quando aparece no m de uma palavra (por , exemplo, em o - arithmos). Esta escolha se deve provavelmente ao fato de que, no sistema grego de numera c ao, as letras representavam tamb em n umeros conforme sua posi c ao no alfabeto, mas a letra n ao fazia parte do sistema e n ao correspondia, assim, a nenhum valor num erico particular. Ele usava tamb em nomes para designar as v arias pot encias da inc ognita, como quadrado, cubo, quadrado-quadrado (para a quarta pot encia), quadrado-cubo (para a quinta) e cubo-cubo (para a sexta). O uso de pot encias superiores a tr es e not avel uma vez que, como os gregos se apoiavam em interpreta c oes geom etricas, tais pot encias n ao tinham um signicado concreto. Por em, de um ponto de vista puramente aritm etico, estas pot encias sim tem signicado e esta era a postura adotada por Diofanto. A partir de ent ao, os m etodos e nota coes de Diofanto foram se aperfei coando muito lentamente. Mesmo os s mbolos hoje t ao comuns para representar as opera c oes demoraram a ser introduzidos. Muitos algebristas usavam p e m para representar a adi c ao e a subtra c ao por serem as iniciais das palavras latinas plus e minus. O s mbolo = para representar a igualdade foi introduzido s o em 1557 por Robert Recorde e n ao voltou a aparecer numa obra impressa at e 1618. Autores como Kepler, Galileo, Torricelli, Cavalieri, Pascal, Napier, Briggs e Fermat, entre outros, ainda usavam alguma forma ret orica em vez de um s mbolo, como as palavras aequales, esgale, faciunt, gheljck ou a abreviatura aeq. Para uma hist oria detalhada da evolu c ao do simbolismo alg ebrico, o leitor pode consultar a refer encia cl assica de F. Cajori [4]. A nota c ao de expoentes e usada por Nicolas Chuquet (1445?-1500?) na sua Tripary, onde escreve express oes como 123 , 103 e 1203 para representar o que hoje escrever amos como 12x3 , 10x3 e 120x3 e tamb em 120 e 71m para 0 1 12x e 7x . Os primeiros passos para a introdu c ao do conceito de polin omio e seu uso para a formula c ao de problemas de resolu c ao de equa c oes foram dados por Simon Stevin (1548 - 1620). Nascido em Bruges, mudou para Leyden em 1582, foi tutor de Maur cio de Nassau e serviu o ex ercito holand es. Ele foi um defensor do sistema de Cop ernico e o primeiro a discutir e sugerir o emprego de fra c oes decimais (por oposi c ao ao sistema sexagesimal defendido por outros), na sua obra mais conhecida De Thiende, publicada em Flamengo em 1585 e traduzida ao franc es, sob o t tulo La Disme, no mesmo ano.

 1.2. O SIMBOLISMO ALGEBRICO

Al ele usou s mbolos como 0, 1, 2, etc. para indicar as posi c oes das unidades, d zimas, cent esimas, respectivamente. Assim por exemplo, ele escreve 875, 782 como 875 0 7 1 8 2 2 3 . No restante do livro, ele estuda as opera c oes entre d zimas e justica as regras de c alculo empregadas. O leitor interessado pode ver uma tradu c ao ao ingl es de De Tiende em [28, pp. 20-34]. No seu livro seguinte, L Arithmetique, publicado em 1585, ele introduz uma nota c ao exponencial semelhante para denotar as v arias pot encias de uma vari avel. As pot encias que n os escrever amos com x, x2 x3 etc. s ao denotadas 3 por ele como 0, 1, 2, e assim, por exemplo, o polin omio 2x + 4x2 + 2x + 5 se escreveria, na sua nota c ao como: 2 3+4 2+2 1+5 0 Ele denomina estas express oes de multin omios e mostra como operar com eles. Entre outras coisas, observa que as opera c oes com multin omios tem muitas propriedades em comum com as opera c oes entre n umeros aritm eticos. Ainda, ele mostra que o algor tmo de Euclides pode ser usado para determinar o m aximo divisor comum de dois multin omios. interessante destacar aqui que nos encontramos frente a dois progressos E not aveis na dire c ao da abstra c ao. De um lado temos a percepc ao, cada vez mais clara, de que os m etodos de resolu c ao de equa c oes dependem unicamente do grau da equa c ao e n ao dos valores dos coecientes num ericos (vale lembrar que autores como Tartaglia, Cardano e outros, que se utilizavam apenas de coecientes positivos, consideravam como problemas diferentes, por exemplo, as equa c oes da forma X 3 = aX + b e X 3 + aX = b). Mais importante ainda, vemos que Stevin trata seus multin omios como novos objetos matem aticos e estuda as opera c oes entre eles. Mais interessante ainda e o trabalho de Fran cois Vi` ete (1540 - 1603). Nascido em Fontenay-le Comte, teve forma c ao de advogado e, nesta condi c ao, serviu ao parlamento de Bretania em Rennes e foi banido de suas atividades, devido ` a oposi c ao pol tica, entre 1584 e 1589, quando foi chamado por Henri III para ser conselheiro do parlamento, em Tours. Nos anos em que esteve afastado da atividade pol tica, dedicou-se ao estudo da matem atica e, em particular, aos trabalhos de Diophanto, Cardano, Tartaglia, Bombelli e Stevin. Da leitura destes trabalhos ele teve a id eia de utilizar letras para representar quantidades. Isto j a tinha sido feito no passado, at e por autores como Euclides e Arist oteles, mas seu uso era pouco frequente.

CAP ITULO 1. UM PANORAMA GERAL

Sua principal contribui c ao ` a Algebra aparece no seu livro In Artem Analyticam Isagoge - Introdu c ao ` a Arte Anal tica - impresso em 1591, onde trata das equa c oes alg ebricas de um novo ponto de vista. Ele fez importantes progressos na nota c ao e seu verdadeiro m erito est a em ter usado letras n ao somente para representar a inc ognita, mas tamb em para representar os coecientes ou quantidades conhecidas. Ele usava consonantes para representar quantidades conhecidas e reservava as vogais para representar as inc ognitas. Deixamos Vi` ete descrever a grande descoberta com suas pr oprias palavras1
Este trabalho pode ser ajudado por um certo artif cio. Magnitudes dadas ser ao distinguidas das desconhecidas e requeridas por um simbolismo, uniforme e sempre f acil de perceber, como e poss vel designando as quantidades requeridas pela letra A ou por outras letras vogais A,I,O,V,Y e as dadas pelas letras B,G,D ou outras consonantes.

Assim por exemplo, a equa c ao que n os escrever amos como bx2 + cx = d era representada por ele na forma: B in A quadratum plus C plano in A aequalia D solido. Como Vi` ete pensava geometricamente, requeria, para suas equa c oes, um princ pio de homogeneidade, i.e., todos os termos de uma dada equa c ao deveriam ter a mesma dimens ao; assim por exemplo, todos os termos de uma equa c ao quadr atica, tal como a dada acima, deviam representar volumes. E por causa disso que o coeciente da vari avel C e acompanhado do adjetivo plano, pois devia representar uma area. Da mesma forma, D e acompanhado do termo s olido para enfatizar que representa um volume. Uma restri c ao ` a generalidade de sua nota c ao e que ele representava por letras apenas n umeros positivos e, como muitos dos seus predecessores, n ao utilizava coecientes negativos. John Hudde (1633 - 1704) foi o primeiro a usar, em 1657, letras para representar coecientes que podiam ser tanto positivos quanto negativos. Vi` ete chamava sua algebra simb olica de log stica speciosa por oposi c ao ` a log stica numerosa, que trata dos n umeros. E importante observar que Vi` ete tinha plena consci encia de que seu emprego de letras lhe permitia trabalhar com classes de equa c oes, por oposi c ao ao emprego de n umeros, que permite apenas trabalhar com um exemplo de cada vez. Com isso ele tornou expl cita
1

Vi` ete, Opera Mathematica 1646, p. 8.

 1.2. O SIMBOLISMO ALGEBRICO

a diferen ca entre Algebra e Artim etica: para ele, a Algebra - log stica speciosa - era um m etodo para operar com esp ecies ou formas de coisas e a Aritm etica - log stica numerosa - lidava apenas com n umeros. Tamb em tentou trabalhar algebricamente, provando, por exemplo, as identidades que os gregos tinham exibido por m etodos geom etricos. Assim, no seu Zeteticorum Libri Quinque - Cinco Livros de An alise2 - publicado em 1593, ele utiliza o m etodo de completar quadrados numa equa c ao de segundo grau e tamb em encontramos ali identidades gerais do tipo: a3 + 3a2 b + 3ab2 + b3 = (a + b)3 , que ele escreve na forma: a cubus + b in a quad. 3 + a in b quad.3 + b cubo aequalia a + b cubo. Ap os sua morte, seu amigo escoc es Alexandre Anderson fez publicar, em 1615, num s o volume, dois artigos de Vi` ete escritos em torno de 1591, intitulados De aequationem recognitione e De aequationem emendationem. 3
Vi` ete n ao usava o termo Algebra que, por ser de origem arabe, n ao considerava adequado para a Europa crist a; no seu lugar empregava o termo An alise que, devido talvez a sua inu encia, foi adotado depois como sin onimo de Algebra Superior. 3 Dois epis odios ilustram muito bem o talento matem atico de Vi` ete e fama que chegou a desfrutar ainda durante sua vida Em 1593, o matem atico belga Adriaen van Roomen (1561-1615) - ou Adrianus Romanus, na vers ao latinizada do seu nome - prop os a todos os matem aticos o problema de resolver uma determinada equa c ao de grau 45, do tipo:
2

x45 45x43 + 945x41 3795x3 + 45x = K. O embaixador dos Pa ses Baixos na corte de Fran ca armou ent ao que nenhum matem atico franc es seria capaz de resolver esta equa c ao. O rei, Henrique IV, fez Vi` ete saber deste desao e ele notou que a equa c ao proposta resultava de expressar a igualdade K = sen(45.) em termos de x = sen e conseguiu achar, nessa primeira audi encia, uma raiz positiva. No dia seguinte, ele achou todas as 23 ra zes positivas da equa c ao. Van Roomen cou t ao impressionado que fez uma visita especial a Vi` ete. Este publicou sua solu c ao em 1595, num tratado intitulado Ad problema, quod omnibus mathematicis totius orbis construendum propusuit Adrianus Pomanus, responsum. Outro epis odio que ilustra sua extraordin aria capacidade e o seguinte. Durante a guerra com a Espanha, ainda a servi co de Henrique IV, ele pode decifrar o o c odigo utilizado pelos espanhois a partir de cartas que foram interceptadas e, dali em diante, conhecer o conte udo de novas cartas escritas nesse c odigo. Os espanhois achavam seu c odigo t ao dif cil de ser quebrado, que acusaram a Fran ca, perante o Papa, de usar feiti caria.

10

CAP ITULO 1. UM PANORAMA GERAL

O uso de letras para representar classes de n umeros e assim tratar das equa c oes de forma mais geral demorou a ser aceito. Um aperfei coamento desta nota ca o foi devido a Ren e Descartes (1596-1650) que, na sua obra intitulada utiliza pela primeira vez a pr atica hoje usual de utilizar as primeiras letras do alfabeto para representar quantidades conhecidas e as u ltimas, precisamente nesta obra que Descartes como x,y z para as inc ognitas. E apresenta as id eias que deram or gem ` a Geometria Anal tica, junto com as contribui c oes de Pierre de Fermat. Esse texto n ao foi apresentado como um livro independente mas como um ap endice da obra pela que seria mais conhecido, o Discours de la m ethode pour bien conduire sa raison et chercher la v erit e dans les sci ences, em 16374 A obra foi publicada em franc es e n ao latim, que era a linguagem cient ca universal da epoca. Frans Van Schooten (1615-1660), um matem atico holand es, publicou em 1649, em Leyden, uma tradu c ao ao latim que incluia material suplementar e que foi ampliada a dois volumes em 1654-1661. Foi devido a esta publica c ao e a a c ao de Von Schooten e seus disc pulos que a geometria cartesiana se desenvolveu rapidamente. Tal como Vi` ete, Descartes utilizava as letras para indicar apenas n umeros positivos, embora n ao hesitasse em escrever diferen cas de coecientes literais. O uso de letras para representar tanto n umeros positivos quanto negativos aparece pela primeira vez em 1637 numa obra de John Huddle (1633-1704) intitulada De reducrione a equationenum, que tamb em fez parte da edi c ao de Schooten da Geometria de Descartes de 1654-1661. O progresso nal, em rela c ao ao uso da nota c ao consistiu em usar uma letra tamb em para representar o grau de uma equa c ao. Nossa nota c ao moderna que utiliza expoentes negativos e fracion arios foi introduzida por Isaac Newton (1642-1727) numa carta dirigida a Oldenburg, ent ao secret ario da Royal Society, em 13 de junho de 1676, onde diz: Como os algebristas escrevem a2 , a3 , a4 , etc., para aa, aaa, aaaa, 3 4 etc., tamb em eu escrevo a1/2 , a2/3 , a5/4 para a, a2 , a5 ; e es1 1 1 , aa , aaa ,etc. crevo a1 , a2 , a3 , etc., para a Tamb em sua f ormula para o bin omio foi anunciada nesta carta, usando letras para representar inclusive expoentes racionais. Antes de Newton, j a
Neste livro ele descreve o uso da d uvida met odica como forma de tornar a id eias claras e precisas a partir das quais poderia-se chegar a conclus oes v alidas. Por esta e muitas outras contribui c oes, ele veio a ser considerado o pai da losoa moderna.
4

 1.2. O SIMBOLISMO ALGEBRICO

11

John Wallis (1616-1703) tinha usado expoentes literais, em 1657, em express oes tais como ARm ARn = A2 Rm+n ao tratar de progress oes geom etricas. O primeiro a usar o s mbolo + tal como o conhecemos foi Robert Recorde (1510-1558), que em 1557 publicou o primeiro texto de algebra da Inglaterra, chamado The Whetstone of Witte. Ali ele introduz o s mbolo dizendo:
I will sette as I doe often in woorke vse, a pair of paralleles or Gemowe 5 lines, of one length, thus :=, bicause no .2 thynges, can be moare equalle. (Usarei, como fa co frequentemente no trabalho, um par de linhas paralelas, do mesmo comprimento assim :=, porque duas coisas n ao podem ser mais iguais).

Este s mbolo n ao foi incorporado r apidamente; como vimos, Vi` ete, usava ainda, em 1589, a express ao aequalis e, mais tarde, o s mbolo . Descartes, em 1637, usava que provavelemente deriva de ae, usado como abreviatura de aequalis. Incidentalmente, vale a pena mencionar que os s mbolos + e - hoje usados para denotar adi c ao e subtra c ao respectivamente aparecem impressos pela primeira vez num texto de Johannes Widman, professor da Universidade de Leipzig nascido em torno de 1460. O sinal + deriva, aparentemente da palavra latina et, usada em v arios manuscritos para designar a adi c ao e o sinal - da letra m que, como vimos, era usada para abreviar minus. Eles s ao usados numa aritm etica comercial intitulada Rechenung au allen Kaumanschat que publicou em 1489, mas estes sinais j a aparecem em notas manuscritas de um aluno seu de 1486 que se conservam na biblioteca de Dresden (Codex Lips 1470). Eles foram aceitos gradativamente e j a Boaventura Cavalieri, um disc pulo de Galileo, na sua Exercitationes Geometricae Sex de 1647 os usa como se fossem familiares ao leitor.

Termo derivado de gemellus, g emeas, que ele j a usara na sua Pathemwaie to Knowledge para designar as paralelas.

12

CAP ITULO 1. UM PANORAMA GERAL

Cap tulo 2 Os campos num ericos

2.1 Introdu c ao

As or gens da no c ao de n umero ou opera c ao s ao t ao antigas quanto a pr opria cultura humana. Parece claro que os n umeros naturais; i.e., os elementos da seq u encia 0, 1, 2, 3, . . . desenvolveram-se a partir da experi encia cotidiana e os seu emprego foi generalizando-se gradativamente. Algo an alogo aconteceu com os n umeros racionais n ao negativos; i.e., os n umeros da forma a/b, onde a e b s ao n umeros naturais. J a encontramos o uso destes n umeros no Egito, na Babil onia, e os gregos zeram deles usos muito sosticados. Algo bem diferente aconteceu com os n umeros negativos. O primeiro uso conhecido dos inteiros negativos encontra-se numa obra indiana, devida a Brahmagupta, de 628 d.C. aproximadamente, onde s ao interpretados como d vidas. Desde seu aparecimento, eles suscitaram d uvidas quanto a sua legitimidade. Assim por exemplo, Stifel em 1543 ainda os chama de n umeros absurdos e Cardano, de quem nos ocuparemos adiante, os considerava soluc oes falsas de uma equa c ao. Uma coisa semelhante aconteceu com os n umeros irracionais; isto e, aqueles que n ao podem ser escritos na forma a/b com a e b n u meros inteiros; por a n a exemplo, os n umeros que hoje representamos como 2, 3, , e, etc. J epoca dos pitag oricos, no s eculo VI a.C. se sabia da exist encia de segmentos cuja medida n ao era um n umero racional: dado um quadrado de lado 1, podese provar facilmente que sua diagonal de ter medida igual a 2. Para autores como Pascal e Barrow, s mbolos tais como 2 representavam apenas magnitudes geom etricas que n ao tinham exist encia independente, e cuja medida 13

14

CAP ITULO 2. OS CAMPOS NUMERICOS

apenas podia ser aproximada por n umeros racionais. Tal e tamb em o ponto de vista assumido por Newton na sua Arithmeica Universalis, publicada em 1707. Quando a ci encia europ eia ainda n ao tinha clara a validade do emprego dos n umeros negativos ou dos irracionais, irromperam no mundo matem atico os n umeros que hoje chamamos de complexos. O fato de que um n umero negativo n ao tem raiz quadrada parece ter sido sempre claro para os matem aticos que se depararam com a quest ao. A rigor, uma equa c ao era vista como a formula c ao matem atica de um problema concreto; assim, se no processo de resolu c ao aparecia uma raiz quadrada de um n umero negativo, isto era interpretado apenas como uma indica c ao de que o problema originalmente proposto n ao tinha solu c ao. Como veremos, foram s o as equa c oes de terceiro grau que impuseram a necessidade de trabalhar com estes n umeros. Vejamos inicialmente alguns antecedentes. Um primeiro exemplo desta atitude aparece na Arithmetica de Diophanto. Aproximadamente no ano de 275 d.c. ele considera o seguinte problema:
Um tri angulo ret angulo tem area igual a 7 e seu per metro e de 12 unidades. Encontre o comprimento dos seus lados.

Chamando x e y o comprimento dos catetos desse tri angulo temos, na nossa nota c ao atual: 1 xy = 7 2 ; x2 + y 2 = (12 x y )2 .

Substituindo y em fun c ao de x obtemos a equa c ao: 24x2 172x + 336 = 0, cujas ra zes s ao: x= 43 167 . 12 Neste ponto Diophanto observa que s o poderia haver solu c ao se ( 172 )2 2 24 336. Neste contexto, e claro ao h a necessidade alguma de introduzir que n um sentido para a express ao 167. Na verdade, a primeira apari c ao escrita de um radical de um n umero negativo e um pouco anterior: ele aparece na Estereometria de Her on, matem atico grego do per odo Alexandrino, publicada aproximadamente em 75

 2.1. INTRODUC AO

15

d.c.. Num c alculo amide aparece a necessi sobre o desenho de uma pir dade de avaliar 81 144. A quest ao parece n ao causar nenhum problema simplesmente porque logo em seguida os n umeros aparecem trocados como e calculado aproximadamente como 7 16 144 81 = 63 que . 16 Novas refer encias ` a quest ao aparecem na matem atica indiana. Aproximadamente no ano 850 d.c., o matem atico indiano Mahavira arma:
. . . como na natureza das coisas um negativo n ao e um quadrado, ele n ao tem portanto raiz quadrada.

J a no s eculo XII o famoso matem atico Bhascara (1114-1185 aprox.) escreve:

O quadrado de um armativo e armativo; e a raiz quadrada de um armativo e dupla: positiva e negativa. N ao h a raiz quadrada de um negativo; pois ele n ao e um quadrado.

Tamb em na matem atica europ eia aparecem observa c oes desta natureza; Luca Paccioli, na sua Summa di Arithmetica Geometria, publicada em 1494, escreve que a equa c ao x2 + c = bx e sol uvel somente se 1 b2 c e o matem a4 tico franc es Nicolas Chuquet (1445-1500 aprox.) faz observa c oes semelhantes sobre solu c oes imposs veis num manuscrito n ao publicado de 1484. O pr oprio Cardano se deparou com este tipo de quest oes e, embora mantivesse a atitude dos seus contemporaneos, no sentido de entender que ra zes de n umeros negativos indicavam apenas a n ao exist encia de solu c oes de um determinado problema, pelos menos num caso ele deu um passo a mais. No Cap tulo 37 do Ars Magna ele considera o problema de dividir um segmento de comprimento 10 em duas partes cujo produto seja 40. | x | 10 x |

Se chamamos de x o comprimento de uma das partes, a outra ter a comprimento 10 x e a condi c ao do problema se traduz na equa c ao: x(10 x) = 40. Isto leva a equa c ao x2 10x + 40 = 0 cujas solu c oes s ao x = 5 15. Ele reconhece que o problema dado n ao tem solu c ao mas, talvez a t tulo de

16

CAP ITULO 2. OS CAMPOS NUMERICOS

curiosidade, ele observa que trabalhando com essas express oes como se fossem n umeros, deixando de lado as torturas mentais envolvidas e multiplicando 5 + 15 por 5 15 se obt em 25 (15) que e 40. Em consequ encia, ele chama estas express oes de ra zes sof sticas da equac ao e diz, a respeito delas, que s ao t ao sutis quanto in uteis.

2.2

A necessidade dos n umeros complexos

Raphael Bombelli (1526-1573) era um admirador da Ars Magna de Cardano, mas achava que seu estilo de exposi c ao n ao era claro (ou, em suas pr oprias palavras: ma nel dire f` u oscuro). Decidiu ent ao escrever um livro, expondo os mesmos assuntos, mas de forma tal que um principiante pudesse estud a-los sem necessidade de nenhuma outra refer encia. Publicou ent ao uma obra que viria a se tornar muito inuente, sob o t tulo de lAlgebra, em tr es volumes, em 1572, em Veneza. No cap tulo II desta obra, ele estuda a resolu c ao de equa c oes de grau n ao superior a quatro. Em particular na p agina 294 e seguintes, ele considera a equa c ao x3 = 15x + 4. Ao aplicar a f ormula de Cardano para o c alculo de uma raiz, ele obt em: 3 3 x = 2 + 121 + 2 121. Seguindo Cardano, ele tamb em chama esta express ao de sof stica mas, por outro lado, ele percebe que x = 4 e, de fato, uma raiz da equa c ao proposta. Assim, pela primeira vez, nos deparamos com uma situa c ao em que, apesar de termos radicais de n umeros negativos, existe verdadeiramente uma necess solu c ao da equa c ao proposta. E ario ent ao compreender o que est a acontecendo. Bombelli ao a possibilidade de que exista uma express concebe ent ao da forma a + b que possa ser considerada como raiz c u bica de 2 + 121 3 i.e., que verique (a + b) = 2 + 121. A forma em que ele calcula esta raiz e um tanto ubica de 2 121 peculiar; ele assume que a raiz c seja da forma a b . Como ele sabe que 4 deve ser raiz da equa c ao, tem que a + b + a b = 4. Neste ponto felizmente as quantidades n ao existentes se cancelam e obtemos a = 2. Com esse resultado, e muito f acil voltar ` a equa c ao (a + b)3 = 2 + 121 e deduzir que b = 1. Assim, ele

 2.2. A NECESSIDADE DOS NUMEROS COMPLEXOS obt em que

3

17

2+

121 = 2 + x=2+

1 e que: 1 = 4

1 + 2

e uma solu c ao da equa c ao dada. Claro que este m etodo n ao e verdadeiramente u til para resolver equa c oes, pois para o c alculo da raiz c ubica foi necess ario conhecer de antem ao a solu c ao, mas tem o m erito de explicar como se pode obter a solu c ao apesar de aparecer, no caminho, uma raiz quadrada de um n umero negativo. Bombelli percebeu claramente a import ancia deste achado. Ele diz:
Eu achei uma esp ecie de raiz c ubica muito diferente das outras, que aparece no cap tulo sobre o cubo igual a uma quantidade e um n umero. . . . A princ pio, a coisa toda me pareceu mais baseada em sosmas que na verdade, mas eu procurei at e que achei uma prova.
b 2 O caso em que ( a )3 > ( 2 ) , era chamado na epoca de casus irreducibilis 3 porque qualquer tentativa de calcular de fato o valor da inc ognita pela f ormula de Cardano-Tartaglia, sem conhece-lo antecipadamente leva, de novo, a equa ` c ao de terceiro grau original. Por em, este era, em certo sentido, o mais importante de todos, pois e justamente o caso em que a equa c ao considerada tem tr es ra zes reais. Bombelli justica seu estudo dizendo:

Isto pode parecer muito sosticado mas, na realidade, eu tinha essa opini ao, e n ao pude achar a demonstra c ao por meio de linhas [i.e. geometricamente], assim, tratarei da multiplica c ao dando as regras para mais e menos.

Ele utiliza a express ao pi` u di meno para se referir ao que n os denotariamos como +i e meno di meno para i. Ele enuncia ent ao o que chama de regras do produto:
Pi` u via pi` u di meno fa pi` u di meno, Meno via pi` u di meno fa meno di meno, Pi` u via meno di meno fa meno di meno, Meno via meno di meno fa pi` u di meno, Pi` u di meno via pi` u di meno fa meno, Meno di meno via pi` u di meno fa pi` u, Meno di meno via meno di meno fa meno.

18

CAP ITULO 2. OS CAMPOS NUMERICOS Literalmente, isto signica: +.(+i) .(+i) +.(i) .(i) (+i).(+i) (i).(+i) (i).(i) = = = = = = = +i i i +i +

interessante notar que Bombelli se deparava com a diculdade adicional E de n ao dispor de uma boa nota c ao. Ele utilizava p (plus) para indicar a soma; m (minus) para a subtra c ao; R (radix) para ra z quadrada e R3 para a raiz c ubica. Tamb em n ao dispunha de par enteses; nos seus manuscritos sublinhava express oes para indicar quais os termos afetados por um radical. Assim por exemplo, a express ao 3 2 + 121 era escrita na forma R3 | 2pR| 0m121 | |. Note que, como n ao escrevia diretamente n umeros negativos, ele escreve 121 como 0m121. Desta forma, a solu c ao da equa c ao discutida acima aparecia como: R3 | 2pR| 0m121 | | p R3 | 2mR| 0m121 | |. Tamb em e interessante observar que Bombelli n ao empregava s mbolo para igualdade; desta forma, a equa c ao em apre co era escrita como: I
3

eguale a 15 p.4.

2.3

Progressos Ulteriores

Faremos aqui um pequeno resumo da evolu c ao dos n umeros complexos, para que o leitor tenha uma vis ao global da hist oria do assunto. Come caremos listando alguns progressos na nota c ao para depois nos ocuparmos da evolu c ao dos conhecimentos. O s mbolo 1 foi introduzido em 1629 por Albert Girard.

2.3. PROGRESSOS ULTERIORES

19

O s mbolo i foi usado pela primeira vez para representar 1 por Leonhard Euler em 1777, apareceu impresso pela primeira vez em 1794 e se tornou amplamente aceito ap os seu uso por Carl Friederich Gauss em 1801.
Os termos real e imagin ario foram empregados pela primeira vez por Ren e Descartes em 1637. A express ao n umero complexo foi introduzida por Gauss em 1832.

Como observamos na se c ao anterior, a partir do trabalho de Bombelli, os n umeros complexos come caram a ser utilizados devido a sua obvia utilidade para resolver equa c oes de terceiro grau mas, ao mesmo tempo, era claro que tais n umeros n ao poderiam existir. A primeira tentativa de legitima c ao, via uma interpreta c ao geom etrica, e devida a John Wallis (1616 - 1703), contempor aneo de Newton e professor na Universidade de Oxford. Em 1673 ele publicou um tratado intitulado Algebra , em cujo cap tulo LXVI discute a impossibilidade da exist encia de quantidades imagin arias e compara esta 1 quest ao com a da exist encia de quantidades negativas : Depois de considerar diversos exemplos de n umeros negativos interpretados em termos de segmentos sobre uma reta orientada, ele tenta uma interpreta c ao para as quantidades imagin arias:
Agora, o que e admitido para linhas, deve, pela mesma raz ao, ser permitido tamb em para planos. Por exemplo: suponhamos que num local ganhamos do mar 30 acres, mas perdemos em outro local 20 acres: se agora formos perguntados quantos acres ganhamos ao todo a resposta e 10 acres, ou +10 (pois 30 20 = 10). . . . Mas se num terceiro local perdemos mais 20 acres, a resposta deve ser 10 (pois 30 20 20 = 10) . . . . Mas agora, supondo que esta plan cie negativa de 1600 square perches [20 acres correspondem a 1600 square perches, uma outra medida inglesa da epoca] tem a forma de um quadrado, n ao devemos supor que este quadrado tem um lado? E assim, qual ser a esse lado? N ao podemos dizer que e 40 e nem 40 . . . Mas sim que e 1600 (a suposta ra z de um quadrado negativo) ou 10 16 ou 20 4 ou 40 1.
1

N os citamos da transcri c ao de D. E. Smith [28]

20

CAP ITULO 2. OS CAMPOS NUMERICOS

Como era de se esperar, esta interpreta c ao n ao teve uma grande acolhida entre seus contempor aneos e nenhuma repercu c ao posterior.

Notemos que, no trabalho de Bombelli, este assume qua a ra z c ubica de um complexo e outro n umero complexo e, partindo desta suposi c ao e, aceitando implicitamente que as opera c oes entre complexos tem as mesmas propriedades que as opera c oes com reais, ele a calcula em certos casos particulares. Notemos que, at e aqui, nada garante que ra zes c ubicas - ou, em geral ra zes n- esimas de complexos - s ao, de fato, complexos. Tal como assinala M. Kline [13, pag. 595], no come co do s eculo XVIII a maioria dos matem aticos ainda acreditava que ra zes de diferente ordem de n umeros complexos levariam ` a introdu c ao de diferentes tipos de complexos. Abraham De Moivre (1667 - 1754) nasceu na Fran ca, mas viveu na Inglaterra a partir dos dezoito anos, quando o Edicto de Nantes, que protegia os Hugonotes, foi revogado. Estudou matem atica sozinho, ap os ler os Principia de Newton, chegando a se tornar membro de Royal Society e das academias de Paris e Berlim. Seu trabalho versou fundamentalmente sobre trigonometria, probabilidade e c alculo de anuidades. Em 1722, utilizando fatos que j a havia publicado em 1707, ele obteve um resultado que implica na f ormula que leva seu nome e que diz como calcular a raiz n- esima de um n umero complexo, que ele escreveu em casos particulares. Por em, ele nunca chegou a enunci a-la ou a demonstr a-la no caso geral. Esta tarefa coube a Leonhard Euler (1707 - 1754), considerado o mais prol co matem atico de todos os tempos. Numa carta endere cada a Jean Bernoulli, datada em 18 de outubro de 1740, ele arma que y = 2cos e y = eix + eix eram ambas solu c oes da mesma equa c ao diferencial (o que reconheceu atrav es do desenvolvimento em s erie das solu c oes) e que, portanto, deviam ser iguais. Publicou este resultado em 1743; explicitamente: cos = ei + ei 2 sen = ei + ei 2i

Em 1748 ele demonstrou a f ormula de De Moivre e extendeu sua validade para todo exponente n real. Com isso, a exist encia de ra zes no campo complexo cou denitivamente estabelecida. Obviamente, Euler compreendia e utilizava muito bem os n umeros complexos. O fato de ele pr oprio ter grandes d uvidas quanto a sua legitimidade ilustra claramente o status deste corpo n umerico na epoca. Diz ele na sua

 2.4. O TEOREMA FUNDAMENTAL DA ALGEBRA

21

Vollst andige Anleitung zur Algebra publicada primeiro em russo em 1768-69 e depois em alem ao em 1770 e que se tornou uma refer encia cl assica nesta area pelos pr oximos dois s eculos:
Desde que todos os n umeros conceb veis s ao maiores do que 0, ou menores do que 0 ou iguais a 0, e claro que a raiz quadrada de um n umero negativo n ao pode ser incluida entre os n umeros poss veis. Consequentemente, devemos dizer que estes s ao n umeros imposs veis. E esta circunst ancia nos conduz a tais n umeros, que por sua natureza s ao imposs veis, e que s ao chamados costumeiramente de imagin arios, pois eles s o existem na imagina c ao.

2.4

O Teorema Fundamental da Algebra

A quest ao de resolver equa c oes por radicais se tornou um problema central na algebra, especialmente a partir do s eculo XIV. Note que o fato de se ter uma f ormula para resolver equa c oes de um determinado grau pode n ao ser muito u til, do ponto de vista pr atico. Basta observar a f ormula de Cardano-Tartaglia para perceber que, salvo alguns casos particulares em que os coecientes s ao especialmente simples, a aplica c ao da f ormula implica em calcular ra zes quadradas e c ubicas, que certamente dever ao ser aproximadas. As ra zes reais destas equa c oes podem ser calculadas mais facilmente e com uma aproxima c ao melhor usando os m etodos do c alculo (por exemplo, o m etodo de Newton, ou de Role). A raz ao deste interesse e mais te orica. Tendo em vista a f ormula de De Moivre, provada por Euler, resultas claro que se uma equa c ao pode ser resolvida mediante opera c oes alg ebricas e radicais, ent ao suas solu c oes ser ao seguramente n umeros complexos e isso mostraria que novas amplia c oes dos campos num ericos n ao se fazem necess arias. Parecia natural se provar que uma equa c ao polinomial de grau n tem exatamente n ra zes. Ainda, um tal resultado seria u til pois o uso do m etodo da decomposi c ao em fra c oes parciais para integrar quocientes de polin omios levou naturalmente ` a quest ao de decidir se todo polin omio com coecientes reais pode, ou n ao, se escrever como o produto de fatores lineares e fatores quadr aticos, com coecientes tamb em reais. E interessante observar que nem todos os matem aticos acharam isso poss vel. J a num artigo publicado em 1702, no Acta Erudictorum, Gottfried Wilhem Leibniz (1646-1716), um dos criadores do c alculo, achou que tinha

22

CAP ITULO 2. OS CAMPOS NUMERICOS

um contra-exemplo; o polin omio X 4 + a4 , que ele decompunha como: X 4 + a4 = (X 2 a2 1)(X 2 + a2 1) = X +a 1 X a 1 X +a 1 X a 1

e armava que o produto de dois quaisquer destes fatores n ao dava uma express ao quadr atica com coecientes reais. Nicholas Bernoulli (16871759) corrigiu esta observa c ao em 1719, na mesma revista, mostrando que X 4 + a4 = X 2 + aX 2 + a2 X 2 aX 2 + a2 .

Por outro lado Euler armou explicitamente numa carta de 1 de outubro de 1742, dirigida a N. Bernoulli que um polin omio com coecientes reais, de grau arbitr ario, podia se decompor dessa forma. Este tamb em n ao acreditou na arma c ao e deu como contra-exemplo o polin omio x4 4x3 + 2x2 + 4x + 4 cujas ra zes s ao 1+ 2+ 3, 1 2+ 3, 1 + 2 3 e 1 2 3,

que ele acreditava, contradizera a arma c ao de Euler. Numa carta dirigida a Christian Goldbach (1690-1764), em 13 de dezembro de 1742, Euler observou se um polin omio com coecientes reais tem uma raiz complexa a + b 1 tamb em tem a conjugada a b 1 e que o produto x (a + b 1 ) x (a b 1) e uma express ao quadr atica com coecientes reais, o que aponta na dire c ao do resultado pretendido. Euler tamb em observa que isso e verdade para o aparente contra-exemplo de Bernoulli. Goldbach n ao acreditou na arma c ao de Euler e prop os como contraexemplo o polin omio X 4 + 27X 2 20. Euler ent ao mostrou a Goldbach que ele tinha cometido um erro e provou o resultado para polin omios de grau menor o igual a 6.

 2.4. O TEOREMA FUNDAMENTAL DA ALGEBRA

23

Ap os a observa c ao de Euler acima, a quest ao da fatora c ao de um polin omio ca reduzida a provar a exist encia de ra zes, uma vez que o resto e uma conseq u encia elementar. Este resultado e hoje conhecido como Teorema Fundamental da Algebra : Todo polin omio com coecientes reais admite pelo menos uma raiz complexa Jean Le Rond dAlembert (1717 - 1783) foi encontrado abandonado na porta da igreja de St. Jean Le Rond, na noite de 16 de novembro de 1717, com cujo nome foi batizado e foi criado por pais adotivos. Ap os estudar direito e medicina, decidiu dedicar sua vida ` a matem atica. Trabalhou em algebra, c alculo e sua aplica c oes, equa c oes diferenciais ordin arias e parcias, fun c oes de vari avel complexa, mec anica e din amica. Ele foi o primeiro a fazer uma tentativa de provar o teorema fundamental da algebra, em 1746. Sua id eia consiste em, dado um polin omio com coecientes reais f , determinar n umeros reais b e c tais que f (b) = c. Ent ao, ele prova que existem complexos z1 e w1 cujo m odulo e menor que o m odulo de c. Depois ele itera este processo para obter uma seq u encia que converge a uma raiz de f . Sua prova tem diversas falhas, mas as id eias nela envolvidas s ao interessantes. A pr oxima tentativa s eria e devida a Euler que, em 1749, no seu Recherches sur les racines imaginaires des equations, prova inicialmente que um n polin omio m onico de grau 2 pode-se decompor como o produto de dois polin omios m onicos de grau 2n1 . Como todo polin omio pode-se transformar num polin omio desta forma, multiplicando por um fator da forma axm , com a e m adequadaos, aplicando uma recorr encia baseada no resultado mencionado, o problema estaria resolvido. Infelizmente, Euler provou a exist encia de uma tal decomposi c ao com detalhes, para polin omios de grau 4 mas, no caso geral, deu apenas o esbo co de uma prova. Em 1772, Joseph Louis Lagrange (1736-1813) deu um longo argumento, baseado no seu trabalho com permuta c oes, tentando completar a prova de Euler. Por em, de certa forma, Lagrange assumia que existiam de fato n ra zes e que tinham as propriedades dos n umeros, com isso chegando a provar que as ra zes eram n umeros complexos.

24

CAP ITULO 2. OS CAMPOS NUMERICOS

Finalmente, a primeira prova realmente completa do Teorema Fundamen tal da Algebra foi dada por Carl Friederich Gauss (1777-1855) na sua tese de doutoramento, em 1799, intitulada Nova demonstra c ao do teorema que toda fun c ao alg ebrica racional inteira de uma vari avel pode ser decomposta em fatores reais de primeiro e segundo grau. Como observaram diversos autores, a u nica incorre c ao da tese est a no t tulo, uma vez que n ao se trata de uma nova demonstra c ao mas da primeira demonstra c ao realmente correta de tal fato. Ele come ca fazendo um estudo cr tico das provas anteriores, e apontando as falhas fundamentais de cada uma destas. De Euler, por exemplo, ele diz se a gente faz opera c oes com estas ra zes imposs veis, como se elas realmente existissem, e diz, por exemplo, que a soma de todas as ra zes do polin omio X m + aX m1 + bX m2 + e igual a a embora algumas delas possam ser imposs veis (o que realmente signica: se algumas delas s ao n ao existentes e est ao, portanto, faltando), ent ao eu s o posso dizer que eu desaprovo completamente este argumento. Mesmo a prova de Gauss, que usa propriedades do tipo topol ogico n ao pareceria completamente rigorosa ao leitor moderno pois, embora o argumento seja altamente original, ele depende de determinar a interse c ao de duas curvas. A prova, por em, est a substancialmente correta e nos resulta totalmente satisfat oria quando a parte anal tica e feita com o rigor que a que hoje estamos acostumados e que seria introduzido no s eculo seguinte. Ao longo de sua vida, Gauss deu mais tr es provas diferentes deste teorema. Estas e outras demonstra c oes hoje conhecidas podem-se ver num texto totalmente dedicado ao assunto [8].

Cap tulo 3 A abstra c ao em algebra

3.1 Introdu c ao

Pode-se dizer que o s eculo XIX foi um dos per odos aureos da matem atica e, em certo sentido, um dos mais revolucion arios desta ci encia. At e o in cio deste s eculo, a matem atica era denida como a ci encia da quantidade e das extens ao, sendo estas express oes claras refer encias ` a aritm etida e a geometria, respectivamente. Em 1829, Lobachevsky tornou p ` ublico o novo mundo da geometria n ao-euclidiana, liberando assim a geometria da depend encia do mundo sensorial. A partir de 1830, com a publica c ao da obra de Peacock, a algebra por sua vez, liberou-se de sua depend encia da aritm etica. E precisamente esta u ltima hist oria que estudaremos neste cap tulo. A profunda mudan ca no car acter da algebra se deu na Inglaterra, sob condi c oes muito particulares. A disputa entre Newton e Leibinz pela prioridade na descoberta do c alculo, em ns do s eculo XVII e in cios do s eculo XVIII, se extendeu rapidamente a todos os matem aticos da epoca. Os ingleses, naturalmene, respaldaram Newton enquanto os matem aticos do continente se alinharam com Leibniz. Isto criou uma separa c ao entre ambas comunidades cient cas e elas seguiram caminhos diferentes. Como o c alculo de Leibniz usava um simbolismo mais adequado, foi mais f acil desenvolver este ramo da ci encia no continente e assim, a hist oria nos ensina que, por um per odo de mais de um s eculo, os desnvolvimentos signicativos do c alculo se deram na europa continental. O isolamento brit anico levou a que seus matem aticos s o trabalhassem 25

26

EM ALGEBRA CAP ITULO 3. A ABSTRAC AO

naquilo que os interessava particularmente, n ao estando atrelados ao que acontecia no continente. Isso teve a consequ encia negativa de que o c alculo se desenvolveu ali de forma bem mais vagarosa. Ainda, como utilizava o simbolismo mais pesado devido a Newton, ele era apresentado de uma forma tal que sua compreens ao resultava dif cil para os estudantes. Por outro lado, este mesmo isolamento teve, como consequ encia positiva, a grande originalidade dos trabalhos ingleses da epoca.

3.2

O apego ` a aritm etica universal

Como j a mencionamos, a artitm etica tinha-se desenvolvido sobre bases que os matem aticos da epoca consideravem bem menos s olidas que as da geometria. Os n umeros negativos eram denidos com quantidades menores do que nada ou como as quantidades obtidas pela subtra c ao de uma quantidade maior de uma quantidade menor. Uma vez que a subtra c ao era denida como a retirada de uma quantidade de outra, tamb em esta segunda deni c ao era obviamente auto-contradit oria. Tentava-se justicar estes n umeros atrav es de analogias com d ebitos, ou com diferentes sentidos numa reta. No m do s eculo XVIII, dois professores da Univerisidade de Cambridge, Francis Masers (1731-1824) e William Frend, propuseram o abandono total dos n umeros negativos, alegando precisamente a falta de uma deni c ao adequada, o que fazia com que os resultados que envolviam estes n umeros tivessem pouco valor e levantava d uvidas quanto ` a legitimidade da algebra ` esse respeito, Frend escreveu: como ci encia. A Quando algu em n ao pode explicar os princ pios de uma ci encia sem refer encia a met aforas, e prov avel que ele n ao tenha pensado profundamente no assunto. Masers, em 1800, foi ainda mais enf atico: A ci encia da algebra ou aritm etica universal foi desgra cada e tornada obscura, triste e dif cil para os homens com gosto pelo racioc nio acurado e claro.

` ARITMETICA 3.2. O APEGO A UNIVERSAL

27

Eles propunham assim reduzir a algebra ` a aritm etica universal; isto e, a uma ci encia onde as letras representam apenas n umeros positivos e os sinais + e apenas opera c oes aritm eticas. E claro que, rejeitando o uso dos n umeros negativos rejeitavam tamb em as poss veis ra zes complexas das equa c oes e, com isso, toda a teoria de equa c oes desenvolvida no s eculo XVIII que culminou no Teorema Fundamental da Algebra, de Gauss, em 1799. Masers argumentava, por exemplo, que equa c oes do tipo X 2 + aX = b s o tinham uma raiz. Ele considerou o exemplo concreto da equa c ao X 2 + 2X = 15 armando que s o 3 era uma raiz e que o valor 5 n ao devia ser considerado. Por outro lado, observou que 5 e raiz de X 2 2X = 15 e que X 2 + 2X = 15 X 2 2X = 15 s ao arma c oes diferente, que n ao pode derivar das condi c oes de um mesmo problema. claro que outros matem E aticos da epoca relutavam em abandonar os n umeros negativos, levando em considera c ao a sua aplicabilidade. Argumentavam que, em vez de abandon a-los, era necess ario procurar sua adequada fundamenta c ao. Assim por exemplo Robert Woodhouse (1773-1827), um matem atico e f sico experimental da mesma Universidade de Cambridge, defendeu em 1801, perante a Royal Society, o seguinte ponto de vista: Realmente, uma quantidade negativa abstrata e inintelig vel, mas opera c oes com quaisquer car ater ou sinais levam a resultados corretos. Tais opera c oes devem ser v alidas em virtude de algum princ pio ou outro. Em 1806, tamb em Bu ee um imigrante franc es que morava em Londres, sugiriu que existem dois tipos de algebra:
A aritm etica universal, uma linguagem onde os s mbolos + e representam unicamente as opera c aos aritm eticas de adi c ao e subtra c ao. Uma longa matem atica (une longue math ematique), ou seja, uma linguagem na quel os s mbolos + e representam tamb em qualidades. Assim, um n umero seria a combina c ao de uma quantidade e uma qualidade.

28

EM ALGEBRA CAP ITULO 3. A ABSTRAC AO

Desta forma, quando algu em diz que um n umero e menor do que zero, isso faria sentido pois n ao e a quantidade que e menos do que nada, mas a qualidade que e inferior ` a nulidade e exemplica: Se meus d ebitos excedem meus ganhos, eu sou mais pobre do que se n ao tivesse ganhos nem d ebitos.

3.3

A algebra abstrata

O processo que levou ` a introdu c ao de um ponto de vista verdadeiramente abstrato em algebra teve in cio em 1815, quando v arios matem aticos da Universidade de Cambridge, como Charles Babbage (1792-1871), George Peacock (1791-1858) e John Herschel (1792-1878) fundaram a Analytical Society, uma sociedade cuja nalidade imediata era reformar o ensino do c alculo, adotando as nota c oes em uso no continente. Por em, sua contribui c ao fundamental foi repensar e discutir os fundamentos da algebra. Em 1830, Peacock publicou seu Treatise on Algebra onde tenta dar a esta disciplina uma estrutura l ogica compar avel ` a dada ` a geometria nos Elementos de Euclides; isto e, apresent a-la como o desenvolvimento abstrato das conseq u encias de um certo conjunto de postulados. A obra, que fora ampliada a dois volumes at e 1845, marca o verdadeiro in cio do pensamento axiom atico em algebra. No primeiro volume, Peacock tenta exibir as leis fundamentais da aritm etica, trabalhando apenas com n umeros e dando aos s mbolos + e - apenas o seu signicado ordin ario. No segundo volume, desenvolve uma Algebra Simb olica e as mesmas regras s ao aplicadas a s mbolos sem conte udo espec co. Para ele, a algebra era a ci encia que trata das combina c oes de s mbolos arbitr arios cujo sentido e denido atrav es de leis de combina c ao tamb em arbitr arias. Na aritm etica, as deni c oes das opera c oes determinam as regras. Na algebra simb olica, s ao as regras que determinam o sentido das opera c oes. No in cio da obra, que ele pretendia que fosse perfeitamente acess vel aos estudantes, argumentava que a aritm etica universal de Masers e Frend n ao podia ser aceita no lugar da algebra por ser a primeira muito restrita e haver, na segunda, grande quantidade de resultados e proposi c oes de valor e consist encia inquestion avel. Tamb em criticou o ensaio de Bou ee, por considerar que apelava por demais ` as interpreta c oes geom etricas e propunha solu c oes

 3.3. A ALGEBRA ABSTRATA muito vagas.

29

Augusto de Morgan (1806-1871), na sua Trigonometry and Double Algebra, publicada tamb em em 1830, assume o mesmo ponto de vista, deixando os s mbolos sem signica c ao pr e-estabelecida e, como ele mesmo diz, letras como A e B poderiam representar, por exemplo, virtudes ou v cios, e os s mbolos + e recompensas ou castigos. De Morgan descreve suas coloca c oes de um ponto de vista muito pr oximo das id eias modernas: Com uma u nica exce c ao, nenhuma palavra ou sinal em aritm etica tem um atomo de signicado neste cap tulo, cujo assunto s ao s mbolos e suas leis de combina c ao, dando uma algebra simb olica que pode tornar-se a gram atica de cem algebras diferentes e sig1 nicativas . Embora Peacock e De Morgan tenham de fato explicitado o ponto de vista abstrato em algebra, sua apresenta c ao tem ainda uma limita c ao. Os axiomas que eles utilizam s ao aqueles abstraidos da aritm etica. Eles n ao perceberam que a escolha poderia ser feita livremente, tornando a algebra independente da experi encia aritm etica, tal como a geometria n ao euclidiana tinha se tornado independente da experi encia sensorial, com a ado c ao de axiomas que n ao s ao verdades evidentes. Este u ltimo passo seria inspirado pelo desenvolvimento dos quat ernios, devido a Hamilton, de que trataremos no pr oximo cap tulo. O leitor interessado pode encontrar discuss oes mais detalhadas sobre o processo at e aqui descrito nos artigos de Dubbey [7], Pycior [25] e [26] e Richards [27].

A exce c ao a que De Morgan faz refer encia e o s mbolo = .

30

EM ALGEBRA CAP ITULO 3. A ABSTRAC AO

Cap tulo 4 A descoberta dos quat ernios

4.1 N umeros Complexos.

Foi no per odo de intensa atividade na dire c ao de uma crescente abstra c ao, de que tratamos no cap tulo anterior, que um not avel matem atico irland es, Sir William Rowan Hamilton (1805-1865), deu a fundamenta c ao denitiva dos n umeros complexos como pares ordenados de n umeros reais, tal como e apresentada atualmente. Hamilton foi uma crian ca prod gio; aos tr es anos de idade lia perfeitamente ingl es e aprendeu os rudimentos da aritm etica. Aos quatro aprendeu geograa, aos cinco sabia latim e hebraico e at e os dez anos de idade aprendeu italiano, franc es, arabe, s anscrito, persa, caldeu e v arias l nguas orientais. Aos doze interessou-se por matem atica. Estudou ent ao a Algebra Universalis de Newton e, antes dos dezessete, estudou a monumental Mecanique C eleste de Laplace na qual descobriu um erro e publicou a corre c ao correspondente. Ele fez importantes contribui c oes ` a f sica e ` a astronomia mas nos interessa aqui ocuparmo-nos de suas id eias matem aticas. Em 1833, aos 28 anos de idade, publicou Conjugate Functions and on Algebra as the Science of Pure Time. Nesse trabalho estabelece sua vis ao da Algebra como ci encia. Na sua opini ao a Algebra devia ser mais que uma linguagem; o fato de a Algebra ser uma ci encia signicava, para ele, que seus teoremas devem ser verdadeiros e n ao apenas demonstr aveis a partir de certas premissas; isto e, na sua vis ao, eles devem ter uma conex ao com a realidade. Ele acreditava que a intui c ao do tempo est a mais profundamente enra zada na mente humana que a do espa co e que esta deveria servir para 31

32

CAP ITULO 4. A DESCOBERTA DOS QUATERNIOS

fundamentar a Algebra; mais ainda, acreditava que as id eias b asicas sobre o tempo s ao aquelas de ordem e progress ao. Assim, ele introduziu o conceito de transi c ao, que a cada par de momentos (a,b) associa uma transi c ao T tal que T (a) = b. Sua vis ao sobre a Algebra, como ele mesmo reconhece, estava inspirada na Cr tica da Raz ao Pura de Kant. Mais tarde abandonaria este ponto de vista para aderir ` a vis ao mais formalista da escola inglesa. Por exemplo, em 1846 escreveu a Peacock: Minhas opini oes a respeito da natureza, extens ao e import ancia da ci encia simb olica podem ter se aproximado gradualmente das suas; e esta aproxima c ao pode se dever principalmente ` a inu encia de seus escritos e conversa c ao. Esta discuss ao, de cunho los oco, infelizmente escapa ao nosso assunto, mas o leitor interessado poder a consultar Winterbourne [34] e Ohstrom [16]. Sua reformula c ao da teoria dos n umeros complexos parte de uma observa c ao muito simples; ele nota que a express ao a + bi n ao denota uma soma genu na, do mesmo tipo que 2+3 e arma que o uso do sinal + e um acidente hist orico e, certamente, bi n ao pode ser adicionado a a. Assim, percebe que escrever um n umero complexo na forma a + bi n ao e mais do que dar o par ordenado de n umeros reais (a,b). A partir desta observa c ao, Hamilton desenvolve a teoria formalmente, denindo soma e produto de pares da forma que hoje nos e t ao familiar: (a, b) + (c, d) = (a + b, c + d) (a, b)(c, d) = (ac bd, ad + bc) Vale a pena observar que j a neste trabalho Hamilton adota um ponto de vista formal. Ele diz: Estas s ao minhas deni c oes e voc e n ao tem o direito de questionar sua propriedade. Se elas foram felizmente escolhidas ser a aparente quando suas implica c oes forem investigadas, pois a teoria dos pares sujeitos ` as opera c oes aqui denidas provar a ser abstratamente id entica ` a teoria desses n umeros complexos cuja fundamenta c ao l ogica e, de outra forma, t ao insegura.

 4.2. QUATERNIOS.

33

Um fato interessante, que mostra claramente at e que ponto era dif cil para a coletividade matem atica aceitar os n umeros complexos e o seguinte. V arios anos depois da fundamenta c ao dada por Hamilton, Agustin Louis Cauchy (1789 - 1857) deu, em 1847, uma outra constru c ao do corpo dos n umeros complexos. Ele observou que, se no anel dos polin omios reais R[X ] se consideram congru encias m odulo o polin omio X 2 +1, ent ao todo polin omio f (X ) e congruente a um polin omio da forma aX + b (porque o resto da divis ao 2 por X + 1 deve ser, no m aximo, de primeiro grau) e que classes de restos, neste caso, se somam e multiplicam seguindo exatamente as mesmas regras que os n umeros complexos. Mais ainda, tem-se que X 2 1 ( mod p ). Desta forma, ele exibiu um sistema alg ebrico isomorfo ao corpo dos n umeros complexos. O interessante e como ele explica as vantagens deste m etodo, que mostra at e que ponto a ideia de ter uma raiz quadrada de 1 ainda resultava inc omoda: Na teoria das equival encias alg ebricas, substituida pela teoria dos n umeros imagin arios, a letra i deixa de representar o s mbolo 1 que repudiamos completamente e que pode ser abandonado sem arrependimento uma vez que n ao sabemos o que este suposto signo signica nem que sentido atribuir a ele. Pelo contr ario, nos representamos pela letra i uma quantidade real mas indeterminada e ao substituir o s mbolo pelo s mbolo = transformamos o que foi chamado de uma equa c ao imagin aria numa equival encia 2 alg ebrica relativa ` a vari avel i e ao divisor i + 1. Como este divisor permanece o mesmo em todas aas f ormulas pode-se dispensar de escrev e-lo.

4.2

Quat ernios.

Como observamos acima, Hamilton era tamb em um f sico e percebia claramente as implica c oes de sua descoberta: ele tinha desenvolvido uma algebra que permitia trabalhar com os vetores do plano. Isto o levou a considerar um problema que seria fundamental para a f sica da epoca: desenvolver uma algebra de ternas que daria a linguagem para trabalhar com vetores do espa co.

34

CAP ITULO 4. A DESCOBERTA DOS QUATERNIOS

Ele trabalhou durante dez anos neste problema antes de descobrir onde estava a diculdade essencial. Uma carta a seu lho Archibald, de Outubro de 1843, revela sua obsess ao com a quest ao [10]: Toda manh a, quando descia para o caf e, teu irm ao William Edwin e voc e mesmo costumavam perguntar-me Bem, pai, voc e j a pode multiplicar ternas? A isso eu sempre me via obrigado a responder, com um triste balan co de cabe ca, N ao, eu apenas posso som a-las e subtra -las. Para compreender como poderia ser feita esta multiplica c ao, Hamilton escrevia suas ternas na forma a + bi + cj , por semelhan ca ao que era feito com os complexos e tentava desenvolver o produto (a + bi + cj )(x + yi + zj ) e represent a-lo como um elemento da mesma forma. Esperava ainda que o comprimento do produto de vetores fosse igual ao produto dos comprimentos, i.e., que a2 + b2 + c2 = x2 + y 2 + z 2 fato que chamou lei dos m odulos. 2 Para desenvolver o produto, assumiu naturalmente que i = j 2 = 1 mas a diculdade estava em determinar qual devia ser o valor dos produtos ij e ji. N ao discutiremos em detalhe as tentativas sucessivas para denir esses produtos; uma exposi c ao interessante encontra-se em [30]. Foi a tentativa de preservar a lei dos m odulos que lhe imp os nalmente a necessidade de trabalhar com uma dimens ao a mais, o que lhe resultava dif cil de admitir: e transferindo este paradoxo para a algebra devemos admitir um terceiro s mbolo imagin ario k , que n ao deve ser confundido com i ou j ... e fui assim conduzido a introduzir quat ernios tais como a + bi + cj + dk ou (a, b, c, d). Na mesma carta a seu lho, Hamilton descreve como foi a descoberta nal: Mas no dia 16 do mesmo m es [outubro de l843] - que era uma segunda-feira e dia de reuni ao do Conselho da Real Sociedade da Irlanda - eu ia andando para participar e presidir, e tua m ae andava comigo, ao longo do Royal Canal, ... , embora ela falasse comigo ocasionalmente, uma corrente subjacente de pensamento estava acontecendo na minha mente, que nalmente teve um resultado, cuja import ancia senti imediatamente. Pareceu como se

 4.2. QUATERNIOS. um circuito el etrico tivesse se fechado; e saltou uma fa sca, o heraldo de muitos anos vindouros de pensamento e trabalho dirigidos, por mim, se poupado, e de qualquer forma por parte de outros, se eu vivesse o suciente para comunicar minha descoberta. Nesse instante eu peguei uma libreta de anota c oes que ainda existe e z um registro naquela hora. N ao pude resistir ao impulso - t ao n ao los oco quanto possa ser - de gravar com um canivete numa pedra da ponte de Brougham, quando a cruzamos, a f ormula fundamental dos s mbolos i, j, k i2 = j 2 = k 2 = ijk = 1 que cont em a solu c ao do Problema.

35

Note que a rela c ao acima implica as conhecidas f ormulas que denem a multiplica c ao de s mbolos: ij = ji = k jk = kj = i ki = ik = j Uma vez denido o produto, Hamilton dene o conjugado = a + bi + cj + dk como sendo o quat ernio: = a bi cj dk. Logo em seguida dene o m odulo como sendo: |||| = = a2 + b2 + c2 + d2 e observa que |||| = 0 se e somente se = 0. Com estas deni c oes resulta imediato provar que dados dois quat ernios e , tem-se que || || = |||| || ||; isto e, vale a lei dos m odulos. Ainda, e f acil ver que, se = 0, ent ao o quat ernio 1 = 1 ||||

36

CAP ITULO 4. A DESCOBERTA DOS QUATERNIOS

e, de fato, o inverso de , uma vez que um c alculo simples mostra que = 1. Com a multiplica c ao denida dessa forma, o conjunto dos quat ernios constitui o primeiro exemplo de anel n ao comutativo, com divis ao. Claro que esta terminologia n ao estava ainda em uso, mas Hamilton reconheceu imediatamente a import ancia de sua descoberta, especialmente pelas suas implica c oes para o desenvolvimento da f sica. No dia seguinte, em 17 de outubro de 1843, Hamilton escreveu a seu amigo John T. Graves comunicando-lhe seus resultados. A semente de novos desenvolvimentos tinha sido plantada: em dezembro desse mesmo ano, Graves descobriu uma algebra de dimens ao 8, os oct onios. Havia, por em, uma not avel diferen ca: em julho de 1844 Hamilton lhe observou que a propriedade associativa valia claramente para os quat ernios mas n ao valia para os oct onios. Hamilton dedicou o resto de sua vida a desenvolver aplica c oes dos seus quat ernios ` a geometria, mec anica e f sica. Nesse per odo intoduziu termos como vetor , versor, tensor, escalar, que s ao t ao familiares ao estudante de matem atica de nossos dias. Como resultado deste trabalho publicou em 1853 suas Lectures on Quaternios e, em 1866, se editou em forma p ostuma um trabalho em dois volumes: Elements of Quaternios. Os quat ernios n ao vieram a ocupar o lugar que seu autor sonhava na f sica - compar avel ao papel desempenhado pelo c alculo na mec anica - mas, mesmo assim, tiveram import ancia decisiva em pelo menos dois sentidos. Por um lado, eles deram origem ao c alculo vetorial. Com efeito, Josiah Willard Gibbs (1839 - 1903) era professor de f sica-matem atica no Yale College e, numa tentativa de simplicar os m etodos dos quat ernios, escreveu, para uso de seus estudantes, um conjunto de notas intitulado Elements of Vector Analysis onde se exp oe o c alculo vetorial da forma hoje usual. Independentemente, Oliver Heaviside (1850 - 1925) que era um engenheiro especializado em telegraa, publicou, durante a d ecada de 1880 - 1890, uma s erie de artigos no jornal Electrician onde usava o c alculo vetorial que tinha desenvolvido, da mesma forma que Gibbs, simplicando os m etodos dos quat ernios para torn a-los acess veis aos engenheiros. Por outro lado, a descoberta teve um papel decisivo no desenvolvimento da Algebra. Do ponto de vista da abstra c ao crescente que estava ent ao em desenvolvimento, teve a virtude de assinalar que as leis fundamentais sugeridas pelos sistemas at e ent ao conhecidos, n ao eram dados aprior sticos que deviam ser sempre assumidos, uma vez que o conjunto dos quat ernios e o

 4.2. QUATERNIOS.

37

primeiro exemplo conhecido onde a ordem dos fatores altera o produto, i.e., a primeira algebra n ao comutativa. Mostrou tamb em claramente a possibilidade de estender ainda mais o conjunto das algebras conhecidas. Novos Exemplos. Como j a observamos, apenas dois meses ap os a descoberta dos quat ernios, Graves introduziu os oct onios. Este sistema foi redescoberto independentemente em 1845 por Arthur Cayley (1821 - 1895) e por essa raz ao os oct onios s ao conhecidos tamb em como N umeros de Cayley. Estava assim aberto o caminho para novas generaliza c oes. Em suas Lectures on Quaternios de 1853 Hamilton introduziu os Biquat ernios que nada mais s ao do que quat ernios com coecientes complexos e constituem assim uma algebra de dimens ao 8 sobre os reais. O pr oprio Hamilton demonstrou, nesse trabalho que esta algebra cont em divisores de zero (i.e., elementos n ao nulos a, b tais que ab = 0) e, consequentemente, ela n ao e uma algebra com divis ao. Ainda nesse mesmo texto ele desenvolve uma nova generaliza c ao que j a tinha iniciado num artigo nos Transactions of the Royal Irish Academy em 1848: os N umeros Hipercomplexos. Um sistema de N umeros Hipercomplexos e o conjunto de todos os s mbolos da forma: x1 e1 + x2 e2 + ... + xn en onde x1 , x2 , ...xn s ao n umeros reais - ou, eventualmente, complexos e e1 , e2 , ..., en s ao s mbolos, chamados de unidades do sistema. Tal como no caso dos quat ernios, a soma de dois elementos desta forma e denida somando coecientes correspondentes e, assumindo a propriedade distributiva, para denir o produto basta decidir como multiplicar as unidades entre si. Como o produto de duas destas unidades deve ser outro elemento do sistema, deve ser poss vel escrev e-lo na forma:
n

ei ej =
i=1

ak (i, j )ek

A estrutura multiplicativa do sistema e determinada ent ao dando os valores dos coecientes ak (i, j ) que, por causa disso, s ao chamados de constantes estruturais do sistema.

38

CAP ITULO 4. A DESCOBERTA DOS QUATERNIOS

Um outro matem atico desenvolveu paralelamente id eias muito similares. Hermann Gunther Grassmann (1809 - 1877), que n ao tinha demonstrado nenhum talento matem atico na sua juventude, nem tinha forma c ao universit aria em matem atica, tornou-se professor de matem atica de n vel secund ario e desenvolveu suas id eias antes de Hamilton, mas s o as publicou em 1844, um ano ap os a descoberta dos quat ernios. Nesse ano ele publicou seu Die Lineale Ausdehnungslehre onde exp oe suas id eias. Por em, seu estilo excessivamente abstrato e as doutrinas m sticas com que mistura a exposi c ao zeram com que seu trabalho permanecesse relativamente ignorado e tivesse pouca inu encia nos desenvolvimentos que se seguiram.

Cap tulo 5 Novas estruturas

5.1 Grupos e matrizes

Dois novos exemplos de estruturas alg ebricas, de enorme import ancia, foram introduzidos nos anos seguintes por Arthur Cayley. Ele tinha demonstrado talento matem atico desde sua juventude, foi eleito fellow do Trinity College de Cambridge e assistant tutor, mas abandonou a posi c ao tr es anos depois, pois, para continuar a carreira, deveria tomar h abitos religiosos. Passou os quinze anos seguintes trabalhando como advogado, mas sem deixar de se dedicar ` a matem atica. Nesse per odo publicou mais de 200 artigos cient cos e datam dessa epoca as contribui c oes que nos interessam. Cayley tinha uma not avel habilidade para as formula c oes abstratas: sabia ver a generalidade por tr as dos exemplos particulares e isto lhe permitiu ser o primeiro a formular o conceito de grupo abstrato. O estudo das permuta c oes se iniciou com os trabalhos de Joseph Louis Lagrange (1736 - 1813) sobre equa c oes alg ebricas em 1770, e foi logo seguido pelas contribui c oes de Paolo Runi (1765 - 1822) e Niels Henrik Abel (1802 - 1829). O primeiro a considerar explicitamente grupos de permutac oes foi Evariste Galois (1811 - 1832), que utilizou o termo grupo com seu sentido atual no seu trabalho, hoje cl assico, de 1830. Logo depois, Agustin Cauchy, que percebeu a import ancia intr nseca dos grupos de permuta c oes, escreveu uma s erie de artigos a respeito, no per odo de 1844 - 1846. Inu enciado pelo trabalho de Cauchy, Cayley foi o primeiro a formular a no c ao geral impl cita no caso particular. Ele deniu o 39

40

CAP ITULO 5. NOVAS ESTRUTURAS

conceito de grupo abstrato em 1854 num artigo intitulado On the Theory of Groups as depending on the symbolical equation n = 1 publicado no Philosophical Magazine. N ao nos ocuparemos aqui das contribui c oes deste artigo para o desenvolvimento da teoria de grupos; o leitor poder a ver uma breve discuss ao destes aspectos em [19] ou em [24, Cap tulo II]. Ao denir a no c ao de grupo abstrato, Cayley usou uma nota c ao multiplicativa e, para frisar o fato de que num grupo est a denida apenas uma u nica opera c ao, ele observa, que no seu conjunto, os s mbolos + e 0 n ao t em nenhum signicado. No m do artigo, por em, ele se coloca a quest ao de como introduzir a adi c ao. Para isso denota os elementos do grupo por letras gregas , , ... e considera combina c oes lineares formais do tipo a + b + ... que trata como elementos de um sistema hipercomplexo, i.e., dene a soma de dois elementos desse tipo somando coeciente a coeciente e a multiplica c ao distributivamente, a partir do produto de elementos do grupo. Ele ilustra sua deni c ao mostrando como multiplicar dois elementos da forma w + a + b + c + d + e onde 1, , , , , denotam os elementos do grupo n ao comutativo de ordem 6, cuja tabela de multiplica c ao ele tinha introduzido, nesse mesmo artigo. Dessa forma ele constr oi explicitamente, pela interesprimeira vez, o anel de grupo que hoje denotar amos como C[S3 ]. E sante notar que ele observa ainda que o sistema que ele acaba de construir e semelhante ao sistema dos quat ernios. Pouco tempo depois, Cayley introduziu um novo conceito cuja import ancia no desenvolvimento da matem atica seria dif cil exagerar: o conceito de matriz. Ele chegou a este conceito atrav es do seu estudo de invariantes sob transforma c oes lineares. Tal como ele mesmo diz: Eu certamente n ao cheguei ` a no c ao de matriz de forma alguma atrav es dos quat ernios; foi diretamente dos determinantes ou como uma forma conveniente de expressar as equa c oes: x1 = ax + by y1 = cx + dy Ele introduziu esta no c ao em 1855, num artigo intitulado Remarques sur la notation des fonctions alg ebriques. Certamente, os determinantes estavam em uso desde muito tempo antes, introduzidos em conex ao com a resolu c ao

5.1. GRUPOS E MATRIZES

41

de sistemas lineares. Eles foram utilizados pela primeira vez por Colin Maclaurin (1698 -1746) provavelmente em 1729 e publicados postumamente no seu Treatise of Algebra em 1748. Tal como Cayley observa, a id eia de matriz precede logicamente ` aquela de determinante, mas a ordem hist orica foi ao contr ario. Como ele estava interessado nas transforma c oes lineares, a composi c ao das mesmas lhe sugeriu naturalmente a deni c ao de produto de matrizes e, consequentemente, a de inversa de uma matriz. Em 1858 publica um segundo trabalho sobre o assunto: A memoir on the theory of matrices onde introduz a soma de matrizes e o produto por escalares. Aqui novamente a vis ao de Cayley lhe permitiu ver um novo sistema alg ebrico semelhante aos que vinham sendo desenvolvidos: Se ver a que as matrizes (considerando apenas as da mesma ordem) se comportam como quantidades; elas podem ser somadas, multiplicadas ou compostas: a lei de adi c ao de matrizes e precisamente semelhante ` aquela da adi c ao de quantidades alg ebricas: no que diz respeito ` a sua multiplica c ao, existe a peculiaridade de que matrizes n ao s ao, em geral, comutativas. conveniente notar que ainda n E ao existia, na epoca, uma deni c ao abstrata de anel. Consequentemente, o fato de que o conjunto das matrizes de um dado tamanho constitu a tamb em um sistema hipercomplexo n ao era nada evidente, uma vez que a deni c ao destes dependia da ado c ao de um sistema de unidads. Ele observou explicitamente uma clara rela c ao com os quat ernios; notou 2 que se M e N s ao duas matrizes de oredem 2x2 que vericam M = N 2 = 1 e M N = N M ent ao, escrevendo L = M N , tem-se que as matrizes L, M, N satisfazem um sistema de rela c oes precisamente similar aquele da teoria dos quat ernios. interessante observar que E e justamente nessa observa c ao que se baseia a demonstra c ao atual de que M2 (C), o anel das matrizes de ordem 2 2 com coecientes no corpo C dos n umeros complexos e isomorfo ao anel dos quaternios com coecientes em C: i.e., ao anel dos biquat ernios de Hamilton.. Esta observa c ao despertou o interesse de James Joseph Sylvester (1814 - 1897) e, num artigo de 1884, ele arma que um trabalho de Charles S.Peirce (1839-1914) lhe sugeriu

42

CAP ITULO 5. NOVAS ESTRUTURAS o m etodo pelo qual uma matriz e despojada de suas dimens oes como area e representada como uma soma linear.

Ele se referia, naturalmente ao fato bem conhecido de que o conjunto de todas as matrizes de ordem n n pode ser considerado como um espa co 2 vetorial de dimens ao n . Denotando por Eij a matriz que tem um 1 na posi c ao i,j e 0 em todas as outras, uma matriz A = (aij ) pode ser escrita na forma A = i,j aij Eij . Neste momento resulta evidente, por m, que as matrizes tamb em s ao sistemas hipercomplexos. Conv em observar que Sylvester n ao utiliza esta nota c ao que nos e familiar. Ela foi introduzida por Eduard Study (1862-1922) em 1889.

5.2

Teoria de corpos

O conceito de corpo, como um conjunto fechado pelas opera c oes de soma e multiplica c ao onde existem oposto e inverso de todo elemento (com excec ao do inverso do zero, e claro), bem como o conceito de corpo gerado por n n umeros complexos 1 , . . . an , como o conjunto de todos os n umeros que podem se obter somando, subtra ndo, multiplicando e dividindo estes n umeros (exceito, mais uma vez, a divis ao por zero) j a aparecem no trabalho de Galois sobre resolu c ao de equa c oes polinomiais. Tamb em encontra-se ali o constru c ao do corpo que se obt em por extens ao de um corpo dado por um novo elemento que n ao lhe pertence. Ele chama estas estruturas de dom nios de racionalidade. Na verdade, todos estes corpos cont em o corpo dos n umeros racionais e s ao, portanto, de caracter stica 0. Por em, no seu trabalho intitulado Sur la th eorie des nombres, publicado no Bulletin des Sciences de F erussac em 1830, Galois constroi tamb em os corpos nitos. Essencialmente, ele usa a id eia de Gauss de considerar congru encias m odulo um primo p e constroi o que hoje denotamos como Zp , o corpo cos inteiros m odulo p. Depois ele considera o anel de polin omios com coecien facil tes em Zp e toma congru encias m odulo um polin omio irredut vel f . E provar que se f tem grau n, ent ao o conjunto das classes de restos assim constru do e um corpo nito com pn elementos. Desta forma, ele constroi os corpos que hoje chamamos de Corpos de Galois e denotamos por GF (pn ). Consciente da novidade de sua descoberta, ele diz: Se concordamos em considerar como zero todas aas quantidades

5.2. TEORIA DE CORPOS que, nos c alculos algebraicos, resultam m ultiplos de p, e se tentamos encontrar, sob esta conven c ao, a solu c ao de uma equac ao alg ebrica f (X ) = 0 que M. Gauss designa com a nota c ao f (X ) 0, o costume e considerar s o solu c oes inteiras. Havendo sido levado, por minhas pr oprias pesquisas, a considerar solu c oes incomensur aveis, atingi certos resultados que considero novos.

43

Muitos anos mais tarde, E.H. Moore (1862-1932) provou, em 1903, que todos os corpos nitos da mesma ordem s ao isomorfos entre si e, portanto, isomorfos ao corpo de Galois dessa ordem.

Outra linha de pesquisa extremamente importante que levou a trabalhar com a no c ao de corpo, desde outro ponto de vista foi a teoria de n umeros. Quando Gauss tinha apenas 20 anos, ele escreveu uma obra fundamaental, as Disquisitiones Arithmeticae que enviou ` a Academia Francesa em 1800 e foi releitada. Gauus a publicou por si mesmo no ano seguinte. Foi nessa obra que ele intruduziu a nota c ao para congru encias que usamos ainda hoje. Na quarta se c ao do texto, ele estuda os res duos quadr aticos: dado um um primo p e um inteiro a que n ao e multiplo de p, um outro inteiro x diz-se um res duo quadr atico de a, em m odulo p se x2 a ( mod p). Esta linguagem tinha sido introduzida por Euler em 1754/55. Ele foi o primeiro a estabelecer a Lei de reciprocidade quadr atica: se p e q s ao dois inteiros primos, ent ao p e um res duo quadr atico em m odulo q se e somente se q e um residua quadr atico em m odulo p. Subsequentemente, A.M. Legendre (1752-1833) deu outra demonstrac ao dessa lei e introduziu o s mbolo de Legendre que ainda se utiliza em teoria de n umeros. Gauss mostrou que ambas as demonstra c oes estavam incompletas e deu a primeira demonstra c ao completa desta lei. Posteriormente ele publicou outras quatro demonstra c oes diferentes. Anos mais tarde, Gauss considerou tamb em res duos c ubicos e biquadr aticos, numa s erie de artigos publicados entre 1808 e 1832. Foi nesses trabalhos que, para obter simplicidade e eleg ancia nas suas demonstra c oes, Gauss introduziu os n umeros que hoje chamamos de inteiros de Gauss, que s ao complexos da forma a + bi onde a e b s ao n umeros inteiros. Ele provou que muitas das propriedades dos n umeros inteiros se estendem aos inteiros de

44

CAP ITULO 5. NOVAS ESTRUTURAS

Gauss: por exemplo, o pequeno teorema de Fermat: Se p=a+bi e um inteiro 2 2 de Gauss primo e denimos sua norma por N (p) = a + b e a e um outro inteiro de Gauss que n ao e m ultiplo de p, ent ao aN (p)1 1 ( mod p). A teoria dos inteiros de Gauss e um primeiro passo na dire c ao de uma area de grande import ancia na algebra atual; a teoria dos n umeros alg ebricos. Esta teoria se desenvolveu a partir dos esfor cos de diversos autores para provar o Teorema de Fermat, que arma que uma equa c ao da forma xn + y n = z n n ao tem solu c oes inteiras para n 2. O primeiro resultado positivo, nessa dire c ao, foi de Bernard Fr enicle de Bessy (1605-1675) , um amigo de Fermat, que provou a arma c ao para n = 4 no Trait e des triangles rectangles em nombres publicado postumamente, em 1676. Postriormente, Euler provou que esta arma c ao e verdadeira para n = 3 e tamb em para n = 4 em 1738 e Legendre a provou para n = 5 em 1823, mas o resultado geral permaneceu em aberto por muito tempo mais 1 . O pr oprio Gauss parece n ao ter tido especial interesse neste resultado. Ap os tentar provar a arma c ao para o caso n = 7, sem sucesso, ele ecreveu a H.W.M. Olbers (1758-1840) em 1816: Eu confesso,de fato, que o Teorema de Fermat, como proposi c ao isolada, tem poco interesse para mim, uma vez que uma multid ao de tais proposi c oes, que n ao podem ser provadas nem refutadas, podem ser formuladas facilmente. O caso n = 7 foi resolvido por Gabriel Lam e (1795-1870) em 1838 e Peter Gustave Lejeune-Dirichlet (1805-18590 estabeleceu a verdade da arma c ao para n = 14.2 A primeira tentativa de se obter resultados gerais e devida a Ernst Eduard Kummer (1810-1893). Ele abandonou a teologia para se dedicar ` a
O Teorema de Fermat foi nalmente provado por Andrew Wiles em 1995 [32]. Um dos passos da demonstra c ao foi elaborado em colabora c ao com Richard Taylor e publicado separadamente, na mesma revista [33]. Pode ser interessante ver as p eginas 449 a 454 do primeiro artigo, em que o autor conta o processo da descoberta. 2 Dirichet, foi professor em Breslau e Berlim e o sucessor de Gauss em G otingen e fez importantes contribui c oes ` a teoria dos n umeros e muitas outras areas da matem atica. Entre outras coisas, foi ele quem prop os o conceito moderno de fun c ao. Um dos seus resultados mais famosos em teoria dos n umeros, conjecturado por Gauss, mas provado por ele, estabelece que toda sucess ao aritm etica cont em innitos primos.
1

5.2. TEORIA DE CORPOS

45

matem atica, foi disc pulo de Gauss e Dirichlet e foi professor em Breslau e Berlim. Ele considerou a equa c ao xp + y p = z p , onde p e um inteiro primo e a fatorava na forma: xp + y p = (x + y )(x + y ) (x + p1 y ) onde denota uma raiz p- esima da unidade, isto e, uma raiz da equa c ao: X p1 + X p2 + + X + 1 = 0. Isto o levou a estender da id eia dos inteiros de Gauss, considerando n umeros da forma = a0 + a1 + + ap2 p2 que ele chamou de inteiros complexos e hoje chamamos de inteiros ciclot omicos. Em 1843 ele deu as deni c oes apropriadas de inteiro primo, divisibilidade etc. e cometeu o erro de assumir que a decoposi c ao de todo inteiro complexo como produto de primos era u nica. Desta forma, ele conseguiu provar o Teorema de Fermat. Quando ele enviou seu manuscrito a Dirichlet, este apontou o erro e, em 1844, Kummer reconheceu que a cr tica de Dirichlet estava correta. Incidentalmente, tamb em Cauchy e Lam e , em alguma oportunidade, cometeram o mesmo erro. Para obeter a unicidade da decomposi c ao, Kummer criou a teoria dos n umeros ideais em 1844 e com ela provou, por exemplo, que sua demonstra c ao funcionava para todos os inteiros menores do que 100, menos para 37, 39 e 67. Num artigo de 1857 Kummer estendeu seus resultados a estes tr es primos excepcionais. Finalmente, Richard Dedekind (1831-1916) que fora disc pulo de Gauss e professor secund ario por mais de cinquenta anos, atacou o problema da fatoriza c ao u nica de uma forma inteiramente diferente. Em primeiro lugar, ele estendeu ainda mais a id eia dos inteiros de Gauss. Um n umero complexo diz-se um n umero alg ebrico se ele e raiz de uma equa c ao da forma an X n + an1 X n1 + + a1 X + a0 onde ao , a1 , . . . , an1 , an s ao n umeros inteiros e diz-se um inteiro alg ebrico se e raiz de uma equa c ao da forma acima, com an = 1.

46

CAP ITULO 5. NOVAS ESTRUTURAS

Com estas deni c oes prova-se facilmente que os n umeros alg ebricos formam um corpo, os inteiros alg ebricos um dom nio de integridade e que se uminteiro alg ebico e um n umero racional, ent ao ele e um inteiro ordin ario. Neste contexto, Dedekind deu a primeira deni c ao formal de corpo (K orper) e de anel, que ele chamava de ordem. A teoria abstrata de corpos foi iniciada por Heinrich Weber (18421913) em 1893. Tempo depois, Leonard Eugene Dickson (1874-1954) e Edward V. Huntington (1874-1952) deram, independentemente, em 1903, deni c oes de corpo a trav es de conjuntos de postulados. Em 1908, Kurt Hensel (1861-1941) introduziu um novo tipo de corpo: o corpo dos n umeros p- adicos que tem, tamb em, aplica c oes na teoria alg ebrica de n umeros e levou ` a deni c ao do conceito de valoriza c ao . Motivado pela grande variedade de corpos que tinha sido denidos, Ernst Steinitz tentou um estudo compreensivo da teoria abstrata de corpos no seu trabalho fundamental sobre o assunto [29], de 1910, que, conjuntamente com um artigo cl assico de Emmy Noether [15], de 1929, s ao considerados, por exemplo por Bourbaki [2], como os dois pilares fundamentais da algebra moderna. Neste trabalho ele introduz a no c ao de corpo primo, de caracter stica de um corpo e prova um resultado fundamental: que todo corpo pode-se obter do seu corpo primo pela adjun c ao de uma s erie (eventualmente innita) de elementos transcendentes e depois a adjun c ao de uma s erie de elementos alg ebricos. Tamb em neste trabalho ele introduz a no c ao de polin omio separ avel , que ele chama de vollkommen ou completo, e prova que sobre um corpo, todo polin omio e irredut vel ou se decomp oe num produto de fatores lineares, se e somente se ele e extens ao de um corpo dado pela adjun c ao de um n umero nito de ra zes de polin omios sep aveis.

5.3

An eis e Algebras

Tal como vimos no cap tulo anterior, desde o come co da teoria, os sistemas hipercomplexos, que hoje chamamos de algebras lineares associativas, eram denidas a partir de elementos b asicos, denindo a soma de forma natural e o produto distributivamente, a partir da multiplica c ao de elementos da base.

 E ALGEBRAS 5.3. ANEIS

47

Este u ltimo era feito usando as constantes estruturais, que deviam ser adequadamente escolhidas. Em 1903, L.E. Dickson deu a primeira deni c ao abstrata de ` algebra embora dependa em parte de coordenadas - num artigo intitulado Denition of a Linear Associative Algebra by an Independent Set of Postulates publicado no Trans. Amer. Math. Soc. [5]. Neste trabalho, ele d a duas deni c oes de algebras lineares associativas. A primeira e nossa velha conhecida, em termos de elementos b asicos e constantes estruturais. A novidade aqui e que ele imp oe certas condi c oes ` as constantes estruturais, os postulados do sistema, e mostra que estas condic oes s ao independentes entre si, i.e., que nenhuma delas e consequ encia l ogica das restantes. Sua segunda deni c ao se aproxima bastante da forma atual, apesar do uso de coordenadas. Ele considera um sistema de elementos da forma A = (a1 , a2 , ...an ) onde os coecientes ai , que ele chama de coordenadas do elemento, pertencem a um dado corpo F . Dene a soma componente a componente e observa que dados dois elementos A e B sempre existe um outro elemento D tal que A + D = B . Depois, ele diz Considere uma segunda lei de combina c ao de elementos com as seguintes propriedades: 1.Para quaisquer dois elementos A e B do sistema A.B e outro elemento do sistema cujas coordenadas s ao fun c oes bilineares das coordenadas de A e B com coecientes em F . 2.(A.B ).C = A.(B.C ) , se A.B, B.C, (A.B ).C, A.(B.C ) pertencem ao sistema. 3.Existe no sistema um elemento I tal que A.I = A para todo elemento A do sistema. 4.Existe no sistema pelo menos um elemento A tal que A.Z = 0 para qualquer elemento Z = 0. Ele prova novamente que suas condi c oes s ao independentes entre si e, o que e mais importante, que esta segunda deni c ao e equivalente ` a primeira. Finalmente, uma deni c ao puramente abstrata, livre de coordenadas, foi dada pelo pr oprio Dickson [6] em 1923.

48

CAP ITULO 5. NOVAS ESTRUTURAS

Quanto ao conceito de anel, pode-se dizer que ele era conhecido e utilizado j a nos trabalhos sobre teoria dos n umeros alg ebricos de Richard Dedekind e Leopold Kroneker (1823 - 1891) embora o termo utilizado fosse ordem. O termo anel foi introduzido em 1897 por David Hilbert (1862 - 1943), ainda no contexto espec co da teoria dos n umeros alg ebricos. A deni c ao abstrata, com toda sua generalidade, foi dada em 1914 por Abraham A. Fraenkel (1891 - 1965) num artigo intitulado On zero divisors and the decomposition of rings, no Jour. fur die Reine und Angew. Math.. Ilustrando a abrang encia do conceito, ele d a v arios exemplos de an eis: inteiros m odulo n, sistemas de n umeros hipercomplexos, matrizes, e inteiros p-` adicos. O enunciado de sua deni c ao e muito pr oximo do atual. Ele considera um sistema com duas opera co es, que chama de soma e produto e estabelece que, em rela c ao ` a soma, o sistema deve formar um grupo (e enuncia explicitamente os axiomas desta estrutura). Sobre o produto, ele especica que deve ser associativo e distributivo em rela c ao ` a soma e inclui a exist encia de um elemento unidade. A comutatividade da soma, que n ao foi postulada, e demonstrada a partir destes axiomas, bem como uma s erie de resultados elementais. H a ainda dois axiomas a mais, referentes a certos elementos, chamados regulares, que n ao se incluem nas deni c oes modernas. O objetivo de Fraenkel, neste trabalho, era dar uma teoria abstrata e compreensiva da teoria de an eis, compar avel ` a que Ernst Steinitz tinha formulado para os corpos na sua Algebraischen Teorie des K orper publicada em 1910 no Jour. fur Math. Naturalmente, esta tarefa era por demais ambiciosa para ser satisfatoriamente desenvolvida t ao cedo.

Refer encias Bibliogr acas

[1] E.W. Beth, G. Choquet, J, Dieudonn e, C. Gattegno, A. Lichenrowicz e G. Piaget, LEnseignement des Math ematiques, Delacheaux & Niestl e, Paris. [2] N. Bourbaki, El ements dhistoire des Math ematiques, Hermann, Paris, 1969. [3] C.B. Boyer, Hist oria da Matem atica, (edi c ao revista por U.C. Merzzbach), Edgar Bl ucher, S ao Paulo, 1996. [4] F. Cajori, A History of Mathematical Notations, Dover, New York, 1993. [5] L.E. Dickson, Denition of Linear Associative Algebrras by Independent Set of Postulates, Trans. Amer. Math. Soc., 4 (1903), 21-26. [6] L.E. Dickson, Algebras and their arithmetics, Univ. Chicago Science Press, Chicago, 1923. [7] Dubbey, J.M. - Babbage, Peacock and Modern Algebra, Hist. Math., 4, (1977), 295 -302. [8] Fine, B. and Rosenberger, G., The fundamental theorem of algebra, Springer-Verlag, New York, 1997. [9] R.J. Gillings, Mathematics in the times of the Pharaohs, Dover, New York, 1982. [10] Halberstein, H. and Ingram, R.C., eds. - The Mathematical Papers of Sir William Rowan Hamilton, vol III, Cambridge Univ. Press, London, 1967. 49

50

REFERENCIAS BIBLIOGRAFICAS

[11] Hankins, T.L. - Algebra as Pure Time: William Rowan Hamilton and the Foundations of Algebra, in Motion and Time, Space and Matter P. Machamer e R. Turnbull, eds., Ohio Univ. Press, Columbus, 1976. [12] Hawkins, T. - Hypercomplex Numbers, Lie Groups and the Creation of Group Representation Theory, Arch. Hist. Exact Sci., 8, (1972), 243 287. [13] Kline, M. - Mathematical Thought from Ancient to Modern Times, Oxford Univ. Press, New York, 1972. [14] Mac Duee, C.C. - Algebras debt to Hamilton, Scripta Math., 10, (1944), 23 - 35: [15] E. Noether, Hypercomplexe Gr ossen und Darstellungtheorie, Math. Z., 30, (1929), 641-692. [16] Ohstrom, P. - W. R. Hamiltons Views of Algebra as the Science of Pure Time, Hist. Math. 12, (1985), 45 - 55. [17] Parshall, K. - Joseph H. M. Wedderburn and the Structure Theory of Algebras, Archiv Hist. Exact Sci., 32, (1985), 223 - 349. [18] Peirce, B. - Linear Associative Algebras, Amer. J. of Math., 4, (1881), 97 - 215. [19] C. Polcino Milies, A Glance at the Early History of Group Rings, in Groups, St. Andrews 1981, ed. by C.M. Campbell and E.F. Robertson, London Math. Soc. Lecture Notes Series, 71, Cambridge Univ. Press, London, 1982, pp. 270-280. [20] C. Polcino Milies, A G enese da Algebra Abstrata, Cole c ao T opicos de Matem atica Elementar, IMEUSP, S ao Paulo, 1987. [21] C. Polcino Milies, Breve introdu c ao ` a hist oria da teoria de an eis, in Atas da XI Escola de Algebra, Soc. Brasileira de Mat., S ao Paulo, 1990, pp. 1-46. [22] C. Polcino Milies, A emerg encia dos n umeros complexos, Revista do Prof. de Matem atica, 24 (1993), 5-15.

 REFERENCIAS BIBLIOGRAFICAS

51

[23] C. Polcino Milies, A solu c ao de Tartaglia para a equa c ao de terceiro grau, Revista do Prof. de Matem atica, 25 (1994), 16-22. [24] C. Polcino Milies and S.K. Sehgal, An introduction to group rings, Kluwer Academic Publishers, Dordrech, 2002. [25] Pycior, H., Early Critisism of the Symbolical Approach to Algebra, Hist. Math. 9, (1982), 392 - 412. [26] Pycior, H., George Peacock and Modern Algebra, Hist. Math. 9, (1981), 23 - 45. [27] Richards, J. - The Art and Science of British Algebra: a Study of Perception of Mathematical Truth, Hist. Math., 7, (1980), 345 - 365. [28] D. E. Smith, A Source Book in Mathematics, McGraw Hill, New York, 1929. [29] E. Steinitz, Algerbaischen Teorie der K orper, Jour. f ur Math., 137 (1910), 167-309. [30] Van der Waerden B.L., Hamiltons Discovery of Quaternions, Math. Magazine, 49, (1976), 227 -234. [31] Van der Waerden, B.L., A History of Algebra, Springer-Verlag, Berlin, 1985. [32] Wiles, A., Elliptic curves and Fermat Last Theorem, Annals of Math., 3 (1995), 443-551. [33] Wiles, A. and Taylor, R., Ring-thoretic properties of certain Hecke Algebras, Annals of Math., 3 (1995), 353-372. [34] Winterbourne, A. T., Algebra and Pure Time: Hamiltons Anity with Kant, Hist. Math., 9, (1982), 195 - 200.

 Indice Remissivo
lgebra abstrata, 28 a algebras lineares associativas, 46 Abel, N.H., 39 Analytical Society, 28 anel, 46 anel de grupo, 40 aritm etica universal, 26 Aryabatiya, 5 Aryabhata, 5 associatividade, 36 Babbage, C., 28 Barrow, I., 13 Bernoulli, J., 20 Bhascara, 15 biquat ernios, 37, 41 Bombelii, R., 16 Bombelli, R., 19 Brahmagupta, 13 Briggs, H., 6 Bu ee, 27, 28 c alculo vtorial, 36 Cajori, F., 6 Cambridge, 26, 27, 39 Cardano, G, 7 Cardano, G., 13, 15 Cauchy, A., 33, 45 Cauchy,A., 39 Cavalieri, B., 6, 11 52 Cayley, A., 39, 40 Chuquet, N., 6, 15 conjugado; de um quat ernio, 35 corpo, 46 dAlembert, J.L.R., 23 De Moivre, A., 20 de Morgan, A, 29 Dedekind, R., 45, 48 Descartes, R., 10, 11, 19 Dickson, L.E., 46, 47 Dieudonn e, J., 4 Diophanto, 5, 14 Dirichlet, P.G.L., 44 divisores de zero, 37 dom nios de racionalidade, 42 Dubbey, J.M., 29 escalar, 36 Euler, L., 19, 20, 22, 43, 44 Fermat, P, 44 Fermat, P., 6, 10 Fraenkel, A.A., 48 Frend, W., 26, 28 Galileo, 6, 11 Galois, E., 39 Gauss, C.F., 19, 24, 43 Gibbs, J.W., 36 Gillings, R.J., 3

 INDICE REMISSIVO Girard, A., 18 Goldbach, C., 22 Grassmann, H.G., 38 Graves, J.T., 36 grupo abstrato, 39 de permuta c oes, 39 Hamilton, W.R., 29, 31 Hensel,K., 46 Her on, 14 Herschel, J., 28 Hilbert, D., 48 Hudde, J., 8 Huddle, J., 10 Huntington, E.V., 46 inteiro alg ebrico, 45 inteiros ciclot omicos, 45 complexos, 45 de Gauss, 43 inverso; de um quat ernio, 36 K orper, 46 Kant, I., 32 Kepler, J., 6 Kline, M., 20 Kroneker,L., 48 Kummer, E.E., 44 Lagrange, J.L., 23, 39 Lam e, G., 44, 45 Legendre,A.M., 43 lei dos m odulos, 34 Leibniz, G.W., 25 Lichnerowicz, A., 4 m odulo; de um quat ernio, 35 MacLaurin, C., 41 Mahavira, 15 Maseres, F., 26 Masers, F, 28 matriz, 40 Moore, E.H., 43 multin omio, 7 n umero alg ebrico, 45 p- adico, 46 n umeros complexos, 16, 31 de Cayley, 37 hipercomplexos, 37 Napier, J, 6 Newton, I., 10, 19, 25 Newton,I., 31 Noether, E., 46 octonions, 37 Ohstrom, P., 32 Oldenburg, H., 10 ordem, 46, 48 Oxford, 19 Paccioli, L., 15 Pascal, B., 6, 13 Peacock, G., 28, 32 Peirce, C.S., 41 permuta c oes, 39 polin omio separ avel, 46 Pycior, H., 29 Recorde, R, 11 Recorde, R., 6 res duo quadr atico, 43 Richards, J., 29 Royal Society, 10, 27

53

54 Runi, P, 39 sistema de unidades, 41 Smith, D.E., 19 Steinitz, E., 46, 48 Stevin, S., 6 Stifel, M., 13 Study, 42 Sylvester, J.J., 41 Tartaglia, N., 7 tensor, 36 Teorema Fundamental da Algebra, 21 Torricelli, E., 6 transi c ao, 32 Trinity College, 39 valoriza c ao, 46 Van Schooten, F, 10 versor, 36 vetor, 33, 36 Vi` ete, F., 7 Wallis, J, 11 Wallis, J., 19 Weber, H., 46 Widman, J., 11 Winterbourne, A.T., 32 Woodhous, R., 27 Yale College, 36

INDICE REMISSIVO