Теорема об обратной функции

Теорема об обратной функции даёт достаточные условия для существования обратной функции в окрестности точки через производные от самой функции.

Теорема обобщается на вектор-функции. Есть также варианты теоремы об обратной функции для голоморфных функций, для гладких отображений между многообразиями, для гладких функций между Банаховыми пространствами.

ФормулировкиПравить

Вещественнозначная функцияПравить

Для функции одной переменной теорема гласит, что если   является непрерывно дифференцируемой функцией с ненулевой производной в точке  , то   обратима в окрестности  . Более того, обратная функция является непрерывно дифференцируемой, и

 

Функции нескольких переменныхПравить

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

ЗамечанияПравить

  • Вторая часть теоремы следует из правила дифференцирования композиции функций.
  • Существование обратной функции   эквивалентно высказыванию, что система   уравнений   может иметь решение   при данных  , предполагая, что   и   лежат в малых окрестностях   и  , соответственно.

ПримерПравить

Рассмотрим вектор-функцию  

 

Матрица Якоби   имеет вид

 

Её определитель:

 

Заметим, что   в любой точке. Согласно теореме, для каждой точки   существует окрестность, на которой   является обратимой.

  • Заметим, однако, что на всей области   необратима. Действительно,
     
для любых  . В частности,   не является инъективной

Вариации и обобщенияПравить

Бесконечномерный случайПравить

В бесконечномерном случае необходимо дополнительно потребовать, чтобы производные Фреше в точке   имели ограниченный обратный оператор.

МногообразияПравить

Теорема об обратной функции обобщается на гладкие отображения между гладкими многообразиями. Пусть   — гладкое отображение между гладкими многообразиями. Предположим, что дифференциал

 

в точке   является линейным изоморфизмом. (В частности,  .) Тогда существует открытая окрестность   такaя, что

 

является диффеоморфизмом.

Банаховы пространстваПравить

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

Банаховы многообразияПравить

Эти два направления обобщения могут быть объединены в теореме об обратной функции для Банаховых многообразий.[1]

См. такжеПравить

ПримечанияПравить

  1. Lang 1995, Lang 1999, pp. 15-19, 25-29.

СсылкиПравить

  • Зорич В. А. Математический анализ, любое издание
  • Ильин В. А., Позняк Э. Г. Основы математического анализа, 3 изд., ч. 1, М., 1971
  • Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа, 5 изд., М., 1981
  • Люстерник Л. А., Соболев В. И. Элементы функционального анализа, 2 изд., М., 1965
  • Никольский С. М. Курс математического анализа, 2 изд., т. 1—2, М., 1975
  • Понтрягин Л. С. Обыкновенные дифференциальные уравнения, 4 изд., М., 1974 — § 33
  • Шварц Л. Анализ, пер. с франц., т. 1, М., 1972
  • Serge Lang. Differential and Riemannian Manifolds. — Springer, 1995. — ISBN 0-387-94338-2.
  • Serge Lang. Fundamentals of Differential Geometry. — New York: Springer, 1999. — (Graduate Texts in Mathematics). — ISBN 978-0-387-98593-0.
  • Nijenhuis, Albert. Strong derivatives and inverse mappings (англ.) // Amer. Math. Monthly : journal. — 1974. — Vol. 81, no. 9. — P. 969—980. — doi:10.2307/2319298.
  • Renardy, Michael and Rogers, Robert C. An introduction to partial differential equations (итал.). — Second. — New York: Springer-Verlag, 2004. — С. 337—338. — (Texts in Applied Mathematics 13). — ISBN 0-387-00444-0.
  • Rudin, Walter (англ.). Principles of mathematical analysis (неопр.). — Third. — New York: McGraw-Hill Education, 1976. — С. 221—223. — (International Series in Pure and Applied Mathematics). — ISBN 978-0070542358.