Lektsii_Rubleva / Лекции Рублева-1 / Гл 05 Функц_ї векторного аргументу / Пар 5-08 Обернен_ в_дображення - коп_я

3

лава 5

Функції векторного аргументу

8. Обернені відображення

Нехай нам задано відображення . Якщо вважати, що рівнянням

(1)

визначається неявна функція , то це відображення називається оберненим по відношенню до відображення та позначається . Якщо воно існує, то і виконуються рівності:

, .

Теорема 1.	(Існування та диференціювання оберненої функції)
	Нехай відображення задовольняє такі умови: 1) - неперервна в і , де , ; 2) в множині , яке є неперервним в точці і . Тоді ,: для звуження функції на кулю неперервне відображення : . Це відображення є диференційованим в точці , а його похідна обчислюється за формулою:
		(2)

Доведення теореми безпосередньо слідує із застосування до функції, що задається рівнянням (1) теореми про існування, неперервність та диференціювання неявної функції.

Теорема 2.	(Про постійний ранг)
	Нехай таке неперервно диференційоване відображення на і його матриця Остроградського-Якобі має ранг . Тоді існує відкрита множина , що містить розглянуту точку , образ цієї множини є такою множиною точок в просторі (або з ), що координат точок є диференційованими функціями решти координат, що відіграють роль вільних параметрів.

Доведення. Без обмежень загальності будемо вважати, що ненульовим є кутовий мінор матриці Остроградського-Якобі, а саме такий якобіан: .

Оскільки відображення неперервно диференційоване в області , то якобіан

Нехай , диференційовані в області функції. Функція залежить від функцій , якщо виконується співвідношення

, (3)

де - диференційована у певній області своїх аргументів функція. Якщо хоча б одна з функцій залежить в області від решти функцій , , то ця система функцій називається залежною в області . Інакше ця система функцій називається незалежною.

Теорема 3.	(Про систему незалежних функцій)
	Нехай , неперервно диференційовані в області функції, де , і нехай , , причому ранг матриці Остроградського-Якобі в точці дорівнює . Тоді функції , незалежні в деякому околі точки .

Доведення. Згідно теореми 2 про ранг матриці, образом деякого околу точки при відображенні є околом точки . Функції в цьому околі є вільними параметрами, а тому визначені в деякому околі точки . Якщо у вказаному околі функції залежні, тобто пов’язані співвідношенням типу (3), то можна записати рівність: , . Це означає, що -й рядок матриці Остроградського-Якобі залежить від решти рядків, а тому ранг матриці не може дорівнювати . Одержана суперечність завершує доведення.

Теорема доведена.

Гомеоморфізмом метричного простору на метричний простір називається будь-яка бієкція на , що є неперервною разом з своєю оберненою бієкцією.

Множина називається многовидом розмірності , що належить класу , якщо і деякого околу існує окіл точки і такий гомеоморфізм , що , , при цьому координати точок задовольняють рівняння:

, . (4)

При такий многовид називається поверхнею класу .