40
правок
Изменения
м
Нет описания правки
Второе слагаемое является компактным оператором, обозначим его за <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>.