*-Алгебры и их применение

Основные понятия и определения. * - алгебры. Представления. Тензорные произведения. Задача о двух ортопроекторах. Два ортопроектора в унитарном пространстве, в сепарабельном гильбертовом пространстве. Спектр суммы двух ортопроекторов.

Рубрика Математика
Вид дипломная работа
Язык русский
Дата добавления 04.06.2002
Размер файла 303,0 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Пусть каждому вектору оН поставим в соответствие подпространство Но Н, которое получается замыканием множества векторов вида р(х)о, где хА. Ограничения операторов из р(А) на Но является циклическим представлением. Обозначим его через ро, а соответствующую меру на Т через мо. Введем упорядочение в Н, полагая о>з, если мо > мз (то есть мз абсолютно непрерывна по мере мо).

Если зНо, то НзНо, тогда рз - циклическое подпредставление ро. Пусть Е Т и мо (Е) = 0, тогда мз (Е) = 0, следовательно мо > мз, а значит о>з.

Множество максимальных векторов всюду плотно в Н. Пусть существует счетное разложение Н = Нзк. Пусть {жi} - последовательность, в которой каждый из векторов зi встречается бесконечное число раз. Определим ок индуктивно, так, чтобы выполнялись условия:

1) ок+1 - максимальный вектор в (Ноi)-,

2) d (жк, Ноi) = .

Тогда разложение Н = Нок такое что окк+1 и мкк+1 .

Пусть представления рм в L2(Т, м) и рн в L2(Т, н) эквивалентны. Пусть v:L2(Т, м) >L2(Т, н) устанавливающий их эквивалентность изоморфизм. Положим f=1, а=v(f), тогда для любой непрерывной функции g на Т v(g)=vрм(g)f = рн (g)vf = рн (g)a = ga. Так как v - изометрическое отображение, то dм=|a|2dн. Таким образом мера м абсолютно непрерывна по мере н. Аналогично, рассматривая обратный оператор, получаем, что н абсолютно непрерывна по м, то есть эти меры эквивалентны. Значит существует разложение Нґ = (С2L2(Т, мк)), где м12>… и соответствующие этим мерам представления неприводимы и неэквивалентны. Это доказывает равенство (2.4.). Тогда из (2.4.) следуют формулы:

P1 = P1,0 P1,1 ((Iк ))

Р2 = P0,1 P1,1 (Iк ))

Iк - единичный оператор в L2((0, ), dск).

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

Н = Н0,0Н0,1Н1,0 Н1,1 С2Н(ц)dЕ(ц) (2.7.)

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

P1 = P1,0 P1,1 I+ (2.8.)

Р2 = P0,1 P1,1 dЕ(ц) (2.9.)

Доказательство. Всякий самосопряженный оператор А, действующий в Н, изометрически изоморфен оператору умножения на независимую переменную в пространстве L2(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 и Р2 в унитарном пространстве Н. Тогда мы знаем спектр каждого из них. Найдем спектр суммы Р1 + Р2 в неприводимых представлениях.

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

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

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

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

4) Р1 = Р2 = I, то для любого х Н1 = Н2 = Н Ах = Р1х + Р2х = 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 относительно Р1 и Р2, тогда АLL. Пусть х L, тогда Рkх = лкх (k = 1, 2 ). Так как Рk ортопроектор, то возможны случаи:

(i) л1 = 0, л2 = 0;

(ii) л1 = 0, л2 = 1;

(iii) л1 = 1, л2 = 0;

(iv) л1 = 1, л2 = 1;

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

Р1 = , Р2 ф (0, 1)

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

(1.1.)

Тогда , (1.2)

Положим a = 1, b =1, е = , тогда л1 = 1+е , л2 = 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. Пусть л (А), тогда Ах = лхkl;, следовательно, если пространство Н разложено в ортогональную сумму инвариантных подпространств, то спектр оператора А можно найти как объединение спектров сужений оператора А на соответствующие инвариантные подпространства.

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

Нцк = Н1+ек Н1-ек , причем dimН1+ек = dimН1-ек = 1 (1.3)

Если цк ? цi, то ек ? еi (так как ек = =cosцк и цк (0, )). Объединим все Нцк , у которых одинаковые цк , в одно слагаемое, и обозначим его через Нцк. При этом, если dimНцк = 2qk, то есть Нцк состоит из qk экземпляров двумерных подпространств, отвечающих одному цк , то объединяя вместе все соответствующие одномерные собственные подпространства, получим Нцк = Н1+ек Н1-ек , dimН1+ек = dimН1-ек = qk.

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

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

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

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

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

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

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

Н = Н(0) Н(1) Н(2) ((С2Нк)) (1.4.)

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

Н = Н(0) Н(1) Н(2) ((С2(Н1+ек Н1-ек ))) (1.5.)

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

P1 = PН2((Iк )) (1.6.)

Р2 = PН1 PН2 ( Iк )) (1.7.)

где PНк - ортопроектор в Н на Н(к) (к = 1, 2), Is - единичный оператор в Hs s=1,…, m. Но тогда

Р1 + Р2 = PН1 PН2 ( Iк )) = А, при этом А = А*

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

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

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

Допустим, что е = a , тогда

a =

= b - a

(b - a)2 +4abф = (b - a)2

abф ? 0, но abф > 0 и значит е < a

Итак,

л1 = е

л2 = a + b - е. (1.8.)

