В.А. Ильин, В.А. Садовничий, Бл.Х. Сендов - Математический анализ (PDF) (1108882), страница 27
Текст из файла (страница 27)
Если функция )(х) задана на множестве (х), то во всех определениях пределов по Коши требуется, чтобы неравенство (3.58) было справедливо для тех элементов множества (х), которые принадлежат соответствующему множеству С,. Договоримся обозначать символом В, подмножество тех элементов (х), которые принадлежат С„т. е. положим В,=(х)ЙС,.
Естественно, возникает вопрос, какими общими свойствами обладает совокупность всех подмножеств В, множества (х). Анализ условий, при которых формулируются определения 1* — 4* пределов функции по Коши, приводйт нас к выводу, что множество (х) задания функции 1(х) всякий раз имеет хотя бы один элемент, принадлежащий С„т. е. множество В, всегда не является пустым. Далее легко убедиться в том, что для всех видов пределов пересечение двух любых множеств совокупности (Ве) представляет собой некоторое множество той же совокупности.
Так, например, пересечение двух множеств Ве и В,', первое из которых состоит из значений аргумента, принадлежащих проколотой 6-окрестностн точки а, а второе — из значений аргумента, принадлежащих проколотой 6'-окрестности точки а, представляет собой совокупность значений аргумента, принадчежащих проколотой 6"-окрестностн точки а, гдеб" — наименьшее из двух положительных чисел 6 и 6', т. е. представляет собой множество В," той же совокупности (В,).
В более общей ситуации, которая может встретиться, например, при изучении функции нескольких переменных, нересече- 5 5. Общее определение предела функции по базе 123 ние двух любых множеств совокупности (В ) само может не являться элементом этой совокупности, но обязательно содержит элемент этой совокупности. Проведенное рассмотрение, естественно, приводит нас к фундаментальному понятию базы множества (х) задания функции. О и р е д е л е н и е 1. Будем говорить, что бесконечная совокупность В=(В ) подмножеств В, множества (х) образует базу (или базис фильтра) множества (х), если для элементов этой совокупности выполнены два требования: 1) каждый элемент Ве является непустым подмножеством множества (х); 2) в пересечении любых двух элементов совокупности (В,) обязательно содержится некоторый элемент этой же совокупности. Приведем примеры наиболее употребительных баз (базисов фильтра). 1'.
Пусть функция [(х1 задана на множестве (х), имеющем хотя бы один элемент в любой проколотой 6-окрестности точки а. Указанную проколотую 6-окрестность точки а обозначим символом С, и положим В,=(х)ПСь Очевидно, совокупность В=(Ве) множеств В, при всех 6>0 образует базу множества (х), ибо каждое множество В, при любом 6>0 не является пустым н пересечение любых двух множеств совокупности (Вз), как уже отмечалось выше, представляет собой множество из той же совокупности.
Рассмотренную базу (В,) принято обозначать символом х — иа. 2'. Пусть функция 1(х) задана иа множестве (х), имеющем прн любом 6>0 хотя бы один элемент, принадлежащий интервалу (а, а+6) [соответственно (а — 6, а)]. Обозначив указанный интервал символом С„положим В,=(х)ПС,. Тривиально проверяется, что совокупность В=(Ве) множеств В„отвечающих всевозможным 6>0, образует базу множества (х). Указанную базу принято обозначать символом х — ~-а+О [соответственно х- а — О]. 3'. Пусть функция 1(х) задана на множестве (х), имеющем хотя бы один элемент вне сегмента [ — 6, +6] при любом 6>0. Положим С,= ( — оь, +ьь)" [ — 6, +6], В,=-(х)ДС,. Легко проверить, что совокупность В=(Ве) образует базу множества (х).
Эту базу принято обозначать символом х-+.ьо. 4'. Пусть функция 1(х) задана на множестве (х), имеющем при любом 6>0 хотя бы один элемент на полупрямой (+6, +со) [соответственно ( — оо, — 6)], Обозначим указанную полупрямую символом С, и положим В,=(х)ДС,. Легко убедиться в том, что совокупность В=(Вз) образует базу множества (х). Эту базу обозначают символом х-э-+ьь [соответственно Х вЂ” и — оь] .
124 Гл. 3. Теория пределов 5'. Пусть, наконец, множество (х) представляет собой множество всех натуральных чисел 1, 2, 3, ..., и, .... Положив В,= =(х)П(+б, +оо) для любого б>0, мы легко убедимся и в том, что сово1супность В=(Ве) образует базу множества (х). Эту базу принято обозначать символом п-эоо. Сформулируем теперь фундаментальное определение гредела функции 1'(х) по базе В множества ее задания, содержащее в себе как все рассмотренные выше виды предела функции, так и предел числовой последоиательности. Предположим, что функция 1(х) задача на множестве (х) и что совокупность В=(Ве) подмножеств В, множества (х) образует базу множества (х).
Множество всех значений, которь1е принимает функция 1(х), когда ее аргумент х п)юбегает множество В„договоримся называть образом множества В, и обозначать символом ((В.). Определение 2. Число Ь называется пределом функции 1(х) по базе В множества ее задания, если для любого е>0 существует такой элемент В, базы В, образ Г(В,) которого принадлежит е-окрестности точки Ь, т.
е. принадлежит интервалу (Ь вЂ” е, Ь+з). Для обозначения предела функции Г(х) по базе В множества ее задания будем использовать сима 1л 11ш Г (х) = Ь. в Читатель без труда проверит, что это общее определение предела ио базе содержит в себе как час.ные случаи изученные выше виды пределов, отвечающие базам .";+а, х-+а+О, х — а — О, х-'" х +оо, х-е — оо и и— Легко проверить также, что для общего определения предела по базе остаются справедливыми основные свой тва предела, отвечающего простейшей базе х-е-а. Мы ограничимся тем, что докажем критерий Коши существования общего предела функции 1(х) по базе В множества ее задания.
Теорема 3.22. Для существования предела функции 1(х) по базе В= (В,) множества ее задания необходимо и достаточно, чтобы для любого е>0 нашелся элемент В, базы В, образ 1(В,) которого содержится в некотором интервале длины 2е. Доказательство. 1) Необходимость очевкдна: если сушествует предел Ь функции 1(х) по базе В, то для любого е>0 найдется элемент этой базы В„ образ которого 1(В,) содержится в интервале (Ь вЂ” е, Ь+е), имен .цем длину 2е. 2) Достаточность. Пусть для любого е>0 существует элемент В, базы В, образ которого 1(В,) содержится в некотором интервале длины 2е.
Рассмотрим бесконечно малую последова- $5. Общее определение предела функции по базе 12Ь 1 тельность положительных чисел е„= — (в=1, 2, 3, ...). Для и каждого е, найдется элемент базы Ве„, образ которого 1(Ве ) содержится в некотором интервале длины 2е . По определению базы в пересечении элементов Ве, и Ве„ обязательно лежит некоторый элемент базы, который мы обозначим символом.Ввп ОбРаз этого элемента ~'.Ве,) лежит как в некотором интервале 1~ длины 2еь так и в некотором интервале 1з' длины 2ез. Пересечение интервалов 1, в 1з' представляет. собой интервал 1з длины, не большей 2ез, содержащийся в интервале 1ь Далее, по определению базы в пересечении элементов Ве, н Ве, обязательно лежит некоторый элемент базы, который мы обозначим символом Ве,.
Образ этого элемента Х(Ве,) лежит как в интервале 1з длины, не большей 2еь так и в некотором интервале 1з' длины 2нз. Пересечение интервалов. 1з и 1а' представляет собой интервал 1, длины, не большей 2ез,. содержащийся в интервале 1и. Продолжая эти рассуждения далее, мы построим последовательность элементов базы Ве„, Ве„..., Ве, ... таких, что образ 1(Ве„) каждого элемента Ве„содержится в некотором интервале 1 длины, не большей 2е„, причем в последовательности интервалов 1м 1з, ..., 1„, ... каждый следующий интервал содержится в предыдущем.
Обозначим символом Т„сегмент, получающийся добавлением к интервалу 1, его концов. Так как. последовательность Хь Хз, ..., Т,, представляет собой стягивающуюся систему сегментов (см. п. 2 $2), то в силу следствия из теоремы 3.15 существует, и притом единственная, точка Ь, принадлежащая всем сегментам. Остается доказать, что Ь является пределом функции 1(х) по базе В, т. е. убедиться в том, что для любого е>0 найдется элемент базы В, образ которого содержится в интервале- (Ь вЂ” е, Ь+и).
В силу того, что система сегментов (Х ) является стягивающейся и Ь является общей точкой всех сегментов, мы можем утверждать, что для любого е>0 найдется сегмент Х с достаточно большим номером л, содержащийся в интервале (Ь вЂ” е, Ь+и). Это означает, что при соответствующем номере и элемент базы Ве„имеет образ 1(Вз ), содержащийся в интервале (Ь вЂ” е, Ь+ е) . Теорема доказана.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
