Нормальная форма самосопряжённого оператора
Норма́льная фо́рма самосопряжённого опера́тора, представление с точностью до изоморфизма самосопряжённого оператора , действующего в гильбертовом пространстве , в виде ортогональной суммы операторов умножения на независимую переменную.
Пусть, сначала, – циклический оператор; это означает, что существует элемент такой, что любой элемент однозначно представим в виде , где – некоторая функция такая, что
здесь , – спектральная функция оператора . Пусть – пространство функций, суммируемых с квадратом на с весом , и – оператор умножения на независимую переменную с областью определения
Тогда операторы и изоморфны, , т. е. существует изоморфное и изометрическое отображение такое, что и .
Пусть, теперь, – произвольный самосопряжённый оператор. Тогда можно разложить в ортогональную сумму инвариантных подпространств , на каждом из которых индуцирует циклические операторы , так что , и . Если на задать оператор , то .
Оператор называется нормальной формой, или каноническим представлением, оператора . Теорема о каноническом представлении распространяется на случай произвольных нормальных операторов.