Математическая энциклопедия - обратная функция
Связанные словари
Обратная функция
функция, определенная на множестве значений заданной функции и ставящая в соответствие каждому его элементу множество всех тех элементов из области определения рассматриваемой функции, к-рые в него отображаются, т. е. его полный прообраз. Если данная функция обозначена символом f, то О. ф. обозначается символом . Таким образом, если и множество значений функции f, ,то для любого справедливо равенство
Если для любого элемента его полный прообраз состоит в точности из одного элемента , т. е. отображение является биекцией, то О. ф. является однозначной, в противном случае многозначной.
Если множества Xи Yявляются подмножествами числовой прямой (или вообще нек-рых упорядоченных множеств), то условие строгой монотонности функции f необходимо и достаточно для существования обратной однозначной функции.
По ряду свойств функции f можно судить о соответствующих свойствах О. ф. Так, напр., если функция f строго монотонна и непрерывна на нек-ром промежутке числовой оси, то ее О. ф. также монотонна и непрерывна на соответствующем промежутке. Если взаимно однозначное отображение бикомпакта на топологическое хаусдорфово пространство непрерывно, то и обратное отображение непрерывно, т. е. рассматриваемое отображение является гомеоморфизмом. Когда отображение f является биективным линейным ограниченным оператором, отображающим банахово пространство Xна банахово пространство Y, то обратный оператор также является линейным и ограниченным.
Пусть f непрерывное отображение замыкания i ограниченной области с достаточно хорошей границей в , f дифференцируемо в Gи отображает границу Gна границу f(G) и множество нулей его якобиана образует изолированное множество; тогда если отображение f взаимно однозначно на границе области G, то оно взаимно однозначно и на Для существования локального обратного отображения в окрестности данной точки достаточно необращения в нуль якобиана отображения в нек-рой окрестности этой точки. Если дифференцируемое отображение с якобианом, неравным нулю во всех точках , то для любой точки существует такая ее окрестность , что сужение отображения f на окрестности Uвзаимно однозначно отображает множество Uна нек-рую окрестность точки и обратное отображениетакже дифференцируемо (на V). Эта теорема обобщается и на бесконечномерный случай: пусть Xи Y полные нормированные пространства,открытое множество, непрерывно дифференцируемое отображение. Если обратимый элемент пространства линейных ограниченных операторов производная Фреше),то существуют-такие окрестности соответственно точек х 0 и в пространствах Xп. Y, что отображение является непрерывно дифференцируемым гомеоморфизмом вместе со своим обратным отображением. Лит.:[1] Колмогоров А. Н., Фомин С. В., Элементы теории функций и функционального анализа, 5 изд., М.. 1981; [2] Шварц Л., Анализ, пер. С франц., т. 1, М., 1972.
Л. Д. Кудрявцев.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 550 | |
2 | 477 | |
3 | 472 | |
4 | 466 | |
5 | 449 | |
6 | 433 | |
7 | 431 | |
8 | 427 | |
9 | 418 | |
10 | 418 | |
11 | 416 | |
12 | 407 | |
13 | 399 | |
14 | 372 | |
15 | 369 | |
16 | 365 | |
17 | 360 | |
18 | 358 | |
19 | 358 | |
20 | 356 |