II.

0 Limites de funes
No Ensino Secundrio foi dada uma definio de limite de funo recorrendo aos limites de sucesses. costume design-la por definio de limite segundo Heine, em homenagem ao matemtico alemo Heinrich Eduard Heine (1821-1881). Recordemo-la. Seja f uma funo definida num intervalo aberto contendo o ponto a, podendo no estar definida no ponto a, e seja b um nmero real. Diz-se que o limite de f(x) quando x tende para a b e escreve-se

lim f ( x) = b
x a

se e s se, para toda a sucesso (xn ) que tenda para a por valores diferentes de a, a sucesso (f (xn )) tende para b. Simbolicamente
(x n )

[(x n ) a x n a ] (f (x n )) b

Notemos que esta definio muito geral, abrangendo tambm todos os casos de limites infinitos. Alm do mais, a partir desta definio fcil provar teoremas sobre o limite de uma soma, um produto, um quociente ou uma raiz. Contudo, para

24_______________________________________________________

demonstrar outros resultados de que precisaremos, mais conveniente introduzir outra definio. Definio II.0.1 (segundo Cauchy) Seja f uma funo definida num intervalo aberto contendo o ponto a, podendo no estar definida no ponto a. Seja b um nmero real. Diz-se que o limite de f(x) quando x tende para a b , se e s se, para todo o > 0 podemos encontrar um nmero > 0 tal que, para todo o x do domnio de f, se x tal que 0 < x a < ento f (x) b < . Simbolicamente
>0 > 0

: 0 < x a < f ( x) b <

x D f

Pode-se provar (no o faremos aqui) que as duas definies so equivalentes. O matemtico ingls G. H. Hardy, um apaixonado pelo criquete, o desporto nacional britnico, dizia que, para se entender bem a noo de limite, preciso pensar numa competio entre um heri e um bandido. O heri tenta provar que lim f ( x) = b enquanto que o bandido tenta provar o contrrio. O bandido escolhe x a psilons sua vontade enquanto o heri tenta encontrar deltas de modo que para todo o x tal que 0 < x a < ele consiga ter que f (x) b < . O heri ganhar o jogo (e provar assim que lim f ( x) = b ) quando, para qualquer escolhido pelo
x a

bandido, conseguir encontrar sempre um nas condies pretendidas. O bandido ganhar, pelo contrrio, quando conseguir encontrar um para o qual o heri no consiga encontrar um que satisfaa o pretendido. Podemos ainda enunciar esta definio de outros modos equivalentes: i) para cada > 0 podemos encontrar pelo menos um nmero > 0 tal que, para todo o x do domnio de f, se x tal que a - < x < a + (e x diferente de a) ento b < f (x) < b + ; ii) para qualquer > 0 podemos encontrar algum nmero > 0 tal que, para

______________________________________________________25 todo o x do domnio de f, se x pertence ao intervalo ]a , a + [ (e x diferente de a) ento f(x) pertence ao intervalo ]b , b + [ . Graficamente, diremos que o limite de f(x) quando x tende para a b se e s se, qualquer que seja o intervalo ]b , b + [ traado no eixo dos YY, podemos encontrar algum intervalo ]a , a + [ no eixo dos XX, tal que os x desse intervalo (excepto o ponto a) so transformados por meio de f em pontos que caem dentro do intervalo ]b , b + [ .

b+

b- a- a a+

Dito de outro modo: por mais pequeno que seja o intervalo ]b , b + [ traado no eixo dos YY, podemos sempre encontrar algum intervalo ]a , a + [ no eixo dos XX, tal que os x desse intervalo (excepto o ponto a) so transformados por meio de f em pontos que caem dentro do intervalo ]b , b + [ . Observemos que no podemos simplesmente dizer que f(x) se aproxima de b quando x se aproxima de a. Por exemplo

26_______________________________________________________

f (x) = 10 5x

aproxima-se de 20 medida que x se aproxima de zero, e no entanto no parece ter sentido dizer que o limite 20 (porque ento podamos pr 50 ou 100 ou outro nmero superior a 10 no lugar de 20, e a funo teria uma infinidade de limites o que no parece ser interessante). preciso assim escolher uma definio que permita ver que f(x) se aproxima de b de uma forma que no deixa margem para dvidas (com uma aproximao, , to pequena quanto se queira). Vejamos que
lim 1 x 0 x

no existe. Se por acaso existisse um nmero real b limite de 1/x quando x tende para zero, ento dado um intervalo ]b , b + [ dever ser sempre possvel encontrar um intervalo ] , [ tal que f transforma os pontos do intervalo ] , [ (excludo o ponto zero) em pontos do intervalo ]b , b + [ .

______________________________________________________27

b+ b b-

Contudo, por mais apertado que seja o intervalo ] , [ que escolhamos, os seus pontos so transformados em pontos que nunca cabem no intervalo ]b , b + [ porque a funo 1/x assume valores incontrolavelmente grandes. Logo no pode existir o limite procurado. Vejamos algumas propriedades dos limites de funes reais de varivel real. Consideraremos sempre que as funes esto definidas em intervalos ou unies finitas de intervalos. Teorema II.0.2 O limite de uma funo, se existir, nico.

Teorema II.0.3

28_______________________________________________________

Suponhamos que existem os limites lim f ( x) e

x a

lim g(x)
xa

Se p e q forem nmeros reais quaisquer, ento i) lim [pf (x) + qg( x) ] = plim f (x) + q lim g(x) ii) lim [ f ( x) g(x)] = lim f (x) lim g(x)
x a x a x a x a x a x a

