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

2012 Теоретические основы прикладной дискретной математики №1(15)

УДК 512.642, 519.712.43, 512.541 ТЕОРИЯ ПОЛНЫХ ОРТОГОНАЛЬНЫХ ПРЯМЫХ РАЗЛОЖЕНИЙ

ВЕКТОРНЫХ ПРОСТРАНСТВ1

М. И. Анохин

Институт проблем информационной безопасности Московского государственного университета им. М. В. Ломоносова, г. Москва, Россия

E-mail: anokhin@mccme.ru

Построена теория полных ортогональных (относительно обобщенных ортогональностей, заданных некоторыми частичными симметричными билинейными функциями) прямых разложений векторных пространств V, таких, что фактор-пространство V по некоторому специальному подпространству конечномерно. Основным результатом этой теории является некоторое описание всех таких разложений. Вышеупомянутая теория имеет приложение к теории прямых разложений p-ичных функций, где p — простое число.

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

1. Введение

1.1. Прямые разложения функций V и V^ -ортогональные прямые разложения абелевых групп

В настоящей работе продолжены исследования, начатые в [1]. В более общем виде, чем в [1], предмет этих исследований можно описать следующим образом. Пусть A и B — абелевы группы, V — функция из A в B, A = ф Am — некоторое разложение

m€M

группы A в прямую сумму семейства подгрупп (Am | m Е M), индексированного элементами конечного множества M (такие разложения будем для краткости называть конечными прямыми разложениями). Тогда естественно сказать, что функция v разлагается в прямую сумму семейства функций (<^m | m Е M) для указанного прямого разложения группы A, если Vm: Am ^ B и

V ( xm ) — Vm(xm)

\m€M / m€M

при любых xm Е Am, m Е M. Такие разложения, называемые в дальнейшем прямыми разложениями функции V, будем записывать в виде V = ф Vm и отождествлять

m€M

с соответствующими семействами функций (vm | m Е M). Нас интересуют всевозможные прямые разложения функции V и, в частности, конечные прямые разложения группы A, для которых прямые разложения V существуют.

Определим теперь зависящее от функции V бинарное отношение V v на группе A, которое играет важную роль в изучении прямых разложений этой функции. Для произвольного а Е A обозначим через Da V функцию из A в B, определенную равенством

(Da v)(x) = v(x + а) - v(x)

хРабота поддержана грантами РФФИ №07-01-00154, 10-01-00475.

при всех х Е А. Функция Юа ^ называется производной функции ^ по направлению а; это понятие хорошо известно (см., например, [2, определение 3], [3, определение 2.68]). Тогда и V ^ ш (где и, ш Е А) в том и только в том случае, когда функция ^ тож-

дественно равна нулю на А. Отношение V^ обладает свойствами, аналогичными некоторым свойствам ортогональностей на векторных пространствах. Например, и V^ ш тогда и только тогда, когда а^(и, ш) = 0, где и, ш Е А, а — частичная симметричная билинейная над кольцом целых чисел функция на А (в смысле естественного аналога определения из п. 4.1), принимающая значения в В и заданная следующим образом:

. [= Ь, если 3 Ь Е В V х Е А (Би <^)(х) = Ь;

оДи, ш) < (1)

I не определено в противном случае.

Другими словами, (1) означает, что а^(и,ш) определено, если и только если функция ^ тождественно равна на А некоторому элементу Ь Е В, который в этом

случае и является значением а<Ди,ш). Кроме того, 0 а (или, что эквивалентно, а^(0,а) = 0) при всех а Е А. Следовательно, если назвать ортогональностью на А всякое бинарное симметричное отношение ^ на этой группе, такое, что для любого а Е А множество С^(а) = {х Е А | х ± а} является подгруппой А, то — ортогональность на А. Ортогональностью на А является также область определения ♦^ функции а<^, рассматриваемая как бинарное отношение. Кроме того, удовлетворяет следующему условию:

V х,у Е А (сА(х) + СА (у)= А СА (х + у) = СА'(х) П СА' (у)). (2)

Это доказывается точно так же, как и соответствующее утверждение в лемме 10 из [1]. Очевидно также, что если А и В являются элементарными абелевыми 2-группами (другими словами, аддитивными группами векторных пространств над полем СЕ(2)), то а V^ а для всех а Е А.

В этом пункте через ^ будем обозначать произвольную ортогональность на А. Прямое разложение А = ф Ат группы А называется ±-ортогональным, если а1 ± а2

т€М

для любых а1 Е Ат1, а2 Е Ат2, где т1,т2 Е М и т1 = т2. Связь V^-ортогональных прямых разложений группы А с прямыми разложениями функции ^ выражается следующей теоремой, которая доказывается точно так же, как и теорема 1 из [1]. Теорема 1.1. Пусть А = ф Ат — произвольное конечное прямое разложение

т€М

группы А. Тогда для этого разложения существуют прямые разложения функции <^, если и только если оно V ^-ортогонально и (М = 0 V ^(0) = 0). Кроме того, если выполнены эквивалентные условия предыдущего предложения, то прямые разложения функции ^ для рассматриваемого прямого разложения группы А — это в точности разложения вида

^ =0 МАт + Ьт),

т€М

где Ьт Е В (рассматриваемый в указанном прямом разложении ^ как функция-константа на Ат) и ^ Ьт = (1 — |М|)<^(0).

т€М

Теорема 1.1 показывает, что изучение прямых разложений произвольной функции ^: А ^ В эквивалентно изучению V ^-ортогональных конечных прямых разложений группы А. При этом, очевидно, достаточно ограничиться нетривиальными прямыми

разложениями группы A, т. е. прямыми разложениями этой группы, состоящими из ненулевых подгрупп. Кроме того, если группа A удовлетворяет условию минимальности для подгрупп, то всякое нетривиальное i-ортогональное конечное прямое разложение группы A может быть продолжено до полного i-ортогонального конечного прямого разложения этой группы. Поэтому в данном случае изучение прямых разложений функции V сводится к изучению полных V ^-ортогональных конечных прямых разложений этой группы. Здесь i-ортогональное прямое разложение группы A называется полным i-ортогональным прямым разложением, если оно нетривиально и не может быть продолжено до какого-либо другого нетривиального i-ортогонального прямого разложения или, другими словами, если оно состоит из i-неразложимых подгрупп (т. е. ненулевых подгрупп, не допускающих разложения в прямую сумму двух i-ортогональных ненулевых подгрупп; i-ортогональность подгрупп U и W означает, что u i w для всех и Е U и w Е W).

1.2. Краткое изложение результатов

В п. 1.1 мы видели, что если A и B — абелевы группы, причем A удовлетворяет условию минимальности для подгрупп, то изучение прямых разложений произвольной функции v : A ^ B в некотором смысле эквивалентно изучению полных V^-ор-тогональных конечных прямых разложений группы A. Однако, по мнению автора, изучение последних в общем случае очень сложно и вряд ли может привести к каким-либо глубоким результатам. Материал п. 1.1 был приведен в основном с целью обоснования актуальности задачи. В настоящей работе рассматривается несколько другой случай, а именно: пусть V — векторное пространство над произвольным полем F. Все введенные выше понятия, относящиеся к абелевым группам (производная функции по направлению, ортогональность и т. д.), естественно переносятся на случай векторных пространств. Например, ортогональностью на V называется любое бинарное симметричное отношение i на этом пространстве, такое, что для любого а Е V множество Cy (а) = {x Е V | x i а} является подпространством пространства V (см. также п. 3.1). Пусть а — частичная симметричная билинейная над полем F функция на пространстве V, принимающая значения в F и такая, что а(0, а) определено (и, следовательно, равно 0) для всех а Е V (подробнее см. п. 4.1). Тогда ортогональностями на V являются область определения 0 функции а (рассматриваемая как бинарное отношение) и бинарное отношение V, определенное следующим образом:

x V y (x,y) Е 0 & a(x,y) = 0,

где x,y Е V. Возможно, что ортогональности (в указанном выше смысле) и частичные симметричные билинейные функции на векторных пространствах представляют самостоятельный интерес и заслуживают отдельного изучения.

В отличие от п. 1.1, здесь мы не предполагаем, что функция а связана с какой-либо функцией V. Предположим, что V — произвольная функция из V в F. Тогда взять в качестве а функцию а^, определенную формулой (1), не всегда возможно, так как а<^ будет частичной симметричной билинейной функцией над кольцом целых чисел и, если char F = 0, над простым подполем поля F, но, вообще говоря, не над F. В случае, когда а<^ является частичной симметричной билинейной функцией над полем F, мы называем а^, 0^ и V^ ассоциированными с функцией V.

Пусть T — множество всех а Е V, таких, что С°(а) = V и а V b для любого b Е V, удовлетворяющего равенству С°(b) = V (см. также (17)). Предположим, что простран-

ство V/T конечномерно и

V x,y Е V (СО(x) + СО(y) = V =^ СО(x + y) = СО(x) П С« (у)). (3)

В этом случае удалось построить некоторую теорию полных V-ортогональных прямых разложений пространства V. Как уже отмечалось в п. 1.1 (см. условие (2)), если ортогональность 0 ассоциирована с некоторой функцией из V в F, то условие (3) выполнено.

Основным результатом настоящей работы является описание всех полных V-ортогональных прямых разложений пространства V (теорема 5.2). Это описание или его промежуточный вариант (теорема 5.1) существенно используются в доказательстве критериев каждого из следующих условий:

— V-неразложимость пространства V (теорема 6.1). В некотором частном случае критерий этого условия был дан в § 5 работы [1];

— а-эквивалентность двух полных V-ортогональных прямых разложений пространства V, если char F = 2 (п. 1 теоремы 6.2). Здесь два прямых разложения пространства V называются а-эквивалентными, если одно из них (с точностью до перестановки индексов) переводится в другое некоторым автоморфизмом этого пространства, сохраняющим а. Если же char F = 2, то при некотором дополнительном условии (которое заведомо выполнено в случае, когда а ассоциирована с некоторой функцией из V в F) любые два полных V-ортогональных прямых разложения пространства V а-эквивалентны (п. 2 теоремы 6.2). Кроме того, показано, что если char F = 2, то для любых двух полных V-ортогональных прямых разложений пространства V имеет место локальная (О, V)-эквивалентность, являющаяся некоторым ослабленным вариантом а-эквивалентности (теорема 6.3);

— единственность полного V-ортогонального прямого разложения пространства V (теорема 6.4). Ранее в теореме 3 работы [1] было дано некоторое условие, достаточное для этого (в рассматриваемом там частном случае).

Рассмотрим случай, когда поле F конечно и пространство V конечномерно. Ценность указанных результатов состоит еще и в том, что в данном случае они имеют в некотором смысле эффективный характер. А именно, предположим, что носители F и V содержатся в множестве всех конечных строк, состоящих из нулей и единиц. Пусть также поле F задается для алгоритмов с помощью своего носителя и таблиц сложения и умножения, пространство V — посредством своего носителя вместе с таблицами сложения в V и умножения элементов V на элементы F, а функция а — в виде таблицы своих значений. Тогда из описания всех полных V-ортогональных прямых разложений пространства V следует существование полиномиального недетерминированного алгоритма, множество всех выходных значений которого при вычислении на произвольном входе вида (F, V, а) совпадает с множеством всех таких разложений пространства V (теорема 6.5). Кроме того, полученные критерии перечисленных выше условий могут быть проверены детерминированными алгоритмами за полиномиальное время по (F, V, а) (теоремы 6.6 и 6.7; разумеется, предполагается, что при проверке а-эквива-лентности двух полных V-ортогональных прямых разложений пространства V на вход алгоритму подаются также эти разложения). Подробнее об этом см. в п. 6.4.

Предположим теперь, что F = GF(p), где p — простое число, V конечномерно и

V — произвольная функция из V в F. Такие функции V называют p-ичными; именно этот случай рассматривался в работе [1]. Тогда а^ является частичной симметричной билинейной над полем F функцией на V, причем, как уже отмечалось, а<Д0,а) = 0

для всех a Є V и для ♦ = 0^ выполнено условие (3). Это показывает, что к а = применима теория, построенная в настоящей работе. В то же время указанный случай по существу эквивалентен частному случаю ситуации п. 1.1, когда A — конечная элементарная абелева р-группа, а B — циклическая группа порядка р. Поэтому ввиду сказанного в п. 1.1 мы получаем некоторую теорию прямых разложений функций из A в B, где A и B указаны в предыдущем предложении. Возможно, что общая теория полных V-ортогональных прямых разложений векторных пространств, построенная в настоящей работе, имеет и другие приложения.

2. Определения, обозначения и необходимые факты

На протяжении всей работы через F обозначается некоторое поле, а через char F — характеристика этого поля. Пусть также F* — мультипликативная группа всех ненулевых элементов поля F, а (F*)2 = {x2 | x Є F*}. Если не оговорено иное, все объекты и понятия линейной алгебры рассматриваются над основным полем F. Как обычно, через GF(q) обозначаем конечное поле из q элементов.

Под термином «граф» в настоящей работе понимается неориентированный граф без петель и кратных ребер. Мы допускаем случай, когда граф не имеет вершин. В этом случае граф не имеет также ребер и связных компонент (последние предполагаются непустыми). Внутреннюю прямую сумму подгрупп абелевой группы или подпространств векторного пространства обозначаем символом ф, а объединение попарно непересекающихся множеств — символом LI. Отметим, что символы С и D в настоящей работе обозначают строгие включения. Семейства каких-либо элементов записываются с помощью круглых скобок (например, (xm | m Є M)); при этом мы не предполагаем, что элементы семейства, соответствующие разным индексам, различны. Для записи множеств, как обычно, используются фигурные скобки; в отличие от семейств, каждый элемент множества входит в него лишь один раз. Мы обозначаем одним и тем же символом (например, п) соответствующие друг другу бинарное отношение на произвольном множестве X, бинарный предикат на этом множестве и подмножество X х X. При этом

anb п(а, b) = 1 (a, b) Є п

для произвольных а, b Є X. Здесь в первом условии п рассматривается как бинарное отношение на X, во втором — как бинарный предикат на X, а в третьем — как подмножество X х X. Произвольное бинарное отношение п на множестве X естественно переносится с элементов на подмножества этого множества, а именно: если A, B С X, то запись A п B означает, что a п b для всех a Є A и b Є B. Кроме того, вместо {a} п B и Ап {b}, где a, b Є X и A, B С X, пишем а п B и A п b соответственно.

Через V всегда обозначаем некоторое векторное пространство. Пространство V может иметь специальный вид, если это указано явно. Пусть A — подмножество, а W — подпространство V. Тогда (A) обозначает подпространство V, порожденное множеством A. Если A = {ai,... , an} то, как обычно, будем писать (ai,... , an) вместо ({ai,... , an}). Через va,w будем обозначать ограничение на A естественного гомоморфизма V на V/W. Всякое подпространство R пространства V, удовлетворяющее равенству V = R ф W, называется прямым дополнением к W в V. Очевидно, что если R — произвольное прямое дополнение к W в V, то vR,W — изоморфизм R на V/W. Последним утверждением будем пользоваться, не оговаривая этого особо. Произвольный элемент вида v + {0} Є V/{0}, где v Є V, естественно отождествляется с v, а фактор-

