11Определение предела функции по Гейне

11.1Определения предела по Коши и по Гейне

Определение предела функции, которое мы дали в предыдущей главе, называется также определением «по Коши». Напомним его:

Определение 1. (Предел функции по Коши) Пусть функция определена в некоторой проколотой окрестности точки . Говорят, что предел функции в точке равен числу , если для всякого найдётся такое , что для всех из проколотой -окрестности точки значения функции лежат в -окрестности точки .

Формально: утверждение

по определению означает, что
или (см. замечание 3 из предедыщей лекции 10):

Для некоторых целей нам будет удобно использовать другое определение, известное как определение предела функции «по Гейне». Оно основано на понятии предела последовательности.

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

Формально:

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

Нужно сказать про несколько тонкостей определения по Гейне:

  1. Вообще говоря, не все значения обязаны быть определены: возможно, какие-то из начальных членов последовательности лежат вне области определения функции . Однако, мы знаем, что функция определена в некоторой проколотой окрестности точки , а последовательность стремится к , и значит, начиная с некоторого члена, обязательно окажется внутри той окрестности, где функция определена. Вместе с дополнительным условием о том, что члены последовательности не равны , это гарантирует, что по крайней мере начиная с некоторого , все члены последовательности определены. А поскольку начальные члены последовательности не влияют на предел, их можно просто отбросить.
  2. Условие о том, что все члены последовательности , не равны , очень важно. Рассмотрим функцию
    из примера 12 с предыдущей лекции. Последовательность
    стремится к , при этом последовательность значений функции имеет вид:
    и не имеет предела. Таким образом, если бы мы не требовали от последовательности никогда не посещать , нам пришлось бы сказать, что данная функция не имеет предела в точке , хотя согласно определению по Коши оно его имеет.

    Требование соответствует выбору проколотой окрестности для в определении по Коши вместо обычной окрестности.

    Заметим, что его также можно ослабить, и требовать, чтобы не для всех , а для всех, начиная с некоторого.

  3. Тот факт, что в определении используется квантор всеобщности (для любой последовательности ), а не существования, также очень важен. Рассмотрим функцию
    из примера 13 с предыдущей лекции. У неё нет предела (по Коши) в точке , поскольку при приближении по к точке справа или слева, значение функции приближается к разным числам ( и соответственно).

    Однако, если мы рассмотрим последовательность , она удовлетворяет всем условиям определения по Гейне, и при этом . Если бы достаточно было проверить лишь одну последовательность, мы могли бы сказать, что предел равен . Что не так: выбирая другую последовательность (например, ), мы бы получили другой предел .

11.2Эквивалентность определений

Теорема 1. Определения предела по Коши и по Гейне эквивалентны.

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

Из Коши следует Гейне. Пусть предел функции при равен по Коши. Докажем, что тогда он равен также и по Гейне.

Идея доказательства такая. Из определения по Коши следует, что если близок к (но при этом не равен ), близко к . Пусть последовательность стремится к и никогда не посещает . Тогда если подождать достаточно долго, начнут быть близкими к (и не равными ). В этом случае, согласно определению по Коши, окажутся близкими к . Значит, стремится к .

Осталось чётко сформулировать, что значит в каждом случае означают слова «близко» и «достаточно долго».

Утверждение «предел функции при равен по Коши» формализуется так:

Докажем, что в этом случае определение по Гейне тоже выполняется. Пусть — произвольная последовательность, стремящаяся к и никогда не посещающая . Тогда для всякого найдётся такое , что для всех , выполняется неравенство . Дополнительно известно, что для всех натуральных , . Таким образом, для всех , выполняется неравенство
Иными словами, все члены последовательности, начиная с номера , лежат в проколотой -окрестности точки . Формально:
Мы хотим доказать, что в этом случае . Иными словами, нам нужно доказать, что для всякого найдётся такое , что для всех выполняется неравенство .

