Определение дифференцируемой функции. Необходимое и достаточное условие дифференцируемости функции. Непрерывность дифференцируемой функции

(?) Дифференци́руемая (в точке) фу́нкция — это функция, у которой существует дифференциал (в данной точке). Дифференцируемая на некотором множестве функция — это функция, дифференцируемая в каждой точке данного множества. Дифференцируемость является одним из фундаментальных понятий в математике и имеет значительное число приложений как в самой математике, так и в других естественных науках.

(?) Необходимым, но не достаточным условием дифференцируемости является непрерывность функции. В случае функции от одной вещественной переменной дифференцируемость равносильна существованию производной. В случае функции нескольких вещественных переменных необходимым (но не достаточным) условием дифференцируемости является существование частных производных по всем переменным. Для дифференцируемости функции нескольких переменных в точке достаточно, чтобы частные производные существовали в некоторой окрестности рассматриваемой точки и были непрерывны в данной точке.^[1]

(?) Теорема. Если функция дифференцируема в некоторой точке a, то она непрерывна в этой точке.

Доказательство. По определению производной

Это предельное равенство означает, что выражение под знаком предела можно представить в виде

где α(x) – бесконечно малая функция при x → a. Тогда

Следовательно, при x → a.

Поиск по сайту: