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

В заключение отметим, что в случае, когда выражение [а(£)] ■ ak(£) — 1 (к = 1, 2) обращается в нуль в отдельных точках контура £, трехэлементные задачи вида (18) (а значит, и исходная задача K1 2) пока остаются не исследованными.

Библиографический список

1. Расулов К. М. Краевые задачи для полианалитиче-ских функций и некоторые их приложения. Смоленск : Изд-во Смоленск. гос пед. ун-та, 1998. 345 с.

2. Балк М. Б. Полианалитические функции и их обобщения // Итоги науки и техники ВИНИТИ. Сер. Совр. пробл. матем. Фунд. напр. 1991. Т. 85. С. 187-246.

3. Гахов Ф. Д. Краевые задачи. М. : Наука, 1977. 640 с.

4. Литвинчук Г. С. Краевые задачи и сингулярные интегральные уравнения со сдвигом. М. : Наука, 1977. 448 с.

5. Мусхелишвили Н. И. Сингулярные интегральные уравнения. М. : Наука, 1968. 511 с.

6. Перельман Н. Р. Трехэлементная задача типа Кар-лемана для трианалитических функций в круге // Си-

УДК 512.554+512.643

ОБ ИДЕМПОТЕНТАХ АЛГЕБРЫ БУЛЕВЫХ МАТРИЦ

В. Б. Поплавский

Саратовский государственный университет E-mail: [email protected]

Изучается строение идемпотентных матриц с элементами из произвольной булевой алгебры в частичных полугруппах матриц произвольных размеров с конъюнктным и дизъюнктным частичным произведением. Показана связь разрешимости простейших матричных уравнений с некоторыми видами идемпотентных матриц, названных в статье вторичными идемпотентами. Также указывается связь произвольных идемпотентов со вторичными и изучаются их свойства.

Ключевые слова: булевы матрицы, матричные уравнения, идемпотенты.

стемы компьютерной математики и их приложения : материалы междунар. конф. Смоленск : СмолГУ, 2007. Вып. 8. С. 171-180.

7. Расулов К. М., Титов О. А. О решении одной трехэлементной краевой задачи типа Карлемана для биана-литических функций в круге // Системы компьютерной математики и их приложения : материалы между-нар. конф. Смоленск : Изд-во Смоленск. гос пед. ун-та, 2004. Вып. 5. С. 153-159.

8. Расулов К. М. Трехэлементная односторонняя краевая задача со сдвигом Карлемана в классах аналитических функций в круге // Изв. Смоленск. гос. ун-та. 2008. № 2. С. 94-104.

On Idempotents of Algebra of Boolean Matrices V. B. Poplavski

The structure of idempotent matrices in partial semigroups of matrices of arbitrary sizes with elements from arbitrary Boolean algebra with conjunctive and disjunctive partial multiplications is investigated. The connection of solvability of the simplest matrix equations with some kind of idempotent matrices which are called «secondary idempotents» is shown. Also we show the connection of arbitrary idempotent matrices with secondary idempotents and investigate their properties.

Keywords: Boolean matrices, matrix equations, idempotents.

ВВЕДЕНИЕ

Пусть (БтХп, и, П/ , О, I} есть булева алгебра т х п матриц с элементами из некоторой булевой алгебры (Б, и, П/, 0,1}. Операции объединения и, пересечения П, дополнения ' и, следовательно, отношение частичного порядка С определяются для матриц поэлементно. Матрицы О и I, образованные целиком из нулей (0) и единиц (1) соответственно, дают нуль и единицу такой вторичной булевой алгебры.

Определение 1. Матрицу С = АПВ е БтХк с элементами С] = иП=1 (АПВ]) назовем конъюнктным произведением матриц согласованных размеров А = (А]) е БтХп и В = (В]) е БпХк. Дизъюнктное произведение АиВ определяется дуальным образом: (АпВ)' = А'иВ' или (АиВ)' = А'ПВ'.

