Теорема про обернену функцію
Вибрані статті із |
Числення |
---|
|
Спеціалізоване |
Теорема про обернену функцію в диференціальному численні дає достатню умову для того, щоб функція була оберненою в околі точки з її області визначення: а саме, її похідна неперервна і не дорівнює нулю в точці.
Теорема також дає формулу для похідної оберненої функції. У аналізі функцій багатьох змінних цю теорему можна узагальнити для будь-якої неперервно диференційовної, векторзначної функції для якої визначник Якобі (якобіан) відмінний від нуля в точці її області визначення, що дає формулу для оберненої матриці Якобі. Також існують версії теореми про обернену функцію для комплексних голоморфних функцій, для диференційних відображень між многовидами та диференційовних функцій між банаховими просторами, тощо.
Вперше ця теорема була встановлена Пікаром і Гурса[en] за допомогою ітераційної схеми: основна ідея полягає в тому, щоб довести теорему про нерухому точку[en] за допомогою теореми про стискаючі відображення.
Для функцій однієї змінної, теорема стверджує: якщо — неперервно диференційовна функція, похідна якої не дорівнює нулю у точці , то функція ін'єктивна (або бієктивна на образі) в околі точки , обернена функція неперервно диференційовна в околі точки , а похідна оберненої функції в точці є оберненою до похідної функції у точці :
Може статися, що функція може бути ін'єктивною в околі точки , тоді як . Наприклад, . По суті, для такої функції, обернена не може бути диференційовною в точці , так як, якщо обернена функція була б диференційовною в точці , то тоді, за правилом диференціювання складеної функції маємо
з чого випливає, що . (Для голоморфних функцій вже інша ситуація, див. #Теорема про обернену голоморфну функцію нижче.)
Для функцій більше ніж однієї змінної теорема стверджує, що якщо — неперервно диференційовна функція з відкритої множини простору у простір , і повна похідна функції оборотна в точці (тобто визначник матриці Якобі для функції в точці відмінний від нуля), то існує окіл точки в та окіл точки такі, що і є бієкцією.[1] Запис означає, що система з рівнянь має єдиний розв'язок для у термінах , де , . Зауважимо, що теорема не стверджує, що функція є бієкцією в образ, де похідна оборотна (визначник матриці Якобі не дорівнює нулю), а що це локальна бієкція, де похідна оборотна.
Більше того, теорема стверджує, що обернена функція неперервно диференційовна, а її похідна в точці є оберненим відображенням для , тобто
Інакше кажучі, якщо і — матриці Якобі відповідно для і , то
Складною частиною теореми є доведення теореми про існування та диференційовність функції . При цьому формула похідної для оберненої функції випливає з правила диференціювання складеної функції, застосованого до . (І справді, ) Як наслідок отримуємо, що якщо функція є раз диференційовною із ненульовою похідною в точці , то функція є оборотною в околі точки , і обернена функція також є раз диференційовною. Тут — натуральне число або .
Існує два варіанта теореми про обернену функцію.[1] Для заданої неперервно диференційовного відображення перший варіант це
- Похідна функції є сюр’єктивною (тобто відповідна матриця Якобі має ранг ), тоді й лише тоді, коли існує неперервно диференційовна функція в околі точки така, що в околі точки .
А інший варіант це
- Похідна функції ін’єктивна тоді й лише тоді, коли існує неперервно диференційовна функція в околі точки така, що в околі точки .
У першому випадку (коли похідна функція є сюр’єктивною) точка називається регулярним значенням. Оскільки, ранг , то перший випадок еквівалентний тому, щоб сказати, що точка не є образом критичних точок (критичною точкою є точка така, що ядро для є ненульовим). Твердження в першому випадку іноді також називають теоремою про субмерсію.
Ці варіанти є повторенням теореми про обернені функції. Дійсно, у першому випадку, коли є сюр’єкцією, то можна знайти (ін’єктивне) лінійне відображення таке, що . Визначивши , отримуємо
Отже, за теоремою про обернену функцію, композиція має обернену функцію в околі точки , тобто в околі точки . Другий випадок (коли є ін'єкцією) розглядається аналогічно.
Розглянемо векторзначну функцію визначену як
Матриця Якобі для якої має вигляд
із визначником
Визначник — скрізь відмінний від нуля. Таким чином, теорема забезпечує, що для кожної точки у існує окіл точки у якому функція є оборотною. Зауважимо, що це не означає оборотності функції на всій області: у цьому випадку функція не є навіть ін'єктивною, оскільки вона є періодичною .
Якщо відкинути припущення, що похідна неперервна, то функція необов'язково має бути оборотною.
Наприклад, і має розривну похідну
- та
яка зануляється при наближені до точки .
Ці критичні точки є локальними максимумами або локальними мінімумами функції . Таким чином, функція не є взаємно однозначною (і оборотною) на будь-якому інтервалі, що включає точку .
Інтуїтивно зрозуміло, що кутовий коефіцієнт не розповсюджується на найближчі точки, де кутові коефіцієнти визначається слабкими, але швидкими коливаннями.
Як важливий результат теорема про обернену функцію отримала багаточисельні доведення. Доведення, яке найчастіше зустрічається в підручниках, ґрунтується на принципі стискаючих відображень, також відоме як теорема Банаха про нерухому точку (яку також можна використовувати як ключовий крок у доведенні існування та єдиності розв’язків звичайних диференціальних рівнянь).[2][3]
Оскільки теорема про нерухому точку використовується у нескінченновимірній (банахового простору) постановці, то це доведення відразу узагальнюється на нескінченновимірну версію теореми про обернену функцію[4] (див. узагальнення нижче).
Альтернативне доведення у скінченновимірних просторах базується на теоремі про екстремальні значення (друга теорема Веєрштрасса) для функцій на компактній множині.[5]
Ще одне доведення використовує метод Ньютона, який має ту перевагу, що надає ефективний варіант теореми: обмеження на похідну функції приводять до оцінки розміру околу на якому функція є оборотною.[6]
Для доведення існування, внаслідок афінного перетворення, можна вважати, що та , а тому .
За основною теоремою математичного аналізу, якщо є неперервно диференційовною функцією, то
тобто
Нехай , тоді
Тепер візьмемо , тоді для . Нехай і визначається рекуретно за та . Припущення показують, що якщо , то
Зокрема, якщо , то . У індуктивній схемі маємо та . Таким чином, — це фундаментальна послідовність, що прямує до . За побудовою , що і вимагалося.
Щоб перевірити, що є неперервно диференцйовною, запишемо і, отже, . За наведеними вище нерівностями, маємо
а тому
З іншого боку, якщо , тоді . Використовуючи геометричний ряд для , отримуємо, що . Але тоді
прямує до нуля, якщо та прямують до нуля, що доводить те, що є неперервно диференційовною, причому .
Вищенаведене доведення представлено для скінченновимірного простору, але його також можна використовувати і у випадку банахових просторів. Якщо оборотна функція є раз неперервно диференційовною, де , то її обернена функція також є раз неперервно диференційовною. Це випливає за індукцією з використанням того факту, що відображення для операторів є раз неперервно диференційовним для будь-яких значень (у скінченновимірному випадку це елементарний факт, оскільки обернена матриця визначається приєднаною матрицею поділеною на її визначник).[1][7] Описаний метод доведення можна знайти у книжках Анрі Картана, Жана Д'єдонне, Сержа Ленга, Роджера Годемента[en] та Ларса Германдера.
Нижче наведено доведення, що використовує теорему про стискаюче відображення. Зокрема, слідуючи роботам Теренса Тао,[8] воно використовує наступний наслідок з теореми про стискаюче відображення.
Лемма. Нехай відкрита куля радіуса в з центром в точці 0. Якщо відображення таке, що та існує константа така, що
для усіх , тоді функціія є ін'єктивною на та .
(У загальному випадку твердження залишається вірним, якщо простір замінити на банаховий простір.)
Доведення. По суті, лема стверджує, що невелике збурення тотожного відображення за допомогою стискаючого відображення є ін'єктивним та, в деякому сенсі, зберігає кулю. Взявши до уваги лему, спочатку доведемо теорему. Як і у попередньому доведенні, достатньо довести частинний випадок, коли , та . Нехай . Застосувавши теорему про середнє значення[en] до відображення , отримуємо
Оскільки і функція є неперервною, то можна знайти таке, що
для усіх . Тоді з леми випливає, що функція є ін'єктивною на і . Отже, відображення
є бієктивним і отже, має обернене. Далі покажемо, що обернена функція є неперервно диференційовною (ця частина міркувань є такою ж як і в попередньому доведенні). Цього разу нехай — обернена до функції та . Для запишемо або . Тепер, згідно попередньої оцінки,
і тому . Використовуючи для оператора норми, отримуємо
Оскільки , то і є обмеженим. Отже, є диференційовною функцією за змінною , причому . До того ж, це теж саме, що і композиція , де . Таким чином, функція — неперервна.
Тепер залишається довести лему. По перше, відображення є ін'єктивним на так як, якщо функція , то тоді , і, таким чином,
- ,
що є протиріччям, за винятком, якщо . (Ця частина не вимагає умови .) Далі покажемо, що
- .
Ідея полягає в тому, щоб помітити, що для заданої точки , це еквівалентно знаходженню нерухомої точку відображення
де таке, що , та риска означає замкнену кулю. Для знаходження нерухомої точки використаємо теорему про стискаюче відображення і прямо перевіряємо, що є добре визначеним строго-стискаючим відображення. Зрештою маємо, що , оскільки
Як вже зрозуміло, дане доведення суттєво не відрізняється від попереднього, оскільки теорема про стискаюче відображення доводиться методом послідовних наближень.
Теорему про обернену функцію можна використовувати при розв'язанні систем рівнянь
тобто, виражені як функцій від , за умови, що матриця Якобі є невиродженою. Теорема про неявну функцію дає можливість розв'язати більш загальну систему рівнянь
для у термінах змінних . Хоча ця теорема є більш загальною, але фактично є наслідком теореми про обернену функцію. Насамперед, точне твердження теореми про неявну функцію виглядає наступним чином:[9]
- Нехай задано відображення . Якщо , то функція є неперервно диференційовною в околі точки і похідна в точці є оборотною, то тоді існує диференційовне відображення для деяких околів , точок , так, що . Більш того, якщо , , , то ; тобто є єдиним розв'язком.
Щоб це побачити, розглянемо відображення . За теоремою про обернену функцію, відображення має обернене для деяких околів , , . Тоді отримуємо, що
і з цього випливає, що і . Таким чином, функція задовольняє необхідну властивість.
У диференціальній геометрії теорему про обернену функцію використовують щоб показати, що прообраз регулярного значення при гладкому відображенні є многовидом.[10] Дійсно, нехай відображення є гладким відображенням з відкритої підмножини простору (оскільки результат локальний, то не втрачається загальність при розгляді такого відображення). Зафіксуємо точку в і тоді, переставляючи координати в , можна вважати, що матриця
- має ранг .
Тоді відображення
таке, що має ранг . Отже, за теоремою про обернену функцію знайдемо гладку обернену функцію для відображення визначену в околі точки . Тоді маємо
і отже,
Тобто після зміни координат за допомогою , функція є координатною проєкцією (цей факт відомий як теорема про субмерсію). Більше того, оскільки відображення є бієктивним, то відображення
є бієктивним із гладким оберненим. Інакше кажучи, відображення дає локальну параметризацію для в околі точки . Отже, є многовидом.
(Зауважимо, що доведення дуже схоже на доведення теореми про неявну функцію, і фактично замість нього також можна використовувати теорему про неявну функцію.)
У загальному випадку теорема показує, що для заданого гладкого відображення , якщо є трансверсальним до підмноговидом, то тоді прообраз є підмноговидом.[11]
Теорема про обернену функцію є локальним результатом; це стосується будь-якої точки. Таким чином, теорема апріорі показує лише те, що функція є локально бієктивною (або локально дифеоморфною деякого класу). Наступну топологічну лему можна використати для розширення від локальної ін'єктивності до, в певній мірі, глобальної ін'єктивності.
Лема.[12][13] Якщо є замкненою підмножиною (що задовольняє другій аксіомі зліченності) топологічного многовиду (або, більш загально, топологічний простір, що допускає вичерпування компактними підмножинами[en]) і відображення , де — деякий топологічний простір, є локальним гомеоморфізмом, що є ін'єктивним на , то тоді відображення є ін'єктивним в деякому околі підмножини .
Доведення.[14] Спочатку припустимо, що многовид є компактним. Якщо висновок теореми є хибним, то можна знайти дві послідовності такі, що і відповідно збігаються в до деяких точках у . Оскільки функція є ін'єктивною на , то . Тепер, якщо значення є досить великим, то , будуть знаходитись в околі точок , де функція є ін'єктивною. Таким чином, , що є протиріччям.
У загальному випадку, розглянемо множину
Вона не перетинається з для будь-якої підмножини , де функція є ін'єктивною. Нехай, буде зростаючою послідовністю компактних підмножин із об'єднанням і . Тоді, за першою частиною доведення, для кожного значення можна знайти окіл множини такий, що . Тож має необхідну властивість. (Див. також[15] щодо альтернативного підходу).
З леми випливає наступна (свого роду) глобальна версія теореми про обернену функцію:
Теорема про обернену функцію.[16] Нехай, буде відображенням між відкритими підмножинами просторів й , або у загальному випадку многовидів. Припустимо, що відображення неперервно диференційовне (або належить класу ). Якщо відображення ін'єктивне на замкненій підмножині і, якщо матриця Якобі для функції є невиродженою в будь-якій точці підмножини , то тоді відображення ін'єктивне в околі підмножини і обернене відображення є неперервно діференційованим (або належить класу ).
Зауважимо, що якщо підмножина є точкою, то отримуємо звичайну теорему про обернену функцію.
Нижче наведено версію теореми про обернену функцію для голоморфних відображень.
Теорема.[17][18] Нехай — відкриті підмножини такі, що і — голоморфне відображення, матриця Якобі якого у змінних , є невиродженою (визначник не дорівнює ) в точці . Тоді відображення є ін'єктивним в околі точки і обернене відображення є голоморфним.
Теорема випливає зі звичайної теореми про обернену функцію. Дійсно, нехай — матриця Якобі відображення у змінних , , — матриця Якобі у змінних , . Тоді і за припущенням не дорівнює . Отже, за звичайною теоремою про обернену функцію, відображення є ін'єктивним в околі точки і має неперервно диференційовне обернене відображення. За правилом диференціювання складної функції (де ) маємо
де ліва частина і перший доданок праворуч зануляються, оскільки відображення та є голоморфними.
Таким чином, для кожного .
Аналогічно формулюється теорема про неявну функцію для голоморфних функцій.[19]
Як зазначено раніше, може трапитися, що ін'єктивна гладка функція має обернену, яка не є гладкою (наприклад, функція дійсної змінної ). Цього не буде у випадку голоморфних функцій, оскільки
Твердження.[19] Якщо є ін'єктивним голоморфним відображенням між відкритими множинами в , то тоді обернене відображення є голоморфним.
Теорему про обернену функцію можна переформулювати у термінах диференційовних відображень між диференційовними многовидами. У цьому контексті теорема стверджує, що для диференційовного відображення (класу ), якщо диференціал відображення ,
є лінійним ізоморфізмом в точці многовиду , то тоді існує відкритий окіл точки такий, що
є дифеоморфізмом . Слід зауважити, що звідси випливає, що компоненти зв'язності многовидів та , які місять точки та , мають однакову розмірність — це вже прямо випливає з припущення, що є ізоморфізмом. Якщо похідна відображення є ізоморфізмом в усіх точках многовиду , то відображення є локальним дифеоморфізмом[en].
Теорему про обернену функцію можна узагальнити на випадок диференційовних відображень між банаховими просторами and .[20] Нехай — відкритий окіл початку координат в просторі , — неперервно диференційовна функція, причому похідна Фреше від функції в точці — обмежений лінійний ізоморфізм з простору у простір . Тоді існує відкритий окіл точки в просторі і неперервно диференційовне відображення таке, що для всіх з околу . Більш того, — єдиний достатньо малий розв'язок рівняння .
Також існує теорема про обернену функцію для банахових многовидів.[21]
Теорему про обернену функцію (і теорему про неявну функцію) можна розглядати як частинний випадок теореми про сталий ранг, яка стверджує, що гладке відображення зі сталим рангом[en] в околі точки можна звести до певної нормальної форми в околі цієї точки.[22] Зокрема, якщо відображення має сталий ранг в околі точки , то тоді існують відкриті околи для точки і для точки , а також існують дифеоморфізми та такі, що і похідна дорівнює . Тобто, відображення “виглядає як” його похідна в околі точки . Множина точок таких, що ранг є сталим в околі точки , є відкритою щільною підмножиною простору , що є наслідком напівнеперервності функції рангу. Таким чином, теорема про сталий ранг можна використовувати для довільної точки області визначення.
Коли похідна функції є ін'єктивною (відповідно, сюр'єктивною) в точці , вона є ін'єктивною (відповідно, сюр'єктивною) в околі точки , а тому ранг відображення є сталим в цьому околі, і можна використовувати теорему про сталий ранг.
Якби це була вірно, то гіпотеза Якобі[en] була б варіантом теореми про обернену функцію для поліномів. Відповідно до гіпотези, якщо векторнозначна поліномна функція має визначник Якобі, який є оборотним поліномом (тобто ненульовою константою), то тоді функція має обернену функцію, яка є також поліномною. Невідомо, чи це вірно, навіть у випадку двох змінних. Це є великою відкритою проблемою теорії поліномів.
Якщо відображення , де , є неперервно диференційовним разів і якобіан в точці має ранг , то функції обернена до може бути не єдиною. Проте, існує локальна функція вибору така, що для усіх точок в околі точки , , то тоді функція є неперервно диференційовною разів в цьому околі, і
є псевдоінверсією Мура-Пенроуза[en] якобіана .[23]
- ↑ а б в Theorem 1.1.7. in Hörmander, Lars (2015). The Analysis of Linear Partial Differential Operators I: Distribution Theory and Fourier Analysis. Classics in Mathematics (вид. 2nd). Springer. ISBN 9783642614972.
- ↑ McOwen, Robert C. (1996). Calculus of Maps between Banach Spaces. Partial Differential Equations: Methods and Applications. Upper Saddle River, NJ: Prentice Hall. с. 218—224. ISBN 0-13-121880-8.
- ↑ Tao, Terence (12 вересня 2011). The inverse function theorem for everywhere differentiable maps. Процитовано 26 липня 2019.
- ↑ The inverse function theorem. Topological Geometry. Cambridge University Press. 5 лютого 1981. с. 375—398.
- ↑ Spivak, Gayatri (2005-01). Thinking about Edward Said: Pages from a Memoir. Critical Inquiry. Т. 31, № 2. с. 519—525. doi:10.1086/430981. ISSN 0093-1896. Процитовано 24 червня 2022.
- ↑ Tucker, Warwick; Hubbard, John H.; Hubbard, Barbara Burke (2003-10). Vector Calculus, Linear Algebra, and Differential Forms: A Unified Approach. The American Mathematical Monthly. Т. 110, № 8. с. 754. doi:10.2307/3647874. ISSN 0002-9890. Процитовано 24 червня 2022.
- ↑ Cartan, Henri (1971). Calcul Differentiel (фр.). Hermann. с. 55–61. ISBN 9780395120330.
- ↑ Theorem 17.7.2 in Tao, Terence (2014). Analysis. II. Texts and Readings in Mathematics. Т. 38 (вид. Third edition of 2006 original). New Delhi: Hindustan Book Agency. ISBN 978-93-80250-65-6. MR 3310023. Zbl 1300.26003.
- ↑ Spivak, 1965, Theorem 2-12.
- ↑ Spivak, 1965, Theorem 5-1. and Theorem 2-13.
- ↑ https://sites.math.northwestern.edu/~jnkf/classes/mflds/4transversality.pdf
- ↑ One of Spivak's books (Editorial note: give the exact location).
- ↑ Hirsch, Ch. 2, § 1., Exercise 7. NB: This one is for a -immersion.
- ↑ Lemma 13.3.3. of https://www.utsc.utoronto.ca/people/kupers/wp-content/uploads/sites/50/2020/12/difffop-2020.pdf
- ↑ Dan Ramras (https://mathoverflow.net/users/4042/dan-ramras), On a proof of the existence of tubular neighborhoods., URL (version: 2017-04-13): https://mathoverflow.net/q/58124
- ↑ Ch. I., § 3, Exercise 10. and § 8, Exercise 14. in V. Guillemin, A. Pollack. "Differential Topology". Prentice-Hall Inc., 1974. ISBN 0-13-212605-2.
- ↑ Griffiths та Harris, p. 18.
- ↑ Fritzsche, K.; Grauert, H. (2002). From Holomorphic Functions to Complex Manifolds. Springer. с. 33—36. ISBN 9780387953953.
- ↑ а б Griffiths та Harris, p. 19.
- ↑ Luenberger, David G. (1969). Optimization by Vector Space Methods. New York: John Wiley & Sons. с. 240—242. ISBN 0-471-55359-X.
- ↑ Lang, Serge (1985). Differential Manifolds. New York: Springer. с. 13–19. ISBN 0-387-96113-5.
- ↑ Boothby, William M. (1986). An Introduction to Differentiable Manifolds and Riemannian Geometry (вид. Second). Orlando: Academic Press. с. 46–50. ISBN 0-12-116052-1.
- ↑ Dontchev, Asen L.; Rockafellar, R. Tyrrell (2014). Implicit Functions and Solution Mappings: A View from Variational Analysis (вид. Second). New York: Springer-Verlag. с. 54. ISBN 978-1-4939-1036-6.
- Григорій Михайлович Фіхтенгольц. Курс диференціального та інтегрального числення. — 2024. — 2403 с.(укр.)
- Allendoerfer, Carl B. (1974). Theorems about Differentiable Functions. Calculus of Several Variables and Differentiable Manifolds. New York: Macmillan. с. 54–88. ISBN 0-02-301840-2.
- Baxandall, Peter; Liebeck, Hans (1986). The Inverse Function Theorem. Vector Calculus. New York: Oxford University Press. с. 214–225. ISBN 0-19-859652-9.
- Nijenhuis, Albert (1974). Strong derivatives and inverse mappings. Amer. Math. Monthly. 81 (9): 969—980. doi:10.2307/2319298. JSTOR 2319298.
- Griffiths, Phillip; Harris, Joseph (1978), Principles of Algebraic Geometry, John Wiley & Sons, ISBN 978-0-471-05059-9.
- Protter, Murray H.; Morrey, Charles B., Jr. (1985). Transformations and Jacobians. Intermediate Calculus (вид. Second). New York: Springer. с. 412–420. ISBN 0-387-96058-9.
- Renardy, Michael; Rogers, Robert C. (2004). An Introduction to Partial Differential Equations. Texts in Applied Mathematics 13 (вид. Second). New York: Springer-Verlag. с. 337–338. ISBN 0-387-00444-0.
- Rudin, Walter (1976). Principles of mathematical analysis. International Series in Pure and Applied Mathematics (вид. Third). New York: McGraw-Hill Book. с. 221–223. ISBN 9780070856134.
- Spivak, Michael (1965). Calculus on Manifolds: A Modern Approach to Classical Theorems of Advanced Calculus. San Francisco: Benjamin Cummings. ISBN 0-8053-9021-9.
{{cite book}}
: Cite має пустий невідомий параметр:|1=
(довідка)