пространство ^/{0} — с V. Под суммой ^ ит некоторого семейства (ит | т Е М)

теМ

подпространств V, как обычно, понимается и

\теМ /

Если 0 — некоторое множество подпространств пространства V, то будем писать

^ 0 и ф 0 вместо £ Б и ф Б соответственно, чтобы не загромождать обозначения. 5е0 5е0

Таким образом, здесь множество 0 рассматривается как семейство (Б | Б Е 0). Пусть

теперь X — некоторое множество подмножеств какого-либо множества М. Тогда, по

аналогии с вышеуказанными обозначениями, вместо У X и У X используем записи

Xех хех

УХ и У X соответственно. Кроме того, если ^ — некоторое отображение, определенное на М, то через ^(Х) будем обозначать множество {^(Х) | X Е X}.

Под словами «разложение (векторного) пространства» понимается разложение этого пространства в сумму некоторого семейства его подпространств. Такие разложения естественно отождествляются с соответствующими семействами подпространств. Будем пользоваться (не оговаривая этого особо) следующим очевидным замечанием: если V = ^2 ит и V = ф Жт — разложения пространства V, причем [7т С Жт при

теМ теМ

любом т Е М, то ит = Жт для всех т Е М.

Предположим, что на пространстве V определены предикаты п1,... , п^, имеющие конечные арности /1,...,/^ соответственно. Тогда соответствующую алгебраическую систему сигнатуры, состоящую из символов стандартной сигнатуры векторных пространств над полем ^ и символа /¿-арного предиката для каждого г Е {1,..., к}, будем обозначать через (V; п1,... , пк). Вообще говоря, предикаты п1,... ,пк могут быть частичными и/или многозначными; в этом случае мы рассматриваем алгебраические системы в несколько обобщенном смысле. Для обобщенных алгебраических систем указанного вида используем только понятия изоморфизма и автоморфизма, которые определяются естественным образом. А именно, пусть на некотором векторном пространстве V' определены предикаты п',... , п^, причем п' имеет ту же арность , что и п, для каждого г Е {1,..., к}. Тогда изоморфизм векторных пространств а: V ^ V' называется изоморфизмом (V; п1,... , пк) на (V'; п',... , п^), если для любых г Е {1,..., к} и г>1,..., ^ Е V

п(а(^1),..., а(г^)) определено пДг^,..., ) определено,

и в этом случае п'(а(г1),... , а(г^)) = п^(г1,..., ). Отношение изоморфизма для ал-

гебраических систем будет обозначаться символом =. Кроме того, как обычно, АШ А обозначает группу всех автоморфизмов произвольной алгебраической системы А. Разложения V = ^2 ит и V = ^2 пространства V называем (п1,..., пк)-эквивалент-

теМ гаеМ

ными, если существуют биекция ^: М ^ N и автоморфизм а Е АШ;^; п1,...,пк), такие, что а(ит) = Ж^(т) для всех т Е М. Назовем также указанные разложения пространства V локально (п1,... , пк) -эквивалентными, если существует биекция ^: М ^ N, такая, что (ит; п1,...,пк) = (Жм(т); п1 ,...,пк) для всех т Е М. При к =1 опускаем скобки вокруг п1, когда речь идет о (локальной) (п1)-эквивалент-ности разложений. Очевидно, что из (п1,...,п^)-эквивалентности двух разложений пространства V следует их локальная (п1,... , п^)-эквивалентность. Легко также видеть, что разложения V = Е 0 и V = Е Т пространства V (п1,... , п^)-эквивалентны тогда и только тогда, когда а(0) = Т для некоторого а Е АШ;^; п1,... , пк), и локаль-

но (ni,... , nk)-эквивалентны, если и только если (U; ni,... , nk) = (Wu; ni,... , nk) для некоторой биекции U ^ Wu множества S на множество T.

Следующая лемма обобщает лемму 5 из [1] и доказывается аналогично ей.

Лемма 2.1. Пусть ш — какое-либо отображение из V в некоторое частично упорядоченное множество, удовлетворяющее условию максимальности; I — множество всех v G V \ {0}, для которых не существует представления в виде v1 + v2, где v G V и ш(^) > ш(v) при i =1, 2. Тогда (I) = V.

Доказательство. Предположим, что множество V \ (I) непусто. Выберем некоторый элемент v G V \ (I), для которого o>(v) максимален в множестве o>(V \ (I)). Так как v G V \ {0} и v G I, v может быть представлен в виде v1 + v2, где v¿ G V и ш(^) > ш(v) при i = 1, 2. Но тогда v1, v2 G (I) (ввиду максимальности ш^) в ш(V\ (I))) и, следовательно, v G (I), что противоречит выбору v. ■

3. Ортогональности на векторных пространствах

3.1. Определения, обозначения и необходимые факты

Следуя [1], назовем ортогональностью на векторном пространстве V любое бинарное симметричное отношение i на этом пространстве, такое, что для любого a G V множество {x G V | x i a} является подпространством пространства V. Здесь через i будем обозначать некоторую ортогональность на V. Ортогональность i может иметь специальный вид, если это указано явно. Алгебраическую систему (V; i), где i рассматривается как бинарный предикат, естественно назвать (векторным) пространством с ортогональностью. Если a i b, где a, b G V, то говорят, что элементы a и b i-ортогональны. Аналогично, подмножества A и B пространства V называются i-ортогональными, если A i B.

Для множества A С V его i-ортогональное дополнение Cy(A) в множестве B С V определяется равенством

Cy(A) = {b G B | b i a для всех a G A}.

Очевидно, что если U — подпространство V, то Cy(A) является подпространством U. Вместо C¿({a1,... an}), где a1,... an G V и B С V, пишем Cy(a1,... an). Отметим, что в работе [1] множества Cy(a) и Cy(A) обозначались соответственно через ay и Ay.

Легко видеть, что класс всех векторных пространств с ортогональностями является квазимногообразием (напомним, что мы рассматриваем векторные пространства над фиксированным полем F). Поэтому, в частности, этот класс замкнут относительно взятия подсистем и декартовых произведений (а следовательно, и прямых произведений). Разумеется, под прямым произведением семейства ((Vm im) | m G M) векторных пространств с ортогональностями понимается подсистема декартова произведения этого семейства, состоящая из всех (am | m G M), таких, что am G Vm и множество {m G M | am = 0} конечно. Пусть теперь W — произвольное подпространство Cy(V). Тогда фактор-система пространства с ортогональностью (V; i) по W является пространством с ортогональностью. Полученная при взятии этой фактор-системы ортогональность на V/W совпадает с ограничением на множество всех смежных классов V по W определенного выше отношения i-ортогональности подмножеств V. Поэтому указанную ортогональность на V/W будем обозначать так же, как и исходную ортогональность на V. Очевидно, что

a + W i b + W

ab

(4)

для произвольных a, b Е V. Используя эту эквивалентность, легко получить равенство

Cb/w (V/W) = Cb (V)/W. (5)

В частности,

C£/cj,(V4 (V/Cb(V)) = {0} (6)

(см. также лемму 4 из [1]).

Замечание 3.1. Пусть W — подпространство Cy(V), а R — произвольное прямое дополнение к W в V. Тогда ввиду эквивалентности (4) vr,w является изоморфизмом (R; i) на (V/W; i).

3.2. Ортогональные разложения векторных пространств Приведем определения нескольких понятий, важных для настоящей работы. Разложение V = Vm пространства V (где M — некоторое множество) назовём нетриви-

m€M

альным, если Vm = {0} для всех m Е M. Вышеуказанное разложение пространства V называется i-ортогональным, если i Vm2 для любых различных mi, m2 Е M. Пространство V = {0} называется i-разложимым, если существует нетривиальное i-ортогональное разложение этого пространства в прямую сумму двух подпространств; в противном случае V называется i-неразложимым. Отметим, что {0} не считается ни i-разложимым, ни i-неразложимым пространством. Нетривиальное i-ортогональное прямое разложение V = ф Vm пространства V называется пол-

m€M

ным i-ортогональным разложением, если для каждого m Е M подпространство Vm i-неразложимо или, другими словами, если это разложение не может быть продолжено до какого-либо другого нетривиального i-ортогонального прямого разложения. Очевидно, что если V = Vm — нетривиальное прямое разложение V (в частно-

mGM

сти, полное i-ортогональное разложение), то Vmx = Vm2 при m1 = m2 (m1,m2 Е M), поэтому данное разложение можно записать в виде V = фе , где ^5 {vm1 е }.

Замечание 3.2 [1, лемма 3]. Предположим, что Cy(V) = {0}. Пусть V =

= U + W — i-ортогональное разложение пространства V. Тогда W = Cy (U). Действительно, включение W С Cy(U) тривиально. Пусть теперь v Е Cy(U). Представим v в виде u + w, где u Е U и w Е W. Тогда u i U (так как v i U и w i U) и u i W. Поэтому u i V. Следовательно, u = 0 и v = w Е W. Таким образом, Cy(U) С W.

Замечание 3.3. Предположим, что Cy(V) = {0}. Тогда всякое i-ортогональное разложение V = Vm пространства V является прямым. Действительно, пусть

m€M

v Е Vm П Е Vk, где m Е M. Тогда v i Vk для любого к Е M \ {m} (так как v Е Vm)

fc€M\{m}

и v i Vm (так как v Е ^2 Vk). Поэтому v i V и, следовательно, v = 0. Таким об-

fc€M\{m}

разом, Vm n E Vk = {0} для любого m Е M (см. также лемму 3 работы [1]).

k€M\{m}

Следующая лемма усиливает лемму 6 из [1].

Лемма 3.1. Пусть V = Vm — i-ортогональное разложение пространства V.

m€M

Тогда

Cb(V)= Е Cbm(V), (7)

m€M

причем Cym (V) = Cb(V) П Vm = Cbm (Vm) для всех m Е M.

Доказательство. Включение ^ С^т (V) С С^ (V) тривиально. Пусть теперь

т€М

V € С^(V). Представим V в виде ^ г>т, где ^ при всех т € М, причем

т€М

{т € М | V™ = 0} конечно. Для произвольного т € М положим ^ ^. Тогда

к€М\{т}

Vm = V - ^ ^ ^ (так как V ± V™. и ^ ± ^) и V™ ± ^ ^, поэтому V™ ± V

к€М\{т}

при любом т € М. Следовательно, V € ^ С^т(V). Таким образом, равенство (7)

т€М

доказано. Для произвольного т € М равенство С^т (V) = С^ (V) П ^ очевидно, а равенство С^т (V) = С^т (^т) вытекает из ^-ортогональности разложения V = ^ ^.

т€М

Лемма доказана. ■

Следующая лемма показывает, что задача описания всех полных ^-ортогональных разложений пространства V эквивалентна задаче описания всех таких разложений пространства ^Су(V).

Лемма 3.2. Пусть Б = С^(V), а V — множество всех троек (В, Я, С), таких, что Б = 0 В — разложение пространства Б в прямую сумму одномерных подпространств, Я — прямое дополнение к Б в V и ^Б = 0 С — полное ^-ортогональное разложение пространства ^Б. Тогда отображение

(В, Я, С) ^ В и ^(С), (В, Я, С) € V, (8)

является биекцией V на множество всех 0, таких, что V = 0е — полное ^-ортого-

нальное разложение пространства V. Если 0 — образ тройки (В, Я, С) € V при отображении (8), то эти В, Я и С могут быть найдены по 0 следующим образом:

В = {и € 0 | и П Б = {0}} = {и € 0 | Су(и) = {0}} = {и € 0 | и С Б}; (9)

Я = ф(0 \ В); (10)

С = ^(0 \ В). (11)

Доказательство. Пусть (В, Я, С) € V. Из замечания 3.1 следует, что

Я = 0 ^(С) (12)

— полное ^-ортогональное разложение пространства Я. Поэтому

V = й © Я = (0 В) © (0 V-1.;(С))

является полным ^-ортогональным разложением пространства V (^-неразложимость всех пространств из В и условие Б ^ Я тривиальны).

Предположим теперь, что V = 0 — полное ^-ортогональное разложение про-

странства V. Пусть В, Я и С определены формулами (9)—(11). Из леммы 3.1 вытекает, что

Б = 0(и П Б) = 0 (и П Б), и€0 иеВ

причем и П Б = С^(и) для всех и € 0 и, следовательно, В = {и € 0 | С^(и) = {0}}. Пусть Ш € В. Выберем некоторый элемент т € (Ш П Б) \ {0} и какое-либо прямое дополнение Ш1 к (т) в Ш. Так как Ш = (т) © Ш1 и (т) ^ Ш;, из ^-неразложимости Ш вытекает, что Ш1 = {0}. Следовательно, Ш = (т) = Ш П Б С Б. Это показывает, что

В = {и € 0 | и С Б} и что Б = ф В — разложение пространства Б в прямую сумму одномерных подпространств.

Очевидно, что Я — прямое дополнение к Б = ф В в V. Так как Я = ф(0 \ В) — полное ^-ортогональное разложение пространства Я, из замечания 3.1 вытекает, что ^Б = ф С — полное ^-ортогональное разложение пространства ^Б. Следовательно, (В, Я, С) € V. Кроме того, V-;(С) = 0\В. Это показывает, что (В, Я, С) является прообразом 0 при отображении (8). Легко видеть (используя равенство (12)), что других прообразов 0 при отображении (8) нет. Таким образом, отображение (8) биективно. ■

3.3. Одно условие для пространств с ортогональностями В дальнейшем нам понадобится следующее условие для пространства с ортогональностью (V; ^):

Vх,у € V (СЬ(ж) + СУ(у) = V =^ СУ(ж + у) = С^(ж) П СУ(у)) (13)

(см. также условие (2) из работы [1]). Очевидно, что если ± = V х V, то (V; ±) удовлетворяет условию (13).

Замечание 3.4. Пусть (V; ±) —декартово или прямое произведение семейства ((V™; ^™) | т € М) векторных пространств с ортогональностями. Тогда легко видеть, что для любого V = (V™ | т € М) € V (где V™ € V™) пространство Су (V) есть декартово или соответственно прямое произведение семейства (Су™ (V™) | т € М). Из этого нетрудно получить, что класс всех векторных пространств с ортогональностями (над фиксированным полем ^), удовлетворяющих условию (13), замкнут относительно взятия декартовых и прямых произведений.

Замечание 3.5. Пусть V = и + Ш — ^-ортогональное разложение пространства V. Тогда если Су(ж) + Су(у) = и, где ж, у € и, то Су(ж) + Су(у) = V. Из этого следует, что если (V; ^) удовлетворяет условию (13), то и (и; ^) удовлетворяет этому условию.

Замечание 3.6. Пусть Ш — произвольное подпространство Су(V). Тогда, используя замечания 3.1, 3.4 и 3.5 и эквивалентность (4), легко показать, что (^/Ш; ^) удовлетворяет условию (13), если и только если (V; ^) удовлетворяет этому условию.

Лемма 3.3. Предположим, что (V; ^) удовлетворяет условию (13). Пусть V = = Е V™ — ^-ортогональное разложение пространства V. Тогда если ж™, у™ € V™ для

т€М

всех т € М, причем {т € М | жт = 0} и {т € М | у™ = 0} конечны, то

Е ж™ ± Е У™ V т € М ж™ ± у™.

т€М т€М

Доказательство. Импликация «^=>» очевидна. Пусть теперь ^ жт ^ Е У™.

™€М ™€М

Фиксируем т € М и положим г = ^ жк. Легко видеть, что Су(ж™) + Су(г) = V,

к€М\{™}

так как Су(ж™) 1Э ^ для любого к € М \ {т} и Су(г) 1Э V™. Поэтому из условия (13) вытекает, что Су I Е жн С Су (жт). В частности, жт ± Е Ук. В то же время

\к€М / к€М

жт ± Е . Следовательно, ж™ ^ у™. Импликация «=^>» доказана. ■

к€М\{™}

Замечание 3.7. Предположим, что (V; ^) удовлетворяет условию (13). Пусть

V = ф и™ и V = ф — ^-ортогональные разложения пространства V. Пусть

™еМ га€М

также ^ — биекция М на N и а™ — изоморфизм (и™; ±) на (Шм(™); ^) для каждого т € М. Тогда, используя лемму 3.3, легко видеть, что отображение а: V ^ V, определенное равенством

а ( и™ ) а™(u™),

\™еМ / ™еМ

где и™ € и™ и {т € М | и™ = 0} конечно, является автоморфизмом (V; ±). Очевидно

также, что а(и™) = Шм(™) при любом т € М. Поэтому рассматриваемые разложения пространства V ^-эквивалентны, если и только если они локально ^-эквивалентны.

Приведем нужные нам результаты из работы [1]. Следуя указанной работе, назовем элемент V € V неразложимым, если он не может быть представлен в виде v1+V2, где

V* € V и Су (V*) 3 Су (V) при г = 1, 2. В следующих двух леммах через I обозначается множество всех ненулевых ^-неразложимых элементов пространства V.

Лемма 3.4. Предположим, что (V; ^) удовлетворяет условию (13), причем Су(V) = {0}. Пусть V = 0 V™ — ^-ортогональное разложение пространства V (вся-

™еМ

кое такое разложение является прямым ввиду замечания 3.3). Тогда I С у V™ или,

™еМ

что эквивалентно, I = и (I П V™).

™еМ

Лемма 3.5. Предположим, что (V; ^) удовлетворяет условию (13), причем V конечномерно и Су (V) = {0}. Пусть Д —некоторая ортогональность на V, содержащаяся в ±. Пусть также X — множество всех связных компонент графа с множеством вершин I, в котором две различные вершины а и Ь смежны тогда и только тогда, когда

они не Д-ортогональны. Тогда V = ф (X), причем это равенство дает единственное

хех

полное Д-ортогональное разложение пространства V.

Леммы 3.4 и 3.5 доказываются точно так же, как соответственно леммы 7 и 8 из работы [1].

4. Частичные симметричные билинейные функции на векторных пространствах, принимающие значения в основном поле

4.1. Определения, обозначения и необходимые факты Пусть а — функция из ♦ в ^, где ♦ — некоторое подмножество V х V. Тогда а называется частичной симметричной билинеинои функцией на V, если

а ♦ Ь =^ Ь ♦ а & а(Ь,а) = а(а,Ь), (14)

а1 ♦ Ь & а2 ♦ Ь =^ а1 + а2 ♦ Ь & а(а1 + а2,Ь) = а(а1,Ь) + а(а2,Ь), (15)

а ♦ Ь =^ Аа ♦ Ь & а(Аа,Ь) = Аа(а,Ь) (16)

для любых а, а1, а2, Ь € V и А € ^. Очевидно, что из условий (14)-(16) следует линей-

ность а и по второму аргументу, т. е.

а ♦ Ь1 & а ♦ Ь2 =^ а ♦ Ь1 + Ь2 & а(а,Ь1 + Ь2) = а(а,Ь1) + а(а,Ь2),

а ♦ Ь =^ а ♦ АЬ & а(а, АЬ) = Аа(а, Ь)

при произвольных а,Ь, Ь1,Ь2 € V и А € ^. Альтернативным образом можно считать, что а определена на всем V х V, но принимает значения в ^ и {то}. В этом случае а называется частичной симметричной билинейной функцией на V, если условия (14)-(16) выполняются для множества ♦ = {(а,Ь) | а,Ь € V, а(а,Ь) € ^}. Очевидно,

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

Вообще говоря, область определения ♦ частичной симметричной билинейной функции а может быть пустой. Но этот случай не представляет интереса. Если же ♦ = 0, то М] = {х Є V | 0 ♦ х} —подпространство V и ♦ С V х Следовательно, в этом случае а является по существу частичной симметричной билинейной функцией на V], причем 0 ♦ V].

