Powiemy, że funkcja f(x) = ——r ma w +oo granicę niewłaściwą równą +oo,
X "t" I
co zapiszemy lim f(x) = +qo. Natomiast dla ciągu (xn), xn * O i xn * -1, dla
X->+oo
którego lim xn = -oo, otrzymujemy
n—>oo lim f(xn) = lim —1—
n->oc/ v n' n->cc 1
1 + -
a więc funkcja tamaw-oo granicę niewłaściwą równą -oo,
lim f(x) = -oo.
X—>—CO
W świetle powyższych przykładów możemy więc przyjąć następującą definicję.
1. Niech funkcja / będzie określona w przedziale (a, +ao), oe/?. Funkcja / ma w plus nieskończoności (+oo) granicę g - co zapisujemy lim /(x) = g
- wtedy i tylko wtedy, gdy dla dowolnego ciągu (xn), którego wyrazy xne(a, +oo) i lim xn = +oo, prawdziwa jest równość lim f(xn) = g.
n-> oo n-»oo
Zapis symboliczny:
def- A
lim f(x) =go A [(*„ e (a, +oo) a lim xn = +oo) => lim f(xn) = gj.
x->+oo (x„) fl->oo n^oo
tell Istnieją granice (skończone) lim /(x) i lim g(x)oraz c jest dowolną
X—>-00 x—>—co
tbą rzeczywistą, to istnieją granice: lirnjc • /(x) ], \'\mjf(x) + g{x) ],
(przy dodatkowym założeniu,
[/(x)-g(x)j, Jim [/(x) • g(x)j, lim
*-*-» g{x)
lim g(x) * O) oraz prawdziwe są równości:
X-+~00
d) Hm [/(x) -g(x)j = lim /(x) • lim g(x),
9 x-^-QOW Z! \ I y x-»-<» x->-oo
lim /(x)
_ X-»-=o _
•) lim
9 W
lim fif(x)
X—►—00
Analogiczne twierdzenie można sformułować i udowodnić dla granicy w +oo. Zajmijmy się teraz obliczaniem granic funkcji w nieskończoności. Metody są tutaj podobne do metod obliczania granic ciągów i ilustrują je następujące przykłady:
PRZYKtAI 7.
Wyznaczmy granice:
a) lim (x4 - 3x2 + x -1), lim (x4 - 3x2 + x -1);
X—>—OO X—»+CO
, s X2 + 3x -1 |;_ x2 + 3x -1.
b) lim--— , lim — -r— ,
X->-oo 4 — X2 x->+co 4 — X^
x - 3 , x - 3
c) lim
, lim
x->-oo x2 - x + 4 *->+co x2 - x + 4
d) lim -r , lim ——z- .
7 X—>-00 X — 1 X—>+00 X I
Ad a) Mamy lim (x4 - 3x2 + x -1) - lim
x >—00 X—> -OO
4
+oo
4
1
= +00.
Niech funkcja / będzie określona w przedziale (- oo, a), aeR Funkcja / ma w minus nieskończoności (-oo) granicę g - co zapisujemy lim /(x) = g
- wtedy i tylko wtedy, gdy dla dowolnego ciągu (xn), którego wyrazy x„e(-oo, o) i lim xn = -oo, prawdziwa jest równość lim f(xn) = g.
n—>oo /■}—-> co
Symbolicznie zapisujemy to tak: def- A
lim f(x) =g^> A [(x„ e (-oo, a) a lim xn = -oo) => lim /(x„) = gj.
W tej definicji dopuszczamy możliwość, że g = +oo lub g = -oo.
Można wykazać, że dla granic w nieskończoności prawdziwe jest następujące twierdzenie.