Связь между дифференцируемостью функции и ее непрерывностью

Пример. Доказать, что функция y =│ х │ недифференцируема в точке х =0.

Решение. Производная функции (если она существует) равна

Очевидно, что при х =0 производная не существует, так как отношение , т.е. не имеет предела при Δ х →0 (ни конечного, ни бесконечного). Геометрически это означает отсутствие касательной к кривой в точке х =0.

Теорема. Если функция y=f(x) дифференцируема в точке х₀,, то она в этой точке непрерывна.

□Доказательство. По условия функция y=f (x) дифференцируема в точке х ₀, т.е. существует конечный предел

где f′ (x₀) – постоянная величина, не зависящая от .

Тогда на основании теоремы о связи бесконечно малых величин с пределами функций можно записать

где α(∆х) является бесконечно малой величиной при →0, или

.

При Δ х →0 на основании свойств бесконечно малых величин устанавливаем, что Δ у →0 и, следовательно, по определению непрерывности функции в точке, делаем вывод, что функция непрерывна в токе х₀. ■

Обратная теорема, вообще говоря, неверна, если функция непрерывна в данной точке, то она не обязательно дифференцируема в этой точке. Так, функция y =│ х │ непрерывна в точке х₀ =0, ибо но, как было доказано ранее недифференцируема в этой точке.

Таким образом, непрерывность функции – необходимое, но не достаточное условие ее дифференцируемости.

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