85483 (589833), страница 5

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 5)

Пусть представления π_μ в L₂(Т, μ) и π_ν в L₂(Т, ν) эквивалентны. Пусть v:L₂(Т, μ) →L₂(Т, ν) устанавливающий их эквивалентность изоморфизм. Положим f=1, а=v(f), тогда для любой непрерывной функции g на Т v(g)=vπ_μ(g)f = π_ν (g)vf = π_ν (g)a = ga. Так как v – изометрическое отображение, то dμ=|a|²dν. Таким образом мера μ абсолютно непрерывна по мере ν. Аналогично, рассматривая обратный оператор, получаем, что ν абсолютно непрерывна по μ, то есть эти меры эквивалентны. Значит существует разложение Н΄ = (С² L₂(Т, μ_к)), где μ₁>μ₂>… и соответствующие этим мерам представления неприводимы и неэквивалентны. Это доказывает равенство (2.4.). Тогда из (2.4.) следуют формулы:

P₁ = P_1,0 P_1,1 ( ( I_к ))

Р₂ = P_0,1 P_1,1 ( I_к ))

I_к – единичный оператор в L₂((0, ), dρ_к).

Теорема 2.4. (спектральная теорема в форме разложения единицы). Паре ортопроекторов Р₁ и Р₂ в сепарабельном гильбертовом пространстве Н соответствует разложение

Н = Н_0,0 Н_0,1 Н_1,0 Н_1,1 С² Н(φ)dЕ(φ) (2.7.)

в прямой интеграл инвариантных относительно Р₁, Р₂ подпространств и определенное на Т = (0, ) разложение dЕ(φ) единичного оператора I₊=E(0, ) в Н₊ = С² Н(φ)dЕ(φ), такое что имеет место равенство

P₁ = P_1,0 P_1,1 I₊ (2.8.)

Р₂ = P_0,1 P_1,1 dЕ(φ) (2.9.)

Доказательство. Всякий самосопряженный оператор А, действующий в Н, изометрически изоморфен оператору умножения на независимую переменную в пространстве L₂(R, dρ_к), где ρ_к зависит от разложения единицы оператора А. Тогда доказательство спектральной теоремы в форме разложения единицы следует непосредственно из спектральной теоремы в форме операторов умножения.

Глава III. Спектр суммы двух ортопроекторов

§1. Спектр суммы двух ортопроекторов в унитарном пространстве

1.1. Спектр ортопроектора в гильбертовом пространстве.

Теорема 1.1. Пусть Н – гильбертово пространство. Если Р – ортопроектор, то (Р) = _р (Р) = {0, 1}, где _р (Р) – точечный спектр при условии, что Р ≠ 0 и Р ≠ I.

Доказательство. Рассмотрим выражение Рх - λх = y, х, y Н, λ С. Тогда (1 - λ) Р_х = Р_y . Если λ ≠ 1, то Р_х = Р_y. Если х ≠ 1, то х = ( Р_y - y), тогда (Р) = {0, 1}.

Так как Р ≠ 0 и Р ≠ I, то существует х ≠ 0 такой, что Р_х ≠ 0. Тогда Р(Р_х) = Р_х, то есть 1 _р (Р). Существует y ≠ 0: (I - Р)y ≠ 0, тогда Р(I - Р)y = 0 = 0 · (I - Р)y, то есть 0 _р (Р). Итак, (Р) = _р (Р) = {0, 1}.

1.2. Постановка задачи. Пусть заданы два ортопроектора Р₁ и Р₂ в унитарном пространстве Н. Тогда мы знаем спектр каждого из них. Найдем спектр суммы Р₁ + Р₂ в неприводимых представлениях.

1.3. Спектр в одномерном пространстве. Пусть dimH =1. Пусть, как и выше, Н_к – область значений оператора Р_к к = 1,2. Обозначим через А = Р₁ + Р₂ и найдем (А).

1) Р₁ = Р₂ = 0, то для любого х Н Ах = 0 или Ах = 0 · х, то есть 0 (А).

2) Р₁ = 0, Р₂ = I, то для любого х Н₂ = Н Ах = х, то есть 1 (А).

3) Р₁ = I, Р₂ = 0, то для любого х Н₁ = Н Ах = х.

4) Р₁ = Р₂ = I, то для любого х Н₁ = Н₂ = Н Ах = Р₁х + Р₂х = 2х, то есть 2 (А).

Таким образом, если dimH =1, то (А) {0, 1, 2}.

1.4. Спектр в двумерном пространстве. Пусть dimH =2. Сохраним обозначения (1.1.) Главы II.

1) х Н_0,0 , тогда Ах = 0 и 0 (А).

2) х Н_0,1 или х Н_1,0 , тогда Ах = х и 1 (А).

3) х Н_1,1, тогда Ах = 2х, то есть 2 (А).

