Алгебра фон собственно бесконечная

Собственно бесконечные алгебры фон Неймана) [c.171]

Эта книга в течение долгого времени являлась классическим введением в математические методы теоретической физики. В главе 1, озаглавленной Алгебра линейных преобразований и квадратичных форм очень хорошо и ясно изложен вопрос о собственных значениях матрицы линейных преобразований, а также многие другие относящиеся сюда вопросы. В Приложении к главе 1 кратко рассмотрены бесконечно малые преобразования. [c.161]

Полученные в предыдущем параграфе генераторы в асимптотической области, реализующие произвольное неприводимое представление с весом (р, / соответствующей алгебры, позволяют выполнить эту программу до конца. При этом предельный переход к бесконечно большим значениям некомпактных параметров фактически реализует каноническое преобразование в фазовом пространстве, обеспечивающее выбор наиболее удобной для вычислений системы координат, в которой операторы Казимира и их собственные значения можно довести до конкретных формул. Получаемые результаты справедливы вне зависимости от того, является ли представление вырожденным или невырожденным, конечно- или бесконечномерным. Они справедливы в соответствии с п. 2, П. 1 и для конечномерных унитарных представлений, в том числе вырожденных, компактных групп. [c.85]

Алгебра фон Неймана 9 называется конечной, если для всякого ненулевого элемента Л е ЗХ существует конечный нормальный след г] на 9 +, такой, что (iIj Л) ф 0. Например, алгебра фон Неймана S Ж) конечна, если пространство Ж конечномерно. Поскольку всякий вектор состояния на абелевой алгебре фон Неймана 9I тривиально удовлетворяет условию 3, его можно рассматривать как след на 9I. Такой след конечен, ультраслабо непрерывен и, следовательно, нормален. Отсюда мы заключаем, что всякая абелева алгебра фон Неймана конечна. Алгебра фон Неймана, не являющаяся конечной, называется бесконечной. В частности, алгебра фон Неймана называется собственно бесконечной, если ф = О — единственный конечный нормальный след на 91+. На основании свойства 3 мы заключаем, что алгебра фон Неймана Ж) собственно бесконечна, если пространство Ж бесконечномерно. [c.168]

Прежде всего мы обнаружим, что алгебры типа I допускают дальнейшее разложение на два взаимно непересекающихся класса класс конечных алгебр (обозначаемых через 1 , где < оо) и класс собственно бесконечных алгебр (обозначаемых через 1 ). Точно так же алгебры фон Неймана типа II могут быть разложены на два непересекающихся класса класс конечных алгебр и класс собственно бесконечных алгебр. Первый из этих классов называется типом IIj, а второй — гагаож П . Соответственно этому оператор проектирования Ец разлагается в сумму двух ортогональных операторов проектирования 5ц (1) и Ец (оо) — наибольших операторов проектирования Е в W, обладающих тем свойством, что алгебра фон Неймана в первом случае непрерывна и конечна, а во втором непрерывна и собственно бесконечна. На этом мы закончим классификацию общих алгебр фон Неймана. Все сказанное можно обобщить в следующей теореме [c.171]

Теорема 13. Пусть — произвольная алгебоа фон Неймана. Тогда существует разбиение единицы на пять операторов проектирования Elin), 1(00), ii(l), ii(oo) принадлежащих Ш Ш, таких, что сужение алгебры 91 на соответствующие подпространства является алгеброй Неймана типа 1 дискретная конечная), типа 1 дискретная, собственно бесконечная), типа IIj непрерывная, конечная), типа непрерывная, собственно бесконечная) и типа III чисто бесконечная). [c.171]

Теперь мы уже можем пояснить происхождение терминологии, используемой в классификации алгебр фон Неймана. Мюррей и фон Нейман классифицировали факторы по свойствам области значений относительной размерности, допускаемой этими факторами дискретные (1 , 1 ) или непрерывные (III, П , III), конечные (1 , П,) или бесконечные (т. е. собственно бесконечные) (1 , III), полуконечные (1 , 1 , IIi, П ) или чисто бесконечные (III). [c.176]

Результат 7. Пусть 31 — алгебра фон Неймана с собственно бесконечным коммутантом. Всякий С -автоморфизм а алгебры % такой, что a[Z] ==Z для всех элементов Z из центра 3 алгебры 31, унитарен. [c.205]

Примечание. Из результата 7 вытекает ряд интересных следствий, на которых мы сейчас кратко остановимся. Прежде всего напомним, что если Ш — алгебра фон Неймана типа III, то и ее коммутант (стр. 171) также является алгеброй фон Неймана типа III. Отсюда мы заключаем, что множество 9 " чисто и, следовательно, собственно бесконечно. Таким образом, из результата 7 следует, что всякий С -автоморфизм алгебры фон Неймана типа III унитарен, если он оставляет инвариантными все элементы центра алгебры 3- Последнее условие можно отбросить, если считать, что алгебра фон Неймана типа III действует в сепарабельном гильбертовом пространстве [77, гл. 3, 8, п. 6, следствие 7 79, приложение А, результат 51]. В любом случае условие относительно действия автоморфизма на центр алгебры становится излишним, если алгебра является фактором. Таким образом, всякий С -автоморфизм фактора типа III унитарен. В случае факторов типа ситуация не столь проста. Предположим, что Ш есть фактор типа П . Потребуем дополнительно, чтобы в Ж существовало конечное множество М, разделяющее для 3i. Тогда [77, гл. 1, 1, п. 4, предложение 5 и следствие] М —конечное циклическое множество для iR. Поскольку Ш есть фактор, его коммутант Ш также есть фактор, который либо конечен, либо собственно бесконечен. Но если бы коммутант Ш был бесконечен, то фактор 97 также был бы бесконечен, поскольку для 9 существует конечное циклическое множество (стр. 171), а это противоречило бы предположению. Итак, наше дополнительное условие достаточно для того, чтобы коммутант 91 был собственно бесконечным, и мы можем заключить, что всякий С -автоморфизм фактора типа П , допускающего конечное разделяющее множество, унитарен. Предположение о том, что 97 есть фактор, как видно из леммы иа стр. 168, не является существенным. Действительно, эта лемма утверждает, что в центре алгебры фон Неймана Шгл Ш существует оператор проектирования Е, такой, что коммутант We конечен, а коммутант 9i/ собственно бесконечен. Кроме того, мы видим, что множество ЕМ циклично в ЕЖ относительно W и, следовательно, относительно Ш е. Таким образом, алгебра фон Неймана Ше=Ше= 31 е) конечна. Поскольку элемент Е принад-лел<ит центру алгебры 9i, мы, пользуясь той же леммой, заключаем, что где (/ —f) — наибольший оператор проектирования из центра алгебры фон Неймана 97, такой, что алгебра фон Неймана 97(/ Р) собственно бесконечна. Но так как алгебра 9i собственно бесконечна по предположению, мы имеем F = I я, следовательно, = 0, т. е. коммутант 97 собственно бесконечен. Итак, мы видим, что требование в результате 7, а именно требование собственно-бесконечности коммутанта 91, можно заменить требованием собственно-бесконечности самой алгебры фон [c.206]

Результат 8. Пусть 97 (г = 1, 2) — две алгебры фон Неймана с собственно бесконечными равномерными коммутантами одного и того же порядка. Тогда любой С -автоморфизм алгебры 97 на алгебру % унитарен. [c.207]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...