Максимальные коммутативные инволютивные алгебры в гильбертовом пространстве Текст научной статьи по специальности «Математика»

Владикавказский математический журнал 2018, Том 20, Выпуск 2, С. 16-22

УДК 517.98

ВОТ 10.23671 /УМС.2018.2.14714

МАКСИМАЛЬНЫЕ КОММУТАТИВНЫЕ ИНВОЛЮТИВНЫЕ АЛГЕБРЫ В ГИЛЬБЕРТОВОМ ПРОСТРАНСТВЕ

Ф. Н. Арзикулов

Посвящается 65-летнему юбилею профессора Анатолия Георгиевича Кусраева

Аннотация. Работа посвящена инволютивным алгебрам ограниченных линейных операторов в бесконечномерном гильбертовом пространстве. Изучается проблема описания всех подпространств векторного пространства всех бесконечномерных п х га-матриц над полем комплексных чисел, для бесконечного кардинального числа п, являющихся инволютивными алгебрами. Существует много различных классов операторных алгебр в гильбертовом пространстве, включая классы ассоциативных алгебр неограниченных операторов в гильбертовом пространстве. Большинство инволютивных алгебр неограниченных операторов, например, Д-алгебры, ЕС®-алгебры и -алгебры, инволютив-ные алгебры измеримых операторов, присоединенных к конечной (или полуконечной) алгебре фон Неймана, мы можем представить как алгебры бесконечномерных матриц. Если мы сможем описать все максимальные инволютивные алгебры бесконечномерных матриц, то ряд проблем операторных алгебр, включая инволютивные алгебры неограниченных операторов можно свести к проблемам максимальных инволютивных алгебр бесконечномерных матриц. В данной работе дается описание всех максимальных коммутативных инволютивных подалгебр алгебры ограниченных операторов в гильбертовом пространстве как алгебра бесконечных матриц.

Ключевые слова: инволютивная алгебра, алгебра операторов, гильбертово пространство, бесконечномерная матрица, алгебра фон Неймана.

Работа посвящена инволютивным алгебрам ограниченных линейных операторов в бесконечномерном гильбертовом пространстве. В [1] впервые было найдено достаточное условие построения инволютивной алгебры всех бесконечномерных ограниченных п х п-матриц над полем комплексных чисел. Эту алгебру можно отождествить с алгеброй В (¡2 (2)) всех ограниченных линейных операторов в бесконечномерном гильбертовом пространстве ¡2(2), где |2| = п для некоторого бесконечного кардинального числа п. В основе данной статьи лежит идея бесконечного разложения В(^(5)) по одномерным компонентам, предложенная в [1] и [2]. Благодаря этому всякий линейный оператор в гильбертовом пространстве представляется в виде бесконечной матрицы. В работах [1] и [2] получены результаты, касающиеся нормы и положительности ограниченного линейного оператора. На языке матриц эти результаты можно сформулировать следующим образом: 1) норма бесконечной матрицы равна точной верхней грани норм всех конечномерных подматриц на ее основной диоганали; 2) ограниченная бесконечномерная матрица положительна тогда и только тогда когда все конечномерные подматрицы на ее основной диоганали положительны. Продолжая рассуждения в этом направлении

© 2018 Арзикулов Ф. Н.

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

Существует много различных классов операторных алгебр в гильбертовом пространстве, включая классы ассоциативных алгебр неограниченных операторов в гильбертовом пространстве. Большинство инволютивных алгебр неограниченных операторов, например ^-алгебры, ЕС« -алгебры и ЕШ^-алгебры [4], инволютивные алгебры измеримых операторов, присоединенных к конечной (или полуконечной) алгебре фон Неймана [5], мы можем представить как алгебры бесконечномерных матриц. Если мы сможем описать все максимальные инволютивные алгебры бесконечномерных матриц, то ряд проблем операторных алгебр, включая инволютивные алгебры неограниченных операторов можно свести к проблемам максимальных инволютивных алгебр бесконечномерных матриц. В частности, ряд проблем коммутативных операторных алгебр, включая коммутативные инволютивные алгебры неограниченных операторов можно свести к проблемам максимальных коммутативных инволютивных алгебр бесконечномерных матриц. В данной работе обсуждается проблема описания всех максимальных коммутативных инволютивных алгебр бесконечномерных матриц.

