Universidade Federal de Santa Catarina, UFSC

Departamento de Matemtica, UFSC a Curso de Especializao em Matemtica ca a Modalidade ` Distncia a a

GUIA DE ESTUDOS Disciplina: Anlise a

Professor:Eliezer Batista

Universidade Federal de Santa Catarina Departamento de Matemtica a

Campus Universitrio, Trindade, a CEP: 88 040-900, Florianpolis, SC o

Reitor: Alvaro Toubes Prata. Vice-Reitor: Carlos Alberto Justo Silva. Pr-Reitoria de Graduao: Yara Rauh M ller. o ca u Pr-Reitoria de Ps-Graduao: Jos Roberto OShea. o o ca e Secretaria de Educao ` Distncia: C ca a a cero Barbosa. Departamento de Educao ` Distncia: Araci Hack Catapan. ca a a Centro de Cincias F e sicas e Matemticas: Tarciso Antnio Grandi. a o Departamento de Matemtica: Ruy Coimbra Charo. a a Coordenao Acadmica: Neri Terezinha Both Carvalho. ca e

Apresentao ca
Desde o surgimento do Clculo diferencial e integral no nal do sculo XVII, a e houve uma preocupao com o rigor matemtico das construes que envolca a co viam processos de limites. O prprio Isaac Newton, que divide o t o tulo de um dos criadores do Clculo com o alemo Gottfried Leiniz, publicou sua a a obra prima, o Principia Mathematica utilizando como padro de rigor a a geometria Grega. Mesmo os resultados propriamente de Clculo esto aprea a sentados sob a forma de teoremas envolvendo semelhanas e congruncias c e entre guras geomtricas e demonstrados dentro do mais puro esp e rito dos Elementos de Euclides. Mesmo assim, no faltaram cr a ticas aos mtodos e utilizados dentro desta nova rea da Matemtica. a a A primeira cr tica contundente ao Clculo innitesimal deve-se ao Bispo a anglicano George Berkeley, contemporneo de Newton, na obra entitulada a O Analista. O principal problema era com a denio dos incrementos ca innitesimais, que eram utilizados para se calcular a taxa de variao insca tantnea, ou uxo (que hoje em dia denominamos derivada de uma funo). a a ca A questo era, se os incrementos so nulos, ento no poderiam ser usados a a a a no clculo (pois implicaria em uma diviso por zero), se, por outro lado, no a a a fossem nulos, no podriam ser desprezados aps calcular-se o quociente. Para a o exemplicarmos, consideremos a funo1 f (x) = x2 . Para calcularmos a taxa ca de variao no ponto x = a, adicionamos um incremento x e calculamos o ca valor da funo em a + x, o que resulta em ca (a + x)2 = a2 + 2ax + x2 . A seguir, subtra mos o valor da funo no ponto a, ou seja subtra ca mos a2 , restando 2ax + x2 . Finalmente, dividimos este resultado por x, o que resulta em 2a + x e desprezamos os termos que contm algum fator x como se e
Estamos aqui cometendo um anacronismo, pois mesmo o conceito de funao no era c a utilizado na poca e
1

fossem nulos, ou seja, o rsultado nal seria 2a. Mas note que zemos duas operaes matemticas incompat co a veis: por um lado, efetuamos a diviso por a um n mero, e por outro, dizemos que este n mero igual a zero. u u e Muito embora aparecessem problemas conceituais profundos, o Clculo a innitesimal se mostrou uma ferramenta extremamente util na resoluo de ca problemas matemticos e acabou sofrendo um desenvolvimento vertiginoso a no sculo XVIII, principalmente pelas mos de Euler e da fam Bernoulli. e a lia Ao problema dos incrementos innitesimais se juntaram outras diculdades conceituais como a manipulao de sries innitas. Um clssico exemplo ca e a e devido ao prprio Euler: considere a soma innita alternada o 1 1 + 1 1 + 1 1 + 1 1 + . Por um lado, podemos associar os termos da seguinte forma: (1 1) + (1 1) + (1 1) + = 0. Por outro lado, podemos associar os termos da forma 1 (1 1) (1 1) (1 1) = 1. Ou ainda, chamando de S esta soma, temos S = 1 1 + 1 1 + 1 1 + 1 1 + = 1 (1 1 + 1 1 + 1 1 + ) = 1 S
1 Portanto S = 1 S o que resulta em S = 2 . O mundo da Matemtica a precisaria ainda esperar at meados do sculo XIX para ver solucionados e e estes problemas de forma denitiva. A anlise matemtica, como a conhecemos hoje em dia, teve seu in a a cio com o matemtico francs Augustin Louis Cauchy. Foi com Cauchy que a a e noo de limite de funes foi devidamente estabelecida. O limite de uma ca co 2 funo f = f (x) quando x tende a um valor a, se existir, consiste em ca um n mero L, ao redor do qual esto todos os valores de f (x) quando os u a valores de x esto sucientemente prximos de x. Ou seja, para qualqeur a o n mero positivo , vai existir um outro n mero positivo tal que sempre u u que a < x < a ou a < x < a + tenhamos L < f (x) < L + . Note

Mais uma vez, lembramos que funao nos tempos de Cauchy ainda era uma regra c qua a cada n mero x associava um outro n mero f (x), a noao de conjunto, produto u u c cartesiano, relaao e funao s veio a ser estabelecida com a criaao da teoria dos conjuntos c c o c por Georg Cantor, no nal do sculo XIX. e

que excluimos o n mero a pois pode ser que o valor f (a) seja diferente de L, u ou ainda pode ocorrer que a funo no esteja denida em x = a. A noo ca a ca de proximidade na reta real veio a trazer grandes avanos no estudo do que c hoje denominamos topologia. De qualquer forma, ainda faltava ser dada uma ultima palavra sobre a estrutura dos n meros reais para que se pudesse garantir que as operaes de u co limite do clculo estavam bem denidas. Nesta histria, despontam nomes a o como Karl Wierstrass, Richard Dedekind e o prprio Georg Cantor. Assim o todos os processos de limite envolvidos no clculo so decorrncias diretas a a e da estrutura do corpo ordenado completo dos n meros reais. Isto se chama u aritmetizao da Anlise, que a maneira padro de aprendermos Anlise ca a e a a matemtica nos dias atuais. a O objetivo desta disciplina de introduo ` Anlise desenvolvermos ca a a e os conceitos bsicos sobre a estrutura topolgica do conjunto dos n meros a o u reais. Tambm pretendemos tratar de uma maneira rigorosa a convergncia e e de seqncias numricas, os limites de funes e a continuidade de funes de ue e co co uma varivel real. O formalismo a ser introduzido, permitir a compreenso a a a plena dos processos de limite envolvidos no clculo de funes reais de uma a co varivel. Visamos que o estudante, ao nal da disciplina saiba elaborar as a demonstraes dos principais teoremas bem como saiba dar contra exemplos co para o caso de resultados que no so vlidos em geral. a a a Devemos salientar, primeiramente, que a Anlise matemtica depende a a fortemente da linguagem da teoria dos conjuntos. Muito embora nosso primeiro tpico de estudo ser uma breve reviso dos contedos relativos ` o a a u a linguagem de conjuntos, impotante que o estudante adquira uma familiarie dade com este tipo de lingugem de uma maneira que transcenda o material que ser abordado nesta disciplina. A linguagem de conjuntos est subjaa a cente a quase toda a Matemtica, portanto necessrio que todo aquele que a e a queira estudar Matemtica seriamente tenha uma relativa uncia com os a e termos e notaes utilizados. co

Plano de Ensino
Disciplina: Introduo ` Anlise. ca a a Carga Horria: 90 horas a Professor: Eliezer Batista. Pr Requisitos: Clculo de uma varivel real. e a a Semestre: 2008-2.

