Изменения

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

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

9 байт убрано, 12:30, 11 июня 2013
м
Нет описания правки
Второе слагаемое является компактным оператором, обозначим его за <tex> B </tex>, <tex> (I - A)^n = I - B </tex>.
Пусть <tex> M_n = \operatorname{Ker} ((I - A)^n ) </tex>, тогда <tex> \dim M_n = \dim \operatorname{Ker} (I - A)^n = \dim \operatorname{Ker} (I - B) < +\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>.
689
правок

Навигация