Всюду в данной работе п — произвольное бесконечное кардинальное число, 2 — множество индексов мощности п. Далее, пусть {е^- } — семейство матричных единиц такое, что вг,у — п х п-мерная матрица, е^- = (аавЦ,3)-ая компонента которой равна 1, а остальные компоненты равны нулю.

Пусть {ш£} — семейство п х п-мерных матриц и ш£ = (ша )а„зен для каждого индекса Тогда через ^^ Ш£ обозначим матрицу, компоненты которой являются суммой соответствующих компонент матриц из семейства {ш£}, т. е.

= (Е т?

£ V ^ / а,/ЗёЕ

Здесь подразумевается, в сумме ^^ ш^ число ненулевых членов не более, чем счетно.

Обозначим через Мп(С) множество п х п-мерных матриц (Аы)i,j£н такое, что для каждой пары индексов г, ] из 5, А%'° £ С, и существует такое неотрицательное число К £ М, что для всех п £ N и {е^ }П ¿=1 ^ {вг,з} имеет место

п

ЕАкАeik.il ^ К, к,1=1

где || ^П 1=1 А^' iгвik)ii || является нормой матрицы ^П 1=1 А4' 4вik,ц в конечномерной С*-алгебре, порожденной системой матриц {е^)ii }Пг=1- Легко видеть, что относительно сложения матриц и умножения матрицы на число множество Мп (С) является векторным

С

В векторном пространстве

Мп = {(А^': А^' £ С (V £ 5)}

пх п С

жение следующим образом: для произвольных элементов х = (Аад)^еН) у = )i,j£н из Мп определим произведение х и у как

ху = ( Е №

Очевидно, что относительно этой операции векторное пространство Mn не является алгеброй. В то же время, его подпространство Mn(C) становится ассоциативной алгеброй и Mn(C) = B(¿2(2)), где ¿2(2) — комплексное гильбертово пространство квадратично суммируемых семейств {xi}iesj B(^(2)) — алгебра всех ограниченных линейных операторов в гильбертовом пространстве ¿2(2). Поэтому Mn(C) является алгеброй фон Неймана всех (бесконечномерных) n х n-мерных матриц над C [2].

Напомним, что гильбертово пространство H — это бесконечномерное евклидово пространство, являющееся полным метрическим пространством относительно метрики порожденной скалярным произведением данного евклидова пространства [3, §1-5].

Пусть A (Mn) — множество всех векторных подпространств векторного пространства Mn, являющихся коммутативными инволютивными алгебрами и ^ — порядок в A(Mn), определенный следующим образом: для произвольных коммутативных ин-волютивных алгебр X, У из A(Mn) пишем X ^ У, если X является подмножеством У, т. е. X С У. Этот порядок в A(Mn) удовлетворяет условиям леммы Цорна. Поэтому, для каждого элемента A G A(Mn) существует максимальный относительно этого порядка элемент A G A(Mn) такой, что A ^ A.

Определение. Максимальный относительно порядка ^ элемент A множества A (Mn) будем называть максимальной коммутативной инволют,иеной алгеброй в гильбертовом простра нет ее l2(2).

Пусть {ei }i€2 — максимальное ортогональное семейство минимальных проекторов алгебры B (¿2(2)) и {ei,j }i,jes — система матричных единиц построенная по семейству {ei}igs- Далее, пусть a — произвольный элемент из Mn. Мы будем писать

a Xi'j ei,j,

i,jes

если ei)iaej;j = Ai,jei;j для каждой пары i, j различных индексов из 2.