Ementa: Conjuntos e funes. Conjuntos nitos, innitos e enumerveis. co a O corpo, ordenado e completo dos n meros reais. Seqncias de n meros reu ue u ais. Topologia da reta. Limites de funes. Funes cont co co nuas.

Objetivos Gerais
1) Desenvolver no estudante a capacidade de racioc nio abstrato. 2) Desenvolver no estudante tcnicas de demonstrao matemtica. e ca a 3) Aprimorar no estudante sua independncia de pensamento. e 4) Permitir que o estudante realize pesquisa bibliogrca. a 5) Aprimorar a escrita matemtica dos estudantes. a

Objetivos Espec cos

1) Desenvolver no estudante a habilidade de trabalhar com a linguagem da teoria de conjuntos. 6

2) Apresentar ao estudante as propriedades do corpo ordenado completo dos n meros reais. u 3) Permitir com que o estudante domine os conceitos de limites de seqncias ue e de funes. co 4) Propiciar ao estudante a familiaridade coma manipulao de sries numricas. ca e e 5) Apresentar aos estudantes os conceitos topolgicos bsicos, atravs do o a e estudo da reta real.

Conte do Programtico u a
1- Conjuntos e Funes co 1.1- Conjuntos, unio, interseco, complementar. a ca 1.2- Produto cartesiano, relaes, funes. co co 1.3- Funes: Dom co nio, contra-dom nio, imagem, imagem inversa. 1.4- Funes injetivas, sobrejetivas, bijetivas, funo inversa. co ca 1.4- Funes reais, funes pares co co mpares, montonas, etc. o 2- Conjuntos nitos, innitos e enumerveis. a 2.1- Os n meros naturais, axiomas de Peano. u 2.2- Conjuntos nitos. 2.3- Conjuntos innitos. 2.4- Conjuntos enumerveis, Q enumervel. a e a 2.5- Um exemplo de conjunto no enumervel. a a 3- O corpo, ordenado e completo dos n meros reais. u 3.1- R um corpo. e 3.2- R um corpo ordenado. e 3.3- R um corpo ordenado completo. e 3.4- Breve discusso sobre a construo de R a partir de Q. a ca 4- Seqncias de n meros reais. ue u 4.1- Seqncias numricas, subseqncias. ue e ue 4.2- O conceito de limite de uma seqncia. ue 4.3- Seqncias limitadas, montonas e de Cauchy. ue o 4.4- Operaes com limites. co 7

4.5- Limites innitos. 5- Topologia da reta 5.1- Conjuntos abertos e fechados. 5.2- Pontos aderentes e pontos de acumulao. ca 5.3- Fecho de um conjunto e conjuntos fechados. 5.4- Conjuntos compactos. 5.5- Teorema de Borel Lebesgue, teorema de Bolzano Weierstrass. 5.6- O conjunto de Cantor. 6- Limites de funes co 6.1- Denio de limite de funes. Propriedades. ca co 6.2- Relao com o limite de seqncias numricas. ca ue e 6.3- Limites laterais. 6.4- Limites no innito, limites innitos, expresses indeterminadas. o 7- Funes cont co nuas 7.1- Continuidade de funes reais. co 7.2- Operaes com funes cont co co nuas. 7.3- Teorema do valor intermedirio. a 7.4- Continuidade em intervalos e em compactos. 7.6- Continuidade uniforme.

Metodologia
A disciplina ser baseada em estudo individual e dirigido. A bibliograa a bsica ser composta de dois livros texto: a a [1] Avila, Geraldo: Anlise Matemtica para Licenciatura, Terceira a a edio revista e ampliada Ed. Edgard Bl cher (2006). ca u [2] Lima, Elon L.: Anlise Real, Vol 1, Coleo Matemtica Univera ca a sitria, IMPA (2006). a Ao longo do semestre sero feitas video-conferncias semanais, todas a e as quintas feiras das 18:30 `s 20:10, relativas aos contedos da disciplina. a u Tambm haver atendimento on-line, a partir da UFSC, de um tutor da dise a ciplina, que responder `s d vidas dos alunos nos horrios programados. aa u a

Avaliao ca
Sero feitas duas provas presenciais ao longo do semestre e sero entregues a a duas tarefas. A mdia nal ser dada calculando-se a mdia aritmtica sime a e e ples entre as notas das duas provas e das duas tarefas. Ser aprovado o aluno a que obtiver nota maior ou igual a 6,0. Por se tratar de um curso de especializao, esta disciplina no possui a previso de prova de recuperao. ca a a ca

