1679
правок
Изменения
Нет описания правки
Пусть <tex>\overline V</tex> — единичный шар, <tex>Y = \operatorname{Ker}T</tex> — подпространство <tex>X</tex>.
Допустим, что <tex>\dim \operatorname{Ker}T = + \infty,~\overline W = \overline V \cap Y \Rightarrow \overline W = A \overline W</tex>. Так как <tex>A</tex> — компактный, <tex>\overline W</tex> — компакт в <tex>Y</tex>, но в бесконечномерном пространстве шар (<tex>\overline W</tex> будет шаром в подпространстве <tex>Y</tex>) не может быть компактом, получаем противоречие. Значит, если <tex>A</tex> — компактный, то <tex>\dim\operatorname{Ker}(I-A) < + \infty</tex>.
}}
{{Теорема