В дальнейшем, если не оговорено противное, через а будем обозначать некоторую частичную симметричную билинейную функцию на V с областью определения ♦ С С V х V. Кроме того, предполагаем, что 0 ♦ V; это предположение почти не ограничивает общность (см. предыдущий абзац). Функция а может иметь специальный вид, если это указано явно. Алгебраическую систему (V; а), где а рассматривается как частичный многозначный бинарный предикат, будем называть (векторным) пространством с частичной симметричной билинеинои функцией.

Очевидно, что ♦ является ортогональностью на V. Определим бинарное отношение V на V следующим образом:

а V Ь а ♦ Ь & а(а, Ь) = 0,

где а,Ь Є V. Тогда легко видеть, что V —ортогональность на V. Положим для краткости

50 = а (V), 5 = Су (V), Т = С^ (51). (17)

Очевидно, что 50 С Т С 51.

Замечание 4.1. Легко видеть, что отображение, ставящее в соответствие произвольному смежному классу а + 50, где а Є 51, линейную функцию V + Т м а(а,^) (где V Є V), определено корректно и является инъективным гомоморфизмом 51/50 в векторное пространство всех линейных функций из ^Т в ^ (т. е. в сопряженное пространство для ^Т). Поэтому если ^Т конечномерно, то и 51/50 конечномерно, причем ^т(51/50) ^ dim(V/T). Следовательно, конечномерность ^Т эквивалентна конечномерности ^/50.

Обозначим через р естественный гомоморфизм ^50 на ^Т, т. е. гомоморфизм а + 50 м а + Т, где а Є V. Из эквивалентности (4) следует, что

х ♦ у р(х) ♦ р(у) (18)

для любых х,у Є ^50. Нам потребуется также легко проверяемое равенство

Р-1«Х )) = <р-1(Х)) + (Т/ЗД, (19)

в котором X — произвольное подмножество V/T.

Замечание 4.2. Пусть Ь — подпространство ^Т и Q — произвольное прямое дополнение к Т/50 в р-1(Ь). Тогда очевидно, что Q = р-1 (Ь)/(Т/50) = Ь и, следовательно, dim Q = dim Ь.

Если и — подпространство V, то очевидно, что а является частичной симметричной билинейной функцией на и с областью определения 0и = ♦ П (и х и), причем 0 0и и. Пусть теперь W — подпространство 50. Тогда легко видеть, что формула

(а + ^ Ь + W) м а(а,Ь), а, Ь Є V, а ♦ Ь,

корректно определяет частичную симметричную билинейную функцию на V/W с областью определения

{(а + W, b + W) | a, b G V, a ♦ b} = {(x,y) | x, y G V/W, x ♦ y}

(см. эквивалентность (4)), причем 0 ♦ V/W. Эту частичную симметричную билинейную функцию мы обозначаем так же, как и исходную, т. е. через а.

Замечание 4.3. Пусть W — подпространство S0 и R — произвольное прямое дополнение к W в V. Тогда vr,w является не только изоморфизмом (R; V) на (V/W; V) и (R; ♦) на (V/W; ♦) (см. замечание 3.1), но и изоморфизмом (R; а) на (V/W; а).

Предположим, что каждому m G M, где M — некоторое множество, поставлены в соответствие векторное пространство Vm и частичная симметричная билинейная функция ат на Vm с областью определения С Vm х Vm. Пусть (V; ♦) —прямое произведение семейства ((Vm; 0m) | m G M) векторных пространств с ортогональностями. Определим функцию а: ♦ ^ F равенством

а((am | m G M), (bm | m G M)) = ^ аm(am, bm) ,

m€M

где am, bm G Vm при любом m G M, (am | m G M), (bm | m G M) G V (т. е. {m G M | am = = 0} и {m G M | bm = 0} конечны) и (am | m G M) ♦ (bm | m G M) (указанная сумма определена, так как множество {m G M | ат^т^т) = 0} конечно). Тогда непосредственно проверяется, что а — частичная симметричная билинейная функция на V с областью определения ♦ , причем если 0 ♦ Vm для всех m G M, то 0 ♦ V. Будем называть (V; а) прямым ортогональным произведением семейства ((Vm; ата) | m G M) пространств с частичными симметричными билинейными функциями.

Пусть снова а — произвольная частичная симметричная билинейная функция на некотором векторном пространстве V с областью определения ♦ , причем 0 ♦ V. Следующая лемма является аналогом замечания 3.7 и доказывается аналогично ему.

Лемма 4.1. Предположим, что (V; ♦) удовлетворяет условию (13). Пусть

V = 0 Um и V =0 Wn — V-ортогональные разложения пространства V. Тогда

m£M raGN

1) если ^ — биекция M на N и am — изоморфизм (Um; а) на (WM(m); а) для каждого m G M, то отображение а: V ^ V, определенное равенством

а ( um ) — am(um),

\m€M / m€M

где um G Um и {m G M | um = 0} конечно, является автоморфизмом (V; а);

2) рассматриваемые разложения пространства V а-эквивалентны, если и только если они локально а-эквивалентны.

4.2. П р о с т р а н с т в а т и п о в 1 и 2

Большая часть приводимого здесь материала известна в линейной алгебре, хотя и в других терминах.

Назовем (V; а) или, короче, V пространством типа 1, если V = (a) для некоторого a G V, такого, что a ♦ a (и, следовательно, V ♦ V, т. е. ♦ = V х V) и a V a (или, что эквивалентно, а^^) = 0). Кроме того, (V; а) или просто V будет называться пространством типа 2, если char F = 2, V ♦ V и V = (a, b) для некоторых a, b G V, удовлетворяющих равенствам а^^) = а(^ b) = 0 и а^,^ = 1 (из которых следует,

что а и b линейно независимы). Другими словами, (V; а) имеет тип 2, если и только если char F = 2, ♦ = V х У и матрица билинейной функции а в некотором базисе

или типа 2, то билинейная функция а невырождена на V (т. е. Су (V) = {0}).

Пусть (V; а) —пространство типа 1. Поставим ему в соответствие смежный класс ; а) € ^*/(^*)2 следующим образом:

где V — произвольный элемент V \ {0}; очевидно, что это определение корректно.

Замечание 4.4. Пусть (V; а) и (V7; а7) —пространства типа 1. Тогда легко видеть, что (V; а) = (V7; а7), если и только если х^; а) = х^7; а7).

Если пространство V имеет тип 1, то его У-неразложимость тривиальна. Следующая лемма утверждает У-неразложимость пространств типа 2.

Лемма 4.2. Если V — пространство типа 2, то оно У-неразложимо.

Доказательство. Предположим, что V — У-разложимое пространство типа 2. Тогда V = (и)© (ш) для некоторых и, ш € V \ {0}, таких, что и У ш. Кроме того, и У и и ш У ш, так как V У V для всех V € V. Следовательно, V У V, что неверно. ■

Лемма 4.3. Пусть ♦ = V XV и V У V. Тогда V содержит подпространство типа 1 или типа 2.

Доказательство. Предположим сначала, что существует а € V, для которого а У а. Тогда (а) —подпространство типа 1 пространства V. Считаем теперь, что

Это возможно только при char F = 2, так как в противном случае из условия (20) ввиду того, что

следует, что V У V, вопреки условию леммы. Выберем некоторые а, Ь € V, такие, что а У Ь (возможность такого выбора вытекает из условия V У V). Заменив а на (1/а(а,Ь))а, можно добиться выполнения равенства а(а,Ь) = 1. Кроме того, а(а, а) = а(Ь, Ь) = 0 ввиду условия (20). Таким образом, в данном случае (а, Ь) является подпространством типа 2 пространства V. ■

4.3. У - о р т о г о н а л ь н ы е д о п о л н е н и я к к о н е ч н о м е р н ы м

подпространствам Б1

Первое утверждение следующей леммы хорошо известно в случае, когда V конечномерно и ♦ = V х V.

Лемма 4.4. Пусть и — произвольное конечномерное подпространство Б1, такое, что билинейная функция а невырождена на и (другими словами, СЦ-(и) = {0}). Тогда V = и © СУ (и). Кроме того, если V = и + Ш — У-ортогональное разложение пространства V, то Ш = СУ (и).

Доказательство. Пусть V € V. Тогда ж м а^,ж), где ж € и, является линейной функцией из и в F. Ввиду конечномерности и и невырожденности а на и всякая такая функция имеет вид ж м а(и,ж) (где ж € и) для некоторого и € и. Следовательно,

q j. Очевидно, что если (V; а) —пространство типа 1

x(V; а) = a(v, v)(F*)2,

Vx Є V х У x.

(20)

Vх, y є V (a(x, y) = (a(x + y,x + y) - a(x,x) - a(y, y))/2) ,

можно выбрать u G U, удовлетворяющий равенству а(и, х) = а(и, х) для любого x G U. Тогда v = u + (v — u) G U + CV(U), так как v — u V U. Таким образом, V = U + CV(U), причем эта сумма является прямой ввиду того, что U П CV(U) = CV(U) = {0}.

Предположим теперь, что V = U + W — V-ортогональное разложение пространства V. Тогда равенство W = CV(U) легко вытекает из очевидного включения W С CV(U) и уже доказанного равенства V = U ф CV(U). ■

Лемма 4.5.

1. Пусть char F = 2, u G Si и t G T, причем u V u. Тогда (Cy (u); а) = (Cy (u + t); а).

2. Пусть u1,u2 G S1 и t1,t2 G T, причем а^,^) = а(u2,u2) = 0 и а^,^) = 1.

Тогда (Q(ui,u2); а) = (Q(ui + ti,u2 + t2); а).

Доказательство. Докажем сначала утверждение 1. Легко видеть, что отображение

а(х, t) /1

х м х-----■;—-t + u) , х G CV (u),

