Você está na página 1de 129
GERALDO AVILA INTRODUGAO A ANALISE MATEMATICA 22 edicao revista EDITORA BLUCHER 950 anos www.blucher.com.br Prefacio (0 presente livro, langado em fevereiro de 1993, teve uma reimpresséo en 1995 © agora aparece em sua segunda edicao, que incorpora as correcdes dos erros encontrados, alguns exercicios a mais ¢ uma parte final sobre o teorema de Ascoli Um curso de Anélise, Céleulo, ou qualquer outra diseiplina mateméti. ca, deve, antes de tudo, transmitir idéias, B isto, muitas vezes, € prejudi- cado om exposicdes carregadas de formalismo ¢ rigor. Até mesmo em cur sos mais avancados, a insisténcie excessiva nesses elementos da apresentacio freqiientemente dificulta a transmissao das idéias e o proprio aprendizado. © testemunho histérieo nos ensina que 150 anos decorreram desde o surgimento do CAlculo, com Newton e Leibniz, no século XVII, até o inicio de sua formulacao rigorosa por volta de 1820, E nao foi por falta de eérebros capazes que nesse interregno nada se fez de satisfatério sobre os fundamentos. Esse longo perfodo de tempo viu. passar génios de primeira grandeza, como os Bernoulli, Euler, @Alombert e Lagrange, E varios deles tentaram, sem sucesso, prover 0 Célculo de uma fundamentagéo rigorosa, Como bem observa Dieudonné (na p. 22 da roferéncia [D2)), “a falta de rigor imputade aos matematicos do século XVITT provém sobretudo das dificuldades por eles enfrentadas em definir de maneira precisa as nogbes bésicas do Célculo, das quais, todavia, tinham muitas vezes ‘uma boa concepgao intuitiva”. Fat precisamente essa concepedo intuitiva que os iow com muito sucesso durante todo o século, Por isso mesmo, embora rigor ¢ formalisme sejam ingredientes essenciais de uin curso de Anélise, procuramos {208-los presentes, enti nossa apresentagao, de maneita equilibrada, sem descurar as virtudes do pensainento intuitivo. O presente livro cobre o material que costume ser apresentado num primeiro ‘curso de Anilise de final de graduagao on inicio da pés-graduagio. Ele pressupde que © aluno jé tenha feito um curso de Caleulo de uma varidvel, incluindo derivadas e integrais, o estudo do comportamento das fungoes, esbocos de curvas e séries de Taylor e MacLaurin. Basta isso como pré-requisito: por isso mestno, cremos ser bastante aconzelhivel que um curso de Anzlise nos moldes do presente livro seja ministrado logo apés um primeiro curso de Calculo © capitulo 1 introdirz © aluno a0 conjunto dos mimeros reais como corpo ordenado completo, poréim de um ponto de vista pritico, enfatizando a pro- cpriedade do supremo € 8 desigualdade do triangulo. Os capitulos 2 ¢ 3, sobre seqiiéncias ¢ séries numéricas, cobrem, em grande parte, material que faz parte de um segundo curso de Célculo. Por isso mesmo, dependendo do preparo prévio dos alunos, talvez possam ser dispensados; mas apenas em parte, pois ai aparecem resultados importantes, como o teorema de Bolzano- Weierstrass, 05 conceitos de “limite superioe” ¢ “limite inferior” de uma seqiiéncia, o teorema dos intervalos encaixados, a forma mais geral do teste da raiz sobre convergéncia de séries etc., t6picos esses que sao imprescindiveis para 0 que viré depois. Tudo limites no infinito, 92. As descontinuidades de uma fungao, 95. O conjunto © a fungao de Cantor, 98. Exercfcios, 101. Sugestdes e solugies, 102. Notas historicas e complementares, 103. O Inicio do rigor na Andlise Matemética, 103. Carl Friedrich Gauss (1777-1855), 107. CapiruLo §: Fungdes GLOBALMENTE Conrinuas 108 Conjuntos compactos. 108. Fungdes continuas em dominios compactos ¢ Intervalos, 109. Exerefcios, 113. Sugesties, 114. Teorema de Borel-Lebeseue, 115. Continuidade uniforme, 116. Exercicios, 118. Sugesties e solucies, 119 Notas histéricas e complementares, 120. O ‘Teorema do valor intermedi 120. Weierstrass e os fundamentos da Andlise, 121. O teorema de Borel- Lebesgue, 121, Capiruro 6: O CéLovLo DIFERENCIAL 123 Derivada e diferencial, 123. Derivada da fungéo inversa, 127, Exercicios, 128. Sugestes, 129. Méximos ¢ minimos locais, 129. Teorema do valor médio, 130. Exercicios, 134. Sugestdes, 136. Notas histéricas e complementares, 137. As origens do Célculo, 137. O eélculo fluxional de Newton, 138. 0 cAleulo formal de Leibniz, 139. Newton e Leibniz, 140. O problema dos fundamentos, 140. CapiruLo 7: A INTEGRAL DE RIEMANN 142 Introdugdo, 142. Somas inferiores e superiores, fungées integréveis, 142 Exercicios, 148. Critérios de integrabilidade, 48. Exercicios, 151. Sugestdes, 151. Propriedades da integral, 151. Exercicios, 155. Sugesties, 155. Somas de Riemann, 156. Exercicios, 158. Conjuntos de medida zero e integrabilida- de, 159. Notas histéricas e complementares, 163. Cauchy e a integral, 163. Dirichiet e a série de Fourier, 163. Riemann e a integral, 164. CapiruLo 8: O TEOREMA PUNDAMENTAL B APLICAGOES DO CALCULO 167 Primitivas de fungdes eontinuas, 169, Integracdo por partes e substituigao, 171, Bxerefcios, 172, Sugestdes, 173. A fungio logaritmica, 173. A fungao exponencial e 0 miimero e, 175. A exponencial a, 176, Exercicios, 177. Ordem de grandeza, 178. Exercicios, 81. Sugestdes, 181. Regra de I'Hopital, 181, Exercicios, 183. Sugesties, 184. Integrais impréprias, 184, Exercicios, 188, Sugestées, 190. Pérmula de Taylor, 190, Exercicios, 195. Respostas sugesties, 196. Férmula de Taylor com resto integral, 196. Notas histéricas e compiementares, 197. O inicio do Célculo, 197. © teorema fundamental segundo Newton, 198, O teorema fundamental segundo Leibniz, 199. O logaritmo como Area, 199. Leibniz, os irmios Bernoulli e Hopital, 200. A interpolagio ¢ o polinomio de Taylor, 200, Leonhard Buler (1707-1783), 201. Capiruto 9: SEqiiavcias © SERIES DE FUNGOES 202 Introdugao, 202. Convergéncia simples e convergéncia uniforme, 202. Exer- icios, 206. Sugestdes e solugdes, 207, Conseqiiéncias da convergéncia unifor- me, 208. Séries de fungdes, 213, Exercicios, 215. Sugestées e solucées, 216. Séries de poténcias, 217. Raio de convergéncia, 219. Propriedades das séries de poténcias, 220. Fungées C™ e fungées analiticas, 222. Exercicios, 223, ‘Sugestes, 224. As fungées trigonométricas, 224. Exercicios, 226. Sugesties, 226. Multiplicagdo de séries, 226. Divisio de séries de poténcias, 228. Exer- cicios, 229. Teoremas de Abel e Tauber, 230. Séries trigonométricas, 232 Exercicios, 235. Equicontinuidade, 235. Notas histéricas e complementares, 240, As séries de poténcias, 240. Lagrange e as funcdes analiticas, 241, A convergéncia uniforme, 241. A aritinetizagio de Andlise, 243, REFERENCIAS BIBLIOGRAFICAS 245 BIBLIOGRAFIA ADICIONAL 248 inpice ALrABérico 249 inpice pe Nomes 253