Você está na página 1de 121

Dicion ario de Matem atica

Praciano-Pereira, T

Sobral Matem atica 17 de dezembro de 2012 tarcisio@member.ams.org Textos da Sobral Matem atica Editor Tarcisio Praciano-Pereira, tarcisio@member.ams.org

Este e um projeto em andamento que talvez se torne permanente, um dicion ario de Matem atica em Portugu es. H a diversas obras semelhantes em outras linguas, e a pr opria wikipedia representa um exemplo de enciclop edia. Coloquei dicion ario de Matem atica mas isto n ao representa algo denitivo, pode, em algum momento passar a ser dicion ario Brasileiro das Ci encias Exatas que estou evitando, no momento, porque eu n ao teria capacidade para carregar sozinho este projeto, mas se a id eia vingar e mais gente se aproximar, mudamos o nome, anal isto aqui e apenas um arquivo eletr onico...qualquer A coisa pode ser rapidamente alterada, e L TEX permite que isto seja feito com grande rapidez. Portanto, n ao tenha receio de criticar, corrija os erros que enA contrar, por exemplo. Como trabalho como L TEX , em um ambiente Linux, est a todo o sistema de produ ca o do dicion ario automatizado: depois de redigido, a compila ca o e o envio para o site est a tudo automaizado, basta executar um make livro e pluft - vai para o site. Pode criticar que e f acil corrigir, ou sugerir verbetes, com o corpo do mesmo. O n umero de verbetes desta primeira edi ca o e vergonhosamente pequeno, mas o objetivo e que o trabalho apare ca e aos poucos cres ca, oxal a com a colabora ca o de outros autores. Mesmo assim vou me aventurar a construir aos poucos este projeto, tentando n ao competir com a wikipedia, que seria um desastre, mas tentando oferecer uma informa ca o resumida, com indica co es de onde se possa encontrar informa co es mais completas sobre os termos que aparecem na literatura cient ca. H a outro objetivo que tenho em mente, criar curiosidade! Como seria imposs vel dizer tudo, e o projeto Bourbaki nos lembra desta impossibilidade, ao criar um verbete tento ir o mais longe que possa sem ultrapassar os limites do bom senso, e o resultado n ao pode ser outro, estimular a curiosidade do leitor para ir em busca de mais informa co es e para isto existe a wikipedia. Ao mesmo tempo convido colegas que desejem contribuir para este projeto, e aqueles que o zerem lhes ser a garantido o lugar de co-autor na capa do dicion ario, n ao importa qual o tamanho da contribui ca o. Uma forma de contribuir pode ser corrigindo algum erro, ou incompletitude que for observada no que aqui for publicado, tendo sempre em mente que o objetivo n ao pode ser enciclop edico. Entretanto eu n ao vou estabelecer objetivos! Este e um projeto aberto, no sentido de c odigo aberto, os que desejarem participar s ao bemvindos e juntos refaremos as regras do projeto. Para participar, basta enviar-me o seu verbete, por e-mail, eu incluo a sua contribui ca o e o seu nome na lista de autores. Sempre me lembro do projeto de Linux, que come cou com um sistema que podia abrir a gaveta de disquetes, em 1991, e quando chegou a ser capaz de criar uma rede de computadores, acendeu o interesse do mundo inteiro! Ousadia? A estrutura dos verbetes pode ser vista neste exemplo: \underline{\bf redundante**} Que contem repeti c~ oes de informa c~ oes. Uma base ortogonal de vetores e um exemplo de sistema n~ ao redundante. Uma base \index{redundante} pode ser ainda redundante. O verbete dentro do ambiente

