27
правок
Изменения
Нет описания правки
От противного: пусть <tex> \exists B^{-1} \implies I = B \cdot B^{-1} </tex> — компактный по доказанному утверждению, что невозможно в бесконечномерном случае.
}}
{{TODO|t=Про компактность сопряженного оператора есть в книжке Люстерника и Соболева "Элементы функционального анализа" на стр. 266-267. Кто разберется и запилит нормальное доказательство сюда, тот молодец.}}
{{Утверждение
