Материал: Методичка 1

2.6. Понятие асимтотических оценок. Символы o, , O

Асимтотическими оценками называются соотношения вида f(x) =

= o(g(x)), f(x) g(x), f(x) = O(g(x)) ïðè x → a. Дадим точные определения

Определение 2.5. Пусть точка a предельная точка множества X, заданы функции f, g : X → R, причем g(x) 6= 0 в некоторой проколотой окрестности точки a.

1. Функция f есть o-малое от функции g при x → a, если

При этом пишут f(x) = o(g(x)) при x → a. Если f и g являются бесконечно малыми при x → a и f(x) = o(g(x)), то функция f называется бесконечно малой более высокого порядка, чем g при x → a.

2. Функции f и g эквивалентны (асимтотически равны) при x → a,

3. Функция f есть O-большое от функции g при x → a (f ограничена по сравнению с g при x → a), если в некоторой проколотой окрестности точки a для некоторого K > 0 выполнено неравенство |f(x)| ≤ K|g(x)|. При этом пишут f(x) = O(g(x)) при x → a.

15

Замечание 2.3. Ïðè x → a имеем:

1) f(x) = O(1) f ограничена в некоторой проколотой окрестности точки a;

2)f(x) = o(1) f есть бесконечно малая;

3)f(x) = o(g(x)) f(x) = O(g(x)).

Правила действия с асимтотическими оценками при x → a:

13)f(x) g(x) f(x) = g(x) + o(g(x));

14)F (x) f(x), G(x) g(x)

Докажем, например, правила 1, 5, 10, 14 a:

5)из неравенств |O(g(x))| ≤ K1|g(x)| è |O(g(x))| ≤ K2|g(x)|, верных

âнекоторой проколотой окрестности точки a, следует, что

|O(g(x)) + O(g(x))| ≤ |O(g(x))| + |O(g(x))| ≤ (K1 + K2)|g(x)|

Это и означает, что O(g(x)) + O(g(x)) = O(g(x)).

10) по теореме 2.9 о произведении бесконечно малой на ограниченную,

следовательно, o(f(x))O(g(x)) = o(f(x)g(x)).

правой ε-окрестностями точки a.

16

◦

Очевидно, Kε− Kε+ = (a − ε, a) (a, a + ε) = Kε(a).

Определение 2.7. Точка a называется предельной слева (справа) точкой множества X, если пересечение любой ее левой (правой) ε-окре- стностью с X не пусто.

Определение 2.8. Пусть a предельная слева (справа) точка множества X, f : X → R. Точка b R называется пределом слева (справа) функции f в точке a, если для любой ε-окрестности b существует такая левая (правая) δ-окрестность a, что для всех x из пересечения ее с X значения функции принадлежат выбранной ε-окрестности точки b.

предела справа lim f(x) = b èëè f(a + 0) = b.

x→a+0

Кратко определение предела можно записать так:

Теорема 2.10. Пусть a предельная слева и справа точка множе-

17

◦

Èòàê ε > 0 δ > 0 : x Kδ(a) ∩ X f(x) Kε(b). По определению

предела lim f(x) = b.

x→a

Замечание 2.4. Åñëè a есть предельная точка слева (но не справа) множества X, то понятия предела и предела слева в точке a совпадают,

◦

òàê êàê Kδ(a) ∩ X = Kδ−(a) ∩ X при малых δ. Аналогично, если a есть предельная точка справа (но не слева) множества X, то понятия предела

и предела справа в точке a совпадают.

2.8. Бесконечные пределы и пределы на бесконечности

Расширим множество вещественных чисел R, добавив к нему два ½ несобственных “ ýëåìåíòà: −∞ (минус бесконечность) и +∞ (плюс бесконеч- ность). Множество R = R {−∞, +∞} называется расширенным множест-

вом вещественных чисел. При этом считаем, что выполнены неравенства −∞ < +∞ è −∞ < x < +∞ для любого x R.

Пусть x R. Арифметические операции в R определим так. Сложение: x + (+∞) = +∞; (+∞) + x = +∞; x + (−∞) = −∞;

(−∞) + x = −∞; (+∞) + (+∞) = +∞; (−∞) + (−∞) = −∞. Не определены (+∞) + (−∞) è (−∞) + (+∞).

Вычитание: (+∞) − x = +∞; (−∞) − x = −∞; x − (+∞) = −∞; x − (−∞) = +∞; (+∞) − (−∞) = +∞; (−∞) − (+∞) = −∞. Не определены (+∞) − (+∞) è (−∞) − (−∞).

Умножение: 1(+∞) = +∞; 1(−∞) = −∞; (−1)(+∞) = −∞; (−1)(−∞) = +∞; тогда x˜ R \ {0} положим x˜(±∞) = (±∞)˜x = = sign(˜x)(±∞), ãäå sign(±∞) = ±1 . Не определены 0(±∞) è (±∞)0.

Деление: x/(±∞) = 0; (±∞)/x = sign(x)(±∞), åñëè x 6= 0. Не определены (±∞)/(±∞) и деление на 0.

Определение 2.9. Пусть ε > 0. Множества Kε(+∞) = (ε, +∞] è

Kε(−∞) = [−∞, −ε) называются ε-окрестностями точек +∞ и −∞.

◦ ◦

Множества Kε(+∞) = (ε, +∞) è Kε(−∞) = (−∞, −ε) называются проколотыми ε-окрестностями точек +∞ и −∞.

ßñíî, ÷òî Kε1 (±∞) ∩ Kε2 (±∞) = Kε(±∞), ãäå ε = max{ε1, ε2}.

Определение 2.10. Точка +∞ (−∞) называется предельной точ-

кой множества X R если пересечение любой ее проколотой ε-окрест-

◦

ности с X не пусто, т. е. для любого ε > 0 выполнено Kε(+∞) ∩ X 6=

◦

6= (Kε(−∞) ∩ X 6= ).

Для множества Z целых чисел +∞ è −∞ есть предельные точки.

18

Определение 2.11. Пусть X R, a R, a предельная точка X, f : X → R. Точка b R называется пределом функции f в точке a, если для любой ее ε-окрестности существунт такая проколотая δ- окрестность a, что для всех x из пересечения ее с X значения функции принадлежат выбранной ε-окрестности точки b.

Например, для a = −∞ è b = +∞ имеем:

◦

lim f(x) = +∞ ε > 0 δ > 0 : x Kδ(−∞) ∩ X f(x) Kε(+∞)

Определение 2.12. Если lim |f(x)| = +∞, то функция f(x) назы-

x→a

вается бесконечно большой в точке a.

Предложение 2.2 можно кратко сформулировать так: f(x) бесконечно большая (бесконечно малая) в точке a 1/f(x) бесконечно малая (бесконечно большая) в точке a.

Â2.4 доказаны арифмети÷åские свойства пределов. Они справедливы

èв том случае, когда a, b, c R с одной оговоркой: для b è c должна быть

определена в R соответствующая арифметическая операция (в противном

случае говорят, что предел представляет собой неопределенность и указывают ее тип).

Например, если lim f(x) = +∞, lim g(x) = −∞, òî

lim(f − g)(x) = lim f(x) − lim g(x) = (+∞) − (−∞) = +∞;

x→a

lim(fg)(x) = lim f(x) lim g(x) = (+∞)(−∞) = −∞.

Íî lim(f +g)(x) есть неопределенность типа ∞−∞ (так как сумма (+∞)+

x→a

(так как частное −+∞∞ не определено в R). Аналогично надо понимать слова неопределенности типа 0∞, 00.

19