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

У функціональному аналізі унітарний оператор — це сюр’єктивний обмежений оператор на гільбертовому просторі, який зберігає Шаблон:Нп. Унітарні оператори зазвичай вважаються як діючі на гільбертовому просторі, але таке ж поняття служить для визначення поняття ізоморфізму між гільбертовими просторами.

Унітарний елемент — це узагальнення унітарного оператора. Елемент $U$ унітарної алгебри називається унітарним елементом, якщо виконується рівність $U^{*}U=U{U}^{*}=I$, де $I$ — тотожний елемент.

Означення

Означення 1. Унітарний оператор — обмежений лінійний оператор $U:H\to H$ на гільбертовому просторі $H$, який задовольняє рівність $U^{*}U=U{U}^{*}=I$, де $U^{*}$ — спряжений оператор до оператора $U$, а $I:H\to H$ — тотожний оператор.

Слабша умова $U^{*}U=I$ визначає ізометрію. Інша умова, $U{U}^{*}=I$, визначає коізометрію. Таким чином, унітарний оператор — це обмежений лінійний оператор, який одночасно є ізометрією і коізометрією або, що еквівалентно, сюр’єктивною ізометрією.

Еквівалентне означення є наступним:

Означення 2. Унітарний оператор — це обмежений лінійний оператор $U:H\to H$ на гільбертовому просторі $H$, для якого виконується наступні умови:

• Оператор $U$ є сюр’єктивним.
• Оператор $U$ зберігає Шаблон:Нп гільбертового простору $H$. Іншими словами, для всіх векторів $x$ i $y$ в просторі $H$ маємо

$⟨Ux,Uy{⟩}_H=⟨x,y{⟩}_H.$

Поняття ізоморфізму в категорії гільбертових просторів фіксується, якщо в цьому означенні розрізняються область визначення й діапазону. Ізометрії зберігають послідовності Коші, а отже, зберігається властивість повноти гільбертових просторів.

Наступне, здавалося б слабкіше, означення також є еквівалентним:

Означення 3. Унітарний оператор — це обмежений лінійний оператор $U:H\to H$ на гільбертовому просторі $H$, для якого виконується наступні умови:

• Діапазон оператора $U$ є щільним у просторі $H$.
• Оператор $U$ зберігає внутрішній добуток гільбертового простору $H$. Іншими словами, для всіх векторів $x$ і $y$ в просторі $H$ маємо

$⟨Ux,Uy{⟩}_H=⟨x,y{⟩}_H.$

Щоб переконатися, що означення 1 і 3 є еквівалентними, звернемо увагу, що з умови збереження внутрішнього добутку оператора $U$ випливає, що оператор $U$ є ізометрією (отже, він є обмеженим лінійним оператором). Той факт, що оператор $U$ має щільний діапазон, гарантує, що він має обмежений обернений оператор $U^{-1}$. Очевидно, що $U^{-1}=U^{*}$.