Легко проверяется следующее утверждение.

Предложение 1. Если булевы матрицы А, В, С таких размеров, что операции умножения этих матриц определены, то имеют место следующие формулы:

1. А П (В П С) = (А П В) П С; 2. А П Е = А, Е П А = А;

3. А П О = О, О П А = О; 4. (А П В)т = Вт П Ат;

5. А П (В и С) = (А П В) и (А П С), (А и В) П С = (А П С) и (В П С);

© Поплавский В. Б., 2G12

6. А П (В П С) С (А П В) П (А П С), (А П В) П С С (А П С) П (В П С).

Выполняются также дуальные правила:

1'. А и (В и С) = (А и В) и С; 2'. А и Е' = А, Е' и А = А;

3' .А и I = 1,1 и А = I; 4'. (А и В )т = Вт и Ат;

5'. А и (В П С) = (А и В) П (А и С), (А П В) и С = (А и С) П (В и С);

6'. А и (В и С) э (А и В) и (А и С), (А и В) и С э (А и С) и (В и С).

Справедливо также:

А П (В и С) С (А П В) и С, (А и В) П С С А и (В П С). (1)

Здесь Е = (5]) есть единичная матрица соответствующего размера (8] принимает значение 1, если г = з, и значение 0, если г = з); О и I определенные выше матрицы соответствующего размера; АТ означает транспонирование матрицы А.

Пусть символ М(Б) обозначает множество всех матриц конечных размеров, т. е. М(Б) =

и БтХп •

ш,п£ N

Конъюнктное и дизъюнктное произведения являются ассоциативными, поэтому пары (М(Б), П} и (М(Б), и} образуют частичные полугруппы относительно частичных, т. е. определенных не для всевозможных пар матриц, бинарных операций. При этом неравенство А С В влечет А П С С В П С, С П А С С П В и А и С С В и С, С и А С С и В, что следует из свойств 5 или 6, а также 5' или 6' предложения 1 соответственно. Дополнение булевых матриц, рассматриваемое как отображение ' : (М(Б), П} —> (М(Б), и}, в силу равенства (А П В)' = А' и В' является изоморфизмом частичных полугрупп.

Структура частичной полугруппы (М(Б), П} в терминах идеалов изучалась в [1]. Здесь мы изучаем свойства алгебры (М(Б), П, и}, в которой равенства А П (В и С) = (А П В) и С или А и (В П С) = (А и В) П С в общем случае не выполняются (свойство (1)).

В связи с большим количеством приложений идемпотентные матрицы с элементами из решеток являются темой и объектом изучения многочисленных публикаций, среди которых мы приводим лишь малую часть. Так, обзор достижений в этом направлении и описание матричных идемпотентов над бинарной булевой алгеброй можно найти в [2]. Решеточное строение множества идемпотентных матриц над дистрибутивными решетками исследуется в [3].

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

А = (А П А'т) и А = А П (А'т и А) = (А и А'т) П А = А и (А'т П А).

