F sica Matem atica I

Jorge L. deLyra Aula de 3 de Agosto de 2011

(Atualizada em 20 de agosto de 2012)

01: N umero, a Linguagem da Ci encia

A matem atica e a linguagem na qual a ci encia natural e formulada. Em particular, o uso de n umeros e essencial para representar os aspectos quantitativos da ci encia. Na f sica estamos habituados a usar o corpo dos n umeros reais como uma ferramenta b asica para a descri c ao da natureza. Os n umeros s ao utilizados tanto na descri c ao quantitativa de resultados experimentais quanto na estrutura matem atica das teorias da f sica, cuja fun c ao e descrever as rela c oes que existem entre estes resultados experimentais, levando assim ` a compreens ao da natureza. A deni c ao matem atica precisa de um corpo K consiste de um conjunto de n umeros e de duas opera c oes aritm eticas denidas sobre estes n umeros, a adi c ao ou soma e a multiplica c ao ou produto. A exist encia destas duas opera c oes e essencial para a maior parte das aplica c oes f sicas. O conjunto e um corpo se as duas opera c oes podem ser denidas para todos os pares de elementos do conjunto e t em as propriedades que seguem. Opera c ao de Adi c ao: Fechamento: a, b K a + b K.

Exist encia do elemento neutro: 0 K tal que a + 0 = a, a K. Exist encia de inverso: (a) K tal que a + (a) = 0, a K. Comutatividade: a, b K a + b = b + a. Associatividade: a, b, c K (a + b) + c = a + (b + c).

Opera c ao de Multiplica c ao: Fechamento: a, b K ab K.

Exist encia do elemento neutro: 1 K tal que 1a = a, a K. Comutatividade: a, b K ab = ba.

Exist encia de inverso: a1 K tal que aa1 = 1, a K exceto a = 0.

Associatividade: a, b, c K (ab)c = a(bc). Distributividade do produto em rela c ao ` a soma: a, b, c K a(b + c) = ab + ac. Toda a aritm etica real que usamos cotidianamente na f sica pode ser deduzida deste conjunto de propriedades b asicas, que vale para o corpo R dos n umeros reais. Elas s ao essenciais para que se possa interpretar no c oes de quantica c ao ou de medida em termos dos n umeros reais, ou de algum subconjunto dos n umeros reais. 1

