Функциональное исчисление, построенное по самосопряжённому оператору
[21/19%]Доказать, что для самосопряжённого оператора в гильбертовом пространстве и многочлена
Привести пример, показывающий, что для произвольного несамосопряжённого оператора это утверждение неверно. Доказать это утверждение для произвольного нормального оператора (использовать задачу 12.35).
Пусть и . Доказать, что оператор ортопроектор.
Пусть и . Найти .
Пусть — гильбертово пространство, — самосопряжённый оператор и . Доказать, что справедлива оценка
с помощью задачи 9.49;
с помощью теоремы 13.2.
Пусть — гильбертово пространство, — самосопряжённый оператор. Доказать, что его преобразование Кэли
определено и является унитарным оператором. Доказать, что .
Пусть — гильбертово пространство, — самосопряжённый оператор в . Положим . Доказать, что является голоморфной операторной группой с генератором .
Пусть — гильбертово пространство, — самосопряжённый оператор в и — функциональные исчисления для непрерывных функций на отрезках и , причём и — оператор сужения. Доказать, что , т. е. функциональные исчисления на указанных отрезках согласованы.
Пусть — гильбертово пространство, — самосопряжённый оператор в . Доказать согласованность функциональных исчислений непрерывных и голоморфных функций. А именно, если — голоморфная функция в круге, содержащем , то оператор , построенный в соответствии с теоремой 13.1, совпадает с оператором, построенным в соответствии с теоремой 13.2.
Пусть — бесконечномерное гильбертово пространство, — самосопряжённый оператор. Доказать, что если компактен, а — функция, определённая и непрерывная на , то оператор компактен тогда и только тогда, когда (сравните с задачей 11.19).
Пусть и — гильбертово пространство. Найти в случае:
;
— ортогональный проектор;
и , где все вещественны и ;
и , где — вещественная функция.
Пусть — самосопряжённый компактный оператор в гильбертовом пространстве и . Найти матрицу оператора в базисе из собственных векторов оператора (см. теорему 12.3).
Пусть — гильбертово пространство, — ограниченный самосопряжённый оператор в и . Доказать, что для функционального исчисления, построенного по оператору на отрезке , справедлива теорема об отображении спектров: .
Пусть и — подобные самосопряжённые операторы в , где — гильбертово пространство (т. е. для некоторого ). Пусть отрезок содержит спектры операторов и . Доказать, что для любой операторы и подобны, причём подобие осуществляется посредством того же оператора .
Пусть в гильбертовом пространстве , и непрерывная на отрезке функция также неотрицательна. Доказать, что .
Пусть ограниченные самосопряжённые операторы и , действующие в гильбертовых пространствах и соответственно, подобны. Доказать, что они унитарно эквивалентны, т. е. оператор , осуществляющий подобие , является изометрическим изоморфизмом.
Пусть — самосопряжённый оператор в гильбертовом пространстве , отрезок содержит . Доказать, что
если , то ;
если , то для любого .
Пусть — самосопряжённый оператор в гильбертовом пространстве . Доказать, что . Доказать, что полярное разложение самосопряжённого оператора в имеет вид , где — частичная изометрия (см. определения 8.8 и 8.6).
Пусть — самосопряжённый оператор в гильбертовом пространстве . Доказать, что
;
;
.
Пусть — самосопряжённый оператор в гильбертовом пространстве — вещественнозначная функция. Доказать, что
;
;
.
Построить функциональное исчисление (для непрерывных функций) от унитарного оператора в гильбертовом пространстве . А именно, доказать, что существует единственный непрерывный гомоморфизм алгебры в , обладающий свойствами (1)-(4):
-
;
-
;
-
(условия гомоморфизма);
-
— линейный непрерывный оператор из в (т. е. если последовательность функций из сходится к , то ). Этот гомоморфизм также обладает свойствами
-
, где ;
-
(усиление свойства непрерывности гомоморфизма );
-
если некоторый ограниченный оператор коммутирует с , то он коммутирует и с любым оператором .