Если существуют i, j= 0,1 такие, что Н_i,j ≠ {0}, то существуют k,l = 0,1 такие, что Н_i,j Н_k,l = H. В этом случае (А) {0, 1, 2}.

Пусть теперь Н_k,l = {0} для любых k,l = 0,1. Допустим, что существует одномерное инвариантное подпространство L относительно Р₁ и Р₂, тогда АL L. Пусть х L, тогда Р_kх = λ_кх (k = 1, 2 ). Так как Р_k ортопроектор, то возможны случаи:

1. λ₁ = 0, λ₂ = 0;

2. λ₁ = 0, λ₂ = 1;

3. λ₁ = 1, λ₂ = 0;

4. λ₁ = 1, λ₂ = 1;

Но это означает, что k,l = 0,1 такие, что Н_k,l ≠ {0} вопреки предположению. Тогда пара Р₁, Р₂ неприводима. Значит мы можем записать матрицы операторов Р₁ и Р₂ в некотором ортонормированном базисе, согласно теореме 1.1. главы II.

Р₁ = , Р₂ τ (0, 1)

Найдем спектр линейной комбинации ортопроекторов aР₁ + bР₂, a и b С. Для этого решим характеристическое уравнение det(aР₁ + bР₂ – λI) = 0.

(1.1.)

Тогда , (1.2)

Положим a = 1, b =1, ε = , тогда λ₁ = 1+ε , λ₂ = 1-ε и 0<ε<1 (поскольку 0<τ<1.

Тогда (А) {0, 1, 2} {1+ε , 1-ε}. Причем собственные значения 1+ε и 1-ε входят в спектр А одновременно.

1.5. Спектр в n-мерном пространстве. Пусть dimH =n. Если Н =К L, где К, L инвариантные подпространства относительно оператора А, то для любого х Н существует единственное разложение x = k +l, k K, l L. Пусть λ (А), тогда Ах = λх =λk +λl;, следовательно, если пространство Н разложено в ортогональную сумму инвариантных подпространств, то спектр оператора А можно найти как объединение спектров сужений оператора А на соответствующие инвариантные подпространства.

Используя лемму 1.2. главы II, представим Н в виде ортогональной суммы подпространств Н₀ = Н_0,0, Н₁=Н_0,1 Н_1,0, Н₂=Н_1,1 и двумерных, инвариантных относительно А, подпространств Нφ_к φ_к (0, ), (к = 1,…, s). При этом операторы Р₁ и Р₂ неприводимы в Нφ_к (к = 1,…, s), и собственные значения 1+ε_к, 1-ε_к входят одновременно в спектр А. Так как А*=А, то соответствующие собственные векторы ортогональны. Тогда имеет место разложение на собственные подпространства

Нφ_к = Н_1+εк Н_1-εк , причем dimН_1+εк = dimН_1-εк = 1 (1.3)

Если φ_к ≠ φ_i, то ε_к ≠ ε_i (так как ε_к = =cosφ_к и φ_к (0, )). Объединим все Нφ_к , у которых одинаковые φ_к , в одно слагаемое, и обозначим его через Нφ_к. При этом, если dimНφ_к = 2q_k, то есть Нφ_к состоит из q_k экземпляров двумерных подпространств, отвечающих одному φ_к , то объединяя вместе все соответствующие одномерные собственные подпространства, получим Нφ_к = Н_1+εк Н_1-εк , dimН_1+εк = dimН_1-εк = q_k.

Теорема 1.2. Самосопряженный оператор А представим в виде суммы двух ортопроекторов А = Р₁ и Р₂ тогда и только тогда, когда

(А) {0, 1, 2} ( {1+ε , 1-ε}), 0<ε_к<1,

причем dimН_1+εк = dimН_1-εк к = 1,…, m.

Доказательство. Пусть А = Р₁ и Р₂, тогда его спектр был найден выше:

(А) {0, 1, 2} ( {1+ε , 1-ε}), где 0<ε_к<1для любого к = 1,…, m.

Обратно, пусть нам известен спектр оператора А и известно, что размерности соответствующих собственных подпространств совпадают, то есть

dimН_1+εк = dimН_1-εк . Существует единственное разложение Н в ортогональную сумму инвариантных подпространств ((1.1.) Глава II):

Н = Н₍₀₎ Н₍₁₎ Н₍₂₎ ( (С² Н_к)) (1.4.)

(1.4.) можно записать иначе

Н = Н₍₀₎ Н₍₁₎ Н₍₂₎ ( (С² (Н_1+εк Н_1-εк ))) (1.5.)

Зададим ортопроекторы Р₁ и Р₂ следующим образом

P₁ = P_Н2 ( ( I_к )) (1.6.)

Р₂ = P_Н1 P_Н2 ( I_к )) (1.7.)