а^,^ \2 у

является изоморфизмом (CV(u); а) на (CV (u + t); а) (обратным к этому отображению является у м у + (а(у, t)/а(u,u))((1/2)t + u), где y G CV(u + t)).

Утверждение 2 доказывается аналогично, а именно непосредственно проверяется, что отображение

х м х — а(х, t1)(u2 + t2) — а(х, t2)u1, х G ^(u1,u2),

является изоморфизмом (CV(u1,u2); а) на (CV(u1 + t1,u2 + t2); а) (обратным к этому отображению является у м у + а(у,t1)(u2 +12) + а(у, t2)u1, где у G CV(u1 +11,u2 +12)). Лемма доказана. ■

Лемма 4.6. Предположим, что (V; У) удовлетворяет условию (13) и S1/T конечномерно. Пусть также х V х для всех х G S1 в случае, когда char F = 2. Тогда если U и W — прямые дополнения к T в S1, то (CV(U); а) = (CV(W); а).

Доказательство. Используем индукцию по dim(S1/T) = dim U = dim W. Если dim(S1/T) = 0, то U = W = {0} и утверждение леммы тривиально. Пусть теперь dim(S1/T) ^ 1. Очевидно, что U V U, поэтому ввиду леммы 4.3 существует подпространство Uo С U, имеющее тип 1, если char F = 2, или тип 2, если char F = 2 (в последнем случае U не содержит подпространств типа 1, так как х V х для всех х G U). Выберем базис u1,... , uk пространства U0 (здесь k G {1, 2}), такой, что если

char F = 2, то а в этом базисе имеет матрицу 0^ . Пусть также t1,... , tk — некоторые элементы T, для которых u1 + t1,... , uk + tk G W. Тогда u1 + t1,... , uk + tk линейно независимы. Положим W0 = (u1 + t1,... ,u& + tk). Очевидно, что а в базисе u1 +11,... , uk + tk имеет ту же матрицу, что и в базисе u1,... , uk. Это показывает, что (U0; а) = (W0; а). Кроме того, из леммы 4.5 вытекает, что (CV(U0); а) = (CV(W0); а). Поэтому ввиду леммы 4.4 и утверждения 1 леммы 4.1 можно выбрать а G Aut(V; а), для которого a(U0) = W0 и а (CV(U0)) = CV(W0).

Положим для краткости V' = CV(W0) и S1 = Cy,(V'). Тогда V = W0 ф V' по лемме 4.4. Следовательно, S1 = W0 ф S1 и T = CVV, (S1) ввиду леммы 3.1, так как

CW0(W0) = W0 и CW0(W0) = {0}. С другой стороны, из леммы 4.4 вытекает, что

S1 = W ф T = W0 ф CW(W0) Ф T,

где С;(Шо) ©Т С Б1П V7 = Б1 (см. лемму 3.1). Поэтому С;(Шо) ©Т = Б1. Аналогично,

Си (ВД © Т = С", (и0) (СУ (ВД).

Применив к обеим частям последнего равенства автоморфизм а и воспользовавшись очевидным равенством а(Т) = Т, получим, что С^) (Ш0) © Т = Б1. По предположению индукции, примененному к пространству V7 и прямым дополнениям СУ(и)(Ш0) и С;(Ш0) к подпространству Т в Б1, имеет место изоморфизм

(СУ, (СУ(и)(Шо)); а) = (СУ, (С;,,(Шо)); а). (21)

Здесь применение предположения индукции возможно, так как &ш(Б1/Т) =

= ё1ш(Б1 /Т) — &. Кроме того, а(и) = Шо © С^)(Шо) (так как и = и0 © СЦ-(и0)

по лемме 4.4) и, следовательно,

СУ(а(и)) = V7 П СУ (СУ(„)(Шо)) = СУ, (СУ(и)(Шо)) . (22)

Аналогично, Ш = Шо © С;(Шо) и

су (ш) = V7 п су (с;(Шо)) = су, (с;(Шо)). (23)

Утверждение леммы следует теперь из (21)—(23) и очевидного изоморфизма (СУ (и); а) = (СУ(а(и)); а). -

4.4. Н е к о т о р ы е У - о р т о г о н а л ь н ы е р а з л о ж е н и я пространства V в случае, когда а всюду определена

и ^Бо конечномерно

Будем считать, что а определена на всем V XV (т. е. ♦ = V XV) и пространство ^Бо конечномерно.

Пусть Я — какое-либо прямое дополнение к Б0 в V. Тогда (Я; а) = (^Бо; а) (см. замечание 4.3) и, следовательно, Я конечномерно и а невырождена на Я. Применив к Я известные результаты линейной алгебры (см. теоремы 1У.6 и 1У.7 из [4]), получим следующую лемму.

Лемма 4.7. Существует У-ортогональное разложение

V =(0 А) © Бо (24)

пространства V, в котором множество А состоит из подпространств типов 1 и 2. Очевидно, что множество А в любом разложении вида (24) конечно.

Замечание 4.5. Разложение (24) из леммы 4.7 строится с помощью следующего хорошо известного процесса:

1) положить А = 0 и и = V;

2) если и У и, то закончить процесс;

3) если и У и, то выбрать некоторое подпространство Ш С и типа 1 или 2 (это возможно ввиду леммы 4.3), добавить Ш к множеству А, заменить и на СУ (Ш) и перейти к шагу 2.

Из леммы 4.4 вытекает, что перед каждым выполнением шага 2 имеет место равенство

V =(0 А) © и, (25)

дающее У-ортогональное разложение пространства V. При этом Бо С и и &ш(и/Бо) после каждого выполнения шага 3 уменьшается на 1 или 2. Следовательно, шаг 3 может выполниться не более ^ш(^Бо) раз, после чего процесс закончится на шаге 2. После окончания процесса (на шаге 2) получим, что и = Бо (ввиду равенства (25) и леммы 3.1), поэтому (25) дает требуемое разложение. Кроме того, легко видеть (используя лемму 4.4), что указанный процесс позволяет построить все разложения (24), удовлетворяющие условиям леммы 4.7.

Выясним теперь, когда разложение (24) из леммы 4.7 единственно.

Лемма 4.8. Разложение (24) пространства V, удовлетворяющее условиям леммы 4.7, является единственным разложением такого вида тогда и только тогда, когда выполнено хотя бы одно из следующих условий:

1) А = 0 (т.е. V = Бо);

2) Бо = {0} и всякое подпространство пространства V, имеющее тип 1 или 2, принадлежит А.

Доказательство. Пусть указанное разложение единственно и А = 0. Предположим, что Бо = {0}, и выберем некоторый элемент в € Бо \ {0}, а также некоторое подпространство Ш € А и представим его в виде (ш) © Шо, где ш € Ш \ {0} и Шо — подпространство Ш. Тогда V = ((ш + в) © Шо) © (ф(А \ {Ш})) © Бо — разложение пространства V, удовлетворяющее условиям леммы 4.7 и отличное от исходного. Полученное противоречие показывает, что Бо = {0}.

Пусть подпространство и С V имеет тип 1 или 2. По лемме 4.4 V = и © СУ (и), так как а невырождена на и. Из леммы 4.7 вытекает, что существует У-ортогональное разложение СУ (и) = 0 А7 подпространства СУ (и), состоящее из подпространств типов 1 и 2 (очевидно, что а невырождена на СУ (и)). Тогда разложение V = и © (0 А7) пространства V удовлетворяет условиям леммы 4.7. Следовательно, и € А. Таким образом, выполнено условие 2. Обратно, если выполнено условие 1 или условие 2, то очевидно, что рассматриваемое разложение единственно. ■

5. Полные У-ортогональные разложения пространства V

Предположим, что пространство с ортогональностью (V; ♦) удовлетворяет условию (13). Опишем полные У-ортогональные разложения пространства V при условии конечномерности пространства ^Т или, что эквивалентно, пространства ^Бо (см. замечание 4.1). Это будет сделано в два этапа. Сначала (в п. 5.1), предполагая, что пространство Б1/Т конечномерно, сведём задачу описания полных У-ортогональных разложений пространства V к задаче описания таких разложений пространств некоторого специального вида (теорема 5.1). Затем (в п. 5.2) решим последнюю из указанных задач в предположении конечномерности пространства ^Т (леммы 5.12 и 5.13). Основной результат, описывающий полные У-ортогональные разложения пространства V, приводится в п. 5.3 (теорема 5.2); при этом нужно предполагать конечномерность ^Т.

5.1. Сведение задачи описания полных У -ортогональных разложений пространства V к некоторому частному

случаю

Пусть пространство Б1/Т конечномерно. Обозначим через А множество всех множеств А, состоящих из подпространств Б1 типов 1 и 2 и таких, что

Б1 = ( А) © Т

дает У-ортогональное разложение пространства Б1. Очевидно, что все множества из А конечны. По лемме 4.7, примененной к пространству Б1, множество А непусто. Для произвольного А € А положим

С(А) = СУ (0 А).

Тогда ввиду леммы 4.4

V =(0 А) © С(А), (26)

так как А конечномерно и билинейная функция а невырождена на А. Кроме того, используя равенство (26) и лемму 3.1, легко видеть, что

Б = С£(А)(С(А}} и Т = Б П С(А} = С«(А)(^) = С"(а)(С(А)} (27)

для любого А € А.

Через В обозначим множество всех множеств В, состоящих из одномерных подпространств Бо и таких, что Бо = 0В. Если и — подпространство V, содержащее Бо, то через !ЭТ(и) будет обозначаться множество всех прямых дополнений к Бо в и. Отметим, что В = 0 и !ЭТ(и) = 0 для любого подпространства и С V, содержащего Бо. Обозначим через Р множество всех четверок вида (А, В, Я, С), в которых А € А, В € В, Я € !ЭТ(С(А)), а С — такое множество подпространств С(А)/Бо, что С(А)/Бо = 0 С является полным У-ортогональным разложением пространства С(А)/Бо.

Лемма 5.1. Пусть V = 0 0 — полное У-ортогональное разложение пространства V. Тогда существует единственное подмножество А С 0, принадлежащее А. Это подмножество А определяется формулами

А = {и € 0 | си (и) У си (и) } = {и € 0 | и С Б1, СУ (и ) = {0}}

и удовлетворяет равенству С(А) = 0(0 \ А).

Доказательство. Положим А = {и € 0 | СУ(и) У СУ(и) }. Рассмотрим произвольное подпространство и € А. Выберем подпространство Ш С СУ(и), имеющее тип 1 или 2 (это возможно по лемме 4.3). Тогда и = Ш © СУ (Ш) согласно лемме 4.4. Ввиду У-неразложимости и получаем, что и = Ш = СУ (и) и, следовательно, и = Б1 П и С Б1 (см. лемму 3.1) и СУ (и) = С; (Ш) = {0}. Э то показывает, что А

состоит из подпространств типов 1 и 2 и содержится в {и € 0 | и С Б1, СУ (и) = {0} }.

Пусть теперь и — произвольный элемент последнего множества. Тогда и = СУ (и) (так как и С Б1) и и У и (в противном случае и = СУ (и) = {0}, а это несовместимо с вхождением и в 0). Поэтому и € А. Таким образом,

А = {и € 0 | и С Б1, СУ (и ) = {0}} . (28)

Из леммы 3.1 и доказанного выше равенства СУ (и) = и для любого и € А вытекает, что

Б1 = (0 А) © Т7, (29)

где { | }

Т7 = 0 {СУ (и) | и € 0, Су (и) У СУ (и} }.

Применив к разложению (29) пространства Б1 лемму 3.1 и воспользовавшись равенством (28), получим равенство Т = Т7. Поэтому из равенства (29) следует, что А € А (как мы уже видели выше, А состоит из подпространств типов 1 и 2).

Пусть теперь подмножество А7 С 0 принадлежит А. Тогда А7 С А ввиду равенства (28). Поэтому А7 = А, так как Б1 = (0 А7) © Т = (0 А) © Т. Равенство С (А) = 0(0 \ А) непосредственно вытекает из леммы 4.4. ■

Теорема 5.1. Отображение

(А, В, Я, С) ^ А и В и ^(С), (А, В, Я, С) €Р, (30)

является биекцией Р на множество всех 0, таких, что V = 0 — полное У-ортого-

нальное разложение пространства V. Если 0 — образ четверки (А, В, Я, С) € Р при отображении (30), то эти А, В, Я и С могут быть найдены по 0 следующим образом:

А = {и € 0 | СУ (и) У СУ (и) } = {и € 0 | и С Б1, СУ (и) = {0}} ;

В = {и € 0 | и П Бо = {0}} = {и € 0 | СУ (и) = {0}} = {и € 0 | и С Бо};

Я = 0(0 \ (А и В)) = 0{и € 0 | СУ (и) У СУ (и), СУ (и) = {0} } ;

С = »пЛ3(0 \ (А и В)).

Доказательство. Из равенства (26) и лемм 4.2 и 3.2 следует, что если 0 — образ произвольной четверки (А, В, Я, С) € Р при отображении (30), то V = ф 0 является полным У-ортогональным разложением пространства V. Пусть теперь V = 0—

полное У-ортогональное разложение пространства V. Обозначим через А подмножество 0, принадлежащее А; согласно лемме 5.1, такое подмножество существует, единственно и определяется формулами, указанными в формулировке теоремы. Кроме того, С(А) = ф(0 \ А) по той же лемме 5.1; очевидно, что это равенство дает полное У-ортогональное разложение пространства С (А). Ввиду леммы 3.2 (примененной к пространству С(А)) и равенства для Бо в (27) множество В, пространство Я и множество С, такие, что

(А, В, Я, С) € Р & 0 = А и В и ^(С), (31)

существуют, единственны и определяются формулами, указанными в формулировке теоремы. Здесь мы воспользовались тем, что условие (31) выполняется тогда и только тогда, когда В € В, Я € !ЭТ(С(А)), С(А)/Бо = 0 С — полное У-ортогональное разложение пространства С(А)/Бо и 0 \ А = В и (С). Таким образом, 0 имеет единственный прообраз при отображении (30), причем компоненты этого прообраза могут быть найдены по формулами, указанным в формулировке теоремы. ■

5.2. П о л н ы е У - о р т о г о н а л ь н ы е р а з л о ж е н и я пространства С(А)/Бо для А €А

Предположим, что пространство ^Т конечномерно. Согласно замечанию 4.1, это предположение эквивалентно предположению о конечномерности пространства ^Бо. При указанном предположении пространство Б1 /Т также конечномерно, поэтому здесь применимы результаты п. 5.1.

Фиксируем произвольное множество А € А и полагаем С = С(А) = СУ(ф А) (см. п. 5.1). Многие объекты, определяемые и рассматриваемые в данном пункте, зависят от С. Однако здесь не будем явно указывать на их связь с подпространством С, так как последнее фиксировано. Некоторые из этих объектов понадобятся и далее, где будем указывать соответствующее подпространство С после объекта в круглых скобках (например, К (С)).