Теорема 1. Множество всех ограниченных элементов максимальной коммутативной инволютивной алгебры в гильбертовом пространстве ¿2(2) является алгеброй фон Неймана.

< Пусть A — максимальная коммутативная инволютивная алгебра в гильбертовом пространстве ¿2(2) и A — подалгебра всех ограниченных элементов алгебры A. Тогда существует максимальная коммутативная инволютивная подалгебра Ao алгебры B^^)), содержащая алгебру A^. Берем произвольную сеть (aa) элементов A, ультраслабо сходящуюся к элементу a из B^^)). Тогда элемент a лежит в Ao.

Предположим, что Ao содержит максимальное ортогональное семейство {e^i}^- минимальных проекторов алгебры B(¿2 (2)). Тогда спектральное разложение элемента a имеет следующий вид:

a = Y1 ^i'iei,i,

ies

т. е. a является ультраслабым пределом сети {A^e^i}^-. Пусть для каждого a

aa 'У ^ Aci 'ei,i-ies

Так как сеть (aa) ультраслабо сходится к элементу a в B^^)), то для каждого i сеть }ies сходится к Берем произвольный элемент b из A. Имеем aa b = baa для

каждого а. Доджем, что ab = 6a. Пусть

ь = ЕAj,j ,

¿^ен

где {eij }i,jgs — система матричных единиц построенная по семейству {ei}ieH- Имеем

a«b =( Е A^m) ( Е Ai,jej = Е A^A«

^ ¿ен 7 ¿,jeH 7 ¿¿ен

и

6aa = Е Aij A0aj ei,j.

¿,jeH

Следовательно, для каждой пары г, j индексов из 2 имеем

AMAij = Ajj Aj'j.

Так как комплексное число Aj,j является пределом сети (AOf)«, то отсюда получаем, что для каждой пары г, j индексов из 2 имеем

A*'*A*j = A*'j AJ'j

Следовательно,

аь = ( е Амем) (Еаы'= ЕАмА^^ = ЕА™^ =6а-

мен 7 ы'ен 7 ¿¿ен ыен

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

а

ющий вид: существует единственное ограниченное разложение единицы А ^ е? (А £ Ж) во множестве всех проекторов алгебры АО такое, что

a=

При этом для элемента х £ В(12 (2)) будет а о ж в том и только в том случае, если х о е? для всех А £ М. Пусть для каждого а

aa —

Берем ортогональное семейство (е^в} проекторов из АО такое, что всякий проектор из семейства {е?} и (иа|еа}) представляется как точная верхняя грань некоторого подсемейства семейства {ев,в }• Далее рассуждаем также как и ранее. >

Пусть {е^ }^ен — максимальное ортогональное семейство минимальных проекторов алгебры В(12(2)). Через е«С обозначим множество всех элементов а из Мп таких, что е^ае^ = 0 для каждой пары г, ] различных индексов из 2 Тогда множество ^¿ен е«С

а

Ade^

а

AdeV

a:

является инволютивной алгеброй относительно введенной выше операции умножения и имеет место следующая теорема.

Теорема 2. Алгебра е«С является максимальной коммутативной инволютивной алгеброй в гильбертовом пространстве 12 (2).

< Пусть Ь — произвольный элемент из Мп такой, что аЬ = Ьа для каждого элемента а из е%С. Тогда

е^Ь = Ье^ (V г € 2).

Отсюда е^Ье^ = Ье^е^ = 0 для каждой пары г, ] различных индексов из 5. Поэтому элемент Ь лежит в е«С. Ввиду произвольности элемента Ь алгебра е«С является максимальной коммутативной инволютивной алгеброй в гильбертовом пространстве ¿2(5). >

