У.Браттели, Д.

Робинсон
ОПЕРАТОРНЫЕ АЛГЕБРЫ
И КВАНТОВАЯ СТАТИСТИЧЕСКАЯ МЕХАНИКА
Монография известных математиков У. Браттели (Норвегия) и Д Робинсона
(Австралия). Посвящена одному из разделов функционального анализа, тесно
связанному с приложениями в квантовой теории. В виде монографии эта тематика
представлена впервые. Материал удачно подобран, изложение доступное.
Для математиков, физиков-теоретиков, аспирантов и студентов университетов.
Содержание
От редактора перевода 5
Предисловие 7
1. Введение 9
Замечания и комментарии 24
2. С*-алгебры и алгебры фон Неймана 26
2.1. С*-алгебры 26
2.1.1. Основные определения и структура С*-алгебр 26
2.2. Функциональное исчисление и спектральный анализ 32
2.2.1. Резольвента, спектр и спектральный радиус 32
2.2.2. Положительные элементы 39
2.2.3. Аппроксимативные единицы и факторалгебры 47
2.3. Представления и состояния 49
2.3.1. Представления 49
2.3.2. Состояния 56
2.3.3. Конструкция представлений 62
2.3.4. Существование представлений 67
2.3.5. Коммутативные С*-алгебры 69
2.4. Алгебры фон Неймана 72
2.4.1. Топологии в L(T) 72
2.4.2. Определение алгебр фон Неймана и их элементарные свойства 79
2.4.3. Нормальные состояния и преддвойственное пространство 83
2.4.4. Квазиэквивалентность представлений 88
2.5. Модулярная теория Томиты — Такесаки и стандартные формы алгебр 91
фон Неймана
2.5.1. σ-конечные алгебры фон Неймана 92
2.5.2. Модулярная группа 94
2.5.3. Интегрирование и аналитические элементы для 105
однопараметрических групп изометрий банаховых пространств
2.5.4. Самосопряженные конусы и стандартные формы. 110
2.6. Квазилокальные алгебры 125
2.6.1. Кластерные свойства 125
2.6.2. Топологические свойства 137
2.6.3. Алгебраические свойства 141
2.7. Различные результаты и структурные свойства. 143
2.7.1. Динамические системы и скрещенные произведения. 143
 2.7.2. Тензорные произведения операторных алгебр 151
