21030 - Elementos de Anlise Infinitesimal I

(Texto de Apoio)
Luis Gonzaga Albuquerque

Introduo
Neste texto de apoio so dadas indicaes sobre o uso do manual adoptado, tendo em vista uma
orientao para o seu estudo.
Sendo a primeira disciplina de Anlise no curso, a unidade curricular de Elementos de Anlise
Infinitesimal I tem um papel particularmente importante, pois a matria dada para alm do seu uso
prprio serve de base a todas as outras unidades curriculares em que a Anlise tem um papel de relevo,
assim todo o investimento que fizer nesta unidade curricular ser altamente compensador no futuro.
No meio do texto do manual so introduzidos vrios exemplos e exerccios resolvidos que devem
fazer parte integrante do estudo, devendo tentar resolver alguns deles sem ver a respectiva soluo.
absolutamente fundamental que o leitor no fim do estudo de uma dada matria terica resolva
um conjunto de exerccios no fim da respectiva seco at se sentir bem preparado nessa parte da
matria, nunca demais insistir que s com a prtica dominar a matria nos seus aspectos mais subtis.

Captulo I
Na seco 1.1 estuda-se de forma breve as caractersticas mais importantes de corpos ordenados
arquimedianos de que R e Q so exemplos fundamentais no estudo da Anlise Matemtica.
A unicidade do limite de uma sucesso, o teorema das sucesses enquadradas (1.1.1) bem como
os teoremas 1.1.2 e 1.1.3 que relacionam as desigualdades e os limites de sucesses constituem os
primeiros resultados sobre limites de sucesses. So resultados fundamentais que dever dominar antes
de prosseguir o seu estudo.
Na seco 1.2 os Princpios do Encaixe e do Supremo merecem particular destaque uma vez que
so a base da diferena entre o corpo dos nmeros racionais e o dos nmeros reais. As demonstraes
dos teoremas 1.2.6, 1.2.7, 1.2.8 no sero sujeitas a avaliao.
O estudo das seces 1.1 e 1.2 deve ser acompanhado do estudo do Apndice B ( pp 357-362)
A seco 1.3 dedicada ao estudo de noes topolgicas em R e ao estudo mais aprofundado de
sucesses reais. Uma diferena fundamental entre R e Q consiste na convergncia em R das sucesses de
Cauchy, assim se uma sucesso de Cauchy podemos provar a sua convergncia sem necessitarmos de
calcular o seu limite, os resultados 1.3.7 e 1.3.10 so outros exemplos que permitem provar a
convergncia de uma sucesso sem necessitarmos de calcular o seu limite. Um slido domnio dos
teoremas 1.3.13, 1.3.18 e 1.3.23 indispensvel para o clculo de limites de sucesses a nvel menos
elementar.
Para evitar erros devidos a uma m utilizao do Teorema 1.3.11 bastante importante
compreender as observaes feitas na pg 42.
x
Se x n , y n so sucesses assimptoticamente iguais, isto se n 1 ento pode-se substituir x n
y n n+
por y n no clculo de limites de produtos ou quocientes mas no do de somas ou diferenas, considere-se
por exemplo x n = n 4 + n 2 e y n = n 4 , so sucesses assimptoticamente iguais mas no clculo de

lim x n y n

ter-se-ia zero como limite se substitussemos

lim x n y n =

x
1
, ou seja se n 1 no se tem necessariamente que x n y n 0
n +
y n n+
2

n +

n +

xn

por

y n quando na realidade

A seco 1.4 dedicada ao estudo de sries de nmeros reais, comea por um estudo genrico das
sries que deve merecer ateno redobrada uma vez que as sries so matria com a qual o estudante
habitualmente no est familiarizado. absolutamente fundamental dominar as noes de sucesso das
somas parciais, de srie convergente, de srie divergente e de soma de uma srie antes de prosseguir o seu
estudo.
As sries de Mengoli e as sries geomtricas so dos poucos exemplos em que a soma de uma
srie se pode calcular de forma directa sendo o estudo da convergncia ou divergncia de uma srie o
principal tema de estudo desta seco.
Na seco 1.4.2 so estudadas as sries de termos no negativos e respectivos critrios de
convergncia. Toda a matria das seces 1.4.1 e 1.4.2 deve ser estudada integralmente.
Existindo vrios critrios para a determinao da convergncia de uma srie coloca-se o problema
de qual deles utilizar. Para as sries de termos no negativos de forma genrica deve seguir-se a seguinte
ordem: condio necessria de convergncia (teorema 8 p. 69),critrios de comparao (pp. 71,74)
critrio de DAlembert (p. 75), critrio de Cauchy (p. 76).
Quando o termo geral da srie contm factoriais regra geral o critrio de DAlembert o mais
n
indicado, quando contm um factor do tipo ( ) o critrio de Cauchy costuma ser mais eficiente, quando
um quociente de polinmios deve aplicar-se o corolrio do critrio de comparao (p. 74 ) usando uma

