Фреше Дифференциал

В точке x0 отображения нормированною пространства Xв нормированное пространство Y- отображение являющееся линейным и непрерывным отображением из Xв Yи обладающее тем свойством, что где Если отображение f в точке x0 допускает разложение (1), то оно наз. дифференцируемым по Фреше, а сам оператор наз. Фреше производной. Для функции f конечного числа переменных Ф. д.- линейная функции обладающая тем свойством, что где или любая другая равносильная норма в При этом -частные производные функции f в точке x0. Определение (2), являющееся ныне общепринятым, впервые в явной форме появилось, по-видимому, в лекциях К. Вейерштрасса (1861, см. [1]). В кон. 19 в. это определение постепенно входит в учебники (см. [2], [3] и др.). Однако к моменту, когда М. Фреше (см. [4], [5]) начал разработку бесконечномерного анализа, классическое ныне определение дифференциала было настолько необщепринятым, что и сам М. Фреше полагал, что определенный им дифференциал на бесконечномерном пространстве является новым понятием и в конечномерном случае. В настоящее время термин употребляется лишь при рассмотрении бесконечномерных отображений. См. Гато дифференциал, Дифференцирование отображения. Лит.:[1] Dugаc. P., Elements d'analyse de Karl Weierstrass. P., 1972; [2] Stоlz. О., Grundzuge der Differential-und Intesralrechnung, Bd 1, Lpz., 1893; [3] Young W., The fundamental theorems of the differential calculus, Camb., 1910; [4] Freсhet M., лC. r. Acad. sci.