Este uso aparente de n umeros reais e t ao difundido que sua import ancia chega a ser exagerada, gerando a impress ao de que o uso de n umeros reais e um fator conceitualmente fundamental e essencial da ci encia natural. Vamos argumentar aqui que isto n ao e verdadeiro, devido ao fato de que, tanto na pr atica da atividade experimental quanto na estrutura da teoria, com o advento da mec anica qu antica relativ stica, os resultados de experimentos s o podem ser determinados com uma quantidade nita de precis ao. Pode-se pensar em usar as opera c oes e propriedades listadas acima para fazer uma constru ca o expl cita dos n umeros reais a partir de um conjunto mais simples que podemos assumir como entendido intuitivamente a priori. Um conjunto muito simples e, por exemplo, o conjunto innito mas discreto N dos n umeros naturais, ou seja os inteiros positivos, que e um sub-conjunto do corpo dos n umeros reais. O conjunto N n ao e, entretanto, um corpo, e ser a preciso aument a-lo para que obtenhamos um conjunto que satisfa ca a todas as propriedades de um corpo. Tomando este conjunto simples e intuitivo como o conjunto inicial de nossa constru c ao, impomos que exista um elemento neutro da adi c ao, o que nos for ca a acrescentar o elemento 0 (zero) ao conjunto. Al em disso, se impusermos que exista o inverso da soma para estes n umeros, somos levados a acrescentar ao conjunto os n umeros inteiros negativos. Com isto obtemos o conjunto I de todos os n umeros inteiros, no qual valem todas as propriedades relativas apenas ` a opera c ao de adi c ao. Entretanto, ainda n ao temos aqui um corpo, pois nem todas as propriedades da multiplica c ao valem em I. Podemos agora continuar a constru c ao impondo a exist encia do inverso do produto destes n umeros, o que nos leva a introduzir as fra c oes inteiras, e eventualmente ao conjunto de todos os n umeros que podem ser expressos como p/q onde p e q s ao inteiros, ou seja, como o produto de um inteiro pelo inverso de algum outro inteiro. Isto nos leva ao conjunto Q dos n umeros racionais, que satisfaz de fato a todas as propriedades de um corpo, incluindo as de fechamento. Portanto j a temos aqui um corpo, o corpo dos n umeros racionais. Este corpo tem tamb em a propriedade de ser ordenado, ou seja, dados dois n umeros do conjunto e sempre poss vel decidir qual deles e o maior, propriedade esta que tamb em vale para os n umeros reais. Dizemos que os pares de n umeros tem uma propriedade de tricotomia: dados a, b Q, uma e apenas uma de tr es coisas e verdade: a > b, a = b ou a < b. O corpo dos n umeros racionais e conceitualmente suciente para descrever todos os poss veis resultados de experimentos e as rela c oes entre eles. Entretanto, muitas vezes esta pode n ao ser a forma mais simples de se proceder. Como j a obtivemos um corpo, por um momento pode parecer que neste ponto completamos nossa constru c ao. Entretanto, podemos de fato continuar a constru c ao de forma a obter corpos maiores do que Q e que o cont em como um subconjunto. Se tentarmos representar geometricamente os n umeros racionais, colocando-os sobre uma linha reta, podemos ver que eles n ao enchem a reta de forma completa, pois existem pontos da reta, os quais podem ser denidos por meio de argumentos puramente geom etricos, que n ao podem ser expressos como a raz ao de dois inteiros. De fato, pode-se mostrar que o conjunto Q e enumer avel, ou seja que tem o mesmo n umero de elementos que o conjunto N. Por outro lado, o mesmo n ao e verdade para os n umeros reais, que tem innitamente mais elementos do que Q ou N. Pode-se mostrar que o conjunto Q enche a reta real em um sentido que, de forma geral, e suciente para as aplica c oes da f sica, mas que ainda e um tanto limitado do ponto de vista matem atico: uma vez colocados todos os racionais sobre a reta, n ao sobra nela nenhum intervalo vazio de comprimento n ao-nulo, ou seja, n ao sobra nenhum buraco nito. H a, entretanto um conjunto innito muito grande de buracos innitesimais, de comprimento zero. Dizemos que o conjunto Q e denso na reta real, mas que ele n ao a completa, ou seja, 2

ele n ao e um conjunto completo. E relativamente simples demonstrar esta propriedade de densidade por redu c ao ao absurdo. Para isto, imaginemos que houvesse um intervalo da reta dentro do qual n ao h a nenhum n umero racional. Digamos que este intervalo fosse (r , r+ ), onde tomamos o intervalo aberto, ou seja, apenas o interior, sem as duas pontas, pois n ao sabemos se os n umeros reais r ou r+ s ao racionais. O comprimento deste intervalo e o n umero real = r+ r > 0. Podemos assumir que este intervalo n ao pode ser aumentado, pois caso contr ario, basta aument a-lo ao m aximo poss vel antes de iniciar o argumento. Este aumento n ao pode nunca tornar o intervalo innito, devido ` a exist encia dos n umeros inteiros, que s ao racionais. De fato, devido a isto sabemos de antem ao que < 1. Certamente que h a um n umero racional q+ maior do que r+ , por exemplo o primeiro n umero inteiro maior do que r+ . O mesmo e verdade para um n umero racional q que e menor do que r . Certamente que e poss vel escolher q+ e q de tal forma que eles estejam a uma dist ancia menor do que, por exemplo, /10 das respectivas pontas do intervalo, pois caso contr ario seria poss vel aumentar o intervalo. Basta agora considerar a m edia aritm etica de q+ e q , q= q+ + q , 2

