149. Общий случай непрерывного спектра.
Мы видели, что если элемент у принадлежит подпространству
построенному в [147], то и
приводит А. Если оператор А не имеет точечного спектра, т. е. его спектральная функция
непрерывна при всех значениях X, и его непрерывный спектр не является простым, то, как мы покажем, пространство Я можно представить в виде ортогональной суммы подпространств типа
. В каждом из этих подпространств индуцированный оператором А оператор будет иметь простой непрерывный спектр, и для элементов, принадлежащих такому подпространству, мы будем иметь формулы, выведенные в [147]. Соответственные формулы для любых элементов из Н будут получаться при помощи разложения элемента по упомянутым выше подпространствам, и, в силу (266), эти формулы будут получаться путем сложения соответствующих формул для отдельных подпространств. Приведем упомянутое представление
, в виде ортогональной суммы подпространств типа СХУ считая пространство Я сепарабельным. Возьмем какую-нибудь замкнутую ортогональную нормированную систему
Положив
построим
. Элемент
мы можем представить в виде
где
. Если
то строим
Покажем, что
По условию, при любом X мы имеем
ибо
Получим далее:
Отсюда следует, что любая линейная комбинация элементов
ортогональна любой линейной комбинации
и в пределе любой элемент из
ортогонален любому элементу из
Далее берем элемент и представляем его в виде
где
и строим
Как и выше, доказываем, что
и т. д. Таким образом, мы получим конечное или счетное число попарно ортогональных подпространств
и поскольку каждый элемент
из Н разлагается по элементам
которые образуют замкнутую систему, то тем самым ортогональная сумма подпространств
дает все Н:
В каждом из подпространств
мы будем иметь формулы, указанные в [1471, и таким образом для любых элементов у и z из Н можем написать
где
, и написанные суммы могут быть как конечными, так и бесконечными. В последнем случае для формул (272) и (273), содержащих элементы
сходимость ряда надо понимать как сходимость элементов Н.
Указанный выше прием построения подпространств
можно записать в виде формул, которые мы сейчас укажем. Если v — любой элемент
то его проекция в Суку определяется соответствующим слагаемым первой из формул (272), т. е.
и для получаем, принимая, как всегда, во внимание (180),
Из этого замечания непосредственно вытекают следующие формулы, которые соответствуют указанному выше процессу построения подпространств
При различном выборе исходной системы и подпространства Сук получаются, вообще говоря, различными. Может случиться, что и число этих подпространств окажется различным. Целесообразно с самого начала по возможности расширять эти подпространства.
Можно показать, что возможно такое построение
, при котором выполнено следующее условие: всякое множество меры нуль по отношению
будет множеством меры нуль и по отношению к
Это условие, в силу результатов из [74], равносильно следующему: всякое
выражается через предыдущие
формулой
где интеграл надо понимать в смысле Лебега—Стилтьеса, и
неотрицательные функции, измеримые по отношению
и суммируемые. При соблюдении этого условия будем говорить, что разбиение спектральной функции нормально. Можно доказать, что в различных нормальных разбиениях число подпространств одно и то же. Мы еще вернемся к этому вопросу.