Cronograma
Video conferncias: e 1. Dia 4 de maro de 2010: Reviso dos conceitos bsicos de conjuntos e c a a funes. Para esta video conferncia, o aluno ter que ter lido o cap co e a tulo 1 e as seguintes sees do cap co tulo 2 do livro do Geraldo Avila: Noes co sobre conjuntos (pgs 29 a 32) e tentado fazer os exerc a cios da pgina a 32. tambm tentaremos j nesta primeira v e a deo relembrar os conceitos bsicos de funo. Para isto, tambm o aluno ter que ter lido a parte a ca e a do cap tulo 6 do Avila da pgina 133 at a pgina 140. a e a 2. Dia 11 de maro de 2010: Conjuntos e funes II. Seo 2.2 do Avila, c co ca pginas 29 a 32. Seo 6.1 do Avila, pginas 133 a 140. a ca a 3. Dia 18 de maro de 2010: Conjuntos nitos, innitos e enumerveis. c a Cap tulo 1 do Elon e pginas 32 a 45 do Avila. a 4. Dia 25 de maro de 2010: O corpo ordenado completo dos Reais. c Cap tulo 2 do Elon e pginas 57 a 67 do Avila. a 5. Dia 1 de abril de 2010: Seqncias de n meros reais. Cap ue u tulo 3 do Elon, e cap tulo 4 do Avila. 6. Dia 8 de abril de 2010: Seqncias de n meros reais II. Cap ue u tulo 3 do Elon, e cap tulo 4 do Avila. 7. Dia 15 de abril de 2010: Reviso para a primeira prova. a 8. Dia 29 de abril de 2010: Topologia da reta. Cap tulo 5 do Elon.

9. Dia 6 de maio de 2010: Topologia da reta II. Cap tulo 5 do Elon. 10. Dia 13 de maio de 2010: Topologia da reta III. Cap tulo 5 do Elon. 11. Dia 20 de maio de 2010: Limites de funes. Cap co tulo 6 do Elon e pginas 140 a 154 do Avila. a 12. Dia 27 de maio de 2010: Funes cont co nuas. Cap tulo 7 do Elon e pginas 154 a 174 do Avila. a 13. Dia 10 de junho de 2010: Funes cont co nuasII. Cap tulo 7 do Elon e pginas 154 a 174 do Avila. a 14. Dia 17 de junho de 2010: Funes cont co nuasIII. Cap tulo 7 do Elon e pginas 154 a 174 do Avila. a 15. Dia 24 de junho de 2010: Reviso para a segunda prova. a Observao: Em cada uma das video conferncias haver espao para tirar ca e a c d vidas de tpicos passados, ou de exerc u o cios. Tentaremos expor nas videos as idias principais, os resultados principais e um esboo de demonstrao e c ca dos teoremas mais importantes, mas, claro, o trabalho duro de demonstrar e teorema por teorema, em todos os detalhes, ser de cada estudante no seu a estudo individual.

Provas e tarefas: 1. Dia 22 de abril de 2010: Data limite para a entrega da primeira tarefa. 2. Dia 22 de abril de 2010: Prova 1, com o conte do incluindo seqncias u ue de n meros reais. u 3. Dia 1 de julho de 2010: Data limite para a entrega da segunda tarefa. 4. Dia 1 de julho de 2010: Prova 2, com todo o restante do contedo. u

10

Guia das Referncias e Bibliogracas

Como j foi mencionado, nossa bibliograa bsica para esta disciplina cona a sistir de apenas dois livros, que estaro dispon a a veis para os estudantes nos plos: o [1] Avila, Geraldo: Anlise Matemtica para Licenciatura, Terceira a a Edio Revista e Ampliada, Ed. Edgard Bl cher (2006). ca u [2] Lima, Elon L.: Anlise Real, Vol 1, Coleo Matemtica Univera ca a sitria, IMPA (2006). a Seguiremos mais de perto o livro do Elon, por conter cap tulos mais curtos, por mostrar os resultados de forma mais exata e organizado e por se preocupar com o rigor matemtico exigido para o estudo da anlise. Este a a livro uma verso abreviada do livro do mesmo autor entitulado: Curso e a de Anlise, Volume 1, da coleo Projeto Euclides, tambm do IMPA. O a ca e Curso de Anlise, Volume 1 , na minha opinio, o melhor livro de maa e a temtica j escrito em l a a ngua portuguesa. Trs detalhadamente os conte dos a u que sero abordados nesta disciplina e muito mais, com as demonstraes a co matemticas dos teoremas expostas de uma maneira elegante e uma variea dade de contra exemplos, explicitando a necessidade das hipteses de cada o teorema. Os livros do Prof. Elon bem como diversos outros livros de Matemtica tanto de n superior quanto de n de ensino mdio podem ser a vel vel e encomendados na SBM (Sociedade Brasileira de Matemtica), pela pgina. a a http://www.sbm.org.br O livro do Geraldo Avila, foi feito pensando-se em um curso introdutrio o de anlise para alunos de licenciatura em matemtica, portanto possui uma a a apresentao mais elementar, muitas vezes as demonstraes so simplicaca co a 11

das, escondendo algumas sutilezas que ocorrem quando analisamos com cuidado e rigor. Tambm o autor se preocupa em dar muitos exemplos numricos e e e car em casos particulares, evitando generalizaes e abstraes sempre que co co poss vel. Obviamente, esta pode ser uma boa estratgia quando se pretende e apresentar pela primeira vez os conceitos de anlise a um aluno de licenciaa tura, mas certamente, poderia se ir um pouquinho mais longe em termos de abstraes. A grande vantagem do livro do Avila a riqueza de comentrios co e a de carter histrico, mostrando muitas vezes o que os matemticos ao longo a o a dos sculos desenvolveram e como isto se encaixa no estudo do assunto ese pec co abordado naquele determinado cap tulo do livro. Todas as leituras dos comentrios histricos do professor Avila so recomendadas aos alunos a o a desta disciplina. Algumas pginas em portugus na internet tambm trazem o tema anlise a e e a real, veja por exemplo: http://pt.wikipedia.org/wiki/An%C3%A1lise real http://pt.wikipedia.org/wiki/T%C3%B3picos em an%C3%A1lise real http://www.lncc.br/ alm/cursos/analiseI06/analiseI.pdf Este terceiro, realmente muito interessante, pois trata-se de uma apose tila de anlise, em portugus, dispon para download. Para os que sabem a e vel se virar com a l ngua inglesa, temos mais algumas sugestes, como: o http://web01.shu.edu/projects/reals/reals.html http://en.wikipedia.org/wiki/Real analysis http://www.math.unl.edu/ webnotes/contents/chapters.htm http://www-groups.mcs.st-andrews.ac.uk/ john/analysis/index.html Ao longo do semestre, aconselhamos aos estudantes que procurem mais material de apoio pela internet. Atualmente o mundo est dentro de nossas a casas e podemos acessar quase que instantaneamente coisas que h alguns a anos eram impensveis. a Vamos tentar fazer um apanhado geral da literatura tendo em vista o 12