1
srie do tipo .
n =1 n
Se o termo geral da srie contm termos negativos deve comear-se por estudar a srie dos
mdulos.
Bem entendido s a prtica lhe permitir fazer as escolhas mais eficientes.
Os critrios de convergncia das sries permitem por vezes obter provas expeditas de
convergncia de sucesses, por exemplo para se provar que se a n uma sucesso de termos positivos e

a n +1
l < 1 ento a n 0 basta observar que pelo critrio de DAlembert (pg 75)
n +
a n n+
convergente e por conseguinte a n 0 por aplicao directa do Teorema 8.

a
n =1

uma srie

n +

Um erro frequente no estudo da convergncia das sries resulta de se comparar uma srie que no
constituda s por termos no negativos com uma srie convergente de termos no negativos assim por

sen(n )
1
sen(n )
sen(n ) 1
exemplo
no convergente porque
2 e por
2 mas sim porque
2
2
2
n
n
n
n
n
n =1

sen(n )
conseguinte
absolutamente convergente e logo convergente.
n2
n =1
No resto da seco sendo importantes os resultados apresentados no to importante estudar em
detalhe as respectivas demonstraes .
Captulo II
Neste captulo estudam-se as noes de limite, continuidade e continuidade uniforme para funes
reais de varivel real, deve estudar com particular cuidado a noo de continuidade uniforme e suas
diferenas em relao noo de continuidade, o teorema de Bolzano e respectivo corolrio bem como o

teorema de Weirstrass so particularmente importantes tendo em vista as aplicaes. Merecem tambm

destaque as seces 2.3 e2.4 pelas suas aplicaes ao estudo de funes.
De seguida apresenta-se um critrio para se provar que uma dada funo no uniformemente
contnua
Se f : A R R uma funo uniformemente contnua e se x n , y n forem sucesses tal que
n N ( x n , y n A) e lim ( x n y n ) = 0 ento lim ( f ( x n ) f ( y n )) = 0 , com efeito, pretende-se ver que
n +

dado certo > 0

n +

n0 : n n0 f ( x n ) f ( y n ) < , como

f :A RR

uma funo

uniformemente contnua tem-se que > 0 : x y < f ( x) f ( y ) < e como x n , y n so sucesses

tal

que n N ( x n , y n A) e lim ( x n y n ) = 0 tem-se que n0 : n n0 xn y n < e por

n +

conseguinte n0 : n n0 f ( x n ) f ( y n ) < ou seja lim ( f ( x n ) f ( y n )) = 0 .

n +

Logo um modo de provar que uma dada funo f : A R R no uniformemente contnua

consiste em encontrar duas sucesses x n , y n tal que n N ( x n , y n A) , lim ( x n y n ) = 0 e no se tenha
n +

lim ( f ( x n ) f ( y n )) = 0

n +

Captulo III
O captulo III dedicado ao estudo da derivao, sendo o conceito de derivada um dos principais
instrumentos de modelao das taxas de variao, no demais insistir na importncia deste captulo
quer do ponto de vista terico quer do ponto de vista das aplicaes.
As seces 3.1 e 3.2 so dedicadas s noes de derivada e derivadas laterais de uma funo num
ponto e suas interpretaes em termos fsicos e geomtricos, bem como s regras usuais de derivao,
matria que dever dominar perfeitamente antes de prosseguir o seu estudo, alm de ser importante em si
mesma indispensvel para o estudo do captulo IV .
Na seco 3.4 so estudados os teoremas fundamentais do clculo diferencial, merecem particular
destaque os teoremas de Fermat (p. 128) de Rolle (p. 129) de Lagrange (p. 130) e suas interpretaes
fsicas e geomtricas.
O domnio das regras de LHpital (p. 126 ) e Cauchy (p. 134) fundamental tendo em vista o
levantamento de indeterminaes
Todo o captulo deve ser estudado integralmente.
Captulo IV
Neste captulo as seces 4.1-4.4 so a matria que faz parte do programa de Elementos de
Anlise Infinitesimal I e que ser sujeita a avaliao.
Aps uma introduo s principais propriedades das funes primitivas, bem como s primitivas
imediatas so estudadas as tcnicas de primitivao por partes e por substituio.
Ser imediato a necessidade do perfeito domnio do teorema da derivada da funo composta para
a compreenso da tcnica de primitivao por substituio, s a prtica lhe dar o conhecimento de qual
deve ser a melhor tcnica a usar no clculo de uma dada primitiva.

Manual adoptado
Sarrico, C. (2008), Anlise Matemtica. Lisboa: Gradiva, 7 edio.