2.7.3. Веса на операторных алгебрах; самосопряженные конусы для 154
произвольных алгебр фон Неймана; двойственность и
классификация факторов; классификация C*-алгебр
Замечания и комментарии 161
3. Группы, полугруппы и генераторы 167
3.1. Теория для случая банахова пространства 167
3.1.1. Равномерная непрерывность 169
3.1.2. Сильная, слабая и слабая* непрерывности 171
3.1.3. Свойства сходимости 192
3.1.4. Теория возмущений 199
3.1.5. Теория приближений 208
3.2. Теория для случая алгебр 214
3.2.1. Положительные линейные отображения и йордановы 215
морфизмы
3.2.2. Общие свойства дифференцирований 238
3.2.3. Спектральная теория и ограниченные дифференцирования 255
3.2.4. Дифференцирования и группы автоморфизмов 270
3.2.5. Пространственные дифференцирования и инвариантные 275
состояния
3.2.6. Теория аппроксимации для групп автоморфизмов 296
Замечания и комментарии 308
4. Теория разложения 320
4.1. Общая теория 320
4.1.1. Введение 320
4.1.2. Барицентрические разложения 325
4.1.3. Ортогональные меры 343
4.1.4. Борелевская структура пространства состояний. 355
4.2. Экстремальные, центральные и субцентральные разложения 364
4.2.1. Экстремальные разложения 364
4.2.2. Центральные и субцентральные разложения 373
4.3. Инвариантные состояния 379
4.3.1. Эргодические разложения 379
4.3.2. Эргодические состояния 398
4.3.3. Локально-компактные абелевы группы 414
4.3.4. Нарушенная симметрия 431
4.4. Пространственное разложение 448
4.4.1. Общая теория 450
4.4.2. Пространственное разложение и разложение состояний 459
Замечания и комментарии 468
Литература 477
Учебники и монографии 477
Статьи 480
Работы, имеющиеся в переводе или являющиеся переводом с русского 496
Список обозначений
Именной указатель
Предметный указатель
Именной указатель
Авэ (A. Avez) 474
Акеманн (С. A. Akemann) 315, 470
Альфсен (Е. A If sen) 15
Араки (Н. Araki) 17, 161, 165
Арвесон (W. Arveson) 314, 316
Арнольд В. И. 474
Банах (S. Banach) 78, 163
Бишоп (Е. Bishop) 468, 469
Бор Н. (N. Bohr) 9
Бор X. (Н. A. Bohr) 439
Борхерс (Н. J. Borchers) 314, 315, 318,
474
Браттели (О. Bratteli) 8, 309—313,
317, 318
Браун (G. Brown) 8
Бутцер (P. L. Butzer) 309
Бухольц (D. Bucholz) 310, 318
Вайтман (A. S. Wightman) 17, 25, 474
ван Дале (A. van Daele) 165
ван дер Варден (В. L. van der
Waerden) 25
ван Хов (L. van Hove) 17
Вербёр (A. Verbeure) 8
Вигнер (Е. P. Wigner) 14, 215, 310
Вильс (W. Wils) 471
Виннинк (М. Winnink) 22
Воронович (S. L. Woronowicz) 165,
318
Вот (R. L. Vaugnt) 161
Галлавотти (G. Gallavotti) 318
Гейзенберг (W. Heisenberg) 9—11
Гельфанд И. М. 5, 9, 15, 24, 161, 163
Гильберт (D. Hilbert) 25
Гишардэ (A. Guichardet) 473
Глимм (J. Glimm) 161, 309
Годман (R. Godement) 474
О Кудрявцев Л. Д. 6
Гординг (L. Garding) 17
Гротендик (A. Grothendieck) 310
Дай (Н. A. Dye) 310
497
503
505
Данг Нгок (N. Dang Ngoc) 473
Данфорд (N. Dunford) 165
де Леу (К- de Leeuw) 308, 309, 468,
469
Делль' Антонио (G. F. Dell'Antonio)
17
Джаффе (A. Jaffe) 309 ч
Джекобсон (N. Jacobson) 310
Дигернес (Т. Digernes) 318
Диксмье (J. Dixmier) 5, 319
Доплихер (S. Doplicher) 17, 472—475
Дуглас (R. C. Douglas) 470
Жинибр (J. Ginibre) 475
Зоммерфельд (A. Sommerfeld) 9
Икуниси (A. Ikunishi) 314
Ингвасон (J. Yngvason) 474
Иосида (К- Yosida) 308, 475
Йёргенсен (Р. Е. Т. J0rgensen) 309
Иордан (Р. Jordan) 15
Кадисон (R. V. Kadison) 161,
164,310—312, 315, 317, 318
Кальман (R. R. Kallman) 313
Капланский (I. Kaplansky) 161, 162,
311 313
Кастлёр (D. Kastler) 8, 24, 469, 472—
476
Като (Т. Kato) 309
Келли (J. L. Kelley) 161
Кисимото (A. Kishimoto) 8, 165, 309,
311, 317
Ковач (I. Kovacs) 388
Конн (A. Connes) 156, 165, 310, 314,
316, 319
Коэн-Солаль (Mlle. Maryse Cohen-
Solal) 8
Кубо (R. Kubo) 22
Кук (J. M. Cook) 16
Кунц (F. Cuntz) 311
Кури (Т. G. Kurtz) 309
Линденштраусс (J. Lindenstrauss) 475
Литтлвуд (J. E. Littlewood) 470
Лэнфорд (О. Е. Lanford) 473
Люмер (G. Lumer) 309
Маевски (A. Majewski) 8
Мак-Гиббон (В. MacGibbon) 468
Мак-Интош (A. Mclntosh) 313
Макки (G. W. Mackey) 24, 476
Мартин (Martin) 22
Мацумото (К- Matsumoto) 319
Мейер (Р. A. Meyer) 468
Мисоноу (Y. Misonou) 470
Миядэра (I. Miyadera) 308
Мокободский (G. Mokobodski) 468
Мюррей (F. J. Murray) 9, 14, 20, 24,
163
Нагель (В. Nagel) 474
Нагумо (М. Nagumo) 308
Наймарк М. А. 5, 9, 15, 24, 161, 163,
310
Накагами (Y. Nakagami) 314
Нельсон (Е. Nelson) 309
Олесен (D. Olesen) 314
Ольсен (G. Olsen) 475
Ота (S. Ota) 311
Пауэре (R. Powers) 165, 312, 317
Педерсен (G. К- Pedersen) 310, 315
Пейдж (L. J. Paige) 15
Пойа (= Полиа) (Q. Polyа) 470
Понтрягин Л. С. 445
Пульвиренти (М. Pulvirenti) 318
Пульсен (Е. Т. Poulsen) 475
Рид (М. Reed) 309
Риккарт (С. Rickart) 310
Рингроуз (J. R. Ringrose) 318
Рисе (F. Riesz) 309
Риффел (М. Rieffel) 165
Роберте (J. E. Roberts) 8, 310, 318
Робертсон (A. G. Robertson) 310
Робинсон (D. W. Robinson) 8, 310—
313, 317, 318, 469, 472, 475, 476
Рош (Mme. Dolly Roche) 8
Руссо (В. Russo) 310
Рюэль (D. Ruelle) 17, 469, 470/472,
473, 475, 476
Саймон (В. Simon) 309
Сакаи (S. Sakai) 311, 312, 314—318,
469, 471
Сёкефальви-Надь (В. Szokefalvi-
Nagy) 309
Сигал (I. E. Segal) 15, 16, 25, 161—
163, 469, 471
Скау (С. F. Skau) 468—470
Стайнспринг (W. F. Stinespring) 310
Стёрмер (Е. Stunner) 15, 310, 473—
475
Стоун (М. Н. Stone) 11, 12, 25
Стритер (R. F. Streater) 8, 315
Сюч (J. Szucs) 388
Такесаки (М. Takesaki) 5, 22, 23, 165,
316, 469
Такэда (Z. Takeda) 470
Томита (М. Tomita) 5, 22, 23, 164,
469, 470
Томияма (J. Tomiyama) 469
Троттер (Н. Trotter) 309
Фелл (J. M. G. Fell) 469
Феллер (W. Feller) 308
Филлипс (R. S. Phillips) 308, 309
Фок В. А. 16
фон Нейман (J. von Neumann) 5, 9,
11—14, 20, 24, 25, 163, 164, 476
Фридрихе (К- О. Friedrichs) 16
Фудзии (М. Fujii) 319
Фукамия (М. Fukamiya) 161, 470
Фурута (Т. Furuta) 319
Хааг (R. Haag) 16, 17, 20, 22, 24, 165
Хаагеруп (U. Haagerup) 8, 165, 311,
317, 318
Харди (G. H. Hardy) 470
Хёрмэн (R. Herman) 8, 310, 312, 317,
318
Хилле (Е. Hille) 308, 309
Хугенхольц (N. М. Hugenholtz) 22,
475
Чейкен (J. M. Chaiken) 17
Чернов (P. Chernoff) 308, 309
Чжи (D. P. Chi) 312
Шахинян (Mrs. Mayda Shahinian) 8 Шульц (Schultz) 15
Швингер (J. Schwinger) 22 Элберт (A. A. Albert) 15
Шерман (S. Sherman) 470 Эллиотт (G. A. Elliott) 8, 161, 312,
Шоке (В. Choquet) 468, 471, 472 313, 315, 317
Шрёдингер (E. Schrodinger) 9—11 Эффрос (Е. G. Effros) 8, 476
Штернфельд (Y. Sternfeld) 475 Ядчик (A. Z. Jadczyk) 474
Предметный указатель
абелевость асимптотическая 386 257
абсолютная величина 42 барицентр 327
Алаоглу — Биркгофа эргодическая борелевская мера 326
теорема 383 борелевское множество 326
Алаоглу — Бдрбаки теорема 163 — сечение 301
алгебра 26 боровская компактификация 445
— абелева 26 Борхерса — Арвесона теорема 267
— банахова 27 буст 210
— бесконечная 156 бэровская мера 326
— инволютивная 26 бэровское множество 326
— квазилокальная 128 вакуум 471
— коммутантная 129 Вейля критерий 260
— коммутативная 26 вес 154
— конечная 156 — нормальный 155
— на бесконечности 129 — полуконечный 155
— нормированная 27 — точный 155
— полуконечная 156 вещественная часть 36
— простая 31 вещественности свойство 14
— равномерно гиперфинитная 137 вигнерова (вигнеровская) симметрия
— собственно бесконечная 156 216
— фон Неймана 79, 164 внутренний автоморфизм 255
— чисто бесконечная 156 выполняет 275
— σ-конечная 93 Гельфанда преобразование 71
аменабельность 407, 473 генератор полугруппы 174
аналитический элемент 107, 186 гильбертова прямая сумма 54
аналитическое множество 301, 362 гильбертово пространство графика
аннулятор 416 284
антиавтоморфизм 217 гиперфинитность 160
антиизоморфизм 217 ГНС конструкция 163
антилиминальность 357 граничное множество,
антилинейность 96 ассоциированное с верхней
антиморфизм 217 обёртывающей 331
аппроксимативная единица 47 грань 322
асимптотическая абелевость 385 — устойчивая 337
— — в среднем 409 граф-предел 195
— — слабая 409 двойственное пространство 56
ассоциированное подпространство действие двойственное 148
— дуальное 148
— свободное 150
— эргодичное 150
диагонализуемый оператор 454
дизъюнктность представлений 374
— состояний 374
диссипативный оператор 184
дифференцирование 239
— внутреннее 311
— пространственное 275
— симметрическое 239
единица 28
— аппроксимативная 47
— присоединённая 30
единственности теорема 13
естественный положительный конус
110
закруглённое множество 107
идеал 30
— двусторонний 30
— левый 30
— правый 30
измеримое подпространство 451
— семейство алгебр фон Неймана
455
— — гильбертовых пространств 451
— — операторов 453
изометрия 36, 217
инвариантное подпространство 52
— среднее 407, 422
инволюция 26
— модулярная 97
инфинитезимальное условие 245
инфинитезимальный генератор 174
йорданов автоморфизм 217
— изоморфизм 217
— морфизм 216
йорданова алгебра 14
йорданово разложение 222
Кадисона неравенство 310
— теорема 86
Капланского теорема о плотности 82
Каратеодори — Маяковского
теорема 325
Картье — Фелла — Мейера теорема
365, 470
касательный функционал 183
квадратный корень 42
квазиэквивалентность представлений
88
— состояний 90
кластерное свойство 399
— — многоэлементное 408
КМШ условие 22
ковариантное представление
динамической системы 144
коммутант 55
коммутационные соотношения в
форме Вейля 13
компактификация Бора 445
Копна — Такесаки теорема о
двойственности 158
Конна теорема 156
конус выступающий 113
— естественный положительный. 110
— наследственный 154
— острый 113
— самосопряжённый 113
коцикл 302
кратное представления 88
Крейна — Мильмана теорема 62, 163
кросс-норма 152
Лапласа преобразование 174
Люмера — Филлипса теорема 185
Мазура теорема 410, 475
матрица плотности 84
мера 326
— Бореля 326
— Бэра 326
— Дирака 327
— ортогональная 345
— Радона 326
— симплициальная 347
— стандартная 450
— субцентральная 373
— точечная 327 .
— центральная 373
мнимая часть 36
множество аналитическое 362
— псевдососредоточения меры 327
— сосредоточения меры 327, 363
— типа Fσ 326
— — Fσ,δ 362
— — Gδ 326
— µ-измеримое 362
— µ -пренебрежимое 362
модуль (абсолютная величина) 42
модулярная группа 104
модулярный автоморфизм 104
— оператор 97
наблюдаемая 13
направленное множество 47
невырожденность 53, 80
Неймана ряд 33
неприводимость 55
неравенство для произведения 27
— Коши — Шварца 57
— треугольника 27
— Шварца обобщенное 219
норма 27
— операторная 27
нормализованное 15
нормальный элемент 36
носитель меры 326
— состояния 223
обёртывающая верхняя 331
обратимый элемент 32
обратный элемент 32
огибающая верхняя 331
однопараметрическая группа
изометрий 105
однородная C*-алгебра 356
ортогональное разложение 43
ортогональность функционалов 344
основание конуса 338
осуществляет 275
отделяющее подмножество 93
отношение ортогональности 128
отображение сужения 363
перемешивание сильное 408, 409
— слабое 431
перемешивания свойство 399
подалгебра 26
подкручивание 210, 211, 308
подпредставление 52
подталкивание 210, 211, 308
полное множество (семейство)
состояний 225
положительное отображение 216
положительный линейный
функционал 56
— элемент C*-алгебры 40
полугруппа сжатий 169
— слабо непрерывная 172
— слабо* непрерывная 172
— σ(X,F)-непрерывная 172
польское пространство 300
поляризации тождество 46
полярное разложение 46, 47
порядковый автоморфизм 217
— изоморфизм 217
почти-периодическая функция 439,
445
почти-периодический вектор 415
почти-периодическое состояние 440
преддвойственное пространство 77
— — алгебры фон Неймана 83
предсопряженное пространство 77
— — алгебры фон Неймана 83
представитель 51
представление 51
— невырожденное 53
— неприводимое 55
— нормальное 87
— точное 51
— циклическое 53
— — ассоциированное с состоянием
ω 65
пренебрежимость 362
принцип максимума Бауэра 335
присоединение единицы 30
присоединённый оператор 95
проектор бесконечный 156
— конечный 156
пространство представления 51
прямая сумма представлений 54
прямой интеграл алгебр фон след 154
Неймана 455 смесь 14
— — гильбертовых пространств 451 СНАГ теорема 256
— — представлений 457 сопряжение 26
псевдососредоточена (о мере) 322, сопряжённое пространство 56
326 сосредоточена (о мере) 326, 363
равностепенно непрерывное состояние 13, 15, 56
семейство — векторное 57
опеаторов 176 — инвариантное 379
разложение барицентрическое 325 — локально-нормальное 131
— на бесконечности 321, 464 — нормальное 15, 84, 137
— по крайним точкам 321 — основное 280
— почти-периодическое 446 — почти-периодическое 440
— представления 53 — примерное 90
— пространственное 449 — регулярное 16
— состояния 320, 321 — смешанное 13
— факторное 458 — точное 93
— центральное 320 — факторное 90
— экстремальное 320, 364, 458 — центрально-зргодическое 401
— эргодическое 321, 379 — чистое 13, 61
разложимый оператор 453 — эргодическое 379
РГФ-алгебра 137 — π-нормальное 88
резольвента 32, 174 спектр алгебры 69
резольвентное множество 32, 36, 174 — Конна 316
решётка 327, 338 — множества 257
Сакаи теорема 84, 164 — представления 257
самосопряжённое подмножество 26 — точечный 414
самосопряжённый элемент 36 — элемента 32, 36, 174
свёртка 256 спектральное подпространство 257
свободное действие 150 спектральный радиус 33
сепарабельности условие S 358 Стоуна — Наймарка — Амброза —
сепаратор 93 Годмана теорема , 256
сеть 47 Стоуна — фон Неймана теорема
сжатие 169 единственности 13
сильно аналитический элемент 107 субаддитивность 340
— коммутируют 284 супераддитивность 340
симметрия Вигнера 216 существенная область определения
симплекс 338 175
— Бауэра 475 твист 210
— Пульсена 475 тензорное произведение алгебр фон
скрещенное произведение 144, 146 Неймана 152
слабо непрерывная (полу)группа 172 теорема о бикоммутанте 80
слабо* 61 — — двойственности Конна —
— непрерывная (полу)группа 172 Такесаки 158
— — дифференцированиях 268
— — плотности Капланского 82
— — — фон Неймана 81
теории возмущений разложение 201
тождество для коциклов 303
Томиты — Такесаки теорема 102
Томиты теорема 346
Томиямы свойство E 160
топология локально-равномерная 140
— Макки 106, 172
— нормы 61
— равномерная 27
— сильная 74
— сильная* 77
— слабая 75
— слабая* 61
— σ-сильная 74
— σ -сильная* 77
— σ -слабая 75
точечный спектр 414
тригонометрическая функция 439
Tpommepa — Kamo теорема 309
Tpommepa формула 309
универсальности свойство
тензорного произведения 151
универсальность конуса P 114
унитарная выполнимость 144
— осуществимость 144
— эквивалентность представлений 56
унитарный элемент 36
условие S 358
устойчивая грань 337
устойчивое подпространство 52
фактор 79
— Кригера 151, 160
— типа I 157
— — In 158
— — II 157
— — II1 157
— — II ∞ 157
— — III 157
— — IIIλ 159
фактор-представление C*-алгебры
160
финитная функция 250
фон Неймана теорема о плотности 81
Фурье преобразование 248
Хана—Банаха теорема 67, 73, 74, 163
характер 69
Хилле — Иосиды теорема 180
целый аналитический элемент 186
центр алгебры фон Неймана 79
централизатор состояния 285
центральная последовательность 315
— — суммируемая 315
— — тривиальная 316
центральность 386
циклический вектор 53
— проектор 53
циклическое подпространство 53
числовая область значений 297, 318
Шрёдингера уравнение 11
Эквивалентность представлений 56
— проекторов 156
элемент аналитический для S 186
— целый аналитический для S 186
Эллиотта — Акеманна — Педерсена
теорема 315
эргодическая теорема Алаоглу —
Биркгофа 383
эргодичное действие 150
эргодичность центральная 401
эрмитов функционал 222
Эффроса теорема 460
ядро 51
B*-алгебра 161
С*-алгебра 27, 161
— антилиминальная 357
— однородная степени п 356
— типа I 160
— ядерная 161
— n-мерно однородная 356
С*-динамическая система 143
С*-скрещенное произведение 146
С*-тензорное произведение алгебр
фон Неймана 153
C0-группа 105
C0-полугруппа 172 ε-период 439
C0*-rpynna 105 µ-измеримое множество 362
C0*-полугруппа 172 µ -пренебрежимое множество 362
Fσ-множество 326 σ(X,F)-непрерывная (полу)группа 172
Fσδ-множество 362 τt-аналитический элемент 107
G-абелевость 386, 473
1-коцикл 302
G-центральность 386
2-коцикл 302
G-эргодичность 379, 471
*-автоморфизм 52
GГ-абелевость 421
*-алгебра 26
Gδ-множество 326
*-изоморфизм 51
W*-алгебра 164
*-морфизм 50
W*-динамическая система 144
Г-спектр 316