Пусть А0 — максимальная коммутативная инволютивная подалгебра алгебры В(12(2)), Ра0 — множество всех проекторов из алгебры А0. Через Ра0 (С) обозначим множество всех элементов а из Мп таких, что еа/ = 0 для каждой пары е, / ортогональных проекторов из Ра0- Тогда множество Ра0 (С) является векторным пространством и имеет место следующая теорема.

Теорема 3. Ра0 (С) является максимальной коммутативной инволютивной алгеброй в гильбертовом пространстве 12(5).

< Сперва докажем, что Ра0 (С) является алгеброй. Пусть а, Ь — произвольные элементы из Ра0 (С) и е, / — произвольная пара ортогональных проекторов из Ра0- Тогда по определению

еа/ = /ае = 0, еЬ/ = /Ьа = 0. А также 1 — е — / € Р,а0 и та определению еа(1 — е — /) = 0. Отсюда

еаЬ/ = еа(е + / + (1 — е — / ))Ь/ = еаеЬ/ + еа/Ь/ + еа(1 — е — / )Ь/ = еа0 + 0Ь/ + 0Ь/ = 0.

Следовательно, произведение аЬ лежит в Ра0(С). Можно проверить непосредственно, что остальные аксиомы инволютивной алгебры также имеют место для Ра0(С).

Теперь докажем, что инволютивная алгебра Ра0 (С) максимальна в гильбертовом пространстве ¿2(2). Пусть Ь — произвольный элемент из Мп такой, что аЬ = Ьа для каждого элемента а из Ра0(С). Тогда

еЬ = Ье (Vе € Ра0(С)).

Отсюда еЬ/ = Ье/ = 0 для каждой п ары е, / различных проекте ров из Ра0- Поэтому элемент Ь лежит в Ра0 ■ Ввиду произвольности элемента Ь алгебр а Ра0 является максимальной коммутативной инволютивной алгеброй в гильбертовом пространстве ¿2(2). >

Теорема 4. Пусть {ег}ге~ — максимальное ортогональное семейство минимальных проекторов алгебры В (¿2(2)) и А — максимальная коммутативная инволютивная алгебра в гильбертовом пространстве 12(2), содержащая элемент а такой, что е^ае^ = X1, е3-ае3- = X3, X1 = X5 и е^ае3- = 0 для каждой пары г, ] различных индексов из 2. Тогда А = £®ен егС.

< Берем произвольный элемент Ь из А Имеем аЬ = Ьа. Пусть

Ь = Е Хг'3 Ъ,

где {в«,]}г,]ен — система матричных единиц построенная по семейству {вг}ген- Тогда

а = Е АМвМ>

ген

что означает вгав] = 0 ■ вг,] для каждой пары г, ^ различных индексов из 2. Имеем

аЬ = ( Е ^Чг) Г Е Аг'] ] = Е Аг'гАг'] е^-

^ ген ' г,]ен 7 г,]ен

и

6а = Е Аг'] А" вг,].

г,]ен

Следовательно, для каждой пары г, ^ индексов из 2 имеем

А*,* А*'] = А*']' А]']

Так как Аг'г = Aj'j, то Aij = 0 для каждой пары i j различных индексов из 2. Следовательно, e¿bej = 0 для каждой пары i, j различных индексов из 2, т. е. b G ^e¿C. Что и требовалось доказать. >

Замечание 1. В силу теорем 1, 2 и 3 множество максимальных коммутативных инво-лютивных подалгебр алгебры B(l2(2)) ипъективпо вкладывается во множество A(Mn). Действительно, пусть М(B(l2(2))) — множество всех максимальных коммутативных ин-волютивных подалгебр алгебры В(^(2)). Рассмотрим отображение ф : М(B(l2(2))) ^ A(Mn), определенное как

ф(А0 ) = A, A, G M (B (¿2(2))), A G A (МП),

если А С A. В силу теорем 2, 3 для каждой алгебры A G М(B(¿2(2))) существует единственная алгебра A G A (Mn) содержащая А- Поэтому отображение ф является инъек-