2 \underline{\bf } inclua \index{ } contendo as palavras-chave do seu verbete, serve para criar o ndice remissivo ao nal. Basta copiar este esqueleto \underline{\bf seu verbete} \index{seu verbete} \index{verbete, o seu}... e preencher com sua contribui ca o. Inclua f ormulas, guras (por favor, me envie no formato eps - encapsulated postscript - eu n ao sei ainda trabalhar com outros formatos - ou me ensine como! Ao contribuir, por favor, tente se adequar ` as regras da publica ca o que objetivam apenas criar uma organiza ca o, mas como qualquer outro aspecto do projeto, se encontra livre para discuss ao e altera ca o. Redija o seu verbete em A L TEX e analise o que j a est a feito para tentar criar alguma coisa seja parecida. Se quiser propor modica co es, n ao tenha d uvidas em faz e-lo, mas pense que sejam exequ veis uma vez que somos n os, os autores, os que administram o projeto. Por exemplo inclua a indexa ca o dentro do verbete, se tiver d uvidas como isto e feito, pergunte-me, mas eu logo vou criar um arquivo de FAQ para responder perguntas frequentes. A estrutura inicial e muito simples, anal, neste momento h a um pouco mais de 30 verbetes... quando o trabalho atingir um n vel adequado eu vou fazer uma rodada de discuss oes com os envolvidos para encontrar uma estrutura mais adequada, possivelmente dividindo em cap tulos que reunam os verbetes pela letra inicial, como e costume em dicion arios, ou qualquer outra forma A de sistematiza ca o o que e extremamente simples de fazer com apoio de L TEX Por exemplo, logo terei que ter um corpo editorial para ter cuidado com areas espec cas porque o meu conhecimento n ao e, e nem pretende ser, enciclop edico. O trabalho promete ser divertido, lutei um pouco para redigir aproxima ca o e qualquer cr tico deve encontrar no texto incompletitudes ou imprecis oes, e sou um especialista da area de aproxima c ao... n ao tenha pudor, critique! A Este dicion ario est a sendo compilado com L TEX e o trabalho est a sendo automatizado com make um programa de dom nio p ublico produzido e distribuido pela funda ca o FSF. A sa da de dados e um arquivo de tipo pdf produzido com A pdfL TEX e que pode ser lido com xpdf que tamb em e de dom nio p ublico. Tudo isto rodando dentro de um ambiente Debian/GNU/Linux. Tarcisio Praciano-Pereira

3
n

Abel, Lema de Considere a s erie de pot encias Sn


k=0

an z n por compara ca o

ao Sn converge com s eries geom etricas se pode deduzir que se lim n |an | = 1 r ent absolutamente e uniformemente no disco B (0, ); < r. Nada se pode dizer sobre o que acontece na fronteira deste disco. O n umero r e o raio de converg encia da s erie de pot encias. As s eries de pot encias denem fun co es de classe C no interior do disco de converg encia e tais fun co es satisfazem ` as equa co es de Cauchy-Riemann s ao as fun co es anal ticas, ou holomorfas. absolutamente som avel
n

Uma s erie Sn = (
k=0

ak )n se diz absolutamente som avel ou absolu-

tamente convergente se a s erie obtida com a substitui ca o ak := |ak | for convergente. Theorem 1 (comutatividade) S eries e comutatividade Se Sn for absolutamente convergente e se for uma bije c ao de N ent ao, [3, p agina 39]
n n

(
k=0

ak )n = (
k=0

a(k) )n

A s erie harm onica, Sn = (


k=1

(1)k+1 /k )n converge mas a permuta ca o


2n1 j =1

2n1 j =1

1 2n + (2j + 1)

n ao converge. e um m etodo descrevendo a execu ca o de uma tarefa. Um proalgoritmo grama, escrito em uma linguagem de computa ca o, e um algoritmo. Algumas equa co es podem representar um algoritmo, como p = dq + r; p, d, q, r N; r < d; q > 0 (1)

1 2n 2j

e o algoritmo da divis ao euclidiana de p por d, porque, dados p, d podemos encontrar dois u nicos n umeros q, r de modo a denir a divis ao de p por d. Embora este algoritmo seja passivo, ele e um antigo exemplo de express ao algoritmica em Matem atica. Como exemplo de algoritmo, fere um pouco a concep ca o atual desta palavra uma vez que ele n ao produz os n umeros q, r, apenas serve para testar uma quantidade nita de de pares (q, r) com objetivo de encontrar um que sirva. Mas, como esta express ao podemos construir um m etodo, com divis oes sucessivas, e expressar esta sucess ao de divis oes com uma linguagem de programa ca o que seria um algoritmo na concep ca o atual. um m aproxima c ao E etodo pelo qual construimos objetos, dentro de um conjunto (ou espa co), que representam um outro objeto com um erro aceit avel. Por exemplo a imagem transmitida ` a dist ancia n ao corresponde a uma c opia

4 exata do objeto captado, h a um erro que e consequ encia da necessidade que temos de considerar apenas uma quantidade nita pixels (no caso da imagem) para compor a representa ca o do objeto no espa co de chegada. Outro exemplo e o n umero , que e obtido, aproximadamente, quando consideramos o quociente entre o per metro de um pol gono regular convexo inscrito no c rculo unit ario dividido pelo di ametro 2. O resultado deste quociente e uma aproxima ca o de . Maior o n umero n, melhor a aproxima ca o obtida de . em da topologia de varatlas um conceito de geometria diferencial e tamb iedades. A ideia intuitiva vem do atlas mundi, como a Terra pertence a classe topol ogica da esfera, e imposs vel denirmos uma unica fun ca o de uma regi ao do plano na superf cie da Terra, ent ao precisamos de v arios mapas formando um atlas para esta a idea de um atlas em descrever com pe cas planas a superf cie da Terra. E topologia ou em geometria diferencial. Deni c ao 1 (atlas) Atlas Se V for uma variedade de dimens ao n, dizemos que ((Ui , i )iI e um atlas para V se (Ri )iI for uma cole c ao de abertos do Rn
i

c ao de aplica c oes injetivas cont nuas (homeomore (Ri Ui )iI for uma cole smos) de abertos do Rn em abertos de V satisfazendo ` as condi c oes seguintes:
iI

Ui = V , que garante que os mapas cobrem a variedade;

para qualquer par (i, j ) de ndices, Ri Rj =, que garante que n ao haja regi oes com mapas incompat veis junto com a pr oxima condi c ao; para qualquer par (i, j ) de ndices, as aplica c oes i , j coincidem na interse c ao Ri Rj que garante que n ao haja regi oes com mapas incompat veis; Se a variedade V for diferenci avel (em geometria diferencial e topologia diferencial) se precisa que i sejam difeomorsmos i Cada aplica c ao Ri Ui se chama um mapa do atlas.
Dois dos mapas dum atlas para o crculo
F =0 x

F =0 x

Na gura (1), p agina 4, voc e dois mapas para o c rculo, mas e preciso de quatro mapas para formar um atlas Figura para o c rculo, para isto para selecionar dois 1: Um atlas para o c rculo pares de pontos ant podas, diferentes, e a cada um destes pares corresponde um par de mapas. Banach, espa co de e a teoria que generaliza os espa cos vetoriais normados de dimens ao nita como Rn ou Cn em que os vetores s ao m edidos com a norma euclidiana. H a duas teorias elementares que fazem esta generaliza ca o, a dos espa cos de Hilbert e a dos espa cos de Banach, [8, segunda parte].

5 A formula ca o do que e um espa co de Banach pode se expressar de forma absolutamente simples, com a linguagem do C alculo no Rn , apenas com a substitui ca o dos vetores x = (x1 , . . . , xn ) pelo s mbolo f representando os elementos de um certo espa co de fun co es. Por exemplo, se considerarmos o conjunto de todas as fun co es cont nuas denidas, denidas num intervalo fechado da reta, C ([a, b]), podemos provar que a equa ca o |f (x)| (2) f =
xin[a,b]

tem as mesma propriedades que


n

|x| =

k=0

xk ; x Rn

(3)

portanto (C ([a, b]), f ) e um exemplo de uma estrutura semelhante a (Rn , | |). A equa ca o (2) recebe a denomina ca o de norma caracterizando que obtivemos uma generaliza ca o do conceito tradicional m odulo, ou seja, o m odulo e um exemplo de norma. Os espa cos vetoriais em que for poss vel denir uma norma se chamam espa cos vetoriais normados. O mesmo se poderia fazer substituindo o espa co [a, b] por um espa co topol ogico X e o resultado desta generaliza ca o conduziu ` a descoberta de propriedades topol ogicas nas sobre os espa cos topol ogicos que tornam a fam lia dos espa cos de fun co es C (X ) em que X e um espa co gen erico, uma teoria bastante complexa inclusive ainda com alguns resultados abertos associados aos tipos de medida que e poss vel denir em X associadas ` a dimens ao do resultante espa co C (X ). Um exemplo, dentre muitos que podemos dar, seria o espa co vetorial das s eries trigonom etricas absolutamente convergentes. A soma (ponto a ponto) de duas tais s eries e outra do mesmo tipo das anteriores, assim como o produto por um escalar (real ou complexo, e neste caso falariamos de espa cos vetoriais reais ou complexos) temos um espa co vetorial interessante este caso porque ele estabelece liga sobre um destes corpos. E ca o com outro tipo espa co associado aos coecientes das s eries de Fourier. binomial, coeciente Procure coeciente binomial Bourbaki, N Nicolas Bourbaki, o nome de um grupo de matem aticos franceses, criado por volta de 1940, idealizando reescrever toda a Matem atica de forma rigorosa e axiom atica. O projeto Bourbaki nasceu morto, na mesma epoca de sua cria ca o G odel demonstrou a impossibilidade de completa ca o axiom atica dos naturais. Mesmo que o seu objetivo fosse imposs vel, a contribui ca o do grupo Bourbaki para a Matem atica foi muito grande tendo inuenciado profundamente a discuss ao sobre os fundamentos. Serve de exemplo, por um lado, para mostrar que um grupo de matem aticos excelentes pode errar em sua vis ao geral da Matem atica, como todos os seres humanos e o erro faz parte do processo de constru ca o do conhecimento, e por outro lado, para n os alertar sobre as burocracias governamentais

6 que podem, e costumam, parar projetos porque os burocratas n ao conseguem entender os objetivos difusos dos germens de uma constru ca o cient ca. uma disciplina da Matem C alculo** E atica que estuda o comportamento das fun co es com o objetivo de descrever a continuidade, diferenciabilidade e integrabilidade das mesmas. Ver continuidade, diferenciabilidade e integrabilidade. e uma fun ca o, em geral multivariada, e tomando valores em campo escalar uma antiga denomina R ou C. E ca o para fun co es. O adjetivo escalar caracteriza que o conjunto de chegada e de dimens ao 1 (real ou complexa). campo vetorial A palavra campo e uma antiga denomina ca o para fun co es e que permaneceu na F sica sendo usada tamb em na literatura matem atica. E mais frequente o uso de campo vetorial ou de campo escalar para fun co es de v arias vari aveis. H a v arias formas de apresentar este conceito. Se F for um campo escalar, ent ao a sua derivada, J (F ) e um campo vetorial, uma fun ca o denida no mesmo dom nio de F mas agora tendo tantas fun co es-coordenadas F quantas sejam as vari aveis. Se Rn Rm ent ao a derivada de F e uma matriz (funcional) de dimens ao m x n formada com as derivadas parciais das coordenadas de F . A derivada de fun co es multivariadas recebeu o nome de jacobiana numa epoca em que n ao era reconhecida como a derivada, e algumas vezes se usa o s mbolo J (F ) para represent a-la. cardinalidade e a generaliza ca o do conceito de n umero de elementos de conjuntos nitos. O conceito conjunto nito precisa ser denido e uma forma de o fazer consiste da dicotomia seguinte: ca o entre A e uma parte pr opria de A; 1. conjunto innito existe uma bije ao pode haver uma bije ca o entre A e uma parte pr opria 2. conjunto nito n de A; Como um exemplo da primeira senten ca, considere o conjunto N dos n umeros naturais, e poss vel estabelecer uma bije ca o entre N e 2N, o conjunto dos n umeros naturais pares, que e dada pela equa ca o n 2n, que e uma bije ca o. Ent ao, a primeira rela ca o caracteriza os conjunto innitos, enquanto que a segunda caracteriza os conjuntos nitos. Cantor estabeleceu a sua h potese de cardinalidade, conrmada na d ecada de 50 do s eculo 20, como um axioma da teoria dos conjuntos, estabelecendo que havia classes disjuntas de cardinalidade, a classe dos conjuntos nitos, cujas cardinalidades s ao elementos do conjunto N, depois a classe card(N) a que pertencem N, Z, Q, . . . , depois a classe card(P(N)) a que pertencem R, C, . . . . E pensou Cantor, se A for um conjunto innito, ent ao card(P(A)) e uma nova classe a qual A n ao pertence: o salto de cardinalidade. Se um conjunto A for nito, o operador P produz um novo conjunto P(A) cuja classe e diferente da classe de A por em sem alterar sua classica ca o como conjunto nito, a classe de P(A) e 2card(A) N, se A for um conjunto nito. Os s mbolos e continuam sendo usados por em perdendo os seus signicados da aritm etica, a nova deni ca o destes s mbolos de desigualdade e:

7 card(A) = card(B ) Se dois conjuntos tiverem a mesma cardinalidade dizemos que existe uma bije ca o entre eles. card(A) card(B ) dizemos que card(A) card(B ) se houver uma fun ca o injetiva A B ou equivalentemente card(A) card(B ) dizemos que card(A) card(B ) se houver uma fun ca o sobrejetiva A B .
g f

A gura (2), p agina 7, mostra uma sobreje ca o do conjunto A sobre o con-

A
Figura 2:
card(A) card(B )

junto B e a forma de construir uma fun ca o sobrejetiva g usando as classes de equival encia m odulo g que e simples de construir quando A for nito. Se A n ao for nito e simples aplica ca o do axioma da escolha . . . selecionar, para cada classe em A/ um elemento de A que lhe corresponda, e como A/ e equipotente com B ent ao existe uma bije ca o entre estes dois conjuntos cuja composi ca o com a anterior sele ca o dos elementos de A e a sobreje ca o procurada. uma classe de estruturas algebricas, por exemplo, Grupo seria categoria E categoria de todos os grupos e Abel seria uma sub-categoria dos grupos comutativos. Entre os membros de uma mesma categoria se estabelecem funtores que colocam em correspondencia as respectivas opera co es e os elementos privilegiados destas estruturas, como, por exemplo, elementos neutros. Podemos estabelecer um funtor especial entre uma categoria mais complexa, como a EV, dos espa cos vetoriais, e outra mais simples, como Grupo, que e o funtor esquecido que esquece aspectos da estrutura para produzir uma estrutura mais simples, no caso do funtor esquecido de EV para Grupo esqueceriamos o produto por um escalar para obter a categoria dos grupo aditivos subjacentes ao espa co vetorial.

8 A Teoria das Categorias foi constru da por Cartan e Eilenberg que, se diz, num primeiro momento, a chamaram de general abstract nonsense porque, embora n ao houvesse d uvida do poder de abstra ca o que esta teoria nos traria, eles sabiam que ela dicilmente se tornaria um instrumento popular dentro da Matem atica. Mesmo assim uma consequ encia pr atica da Teoria das Categorias e a orienta ca o ` a objeto em Computa ca o que e uma aplica c ao das categorias concretas. um problema de condi ca o inicial, PCI, de equa co es Cauchy, problema de. E diferenciais, portanto o problema y (t) = f (t) y (a) = b; t [a, b]; b R (4)

e um problema de Cauchy com condi ca o inicial (a, b). Observe que f pode ser uma fun ca o com valores num espa co vetorial de dimens ao n e neste caso y, y ser ao tamb em fun co es vetoriais no mesmo espa co, b Rn , o que tornaria a equa ca o (4) uma equa ca o diferencial de ordem n, a dimens ao do espa co. Um problema com condi c ao incial, ou um problema de Cauchy tem como solu ca o uma curva que se origina no ponto (a, b) [a, b] Rn . Um exemplo um pouco diferente e que abre possibilidades para apresentarmos uma vers ao mais avan cada do problema de Cauchy, seria o teorema da fun c ao impl cita que pode ser visto como o inverso dum problema de Cauchy de equa co es diferenciais parciais. A vers ao no R3 do teorema da fun c ao impl cita pode ser expressa assim: 1. Temos uma curva contida em R3 parametrizada no intervalo [a, b] cujo gr aco se encontre num plano paralelo ao plano XOY ; 2. um campo de vetores T ((t))t[a,b] do R3 indexado nos pontos da curva , quer dizer, uma fun ca o de em R3 ; 3. Ent ao existe uma u nica superf cie z = F (x, y ) e um n umero c tal que e a curva de n vel c de F , ou = {(x, y ); F (x, y ) = c} A condi ca o (1) faz de uma curva de n vel de uma fun ca o z = F (x, y ) e o teorema da fun c ao implicita (leia este teorema para ver mais detalhes) nos garante ent ao que existe uma u nica fun ca o f tal que nas vizinhan cas de um ponto (a, b, c) que pertence ` a curva 1. O campo T e o gradiente de F restrito ` a curva ;
x ao em que Fy = 0; ou 2. y = f (x); y = F Fy numa regi y 3. x = f (y ); y = Fx numa regi ao em que Fx = 0.

Isto, resumidamente, e o que nos diz o teorema da fun c ao impl cita e o problema de Cauchy e uma esp ecie de rec proca do teorema da fun c ao impl cita. No teorema da fun ca o impl cita, existe um ponto (a, b, c); c = F (a, b) em que uma das derivadas parciais de F e diferente de zero e em geral e tudo que se

9 conhece mas apenas com isto e poss vel obterem-se boas aproxima co es para a fun ca o f que explicita a equa ca o F (x, y ) = c, entretanto, o nosso objetivo aqui e de partir deste teorema do C alculo para obter uma formula ca o do teorema de Cauchy-Kovalesvkaya, e precisamos de uma nota ca o adequada que vamos agora desenvolver ampliando a descri ca o feita do teorema da fun c ao impl cita. Considerando o problema rec proco, o que temos e a curva e um campo de vetores denidos sobre ela, para o problema de Cauchy, a curva e o campo de vetores T ((t))t[a,b] do R3 , formado pelo gradiente de F ao longo da curva se chamam de dados iniciais do problema, ou algumas vezes se os chama de dados de Cauchy do problema. A solu ca o e a superf cie graf (F ). O campo vetorial dos gradientes pode ser substituido por um campo escalar, das derivadas na dire ca o da normal ` a curva , e a curva e uma variedade de dimens ao 1 que pode ser substituida por uma variedade de dimens ao n quando considerarmos o problema em n vari aveis. O problema de Cauchy e uma generaliza ca o da rec proca do teorema da fun c ao impl cita que pode ser expressa assim: i u ku iu O sistema de equa co es xkj = fj (x, y1 , . . . , yn , ( xij ), ( yij )j,i )
j

temos uma variedade de dimens ao n, ; temos um campo vetorial denido sobre e queremos encontrar uma fam lia de variedades de dimens ao n + 1 com a restri ca o de fi seja anal tica em todas as vari aveis. Sonja Kovalesvkaya, uma matem atica russa, demonstrou em sua tese de doutorado a vers ao que hoje se conhece, chamada Cauchy-Kovalesvkaya generalizando a express ao que Cauchy havia formulado. Cauchy-Riemann, equa co es de Considere a fun ca o complexa w = f (z ) = u(z ) + iv (z ); u, v : R Se f for diferenci avel, como fun ca o complexa, ent ao ux = vy ; uy = vx ; (Cauchy-Riemann) (6) (5)

Estas equa co es s ao necess arias e sucientes para que o (ux , uy ), ou (vx , vy ), sejam diferenciais exatos com a integral de linha se anulando sobre qualquer curva fechada dentro do dom nio de validade das equa co es de Cauchy-Riemann, , portanto, pelo teorema de Green, f = ux + iuy = ux vx uy vy = vy vx vx vy = ux uy uy ux (7)

em que a matriz na equa ca o (7) e a matriz da transforma ca o linear tangente de f vista como fun ca o vetorial de vari avel vetorial. As fun co es de R2 em R2 que satiszerem ` as equa co es de Cauchy-Riemann, s ao um sub-espa co vetorial do espa co das fun co es deriv aveis de R2 em R2 , as fun co es anal ticas ou deriv aveis no sentido complexo.

10 e um conceito difuso, e muito importante em diversos aspectos da ciclo ci encia. Poderiamos den -lo como comprimento de onda, entretanto nem sempre e poss vel entender claramente o que seria uma onda. Em computa ca o, nos computadores, o c clo e o comprimento de onda de uma c elula de quartz excitada por um pulso de energia el etrica que e o substituto do cabelo nos rel ogios mec anicos existentes at e a d ecada de 60 do s eculo 20, o do p endulo. Entre os seres vivos poderia ser o comprimento m edio de vida , os seres vivos s ao estruturas que podem ser muito complexas, agregados de outros seres vivos, as c elulas, e estas tem distintos c clos. Seria poss vel denir um espectro para seres vivos que identicasse cada esp ecie? umeros a, b podemos expressar (a + b)n coeciente binomial Dados dois n k como uma soma em que aparecem a, b e os coecientes Cn , os n umeros combinat orios:
n n

(a + b)n =
k=0

k k nk Cn a b = k=0

k nk k Cn a b

(8)

Esta arma ca o e conhecida como teorema do bin omio de Newton. Estes coecientes, conhecidos tamb em como n umeros binomais se dispostos em linhas crescentes pelo ndice n da pot encia, formam o tri angulo de Pascal tamb em, possivelmente, j a conhecido por matem aticos chineses h a oito mil anos.

As 11 primeiras linhas do Tri angulo de Pascal 1 11 121 1331 14641 1 5 10 10 5 1 1 6 15 20 15 6 1 1 7 21 35 35 21 7 1 1 8 28 56 70 56 28 8 1 1 9 36 84 126 126 84 36 9 1 1 10 45 120 210 252 210 120 45 10 1 1 11 55 165 330 462 462 330 165 55 11 1 A gura (7) p agina 21, mostra as n = 15 primeiras linhas do tri angulo, constru das com um programa em python, que pode imprimir um n umero arbitr ario de linhas do tri angulo de Pascal, em alguns segundos, mesmo que n seja grande. interessante observar que se a = b = 1 se obt E em esquematicamente o tri angulo de Pascal e se pode ler em cada linha as pot encias de 11, apenas temos que adaptar a base de numera ca o. Por exemplo, at e a quarta pot encia se podem ler as pot encias de 11 diretamente do tri angulo, dentro do nosso sistema de base 10, mas para 115 temos que incluir 10 como um algarismo:

11 1 5 10 10 5 1

am de ainda ler uma pot encia de 11, portanto, passar ` a uma base de numera ca o em que 10 (ou outro s mbolo) seja o d gito para representar o 10 da base decimal, como na base hexadecimal, o s mbolo A representa o algarismo 10: 1 5 A A 5 1

e o resultado que voc e vai ver no visor de uma m aquina de c alcular que tenha a habilidade com n umeros na base hexadecimal, gura (3), p agina 11. Mas podemos simplesmente considerar 10como um novo algarismo. . . e expandir a base de numera ca o progressivamente a medida que lemos as linhas do tri angulo.

Figura 3:

115 na base hexadecimal

complexidade pode ser descrita usando como modelo a teoria dos conjuntos. O tipo mais simples (menos complexo) de conjunto e o conjunto nito, aqui estou me referindo a uma classe de conjuntos. O representante da classe dos conjuntos com n elementos e A = {1, 2, . . . , n}; n 1; (9)

Claro que logo temos uma discuss ao a fazer? onde ca o conjunto {} = nesta classica ca o? Vou deixar de lado esta querela, por enquanto! Neste mesmo grau de complexidade podemos encontrar uma variante P(A), conjunto das partes de A. Ele cont em parte dos modelos Ak , os produtos cartesianos de A, por em sem repeti co es. Ak seriam os arranjos com repeti co es de n elementos tomados k a k e em P(A) as repeti co es est ao eliminadas. Mas podemos dizer que se trata da mesma complexidade. O pr oximo grau de complexidade seria o conjunto N dos n umeros naturais que e o conjunto innito mais simples (menos complexo), aqui n ao cabe mais falar em n umeros de elementos que e um

12 conceito generalizado pela cardinalidade. H a diversos conjuntos com a mesma complexidade de N, Z, Q, Qn , se n for um inteiro... e se n ao for, como esta exress ao representa um conjunto de fun co es, pode haver uma complexidade mais elevada nesta express ao! P(N) e uma nova classe de complexidade. Aqui vem a descoberta fundamental de Cantor o operador P(N) produz um novo grau de complexidade. A cardinalidade de P(N) e diferente da card(N) com a sua hip otese de que n ao h a complexidade intermedi aria entre card(N) e card(P(N)) = card(R) a cardinalidade do conjunto dos n umeros reais, tamb em chamada de cardinalidade do cont nuo. Assim A, N, P(N), P(P(N)), (10)

seria uma lista de complexidades sucessivas, em que A e um subconjunto nito de N. A hip otese de Cantor estabelece que n ao h a cardinalidades intermedi arias entre as que se obtiver com o operador P, s ao os chamados saltos de cardinalidade. Em 1900 Hilbert enunciou 23 classes de problemas em sua fala no Congresso Internacional de Matem atica, entre estes problemas se encontrava a hip otese de Cantor que foi estudada por K. G odel in 1940 e nalmente Paul Cohen in 1963 completou o trabalho de G odel com a conclus ao de que a hip otese de Cantor teria que ser considerada um axioma da Teoria dos Conjuntos de ZermeloFraenkel que e considerada um dos fundamentos da Matem atica, [11, Cantor]. e um tipo de rela c ao de equival encia entre os inteiros posicongru encia tivos, pelo resto que eles deixam na divis ao por outro n umero inteiro. Fixe o n umero inteiro n e considere dois outros n umeros inteiros, p, q . Dizemos que p e congruente a q se eles deixarem o mesmo resto na divis ao por n. Nota ca o: p q (mod n). Como a quantidade de restos poss veis e n ent ao esta rela c ao de equival encia determina n classes no conjunto dos n umeros inteiros positivos. As duas opera co es, soma e produto, podem ser denidas sobre estas classes criando uma aritm etica semelhante a dos n umeros inteiros sobre este conjunto nito. Por exemplo, o caso n = 2 corresponde aos n umeros bin arios da computa ca o, a aritm etica dos computadores. Quando n for um n umero primo esta aritm etica e semelhante a dos n umeros reais tendo como base um conjunto nito, que e o caso de n = 2, os n umeros bin arios da computa ca o. A estrutura aritm etica facilmente se extende para en uplas de elementos da classe o que nos permite trabalhar com n umeros congruentes com quantidade de d gitos arbitrariamente grandes (ainda um conjunto nito) como e a aritm etica dos computadores. Na teoria das congru encias, os restos s ao chamados res duos, e o conjunto das classes na congru encia mod n de conjunto dos res duos mod n. uma arma conjectura E ca o que se considera verdadeira mas da qual n ao se conseguiu ainda estabelecer uma prova. Nos u ltimos 20 anos duas conjecturas importantes foram provadas, em Matem atica, o u ltimo teorema de Fermat, por Wiles e outros, e a conjectura de Poincar e, por Perelman. ao e mais uma conjectura, embora ainda seja conjectura de Poincar e N

13 conhecida assim, agora e um teorema demonstrado pelo russo Grigori Perelman, extremamente em 2002, que por tal ganhou a medalha Fields (mas a recusou). E dif cil enunciar este teorema e mais ainda entender a sua demonstra ca o, um livro publicado pela American Mathematical Society, com 520 p aginas e a metade do projeto para explicar a teoria que conduz ` a demonstra ca o (h a outro livro que o completa com igual n umero de p aginas), mas intuitivamente pode ser expressa dizendo-se que, se um el astico muito tenso, preso em volta de uma esfera, for deslizado para fora da mesma, se vai reduzir a um ponto, e que isto vale em qualquer esfera de qualquer dimens ao. Para dimens oes maiores de que 3 a conjectura j a havia sido provada, mas n ao para a comum e corrente dimens ao 3. Na linguagem da topologia isto se expressa dizendo-se que uma esfera e homeot opica a um ponto: pode ser deformada continuamente para se transformar um ponto. Uma busca na Internet com a palavra chave Poincar e vai lev a-l@ a uma quantidade grande publica co es, inclusive lmes, descrevendo esta conjectura. continuidade Para uma fun ca o R R ou (a, b) R uma fun ca o denida num subintervalo da reta, a continuidade signica preservar converg encia de sucess oes para os pontos do intervalo (a, b) Deni c ao 2 (continuidade sequencial) de fun c oes reais Se f estiver denida no intervalo (a, b) (a, b) R; c (a, b); lim xn = c lim f (xn ) = f (c)
n n f f f

(11) (12)

Esta deni ca o e dita continuidade sequencial que e uma forma particular que vale para as fun co es reais de vari avel real. Em outras palavras se (xn )n ) denir o n umero c ent ao (f (xn ))n ) dene o n umero f (c). Isto e verdade para a grande maioria das fun co es que usamos no C alculo o que torna este conceito dif cil pela pr atica aus encia de contraexemplos, os contra-exemplos em geral parecem fabricados, e a grande quantidade de fun co es n ao cont nuas e pouco intuitiva. Um exemplo n ao fabricado pode ser o seguinte: a fun ca o y = f (x) = x e cont nua, mas sua derivada1 f (x) = x<0 x>0 1 1

e descont nua no ponto c = 0, ali as, n ao e denida para c = 0, observe que a deni ca o exige que f (c) esteja denido. Podemos facilmente vericar que
1 Aqui

havia um erro, em edi ca o anterior do dicion ario.

14 esta fun ca o contradiz a deni ca o, apenas para car mais f acil, vamos fazer uma pequena modica ca o em f chamando esta modica ca o de g g (x) = x0 x>0 1 1

que est a denida no ponto c = 0 onde vale 1. A sele ca o de uma sucess ao que 1 convirja para zero, por exemplo, ( n )nN tem uma imagem constante, igual a 1 que n ao converge para g (0) = 1. Fizemos esta altera ca o porque a fun ca o f pode ser dita cont nua se alterarmos o dom nio para (2, 2) {0} retirando o ponto de descont nuidade. Denindo assim diriamos que x e uma fun ca o deriv avel no dom nio (2, 2) {0}. A teoria n ao est a errada e nem tem engodos, algumas vezes precisamos de fazer restri co es deste tipo na solu ca o de problemas, e isto mostra como continuidade e dif cil, embora, de certa forma seja um conceito relativamente simples, expresso num axioma da natureza - a natureza n ao d a saltos2 . Se x estiver denida na reta inteira, ent ao sua derivada n ao estar a denida no ponto zero o que a torna imediatamente descont nua neste ponto uma vez que n ao lhe podemos aplicar a deni ca o. Esta e uma forma de dar exemplos articiais, retirando algum ponto do conjunto de deni ca o de uma fun ca o cont nua. O conceito de continuidade e nato dos espa cos topol ogicos, e nesta estrutura que se dene continuidade de forma natural para isto se usa o conceito de vizinhan ca aberta que aparece na maioria dos livros de C alculo: Deni c ao 3 (continuidade) Deni c ao topol ogica de continuidade Se (a, b) R e c (a, b) e se para qualquer seja > 0 existir > 0 tal que xc < f (x) f (c) < (13)
f

ent ao f e cont nua no ponto c. Se for cont nua em qualquer ponto do intervalo (a, b) dizemos que e cont nua em (a, b). Modicando a linguagem podemos escrever, primeiro: Vf (c) (Vc ) ; x Vc ) f (x) Vf (c) ; (14)

em que voc e pode reconhecer , substituidos por vizinhan ca aberta de um ponto, que s ao os elemento b asicos dos espa cos topol ogicos. Como a implica ca o dene inclus ao de conjuntos, podemos nalmente escrever: Vf (c) (Vc ) ; f (Vc ) Vf (c) ; (15)

Conclus ao, os livros de C alculo, habitualmente, usam a deni ca o mais dif cil e abstrata para continuidade que n ao e necess ario.
2 Natura non facit salta - Gottfried Leibniz, que depois de Charles Darwin dever ser natura saltus facit, sed parvos a natureza d a saltos, por em pequenos. . .

15 um conceito associado ` converg encia E a aproxima ca o. H a v arias formas de considerar-se converg encia e elas dependem da densidade do espa co em que se estiver trabalhando, ou sua categoria que e uma forma de classicar conjuntos considerando quantidade (cardinalidade) de abertos de sua topologia. Por exemplo n ao tem sentido em falar-se de converg encia dentro do conjunto dos n umeros naturais3 , mas cabe falar em converg encia dentro de Q e neste caso se podem descobrir as falhas do conjunto dos n umeros racionais. Uma forma de abordar converg encia em Q pode ser descrita sumariamente assim: e um resumo da forma como Sum ario da constru ca o dos n umeros reais. Este Cauchy fez a constru ca o dos n umeros reais. 1. considerar o conjunto das sucess oes de de n umeros racionais, este conjunto e muito amplo4 , por exemplo, a sucess ao dos n umeros naturais e um dos elementos deste conjunto, e no contexto deste verbete, e um elemento poss in util. . . E vel encontrar uma lei que elimine elementos deste tipo que posteriormente ser ao classicados como sucess oes n ao convergentes, por em isto tornaria a teoria mais d cil, e vamos usar uma alternativa. Temos que classicar os seus elementos em duas classes, das sucess oes convergentes e a classe das n ao convergentes. Uma forma bonita e efetiva passa pela estrutura de grupo: (a) O conjunto de todas as sucess oes e um grupo aditivo; (b) o subgrupo nulo O subconjunto das sucess oes que satisfazem a condi ca o ( > 0)(N N)(n > N )( xn < ) (16) e um sub-grupo aditivo do grupo de todas as sucess oes que vou designar por c0 e a raz ao e porque ele vai ser o zero do novo conjunto. o subgrupo formado de todas as sucess E oes que vou denir como convergentes para zero, observe que e uma deni cao, ou apenas uma etiqueta. Vou chamar esta classe de classe do zero e logo voc e ver a a raz ao. Como estamos num grupo comutativo e desnecess ario mencionar que este grupo e normal, propriedade necess aria no pr oximo passo. (c) Quando consideramos o quocidente de um grupo por um seu grupo (normal) o resultado e um grupo tamb em - das classes quociente. Foi criada uma classica ca o, quando translatarmos a classe do zero, vamos obter todas as outras classes. Mas esta linguagem e insuciente uma vez que estamos criando novos objetos que n ao conhecemos e ao e um elemento falar em translatar queremos dizer c0 + a em que a do grande grupo, entretanto o conjunto de todas as classes quociente formam o total destas transla co es. Por exemplo, um elemento do grande grupo e uma sucess ao constante de n umeros racionais e o resultado da transla ca o e o conjunto de todas as sucess oes equivalentes
3 Tem 4 Havia

sentido, ver topologia... um erro, neste ponto, em edi ca o anterior.

16 a esta - quer dizer as sucess oes que vamos etiquetar com a express ao limn xn = a em que a e o valor constante da sucess ao x. Mas h a sucess oes de n umeros racionais para as quais n ao sabemos escrever uma etiqueta t ao simples, por exemplo as que convergirem5 para , 3 ou para 2. Poristo usei a express ao etiqueta e vou escrever c0 + para me referir a esta classe. Se voc e conhecer algum m etodo para construir voc e pode descobrir elementos nesta classe, e se voc e descobrir um elemento os outros passam a ser sem import ancia (s ao equivalentes ao que voc e tiver descoberto...) - procure . (d) sucess oes convergentes Para eliminar os elementos inconvenientes, como a sucess ao dos n umeros naturais, e outras sucess oes n ao convergentes Cauchy criou um teste, denindo as sucess oes de Cauchy Deni c ao 4 (Teste) de Cauchy ( > 0) (N N) (n, m > N )( xn xm < ) Uma sucess ao que satisfa ca (17) se chama sucess ao de Cauchy Vou chamar o conjunto de todas as sucess oes de Cauchy de c. As sucess oes que satisfazem a este teste formam um grupo, e este o grande grupo, c, que nos interessa. Voc e pode vericar que N n ao e deste tipo, nem sucess oes como ((1)n )nN , uma sucess ao oscilante com oscila ca o constante. A classe c0 e um subconjunto de c, um subgrupo. Sim, temos que mostrar que (c, +) e um grupo, mas tem apenas uma pequena diculdade que ca como exerc cio: mostrar que e fechado para soma, e sai usando a desigualdade triangular. 2. O grupo quociente c/c0 e um novo conjunto que cont em Q , e o conjunto R dos n umeros reais. 3. Esta constru ca o dene a converg encia de sucess oes num ericas (podemos falar em sucess oes de n umeros reais agora - e o mesmo conjunto denido acima... das classes quocientes do grupo de todas as sucess oes de Cauchy de n umeros racionais pelo subgrupo c0 . O operador lim, aqui, apenas identica um n umero real, como um elemento de uma destas classes de equival encia. c ao e uma opera ca o denida em conjuntos convolu c ao O produto de convolu de fun c oes, de distribui c oes ou de sucess oes (convolu ca o discreta). Se f, g forem duas fun co es integr aveis sobre o conjunto dos n umeros reais, podemos denir uma terceira fun ca o com a equa ca o

(17)

(x) =

5 Havia

f (t)g (x t)dt; = f g ;

(18)

um erro, em edi cao anterior, neste ponto.

17 O f sico Dirac, precisou deste produto para montar um espa co de Hilbert de objetos representando ondas na sua constru ca o te orica da Mec anica Qu antica e com isto criou o que durante muito tempo foi chamado de fun c ao de Dirac que e a unidade relativamente ` a convolu ca o:

(0 g )(x) =

0 (t)g (x t)dt = g (x); 0 g = g = g 0 ;

(19)

apenas esta express ao n ao pode ser vista como uma integral porque a delta de Dirac n ao e uma fun ca o. Com a teoria das distribui co es esta situa ca o inc omoda foi resolvida. A distribui c ao de Dirac e a unidade relativamente ao produto de convolu ca o, entretanto o anel das distribui co es (com o produto por convolu ca o) e uma extens ao de um anel de fun co es integraveis (com o produto por convolu ca o) que e um anel sem unidade. A transformada de Fourier (ou a transformada de Gelfand) relaciona aneis de fun co es em que o produto e denido ponto a ponto, com aneis de distribui co es em que o produto e o produto por convolu c ao: f g = f g . Durante anos a f ormula na equa ca o (19) representou apenas um aspecto te orico sem grande interesse pr atico porque calcular convolu co es era muito dif cil para o c alculo manual. Hoje at e algoritmos n ao otimizados calculam convolu co es com relativa rapidez o que re-acende o interesse por esta f ormula. Al em do mais ela aparece na deni ca o da transformada de Fourier que pode ser expressa como uma sucess ao de produtos de convolu ca o por unidades aproximadas convergindo para 0 . Em artigo escrito em 1953, D. Widder, arma que todas as transforma co es integrais podem ser colocadas na forma de um produto por convolu ca o, e hoje a teoria dos operadores conrma a import ancia do produto de convolu co es. Considere agora que na equa ca o (18), uma das fun co es, a fun ca o g tenha integral 1 e seja positiva, como na gura (4), p agina 18. A integral na equa ca o (18) e o valor m edio de f no suporte de g . Se o suporte de g estiver contido numa vizinhan ca de raio do ponto x = a ent ao a equa ca o (18) o valor m edio integral de f nesta vizinhan ca. Este racioc nio nos conduz ao valor de m edio de f no ponto x = a mesmo que neste ponto f n ao seja cont nua, como mostra a gura (5), p agina 19. Como a integral sobre um intervalo compacto converge uniformemente, podemos derivar dentro da integral, e se g for diferenci avel ent ao o que se chama de regulariza f g ser a diferenci avel. E ca o por convolu ca o . Se f = [,] , a fun ca o caracter stica de um intervalo centrado na origem de m edida 2, ent ao f f e uma fun ca o linear por peda cos cujo gr aco ser a um tri angulo com suporte medindo 4 que pode ser visto na gura (6) p agina 20, portanto um 1-splines com suporte compacto. Calculando outra pot encia por convolu ca o, a terceira pot encia por convolu ca o de f , vamos encontrar peda cos de par abola formando agora uma fun ca o diferenci avel com derivada cont nua, de classe C 1 , portanto um 2-splines a suporte compacto. O suporte desta nova fun ca o mede 6, pois os suportes v ao sendo somados (soma de conjuntos). Podemos agora estabelecer a hip otese de indu ca o de que a k esima pot encia por convolu ca o seja um (k-1)-splines a suporte compacto, quer dizer uma fun ca o

18

Isto e uma media

f(t)g(xt) dt = f*g(x)

g(t)dt = 1; g > 0

Figura 4:

Convolu ca o com uma fun ca o cuja integral seja 1

de classe C k1 formada de polin omios de grau menor ou igual a k 1, com suporte medindo 2k. Uma nova pot encia por convolu ca o vai nos fornecer um grau a mais na classe de continuidade e nos peda cos de polin omios, quer dizer um k possivel manter o suporte sob tamanho splines, mas com suporte (2k + 2). E controlado com uma mudan ca de vari avel adequada da fun ca o caracter stica cujas pot encia se estiver calculando. Este m etodo mostra que e possivel obterse fun co es altamente diferenci aveis, n-splines com suporte concentrado em volta da origem e com integral 1. Uma fam la de tais fun co es e chamada de unidade aproximada, e representam a medida de Dirac no sentido de que convergem para ela, apenas esta converg encia precisa ser denida de forma adequada. E uma converg encia chamada fraca, ou no sentido das distribui c oes. omios pode ser facilmente convolu c ao discreta O produto de dois polin denido usando o produdo de convolu c ao discreto. Observe que o produto de dois polin omios, ou a soma de polin omios, e uma opera ca o que envolve apenas os coecientes, o uso das vari aveis se reduz apenas ao mecanismo posicional dos coecientes do resultado. Assim para multiplicar 1 + x + x2 por 1 + x preciso apenas das sucess oes (1, 1, 1) e (1, 1) e a metodologia e semelhante a que usamos para multiplicar n umeros, que, por sinal, podem ser codicados como polin omios em que a vari avel representa a base de numera ca o em que eles estiverem codicados. Experimente e se conven ca do que est a dito a cima.

19

regularizao por convoluo f*g

v(a)
Figura 5:
regulariza ca o por convolu ca o

Partindo da suposi ca o de que voc e j a se convenceu, passemos ao caso geral. A gura (7) p agina 21, mostra as 15 primeiras linhas do tri angulo de Pascal exatamente obtido com um programa em python para convolu ca o discreta. E o mesmo que multiplicar o polin omio (1, 1) por ele mesmo 15 vezes. Quero multiplicar os dois polin omios (a0 , . . . , an ) e (b0 , . . . , bm ). A maneira mais simples de faz e-lo consiste em criar uma representa c ao para o conjunto dos polin omios. Um polin omio (mais geralmente, uma fun ca o racional) e uma sucess ao a suporte nito, entenda tais sucess oes como sendo sucess oes n ao nitas, por em tendo apenas um n umero (nito) de valores n ao nulos. Podemos simplicar, sem perder a generalidade, translatando tais sucess oes para que o primeiro elemento n ao nulo corresponda ao ndice zero, para dois exemplos que estejamos multiplicando. Deixo como conjectura (n ao estou vendo uma demonstra ca o) o conjunto de todas as sucess oes a suporte nito n ao e equipo-

20

1 2

Figura 6:

Pot encia de convolu ca o da fun ca o caracter stica

tente ao conjunto das sucess oes a suporte nito tendo como primeiro ndice um n umero inteiro positivo. Possivelmente isto sai da compara ca o das fun co es polin omiais com as fun co es racionais. O conjunto das sucess oes a suporte nito cujo primeiro ndice seja um n umero natural representa ( e equipotente a) o conjunto dos polin omios (a coecientes reais ou complexos, importa pouco qual voc e escolher neste contexto). A retirada do predicado suporte nito criaria um problema de converg encia que nos obrigaria a restringir esta quest ao aos espa cos de sucess oes l p . Se (akN ) e (bkN ) forem duas sucess oes ` a suporte nito, ent ao, representam polin omios. Partindo da experi encia pr atica na multiplica ca o de dois polin omios, em que voc e usa apenas os coecientes, os dados se agrupam em colunas nas quais a soma k + j = i e a constante i (que corresponde a soma de potencias k + j , e apenas para isto que serve a vari avel). Esta soma pode ser rescrita como j = i k e o resultado da multiplica ca o e a soma dupla
n+m n+m k=m

ak b j =
j =0 ik=j j =0 k=0

ak bik

(20)

que resulta no polin omio de grau n + m. Como num polin omio n ao tem vari aveis - poln omio e uma lista de coecientes e as fun co es polinomiais transformam o valor fornecido via x na soma habitual, ent ao a soma externa e na verdade apenas a indexa ca o da lista que resulta desta multiplica ca o portanto, na segunda

21

Figura 7:

Tri angulo de Pascal e convolu ca o discreta

soma dupla podemos identicar o valor do coeciente de ordem j como sendo


k =m k =m

ak bik =
k=0 k=0

bik ak = (b a)(j )

(21)

uma express ao semelhante a que aparece na convolu ca o cont nua que identiquei acima como (b a)(j ), o valor do coeciente de ordem j do produto de polin omios. e uma variedade de dimens ao 1. Uma reta e uma curva, assim com curva qualquer outras das c onicas de dimens ao: par abola, c rculo, elipse ou hip erbole. Um ponto e uma variedade de dimens ao zero, e um plano e uma variedade dimens ao 2. . Uma outra forma de denir curva se d a por parametriza ca o quando se entende uma curva como uma fun ca o denida em um intervalo da reta e tomando valores em um espa co vetorial: : [a, b]rightarrowRn ; (s) = (x1 (s), . . . , xn (s)); (22)

e uma variedade de dimens ao 1 contida na variedade linear de dimens ao n Rn . Entretanto as curvas podem ser objetos bastante complicadas, como as curvas que preenchem o espa co (space lling curves), voc e pode encontrar um exemplo deste tipo de curva em [?], a curva de Peano que passar por todos os

22 pontos de coordenadas racionais de um ret angulo. Uma tal curva n ao e diferenci avel. Para a grande maioria dos teoremas do C alculo se imp oe a condi ca o de diferenciabilidade sobre as curvas. e um tipo de curva fechada, diferenci avel, que n ao se curva de Jordan corta a si mesma. Se dene o ndice de um ponto relativamente a uma curva como o n umero de vezes que a curva circula em torno do ponto. Em vari aveis complexas isto pode ser obtido como o valor da integral Ind (a) = 1 2pi

1 ; za

(23)

Se a curva for de Jordan, a integral na equa ca o (23) somente poder a valer 0 ou 1. Se valer 0 ent ao o ponto a e um ponto interior de e valer a 0 se a for um ponto exterior, nada se podendo dizer se a estiver sobre a curva. A fronteira de um ret angulo ainda e uma curva de Jordan porque se extende o conceito ` as curvas que n ao sejam diferenci aveis em um n umero nito de pontos. O c alculo da integral na equa ca o (23) pode ser facilmente feito neste caso, do ret angulo ou de um quadrado com lados paralelos aos eixos. No gr aco (8) h a pontos

Ponto de partida

1 1 1 0

c b

Ind ( b )

=2 a e d

Figura 8:

Um curva que n ao e de Jordan

cujos ndices relativamente a e dois, portantanto n ao se trata de uma curva de Jordan. As curvas de Jordan dividem o plano em duas regi oes disjuntas chamadas de interior e exterior da curva. E um teorema, que levou anos para ser demonstrado, que leva o nome de Jordan, estabelece que se ligarmos um ponto do interior de uma curva de Jordan, com um ponto do exterior da mesma curva, por meio de uma curva ent ao haver a um ponto do plano que ser a comum ` as duas curvas e , elas se interceptam. Uma reta e uma curva de Jordan! resta apenas a decis ao da escolha da regi ao interior, e um ponto de vista!

23 ca o real y = f (x) de vari avel real tiver retas tangentes derivada Se uma fun ao seu gr aco numa vizinhan ca do ponto a, ent ao dizemos que f e diferenci avel em a e o coeciente angular da reta tangente ao ponto (a, f (a)), designado com o s mbolo f (a), e a derivada de f no ponto a. A fun ca o y = f (x) que fornece o coeciente angular da reta tangente ao gr aco de f no ponto (x, f (x)) se chama derivada de f . A equa ca o da reta tangente ao gr aco de f no ponto (a, f (a)) se deduz direto da equa ca o da reta que passa no ponto (a, f (a)) e tem coeciente angular m y = P (x) = b + m(x a); (a, b) = (a, f (a)); m = f (a); P (x) = f (a) + f (a)(x a); (24) (25)

que e a express ao do polin omio de Taylor do primeiro grau desenvolvido no ponto x=a. Usando os comandos abaixo, que voc e pode raspar e colar num terminal do gnuplot, f(x) = (x+3)*(x-5)*sin(x/5.0); df(x) = (x-5)*sin(x/5.0) +\ (x+3)*sin(x/5.0)+0.2*(x+3)*(x-5)*cos(x/5.0); P(x) = f(a) + df(a)*(x-a) a = 4; plot f(x),P(x),0 voc e pode repetir a gura (9) p agina 24, em que est a representada a reta tangente ao gr aco de f (x) = (x + 3)(x 5) sin(x/5.0) no ponto (4, f (4)). Apenas trocando valor de a voc e pode obter gr acos de outras retas tangentes ao gr aco desta mesma fun ca o ou outra de sua escolha (redena f e df no programa), escolha distintos valores para a e repita o comando plot para ver tangentes em diversos pontos do gr aco. A derivada n ao e uma opera ca o aritm etica, ela e o resultado da aplica ca o do operador limite a uma sucess ao de quocientes de diferen cas isto torna pouco prov avel que se consiga implementar a deriva ca o em Computa c ao Alg ebrica. Ainda assim os programas de Computa c ao Alg ebrica conseguem calcular derivadas de forma mais efetiva que o humano ao aplicar as regras do C alculo para diferencia ca o que se podem resumir nas seguintes: A derivada de uma fun ca o constante e zero. Se uma fun ca o for linear ela e a sua pr opria fun ca o linear tangente portanto a derivada de uma fun ca o linear e ela mesma; derivada da soma Se f e g forem deriv aveis, ent ao f + g e deriv avel e (f + g ) = f + g . co es diferenci aveis, ent ao derivada do produto que se f, g forem duas fun (f g ) = f g + f g

24
60 f(x) P(x) 0 40

20

-20

-40

-60

-80

-100 -10

-5

10

Figura 9:

Reta tangente ao gr aco de uma fun ca o - derivada

e f (x) = n xn derivada de fun co es polin omiais a derivada de f (x) = xn uma aplica para fun co es reais de vari avel real (ou complexa);. E ca o direta n do operador diferen ca ao mon omio f (x) = x seguido do c alculo do limite. Para um polin omio qualquer se aplica a regra da soma de derivadas. derivada da
1 f

1 f (a+x)

1 f ( a)

f (a) f (a + x) x = xf (a + x)f (a) f (a + x)f (a)

f (a)f (a+x)

(26)

na u ltima equa ca o tanto o numerador como denominador t em limite e o limite do denominador e diferente de zero ent ao podemos aplicar o oper-

25 ador limite lim x = 0 tendo por resultado f (a) 1 ( (a)) = f f (a)2 (27)

derivada do quociente quando g (x) n ao se anular no ponto a, ent ao numa vizinhan ca de a f f g f g ( ) = g g2 ca o composta, que se f, g forem duas a ` regra da cad eia, a derivada da fun fun co es diferenci aveis e se a composta f (g (x)) existir ent ao (f (g (x)) = f (g (x))g (x) A regra da cadeia se aplica ipsis literis em qualquer dimens ao em que as compostas estejam denidas. Estas regras junto com um banco de derivadas conhecidas permitem que os programas de Computa ca o Alg ebrica calculem derivadas de forma muito mais efetiva que o ser humano sugerindo a exist encia de intelig encia articial. Uma alternativa ` a Computa ca o Alg ebrica e a diferencia ca o algor tmica que tem conseguido alguns avan cos, mais ainda n ao se pode comparar com as possibilidades da Computa ca o Alg ebrica, e como esta, esbarra no salto l ogico entre opera co es aritm eticas e operador limite. derivada complexa O conjunto dos n umeros complexos tem as mesmas propriedades que o conjunto dos n umeros reais (exceto a ordem) e assim e um corpo. Desta forma podemos aplicar a deni ca o de derivada usual das fun c oes reais de vari avel real ` as fun c oes complexas de vari avel complexa que e o que se costuma chamar de derivada complexa, e neste momento surge um dos resultados mais intrigantes da an alise: se uma fun c ao complexa de vari avel complexa tiver derivada complexa ela ser a innitamente diferenci avel. S ao as fun c oes anal ticas, as fun c oes complexas que t em derivada complexa. Uma forma simples de chegarmos a este resultado pode ser esquematizada na seguinte sequ encia em que estamos usando deriva ca o impl cita para fazer aparecer as equa co es de Cauchy-Riemann, tamb em estamos usando a dualidade f f de interpreta ca o C C, R2 R2 , conforme for conveniente: f uma fun ca o complexa de vari avel complexa; f = u + iv ; u, v fun co es reais de vari avel complexa; ux uy J (f ) = = + i = f (z ) C; vx vy df = J (f ) dx dy (28) (29) (30)

= ( + i)(dx + idy ) = (dx dy ) + i(dy + dx)(31) df = f (z )dz = dx dy (32) (33)

ux = vy ; uy = vx

26 A igualdade na equa ca o (30) vem da arma ca o inicial, C e um corpo, como R, a deriva c ao das fun c oes reais de vari avel real, se aplica verbatim ao caso complexo, portanto, como no caso real, f (z ) C, a derivada complexa e o n umero complexo + i . Este fato volta a ser usado na equa ca o (31) para identicar um tipo particular de matriz jacobiana, a derivada de f , agora vista como fun ca o de R2 R2 , na equa ca o (32). Vamos poder assim destacar, entre as fun co es R2 R2 , uma classe particular de fun co es cuja matriz jacobiana tem o formato apresentado na equa ca o (32), as fun co es anal ticas. A equa ca o (ou sistema de equa co es diferenciais parciais de primeira ordem), equa ca o (33), obtida quando igualamos as matrizes nas equa c oes (30) e (32), e conhecida como equa c oes de Cauchy-Riemann, e elas caracterizam quando uma fun ca o f = u + iv e an alitica e s ao usadas com frequ encia como deni ca o de fun ca o anal tica. e a derivada complexa de f , se existir, e uma nova fun ca o complexa de vari avel complexa e se calcularmos sua derivada veremos aparecer novamente as equa c oes de Cauchy-Riemann. Por indu ca o se conclue que se f for uma fun ca o complexa, de vari avel complexa, ent ao ser a innitamente diferenci avel se for deriv avel no sentido complexo. Quer dizer que se voltarmos a olhar para as fun co es vetoriais de vari avel vetorial de dimens ao dois haver a duas classes disjuntas de fun co es, aquelas que satisfazem ` as equa c oes de Cauchy-Riemann, as fun co es anal ticas, e as outras que podem ser de classe C mas que n ao s ao anal ticas. Por exemplo g (x, y ) = (x, y ) = (u(x, y ), v (x, y )); g (z ) = z n ao e uma fun ca o anal tica mas e de classe C . ux = 1 = vy = 1 (34)

Uma das implica co es mais fortes da analiticidade e que se f for anal tica ir a transformar abertos do plano complexo em abertos do plano complexo mas n ao e uma propriedade f acil de ser demonstrada. Esta propriedade fundamental caracteriza as fun c oes anal ticas como aplica c oes abertas. A derivada complexa de f pode ser escrita numa das formas alternativas seguintes, usando as equa c oes de Cauchy-Riemann:

ux + ivx = ux iuy = vy + ivx = vy iuy

(35)

em outras palavras, o n umero f (a + ib) = + i pode ser obtido com um qualquer das express oes da equa ca o (35). Se usarmos o conceito de operador diferencial, podemos deduzir das express oes na equa ca o (35) as express oes, usando sempre a mesma nota ca o:

27

( x i y )(u) = ( y + i x )(v ) = (i y +

x )(iv )

i y )(u) = ( x i y )(iv ) = + i = f (a + ib) ( x ( x i y )(u) + ( x i y )(iv ) = 2( + i ) ( x i y )(u + iv ) = 2( + i ) 1 2 ( x i y )(f ) = ( + i ) = f (a + ib) ( x i y )(u) ( x i y )(iv ) = 0 ( x i y )(u iv ) = 0 ( x i y )(u + iv ) = 0 i y )(f ) = 0; ( x + i y )(f ) = 0 ( x

= ( x i y )(iv ) (36)

(37) (38) (39) (40) (41) (42) (43) (44)

Destes c alculos surgiram duas express oes mais simples que se tornaram dois operadores diferenciais cl assicos permitindo uma forma concisa de expressar tanto as equa c oes de Cauchy-Riemann como a deni ca o da derivada de uma fun ca o anal tica:
1 1 ( x i y )= 2 ( x + =2 1 1 ( x + i y )= 2 ( x =2 1 i 1 i y ) y )

(45) (46) (47) (48)

(f ) = + i = f (a + ib) (f ) = 0 f satisfaz ` as equa co es de Cauchy-Rieman

Embora a formula ca o ` a direita, nas equa co es (45) e (46) sejam mais did aticas (ligadas ` a deni ca o de conjugado), a express ao que parece ser a mais comum s ao as que cam ` a esquerda, para denir os operadores , . interessante observar que as equa E co es de Cauchy-Riemann s ao um exemplo de equa ca o diferencial parcial que foi resolvida ao longo de mais de um s eculo, resultando na constru ca o do que se chamava de teoria das fun c oes que se pode dizer, com alguma dose de exagero, que e a solu c ao das equa c oes de CauchyRiemann, ou, a solu ca o destas equa co es e uma fun ca o anal tica e vice-versa. As fun co es anal ticas s ao tamb em chamadas de fun c oes holomorfas. derivada parcial Quando uma fun ca o, F for multivariada, h a derivadas parciais que podem ser calculadas relativamente a cada uma de suas vari aveis considerando ent ao as demais vari aveis como constantes. Nota co es: F = Fx x indica que a derivada foi calculada relativamente a vari avel x considerando as uma contradi demais vari aveis constantes. E ca o dif cil de resolver (a n ao ser

28 com uma nota ca o mais complicada e pouco usada, de mult ndices), porque Fx e uma fun ca o das mesmas vari aveis que F . Quando se fala, considerando as demais vari aveis constantes, isto vale apenas para efeito do c alculo da derivada. Por exemplo, se F (x, y, z ) = x2 + 2xyz + y 2 + z 3 ent ao Fx (x, y, z ) = 2x + 2yz ; Fy (x, y, z ) = 2xz + 2y ; Fz (x, y, z ) = 2xy + 3z 2 ; que s ao, respectivamente as derivadas F F F (x, y, z ); (x, y, z ); (x, y, z ) x y z A jacobiana e a matriz (funcional) das derivadas parciais. A letra x que aparece no s mbolo do operador derivada, e apenas um ndice indicando relativamente a que vari avel a derivada foi calculada. Se eu quiser calcular o valor da derivada, por exemplo, no ponto (1, 2, 3) eu vou escrever:
F x (1, 2, 3) = 2x + 2yz |x=1,y =2,z =3 F x (1, 2, 3) = 2 + 12 = 10

(49) (50) (51)

Fx (1, 2, 3) = 10

a duas formas desta desigualdade que foi enundesigualdade de Hardy H ciada em 1920 por Hardy. Na forma discreta ele estabelece que se a = (ai ) i=1 for uma sucess ao de n umeros positivos ent ao para todo p > 1
i=1

a1 + . . . ai i

p p1

ap =

p p

(52)

H a alguns casos triviais desta desigualdade que mostram mostram como ela era um resultado dif cil em 1920: se a for uma sucess ao convergente a s erie a esquerda converge para o limite de a, que e a converg encia a ` Cesaro, converg encia em m edia aritm etica que nada acrescenta a uma sucess ao convergente (s eries s ao sucess oes). se a for limitada, a s erie a direita tem limite que e menor do que o sup(a), mas a s erie ` a esquerda n ao precisa ter limite, e em geral n ao tem, (uma condi ca o necess aria (n ao suciente) para que uma s erie seja convergente e que a sucess ao do termo geral convirja para zero). se a l (Np , ` a direita se tem a| pp , como valor da s erie, e como a converg encia ` a Cesaro coincide com a converg encia no caso de series conp em p vergentes, ent ao tamb em ` a esquerda se tem a| pp . Por 1 > 1 valendo portanto a desigualdade com a observa ca o de que para grandes valores de p decai a diferen ca do segundo membro da desigualdade, mas com isto nos aproximamos do segundo caso . . .

29 A forma integral estabelece que se f for uma fun ca o integr avel e positiva, ent ao p x p 1 f (t)dt f (x)p dx = f p (53) dx p x p1
0 0 0

Por alto valem as considera co es feitas para o caso discreto com as devidas diferen cas valendo portanto a desigualde sempre exceto no caso trivial, quando f for quase sempre zero, quando as integrais valem zero nos dois lados da desigualdade. uma propriedade das fun diferenciabilidade E co es, estudadas no C alculo Diferencial e Integral que diz respeito ` a possibilidade do gr aco de uma fun ca o poder ter retas tangentes nas vizinhan cas dum ponto. O coeciente angular de qualquer uma tal reta tangente ao gr aco de f no ponto (a, f (a)) e a derivada um conceito importante da de f no ponto a designada com o s mbolo f (a). E geometria diferencial que estuda as propriedades dos objetos geom etricos sucientemente macios a ponto de poderem ter tangentes. A geometria diferencial e uma divis ao da topologia diferencial. A possibilidade de ter variedades lineares ans tangentes (objetos lineares tangentes) permite que se calcule o coeciente angular instant aneo (local) de uma variedade n ao linear. Observe que o coeciente angular pode ser uma matriz de coecientes angulares. a propriedade de uma variedade ter derivada. E diferenci avel Uma propriedade de certas fun co es. Diz-se que uma fun ca o f e diferenci avel em um ponto a, se for poss vel encontrar uma reta tangente ao gr aco de f no ponto (a, f (a)), e neste caso a equa ca o desta reta tangente e y = f (a) + f (a)(x a) Por exemplo, a fun ca o y = f (x) = x n ao e diferenci avel no ponto a = 0 porque neste ponto h a duas retas tangente ao gr aco de f , as retas y = x; y = x; como h a duas retas tangentes, ent ao dizemos que f n ao e diferenci avel neste ponto. Observe que esta fun ca o y = f (x) = x e diferenci avel em qualquer ponto diferente de a = 0. Dizemos que a diferenciabilidade e uma caracter stica avan cada de continuidade, porque e preciso que a fun ca o seja cont nua para ser diferenci avel (a rec proca e falsa, y = f (x) = x e cont nua na reta inteira). De forma mais ampla ser diferenci avel signica ter uma fun ca o linear tangente. Para espa cos de dimens ao diferente de 1 e preciso contornar o quociente na deni ca o de tang encia com uma rela ca o de equival encia. Aa ; y = f (a) + Aa (x a) (54) (55) (56)

y + R = f (a) + rAa (x a)

30 a deni ca o de Aa e a derivada de f no ponto a e esta forma de falar conduz ` derivada em espa cos de dimens ao diferente de 1: f e diferenci avel se f (x) f (a) for tangente a uma fun ca o linear Aa . A fun ca o identicamente nula e diferenci avel e sua derivada e ela mesma. Mais geral, se f for linear ent ao e a tangente a s pr opria, porque a tang encia e uma rela ca o de equival encia, logo e a sua pr opria derivada. Como a transla ca o de uma fun ca o linear, uma fun ca o linear am, tem a fun ca o linear tangente, ent ao as fun co es constantes podem ser vistas como lineares ans tendo por derivada a fun ca o indenticamente nula. Isto p oe em evid encia uma propriedade de invers ao da deriva c ao: h a uma innidade de fun co es com a mesma derivada, aquelas cuja diferen ca seja uma constante, todas as constantes t em a mesma derivada, a fun ca o identicamente nula, que e linear. Se f g = r, uma constante, ent ao e deriv avel. Se f for deriv avel ent ao g e deriv avel e g = f . Dirac, medida Ver medida de Dirac. Dirichlet, n ucleo ver n ucleo de Dirichlet. dist ancia Havia apenas uma dist ancia, a euclidiana, que vem do teorema de Pit agoras d(P, Q) = (a m)2 + (b m)2 ; P (a, b); Q = (m, n) (57)

e que serve para medir o comprimento da diagonal de um ret angulo ou da hipotenusa no tri angulo ret angulo. Quando pudermos denir uma dist ancia d em um conjunto X , diremos que se trata de um espa co m etrico (X, d) Deni c ao 5 (dist ancia) Dist ancia ou m etrica Uma dist ancia e uma fun c ao postiva, d, denida para todos os pares (x, y ) de elementos de um conjunto X satisfazendo as propriedades 1. positiva d(x, y ) 0 e d(x, y ) = 0 se e somente se x = y ; 2. reexividade d(x, y ) = d(y, x); 3. desigualdade triangular d(x, y ) + d(y, z ) d(x, z ); Um exemplo bem simples, da vida real, pode explicar necessidade de diferentes formas de dist ancia: uma rma que esteja instalando os de telefone6 precisa de uma forma diferente para o c alculo da dist ancia. A dist ancia da central telef onica para uma resid encia n ao pode ser medida com a dist ancia geom etrica, do compasso, que corresponde ` a dist ancia euclidiana, tem que ser
6 isto

ainda existe e seguir a existindo, d a mais seguran ca do que a aus encia de os.

31 usada a somas dos lados (ou fra ca o dos lados) do ret angulo, como pode ser visto na gura (??), p agina ??. Se a medida fosse calculada com a m etrica euclidiana d(P, Q) = (a m)2 + (b m)2 ; P (a, b); Q = (m, n) (58)

iria faltar cabo para chegar da caixa telef onica at e as resid encias. A dist ancia euclidiana e menor do que a dist ancia-1, da soma dos lados. Podemos tamb em medir A distncia da caixa geral a dist ancia entre duas fun co es, de telefones para as residncias voc e pode ver isto lendo a tem que ser medidas com a soma dos lados respeito de vizinhan cas, h a outras necessidades mais complexas que conduzem ` a dist ancias mais envolvidas at e porque Caixa geral de as fun co es, algumas vezes tem telefones do uma quantidade muito grande bairro de informa co es. Foi feita refer encia ` a dist anciaFigura 10: vizinhan ca, soma das medidas dos 1 no exemplo do cabo telef onico, lados o sistema de equa co es (36), mostra algumas varia co es que generalizam a dist ancia euclidiana: d1 (P, Q) = |(a m)| + |(b m)|; P (a, b); Q = (m, n);
3 p

(59) (60) (61) (62)

d2 (P, Q) = d3 (P, Q) =

(a (a

m)2 m)3

+ (b + (b

m)2 ; P (a, b); Q m)3 ; P (a, b); Q

= (m, n); = (m, n);

dp (P, Q) =

(a

m)p

+ (b

m)p ; P (a, b); Q

= (m, n);

em que a equa ca o (62) mostra o modelo geral que vale para as equa co es anteriores. Se p 1 a express ao tem as tr es propriedades caracterizam a dist ancia euclidiana, generalizando o conceito de dist ancia. Quando p = 1 voc e tem a dist ancia necess aria para medir a quantidade de cabo telef onico. Mas p pode ser , apenas a equa ca o tem que ser expressa de forma interamente diferente do modelo na equa ca o (62) d (P, Q) = M ax{|a m|, |b m|}; P (a, b); Q = (m, n); (63)

que e chamada de dist ancia do sup porque algumas vezes temos que usar o supremo porque nem sempre existe o m aximo. A medida que p cresce, ca menor a dist ancia entre dois pontos, inversamente as bolas denidas com estas dist ancias aumentam, geometricamente, a medida que p cresce. A gura (11), p agina 32, mostra a bola calculada com as dist ancias-p, p {1, 2, } sendo a maior delas a que foi obtida com a dist ancia do sup, p = , e a que parece uma bola, e a bola euclidiana.

32 A generaliza ca o de um conceito perturba os nossos conceitos intuitivos, o conceito de dist ancia generalizado altera a nossa concep ca o do que pode ser uma bola como na gura (11). Compare com as bolas que podemos denir num espa co de fun co es. . . Se os t ecnicos que colocam os os, usassem a dist ancia do supremo, os os caram se dobrando dentro dos conduites e o em excesso seria gasto. Tudo que foi dito acima para pontos do R2 vale, com as mesmas palavras, para os pontos do Rn e at e mesmo para os espa cos de sucess oes Figura 11: Bolas com as dist^ ancias dp (P, Q) que s ao espa cos de dimens ao innita. atico distribui c ao Em 1945, aproximadamente, Laurent Schwartz, um matem franc es, conseguiu sintetizar, simultaneamente com um matem atico portugu es, Sebasti ao e Silva, a Teoria das7 Distribui co es, resolvendo uma situa ca o inc omoda criada pelo f sico Paul Adrien Maurice Dirac, que, ao formular a mec anica qu antica precisou de criar uma unidade para o produto de convolu ca o que tinha que ser uma fun ca o nula em todos os pontos da reta, exceto na origem onde seria innita, e com integral igual a 1, que durante muito tempo se chamou de fun ca o de Dirac. A fun c ao de Dirac, com esta propriedades, n ao pode ser uma fun ca o sem colocar em cheque todas as teorias de integra ca o existentes, mas Dirac respondia que isto n ao era seu problema, que os matem aticos corrigissem as teorias de integra ca o porque para ele tudo funcionava perfeitamente bem. A descoberta de Schwartz e de Sebasti ao e Silva, ambos pesquisadores de equa co es diferenciais parciais, resolveu o problema criado por Dirac criando um novo objeto matem atico, a distribui c ao mostrando que a chamada fun c ao de Dirac, e uma distribui ca o que e a derivada da fun ca o de Rademacher H0 , a fun ca o que e zero se x 0 e 1 se x > 0
Bolas, centradas na origem, calculadas com as distnciasp

H0 (x) =

0 1

x0 x>0

(64)

No seu livro intitulado T eorie des Distributions, Laurent Schwartz, construiu uma generaliza ca o do C alculo Diferencial e Integral usando as distribui co es como elemento em lugar das fun co es e e em fun ca o deste livro que o trabalho de Sebasti ao e Silva cou na sombra durante muito tempo. Embora Laurent Schwartz tenha durante algum tempo carregado sozinho os louros da constru ca o da teoria, e possivelmente ele tenha sido o inventor
7 Uma distribui ca o e tamb em chamada de fun c ao generalizada e esta denomina ca o remonta a Euler, Cauchy e outros.

33 do nome, a ideia j a estava latente desde o s eculo 19 e a teoria recupera nomes como de Cauchy que j a havia pensado em um objeto que atuasse sobre classes de fun co es, uma distribui ca o e um funcional linear, criando uma distribui ca o chamada valor principal que era o nome que Cauchy dava um certo de integral que n ao teria sentido usual de uma integral e que, como a fun c ao de Dirac, encontrou um lugar preciso dentro da teoria das distribui co es. A teoria das distribui co es, durante algum tempo eletrizou todas as aten co es dos que estudavam equa co es diferenciais parciais porque parece que se havia descoberto a teoria nal... n ao foi, mas marcou profundamente toda a linguagem com que se falam hoje as equa co es diferenciais parciais, criando uma forma nova de resov e-las, as solu c oes fracas que e uma solu ca o-distribui ca o. e a forma tradicional que temos para dividir um n umero divis ao euclidiana natural, p, chamado dividendo por outro, d, chamado divisor p = dq + r; p, d, q, r N; r < d; q > 0 (65)

Esta equa ca o gera um m etodo em que divis oes sucessivas nos permitem encontrar q, r e algumas vezes e este m etodo que e designado como algoritmo da divis ao euclidiana. ao h a um consenso sobre as grandes divis oes divis oes da Matem atica N da Matem atica que alguns consideram como sendo, Algebra, An alise, Estat stica, Geometria, L ogica, Topologia T ao pouco estas divis oes conseguiriam descrever o escopo muito grande que a Matem atica atingiu nos u ltimos 100 anos, e basta ver o grande projeto, falido, infelizmente, Bourbaki, que um grupo de matem aticos franceses encetou na d ecada de 40, quando, prudentemente, criaram uma gura, Nicolas Bourbaki, sob a qual se esconderam para reescrever toda a Matem atica. Dizer que o projeto e falido n ao signica que ele n ao tenha tido uma inu encia signicativa no desenvolvimento da Matem atica, mas signica que ele n ao conseguiu preencher seus objetivos. De certa forma o projeto nasceu morto, um poco antes, 1931, G odel havia demonstrado que seria imposs vel descrever de forma completa os n umeros naturais que foi a base do monumental tratado de Russel e Whitehead, Principia Mathematica, escrito em 1910. A American Mathematical Society mant em uma tabela das areas da Matem atica, 1991 Mathematics Subject Classication, [1] que e quase universalmente utilizada como descritiva de toda a Matem atica contendo 100 grandes itens com os quais pretende descrever toda a atividade Matem atica hoje conhecida. co es ` a derivadas parciais. Uma grande quantidade de fen omenos EDP Equa que nos rodeiam podem ser descritos como solu co es de equa co es ` a derivadas parciais, o que torna este ramo do conhecimento de grande import ancia. Um exemplo simples e a difus ao do calor, uma boa geladeira seria aquela em que apenas se perdesse calor ao abrir a porta, o que depende de uma boa isola ca o. Uma geladeira e um tubo, , rodeado de calor por todos os lados com um material isolante protegendo sua fronteira, , que impede que o calor se difunda para dentro do tubo. Neste exemplo voc e encontra alguns dos termos mais comuns no estudo das equa co es diferenciais parciais: fronteira , o dom nio

34 (o tubo), . A equa ca o que nos interessa aqui (neste exemplo) e a equa ca o de Laplace (u(x, y, z )) = 0; (x, y, z ) u(x, y, z ) = f (x, y, z ); (x, y, z ) (66) (67)

O sistema de equa co es (66) e chamado de um problema. A equa ca o (67) se chama de condi ca o de fronteira, e a fun ca o (obtida experimentalmente) que descreve a distribui ca o do calor na fronteira da geladeira . Mas este exemplo precisa ser complicado um pouquinho mais para tornar-se real! Observe que o calor em volta da geladeira , n ao e constante, depende do tempo, e assim para chegarmos a um modelo mais preciso para o problema da geladeira temos que considerar a varia ca o da temperatura ao longo do tempo: u e consequentemente tamb e m a fun c a o que descreve a temperatura a volta da t geladeira seria w = f (t, x, y, z ) e desta forma chegamos a equa ca o do calor,
u t

u(t, x, y, z ) = f (t, x, y, z ); (x, y, z ) ; t [a, b]

= (u(x, y, z )) = 0; (t, x, y, z ) [a, b]

(68) (69)

Mas o h abito ao escrevermos o problema de valor na fronteira representado na equa ca o (68), (PVF), usualmente referido pela cigla em ingl es, BVP - boundary value problem consiste em colocar u em evid encia escrevendo-se (u) = 0; (t, x, y, z ) [a, b] u(t, x, y, z ) = f (t, x, y, z ); (x, y, z ) ; t [a, b]
t

(70) (71)

em que n os entendemos que um operador T foi aplicado ` a fun ca o u. Esta abstra ca o tem utilidade, existe uma teoria de operadores em que se conhecem diversas propriedades dos operadores tornando mais agil o estudo das equa co es diferenciais, ou pelo menos criando uma linguagem mais padronizada em que elas possam ser expressas. No caso da equa ca o do calor e bem simples mostrar como esta generaliza ca o representa uma linguagem adequada. Observe que na equa ca o (70) ocorrem tr es tipos de opera ca o, derivadas parciais de segunda ordem, derivada parcial de primeira ordem, e a adi ca o. Estas tr es opera co es podem ser concatenadas na express ao P (t, x, y, z ) = t x2 y 2 z 2 e se codicarmos derivada com pot encia podemos recodicar o operador T usando o polin omio P , escrevendo P (D) o que nos permite rescrever a equa ca o (70) na forma P (D)(u) = 0; (t, x, y, z ) [a, b] u(t, x, y, z ) = f (t, x, y, z ); (x, y, z ) ; t [a, b] (72) (73)

Voc e poderia argumentar que apenas houve uma complica c ao in util com esta codica ca o, e, aparentemente, teria raz ao. Entretanto, observe agora que sabemos do C alculo que a opera ca o de deriva ca o e linear, e com isto queremos dizer que (f + g ) = f + g ; (f ) = f , propriedades fundamentais da Algebra Linear aparecem aqui! Como o polin omio P e uma soma de opera co es linear,

35 ent ao o operador P (D) herda a linearidade se tornando um operador linear. Quando o operador que dene uma equa ca o diferencial for linear, diremos que se trata de uma equa c ao diferencial linear. Com isto derrubei sua argumenta ca o de que se tratava de uma complica c ao in util, porque toda a Algebra Linear vem em nossa ajuda para resolver as equa c oes parciais diferenciais lineares, LPDE, EDPL tornando muito v alida esta complica ca o. Este e um pequeno exemplo mostrando a linguagem com que estudamos as equa co es diferenciais parciais hoje, com aux lio da teoria dos operadores. Melhor, at e no estudo das equa co es n ao lineares esta codica c ao nos traz bons resultados! N os continuamos sem resolver as equa co es diferenciais, mas as entendemos muito melhor e avan cos consider aveis foram feitos nas solu co es aproximadas usando esta complicada codica c ao. T opicos importantes de EDP, s ao, equa ca o do calor, equa c oes de Maxwell, equa ca o da onda, equa ca o de Poisson, equa co es de Navier-Stokes, problema de Cauchy, problema de Dirichlet . . . As equa co es de Navier-Stokes se encontram em grande evid encia, hoje, porque elas descrevem o movimento dos uidos e se encontram por tr as do estudo das varia co es clim aticas. Esta lista est a longe de ser completa! ao equa co es em que a principal opera ca o e a diferenequa c ao diferencial S ciabilidade. Se as fun co es-solu co es destas equa co es forem univariadas, elas s ao chamadas equa c oes diferenciais ordin arias, resumidamente EDO, se as fun co essolu ca o forem multivariadas, elas s ao chamadas equa c oes diferenciais parciais, resumidamente EDP As equa co es diferenciais aparecem logo nas primeiras aulas de um curso de C alculo Diferencial quando se procura saber qual e a fun ca o F que corresponde a f tal que F = f . Neste contexto estas duas fun co es recebem os nomes F e uma primitiva de f , ou ainda F = f ; f e a derivada de F H a v arias formas de entender a indeni ca o da frase F e uma primitiva de f , que signica que f tem muitas primitivas. A mais simples vem das express oes
x x

f (t)dt = F1 (x);
a b

f (t)dt = F2 (x);

(74)

cuja interpreta ca o gr aca aparece na gura (12) p agina 36, Estas duas areas diferem pela condi c ao inicial, F1 est a denida com a condi c ao inicial a e F2 ca entre as duas areas e a est a denida com a condi c ao inicial b e a diferen constante
b

f (t)dt = C ; F1 (x) = F2 (x) + C ;


a

(75)

Partindo deste exemplo simples de equa ca o diferencial ordin aria podemos entender que as equa co es diferenciais tem uma innidade de solu co es como consequ encia da escolha da condi ca o inicial.

36

b F1 (x) F2 (x) = a
0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

f(t)dt

b x f(t) dt = F1(x) a
Figura 12:

x f(t) dt = F2 (x) b

Diferen ca entre duas primitivas e uma constante

Ainda uma outra forma de interpretar este resultado pode ser a curva de crescimento biol ogico. Cada esp ecie seres vivos tem uma curva de crescimento espec ca, e uma primitiva da velocidade de crescimento espec ca da esp ecie. Dois seres da mesma esp ecie podem ter curvas diferentes, mas, se o crescimento de ambos for normal, ambos tiverem a velocidade de crescimento normal de sua esp ecie,f , a diferen ca entre as curvas de crescimento vai ser uma constante, a gura (13), p agina 37, mostra alguns exemplos de curvas de crescimento partindo de um ponto no eixo v ertical que o tamanho ao nascer do ser vivo a que corresponde a curva. Este exemplo mostra a import ancia das equa co es diferenciais no estudo dos serres vivos e de certa forma dram atico do ponto de vista social: dois seres humanos que ao nascer tenham tido condi co es diferentes de gesta ca o, alimenta ca o diferenciada da m ae, condi co es habitacionais da m ae, entre muitas outras condi co es, resultam em crian cas que v ao nascer com tamanhos diferentes: v ao ter selecionada, ao nascerem, sua curva de crescimento, mas n ao apenas esta, a curva de conhecimento, as diversas curvas de desenvolvimento. A condi ca o inicial, ou, neste caso, as condi co es iniciais, determinam de forma inexor avel o resto da vida, porque a derivada e a mesma, um caracter stica da esp ecie, mas as curvas de desenvolvimento, s ao as primitivas que dependem

37
Curvas de crescimento

inicio da vida

fim da vida ....

Tamanho ao nascer define a curva de crescimento.

Figura 13:

Curvas de crescimento diferem de uma constante

das condi c oes iniciais. Este exemplo da biologia mostra que existem equa co es diferenciais cuja solu co es dependem de v arias vari aveis, cada uma das vari aveis com velocidades distintas, as derivadas parciais do crescimento. equa c ao diferencial ordin aria S ao chamadas de equa co es diferenciais ordin arias aquelas cujas solu co es s ao fun co es univariadas, dependem de uma u nica vari avel. Existem tamb em as equa co es diferenciais parciais que descrevem o comportamento de fun co es multivariadas. Estas equa co es aparecem muito cedo no estudo de Matem atica, num primeiro ano de C alculo, quando surgem no c alculo de primitivas. Uma forma aparentemente simples de denir uma equa ca o diferencial ordin aria e express a-la sob a forma P (x, y, y , . . . , y (n) ) = 0 (76)

em que P e uma express ao envolvendo as opera co es da algebra, tendo como coecientes constantes (n umeros reais ou complexos) ou fun c oes elementares e as derivadas de uma fun ca o que e a incognita da equa ca o representada na equa ca o (76) pelo s mbolo y . Se os coecientes forem constantes, se fala de uma equa ca o diferencial a coecientes constantes, e no outro caso se diz uma equa ca o diferencial a coecientes vari aveis.

38 O teorema da fun c ao impl cita estabelece as condi co es para que se possa escrever esta equa ca o explicitando a maior derivada o que pode conduzir a uma express ao conhecida (solu ca o conhecida). A maior derivada caracteriza a ordem da equa ca o. Podemos transformar e equa ca o (76) num sistema de n equa co es de primeira ordem e desta forma uma equa ca o diferencial ordin aria de ordem n e equivalente a um sistema de equa co es de primeira ordem. Se nesta transforma cao se obtiver um sistema linear ent ao a equa ca o se chama equa c ao diferencial linear . Se o sistema assim resultante n ao for linear, temos uma equa c ao diferencial n ao linear . Sabemos tudo sobre as equa c oes diferenciais lineares exceto resolv e-las! A teoria das equa co es diferenciais lineares est a praticamente pronta e a diculdade na solu ca o depende de que outras teorias n ao est ao prontas ou dicilmente algum dia estar ao, como a teoria das equa co es alg ebricas, ou a Algebra Linear. Obviamente, o defeito n ao se encontra na teoria das equa c oes diferenciais lineares... Como e poss vel transformar a equa ca o (76) num sistema de equa co es de primeira ordem, torna-se importante saber resolver as equa co es de primeira ordem. Mesmo aqui o problema n ao e f acil e ainda est a muito longe de ser resolvido, uma simples troca de coeciente vari avel altera completamente o comportamento da equa ca o. Este problema e bem descrito numa teoria que vem se desenvolvendo muito e que tem representa ca o signicativa dentro da Matem atica brasileira, chamada de sistemas din amicos Se considerarmos os casos simples da teoria, exatamente o que e considerado nos cursos de C alculo, podemos descrever de maneira muito elegante o que acontece com uma equa ca o diferencial. Esta descri ca o ter a que ser ajustada posteriormente, mas serve como descri ca o inicial. Toda fun ca o razoavelmente bem comportada, f , e uma derivada e o c alculo de uma primitiva e feita com a f ormula
x

f (t)dt = F (x);
a

(77)

em que F e a primitiva de f associada a condi ca o inicial a. A gura 12 que pode ser vista na p agina 36, mostra que a diferen ca entre duas primitivas e uma constante neste caso. Mas, em geral, nem sempre e uma transla ca o como no caso do C alculo, porque podem surgir pontos cr ticos que mascaram esta propriedade. Isto se consegue entender bem dentro da teoria dos sistemas din amicos. Entretanto podemos dizer que as equa co es diferenciais ordin arias de primeira ordem tem uma condi c ao inicial e a escolha desta condi ca o inicial seleciona as distintas primitivas. A denomina ca o ordin aria e um exemplo de preconceito, ou de vocabul ario mal utilizado que domina a linguagem cient ca que esperamos que seja imparcial mas n ao pode ser uma vez que e produzida por seres que tem sentimento e poss individualidade. E vel que a palavra ordin aria aqui tenha tido um signicado de mais f acil ou simples com alguma raz ao porque a solu ca o das equa co es

39 diferenciais parciais com frequ encia depende da solu ca o de alguma equa ca o diferencial ordin aria e elas podem ser consideradas mais dif ceis. equa c ao diferencial parcial Uma equa ca o diferencial parcial, carinhosamente chamada de EDP, e uma express ao envolvendo uma fun ca o, a incognita xn+1 = F (x1 , . . . , xn ), as opera co es usuais da Algebra, as derivadas parciais de F e coecientes que podem ser constantes ou outras fun co es. Se os coecientes forem constantes se tem uma equa ca o diferencial parcial a coecientes constantes, ou a coecientes vari aveis no outro caso. As equa c oes diferenciais ordin arias podem ser inicialmente descritas de uma forma muito simples, que embora n ao represente completamente estas equa co es servem como uma forma inicial de descri ca o: toda fun ca o univariada bem comportada e uma derivada, ou dito em outras palavras, tem uma primitiva que pode ser obtida usando-se o teorema fundamental do C alculo com uma condi c ao inicial. Isto e absolutamente falso quando se passa ao caso multivariado. A maneira mais f acil de entender esta diferen ca passa por dos mais bonitos teoremas da An alise, o teorema de Green, que tem duas vers oes: a trivial e a n ao trivial! Na vers ao trivial, aplicada a fun co es bivariadas, o teorema de Green descreve duas integrais nulas: F F dx + dy = x y

2F 2F dxdy ; = ; yx xy

(78)

em que e uma curva fechada que e a fronteira da regi ao . e desta forma separa as fun co es em duas classes: no caso trivial as fun co es cujas integrais (de linha) n ao dependem do caminho escolhido entre dois pontos do dom nio, ou equivalentemente, suas integrais (de linha) se anulam sobre qualquer caminho fechado. Estas fun co es t em primitivas que podem ser calculadas com uma integral de linha. Quando uma integral de linha n ao depende do caminho que una dois pontos do plano, P (x, y )dx + Q(x, y )dy
F e um campo vetorial conservativo. Como dizemos que (P, Q) = ( F x , y ) a integral n ao depende do caminho, ela se anula sobre qualquer curva fechada e corresponde, na F sica, ` a lei de conserva ca o da energia: a circula ca o sobre um contorno fechado qualquer, e nula.

no caso n ao trivial as fun co es cujas integrais (de linha) dependem do caminho escolhido entre dois pontos do dom nio, ou equivalentemente, suas integrais (de linha) n ao se anulam sobre algum caminho fechado Q P dx + dy = x y

2P 2Q dxdy ; = ; yx xy

(79)

40 A curva e a fronteira, , da regi ao . Estas fun co es n ao t em primitivas, ou ainda, n ao e poss vel encontrar-se z = F (x, y ) diferenci avel duas vezes continuamente, tal que F F = P (x, y ); = Q(x, y ); x y (80)

Diz-se, neste caso, que (P, Q) n ao e um potencial, ou ainda que e um campo vetorial n ao conservativo. As primeiras tem primitiva e a express ao da integral de linha do teorema de Green, na sua vers ao trivial e uma generaliza ca o direta do c alculo de primitivas de fun co es univariadas ou do teorema fundamental do C alculo. A segunda forma do teorema de Green diz que integral depende do cont orno e neste caso a fun ca o (x, y ) (P (x, y ), Q(x, y ) n ao tem primitiva. Este e um primeiro exemplo de equa ca o diferencial parcial P (x, y )dx + Q(x, y )dy = 0;
F x

(81) (82)

= P (x, y ); F y = Q(x, y );

que e chamada exata e que se puder ter solu ca o, se for exata, tem como solu ca o a fam lia das curvas de n vel de z = F (x, y ). Como a solu ca o e uma fam lia de curvas esta equa ca o e considerada uma equa ca o diferencial ordin aria sendo estudada como tal. Este exemplo de equa ca o ` a derivadas parciais tem um signicado especial de mostrar que a solu ca o de uma equa ca o diferencial parcial depende da fronteira de uma regi ao, esta e outra das diferen cas entre equa co es diferenciais ordin arias e parciais, a depend encia da fronteiras ou ainda como se diz, depend encia das condi c oes de contorno. H a algumas poucas equa co es diferenciais parciais de f acil solu ca o e que tem import ancia pr atica porque sempre aparecem nas temtivas de resolver as mais dif ceis: uy =
u y

= 0; u(x, y ) = f (x);

uxy = 0; u(x, y ) = f (x) + g (y )

(83)

em ambos os caso, f, g s ao fun co es arbitr arias, diferenci aveis, univariadas. Estas duas equa co es s ao do tipo homog enea e linear e podemos ver, neste caso, facilmente a inu encia da Algebra Linear na solu ca o das equa co es diferenciais. Para isto considere a equa ca o mais dif cil uxy = h(x, y ) (84)

Sua solu ca o geral e a solu c ao geral da equa c ao homog enea, uxy = 0 mais uma solu c ao particular da geral que e a express ao da solu ca o geral de um sistema linear (da Algebra Linear):
x y

u(x, y ) =
a b

h(s, t)dsdt + f (x) + g (y )

(85)

41 basta calcular uxy para vericar que esta e de fato uma solu ca o da equa ca o (84). As equa co es diferenciais parciais lineares (EDPL ou LPDE) se classicam com nomes tirados da Geometria Anal tica, em hiperb olicas, parab olicas, el pticas porque podem ser expressas com operadores lineares que tem o aspecto das equa co es destas c onicas. Este ramo da Matem atica e possivelmente o mais profundamente estudado e por uma quantidade muito grande de matem aticos. Por um lado, porque apresenta diculdades muito grandes, e por outro lado, por seu envolvimento com todos os ramos das ci encias onde se possa vericar uma din amica ou varia ca o, ou seja pela enorme inu encia junto as demais ci encias. Para desenvolver as diversas teorias dentro deste campo do conhecimento matem atico, e necess ario usar ferramentas avan cadas da Algebra, como Teoria dos grupos, dos semi-grupos, anel e m odulos assim como da Geometria Diferencial. Em 1945 Laurent Schwartz, um matem atico franc es, consegui sintetizar, simultaneamente com um matem atico portugu es, Sebasti ao e Silva, a Teoria das Distribui co es, criando um novo objeto matem atico, diferente de fun co es, e por algum tempo se teve a quase certeza de que se havia encontrado uma metodologia para resolver as equa co es diferencias parciais. As distribui c oes s ao ainda chamadas de fun c ao generalizada. Ainda n ao sabemos resolver equa co es diferenciais parciais com as distribui co es, mas este m etodo abstrato tem se mostrado muito pr atico nas solu co es aproximadas de equa co es diferenciais. As equa co es ` a derivadas parciais se classicam em duas grandes classes, as lineares e as n ao lineares. Como no caso das equa c oes diferenciais ordin arias, n os sabemos tudo sobre as lineares, exceto resolv e-las, porque dependemos de outros ramos da Matem atica que ainda n ao conseguiram desenvolver os m etodos necess arios... J a as equa co es n ao lineares quase que formam, cada uma delas, a sua pr opria teoria. Com a transformada de Fourier, que alterna derivada em produto por convolu c ao, e poss vel identicar as equa co es diferenciais lineares parciais com express oes vindas da Geometria Anal tica que denem as c onicas, par abolas, hip erboles e elipses estabelecendo uma grande classica ca o das equa co es lineares ou n ao lineares. Desde o advento da computa ca o cient ca, na d ecada de 50, avan cou muito a pesquisa de solu co es aproximadas de equa co es diferenciais com alguns resultados te oricos que surgiram com a possibilidade de compreender computacionalmente algumas solu co es. O m etodo dos elementos nitos e um dos m etodos computacionais que mais tem se mostrado promissor quanto a construir aproxima co es de solu co es e na constru ca o de visualiza co es gr acas das mesmas. e uma generaliza ca o do conceito de igualdade. A igualdade equival encia e muito restrita, a equival encia e mais ampla: e poss vel ter uma innidade de objetos equivalentes mas que de alguma forma n os tenhamos o interesse em v e-los como iguais. Por exemplo, os n umeros racionais se agrupam em classes de equival encia, s ao equivalentes quando estiverem numa propor ca o: r p r p = (86) q s q s

42 em que o segundo membro, na equival encia, e uma propor c ao, (o produto dos extremos e igual ao produto dos meios). e n os precisamos que eles representem o mesmo resultado. A soma e o produto de n umeros racionais respeitam as classes desta rela ca o de equival encia (ou, s ao compat veis com esta rela ca o de equival encia) no sentido de que as duas a co es, somar ou multiplicar dois n umeros racionais e depois identicar a classe de equival encia do resultado; somar ou multiplicar os representantes de classe de dois n umeros racionais e depois identicar a classe a que pertence este resultado. produzem o mesmo resultado. O que caracteriza uma rela c ao de equival encia s ao as propriedades: 1. a a, reexividade. 2. a b b a, simetria. 3. a b e b c a c, transitividade . Estas tr es propriedades, reexividade, simetria, transitividade s ao importantes por si pr oprias e aparecem em outras rela co es, parcialmente. Por exemplo, a implica c ao l ogica n ao tem a propriedade 2 mas tem as propriedades 1,3. Consequentemente a implica c ao l ogica n ao e uma rela c ao de equival encia e nem seria desej avel que o fosse. A congru encia, denida pelos restos na divis ao por um n umero inteiro maior ou igual que 2, e uma rela c ao de equival encia. Dado um conjunto A e uma rela ca o de equival encia R(x, y ) denida entre os elementos de A, chamamos de classes quociente aos subjuntos denidos em A formados por todos os elementos equivalentes entre si. Por exemplo, os n umeros inteiros positivos que deixam o mesmo resto na divis ao por um inteiro n 2 s ao as classes quociente na divis ao por n em N. Espa co vetorial topol ogico uma generaliza E ca o do conceito de espa co vetorial que se aplica naturalmente aos espa cos de fun ca o. O exemplo comum de espa co vetorial e o Rn es tudado nos cursos de Algebra Linear, seus elementos s ao as enuplas de n umeros reais P = (x1 , . . . , xn ). MaS P pode ser vista como uma fun ca o denida no conjunto {1, . . . , n} com valores em R, quer dizer que Rn e um espa co de fun c oes portanto os espa cos vetoriais da Algebra Linear s ao espa cos de fun co es. O que torna distintos os diferentes espa cos de fun co es e a topologia que estiver denida neles. A Algebra Linear usa como primeiro exemplo de topologia para espa co vetorial aquela que e induzida pela norma euclidiana. H a possibilidade de denir diversas normas para Rn mas se pode provar que todas s ao equivalentes ou seja, na pr atica os espa cos vetoriais topol ogicos de dimens ao nita s ao todos id enticos. Saindo da dimens ao nita come cam a acontecer eventos interessantes, uma multitude de topologias. Algumas destas topologias pode ser

43 deduzida de alguma norma, mais geral um pouco, algumas podem ser induzidas por uma dist ancia (ou m etrica) e nalmente, o caso mais geral e quando se pode encontrar uma topologia que seja compat vel com a estrutura de espa co vetorial fazendo cont nuas as duas opera co es, adi ca o e multiplica c ao por um escalar, neste cado se tem um espa co vetorial topol ogico que e o caso destes outros j a uma generaliza citados. E ca o do conceito. As generaliza co es criam um ambiente em que, com menos propriedades, se consegue abranger mais objetos ou resolver problemas de outra que de outra forma seria muito dif cil. Os espa cos vetoriais topol ogicos surgem de forma natural no estudo das equa co es diferenciais parciais quando deni co es adequadas de topologias permitem criar condi co es para a constru ca o de solu co es aproximadas. exist encia, teorema de Os teoremas de exist encia s ao instrumentos poderos ssimos da Matem atica e ao mesmo tempo disputad ssimos. H a escolas de matem aticos que n ao aceitam os teoremas de exist encia considerando-os algoritmicamente imposs veis, isto e, representam arma co es para as quais n ao seja poss vel construir um algoritmo com tempo de execu ca o nito. Mas sem eles a Matem atica iria se reduzir muito, e o racioc nio de algoritmicidade e fraco porque a Matem atica n ao pretende ser algor tmica, esta e uma pretens ao (bem sucedida) da Computa ca o... A import ancia dos teoremas de exist encia consiste em provar, com alguma l ogica, e aqui temos que considerar as limita co es impostas pelo teorema de G odel, a exist encia de um objeto matem atico criando condi co es, ent ao sim, para que produzem algoritmos que devem chegar a pelo menos uma aproxima ca o do objeto. Alguns teorema de exist encia s ao enunciados em equa c oes diferenciais garantindo a exist encia das solu co es para uma certa classe de equa co es, o teorema da fun c ao impl cita e um teorema de exist encia, o axioma da escolha teorema do valor m edio da derivada, teorema de Rolle, s ao exemplos bem conhecidos de teoremas de exist encia. Fermat, o u ltimo teorema de O advogado, e matem atico Pierre de Fermat, armou, nas margens de um seus livros que an + bn = cn n ao poderia ter solu co es inteiras quando n > 2 e que ele tinha uma simples demonstra ca o para esta arma ca o que infelizmente n ao cabia na margem do livro, por volta de 1632. Um caso bem conhecido em que esta arma ca o e verdadeira e o Teorema de Pit agoras expresso para alguns inteiros quando n = 2 o que dene os chamados n umeros pitag oricos, por exemplo, 3, 4, 5; 32 + 42 = 52 . Em 1993 Wiles anunciou a demonstra ca o do u ltimo teorema de Fermat, mas um erro foi descoberto em sua demonstra ca o que foi nalmente corrigida em 1995 num artigo publicado por ele e por Taylor. ltro crescente, em topologia, se X for um espa co localmente compacto um ltro crescente e uma fam lia n ao vazia de fun co es denidas em X e tomando valores na reta extendida, (, ], com a propriedade f, g h ; sup(f, g ) < h; (87) propriedade esta que pode ser iterada para garantir um majorante para uma enupla de elementos da fam lia . Esta fam lia se chama ltro crescente sobre

44 o conjunto das fun co es reais denidas em X e denimos o limite ao longo deste X ltro para um operador S denido em R como Deni c ao 6 (generaliza c ao do limite) limite ao longo do ltro Se S : R lim S (f ) = c, se existir, signica que

( > 0) (h ) (f & f h) = |S (f ) c| < Vou apresentar tr es exemplos para atestar a efetividade desta generaliza c ao do limite. O exemplo mais comum, embora geralmente mal entendido no momento em que surge nas primeiras vers oes do C alculo, e a integral no sentido de Riemann que e usualmente apresentada, erroneamente, como um limite, um erro compreens vel uma vez que n ao haveria maturidade da audi encia para usar a linguagem correta que seria o limite ao longo do ltro das fun c oes escada, denidas a seguir no primeiro exemplo. Depois vou generalizar a integral de Riemann denindo a integra ca o no sentido de Lebesgue mostrando que ela e apenas uma sele ca o de um novo ltro com a adi ca o de uma generaliza ca o da medida geom etrica que se encontra ` a base da integral de Riemann. O terceiro exemplo ser a bem simples, e o pr oprio limite de sucess oes ao qual vou aplicar limite ao longo de um ltro mostrando que a generaliza ca o se aplica ao caso primitivo. Exemplo 1 (integral de Riemann) A integral de Riemann Considere uma fun c ao real f positiva e um intervalo I fechado e limitado. Associadas a cada parti c ao (n (I ))nN existe uma innidade de fun c oes
n

f=
k=1

ck Ik ;

(88)

resultado da combina c ao linear das fun c oes caracter sticas dos subintervalos de I com os coecientes ck . Como nos interessa associar as fun c oes f ` a fun c ao f consideramos ck = f (xk ) (89)

para escolhas arbitr arias de xk Ik que formam a classe deste exemplo, mas logo em seguida voc e ver a que somos obrigados a fazer uma associa ca o indireta com f para obter a propriedade denidora na equa c ao (87). Observe que f e uma constante dada, e a fun c ao cuja integral, no sentido de Riemann, deve ser calculada, se existir. Uma fun c ao do tipo denido na equa c ao (88) e usualmente chamada de fun ca o escada, embora seja uma escada que pode subir e descer ao sabor dos coecientes tirados de f e o seu conjunto forma o ltro deste exemplo. Antes de caracterizarmos a fam lia como um ltro teriamos que provar que a propriedade expressa na equa c ao (87) se verica. A exist encia de h > sup(f, g ); f, g que majore duas fun co es escadas e obtida considerando o

45 renamento comum ` as duas parti c oes denidoras de f, g substituindo ck pelo supremo de f no novo subintervalo que corresponder ` a combina c ao linear depois de calculado o renamento das parti c oes. Observe que estamos sempre tratando com um n umero n N de subintervalos, apenas este supremo pode ser o que pode for car a busca de t ecnicas apropriadas para tratar um subintervalo em que f tenha pontos cr ticos desta natureza, lembre-se que a fun c ao log e integr avel ` a Riemann num intervalo contendo o zero, ela tem uma primitiva num tal intervalo, por exemplo F (x) = xlog |x| x. O operador S denido na classe e obtido com as somas de Riemann calculadas a partir de cada fun ca o escada f ,
n

S (f ) =
k=1

ck m(Ik );

(90) (91)

xk Ik e m(Ik ) a medida do subintervalo Ik ; O limite de S ao longo do ltro , se pudermos provar que existe, ea S (f ) =
I

f (x)dx

(92)

e a forma de provar a exist encia deste limite consiste em construirmos dois e tomado, respectivamente, como o supremo operadores, S (f ) S (f ) em que ck ou nmo de f em cada subintervalo Ik e provar que todas as cad eias de s ao equivalentes porque denem o mesmo n umero real, ou ainda que para qualquer cad eia em a diferen ca S (f ) S (f ) e arbitrariamente pequena. Observe que neste momento estamos fazendo novamente associa c oes indiretas do operador S com f usando os operadores sup e inf. Ou seja, uma fun c ao e integr avel ` a Riemann sobre um intervalo limitado I se houver o limite para o operador S relativamente ao ltro e neste caso este limite e denotado com a express ao da equa c ao (92), e este m etodo de integra c ao e chamado de integra ca o ` a Riemann. Voc e deve ter observado que denimos apenas a integral de fun c oes positivas e portanto vem a pergunta: e a integral das outras fun co es. Como no C alculo isto e feito trocando o sinal se f for negativa e no caso geral considerando a identidade f = f+ f (93) em que f + , f s ao, respectivamente a parte positiva ou a parte negativa de f , com a linearidade da integral aplicada ` a equa ca o (93). No pr oximo exemplo vou alterar um pouco o ltro tendo como resultado a integral no sentido de Lebesgue, na verdade a altera ca o n ao ser a pequena porque ser a considerada uma classe muito mais ampla de fun co es cujas integrais

46 existem, e tamb em outra altera ca o, conceito de integrabilidade muda. Se estabeleceu a ruptura entre a compreens ao de integral que tinham os matem aticos at e` a epoca de Lebesgue, mas parece que o pr oprio Lebesgue n ao entendeu o salto que ele mesmo produziu e que somente cou claro com o passar dos tempos em que a integral se afastou de sua interpreta ca o geom etrica como area (ou volume, hipervolume) para se tornar num operador linear denido num espa co de fun co es deixando a concep ca o anterior como um caso particular em que a integral podia ser interpretada como hipervolume. Na verdade Lebesgue escreveu uma variante do que poderia ter sido a continua ca o da integral de RiemannStieltjes que e a real predecessora da integral como operador linear. De forma id entica, como limite ao longo de um ltro, a altera ca o se d a no ltro, que podemos identicar como uma classe elementar de fun co es integr aveis. Para a integra ca o ` a Riemann seriam as fun co es caracteristicas de ret angulos, e agora ser ao as fun c oes simples que vou denir no pr oximo exemplo. Como no caso da constru ca o da integral ` a Riemann vamos denir a integral de Lebesgue de uma fun ca o positiva f e posteriormente expandir a qualquer fun ca o com a identidade expressa na equa ca o (93). Exemplo 2 (integral de Lebesgue) Fun c ao integr avel no sentido de Lebesgue As modica c oes introduzidas por Lebesgue foram: c ao e considerar I um conjunto 1. Medida O primeiro aspecto da generaliza mesur avel, que pode ser um intervalo da reta ou um conjunto arbitr ario. Aqui mesur avel se refere ` a exist encia de uma fam lia de subconjuntos de I que formam uma algebra de conjuntos relativamente as opera c oes de uni ao, interse ca o ou diferen ca de conjuntos e neste ponto h a diversas possibilidades tornando a teoria de Lebesgue muito rica, estou falando da teoria das medidas. Por exemplo, I pode ser uma regi ao do plano ou do espa co 3D ou de qualquer outra dimens ao e os conjuntos mesur aveis uma algebra de conjuntos de I . A teoria das medidas dene uma fun c ao que se chama medida, e podem ser m ultiplas, criando uma grande variedade de integrais. 2. fun coes simples a fam lia e formada das fun co es simples positivas, semelhantes ` a constru c ao do exemplo 1 a diferen ca e que a parti c ao de I e tomada entre os conjuntos mesur aveis e n ao subintervalos, outro aspecto da generaliza c ao. A deni c ao de fun ca o simples e uma fun c ao mesur avel que assume exatamente n valores, aqui estou usando o n umero n para crirar a compatibilidade entre os dois exemplos de que vou fazer uso em seguida. Estas dois novos aspectos s ao fundamentais e alteraram profundamente o curso da an alise matem atica, embora elas j a viessem sendo fermentadas antes de Lebesgue, foi ele que, em sua tese de doutorado, montou a teoria das medidas. Com estas duas altera c oes praticamente se aproveita o restante da constru c ao do exemplo 1:

47 1. temos uma fam lia que e um ltro crescente e a propriedade denidora expressa na equa c ao (87) se verica de forma similar porque a algebra de conjuntos e fechada para interse c ao e assim podemos calcular um renamento das parti c oes que denem os dois elementos f, g para obter o majorante h exatamente como zemos com os intervalos, apenas que agora estamos operando com os elementos da algebra de conjuntos e uma fam lia de subintervalos de um intervalo I tamb em e uma algebra de conjuntos, estamos numa generaliza c ao; 2. a metodologia para garantir a exist encia do limite e semelhante a que usamos no exemplo 1, trabalhamos com os dois operadores S, S e nos dois casos se trabalha com o cone das fun c oes positivas e assim calculamos a integral de uma fun c ao positiva, se o limite existir. A integral de Lebesgue de fun c ao positiva f e o limite, se existir, da integral S das fun c oes simples alteradas com os coecientes f (xk ); xk Ik ; k Ik = I sobre o ltro das fun c oes simples. Como era o meu objetivo, mostrei que a integra ca o ` a Riemann ou ` a Lebesgue s ao constru das de forma semelhante como limite ao longo de um ltro, o que as distingue e o ltro crescente utilizado que por sua vez, na integral no sentido de Lebesgue agora se extende para uma variedade imensa de espa cos X sendo poristo algumas vezes chamada de integra ca o abstrata. No terceiro exemplo vou mostrar que o limite corriqueiro do C alculo e tamb em uma aplica ca o do limite ao longo de um ltro crescente e portanto o m etodo e uma generaliza ca o do limite. A metodologia que vou usar consiste da an alise de um exemplo que depois vou mostrar que se aplica em qualquer caso. Exemplo 3 (o limite do C alculo) Limite de sucess oes Suponha que a sucess ao s = (xk )kN tenha limite: lim xk = a;
k

(94)

Como s e convergente, ent ao existe uma sucess ao t, crescente, que e equivalente a s, elas tem o mesmo limite. Ent ao vou considerar s := t. O que estou fazendo aqui e semelhante ` a suposi c ao feita nos dois exemplos de integra c ao considerando f positiva. O caso das sucess oes decrescentes e constru do com uma simples simetria. Como h a sucess oes convergentes que n ao s ao mon otonas precisamos aqui de uma t ecnica que vou apenas citar: e poss vel construir a partir de uma sucess ao n ao mon otona uma sucess ao crescente (ou decrescente) que lhe e equivalente, usando liminf ou limsup. Vou continuar sob a suposi c ao de que s e crescente. e denir uma sucess ao de sucess oes (Xk )kN ; Xk = (x0 , . . . , xk , xk , . . . , xk , . . . ) (95) uma sucess ao de sucess oes constru das a partir da primitiva sucess ao s tornando constante os termos a partir do termo de ordem k . Esta e a fam lia que vou usar como dos elementos da b asico dos ltros .

48 Agora vem a condi c ao denidora da equa c ao (87). Como dadas duas sucess oes, , g f , s ao crescentes, ent ao h e a que tiver mais elementos. Desta forma a fam lia de sucess oes a suporte compacto assim constru da e um ltro crescente formado de sucess oes convergentes cujos limites se aproximam arbitrariamente de a = lim xk satisfazendo a condi c ao de limite do ltro crescente.
k

N ao h a duv da de que o terceiro exemplo tem apenas o objetivo de mostrar que o c alculo do limite usando uma fam lia ltrante tamb em se aplica ` as sucess oes mas e uma forma complicada de calcular um limite simples mas que serve para provar que o processo de converg encia ao longo de um ltro generaliza o caso simples. Fourier, transformada de -. Ver transformada de Fourier. fun c ao e um tipo de rela ca o f entre dois objetos satisfazendo ` as propriedades 1. Existem dois conjuntos x A e y B designados, respectivamente, dom nio de f e contradom nio de f . 2. Todo elemento x A, do dom nio, tem um u nico elemento y B , do contradom nio, tal que y = f (x), a nota ca o para indicar que x, y est ao relacionados, com frequ encia se usa a nota ca o x y . Nota ca o: A B ; x A y = f (x) B . Observe que n ao h a a condi ca o de fazer uso de todos os elementos do contradom nio B , em particular, a fun c ao constante, que associa todos os elementos do dom nio A com um u nico elemento do contradom nio B e uma fun ca o de grande import ancia. O subconjunto de B formado por todas as imagens f (x); x A e chamado de conjuntos dos valores de f . Se todos os elementos do contradom nio forem utilizados, cabe pensar numa fun ca o inversa e ela existe de em dois casos: 1. se f for injetiva, x = y f (x) = f (y ) ou f (x) = f (y ) x = y neste caso f e tamb em bijetiva representando uma forma de identicar os dois conjuntos A, B . Podemos usar isto para identicar duas estruturas alg ebricas, como (R, +) e (R++ , ) porque a fun ca o log e uma bije ca o entre os dois conjuntos subjacentes a estas duas estruturas. 2. Se o conjunto B for todo utilizado, mas f n ao for injetiva confundindo elementos que tenha a mesma imagem, podemos denir uma rela ca o de equival encia (mod f ) e denir uma fun ca o bijetiva do conjunto quociente isto que ocorre na congru (mod f ) em B que ent ao ser a bijetiva. E encia, nos restos da divis ao por um n umero inteiro maior ou igual a 2. As classes de equival encia (mod f ) s ao denidas como os subconjuntos de A, do dom nio, que tenham a mesma imagem em B .
f f

49 As fun co es que utilizam todos os elementos do contradom nio, portanto quando contradom nio e conjunto de valores coincidem, se chamam sobrejetivas. Estas fun co es podem ser corrigidas quando denirmos uma fun ca o semelhante a f sobre as classes quociente (mod f ). fun c ao aritm etica e uma fun ca o f denida de N em C tal que f (1) = 1; m, n primos entre si f (mn) = f (m)f (n); (96)

Uma fun ca o e dita ser totalmente aritm etica se n ao houver a restri ca o de que m, n sejam primos entre si. Este tipo de fun ca o e muito importante em teoria dos n umeros e alguns exemplos s ao: (n) o n umero de divisores positivos de n; (n) a soma dos divisores de n; (n) o n umero de fatores primos distintos de n; (n) o n umero de fatores primos de n; A fun ca o de Euler, (n)card ({m; m < n; (m, n) = 1}) fun c ao generalizada Ver distribui c ao. funcional Um funcional e uma fun ca o denida num conjunto de fun co es. A palavra foi inventada para evitar que falassames de uma fun c ao tomando valor numa fun c ao, leia tamb em sobre funtor. Mas a import ancia deste conceito vai muito al em da sem antica que pode estar por tr as de sua inven ca o, os funcionais s ao hoje um caso particular de operadores que tamb em s ao fun c oes denidas em conjuntos de fun c oes e a teoria dos operadores e uma vasta area de investiga ca o em Matem atica que oferece boas possibilidades para resolver um tipo de equa co es, as equa c oes diferenciais. Podemos fazer uma classica ca o preliminar dos funcionais entre funcionais lineares e funcionais n ao lineares . Alguns dos seguintes exemplos se encontram em [4, p agina 1]. No conjunto das curvas do plano, podemos selecionar um subconjunto, daquelas que possamos calcular o comprimento, chamadas retic aveis . F pode ser o funcional que associa a cada curva retic avel o seu comprimento. Pode-se ver que este funcional e uma medida semelhante ` a medida que fazemos, por exemplo, de guras planas, o comprimento da uni ao de duas curvas retic aveis e a soma dos comprimentos destas curvas, se elas forem disjuntas, como fariamos com area de guras planas disjuntas, quando as areas forem nitas. Isto mostra o nosso interesse em reagrupar conceitos com o objetivo de sistematizar a teoria, as medidas s ao uma classe de funcionais e elas podem ser redenidas para ser vistas como funcionais lineares.

50 Um segundo exemplo de [4, p agina 1] anexa um conceito auxiliar. Podemos ver as curvas como arames de um material, cobre por exemplo, ou bra de vidro, com isto surge uma modica ca o do conceito de medida, porque tais arames deixam de ser uniformes, quer dizer que a medida de dois peda cos do mesmo tamanho n ao precisa ser a mesma, a densidade muda. Isto mostra que as medidas s ao um conceito que generaliza a medida geom etrica com uma densidade multiplicativa. Para que voc e veja que o objetivo n ao e simples complicar, quando generalizamos, o pr oximo exemplo vai mostrar-lhe um caso bem concreto que e semelhante a este, tirado da vida real. As medidas s ao funcionais, aqui, vistas como funcionais denidos em subconjuntos de curvas, e uma curva e uma fun ca o, portanto a deni ca o est a preservada. H a duas formas de medirmos um terreno, um peda co de terra. Uma delas e simplesmente geom etrico, sua area. Outra consiste no pre co que e uma deforma ca o econ omica da area. O pre co usa a area como um coeciente multiplicativo (ou vice-versa), este exemplo e semelhante ao anterior em que medimos arames considerando uma distor ca o produzida pela densidade n ao uniforme do material de que eles s ao feitos. O exemplo do comprimento de curva, ou do pre co de terrenos, pode ser expresso como uma integral o que pode tornar mais claro para que servem medidas. Do C alculo, o comprimento de uma curva e dado pela integral
b

1 + f (x)2 dx
a

(97)

este e o caso particular em que a curva e o graf (f ); [a, b] R e agora podemos recuperar o exemplo do arame escrevendo
b

1 + f (x)2 g (x)dx
a

(98)

em que g (x), escrito como derivada de uma fun ca o g representa a varia ca o (instant anea) da densidade do material de que e feito o arame. E como o objetivo de um dicion ario e exatamente complicar, para criar curiosidades podemos dizer que esta integral n ao e exatamente mais uma integral de Riemann, mas uma integral de RiemannStieltjes em que voc e encontra o peso g (x) alterando a integral e criando uma forma diferente de medir. A teoria das medidas e a generaliza ca o da integral de Riemann estudada no C alculo. Quero terminar este verbete com uma bonita f ormula que tamb em pode ser encontrada em [4, p agina 2], e vou partir da equa ca o (97) em que posso

51 interpretar a fun ca o, o integrando, como F (x, f (x), f (x)) = o que me leva a escrever
b

1 + f (x)2

J (f ) =
a

F (x, f (x), f (x))dx

(99)

Observe a nota ca o J (f ), se trata de um funcional, n ao me interesso por valores de x e at e mesmo posso usar uma linguagem correta, mas intrigante, dizendo que nas equa co es (97), (98) e (99) n ao tem x! A equa ca o (99), assim como as equa co es (97), (98), dene um funcional em que a vari avel e f . A integral que se estuda no C alculo e um funcional, e o primeiro exemplo, mas em geral n ao e apresentada assim! Funcionais deste tipo foram estudados por por alguns dos Bernouilli, Newton e LH opital portanto no s eculo 15, e o caso do c elebre problema da braquistocrona em que se procurava o caminho m nimo que um corpo descreveria entre dois pontos do espa co em que se busca minimizar o funcional denido na equa ca o (99), melhor, no caso da equa ca o (98), porque ela mede o comprimento de curvas. Problemas deste tipo se chamam problemas variacionais e um programa que tem por objetivo fazer gr acos de fun co es ou gnuplot curva denidas parametricamente. E distribuido livremente, mas, apesar do nome, n ao faz parte do projeto GNU. A p agina do gnuplot e http://www.gnuplot.info interessante observar que gnuplot pode ser usado como uma linguagem E de programa ca o, pois admite fun co es recursivas e assim e poss vel fazerem-se programas em gnuplot, [6]. e um dos resultados mais importantes Green, teorema de Este teorema do C alculo multivariado junto com outros teoremas que podem ser considerados extens oes ou complementa co es dele: teorema de Stokes e o teorema da diverg encia de Gauss. O teorema de Green tem uma vers ao trivial pela qual vou come car e que serve para classicar os campos vetoriais que vou usar ao nal na express ao do teorema. Se F for uma campo vetorial, uma fun ca o de duas vari aveis, por exemplo, continuamente diferenci avel, ent ao, pelo teorema de Schwartz-Clairaut , as derivadas mistas s ao iguais F 2 F 2 = Fxy = Fyx = xy yx o que torna a integral (Fyx Fxy )dxdy = 0
D

52 nula. Como podemos calcular as primitivas destas fun co es, e poss vel deduzir desta integral a integral de linha Fx dx + Fy dy
D

em que agora o s mbolo D representa a fronteira do dom nio D e esta integral e tamb em nula. Se eu alterar um pouquinho a nota ca o vou obter a express ao comum nos livros de C alculo. P (x, y ) = Fx (x, y ); Q(x, y ) = Fy (x, y ); P (x, y )dx + Q(x, y )dy = (Qx Py )dxdy
D

(100) (101)

que e a express ao (trivial) do teorema de Green quando partimos de uma fun ca o diferenci avel F , porque todas as integrais envolvidas s ao nulas. Se (P, Q) for um campo vetorial diferenci avel cont nuamente, ainda vale o teorema de Green mas as integrais n ao precisam ser nulas sobre um dominio D qualquer. A integral de linha, por exemplo, separa os campos vetoriais em duas classes: e o caso trivial, quando o campo vetorial e a derivada Campos conservativos, de um campo escalar. Ent ao a integral de linha sobre qualquer curva fechada e zero, e uma aplica ca o direta do teorema fundamental do C alculo. Campos n ao conservativos, quando houver uma curva fechada, fronteira de um dom nio D sobre a qual a integral de linha na equa ca o (101) e diferente de zero. o valor da integral de linha e ent ao a perda (ou ganho) de energia que o campo escalar sofre ao longo da curva D. Neste caso o campo vetorial (P, Q) n ao tem primitiva. Esta formula ca o permite ainda explicar dois tipos de integrais, integrais independentes do caminho aquelas, da forma P (x, y )dx + Q(x, y )dy
D

que s ao nulas sobre qualquer curva fechada. O campo escalar e conservativo, tem primitiva (vem da derivada de um campo escalar diferenci avel). integrais que dependem do caminho aquelas, da forma P (x, y )dx + Q(x, y )dy
D

que podem ser n ao nulas sobre uma curva fechada. O campo escalar e n ao conservativo e n ao tem primitiva (n ao vem da derivada de um campo

53

um domnio no convexo no plano

P2

P 1
Figura 14:

duas curvas ligando um ponto

escalar diferenci avel). Dizemos que integral depende do caminho porque, escolhidos dois caminhos entre dois pontos dados P1 , P2 , como se pode ver na gura (14) p agina 53, se o valor da integral sobre um dos caminhos, de P1 at e P2 for diferente do valor da integral sobre o outro caminho, tamb em de P1 at e P2 , podemos denir uma curva fechada, indo de P1 at e P1 , ent ao a integral ser a diferente zero sobre esta curva fechada. Isto equivale a dizer-se que o campo vetoria (P, Q) n ao tem primitiva, n ao ea derivada de um campo escalar. uma das estruturas alg ebricas da Matem atica. grupo E Deni c ao 7 (grupo) (G, ) Considere G um conjunto no qual esteja denida uma rela c ao bin aria * tal que (a, b, c G) a (b c) = (a b) c; (!e G) (a G) a e = e a = a En ao dizemos que (G, ) e um grupo. Com frequ encia os autores usam uma frase mais simples dizendo apenas G e um grupo quando e poss vel deixar impl cito qual e a opera ca o bin aria que est a denida em G. (a, b G) a b G (102) (103) (104) (105)

(a G) (!b G) a b = b a = e;

54 O axioma expresso na equa ca o (102) estabelece a exist encia de uma rela ca o bin aria, *, e que G e fechado para a mesma. A equa ca o (103) estabelece que * e associativa. A equa ca o (104) estabelece que para a opera ca o * existe um u nico elemento de G, chamado identidade e aqui designado com o s mbolo e. A equa ca o (105) estabelece a exist encia de um inverso para todo elemento de G relativamente ` a opera ca o *. A equa ca o (105) tamb em garante a exist encia de dois tipos de bije ca o: para cada elemento x G, de uma solu ca o u nica para a equa ca o x b = e cuja demonstra ca o e consequ encia das equa co es: xbx e uma bije ca o de G; (106) (107)

x xc e uma bije ca o de G;

1. A senten ca na equa ca o (106) e verdadeira porque, por absurdo, falhando a sobrejetividade, b x = c n ao teria solu ca o para algum elemento de G mas como b tem inverso chega-se ao abusurdo: x = b1 c. Falhando a injetividade haveria duas solu co es para b x = c o que contradiz a unicidade do inverso. 2. A senten ca na equa ca o (107) tem uma demonstra ca o sim etrica. Estas duas equa co es (106) (107), implicam na exist encia de bije co es obtidas na multiplica ca o por um elemento xo, ` a direita ou ` a esquerda. Uma das formas de trabalhar com grupos nitos consiste em analisar as tabelas operat orias, estas bije co es tem um efeito importante: em cada coluna ou linha da tabela temos a presen ca de todos os elementos de G, (sobrejetividade) sem repeti ca o (injetividade). Uma outra forma de parafrasear a seten ca acima e a seguinte: As equa co es (106) e (107), t em uma import ancia particular: elas criam permuta co es dos elementos de G indexadas pelo elemento multiplicador8 . Se G for nito a quantidade de tais permuta co es e n = card(G) = ordem(G). Se n > 2 estas permuta co es formam um subconjunto pr oprio de todas as permuta co es dos elementos de G. Interpretando G como um conjunto, como as permuta co es s ao bije co es de G, portanto fun co es invers veis cuja composi ca o e outra permuta ca o, ent ao o conjunto das permuta co es de G tem tamb em a estrutura de grupo designado com o s mbolo Sim(n) e a indexa ca o mencionada acima identica G como um subconjunto de Sim(n). Isto sugere pensar em subgrupo. Deni c ao 8 (subgrupo) Se H G for fechado para a tranforma c ao (x, y ) H H x y 1 ent ao (H, ) e tamb em um grupo, e dizemos que H e subgrupo de G.
8 Os operadores multiplica ca o e transla ca o aparecem em praticamente todas as estruturas em Matem atica.

(108)

55 Em particular a equa ca o (108) vale para G que e ent ao um subgrupo de si pr oprio. Se H for subgrupo de G, diferente de G, observamos isto dizendo que H e um subgrupo pr oprio de G. Tamb em podemos usar a equa ca o (108) considerando G como subconjunto de Sim(n); n = card(G) o que prova que G pode ser identicado como um subgrupo das permuta co es de G. Consequentemente, encontraremos todos os grupos nitos dentro dos grupos de permuta c oes. H a diversos desenvolvimentos que podem seguir esta trilha, num deles se associa ao grupo das matrizes quadradas invers veis de ordem n (entradas reais, complexas . . . ) com a opera ca o de multiplica ca o de matrizes, este e um grupo multiplicativo de matrizes que n ao e comutativo. As permuta co es das colunas da matriz id entidade produz uma imagem matricial de Sim(n). O resultado ea teoria da representa c ao de grupos nitos, com uso em codica ca o, por exemplo. Existe interesse em considerar G como um subgrupo de si mesmo, em alguns problemas se consegue real car propriedades signicaticas com aux lio da transforma ca o h : x a x a1 , chamada conjuga c ao, quando se considera um elemento xo a G. Por exemplo, e possivel descobrir pares de subgrupos que tem as mesmas propriedades, subgrupos conjugados e isomorfos. A conjuga ca o e um endomorsmo de G. Uma outra transforma ca o importante e invers ao x G x1 (109)

que e uma bije ca o de G preservando todas as propriedades (102)-(105). Esta fun ca o e uma reparamentriza ca o de G sendo um endomorsmo de G. ca o bin aria for comugrupo comutativo Se (G, ) for um grupo e a opera tativa (a, b G) a b = b a; (110) ent ao dizemos que (G, ) e um grupo comutativo. N ao havendo dubiedade dizemos apenas que G e um grupo comutativo. H a uma tradi ca o de usar a nota ca o aditiva quando se tratar de grupos comutativos: (G, +) e um grupo comutativo: (a, b G) a + b G; + e uma opera ca o binaria (111) (112)

(0 G) (a G) a + 0 = 0 + a = a; exist encia do elemento neutro(113) (a, b G) a + b = b + a; propriedade comutativa (114) (a G) (!b G) a + b = b + a = 0; exist encia do inverso (115) e neste caso o elemento neutro e usualmente designado pelo s mbolo 0. Entretanto h a exemplos de grupos multiplicativos comutativos, portanto esta forma simplista de ver grupos multiplicativos como n ao comutativos n ao e um padr ao embora seja usada. Exemplo 4 (Exemplos) de grupos

(a, b, c G) a + (b + c) = (a + b) + c; propriedade associativa

56 1. Os n umeros inteiros com a adi c ao usual e um grupo comutativo: (Z, +). 2. Os n umeros racionais, os reais e os complexos eliminados do zero, com a multiplica c ao usual s ao grupos comutativos, e a nota c ao para estes grupos e (Q , ); (R , ); (C , ); observe que nos dois primeiros casos, o cone formado pelos elementos estritamente positivos s ao subgrupos. Os logaritmos identicam estes subgrupos com os grupos aditivos dos reais (ou de Q). No caso dos complexos isto tamb em e poss vel fazer quando se chega ao logaritmo complexo passando pela f ormula de Euler ei . 3. Mn (K ) em que K Q, R, C das matrizes quadradas de ordem n s ao grupos aditivos (comutativos). Os produtos cartesianos de qualquer quantidade dos grupos K tamb em s ao grupos comutativos com a soma denida cordenada a coordenada como no caso Mn (K ), estes produtos cartesianos s ao apenas um caso particulares de matrizes n ao quadradas sobre K . O caso gen erico sendo se considerarmos a dimens ao xa m n ent ao Mnm (K ) e tamb em um grupo comutativo com a adi c ao denida coordenada a coordenada. 4. Um grupo n ao comutativo e obtido quando se considera em Mn (K ) a multiplica c ao de matrizes, ent ao o conjunto dos elementos invers veis, com determinante diferente de zero, em Mn (K ), relativamente ` a multiplica c ao de matrizes e um grupo. Este grupo designado por GLn (K ); K Q, R, C ou o grupo geral linear. 5. Um caso bem simples mostra a import ancia de GLn (R), quando n = 2, as matrizes da forma cos() sen() sen() cos() (116)

em que e um n umero real qualquer (usualmente chamado de angulo). Ao multiplicar matrizes deste tipo, se conclui, com aux lio da rela c ao de soma de angulos da trigonometria, que este conjunto e fechado para a multiplica c ao com o inverso obtido pela troca de sinal de portanto um subgrupo9 de GL2 (R). Essas s ao as matrizes de rota c ao da Geometria Anal tica plana. De forma semelhante podemos obter as matrizes de rota c ao da Geometria Anal tica em 3D. 6. O conjunto das permuta c oes de um n umero nito, n, de objetos tamb em pode ser visto como um grupo chamado Sim(n) que e um exemplo de grupo nito, n ao comutativo quando n > 2.
9 Se

A, B forem duas matrizes de rota ca o, ent ao AB 1 e uma matriz de rota ca o.

57 Trabalhar com permuta c oes e muito complicado e inclusive os programas para construir permuta c oes, diretamente, s ao dif ceis de serem constru dos. Como a multiplica c ao de um grupo nito, por um seu elemento xo, produz uma permuta c ao dos seus n ent ao Sim(n) pode ser representado, e facilmente manipulado, ao ser identicado ` as permuta c oes das colunas (ou linhas) da matriz identidade de GLn (R) reduzindo as opera c oes de Sim(n) ` a multiplica c oes de matrizes e j a existem v arios pacotes computacionais em que a multiplica c ao de matrizes est a programada. Esta e uma breve introdu c ao ` a representa ca o de grupos nitos porque qualquer grupo nito se encontra representado nalgum Sim(n). 7. Os restos na divis ao por um inteiro xo n, com a adi c ao de restos, e um grupo comutativo designado por Zn em que cada elemento representa uma classe de equival encia (mod n). e dito grupo normal Seja (G, ) um grupo e H um subgrupo de G. H normal se for invariante por conjuga ca o: ( a G) a H a1 = ca (H ) = H ; ca (h) = a (h a1 ); (117)

A equa ca o (117) pode ser escrita como, a H = H a, que s ao duas permuta co es de H chamadas classe lateral ` a esquerda e classe lateral ` a direita, respectivamente. Um grupo e normal se estas classes concidirem para qualquer permuta ca o a G permitindo a deni ca o de uma classe de equival encia m odulo H. mbolo |G| representa a ordem de G e o card(G). 1. grupo normal nito O s Se |G| for nita (grupo nito) ent ao |H | divide |G| (porque todas as classes G| tem o mesmo n umero de elementos) e h a m = ||H co es distintas | permuta de H . O conjunto destas permuta co es10 e o conjunto G/H , das classes modH . Em geral estes dois conjuntos s ao distintos, no caso dos subgrupos normais eles coincidem e representam uma parti ca o de G denindo uma rela ca o de equival encia11 em G dita m odulo H Dadas duas permuta co es de H , hi , hj G, armamos que hi H e hj H coincidem ou ent ao podemos representar G/H = {h1 , . . . , hm } = {h1 H, . . . , hm H } (118) hi H e hj H ou s ao disjuntas,

usando um subconjunto de m elementos de G como representantes das poss veis classes.


10 Na literatura, as classes aqui chamadas de permuta co es s ao com frequ encia chamadas de transla co es de H pensando no caso aditivo. 11 Quando H n ao for normal, denem rela co es de equival encia, ou classes de equival encia, ditas ` a esquerda ou a ` direita.

58 Teorema 1 (Grupo quociente) G/H As classes formadas pelas permuta c oes de H pelos elementos de G tem a estrutura de grupo, designado pelo s mbolo G/h, e o grupo quociente de G pelo subgrupo normal H . Dem :
Lema 1 (a rela c ao de subgrupo) isomorsmo com um subgrupo de G Observando que G/H = {h1 , . . . , hp } est a representado como um subconjunto de G (isomorsmo) e como H e normal ent ao e verdade que a, b G/H a b1 G/H ; Dem : Considere os seguintes c alculos em que estamos usando distintos elementos h, h , h H para representar um elemento de uma classe porque nem sempre seria o mesmo elemento de H uma vez que o grupo G n ao e necessariamente comutativo. a, b G/H a b1 = {(a h ) (b1 h )}h ,h H = (119) (120) (121) (122) (123) (124)

a = a H ; b1 = b1 H ; = {(a h ) (h b1 )}h ,hH = {a (h h) b1 )}h ,hH = = {a (h b1 )}hH = {(a b1 ) h }h H a b1 G/H

Estamos usamos a associatividade, implicitamente, nas equa c oes (122), (123). q.e.d . Pelo lema a rela c ao para G/H seja um grupo e satisfeita o que demonstra o teorema. q.e.d .

Exemplo 5 (Grupo quociente) casos comutativo e n ao comutativo (a) (Z, +) sendo comutativo todos os seus subgrupos s ao normais e todos s ao da forma nZ para algum inteiro positivo n (vale para zero). Ent ao Z/nZ s ao as classes dos restos na divis ao por n e no caso n = 0 resulta no pr oprio Z, mas usualmente n ao se considera este caso pela perturba c ao que ele causa na aritm etica.... G = Z10 ; H = 2Z10 ; Z10 /2Z10 = Z2 = 5Z10 Z10 ; (b) G = Sim(4) e o grupo das permuta c oes de quatro elementos, {1, 2, 3, 4}; |Sim(4)| = 4! = 24; Usando a nota c ao de permuta c oes considere o subgrupo H = {(12), (13), (14), (23), (24), (34)}, ent ao a ordem de H e 6 e se for um grupo normal de Sim(4) haver a 4 classes no grupo quociente G/H . (125) (126)

59 (c) Verica c ao de que H e normal: 2. grupos n ao nitos grupo quociente Seja G, H um subgrupo de G elemento a G, nota ca o: aG, Ga simbolizam as permuta co es de G obtidas pela multiplica ca o ` a esquerda ou ` a direita, respectivamente, pelo elemento a. grupo topol ogico Se (G, ) for um grupo e (G, ) for um espa co topol ogico e se a opera ca o bin aria * for cont nua na topologia produto induzida por em G G ent ao diremos que (G, , ) e um grupo topol ogico. Se n ao houver d uvida quanto a sele ca o da topol ogia e da opera ca o bin aria, diremos simplesmente que G e um grupo topol ogico. Exemplos de grupos topol ogicos s ao os grupos lineareas GLn (K ); K {R, C} a topologia natural sendo a induzida de K no grupo das matrizes. Como GLn (K ) e denido por uma desigualdade alg ebrica (determinante diferente de zero) ent ao e um aberto do grupo das matrizes quadradas de ordem n. Como os grupos tem propriedades diferentes quando K = R ou K = C, vamos nos restringir ao caso K = R na sequ encia, s ao duas teorias com diferen cas importantes. Um subgrupo de GLn (R) e SLn (R) denido como o conjuntos das matrizes cujo determinante vale 1. Exemplos de subgrupos de SLn (R) s ao obtidos considerados matrizes triangulares superiores ou inferiores cujos elementos da diagonal sejam todos 1. uma das markup languages. Junto com TeX, Postscript, PDF HTML** E e outras variantes destas, e uma das linguagens para automatizar a produ ca o de textos. HTML est a voltada para processar textos e imagens no v deo com particular uso na Internet. a generaliza ca o mais imediata dos espa cos de diHilbert, espa co de E mens ao nita, n. A reda ca o que vamos dar se aplica ipsis literis aos casos Rn , Cn com pequenas exce co es que vou indicar entre parentesis no local. Seja E e um espa co vetorial com produto escalar, consequentemente o m odulo > representa o de um vetor e dado pela express ao ||x|| = < x, x > em que <, produto escalar. No caso complexo a express ao deve ser ||x|| = < x, x >. Deni c ao 9 espa co de Hilbert E e um espa co Hilbert se for completo. Observe que como denimos um m odulo podemos imediatamente aplicar a deni ca o de continuidade usda no C alculo e o m odulo e uma fun ca o cont nua. Um teorema importante dos espa cos de Hilbert e a desigualdade de BounjakowskyCauchy-SchwarzTeorema 2 Bounjakowsky-Cauchy-Schwarz | < x, y > | |x||y | No caso complexo e preciso colocar conjugado na express ao do produto escalar. um corol E ario que o produto escalar e cont nuo. Todos os teoremas envol vendo m odulo e produto escalar da Algebra Linear ou da Geometria Euclidiana

60 valem nos Espa cos de Hilbert. Vamos dar um exemplo da dimens ao n ao nita. E = C ([a, b]) o espa co vetorial das fun co es cont nuas, no qual podemos denir o produto escalar (118)
b

< f, g >=
a

f (x)g (x)dx

(127)

sendo necess ario usar conjuga ca o em um dos termos dentro da integral, no caso complexo. Com isto voc e pode repetir os teoremas da Geometria Euclidiana usando fun co es, em particular pode denir o angulo entre duas fun co es: angulo(f, g ) = Acos( < f, g > ) |f ||g | (128)

e aqui um exemplo de duas fun co es ortogonais: [a, b] = [1, 1] x 0 f (x) = 0; x > 0 f (x) = 1; x 0 g (x) = 1; x > 0 g (x) = 0; (129) (130) (131)

dois sinais que cont em informa co es independentes: f g , ou, um exemplo do C alculo, sin(x), cos(x), sin(2x), cos(2x), . . . , sin(nx), cos(nx) (132) para quaisquer valores de n estes vetores s ao ortogonais entre si quando considerarmos como elementos do espa co E = C ([, ]) denindo o produto escalar como

< f, g >=

f (x)g (x)dx

(133)

No caso complexo e preciso usar complexo conjungado em dos elementos no integrando. Esta deni ca o tem um defeito est etico: os vetores n ao tem m odulo 1 e a Algebra Linear prefere que os vetores b asicos tenham m odulo 1, e estes vetores geram um espa co vetorial (dos polin omios trigonom etricos, ou das s eries de Fourier). Colocar uma constante multiplicativa n ao altera as propriedades do produto escalar que e uma forma bilinear, ent ao podemos multiplc a-lo por uma constante que torne um desse vetores unit arios:

f (x) = sin(x);

< f, f >= A

f (x)f (x)dx = A A =

1 (134)

e voc e pode agora ler a teoria das s eries de Fourier dentro de um espa co de Hilbert (que cont em o espa co das fun co es cont nuas) sendo os coecientes

61 de Fourier apenas a proje ca o de uma fun ca o qualquer na dire ca o dos vetores b asicos. O interessante e que podemos rapidamente colocar estes exemplos num quadro bem mais geral. Em todos os dois casos temos integrais denindo o produto escalar, porque uma soma nita e um tipo de integral, assim como as s eries o s ao. O que caracteriza uma integral e uma forma de medir conjuntos, se tivermos uma fun ca o medida num certo conjunto X , podemos nele denir as integrais das fun co es reais (ou complexas) nele denidas e com isto ter um espa co com produto escalar. Mas esta teoria e muito rica para car contida num verbete de dicion ario! Apenas para que voc e se divirta com com o que pode acontecer, observe que, por precau ca o, usamos o conjunto E = C ([a, b]) e n ao E = C ((a, b)) . . . Hilbert, espa co de - reproduzindo kernel Esta classe de espa cos recentemente se tornou muito importante devido a certas aplica co es que se puderam fazer com eles. kernel e o nome que se usa para as fun coes que ocupam o lugar das matrizes quando usamos integrais para denir fun co es lineares: J (f )(y ) =
E

f (x)K (x, y )d(x) = (x); = J (f )

(135)

dene um operador linear entre dois espa cos de fun co es denidas no (espa co de medida (E, )). As s eries de Fourier usam o kernel e2nx para transformar fun co es denidas em E = [, ] em fun co es denidas em N os coecientes de Fourier de uma fun ca o denida em E = [, ] portanto o operador linear denido na equa ca o (135) pode transformar elementos de espa cos bem diferentes. Os espa cos de Hilbert tem uma propriedade importante que e o teorema da representa ca o de Riesz, caracterizando os funcionais lineares num espa co. Para os espa cos de Hilbert o teorema retorna exatamente o produto escalar como equa ca o para os funcionais. Considere um conjunto (E, ) um espa co de medida e conjunto das fun co es complexas denidas em E e temos de forma can onica um espa co com produto escalar denido por < f, g >=
E

f (x)g (x)d(x)

(136)

O espa co de Hilbert associado a este espa co com produto escalar e designado por L2 (E ). O funcional evalua c ao x ; x E , pelo teorema da representa c ao de Riesz, e dado pelo produto escalar com um dos elementos de L2 (E ): x = < ,f >; f L2 (E ); (137)

Considere agora um operador linear J denido em L2 (E ) por um n ucleo K como na express ao da equa ca o (135): J (f ) =
E

f (x)K (x, y )d(x) = (x); = J (f );

(138)

62 uma arma hip otese E ca o que se julga verdadeira e que n ao e poss vel encontra uma demonstra ca o a partir de outras hip oteses (axiomas) de uma teoria. A geometria euclidiana e considerada um das mais antigas constru co es l ogicas estruturada como um conjunto de axiomas e os teoremas que podem ser deduzidos a partir dos axiomas. As hip oteses s ao arma co es que se espera poder demonstrar. Conjectura e uma classe de hip otese, mas as nem sempre se consideram estas duas palavras como sin onimas. e possivelmente um dos que melhor hip otese de Cantor Georg Cantor formulou a teoria dos Conjuntos que e considerada o principal fundamento da Matem atica. Em seus estudos ele construiu a cardinalidade que e uma generaliza ca o do princ pio da contagem com o qual se constr oi o conjunto dos n umeros naturais, N. Todo n umero natural tem um sucessor (axioma de Peano) mas n ao podemos falar da quantidade de elementos do conjunto dos naturais, e Cantor inventou o conceito de cardinalidade para resolver este problema. Ao faz e-lo descobriu que haviam classes de conjuntos que se agrupam por cardinalidade mas que a cardinalidade d a saltos estabelecendo ent ao a sua hip otese: n ao h a conjuntos com cardinalidade intermedi aria entre a cardinalidade de N = 0 e a cardinalidade de R = c ou 1 , o salto de cardinalidade, o primeiro dos 23 problemas de Hilbert. Em 1963 Cohen provou que n ao e poss vel provar a hip otese de Cantor a partir dos axiomas de Zermelo-Fraenkel, adotados para a teoria dos conjunto o que a tranforma em novo axioma. e uma generaliza ca o da desigualdade de BounjakowskyH older, desigualdade Cauchy-Schwarz denida em espa cos vetoriais de sucess oes ou fun co es integr aveis:
k=0

|a k b k | a

1 + b q; p

1 q

= 1;
1 q

(139) (140)

|f (x)g (x)|dx f

1 + g q; p

= 1;

Na desigualdade de Bounjakowsky-Cauchy-Schwarz p = q = 2. A desigualdade na equa ca o (140) vale para fun co es integr aveis em intervalos limitados [a, b]. O caso (a, b) e equivalente ao caso R. Esta desigualdade segue sendo v alidas se acrescentarmos pesos, para que as s eries sejam convergentes, em particular se consideramos espa cos de medida (X, ), alias, uma soma e um tipo de integral! Uma consequ encia importante da desigualdade de H older e que o espa co Lp se transforma num conjunto de funcionais lineares cont nuos denidos no espa co 1 1 Lq ou ainda, o dual do espa co Lp e o espa co Lq , com p +q = 1 sendo o operador multiplica c ao a representa ca o destes funcionais. O mesmo pode ser dito para os espa cos de sucess oes. holomorfas, fun co es Uma fun ca o complexa e dita holomorfa, ou anal tica, se satiszer as equa co es de Cauchy-Riemann. O conjunto das fun co es anal ticas num disco aberto do plano complexo tem a estrutura de anel com a soma e o produto de fun co es denido ponto a ponto e de espa co vetorial complexo. Elas s ao o conjunto solu ca o das equa co es de Cauchy-Riemann que formam um

63 sistema linear de equa co es diferenciais parciais. ideal e uma subestrutura de um anel. Seja (A, +, ) um anel. Um subconjunto I de A e um ideal se (I, +) for um subgrupo de (A, +) e se 1. x R; xI I , um ideal ` a esquerda; 2. x R; Ix I , um ideal ` a direita; O anel (A, +, ) n ao precisa ser comutativo o que faz com que as duas propriedade n ao precisem ser simult aneamente verdadeiras. Se o forem dizemos que I e um ideal bilateral. Um caso muito comum a ao os conjuntos dos m ultiplos de um inteiro positivo (n ao vale a pena considerar positivos e negativos...) 2Z, 3Z, 4Z, . . . Se o inteiro multiplicador for primo o ideal assim gerado n ao estar a contido em nenhum outro e portanto e um maximal na rela c ao de ordem da inclus ao. Como os ideais s ao subgrupos ent ao vale toda a teria de subgrupos para os ideais, em particular que eles denem classes quociente descritas pela transla co es: aI + r; r A. No caso dos inteiros estas classe s ao em n umero nito e correspondem aos restos na ao for primo, ent ao h a pelo menos dois restos cujo produto divis ao por a. Se a n a classe nula, entre as classes quocientes, vemos que e a e como a corresponde ` existem divisores de zero neste caso. Se a for primo, o anel quociente n ao ter a divisores de zero sendo um corpo nito designado por Z/aZ ou mais comumente como Za . Esta breve discuss ao mostra que e poss vel reapresentar toda a artim etica usando o conceito de ideal e este e o m etodo para generalizar a aritm etica para um anel qualquer. O caso mais simples que se segue aos inteiros e o dos polin omios a uma vari avel sobre o corpo dos reais, (R[x], +, ) Se um polin omio P n ao puder ser fatorado (sobre o corpo dos reais) ele e um polin omio primo e o ideal que ele gera, P R[x] dos m ultiplos por P e um ideal maximal. P (x) = 1 + x2 e um exemplo de polin omio primo (sobre o corpo dos reais) e os restos na divis ao por P ser ao da forma (ad + bc)x + (bc ac) em que podemos reconhecer como o resultado da multiplica ca o dos n umeros complexos ai + b por ci + d, ou seja, as classes quocientes m odulo P s ao isomorfas (como corpo) ao corpo dos n umeros complexos. O ideal gerado por P e maximal. impl cita, teorema da fun c ao E um teorema de exist encia! Considere uma equa ca o como z = F (x, y ) (141)

em que F e uma fun ca o diferenci avel pelo menos uma vez continuamente (tem poss derivadas parciais cont nuas) em um dom nio do plano. E vel derivar impl citamente a equa ca o (141) para obter dz = F F dx + dy x y (142)

A equa ca o (142) e uma soma porque

64 1. a derivada de uma fun ca o, num ponto, e uma fun c ao linear tangente cuja F matriz e a derivada J (F ) = F chamada de jacobiana de F , a matriz x y das derivadas parciais calculadas em um ponto do dom nio12 ; 2. dx, dy s ao duas novas vari aveis, alguns autores caracterizam isto usando h, k em vez de dx, dy , e a express ao na equa ca o (141) mostra a matriz aplicada a estas vari aveis. A equa ca o (142) e um modelo que pode nos conduzir a equa ca o da variedade linear tangente ` a variedade z = F (x, y ) em um ponto (a, b, c) = (a, b, F (a, b)) que seja conhecido do gr aco desta variedade com aux lio das subsitui co es dz := z c; dx = x a; dy = y b; F A = F x (a, b); B = y (a, b); z c = A(x a) + B (y b); (143) (144) (145)

Se, na equa ca o (145) eliminarmos a vari avel z considerando o seu valor constante, z = c, a dimens ao desta variedade cai de uma unidade. Enquanto a variedade na equa ca o (141) e uma variedade diferenci avel de dimens ao dois, uma superf cie, com esta substitui ca o temos uma variedade diferenci avel de dimens ao 1, uma curva, e a variedade linear tangente, tamb em de dimens ao 1, ser a uma reta. Quando as retas n ao forem paralelas aos eixos, na nota ca o padr ao cartesianda que usamos, elas tem coeciente angular e podem ser escritas com uma das alternativas, sempre coerente com a nota ca o acima, uma reta que passe pelo ponto (a, b) A= dx = x a; dy = y b;
F x (a, b); B

(146) (147) (148) (149) (150)

F y

(a, b);

A(x a) + B (y b) = 0;
A y = B (x a); B x = A (y b);

Como e uma reta tangente a uma curva, com a hip otese de que a reta n ao seja paralela a nenhum dos eixos13 ent ao a curva que tem esta por tangente denida por F (x, y ) = c, e o gr aco de y = g (x) no caso da equa ca o (149), ou e o gr aco de x = h(x) no caso da equa ca o (150). No primeiro caso, o coeciente angular da reta e a derivada de y = g (x) no ponto x = a, e podemos escrever g (a) =
F A x (a, b) ; = F B y (a, b)

(151)

12 No caso univariado vale a mesma explica ca o, mas a simplicidade deste caso esconde a matriz que parece ser um n umero. A derivada n ao exibe a variedade linear tangente, ela e um modelo que nos permite descobrir a variedade linear tangente a partir de uma fun ca o linear que este modelo constr oi. 13 Eu vou retirar esta restri ca o mais a frente.

65 No segundo caso, o coeciente angular da reta e a derivada de x = h(y ) no ponto y = b, e podemos escrever
F B y (a, b) h (b) = = F ; A x (a, b)

(152)

Embora n ao seja poss vel, em geral, encontrar uma equa ca o para y = g (x) ou para x = h(y ), mas a exist encia de um gr aco com uma tangente como se pode ver na gura (15), p agina 65, n ao paralela aos eixos garante a exist encia de uma

y = g(x)

F(x,y) = 0

x = h(y)

Figura 15:

teorema da fun ca o impl cita

fun ca o com as derivadas calculadas acima numa vizinhan ca do ponto (a, b). Se apenas uma das derivadas for diferente de zero, o teorema ainda se aplica com exist encia de apenas y = g (x), quando F y (a, b) = 0 mas com g (a) = 0, porque neste caso a reta e paralela ao eixo OX , ou no caso rec proco, existe x = h(y ), com h (b) = 0 uma vez que a reta tangente e paralela ao eixo OY o que elimina a restri ca o de que a reta n ao possa ser paralela a um dos eixos. Com a nota ca o do caso bivariado, o teorema da fun c ao impl cita tem a seguinte reda ca o Teorema 3 (fun c ao impl cita, teorema da ) Teorema da fun c ao impl cita

66 Se y = F (x, y ) for uma fun c ao continuamente deriv avel numa vizinhan ca do ponto (a, b) do seu dom nio, ent ao ao existe uma fun c ao y = g (x), denida numa vizin se F y (a, b) = 0 ent han ca do ponto x = a tal que nesta vizinan ca z = F (x, g (x)) e
F x g (a) = F y

(a, b) (a, b)

se F ao existe uma fun c ao x = h(y ), denida numa vizinx (a, b) = 0 ent han ca do ponto y = b tal que nesta vizinan ca z = F (h(y ), y ) e h (b) = F
F y

(a, b)

x (a, b)

indu c ao nita e um m etodo para conduzir demonstra co es baseado no conjunto dos n umeros naturais. Para isto precisamos de uma arma ca o P (k ) que represente o teorema sob forma de uma express ao que dependa de um n umero natural k , por exemplo, P (k ) := k a1 ak 1 k
k

aj
j =1

(153)

ou ainda que a media geom etrica e menor do que a m edia aritm etica de k n umeros positivos dados. Podemos facilmente provar que P (2) e verdadeira (como tamb em P (1)) e assim estabelecer a hip otese de indu c ao: a rela ca o expressa na equa ca o (153) e verdadeira. Se conseguirmos provar que P (k ) P (k + 1), ent ao, pelo teorema da indu c ao nita, P (n) e verdadeira para qualquer n umero natural n. A implica ca o, no exemplo acima, se obt em facilmente usando as propriedades do logaritmo, uma fun ca o convexa crescente. Assim o m etodo da indu c ao nita tem duas etapas: 1. A demonstra ca o da express ao para um valor especial, aqui no exemplo, mencionamos k = 2; 2. A demonstra ca o do encadeamento indutivo, a implica ca o P (k ) P (k + 1) ; Em geral esta e a grande demonstra ca o, o encadeamento indutivo. No exemplo, usamos um teorema dif cil, que o logaritmo e crescente e convexo, para terminar a demonstra ca o da desigualdade artim etico-geom etrica.

67 Algumas f ormulas que podem ser provadas com indu ca o nita. 1 + 2 + + n =


n+1 2 n n(n+1)(2n+1) 6

(154) (155) (156) (157) (158) (159)

1 + 4 + n2 =
n k=1 n

k 3 = (1 + 2 + + n)2
(n+1)2 n2 4

k=1 n1

2 k 3 = ( n+1 2 n) =

k4 = k5 =

k=0 n1 k=0

6n5 15n4 +10n3 n 30 2n6 6n5 +5n4 n2 12

Se chamarmos de progress ao de grau m a uma express ao P (k ) que se pode expressar como um polin omio do grau do grau m, ent ao a soma dos termos de uma progress ao de grau m e uma progress ao de grau m + 1 e um exemplo exatamente este de teorema que pode ser demonstrado por indu c ao nita. E fato que justica a f ormula de integra ca o de fun co es polinomiais que voc e pode encontrar em [5, volume 1]. a v arias formas de entender a integral, a mais elementar e como integral H uma area. Se f for uma fun c ao univariada integr avel no sentido de Riemann ent ao o s mbolo
b

f (x)dx
a

(160)

representa a area limitada pelo gr aco de f , pelo eixo OX desde o ponto a at e o ponto b, quer dizer que e uma area alg ebrica porque o sinal muda se ela for calculada de b para a. Na gura (16) p agina 68, voc e pode ver a interpreta ca o geom etrica da integral de f com a indica ca o de que algumas das sub areas s ao positivas ou negativas. A raz ao do sinal e que a integral, mesmo interpretada como area, e uma quantidade de uma determinado fen omeno, quantidade calor, quantidade de movimento, dist ancia percorrida dependendo do signicado de f . Se f representar a velocidade com que um corpo se move, temos a dist ancia 1 n ao e integr avel percorrida pelo corpo entre os pontos a e b. A fun ca o f (x) = x a Riemann se o ponto x = 0 pertencer ao intervalo de integra ` ca o, mas e poss vel denir uma medida adequada na reta que torne esta fun ca o integr avel em qualquer subintervalo da reta. O conceito primitiva est a associado a integral como inversa da derivada. e Lebesgue, 1941 a teoria da integral de Lebesgue De Riemann, 1866, at integra ca o evoluiu de area a funcional embora n ao seja esta a formula ca o que Lebesgue deu a integra ca o ao fazer parte importante do grupo que construiu a teoria das medidas. Com a teoria das medidas se entendem falhas na teoria de integra ca o motivada pela area (que e uma m edida) produzida pelos contempor aneos de Riemann e da qual Riemann e um dos nomes mais signicativos.

68
b f(x) dx a f

positiva

negativa

rea limitada pelo grfico de f e pelo eixo OX desde o ponto a at o ponto b.

Figura 16: Um resultado sutil da teoria da medida mostra que no intervalo unit ario, o conjunto dos n umeros irracionais tem medida 1 e o seu complementar, o conjunto dos n umeros racionais tem medida zero. Isto faz com que a fun c ao caracter stica do conjunto dos irracionais, deste intervalo, tenha medida de Lebesgue 1, mas esta fun ca o n ao e integr avel a Riemann porque suas somas inferiores ser ao sempre zero e as superiores sempre 1. Podemos dizer que a medida de Lebesgue e uma completa ca o da medida de Riemann na reta, ou no espa cos de dimens ao nita. H a v arias extens oes da teoria da integra ca o de Riemann, uma delas denominada Riemann-Stieltjes e um passo intermedi ario para a teoria dita de Daniel em que a integral e vista como um funcional linear. Esta forma de descrever integra ca o e muito mais poderosa do que o processo dito de Lebesgue e inclusive a integral de Lebesgue passa a ser representada pela fun ca o constante 1. Porem a teoria das medidas lan ca luz em outros aspectos que se perdem com a vis ao da integral como funcional linear, como por exemplo a complexidade dos conjuntos o que pode ser pressentido com a medida do conjunto dos n umeros irracionais de m odulo menor do que 1, acima mencionados. N ao tem sentido falar em quantidades, aqui, mas podemos falar em medidas. A continua ca o deste processo levou a teoria das distribui co es construida de forma independente, por L Schwartz, na Fran ca, e Sebasti ao Silva em Portugal em 1940. uma generaliza ca o das integrais a uma vari avel em integral de linha E que o integrando e uma fun ca o vetorial (com valores num espa co vetorial de dimens ao maior do que 1) com vari aveis reais. Um caso t pico e o comprimento de arco de uma curva (embora nem sempre caracterizado como integral de linha). O teorema de Green e uma igualdade entre duas integrais em que uma delas e a integral sobre a fronteira da regi ao sobre a qual a outra integral e calculada. A primeira e ent ao uma integral de linha. um ramo da computa intelig encia articial E ca o cient ca que procura criar programas capazes de tomar decis oes independentes daquelas que o progra-

69 mador tiver previsto e assim adquirir novas habilidades diferentes das originais. H a uma deni ca o, devida Turing, do que seria intelig encia articial mas parece que ela nunca foi comprovada (a exist encia de intelig encia usando a deni ca o de Turing). Alan Mathison Turing e considerado um dos fundadores da computa ca o teorica o que inclue os seus experimentos chamados de m aquinas de Turing que fazem parte da L ogica. H a muita informa ca o sobre Turing na wikipedia que seria in util repetir aqui. inversa, teorema da fun c ao Este teorema estabelece condi co es para calcularmos a inversa de uma fun ca o que seja diferenci avel. Suponha que f seja uma fun ca o diferenci avel em um intervalo (a, b), que c (a, b) e que f seja diferenci avel. Se f (c) = 0 ent ao existe uma vizinhan ca do ponto c em que podemos denir f 1 . O exemplo gr aco mostra porque esta propriedade tem que ser local: v alida numa vizinhan ca do ponto c, na gura (17) p agina 69, Na gura (17) voc e

O teorema da funo inversa

y=x

Nestes pontos no h derivda!

No intervalo [a,b] a funo f tem uma inversa.

a
c

O grfico de f foi espelhado relativamente reta y = x y=x

Nos pontos a, b derivada se anula. No intervalo (a,b) a funo tem inversa

Figura 17:

fun ca o inversa

pode ver um peda co do gr aco graf (f ) que depois de espelhado relativamente a primeira bissetriz y = x corresponde ao gr ` aco de uma fun ca o. Nos pontos (a, f (a)), (b, f (b)) a derivada e zero (tangente horizontal) que na imagem espelhada corresponde ` a tangentes verticais onde n ao h a derivada. Assim o intervalo aberto (a, b) e uma vizinhan ca do ponto c onde se pode denir uma fun ca o inversa. Teorema 4 (da fun c ao inversa) Se f for deriv avel com derivada diferente de zero no ponto c, existe uma vizinhan ca de um ponto c,V (c) no dom nio e uma vizinhan ca V (f (c)) em que podemos denir uma inversa f 1 : V (f (c)) V (c)

70 interessante uma extens E ao deste teorema para fun co es multivariadas. Suponha que F seja uma fun ca o vetorial de vari avel vetorial, F : Rn Rm Rm em que a escolha da dimens ao nos espa cos de sa da e de chegada logo lhe vai car clara. Tamb em numa reda ca o mais precisa diriamos que F est a denida num dom nio Rn Rm , entretanto a ideia essencial lhe ser a transmitida com esta vers ao. Acompanhe as contas e os coment arios que faremos logo em seguida: x Rn , y Rm ; F : Rn Rm Rm ; F (a, b) = c Rm ; y ) = (F1 (x, y ) . . . , Fm (x, y ) Rm ; z = F (x, F1,x1 . . . F1,xn F1,y1 . . . F1,ym (161) J ( F ) = Fm,x1 . . . Fm,xn Fm,y1 . . . Fm,ym J (F ) = Dx Dy

Na quarta linha do sistema de equa co es (161) escrevemos a jacobiana de F , J (F ), como uma matriz-blocos, novamente indicando isto na u ltima linha em que estamos representando os dois blocos com ndices x, y porque as derivadas parciais neles contidas, s ao respectivamente as derivadas parciais relativamente as coordenadas de cada um destes vetores sendo ent ` ao razo avel usar a nota ca o de derivadas parciais com ndices vetoriais para indicar estes dois blocos da jacobiana. A raz ao desta subdivis ao em matrizes-bloco logo car a clara: precisaremos de uma matriz invers vel, portanto precisamos de uma matriz quadrada. Uma quest ao pode ser levantada sobre a sele ca o das coordenadas: quem seriam x ou y , deixaremos de lado esta diculdade que nos conduziria a um problema completamente diferente, mas e uma quest ao pertinente. Vamos escrever a f ormula de Taylor do primeiro grau para F no ponto (a, b): F (x, y ) = F (a, b) + J (F ) F (x, y ) = F (a, b) + Dx Dy xa yb +o +o xa yb ;(162) ;(163) ;(164) ;(165) ;(166) ;(167) ( ; 168)

xa yb

xa yb

F (x, y ) = F (a, b) + Dx (x a) + Dy (y b) + o Dy (y b) = F (x, y ) F (a, b) Dx (x a) o Dy (y b) = (1 F (x), 2 F (y )) (1 F (a), 2 F (b)) Dx (x a) o Dy (y b) = (1 F (x) 1 F (a), 2 F (y ) 2 F (b)) Dx (x a) o Dy (y b) = (1 F (x) 1 F (a), G1 (y ) G1 (b)) Dx (x a) o

xa yb

xa yb

xa yb

xa yb

xa yb

71 em que o nas equa co es acima e o o pequeno de Landau. Tamb em estamos agrupando a a ca o de F sobre x ou sobre y com a nota ca o 1 F (x), 2 F (y ), identicamente sobre a e b As matrizes Dx , Dy s ao matrizes n umericas uma vez que as derivadas parciais foram calculadas no ponto (a, b) de acordo com a f ormula de Taylor, e neste ponto a nota ca o est a deciente por n ao o indicar, mas a nota ca o caria muito complicada e preferimos chamar sua aten ca o e seguir com a nota ca o deciente. Entretanto, vamos precisar de usar o fato de que Dy ea jacobiana calculada no ponto b. Suponha agora que a matriz-bloco Dy seja invers vel14ent a o Dy e a jacobiana de uma fun ca o localmente invers vel, Dy = J (G)|b ; Rm Rm ; F (a, b) = c; em que G e a componente de F sobre o vetor y . Teorema 5 (da fun c ao inversa) Caso multivariado Se F : Rn Rm Rm for deriv avel e pudermos identicar um bloco m m, D da jacobiana J (F ) cujo determinante seja diferente de zero em um ponto (a, b) do dom nio, ent ao existem abertos V (a, b), V (F (a, b) tal que a restri c ao F |V (a, b) V (F (a, b)) e invers vel, com J (F |V ((a, b)))1 = D1 . Uma formula ca o ainda mais bonita deste teorema conduz de maneira natural ao conceito de atlas. Para isto considere que o dom nio de F seja um conjunto compacto, de Rn+m , F : Rm a familia dos determinantes maiores m m indexados nos pontos (a, b) que sejam diferente de zero, dene uma cobertura por abertos de da qual se pode selecionar uma subcobertura nita (aqui est a a raz ao da hip otese de compacidade de ). Esta fam lia e um atlas de e F restrita a cada um dos mapas deste atlas e invers vel. A demonstra ca o e semelhante a que j a zemos acima. Esta e a formula ca o que se pode usar para generalizar o teorema da fun ca o inversa para espa cos abstratos da An alise Funcional. isomorsmo Dadas duas estruturas, aparentemente diferentes, e poss vel estabelecer entre elas um funtor que ponha em rela ca o os aspectos essenciais das duas teorias. Se este funtor tiver na base uma fun ca o bijetiva entre os dois conjuntos das duas estruturas, temos um isomorsmo entre elas. Por exemplo, o espa co vetorial dos polin omios de grau menor ou igual ` a n e caracterizado
14 Corresponde a derivada diferente de zero na vers ao univariada do teorema da fun ca o inversa que estabelecemos logo acima. Agora corresponde dizer que determinante da jacobiana e diferente de zero.

72 essencialmente pelos coecientes destes polin omios e assim podemos colocar em correspond encia qualquer polin omio neste espa co com a en upla de n +1 n umeros reais dos coecientes. Estabelecemos assim uma correspond encia bijetiva entre Rn [x], o espa co vetorial dos polin omios de grau menor ou igual ` a n, e Rn+1 . Se mostrarmos que a soma de um lado correspondente, pelo isomorsmo, ` a soma do outro lado, e semelhantemente, o produto por um escalar, ent ao teremos mostrado que se trata de um isorsmo de espa co vetorial e n ao haver a mais raz oes para n ao considerarmos estas duas estruturas como id enticas. Um isomorsmo e um tipo particular de morsmo e o texto acima pode ser lido substituindo isomorsmo por morsmo apenas n ao valeria a equival encia entre as estutruturas, os morsmos s ao mais fracos que os isomorsmos. jacobiana e o nome adquiriu a derivada DF de uma fun ca o de varias variaveis, a matriz das derivadas parciais. uma palavra alem kernel E a que signica n ucleo, as duas palavras s ao usadas em portugu es, em Matem atica, com o mesmo sentido. Procure n ucleo. um operador que produz um elemento que completa um espa limite E co. Por exemplo, o conjunto dos n umeros racionais e incompleto no sentido de que h a sucess oes de n umeros racionais que s ao convergentes e assim denem um n umero, mas este n umero n ao e um n umero racional. Por exemplo, considere a sucess ao Pn dos pol gonos regulares inscritos num c rculo de raio 1. O quociente do per metro de Pn pelo diametro do c rculo se aproxima arbitrariamente de um n umero que os gregos chamaram de que n ao e poss vel escrever como o quociente de dois inteiros e portanto n ao e um n umero racional. Desta forma n umero que completa Q. O conjunto lim P 2 = e o operador lim fornece um n
n

de todos os n umeros que completam Q e o conjunto R dos n umeros reais, e naturalmente Q R. Outros exemplos mais simples de n umeros n ao racionais s ao as ra zes dos n umeros naturais que, ou s ao n umeros naturais, ou s ao n umero irracionais. Um algoritmo geom etrico que faz esta constru ca o pode ser encontrado em [7, Cap tulo 5] m edia Este e um conceito que tem interpreta co es diferentes, a forma mais comum sendo a m edia aritm etica simples cuja deni ca o e, dados dois n umeros b encia lidamos com a m edia artim etica a, b, a m edia deles e a+ 2 . Com frequ ponderada e neste caso associamos um peso a cada um dos n umeros e a f ormula passa a ser Aa + Bb M edA,B (a, b) = (169) A+B e a m edia aritm etica simples e um caso particular desta quando os pesos forem iguais: a+b Pa + Pb = (170) P +P 2 A m edia aritm etica est a associada ` a interpola ca o linear, quer dizer, se considerarmos dois pontos no espa co, como mostra a gura (18), p agina 73, dois pontos A, B determinando um segmento de reta, qualquer ponto sobre este segmento de reta e uma m edia entre A e B , inclusive os dois extremos, obviamente,

73

Segmento de reta e mdia


1 0 0 1 0 1

00 11 11 00 00 11

Qualquer ponto sobre este segmento de reta mdia entre A e B, inclusive os extremos.

Figura 18:

Segmento de reta e m edia

neste caso estamos pensando em m edia aritm etica ponderada. A m edia tamb em est a relacionada com o conceito de convexidade, e ca mais interessante analisar a convexidade no espa co de dimens ao maior ou igual a dois, embora um segmento de reta, ou um intervalo de n umeros reais j a sejam exemplos de conjuntos convexos. A gura (19), p agina 73, mostra um conjunto
o centro de massa, P, se encontra fora de

Um conjunto que no convexo e seu fecho convexo

Figura 19:

Conjunto convexo e m edia

que n ao e convexo e seu fecho convexo. O conjunto n ao e convexo, mas se acrescentarmos a parte limitada pelo segmento de reta, se obtem um conjunto convexo. O conceito de baricentro, ou centro de massa, e a forma que toma a m edia aritm etica ponderada quando se pensa em guras geom etricas. Aqui e preciso pensar na integral para fazer o c alculo. A integral e uma forma de gen-

74 eralizar o conceito de medidas, comprimento, area, volume, hipervolume. . . mas a f ormula para c alcular o baricentro e apenas uma generaliza ca o da f ormula apresentada mais acima para calcular a m edia aritm etica ponderada: C alculamos uma integral da gura parametrizada sobre um dom nio onde ela esteja denida e depois dividimos pela integral do dom nio: o resultado e a m edia, apenas agora e habitual se referir a este m edia como m edia integral. Se a fun ca o que parametrizar o conjunto tiver varia co es ao longo do dom nio, isto pode ser interpretado, ou pode interpretar, altera co es da massa de ao longo do dom nio. Usamos isto quando o objeto geom etrico e feito de material n ao uniforme. Voc e pode ver um exemplo do baricentro de um objeto que seja feito de material n ao uniforme quando o centro de massa se encontra fora de , por em dentro do seu fecho convexo, na gura (19). O ponto P que seria o centro de massa de , se encontra fora de , Ou ainda, a m edia aritm etica ponderada dos pontos de e P e dizemos m edia integral, 1 Area(D) F (x, y )dxdy
D

(171)

em que F e a fun ca o que parametriza sobre o dom nio D Aqui podemos tomar o caminho inverso da generaliza ca o para lembrar o valor m edio integral do C alculo univariado: 1 ba
b

f (x)dx
a

(172)

e a compara ca o entre as f ormulas que aparecem nas equa co es (172) e (171) e instrutiva porque elas representam exatamente a mesma coisa apenas em dimens oes diferentes, uma f ormula mais dif cil que pode ser colocada tamb em neste contexto mostrando que ela n ao precisa ser t ao amedrontadora, a integral de Riemann-Stieltjes que precedeu a integral de Lebesgue
b

f (x)g (x)dx
a

(173)

em que a fun ca o g (x) representa a forma como a massa se distribui ao longo do intervalo [a, b] o que substitui a divis ao por m([a, b]) = b a. Um exemplo simples deste caso e quando g (x) representa uma distribui ca o de probabilidade, as probabilidades servem para calcular m edias integrais e representam a forma como a massa do fen omeno considerado se distribui ao longo do espa co, em qualquer dimens ao. Na integral de Lebesgue g (x)dx = d(x) e uma m edida que n ao precisa ser exatamente a derivada de uma fun ca o ou que a derivada seja uma fun c ao. . . As m edias nos acompanham at e nos momentos mais ntimos de nossa vida, uma caixa d agua representa uma m edia uma vez que ao longo do tempo ela

75 garante que o abastecimento m edio d agua de uma resid encia se mantenha constante. medida e uma generaliza ca o do conceito de area. Area e um tipo de medida. H a v arias formas de fazer esta generaliza ca o, uma delas, que se deve ao matem atico Franc es Lebesgue, consiste em identicar uma fam lia de subconjuntos de um determinado conjunto para construir com eles uma - algebra de conjuntos e sobre esta - algebra se pode denir uma fun ca o que tem as mesmas propriedades da area. Esta fun ca o se chama medida e os subconjuntos que formam a - algebra s ao os conjuntos mesur aveis. Desta forma se pode denir fun co es integr aveis relativamente a esta - algebra, ditas integr aveis no sentido de Lebesgue em oposi ca o ` a forma habitual do C alculo de denir a integral que e dita integra ca o no sentido de Riemann. e uma medida[que foi denida por P. Dirac em suas medida de Dirac pesquisas em F sica Qu antica para isolar uma p articula, ent ao ela e uma medida concentrada em um u nico ponto do espa co e pode ser denida pelo sistema de equa co es a (S ) = 1 a S ; (174) (175) a (S ) = 0 a / S;

ou seja, a medida do conjunto S ser a 1 se a S . Ou em termos de probabilidade, a probabilidade de S ser a 1 se a S que como seria do interesse de Dirac, no caso de part culas, em que, nesta linguagem a seria uma part cula e S uma muito comum regi ao do espa co em que esta part cula poderia estar presente. E se fazer refer encia ` a medida de Dirac como fun c ao de Dirac pois ela teria sido denida, inicialmente, como uma fun c ao de probabilidade nula no espa co inteiro exceto num ponto a em que assumiria o valor e cuja integral seria 1. Uma fun ca o com estas propriedades n ao pode existir e foi preciso algum tempo para que os matem aticos, em particular Laurent Schwarz e Sebasti ao Silva, conseguissem generalizar o C alculo Diferencial e Integral a um novo tipo de objetos, chamados fun co es generalizadas ou distribui co es em que a medida de Dirac e um exemplo de distribui ca o ou fun ca o generalizada. Na generaliza ca o do C alculo Diferencial e Integral ` as distribui co es, se ampliou o conceito de derivada, derivada no sentido das distribui c oes. Se uma fun ca o for classicamente diferenci avel, os dois conceitos coincidem, mas agora e poss vel derivar fun co es mesmo n ao cont nuas. Por exemplo a fun ca o caracter stica de um intervalo [a,b] ; (176) pode ser vista como uma altera ca o da fun ca o constantemente nula em lhe tenham sido inclu dos dois pontos de salto, a, b. Em {a} um salto de amplitude 1, e em {b} um salto de amplitude -1. Se calcularmos a derivada no sentido das distribui co es de [a,b] o resultado ser a 0 + a b (177)

em que aparece uma combina ca o linear de transla co es da medida de Dirac tendo por coecientes as amplitudes dos saltos.

76 A medida de Dirac e frequentemente referida como um pulso de energia 1 porque ela pode ser aproximada por fun co es diferenci aveis, com suporte de pequena medida em volta de um ponto e com integral 1. interessante que podemos obter E aproxima co es computacionais mostrando que este conceito generalizado n ao se encontra distanciado da realidade como pode parecer. Para conseguir esta vis ao computacional, gura (20), p agina 76, siga os seguintes passos:
Aprox. medida de Dirac na derivada de chi[-0.500000,0.500000] m=30 20 15 0.000000 "dados1" "dados2" -1.000000 18.965937 10 5 0

(f g ) = f g = f g (178) f 0 = f (f 0 ) = f

-5

(179) (180)

-10

-15

-20 -2 0 2 4 6 8 10 12

1. A equa ca o (178) mostra que a derivada de um produto de convolu co es se distribui ` a direita ou ` a esquerda para qualquer dos fatores; Figura 20: Medida de Dirac na 2. A equa ca o (179) lembra que a medida de Dirac e a unidade na multiplica ca o por convolu ca o; 3. Na equa ca o (180) temos uma chave para obter uma aproxima ca o das derivadas, substituindo a medida de Dirac por um n ucleo, ou um sinal diferenci avel com suporte de pequena medida em volta de zero, procure regulariza c ao por convolu c ao, sobre isto. Se substituirmos: (f 0 ) = f por e o resultado e o que voc e pode ver na gura (20), p agina 76. Se nesta gura voc e apagar a fun c ao caracter stica, ver a dois pulsos, um com energia positiva 1 e outro com energia negativa -1 que s ao aproxima co es da medida de Dirac exatamente no sentido que Paul Dirac imaginava. e a generaliza ca o do conceito de dist ancia. Dado um conjunto M m etrica e uma fun ca o positiva d(x, y ) = d(y, x); simetria d(x, x) = 0; d : M x M R; (181) (182) d(x, y ) d(x, z ) + d(z, y ); desigualdade triangular (183) (184) (f ) = f = f f
derivada de fun c~ ao descont nua

dizemos que (M, d) e um espa co m etrico . Um exemplo trivial e a m edida denida pela pela delta de Dirac d(x, y ) = x,y = x=y x=y 0 1 (185)

77 Este medida e comumente usada em conjuntos onde n ao se encontrem denidas opera co es alg ebricas e o espa co m etrico resultante e chamado de espa co m etrico discreto Outro exemplo e a medida usual da Geometria Anal tica, tamb em chamada mdida euclidiana x, y R3 ; d(x, y ) = (x1 y1 )2 + (x2 y2 )2 + (x3 y3 )2 (186)

e uma palavra t ecnica que representa um m etodo que dommodelo modelo inamos, que sabemos implementar computacionalmente, por exemplo, e que dever a representar a realidade. H a diversos tipos de modelos, para citar alguns, modelos polin omiais, com frequ encia representados pelos splines. Modelos alet orios, em que se usam express oes obtidas usando vari aveis aleat orias em lugar de coecientes constantes. Um exemplo simples de modelo (polinomial) s ao os polin omios de Taylor. em que uma certa fun ca o f da qual se conhecem poucos dados, e modelada por um polin omio. a imagem de um funtor entre duas categorias. Em alguns morsmo E textos e chamado de homomorsmo Um exemplo mostra melhor o que e um funtor. Conside o grupo aditivo dos polin omios de grau menor ou igual ` a n, (Rn [x], +). Este grupo e caracterizado essencialmente pelos coecientes dos polin omios e assim podemos colocar em correspond encia qualquer polin omio deste grupo com a en upla de n +1 n umeros reais dos coecientes. Se chamarmos esta correspond encia de T temos: P Rn [x] T (P ) = (a0, a1, . . . , an ) = p Rn+1 (P + Q) Rn [x] T (P ) + T (Q) = p + q R 0 Rn [x] (0, 0, . . . , 0) Rn+1 P, Q Rn [x] T (P ) = p, T (Q) = q R
n+1 n+1

(187) (188) (189) (190)

ent ao dizemos que T e um morsmo de grupos. Um outro exemplo e o logaritmo entre (R++ , ) o grupo multiplicativo dos n umeros reais estritamente positivos e (R, +) o grupo aditivo de todos os n umeros reais. Aqui teremos que escrever (P Q) (log (P ) + log (Q)) = p + q
T

(191)

e temos um morsmo entre o grupo multiplicativo dos n umeros reais estritamente positivos e o grupo aditivo de todos os n umeros reais. A imagem inversa do elemento neutro do grupo imagem no grupo pr eimagem e um subgrupo chamado de n ucleo. Aqui T 1 (0), neste caso e o subgrupo com um u nico elemento 1, isto caracteriza que este morsmo e um isomorsmo. Uma matriz m x n, qualquer, dene um morsmo entre os grupos aditivos de vetores Rn , Rm . Se m = n este morsmo n ao ser a um isomorsmo. Se n > m o n ucleo, um subgrupo de sa da Rn , ser a o conjunto n ao trivial de

78 solu co es do sistema de equa co es com vetor de dados nulo e podemos com este sub-grupo construir a solu ca o geral de qualquer sistema de equa co es denido com esta matriz com uma transla ca o. Se estivermos estudando um categoria cujos elementos sejam fun co es um tipo especial de morsmo pode ser construido, o morsmo de evalua c ao que em geral n ao ser a um isomorsmo. Em geral produz um exemplo de funtor esquecido. Este u ltimo exemplo mostra o poder de s ntese que o uso de morsmos pode dar para o estudo das diversas estruturas alg ebrico, topol ogicas ou geom etricas. Obviamente se acrescenta um n vel maior de abstra ca o com o que se consegue expressar de forma muito mais simples os problemas. morsmo de evalua c ao Considere a estrutura de grupo aditivo da algebra de Wiener, das s eries trigonom etricas absolutamente convergentes, (W (T, +) . A fun ca o
a C; a (f ) = f (a) W (T)

(192)

em que f e a fun ca o denida por uma s erie trigonom etrica absolutamente convergente, e a e o funtor evalua ca o no ponto a T e um exemplo de morsmo de grupo de W (T) no grupo dos n umeros complexos: (f + g )(a) = f (a) + g (a); 0(a) = 0 (193)

Este morsmo e chamado de morsmo complexo da agebra W (T) e todos os morsmos complexos desta algebra s ao deste tipo. multiplica c ao Uma das quatro opera co es fundamentais da aritm etica, as outras s ao adi c ao, subtra c ao, divis ao. ebrica em que h a uma multiplica c ao, operador Em uma estrutura alg opera ca o caracterizada como multiplica c ao, quer dizer, n ao necess ariamente comutativa podemos denir um morsmo desta estrutua xando um elemento, digamos a e denindo f af ; ou ent ao f f a; (194)

Se a estrutura alg ebrica mencionada for um grupo, estes operadores, a multiplica c ao ` a esquerda ou multiplica c ao ` a direita s ao dois isomorsmos de grupo . No exemplo anterior, no caso de um grupo multiplicativo, se tem um isomorsmo porque todo elemento de um grupo invers vel, logo os inversos deste isomorsmos s ao, respectivamente f f a1 ; ou ent ao f a1 f ; (195)

Deni c ao 10 (Operador) Multiplica c ao Nota c ao Ma : f af ; Em caso de ambiguidade se pode usar Ma , a M para representar estes operadores.

79 Surgem fatos interessantes quando a inversibilidade do elemento a pode ser posta em quest ao ent ao os operadores multiplica ca o n ao s ao invers veis: as fun co es n ao invers veis (n ao injetivas) denem classes de equival encia n ao triviais no dom nio com uma fatoriza ca o tamb em n ao trivial: Ma = ia osa ; a M = a ioa s (196)

em que s e uma sobreje ca o, sobre o conjunto das classes de equival encias geradas pelo operador no dom nio e i inje ca o sobre a imagem do operador. Esta a fatora decomposi ca o (ou fatora ca o) vale para qualquer tipo de morsmo. E ca o can onica do morsmo. Em particular vale para os mormos de conjuntos, as fun c oes. Alguns exemplos de aplica ca o:
1 +1 e um operador 1. Ma l p = l p em que a e um elemento de l q com p q = 1 linear entre estes dois espa cos (de Banach) de sucess oes. A desigualdade de H older e que justica este resultado.

2. Como o produto ponto a ponto de sucess oes e transformado num produto por convolu ca o em algum espa co de fun co es denidas em R ent ao o exemplo anterior se apresenta com o operador multiplica ca o por convolu ca o: 1 Ma Lp = Lp se a for um elemento de Lq com 1 + = 1, tamb e m e p q consequ encia da desigualdade de H older. 3. Se a L ent ao o operador multiplica ca o Ma Lp = Lp estar a bem denido e e cont nuo para qualquer que seja 1 p < . O mesmo pode ser dito no caso dos espa cos de sucess oes. N e o conjunto dos n umeros naturais. umeros naturais, N Os n umeros naturais s ao Naturais O conjunto dos n denidos por nove axiomas de Peano. 1. O conjunto dos n umeros naturais n ao e vazio e portanto cont em pelo menos um elemento cujo s mbolo e 0. Para Peano este elemento seria 1. Este e um dos pontos cr ticos dos axiomas de Peano, nada nos impediria de considerar que o primeiro elemento de N fosse o n umero inteiro 3 ou 3 e toda a axiom atica de Peano funcionaria. Na verdade os axiomas de Peano s ao a formula ca o do princ pio da indu c ao nita e N e um dos poss veis resultados da aplica ca o deste princ pio. 2. Da igualdade: (a) reexividade x N; x = x (b) transitividade x, y, z N; x = y e y = z implica x = z ; (c) simetria x, y N; x = y implica que y = x;

80 a o b N. 3. Fechado para igualdade Se a N e b = a ent

O uso deste axioma ocorre em situa co e como opera co es com fra co es, se a a o resultado nal for, por exemplo, 3a , com a = 0 ent ao 3 3, e como a 3 N n ao h a raz ao para considerar estes dois objetos como diferentes e ambos pertencem ao conjunto N.

4. A opera ca o sucessor Existe uma opera ca o, s com as seguintes propriedades: (a) s(n) N para todo n N; s(0) = 1; (c) Para qualquer n N s(n) = 0 e falso;

(b) s(s(0)) = 2; sn (0) = n;

(d) s e injetiva: s(n) = s(m) n = m; 5. O princ pio da indu ca o nita Considere K um subconjunto de N que tenha as propriedades seguintes: (a) 0 K ;

(b) q K s(q ) K ent a o K = N. Teorema 6 (innitude dos n umeros naturais) N e innito Dem :
Como s(s(0)) = s(0) implica que s(0) = 0 pela injetividade de s ent ao, por absurdo, s(0) = 0 ou, equivalentemente, s(s(0)) = s(0). q.e.d .

Aplica ca o repetida, indenidamente, deste teorema mostra que N n ao tem um n umero nito de elementos e isto caracteriza que N e um conjunto innito. A constru ca o feita por Peano e minuciosa, ele pensou em todos os detalhes, e inclusive, a constru ca o de Peano foi em parte produzida independentemente por Frege sem que nenhum dos dois soubesse dos trabalhos do outro. Ainda assim e poss vel perceber que o conceito conjunto innito se mant em vago uma vez que ele depende de uma aplica c ao repetida, indenidamente, de uma certa opera c ao e esta a ca o n ao poderia ser nunca executada. Observa c oes deste tipo conduziriam aos trabalhos de um dos fundadores da computa ca o, Turing, e seu c elebre teste, a m aquina de Turing. A Matem atica, resolve problemas pr aticos, mas ela est a longe de ser uma teoria perfeita ou exata! Talvez isto seja o seu aspecto mais forte, as suas falhas, uma permanente fonte de inspira ca o de nossas pesquisas. n ucleo Tem v arios sentidos em Matem atica e e usada frequentemente com o mesmo sentido que kernel. Em Teoria dos Grupos (e nas supercategorias da categoria de grupo) representa o subgrupo obtido como imagem inversa do elemento neutro da adi ca o por um morsmo (entre dois grupos n ao comutativos e a imagem inversa por um morsmo do elemento neutro da multiplica ca o do grupo-imagem). Desta forma

81 se caracterizam os isomorsmos quando o n ucleo se reduz ao grupo formado apenas pelo elemento neutro. O n ucleo e um subgrupo normal. Em teoria dos operadores e o nome que se usa para as fun coes que ocupam o lugar das matrizes quando usamos integrais para denir fun co es lineares: J (f )(y ) =
E

f (x)K (x, y )d(x) = (x); = J (f )

(197)

dene um operador linear entre dois espa cos de fun co es denidas no (espa co de medida (E, )). As s eries de Fourier usam o kernel einx para transformar fun co es denidas em E = [, ] em fun co es denidas em N os coecientes complexos de Fourier de uma fun ca o denida em E = [, ]

(n) = f

f (x)einx = cn ; c = (f )

(198)

portanto o operador linear denido na equa ca o (197) pode transformar elementos de espa cos bem diferentes. Usando o n ucleo de Dirichlet podemos transformar este operador integral num operador por convolu ca o. ao de fun co es n ucleo de Dirichlet a sucess Dn (x) = sin nx x (199)

convergem no sentido das distribui co es para a distribui ca o de Dirac e desta formam representa uma unidade aproximada relativamente a opera ca o de convolu ca o, Dn f f (200) em que a convolu ca o e denida como uma integral sobre R. Como a sucess ao e quase limitada uma condi ca o suciente para que esta sucess ao de integrais convirja e que f seja integr avel. A dedu ca o vem da express ao complexa da s erie de Fourier
n

f (x)

cn einx =

n k = n

k = n

1 2

eint f (t)dt einx =


n

(201) (202) (203)

= f (x) f Dn (x); Dn (x) = Dn (x) =


sin(nx) sin(x)

einx

k = n

Dn e uma fun ca o 2 peri odica e a medida que n cresce as oscila co es no intervalo [, ] aumentam por que a acelera ca o n aumenta o n umero de raizes de sin(nx).

82 o nome de uma transforma operador integral E ca o (usualmente entre espa cos de fun ca o) cuja equa ca o se expressa com uma integral T (f )(y ) =

f (x)K (x, y )d(x) = g (y )

(204)

em que e o espa co (medido) em que T est a denido. A fun ca o K se chama, neste contexto, kernel do operador. Um exemplo importante e elementar e dado pelo n ucleo de Dirichlet que e uma forma simples de expressar a transformada de Fourier. ordem Deni c ao 11 (Rela c ao) de ordem Seja A um conjunto. Uma rela c ao bin aria S denida em A e de ordem se 1. for transitiva, S (x, y ), S (y, z ) S (x, z ). 2. Se sim etrica, S (x, y ), S (y, x) ent ao x = y . As rela co es de ordem podem ser: larga quando for re 1. estritas ou largas. E exiva, isto e, S (x, x) e verdadeira para todo x. Nos conjuntos num ericos a ordem menor ou igual e larga e menor do que e estrita. 2. total ou parcial. Se dado um par (x, y ) A2 uma das rela co es S (x, y ), S (y, x) sempre for verdadeira, ent ao (A, <) e totalmente ordenado. No caso contr ario dizemos que e parcialmente ordenado. A gura (21), p agina 83, mostra o conjunto das partes de {1, 3, 3} como exemplo de um conjunto parcialmente ordenado. No conjunto das partes de um conjunto qualquer n ao vazio, a inclus ao e uma ordem larga que n ao e total porque h a subconjuntos que n ao s ao compar aveis usando a inclus ao. A ordem nos conjuntos n umericos satisfaz ` a tricotomia portanto e total. Dizemos ent ao que (A, <) e uma estrutura de ordem, ou simplesmente uma ordem. Exemplos de rela ca o de ordem: 1. A desigualdade habitual dos conjuntos n umericos N, Z, Q, R. O conjunto dos n umeros complexos, C n ao e ordenado, habitualmente. Mas podemos denir em C a ordem alfab etica porque C e um produto cartesiano de conjuntos ordebnados: C = R2 , por em esta ordem n ao e compat vel com a ordem de R como subconjunto de C. 2. Se (A, <) for ordenado, os produtos cartesianos de A t em uma ordem natural que e a alfab etica: (x, y ) << (a, b) sse x < a e y < b

83

Conjunto parcialmente ordenado

1,2

1,3

2,3

1,2,3

Uma cadeia do conjunto P({1,2,3}) marcada com linha mais grossa.


Figura 21:
Conjunto parcialmente ordenado P({1, 3, 3})

3. A rela ca o p divide q nos inteiros positivos e uma ordem larga. Este e um exemplo de ordem que n ao e total, h a pares de n umeros (p, q ) para os quais n ao precisa ser verdade p divide q e nem q divide p. 4. A implica c ao e uma ordem numa classe de senten cas. Ou ltimo exemplo mostra a amplitude do conceito de ordem e vamos aqui nos restringir ` a ordem denida em conjuntos num ericos. Se (A, <) for uma ordem, existem subconjuntos especiais de A relativamente a ordem que s ao as cadeias: Deni c ao 12 (Cad eia) de um conjunto ordenado Considere em (A, <) um subconjunto T A tal que T e totalmente ordenado. Dizemos que T e uma cadeia de A. A gura (21), p agina 83, mostra uma cadeia do conjunto das partes de {1, 2, 3} indicada com uma linha mais grossa. Vejamos uma propriedade que distingue Z como conjunto num erico. Para entend e-la melhor, vamos come car com o conjunto Q onde esta propriedade n ao vale. Considere um intervalo limitado de n umeros racionais, um intervalo e uma cadeia. H a dois tipos, intervalos abertos e intervalos fechados. Os intervalos abertos n ao tem nem m aximo e nem m nimo, ao passo que os intervalos fechados

84 t em m aximo e m nimo. Portanto em Q existem cadeias limitadas que n ao t em m nimo (e nem m aximo). Em Z, toda cadeia limitada inferiormente, tem um m nimo. Toda cadeia limitada superiormente, tem um m aximo. Dizemos ent ao que Z e bem ordenado, e que Q n ao e bem ordenado. R tamb em n ao e bem ordenado, devido aos intervalos abertos. Se considerarmos o conjunto das partes de {1, 2, 3} temos um outro exemplo de conjunto bem ordenado uma vez que {1, 2, 3} e o m nimo de qualquer cadeia. Mas se omtirmos o conjunto vazio e o pr oprio conjunto {1, 2, 3} teremos um conjunto que n ao e bem ordenado. Neste caso aparece um novo conceito: elemento minimal, h a tr es elementos minimais: {2, 3}, {1, 3}, {1, 2} e tr es elementos maximais {2}, {1}, {3} Pit agoras, teorema de Se a, b, c forem, nesta ordem, os dois catetos e a hipotenusa de um tri angulo ret angulo, ent ao a2 + b 2 = c2 (205)

Existe uma demonstra ca o bem simples usando compara ca o de areas que pode ser vista na gura (22), p agina 85, A demonstra ca o habitual usa rela co es m etricas no tri angulo. O matem atico (e advogado) Fermat, que viveu no s eculo 15 deve ter se inspirado no teorema de Pit agora para enunciar o famoso teorema denominado ultimo teorema de Fermat hoje se sugere que seja chamado Fermat-Wiles, associando-o ao nome do matem atico ingl es, Andrew Wiles, que entre 1993 e 1995 batalhou na vers ao nal de uma demonstra ca o que envolve praticamente toda a teoria dos n umeros ou da algebra modular. Embora a demonstra ca o seja muito complicada, o terema tem uma express ao muito simples. A equa ca o (205) pode ser expressa como an + bn = cn ; a, b, c, n Z (206)

e a arma ca o de Fermat foi a de que esta express ao somente tinha solu ca o com os n umeros pitag oricos e apenas no caso em que n = 2. Os n umeros pitag oricos {(3, 4, 5), (6, 8, 10), . . . , (5, 12, 13), . . . }; polin omio de Taylor Ver Taylor. primitiva Se uma fun ca o f for integr avel no sentido de Riemann e poss vel denir uma outra fun ca o associada a f usando a integral como equa ca o
t

f (x)dx = F (t)
a

(207)

que e uma primitiva de f . Podemos provar que F (t) = f (t) e neste caso tamb em e verdade que, se G(t) = F (t) + C , em que C e uma constante, ent ao G (t) = f (t) o que mostra que f tem uma innidade de primitivas e portanto para

85

Figura 22:

teorema de Pit agoras

que esta opera ca o seja inversa da derivada e preciso selecionar uma constante, por exemplo, C = 0. A constante a na express ao da integral, recebe o nome condi ca o inicial e esta relacionada com a constante C . Este e um primeiro exemplo de equa c ao diferencial ordin aria, uma primitiva, F da fun ca o f e uma solu ca o da equa ca o diferencial F = f; (208)

Quando a fun ca o f for multivariada ela pode (ou n ao ter uma primitiva) que ent ao ser a solu ca o de uma equa c ao diferencial parcial. Neste caso entra o conceito de integral dependente, ou independente de um caminho e o Teorema de Green tem uma vers ao trivial que separa estas aguas. e um n umero natural positivo, maior do que 2, que n ao pode ser primo decomposto como um produto de outros n umeros naturais. 7 e um n umero

86 primo, assim como 5,3 e 2. Mas, como 8 = 23 ent ao 8 n ao e um n umero primo. O crivo de Erat ostenes e a lista dos n umeros primos at e um certo ultimo n umero primo, observando que o conjunto dos n umeros primos e innito, eo chamado teorema de Euclides, e um dos teoremas f aceis da Algebra. O teorema fundamental da Algebra arma que todo n umero inteiro maior do que 2 pode ser escrito de maneira u nica como um produto de fatores primos, a menos da ordem como estes fatores apare cam:
1 r n Z; n > 2; n = q1 qr

(209)

quando dizemos que n tem r fatores primos distintos. O teorema seguinte mostra que a densidade dos n umeros primos no conjunto dos n umeros naturais e grande 1 p (210)

pP

diverge, em que P e o conjunto de todos os n umeros primos. Compare o conceito de densidade com a s erie obtida quando P for o conjunto das pot encias de qualquer inteiro, ent ao uma s erie geom etrica, logo, convergente. divertido observar que todos os conjuntos P mencionados t E em a mesma cardinalidade apenas o salto entre os seus elementos aumenta com grande celeridade em todos casos, exceto quando P for o conjunto dos n umeros primos. Isto justica a intensa pesquisa que continua a ser feita para entender a estrutura do conjunto dos n umeros primos. Observe que o produto
p{2,3,5} 1 )= (1 + p

(211) pqr
p,q,r {2,3,5}

=1+
p{2,3,5}

p+
p,q{2,3,5}

pq + pq +
p,q{2,3,5} p,q,r {2,3,5}

(212) (213) (214)

=1+
p{2,3,5}

p+ p+
p{2,3,5}

pqr pq + pqr

=1+

p,q{2,3,5}

pode ser escrito como somas de produtos com termos aumentando sucessivamente o n umero de fatores o que nos permite de chamar um produto innito (que n ao existe, como tamb em n ao existem somas innitas) de s erie. O desenvolvimento nas equa co es (211)- (215) mostra que a s erie 1 (1 + ) p (215)

pP

em que P e o conjunto de todos os n umeros primos, cont em todos os termos da s erie na equa ca o (210) e a conclus ao e a de que se esta divergir, tamb em a s erie na equa ca o (215 diverge. Este e um resultado bem conhecido, ambas divergem!

87 Dois teoremas para fechar o verbete! O primeiro conhecido como teorema dos n umeros primos (x) lim =1 (216) x x/ln(x) A nota ca o, (x), representa todos os n umeros primos menores ou igual ao n umero primo x. O segundo, o teorema de Mertens e 1 (1 ) p ln(x) p<x quando x cresce indenidamente e e a constante de Euler denida por
n

(217)

= lim

k=1

1 ln(n) k

(218)

Os n umeros primos s ao muito importantes na teoria das congru encias que servem para clasicar objetos, criar estruturas aritm eticas nitas. Estes dois conceitos fazem parte da constru ca o dos algoritmos de criptograa. primos entre si Dados dois n umeros naturais, p, q dizemos que ele s ao primos entre si se ele n ao tiverem fatores comuns. Por exemplo 12, 15 n ao s ao primos entre si uma vez que 3 e um fator comum entre 12 e 15. Mas 21 e 25 s ao primos entre si. Um teorema de Dirichlet descreve uma lista de n umeros primos, dados p, q primos entre si. f (n) = pn + q ; n N (219)

produz uma lista innita de n umeros primos. co es diferenproblema A palavra problema tem um uso particular em equa cias, representando a busca de uma solu ca o com certa unicidade, ver problemas, equa c oes diferenciais. Alguns problemas em franca atividade s ao problema de Cauchy, (Cauchy-Kovalevska); Ver Cauchy, problema de. problema de Riemann-Hilbert; problema, mal posto N ao se trata de uma adjetiva ca o negativa, mas a consta ca o da realidade. Quando se tenta modelar problemas da vida real se constata a grande diculdade de formalizar a realidade. Se chama de problema mal posto aqueles que deixam difusa as condi co es em que acontece um certo fen omeno. Como e importante criar modelos o risco de criamos poblemas mal postos e grande mas isto n ao deve ser desencorajador, apenas dever haver uma cr tica na formula ca o (um aviso para o utilizador!). H a v arias t ecnicas, diversos m etodos, com distinto n vel de abstra ca o para corrigir a reda ca o de problemas. Posso citar alguns (uma lista incompleta):

88 ca o (bem 1. o da melhor curva, tting curves Suponha que f seja uma fun posta) e se deseje resolver a equa ca o f (x) = y em que x ou y seja um problema mal posto. Supondo-se que x ou y sejam vetores, quer dizer um conjunto dados coletados com imprecis oes, uma sa da seria recorrer a curva melhor adaptada, uma curva que melhor represente estes dados usando uma dist ancia apropriada nesta decis ao. Um tipo de m etodo comum e o dos m nimos quadrados, neste caso a dist ancia e a dist ancia euclidiana. A gura (23) p agina 88, ilustra aproxima ca o por quadrados m nimos para encontrar uma curva que melhor se adapte a uma massa de dados discretos. Na gura, a curva em azul representa a tting curve, a curva que melhor se adapta, calculada por quadrados m nimos dos dados representados pelos pontos em cor preta. A gura (23) foi obtida usando

Figura 23:

Aproxima ca o por quadrados m nimos

um script para gnuplot. 2. Regulariza ca o de Tikhonov. Embora seja mencionada como um m etodo, na verdade h a uma pluralidade de m etodos sob este nome. Com a mesma nota ca o do item anterior, x, ou y s ao dados obtidos com erros, um dos m etodos de regulariza ca o de Tikhonov envolve uma matriz de Tikhonov que e da forma I , uma matriz escalar em que a constante e calculada usx ando o desvio padr ao, = . Embora esta metodologia pare ca nebulosa, y ela se mostra, na pr atica, efetiva. Ela se basea na Estat stica Bayesiana que tem uma justicativa ing enua, mas fundamentada: se os dados foram colhidos por um experimento s erio, e cont em erros, e poss vel ltrar os erros procurando encontrar a melhor forma de corrigir os dados usando uma das probabilidades que a Natureza aprovou! O c alculo do desvio padr ao envolve um valor m edio que depende da sele ca o de uma probabilidade consequentemente o m etodo consiste em testar distintas probabilidades, e naturalmente, vericar se a regulariza ca o produz bons resultados quando

89 esperimentada com dados reais, se poss vel. 3. Regulariza ca o de Tikhonov em espa cos de fun co es. Procure regulariza c ao. co es diferenciais, quando t em problema, equa co es diferenciais As equa solu co es, tem uma innidade delas. O exemplo mais simples e o c alculo de um primitiva, no C alculo Diferencial e Integral: f = x f (x) = x2 +C 2 (220)

em que C e um n umero real qualquer. Por em se esta quest ao for apresentada como: y = x; x = 0 y = 0; condi ca o inicial (221) (222)

ent ao o valor de C na equa ca o (220) ca determinado, vale zero, e a solu ca o eu nica. Costuma-se chamar de um problema quando uma equa c ao diferencial e posta desta forma com condi co es que particularizam a solu c ao. Observe o nome condi ca o inicial que provavelmente vem do signicado f sico de algumas equa co es diferenciais estudadas no s eculo 15 quando elas representavam em geral problemas de velocidade, como e usada em F sica, velocidade inicial e uma condi ca o inicial de uma equa ca o diferencial. Uma integral denida resume o problema:
x

tdt
a

(223)
2

a) . a condi ca o inicial e x = a quando y = 0 e o resultado do problema e y = (x 2 A equa ca o estudada acima e de primeira ordem, se a ordem for maior ser a preciso um n umero maior de condi co es para obter uma solu c ao u nica, porque uma equa ca o de ordem n pode ser expressa como um sistema de equa co es de primeira ordem, ent ao ser ao necess arias, em princ pio, n condi co es para criar um problema, mas isto e equivalente a ter uma condi c ao vetorial. Se a equa ca o diferencial ordin aria for linear podemos dizer que uma condi ca o inicial (num erica, ou vetorial) e o necess ario para xar uma solu ca o u nica. Se passarmos ` as equa co es diferenciais parciais, como elas s ao postas em uma regi ao do plano ou do espa co, ent ao passamos a falar de condi co es de fronteira: t

+ u = F p + u; ; div (v ) = 0; u(x, y, z ) = f (x, y, z ) se (x, y, z )

+ u = 0; t (a, b); (x, y, z ) R3


u t 2

(224) (225) (226)

esta equa ca o est a denida numa reigi ao do R4 que cont em a regi ao que e tridimensional e os valores de u est ao sendo estipulados na fronteira de na equa ca o (226) pela fun ca o f , observe que f e um dado do problema, e conhecida

90 s ao os valores que a fun ca o desconhecida, u, assumem sobre a fronteira. Temos aqui um problema com valores na fronteira, (PVF) ou a sigla em ingl es (BVP), tamb em se costuma dizer um problema com condi c ao na fronteira. Um experimento simples pode dar lhe uma vis ao concreta do signicado da fronteira na solu ca o de uma equa ca o diferencial parcial, a gura (??), p agina ??, lhe mostra duas regi oes planas onde simulamos um problema com valor na fronteira e que voc e pode repetir usando regi oes distinas, como ret angulares ou mesmo com buracos em seu interior, e ver surgir distintos tipos de superf cies que ser ao produzidas como solu ca o de uma certa equa ca o diferencial. Se houver uma modica ca o na fronteira, a superf cie-solu ca o ser a diferente, como voc e pode ver nos dois exemplos de superf cies obtidas com dois dom nios diferentes. As guras mostram o resultado da experi encia em que usamos a cucar renado para simular um uido. Se lhe parecer que o uso de um meio poroso e inadequado para tratar de uma quest ao de din amica de uidos, fazemos refer encia ` a introdu ca o de um dos cl assicos do assunto, Supersonic Flow and Shock Waves de Courant e Friedrichs, em os autores que usam como um exemplo inicial para ondas de choque o comportamento de uma multid ao que busca a sa da dum pr edio motivada pelo p anico... ent ao podemos usar a cucar renado para entender o que acontece com uma superf cie submetida a uma condi ca o de fronteira. Aqui n ao h a nenhum choque envolvido, apenas mostramos que a fronteira inui no formato da superf cie. Se voc e usar distintos uidos, ter a tamb em superf cies distintas. mas o melhor mesmo e que voc e gere sua pr opria experi encia baseado no m etodo que aqui lhe expomos: distintos dom nios correspondem a distintas superf cies. Seria injusto n ao mencionar que vimos esta experi encia num evento de universidade aberta, Universidade de Upsala, apresentado por Gunnar Aronsson n ao fomos n os que o inventamos. Gunnar usou areia de pr aia em vez de a cucar... co es de informa co es. Uma base ortogonal redundante** Que contem repeti de vetores e um exemplo de sistema n ao redundante. Uma base de um espa co vetorial, por deni ca o, n ao pode ser redundante porque o n umero dos seus elementos e que dene a dimens ao do espa co. A redund ancia e uma fraqueza na teoria mas pode ser um aspecto positivo. Isto foi descoberto com a Teoria da Informa ca o, o acr escimo de uma quantidade maior de elementos no sistema de geradores de uma estrutura acrescenta mais informa c ao a ser utilizada nos processos estast sticos de corre ca o dos dados transmitidos (ou na recupera ca o de dados compactados em processos de encripta ca o. Desta forma se criou um conceito alternativo ao de base que e dicion ario. Um dicion ario e um sistema de geradores que pode ser redundante...em geral e redundante. regulariza c ao 1. regulariza c ao por convolu c ao A convolu ca o e chamada, em um livro de H S Shapiro, m edia viajante o que se justica da seguinte maneira: (a) f f = ; (x) = (t)f (x t)d(t) em que esta integral e calculada sobre um dom nio conveniente, procure convolu c ao para ver um exemplo mais escalarecedor.

91 (b) Na equa ca o acima e uma fun ca o positiva cuja integral e 1, portanto, o valor de f em cada ponto x, (x), e um valor m edio de f nas vizinhan cas deste ponto x. Isto ca mais claro se acrescentarmos uma hip otese, que o suporte de e um conjunto compacto com m edida muito pequena, por exemplo, se a integral f estiver sendo calculada sobre R e o suporte de for o intervalo [, ] com muito pequeno. Uma das consequ encias not aveis da convolu ca o, se f for integr avel, e que basta que o fator seja tamb em integr avel para que f seja cont nua, e muitas vezes quase sempre deriv avel. Se for de classe C n ent ao f ser a n pelo menos de classe C . O polin omio trigonom etrico de ordem n de f ea convolu ca o f com o n ucleo de Dirichlet de ordem n e consequentemente, bastando que f seja integr avel, o polin omio trigonom etrico ser a de classe C .

Mas a raz ao principal a que se refere a regulariza ca o por convolu ca o, e que H S Shapiro a chame de m edia viajante, e que se for positiva e com integral 1, e x = a for um ponto de salto de primeira esp ecie de f , ent ao (f )(a) e o valor m edio integral de f numa vizinhan ca de x = a. 2. regulariza c ao de Tikhonov em espa cos de fun co es

regulariza c ao de Tikhonov em espa cos de fun co es Riesz, representa c ao de Se (E, <>) for um espa co de Hilbert ent ao qualquer que seja o funcional linear cont nuo (elemento do dual) de E e dado pela express ao (f ) =< f, g >; g E . Uma consequ encia disto e que os espa cos de Hilbert s ao reexivos: E = E . Consequentemente, tamb em E = E . Esta propriedade torna os espa cos de Hilbert muito atraentes, um exemplo simples mostra que h a uma dist ancia consider avel j a com os espa cos de Banach. Com os espa coes de sucess ao temos 1 1 l p = l q ; p +q = 1. O unico espa co reexivo e l2 ca o de vari avel real, que seja descont nua salto Se diz, no caso de uma fun no ponto x = a, a diferen ca entre os limites laterais f (a+ ) f (a ). salto de primeira esp ecie em oposi ca o ` a salto de segunda esp ecie. Num salto de primeira esp ecie existem os limites laterais f (a+ ), f (a ) e portanto se pode calcular o salto como f (a+ ) f (a ). Quando n ao houver um dos limites laterais f (a+ ), f (a ) tem-se um salto de segunda esp ecie. s erie s erie, a deni ca o s erie de Fourier s erie trigonom etrica e a s erie de Fourier. s erie trigonom etrica absolutamente convergente, o conjunto de tais s eries forma um espa co de Banach.

92 Uma s erie e um tipo de sucess ao, Sn cujo termo geral se expressa com uma soma:
n

Sn =
k=0

ak ;

(227) (228)

S = lim Sn =
n k=0

ak ;

A express ao de uma soma com um n umero innito de termos, na equa ca o (228), e apenas um s mbolo, o s mbolo do limite desta sucess ao, que e muito pr atico porque simula uma soma o que nos permite descrever propriedades, teoremas, sobre uma determinada s erie de forma bem compacta. Por exemplo se
n n

Sn =
k=0

ak ; T n =
k=0

bk ; bk ;

(229) (230) (231)

S=
k=0

ak ; T =
k=0

S +T =
k=0

ak + b k ;

A express ao na (230) apenas se refere ` a propriedade, a soma dos limites eo um exemplo limite da soma se as duas s eries envolvidas forem convergentes. E de como a nota ca o, apesar de envolver uma express ao artim etica imposs vel, se salvou dentro do crivo de perfei ca o matem atica do s eculo 20, como muitas outras nota co es igualmente cr ticas (por em magn cas) como esta. O ndice inicial da soma, nem sempre pode ser o zero, ou algum dos primeiros n umeros naturais, e isto cria uma problema para a descri ca o geral de uma s erie, mas nas s eries, assim como nas sucess oes, nos interessa e o comportamento assint otico das mesmas e n ao valores particulares de termos, entendendo assim, salvamos a descri ca o geral acima.

Algumas se usa dizer que


k=0

ak e a s erie de termo geral ak .

Uma s erie, como


k=0

ak , pode ser vista como uma integral e a teoria da

integra ca o se aplica ao estudo das s eries. s erie de Fourier H a duas formas das s eries de Fourier, a complexa e a real. Com a s erie de Fourier real podem ser aproximadas ondas de per odo arbitr ario, pelas ondas b asicas sin, cos desde que devidamente transformadas por altera ca o dos seus par ametros para corrigir o per odo. Como esta corre ca o do per odo e uma opera ca o elementar, vou me xar aqui no caso gen erico em que se usam as ondas b asicas convencionais sin, cos. Esta forma de escrever simplica a exposi ca o mas esconde algumas propriedades, entretanto o interessado por recuperar a informa ca o dentro de um texto espec co sobre o assunto. Neste caso
n

Sn (x) = a0 +
k=1

ak cos(kx) + bk sin(kx)

(232)

93 e a a reduzida de ordem n da s erie de Fourier que produz uma fun ca o (diferenci avel) e peri odico com per odo 2 . O espa co gerado por fun co es considerada uma norma oriunda do produto escalar

< f, g >=

f (x)g (x)dx

(233)

e um espa co de Hilbert que cont em elementos que n ao s ao fun co es diferenci aveis (de forma muito semelhante com o que acontece com os n umeros irracionais relativamente ao conjunto Q com que se obt em a completitude que e R. Este espa co completo e denominado L2 ([, ]). Os coecientes do polin omio trigonom etrico, equa ca o (232), s ao as proje co es de uma onda f na dire ca o das ondas b asicas como a Algebra Linear explica. O coeciente a0 tem a apar encia de um caso particular, mas uma an alise mais cuidadosa do mesmo mostra que ele resolve o caso das ondas n ao cont nuas, onde surjam alguma perturba ca o, ele memoriza o valor m edio nas perturba co es, e como equa ca o (232) dene uma fun ca o de classe C se produz assim uma regulariza ca o da perturba ca o com este coeciente. Algus autores evitam esta 0 discuss ao denindo a equa ca o (232), usando a 2 . Esta descri ca o ultrapassa muito a vis ao que Fourier tinha em 1822 quando apresentou a sua monograa Th eorie analytique de la chaleur ` a Academia Francesa de Ci encias que foi recebida com reservas... as consequ encias deste trabalho de Fourier foram muito profundas em Matem atica criando ou alterando signicativamente diversos setores n ao menos com o debate que se seguiu ` a publica ca o do seu trabalho. Fourier entendeu e incorporou em um trabalho, tudo que j a vinha sendo escrito e usado por matem aticos como Euler e alguns dos Bernouilli que usaram somas de senos e cosenos para encontrar solu co es de equa co es diferenciais. Seria injusto n ao computar como consequ encia das s eries de Fourier a inven ca o da d ecada de 80 das wavelets que, de uma certa forma, generalizaram a conceitua ca o das s eries de Fourier liberalizando-a de uma onda particular al em de considerar duas opera co es chamadas transla c oes e dila c oes para descobrir a presen ca de modica co es de uma certa onda m ae dentro de um sinal que eo que fazem as s eries de Fourier relativamente ` a onda m ae seno, porque coseno e apenas uma transla ca o do seno. som avel absolutamente som avel converg encia e comutatividade spline Um spline e uma fun ca o denida por peda cos que tem uma regularidade condicionada ao seu grau. Dizemos n-spline quando os peda cos s ao polin omios de grau menor ou igual a n e a classe de continuidade e n 1. Como exemplo, a gura (??), p agina ??, e um um-spline, e uma fun ca o cont nua,

94 de classe C 0 , cujos peda cos s ao do primeiro grau (de grau menor ou igual a 1). Como outro exemplo a gura (26), p agina 94, mostra um 29-spline junto com suas derivadas primeira e segunda que ent ao ser ao, respectivamente, um 28-spline e um 27-spline. Aqui os exemplos s ao de splines univariados e da mesma forma os podemos ter bivariados ou multivariados. Na linguagem da teoria de aproxima ca o a que basicamente pertencem os splines, eles s ao peda cos de polin omios soldados nos pon- Figura 26: 29-spline e suas derivadas, primeira e seguda tos extremos de cada um dos segmentos, estes extremos s ao chamados de n os, e algumas vezes tamb em se chama de n os as proje co es destes pontos no dom nio do spline. Como a condi ca o de diferenciabilidade e crucial nos n os, de uma certa forma podemos ver os splines como uma generaliza ca o dos polin omios de Taylor e muito provavelmente eles surgiram inspirados na f ormula de Taylor. A constru c ao de splines a partir desta deni ca o e penosa e existe uma processo de obt e-los por convolu ca o, mas de qualquer forma eles s ao uma ferramenta matem atica para ser utilizada em programas de computador. A gura (27), p agina 94, mostra uma fun ca o e sua aproxima ca o com um 5-spline no intervalo [10, 10] em que foram usado 5 n os, portanto uma p essima aproxima ca o para que voc e possa observar que existe uma aproxima ca o...um erro! Se fosse usada uma precis ao maior, 20 n os, (n os distanciados de um inteiro), n ao seria poss vel ver, no gr aco, diferen ca entre o modelo e a Figura 27: Uma fun c~ ao e sua aproxima c~ ao realidade. Se fala de splines n ao poli- 5-spline nonais em que os segmentos n ao precisariam ser alg ebricos, poderiam ser trigonom etricos, por exemplo. Aplica co es de splines se encontram hoje em desenho assistido por computador, modelagem em cima de dados discretos, solu c oes aproximadas de equa c oes diferenciais, como ferramenta auxiliar na constru c ao de wavelets. Quando se passa ao caso multivariado h a uma conex ao com elementos nitos que e um caso particular de spline: 1-spline. Como para os elementos nitos se desenvolveu uma ferramenta chamada triangula c ao que consiste em particionar o dom nio com tri angulos, na literatura se fala de spline multivariado como fun co es polin omiais por peda cos denidas sobre dom nios poligonais.
30-th convolution power 0.4 0.3 -0.5 "dadosf" "dadosd1f" "dadosd2f" 0.4 0.2 0.1 0 -0.1 -0.2 -0.3 -0.4 -0.5 0 5 10 15 20 25 30

<function atom at 0xf737d064>

10

0.000000 "dados" -5.066667 8.808333

-2

-4

-6

-2

-1

95 co es f, g se dizem tangentes no ponto (a, b) sse tangente Duas fun 1. f (a) = g (a), ou seja (a, b) graf (f ) graf (g ); 2. Existe uma fun ca o linear K do espa co vetorial onde f, g estiverem denidas, tal que f (x) g (x) = o(K (x a) em que o e o pequeno de Landau, a ordem de grandeza de f (x) g (x) e menor do que a ordem de grandeza de K (x a) numa vizinhan ca de x = a (o limite do quociente pelo m odulo de x a existe. Por exemplo, se f for deriv avel, ent ao em cada ponto do seu dom nio existe uma fun ca o linear tangente ao gr aco de f . A rela ca o de tang encia num ponto e uma rela ca o de equival encia e a classe de f , se existir, e chamada de germe de f . Taylor, polin omio O polin omio de Taylor de uma fun ca o univariada e que tenha derivadas at e a ordem n, conhecidas, num ponto x = a e a express ao polin omial P (x) = a0 + a1 (x a) + a2 (x a)2 + . . . an (x a)n com ak =
f (k) (a) . k!

(234)

Os coecientes s ao determinados pelo conjunto de equa co es f (a) P (a) = P (a) = f (a) (k ) P (a) = f (k) (a) a0 = f (a); a1 = f (a);

ak =

f (k) (a) ; k!

(235)

Como 0! = 1! e 2! = 2 ent ao esta f ormula pode ser escrita de forma concisa como n f (k) (a) P (x) = (236) k!
k=0

Dois exemplos importantes da f ormula de Taylor, chamadas de McLaurin e quando aplicamos a F ormula de Taylor ao seno ou ao coseno. N os conhecemos as derivadas de qualquer ordem destas fun co es em alguns pontos, na origem por exemplo. As derivadas do seno na origem s ao 0, 1, 0, 1, . . . , 0, 1, 0, 1, . . . , dsen(n)(n%4 == 0)?0 : (n%4 == 1)?1 : (n%4 == 2)?0 : 1; (237) (238)

em que foi usado if-else-compacto, com a sintaxe da linguagem C, e o s mbolo %, em C, e a fun ca o congru encia m odulo-um resto dos inteiros. Na equa ca o (238), voc e tem uma fun ca o inteira de per odo 4, ent ao o polin omio de Taylor (ou de McLaurin) do seno e
n

P (x) =
k=0

dsen(k )

f (k) (a) k!

(239)

96 Usando a linguagem calc, usualmente distribuida com os sistemas Debian/Gnu/Linux, voc e pode implementar este algoritmo para obter o seno com alta precis ao, porque calc e de precis ao innita (inteira) como tamb em o s ao Python e em geral os dialetos da linguagem LISP, embora n ao seja necess ario usar polin omios de grau muito alto denindo m odulo , por exemplo, com um polin omio de grau 17. Na gura (28) p agina 96, voc e pode ver o gr aco da fun ca o seno, denida

Figura 28:

Polin omio de Taylor de grau 17 do seno na origem

algoritmicamente dentro do gnuplot e de um polin omio de Taylor de grau 17, do seno, no intervalo [6, 6]. e na gura (29) p agina 97, tamb em usando a express ao algoritmica do coseno de gnuplot e do polin omio de Taylor de grau 17, coseno, no intervalo [6, 6]. a generaliza ca o, na teoria dos operadores, do sistema teorema espectral E de valores pr oprios e vetores pr oprios da Algebra Linear no sentido de que um operador, T denido num espa co medido de fun co es, tem uma representa ca o sob forma de integral num certo dom nio pode ser reparametrizado (mudan ca de vari avel) para ser representado como uma integral sob um dom nio spec(T ) de tal modo que T (f ) =
spec(T )

xd(x)

(240)

a integral da fun ca o identidade deste espa co de fun co es. Isto e a forma como se consegue colocar uma matriz diagonolizada usando os seus vetores pr oprios como base para o espa co vetorial. No caso das matrizes aparecem os valores

97

Figura 29:

Polin omio de Taylor de grau 17 do coseno na origem

pr oprios como multiplicadores do vetores pr oprios que representam a escala do operador na dire ca o de cada um dos vetores pr oprios, aqui, e a medida do espa co que faz este papel distribuindo a massa no espa co. Desta forma a medida e denida no espa co por T . A transformada de Fourier e um exemplo de aplica ca o do teorema espectral e portanto uma vers ao da transformada de Gelfand. O operador linear denido na equa ca o (240) se chama operador integral . e um programa feito por Donald Knuth, incialmente para que ele TEX pudesse produzir o seu livro (inacabado) The art of computer programming mas que terminou se tornando um objetivo em si pr oprio ` as custas do livro. . . O programa na verdade e uma linguagem rudimentar de programa ca o que objetiva colocar texto em forma art stica (no sentido que as Editoras entendem) em papel. Como Knuth, que assim e um dos pioneiros do c odigo aberto deixou o seu programa em dom nio p ublico, uma grande cole ca o de outros programas e linguagens de programa ca o de n vel mais alto foram produzidas em cima do A TEX, como, por exemplo L TEX que e poss velmente a forma mais comum de A usar TEX. Este dicion ario est a sendo redigido com L TEX . e uma das grandes divis oes da Matem atica. Topologia A Topologia consiste na busca das estruturas que permitam a deni ca o de fun co es cont nuas, neste caminho se procurou limpar o caminho na busca de uma melhor compreens ao do que seria uma fun c ao cont nua se chegando a rela ca o entre abertos e a imagem inversa de fun co es destes abertos como forma de estabelecer o que e uma fun ca o cont nua. A continuidade e ent ao um conceito relativo ` a estrutura topol ogica que estiver denida entre dois espa cos,

98 se o espa co de sa da for sucientemente rico de abertos ent ao as fun co es nele denida tem mais chance de serem cont nuas, e rec procamente, quanto mais pobre em abertos for o espa co de chegada, maior chance t em as fun co es, que nele tomem valor, de serem cont nuas. Entretanto existem topologias usuais que de uma certa forma j a foram aprovadas por uma certa pr atica, ao reduzir a quantidade de abertos se enfraquece a topologia (porque se diminue as chances de que uma fun ca o, denida nesta topologia, seja cont nua). Este processo de an alise do enfraquecimento de topologias conduz a descoberta de propriedades interessantes de algumas fun co es ou classes de fun co es, e esta a pesquisa central na Topologia. Desta forma a Topologia e vista como uma pesquisa de estruturas, as estruturas topol ogicas dos espa cos. H a um outra forma de ver a Topologia como o estudo das propriedades locais de um espa co, independente (de certa forma) de fun co es denidas nele, mas na verdade analisando as fun co es denidas dele, nele mesmo, Em particular a identidade ou a inclus ao em espa cos de dimens ao maior. Isto conduz a descoberta de objetos com formatos muito interessante e a chamada conjectura de Poincar e cai neste caso. Um exemplo entre os mais simples e a ta de Moebius que eo s mbolo do IMPA. Transformada de Fourier Traz o nome de Joseph Fourier que entre 1807 e 1822 escreveu alguns trabalhos publicados nos anais da Academia Francesa de Ci encias sobre a propaga ca o do calor usando somas de senos e cosenos acelerados e amplicados para aproximar as ondas t ermicas conseguindo assim descrever com grande precis ao a propaga ca o do calor. Estas somas de senos e cosenos acelerados e amplicados, hoje chamadas de s eries de Fourier [12], j a vinham sendo utilizadas por Euler e alguns dos irm aos Bernouilli na solu ca o de equa co es diferenciais. As transformadas de Fourier (as s eries ou a integral) redescrevem uma onda em termos das ondas mais simples, sin, cos que s ao assim os vetores pr oprios de um sub-espa co (medido) de fun co es sendo os coecientes desta transforma ca o os valores pr oprios que caracteriazam uma determinada equa ca o diferencial que esteja sendo estudada. e a parte elementar da Matem atica em que se relacionam os trigonometria angulos num tri angulo ret angulo com seus catetos e a hipotenusa, a gura (30) p agina 99, mostra o c rculo trigonom etrico, o angulo e as duas fun co es fundamentais, sin(), cos() que podem ser calculadas geometricamente se o c rculo for desenhado em papel milimetrado, por contagem das subunidades. Como sin(), cos() s ao as coordenadas de um ponto no c rculo unit ario determinado pela origem (1, 0) do c rculo trigonom etrico, e a hipotenusa tra cada da origem dos eixos (0, 0), o teorema de Pit agoras nos fornece a rela ca o fundamental da trigonometria sin2 () + cos2 () = 1 (241) a f ormula de De Moivre-Euler-Abel, ei = cos() + i sin() (242)

permite-nos descobrir rapidamente v arias outras f ormulas fundamentais da trigonome-

99

sen( )

(0,0) (1,0) 1

cos( )

Figura 30: tria ei ei = (cos() + i sin())(cos( ) + i sin( )) ei ei = ei(+ ) = cos( + ) + i sin( + ) = cos() cos( ) sin() sin( ) + i (cos() sin( ) + sin() cos( )) cos( + ) = cos() cos( ) sin() sin( ) sin( + ) = cos() sin( ) + sin() cos( ) (243) (244) (245) (246) (247) (248)

A passagem da equa ca o (246) para as equa co es (247) e (248), as chamadas equa co es do coseno do angulo soma e seno do a ngulo soma , e feita observando as partes real e imagin aria na equa ca o (246) comparada com a equa ca o (245). O nome de De Moivre est a associado ` as pot encias de ei que nos permitem descobrir diversas variantes de express oes trigonom etricas associando as pot encias de cos() + i sin() com sua express ao expandida usando o bin omio de Newton. trigonom etrica, s erie Procure s eries. Uma s erie trigonom etrica e um dos formatos em que as transformadas de Fourier podem se apresentar e a chamada transforma c ao disc-

100 reta de Fourier. trigonom etricas, s eries absolutamente convergentes Se uma s erie trigonom etica for absolutamente convergente, ela dene uma fun ca o (se n ao for absolutamente convergente tamb em dene, mas pode n ao ser cont nua e se enrique a teoria com novos aspectos). Vamos usar a nota ca o complexa porque ela nos permite um texto mais resumido. f (x) = c0 +
k Z

ck eikx

(249)

podemos mostrar que a equa ca o f


1

= |c 0 | +

k Z

|c k |

(250)

e uma norma e portanto o conjunto das s eries trigonom etricas absolutamente convergentes e um espa co vetorial normado.. Se esquecermos as fun co es eikx na express ao podemos identicar, na express ao de uma s erie trigonom etrica absolutamente convergente, a s erie de termo geral ak , a s erie dos termos em m odulo sendo convergente o que nos permite associa ca o com um outro tipo de espa co vetorial, o das sucess oes associadas ` a s eries absolutamente convergentes que e o espa co vetorial normado l 1 e os dois espa co vetoriais normados em quest ao ser ao isomorfos, este e o conte udo do Lema de Wiener. Um s eculo se passou antes que este detalhe fosse descoberto. A import ancia deste detalhe aparece num fato simples: e f acil provarmos que no espa co l 1 das sucess oes, existe mais uma opera cao: o produto de convolu ca o das sucess oes que neste caso e uma opera ca o interna, o produto de duas sucess oes cujas s eries sejam absolutamente convergentes, e outra sucess ao com uma s erie absolutamente convergente. Com o isomorsmo mencionado acima podemos retornar ao espa co das s eries trigonom etricas absolutamente convergentes e obter de forma relativamente simples que elas formam uma algebra de Banach. O isomorsmo mencionado associa o produto de convolu ca o do espa co l 1 com o produto ponto a ponto das fun co es que as s eries trigonom etricas denem. Por em com um problema extra a unidade no algebra de Banach das s eries trigonom etrica e a fun ca o constante que n ao tem s erie de Fourier. Em l 1 e a sucess ao 0 . Os morsmos s ao uma forma de descobrir problemas! Quer dizer os espa cos de Banach s ao isomorfos mas n ao o s ao as algebras de Banach, e n ao o deveriam? interessante como este problema, da falta de unidade na E algebra de Banach da s eries trigonom etricas absolutamente convergentes, a algebra de Wiener, est a associada com outras quest oes. Em teoria da informa ca o e comunica co es este problema e conhecido como a dualidade entre a limita ca o no espa co da frequ encia vis a vis espa co do tempo, ou, se uma das transformadas tiver suporte limitado a outra o ter a n ao limitado. A resposta para exist encia da unidade seria uma imagem com suporte reduzido a um ponto, a distribui ca o de Dirac. Este e apenas um resumo, entretanto.

101 es, Universal Modeling Language, uma das tentativas de UML** Do ingl se criar uma linguagem universal de processamento - independente de linguagens espec cas de programa ca o. Uma outra tentativa se chama Interlanguage Unication. variedade A palavra variedade foi inventada para nos liberar da pris ao tridimensional em que nos encontramos tanto por raz oes f sico-energ eticas, como culturais uma vez que a nossa cultura geom etrica, de origem diga grega, nos xou o vocabul ario dentro da dimens ao tr es. Os objetos da geometria se chamam variedades. Diremos uma variedade de dimens ao 1, para fazermos refer encia aso segmentos de reta, ` as retas, ` as curvas. Todos estes objetos s ao variedades de dimens ao 1. Quando nos referirmos aos objetos de dimens ao 2, diremos variedades de dimens ao dois H a uma grande subclassica ca o das variedades - duas grandes classes: As variedades lineares, segmentos de reta, retas, planos , as variedade lineares de dimens ao 3, 4 para as quais n ao temos mais nomes geom etricos. As variedades n ao lineares, um c rculo, uma par abola, s ao dois exemplos de variedades n ao lineares de dimens ao 1. Uma superf cie de tipo parabol oide, as parab olicas podem ser pensadas como sendo tal, s ao variedades n ao lineares de dimens ao 2. Um ponto voc e pode classicar como quiser, uma variedade linear de dimens ao 0, ou uma variedade n ao linear de dimens ao 0. Herdamos nomes particulares para alguns tipos de variedades de dimens ao 1, c rculos, retas, par abolas, ou simplesmente a palavra curva, variedades de dimens ao 1. Tamb em temos nomes para algumas variedades de dimens ao dois, plano, superf cie esf erica. A palavra superf cie quer dizer uma variedade de dimens ao 2. O espa co todo em que estamos imersos e uma variedade linear de dimens ao 3. O espa co-tempo da F sica e uma variedade de dimens ao 4. Linear? depende, se o tempo tiver uma condi ca o inicial, n ao! porque neste caso seria um poliedro... poliedros, embora tenham fronteiras feitas de subconjuntos de variedades lineares, n ao s ao mais variedades lineares. Observe que uma reta qualquer e uma variedade linear am, isto quer dizer, por exemplo, que a origem pode n ao pertencer a reta. Se a origem pertencer ` a reta, ela e uma variedade linear. Se a origem n ao pertencer ` a reta ela e uma variedade linear am de dimens ao 1.

102 As variedades lineares ans de dimens ao 2 s ao os planos que n ao passarem pela origem. vizinhan ca e um aberto de um espa co topol ogico contendo um ponto x, se diz ent ao uma vizinhan ca de x, vx . O conceito vizinhan ca pode ser usado como conceito primitivo para denir topologia, assim como topologia pode ser o conceito primitivo para denir vizinhan ca. Funcionam as duas formas de pensar. Topologia ou vizinhan ca servem para denir converg encia, entretanto este e um conceito mais fraco do que topologia no sentido de que nem todas as propriedades de um espa co topol ogico podem ser obtidos a partir do conceito de converg encia. Um exemplo interessante e o conjunto dos n umeros reais em que a converg encia usual dene a sua topologia usual, e consequentemente uma fun ca o ser a cont nua, se e somente se, for sequencialmente cont nua. Quase todos os teoremas sobre limite e deriva ca o do C alculo cam bastante simplicados se for usada continuidade sequencial em lugar da continuidade tradicional que e usada. H a autores que admitem vizinhan cas que n ao sejam abertas, aqui vou considerar apenas abertos como vizinhan cas. Uma bola aberta, centrada num ponto x em um espa co m etrico e uma vizinhan ca de x neste espa co m etrico. Se usa a nota ca o B (x, ), bola de centro x e raio . Uma forma de denir topologia parte do conceito de dist ancia e das bolas abertas denidas com uma dist ancia a serem usadas como vizinhan cas b asicas da topologia. M etrica e um sin onimo de dist ancia. Quando pudermos denir uma dist ancia d em um conjunto X , diremos que se trata de um espa co m etrico (X, d) Deni c ao 13 (dist ancia) Dist ancia ou m etrica Uma dist ancia e uma fun c ao postiva, d, denida para todos os pares (x, y ) de elementos de um conjunto X satisfazendo as propriedades 1. positiva d(x, y ) 0 e d(x, y ) = 0 se e somente se x = y ; 2. reexividade d(x, y ) = d(y, x); 3. desigualdade triangular d(x, y ) + d(y, z ) d(x, z ); Os espa cos m etricos s ao casos particulares de espa cos topol ogicos. Um tipo particular de espa co m etrico e o espa co das fun co es cont nuas com a m etrica do supremo (converg encia uniforme) e na gura (31) p agina 103, voc e pode ver um exemplo de vizinhan ca tubular, uma bola da m etrica do supremo no espa co C ([a, b]) centrada em uma fun ca o cont nua, o gr aco de f e o centro da faixa (vizinhan ca tubular). A topologia construida com esta m etrica e chamada de topologia da converg encia uniforme. Outro exemplo de dist ancia entre duas fun co es, no espa co f, g C ([a, b]) pode ser denida como o m odulo da diferen ca entre os valores destas fun co es em um dado ponto do espa co: |f (x) g (x)|, neste caso uma vizinhan ca de f , pode ser vista na gura (32) p agina 104, e o conjunto de todas as fun co es cujos

103

Figura 31:

Vizinhan ca tubular em C ([a, b])

gr acos cortem o segmento vertical de medida 2 contendo o ponto (c, f (c)). Todos os gr acos, na gura (32) se encontram a uma dist ancia menor do que de f . O sistema destas vizinhan cas dene a converg encia ponto a ponto em C ([a, b]). A topologia construida com esta m etrica e chamada de topologia da converg encia pontual. Uma outra forma de medir a dist ancia entre fun co es e sugerida pela quantidade do fen omeno contido na fun ca o, por exemplo, a F sica fala de quantidade de movimento e calcula a integral da velocidade sobre um intervalo considerado. Podemos assim denir Deni c ao 14 (dist ancia) entre fun c oes Dadas duas fun c oes integr aveis, f, g denidas no intervalo [a, b] podemos

104

g h

c f

Figura 32: denir

Dist ancia pontual, da converg encia pontual

d(f, g ) =
a

|f (x) g (x)|dx = ||f g ||1

O n umero 1que aparece no s mbolo ||f g ||1 est a registrando que foi usado um caso particular de dist ancia entre fun co es e um caso mais geral seria Deni c ao 15 (dist ancia) entre fun c oes Dadas duas fun c oes integr aveis, f, g denidas no intervalo [a, b] podemos denir
b

d(f, g ) = com > p 1.

|f (x) g (x)|p dx = ||f g ||p

Se p < 1 se perde a desigualdade triangular e dizemos que se trata de uma pseudo-m etrica. As pseuso-m etricas tem tamb em as suas utilidades. Enquanto que as bolas, quando p 1 ser ao conjuntos convexos (onde vale a desigualdade triangular), as bolas das pseudo-m etricas deixar ao de ser convexas e e porisso que falha a desigualdade triangular. Como no caso das dist ancias entre pontos do Rn , podemos denir a dist ancia ou a norma do supremo

105 Deni c ao 16 (dist ancia do supremo) entre fun c oes Dadas duas fun c oes limitadas, f, g denidas no intervalo [a, b] podemos denir d (f, g ) = sup |f (x) g (x)| = ||f g ||
x[a,b]

com p = . A norma do sup e usada para denir vizinhan cas tubulares, converg encia uniforme e a continuidade uniforme. Voc e encontra este conceito sendo usado em n vel muito elementar, em Estat stica, no desvio padr ao que e uma aplica ca o dist ancia-2 a uma massa de dados discreta. Voc e pode se perguntar pela raz ao da variedade t ao grande de topologias, e consequentemente, de tipos de converg encia. Uma forma simples de justicar que e necess aria esta variedade, vem com o seguinte exemplo. Suponha que desejemos medir a dist ancia entre duas fun co es f, g , diferenci aveis, f, g C n ([a, b]), tais fun co es n ao guardam a apenas informa ca o do valor num determinado ponto c (a, b), mas tamb em das taxas de varia ca o instant aneas em c at e a ordem n, as sucessivas derivadas, f (c), f (c), . . . , f (n) (c); g (c), g (c), . . . , g (n) (c); e, para medir a dist ancia entre f, g teremos que tamb em incluir as dist ancias entre suas derivadas o que nos leva a denir, por exemplo,
n b
p

dp (f, g ) =
k=0

|f (n) (x) g (n) (x)|p ;


a

(251)

Agora foi feita uma medi ca o mais na das dist ancias entre f, g , usando a norma p espalhada por toddas as derivadas poss veis das fun co es f, g . Com supremo podemos denir d (f, g ) = ||f g || se as derivadas de todas as ordens forem limitadas. Os espa cos denidos usando estas m etricas ou normas, levando em conta as derivadas, s ao chamados de espa cos de Hardy com variantes chamados de espa cos de Besov. Estes espa cos aparecem na busca de solu co es de equa co es diferenciais parciais. Os exemplos de dist ancia entre duas fun co es diferenci aveis, mostra que temos necessidade de distintos tipos de topologias, ou m etricas para formalizar distintas situa co es, a dist ancia entre solu co es de equa co es diferenciais tem que ser medida usando uma norma-p ou uma pseudo-dist ancia-p. Wiener, algebra de O espa co das fun co es denidas por uma s erie trigonom etrica absolutamente convergente e fechado para somas e produtos ponto a ponto e para o produto por um escalar (complexo ou real, s ao dois casos). Pensando no caso complexo, a nota ca o e W (T) em que T e o grupo dos n umeros complexos de m odulo

106 1, porque as fun co es assim denidas podem ser restringidas ao c rculo unit ario. W (T) e um espa co de Banach isomorfo a l 1 . O produto ponto a ponto de W (T) corresponde ao produto de convolu ca o em l 1 o que mostra um defeito na algebra de Banach de Wiener que n ao tem uma unidade, a fun ca o identidade, que seria esta unidade, pode ser aproximada arbitrariamente por s eries trigonom etricas absolutamente convergentes, sendo portanto um ponto de acumula ca o com uma topologia convenientemente denida. Os dois espa cos de Banach, W (T), l 1 s ao isomorfos e podemos trazer para W (T) um resultado que e f acil de ser demonstrado em l 1 e agora expresso com a nota ca o da algebra de Wiener: fg f g este produto ponto se transforma em l 1 num produto por convolu ca o de sucess oes valendo a mesma desigualdade com a correspondente express ao. Esta desigualdade e chama de desigualdade de Wiener.

Indice Remissivo
0 , 62 1 , 62 GLn (K ), 56 GLn (R), 56, 57 algebra linear, 93, 96 angulo soma coseno, 99 seno, 99 l1 , 100 A L TEX, 2 l 1 , 100, 106 Mn (K ), 56 modn, 12 N, 79 , 27 , 27 , 40 , 4, 72 (x), 87 - algebra, 75 Sim(n), 55, 56 W (T), 106 Abel,Lema de, 3 aberta aplica ca o, 26 absolutamente convergente, 3 absolutamente som avel, 3 Alg ebrica Computa ca o, 23 algor tmica diferencia ca o, 25 algoritmo, 3 anal tica, 26 fun ca o, 63 anal ticas fun co es, 25 anel, 63 anel quociente, 63 aproximada unidade, 18 aproxima ca o, 3 aritm etica computa ca o, 12 articial intelig encia, 25, 68 assint otico comportamento, 92 atlas, 4, 71 c rculo, 4 mapa, 4 mundi, 4 axioma da escolha, 43 axioma da escolha, 7 Banach algebra, 100 espa co, 91 espa co de, 4, 91 baricentro, 73 bem ordenado, 84 Bernouilli, 93, 98 bin arios, 12 binomial coeciente, 5 bola convexa, 104 n ao convexa, 104 Bounjakowsky Cauchy-Schwarz-, 59, 62 Bourbaki, N, 5, 33 107

108 braquistocrona, 51 BVP PVF, 90 BVP, PVF, 34 cadeia, 83 cad eia regra da, 25 calor, difus ao, 33 caminho integral depende do, 52 integral independente do, 52 campo escalar, 6 vetorial, 6 campos conservativos, 52 n ao conservativos, 52 Cantor hip otese de, 12, 62 cardinalidade, 6, 12 do cont nuo, 12 salto, 62 saltos, 12 Cartan, 8 categoria, 7, 15, 77, 80 computa ca o, 8 Teoria das, 8 Cauchy Schwarz-Bounjakowsky, 59, 62 sucess ao de, 16 teste de, 16 Cauchy, Augustin-Louis, 33 Cauchy-Kovalesvkaya, 9 Cauchy-Riemann, 3, 62 equa co es de, 9, 26, 27 centro de massa, 73 ciclo, 10 c alculo, 6 c rculo, 21 c rculo trigonom etrico, 98 c odigo aberto, 97 classes quociente, 42, 63 coeciente angular, 23 coeciente binomial, 10 Cohen, Paul, 62

INDICE REMISSIVO compacto, 71 localmente, 43 complexidade, 11 comprimento, de curva, 50 comprimento de onda, 10 computador assistido, 94 Computa ca o Alg ebrica, 23 comutatividade s eries, 3 condi ca o inicial, 37, 39, 85 problema, 8 condi co es de contorno, 40 congru encia, 12, 42, 87 conjectura, 12, 62 sucess oes suporte nito, 20 conjunto convexo, 73 conjunto mesur avel, 75 conjuntos, teoria, 11 conservativo campo vetorial, 39, 40 constante de Euler, 87 cont nuo hyp otese, 12, 62 continuidade, 13, 14 fun ca o real, 13 sequencial, 13 converg encia, 15 absoluta, 3 comutatividade, 3 ponto a ponto, 103 sucess ao, 13 uniforme, 102 convexo, 73 fecho, 73 convolu ca o, 81 discreta, 18, 21 produto de, 100 produto por, 106 regulariza ca o por, 17, 90 convolu ca o, produto de, 16, 32 corpo dos complexos, 25

INDICE REMISSIVO dos n umeros complexos, 63 coseno, 95 criptograa, 87 curva, 21 de Jordan, 22 de Peano, 21 melhor adaptada, 88 curva, comprimento, 50 curva retic avel, 49 Darwin, C., 14 Debian/GNU/Linux, 2 De Moivre, 99 derivada, 23, 37 complexa, 25 da fun ca o composta, 25 do produto, 23 do quociente, 25 fun co es polinomiais, 24 integral, 85 primitiva, 85 derivada parcial, 27 derivadas parciais, 6 deriva ca o regras de, 23 desigualdade artim etico-geom etrica, 66 de H older, 62, 79 triangular, 104 desigualdade de Hardy, 28 desigualdade de Wiener, 106 desvio padr ao, 105 dicion ario, 90 difeomorsmo, 4 diferenciabilidade, 29 diferencia ca o algor tmica, 25 diferenciais equa co es, exemplos, 40 diferenciais, equa co es, 98 diferencial geometria, 4, 29 topologia, 29 diferencial, equa ca o, 35 diferenci avel, 29 dila co es, 93 dimens ao, 101 innita, 32 din amicos sistemas, 38 Dirac delta de, 17 distribui ca o de, 17 fun ca o de, 17 Dirac, medida, 30 Dirac, Paul Adrien Maurice, 32 Dirac, Paul A. M., 17 Dirichlet, 81 n ucleo, 30, 81, 82 n ucleo de, 81 teorema de, 87 discreta convolu ca o, 16, 18 dist ancia, 30, 31, 67, 102 entre fun co es, 103105 euclidiana, 30, 31, 88 distribui ca o, 32, 75 distribui co es teoria das, 17, 68 Teoria das, 41 dividendo, 33 divis ao euclidiana, 33 algoritmo da, 33 divis oes da Matem atica, 97 divisor, 33 divisores de zero, 63 dual de um espa co, 62 EDO, 35 EDP, 33, 35, 39, 40 EDP, lineares, 41 EDPL, LPDE, 35 EDP, n ao lineares, 41 Eilenberg, 8 elementos nitos, 41 triangula ca o, 94 elipse, 21 equa ca o da onda, 35 de Poisson, 35

109

110 do calor, 35 equa ca o alg ebrica, 38 equa ca o diferencial, 35, 89, 98 ordem n, 89 ordin aria, 37, 85 parcial, 37, 39, 85 problema, 89 equa ca o diferencial linear, 38 equa co es de Maxwell, 35 de Navier-Stokes, 35 diferenciais, 93 equa co es diferenciais, parciais, 43 equival encia, 41 classe de, 16 m odulo tang encia, 95 rela ca o de, 12 Erat ostenes crivo de, 86 erro no dicion ario, 13, 15, 16 escada fun ca o, 44 escalar produto, 93 escolha axioma da, 7 espa co Banach, 91 de Besov, 105 de Hardy, 105 de sucess oes, 20, 32 m etrico, 102 topol ogico, 13, 102 espa co de Hilbert, 93 reproduzindo kernel, 61 espa co m etrico, 30, 76, 102 espa co-tempo, 101 espa co vetorial, 42 espa co vetorial topol ogico, 42 espectral, teorema, 96 espectro, 10, 96 esquecer funtor, 100 estat stica Bayesiana, 88

INDICE REMISSIVO estrutura ordem, 82 Euclides, 86 euclidiana divis ao, 33 geometria, 62 Euler, 93, 98 evalua ca o morsmo de, 78 exata equa ca o diferencial, 40 Matem atica, 80 exist encia teorema de, 43 fatora ca o de morsmos, 79 Fermat ou ltimo teorema de, 12, 43 f ormula Euler, 56 Fields medalha, 13 gura L1 , 31 30-spline, 94 base hexadecimal, 11 bin omio de Newton, 11 bolas dist ancia p, 32 cardinal, 7 c rculo trigonom etrico, 99 convexo fecho, 73 convolu ca o Pot encia de, 20 curva, 22 curva de crescimento, 37 dist ancia ponto a ponto, 104 equa ca o diferencial, 36, 37 fun ca o inversa, 69 Green, teorema de, 53 integral, 68 Medida de Dirac, 76 m edia

INDICE REMISSIVO convexidade, 73 ponderada, 73 segmento de reta, 73 ordem parcial, 83 Polin omio de Taylor, 96, 97 produto de convolu ca o, 18 quadrados m nimos, 88 regulariza ca o tting curve, 88 por convolu ca o, 19 reta tangente, 24 sobreje ca o, 7 spline, 94 teorema fun ca o impl cita, 65 teorema de Pit agoras, 85 triangulo de Pascal, 21 vizinhan ca tubular, 103 gure atlas c rculo, 4 ltro crescente, 43 nita indu ca o, 79, 80 nito conjunto, 6 tting curve, 88 Formula de McLaurin, 95 Fourier, 93 coecientes, 61, 81 s erie, 61, 81 s eries, 60 transformada, 17, 82 transforma ca o discreta, 100 Fourier, s eries de, 98 Fourier, transformada de, 48, 98 fraca converg encia, 18 solu ca o, 33 fronteira, 39, 40, 52 , 40 FSF, 2 funcional, 49 funcional linear, 49 funcional n ao linear, 49 fun ca o, 48 aritm etica, 49 bijetiva, 48 conjuntos dos valores, 48 contradom nio, 48 de Euler, 49 dom nio, 48 generalizada, 41 injetiva, 48 sobrejetiva, 49 totalmente aritm etica, 49 fun ca o constante, 48 fun ca o de Dirac, 30 fun ca o de probabilidade, 75 fun ca o generalizada, 49, 75 fun ca o impl cita teorema da, 38, 65 fun ca o integr avel, 67 fun co es teoria das, 27 fun co es anal ticas, 3 funtor, 7, 49, 71 esquecido, 7, 78 Gauss teorema da diverg encia, 51 Gelfand, transformada de, 97 geometria diferencial, 29 geral linear grupo, 56 germe, 95 GNU, 51 gnuplot, 23, 51 G odel teorema, 43 Green teorema, 40 teorema de, 51, 68 Teorema de, 85 grupo, 53, 81 Sim(n), 54 clases mod n, 57 codica ca o, 55

111

112 comutativo, 55 conjuga ca o, 55 das rota co es, 56 dos inteiros, 56 endomorsmo, 55 nito, 56 geral linear, 56 inteiros mod n, 57 isomorsmo, 55 matrizes, 56 normal, 57 num erico, 56 ordem, 54, 57 permuta ca o, 55 permuta co es, 54, 56 quociente, 16, 58, 59 representa ca o, 57 representa ca o de grupos, 55 rota ca o matrizes, 56 subgrupo, 54 pr oprio, 55 topol ogico, 59 Hardy, desigualdade de, 28 Hilbert 23 problemas, 62 espa co de, 4, 17, 59, 91, 93 reproduzindo kernel, 61 Space, 59 hipervolume, 46 hip erbole, 21 hip otese, 62 hip otese de Cantor, 62 hip otese do cont nuo, 12, 62 holomorfa fun ca o, 62 holomorfas, 3 fun co es, 27 homomorsmo, 77 html, 59 ideal, 63 ` a direita, 63 ` a esquerda, 63 bilateral, 63

INDICE REMISSIVO lateral, 63 IMPA, 98 implica ca o l ogica, 42 impl cita teorema da fun ca o, 63 indu ca o nita, 66, 80 teorema da, 66 innita precis ao,inteira, 96 integra ca o a Daniel, 68 a Lebesgue, 68 a Riemann, 68 a Riemann-Stieltjes, 68 integral, 67 dependente do caminho, 85 derivada, 85 independente do caminho, 85 RiemannStieltjes, 46 Riemann-Stieltjes, 74 valor m edio, 74 integral de linha, 39, 68 integr avel a Riemann, 45 ` inteira precis ao innita, 96 intelig encia articial, 25, 68 interpola ca o linear, 72 inversa da derivada, 67 invers ao, 55 isomorsmo, 71, 77, 81, 100 jacobiana, 6, 28, 64, 72 matriz, 26 Jordan curva de, 22 kernel, 72, 80, 82 Knuth, Donald, 97 Kovalesvkaya, 9 Landau, 95 Laplace, equa ca o de, 34 A latex,L TEX , 97

INDICE REMISSIVO Laundau o pequeno de, 71 Laurent Schwarz, 75 Lebesgue integra ca o a, 75 integral, 67 integral de, 46 Leibniz, G., 14 Lema de Abel, 3 l ogica, 69 limite, 72 linear EDP,EDPL, 41 equa ca o diferencial, 35, 38 funcional, 62 interpola ca o, 72 operador, 35 linear, funcional, 49 linha integral de, 39 linha, integral de, 68 LISP, 96 logaritmo, 56 make, 2 mal posto problema, 87 mapa dum atlas, 4 mapas, 71 markup language, 59 massa centro de, 73 Matem atica divis oes, 33, 97 Mathematics Subject Classication MSC, 33 maximal, 63, 84 McLaurin Formula de, 95 mec anica qu antica, 32 medalha Fields, 13 medida, 49, 50, 67, 74, 75 espa co de, 61, 81 euclidiana, 77 medida de Dirac, 30, 75 medidas teoria das, 46, 67 medidas, teoria das, 50 melhor curva busca da, 88 mesur avel conjunto, 46 mesur avel,conjunto, 75 m aquina de Turing, 80 m aximo, 84 m edia, 72 aritm etica ponderada, 72 aritm etica simples, 72 caixa d agua, 75 integral, 74 probabilidade, 74 m etrica, 30, 76, 102 pseudo, 104 m etrico espa co, 30, 102 espa co discreto, 77 m etrico, espa co, 76 m nimo, 84 minimal, 84 modeling language, 101 modelo, 77 modular algebra, 84 Moebius, ta, 98 morsmo, 77, 81, 100 complexo, 78 de evalua ca o, 78 fatora ca o can onica, 79 mult ndice, 28 multiplica ca o, 78 a direita, 78 ` a esquerda, 78 ` operador, 62, 78 naturais n umeros, 79 Newton bin omio de, 99 n ao linear

113

114 equa ca o diferencial, 38 n ao lineares,EDP, 41 n ao linear, funcional, 49 n ucleo, 72, 77, 80 n ucleo de Dirichlet, 81 n umeros reais, 16 teoria dos, 49 n umeros binomais, 10 n umeros naturais, 79 nonsense general abstract, 8 norma, 5, 100 do sup, 105 normado espa co vetorial, 5, 100 n-splines, 17 objeto programa ca o a, 8 onda comprimento, 10 operador, 49 multiplica ca o, 54, 78 operadores teoria dos, 81 operadores, teoria dos, 49 operador integral, 82, 97 ordem, 82 alfab etica, 82 estrita, 82, 83 larga, 82, 83 parcial, 82 reexiva, 82 rela ca o, 82 total, 82, 83 ordin aria equa ca o diferencial, 37, 89 ordin arias equa ca o diferencial, 35 parciais, equa co es diferenciais, 43 parcial derivada, 27 equa ca o diferencial, 35, 39, 85, 89 par abola, 21

INDICE REMISSIVO partes conjunto das, 11 Pascal tri angulo, 10 Peano, 62 Giuseppe, 79 Perelman, Grigori, 13 permuta co es, 58 pitag oricos n umeros, 43, 84 Pit agoras teorema, 98 Poincar e conjectura, 12, 98 polin omio de Taylor, 84, 95 potencial, 40 pot encia por convolu ca o, 20 pre co, de terreno, 50 primitiva, 37, 39, 67, 84 primo, 85 primo com, 49 primos entre si, 87 princ pio indu ca o nita, 79, 80 principal valor, 33 pris ao tridimensional, 101 problema, 87 condi ca o inicial, 8 de Cauchy, 8, 35, 87 de Dirichlet, 35 equa ca o diferencial, 89 mal posto, 87 PCI, 8 valor inicial, 89 valor na fronteira, 90 vis ao experimental, 90 variacional, 51 produto de convolu ca o, 16 por convolu ca o, 17, 19 produto de convolu ca o, 32, 100 produto escalar, 93

INDICE REMISSIVO programa, 3 progress ao de grau m, 67 proje ca o, 93 propor ca o, 42 pulso, 76 PVF BVP, 90 PVF, BVP, 34 Python, 96 quadrados dos m nimos, 88 quantidade de calor, 67 de movimento, 67 quantidade de movimento, 103 quase sempre, 91 Qu antica F sica, 75 Rademacher, fun ca o de, 32 reais n umeros, 16 redundante, 90 reexividade, 42 reexivo espa co, 91 regra da cad eia, 25 regras de deriva ca o, 23 regulariza ca o, 90 por convolu ca o, 17, 19, 90 Tikhonov, de, 88, 89 rela ca o de ordem, 63 reproduzindo kernel espa co de Hilbert, 61 res duos, 12 reta tangente, 29 retic avel, curva, 49 Riemann integra ca o a, 75 integral de, 44 soma, 45 RiemannStieltjes, 50 Riesz representa ca o, 61 representa ca o de, 91 salto, 91 primeira esp ecie, 91 segunda esp ecie, 91 saltos, 14 Schwartz Laurent, 32, 41 Schwartz, Laurent, 68 Sebasti ao Silva, 75 seno, 95 sequencial continuidade, 13 ser vivo equa ca o diferencial, 36 s erie, 91 assint otico comportamento, 92 de Fourier, 61 termo geral, 92 s erie de Fourier, 92 s eries de Fourier, 98 s erie trigonom etrica, 100 Silva Sebasti ao e, 32, 41 Silva, Sebasti ao e, 68 simetria, 42 simples fun co es, 46 sistemas din amicos, 38 som avel, 93 spline, 93 desenho automatizado, 94 equa ca o diferencial, 94 splines, 17, 77 Stieltjes, 46 Stieltjes, Riemann, 50 Stokes teorema de, 51 subgrupo, 16 sucess oes limite, 47 suporte, 17 suporte nito, 20

115

116 tangente, 95 fun ca o linear, 30 tang encia rela ca o de equival encia, 30 Taylor polin omio, 77, 95 polin omio de, 23 Taylor, polin omio, 84 teorema da fun ca o mplicita, 8 da fun ca o impl cita, 38, 43, 65 da Fun ca o Impl cita, 63 da fun ca o inversa, 69, 71 da representa ca o de Riesz, 61 de exist encia, 63 de G odel, 43 de Green, 9, 39, 40, 51 de Jordan, 22 de Mertens, 87 de Rolle, 43 dos n umeros primos, 87 espectral, 96 Fermat, o u ltimo, 84 Fermat-Wiles, 84 fundamental da Algebra, 86 fundamental do C alculo, 39, 40 Schwartz-Clairaut, 51 valor m edio da derivada, 43 teoria das distribui co es, 17, 41, 68 das medidas, 68 dos conjuntos, 11 dos n umeros, 84 teoria das medidas, 50 terreno, pre co, 50 TeX,TEX, 97 Tikhonov regulariza ca o, 88, 89 topol ogico espa co, 13, 59 espa co vetorial, 42 grupo, 59 topologia, 13, 97, 102 diferencial, 29 transformada de Fourier, 98 transitividade, 42

INDICE REMISSIVO transla co es, 93 triangulo de Pascal, 21 tricotomia, 82 trigonometria, 98 angulo soma, 99 c rculo unit ario, 98 f ormulas, 99 trigonom etrica s erie, 99 trigonom etricas s eries absolutamente convergentes, 5, 100 trigonom etricos polin omios, 60 tri angulo de Pascal, 10 tubular vizinhan ca, 105 Turing, 80 Alan Mathison, 69 m aquina de, 69 UML, 101 unidade aproximada, 81 unidades aproximadas, 17 uniforme continuidade, 105 converg encia, 105 valor m edio integral, 74 variacional, problema, 51 variedade, 21, 64, 101 tangente, 64 variedades dimens ao 1, 101 dimens ao 2, 101 lineares, 101 n ao lineares, 101 topologia, 4 vari aveis aleat orias, 77 vetorial espa co, 42 vetor pr oprio, 98

INDICE REMISSIVO vida comprimento m edio, 10 vizinhan ca, 23, 31, 102 tubular, 102, 105 wavelet, 93 wavelets, 94 Wiener algebra de, 78, 100, 105 desigualdade de, 106 Lema de, 100 Zermelo-Fraenkel, 62

117

118

INDICE REMISSIVO

Refer encias Bibliogr acas


[1] American Mathematical Society. 2010 mathematics subject classication. http://www.ams.org/mathscinet/msc/msc2010.html. [2] R. C. Boyce, William E e Diprima. Equa c oes diferenciais elementares e problemas de valores de contorno. Editora: LTC - ISBN-13: 9788521614999, 2006. [3] J. Dieudonn e. Calcul Innit esimal. Herman Editeurs, 1968. [4] S.V. Gelfand, I.M. e Fomin. Calculus of variations. Dover, 2000. [5] Richard Courant. Dierential and Integral Calculus I. Interscience Publishers Wiley classics library, 1988. [6] T Praciano-Pereira. Programando em gnuplot. Pr eprints da Sobral Matem atica no 2008.1 - 2008 http://www.sobralmatematica.org/preprints/programando gnuplot.pdf, 01 2008. [7] T. Rodrigues dos Santos, S. e Praciano-Pereira. Introdu c ao ` a Matem atica Universit aria. Sobral Matem atica, 2009. [8] G.F. Simmons. Introduction to Topology and Modern Analysis. McGrawHill - Book Company, 1968. [9] G.F. Simmons. Dierential Equations with Applications and Historical Notes. McGraw-Hill - Book Company, 1979. [10] Morris W. Hirsch and Stephen Smale. Linear Algebra, dierential equations and dynamical systems. Academic Press, 1960. [11] the free enciclopedia in the Internet Wikipedia. Wikipedia, the free enciclopedia in the internet. http://www.wikipedia.org. [12] the free enciclopedia in the Internet Wikipedia. Wikipedia, the free enciclopedia in the internet. http://en.wikipedia.org/wiki/Joseph Fourier.

119