programa da disciplina que temos a cumprir. Conforme voc deve ter notado e pelo cronograma das video-conferncias o prazo de leitura de cada um dos e cap tulos de duas semanas, em mdia. Tambm voc deve ter notado que e e e e o programa desta disciplina no corresponde ` totalidade do conte do de a a u nenhum dos dois livros texto utilizados. Deixamos de lado os cap tulos 7,8 e 9 do livro do Avila e os cap tulos de 8 a 12 do livro do Elon puramente por uma questo de tempo. Seria necessria uma disciplina com no m a a nimo 6 horas aula semanais para que se cobrisse todo o programa destes livros. De qualquer maneira, consideramos que os estudantes sejam capazes de efetuar uma leitura individual e completa de cada um destes livros aps o trmino o e desta disciplina. Neste pequeno resumo que se segue, vamos explicitar o que h de mais a importante, cap tulo por cap tulo e quais os exerc cios que so mais interesa santes de serem feitos. Faremos tpico por tpico para car mais fcil de o o a voc se localizar. e

Conjuntos e Funes co
Semanas de 1 a 14 de maro de 2010 c Video-conferncias de 4 e 11 de maro de 2010. e c Para o primeiro tpico do programa, realmente existe nos dois livros diso pon veis para a disciplina, pouco conte do a respeito. O Livro do Avila faz u no cap tulo 1 sobre preliminares de lgica, que aconselho a todos que leiam, o pois tem algumas informaes relevantes sobre como demonstrar teoremas e co o signicado das demonstraes matemticas. Mas no cap co a e tulo 2 daquele livro que o autor trata de forma muito breve sobre a questo de conjuntos. a Este assunto discutido a partir da pgina 29 do livro. Ele faz exemplos e a espec cos e logo aps apresenta o que ele denomina propriedades gerais o que so igualdades entre conjuntos. Aqui vai um comentrio importante: a a Para se provar que dois conjuntos A e B so iguais, temos que a tomar um elemento x A e mostrarmos que x B e vice versa, isto , tomamos um elemento arbitrrio y B e mostramos que y A. e a Aconselho fortemente que voc faa todos os exerc e c cios das pginas 31 e a 32 (exerc cios de 1 a 12). 13

 Um tpico no abordado no livro do Avila o produto cartesiano entre o a e dois conjuntos A e B, denido como o conjunto A B = {(a, b)| a A e b B}. O produto cartesiano fundamental quando se quer denir o que uma e e funo. ca O conceito de funo somente abordado no livro do Avila no in do ca e cio cap tulo 6, pgina 133. Aps uma rpida abordagem histrica, na denio a o a o ca 6.1 o autor dene funo como uma lei que associa a cada elemento de ca um conjunto um unico elemento de um outro. Uma forma mais precisa de denirmos funo atravs de relaes. Uma relao de um conjunto A em ca e e co ca um conjunto B , basicamente, um sub-conjunto qualquer do produto cartee siano A B. Uma funo f , pode ser denida como um tipo de relao, que ca ca no texto aparece com o nome de grco da funo, denido da seguinte a ca maneira: Denio: Uma funo f : A B uma relao na qual todo elemento ca ca e ca do conjunto A gura em um unico par ordenado. Em outras palavras, temos duas condies essenciais: co Para qualquer a A , existe um par ordenado (a, b) na relao. ca Se (a, b1 ) e (a, b2 ) pertencem ` relao, ento b1 = b2 . a ca a A este unico elemento b B tal que (a, b) pertena ` relao denominamos c a ca f (a) ou seja o valor da funo f no elemento a. Tambm denotamos ca e f : A B. a f (a) E importante no confundir a funo em si com o valor da funo em a ca ca um determinado elemento do dom nio. Muito embora utilizemos abusos de linguagem como seja a funo f (x) ou seja a funo f = f (x), estas ca ca frases no devem ser tomadas como corretas, devemos ter sempre em mente a que elas so apenas abreviaes para uma idia muito mais precisa que o que a co e elas veiculam. Um conceito que voc deve prestar bastante ateno no conceito de e ca e imagem inversa (pg 138 do Avila). No confundir com funo inversa, um a a ca 14

erro bastante comum entre estudantes. Tambm bom relembrar os conceie e tos de funo injetiva (ou injetora) e sobrejetiva (ou sobrejetora) e mostrar ca a seguinte propriedade: Teorema: Uma funo f : A B bijetiva, se, e somente se, existir ca e uma funo inversa, isto uma funo f 1 : B A tal que f f 1 = IdB e ca e ca 1 f f = IdA . Os exerc cios 3, 4, 6, 7, 9, 10, 11, 12, 13, 14 e 15 das pginas 138 e 139 a devem ser feitos.

Conjuntos Finitos, Innitos e Enumerveis a

Semana de 15 a 21 de maro de 2010 c Video-conferncia de 18 de maro de 2010 e c Esta unidade est baseada no cap a tulo 1 do livro do Elon e nas pginas a 32 a 45 do livro do Avila. A primeira coisa a se notar que o Elon formula e os axiomas de Peano a partir do n mero 1, enquanto a maioria dos autores u formula os mesmos axiomas a partir do n mero 0, que mais natural para u e denir a operao soma nos naturais como tendo elemento neutro aditivo. A ca formulao dos axiomas de Peano a partir do 0 ca: ca 1. Existe um conjunto no vazio N e uma funo injetiva s : N N, a ca denominada sucessor. 2. Existe um unico elemento 0 N, tal que 0 = s(n) para qualquer n N. 3. Se um subconjunto A N tal que 0 A e s(A) A (isto , se n A e e ento s(n) A), ento A = N. a a Tente formular como seriam os axiomas para a soma e para a multiplicao nos naturais com os axiomas de Peano a partir do 0. ca Tente demonstrar algumas propriedades da soma e da multiplicao em ca N com o uso do terceiro axioma de Peano (induo). ca Prete ateno ` relao de ordem em N. E observe que o axioma 3 de ca a ca Peano equivalente ao Princ e pio da Boa Ordem:

