Ю.Н. Макаров - Лекции по математическому анализу для студентов первого курса Химфака МГУ (1108358), страница 2
Текст из файла (страница 2)
§ 4. Предел функции
Определения:
Окрестностью точки
будем называть произвольный открытый интервал, содержащий точку
, и обозначать
.
Проколотой окрестностью точки
будем называть окрестность точки
, из которой исключена сама точка
, и обозначать
.
δ-окрестностью точки
будем называть такую окрестность точки
, что
, т.е. множество точек
расположенных на действительной прямой на расстоянии от точки
меньшем, чем
.
Проколотой δ-окрестностью точки
будем называть множество
, т.е.
– δ-окрестность точки
, из которой исключена сама точка
.
Пусть функция
определена в некоторой
.
Определение предела функции. Число
называется пределом функции
при
стремящемся к
, или
, если выполнено следующее условие:
такое, что
.
Замечание. В определении предела функции в точке
не учитывается значение функции в самой точке
. В частности, значение
может отличаться от
или быть вовсе не определено.
Определение бесконечно малой величины (б.м.в.). Функция
называется бесконечно малой величиной (сокращенно б.м.в.) в точке
, если
.
Утверждение.
, где
есть б.м.в. в точке
.
Это утверждение следует из определений предела функции и б.м.в., ввиду эквивалентности неравенств:
.
Определение. Функцию
будем называть локально ограниченной в точке
, если
такие, что
или (эквивалентное условие) если
такая, что
.
Утверждение. Если
, то
локально ограничена в точке
.
Доказательство. Так как в определении предела функции число
может быть выбрано произвольно, то положим
, тогда
такое, что
. Следовательно, функция
локально ограничена. Утверждение доказано.
Свойства бесконечно малых величин.
Утверждение. Пусть
и
− б.м.в., а
локально ограничена в точке
. Тогда
,
и
− б.м.в.
Доказательство. Докажем, что
− б.м.в. в точке
.По определению б.м.в.
и
. Пусть выбрано число
. Тогда
и
такие, что
,
.
Пусть
, тогда
.
Следовательно
, т.е.
, по определению предела это означает, что
− б.м.в. в точке
.
Далее докажем, что
− б.м.в. в точке
.
Пусть задано число
. Так как
локально ограничена в точке
, то
такая, что
. Далее, по определению предела функции
такое, что
. Следовательно,
, т.е.
, и тем самым доказано, что
− б.м.в. в точке
.
Осталось доказать, что
− б.м.в. в точке
.
Так как
, то
локально ограничена в точке
по доказанному выше утверждению. Следовательно,
− б.м.в. в точке
.
Арифметические свойства предела функции. Пусть в некоторой
заданы функции
и
такие, что
и
, тогда выполняются следующие равенства:
1)
2)
3) если
, то
.
Доказательство. Так как по доказанному выше:
, где
и
− б.м.в. в точке
, то:
По свойствам б.м.в.
и
есть б.м.в. в точке
. Следовательно, справедливы свойства 1) и 2).
Для доказательства свойства 3) заметим, что при
функция
локально ограничена (доказать самостоятельно). Далее представим частное функций
и
в следующем виде:
По свойствам б.м.в.
есть б.м.в., следовательно свойство 3) также доказано.
§ 5. Односторонние пределы.
Предел монотонной и ограниченной функции
Определение. Число
называется пределом справа функции
в точке
, или
, если
такое, что
.
Аналогично определяется предел слева. Число
называется пределом слева функции
в точке
, или
, если
такое, что
.
Из определений пределов следует
В качестве примера рассмотрим функцию:
.
Определения:
Функцию
будем называть неубывающей (невозрастающей) на интервале
, если
(или
).
Функцию
будем называть возрастающей (невозрастающей) на интервале
, если
(или
).
Функцию
будем называть монотонной на
, если она неубывающая или невозрастающая на
.
Функцию
будем называть строго монотонной на
, если она возрастает или убывает на
.
Функцию
будем называть ограниченной на
, если множество её значений
ограничено.
Утверждение. Пусть функция
монотонна и ограничена на
, тогда
и
. Кроме того,
и
.
Доказательство. Пусть функция
неубывающая, точка
. Докажем, что
. Рассмотрим множество
. По условию
ограничено, следовательно, по аксиоме 1 полноты
. Обозначим
и докажем, что
. Действительно, из того, что
следует:
. Обозначим
, тогда ввиду неубывания функции
:
. Мы доказали, что
. Аналогично доказывается
,
,
. Доказательство этих утверждений предлагаем сделать самостоятельно, а также рассмотреть случай невозрастающей функции.
§ 6. Предел сложной функции
Теорема о пределе сложной функции. Пусть функция
определена в
, а функция
в
; кроме того
,
,
, тогда
.
Доказательство. Пусть задано число
. По определению предела
такое, что
. Заметим, что при
. Далее, так как
, то
такое, что
. Пусть
, тогда
, что и доказывает теорему.
Замечание. Условие теоремы
нельзя отбросить, как показывает следующий пример:
при
, где можно показать, что
,
, а
не существует. Предлагаем доказать это самостоятельно.
§ 7. Переход к пределу в неравенстве
Утверждение 1. Пусть функции
и
определены в
,
,
,
,
, тогда
.
Доказательство. Пусть
. Выберем число
, тогда, по определению предела функции
такое, что
, что противоречит условию
. Следовательно
. Утверждение 1 доказано.
Утверждение 2 (лемма о двух милиционерах). Пусть функции
,
и
определены в
,
,
,
, тогда
.
Доказательство. Рассмотрим 2 случая:
1) Пусть
, тогда по определению предела функции
такое, что:
. Следовательно,
.
2) Пусть
, тогда обозначим
,
,
. Функции
удовлетворяют неравенствам
и
. Следовательно по доказанному выше
, что и требовалось доказать.
У
тверждение.
.
Доказательство. Пусть
.
Рассмотрим окружность единичного радиуса с центром
. Луч, выходящий из центра
под углом
радиан к оси
пересекает окружность в точке
, а ось
в точке
.
Площадь треугольника
не превосходит площади сектора
, которая в свою очередь не превосходит площади треугольника
, т.е.
. Последнее неравенство, ввиду чётности функций
и
справедливо для всех
. Заметим, что
, т.к.
. Следовательно, переходя к пределу в неравенстве
, получим требуемое утверждение.
§ 9. Предел
и три следствия из него
Утверждение.
.
Доказательство.
Определение. Целой частью числа
(обозначается
) называется наибольшее целое число, не превосходящее
.
Пример.
.
Пусть
. Обозначим
. Тогда, из определения целой части числа следует, что
. Применим к этому неравенству лемму о двух милиционерах. Так как
и
, то
Далее докажем, что
. Пусть
. Обозначим
. Тогда ввиду равенств
.. Обозначим
. Тогда
и
при
,
. Следовательно, получаем соотношение
и
. Итак, мы доказали, что
, т.е.
, что и требовалось доказать.
Из доказанного утверждения выведем три важных предела:
1)
;
2)
;
3)
.
Доказательства:
1)
;
2)
;
3)
.
Правомерность этих предельных переходов следует из непрерывности функций
и
, что будет доказано далее.
§ 10. Сравнение бесконечно малых величин
Будем предполагать, что функции, которые мы будем рассматривать в этом параграфе определены в окрестности нуля.
Определение. Функция
есть
(о-малое от функции
), если
. Запись
, .т.е.
− бесконечно малая величина.
Свойства бесконечно малых величин:
1) если
, то
;
2)
, если
(символ “
” означает, что левую часть равенства можно заменить на правую);
3)
;
4)
;
5) если
, то
;
6)
;
7)
.
Доказательство. Докажем два первых свойства. Доказательство остальных предлагаем сделать самостоятельно.
1) Пусть
. Тогда по определению о-малого:
.
Свойство 1 доказано.
2) Пусть
и
,
,
и
, тогда
, что и требовалось доказать.
Свойства бесконечно малых величин удобно применять при вычислении пределов.
















