55. Распространение теории пределов.

Естественно встает вопрос о распространении теории пределов, развитой в главе I (§§ 1 и 2) применительно к случаю варианты, на рассматриваемый здесь общий случай произвольной функции.

Для этого существуют два пути:

I. Прежде всего, можно перефразировать здесь изложенные там рассуждения. Мы для примера фактически выполним это по отношению к предложению 1° в 26.

Рассмотрим функцию заданную в некоторой области X, с точкой сгущения а

1° Если при стремлении х к а функция имеет конечный предел А, и то для достаточно близких к а значений х (отличных от а) и сама функция удовлетворяет неравенству

Выбрав положительное число будем иметь

Но, по определению предела, для этого найдется такое что, лишь только (где х взято из X и отлично от а), тотчас же

Для тех же значений х и подавно будет выполняться (14).

Читатель видит, что никаких новых идей для доказательства привлекать не пришлось.

Отсюда непосредственно могут быть оправданы и утверждения 2°, 3° и 5° из 26. Например, полагая в получим:

2° Если при функция имеет конечный положительный (отрицательный) предел, то и сама функция положительна (отрицательна), по крайней мере, для значений х, достаточно близких к а, но отличных от а.

Справедливо и утверждение, аналогичное 4°, но в более узкой форме:

4° Если при стремлении имеет конечный предел А, то для значений х, достаточно близких функция будет ограниченной:

Напомним, что первоначально и для варианты имеющей конечный предел, неравенство было получено только для но, так как лишь конечное число значений варианты может не удовлетворять этому неравенству, то нетрудно было, увеличив в случае надобности М, добиться выполнения неравенства для всех Здесь же этого, вообще говоря, сделать нельзя, ибо значений х, для которых может оказаться и бесконечное множество.

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

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

Все эти теоремы можно было бы доказать аналогичным образом наново, но - и это важно подчеркнуть - на деле нет необходимости их передоказывать. Если, говоря о пределе функции, стоять на «точке зрения последовательностей», то, поскольку для последовательностей теоремы доказаны, они верны и для функций.

Для примера остановимся на теоремах 1°, 2°, 3° из 30:

Пусть в области X (с точкой сгущения а) заданы две функции и при стремлении х к а обе имеют конечные пределы

Тогда и функции

также имеют, конечные пределы (в случае частного — в предположении, что именно

На «языке последовательностей» данные соотношения расшифровываются так: если есть любая последовательность значений х из имеющая пределом а, то

Если к этим двум вариантам применить уже доказанные теоремы, то получаем сразу:

а это (на «языке последовательностей») и выражает именно то, что нужно было доказать.

Таким же образом на общий случай, рассматриваемый нами теперь, автоматически переносится и все сказанное в 31 относительно «неопределенных выражений», условно характеризуемых символами:

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

Читатель легко проверит, что в примерах 4), 5) предыдущего п° мы имели дело с неопределенностью вида и , а в примере 7) — с неопределенностью вида В следующем п° мы приведем дальнейшие примеры, уже с применением простейших теорем теории пределов.

Мы еще вернемся к этому вопросу и в § 4 главы IV, где будут даны общие методы раскрытия неопределенностей уже с применением дифференциального исчисления.