15

Todo subconjunto no vazio de N possui um menor elemento. a O livro no atenta para este fato, mas realmente so quatro as proposies a a co equivalentes em N:

Axioma 3 de Peano: Se um subconjunto A N tal que 0 A e e s(A) A (isto , se n A ento s(n) A), ento A = N. e a a Princ pio da Boa Ordem: Todo subconjunto no vazio de N possui a um menor elemento. Primeiro Princ pio de Induo: Se A(n) uma armao para ca e ca cada n mero natural n N tal que: u a) A(0) verdadeira. e b) Sempre que a(n) for verdadeira, tivermos que a(s(n)) tambm e e verdadeira. Ento A(n) verdadeira para todo n N. a e Segundo Princ pio de Induo: Se A(n) uma armao para cada ca e ca n mero natural n N tal que: u a) A(0) verdadeira. e b) Sempre que a(k) for verdadeira para todo 0 k n, tivermos que a(s(n)) tambm verdadeira. e e Ento A(n) verdadeira para todo n N. a e Tente entender cada uma das formulaes, busque exemplos em outros co livros de como se utiliza cada um desses princ pios para demonstrar teoremas e tente mostrar que, de fato eles so princ a pios equivalentes. Os princ pios de induo tambm podem ser formulados a partir de um ca e n mero natural n0 arbitrrio. Escreva estas formulaes e mostre que elas u a co decorrem inteiramente dos princ pios de induo a partir do 0. ca Leia os teoremas sobre conjuntos nitos, innitos e enumerveis do texto a do Elon. Leia atentamente os exemplos de que Z e Q so enumerveis e a a 16

 compare com a exposio feita no livro do Avila. Do livro do Avila, leia a ca argumentao de por que os n meros reais no so enumerveis. ca u a a a Faa os exerc c cios; 1,2,4 e 5 da seo 1 (pgina 9), 1,2 e 3 da seo 2 ca a ca (pgina 9), 1 e 3 da seo 3 (pgina 10) e 1,5 e 6 da seo 4 (pgina 10), a ca a ca a do cap tulo 1 do livro do Elon. Faa tambm os exerc c e cios 2,4,5,8,9 e 10 da pgina 37 do livro do Avila. a Por m, leia as notas histricas do livro do Avila das pginas 38 a 45. o a Estas notas histricas esto realmente muito interessantes, pois discutem alo a gumas idias de Georg Cantor, que foi o fundador da teoria dos conjuntos e e o primeiro a demonstrar que existem innitos de diferentes ordens. Tambm e so discutidos alguns paradoxos que surgiram no in da teoria dos conjuna cio tos. Este uma leitura altamente recomendada para todos que desejam ter e uma viso geral do processo de construo dos conceitos matemticos. a ca a

O Corpo, Ordenado e Completo dos N meros u Reais

Semana de 22 a 28 de maro de 2010 c Video-conferncia de 25 de maro de 2010 e c Esta unidade est baseada no cap a tulo 2 do livro do Elon e nos cap tulos 2 e 3 do livro do Avila. Para um aquecimento, inicie sua leitura pelas pginas a de 23 a 29 do livro do Avila e faa os exerc c cios 1,5,9,18,21,23,24 e 25 das pginas 26 e 27 deste livro. Depois, leia no mesmo livro das pginas 46 a 57 a a do livro do Avila e faa os exerc c cios 3, 4 e 5 da pgina 55 (leia atentamente a as dicas de soluo oferecidas pelo autor. ca Bem, agora v para o livro do Elon e leia o texto do cap a tulo 2. D e ateno para a desigualdade de Bernoulli (pgina 14) que ser muito util em ca a a muitas demonstraes. Tamem importante o teorema 3 (pgina 17) sobre a co e a propriedade arquimediana de R. Na verdade, um corpo ordenado no precisa a ser completo para ser arquimediano, por exemplo Q arquimediano. Mas e todo corpo ordenado e completo tem que ser arquimediano. A completude do corpo ordnado dos n meros reais pode ser formulada u de quatro maneiras diferentes, porm equivalentes: e Princ pio do Supremo: Todo sub conjunto no vazio de R limitado a superiormente possui um supremo. 17

 Princ pio dos Intervalos Encaixantes: (Teorema 4, pgina 17 do a Elon) Dada uma seqncia decrescente I1 I2 In ue de intervalos limitados e fechados In = [an bn ], existe pelo menos um n mero real c tal que c In para todo n N. u Princ pio do Corte de Dedekind: Sejam dois sub-conjuntos no a vazios A, B R tais que a) A B = R b) Para todo a A e todo b B temos que a < b. Ento existe um unico n mero x R que o mximo de A ou o m a u e a nimo de B, mas no simultaneamente os dois. a Princ pio de Cauchy: Toda seqncia de Cauchy em R converue e gente. No livro do Elon, voc ver que o princ e a pio bsico ser o do supremo que a a guiar todos os outros, j no livro do Avila (leia as pginas 57 a 67 daquele a a a livro) utilizar como princ a pio bsico o dos cortes. Na minha opinio, o a a mais intuitivo e que permite deduzir resultados de maneira mais simples e elegante o princ e pio dos intervalos encaixantes. Voc deve ter notado e tambm que o ultimo princ e pio foge um pouco do escopo deste cap tulo, ns o retornaremos a ele no cap tulo de seqncias, mas esta caracterizao de ue e ca completude que permite generalizaes para outros contextos, como espaos co c mtricos em geral. Assumindo qualquer um destes princ e pios como postulado, podemos deduzir todos os outros com relativa facilidade, no entanto, sem considerarmos a construo dos n meros reais a partir dos n meros racionais ca u u no temos como deduzir os quatro de primeiros princ a pios, sempre um deles teria que ser dado apriori. A construo dos n meros reais umas das peas de engenhosidade da ca u e c matemtica moderna. Existem duas construes equivalentes dos n meros a co u reais a partir do corpo ordenado dos n meros racionais. A primeira consu truo feita considerando-se cortes de Dedekind em Q, isto , um par de ca e e sub-conjuntos no vazios A, B Q tais que a a) A B = Q b) Para todo a A e todo b B temos que a < b. 18