Здесь и далее полагаем, что А'т = (Ат)' = (А')т.

В параграфе 3 изучаются свойства произведений А П А'т, А'т П А, Ат П А', А' П Ат, А и А'т, А'т и А, Ат и А', А' и Ат. Показано, что все они являются идемпотентами особого типа, названного вторичным, в соответствующих частичных полугруппах (М(Б), и} и (М(Б), П}.

Далее мы показываем, что порождаемость двумя матрицами одного и того же главного правого (левого) идеала частичной полугруппы (М(Б), П} (или (М(Б), и}) булевых матриц всевозможных размеров влечет совпадение соответствующих им вторичных идемпотентов (теорема 3.2). Указывается также связь разрешимости простейших матричных уравнений со вторичными идемпотентами. Исследуется проблема делимости вторичных идемпотентов. В частности показано, что из левой делимости вторичных идемпотентов частичной полугруппы (М(Б), П} следует их правая делимость.

В последнем параграфе устанавливается связь произвольных идемпотентов со вторичными, изучаются и их свойства. Показано, во-первых, что транзитивно-рефлексивное замыкание любого идемпо-тента частичной полугруппы (М(Б), П} (которое, очевидно, совпадает с его рефлексивным замыканием) есть вторичный идемпотент. Во-вторых, для всякого транзитивно-рефлексивного замыкания А произвольной квадратной матрицы А в частичной полугруппе (М(Б), П} найдется матрица X (не обязательно квадратная), что X и X'т = А.

1. МАТРИЧНЫЕ УРАВНЕНИЯ И НЕКОТОРЫЕ ТОЖДЕСТВА ДЛЯ БУЛЕВЫХ МАТРИЦ

Следующее предложение является модифицированной формой результата, принадлежащего Люцу [4, 5], для случая булевых матриц произвольных согласованных размеров над произвольной булевой алгеброй. Более того, оно обобщает на булевы матрицы известные эквивалентности: а П х С Ь ^ ^ х С а' и Ь и а и х Э Ь ^ х Э а' П Ь, которые справедливы для элементов а, Ь и х произвольной булевой алгебры.

Теорема 1.1. Для любых булевых матриц А, В и X согласованных размеров выполняется следующие эквивалентности:

А П X С В X П А С В А и X Э В X и А Э В

X С А'т и В X С В и А'т X Э А'т П В X Э В П А'т

Доказательство. Очевидно, достаточно проверить первую эквивалентность неравенств, так как остальные доказываются аналогичным образом. Сделаем это поэлементно:

А П X С В

(V *.ли {Ак П X'’ }С В-

(V М,*)4 П X' С В-

(V МДОА-к' С (А')' и В-

(V мДШ С ((Ат)')' и В

X С (Ат)' и В.

□

Теорема 1.2. Для любых булевых матриц согласованных размеров А, В и переменной X выполняются следующие критерии совместности уравнений:

(3 X) А П X = В

(3 X) X П А = В

(3 X) А и X = В

(3 X) X и А = В

(А П А'т) и В = А П (А'т и В) = В В и (А'т П А) = (В и А'т) П А = В (А и А'т) П В = А и (А'т П В) = В В П (А'т и А) = (В П А'т) и А = В.

Доказательство. Проверим первую эквивалентность. Пусть существует решение X уравнения А П X = В. Тогда А П X С В, что эквивалентно X С А'т и В. Умножая последнее неравенство слева на матрицу А и применяя (1), получаем В = А П X С А П (А'т и В) С (А П А'т) и В. Заметим, что А П А'т С Е', так как каждый элемент главной диагонали квадратной матрицы А П А'т есть 0. Окончательно получаем:

В = А П X С А П (А'т и В) С (А П А'т) и В С Е' и В = В.

Таким образом, А П (А'т и В) = (А П А'т) и В = В.

С другой стороны, очевидно, из равенства А П (А'т и В) = В следует разрешимость уравнения А П X = В.

Остальные эквивалентности доказываются по аналогии. □

Теорема 1.3. Для любой булевой матрицы А произвольного размера выполняются равенства:

А = (А П А ) и А = А П (А и А) = (А и А'т) П А = А и (А'т П А).

Доказательство. Указанные равенства следуют из теоремы 1.2 и того, что уравнения А П X = А и А и X = А всегда имеют решения X = Е и X = Е' соответственно. □

2. ВТОРИЧНЫЕ ИДЕМПОТЕНТЫ

Теорема 2.1. Квадратные матрицы А и А'т, А'т и А, Ат и А', А' и Ат являются идемпотентами в (М(Б), П), а матрицы А П А'т, А'т П А, Ат П А', А' П Ат — идемпотентами в (М(Б), и).

Доказательство. Очевидно, что достаточно доказать это утверждение только для первой матрицы А и А'т. С одной стороны, применяя (1) и теорему 1.3, получаем

С другой стороны,

(А и А'т) П (А и А'т) С А и (А'т П (А и А'т)) = А и А'т. (А и А'т) П (А и А'т) Э (А и А'т) П Е = А и А'т,

так как Е С А и А 1ГС

т

□

Пусть А^ = А и А'т и А£ = А'т и А обозначают идемпотенты в (М(Б), П), порожденные матрицей А. Так как (А^)'т = (А и А'т)'т = А П А'т и (А£)'т = (А'т и А)'т = А'т П А, то (А^)'т и (А£)'т обозначают идемпотенты, порожденные матрицей А в частичной полугруппе (М(Б), и).

Теорема 2.2. Справедливы следующие равенства:

А^ = (Ая)я = (Ая )£ и А£ = (А£)£ = (А£)^

Доказательство. Имеем

(Ая)я = (А и А'т) и (А и А'т)'т = (А и А'т) и (А П А'т) = А и (А'т и (А П А'т)) = А и А'т = Ая.

Аналогично,

(А^)£ = (А и А'т)'т и (А и А'т) = (А П А'т) и (А и А'т) = ((А П А'т) и А) и А'т = А и А'т = А^.

Равенство А£ = (А£)£ = (А£)^ следует из того, что А^ = (А^)^ = (А^)£, и равенств (А'т)£ = = А^, (А'т)я = А£. □

Теорема 2.3. Для всякой идемпотентной в (М(Б), П) булевой матрицы А выполняется одно из следующих двух условий: 1) А ^ А^ и А ^ А£; 2) А = А^ = А£.

Доказательство. Пусть А = А П А, тогда из (1) и неравенства А и А'т Э Е следует

А^ = А и А'т = (А П А) и А'т Э А П (А и А'т) Э А П Е = А.

Аналогично можно доказать неравенство А С А'т и А = А£.

Предположим теперь, что А = А^. Тогда, применяя теорему 2.2, получаем А = А^ = (А^)^ = = (Ая )£ = А£. □

Определение 2.1. Назовем идемпотент А частичной полугруппы (М(Б), П) первичным, если выполняется условие А = А^, и вторичным, если А = А^, т. е. А = А^ = А£.

Аналогичные условия определяют вторичные идемпотенты частичной полугруппы (М(Б), и): А = А П А'т = А'т П А или А = (Ая) 'т = (А£) 'т.

Пример 2.1. Так как О'т и О = I и Е = Е'т и Е = Е и Е'т, I = 1'т и I = I и 1'т, то матрица О является первичным идемпотентом, а матрицы Е и I — вторичными идемпотентами в частичной полугруппе (М(Б), П).

0 0 0

Матрица В = 0 1 0 является первичным идемпотентом в (М(Б), П), так как

V 1 0 1 / 1 0 0 \ 1 0 1 ^

В П В = В и В и В 'т = 1 1 0 = В и т В = 0 10

101 1 01

( 1 1 0 ^

Матрица С = 0 0 0 также дает пример первичного идемпотента, но для нее выполняется

0 1 1

С и С'т = С'т и С = С.

Теорема 2.4. Множество вторичных идемпотентов частичной полугруппы (М(Б), П) и множество вторичных идемпотентов частичной полугруппы (М(Б), и) не пересекаются.

Доказательство. Заметим, что неравенства Е С А и А'т = А^ и (В^)'т = В П В'т С Е' справедливы для любых матриц А и В соответствующих размеров. Тогда предположение, что для некоторых матриц А и В выполняется равенство А^ = (В^)'т, приводит к противоречию. □

3. РАЗРЕШИМОСТЬ МАТРИЧНЫХ УРАВНЕНИИ И ВТОРИЧНЫЕ ИДЕМПОТЕНТЫ

Теорема 3.1. Пусть булевы матрицы А и В подходящих размеров. Тогда

(З X) А и X = В

(З X) А П X = В

(З X) X и А = В

(З X) X П А = В

А^ П Вп = Вп В^ П А^ = Вп А£ П В£ = В£ В£ П А£ = В£

А^ С Вп; А^ С Вп; А£ С В£; А£ С В£.

Доказательство. Из теоремы 1.2 и совместности уравнения А и X = В имеем (А и А'т) П В = В. Используя соотношения (1), получим

>/Т

В и В 'т = Е П (В и В 'т) С (А и А'т) П (В и В 'т) С ((А и А'т) П В) и В 'т = В и В

Следовательно, (А и А'т) П (В и В'т) = В и В'т, т. е. А^ П В^ = В^.

Равенство А^ПВ^ = В^ влечет А^ С В^. Действительно, так как Е С В^, то А^ПЕ С А^ПВ^. Это означает, что А^ С А^ П В^ для любых вторичных идемпотентов А^ и а значит, А^ С Вя.

Из совместности уравнения А П X = В имеем (А П А'т) и В = В или эквивалентное равенство В'т П (А и А 'т) = В 'т. Тогда

Т

В и В 'т = (В и В 'т) П Е С (В и В'т) П (А и А'т) С В и (В'т П (А и А'т)) = В и В

Получили (В и В'т) П (А и А'т) = В и В'т, т. е. В^ П А^ = В^, что тоже влечет неравенство А^ С В^ч Остальные импликации теоремы проверяются по аналогии. □

Разбиения частичной полугруппы (М(Б), П), определяемые множествами главных правых и главных левых идеалов, позволяют определить эквивалентности на (М(Б), П), которые, как и в теории полугрупп, будем называть ^- и £-отношения Грина на частичной полугруппе всевозможных булевых матриц (М(Б), П) соответственно (см. [1,6]). Аналогичное замечание можно сделать и для частичной полугруппы (М(Б), и).

Следующая теорема объясняет наш выбор используемых обозначений вторичных идемпотентов ^.-типа: А^ и (А^)'т, или £-типа: А£ и (А£)'т для частичных полугрупп (М(Б), П) и (М(Б), и) соответственно.

Теорема 3.2. Порождаемость матрицами одного и того же одностороннего (правого или левого) главного идеала частичной полугруппы (М(Б), П) (или (М(Б), и)) влечёт совпадение вторичных идемпотентов, соответствующих этим матрицам.

Доказательство. Если А и В порождают один и тот же (допустим, правый) идеал в (М(Б), П), то (3 X)А П X = В и (3 У)В П У = А. Тогда из теоремы 3.1 получаем А^ С В^ и А^ Э В^, т. е. А^ = Вп. □

Теорема 3.3. Односторонний идеал, порожденный вторичным идемпотентом, не может порождаться другим вторичным идемпотентом.

Доказательство По теореме 2.2 выполняются равенства (А^)^ = (А^)£ = А^ и (А£)£ =

□

= (А£)^ = А£. Тогда утверждение непосредственно следует из теоремы 3.2.

/ 0 1 1 \

Пример 3.1. Легко проверяется, что матрицы А =

0

1

и В =

1 1

010

1

1

порож-

010

дают один и тот же правый идеал частичной полугруппы (М(Б), П). Можно также показать, что А^ = Вп = А'т.

В случае, когда матрица А в теореме 3.1 является вторичным идемпотентом, некоторые импликации этой теоремы становятся эквивалентностями. А именно имеет место следующее утверждение.

Теорема 3.4. Для любых булевых матриц согласованных размеров А, В и переменной X выполняются следующие критерии совместности уравнений:

(З X) (З X)

А^ П X = В X П А^ = В

(Ая)/Т и В = А* П В = В В и (Ая)/Т = В П А^ = В

А^ П В = В; В П А^ = В;

(2)

(3)

А^ П В = В:

В П А^ = В

(4)

(5)

(3 X) А^ и X = В <—- А^ П В = А^ и ((Ая)'т П В) = В -

(3 X) X и А^ = В <—- В П А^ = (В П (Ая)'т) и А^ = В -

Доказательство. Используя теорему 1.2, получаем:

(3 X)АЯ П X = В <—- (Ая П (Ая)'т) и В = А^ П ((Ая)'т и В) = В <—-

<—- (Ая и (Ая)'т)'т и В = А^ П ((Ая)'т и В) = В <—-

<—- ((Ая)я)'т и В = А^ П ((Ая)'т и В) = В <—-

<—- (Ая)'т и В = А^ П В = В —- А^ П В = В —- (3 X)АЯ П X = В.

Таким образом, (3 X)А^ П X = В <—- (А^)'т и В = А^ П В = В <—- А^ П В = В.

Аналогично проверяются остальные эквивалентности и импликации.

Замечание. В формулах теоремы 3.4 можно заменить матрицу А^ на А£, так как (А'т)^ = А£. Следствие 3.5. Для любого вторичного идемпотента А = А^ = А£ и матрицы В согласованного размера выполняются импликации:

(3 X) А и X = В —- (3 X) А П X = В,

(3 X) X и А = В —- (3 X) X П А = В.

Доказательство. Так как А = А^ = А£, то утверждения следуют из (4) и (5). □

Следствие 3.6. Для любых булевых матриц согласованных размеров А, В выполняются им-

пликации:

□

(3 X) А и X = = Вп - - (3 X)

(3 X) А П X = = Вп - - (3 X)

(3 X) X и А = = Вп - - (3 X)

(3 X) X П А = = Вп - - (3 X)

А^ П X = В X П А^ = В А£ П X = В X П А£ = В

тс

?тс

тс

тс

(6)

(7)

(8)

Выполняются также импликации, которые получаются из предыдущих заменой в них матрицы В^ на матрицу Вс.

Доказательство. Указанные импликации получаются из теоремы 3.1 и формул теоремы 2.2 заменой В на Вп (или В на В£). □

Определение 3.1. Будем говорить, что матрица В П-делится на А слева в частичной полугруппе всевозможных булевых матриц (М(Б), П), если уравнение А ПX = В имеет решение, и справа, если имеет решение уравнение X П А = В.

Правая и левая и-делимость в частичной полугруппе всевозможных булевых матриц (М(Б), и) определяются аналогично.

Теорема 3.7. Для вторичных идемпотентов частичной полугруппы (М(Б), П) выполняются следующие утверждения:

a) правая (или левая) и-делимость этих идемпотентов влечет их правую и левую П-дели-мость;

b) левая П-делимость этих идемпотентов влечет их правую П-делимость.

Доказательство. Импликации (6) и (8) и равенства А = А^ = А£ и В = Вп = Вс дают то, что

правая или левая и-делимость идемпотентов А и В влечет их левую П-делимость.

То, что левая П-делимость вторичных идемпотентов А и В влечет их правую П-делимость, из (7) следует . □

Определение 3.2. Определим В < А для идемпотентов В и А частичной полугруппы всевозможных булевых матриц (М(Б), П), если В П А = А П В = В.

Легко проверяется, что это бинарное отношение является частичным порядком [6, § 1.8] и называется естественным частичным порядком на множестве идемпотентов.

Теорема 3.8. Для вторичных идемпотентов А = А^ = А£ и В = В^ = В£ выполняется В < А тогда и только тогда, когда А П В = В.

Доказательство. Из Ь) следствия 3.7 и формул (2) и (3) получаем, что из А П В = В следует В П А = В. □

являются первичным и

4. СВОЙСТВА МАТРИЧНЫХ ИДЕМПОТЕНТОВ И ТРАНЗИТИВНО-РЕФЛЕКСИВНЫХ ЗАМЫКАНИЙ

Утверждение следующей теоремы для случая брауэровых решеток было получено в [3, лемма 2.3]. Теорема 4.1. Пусть A — идемпотент частичной полугруппы (M(B), П). Матрица A есть вторичный идемпотент тогда и только тогда, когда E с A.

Доказательство. Из E с A следует E/T D A/T. Тогда A = A LI E/T D A LI A/T. Так как для любого идемпотента выполняется A с A L A/T (см. теорему 2.3), получаем A = A L A/T. Следовательно, A = Ar = Al .

Заметим, что если A есть вторичный идемпотент, то A = A L A/T = A/T L A D E. □

Теорема 4.2. Пусть A — произвольный идемпотент частичной полугруппы (M(B), П) и E — единичная матрица того же размера, тогда E и A является вторичным идемпотентом.

Доказательство. Учитывая теорему 4.1, достаточно показать, что объединение любого идемпотента с единичной матрицей того же размера есть идемпотент. Действительно, так как A = A П A = A2, то из (E U A)2 = (E и A) П (E и A) = E и A и A2 получаем (E и A)2 = E и A. □

/ 1 0 0 \

Пример 4.1. Матрица D из примера 2.1 и матрица D и E = 0 1 0

101

вторичным идемпотентами в (M(B), П) соответственно. Однако вторичные идемпотенты D и E, DR и Dl являются различными.

Для первичного идемпотента C из примера 2.1 выполняются равенства C и E = CR = CL. Теорема 4.3. Пусть для некоторых матриц A, B выполняется BПA = A. Тогда из неравенства B с A с Ar следует, что A — идемпотент частичной полугруппы (M(B), П). Соответственно из A П B = A и B с A с Al следует, что A — идемпотент частичной полугруппы (M(B), П).

В частности, из E с A с AR или E с A с AL следует, что A — вторичный идемпотент частичной полугруппы (M(B), П), т.е. A = AR = AL.

Доказательство. Умножая справа неравенство B с A с A L A/T на A, получаем B П A с A П A с с (A L A/T) П A. Применяя формулы из теоремы 1.3, получаем A с A П A с A, т. е. A = A П A.

Аналогично проверяется то, что из A П B = A и B с A с Al следует, что A — идемпотент

частичной полугруппы (M(B), П). Тогда по теореме 4.2 получаем, что неравенства E с A с AR влекут то, что A — идемпотент, причем вторичный. □

Теорема 4.4. Для любой квадратной матрицы X верны эквивалентности:

(X и E) с (X и E)R <—► (X и E) с (X и E)L <—► (X и E) = (X и E)R <—► (X и E) = (X и E)L.

Причём идемпотентные в (M(B), П) матрицы (такого же размера, как и указанная матрица E) являются решениями этих эквивалентных неравенств и уравнений.

Доказательство. Очевидно, из теорем 2.3, 4.1 и 4.3 следуют эквивалентности:

E с A с Ar <—► E с A с Al <—► A = Ar = Al <—► A = AR <—► A = AL.

Учитывая это замечание, получаем утверждение теоремы 4.4. □

Однако не всякое решение X неравенств или уравнений, указанных в теореме 4.4, является идем-

000

потентом. Матрица X =

000

не является идемпотентной в (М(Б), П), но X и Е есть

V 1 о о у

вторичный идемпотент (см. пример 4.1) и, следовательно, удовлетворяет указанным выше соотношениям.

Определение 4.1. Рефлексивным замыканием квадратной матрицы А в частичной полугруппе (М(Б), П) называют матрицу Е и А. Транзитивно-рефлексивным замыканием квадратной матрицы А в (М(Б), П) называют матрицу А = и^1о Ак = Е и А и А2 и А3 и..., где Ак обозначает конъюнктное произведение А П ... П А, содержащее к сомножителей.

Для идемпотентных матриц понятия «рефлексивное замыкание» и «транзитивно-рефлексивное замыкание», очевидно, совпадают. Очевидно также, что транзитивно-рефлексивное замыкание любого

В. А. Юрко. Единственность восстановления дифференциальных операторов

идемпотента есть вторичный идемпотент. Более того, транзитивно-рефлексивное замыкание всякой квадратной матрицы является идемпотентом, причем, учитывая теорему 4.1, вторичным. Наоборот, всякий вторичный идемпотент совпадает со своим транзитивно-рефлексивным замыканием. Таким образом, указанные в теореме 3.7 свойства делимости для вторичных идемпотентов становятся свойствами транзитивно-рефлексивных замыканий.

Замечание. Пусть А — транзитивно-рефлексивное замыкание произвольной булевой квадратной матрицы А в частичной полугруппе (М(Б), П). Тогда уравнение X и X/т = А разрешимо.

Действительно, так как транзитивно-рефлексивное замыкание А есть вторичный идемпотент, то в качестве решения X уравнения X и X/т = А можно взять любую матрицу, порождающую тот же правый идеал в частичной полугруппе (М(Б), П), что и идемпотент А (см. теорему 3.2).

Аналогично, решением уравнения X/т и X = А может быть любая матрица, порождающая тот же левый идеал, что и идемпотент А.

Следующий пример показывает, что решения уравнения X и X/т = А (или X/т и X = А) и матрица А могут порождать разные односторонние идеалы.

~ ^/ооо\„/оо\

Пример 4.2. Легко проверить, что матрицы X = I о о 1 / и А =1^ о I удовлетворяют равенству X и X/т = А. Причем матрицы X и А порождают один и тот же правый идеал (у них одинаковые столбцовые пространства, см. [1]). Однако матрицы X и А = ^ ^ 1

разные односторонние идеалы.

Библиографический список

порождают

1. Поплавский В. Б. О рангах, классах Грина и теории определителей булевых матриц // Дискретная математика. 2008. Т. 20, вып. 4. С. 42-60.

2. Бисли Л. Б., Гутерман А.Э., Канг К.-Т., Сонг С.-З. Идемпотентные матрицы и мажорирование // Фундаментальная и прикладная математика. 2007. Т. 13, вып. 1. С. 11-29.

3. Кумаров В. Б. Решетка идемпотентных матриц над дистрибутивными решетками // Фундаментальная и

прикладная математика. 2007. Т. 13, вып. 4. С. 121-144.

4. Luce R. D. A note on Boolean matrix theory // Proc. Am. Math. Soc. 1952. Vol. 3. P. 382-388.

5. Rudeanu S. Boolean functions and equations. Amsterdam; London : North-Holland Publishing Company; N.Y. : American Elsevier Publishing Company, Inc. 1974. 442 p.

6. Клиффорд А., Престон Г. Алгебраическая теория полугрупп : в 2 т. Т. 1. М. : Мир, 1972. 287 с.

УДК 517.984

ЕДИНСТВЕННОСТЬ ВОССТАНОВЛЕНИЯ ДИФФЕРЕНЦИАЛЬНЫХ ОПЕРАТОРОВ ПРОИЗВОЛЬНЫХ ПОРЯДКОВ НА НЕКОМПАКТНЫХ ПРОСТРАНСТВЕННЫХ СЕТЯХ

В. А. Юрко

Саратовский государственный университет E-mail: [email protected]

Исследуется обратная спектральная задача для дифференциальных операторов произвольных порядков на некомпактных графах. Доказана теорема единственности восстановления потенциалов по матрицам Вейля.

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

Uniqueness of Recovering Arbitrary Order Differential Operators on Noncompact Spatial Networks

V. A. Yurko

An inverse spectral problem is studied for arbitrary order differential operators on noncompact graphs. A uniqueness theorem of recovering potentials from the Weyl matrices is proved.

Key words: noncompact graphs, inverse spectral problems, Weyl matrices.

1. Исследуется нелинейная обратная спектральная задача восстановления потенциалов дифференциальных операторов произвольных порядков на некомпактных графах. Обратная спектральная задача для дифференциальных операторов Штурма-Лиувилля на графах изучалась в [1-8] и других

© Юрко В. А., 2012

33