ф

каждой алгебры A G A(Mn) существует единственная алгебра Ao G М(B(12(2))), со-

A

Литература

1. Arzikulov F. N. Infinite order and norm decompositions of C*-algebras // Int. J. of Math. Anal.— 2008.—Vol. 2, № 5.-P. 255-262.

2. Arzikulov F. N. Infinite order decompositions of C*-algebras // SpringerPlus.—2016.—Vol. 5, № 1,— P. 1-13. DOI: 10.1186/s40064-016-3468-7.

3. Ахиезер И. H., Глазман И. М. Теория линейных операторов,—М.: Наука, 1966.^377 с.

4. Iiioue A. On a class of unbounded operator algebras // Pacific J. Math.—1976.—Vol. 65, № 1,—P. 77-95.

5. Муратов M. А., Чилин B. If. Алгебры измеримых и локально измеримых операторов.—Киев: Ин-т математики HAH Украины, 2007.^390 с.^(Сер. «Прац! 1н-ту математики HAH Украши». Т. 89).

Статья поступила 9 февраля 2018 г.

Арзикулов Фарходжон Нематжонович Андижанский государственный университет, Узбекистан, 170100, Андижан, ул. Университетская, 129 доцент кафедры математики E-mail: [email protected]

22

ApsHKyjiOB (I>. H.

Vladikavkaz Mathematical Journal 2018, Volume 20, Issue 2, P. 16-22

MAXIMAL COMMUTATIVE INVOLUTIVE ALGEBRAS ON A HILBERT SPACE

Arzikulov F. N.1 1 Andizhan State University

Abstract. This paper is devoted to involutive algebras of bounded linear operators on an infinite-dimensional Hilbert space. We study the problem of description of all subspaces of the vector space of all infinite-dimensional n x n-matrices over the field of complex numbers for an infinite cardinal number n that are involutive algebras. There are many different classes of operator algebras on a Hilbert space, including classes of associative algebras of unbounded operators on a Hilbert space. Most involutive algebras of unbounded operators, for example, ft-algebras, ECB -algebras and EWB -algebras, involutive algebras of measurable operators affiliated with a finite (or semifinite) von Neumann algebra, we can represent as algebras of infinite-dimensional matrices. If we can describe all maximal involutive algebras of infinite-dimensional matrices, then a number of problems of operator algebras, including involutive algebras of unbounded operators, can be reduced to problems of maximal involutive algebras of infinite-dimensional matrices. In this work we give a description of maximal commutative involutive subalgebras of the algebra of bounded linear operators in a Hilbert space as the algebras of infinite matrices.

Key words: involutive algebra, algebra of operators, Hilbert space, infinite matrix, von Neumann algebra.

References

1. Arzikulov F. N. Infinite Order and Norm Decompositions of C*-Algebras. Int. J. of Math. Anal., 2008, vol. 2, no. 5, pp. 255-262.

2. Arzikulov F. N. Infinite Order Decompositions of C*-algebras. SpringerPlus, 2016, vol. 5, no. 1, pp. 1-13. DOI: 10.1186/s40064-016-3468-7.

3. Akhiezer N. I., Glazman I. M. Theory of Linear Operators in Hilbert Space, N. Y., Dover Publ., Inc., 1993.

4. Inoue A. On a Class of Unbounded Operator Algebras. Pacific Journal of Mathematics, 1976, vol. 65, no. 1, pp. 77-95.

5. Muratov M. A., Chilin V. I. Algebras of Measurable and Locally Measurable Operators, Ky'iv, Instytut Matematyky NAN Ukra'ny. Matematyky ta'i'i Zastosuvannya, 2007, vol. 69, 390 p.

Received, February 9, 2018

Arzikulov Farhodjon Nematjonovich Andizhan State University, University Street, Andizhan 710020, Uzbekistan E-mail: [email protected]