A diferena de Q para R que nos racionais pode no haver um elemento c e a que que exatamente no meio, como m nimo de B ou mximo de A. Por a exemplo A = Q {x Q+ |x2 < 2}, B = {x Q+ |x2 > 2}. o E bvio que A e B satisfazem o tem b), e como sabemos que no h n mero a a u racional tal que x2 = 2 ento A e B tambm satisfazem o a e tem a). Nos exerc cios 4 e 5 da pgina 55 do Avila voc mostrou que A no tem mximo a e a a e B no tem m a nimo. Logo h um buraco entre os dois. Para se denir a os reais toma-se o conjunto de todos os cortes de Dedekind em Q, dene-se operaes de soma e multiplicao entre eles e mostra-se que este conjunto co ca e um corpo, tambm dene-se uma relao de ordem entre os cortes e mostrae ca se que o conjunto dos cortes um corpo ordenado. Por m, mostra-se que e este corpo ordenado satisfaz o princ pio dos cortes de Dedekind. A segunda construo dos reais baseada em seqncias de Cauchy de ca e ue racionais, a soma e a multiplicao de duas seqncias so dadas, respectivaca ue a mente, pela soma e multiplicao entrada a entrada. Dene-se uma relao ca ca de equivalncia entre sequencias de Cauchy dizendo-se que duas delas so e a equivalentes se, e somente se a diferena entre elas for uma seqncia que c ue converge para 0. O conjunto quociente por esta relao de equivalncia um ca e e corpo ordenado completo. Toda esta nomenclatura, somente car esclarea cida a partir da unidade seguinte sobre Seqncias. ue Finalmente podemos perguntar, ser que o conjunto dos n meros reais a u e o unico corpo ordenado completo que existe, ou ser que existem outros com a estas mesmas propriedades? Suponha que existam dois corpos ordenados e completos, K e L. 1. Mostre que tanto K como L possuem Q como sub-corpos. 2. Considere uma aplicao f : K L que satisfaa f (a+b) = f (a)+f (b) ca c e f (ab) = f (a)f (b) (isto um homomorsmo de corpos). Mostre que e f s pode ser nula ou injetiva. o 3. Mostre que a funo f denida no ca tem anterior, quando restrita ao sub corpo dos racionais, a funo identidade. e ca 4. Com isto mostre que f tem que ser a identidade. E portanto, s pode o existir um corpo ordenado completo, que o conjunto dos nmeros e u reais. 19

Faa os exerc c cios 1,2,3 e 4 da seo 1 (pgina 19), 2,3,4,6 e 7 da seo 2 ca a ca (pgina 20) e 1,2,3 da seo 3 (pgina 20) do cap a ca a tulo 2 do livro do Elon e os exerc cios 4, 9,11,12, 14, 15, 18 e 19 (pgina 65) do livro do Avila. Por m, a leia as notas histricas do livro do Avila para o cap o tulo 3, pginas 69 a 71. a

Seqncias de N meros Reais ue u

