Просмотр кода страницы Проект:Математика/Основные понятия/Дифференциал

== Определения ==

Напомним основные понятия, которые возникают для вещественнозначных функций одного вещественного переменного.  

=== Дифференцируемость в точке ===

Функция <math>f\colon E\to R</math>, определённая на множестве <math>E\subset R</math>, называется '''дифференцируемой в точке''' <math>a\in E</math>, предельной для множества <math>E</math>, если существует такая линейная относительно приращения аргумента <math>x-a</math> функция <math>A \cdot (x-a)</math> такая, что приращение <math>f(x)-f(a)</math> функции <math>f</math> представляется в виде 
:<math>f(x)-f(a)=A \cdot (x-a)+o(x-a).</math>

=== Дифференциал ===
Функция <math>A \cdot (x-a)</math>, которая фигурирует в определении дифференцируемости функции в точке <math>a</math>, называется '''дифференциалом функции'''  <math>f</math> '''в точке''' <math>a</math>.

=== Дифференциал функции из Rn в Rm ===
Аналогично одномерному случаю, функцию <math>f: \mathbb{R}^n \to \mathbb{R}^m</math> называют дифференцируемой в точке <math>a</math>, если существует такая линейная функция <math>A: \mathbb{R}^n \to \mathbb{R}^m</math>, что <math>f(x) = f(a) + A(x - a) + o(\|x - a\|)</math>.

=== Производная Фреше и производная Гато ===
На банаховых пространствах можно ввести [[производная Фреше|производную Фреше]]. Несмотря на слово "производная", обобщает она именно дифференциал. Так как дифференцирование - это локальная операция, то после корректного определения касательного пространства на банаховых многообразиях производная Фреше легко на них переносится (С. Ленг, Введение в теорию дифференцируемых многообразий, стр. 36). На локально выпуклых топологических векторных пространствах также можно ввести понятие производной (дифференциала, на самом деле), обобщающей производную Фреше, но различные способы это сделать неэквивалентны. Один из таких способов дает [[производная Гато|производную Гато]], другой описан у Ленга, я ([[Участник:Kallikanzarid]]) не знаю, эквивалентны ли они.