почти конечномерность компактного оператора
|statement=
Итак, если Если <tex>X</tex> — банахово пространство с базисом Шаудера, <tex>A:X \to X</tex> — компактный, то для всех <tex>\varepsilon > 0</tex> существует разложение оператора <tex>A</tex> в сумму двух компактных операторов: <tex>A = A_1 + A_2</tex> такое, что:
# <tex>\operatorname{dim}(R(A_1)) < +\infty</tex>