que tamb em e um n umero racional, uma vez que q+ , q e 2 s ao racionais e os n umeros racionais formam um corpo. N ao e dif cil ver, da geometria do problema, que q est a contido no intervalo original, o que e absurdo pois este intervalo por hip otese n ao deveria conter nenhum n umero racional. Assim, mostramos que n ao pode existir nenhum intervalo com comprimento n ao nulo que n ao contenha nenhum n umero racional. A deni c ao precisa de subconjunto denso na reta e que, dado um ponto qualquer da reta e uma dist ancia , e sempre poss vel achar um elemento de Q a uma dist ancia menor do que daquele ponto. Do argumento acima, segue que Q e um subconjunto denso da reta. Entretanto, nem todo ponto que e poss vel denir na reta pertence de fato a Q. Um exemplo tradicional disto e o n umero 2, o comprimento da diagonal do quadrado de lado unit ario, que e portanto denido atrav es de uma constru c ao geom etrica. Podemos mostrar que 2 n ao e racional usando o fato de que a decomposi c ao de um n umero inteiro em fatores primos eu nica. Vamos discutir primeiro este u ltimo resultado. Se um n umero inteiro n e decomposto em um produto de fatores primos pi
j 1 n = pl 1 ...pj ,

onde todos os pi s ao diferentes uns dos outros, e tamb em pode ser decomposto em um produto diferente de fatores primos qi
mk m1 ...qk n = q1 ,

onde todos os qi s ao diferentes uns dos outros, ent ao temos que

mk j m1 1 pl 1 ...pj = q1 ...qk . l

Simplicando quaisquer fatores comuns aos dois lados desta igualdade, e assumindo que as duas decomposi c oes n ao sejam id enticas, resta uma igualdade entre produtos de n umeros primos
j m1 k 1 pl 1 ...pj = q1 ...qk ,

onde todo pi e diferente de cada um dos qi . Isolando um dos n umeros primos obtemos a partir disto
1 pl 1 =

m1 q1 ...qk k
j 2 pl 2 ...pj

m l

o que e imposs vel, pois o lado direito da equa c ao n ao e inteiro, uma vez que o produto de n umeros primos no numerador n ao e divis vel pelo conjunto de n umero primos no denominador. Assim, vemos que e imposs vel termos uma igualdade como
mk j m1 1 pl 1 ...pj = q1 ...qk , l

