Limites

maro de 2012
Denio 1. Seja f : X R uma funo (com X R) e a um nmero real possivelmente no pertencente ao conjunto X. Diremos que o limite de f (x) quando x a (l-se x tende ao nmero a) o nmero L, e indicaremos isto escrevendo lim f (x) = L, quando, e somente quando, para todo > 0, existir
xa

um > 0 tal que |f (x) L| < sempre que 0 < |x a| < . Em smbolos, o enunciado acima estabelece que:
xa

lim f (x) = L ( > 0) ( > 0) (0 < |x a| < |f (x) L| < )

Noutros termos, para que o limite de f (x) quando x a seja o nmero L necessrio e suciente que, para qualquer mmero > 0, seja possvel encontrar um nmero > 0 de modo que, se for uma cota para o erro que se comete ao se aproximar a por x, ento ser uma cota para o erro que se comete ao se aproximar L por f (x). Teorema 1. O limite de f (x) quando x a, se existir, nico. Isto , se lim f (x) = L1 e lim f (x) = L2 , ento L1 = L2 .
xa

xa

Propriedades dos limites

Sejam f : X1 R, g : X2 R (com X1 , X2 R) duas funes e a um nmero real possivelmente no pertencente aos conjuntos X1 e X2 . Suponha que lim f (x) = L e lim g (x) = M . possvel provar que:
xa xa xa

Propriedade 1. Se c for uma constante, ento lim c = c. Propriedade 2. lim x = a.

xa

Propriedade 3. Se c for uma constante, ento lim [c f (x)] = c L. Isto ,

xa xa

lim [c f (x)] = c lim f (x) .

xa xa xa

Propriedade 4. lim [f (x) g (x)] = L M . Isto , lim [f (x) g (x)] =

xa

lim f (x) lim g (x).

xa

Propriedade 5. lim [f (x) g (x)] = L M .

xa xa

Isto ,

xa

lim [f (x) g (x)] =

lim f (x) lim g (x) .

xa

Propriedade 6. Se f1 : X1 R, f2 : X2 R, ..., fn : Xn R (com X1 , X2 , ..., Xn R) forem funes, a for um nmero real possivelmente no pertencente aos conjuntos X1 , X2 , ..., Xn e, alm disso, lim f1 (x) = L1 ,
xa xa

lim f2 (x) = L2 , ..., lim fn (x) = Ln , ento lim [f1 (x) f2 (x) ... fn (x)] =
xa xa xa

L1 L2 ... Ln e lim [f1 (x) f2 (x) ... fn (x)] = L1 L2 ... Ln . Propriedade 7. Se M = 0, ento lim f (x) = g(x)
xa n xa L M.

Isto , lim f (x) = g(x)

xa xa

xa

lim f (x) lim g(x) . n

xa

Propriedade 8. Se n for um nmero natural no-nulo, ento lim [f (x)] = Ln . Isto , lim [f (x)] =
xa n

lim f (x)

Propriedade 9. Se n for um nmero natural no-nulo e mpar, ento lim n f (x) = xa n L. Isto , lim n f (x) = n lim f (x).
xa xa

Propriedade Se n for um nmero natural no-nulo e par e L > 0, ento 10. lim n f (x) = n L.
xa

Limites laterais

Denio 2. Seja a um nmero real, c um nmero pertencente ao intervalo (a, +) e f : (a, c) R uma funo. Diremos que o limite de f (x) quando x tende ao nmero a pela direita (ou que o limite lateral direito de f (x) quando x a+ ) L , e indicaremos isto escrevendo lim f (x) = L, quando,
xa+

e somente quando, para todo > 0, existir um > 0 tal que |f (x) L| < sempre que 0 < x a < . Denio 3. Seja a um nmero real, c um nmero pertencente ao intervalo (, a) e f : (c, a) R uma funo. Diremos que o limite de f (x) quando x tende ao nmero a pela esquerda (ou que o limite lateral esquerdo de f (x) quando x a ) L , e indicaremos isto escrevendo lim f (x) = L, quando,
xa

e somente quando, para todo > 0, existir um > 0 tal que |f (x) L| < sempre que 0 < a x < . Dizendo de outro modo, para que o limite lateral direito (esquerdo) de f (x) quando x a+ (x a ) seja o nmero L necessrio e suciente que, para qualquer mmero > 0, seja possvel encontrar um nmero > 0 de modo que, se for uma cota para o erro que se comete ao se aproximar a por valores x maiores do que a (por valores x menores do que a), ento ser uma cota para o erro que se comete ao se aproximar L por f (x). Teorema 2. lim f (x) existe se, e s se, lim+ f (x) = lim f (x) .
xa xa xa