Спектральная теорема для компактных операторов
[22/45%]Докажите, что если — компактный оператор на ненулевом гильбертовом пространстве, то является собственным значением .
Докажите, что если — самосопряжённый оператор на ненулевом гильбертовом пространстве , то
Пусть — ограниченный оператор на гильбертовом пространстве , а — замкнутое подпространство . Докажите, что следующие условия эквивалентны:
— инвариантное подпространство для .
— инвариантное подпространство для .
.
Пусть — ограниченный оператор на гильбертовом пространстве , а — замкнутое подпространство . Докажите, что следующие условия эквивалентны:
и — инвариантные подпространства для .
и — инвариантные подпространства для .
.
Пусть — ограниченный оператор на несепарабельном нормированном векторном пространстве . Докажите, что обладает замкнутым инвариантным подпространством, отличным от и .
Пусть — оператор на банаховом пространстве размерности больше 2. Докажите, что обладает инвариантным подпространством, отличным от и .
В этом упражнении не предполагается ограниченным, а инвариантное подпространство не обязано быть замкнутым.
Пусть — самосопряжённый компактный оператор на гильбертовом пространстве, имеющий лишь конечное число различных собственных значений. Докажите, что имеет конечномерный образ.
Докажите, что если — самосопряжённый компактный оператор на гильбертовом пространстве, то существует самосопряжённый компактный оператор , такой что .
Докажите, что если — нормальный компактный оператор на комплексном гильбертовом пространстве, то существует нормальный компактный оператор , такой что .
Пусть — компактный нормальный оператор на ненулевом гильбертовом пространстве . Докажите, что существует подпространство размерности 1 или 2, являющееся инвариантным подпространством для .
Если , требуемый результат немедленно следует из спектральной теоремы для компактных нормальных операторов. Таким образом, можно считать, что .
Пусть — самосопряжённый компактный оператор на гильбертовом пространстве и . Докажите, что существует самосопряжённый компактный оператор , такой что .
Для определим и формулами
здесь мы предполагаем, что .
Используя заключение примера 10.108, покажите, что — ортонормированный базис .
Используя результат пункта (a), покажите, что — ортонормированный базис .
Используя результат пункта (b), покажите, что ортонормированное семейство из третьего пункта примера 8.51 является ортонормированным базисом .
Пример 10.108 (заключение): для определим формулой . Тогда — ортонормированный базис .
Пример 8.51 (третий пункт): для определим формулой
Пусть — компактный оператор на гильбертовом пространстве. Докажите, что .
Пусть — компактный оператор на гильбертовом пространстве и . Докажите, что тогда и только тогда, когда .
Пусть — компактный оператор на гильбертовом пространстве с сингулярным разложением
для всех . Для определим формулой
Докажите, что .
Это упражнение даёт ещё одно доказательство — в дополнение к доказательству, предложенному в упражнении 15 раздела 10C, — того, что оператор на гильбертовом пространстве компактен тогда и только тогда, когда он является пределом ограниченных операторов с конечномерным образом.
Пусть — компактный оператор на гильбертовом пространстве и . Докажите, что
Пусть — компактный оператор на гильбертовом пространстве и . Докажите, что
Пусть — компактный оператор на гильбертовом пространстве с сингулярным разложением
для всех . Докажите, что
для всех .
Пусть — оператор на конечномерном гильбертовом пространстве с .
Докажите, что обратим тогда и только тогда, когда .
Пусть обратим и имеет сингулярное разложение
для всех . Покажите, что
для всех .
Пусть — компактный оператор на гильбертовом пространстве . Докажите, что
для любого ортонормированного базиса пространства .
Используя результат примера 10.124, вычислите .
Пример 10.124: .
Пусть — нормальный компактный оператор на комплексном гильбертовом пространстве. Докажите, что следующие условия эквивалентны:
образ конечномерен.
— конечное множество.
для некоторого .
Найдите сингулярные числа оператора Вольтерры.
Ваш ответ в сочетании с упражнением 12 должен показать, что норма оператора Вольтерры равна . Появление здесь может показаться удивительным, поскольку определение оператора Вольтерры не включает .