onde todo pi e diferente de cada um dos qi . Voltando ` a quest ao do n umero r = assumirmos que ele e racional, ent ao existem inteiros p e q tais que
j 1 pl p 1 ...pj r = = m1 mk , q q1 ...qk

2, se

onde decompusemos p e q em seus fatores primos e cancelamos todos os fatores comuns. Como p e q s ao dois n umeros diferentes, restam dois conjuntos de n umeros primos pi e qi todos diferentes entre si, e como r n ao e inteiro, h a pelo menos um elemento qi no denominador. Se tomarmos agora o quadrado desta equa c ao, onde r2 = 2, obtemos 2=
l1 p2 1 ...pj 2lj

2mk 2m1 ...qk q1

ao pode o que n ao e poss vel pois o lado direito n ao e um n umero inteiro. Segue que 2 n ser escrito como p/q para p e q inteiros, e portanto que 2 n ao e um n umero racional. Considerando-se que as ra zes dos n umeros inteiros tipicamente n ao s ao racionais, neste ponto pode-se considerar uma generaliza c ao dos n umeros racionais, adicionando-se a eles as ra zes de n umeros inteiros ou, de forma mais geral, todas as ra zes reais dos polin omios de todas as ordens com coecientes racionais. O conjunto resultante e chamado de conjunto dos n umeros alg ebricos, mas trata-se na verdade de uma generaliza c ao ainda incompleta, que n ao inclui, por exemplo, o n umero . Assim como no caso dos n umeros racionais, pode-se mostrar que este conjunto possui uma innidade apenas enumer avel de elementos. De qualquer forma, vemos aqui que a generaliza c ao dos n umeros racionais est a associada ao conceito de fun c ao, neste caso aos polin omios, que envolvem algoritmos para a manipula c ao destes n umeros. A maior generaliza c ao poss vel dos n umeros racionais, de forma a cobrir todos os buracos innitesimais deixados pelos n umeros racionais na reta, envolve a introdu c ao em nossa discuss ao de processos innitos, o que constitui um dos mais dif ceis e importantes aspectos aqui que entra o conceito de limite, que da matem atica abstrata. E e um dos fundamentos do c alculo integral e diferencial. Pode-se mostrar que a maior generaliza c ao poss vel consiste de se acrescentar ao conjunto Q os limites de todas as poss veis sequ encias innitas convergentes de n umeros racionais, o que nos leva ao conjunto R dos n umeros reais. A demonstra c ao de que isto e uma generaliza c ao completa e dif cil e est a al em dos nossos objetivos aqui. A demonstra c ao de que o conjunto resultante e um corpo pode ser feita atrav es da generaliza c ao das opera c oes aritm eticas para as sequ encias innitas de n umeros racionais. Do ponto de vista geom etrico o corpo R dos n umeros reais pode ser identicado de forma biun voca com uma reta innita orientada, que denominamos ent ao de reta real, 4

onde os n umeros s ao interpretados como as dist ancias de cada ponto da reta a partir da origem, que e associada ao zero. A completicidade de R em rela c ao ` a reta n ao signica mais do que uma rela c ao biun voca completa entre os n umeros reais e os pontos da reta, ou seja, n ao h a nenhum ponto da reta que n ao corresponda a um n umero real, e n ao h a nenhum n umero real que n ao corresponda a um ponto da reta. Outra forma, esta mais algor tmica, de se expressar esta rela c ao entre elementos aritm eticos e geom etricos e dizer que n ao h a nenhuma forma de se produzir um n umero real, usando as duas opera c oes aritm eticas que existem sobre eles, mesmo com um n umero innito de passos, que n ao esteja representado como um ponto na reta, e que n ao e poss vel produzir nenhum ponto da reta por meios puramente geom etricos que n ao possa ser representado atrav es de uma sequ encia, possivelmente innita, de opera c oes aritm eticas com n umeros reais. Podemos ilustrar tanto os n umeros racionais quanto os n umeros reais em termos de sua representa c ao decimal. Note-se entretanto que n ao h a nada de matematicamente fundamental em rela c ao ` a representa c ao decimal, e que o mesmo poderia ser feito com a representa c ao em qualquer outra base, tal como a bin aria, por exemplo. Tipicamente os n umeros racionais podem ser representados por um n umero nito de d gitos decimais, como por exemplo 3 = 1.5, 2 ou por um n umero innito de d gitos que apresenta entretanto um padr ao peri odico a partir de um determinado d gito, como por exemplo 8 = 2.666666 . . . . 3 Por outro lado, n umeros reais que n ao s ao racionais, que s ao chamados de n umeros irracionais, s ao representados por um n umero innito de d gitos que n ao apresenta nenhum padr ao peri odico, com qualquer comprimento de ciclo, como por exemplo ou = 3.141592653589793 . . . . O uso do cont nuo dos n umeros reais e frequentemente, mas nem sempre, um recurso simplicador muito desej avel. Conceitualmente, entretanto, o uso dos n umeros reais n ao e uma necessidade da f sica, mas apenas um recurso simplicador, que portanto s o deve ser usado quando de fato simplica as coisas. Na f sica estamos limitados a fazer apenas um n umero possivelmente grande mas certamente nito de medidas, todas elas fornecendo resultados perfeitamente poss com precis ao nita. E vel que as rela c oes entre estas medidas, cuja descri c ao e a tarefa da f sica te orica, sejam expressas e compreendidas de forma mais simples com o uso do cont nuo, mas isto n ao quer dizer que uma teoria ou um m etodo que n ao usem o cont nuo ou que n ao sejam aplic aveis ao cont nuo estejam necessariamente errados ou incompletos, apenas por este motivo. Podemos ent ao formular a seguinte arma c ao, que e sucientemente importante para ser colocada em destaque: O uso do corpo R na f sica e frequentemente, mas n ao sempre, muito u til, entretanto ele n ao e uma necessidade conceitual da f sica. O cont nuo e um conceito abstrato, que n ao est a diretamente acess vel atrav es de medidas f sicas. 5 2 = 1.414213562373095 . . . ,

Neste texto faremos algumas vezes uso de m etodos discretos, sem qualquer preocupa c ao de que eles incluam uma representa c ao el do cont nuo. Ser a suciente que a reta real seja representada de forma suciente por um subconjunto que seja denso nela, tal como o corpo Q. N ao hesitaremos, entretanto, em usar resultados v alidos no cont nuo, toda vez que isto se mostrar u til e contribuir para simplicar nossos argumentos. Como um exemplo da suci encia de Q na f sica, podemos citar o problema do c alculo do per metro de um disco de raio unit ario. A circunfer encia do disco pode ser aproximada por um pol gono, o que e uma forma de se fazer um c alculo aproximado de , que e irracional. Entretanto, um disco material, que e feito necessariamente de atomos e mol eculas, n ao tem nem o raio nem a circunfer encia denidos de forma exata, e na melhor das hip oteses pode ser denido atrav es de um n umero inteiro N de mol eculas, alinhadas ao redor da circunfer encia, e com dist ancias consecutivas utuantes. Assim, conceitualmente a medida da circunfer encia reside no conjunto N e, dada uma unidade de medida, n ao podemos fazer mais do que descrever aproximadamente o comprimento da circunfer encia, para o que nos basta o uso do corpo Q. Iremos fazer muitas vezes uso de processos innitos em nosso trabalho matem atico. Os limites levando aos conceitos de derivada e integral ser ao supostos conhecidos e familiares de trabalho anterior em c alculo real b asico. Vamos tamb em usar com frequ encia sequ encias e s eries, e discutir seus limites. Como um exemplo simples e elegante de sequ encia de n umeros racionais que converge para um n umero irracional, ilustrando assim o passo nal da constru c ao do corpo real, podemos citar a sequ encia de fra c oes continuadas parciais convergindo para 2, que e discutida em detalhe na refer encia [1]. Como se discute naquela refer encia, a partir da simples identidade 1 , 1+ 2=2+ 1+ 2 que se pode facilmente vericar de forma direta, e poss vel mostrar que a sequ encia de n umeros manifestamente racionais 1, 1 1+ , 2 1+ 1 1 2+ 2 1 2+ ,

1+

1 2+ 1 2

converge rapidamente para 2. Na Tabela 1 pode-se ver o in cio da sequ encia de n umeros racionais. poss E vel tamb em construir s eries de pot encias, umeros racionais, envolvendo apenas n o ser a discutido em detalhe que convergem para um n umero irracional como 2, mas isto s nestas notas bem mais adiante. Este esquema de aproxima c ao e discutido em detalhe na refer encia [2]. Nos dois casos, est ao dispon veis tamb em programas computacionais [3] para a constru c ao parcial das sequ encias e s eries, permitindo assim uma interessante an alise pr atica, atrav es de m etodos num ericos, da sua converg encia para o limite. Tendo em vista a import ancia para a f sica da estrutura matem atica de um corpo ordenado, e tendo constru do o corpo Q dos racionais e o corpo R dos reais, do qual Q 6

1 1 3 2 7 5 17 12 41 29 99 70 239 169 577 408

= 1.00000000 = 1.50000000 = 1.40000000 1.41666667 1.41379310 1.41428571 1.41420118 1.41421569

1393 985 3363 2378 8119 5741 19601 13860 47321 33461 114243 80782 275807 195025 . . .

1.41421320 1.41421362 1.41421355 1.41421356 1.41421356 1.41421356 1.41421356 . . .

Tabela 1: Uma sequ encia de n umeros racionais que tende para

2.

e um subconjunto, ambos ordenados e o u ltimo completo na reta real, podemos agora nos perguntar se existe algum corpo completo e ordenado cuja estrutura seja diferente da estrutura de R. A resposta, talvez surpreendente, que nos e dada pela algebra avan cada, e que n ao, que trata-se de uma estrutura u nica. Entretanto, e um fato not avel que, se levantarmos uma u nica exig encia, a de ordenabilidade, ent ao descobrimos que h a uma estrutura mais geral, que tem todas as propriedades de um corpo, al em da completicidade e de algumas estruturas adicionais. Trata-se do corpo C dos n umeros complexos, que e de fato um corpo maior do que o dos n umeros reais, e que o cont em. De acordo com teoremas de algebra avan cada, C e de fato o maior corpo (comutativo) poss vel. Assim como o uso de R pode simplicar as coisas na f sica, apesar de n ao ser conceitualmente imprescind vel, o uso de C pode simplicar as coisas de forma ainda mais radical. N ao e portanto uma surpresa que o seu uso seja amplamente difundido na f sica. Estruturas maiores do que C podem ser obtidas apenas se levantarmos alguma das exig encias que denem um corpo. Por exemplo, e poss vel obter um conjunto de elementos denominados quat ernions, formados por qu adruplas ordenadas de n umeros reais, desde que ` vezes chadesistamos da propriedade de comutatividade da opera c ao de multiplica c ao. As mamos esta estrutura de um corpo n ao-comutativo, mas a rigor n ao se trata mais de um tamb corpo propriamente dito. E em poss vel denir um conjunto ainda maior de elementos denominados octonions, desde que levantemos o requerimento de associatividade da multiplica c ao. Apesar de que o conjunto dos quat ernions tem alguma rela c ao com a mec anica qu antica, pois pode ser representado atrav es das matrizes de Pauli, que representam o conceito de spin naquela teoria, a utilidade destas estruturas maiores e muito mais limitada do que a utilidade dos n umeros complexos, que e verdadeiramente imensa. Os n umeros complexos s ao denidos como pares ordenados de n umeros reais. Seja z = (x, y ) um tal par ordenado, com x, y R, ent ao z C e as opera c oes de adi c ao e 7

