Методы решения физико-математических задач

Основные свойства пределов функции

Основные свойства пределов функции
Приводятся доказательства основных теорем и свойств пределов функций: теоремы об ограниченности функции; предел постоянной; свойства, связанные с неравенствами.

Далее мы считаем, что рассматриваемые функции определены в соответствующей окрестности точки x0. Точка x0 может являться конечным числом или одним из символов бесконечности: . Окрестность может быть как двусторонней для двусторонних пределов, так и односторонней для односторонних.

Влияние значения функции в точке x0 на величину предела

Значение функции в точке x0 никак не влияет на существование и величину предела функции в точке x0.
Доказательство ⇓

Теорема об ограниченности функции, имеющей конечный предел

Если существует конечный предел , то существует такая проколотая окрестность точки x0, на которой функция f(x) ограничена:
.
Доказательство ⇓

Теорема об ограниченности функции, имеющей конечный ненулевой предел

Пусть функция f(x) имеет в точке x0 конечный предел, отличный от нуля:
.
Тогда, для любого числа c из интервала , существует такая проколотая окрестность точки x0, что для всех x, принадлежащих этой окрестности: ,
,   если ;
,   если .
Доказательство ⇓

Свойство о пределе постоянной функции

Если, на некоторой проколотой окрестности точки ,   – постоянная, то .
Доказательство ⇓

Свойство неравенств

Если существуют конечные пределы   и   и на некоторой проколотой окрестности точки x0
,
то .
Доказательство ⇓

Заметим, что если функции удовлетворяют строгому неравенству , то их пределы все равно связаны нестрогим неравенством .

Теорема о промежуточной функции

Если на некоторой проколотой окрестности точки x0:
,
и существуют конечные (или бесконечные определенного знака) равные пределы:
, то
.
Доказательство ⇓

Доказательства свойств

Доказательство не влияния значения функции в точке x0 на величину предела

Формулировка ⇑ Это следует из того, что в определение предела функции входят только значения независимой переменной из проколотой окрестности точки x0. Значение функции в самой точке x0 полностью исключается из рассмотрения. Функция может быть определена в этой точке, или не определена – на существование и величину предела в точке x0 это никакого влияния оказать не может.

Доказательство теоремы об ограниченности функции, имеющей конечный предел

Формулировка ⇑

Пусть существует конечный предел
.
Воспользуемся определением предела функции по Коши.
Согласно этому определению, для любой окрестности точки a, существует такая проколотая окрестность точки , что для всех x, принадлежащих этой проколотой окрестности: , значения функции принадлежат окрестности точки a:
.

Поскольку число a конечно, то в качестве окрестности точки a возьмем ее ε - окрестность с :   .
Тогда существует проколотая окрестность точки , так что для всех x, принадлежащих этой окрестности,
при .
Выполняем преобразования:
;
;
;
.

Итак, мы показали, что существует окрестность , для которой
при ,
где .

Теорема доказана.

Доказательство теоремы об ограниченности функции, имеющей конечный ненулевой предел

Формулировка ⇑

Пусть существует конечный предел, отличный от нуля
.
Воспользуемся определением предела функции по Коши.
Согласно этому определению, для любой окрестности точки a, существует такая проколотая окрестность точки , что для всех x, принадлежащих этой проколотой окрестности: , значения функции принадлежат окрестности точки a:
.

В качестве окрестности точки a возьмем ее ε - окрестность:
.
Поскольку ε есть произвольное положительное число, то положим . Тогда существует проколотая окрестность точки , так что для всех x, принадлежащих этой окрестности,
  при  .
Раскрываем знак модуля и выполняем преобразования:
;
.
При ,  . Тогда
.
При ,  . Тогда
.

Теорема доказана.

Доказательство свойства о пределе постоянной функции

Формулировка ⇑

Пусть, на некоторой проколотой окрестности точки , функция является постоянной:
  при  .
Тогда в этой окрестности, для любого положительного ,
.

То есть для любого , существует такая проколотая окрестность точки , совпадающая с , для всех точек которой
  при  .
Согласно определению Коши это означает, что
.

Свойство доказано.

Доказательство свойства неравенств

Формулировка ⇑

Пусть есть произвольная последовательность, сходящаяся к : . И пусть ее элементы принадлежат проколотой окрестности точки , на которой выполняется неравенство
.
Рассмотрим последовательности и . Поскольку   и  , то согласно определению предела функции по Гейне, эти последовательности имеют пределы:
,   .
Поскольку , то их элементы связаны неравенствами:
.
Тогда, согласно свойству неравенств 3,
.
Отсюда
.

Свойство доказано.

Доказательство теоремы о промежуточной функции

Формулировка ⇑

Пусть есть произвольная последовательность, сходящаяся к : . И пусть ее элементы принадлежат проколотой окрестности точки , на которой выполняются неравенства
(5.1)   .

Рассмотрим последовательности , и . По условию теоремы,
.
Тогда, согласно определению предела функции по Гейне, последовательности и имеют пределы:
,   .
В силу (5.1), элементы последовательностей связаны неравенствами:
.
Тогда, согласно теореме о промежуточных последовательностях,
.

Поскольку есть произвольная последовательность, сходящаяся к , элементы которой принадлежат некоторой окрестности этой точки, то, согласно определению предела функции по Гейне,
.

Теорема доказана.

Использованная литература:
С.М. Никольский. Курс математического анализа. Том 1. Москва, 1983.

.     Опубликовано: