Унитарный оператор


Унитарный оператор — ограниченный линейный оператор на гильбертовом пространстве , который удовлетворяет соотношению:

где  — эрмитово сопряжённый к оператор, и  — единичный оператор. Это свойство эквивалентно следующим:

( изометричен, а поэтому является ограниченным линейным оператором — это следует из того, что сохраняет скалярное произведение; образ  — плотное множество, таким образом = .)

Унитарный элемент — обобщение понятия унитарного оператора. В унитарной *-алгебре элемент алгебры называется унитарным элементом, если:

Спектр унитарного оператора лежит на единичной окружности. Это можно увидеть из спектральной теоремы для нормального оператора. По этой теореме, унитарно эквивалентно умножению на измеримую по Борелю функцию на , для некоторого пространства с мерой . Из следует .