Semanas de 29 de maro a 11 de abril de 2010 c Video-conferncias de 1 e 8 de abril de 2010 e Esta unidade est baseada no cap a tulo 3 do livro do Elon e no cap tulo 4 do livro do Avila. Para in cio, recomenda-se a leitura do livro do Avila da pgina 72 at o in da pgina 78 do mesmo. Os exemplos deste texto so a e cio a a fact veis e devem ser acompanhados com ateno. Depois, retome a leitura ca do Elon da pgina 22 at a 25 e v comparando passo a passo deste ponto a e a em diante a leitura do Avila desde o nal da pgina 78 at o nal da pgina a e a 82 e da 85 at o in da 86 com a leitura do Elon da pgina 25 at o in e cio a e cio da pgina 29. a Faa os exerc c cios 3,4,5,6,9,12,14,16,17 e 18 das pginas 82 e 83 do livro do a Avila. Faa tambm os exerc c e cios 1,4,6 e 7 da seo 1 (pgina 33) 1,2,4,6 e 7 ca a da seo 2 (pginas 33 e 34) do livro do Elon, note que o exerc 7 da seo ca a cio ca 2 trs a denio de seqncia de Cauchy. O a ca ue tem c) pede para mostrar que a uma seqncia convergente se e somente se for de Cauchy. E fcil mostrar ue e que toda seqncia convergente de Cauchy (truque do /2) mas o fato de ue e uma seqncia de Cauchy convergir, esta depende da completude dos reais ue (de fato, como vimos, uma condio equivalente da completude dos reais). e ca Leia para acompanhar as pginas 97 a 99 do Avila, enquanto estiver fazendo a este exerc cio. Faa tambm os exerc c e cios 1,3 e 5 da seo 3 (pginas 34 e ca a 35 do livro do Elon. Note que este ultimo exerc cio do livro do Elon tras uma situao corriqueira em seqncias fazendo o limite estar entre duas ca ue subseqncias, uma montona decrescente e outra montona crescente, isto ue o o uma aplicao do princ e ca pio dos intervalos encaixantes. A seguir, leia com ateno as pginas 86 e 87 do livro do Avila e os ca a exemplos das pginas 29 e 30 do livro do Elon, em especial compare os a exemplos 12 e 13 com a leitura do livro do Avila. O n mero e denido de u e duas formas diferentes como seqncias innitas, as duas so garantidamente ue a convergentes devido ` monotonicidade e pelo fato de serem limitadas supea riormente. O grande problema provar que as duas seqncias convergem e ue 20

para o mesmo n mero, e isto feito mostrando-se que para todo elemento da u e primeira seqncia existe um elemento da segunda que maior que ele e todo ue e elemento da segunda seqncia existe um elemento da primeira que maior ue e que ele. esta uma idia muito utilizada ao se trabalhar com seqncias e e ue montonas. o Prossiga na leitura do cap tulo 4 do Avila com a leitura sobre limites innitos e seqncias recorrentes, pginas 88 a 93. Termine tambm a leitura ue a e do cap tulo 3 do Elon da pgina 31 at a pgina 33. a e a Em seguida, faa os exerc c cios 3 e 4 da seo 4 (pgina 35) do livro do ca a Elon e os exerc cios 1,5,18,21 e 22 das pginas 92 e 93 do livro do Avila. a Por ultimo, leia as pginas 96 e 97 do livro do Avila sobre o teorema de a Bolzano Weierstrass. Leia tambm o teorema 4 e seu corolrio na pgina 25 e a a do livro do Elon (tambm sobre o teorema de Bolzano Weierstrass). Voltaree mos com mais detalhes a este teorema no cap tulo sobre a topologia da reta. Por hora,note apenas a diferena de ttica na demonstrao do mesmo teoc a ca rema. Em comparao, o mtodo da bisseco utilizado pelo Avila muito ca e ca e mais geral e serve para a demonstrao de diversos resultados, tanto na reta ca como em espaos Rn . Este mtodo da bisseco apia-se grandemente na c e ca o completude da reta real. nalmente, leia da pginas 101 at a pgina 105 do a e a livro do Avila, com valios ssimas notas de interesse histrico. o Semana de 12 a 21 de abril de 2010 Video-conferncia de 15 de abril de 2010 e Prova 1 e entrega de tarefas no dia 22 de abril de 2010 Nestas semanas, revise o conte do aprendido e tire suas dvidas na video u u conferncia. D uma revisada no cap e e tulo de conjuntos e funes e no cap co tulo de conjuntos nitos, innitos e enumerveis. Dedique, tambm o seu tempo a e ao estudo e reviso do corpo ordenado completo dos reais e seqncias de a ue n meros reais. u

Topologia da Reta
Semanas de 26 de abril a 16 de maio de 2010 Video-conferncias de 29 de abril e 6 e 13 de maio de 2010 e Esta unidade ser central no curso de Anlise. Ao lado do cap a a tulo de funes cont co nuas, este cap tulo o que contem maior quantidade de conceie tos novos para o estudante. Os resultados descritos aqui podero facilmente a 21

ser transpostos para contextos mais amplos como espaos euclidianos n dic mensionais e espaos mtricos em geral. Toda esta unidade ser baseada no c e a cap tulo 5 do livro do Elon. Inicie com os conceitos de conjuntos abertos e fechados, pontos aderentes, fecho e pontos de acumulao. E important ca ssimo que voc saiba distinguir os conceitos de ponto aderente e de ponto de acue mulao, todo ponto de acumulao aderente mas nem todo ponto aderente ca ca e ponto de acumulao. Tambm importante ver as diversas caracterizaes e ca e e co de aberto e de fechado e a relao de complementaridade que existe entre ca estes dois tipos de conjunto. Estes conceitos aparecem da pgina 48 at a a e pgina 53. a Ainda na pgina 51 aparece o conceito de ciso, que leva ` denio de a a a ca conjunto conexo (que no dada no texto do livro: a e Denio: Um sub-conjunto A R dito ser conexo se somente admitir ca e ciso trivial. a A prpria reta real e todos os segmentos de reta so conjuntos conexos. o a Na pgina 53, o teorema 7 uma verso do teorema de Bolzano Weiersa e a trass, que j foi visto para seqncias. O teorema de Bolzano-Weierstrass a ue e um dos principais teoremas topolgicos de espaos euclidianos e vale no s o c a o na reta, mas em qualquer Rn . Em seguida, na pgina 53, comece a leitura sobre conjuntos compactos. a A denio de compacto como limitado e fechado s exata em espaos ca o e c euclidianos de dimenso nita (onde se possa demonstrar o teorema de Borela Lebesgue). Denio: Um conjunto K dito ser compacto quando toda cobertura ca e de abertos admitir uma sub-cobertura nita. Um conjunto compacto sempre limitado e fechado. Mas sub-conjuntos e limitados e fechados nem sempre so compactos (se voc tomar um suba e conjunto de um espao de dimenso innita). c a Finalmente, a partir da pgina 55, temos uma apresentao do conjunto a ca de Cantor que um conjunto compacto, onde todos os seus pontos so pontos e a de acumulao, que possui interior no vazio e no enumervel. esta uma ca a e a a e das construes mais belas de toda a matemtica. co a Faa os exerc c cios 1, 3, 4 e 6 da seo 1, 1, 2, 4 e 6 da seo 2, 1, 2 e 4 da ca ca seo 3, 2, 5 e 6 da seo 4 e 2, 3 e 4 da seo 5 do livro do Elon. ca ca ca

22

Limites de Funes co
Semana de 17 a 23 de maio de 2010 Video-conferncia de 20 de maio de 2010 e Esta unidade ser baseada no cap a tulo 6 do livro do Elon e no cap tulo 6 do livro do Avila. Inicie sua leitura da pgina 140 at a pgina 144 do livro a e a do Avila. Acompanhe com a leitura da pgina 61 at a pgina 66 do livro do a e a Elon. Os resultados principais desta seo so os teoremas da unicidade do ca a limite, teorema do sandwich (tambm conhecido como teorema do confronto, e que voc j deve ter visto em Clculo) e as proprie dades aritmticas do limite. e a a e Um outro resultado resultado particularmente importante o que relaciona e limites de funes com limites de seqncias (teorema 3 do livro do Elon e co ue teorema 6.10 do livro do Avila). Observe tambm o exemplo 2 na pgina e a 1 65 do livro do Elon. a funo sin x serve de contra exemplo em muitos ca contextos diferentes do Clculo e da Anlise Matemtica. Aproveite para a a a fazer os exerc cios 9, 10, 14 e 15 das pginas 148 e 149 do Avila e 2, 4 e 5 da a seo 1 (pgina 71) do Elon. ca a Continue com a leitura dos limites laterais, limites no innito e limites innitos da pgina 151 at a pgina 154 do livro do Avila e da pgina 66 at a e a a e a pgina71 do livro do Elon. Faa os exerc a c cios 7, 10, 11, 12 e 14 da pgina a 159 do livro do Avila e os exerc cios 1, 3 e 4 da seo 2 e o exerc 2 da ca cio seo 3 da pgina 72 do livro do Elon. ca a

Funes Cont co nuas

Semanas de 24 de maio a 20 de junho de 2010 Video-conferncias de 27 de maio e 10 e 17 de junho de 2010 e Esta ultima unidade baseada na leitura do cap e tulo 7 do livro do Elon e no cap tulo 6 do livro do Avila. A Topologia basicamente o estudo e das propriedades dos espaos que so invariantes mediante transformaes c a co cont nuas. Portanto funes cont co nuas, de certa forma do vida ` Anlise e a a a ` Topologia. a Inicie sua leitura pelo livro do Elon, da pgina 73 ` pgina 76, basicaa a a mente, as demonstraes das propriedades de continuidade so anlogas `s co a a a demonstraes de propriedades de limites. Neste ponto faa os exerc co c cios 4, 5, 6, 7, 13, 19 e 20 da pgina 149 do livro do Avila (voc deve ter notado que a e 23

 o livro do Avila introduz limites de funes e funes cont co co nuas no mesmo cap tulo). Faa tambm os exerc c e cios 2, 3, 5, 6 e 7 da seo 1 (pginas 85 e ca a 86) do livro do Elon. Leia tambm da pgina 155 at a pgina 158 do livro do Avila sobre a e a e a caracterizao das descontinuidades de uma funo. ca ca A seo 2 do livro do Elon contm um dos resultados mais uteis em todo o ca e Clculo, que o teorema do valor intermedirio. Como conseqncias deste a e a ue teorema podemos concluir que a imagem por uma funo cont ca nua de um intervalo um intervalo, ou mais geral, a imagem de um conjunto conexo e por uma funo cont ca nua um conjunto conexo. Tambm alguns resultados e e decorrentes deste teorema so mostrados nos exerc a cios como a existncia de e raiz real para todo polinmio de grau o mpar, a existncia de raiz n-sima e e para todo n mero real positivo, o teorema do ponto xo de Brouwer. Leia u tambm as pginas 161 e 162 do livro do Avila sobre o mesmo assunto e faa e a c os exerc cios 2, 4 e 5 da seo 2 do livro do Elon e os exerc ca cios 2, 8 e 9 da pgina 166 do livro do Avila. a A seo 3 do livro do Elon trs outro resultado fort ca a ssimo, que dis que toda funo cont ca nua em um intervalo fechado limitada e atinge um valor e mximo e um valor m a nimo. mais geralmetne, podemos dizer que a imagem de um conjunto compacto por uma funo cont ca nua um conjunto compacto. e Como conseqncia disto que toda bijeo cont ue e ca nua f : X R Y R com X compacto possui inversa cont nua, isto um homeomorsmo. Leia ee tambm as pginas de 163 a 165 do livro do Avila sobre o mesmo assunto. e a Aproveite para fazer os exerc cios 1, 4 e 5 da seo 3 (pginas 86 e 87 do ca a Elon) e compare o exerc 1 com o exerc 4 da pgina 166 do Avila. Faa cio cio a c tambm os exerc e cios 14, 15, 16 e 18 da pgina 167 do livro do Avila. a A seo 4 do livro do Elon trata de um ultimo grande teorema sobre ca funes cont co nuas em intervalos reais: Toda funo cont ca nua em um intervalo fechado uniformemente cont e nua. Podemos ampliar este resultado dizendo que toda funo cont ca nua cujo dom nio um conjunto compacto e e uniformemente cont nua. A seo comea com o conceito de continuidade ca c uniforme (que no abordada no livro do Avila). Faa os exerc a e c cios 1, 3 e 5 da seo 4 do livro do Elon. ca Enm, voc viu os seguintes resultados de funes cont e co nuas nesta unidade: 1. A imagem inversa de um aberto por funes cont co nuas um aberto (o e que no implica que uma funo cont a ca nua leva aberto em aberto). 24

2. A imagem inversa de um fechado por funes cont co nuas um fechado e (o que no implica que uma funo cont a ca nua leva aberto em aberto). 3. Funes cont co nuas levam limites em limites, pontos de acumulao em ca pontos de acumulao. ca 4. Funes cont co nuas levam conexos em conexos. 5. Funes cont co nuas levam compactos em compactos. 6. Funes cont co nuas denidas em compactos so uniformemente cont a nuas. Para nalizar leia as notas histricas do professor Avila, da pgina 168 at o a e a pgina 174, que comentam sobre o in do rigor na Anlise matemtica. a cio a a Semanas de 21 a 30 de junho de 2010 Video conferncia de 24 de junho de 2010 e Prova 2 e Entrega da segunda tarefa em 1 de julho de 2010 e E poca de fazer reviso geral para a segunda prova. Estude principala mente os cap tulos de topologia da reta e funes cont co nuas, no esquecendo, a claro de dar uma olhadinha no cap e tulo de limites de funes reais. co

Concluso a
Ao nal desta disciplina, esperamos que o aluno tenha conhecimento dos conceitos bsicos de topologia e saiba os principais resultados da anlise real a a sobre seqncias, sries e funes cont ue e co nuas. Obviamente, isto s o comeo, e o c mas certamente depois deste curso, esperamos que o estudante seja capaz de estudar sozinho outros tpicos mais avanados. temos um semestre para atino c girmos estes objetivos. Coragem, fora e determinao sero extremamente c ca a nacessrias para este empreendimento. Bons estudos. a

25

Bibliograa
[1] Avila, Geraldo: Anlise Matemtica para Licenciatura, Terceira a a Edio Revista e Ampliada, Ed. Edgard Bl cher (2006). ca u [2] Courant, Richard and John, Fritz: Introduction to Calculus and Analysis, Springer-Verlag (1989). [3] Lima, Elon L.: Curso de Anlise, Volume 1, Projeto Euclides, IMPA a (1995). [4] Lima, Elon L.: Anlise Real, Vol 1, Coleo Matemtica Universitria, a ca a a IMPA (2006). [5] Spivak, Michael: Calculus, 3rd Edition, Publish or Perish (1994).

26