Изменения

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

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

969 байт добавлено, 17:57, 16 января 2013
больше понятности
<tex> (I - C)S_n = \sum\limits_{k=0}^n (C^k - C^{k + 1}) = I - C^{n + 1} </tex>.
<tex> \sum\limits_{k=0}^{\infty} C^k </tex> {{---}} ряд в B-пространстве <tex> \mathbb{L}(X) </tex> сходится, если сходится ряд из соответствующих норм. Покажем это: пусть есть операторный ряд <tex>\sum\limits_{i=1}^\infty A_i</tex>. Рассмотрим последовательность частичных сумм <tex>S_n = \sum\limits_{i=1}^n A_i</tex>, она будет сходиться если сходится в себе (по Банаховости пространства). Тогда <tex>S_n - S_m = \sum\limits_{i=m}^{n} A_i</tex>, а <tex>\|S_n - S_m\| = \| \sum\limits_{i=m}^n A_i \| \le \sum\limits_{i=m}^n \|A_i\|</tex> (так как для конечного числа членов норма суммы меньше суммы норм), но так как последовательность норм сходится, она также сходится в себе и <tex>\sum\limits_{i=m}^n \|A_i\| \xrightarrow[n, m \to \infty]{} 0</tex>, то есть частичные суммы сходятся в себе, а, значит, и сходятся. Из того, что <tex> \| C^k \| \le \| C \|^k </tex>, получаем <tex> \left\| \sum\limits_{k=0}^{\infty} C^k \right\| \le
\sum\limits_{k=0}^{\infty} \| C \|^k = \frac 1{1 - \| C \|} < \infty </tex>.

Навигация