Неприводимые представления.

Определение 2.5. Представление называется неприводимым, если в пространстве Н не существует инвариантного подпространства, отличного от {0} и всего Н.

Согласно теореме 2.2. это означает, что всякий оператор проектирования, перестановочный со всеми операторами представления, равен 0 или 1.

Всякое представление в одномерном пространстве неприводимо.

Теорема 2.5. Представление π в пространстве Н неприводимо тогда и только тогда, когда всякий отличный от нуля вектор пространства Н есть циклический вектор этого представления.

Доказательство. Пусть представление π неприводимо. При f Н, f ≠ 0, подпространство, натянутое на векторы π(х) f , х А, есть инвариантное подпространство; в силу неприводимости представления оно совпадает с {0} или Н. Но первый случай невозможен, ибо тогда одномерное пространство

{α f | α C} инвариантно и потому совпадает с Н, то есть π(х)=0 в Н. Во втором же случае f есть циклический вектор.

Обратно, если представление π приводимо и К – отличное от {0} и Н инвариантное подпространство в Н, то никакой вектор f из К не будет циклическим для представления π в Н.

Теорема 2.6. (И.Шур) Представление π неприводимо тогда и только тогда, когда коммутант π (А) в L ( H ) сводится к скалярам (то есть операторам кратным единичному).

Доказательство. Пусть представление π неприводимо и пусть ограни-
ченный оператор В перестановочен со всеми операторами π(х). Предположим сначала, что В – эрмитов оператор; обозначим через E(λ) спектральные проекторы оператора В. Тогда при любом λ оператор E(λ) перестановочен со всеми операторами π(х) ; в виду неприводимости представления E(λ) =0 или E(λ) =1, так как (E(λ) f, f) не убывает при возрастании λ, то отсюда следует, что существует λ₀ такое, что E(λ) =0 при λ<λ₀ и E(λ) =1 при λ>λ₀ . Отсюда

В= λ dE(λ) = λ₀ 1.

Пусть теперь В – произвольный ограниченный оператор, переста-
новочный со всеми операторами π(х). Тогда В* также перестановочен со всеми операторами π(х). Действительно,

В*π(х) = (π(х*)В)* = (Вπ(х*))* = π(х)В*

Поэтому эрмитовы операторы В₁= , В₂=  также перестановочны со всеми операторами π(х) и, следовательно, кратны единице. Но тогда и оператор В = В₁+iВ₂ кратен единице, то есть В – скаляр.

Обратно, пусть всякий ограниченный оператор, перестановочный со всеми операторами π(х), кратен единице. Тогда, в частности, всякий оператор проектирования, перестановочный со всеми операторами π(х) кратен единице. Но оператор проектирования может быть кратным единице только тогда, когда он равен 0 или 1. Следовательно, представление неприводимо.

Определение 2.6 Всякий линейный оператор Т : Н → Н΄ такой, что Тπ(х)=π΄(х)Т для любого х А, называется оператором сплетающим π и π΄.

Пусть Т : Н → Н΄ - оператор, сплетающий π и π΄. Тогда Т* : Н΄ → Н является оператором, сплетающим π΄ иπ, так как

Т*π΄(х) = (π΄(х)Т)* = (Т π(х*))* = π(х)Т*

Отсюда получаем, что

                                   Т* Тπ(х)=Т*π΄(х)Т= π(х)Т*Т                                (2.1.)

Поэтому | T | = (T*T)^1/2 перестановочен с π(А). Пусть Т = U | T | - полярное разложение Т. Тогда для любого х А

          Uπ(х)| T | = U | T | π(х)= Тπ(х)= π΄(х)Т=π΄(х)U | T |                   (2.2.)

Если KerT={0}, то | T | (Н) всюду плотно в Н и из (2.2.) следует

                                   Uπ(х) = π΄(х)U                                                (2.3.)

Если, кроме того, = Н΄, то есть если KerT*={0}, то U является изоморфизмом Н и Н΄ и (2.3.) доказывает что π и π΄ эквивалентны.

Пусть π и π΄ - неприводимые представления *-алгебры А в гильбертовых пространствах Н и Н΄ соответственно. Допустим, что существует ненулевой сплетающий оператор Т : Н → Н΄. Тогда из (2.1.) и теоремы 2.6. следует, что Т*Т и ТТ* - скалярны (≠0) и π,  π΄ эквивалентны.