Теорема Рисса-Шаудера: характеризация операторов Фредгольма
[14/0%]Пусть компактен. Покажите, что компактен и симметричен. Затем, используя теорему Гильберта-Шмидта, покажите, что существует ортонормированная последовательность в такая, что для всех и , если ортогонален . Заключите, что если ортогонален , то
Определите как замкнутую линейную оболочку . Покажите, что замкнуто и сепарабельно, и на .
Пусть обозначает множество компактных операторов в . Покажите, что — замкнутое подпространство , для которого множество операторов конечного ранга является плотным подпространством. Является ли открытым подмножеством ?
Покажите, что композиция в любом порядке фредгольмова оператора индекса 0 с обратимым оператором также является фредгольмовой индекса 0.
Покажите, что композиция двух фредгольмовых операторов индекса 0 также является фредгольмовой индекса 0.
Покажите, что оператор является фредгольмовым индекса 0 тогда и только тогда, когда он является возмущением обратимого оператора оператором конечного ранга.
Проведите следующее рассуждение, чтобы показать, что совокупность обратимых операторов в является открытым подмножеством .
Для с , используя полноту , покажите, что так называемый ряд Неймана сходится к оператору в , являющемуся обратным к .
Для обратимого оператора покажите, что для любого выполняется .
Используя (i) и (ii), покажите, что если обратим, то обратим и любой , для которого .
Покажите, что множество операторов в , являющихся фредгольмовыми индекса 0, является открытым подмножеством .
Следуя методу ортогональной аппроксимирующей последовательности, использованному в доказательстве Предложения 22, приведите другое доказательство Леммы 14 в случае, когда сепарабельно.
Для предположим, что для всех . Предположим, что компактен и инъективен. Покажите, что сюръективен.
Пусть компактен, а таково, что . Покажите, что обратим.
Пусть таково, что , компактен и . Покажите, что Id инъективен.
Пусть обозначает множество обратимых операторов в .
Покажите, что относительно операции композиции операторов является группой: она называется общей линейной группой пространства .
Оператор в называется ортогональным, если . Покажите, что множество ортогональных операторов является подгруппой : она называется ортогональной группой.
Пусть — фредгольмов оператор индекса нуль, а компактен. Покажите, что — фредгольмов оператор индекса нуль.
Пусть — подпространство конечной коразмерности линейного пространства . Покажите, что все конечномерные линейные дополнения к в имеют одинаковую размерность.