WikiDer > Абелева алгебра фон Неймана

В функциональный анализ, абелева алгебра фон Неймана это алгебра фон Неймана операторов на Гильбертово пространство в котором все элементы ездить.

Прототипным примером абелевой алгебры фон Неймана является алгебра L^∞(Икс, μ) для μ σ-конечная мера на Икс реализована как алгебра операторов в гильбертовом пространстве L²(Икс, μ) следующим образом: Каждая ж ∈ L^∞(Икс, μ) отождествляется с оператором умножения

${ displaystyle psi mapsto f psi.}$

Особое значение имеют абелевы алгебры фон Неймана на отделяемый Гильбертовы пространства, особенно потому, что они полностью классифицируются простыми инвариантами.

Хотя существует теория алгебр фон Неймана на несепарабельных гильбертовых пространствах (и действительно, большая часть общей теории все еще сохраняется в этом случае), теория значительно проще для алгебр на сепарабельных пространствах и для большинства приложений только в других областях математики или физики. использовать сепарабельные гильбертовые пространства. Обратите внимание, что если мера пробелов (Икс, μ) является стандартное пространство измерения (то есть Икс − N это стандартное борелевское пространство для некоторого нулевого набора N и μ - σ-конечная мера), то L²(Икс, μ) сепарабельно.

Классификация

Отношения между коммутативный алгебры фон Неймана и измерять пространства аналогично тому, что между коммутативный C * -алгебры и локально компактный Хаусдорфовы пространства. Любая коммутативная алгебра фон Неймана на сепарабельном гильбертовом пространстве изоморфна L^∞(Икс) для некоторого стандартного пространства с мерой (Икс, μ) и, наоборот, для любого стандартного пространства с мерой Икс, L^∞(Икс) является алгеброй фон Неймана. Этот изоморфизм, как указано, является алгебраическим изоморфизмом. Фактически мы можем сказать это более точно так:

Теорема. Любая абелева алгебра фон Неймана операторов в сепарабельном гильбертовом пространстве * -изоморфна ровно одному из следующих

• ${ displaystyle ell ^ { infty} ( {1,2, ldots, n }), quad n geq 1}$
• ${ Displaystyle ell ^ { infty} ( mathbf {N})}$
• ${ Displaystyle L ^ { infty} ([0,1])}$
• ${ Displaystyle L ^ { infty} ([0,1] чашка {1,2, ldots, n }), quad n geq 1}$
• ${ displaystyle L ^ { infty} ([0,1] cup mathbf {N}).}$

Изоморфизм можно выбрать для сохранения слабой операторной топологии.

В приведенном выше списке интервал [0,1] имеет меру Лебега и множества {1, 2, ..., п} и N есть счетная мера. Профсоюзы - это несвязанные союзы. Эта классификация по сути является вариантом Классификационная теорема Махарама для сепарабельных алгебр с мерой. Наиболее полезная версия классификационной теоремы Махарама включает точечную реализацию эквивалентности и в некотором смысле народная теорема.

Хотя каждое стандартное пространство с мерой изоморфно одному из перечисленных выше, и в этом смысле список является исчерпывающим, существует более канонический выбор для пространства с мерой в случае абелевых алгебр фон Неймана. А: Набор всех проекторов ${ displaystyle sigma}$-полная булева алгебра, то есть бесточечная ${ displaystyle sigma}$-алгебра. В частном случае ${ Displaystyle A = L ^ { infty} (X, { mathfrak {A}}, mu)}$ восстанавливается абстрактное ${ displaystyle sigma}$-алгебра ${ Displaystyle { mathfrak {A}} / {A mid mu (A) = 0 }}$. Этот бесточечный подход может быть превращен в аналог теоремы двойственности двойственности Гельфанда между категорией абелевых алгебр фон Неймана и категорией абстрактных ${ displaystyle sigma}$-алгебры.

Пусть μ и ν равны неатомный вероятностные меры на стандартных борелевских пространствах Икс и Y соответственно. Тогда существует μ нулевое подмножество N из Икс, ν нулевое подмножество M из Y и борелевский изоморфизм

${ Displaystyle phi: Икс setminus N rightarrow Y setminus M, quad}$

переводящий μ в ν.^[1]

Обратите внимание, что в приведенном выше результате необходимо вырезать наборы нулевой меры, чтобы результат работал.

В приведенной выше теореме изоморфизм требуется для сохранения слабой операторной топологии. Как оказывается (и легко следует из определений), для алгебр L^∞(Икс, μ) следующие топологии согласовывают множества с ограниченными по норме:

1. Слабая операторная топология на L^∞(Икс, μ);
2. Топология сверхслабого оператора на L^∞(Икс, μ);
3. Топология слабой * сходимости на L^∞(Икс, μ) рассматривается как двойственное пространство L¹(Икс, μ).

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

Пространственный изоморфизм

