Математическая энциклопедия - неймана алгебра

подалгебра А алгебры ограниченных линейных операторов в гильбертовом пространстве Н, самосопряженная (т. е. содержащая вместе с каждым оператором Тсопряженный к нему оператор ) и совпадающая со своим бикомму-тантом (т. е. содержащая те и только те операторы , к-рые перестановочны с каждым оператором, перестановочным со всеми операторами из А). Эти алгебры были введены Дж. Нейманом [1]. Согласно теореме Неймана самосопряженная алгебра тогда и только тогда является Н. а., когда алгебра А(или ее единичный шар) замкнута в слабой, сильной, ультраслабой или ультрасильной, но не равномерной операторной топологии. Данная симметричная банахова алгебра Втогда и только тогда изометрически изоморфна нек-рой Н. а., когда Весть -алгебра, изометричная нек-рому сопряженному пространству; банахово пространство Е, удовлетворяющее условию , определено однозначно с точностью до изоме-трич. изоморфизма и может быть отождествлено с пространством ультраслабонепрерывных линейных форм на изометрически изоморфной ВН. а., это пространство обозначается и наз. преддвойственным пространством для В. Такие симметричные банаховы алгебры наз. -алгебрами. Пусть АН. а. в гильбертовом пространстве Н, ее коммутант, центр алгебры, Р- проектор в .проектор в . Подпространство инвариантно относительно А, и семейство ограничений операторов из А на подпространство Р'Н образует Н. а. в пространстве ; эта алгебра обозначается и наз. индуцированной, а отображение наз. индукцией Ана А Р;семейство ограничений операторов вида на подпространство образует Н. а. А Р в пространстве эта алгебра наз. редуцированной. Если то редуцированная и индуцированная Н. а. совпадают. Изометрический изоморфизм Н. а. наз. алгебраическим; Н. а. в гильбертовом пространстве Нназ. пространственно изоморфной Н. а. Вв пространстве К, если существует унитарный оператор U, отображающий H на K и удовлетворяющий условию Пересечение любого семейства Н. а. в данном гильбертовом пространстве есть Н. а.; наименьшая Н. а., содержащая данное множество М, наз. Н. а., порожденной множеством М. Пусть гильбертовы пространства,их прямая сумма, Н. а. в , АН. а. в пространстве Я, порожденная такими операторами Тиз что каждое подпространство инвариантно относительно Ти ограничение Тна Hi принадлежит ; Н.

а. наз. прямым произведением Н. а.и обозначается Для Н. а. определены также операции тензорного произведения и бесконечного тензорного произведения. Н. а. наз. фактором, если ее центр состоит из операторов, кратных единичному.

Пусть Н. а., множество положительных операторов из A. Весом на Аназ. аддитивное отображение множества в однородное относительно умножений на положительные числа.

Вес наз. следом, если для всех и всех унитарных операторов Uиз А. След наз. конечным, если для всех ; полуконечным, если для любого величина есть верхняя грань чисел вида , где и точным, если из условия следует Т=0; нормальным, если для любого возрастающего семейства элементов из с точной верхней границей Твеличина является верхней гранью чисел . Н. а. Аназ. конечной, если на Асуществует семейство нормальных конечных следов, разделяющее точки А;собственно бесконечной, если на Ане существует ненулевых конечных следов; полуконечной, если на Асуществует точный нормальный полуконечный след, и чисто бесконечной, или алгеброй типа III, если на А не существует ненулевых нормальных полуконечных следов.

Н. а. наз. дискретной, или алгеброй типа I, если она алгебраически изоморфна Н. а., коммутант к-рой коммутативен; такая алгебра полуконечна. Н. а. наз. непрерывной, если для любого ненулевого центрального проектора РН. а.не является дискретной. Непрерывная полуконечная алгебра наз. алгеброй типа II. Конечная алгебра типа II наз. Н. а. типа ; собственно бесконечная алгебра типа II наз.

Н. а. типа . Принадлежность Н. а. к определенному типу равносильна принадлежности ее коммутанта тому же типу, но коммутант конечной Н. а. не обязательно является конечной Н. а.

Пусть АН. а.,проекторы в А, Р и Qназ. эквивалентными, если существует такой элемент что Пусть если существует такой проектор что отношение есть отношение частичного порядка. Классификация Н. а. по типам I и т. д. может быть проведена в терминах этого отношения, в частности: проектор наз. конечным, если из условий следует, что Н. а. конечна тогда и только тогда, когда единичный проектор конечен, и полуконечна, если и только если точная верхняя граница семейства конечных проекторов есть единичный проектор.

Н. а. Аполуконечна тогда и только тогда, когда она может быть реализована как левая Н. а. нек-рой совершенной гильбертовой алгебры;элементами соответствующей гильбертовой алгебры являются такие элементы точный нормальный полуконечный след на А. Для алгебр типа III соответствующая реализация может быть получена с помощью обобщенных гильбертовых алгебр и весов на Н.

а.

.