Таким чином, унітарні оператори є лише автоморфізмами гільбертових просторів, тобто вони зберігають структуру (у даному випадку лінійну структуру простору, внутрішній добуток, а отже, і топологію простору, на якому вони діють. Групу всіх унітарних операторів із даного гільбертового простору $H$ у себе іноді називають групою Гільберта простору $H$, позначають як $\mathrm{Hilb}(H)$ або $\mathrm{U}(H)$.

Приклади

• Тотожне відображення є тривіальним унітарним оператором.
• Повороти в просторі ${ℝ}^2$ є найпростішим нетривіальним прикладом унітарних операторів. Повороти не змінюють довжину вектора або кут між двома векторами. Цей приклад можна розширити на випадок простору ${ℝ}^3$.
• У векторному просторі комплексних чисел $ℂ$ множення на число з модулем $1$, тобто на число виду ${\mathrm{e}}^{\mathrm{i}\theta }$ для $\theta \in ℝ$, є унітарним оператором. Число $\theta$ називають фазою, а саме множення називають множенням на фазу. Зауважимо, що значення числа $\theta$ за модулем $2\pi$ не впливає на результат множення, і тому незалежні унітарні оператори на $ℂ$ параметризуються колом. Відповідна група, яка як множина є колом, називається $\mathrm{U}(1)$.
• У більш загальному випадку унітарні матриці є саме унітарними операторами на скінченновимірних гільбертових просторах, тому поняття унітарного оператора є узагальненням поняття унітарної матриці. Ортогональні матриці — це окремий випадок унітарних матриць, у яких усі елементи є дійсними. Вони є унітарними операторами на ${ℝ}^n$.
• Двосторонній зсув на просторі послідовностей ${\ell }^2$, що індексується цілими числами, є унітарним. У загальному випадку, будь-який оператор у гільбертовому просторі, який діє шляхом перестановки ортонормованого базису, є унітарним. У скінченномірному випадку такими операторами є матриці перестановок.
• Односторонній зсув (правий зсув) є ізометрією; її спряжена величина (лівий зсув) є коізометрією.
• Шаблон:Нп є унітарним оператором, тобто оператором, який виконує перетворення Фур’є (при належній нормалізації). Це випливає з теореми Парсеваля.
• Унітарні оператори використовуються в Шаблон:Нп.
• Квантові вентилі є унітарними операторами. Не всі вентилі є ермітовими.

Лінійність

Вимога лінійності у означенні унітарного оператора можна відкинути без зміни сенсу, оскільки її можна отримати з лінійності та додатної визначеності скалярного добутку:

$\begin{array}{cc}\Vert \lambda U(x)-U(\lambda x){\Vert }^2& =⟨\lambda U(x)-U(\lambda x),\lambda U(x)-U(\lambda x)⟩\\ & =\Vert \lambda U(x){\Vert }^2+\Vert U(\lambda x){\Vert }^2-⟨U(\lambda x),\lambda U(x)⟩-⟨\lambda U(x),U(\lambda x)⟩\\ & =|\lambda {|}^2\Vert U(x){\Vert }^2+\Vert U(\lambda x){\Vert }^2-\bar{\lambda }⟨U(\lambda x),U(x)⟩-\lambda ⟨U(x),U(\lambda x)⟩\\ & =|\lambda {|}^2\Vert x{\Vert }^2+\Vert \lambda x{\Vert }^2-\bar{\lambda }⟨\lambda x,x⟩-\lambda ⟨x,\lambda x⟩\\ & =0.\end{array}$

Аналогічно можна отримати

$\Vert U(x+y)-(Ux+Uy)\Vert =0.$

Властивості

• Спектр унітарного оператора $U$ лежить на одиничному колі. Тобто для будь-якого комплексного числа $\lambda$ зі спектру маємо, що $|\lambda |=1$. Це можна розглядати як наслідок спектральної теореми для Шаблон:Нп. За теоремою оператор $U$ є унітарно еквівалентним множенню на вимірну за Борелем функцію $f$ з $L^2(\mu )$ для деякого простору з скінченною мірою $(X,\mu )$. Тоді з рівності $U{U}^{*}=I$ випливає, що $|f(x){|}^2=1$, майже скрізь за мірою $\mu$. Це показує, що істотний діапазон функції $f$, а отже, спектр оператора $U$, лежить на одиничному колі.
• Лінійний оператор є унітарним тоді, коли він сюр’єктивний та ізометричний. (Використайте поляризаційну тотожність для доведеннячастини “й лише тоді”.)

Див. також

• Шаблон:Нп
• Шаблон:Нп
• Квантовий вентиль — основна схема в квантових обчисленнях
• Унітарна матриця — комплексна матриця, спряжена транспонована матриця якої дорівнює її оберненій
• Унітарне перетворення — ендоморфізм, що зберігає внутрішній добуток
• Унітарна матриця
• Оператор (фізика)

Джерела

• Шаблон:Гантмахер.Теорія матриць
• Шаблон:Гельфанд.ЛінійнаАлгебра.укр
• Шаблон:Ахієзер.Глазман.ТЛОвГП.т1
• Conway, J. B. (1990). A Course in Functional Analysis. Graduate Texts in Mathematics. Vol. 96. Springer Verlag. ISBN 0-387-97245-5.
• Doran, Robert S.; Belfi (1986). Characterizations of C*-Algebras: The Gelfand-Naimark Theorems. New York: Marcel Dekker. ISBN 0-8247-7569-4.
• Halmos, Paul (1982). A Hilbert space problem book. Graduate Texts in Mathematics. Vol. 19 (2nd ed.). Springer Verlag. ISBN 978-0387906850.
• Lang, Serge (1972). Differential manifolds. Reading, Mass.–London–Don Mills, Ont.: Addison-Wesley Publishing Co., Inc. ISBN 978-0387961132.