Сравним утверждения (11.1) и (11.2). Утверждение (11.1) говорит, что если мы хотим сделать близким к , то нужно потребовать, чтобы был близок к и не равнялся . Утверждение (11.2) говорит, что если мы хотим, чтобы был близок к , то нужно выбрать достаточно большое значение . Осталось соединить эти два утверждения.

Пусть мы хотим сделать так, чтобы был -близок к . Согласно (11.1), для этого нужно сделать так, чтобы был -близок к . Согласно (11.2), для этого нужно сделать так, чтобы был больше, чем . Иными словами, мы в утверждении (11.2) в качестве должны использовать значение .

Действительно, положим . Тогда согласно (11.2) для всех , выполняется неравенство

Согласно (11.1), для всех значений , для которых верно неравенство , верно неравенство . Значит, для всех это неравенство также верно.

Итак, для всякого мы построили такое , что для всех выполняется неравенство . Таким образом, .

Это построение работает для любой последовательности , удовлетворяющей условиям и для всех . Значит, утверждение определения по Гейне доказано.

Из Гейне следует Коши. Будем доказывать от противного. Пусть есть такая функция , что для неё выполняется утверждение по Гейне, но не выполняется такое же утверждение по Коши.

Запишем формально, что значит «не выполняется такое же утверждение по Коши». Для этого нужно навесить отрицание на формулу (11.1). Получится такая штука:

В этой формуле произвольна, а зависит от этой . Чтобы прийти к противоречию, мы построим последовательность , для которой утверждение в определении предела по Гейне будет нарушаться: а именно, будет стремиться к , но не будет стремиться к .

Для этого возьмём последовательность . (Как обычно в таких случаях, подойдёт любая последовательность положительных чисел, стремящаяся к нулю.) Положим также . Для всякого натурального ,

Левая и правая границы стремятся к , следовательно, по теореме о двух милиционерах, . Дополнительно верно, что для всех , . Таким образом, последовательность удовлетворяет условию в определении предела по Гейне.

Однако, . Это значит, что последовательность отделена от , и следовательно не может иметь своим пределом (см. упражнение 1 из лекции 6).

Противоречие с определением предела по Гейне: мы построили последовательность , стремящуюся к и не посещающую , для которой .

Это доказывает теорему.

11.3Применение предела по Гейне

Доказывать, что предел чему-то равен, пользуясь определением по Гейне, довольно тяжело — нужно рассмотреть все возможные последовательности. Зато с ним гораздо проще доказывать утверждение, что предел не существует или чему-то не равен — достаточно предъявить одну последовательность. Также с помощью предела по Гейне можно легко переносить результаты, доказанные для последовательностей, на функции. Например, докажем теорему о пределе суммы:

Утверждение 1. Пусть и при . Рассмотрим функцию . Докажем, что при .

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

Упражнение 1. Докажите аналогично теоремы о пределе произведения и частного.

Кстати, до сих пор мы не доказывали, что предел функции определён однозначно. Это несложно сделать явно (хорошее упражнение!), но теперь мы получим этот факт совсем бесплатно. У нас есть аналогичное утверждение для последовательностей (см. соответствующую теорему в лекции 4), и с помощью определения по Гейне он автоматически переносится на предел функции: в определении по Гейне требуется, чтобы предел был одним и тем же для всех подходящих последовательностей , и значит если бы нашлось два разных числа , удовлетворяющих определению по Гейне, мы бы пришли к противоречию с единственностью предела последовательности.

11.4Заключение

Мы показали, что определения по Коши и по Гейне эквивалентны друг другу, и теперь в случае необходимости будем пользоваться тем или другим. Как правило, если нам нужно доказать, что предел чему-то равен, мы будем пользоваться определением по Коши. Определение по Гейне удобно там, где нужно доказывать противоположное утверждение (что предел чему-то не равен, или вообще не существует), а также в некоторых теоретических построениях. Дополнительный бонус определения по Гейне — оно позволяет переносить на пределы функций ряд свойств, доказанных для пределов последовательностей, практически «бесплатно».