где P_Нк – ортопроектор в Н на Н_(к) (к = 1, 2), I_s – единичный оператор в H_s s=1,…, m. Но тогда

Р₁ + Р₂ = P_Н1 P_Н2 ( I_к )) = А, при этом А = А*

1.6. Линейная комбинация ортопроекторов. Пусть теперь с. Из (1.2.) следует λ₁ + λ₂ = a + b. Пусть λ₂ = ε, тогда λ₁ = a + b – ε.

Оценим ε. Заметим, что (a +b)² – 4ab(1-τ) = (a - b)² + 4abτ > 0.

Тогда ε = > = 0, то есть ε = 0.

Допустим, что ε ≥ a , тогда

a ≤

≤ b – a

(b - a)² +4abτ ≤ (b – a)²

abτ ≤ 0, но abτ > 0 и значит ε < a

Итак,

λ ₁ = ε

λ₂ = a + b – ε. (1.8.)

0 < ε < a

Пусть dimH =n. Тогда справедлива теорема.

Теорема 1.3. Самосопряженный оператор А представим в виде линейной комбинации ортопроекоров А = aР₁ + bР₂, 0<a<b тогда и только тогда, когда

(А) {0, a, b, a + b} ( {ε_к , a + b - ε_к}), 0<ε_к<1, и

dimН_εк = dimН_a+b-εк (Н_εк , Н_a+b-εк - собственные подпространства оператора А, отвечающие ε_к) к=1,…m.

Доказательство. Пусть А = aР₁ + bР₂, 0<a<b. Найдем (А).

1) х Н_0,0, то Ах = 0 и 0 (А);

2) х Н_0,1 , то Ах = bx и b (А);

3) х Н_1,0 , то Ах = ax и a (А);

4) х Н_1,1 , то Ах = (a+b)x и a+b (А).

Тогда (А) {0, a, b, a + b} ( {ε_к , a + b - ε_к}), где 0<ε_к<1, к=1,…m. Причем числа ε_к, a + b - ε_к входят одновременно в спектр А, и соответству-
ющие собственные подпространства ортогональны и одномерны, так как А=А*. Тогда сумма всех собственных подпространств, отвечающих одному ε_к также инвариантна относительно А и dimН_εк = dimН_a+b-εк = q_k. (с учетом кратности ε_к)

Обратно. Существует единственное разложение Н в силу (1.4.)

Н = Н₍₀₎ Н_(a) Н_(b) Н_(a+b) ( (С² Н_к)) (1.9.)

Где Н₍₀₎=Н_0,0 , Н_(a) =Н_1,0 , Н_(b)=Н_0,1 , Н_(a+b)=Н_1,1 или

Н = Н₍₀₎ Н_(a) Н_(b) Н_(a+b) ( (Н_εк Н_a+b-εк) (1.10.)

Положим

P₁ = P_a P_a+b ( ( I_к )) (1.11.)

Р₂ = P_b P_a+b ( I_к )) (1.12.)

Но тогда

aР₁ + bР₂ = aP_a bP_b (а+b)P_a+b (a ( I_к ))

(b I_к )) = A.

Спектр оператора А совпадает с {0, a, b, a + b} ( {ε_к , a + b - ε_к}), (0<ε_к<1, к=1,…m) по построению и А = А* как вещественная комбинация ортопроекторов.

§ 2. Спектр суммы двух ортопроекторов в сепарабельном гильбертовом пространстве

2.1. Спектр оператора А = Р₁ + Р₂. Изучим оператор Р₁ + Р₂ в сепарабельном гильбертовом пространстве.

Теорема 2.1. Самосопряженный оператор А представим в виде суммы двух ортопроекторов А = Р₁ + Р₂ тогда и только тогда, когда (А) = [0, 2] и пространство Н можно разложить в ортогональную сумму инвариантных относительно А пространств

Н = Н₀ Н₁ Н₂ ( (С² L₂((0, ), dρ_к))) (2.1.)

и меры ρ_к инвариантны относительно преобразования 1+х → 1-х.

Доказательство. Пусть А = Р₁ + Р₂. Н₀=Н_0,0 , Н₁=Н_1,0 Н_0,1 , Н₂=Н_1,1

Поставим в соответствие φ→ε cosφ, где φ (0, ). Тогда, как было найдено выше, спектр (А) [0, 2] и Н можно разложить (опираясь на спектральную теореме 2.3. главы II) в ортогональную сумму (2.1.)

Н = Н₀ Н₁ Н₂ ( (С² L₂((0, 2), dρ_к)))

Поскольку собственные подпространства, соответствующие собственным значениям А 1+ε , 1-ε, 0<ε<1 входят одновременно в спектр и их значения совпадают, то каждая мера ρ_к (к = 1, 2, …) должна быть инвариантной относительно преобразования 1 + х → 1- х.

