Библиотека, читать онлайн, скачать книги txt

БОЛЬШАЯ БИБЛИОТЕКА

МЕЧТА ЛЮБОГО


Свойства пределов связанные с неравенствами

Теперь установим ряд постоянно используемых свойств предела функции, многие из которых аналогичны уже доказанным свойствам предела последовательности и потому, в сущности, нам уже знакомы. Более того, на основании только что доказанного утверждения 1 многие важные свойства предела функции, свойства пределов связанные с неравенствами, немедленно следуют из соответствующих свойств предела последовательности: единственность предела, арифметические свойства предела, предельный переход в неравенствах. Тем не менее мы вновь проведем все доказательства. В этом, как выяснится, есть определенный смысл. Мы хотим обратить внимание читателя на то, что для установления всех свойств предела функции требуются всего два свойства проколотых окрестностей предельной точки множества: т. Это наблюдение приведет нас к общему понятию предела функции и возможности в будущем использовать теорию предела уже не только для функций, определенных на числовых множествах. Чтобы изложение не было простым повторением сказанного в § 1, мы используем здесь некоторые новые полезные приемы и понятия, которые не демонстрировались в § 1. Общие свойства предела функции. Функцию принимающую свойства пределов связанные с неравенствами одно значение, будем, как и прежде, называть постоянной. Функция называется финально постоянной приесли она постоянна в некоторой проколотой окрестности точки а, предельной для множества Функция называется ограниченной, ограниченной сверху, ограниченной снизу, если найдется число такое, что для любого выполнено соответственно В случае, если первое, второе или третье из этих соотношений выполнено лишь в некоторой проколотой окрестности точки а, функция называется соответственно финально ограниченной прифинально ограниченной сверху прифинально ограниченной снизу при Пример 7. Функция определенная этой формулой при не является ограниченной на области определения, но она финально свойства пределов связанные с неравенствами при. То же самое относится к функции на Теорема при есть финально постоянная Утверждение а о наличии предела у финально постоянной функции и утверждение о финальной ограниченности функции, имеющей предел, вытекают прямо из соответствующих определений. Обратимся к доказательству единственности предела. Возьмем тогда окрестности так, чтобы они не имели общих точек, т. По определению предела имеем Возьмем теперь проколотую окрестность точки а предельной для Е такую, что например, можно взять поскольку это пересечение тоже есть проколотая окрестность. Поскольку берем Тогда что невозможно, так как окрестности по построению не имеют общих точек. Предельный переход и арифметические операции Определение 6. Если две числовые функции имеют общую область определения то их суммой, произведением и частным называются соответственно функции, определенные на том же множестве следующими формулами: Теорема 2. Пусть — две функции с общей областью определения. Если Эта теорема, как уже отмечалось в начале пункта 2, непосредственно вытекает из соответствующей теоремы о пределах последовательностей, если учесть утверждение, доказанное в пункте 1. Теорему свойства пределов связанные с неравенствами получить также, повторив доказательство теоремы об арифметических свойствах предела последовательности. Все изменения в доказательстве, которые при этом придется провести, сведутся к тому, что всюду, где раньше мы выбирали начиная с нужно будет выбирать некоторую проколотую окрестность точки а в множестве Советуем читателю проверить это. Здесь же мы получим эту теорему из ее простейшего частного случая, когда утверждение с при этом, разумеется, не рассматривается. Функцию принято называть бесконечно малой приесли Утверждение 2. Проверим, что Пусть задано По определению предела имеем Тогда для проколотой окрестности получаем Тем самым проверено, что Теперь сделаем следующее полезное Замечание. Иными словами, функция стремится к А тогда и только тогда, когда она может быть представлена в виде суммы где — бесконечно малая при функция уклонение от Это непосредственно следует из определения предела, в силу которого Приведем теперь доказательство теоремы об арифметических свойствах предела функции, основанное на этом замечании и установленных свойствах бесконечно малых функций. Тогда где как сумма бесконечно малых, есть бесконечно малая функция при. Вновь представив в виде имеем где по свойствам бесконечно малых есть бесконечно малая функция при. Вновь запишем, что где Поскольку существует проколотая окрестность в любой точке которой и потому Тогда в будем иметь также т. Теперь запишем По свойствам бесконечно малых с учетом доказанной финальной ограниченности Функция есть бесконечно малая при. Таким образом, доказано, что с. Предельный переход и неравенства Теорема 3. Тогда в любой проколотой окрестности содержащейся будем иметь и, следовательно, Следствие. Пусть Если в некоторой проколотой окрестности точки а: Рассуждая от противного, из утверждения а теоремы 3 немедленно получаем утверждения аb доказываемого следствия. Утверждения сd получаются из первых двух при Два важных примера. Прежде чем переходить к дальнейшему изложению теории предела функции, продемонстрируем на двух важных примерах использование уже доказанных теорем. Пример Здесь мы будем апеллировать к школьному определению как ординаты точки, в которую переходит точка 1,0 при повороте с центром в начале координат на угол х радиан. Полнота такого определения всецело зависит от того, насколько тщательно установлена связь между поворотами и действительными числами. Поскольку сама система действительных чисел в школе не была описана достаточно подробно, надо считать, что нам необходимо уточнить определение же самое относится и к функции Рис. Покажем, что Так как и — свойства пределов связанные с неравенствами функции, то достаточно рассмотреть случай. Из а следует, что при любомпричем равенство имеет место только для При как показано в аимеем Но свойства пределов связанные с неравенствами для также выполнено последнее неравенство. И только при имеем Из следует, что Поскольку и поскольку на основании теоремы о связи предела функции с неравенствами получаем, что следовательно, Теперь докажем, что Считал, что в силу полученного в а неравенства имеем Но значит, по теореме о предельном переходе в неравенствах можем заключить, что Пример 10. Определение показательной, логарифмической и степенной функций на основе теории предела. Мы продемонстрируем сейчас, чем и как можно было бы дополнить школьное определение показательной и логарифмической функций, если располагать свойства пределов связанные с неравенствами действительного числа и теорией предела. Для удобства ссылок и полноты картины проделаем всё с самого начала. Пусть 1° Для полагаем по индукции. Таким образом, на возникает функция которая, как видно из определения, обладает свойством если 2° Это свойство приводит к естественным определениям после которых функция оказывается распространенной на множество целых чисел и для любых 3° В теории действительных чисел мы отметили, что для существует единственный арифметический корень степени из а, т. Аналогично, и поэтому второе равенство также доказано. Таким образом, мы определили для причем и для любых 6° Из 4° следует, что для Поскольку для что сразу следует из 4°, то при что опять-таки следует из 4°. Таким образом, при для имеем Тогда при на основе 5° получаем 7° Покажем, что для Проверим, что при Это следует из того, что при имеем в силу 6° Мы знаем, что при Тогда стандартным рассуждением проверяем, что для найдется такое, что при будет В качестве можно взять если Теперь докажем основное утверждение. По подберем 6 так, что при Если теперь то или Итак, на определена функция со свойствами: Продолжим ее на всю числовую ось следующим образом. Учитывая 8°, для найдем так, что так, что. Поскольку влечет для всех лежащих в интервале будем тогда иметь Займемся теперь свойствами построенной функции на На интервале найдутся два рациональных числа Если то по определению данному в 8°, и свойствам функции на имеем Для любых верно В силу известных нам оценок абсолютной погрешности произведения и свойства 9° можно утверждать, что для любого свойства пределов связанные с неравенствами число такое, что при будет Уменьшая, если нужно, 6, можно подобрать так, что при т. Напомним, что — принятое сокращение для Проверим сначала, что По найдем так, что Тогда в силу 10° при будем иметь т. Пусть Если то, как нам известно, найдется число такое, что В силу этого оба множества непусты. Но поскольку прито для любых чисел таких, свойства пределов связанные с неравенствамиимеем Следовательно, к свойства пределов связанные с неравенствами А и В применима аксиома полноты, из которой следует существование числа такого, что для любых элементов. Покажем, что Если бы было то, поскольку при нашлось бы число такое, что Получилось бы, чтов то время как точка разделяет А и Значит, предположение о неверно. Аналогично проверяем, что неравенство тоже невозможно. По свойствам действительных чисел отсюда заключаем, что Мы пока считали, что Но все построения можно было бы повторить и для При этом условии если поэтому в 6°, а затем окончательно в 10° теперь получим, что при Итак, при на множестве Е действительных чисел мы построили действительнозначную функцию со следующими свойствами: 5 множеством значений функции является множество всех положительных чисел. Отображение называется показательной или экспоненциальной функцией при основании а. Особенно часто встречается функция когда которую нередко обозначают через. В связи с этим для обозначения функции также иногда используется символ. Поскольку отображение ехра как видно из свойств показательной функции, биективно, оно имеет обратное отображение. Отображение, обратное к ехра называется логарифмической функцией при основании а и обозначается символом Определение 9. При основании логарифмическая функция, или логарифм, называется натуральным логарифмом и обозначается. Причина такой терминологии прояснится при другом, во многом даже более естественном и прозрачном подходе к логарифмам, который свойства пределов связанные с неравенствами изложим после построения основ дифференциального интегрального исчисления. По определению логарифма как функции, обратной экспоненциальной, имеем Из этого определения и свойств показательной функции, в частности, получается, что в области своего определения логарифм свойства пределов связанные с неравенствами следующими свойствами: 5 множество значений функции совпадает с множеством всех действительных чисел. Из свойства 1 показательной функции и определения логарифма получаем свойства пределов связанные с неравенствами. Из свойства 2 показательной функции получаем 2. Действительно, пусть Тогда и по откуда Свойства пределов связанные с неравенствами, свойство 4 показательной функции влечет свойство 4 логарифмической. Очевидно, Осталось доказать 3. В силу свойства 2 логарифма поэтому неравенства равносильны соотношению которое по свойству 4 логарифма равносильно В любом случае мы получаем, что если или то Таким образом, проверено, свойства пределов связанные с неравенствами Рис. В самом деле, 6° Но если равенство справедливо для любого то, устремляя по к а, на основании свойства 3 показательной и свойства 3 логарифмической функций получаем, что если достаточно близко то близко к близко к Это означает, что поэтому Из доказанного свойства логарифма можно сделать вывод, что для любых имеет место равенство При считаем, по определению, для а Таким образом, в этом случае равенство тривиально. Если же то по доказанному что в силу свойства 4 логарифма доказывает справедливость указанного равенства. Если считать то при любом мы определили величину читается в степени а». Функция определенная на множестве положительных чисел, называется степенной функцией, а число а называется показателем степени. Степенная функция, очевидно, является композицией показательной и логарифмической функций, точнее, На рис. НЕКОТОРЫЕ ОБЩЕМАТЕМАТИЧЕСКИЕ ПОНЯТИЯ И ОБОЗНАЧЕНИЯ ГЛАВА II. ДЕЙСТВИТЕЛЬНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА 2. ИНТЕГРАЛ © Научная библиотека Копирование информации со страницы разрешается только с указанием ссылки на данный сайт.



copyright © fsti55.ru