Изменения

Перейти к: навигация, поиск

Теорема Банаха об обратном операторе

38 байт убрано, 22:31, 9 января 2013
Нет описания правки
{{В разработке}}
__TOC__
{{Определение
}}
== Теорема Банаха о гомеоморфизме ==
Перед доказательством теоремы Банаха о гомеоморфизме докажем для начала вспомогательную лемму.
}}
Выведем пару важных следствий.== Теорема о замкнутом графике ==
{{Определение
|definition=
<tex> A : X \xrightarrow[]{linear} Y </tex>. '''Графиком''' линейного оператора <tex> A : X \to Y </tex> называется множество <tex> G(A) = \{ (x, Ax) \mid x \in X \}, G(A) \subset X \times Y </tex>.
}}
|about=о замкнутом графике
|statement=
Линейный <tex> A : X \xrightarrow[]{linear} to Y </tex>. <tex> A </tex> {{---}} ограничен <tex> \iff </tex> <tex> G(A) </tex> {{---}} замкнут.
|proof=
Докажем в прямую сторону: пусть есть последовательность пар <tex> (x_n, y_n) \to (x, y) </tex>. Принадлежит ли <tex> (x, y)\, G(A) </tex> ?
}}
Следующее следствие из теоремы Банаха связано с открытым отображением. == Теорема об открытом отображении ==
{{Определение

Навигация