Se s for um nmero real no nulo e f(x) > 0 para todo o x do domnio de f, ento iii) lim [f (x)s ] = lim f (x)
x a x a

]
s

Se s for um nmero real positivo, ento lim g(x ) iv) lim sg( x ) = s x a
x a

Se g(x) 0 para todo o x num intervalo aberto contendo o ponto a, ento f ( x) lim f (x) v) lim = x a x a g( x) lim g(x)
x a

Se f(x) > 0 para todo o x num intervalo aberto contendo o ponto a, e se os dois limites no forem simultaneamente nulos, ento vi) lim f ( x) g(x ) = lim f ( x)
x a x a

x a

lim g(x )

Se, em vi), os dois limites forem simultaneamente nulos, nada se pode dizer a priori sobre o comportamento do limite. Neste caso dizemos que estamos em presena de uma indeterminao porque, dependendo das funes particulares f e g envolvidas, assim obteremos diferentes valores para o limite. No caso presente, diz-se que se trata de uma indeterminao do tipo 00. Essa indeterminao desaparecer quando for possvel determinar o valor do limite (quando exista) por outros meios. Um modo de reduzir esta indeterminao a outras conhecidas ser estudado no pargrafo VIII.6.

______________________________________________________29

Alm das propriedades elementares anteriores, precisamos ainda de mais algumas. Teorema II.0.4 (do limite da funo composta) Se f e g esto definidas em intervalos adequados,

lim f ( x) = b
x a

lim g( y) = c
y b

e g uma funo contnua no ponto b, ento

lim g( f (x)) = c
x a

Teorema II.0.5 Se e L um nmero real tal que

lim f ( x) = b
x a

f(x) > L para todo o x num intervalo aberto contendo o ponto a, excepto no ponto a, ento bL

O recproco deste teorema no verdadeiro. O limite pode ser superior ou igual a um dado valor mas a funo no o ser. Por exemplo, se
f (x) = 5 + 2 x

ento Mas

lim f ( x) = 6 6
x 2

30_______________________________________________________

1 1 < x 2 2 2 5+ < 5+ = 6 x 2 Contudo, se o limite for estritamente superior a um dado valor, j a funo ser x>2 superior a esse valor nalgum intervalo aberto contendo o ponto a (podendo no estar definida no ponto a). Teorema II.0.6 Se e b>0 ento, existe um intervalo aberto contendo o ponto a, onde se tem
f (x) > 0

lim f ( x) = b
x a

excepto possivelmente para x = a. Demonstrao Por definio, dado um positivo arbitrrio sempre possvel encontrar um tal que, para todo o x do domnio que verifique 0 < x a < , se tem
f (x) b <

isto
< f (x) b <

ou ainda
b < f (x) < b +

Tomemos um conveniente de modo a conseguir o pretendido na tese do teorema. Pode ser, por exemplo = b/2, pois, nesse caso, b - = b/2 > 0. Assim,

______________________________________________________31 escolhido este , temos a certeza que existe algum tal que, para todo o x do domnio que verifique 0 < x a < , se tem
b < f (x) 2 e ento, nalgum intervalo aberto contendo o ponto a (excepto possivelmente no

ponto a, pois a funo pode nem sequer estar definida em a, porque apenas se exige que 0 < x a ),
0 < f (x)

Corolrio II.0.7 Se e

lim f ( x) = b
x a

b>L ento, existe um intervalo aberto contendo o ponto a, onde se tem

f (x) > L

excepto possivelmente para x = a.

Teorema II.0.8 (da sanduche) Se f (x) h(x) g(x) num intervalo aberto contendo o ponto a (excepto possivelmente para x = a) e

lim f ( x) = lim g( x) = b
x a x a

ento

lim h( x) = b
x a

32_______________________________________________________

Os limites laterais definem-se, segundo Cauchy, de modo semelhante, e as diversas propriedades mantm-se com as adaptaes necessrias.