Очевидно, что Бо С Т С С. Из (27) и (6) вытекает, что

Сод (С/Бо ) = {0} и С«/т (С/Т} = {0}.

(32)

Поэтому все V-ортогональные разложения пространства G/S0 и ^-ортогональные разложения пространства G/T являются прямыми ввиду замечания 3.3. Кроме того,

T/So V T/So, (33)

так как T V T.

Замечание 5.1. Из равенства T = Si П G (см. (27)) следует, что отображение g + T м g + S1, где g G G, является изоморфизмом G/T на (G + S1 )/S1 = V/S1 (равенство G + S1 = V вытекает из (26)). Более того, ввиду эквивалентности (4) это отображение представляет собой изоморфизм (G/T; ♦) на (V/S1; ♦). Таким образом, (G/T; ♦) = (V/S1 ; ♦). Это вместе с замечанием 3.6 показывает, что пространство с ортогональностью (G/T; ♦) удовлетворяет условию (13).

Опишем все полные V-ортогональные разложения пространства G/S0.

Множества I и I

Пусть I — множество всех ненулевых ф-неразложимых элементов пространства G/T. Это значит, что I — множество всех a G (G/T) \ {0}, которые не могут быть представлены в виде a1 + a2, где a^ G G/T и C^/T(a^) D C^/T(a) при i = 1, 2 (см. п. 3.3, а также [1, § 3]). По лемме 2.1 (см. также лемму 5 из [1]) множество I порождает пространство G/T. Здесь в качестве ш из леммы 2.1 используется отображение a м CG/T (a) (где a G G/T) пространства G/T в частично упорядоченное множество всех подпространств конечномерного пространства G/T относительно отношения включения.

Из леммы 3.4, которая применима здесь ввиду замечания 5.1 и второго из равенств (32), непосредственно вытекает

Следствие 5.1. Пусть G/T = ф — ф-ортогональное разложение простран-

m€M

ства G/T. Тогда I = У (I П Wm).

m€M

Через I будет обозначаться множество всех связных компонент графа с множеством вершин I, в котором две различные вершины a и b смежны тогда и только тогда, когда a и b не ^-ортогональны. Лемма 3.5, которая применима здесь ввиду замечания 5.1 и второго из равенств (32), приводит к следующему выводу:

Следствие 5.2. Имеет место равенство G/T = ф (X), которое дает единствен-

X ei

ное полное ф-ортогональное разложение пространства G/T.

Из равенства следствия 5.2 вытекает неравенство

|1| ^ dim(G/T). (34)

В частности, множество I конечно.

Множества SX(a)

Для a G T/S0 и X Ç I положим

(a) = {x G X | a V P-1 (x) } = {x G X | Vb G p-1(x) a V b } .

Совпадение двух последних множеств следует из (33).

Лемма 5.2. Пусть G/S0 = ф Um — V-ортогональное разложение пространства

mGM

G/S0. Пусть также u = um, где um G (T/S0) П Um при всех m G M, причем

m€M

{m G M | um = 0} конечно. Тогда

(S/(u)) = ф (S/np(um)(u)) , (35)

m€M

причем S/np(um) (u) = S/np(um) (um) = S/(um) для любого m G M.

Доказательство. Согласно следствию 5.1, примененному к разложению G/T = ф p(Um) (которое является ^-ортогональным ввиду эквивалентности (18)),

m€M

I = U (I П p(Um)). (36)

m€M

Поэтому S/(u) = У S/np(um)(u), откуда непосредственно вытекает требуемое равен-

m€M

ство (35), так как сумма подпространств p(Um) по всем m G M прямая. Последнее утверждение следует из того, что разложение G/T = p(Um) 0-ортогонально (вви-

m€M

ду эквивалентности (18)).

Пусть теперь m G M. Легко видеть, что если а G Um, то u V а тогда и только тогда, когда um V а. Поэтому S/np(um)(u) = S/np(um)(um). Равенство S/np(um)(um) = S/(um)

вытекает из включения S/(um) С I П p(Um), которое, в свою очередь, следует из (36)

и V-ортогональности разложения G/S0 = ф Um. ■

m€M

Лемма 5.3. Пусть u G T/S0. Тогда

S/(u) = 0 u = 0.

Доказательство. Равенство S/(0) = 0 очевидно. Предположим теперь, что S/(u) = 0. Тогда u V р-1(1). Кроме того, u V T/S0 ввиду (33). Из равенств (19) и (I) = G/T вытекает, что (р-1(1)) + (T/S0) = G/S0. Поэтому u V G/S0 и, следовательно, u = 0 ввиду первого из равенств (32). ■

Множество J

Обозначим через J множество всех а G (T/S0) \ {0}, которые не могут быть представлены в виде а1 + а2, где а^ G T/S0 и (S/(а^)) С (S/(а)) при i = 1,2. Ввиду леммы 2.1 множество J порождает пространство T/S0. Здесь в качестве ш из леммы 2.1 используется отображение а м (S/(а)) (где а G T/S0) пространства T/S0 в частично упорядоченное множество, двойственное частично упорядоченному множеству всех подпространств конечномерного пространства G/T относительно отношения включения.

Лемма 5.4. Пусть G/S0 = ф Um — V-ортогональное разложение простран-

mGM

ства G/S0. Тогда J С у Um или, что эквивалентно, J = У (J П Um).

m€M m€M

Доказательство. Пусть а G J. Представим а в виде ^ аm, где am G (T/S0) П

m€M

ПЦт, = CUm (G/S0) при всех m G M, причем {m G M | am = 0} конечно. Такое представление существует согласно лемме 3.1, так как T/S0 = CG/So(G/S0) ввиду равенств T = CG(G) (см. (27)) и (5). Выберем индекс k G M, для которого ак = 0

(это возможно, так как а = 0), и положим Ь = а — а; = ^ ат. Из леммы 5.2

теМ\{&}

(примененной к разложению С/Бо —— и; © , где == 0 ит) следует, что

теМ\{й}

(2/(а)) = (2/(а;)) © (2/(Ь)). Кроме того, (2/(а;)) = {0}, так как 2/(а;) = 0 (по лемме 5.3) и 2/(а;) С I С (С/Т) \ {0}. Если Ь = 0, то аналогично показывается, что (2/(Ь)) = {0}. Но тогда получаем противоречие с тем, что а € 3. Отсюда следует, что Ь = 0 и а = а; € и С и ит. ■

теМ

Граф Г, множества I и К и подпространства Нх

Обозначим через Г граф с множеством вершин I, в котором две различные вершины X и У смежны тогда и только тогда, когда существует а € 3, такой, что 2х (а) = 0 и 2у(а) = 0 (очевидно, что это отношение смежности симметрично). Пусть I — множество всех связных компонент графа Г, а

К = { и X | X €1} .

Из неравенства (34) следует, что |К| = |1| ^ |1| ^ &ш(С/Т). Отметим, что все множества из К непусты.

Замечание 5.2. Из следствия 5.2 вытекает, что С/Т =0 (X) — 0-ортогональ-

X ей

ное разложение пространства С/Т. Кроме того, это разложение нетривиально, так как X = 0 и X С I С (С/Т) \ {0} при любом X € К.

Для каждого X € К положим

Нх = СУ/я, (р-1((1 \ X))) = СУ/я, (р-‘(1 \ X)).

Совпадение двух последних множеств следует из (19), (33) и того, что СУ/5о ((У)) = = СУ/я0 (У) для произвольного подмножества У С V/Б0. Легко также видеть, что

Нх = {а € Т/Бо | 2/(а) С X} (37)

для любого X € К.

Пусть а — произвольный элемент 3. Тогда ввиду определения К множество £ = {X € К | 2х(а) = 0} не может содержать более одного элемента. С другой стороны, 2/(а) = У 2х(а) (так как I = У К), причем 2/(а) = 0 по лемме 5.3. Это

хеК

показывает, что £ = 0 и, следовательно, |£| = 1. Поэтому

3 = и (3 П Нх) (38)

X еК

ввиду равенства (37) и леммы 5.3.

Лемма 5.5. Имеет место равенство

Т/Бо = 0 Нх, хеК

причем Нх = (3 П Нх) для всех X € К.

Доказательство. Выше было отмечено, что Т/Бо = (3). Поэтому Т/Бо =

= Е (3 П Нх) ввиду равенства (38). Предположим теперь, что а € Ну П ^ Нх х еК х еК\{У }

для некоторого У € К. Тогда 2/(а) С У согласно равенству (37). С другой стороны, а У р-1 (У), так как У С I \ X для всех X € К \ {У}. Поэтому 2/(а) С I \ У. Следовательно, 2/(а) = 0 и а = 0 по лемме 5.3. Это показывает, что сумма подпространств Нх по всем X € К прямая. Таким образом,

Т/Бо = ф (3 П Нх) = 0 Нх. (39)

х еК х еК

Равенство Нх = (3 П Нх) для любого X € К легко вытекает из (39) и включения (3 П Нх) С Нх. ■

Согласно лемме 5.5, всякий элемент и € Т/Бо единственным образом представляется в виде £ их, где их € Нх; этот элемент их будем называть X-координатой х еК

элемента и (X € К). Указанная сумма определена, так как множество К конечно (см. начало п. 5.2).

Лемма 5.6. Пусть а € р-^^)) и Ь € р-1((У)), где X, У € К, X = У. Пусть также

и, ад € Т/Бо. Тогда а + и У Ь + ад, если и только если а(а, адх) + а(Ь, иу) = —а(а, Ь), где адх — X-координата элемента ад, а иу — У-координата элемента и.

Доказательство. Из эквивалентности (18) вытекает, что а ♦ Ь, так как р(а) ♦ р(Ь). Поэтому

а + и У Ь + ад 0 = а(а + и,Ь + ад) = а(а,Ь) + а(а,ад) + а(Ь,и) + а(и,ад). (40)

Для любого Z € К \ {X} из определения следует, что р-1^)) У . Поэтому

а(а,ад) = а(а,адх) (41)

ввиду леммы 5.5. Аналогично,

а(Ь, и) = а(Ь,иу). (42)

Кроме того, из (33) вытекает равенство

а(и, ад) = 0. (43)

Утверждение леммы следует теперь из эквивалентности (40) и равенств (41)-(43). ■

Граф А, множество К и схема взаимных связей множеств I, 1, I, К и К

Обозначим через А граф с множеством вершин К, в котором две различные вершины X и У смежны тогда и только тогда, когда не существует прямого дополнения ^х к Т/Бо в р-1^)) и прямого дополнения ^у к Т/Бо в р-1((У)), таких,

что ^х У (очевидно, что это отношение смежности симметрично). Пусть также К — множество всех связных компонент графа А. Из неравенства (34) следует, что |К| ^ |К| = |1| ^ |1| ^ а1ш(С/Т).

Взаимные связи множеств I, 1, I, К и К могут быть изображены с помощью следующей схемы:

I

Г~, Т1 т11,1 т1 Г11,п1

1 ^ 1,1 . . . ^ 1,1 ... ^ 1,п1 . . . ^ 1,п1

V

I 11,1 . . . 11,П1

К-

Кг,1 ... К

Г,Пг

УУ _ _ Уу

“V

1г,1

г

На этой схеме черные кружки обозначают элементы множества I. Кроме того,

1 = | т € {1,... ,г}, п €{1,.. .,ят|, I € {1,... /т,«}}} ,

^т,« — {,«, . . . , , I — {^т,« | т € {1, . . . , г }, п € {1, . . . , пт}},

Кт,га — |_| ^т,п, К — {Кт,га | т € {1, . . . , п € {1, . . . , пт}},

Кт {Кт,1, . . . , Кт,гат }, К {К1, . . . , Кг}.

Критерий смежности вершин в графе А

Пусть X — произвольное множество из К. Выберем и зафиксируем некоторое линейно независимое множество Дх, такое, что (Дх) —прямое дополнение к Т/Бо в р-1^)). Тогда из замечания 4.2 вытекает, что |Дх| = Лш^) и, следовательно, множество Дх конечно. Легко также видеть, что Дх П Ду = 0 для любых различных X, У € К.

Лемма 5.7. Пусть X, У € К, X = У. Тогда X и У смежны в графе А, если и только если система уравнений

а(а,иь,х) + а(Ь, иа,у) = —а(а,Ь), а € Дх, Ь € Ду, (44)

неразрешима относительно иа,у € Ну (а € Дх) и иь,х € Нх (Ь € Ду).

Доказательство. Предположим сначала, что X и У не смежны в графе А. Пусть ^х и ^у — прямые дополнения к Т/Бо в р-1 ((X)) и р-1((У)) соответственно, удовлетворяющие условию ^х У ^у. Для каждого а € Дх выберем иа € Т/Бо, такой, что а + иа € ^х. Аналогично, пусть для всякого Ь € Ду элемент иь € Т/Бо удовлетворяет условию Ь + иь € ^у. Тогда а + иа У Ь + иь. Из последнего условия и леммы 5.6 следует, что а(а, иь,х) + а(Ь, иа,у) = —а(а, Ь) для любых а € Дх и Ь € Ду, где иа,у — У-координата элемента иа, а и^,х — X-координата элемента и. Таким образом, система (44) разрешима.

Пусть теперь система (44) разрешима и (иа,у, иь,х | а € Дх, Ь € Ду) — некоторое ее решение. Положим ^х = (а + иа,у | а € Дх) и ^у = (Ь + иь,х | Ь € Ду). Тогда очевидно, что р-1 ((X)) = ^х © (Т/Бо) и р-1((У)) = ^у © (Т/Бо). Кроме того, ввиду леммы 5.6 а + иа,у У Ь + иь,х для всех а € Дх и Ь € Ду. Поэтому ^х У ^у. Таким образом, X и У не смежны в графе А. ■

Замечание 5.3. Пусть X и У — различные множества из К, а Zх и Zу — некоторые базисы пространств Нх и Ну соответственно (ввиду замечания 4.1 Zх и Zу конечны). Тогда очевидно, что (иа,у, иь,х | а € Дх, Ь € Ду) —решение системы (44), если и только если координаты элементов иа,у в базисе Zу и элементов иь,х в базисе Zх образуют решение системы уравнений

Е а(а,^х )иь,х,гх + Е ^(Му )иа,у,гу = — ^(^ Ь), а € Дх, Ь € Ду, (45)

¿X е^х ¿у е^у

относительно иа,у,гу, иь,х,.гх € ^ (а € Дх, Ь € Ду, ¿х € Zх, ¿у € Zу), где иа,у,гу — координата иа,у при ¿у, а иь,х,гх —координата иь,х при ¿х. Таким образом, нахождение решений системы (44) эквивалентно нахождению решений конечной системы (45) линейных уравнений над полем ^, которая состоит из

|Дх||Ду| = diш(X) diш(У)

уравнений и содержит

DX||Zy| + |Dy||Zx| = dim(X) dimHy + dim(Y) dimHX