0 < е < a

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

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

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

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

Доказательство. Пусть А = aР1 + bР2, 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-ек = qk. (с учетом кратности ек)

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

Н = Н(0) Н(a) Н(b)Н(a+b) ((С2Нк)) (1.9.)

Где Н(0)=Н0,0 , Н(a) 1,0 , Н(b)0,1 , Н(a+b)1,1 или

Н = Н(0) Н(a) Н(b)Н(a+b) ((Нек Нa+b-ек) (1.10.)

Положим

P1 = PaPa+b ((Iк )) (1.11.)

Р2 = Pb Pa+b ( Iк )) (1.12.)

Но тогда

aР1 + bР2 = aPabPb (а+b)Pa+b (a(Iк ))

(bIк )) = A.

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

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

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

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

Н = Н0 Н1 Н2 ((С2L2((0, ), dск))) (2.1.)

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

Доказательство. Пусть А = Р1 + Р2. Н0=Н0,0 , Н11,0Н0,1 , Н21,1

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

Н = Н0 Н1 Н2 ((С2L2((0, 2), dск)))

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

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

Р1ґ = P1P2((Iк ))

Р2ґ = P2 ( Iк ))

где Pi: Н?Нi (i = 0, 1, 2) ортопроектор, Ik - единичный оператор в L2((0, 2), dск)). Тогда А =Р1ґ + Р2ґ - самосопряженный оператор, спектр которого содержится в [0, 2], так как Ркґ (к = 1, 2) является суммой ортопроекторов на взаимно ортогональные пространства.

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

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

Н = Н0 Нa НbНa+b ((С2L2([0, a] [b, a+b], dск)))) (2.2.)

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

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

Н = Н0 Нa НbНa+b ((С2L2([0, a] [b, a+b], dск))))

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

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

P1 = PaPa+b ((Iк ))

Р2 = Pb Pa+b ( Iк ))

где Рб: Н?Нб , б = a, b, a+b - ортопроекторы, Iк - единичный оператор в L2([0,a] [b, a+b]). Тогда

А = aР1 + bР2 = aР1 bР2(a+b)Pa+b ((Iк ))

( Iк ))

ЗАКЛЮЧЕНИЕ

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

P2 = С <p1, p2 | pк2 = pк* =pк>.

А именно: 4 одномерных р0,0(p1) = 0, р0,0(p2) = 0; р0,1(p1) = 0, р0,1(p2) = 1; р1,0(p1) = 1, р1,0(p2) = 0; р1,1(p1) = 1, р1,1(p2) = 1.

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

Изучен спектр операторов Р1 + Р2, aР1 + bР2 (0<a<b), а также необходимые и достаточные условия представимости самосопряженного оператора А в виде А = Р1 + Р2 и А = aР1 + bР2 (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.


Подобные документы

  • Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.

    контрольная работа [345,3 K], добавлен 29.11.2010

  • Логика - наука о законах и формах мышления, а основное понятие алгебры логики - высказывание. Основные понятия и тождества булевой алгебры. Изучение методов минимизации булевых функций. Метод Квайна, основанный на применении двух основных соотношений.

    контрольная работа [178,2 K], добавлен 20.01.2011

  • Оценка алгебры Ли как одного из классических объектов современной математики. Основные определения и особенности ассоциативной алгебры. Нильпотентные алгебры Ли, эквивалентность различных определений нильпотентности. Описание алгебр Ли малых размерностей.

    курсовая работа [79,4 K], добавлен 13.12.2011

  • Понятие алгебры логики, ее сущность и особенности, основные понятия и определения, предмет и методика изучения. Законы алгебры логики и следствия из них, методы построения формул по заданной таблице истинности. Формы представления булевых функций.

    учебное пособие [702,6 K], добавлен 29.04.2009

  • Определение оператора в гильбертовом пространстве. Индексы дефекта симметрического оператора. Преобразование Кэли и формулы Неймана. Формула Крейна для резольвент самосопряженных расширений заданного симметрического оператора, доказательство теорем.

    курсовая работа [190,6 K], добавлен 18.08.2011

  • Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.

    реферат [63,3 K], добавлен 06.12.2010

  • Действие оператора точечной группы в двух- и трехмерном пространстве. Определение его порядка по матрице Система эквивалентных точек. Возможные порядки осей симметрии в кристаллографическом пространстве. Геометрическая интерпретация сложения операторов.

    презентация [107,4 K], добавлен 23.09.2013

  • Предпосылки развития алгебры множеств. Основы силлогистики и соотношение между множествами. Применение и типы жергонновых отношений. Понятие пустого множества и универсума. Построение диаграмм Эйлера и обоснование законов транзитивности и контрапозиции.

    контрольная работа [369,0 K], добавлен 03.09.2010

  • Понятие и свойства n-арных операций, универсальной алгебры и сигнатуры. Характеристика централизаторов конгруэнции универсальных алгебр и доказательство их основных свойств. Нильпотентные и абелевы алгебры, формулировка и метод доказательства их лемм.

    курсовая работа [399,1 K], добавлен 22.09.2009

  • Понятия векторной алгебры: нулевой, единичный, противоположный и коллинеарный векторы. Проекция вектора на ось. Векторный базис на плоскости и в пространстве. Декартова прямоугольная система координат. Действия над векторами, заданными координатами.

    презентация [217,3 K], добавлен 16.11.2014

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.