Эта работа посвящена исследованию предсопряженных пространств JBW-факторов, и приведён полученный результат, что если вещественный JBW-фактор не изоморфен спин-фактору или алгебре
тогда его предсопряженное
не является SFS-пространством.
Ключевые слова: JB-алгебра, JBW-алгебра, JBW-фактор, спин-фактор, -пространство, предсопряженное пространство
Введение
В теории операторных алгебр одной из важных задач является изучение йордановых алгебр.
В работе Я. Фридмана и Б. Руссо были введены гранево симметричные пространства, основной целью введения которых является геометрическая характеризация предсопряженных пространств -троек, допускающих алгебраическую структуру. Многие из свойств, требуемых в этих характеризациях, являются естественными предположениями для пространств состояний физических систем. Такие пространства рассматриваются как геометрическая модель для состояний квантовой механики.
В работе [1] было изучено предсопряженные пространства вещественных. JBW-факторов, а именно было доказано, что предсопряженное пространство вещественного JBW-фактора является SFS-пространством в том и только в том случае, когда он либо абелев, либо является спин-фактором.
Настоящая работа посвящена исследованию предсопряженных пространств JBW- факторов.
Основная часть
Пусть — банахово пространство над полем действительных чисел.
называется йордаповой банаховой алгеброй (или JB-алгеброй), если в
введена операция умножения
, удовлетворяющая условиям:
1) для любых
;
2)


3) для любых
и
;
4) для любых
;
5) для любых
;
6) для любых
.
Пусть JB-алгебра.
называется JBW-алгеброй, если она обладает предсопряженным пространством, т. е. существует такое нормированное пространство
, что
.
Элементы из алгебры
называются совместными, если выполняется
.
Совместные элементы обозначается виде .
Для алгебры множество
называется центром. Если цент алгебры имеет вид

то алгебра называется JBW-фактором.
Пусть — некоторое вещественное гильбертово пространство со скалярным произведением
. Рассмотрим декартово произведение
и определим в произведение по формуле
,
где . Норму элементов в
определим по формуле
.
С этим произведением и нормой алгебра является JBW-фактором с единицей
, который называется спин-фактором ([2]).
Заметим, что
где



.
Пусть – действительное или комплексное нормированное пространство. Элементы
называются ортогональными, обозначение
, если
.
Подмножества называются ортогональными, обозначение
, если
для всех
. Для подмножества
пространства
положим
и назовем ортогональным дополнением к
. Выпуклое подмножество
единичного шара
называется гранью, если включение
где
влечет
. Грань
единичного шара называется выставленной по норме, если
для некоторого с
. Элемент
называется проективной единицей, если
и
при всех
.
Выставленная по норме грань из
называется симметричной гранью, если существует линейная изометрия
из
на
такая, что
и множество неподвижных точек которой в точности совпадает с топологической прямой суммой замыкания
линейной оболочки грани
и ее ортогонального дополнения
, т. е. совпадает с
.
Пространство называется слабо симметричным пространством (WFS-пространством), если каждая выставленная по норме грань из
симметрична.
WFS-пространство называется сильно гранево симметричным пространством (SFS-пространством), если для каждой выставленной по норме грани
из
и каждого
c
и
имеем
, где
– симметрия, соответствующая
.
Используя некоторые утверждения из работ [1] и [2], мы получим следующую терему, как следствие теоремы из [3].
Теорема. Если вещественный JBW-фактор



Литература:
- Ибрагимов М. М., Кудайбергенов К. К., Сейпуллаев Ж. Х. Геометрическая характеризация вещественных JBW-факторов // Владикавк. мат. журн. 2018. Том 20, вып. 1. С. 61–68.
- Аюпов Ш. А. Классификация и представление упорядоченных йордановых алгебр // Ташкент: Фан, 1986. 124 с.
- Ибраимов И. Е., JBW-алгебралардын геометриялык характеризациясы // Мaгистрaнтлaрдың илимий мийнетлериниң топламы. Нөкис, 2019.
- Friedman Y., Russo В., A geometric spectral theorem // Quart. J. Math. Oxford. -1986. -Vol. 37(2). — P. 263–277. DOI: 10.1093/QMATH/37.3.263
- Friedman Y., Russo B., Some affine geometric aspects of operator algebras // Pacif. J. Math. -1989. — Vol. 137 (1). -P. 123–144. DOI: 10.2140/pjm.1989. 137.123