переменных, принимающих значения в F (здесь использовано то, что |Dx | = dim(X) и |Dy | = dim(Y) ввиду замечания 4.2).

Множество Q

Обозначим через Q множество всех семейств (Qx I X Е K), удовлетворяющих следующим условиям:

1) для любого X Е K семейство Qx является прямым дополнением к T/S0

2) если X, У € К, причем X и У принадлежат различным связным компонентам графа А, то ^х У ^у.

Из утверждения 2 следующей леммы, в частности, вытекает, что Q = 0.

Лемма 5.8. Для каждого двухэлементного подмножества {X, У} С К, в котором X и У принадлежат различным связным компонентам графа А, выберем некоторое решение (иа,у, иь,х | а € Дх, Ь € Ду) системы уравнений (44) (такое решение существует ввиду леммы 5.7, так как X и У не смежны в графе А). Выберем также произвольный элемент иа,у € Ну для всех а € Дх (X € К) и У € К, таких, что X и У принадлежат одной связной компоненте графа А. Для каждого X € К положим

1) при любом X Е K множество Ex линейно независимо;

2) семейство ((Ex) | X Е K) принадлежит Q.

Доказательство. Утверждение 1 очевидно. Ясно также, что p-1((X)) = = (EX) ф (T/S0) для любого X Е K. Пусть теперь X, Y Е K, причем X и Y принадлежат различным связным компонентам графа А. Тогда из леммы 5.6 непосредственно вытекает, что Ex V Ey и, следовательно, (Ex) V (Ey). Таким образом, утверждение 2 доказано. ■

Замечание 5.4. Пусть (Qx | X Е K) Е Q. Пусть также X — произвольное множество из K. Для каждого а Е DX выберем элемент иа Е T/S0, такой, что а + иа Е Qx. Положим Ex = {а + иа | а Е Dx}. Очевидно, что множество Ex линейно независимо и, следовательно, dim(EX) = |Dx| = dim(DX) = dim(X) = dimQx (см. замечание 4.2), причем размерности в этих равенствах конечны. Поэтому из очевидного включения (Ex) С Qx вытекает равенство (EX) = Qx .

Для произвольных а Е У DX и Y Е K обозначим через ua,y Y-координату эле-

мента иа. Предположим, что X и У (где X, У € К) принадлежат различным связным компонентам графа А. Тогда ^х У ^у и, следовательно, Ех У Еу. Поэтому из леммы 5.6 вытекает, что (иа,у ,иь,х | а € Дх, Ь € Ду) является решением системы уравнений (44). Таким образом, конструкция, описанная в лемме 5.8, позволяет построить все семейства из Q.

Множества

Пусть и — произвольное подпространство С/Бо, входящее в некоторое У-ортого-нальное разложение С/Бо = и © Ш пространства С/Бо. Ввиду замечания 3.2 (которое применимо здесь согласно первому из равенств (32)) для произвольного такого

Ex — ^ а + ма,у а Е Dx I у ей

Тогда

хек

разложения Ш совпадает с Су (и). Следовательно, это У-ортогональное разложение при фиксированном и единственно. Обозначения и и Ш будут иметь вышеуказанный смысл в пределах всего п. 5.2.

Применив к разложению С/Бо = и © Ш гомоморфизм р, получим разложение С/Т = р(и) © р(Ш) пространства С/Т, которое является ^-ортогональным (и, следовательно, прямым) ввиду эквивалентности (18). Поставим в соответствие подпространству и подмножество Ки С К, такое, что

р(и)= ф (X). (46)

х еики

Корректность этого определения непосредственно вытекает из следующей леммы.

Лемма 5.9. Подмножество Ки С К, удовлетворяющее равенству (46), существует и единственно (при фиксированном и).

Доказательство. Из следствия 5.2 вытекает, что р(и) = 0 (X) и р(Ш) =

хе1и

= Ф (У), где —некоторое однозначно определенное подмножество 1. Предпо-

у е1\1и

ложим, что некоторые X € и У € 1 \ смежны в графе Г. Тогда существуют и € и, ш € Ш и г € 3, такие, что и У г и ад У ¿.С другой стороны, г € и или г € Ш ввиду леммы 5.4. Но тогда соответственно ш У г или и У г. Полученное противоречие показывает, что = У , где — некоторое однозначно определенное

подмножество I.

Положим = {У X | X € }. Тогда легко видеть, что р(и) = 0 (X) и

х еКи

р(Ш) = 0 (У), так как 1 \ = У^ \ ) и К \ Ки = {У ф | ф € I \ 2^}. Предпо-

у еК\Ки

ложим, что некоторые X € Ки и У € К \ Ки смежны в графе А. Тогда легко видеть, что р-1 ((X)) С и + (Т/Бо), поэтому р-1((X)) = ^х © (Т/Бо) для некоторого подпространства ^х С и. Аналогично, р-1((У)) С Ш + (Т/Бо) и р-1((У)) = ^у © (Т/Бо) для некоторого подпространства ^у С Ш. Кроме того, такие подпространства ^х и ^у У-ортогональны ввиду У-ортогональности и и Ш. Но это означает, что X и У не смежны в графе А. Полученное противоречие показывает, что Ки = и Ки, где Ки — некоторое однозначно определенное подмножество К. Таким образом, существование требуемого множества Ки доказано, а единственность этого множества следует из замечания 5.2. ■

Замечание 5.5. Очевидно, что Кс/я0 = К. Непосредственно проверяется также, что если и =0 ит — У-ортогональное разложение пространства и, то =

и теМ

= и Кит.

те М и и

Из определения множества вытекает, что р(и) = (У |_| Ки). Следовательно, У и и С I П р(и). Аналогично, У У С I П р(Ш). Кроме того, (У У ) и 1_1(У У ) = I (так как иК^ = К ввиду замечания 5.5) и (IПр(и))и (IПр(Ш)) = I (согласно следствию 5.1). Поэтому

I П р(и) = ии Ки. (47)

Троме того, легко видеть, что произвольное подмножество £ С К определяется по однозначно (так как К состоит из непустых попарно не пересекающихся множеств). Это показывает, что Ки эквивалентным образом можно определить как подмножество К, удовлетворяющее равенству (47).

Лемма 5.10. Имеет место равенство

(T/So) n U = 0 Нх. (48)

хеи Ku

Доказательство. Пусть X — произвольное множество из У К^. Предположим, что существует a G JПНхПW. Тогда, с одной стороны, S/(a) Ç X (см. равенство (37)). С другой стороны, очевидно, что p-1(X) Ç U + (T/S0). Кроме того, a V U (так как W V U) и a V T/S0 (ввиду (33)). Поэтому a V p-1(X) и S/(a) Ç I \ X. Но тогда S/(a) = 0 и, следовательно, a = 0 (см. лемму 5.3), что противоречит принадлежности a множеству J. Полученное противоречие вместе с равенством

J =(J n U) U (J П W), (49)

имеющим место ввиду леммы 5.4, показывают, что

U (J П Нх) Ç J П U. (50)

X€|J Ku

Аналогично,

U (J П Hy) Ç J П W. (51)

Y eJ Kw

Из (38) и (49)-(51) вытекает равенство

J П U = U (J n Hx),

X eU Ku

так как K^ U KW = К (ввиду замечания 5.5) и (У К^) U (У KW) = У К = K. Поэтому

(J n U) = 0 (J n Нх> = 0 Нх (52)

xeLIKu х^уки

(см. лемму 5.5). Кроме того,

T/So = (J) = (J n U) 0 (J n W)

ввиду равенства (49), где (J n U ) Ç (T/S0) n U и (J n W ) Ç (T/S0) n W. Следовательно, (JnU) = (T/S0)nU. Требуемое равенство (48) непосредственно вытекает из последнего равенства и (52). ■

Лемма 5.11. Следующие условия эквивалентны:

1) U = {0};

2) p(U) = {0};

3) Ku = 0.

Доказательство. Импликация 1 =^ 2 и эквивалентность 2 3 очевидны

(см. замечание 5.2). Пусть теперь выполнены эквивалентные условия 2 и 3. Тогда U Ç T/S0 (ввиду условия 2) и (T/S0) n U = {0} (ввиду условия 3 и леммы 5.10). Поэтому U =(T/S0) n U = {0},т.е. выполнено условие 1. ■

Из эквивалентности (18) и эквивалентности условий 1 и 2 леммы 5.11 вытекает Следствие 5.3. Пусть пространство G/T ^-неразложимо или, что эквивалентно, I = {I} (см. следствие 5.2). Тогда пространство G/S0 V-неразложимо.

Подпространства CQ

Для произвольных Q = (Qx | X G K) G Q и X G K положим

CQ = © (Qx ® Hx).

Из замечания 5.2 и леммы 5.5 следует, что эта сумма прямая.

Замечание 5.6. Пусть Q G Q. Тогда легко видеть, что

Р (Cf) = ® <Х}

X еж

при всех X G K. Из этого ввиду замечания 5.2 вытекает, что р (CQ) = р (CQ) (и, следовательно, CQ = Cf) для любых различных X, Y G K.

Лемма 5.12. Для любого Q G Q имеет место равенство

G/So = ф Cf, (53)

хек

которое дает полное V-ортогональное разложение пространства G/So.

Доказательство. Пусть Q = (Qx | X G K). Непосредственно проверяется (с использованием замечания 5.2 и леммы 5.5), что

G/So = P-1(G/T) =(z р-1(<Х }Л + (T/So) = f 0 Qx) 0 (T/So) =

\X ек / \X ек /

= 0 (Qx 0 Hx) = 0 0 (Qx 0 Hx) = 0 CQ.

хек хек хех хек

Таким образом, равенство (53) выполнено.

Выберем произвольное множество X G K. Пусть также Y G K \ {X}, X G X и

Y G Y. Тогда

— QX V Qy, так как Q G Q;

— Qx V Ну и Qy V Hx, так как Qx Ç p-1(<X}) и Qy Ç p-1(<Y});

— Нх V Ну ввиду (33).

Поэтому CQ V CQ. Таким образом, разложение (53) V-ортогонально.

Так как X = 0, из замечаний 5.6 и 5.2 следует, что CQ = {0}. Предположим теперь, что CQ = U0W — нетривиальное V-ортогональное разложение пространства CQ. Тогда KCQ = Ku U Kw согласно замечанию 5.5. Но множество в левой части этого равенства одноэлементно (оно равно {X} ввиду замечания 5.6), а множество в правой части содержит не менее двух элементов (так как Ku = 0 и Kw = 0 по лемме 5.11). Полученное противоречие показывает, что пространство CQ V-неразложимо. ■

Лемма 5.13. Пусть G/S0 = 0 C — полное V-ортогональное разложение пространства G/So. Тогда существует семейство Q G Q, такое, что

C = { CQ|XgK} . (54)

Доказательство. Согласно замечанию 5.5,

U Ku = K.

и ес

Пусть X — произвольное множество из К. Тогда ввиду равенства (55) существует единственное подпространство и Е С, такое, что X Е У Ки. Легко видеть, что р-1((Х)) С и + (Т/$о). Поэтому можно выбрать линейно независимое множество С и, удовлетворяющее равенству р-1((Х)) = (Дх) ® (Т/50).

Построим теперь семейство О = ((Ех) | X Е К) Е 2 в соответствии с леммой 5.8, используя выбранные в предыдущем абзаце множества Дх. При этом для любого двухэлементного множества {X, У}, в котором X Е У Ки и У Е У , где и и Ж —

различные подпространства из С, выберем решение (иа,у , иь,х | а Е , Ь Е Ду) системы уравнений (44), состоящее из одних нулей. Это допустимо, так как а (а, Ь) = 0 при

всех а Е и Ь Е Ду ввиду того, что С и, Ду С Ш и и V Ж.

Пусть Ш — произвольное подпространство из С. Тогда из леммы 5.10 вытекает,

что 0 С Ш. В то же время У/50 =0 (0хек^ С°) ввиду равенств (53) (см.

хек^ и еС и

лемму 5.12) и (55). Кроме того, У/50 = 0 и. Следовательно, 0 С0 = Ш. Так как

и ес хек^

Ш V-неразложимо, из последнего равенства и леммы 5.12 вытекает, что = {Зж}

и

СО, = Ш (56)

для некоторого Зж Е К. Требуемое равенство (54) следует теперь из равенства (56) (верного при любом Ш Е С) и того, что Ш М Зж — биекция С на К (это вытекает из равенства (55)). ■

Леммы 5.12 и 5.13 показывают, что полные V-ортогональные разложения пространства С/50 — это в точности разложения вида С/50 =0 С0, где О Е 2.

хек

Лемма 5.14. Пусть 0,0' Е 2 и X Е К. Тогда

(СО а) = (с?; а) . (57)

Доказательство. Положим для краткости и = ^ р-^^)) и Ш = 0 .

хех х ек\х

Тогда легко видеть, что С0 ф Ш = и (см. лемму 5.5). Из леммы 5.12 вытекает, что

С0 V С0 при любом ^ Е К \ {X}. Следовательно, Ш V С0, так как Ш С 0 С0.

Фек\{х}

Кроме того, Ш V Ш ввиду (33). Поэтому Ш С Си (и) и

(С0; а) =(и/Ш; а) (58)

согласно замечанию 4.3. Аналогично,

(С0; а) = (и/Ш; а). (59)

Требуемый изоморфизм (57) вытекает теперь из (58) и (59). ■

5.3. Основной результат Из теоремы 5.1, лемм 5.12 и 5.13 и замечания 5.6 непосредственно вытекает следующий основной результат настоящей работы. В его формулировке напоминаются предположения, которые сделаны выше.

Теорема 5.2. Предположим, что пространство с ортогональностью (У; ♦) удовлетворяет условию (13) и что пространство У/Т конечномерно. Тогда полные V-ортогональные разложения пространства У — это в точности разложения вида

У = (© А) ф (ф В) ф ф кД (С0(С(А))) , (60)

ХеК(С(А))

где A G A, B G B, R G R(G(A)) и Q G Q(G(A)). Множества A и B и подпространства R и CQ(G(A)) для каждого X G K(G(A)) определяются произвольным разложением (60) однозначно. Кроме того, если S — множество всех подпространств, входящих в это разложение, т. е.

S = A U B U { v-,‘So (CQ(G(A))) I X G K(G(A))} ,

то A, B и R могут быть найдены по S с помощью формул из теоремы 5.1, а CQ(G(A)) для произвольного X G K(G(A)) —это единственное подпространство

U G vr,s0(S \ (A U B)),

такое, что p(U) = 0 (X).

X еж

6. Приложения

Напомним, что здесь, как и в п. 5.2 и 5.3, делаются следующие предположения:

— пространство с ортогональностью (V; ♦) удовлетворяет условию (13);

— пространство V/T конечномерно.

6.1. Критерий V-неразложимости Теорема 6.1. Пространство V V-неразложимо тогда и только тогда, когда выполнено одно из следующих взаимоисключающих условий:

