Изменения

Пусть <tex>T: D \subset X \to X</tex>, где <tex>X</tex> -- нормированное пространство. Тогда существует последовательность компактных операторов <tex>T_n: T_n \rightrightarrows T</tex> на D, и при этом <tex>\forall T_n</tex> лежит в конечномерном подпространстве <tex>X</tex>.