Используя теорию прямого интеграла, можно показать, что абелевы алгебры фон Неймана вида L^∞(Икс, μ), действующие как операторы на L²(Икс, μ) все максимальные абелевы. Это означает, что они не могут быть распространены на абелевы алгебры большего размера. Их также называют Максимальные абелевы самосопряженные алгебры (или M.A.S.A.). Другая фраза, используемая для их описания, - это абелевы алгебры фон Неймана равномерная кратность 1; это описание имеет смысл только в отношении теории множественности, описанной ниже.

Алгебры фон Неймана А на ЧАС, B на K находятся пространственно изоморфный (или же унитарно изоморфный) тогда и только тогда, когда существует унитарный оператор U: ЧАС → K такой, что

${ displaystyle UAU ^ {*} = B.}$

В частности, пространственно изоморфные алгебры фон Неймана алгебраически изоморфны.

Чтобы описать наиболее общую абелеву алгебру фон Неймана на сепарабельном гильбертовом пространстве ЧАС с точностью до пространственного изоморфизма нужно отнести прямое интегральное разложение ЧАС. Детали этого разложения обсуждаются в разложение абелевых алгебр фон Неймана. Особенно:

Теорема Любая абелева алгебра фон Неймана на сепарабельном гильбертовом пространстве ЧАС пространственно изоморфен L^∞(Икс, μ) действующие на

${ Displaystyle int _ {X} ^ { oplus} Н (х) , д му (х)}$

для некоторого измеримого семейства гильбертовых пространств {ЧАС_Икс}_{Икс ∈ Икс}.

Отметим, что для абелевых алгебр фон Неймана, действующих на таких прямых интегральных пространствах, по-прежнему сохраняется эквивалентность слабой операторной топологии, сверхслабой топологии и слабой * топологии на множествах с ограниченной нормой.

Точечная и пространственная реализация автоморфизмов

Много проблем в эргодическая теория сводятся к проблемам об автоморфизмах абелевых алгебр фон Неймана. В этом отношении полезны следующие результаты:

Теорема.^[2] Предположим, что μ, ν - стандартные меры на Икс, Y соответственно. Тогда любой инволютивный изоморфизм

${ Displaystyle Phi: L ^ { infty} (X, mu) rightarrow L ^ { infty} (Y, nu)}$

который слаб * -бинепрерывный соответствует точечному преобразованию в следующем смысле: существуют борелевские нулевые подмножества M из Икс и N из Y и борелевский изоморфизм

${ displaystyle eta: X setminus M rightarrow Y setminus N}$

такой, что

1. η переводит меру μ в меру μ 'на Y что эквивалентно ν в том смысле, что μ 'и ν имеют одинаковые множества нулевой меры;
2. η реализует преобразование Φ, т. е.

${ displaystyle Phi (f) = f circ eta ^ {- 1}.}$

Отметим, что, вообще говоря, мы не можем ожидать, что η переведет μ в ν.

Следующий результат касается унитарных преобразований, которые индуцируют слабый * -биконепрерывный изоморфизм между абелевыми алгебрами фон Неймана.

Теорема.^[3] Предположим, что μ, ν - стандартные меры на Икс, Y и

${ displaystyle H = int _ {X} ^ { oplus} H_ {x} d mu (x), quad K = int _ {Y} ^ { oplus} K_ {y} d nu ( y)}$

для измеримых семейств гильбертовых пространств {ЧАС_Икс}_{Икс ∈ Икс}, {K_у}_{у ∈ Y}. Если U : ЧАС → K унитарен такой, что

${ Displaystyle U , L ^ { infty} (X, mu) , U ^ {*} = L ^ { infty} (Y, nu)}$

то существует почти всюду определенное точечное преобразование Бореля η: Икс → Y как в предыдущей теореме, и измеримое семейство {U_Икс}_{Икс ∈ Икс} унитарных операторов

${ displaystyle U_ {x}: H_ {x} rightarrow K _ { eta (x)}}$

такой, что

${ Displaystyle U { bigg (} int _ {X} ^ { oplus} psi _ {x} d mu (x) { bigg)} = int _ {Y} ^ { oplus} { sqrt {{ frac {d ( mu circ eta ^ {- 1})} {d nu}} (y)}} U _ { eta ^ {- 1} (y)} { bigg (} psi _ { eta ^ {- 1} (y)} { bigg)} d nu (y),}$

где выражение в знаке квадратного корня - это Производная Радона – Никодима из μ η⁻¹ относительно ν. Утверждение следует из комбинации сформулированной выше теоремы о точечной реализации автоморфизмов с теоремой, характеризующей алгебру диагонализуемых операторов, изложенной в статье о прямые интегралы.

Примечания

Рекомендации

• Ж. Диксмье, Les algèbres d'opérateurs dans l'espace Hilbertien, Gauthier-Villars, 1969. См. Главу I, раздел 6.
• Масамичи Такэсаки Теория операторных алгебр I, II, III », энциклопедия математических наук, Springer-Verlag, 2001–2003 гг. (Первый том был опубликован в 1979 г. в 1. издании) ISBN 3-540-42248-X