
- •Глава 3. Теория пределов
- •§ 3.1. Предел последовательности. Предел функции
- •§ 3.2. Бесконечно малые величины
- •§ 3.3. Арифметические свойства предела
- •§ 3.4. Предельный переход в неравенствах
- •§ 3.5. Односторонние пределы. Пределы при стремлении к бесконечности
- •§ 3.6.Первый замечательный предел
- •§ 3.7. Предел монотонной ограниченной функции
- •§ 3.8. Число e Теорема 3.8.1. Существует предел последовательности .
- •§ 3.9. Критерий Коши существования предела последовательности, предела функции
§ 3.2. Бесконечно малые величины
Определение
3.2.1. Последовательность
называется
бесконечно
малой,
если
.
Аналогично, функция
-
бесконечно
малая
при
,
если
.
Теорема
3.2.1. Предел
последовательности
существует и равен числу А
тогда
и только тогда, когда
можно
представить в виде
,
где
бесконечно малая последовательность.
Аналогично,
тогда и только тогда, когда
,
где
-
бесконечно малая при
функция.
Доказательство.
Проведем его для случая функций. Для
предела последовательности оно вполне
аналогично. Итак, обозначим
.
Условие
равносильно тому, что
,
что равносильно условию
,
что, в свою очередь, означает, что
-
бесконечно малая при
.
Определение
3.2.2. Функция
называется ограниченной
при
,
если она ограничена в некоторой проколотой
окрестности
, т.е. если существует такое число
, что для всех из окрестности
выполнено
неравенство
В
виде логических формул это выглядит
так:
.
Теорема 3.2.2. (Свойства бесконечно малых)
Если
и
- бесконечно малые при
, то алгебраическая сумма -
тоже бесконечно малая при
;
Если
- бесконечно малая и
- ограниченная при
, то произведение
есть бесконечно малая при
;
Если
и
- бесконечно малые при
, то произведение
- тоже бесконечно малая при
.
Бесконечно малые последовательности обладают вполне аналогичными свойствами:
Если
и
- бесконечно малые последовательности, то алгебраическая сумма -
тоже бесконечно малая последовательность;
Если
- бесконечно малая последовательность, а
- ограниченная последовательность (т.е.
:
), то
- бесконечно малая последовательность;
Если
и
- бесконечно малые последовательности, то произведение
- бесконечно малая последовательность.
Доказательство проводим для случая бесконечно малых функций.
Зафиксируем произвольное
и рассмотрим число
. Тогда, по определению предела, справедливы утверждения: существует число
такое, что из неравенств
следует неравенство
и существует число
такое, что из неравенств
следует неравенство
. Пусть
. Тогда из неравенств
вытекают неравенства
, из которых следуют неравенства
и
.Следовательно, при
имеют место неравенства
означающие справедливость первого утверждения теоремы.
Пусть
ограничена при
, т.е. в некоторой проколотой окрестности
с некоторой постоянной
для любого
выполняется неравенство
. Зафиксируем произвольное
и рассмотрим число
. Тогда существует такое число
что из неравенств
вытекает неравенство
. Пусть
. Тогда из неравенств
вытекают неравенства
, из которых следуют неравенства
и
. Следовательно, при
имеем:
.
Сначала докажем лемму.
Лемма
3.2.1. Если
-
бесконечно малая при
,
то она
ограничена
при
.
(Обратное
утверждение неверно!).
Доказательство:
возьмем
и
получим, чтосуществует
число
такое, что для всех
из
выполнено
неравенство
. Это означает, что
ограничена
при
.
Лемма доказана.
Вернёмся
к теореме. По доказанной лемме
ограничена при
.
Осталось применить свойство 2) бесконечно
малых, доказанное выше.
§ 3.3. Арифметические свойства предела
Теорема 3.3.1. (Арифметические свойства предела)
Пусть
две функции
и
,
имеют при
,
соответственно, пределы
и
.
Тогда предел суммы, разности, произведения,
и, если
,
частного этих функций равны соответственно
сумме, разности, произведению и частному
значений этих пределов, т.е.
а
если, то
.
Аналогичная
теорема верна и для последовательностей.
Если
,
,
то
,
а
если,
то и
Доказательство. По теореме 3.2.1 из условия следует, что
,
где
бесконечно малые при
Тогда
.
По
теореме 3.2.2
алгебраическая сумма бесконечно малых- бесконечно малая, т.е.
,
по теореме 3.2.1.
Перейдем к произведению
Последние
три слагаемых - бесконечно малая величина
припо свойствам 2 и 3 бесконечно малых. По
свойству 1 их сумма – бесконечно малая
при
. По теореме3.2.1,
.
Перейдем к пределу частного и докажем сначала лемму:
Лемма
3.3.1. Если
,
то существует число
такое,
что для всех
выполняется
неравенство
.
Доказательство.
Выберем
.
Тогда, так как
,
существует
число
такое,
что для всех
выполняется
неравенство
.
Следовательно,
и
при любом знаке числа
выполняется неравенство
Лемма доказана.
Теперь докажем следующее утверждение:
Лемма
3.3.2. Если
, то
.
Доказательство. Имеет место равенство
=
.
По
лемме 3.3.1 в
выполняется
неравенство
Следовательно,
. Значит, функция
ограничена
при
,
и
бесконечно малая при
.
Таким образом,разность
бесконечно
малая, т.е.
. Лемма доказана.
Для
доказательства равенства
применим
лемму 3.3.2 и часть теоремы 3.3.1 о пределе
произведения функций..