Спектральная теорема в терминах интеграла Лебега—Стилтьеса
[25/32%]Пусть — самосопряжённый оператор в гильбертовом пространстве и пусть — две функции, тождественно совпадающие на луче . Доказать, что .
Пусть — самосопряжённый оператор в гильбертовом пространстве , а — разложение единицы для оператора . Доказать следующие свойства:
если , то ; если , то ;
если , то ;
для любого выполнено равенство ;
все операторы коммутируют с операторами , где (в частности, с самим оператором ).
Пусть — самосопряжённый оператор в гильбертовом пространстве . Доказать, что семейство подпространств , ассоциированных с оператором , обладает следующими свойствами:
если , то ; если , то ;
если , то ;
для любого выполнено равенство ;
все пространства инвариантны относительно для любой (в частности, они инвариантны относительно оператора ).
Пусть — самосопряжённый оператор в гильбертовом пространстве . Доказать, что:
число тогда и только тогда, когда оно является точкой возрастания семейства (т. е. в любой окрестности точки найдётся точка , для которой );
число тогда и только тогда, когда оно является точкой разрыва семейства (т. е. ).
Пусть — самосопряжённый оператор в гильбертовом пространстве . Доказать, что если (см. определение 12.4) или , то у оператора существует ортонормированная последовательность Вейля (сравнить с задачей 12.30).
Пусть — самосопряжённый оператор в гильбертовом пространстве . Доказать, что
Доказать, что если , то — изолированное собственное значение оператора конечной кратности.
Найти семейство проекторов и подпространств , ассоциированных с оператором ортогонального проектирования на некоторое подпространство .
Найти семейство проекторов и подпространств , ассоциированных с оператором , заданным в матрицей
где все числа , вещественны и попарно различны. Как изменится ответ, если среди чисел есть одинаковые?
Найти семейство проекторов и подпространств , ассоциированных с оператором .
Найти семейство проекторов и подпространств , ассоциированных с оператором в пространстве , где — ограниченная вещественная последовательность.
Найти семейство проекторов и подпространств , ассоциированных с оператором, заданным матрицей:
;
;
;
.
Пусть — непрерывная строго возрастающая функция на . Найти семейство проекторов и подпространств , ассоциированных с оператором .
Описать семейство проекторов и подпространств , ассоциированных с самосопряжённым компактным оператором в гильбертовом пространстве (в терминах собственных значений и собственных векторов).
Найти семейство проекторов и подпространств , ассоциированных с оператором .
Пусть — ограниченный оператор в гильбертовом пространстве и для любого ортонормированного базиса в выполнено при . Доказать, что оператор компактен (ср. с задачами 11.54 и 11.45).
Доказать, что любой самосопряжённый оператор в гильбертовом пространстве можно с любой точностью приблизить конечными линейными комбинациями ортогональных проекторов в пространстве .
Пусть — самосопряжённый оператор в гильбертовом пространстве , а — самосопряжённый оператор в гильбертовом пространстве . Пусть и — семейства подпространств, ассоциированные с операторами и . Доказать, что операторы и подобны (унитарно эквивалентны), т. е. для некоторого ( — унитарный оператор из в ) тогда и только тогда, когда осуществляет биекцию (унитарный изоморфизм) и для любого .
Пусть — унитарный оператор в гильбертовом пространстве . Доказать, что существует единственная проекторнозначная мера на окружности со значениями в , для которой справедливо равенство
для любой борелевской ограниченной функции на .
Пусть — унитарный оператор в гильбертовом пространстве . Доказать, что , где — ортопроектор на подпространство . странство .
Пусть и — самосопряжённые операторы в гильбертовом пространстве и — их разложения единицы соответственно. Доказать, что и коммутируют тогда и только тогда, когда для любых .
Пусть и — полные метрические сепарабельные пространства, и -алгебры борелевских множеств на этих пространствах. Пусть на и заданы соответственно борелевские разложения единиц и , значениями которых являются ортогональные проекторы в одном и том же гильбертовом пространстве . Пусть эти разложения единиц коммутируют, т. е. для всех . На декартовом произведении определим — борелевскую -алгебру подмножеств, содержащую все «прямоугольники» вида . Доказать, что на существует единственное разложение единицы, определяемое условием
где .
Пусть — ограниченный нормальный оператор в гильбертовом пространстве . Доказать, что существует такое разложение единицы , определённое на борелевских подмножествах П, что , где интеграл понимается в смысле Лебега-Стилтьеса (см. преамбулу этого параграфа).
Пусть — ограниченный нормальный оператор в гильбертовом пространстве . Доказать, что
Пусть — ограниченный нормальный оператор в гильбертовом пространстве . Доказать, что . Привести примеры нормальных операторов, для которых
это включение строгое;
.
Пусть — унитарный оператор в гильбертовом пространстве . Доказать, что .