1) V — пространство типа 1 или 2;

2) V одномерно и а тождественно равна 0 на V х V;

3) So = {0}, а тождественно равна 0 на Si х Si, граф A(V) имеет непустое множество вершин и связен (это условие для графа A(V) может быть записано в виде

равенства K(V) = {K(V)}).

Доказательство. Из лемм 4.2 и 5.12 следует, что при выполнении любого из условий теоремы пространство V V-неразложимо (очевидно, что если выполнено условие 3, то T = Si, A = {0} и V = G(0); здесь используется также то, что Q(V) = 0 ввиду п. 2 леммы 5.8). Пусть теперь пространство V V-неразложимо. По теореме 5.1 существует единственная четверка (A, B, R, C) G P, такая, что

{V} = A U B U vRio(C).

Возможны три случая:

1) A = {V}, B = 0, C = 0;

2) A = 0, B = {V}, C = 0;

3) A = 0, B = 0, v-,So(C) = {V}.

Легко заметить, что в каждом из этих случаев выполняется условие леммы с тем же номером (в случае 3 для этого нужно использовать лемму 5.13 и замечание 5.6). ■

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

Пример 6.1. Предположим, что char F = 2 и V конечномерно, причем dim V ^ 3. Пусть U — подпространство V, имеющее размерность не более (dim V) — 3, а т — билинейная функция из U х V в F, удовлетворяющая следующим условиям:

— т тождественно равна 0 на U х U;

— для любого u G U \ {0} существует v G V, такой, что т(u, v) = 0.

Очевидно, что такая билинейная функция т существует тогда и только тогда, когда dim U ^ (dim V)/2.

Определим подмножество ♦ С V х V и функцию а: ♦ ^ F следующим образом. Пусть x, y G V. Тогда считаем, что x ♦ y, если и только если x + U и y + U линейно зависимы (в V/U). Предположим теперь, что последнее условие выполнено. Если x G U, то полагаем a(x,y) = т(x,y). Если же x G U, то у может быть единственным образом представлен в виде Ax + u, где A G F и u G U. Тогда полагаем a(x, y) = т(u, x). Непосредственно проверяется, что а — частичная симметричная билинейная функция на V с областью определения ♦, причем 0 ♦ V и

C0 (x) = fV, если x G U,

V | (x) ® U, если x G V \ U.

Используя эту формулу и неравенство dim V ^ (dim U) + 3, легко видеть, что

— пространство с ортогональностью (V; ♦) удовлетворяет условию (13);

— Су/и(а) = (а) при всех а Е (У/и) \ {0} (для доказательства этого утверждения используется также эквивалентность (4)).

Поэтому A = {0}, B = {0}, R(V) = {V}, I(V) = (V/U) \ {0}, I(V) = {I(V)}, I(V) = {1(V)}, K(V) = {I(V)} и K(V) = {K(V)}, где V = G(0). Согласно след-

ствию 5.3, пространство V V-неразложимо. Тот же самый вывод можно сделать, используя теорему 6.1 (для V выполняется условие 3 этой теоремы). Кроме того, x V x для любого x G V.

6.2. Об эквивалентности полных V -ортогональных

разложений

Замечание 6.1. Пусть B, B' G B. Тогда |B| = |B'| = dim S0. Кроме того, если U и W — произвольные изоморфные (или, что эквивалентно, имеющие одинаковую размерность) подпространства S0, то всякий изоморфизм U на W является изоморфизмом (U; а) на (W; а). Поэтому биекции U М Wu множества B на множество B' существуют и удовлетворяют условию (U; а) = (Wu; а) для всех U G B.

Лемма 6.1. Пусть (A, B, R, C), (A', B', R', C') G P. Предположим, что (G(A); а) = = (G(A'); а). Тогда существует биекция U М Wu множества vR S(C) на множество v-1So(C'), такая, что (U; а) = (W^; а) для любого U G vRSo(C).

Доказательство. Согласно замечанию 4.3,

(0 A; а) = (Si/T; а) = (ф A'; а). Поэтому ввиду равенства (26) и п. 1 леммы 4.1 можем выбрать a G Aut(V; а), для которого а(ф A') = ф A. Применив a к элементам множества A' U B' Ü v-la,(C'), считаем, что A = A' (очевидно, что утверждение леммы до этой замены равносильно таковому после нее). Тогда G(A) = G(A'); обе части последнего равенства для краткости обозначим через G.

По лемме 5.13 существуют Q,Q' G Q(G), такие, что

So = {0} и Si = T = U;

C = { CQ(G) і X g K(G)} и C = { CQ'(G) X g K(G) j .

Ввиду замечания 5.6 для доказательства леммы достаточно показать, что

при любом X G K(G). Но это непосредственно следует из того, что для произвольного

X g K(G)

(Cq (G); а) = (cf'(G); а)

по лемме 5.14 и

(v-So (CQ(G)) ;а) = (CQ(G);а) , (vR^ (cQ'(G)) ;а) = (cQ'(G);а)

согласно замечанию 4.3. ■

Напомним, что ввиду сделанных выше предположений и п. 2 леммы 4.1 произвольные V-ортогональные разложения пространства V а-эквивалентны тогда и только тогда, когда они локально а-эквивалентны.

Теорема 6.2. Пусть V = ф S и V = ф S' — полные V-ортогональные разложения пространства V. Тогда

1) если char F = 2, то указанные разложения пространства V а-эквивалентны в том и только в том случае, когда

Vx G F*/(F*)2 |{U G A | k(U; а) = x}| = |{U G A' | k(U; а) = x}|, (61)

где A и A' — первые компоненты прообразов множеств S и S' соответственно при биекции (30) из теоремы 5.1 (в данном случае A и A' состоят лишь из подпространств типа 1);

2) если charF = 2 и x V x для всех x G Si, то указанные разложения пространства V а-эквивалентны.

Доказательство. Выберем (A, B, R, C), (A', B', R', C') G P, такие, что

S = A U B U v-iso(C) и S' = A' U B' U v-'iso(C'). (62)

Эти четверки существуют и единственны по теореме 5.1. Предположим, что имеет место один из следующих случаев:

1) char F = 2 и выполнено условие (61);

2) выполнено условие п. 2, т. е. char F = 2 и x V x для всех x G Si.

Тогда существует биекция U М Wu множества A на множество A', такая, что

(U; а) = (Wu; а) (63)

для всех U A. В случае 1 из замечания 4.4 вытекает, что в качестве такой биекции можно взять произвольную биекцию U М Wu множества A на множество A', удовлетворяющую равенству k(U; а) = k(Wu; а) для всех U G A (эти биекции существуют ввиду (61)). В случае 2 A и A' состоят лишь из подпространств типа 2. Кроме того, очевидно, что (U; а) = (W; а) для любых подпространств U, W С Si типа 2. Поэтому в качестве такой биекции можно взять произвольную биекцию A на A' (эти биекции существуют, так как |A| = |A'| = dim(Si/T)/2).

Выберем некоторую биекцию U М Wu множества A на множество A', удовлетворяющую условию (63) для всех U G A. Замечание 6.1 и лемма 6.1 (которая применима ввиду леммы 4.6) позволяют продолжить эту биекцию до биекции U М Wu множества S на множество S', удовлетворяющей условию (63) при любом U G S (см. равенства (62)). Таким образом, рассматриваемые разложения пространства V локально а-эквивалентны и, следовательно, а-эквивалентны (ввиду п. 2 леммы 4.1 — см. выше).

Пусть теперь char F = 2 и рассматриваемые разложения пространства V а-экви-валентны. Выберем некоторый автоморфизм a G Aut(V; а), такой, что a(S) = S'. Очевидно, что a(Si) = Si и a(T) = T, поэтому a(A) G A. Из равенств (62) вытекает, что a (A) и A' — подмножества S', принадлежащие A. Поэтому a (A) = A' ввиду утверждения о единственности из леммы 5.1. Условие (61) следует теперь из последнего равенства и замечания 4.4. ■

Замечание 6.2. Очевидно, что (T; а) не изоморфно никакому пространству типа 1. Поэтому из замечания 4.4 следует, что если A и A' принадлежат A и состоят лишь из подпространств типа 1 (char F может быть произвольной), то условие (61) (см. п. 1 теоремы 6.2) выполняется тогда и только тогда, когда разложения Si = (ф A) ф T и

Si = (ф A') ф T пространства Si локально а-эквивалентны или, что в данном случае равносильно, а-эквивалентны (см. п. 2 леммы 4.1).

Из п. 2 теоремы 6.2 непосредственно вытекает

Следствие 6.1. Если char F = 2 и ортогональность V ассоциирована с некоторой функцией из V в F, то все полные V-ортогональные разложения пространства V а-эквивалентны.

Следующий пример показывает, что при char F = 2 аналог следствия 6.1 неверен.

Пример 6.2. Пусть F конечно, char F = 2, dim V = 3, а а определена на всем

V х V и имеет в некотором базисе ai, а2, й3 пространства V единичную матрицу. В этом случае а ассоциирована с функцией <^, заданной формулой

^(xiai + x2a2 + x3as) = 2 (x2 + x2 + x3) , xi, x2, x3 G F.

Выберем произвольные элементы 9 G F* \ (F*)2 и £, n G F, удовлетворяющие равенству £2 + n2 = 9 (такие £ и n существуют для любого 9 G F ввиду леммы IV.2 из [4]). Положим bi = ai, b2 = £a2 + n«3 и b3 = —na2 + £a3. Тогда а в базисе bi, b2,b3 имеет матрицу

1 0 0\

0 9 0 I

009

(см. лемму IV.3 из [4]). Поэтому V = (ai) ф (02) Ф («3) и V = (bi) ф (62) ф (63) —

полные V-ортогональные разложения пространства V. Покажем, что эти разложения не только не а-эквивалентны (это вытекает из замечания 4.4), но и не V-эквивалентны. Пусть, напротив, некоторый автоморфизм a G Aut(V; V) удовлетворяет равенству

a({(ai^ (a2) , («3)}) = {(bib (b2) , (b3)}.

Пусть также перестановка в множества {1, 2, 3} такова, что a ((«з(г))) = (6j) для всех i G {1, 2, 3}. Тогда a («з(г)) = АД при некоторых A* G F* (i = 1,2, 3). Очевидно, что «e(i) + «3(2) V —ae(i) + «3(2) и, следовательно, a («3(i) + «3(2)) V a (—«e(i) + «3(2)). В то же время

a (°e(i) + «3(2)) V a ( —«e(i) + «3(2)) —A2 + 9A2 = 0 9 =

а последнее равенство противоречит выбору 9. Таким образом, рассматриваемые разложения не V-эквивалентны.

Пример 6.2 показывает, что при char F = 2 полные V-ортогональные разложения пространства V могут не быть даже V-эквивалентными. Следующая теорема утверждает, что в данном случае для любых двух таких разложений имеет место локальная (♦, V)-эквивалентность.

Теорема 6.3. Если char F = 2, то все полные V-ортогональные разложения пространства V локально (♦, V)-эквивалентны.

Доказательство. Пусть V = ф S и V = ф S' — произвольные полные V-ортогональные разложения пространства V. Как и в доказательстве теоремы 6.2, выберем (A, B, R, C), (A', B',R', C') G P, такие, что

S = A U B U v- ^ (C) и S' = A' U B' U v-/^ (C'). (64)

Эти четверки существуют и единственны по теореме 5.1. Множества A и A' состоят лишь из подпространств типа 1. Кроме того, легко видеть, что (U; ♦, V) = (W; ♦, V) для любых подпространств U, W С Si типа 1. Поэтому биекции U М Wu множества A на множество A' существуют (так как |A| = |A'| = dim(Si/T)) и удовлетворяют условию

(U; ♦, V) = (Wu; ♦, V) (65)

для всех U A. Замечание 6.1 и лемма 6.1 (которая применима ввиду леммы 4.6) позволяют продолжить произвольную такую биекцию до биекции U М Wu множества S на множество S', удовлетворяющей условию (65) при любом U G S (см. равенства (64)). Таким образом, рассматриваемые разложения пространства V локально (♦, V)-эквивалентны. ■

Из теоремы 6.3 вытекает, что при char F = 2 мультимножество размерностей подпространств, входящих в полное V-ортогональное разложение пространства V, одно и то же для всех таких разложений. Следующий пример показывает, что при char F = 2 это не всегда верно.

Пример 6.3. Пусть char F = 2, dim V = 3, а а определена на всем V х V и имеет в некотором базисе пространства V единичную матрицу. Положим

bi = « + й2 + й3, b2 = й1 + й3 и b3 = й2 + й3. Тогда а в базисе bi,b2,b3 имеет матрицу

100 0 0 11

010

(см. лемму IV.5 из [4]). Поэтому V = (й1) ф (й2) ф (й3) и V = (bi) ф (b2,b3) —полные V-ортогональные разложения пространства V (см. лемму 4.2; здесь (b2,b3) имеет тип 2).

Следующий пример показывает, что при char F = 2 утверждение, аналогичное п. 1 теоремы 6.2 (в предположении, что A и A' состоят лишь из подпространств типа 1), неверно.

Пример 6.4. Предположим, что char F = 2. Пусть Vi —одномерное векторное пространство, «— некоторый порождающий элемент этого пространства, а симметричная билинейная функция а1: Vi х Vi М F определена равенством а^й, « = 1. Обозначим через (V2; а2) некоторое пространство с частичной симметричной билинейной функцией, построенное в соответствии с конструкцией примера 6.1, где дополнительно предполагаем, что U = {0}. Пусть теперь (V; а) —прямое ортогональное произведение

семейства ((V:; о^) | г € {1, 2}) пространств с частичными симметричными билинейными функциями. Ввиду замечания 3.4 пространство с ортогональностью (V; ♦) удовлетворяет условию (13). Кроме того, 0 ♦ V. Будем считать V и V подпространствами V, отождествляя VI с (г>1, 0) для любого VI € VI и v2 с (0^2) для любого v2 € ^. Тогда

V = VI ф V2 — У-ортогональное разложение пространства V. Из леммы 3.1 вытекает, что

50 = {0}, 5\ = VI ф и и Т = и.

Выберем произвольный элемент и Е и \ {0} и положим V/ = (а + и). Очевидно, что {VI}, {V/} € А, причем VI и V/ имеют тип 1 и х(У1; о) = х^/; о) = 1 в Е*/(Е*)2 (так как о(а,а) = о(а + и, а + и) = 1). Легко видеть, что С({У[}) = V2 (см. лемму 4.4) и С({ V/}) = {ад—о(ад, и)а | ад € V2}; последнее подпространство обозначим для краткости через V/. Непосредственно проверяется, что отображение ад м ад — о(ад, и)а, где ад € ^, является изоморфизмом ("^2; ♦) на (V2/; ♦). Кроме того, всякий изоморфизм (V; ♦) на (V2/; ♦) отображает

Т = с», №) = с», №)

(см. (27)) на себя. Поэтому (^/Т; ♦) = (^/Т; ♦) и пространство ^/Т »-неразложимо, так как »-неразложимо пространство V2/T (последнее условие ввиду следствия 5.2 эквивалентно равенству 1(У2) = {I(У2)}). Следствие 5.3 показывает теперь, что V/, как и У2, У-неразложимо. Таким образом, V = VI ф V и V = V/ ф V2/ — полные У-ортого-нальные разложения пространства V (см. равенство (26)), причем первые компоненты прообразов множеств {V, V2} и {V/, V/} при биекции (30) из теоремы 5.1 равны соответственно {VI} и {V/} (это вытекает из леммы 5.1). В то же время (^; У) и (V/; У) не изоморфны, так как х У х для любого х € V2, но существует у € V/, такой, что у У у (в качестве такого у можно взять произвольный элемент V/\ V2). Следовательно, указанные разложения пространства V не локально У-эквивалентны и тем более не

о-эквивалентны.

6.3. Критерий единственности полного У-ортогонального

разложения

Теорема 6.4. Полное У-ортогональное разложение пространства V единственно тогда и только тогда, когда выполнено одно из следующих взаимоисключающих условий:

пространство типа 1 или 2;

СЕ(2) и о в некотором базисе пространства 51 имеет матрицу

1)

2)

51

3) Е = СЕ(3) и о в некотором базисе пространства 51 имеет матрицу

4) V одномерно и о тождественно равна 0 на V х V;

5) 50 = {0}, о тождественно равна 0 на 51 х 51 и

0 1 0

1

X € )

ф Нх(V) = {0}

хех

с 1.

(66)

Доказательство. Из теоремы 5.2 вытекает, что полное У-ортогональное разложение пространства V единственно тогда и только тогда, когда

где А — единственный элемент множества А (см. условие (67)). Поэтому для доказательства теоремы достаточно показать, что условия (67)-(70) выполнены, если и только если выполнено одно из условий, указанных в формулировке теоремы.

I. Предположим, что выполнены условия (67)-(70); при этом через А будем обозначать единственный элемент множества А. Пусть сначала А = 0. Тогда ввиду равенства (67) и леммы 4.8, примененной к пространству 51, получаем, что Т = {0} и всякое подпространство пространства 51, имеющее тип 1 или 2, принадлежит А. Если |А| = 1, то выполнено условие 1. Считаем теперь, что |А| ^ 2. Предположим, что А содержит подпространство и типа 2. Выберем базис и1,и2 подпространства и, в ко-

Ш € А \ {и}. Рассмотрим два случая.

1. Ш имеет тип 1, т.е. Ш = (ад), где ад У ад. Тогда (ад + и1) —подпространство 51, имеющее тип 1 и не принадлежащее А.

2. Ш имеет тип 2, т. е. матрица симметричной билинейной функции о в некото-

подпространство 51, имеющее тип 2 и не принадлежащее А.

В обоих случаях получаем противоречие с доказанным выше свойством. Это показывает, что А состоит только из подпространств типа 1.

Предположим, что существуют и, ад € 51 и Л € Е*, такие, что (и) и (ад) —различные подпространства из А и Л2 = —о(и, и)/о(ад, ад). Тогда (и + Лад) — подпространство 51, имеющее тип 1 и не принадлежащее А. Полученное противоречие показывает, что Л2 =

—о(и, и)/о(ад, ад) для любых и, ад € 51, порождающих различные подпространства из А, и любого Л € Е*. Следовательно,

Из (71) вытекает, что F = GF(2) или F = GF(3). Если F = GF(2), то а в некотором базисе пространства Si имеет единичную матрицу (размера |A| х |A|). При этом |A| ^ 2 (иначе конструкция примера 6.3 дает противоречие с равенством (67)). Поэтому |A| = 2 и выполняется условие 2. Если же F = GF(3), то из (72) следует, что для любого е £ { — 1,1} множество A содержит не более одного подпространства (и), удовлетворяющего равенству а (и, и) = е (здесь а (и, и) не зависит от выбора порождающего и ввиду (71)). Это вместе с условием | A | ^ 2 показывает, что в данном случае выполняется условие 3.

Считаем теперь, что A = 0. Тогда а тождественно равна 0 на S1 х S1 и G(A) = V. Если dim S0 ^ 2, то получаем противоречие с равенством (68). Поэтому dim S0 ^ 1. Пусть сначала dim S0 = 1. Если S0 = G(A), то имеет место противоречие с равенством (69). Таким образом, в данном случае S0 = G(A) = V и выполняется условие 4.

|A| — 1;

|B| — і;

|R(G(A))| — 1;

VQ,Q £ Q(G(A)) VX £ K(G(A)) CQ (G(A)) — CQ(G(A)),

(67)

(68) (69)

(70)

тором а имеет матрицу

как |A| ^ 2, можно выбрать подпространство

ром базисе аді, ад2 этого подпространства равна

V Л £ F * Л2 — 1;

Vи,ад £ S1 ((и), (ад) £ A & (и) — (ад) —^ а(и,и) — —а(ад,ад)).

(71)

(72)

Рассмотрим теперь случай, когда dim S0 = 0, т. е. S0 = {0}. Предположим, что неравенство (66) не выполняется. Тогда можем выбрать Зг £ K(V), Z £ Зг и W £ (V) \ {0} для i = 1, 2, где З1 = З2. Выберем также какое-либо семейство

Q = (QX | X £ K(V)) £ Q(V) (из п. 2 леммы 5.8 вытекает, что Q(V) = 0). Пусть

i £ {1, 2}. Очевидно, что x М- а(х, w^) (где x £ QZi) —линейная функция из QZi в F. Эта функция отлична от тождественного нуля на Qz, так как w^ V p-1((Z^)) = Qz ФT (ввиду леммы 5.3 и равенства (37)) и Wi V T (согласно (33)). Поэтому можем выбрать базис DZi пространства QZi, такой, что а(сг^г) = 1 для некоторого сг £ DZi и a(a,Wj) = 0 при всех a £ DZi \ {сг}. Для любого X £ K(V) \ {Z1,Z2} выберем произвольное линейно независимое множество Dx , удовлетворяющее равенству p-1((X)) = (DX)®T. Очевидно, что если {X, Y} = {Z1,Z2}, то система уравнений (44) приобретает вид

Построим теперь семейство 0/ = ((Ех) | X € )) € ) в соответствии с лем-

