- •Логинов а.С. Часть 1. Дифференциальное исчисление Глава 1. Ведение
- •1.1. Некоторые понятия теории множеств и математической логики
- •1.1.1. Множество, операции над множествами, обозначения
- •1.1.2. Отображение, взаимно-однозначное соответствие, счетное и несчетное множества
- •1.1.3.Некоторые понятия математической логики (Дж. Маллас Пролог)
- •1.1.4.Вещественные числа
- •1.2. Комплексные числа
- •1.2.1. Определение комплексного числа
- •1.2.2. Свойства комплексных чисел
- •1.2.3. Алгебраическая форма записи
- •1.2.4. Модуль и аргумент комплексного числа. Комплексное сопряжение. Тригонометрическая форма записи комплексных чисел
- •1.2.5. Формула Муавра
- •1.3.1.Ограниченное множество. Точные грани
- •1.3.2.Существование точной верхней грани у ограниченного сверху множества
- •Глава 2. Последовательности
- •2.1. Основные понятия, относящиеся к последовательностям
- •2.1.1. Ограниченная последовательность. Точная верхняя (нижняя) грань. Монотонные последовательности
- •2.1.2. Предел последовательности
- •2.1.3. Несобственные пределы
- •2.2. Теоремы о пределах последовательностей
- •2.2.1.Простейшие свойства сходящихся последовательностей
- •2.2.2. Монотонные последовательности
- •2.3. Некоторые свойства последовательностей, связанные со свойством непрерывности вещественных чисел
- •2.3.1.Подпоследовательность. Теорема Больцано-Вейерштрасса
- •2.3.2.Верхний и нижний пределы последовательности
- •2.3.3. Фундаментальная последовательность. Критерий Коши для последовательности
- •2.4. Свойства последовательностей
- •2.4.1.Операции над последовательностями. Свойства пределов, связанные с операциями
- •Глава 3. Предел функции. Непрерывность
- •3.1. Основные понятия, относящиеся к функции
- •3.1.2.Ограниченность. Точные грани
- •3.1.3.Элементарные функции
- •3.2. Предел функции
- •3.2.2. Односторонние пределы. Предел слева, предел справа
- •3.2.3. Связь предела с односторонними пределами
- •3.2.5. Критерий Коши существования конечного предела функции
- •3.2.6. Локальная ограниченность функции, имеющей конечный предел
- •3.2.7. Сохранение знака функции, имеющей ненулевой предел в точке
- •3.2.8. Предел сложной функции
- •3.3 Свойства пределов
- •3.3.1. Переход к пределу в неравенствах
- •3.3.2. Арифметические операции над пределами
- •3.3.3. Бесконечно малые и бесконечно большие функции
- •3.3.4. Сравнение б.М. И б.Б. Функций. Символы o,o
- •3.4 Замечательные пределы Замечательные пределы, основные эквивалентности.
- •3.4.1. Первый замечательный предел.
- •3.4.2. Второй замечательный предел.
- •3.5 Непрерывные функции
- •3.5.2.Простейшие свойства непрерывных функций
- •Определение. Если существуют конечные пределы
- •3.5.3. Ограниченность непрерывной функции. Теоремы Вейерштрасса
- •3.5.4.Теорема о промежуточных значениях непрерывной функции
- •3.5.5.Критерий непрерывности монотонной функции
- •3.5.6.Непрерывность обратной функции
- •3.5.7.Непрерывность элементарных функций
- •3.5.8.Равномерная непрерывность
- •Глава 4 Дифференциальное исчисление
- •4.1 Производная
- •4.1.1.Определение производной. Геометрическая интерпретация. Необходимое условие дифференцируемости
- •4.1.2. Дифференциал функции
- •4.1.3.Основные правила дифференцирования
- •4.1.4.Производные элементарных функций
- •4.1.5. Логарифмическое дифференцирование
- •4.1.6.Функции, заданные параметрически
- •4.2 Производные и дифференциалы высших порядков
- •4.2.1.Производные высших порядков
- •4.2.2. Вычисление производных функций, заданных неявно
- •4.2.3. Формула Лейбница
- •4.2.4. Дифференциалы высших порядков
- •4.2.5. Инвариантность формы дифференциала первого порядка
- •4.2.6. Дифференцирование функций, заданных неявно
- •4.3 Теоремы о среднем для дифференцируемых функций
- •4.3.1. Теорема Ферма о нуле производной
- •4.3.2. Теорема Ролля о нуле производной
- •4.3.3. Теорема Лагранжа о конечных приращениях
- •4.3.4. Теорема Коши о конечных приращениях
- •4.4 Правило Лопиталя
- •4.4.1.Раскрытие неопределенностей вида 0/0
- •4.4.2.Раскрытие неопределенностей вида /
- •4.4.3.Использование правила Лопиталя для выделения главных частей и определения порядков бесконечно больших
- •4.4.4.Раскрытие неопределенностей вида 0, 1 , 00, 0, -
- •4.5 Формула Тейлора
- •4.5.1.Многочлен Тейлора. Формула Тейлора с остаточным членом Rn
- •4.5.2. Остаток в форме Пеано
- •Лемма. Если
- •4.5.3.Другие формы остатка в формуле Тейлора
- •4.5.4. Разложение некоторых элементарных функций по формуле Тейлора
- •4.5.5. Примеры использования стандартных разложений для представления функций по формуле Тейлора и для вычисления пределов
- •4.5.6. Формула Тейлора для четных и нечетных функций
- •4.6 Исследования характера поведения функций
- •4.6.1.Условие монотонности функции
- •4.6.2.Максимальные и минимальные значения функций ( экстремумы )
- •Аналогично определяются: минимум, строгий минимум.
- •4.6.3. Исследование функций на экстремум по знаку высших производных
- •4.6.4. Выпуклость функции, точки перегиба
- •4.6.5. Асимптоты функций
- •4.6.6. Общая схема построения графиков
- •Глава 5. Элементы теории кривых
- •5.1 Векторная функция скалярного аргумента
- •5.1.1.Определение векторной функции. Операции над векторными функциями
- •5.1.2. Предел вектор функции
- •5.1.3. Непрерывность вектор функции
- •5.1.4. Дифференцируемость вектор функции
- •5.1.5. Правила дифференцирования вектор функций
- •5.1.6. Гладкие кривые Определение. Кривая
- •5.2 Длина кривой
- •5.2.1.Спрямляемая кривая
- •5.3 Плоские кривые
- •5.3.1.Понятие кривизны и ее вычисление
- •5.3.2.Выражение центра и радиуса кривизны для явно заданной кривой
- •5.3.3.Порядок соприкосновения кривых
3.5.5.Критерий непрерывности монотонной функции
Теорема. Для того, чтобы монотонная функция f(x), определенная на [a,b], была непрерывна на [a,b], необходимо и достаточно, чтобы множество значений f(x) заполняло целиком отрезок с концами f(a), f(b) (либо[f(a), f(b)], либо [f(b), f(a)]).
Доказательство.
Лемма. Для монотонно возрастающей на данном отрезке функции существуют: для x0(a,b], и для x0[a,b).
Доказательство леммы. Положим для некоторого x0(a,b], A=, тогда для x[a,x0) :f(x)A и для >0 x[a,x0):A- <f(x).
Рис. 3.11
Так как функция монотонно возрастает, то x(x,x0):A- < f(x) f(x)A. Таким образом, равенство доказано.
Аналогично для предела справа . Для монотонно убывающей функции справедливо аналогичное утверждение.
Следствие 1. Монотонно убывающая (возрастающая) на [a,b] функция имеет конечные односторонние пределы.
Следствие 2. Монотонно убывающая (возрастающая) на [a,b] функция может иметь там лишь разрывы первого рода.
Доказательство критерия. Функцию будем предполагать монотонно возрастающей. Необходимость уже была доказана ранее (пункт 4, следствие 2).
Достаточность. Предположим противное. В точке x0 имеется разрыв. Этот разрыв обязан быть разрывом первого рода и, следовательно, должно нарушаться одно из двух соотношений:
,.
Пусть, например, . Так как функция возрастает, то это означает, что .По лемме .
Имеем при x x0, f(x0) < f(x0+0) f(x) при . Таким образом, значения между f(x0), f(x0+0) не достигаются, что противоречит условию теоремы.
Рис. 3.12
Аналогично проводится доказательство в случае существования разрыва слева.
Замечание. Для монотонно убывающей функции доказательство проводится заменой f на –f.
3.5.6.Непрерывность обратной функции
Еще раз определение обратной функции. Пусть f(x) определена на X и Y – множество ее значений. Предположим, что различным значениям x1 и x2 соответствуют различные значения y1 =f(x1), y2=f(x2). Тогда для любого y Y !xX: y=f(x), такое соответствие y x называется обратной функцией и обозначается x=f -1(y). У обратной функции областью определения будет Y , а областью значений X.
Лемма. Обратная функция строго монотонно возрастающей функции будет строго монотонно возрастать. Обратная функция строго монотонно убывающей функции будет строго монотонно убывать.
Доказательство. Например, пусть f(x) строго монотонно возрастает. Если y1 ,y2 из области значений функции f(x) и y1 < y2 , то
f -1(y1) < f -1(y2). Действительно, если предположить противное: , то из условия монотонного возрастания функции f(x) получим неравенство y1= f(x1) f (x2)=y2 , что противоречит условию y1 < y2 . Аналогично доказывается, что обратная к монотонно убывающей функции является монотонно убывающей функцией.
Теорема ( существование и непрерывность обратной функции у монотонной )
Если y=f(x) строго монотонно возрастает на [a,b] и непрерывна там, то на Y=[f(a),f(b)] существует обратная функция и является непрерывной на этом множестве.
Доказательство. Существование обратной функции следует из строгой монотонности. Кроме того, обратная функция также будет монотонной с областью значений [a,b]. Из критерия непрерывности монотонной функции следует ее непрерывность. Аналогичная теорема имеет место для строго монотонно убывающей функции.