multiplica c ao de n umeros complexos s ao denidas em termos das correspondentes opera c oes dos n umeros reais, como segue, soma: produto: z1 + z2 = (x1 + x2 , y1 + y2 ); z 1 z 2 = ( x 1 x 2 y 1 y 2 , x 1 y2 + x 2 y 1 ) .

f E acil vericar que o elemento neutro da soma e (0, 0), e que o elemento neutro do produto e (1, 0). O primeiro elemento do par ordenado e denominado de parte real, enquanto o segundo elemento e denominado de parte imagin aria. Assim como temos a unidade real (1, 0), podemos tamb em denir uma unidade imagin aria, que e o elemento (0, 1). Como este elemento tem import ancia especial, vamos denot a-lo por um s mbolo dedicado, a saber = (0, 1). Da deni c ao da opera c ao de multiplica c ao em C segue que 2 = (1, 0). Como o elemento neutro da multiplica c ao e (1, 0), e natural identic a-lo com o s mbolo 1, sem introduzir qualquer possibilidade de confus ao. Assim, podemos tamb em dizer que 2 = 1. A natureza real ou complexa dos n umeros e dos s mbolos utilizados estar a sempre clara devido ao contexto dos argumentos desenvolvidos. Observe-se que n ao e denido como 1, mas sim como o par ordenado (0, 1). Em termos dos s mbolos 1 e , qualquer n umero complexo z = (x, y ) pode ser escrito com uma combina c ao linear, z = x + y , o que pode ser vericado usando-se apenas as deni c oes das opera c oes aritm eticas complexas. Se considerarmos o subconjunto dos n umeros complexos que s ao da forma (x, 0), podemos vericar facilmente que recuperamos o conjunto dos n umeros reais x, com as suas propriedades usuais de adi c ao e de multiplica c ao, de forma que o corpo R e um subconjunto de C, que preserva as opera c oes aritm eticas de C. Tamb em n ao e dif cil vericar diretamente que as opera c oes aritm eticas denidas acima para os n umeros complexos satisfazem a todas as propriedades necess arias para a deni c ao de um corpo, por meio da redu c ao das propriedades complexas ` as correspondentes propriedades reais, j a conhecidas. Da mesma forma como R e completo na reta real, C e completo em um plano bidimensional (x, y ), que denominamos de plano complexo. A no c ao de completicidade do conjunto, bem como a no c ao de limite, se estendem naturalmente para o ambito complexo, e s ao essencialmente as mesmas que conhecemos no ambito real. Ademais, toda a algebra de C e operacionalmente id entica ` a algebra (aritm etica) dos reais, de forma que podemos manipular n umeros complexos exatamente da mesma forma como manipulamos n umeros reais, sem ter de nos preocupar em indicar a cada momento que os n umeros envolvidos n ao s ao puramente reais. Apesar de que o corpo dos n umeros complexos n ao e ordenado, e poss vel associar a eles uma no c ao de magnitude, que e muito u til tanto na f sica quanto na an alise matem atica, atrav es do conceito do m odulo |z | de um n umero complexo z = (x, y ), que e o n umero real dado por |z | = x2 + y 2 .