мой 5.8, используя выбранные выше множества Дх. При этом в качестве решения системы (73) выбираем (иа,^2 , и^ | а € , Ь € Д^2), где

Непосредственно проверяется, что эти элементы действительно образуют решение системы (73). Выбор всех остальных элементов, требуемых в лемме 5.8, несуществен.

всем X € ) прямая (см. доказательство леммы 5.12). В частности, в этом случае

исьг = 0 при любом У € 32, что неверно, так как иС1,^2 = и>2 = 0. Таким образом,

II. Предположим теперь, что выполнено одно из условий 1-3. Тогда Т = {0}, так как о невырождена на 51. Если выполнено условие 1, то А = {А}, где А = {51} (см. лемму 4.2). Если же выполнено условие 2 или 3, то легко видеть, что А = {А}, где А — множество всех подпространств 51, имеющих тип 1. Отметим, что если а,Ь — произвольный базис 51, в котором о имеет указанную в условии 2 или 3 матрицу, то А = {(а), (Ь)} (последнее множество не зависит от выбора указанного базиса а,Ь). Из включения 50 С Т и равенства Т = {0} следует равенство 50 = {0}. Поэтому В = {0}

и R(G(A)) — {G(A)}. Кроме того, очевидно, что Q(G(A)) — {((X) | X £ K(G(A)))}.

Таким образом, в данном случае условия (67)-(70) выполнены.

Если выполнено условие 4, то 50 = Т = 51 = V, А = {0}, В = {{V}},

R(V) = {{0}}, а множества I(V), 1(V), I(V), K(V) и K(V) пусты (здесь V = G(0)).

Поэтому в данном случае условия (67)-(70) выполнены. Впрочем, в случае выполнения условия 4 единственность полного У-ортогонального разложения пространства V тривиальна. Пусть теперь выполнено условие 5. Тогда А = {0}, В = {0} и ) = {V}, где V = С(0). Это показывает, что выполнены условия (67)-(69). Осталось доказать, что условие (70) также выполнено. Если Т = {0}, то это вытекает из легко проверяемого равенства ) = {((X) | X € ))}. Считаем теперь, что Т = {0}. Обозна-

чим через £ элемент множества ), удовлетворяющий равенству Т = ф Нх(V)

(73)

если b = c2, если b £ DZ2 \ {c2}.

Положим теперь V = с1 + ^2 иС1,у. Тогда V € Е^1 С СЗ?' (V). В то же время если

УеК(У)

V € С? (V), то иС1,у = 0 для всех У € ) \ 31 ввиду того, что сумма ^х и Нх(V) по

v £ CQ(V) и CQi'(V) — CQi(V).

(существование и единственность такого элемента следуют из леммы 5.5). Выберем произвольные семейства П = (фх | X € )) и П = ($х I X € )), принадлежа-

щие ), и покажем, что

для любого X € ). Если X = £, то равенство (74) верно ввиду того, что обе его

части равны ^ р-^^)). Пусть теперь X € ) \ {£}. Для каждого X € )

выберем некоторый базис Дх пространства ^х. Воспользовавшись замечанием 5.4, выберем также в конструкции леммы 5.8 элементы иа,у € Ну(V) (а € Дх, X, У € € )) таким образом, что

для любого X € ) (здесь последнее равенство вытекает из того, что иа,у = 0 при

У € ) \ £). Пусть а € Дх, где X € X, и У € £. Тогда

для любого Ь € Ду, так как иь,х = 0 и о(а, Ь) = 0. Поэтому иа,у У Ду и, следовательно, иа,у У р-1(У), так как иа,у У Т (см. (33)) и р-1(У) С р-1 ((У)) = (Ду)®Т. С другой стороны, иа,у У р-1(1 (V) \У), так как иа,у € Ну (V). Это показывает, что (У)(иа,у) = 0. Поэтому иа,у = 0 ввиду леммы 5.3. Из (75) вытекает теперь, что ^х = ^х для любого X € X, откуда непосредственно следует требуемое равенство (74). Таким образом, условие (70) выполнено и в случае выполнения условия 5. ■

Замечание 6.3. Из леммы 5.5 следует, что если в условии 5 теоремы 6.4 заменить неравенство (66) на дизъюнкцию

Будем считать, что поле Д конечно, а пространство V конечномерно (и, следовательно, конечно). Носители Д и V предполагаются содержащимися в множестве всех конечных строк, состоящих из нулей и единиц. Поле Д подается на вход алгоритмам в виде набора, состоящего из носителя этого поля и таблиц сложения и умножения в Д. Аналогично, пространство V задается для алгоритмов с помощью носителя этого пространства вместе с таблицами сложения в V и умножения элементов V на элементы поля Д. Частичная симметричная билинейная функция а подается на вход алгоритмам в виде таблицы своих значений; эта же таблица задает область определения ♦ функции а и ортогональность V. Кроме того, произвольная функция ^: V ^ Д также подается на вход алгоритмам в виде таблицы своих значений.

Замечание 6.4. Очевидно, что существует полиномиальный детерминированный алгоритм, который по произвольным Д, V и функции ^: V ^ Д вычисляет таблицу значений частичной функции а^, определенной по ^ согласно (1).

Теорема 6.5. Существует полиномиальный недетерминированный алгоритм, множество всех выходных значений которого при вычислении на произвольном входе вида (Д, V, а) совпадает с множеством всех 0, таких, что V = ф 0 — полное V-ортогональное разложение пространства V.

) = С? (V)

(74)

ХЄ£

(75)

а(Ь, иа,у) = а(а, мь,х) + а(Ь, иа,у) = -а(а, Ь) = 0

Т = {0} V 3 £ єК(^ Т = ф Нх(^ = {0},

х €£

то полученный вариант условия 5 будет эквивалентен исходному.

6.4. В ы ч и с л и т е л ь н ы е а с п е к т ы

Доказательство. Работа искомого алгоритма заключается в выборе произвольных A £ A, B £ B, R £ R(G(A)), Q £ Q(G(A)) и возвращении на выходе множества

A и B U { v-1s0 (CQ(G(A))) I X £ K(G(A))}

(см. теорему 5.2). При этом для построения A и Q следует воспользоваться методами, описанными в замечании 4.5 и лемме 5.8 (вместе с замечанием 5.3) соответственно. (Согласно замечаниям 4.5 и 5.4, эти методы позволяют построить все множества A £ A и все семейства Q £ Q(G(A)).) Легко видеть, что все действия, требуемые в приведенном выше описании алгоритма, могут быть выполнены за полиномиальное время. (Смежность вершин в графе A(G(A)) проверяема за полиномиальное время ввиду леммы 5.7 и замечания 5.3.) ■

Приведем теперь две теоремы, первая из которых (теорема 6.6) непосредственно следует из теорем 6.1 и 6.4, а вторая (теорема 6.7) — из п. 1 теоремы 6.2.

Теорема 6.6. Следующие условия могут быть проверены с помощью полиномиального детерминированного алгоритма, на вход которому подается произвольная тройка вида (F, V, а):

1) V-неразложимость V;

2) единственность полного V-ортогонального разложения пространства V. Теорема 6.7. Существует полиномиальный детерминированный алгоритм, который для произвольного входа вида (F, V, а, S, S'), такого, что char F = 2, а V = ф S и V = ф S' — полные V-ортогональные разложения пространства V, проверяет, являются ли эти разложения а-эквивалентными.

Отметим, что в замечании 6.4 и теоремах 6.5-6.7 полиномиальность (полиномиальное время работы) алгоритмов означает, что время их работы на указанных входах не превосходит O((/(|F| + |V|))c) для некоторой константы с > 0, где I —максимальная длина строк из F U V.

Автор благодарит О. А. Логачёва, А. А. Сальникова и В. В. Ященко за постановку первоначальной проблемы (см. задачу 2.17 из книги [3]) и признателен математикам Института проблем информационной безопасности МГУ им. М. В. Ломоносова (в котором он имеет честь работать), а также руководителям и участникам семинара «Кольца и модули» кафедры высшей алгебры механико-математического факультета указанного университета за полезные обсуждения настоящей работы.

ЛИТЕРАТУРА

1. Анохин М. И. О расщепляемости p-ичных функций // Матем. сб. 2007. Т. 198. №7. С.31-44.

2. Логачёв О. А., Сальников А. А., Ященко В. В. Некоторые характеристики «нелинейности» групповых отображений // Дискрет. анализ и исслед. опер. 2001. Т. 8. №1. С. 40-54.

3. Логачёв О. А., Сальников А. А., Ященко В. В. Булевы функции в теории кодирования и криптологии. М.: МЦНМО, 2004.

4. Newman M. Integral matrices. New York and London: Academic Press, 1972.