Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO
§ 6.4. РАЗЛОЖЕНИЕ ИНВАРИАНТНЫХ СОСТОЯНИЙ ПО ЭРГОДИЧЕСКИМВ этом параграфе мы увидим, что каждое инвариантное состояние на 6.4.1. Теорема. Пусть в В-алгебре а
для любых I самосопряженных элементов По предположению существует мера
Пусть
поэтому равенство (4.1) определяет линейный функционал на всех полиномах от Пусть однозначно определенные самосопряженные операторы
Из (4.3) следует, что
Воспользуемся теперь единственностью конструкции Гельфанда — Сигала (см. Д.3.5) и отождествим
так что
и поэтому
Пусть теперь что
Поэтому 6.4.2. Следствие. Если алгебра Это утверждение вытекает из теоремы 6.4.1, определения 6.2.6 G-абелевой алгебры и определения симплекса (см. Д.5.3). Если алгебра В «хороших случаях» максимальные меры 6.4.3. Предложение. Если В-алгебра В оставшейся части этого параграфа мы будем рассматривать состояния, ограничения которых на некоторые подалгебры в 6.4.4. Предложение. Пусть В-алгебра 91 со держит единицу,
Тогда (а) множество является счетным пересечением открытых подмножеств пространства Е; (б) если
Можно считать, что
тогда утверждение (а) следует из равенства
где
Докажем Для всех
где через А (как и раньше) обозначена функция на Е, задаваемая равенством
а поэтому Пусть теперь мера Д.3.2) подалгебры
Таким образом, существует конечный набор
Поэтому (см. Д.3.2) существует такое число
Отсюда следует, что
и, значит, 6.4.5. Предложение. Пусть
Тогда справедливы следующие утверждения: (а) если состояние (б) существует последовательность (в) пусть алгебра G-абелева и содержит единицу, если
Поэтому каждое состояние (а) Обозначим через (б) Для каждого а выберем счетное всюду плотное подмножество
Поэтому если (в) Как известно (см. Д. 5.4), всякая мера Предположим, что мера каждому состоянию
Докажем, что мера
Пусть
так как отображение Из метризуемости множества
|
1 |
Оглавление
|