Como generalizar a definio segundo Cauchy aos limites infinitos? Definio II.0.9 (segundo Cauchy) Seja f uma funo definida num intervalo ]c,+[. Seja b um nmero real. Dizse que o limite de f(x) quando x tende para mais infinito b , e escreve-se
x +

lim f (x) = b

se e s se, para todo o > 0 podemos encontrar um nmero M > 0 tal que, para todo o x do domnio de f, se x superior a M ento f (x) b < . Simbolicamente
>0

M> 0

: x > M f ( x) b <
x D f

Pode-se provar (no o faremos aqui) que as definies segundo Heine e segundo Cauchy so equivalentes tambm neste caso. fundamental observar que o smbolo mais infinito no representa um nmero real; utilizado apenas para indicar que x cresce alm de qualquer nmero real. Vejamos qual o significado geomtrico desta definio. Tracemos as rectas horizontais
y = b+

y = b

O limite de f(x) quando x tende para mais infinito b se e s se, quaisquer que sejam essas rectas horizontais, for possvel encontrar o valor M tal que, para todo o x superior a M, todos os pontos ( x, f ( x)) esto entre as rectas dadas

______________________________________________________33

b+ b b-

(x,f(x))

As propriedades anteriores so ainda vlidas para este caso, com as adaptaes convenientes. u A generalizao ao caso do limite quando x tende para menos infinito semelhante anterior. Definio II.0.10 (segundo Cauchy) Seja f uma funo definida num intervalo ] ,c[. Seja b um nmero real. Dizse que o limite de f(x) quando x tende para menos infinito b , e escreve-se
x

lim f (x) = b

34_______________________________________________________

se e s se, para todo o > 0 podemos encontrar um nmero < 0 tal que, para todo o x do domnio de f, se x inferior a M ento f (x) b < . Simbolicamente
>0

M< 0

: x < M f ( x) b <
x D f

u Vejamos outra generalizao da definio segundo Cauchy aos outros casos de limites infinitos. Definio II.0.11 (segundo Cauchy) Seja f uma funo definida num intervalo aberto contendo o ponto a, podendo no estar definida no ponto a. Diz-se que o limite de f(x) quando x tende para a mais infinito, e escreve-se

lim f ( x) = +
x a

se e s se, para todo o M > 0 podemos encontrar um nmero > 0 tal que, para todo o x do domnio de f, se x tal que 0 < x a < ento f (x) > M . Simbolicamente
M> 0 >0

: 0 < x a < f (x) > M

x D f

______________________________________________________35

y=M

a a a +

Vejamos qual o significado geomtrico desta definio. Tracemos a recta horizontal y = M . O limite de f(x) quando x tende para a mais infinito se e s se, qualquer que seja a recta horizontal traada, podemos encontrar algum intervalo ]a , a + [ no eixo dos XX, tal que os x desse intervalo (excepto o ponto a) so transformados por meio de f em pontos que caem acima da recta dada.

A generalizao aos restantes casos semelhante s anteriores e todas as propriedades anteriores se mantm vlidas com as adaptaes convenientes. Em particular devem evitar-se as indeterminaes 0 , 0 e 1. Os seguintes teoremas

36_______________________________________________________

so muito teis: Teorema II.0.12 (do limite da funo composta para limites infinitos) Se f e g esto definidas em intervalos adequados,

lim f ( x) = +
x a

y +

lim g( y) = c

ento

lim g( f (x)) = c
x a

O teorema ainda vlido para os restantes limites infinitos. Vejamos que

x 0

lim e1 x = 0+

usando o teorema do limite da funo composta. Como

lim 1 = , x

x 0

lim e y = 0 +

podemos usar o teorema para concluir o pretendido.

Teorema II.0.13 a) Temos 0 se p > n anx + an 1x +...+a0 an lim = se p = n p p 1 x + b x + b +...+b0 bn p p 1 x no existe se p < n No caso em que p < n, podemos ainda dizer que o limite ser + quando an e
n n 1

bp so do mesmo sinal e o limite ser - quando an e bp so de sinais contrrios.

______________________________________________________37

b) O limite

lim
no existe se n for mpar.

x a

1 (x a)n

Esta noo de limite demorou muito tempo a ser estabelecida na Histria da Matemtica, aparecendo as primeiras definies aceitveis apenas nos fins do sculo XVIII, princpios do sculo XIX. Entre os primeiros a apresentar uma definio satisfatria contam-se o portugus Anastcio da Cunha e o francs Augustin-LouisCauchy. No livro "Principios Mathematicos" (1790), Jos Anastcio da Cunha afirma:
I. Se uma expresso admitir mais de um valor, quando outra expresso admite um s, chamar-se- esta constante, e aquela varivel. II. A varivel que puder sempre admitir valor maior que qualquer grandeza que se proponha chamar-se- infinita; e a varivel que poder sempre admitir valor menor que qualquer grandeza que se proponha, chamar-se- infinitsima.

No livro "Cours D'Analyse de L' cole Royale Polytechnique: I-Analyse Algbrique" (1821) de Augustin-Louis Cauchy pode ler-se:
Chama-se quantidade varivel aquela que se considera como devendo receber sucessivamente vrios valores diferentes uns dos outros. Designa-se uma tal quantidade por uma letra tomada ordinariamente entre as ltimas letras do alfabeto. Chama-se pelo contrrio quantidade constante, e designa-se ordinariamente por uma das primeiras letras do alfabeto toda a quantidade que recebe um valor fixo e determinado. Quando os valores sucessivamente atribudos a uma mesma varivel se aproximam indefinidamente de um valor fixo, de maneira a diferir dele to pouco quanto se

38_______________________________________________________

queira, este ltimo chama-se o limite de todos os outros.