Обратно. Пусть имеет место (2.1.) и (А) [0, 2]. Тогда зададим ортопроекторы Р₁΄ Р₂΄ равенствами

Р₁΄ = P₁ P₂ ( ( I_к ))

Р₂΄ = P₂ ( I_к ))

где P_i: Н→Н_i (i = 0, 1, 2) ортопроектор, I_k – единичный оператор в L₂((0, 2), dρ_к)). Тогда А =Р₁΄ + Р₂΄ - самосопряженный оператор, спектр которого содержится в [0, 2], так как Р_к΄ (к = 1, 2) является суммой ортопроекторов на взаимно ортогональные пространства.

2.2. Спектр линейной комбинации А = aР₁ + bР₂ (0<a<b). Рассмотрим теперь случай, когда А = aР₁ + bР₂ (0<a<b).

Теорема 2.2. Самосопряженный оператор А представим в виде линейной комбинации двух ортопроекторов А = aР₁ + bР₂, 0<a<b тогда и только тогда, когда (А) [0, a] [b, a+b] и Н можно представить в виде ортогональной суммы инвариантных относительно А пространств

Н = Н₀ Н_a Н_b Н_a+b ( (С² L₂([0, a] [b, a+b], dρ_к)))) (2.2.)

и меры ρ_к инвариантны относительно преобразования х→a+b.

Доказательство. Пусть А = aР₁ + bР₂ (0<a<b). Пусть Н₀=Н_0,0, Н_а=Н_0,1, Н_b=Н_1,0 , Н_a+b=Н_1,1. Так как (А) [0, a] [b, a+b] и собственные подпространства, отвечающие собственным значениям оператора А входят в Н одновременно (причем их размерности совпадают) то аналогично теореме 2.1. получаем

Н = Н₀ Н_a Н_b Н_a+b ( (С² L₂([0, a] [b, a+b], dρ_к))))

где меры ρ_к (к = 1, 2, …) инвариантны относительно преобразования х → a+b-х.

Обратно, пусть (А) [0, a] [b, a+b] и имеется разложение Н (2.2.). Тогда зададим Р₁ и Р₂ следующим образом

P₁ = P_a P_a+b ( ( I_к ))

Р₂ = P_b P_a+b ( I_к ))

где Р_α: Н→Н_α , α = a, b, a+b – ортопроекторы, I_к – единичный оператор в L₂([0,a] [b, a+b]). Тогда

А = aР₁ + bР₂ = aР₁ bР₂ (a+b)P_a+b ( ( I_к ))

( I_к ))

ЗАКЛЮЧЕНИЕ

В дипломной работе изучена пара ортопроекторов в сепарабельном гильбертовом пространстве Н, приведено описание всех неприводимых и неэквивалентные *-представления *-алгебры P₂ .

P₂ = С <p₁, p₂ | p_к² = p_к* =p_к>.

А именно: 4 одномерных π_0,0(p₁) = 0, π_0,0(p₂) = 0; π_0,1(p₁) = 0, π_0,1(p₂) = 1; π_1,0(p₁) = 1, π_1,0(p₂) = 0; π_1,1(p₁) = 1, π_1,1(p₂) = 1.

И двумерные: , τ (0, 1)

Изучен спектр операторов Р₁ + Р₂, aР₁ + bР₂ (0<a<b), а также необходимые и достаточные условия представимости самосопряженного оператора А в виде А = Р₁ + Р₂ и А = aР₁ + bР₂ (0<a<b).

ЛИТЕРАТУРА

1. Ахиезер Н.И., Глазман И.М. Теория линейных операторов в гильбертовом пространстве, М., Наука, 1966.

2. Березенский Ю.М., Ус Г.Ф., Шефтель З.Г. Функциональный анализ, К., Выща школа, 1990.

3. Браттели У., Робинсон Д. Операторные алгебры и квантовая статистическая механика: С*- W* -алгебры. Группы симметрий. Разложение состояний., М., Мир, 1982.

4. Диксмье Ж. С*-алгебры и их представления. М., Наука, 1974.

5. Кириллов А.А. Элементы теории представлений. М., Наука, 1978.

6. Кужель А.В. Алгебры конечного ранга, С. СГУ, 1979.

7. Ленг С. Алгебра. М., Мир, 1968.

8. Мерфи Д. С*-алгебры и теория операторов. М., Мир, 1998.

9. Наймарк М.А. Нормированные кольца. М., Гостехиздат, 1956.

10. Рудин У. Функциональный анализ. М., Мир, 1975.

11. NishioK, Linear algebra and its applications 66: 169-176, Elsevier Science Publishing Co., Inc., 1985.

12. Samoilenko Y.S., Representation theory of algebras, Springer, 1998.

Характеристики

Список файлов ВКР