Clx.Ru - реклама в интернет

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

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

Произвольную базу будем обозначать , а её окончания-- буквой , быть может, снабжённой индексами. Если , причём , то окончание будем называтьболее далёким, чем окончание . Например, для базы окончание более далёкое, чем , если ; для базы окончание является тем более далёким, чем меньше число .

Теперь дадим определение предела по заданной базе .

Определение 2.4Пусть -- некоторая база и функция определена во всех точках некоторого окончания базы (и, значит, определена во всех точках более далёких окончаний ). Число называетсяпределом функции по базе (илипри базе ) и обозначается

если

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

Тот факт, что , записывают ещё в виде

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

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

Рис.2.8.График функции, имеющей предел, умещается в любую узкую полосу на достаточно далёком окончании

CLX.ru - реклама в интернет

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

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

Это и означает, что .

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

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

Приведём несколько примеров широко используемых в математическом анализе баз.

Определение 2.5Правосторонний предел функции.Рассмотрим базу , окончаниями которой служат интервалы, примыкающие справа к точке , то есть интервалы вида , где . Легко видеть, что все такие интервалы действительно образуют базу. Предел функции по этой базе называетсяпределом функции при , стремящемся к справа. База обозначается также или , а предел по этой базе обозначается так: .

Рис.2.9.Предел справа

Оказываясь во все более далёких окончаниях базы, то есть в интервалах с уменьшающимися значениями , точка приближается к точке , оставаясь справа от неё. Это объясняет название предела, вычисляемого по данной базе.

Упражнение 2.2Запишите с помощью неравенств, содержащих и , данное выше определение в развёрнутом виде.

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

Определение 2.6Левосторонний предел.База состоит из интервалов , , примыкающих к точке слева.

Рис.2.10.Предел слева

База обозначается также . Предел по этой базе называетсяпределом функции при , стремящемся к слеваи обозначается так: .

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

Теорема 2.1Если функция имеет оба односторонних предела при и эти пределы равны одному и тому же числу , то существует двусторонний предел , который также равен ; ноаборот, если существует двусторонний предел , то существуют оба односторонних предела и оба они равны числу .

Рис.2.11.Пределы справа и слева совпадают с двусторонним пределом

Доказательство. Пусть фиксировано некоторое число . Так как , то существует такое окончание базы , при из которого выполняется неравенство . Так как , то существует такое окончание базы , при из которого также выполняется неравенство . Рассмотрим теперь меньшее из чисел и и обозначим его . Тогда при и при , то есть на объединении этих двух интервалов , выполняется неравенство . Однако такое объединение интервалов-- это окончание базы . Тем самым при любом мы предъявили окончание базы двустороннего предела, такое что при всех из этого окончания верно неравенство . По определению это и означает, что .

Обратно, если существует , то при всех из некоторого двустороннего окончания базы и, следовательно, из каждой из двух половинок (окончания базы ) и (окончания базы ) выполнено неравенство . Это и означает, что и .

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

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

Упражнение 2.3Покажите, пользуясь последним определением, что предел функции, рассмотренной в примере 2.3, при равен 3. Найдите окончание базы , на котором при данном выполняется неравенство .

Упражнение 2.4Сформулируйте и докажите теорему о связи односторонних (при и ) и двустороннего (при ) пределов, аналогичную теореме 2.1.

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

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

Замена переменного и преобразование базы при такой замене

Часто при вычислении какого-либо предела естественно для упрощения выражения, от которого берётся предел, сделать некоторую замену переменного. Пусть, например, требуется вычислить

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

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

Рис.2.12.Преобразование базы под действием функции