Изменения

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

Альтернатива Фредгольма — Шаудера

6 байт добавлено, 23:13, 10 июня 2013
м
Нет описания правки
Второе слагаемое является компактным оператором, обозначим его за <tex> B </tex>, <tex> (I - A)^n = I - B </tex>.
<tex> \dim \operatorname{Ker} (I - B ) < +\infty </tex>, следовательно, <tex> \dim M_n < +\infty </tex>
Пусть <tex> T = I - A </tex>, <tex> x \in M_n </tex> и <tex> T^n(x) = 0 </tex>, тогда <tex> T^{n+1}(x) = T(0) = 0 </tex>, то есть, <tex> M_n \subset M_{n+1} </tex>.
40
правок

Навигация