Por m, temos uma opera c ao adicional muito u til em C, que denominamos de conjuga ca o complexa. Dado o n umero complexo z = (x, y ) = x + y , denimos o seu complexo conjugado z , muitas vezes denotado tamb em por z , como z = (x, y ) = x y. f E acil vericar tamb em que o m odulo de z pode ser escrito em termos de z e de seu complexo conjugado como |z | = z z . Observe-se que o m odulo de um n umero complexo 8

tem a mesma forma familiar do m odulo de um vetor bidimensional, com duas componentes cartesianas. E claro que, assim como podemos considerar varia c oes de um n umero real x ao longo de um eixo real, tamb em podemos considerar varia c oes de um n umero complexo z , que se d ao ao longo de um plano descrito por coordenadas cartesianas x e y . Em cada caso, a magnitude da varia c ao e dada pelo m odulo da diferen ca de dois n umeros, seja |x2 x1 | no caso real, ou |z2 z1 | no caso complexo. No caso real, a varia c ao e sempre linear, pois se d a sobre um eixo, ou seja sobre uma linha reta, enquanto no caso complexo ela pode se dar ao longo de uma curva qualquer neste plano coordenado (x, y ). Para aqueles que est ao suspeitando de uma semelhan ca inusitada entre a estrutura dos n umeros complexos e a estrutura de um espa co vetorial de duas dimens oes, uma vez que ambos podem ser representados em um plano (x, y ), terminamos por observar que a similaridade existe de fato, e que ela ser a usada de forma extensiva nestas notas. De fato, os n umeros complexos podem ser identicados com vetores bidimensionais sobre os quais uma opera c ao de multiplica c ao com inversa foi denida. Esta identica c ao geom etrica com o plano bidimensional e muito u til para facilitar o aprendizado dos n umeros complexos, das fun c oes complexas e do c alculo complexo que iremos desenvolver, envolvendo todos estes elementos.

Refer encias
[1] Este pequeno paper pode ser obtido na rede em formato PS ou PDF, nos URLs http://latt.if.usp.br/fismat/micro-papers/continued-fractions.ps http://latt.if.usp.br/fismat/micro-papers/continued-fractions.pdf [2] Este pequeno paper pode ser obtido na rede em formato PS ou PDF, nos URLs http://latt.if.usp.br/fismat/micro-papers/square-root-series.ps http://latt.if.usp.br/fismat/micro-papers/square-root-series.pdf [3] Os programas em Fortran que implementam os esquemas de aproxima c ao descritos nos papers acima podem ser encontrados no URL http://latt.if.usp.br/fismat/micro-papers/micropapers-src.tar.gz [4] Leitura recomendada: Number: The Language of Science c 2007; by Tobias Dantzig; paperback, 416 pages; Published by Plume, January 30, 2007; ISBN-10: 0452288118; ISBN-13: 978-0452288119.