Производная
Теорема 4.1 Пусть функциядифференцируема (дифференцируема слева, дифференцируема справа) в точке
. Тогда
непрерывна (соотв. непрерывна слева, непрерывна справа) в этой точке
.
Доказательство. Из существования производной
![]()
следует, что
откуда
![]()
что и означает непрерывность функции
в точке
.
Для доказательства теоремы в случае существования односторонних производных достаточно сменить базу
на базу
или
.
Замечание 4.2 Предыдущий пример показывает, что обратное утверждение неверно: функция не обязательно имеет производную во всех тех точках, где она непрерывна. Действительно, функциянепрерывна при
, но не имеет производной в точке 0.
Более того, можно построить пример такой функции, которая непрерывна во всех точках числовой прямой, но не имеет производной ни в одной из этих точек.Замечание 4.3 Заметим, что доказанная теорема гарантирует непрерывность функции, имеющей производную в точке, только в этой самой точке
, но не на некотором интервале, окружающем
. Примером функции, имеющей производную при
, но разрывной при всех
, служит функция
(Напомним, что черезобозначается множество всех рациональных чисел. Рациональные числа, как и иррациональные, плотно расположены на числовой оси
: между любыми двумя рациональными числами найдётся иррациональное число, а между двумя иррациональными-- рациональное.) Действительно,
; если
-- рациональное число, то разностное отношение
, а если
-- иррациональное, то
. И в том, и в другом случае разностное отношение стремится к 0 при
, так что существует производная
. Однако, как нетрудно заметить, функция
разрывна во всех точках
, кроме
.
Замечание 4.4 Заметим также, что даже если функция имеет производную на некотором интервале, окружающем точку, значение
может оказаться не равным пределу значений
при
, то есть производная
может оказаться разрывной функцией. Примером такой функции с всюду существующей, но разрывной производной
может служить функция
Производная этой функции, как мы покажем ниже, равна
Нетрудно видеть, что эта функция имеет разрыв второго рода в точке 0, из-за слагаемого, совершающего бесконечное число колебаний амплитуды 1 в любой, как угодно малой, окрестности точки 0.
Главы учебника "Курс лекций высшей математики"
Лекции первого семестра первого курса Линейная алгебра. Элементы векторной алгебры Аналитическая геометрия Введение в математический анализ Дискретная математика Системы координат Элементы высшей алгебры Вычислить значение функции Лекции второго семестра первого курса Дифференциальное исчисление функции одной переменной Теоремы о среднем Раскрытие неопределенностей Производные и дифференциалы высших порядков Интегральное исчисление Методы интегрирования Интегрирование по частям
Лекции второго курса, третий семестр Дифференциальные уравнения первого порядка Уравнения Лагранжа и Клеро Решение задачи Коши методом разделения переменных Ряды Критерий Коши Ряды Фурье Ряды Тейлора и Лорана Ряды и интеграл Фурье Теория вероятностей. Основные понятия Формула Бейеса. Формула Бернулли Распределение Пуассона Теория массового обслуживания Случайные процессы Примеры решения задач Цепи Маркова. изменить порядок интегрирования Математика Примеры решения задач Математический анализ Двойной интеграл Двойной интеграл в полярных координатах Тройной интеграл Формула Остроградского Формула Стокса Скалярное и векторное поле Функции Гиперболические функции Геометрический смысл производной Логарифмическое дифференцирование Теорема Тейлора Разложение по формуле Маклорена
Числовые ряды Степенные ряды Интегральный признак сходимости. Сходимость ряда Теорема Лейбница Радиус сходимости. Непрерывность суммы. Почленное интегрирование и дифференцирование Теория функций комплексногопеременного - ТФКП Пространственная комплексная система чисел Функции пространственного комплексного переменного Интегральные теоремы Коши в комплексном пространстве
Аналитическая геометрия плоскости и поверхности Курс лекций Векторная алгебра. Электронные учебники - MATLAB Компьютерная математика Maple Лекции первого семестра первого курса Дифференциальное исчисление функции Дифференциальные уравнения первого порядка Теория вероятностей. Основные понятия Математический анализ Двойной интеграл Геометрический смысл производной Числовые ряды Степенные ряды Аналитическая геометрия Функции графики задачи Курс лекций Примеры задачи Интегрирование и дифференцирование матрицы ;