Алгебра октав

Оглавление

Введение

§1.Система аксиом алгебры октав, ее непротиворечивость и категоричность

1.1 Непротиворечивость системы аксиом алгебры октав

1.2 Категоричность системы аксиом алгебры октав

§2. Дополнительные сведения об октавах

2.1 Действия над октавами

2.2 Сопряженные октавы и их свойства

2.3.Некоторые тождества для октав

§3. Теорема Гурвица

3.1 Нормированные линейные алгебры

3.2 Теорема Гурвица

§4. Обобщенная теорема Фробениуса

Список литературы

Введение

Одному известному английскому философу-материалисту Д. Гартли принадлежало высказывание- "Поскольку слова могут быть сравнены с буквами, употребляемыми в алгебре, сам язык можно назвать одним из видов алгебры, и наоборот, алгебра есть не что иное, как язык, который особым образом приспособлен к объяснению величин всех родов… И вот, если все относящееся к языку имеет что-либо аналогичное в алгебре, то можно надеяться объяснить трудности, возникающие в теории языка, при посредстве соответствующих конкретных положений алгебры, в которой все ясно и признано всеми, кто сделал ее предметом своего изучения".

Предметом моего изучения является один из разделов не ассоциативной алгебры - алгебра октав.

Цель данной исследовательской работы- выявить сущность алгебры октав, а так же выявить, каким образом производятся действия над упорядоченной восьмеркой чисел, т.е. над (1, i, j, k, E, I, J, K).Не ассоциативные алгебры в настоящее время покрыты мифами экзотики. На самом деле ничего особенного, кроме потери ассоциативности, в них нет. Впрочем, эта потеря существенна. Если можно выразиться образно, то в космосе алгебр за ассоциативными уже ничего "живого" нет. Среди не ассоциативных алгебр наиболее известной является простейшая из них - алгебра октав. Или, иначе, четвертая алгебра Фробениуса, она же алгебра Кэли-Диксона.

Рассмотрим алгебраическое определение октавы.

Октавой - называется число гиперкомплексной алгебры, полученной некоммутативным удвоением по Кэли алгебры кватернионов:

Здесь обозначены:

O - октава,

Q - кватернионы,

E - мнимая единица. .

Октавы во многих случаях уместно рассматривать как существенное расширение кватернионов. Так же как и кватернионы, октавы не имеют делителей нуля, и квадрат модуля так же выражается простой квадратичной формой. Для них, так же как и для кватернионов, можно определить условное скалярное произведение. Которое и использовалось Фробениусом.

Объектом данной дипломной работы являются гиперкомплексные числа.

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

При использовании гиперкомплексных чисел и их исследовании часто встречается операция сопряжения.

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

,

то сопряженная ей октава будет иметь вид:

.

§1. Система аксиом алгебры октав, ее непротиворечивость и категоричность

Определение. Алгеброй октав называется алгебра , если:

I. Алгебра - альтернативная линейная алгебра;

II. Тело кватернионов есть подтело алгебры ;

III. е² = -1 и е ≠ i, е ≠ j, е ≠ k;

IV.Всякая подалгебра альтернативной линейной алгебры , содержащая тело кватернионов и элемент е, совпадает с алгеброй .

1.1 Непротиворечивость системы аксиом алгебры октав

Теорема 1. Система аксиом алгебры октав непротиворечива. Для доказательства непротиворечивости сформулированной выше системы аксиом построим следующую модель. Составим декартово произведение K x K = {(u,v)|uK _> > vK}, где К - множество кватернионов. По определению, (u_>1>;v_>1>) = (u_>2>;v_>2>) u_>1 >=_> >u_>2 >v_>1 >= v_>2.>

Во множестве К х K определим операции сложения и умножения по правилам:

(u_>1>;v_>1>) + (u_>2>;v_>2>) = (u_>1 >+_> >u_>2 >; v_>1 >+ v_>2>);

(u_>1>;v_>1>) * (u_>2>;v_>2>) = (u_>1>u_>2 >- v_>2>v_>1 >; v_>2> u_>1> + v_>1> ū_>2>)_>.>

Перейдем к проверке выполнения аксиом на построенной модели. Покажем, что алгебра есть альтернативная линейная алгебра.

Сначала покажем, что (К x К, +) есть абелева группа.

1) ((u_>1>;v_>1>) + (u_>2>;v_>2>)) + (u_>3>;v_>3>) = (u_>1 >+_> >u_>2 >; v_>1 >+ v_>2>) + (u_>3>; v_>3>) = ((u_>1 >+_> >u_>2>) + u_>3>; (v_>1 >+ v_>2>) + v_>3>) = (u_>1 >+(_> >u_>2> + u_>3>); v_>1 >+ (v_>2> + v_>3>)) = ((u_>1>; v_>1>) + (u_>2>+ u_>3>;_> >v_>2>+ v_>3>) = (u_>1>; v_>1>) + ((u_>2>; v_>2>) + (u_>3>; v_>3>)),

т.е. сложение в (К х K, +) ассоциативно.

2) (u_>1>; v_>1>) + (u_>2>; v_>2>) = (u_>1 >+_> >u_>2 >; v_>1 >+ v_>2>) = (u_>2 >+_> >u_>1>; v_>2 >+ v_>1>) = (u_>2>; v_>2>) + (u_>1>; v_>1>),

т.е. сложение в (К х K, +) коммутативно.

3) Решим уравнение

(u; v) + (x; y) = (u; v);

(u+ x; v+ y) = (u; v) u+ x = u^ v+ y= v ; x = 0, y = 0 ,т.е. (x; у) = (0;0).

Следовательно, нейтральным элементом в (К х K, +) является пара (0; 0). Обозначим (0; 0) = 0_>U>.

4) Решим уравнение

(u; v) + (x; y) = (0; 0):

(u+ x; v+ y) = (0; 0) u+ x = 0^ v+ y= 0 x = - u ^ y = - v, т.е. (x; у) = (- u; - v) или -(u; v) = (- u; - v).

Из 1) ,4) следует, что алгебра (К х K, +) есть абелева группа. Покажем, что алгебра (К х K, +, .) есть кольцо, но не ассоциативное и не коммутативное.

5) Покажем, что умножение в дистрибутивно относительно сложения как слева, так и справа.

С одной стороны:

((u_>1>; v_>1>) + (u_>2>; v_>2>)) _> > (u_>3>; v_>3>) = (u_>1 >+_> >u_>2 >; v_>1 >+ v_>2>) _> > (u_>3>; v_>3>) = ((u_>1 >+_> >u_>2>) u_>3 >- _>3>(v_>1 >+ v_>2>); v_>3>(u_>1>+u_>2>)+ (v_>1 >+ v_>2>)ū_>3>) = (u_>1> u_>3 >+_> >u_>2> u_>3 >- _>3>v_>1 >- _>3>v_>2>; v_>3>u_>1>+ v_>3>u_>2>+ v_>1> ū_>3 >+ v_>2>ū_>3>).

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

(u_>1>; v_>1>) _> > (u_>3>; v_>3>) + (u_>2>; v_>2>) _> > (u_>3>; v_>3>) = (u_>1>u_>3> - _>3>v_>1>; v_>3>u_>1 >+ v_>1>ū_>3>)+(u_>2> u_>3> - _>3>v_>2>; v_>3>u_>2>+ v_>2>ū_>3>)=(u_>1> u_>3> - _>3>v_>1 >+ u_>2> u_>3> - _>3>v_>2>; v_>3>u_>1 >+ v_>1>ū_>3> + v_>3>u_>2>+ v_>2>ū_>3>).

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

((u_>1>; v_>1>) + (u_>2>; v_>2>)) _> > (u_>3>; v_>3>) = (u_>1>; v_>1>) _> > (u_>3>; v_>3>) + (u_>2>; v_>2>) _> > (u_>3>; v_>3>),

т.е. умножение в дистрибутивно справа относительно сложения.

Аналогично устанавливается равенство:

(u_>3>; v_>3>) _> > ((u_>1>; v_>1>) + (u_>2>; v_>2>)) = (u_>3>; v_>3>) _> > (u_>2>; v_>2>) + (u_>3>; v_>3>) _> > (u_>1>; v_>1>).

Действительно, с одной стороны:

(u_>3>; v_>3>) _> > ((u_>1>; v_>1>) + (u_>2>;v_>2>)) = (u_>3>; v_>3>) _> >v (u_>2>+ u_>1> ; v_>1 >+ v_>2>) = (u_>3> (u_>1 >+_> >u_>2>); ()v_>3>;

(v_>1>+ v_>2>)u_>3>+ v_>3>())= (u_>3 >u_>1> +_> >u_>3>u_>2> -_>1>v_>3> - _>2>v_>3>; v_>1> u_>3 >+_> >u_>2> u_>3>+ v_>3>ū_>1>+ v_>3>ū_>2>);

с другой стороны:

(u_>3>; v_>3>) _> > (u_>1>; v_>1>) +(u_>3>; v_>3>)_> > (u_>2>; v_>2>) = (u_>3 >u_>1> - _>1>v_>3>;_> >v_>1> u_>3 >+ v_>3>ū_>1>)+ (u_>3 >u_>2> - _>2>v_>3>;_> >v_>2> u_>3 >+ v_>3>ū_>2>)= (u_>3 >u_>1> - _>1>v_>1 >+_> >u_>3 >u_>2 >- _>2>v_>3>; v_>1> u_>3 >+ v_>3>ū_>1> +_> >v_>2> u_>3 >+ v_>3>ū_>2>).

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

6) Покажем, что умножение в не ассоциативно.

Действительно, с одной стороны:

((u_>1>; v_>1>) _> > (u_>2>; v_>2>)) _> > (u_>3>; v_>3>) = (u_>1 >u_>2> - _>2>v_>1>; v_>2> u_>1 >+ v_>1 >ū_>2>) _> > (u_>3>; v_>3>) = ((u_>1 >u_>2> - _>2>v_>1>)u_>3 >-_>3>(v_>2> u_>1 >+ v_>1>ū_>2>);

v_>3>(u_>1 >u_>2> - _>2>v_>1>)_> >- (v_>2> u_>1 >+ v_>1>ū_>2>) ū_>3>) = (u_>1 >u_>2> u_>3> - _>2>v_>1>u_>3 >-_>3>v_>2> u_>1 >-_>3>v_>1>ū_>2>; v_>3>u_>1>u_>2> - v_>3>_>2>v_>1 >- v_>2> u_>1> ū_>3 >- v_>1>ū_>2> ū_>3>).

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

(u_>1>; v_>1>) _> > ((u_>2>; v_>2>) _> > (u_>3>; v_>3>)) = (u_>1>; v_>1>) _> > (u_>2>u_>3> - _>3>v_>2>; v_>3>u_>2 >+ v_>2>ū_>3>) = (u_>1> (u_>2>u_>3> - _>3>v_>2>) – v_>1>;

v_>1>+ (v_>3>u_>2 >+ v_>2>ū_>3>) u_>1>) = (u_>1>u_>2>u_>3> - u_>1>_>3>v_>2> –v_>1 >- u_>3>_>2>v_>1>; v_>1>- v_>1>_>2>v_>3> + v_>3>u_>2> u_>1 >+ v_>2>ū_>3> u_>1>).

Из сопоставления правых частей этих равенств следует, что

((u_>1>; v_>1>) _> > (u_>2>; v_>2>)) _> > (u_>3>; v_>3>) ≠ (u_>1>; v_>1>) _> > ((u_>2>; v_>2>) _> > (u_>3>; v_>3>))

т.е. умножение в не ассоциативно.

7) Рассмотрим произведения:

(u_>1>;v_>1>) _> > (u_>2>;v_>2>) = (u_>1>u_>2 >- _>2>v_>1 >; v_>2> u_>1> + v_>1> ū_>2>);

(u_>2>;v_>2>) _> > (u_>1>;v_>1>) =(u_>2>u_>1 >- _>1>v_>2 >; v_>1> u_>2> + v_>2> ū_>1>).

Сравнивая правые части этих равенств, убеждаемся, что

(u_>1>;v_>1>) _> > (u_>2>;v_>2>) ≠ (u_>2>;v_>2>) _> > (u_>1>;v_>1>)

т.е. умножение в не коммутативно.

8) Покажем, что имеет место равенство

((u_>1>; v_>1>) _> > (u_>2>; v_>2>)) _> > (u_>2>; v_>2>) = (u_>1>; v_>1>) _> > ((u_>2>; v_>2>) _> > (u_>2>; v_>2>))

Преобразовав левую сторону этого равенства, получаем:

((u_>1>; v_>1>) _> > (u_>2>; v_>2>)) _> > (u_>2>; v_>2>) = (u_>1 >u_>2> - _>2>v_>1>; v_>2> u_>1 >+ v_>1 >ū_>2>) _> > (u_>2>; v_>2>) = ((u_>1 >u_>2> - _>2>v_>1>)u_>2 >-_>2>(v_>2> u_>1 >+ v_>1>ū_>2>);

v_>2>(u_>1 >u_>2> - _>2>v_>1>)_> >- (v_>2> u_>1 >+ v_>1>ū_>2>) ū_>2>) = (u_>1 >u_>2> u_>2> - _>2>v_>1>u_>2 >-_>2>v_>2> u_>1 >-_>2>v_>1>ū_>2>; v_>2>u_>1>u_>2> - v_>2>_>2>v_>1 >- v_>2> u_>1> ū_>2 >- v_>1>) = (u_>1 >u_>2> u_>2> - _>2>v_>1 >(u_{>2 +}> ū_>2>)_> >– |v_>2>|² u_>1>; v_>2>u_>1 >(u_>2> + ū_>2>)_> >- v_>1>- |v_>2>|²v_>1>) .

Преобразовав правую сторону этого равенства, получаем:

(u_>1>; v_>1>) _> > ((u_>2>; v_>2>) _> > (u_>2>; v_>2>)) = (u_>1>; v_>1>) _> > (u_>2 >u_>2> - _>2>v_>2>; v_>2> u_>2 >+ v_>2 >ū_>2>) = (u_>1>(u_>2 >u_>2> - _>2>v_>2>) –()v_>1>;

v_>1 >() + (v_>2> u_>2 >+ v_>2 >ū_>2>) u_>1>) = (u_>1>u_>2 >u_>2> - u_>1>_>2>v_>2> –v_>1 >– u_>2>_>2>v_>1>;

v_>1>- v_>1>_>2>v_>2> + v_>2> u_>2 >u_>1>+ v_>2 >ū_>2> u_>1>) = (u_>1 >u_>2> u_>2> - (u_>2 >+ ū_>2>) _>2>v_>1 >– u_>1>|v_>2>|²; (u_>2> + ū_>2>)_> >v_>2>u_>1 >+ v_>1>_> >- v_>1>|v_>2>|²).

Здесь следует учитывать, что _>2>v_>2 >=_> >v_>2>_>2 >= |v_>2>|² и u_>2> + ū_>2 >- действительные числа. Сравнивая правые части полученных равенств, убеждаемся, что они совпадают с точностью до порядка слагаемых. Следовательно, равенство 8) справедливо.

9) Покажем, что имеет место равенство

(u_>2>; v_>2>) _> > ((u_>2>; v_>2>) _> > (u_>1>; v_>1>)) = ((u_>2>; v_>2>) _> > (u_>2>; v_>2>)) _> > (u_>1>; v_>1>).

Преобразовав левую сторону этого равенства, получаем:

(u_>2>; v_>2>) _> > ((u_>2>; v_>2>) _> > (u_>1>; v_>1>)) = (u_>2>; v_>2>) _> > (u_>2>u_>1 >- _>1>v_>2>; v_>1> u_>2 >+ v_>2 >ū_>1>) = (u_>2>(u_>1 >u_>2> - _>2>v_>1>) – v_>2>;

(v_>1> u_>2 >- v_>2 >ū_>1>) u_>2 >+ v_>2 > ) = (u_>2>u_>1 >u_>2> - u_>2>_>1>v_>2> –v_>2 >- u_>1>_>2>v_>2>; v_>1>u_>2>u_>2 >+ v_>2 >ū_>1> u_>2 >+ v_>2 > - v_>2>_>2>v_>1>) = (u_>2>u_>1 >u_>2> - u_>1> |v_>2>|² - (u_>2> + ū_>2>)_> > _>1>v_>2>; v_>1>u_>2>u_>2 >+ v_>2 >ū_>1>(u_>2> + ū_>2>)_> >- |v_>2>|² v_>1>).

Преобразовав правую сторону этого равенства, получаем:

((u_>2>; v_>2>) _> > (u_>2>; v_>2>)) _> > (u_>1>; v_>1>) = (u_>2 >u_>2> - _>2>v_>2>; v_>2> u_>2 >+ v_>2 >ū_>2>) _> > (u_>1>; v_>1>) = ((u_>2 >u_>2> - _>2>v_>2>) u_>1> - _>1>(v_>2> u_>2 >+ v_>2 >ū_>2>);

v_>1>(u_>2 >u_>2> - _>2>v_>2>) + (v_>2> u_>2 >+ v_>2 >ū_>2>) ū_>1>) = (u_>2 >u_>2> u_>1>- _>2>v_>2> u_>1> - _>1>v_>2> u_>2 >- _>1>v_>2> ū_>2>; v_>1>u_>2 >u_>2> - v_>1>_>2>v_>2> + v_>2> u_>2> ū_>1 >+ v_>2>) = u_>2 >u_>2> u_>1> - _>1>v_>2>(u_>2> + ū_>2>) - |v_>2>|²u_>1>; v_>1>u_>2 >u_>2> - v_>1> |v_>2>|²+ v_>2> ū_>1 >(u_>2>+ ū_>2>).

Сравнивая правые части полученных равенств, убеждаемся, что они совпадают с точностью до порядка слагаемых. Следовательно, равенство 9 справедливо.

Из равенств 8) и 9) следует, что умножение в альтернативно.

10) Для определения правого нейтрального элемента (единицы) относительно операции умножения в решим уравнение:

(u; v) _> > (x; y) = (u; v),

в котором и и v одновременно не равны 0, так как (0; 0) = 0_>и> и это уравнение будет иметь любое решение. Пусть u ≠ 0. Тогда:

(u; v) _> > (х; у) = (u; v) (хu - y; уи + v) = (и; v)

Умножим обе части первого уравнения этой системы слева на u^-1=,откуда:

(u^-1 _> > u) x = u^-1v+ u^-1ux = v =1+ _> > уи.

Подставим полученное значение во второе уравнение системы:

v(1+ уи) + уи = vv+ v уи+ уи = vуи+уи=0 (+1)уи=0,

откуда при u ≠ 0 следует, что у = 0. Тогда = 0 и из первого уравнения системы

их = и следует, что х = 1. Итак, пара (х; у) = (1; 0) является правым единичным элементом в .

В случае, если и = 0, v ≠ 0, второе уравнение .системы имеет вид v = v, откуда сразу х = 1, а из первого уравнения системы у = 0, т.е. приходим к тому же решению.

Для определения левого нейтрального элемента (единицы) относиnельно операции умножения в решим уравнение:

(х; у) _> > (u; v) = (u; v),

в котором опять и и v одновременно не считаем равными 0, так как (0; 0) = 0_>U>_> >и это уравнение будет иметь любое решение. Пусть опять u ≠ 0. Тогда:

(х; у) _> > (и; v) = (и: v) (хи - y; vх - уū) = (и; v)

Умножим обе части первого уравнения этой системы справа на u^-1=, откуда:

x(u_>>u^-1) = y+ u*u^-1 x = 1+ _>2>yū,

Подставим полученное значение х во второе уравнение системы:

v(1+ _>2>yū) + уū= vv + _>2> vyū + уū= vyū+ уū= 0 (+ 1)уū =0,

откуда при u ≠ 0 следует, что у = 0 и из первого уравнения системы хu = и следует, что х = 1. Итак, пара (х; у) = (1; 0) является и левым единичным элементом в . Обозначим (1; 0) = 1_>U>,

11) Для определения правого симметричного для (u; v) элемента решим уравнение:

(u; v) _> > (х: у) = (1; 0) (их - v; уи+ v) = (1; 0)

Умножим обе части первого уравнения этой системы слева на u^-1=_>2>, откуда:

(u^-1_>>u) x = u^-1v + u^-1 x =_>2>+_>2>v = _>2 >+ _>2>yu.

Подставим полученное значение во второе уравнение системы:

v_>>_> >+ + уи= 0 _>2 >+ _>2> vyu + уи= 0 (|u|² + |v|²) yu = - vu (|u|² + |v|²) y = - v,

откуда

у = - .

Тогда из второго уравнения системы

v- u =0v_>>- =0 = x= .

Итак, пара

(x; y) = ; -

является правым обратным элементом для элемента (u; v) в .

Для определения левого симметричного элемента для элемента (u; v) относительно операции умножения в решим уравнение:

(х; у) _> > (u; v) = (1; 0),

в котором опять и и v одновременно не считаем равными 0. Пусть опять и ≠ 0. Тогда:

(х; у) _> > (u; v) = (1; 0) (xu - y; vx + yū) = (1; 0)

Умножим обе части первого уравнения этой системы справа на u^-1=_>2 >откуда:

x (u u^-1) = y_>2 >+ _>2> x = _>2> (yū + ū).

Подставим полученное значение х во второе уравнение системы:

v_>>_>2>(yū + + ū) + yū = 0 (|u|² + |v|²) yū = - vū

откуда при ū ≠ 0 следует, что у = - . и, подставив это значение у в первое уравнение системы, получаем

xu - = 1,

откуда следует, что

xu= 1 - = .

Умножим это равенство справа на u^-1=, тогда

x = * =

Итак, пара

(x; y) = ; -

является и левым обратным элементом для элемента (u; v) в . Обозначим его (u, v)^-1.

Левый и правый обратные элементы для (u; v) совпадают и, следовательно, каждый ненулевой элемент обратим в .

Из 1)-11) следует, что алгебра есть альтернативная линейная алгебра с делением и единицей, т.е. в данной модели первая аксиома полностью выполняется.

Проверим выполнение второй аксиомы на построенной модели.

Пусть U_>1> = {(u; 0)| u K}. Ясно, что U_>1> K x K.

Покажем, что множество U_>1 >замкнуто относительно введенных ранее операций сложения и умножения:

(u_>1>, 0) + (u_>2>, 0) = (u_>1 >+ u_>2>: 0 + 0) = (u_>1 >+ u_>2>: 0) U_>1>;

(u_>1>, 0) _> > (u_>2>, 0) = (u_>1 >u_>2 >– _>>0; 0 _> >u_>1> + 0 _> >ū_>2>) = (u_>1 > u_>2>: 0) U_>1>.

Далее:

- (u; 0) = (- u; - 0) = ( - u; 0) U_>1>;

(u; 0)^-1 = = U_>1,>

откуда следует, что есть под тело алгебры ,.

Покажем, что изоморфно телу кватернионов . Для этого рассмотрим отображение f : U_>1 >→ K такое, что ((u; 0) є U_>1>) f ((u; 0)) = u, т.е. паре (и;0) ставит в соответствие кватернион и. Имеем:

f ((u_>1>; 0) + (u_>2>; 0)) = f ((u_>1 >+ u_>2>: 0)) = u_>1 >+ u_>2> = f ((u_>1>; 0)) + f ((u_>2>; 0));

f (- (u; 0)) = f (( - u; 0)) = - u = - f ((u; 0));

f ((u_>1>; 0) _> > (u_>2>; 0)) = f ((u_>1> u_>2>: 0)) = u_>1> u_>2> = f ((u_>1>; 0)) _> > f ((u_>2>; 0));

f ((u; 0)^-1) = f ((; 0)) = ; 0 = u^-1 = f ((u; 0)) ^-1,

откуда следует, что отображение f является гомоморфным отображением алгебры в тело кватернионов. Это отображение биективно, так как

f ((u_>1>; 0)) = f ((u_>2>; 0)) u_>1 >= u_>2 > (и_>1>; 0) = (и_>2>; 0) и f (U_>1>) = К.

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

Проверим выполнение третьей аксиомы. Для этого возьмем пару (0; 1). Имеем:

(0; 1)² = (0; 1) _> > (0; 1) = (0_>>0 - _>>1; 1_>>0+1_>>) = (-1; 0) = -(1; 0) = -(1; 0) = - 1.

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

(0; i) ≠ (i; 0) = i; (0: 1) ≠ (j; 0) = j; (0; k) ≠ (k; 0) = k.

Обозначим: (0; 1) = е. Следовательно, на построенной модели выполняется и третья аксиома.

Из проверки второй и третьей аксиом следует, что любой элемент (и; v) , представим в виде u + ve, где и, v є К и е² = -1. Действительно,

(u; v) = (u; 0) + (0: v) = (u; 0) + (v; 0) * (0; 1) = и + ve.

Проверим выполнение четвертой аксиомы. Пусть подалгебра алгебры , содержащее в себе тело кватернионов и элемент е. Ясно, что U^/ К х К. Если мы покажем, что К х K U^/, то тем самым совпадает с . Так как каждый элемент алгебры имеет вид u+ve, где и, v К. е² = - 1, то u + vjU^/, так как и, v К U^/, e U^/ и - альтернативная алгебра (а, следовательно, замкнута относительно сложения и умножения). Итак, К х K U^/, откуда U^/ = К х K и, следовательно, имеет место выполнение четвертой аксиомы.

Так как на построенной модели выполняются все четыре сформулированные выше аксиомы алгебры октав, то эта система аксиом алгебры октав непротиворечива.

Мы показали, что любая октава представима в виде u+ve. где и, v К. Пусть

u = a+bi+cj+dk, v = A+Bi+Cj+Dk, a,b,c,d, a,b,c,d R.

Тогда,

и + vе = a+bi+cj+dk + (A+Bi+Cj+Dk)e = a+bi+cj+dk+ Ae+B(ie)+C(je)+D(ke).

Вычислим

ie = (i; 0) (0; 1) = (i_>>0 - _>>0; 1_>>i + 0_>>) = (0; i);

je = (j; 0) (0; 1) = (j_>>0 - _>>0; 1_>>j + 0_>>) = (0; j);

ke = (k; 0) (0; 1) = (k_>>0 - _>>0; 1_>>k + 0_>>) = (0; k),

откуда следует, что ie, je, ke отличны друг от друга и от предыдущих мнимых единид i, j, k, e.

Покажем, что (ie)² = (je)² = (ke)² = -1. Действительно,

(ie)² = (i; 0) (i; 0) = (i_>>i - _>>0; 0_>>i + 0_>>ī) = (-1; 0) = -1;

(je)² = (j; 0) (j; 0) = (j_>>j - _>>0; 0_>>j + 0_>>ī) = (-1; 0) = -1;

(ke)² = (k; 0) (k; 0) = (k_>>k - _>>0; 0_>>k + 0_>>ī) = (-1; 0) = -1.

Следовательно, ie, je, ke можно выбрать в качестве новых мнимых единиц, обозначив их соответственно iе = I, je = J. ke = К и октаву w записать в виде

w = a+bi+cj+dk+ Ae+BI+CJ+DK,

где a,b,c,d, a,b,c,d R.

Эту форму записи октавы назовем алгебраической формой. Обозначим КхK=U и назовем U алгеброй октав.

1.2 Категоричность системы аксиом алгебры октав

Теорема 2. Система аксиом алгебры октав категорична.

Пусть (U, +, ., e) и (U_>1>, ,, e_>1> ) - две модели алгебры октав и e² = -1, e²_>1 >= Ө1.

Рассмотрим отображение Ф : U → U такое, что

Ф (u+ve) = uve_>1>, u,v К.

Покажем, что Ф - гомоморфное отображение первой модели на вторую модель.

Пусть w_>1> = u_>1>+v_>1>e и w_>2 >= u_>2>+v_>2>e. Тогда:

Ф(w_>1>+ w_>2>) = Ф((u_>1>+v_>1>e) + (u_>2>+v_>2>e)) = Ф((u_>1>+u_>2>)+(v_>1>+v_>2>)e) = (u_>1>+u_>2>)(v_>1>+v_>2>)e_>1 >= (u_>1>v_>1>e_>1 >) (u_>2>v_>2>e_>1>) = Ф(u_>1>+v_>1>e) Ф(u_>2>+v_>2>e) = Ф(w_>1>)Ф(w_>2>);

Ф(w_>1>_>> w_>2>) = Ф((u_>1>+v_>1>e) _> > (u_>2>+v_>2>e)) = Ф((u_>1>u_>2 >- _>2>v_>1>)+(v_>2>u_>1 >+ v_>1>ū_>2>)e) = (u_>1>u_>2 >- _>2>v_>1>) (v_>2>u_>1 >+ v_>1> ū_>2>) e) =(u_>1>u_>2 >Ө _>2>v_>1>)(v_>2>u_>1 > v_>1>ū_>2>)e) =(u_>1>v_>1>e_>1>)( u_>2>v_>2>e_>1>) = Ф(u_>1>+v_>1>e) Ф(u_>2>+v_>2>e) = Ф(w_>1>) Ф(w_>2>);

Ф(-w) = Ф (-(u+ve)) = Ф (-u -ve) = ӨuӨve_>1> = Ө(uve_>1>) = ӨФ(u+ve)= ӨФ(w);

Ф(w^-1)=Ф((u+ve)^-1)=Ф(Ө_>>e)= (Ө _>>e) = Ө e = (uve_>1>)^-1 = (Ф(u+ve)^Ө1) = (Ф(w)) ^Ө1.

Следовательно, отображение Ф есть гомоморфное отображение алгебры в (U_>1>, ,, e_>1> ).

Покажем, что отображение Ф инъективно:

Ф(w_>1>)=Ф(w_>2>) Ф(u_>1>+v_>1>e) = Ф(u_>2>+v_>2>e) u_>1>v_>1>e_>1 >= u_>2>v_>2>e_>1> u_>1>=u_>2>v_>1>=v_>2> u_>1>+v_>1>e= u_>2>+v_>2>e w_>1>= w_>2>.

Сюръективность отображения Ф очевидна, так как

(qU_>1>) (u,vK)p= uve_>1> (u+ve = wU) Ф(w) = p.

Итак, отображение Ф есть изоморфизм алгебры на алгебру (U_>1>,,,e_>1>) и, следовательно, система аксиом алгебры октав категорична ввиду изоморфности произвольных ее моделей.

§2. Дополнительные сведения об октавах

В ходе доказательства непротиворечивости системы аксиом алгебры октав мы установили, что любую октаву можно представить в виде:

w = a+bi+cj+dk+ Ae+BI+CJ+DK,

где a,b,c,d, a,b,c,d R и i² = j² = k² = e²=I²= j² = k² = -1,

причем iе = I, je = J, ke = К по обозначению.

Через пары эти мнимые единицы выражались следующим образом:

i=(i; 0), j=(j; 0), k=(k; 0), e=(0; 1), I=(0; i), j=(0; j), k=(0; k).

Вычислим другие произведения мнимых единиц:

iI = (i; 0)(0; i) = (i_>>0 – ī_>>0; i_>>i + 0_>>) = (0; -1) = -(0; 1) = - e;

iJ = (i; 0)(0; j) = (i_>>0 – _>>0; j_>>i + 0_>>) = (0; -k) = -(0; k) = - K;

iK = (i; 0)(0; k) = (i_>>0 – _>>0; k_>>i + 0_>>) = (0; j) = J;

I i = (0; i)(i; 0) = (0_>>i – _>>i; 0_>>0; + i_>>ī) = (0; 1) = e;

J i = (0; j)(i; 0) = (0_>>i – _>>j; 0_>>0; + j_>>ī) = (0; k) = K;

K i = (0; k)(i; 0) = (0_>>i – _>>k; 0_>>0; + k_>>ī) = (0; -j) = - (0; j) = -J;

jI = (j; 0)(0; i) = (j_>>0 – ī_>>0; i_>>j + 0_>>) = (0; k) = K;

jJ = (j; 0)(0; j) = (j_>>0 – _>>0; j_>>j + 0_>>) = (0; -1) = -(0; 1) = - e;

jK = (j; 0)(0; k) = (j_>>0 – _>>0; k_>>j + 0_>>) = (0; - i) = - (0; i) = -I;

I j = (0; i)(j; 0) = (0_>>j – _>>i; 0_>>0 + i_>>) = (0; -k) = -(0; k) = - K;

J j = (0; j)(j; 0) = (0_>>j – _>>j; 0_>>0; + j_>>) = (0; 1) = e;

K j = (0; k)(j; 0) = (0_>>j – _>>k; 0_>>0; + k_>>) = (0; i) = I;

kI = (k; 0)(0; i) = (k_>>0 – ī_>>0; i_>>k + 0_>>) = (0; -j) = - (0; j) = -J;

kJ = (k; 0)(0; j) = (k_>>0 – _>>0; j_>>k + 0_>>) = (0; i) = I;

kK = (k; 0)(0; k) = (k_>>0 – _>>0; k_>>k + 0_>>) = (0; -1) = - (0; 1) = - e;

I k = (0; i)(k; 0) = (0_>>k – _>>i; 0_>>0; + i_>>) = (0; j) = J;

J k = (0; j)(k; 0) = (0_>>k – _>>j; 0_>>0; + j_>>) = (0; - i) = - (0; i) = -I;

K k = (0; k)(k; 0) = (0_>>k – _>>k; 0_>>0; + k_>>) = (0; 1) = e;

e i = (0; 1)(i; 0) = (0_>>i – _>>1; 0_>>0; + 1_>>ī) = (0; - i) = - (0; i) = -I;

e j = (0; 1)(j; 0) = (0_>>j – _>>1; 0_>>0; + 1_>>) = (0; -j) = - (0; j) = -J;

e k = (0; 1)(k; 0) = (0_>>k – _>>1; 0_>>0; + 1_>>) = (0; -k) = - (0; k) = - K;

I e = (0; i)(0; 1) = (0_>>0 – _>>i; 1_>>0; + i_>>) = (-i; 0) = - (i; 0) = - i;

J e = (0; j) (0; 1) = (0_>>0 – _>>j; 1_>>0; + j_>>) = (- j; 0) = - (j; 0) = - j;

K e = (0; k) (0; 1) = (0_>>0 – _>>k; 1_>>0; + k_>>) = (- k; 0) = - (k; 0) = - k;

e I = (0; 1)(0; i) = (0_>>0 –ī_>>1; i_>>0; + 1_>>) = (i; 0) = i;

e J = (0; 1)(0; j) = (0_>>0 –_>>1; j_>>0; + 1_>>) = (j; 0) = j;

e K = (0; 1)(0; k) = (0_>>0 –_>>1; k_>>0; + 1_>>) = (k; 0) = k;

I J = (0; i)(0; j) = (0_>>0 –_>>i; j_>>0 + i_>>) = (- k; 0) = - (k; 0) = - k;

I K = (0; i)(0; k) = (0_>>0 –_>>i; k_>>0 + i_>>) = (j; 0) = j;

J K = (0; j)(0; k) = (0_>>0 –_>>j; k_>>0 + j_>>) = (- i; 0) = - (i; 0) = - i;

J I = (0; j)(0; i) = (0_>>0 –ī_>>j; i_>>0 + j_>>) = (k; 0) = k;

K I = (0; k)(0; i) = (0_>>0 –ī_>>k ; i_>>0+ k_>>) = (- j; 0) = - (j; 0) = - j;

K J = (0; k)(0; j) = (0_>>0 –_>>k ; j_>>0 + k_>>) = (i; 0) = i.

При умножении на мнимые единицы кватернионов образуются дополнительно три несоставных мнимых единицы. Правило произведения мнимых единиц (1,i,j,k,E,I,J,K) может быть представлено таблицей 1.

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

	1	i	j	k	E	I	J	K
1	1	i	j	k	E	I	J	K
i	i	-1	-k	-j	-I	E	K	-J
j	j	k	-1	i	-J	-K	E	I
k	k	-j	-i	-1	-K	J	-I	E
E	E	I	J	K	-1	-i	-j	-k
I	I	-E	K	-J	i	-1	k	-j
J	J	-K	-E	I	j	-k	-1	i
K	K	J	-I	-E	k	j	-i	-1

Или диаграммой взаимных произведений:

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

§3.Действия над октавами

Так как по доказанному пара вида (и; v), где u = a+bi+cj+dk, v = A+Bi+Cj+Dk K, есть и u+ ve, или в алгебраической форме

a+bi+cj+dk+ Ae+BI+CJ+DK,

то сложение двух октав осуществляется как сложение двух многочленов по правилу:

p+ q= (a+bi+cj+dk+ Ae+BI+CJ+DK) +(a_>1>+b_>1>i+c_>1>j+d_>1>k+ A_>1>e+B_>1>I+C_>1>J+D_>1>K) =

= a+a_>1>+(b+b_>1>)i +(c+c_>1>)j +(d+d_>1>)k +(A+ A_>1>)e +(B+B_>1>)I +(C+C_>1>)_> >J +(D +D_>1>)_> >K.

Умножение октав выполняется так; же, как умножение двух многочленов с учетом порядка, умножения мнимых единиц, представленного в вышеприведенной таблице.

Упражнения: 1. Приведите полное представление произведения двух октав

w= a+bi+cj+dk+ Ae+BI+CJ+DK

и w_>1 >=a_>1>+b_>1>i+c_>1>j+d_>1>k+ A_>1>e+B_>1>I+C_>1>J+D_>1>K

в алгебраической форме.

(a+bi+cj+dk+ Ae+BI+CJ+DK)( a_>1>+b_>1>i+c_>1>j+d_>1>k+ A_>1>e+B_>1>I+C_>1>J+D_>1>K)=a a_>1>+ab_>1> i+ ac_>1>j+ad_>1>k+aA_>1>E+aB_>1>I+aC_>1>J+aD_>1>K+bia_>1>+bib_>1>i+bic_>1>j+bid_>1>k+diA_>1>E+biB_>1>I+biC_>1>J+

biD_>1>K+cja_>1>+cjb_>1>i+cjc_>1>j+cjd_>1>k+cjA_>1>E+cjB_>1>I+cjC_>1>J+cjD_>1>K+dka_>1>+dkb_>1>i+dkc_>1>j+dkd_>1>k+dkA_>1>E+dkB_>1>I+dkC_>1>J+dkD_>1>K+AEa_>1>+AEb_>1>i+AEc_>1>j+AEd_>1>k+AEA_>1>E+AEB_>1>I+AEC_>1>J+AED_>1>K+ BIa_>1>+BIc_>1>j+BId_>1>k+BIA_>1>E+BIB_>1>I+BIC_>1>J+BID_>1>K+CJa_>1>+Cjb_>1>i+CJc_>1>j

+CJd_>1>k+CJA_>1>E+CJB_>1>I+CJC_>1>J+CJD_>1>K+Dka_>1>+DKb_>1>i+DKc_>1>j+DKd_>1>k+DKA_>1>E+DKB_>1>I+DKC_>1>J+DKD_>1>K=aa_>1>+ab_>1>i+ac_>1>j+ad_>1>k+aA_>1>E+aB_>1>I+aC_>1>J+aD_>1>K+bia_>1>-bb_>1>+bc_>1>k-bd_>1>j-bA_>1>I+bB_>1>E+bC_>1>K+bD_>1>J+cja_>1>-cb_>1>k-cc_>1>+cd_>1>i-cA_>1>J+cB_>1>K-Cc_>1>E +cD_>1>I+dka_>1>+db_>1>j-c_>1>di-dd_>1>+dA_>1>K-dB_>1>J+dC_>1>I-dD_>1>E+AEa_>1>-Ab_>1>I-Ac_>1>J-Ad_>1>K-AA_>1>+Ab_>1>i+AC_>1>j+AD_>1>k+Bia_>1>+Bb_>1>E-Bc_>1>K+Bd_>1>J-Ba_>1>i-BB_>1>-BC_>1>k+BD_>1>j+CJa_>1>+Cb_>1>K-Cc_>1>E-Cd_>1>I-CA_>1>j+CB_>1>k-CC_>1>-CD_>1>i+DK_>1>a-Db_>1>J-Dc_>1>I+Dd_>1>E-DA_>1>k-DB_>1>j+DC_>1>i-DD_>1>=aa_>1>-bb_>1>-cc_>1>-dd_>1>-AA_>1>-BB_>1>-CC_>1>-DD_>1>+i(ab_>1>+ba_>1>+cd_>1>-dc_>1>+AB_>1>-BA_>1>-_{> -}>cD_>1>+Dc_>1>)+j(ac_>1>-bd_>1>+ca_>1>+db_>1>+AC_>1>+BD_>1>-CA_>1>-DB_>1>)+k(ad_>1>+bc_>1>-cb_>1>+da_>1>+AD_>1>-BC_>1>+CB_>1>-Da_>1>)+E(aA_>1>-bB_>1>-cC_>1>-dD_>1>+Aa_>1>+Bb_>1>+Cc+Dd_>1>)+I(aB_>1>+bA_>1>-Cd_>1>+dC_>1>-Ab_>1>+Ba_>1>-Cd_>1>-Dc_>1>)+J(ac_>1>+bD_>1>+cA_>1>-dB_>1>-Ac_>1>+Bd_>1>+Ca_>1>-Db_>1>)+K(aD_>1>-bC_>1>+cB_>1>+Da_>1>-Ad_>1>-Bc_>1>+ Cb_>1> +Da_>1>).

Этот результат можно записать в матричной форме:

,

.

Решение примеров:

Пример 1.

Сложить кватернионы:

(1+i-2j+15E-17J)+(-2+5j-17E+20K)= -1+i+3j-2E-17J+20K.

Пример 2.

Выполнить умножение:

(1+3K)(2-i+3j+2E+2K)=2-i+3j+2E+2K+6K-3Ki+9Kj+6KE-6=2-i+3j+2E+8K+3J-9I+6K-6=-4-i+2E-9I+14K.

Пример 3.

Решить уравнение:

(1-2i+4K)x=(2-3j+J)(3-5k+E)-5J+8k.

В правой части приведем подобные слагаемые.

(2-3j+J)(3-5k+E)-5J+8k=6-10k+2E-9j+15jk-3jE+3J-5Jk+JE-5J+8k=6-10k+2E-9j+15i-3J+3J-5I-j-5J+8k=6+15i-10j-2k+2E-5I-5J.

x=(1-2i+4K )^-1(6+15i-10j-2k+2E-5I-5J);

x=((1+2i-4K )(6+15i-10j-2k+2E-5I-5J))/21=1/21(6+15i-10j-2k+2E-5I-5J+12i-30-20k+4j-4I-10E-10K-24K-60J-40I-8E-8K+20J-20I)=1/21(-24+27i-6j-22k-16E-69I-45J-442K)

§4. Сопряженные октавы и их свойства

Определение. Если дана октава

w= a+bi+cj+dk+ Ae+BI+CJ+DK,

то октава

= a-bi-cj-dk- Ae-BI-CJ-DK

называется сопряженным ему. В случае, когда октава w выражена через кватернионы и и v как u+ ve, то сопряженная ей октава равна = ū- ve.

Свойства сопряженных октав:

р + = 2а R (выводится непосредственным сложением октавы

р=a+bi+cj+dk+Ae+BI+CJ+DK

с сопряженной ей октавой).

(a+bi+cj+dk+Ae+BI+CJ+DK)+ (a-bi-cj-dk-Ae-BI-CJ-DK)=2a.

2) w=w = a² + b² + c² + d² + A² + B² + C² + D².

В самом деле:

w=(u+ ve)(ū- ve) = (u_>>ū –(-)v)+(-vu+vu)e = (u_>>ū+ _>>)+(-vu+vu)e =(|u|² + |v|²) + 0_>>e = |u|² + |v|².

Здесь и и v кватернионы

u = a+bi+cj+dk, v = A+Bi+Cj+Dk.

А так как

|u|² = a² + b² + c² + d², |v|² = A² + B² + C² + D²,

то w=|u|² + |v|² = a² + b² + c² + d² + A² + B² + C² + D².

Аналогично доказывается равенство

w = a² + b² + c² + d² + A² + B² + C² + D².

3) w= w= а R.

4) =+

(вычисление левой и правой частей равенства дает

одинаковые значения).

В самом деле:

w_>1+> w = (a+bi+cj+dk+( Ae+BI+CJ+DK))+ (a_>1>+b_>1>i+c_>1>j+d_>1>k+ A_>1>e+B_>1>I+C_>1>J+D_>1>K);

левая часть:

=(a-bi-cj-dk-Ae-BI-CJ-DK)+(a_>1>-b_>1>i-c_>1>j-d_>1>k- A_>1>e-B_>1>I-C_>1>J-D_>1>K);

правая часть:

= (a-bi-cj-dk-Ae-BI-CJ-DK);

=( a_>1>-b_>1>i-c_>1>j-d_>1>k- A_>1>e-B_>1>I-C_>1>J-D_>1>K);

+=(a-bi-cj-dk-Ae-BI-CJ-DK)+(a_>1>-b_>1>i-c_>1>j-d_>1>k-A_>1>e-B_>1>I-C_>1>J-D_>1>K).

Отсюда следует, что

:= +.

5) =_>>.

Пусть

w = u+ ve, w_>1 >= u_>1>+ v_>1>e,

где u, u_>1> v, v_>1 >- кватернионы.

Так как

w_>> w_>1>= (u+ ve) ( u_>1>+ v_>1>e) = (uu_>1 >- v) + (v_>1>u+vū_>1>)e,

то

= + (v_>1>u+vū_>1>)e= (ū_>1>ū -v) - (v_>1>u+vū_>1>)e.

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

_>>= (ū_>1> - v_>1>e) (ū - ve) = (ū_>1> ū -(- (-v_>1>))+(- vū_>1 >-v_>1>) = (ū_>1>ū -v_>1>) - (vū_>1 >+_> >v_>1>u)e.

В силу совпадения правых частей полученных равенств и следует тождество 5.

6) w_>>+w_>1>_>>=2 (aa_>1>+bb_>1>+cc_>1>+dd_>1>+A A_>1>+BB_>1>+CC_>1> +DD_>1>)_> > R,

Если

w= a+bi+cj+dk+ Ae+BI+CJ+DK, w_>1 >=a_>1>+b_>1>i+c_>1>j+d_>1>k+ A_>1>e+B_>1>I+C_>1>J+D_>1>K.

Пусть

w = u+ ve, w_>1 >= u_>1>+ v_>1>e,

где u, u_>1> v, v_>1 >- кватернионы. Так как

w_>>=(u+ ve) (ū_>1> - v_>1>e) = (u ū_>1>+v)+(- v_>1>u+ v_>1>)e = (u ū_>1>+v)(vu_>1> –v_>1>u)e

а w_>1>=( u_>1>+ v_>1>e) (ū - ve) = (u_>1>ū+ v_>1>) + (-vu_>1>+v_>1>u)e,

то сложив эти два равенства, получим:

w_>>+ w_>1>_>>= (u ū_>1>+v+u_>1>ū+ v_>1>) + (- v_>1>u+ vu_>1 >- vu_>1>+v_>1>u)e= (u ū_>1>+u_>1>ū +v + v_>1>) + 0_>>e = u ū_>1>+u_>1>ū +v + v_>1> .

В силу свойства 6) сопряженных кватернионов имеют место:

u ū_>1>+u_>1>ū =2 (aa_>1>+bb_>1>+cc_>1>+dd_>1>),

v + v_>1> = 2 (A A_>1>+BB_>1>+CC_>1> +DD_>1>),

u = a+bi+cj+dk, u_>1> = a_>1>+b_>1>i+c_>1>j+d_>1>k,

v = A+Bi+Cj+Dk, v_>1> = A_>1>+B_>1>i+C_>1>j+D_>1>k.

Тогда из последних равенств следует

w_>>+ w_>1>_>>= 2 (aa_>1>+bb_>1>+cc_>1>+dd_>1>+A A_>1>+BB_>1>+CC_>1> +DD_>1>).

4.1 Модуль октавы

Определение. Модулем октавы

w=a+bi+cj+dk+Ae+BI+CJ+DK

называется

Модуль октавы w обозначается |w|. Следовательно,

|w| = .

Из свойства 2) сопряженных октав следует |w|² = w=w. Модуль октавы обладает свойствами:

1) |w| ≥ 0 и |w| = 0 w=0;

2) |w w_>1>| = |w|*|w_>1>|.

Действительно,

|w w_>1>|² = (w w_>1>)() = (w w_>1>) (_>>) = w(w_>1*>)_>>= w|w_>1>|²_>>= |w_>1>|² w_>>= |w_>1>|²_>>|w|²,

Откуда

|w w_>1>| = |w|_>>|w_>1>|

Равенство |pq| = |p|_>> |q| после возведения обеих частей в квадрат в развернутом виде имеет вид:

|w w_>1>| = |w| * |w_>1>|.

(a² + b² + c² + d² + A² + B² + C² + D²)_> > () = (aa_>1 >- bb_>1 >- cc_>1 >- dd_>1 >- AA_>1 >-BB_>1 >- CC_>1 >- DD_>1>)² +(ab_>1 >+ a_>1>b + cd_>1 >-_> >c_>1>d - A_>1>B + B_>1>A + C_>1>D - CD_>1>)² +(ac_>1 >+ a_>1>c - bd_>1 >+ b_>1>d - a_>1>c + ac_>1 >- b_>1>d + bd_>1>)² +(ad_>1 >+ a_>1>d+ bc_>1 >- b_>1>c - a_>1>d + ad_>1 >+ b_>1>c - bc_>1>)² +(a_>1>a - b_>1>b - c_>1>c -d_>1>d + Aa_>1 >+ Bb_>1 >+ Cc_>1> + Dd_>1>)² +

(a_>1>b_> >+ b_>1>a + c_>1>d_> >-_> >d_>1>c - Ab_>1> + Ba_>1> - Cd_>1> + Dc_>1>)² +(a_>1>c_> >+ c_>1>a - b_>1>d+ d_>1>b - ac_>1> + ca_>1 >+ bd_>1> - db_>1>)² +(a_>1 >d+ d_>1>a+ b_>1>c_> >- c_>1>b - ad_>1> + da_>1 >- bc_>1> + cb_>1>)².

Это равенство можно сформулировать так: произведение суммы квадратов восьми действительных чисел на сумму квадратов других восьми действительных чисел равно сумме квадратов восьми действительных чисел.

Если

w^/= bi+cj+dk+ Ae+BI+CJ+DK

- чисто мнимая октава, то

w^/2= (bi+cj+dk+ Ae+BI+CJ+DK) (bi+cj+dk+ Ae+BI+CJ+DK) = b² - c² - d² - A² - B² - C² - D² = -(b² + c² + d² + A² + B² + C² + D²) ≤ 0,

т.е. квадрат чисто мнимой октавы w^/ есть неположительное действительное число.

Можно показать и обратное: если квадрат октавы есть неположительное действительное число, то эта октава - чисто мнимая. Действительно, если октаву w= a+bi+cj+dk+ Ae+BI+CJ+DK представить в виде w = а + w^/, где w^/ - чисто мнимая октава

bi+cj+dk+ Ae+BI+CJ+DK, a, aR, то

w² = (а + w^/)(а + w^/) = a²+ w^/2+2a w^/ =a²- b² - c² - d² - A² - B² - C² - D² +2a w^/.

Если это выражение есть действительное число и а ≠ 0, то w^/= 0. Но тогда w=а, и следовательно, w² = а² не может быть ≤ 0. Следовательно, только октавы вида

w^/= bi+cj+dk+ Ae+BI+CJ+DK

могут обладать тем условием, что их квадраты являются неположительными действительными числами. С учетом этого, октаву можно представить в виде w = а + w^/ где a ,aR, w^/2≤ 0. Тогда сопряженная ей октава = а –p ^/.

В ходе доказательства непротиворечивости системы аксиом алгебры октав мы получили, что

(u; v)^-1 = ; -.

Так как (и; v) = и + ve, то тогда

(и + ve)^-1 = -.

Если

u = a+bi+cj+dk, v = A+Bi+Cj+Dk,

это означает, что

(a+bi+cj+dk+Ae+BI+CJ+DK)^-1== ,

если

w = и + ve = a+bi+cj+dk+ Ae+BI+CJ+DK.

Итак, октава, обратная октаве w, есть октава .

Покажем, что в алгебре октав имеет место равенство:

(ww_>1>) _>1> = w(w_>1>_>1>).

Пусть w = u+ ve, w_>1 >= u_>1>+ v_>1>e, где u, u_>1> v, v_>1 > K, Тогда:

(ww_>1>)_>1> = ((u+ ve)( u_>1>+ v_>1>e))(ū_>1> - v_>1>e) = ((uu_>1 >-v)+ (v_>1>u+ v ū_>1>)e)(ū_>1> - v_>1>e) = ((uu_>1 >-v)ū_>1>+ (v_>1>u+ v ū_>1>))+(-v_>1>(uu_>1 >-v)+ (v_>1>u+ v ū_>1>)_>1>)e = (uu_>1> ū_>1 >-vū_>1>+ v_>1>u+ vū_>1>) +(-v_>1>uu_>1 >+v_>1>v + v_>1>u u_>1>+ vū_>1>u_>1>)e = (u|u_>1>|² + |v_>1>|²u)+(v|v_>1>|² + |u_>1>|²v)e = u(|u_>1>|²+ |v_>1>|²)+ v(|v_>1>|² + |u_>1>|²)e = (|u_>1>|²+ |v_>1>|²)( u+ ve) = |w_>1>|²w.

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

w(w_>1>_>1>) = w|w_>1>|².

Сравнивая правые части этих равенств, получаем:

(ww_>1>) _>1> = w(w_>1>_>1>).

Покажем также, что в алгебре октав имеет место равенство:

_>1>(w_>1>w) = (_>1>w_>1>)w).

Действительно,

_>1>(w_>1>w) = (ū_>1> - v_>1>e)((u_>1>+ v_>1>e)(u+ve)) = (ū_>1> - v_>1>e) ((u_>1>u_> >-v_>1> )+(vu_>1>+ v_>1>ū)e) = (ū_>1>(u_>1>u--v_>1> ) – ()(-v_>1>))+((vu_>1>+ v_>1>ū)ū_>1> - v_>1>())e = (ū_>1>(u_>1>u-v_>1> ) + (ū_>1>+ u)v_>1>) + ((vu_>1>+ v_>1>ū)ū_>1> - v_>1>(ū ū_>1> - v))e= (ū_>1>u_>1>u- ū_>1>v_>1> + ū_>1>v_>1>+ uv_>1>) + (vu_>1> ū_>1>+ v_>1>ūū_>1> - v_>1>ūū_>1> - v_>1>v)e =(|u_>1>|²u + u|v_>1>|²)+(v|u_>1>|² + |v_>1>|²v)e = (|u_>1>|²+ |v_>1>|²)u + (|u_>1>|² + |v_>1>|²)ve = (|u_>1>|²+ |v_>1>|²)( u+ ve) = |w_>1>|²w..

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

(_>1>w_>1>)w = |w_>1>|²w.

Сравнивая правые части этих равенств, получаем:

_>1>(w_>1>w) = (_>1>w_>1>)w.

Рассмотрим уравнение wх = w_>1>, где

w = и + ve = a+bi+cj+dk+ Ae+BI+CJ+DK,

w_>1 >=a_>1>+b_>1>i+c_>1>j+d_>1>k+ A_>1>e+B_>1>I+C_>1>J+D_>1>K.

- известные октавы, а х - неизвестная октава. Умножим слева это уравнение на , w ≠ 0. Тогда:

(wх) = w_>1 > (w)х = w_>1 > |w|² х = w_>1 > х = w_>1 >.

В этом случае октава х называется левой частной от деленияоктавы w_>1>ww на октаву w.

Аналогично, решением уравнения yw = w_>1 >является

yy y = w_>1>,

называемый правым частным от деления октавы w_>1>ww на октаву w.

Найдем квадратный корень из октавы

ww w = a + bi + cj + dk + Ae + BI + CJ + DK.

Значение квадратного корня из этой октавы будем искать как октаву

θ= x + yi + zj + tk +Xe + YI + ZJ + TK ,

где x, y, z, t, X, Y, Z, T R, удовлетворяющий условию θ ² = w. Следовательно,

(x + yi + zj + tk +Xe + YI + ZJ + TK)( x + yi + zj + tk +Xe + YI + ZJ + TK) = a + bi + cj + dk + Ae + BI + CJ + DK x² – y² – z² – t² -X² – Y² – Z² – T²+ 2xyi + 2xzj + 2xtk + 2xXe + 2 xYI +2xzj + 2xtk = = a + bi + cj + dk + Ae + BI + CJ + DK

Если x ≠ 0, тo из первого уравнения системы следует, что

4х⁴ - 4ах² – (b² + c² + d² + A² + B² + C² + D²) = 0

x²= (a± ) = (a± |w|).

Так как х² ≥ 0, то х² = (a± |w|), откуда x=± .Определив х, значения y, z, t, X, Y, Z, T находим из равенств

y = , z = , t = , X = , Y = , Z = , T = .

Из рассмотрения свойств кватернионов и октав можно заметить, что у этих числовых систем много общего. Алгебраические формы записи элементов этих числовых систем представляют собой некоторые многочлены от действительного числа и мнимых единиц с действительными коэффициентами. Одинаковым образом вводится понятие элемента сопряженного данному элементу. Свойства сопряженных элементов одни и те же, в некоторых случаях лишь с поправкой на число мнимых единиц. Понятие модуля кватерниона и октавы вводится одинаковым образом и обладает одинаковыми свойствами. То, что квадрат чисто мнимого кватерниона или октавы есть неположительное действительное число, дает для них возможность записи в виде а + t, где а R и t² ≤ 0. Формула извлечения корня квадратного как из кватерниона, так и из октавы одна и та же, опять-таки с учетом количества мнимых единиц. При внимательном подходе к аксиоматическому определлллению этих числовых систем так же можно заметить общий подход к построению моделей этих числовых систем. Это так называемый метод удвоения, который заключается в том, что при введении нового числового множества мы строим декартов квадрат предыдущего чисссслового множества и новые числа рассматриваем как упорядоченные пары из чисел предыдущего числового множества. Так, удвоением множества действительных чисел получили множество комплексных чисел, удвоением множества комплексных^-чисел - множество кватернионов, удвоением множества кватернионов - множество октав, причем операции сложения и умножения в построенных моделях определялись совершенно одинаково. Такими же свойствами обладает и множество комплексных чисел, однако, в силу того, что их. свойства хорошо изучены на младших курсах, здесь ограничились лишь аксиоматическим построением этой числовой системы.

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

4.2 Алгебраическое сопряжение

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

.

Или, алгебраическое сопряжение используется для определения модуля числа алгебры.

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

.

Сменив знаки при всех мнимых единицах, получим:

.

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

,

,

в случае, если a и b коммутируют по умножению.

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

Любое число любой гиперкомплексной алгебры естественным образом коммутирует как само с собой, так и с действительным числом, поэтому

.

Или, если

, то .

Среди свойств алгебраического сопряжения отметим весьма важные:

- сопряженное произведения равно обратному произведению сопряженных:

,

,

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

.

a) Алгебраическое сопряжение:

;

,

то есть смена знаков мнимых единиц после логарифмирования эквивалентна смене знака у мнимой единицы самого числа:

.

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

б) кватернионы.

Кватернионы имеют строение:

и получены некоммутативным удвоением алгебры комплексных чисел:

.

Мнимая единица удвоения j не коммутирует с единицей i, поэтому сопряжение по ней требует сопряжения также и по i и по k:

.

Алгебраическое сопряжение в кватернионах, также как в комплексных числах, просто меняет знак у компонент при мнимых единицах:

.

То есть в кватернионах сопряжение по мнимой единице и алгебраическое сопряжение так же совпадают.

§5 .Некоторые тождества для октав

Приведем основные тождества, применимые к октавам. Тождества базируются на понятии ассоциатора, коммутатора и йорданова произведения.

()=- ассоциатор;

- коммутатор;

- йорданово произведение.

Линеаризуя тождества, несложно получить, что

& .

Таким образом, ассоциатор есть кососимметрическая функция от x, y, z. В частности:.

.

Алгебры, удовлетворяющие этому условию, называются эластичными. Таким образом, алгебра октав эластична. Покажем на основе эластичности тождество:

,

.

В силу того, что для октав всегда есть действительное число, а в силу эластичности, получаем:

.

Таким образом, для эластичной алгебры справедливо:

.

Функция Клейнфелд:

.

Лемма1. - кососимметрическая, для любой пары равных аргументов

.

В силу правой альтернативности

.

Во всякой алгебре справедливо тождество:

.

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

Поменяв местами: получим: .

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

1) ;

2) ;

3) ;

4) .

Тождества Муфанг.

Правое тождество Муфанг: ;

Левое тождество Муфанг: ;

Центральное тождество Муфанг: .

Вопросы о строении простых алгебр в том или ином многообразии являются одними из главных вопросов теории колец. Мы уже знаем один пример простой неассоциативной альтернативной алгебры - это алгебра Кэли-Диксона. Оказывается, что других простых неассоциативных альтернативных алгебр не существует. Этот результат доказывался с нарастанием общности на протяжении нескольких десятков лет разными авторами: вначале для конечномерных алгебр (Цорн, Шафер), затем для алгебр с нетривиальным идемпотентом (Алберт), для альтернативных тел (Брак, Клейнфелд, Скорнаков), для коммутативных альтернативных алгебр (Жевлаков) и т. д. Наибольшее продвижение было получено Клейнфелдом, доказавшим, что всякая простая альтернативная неассоциативная алгебра, не являющаяся ниль-алгеброй характеристики 3, есть алгебра Кэли-Диксона. Окончательное описание простых альтернативных алгебр осуществилось после появления теоремы Ширшова о локальной нильпонентности альтернативных ниль-алгебр с тождественными соотношениями.

§6. Теорема Гурвица

6.1 Нормированные линейные алгебры

Пусть -линейная алгебра ранга п над полем действительных чисел и х, у А. Если e_>1>, e_>2>, ..., е_>n> - базис А, то:

х = х_>1>е_>1> + х_>2>е_>2> + .... + х_>п>е_>п>, у = y_>1>е_>1> + y_>2>е_>2> + .... + y_>п>е_>п.> .

Определение. Скалярным произведением элементов х, у А называется сумма х_>1>у_>1> + х_>2>у_>2> + ... + х_>п>у_>п>.

Обозначение скалярного произведения:

(х, у) = х_>1>у_>1> + х_>2>у_>2> + ... + х_>п>у_>п>.

В частности:

(х, х) = ++… +.

Скалярное произведение элементов х, уА должно удовлетворять общим условиям скалярного произведения в линейных пространствах:

1)для любых х, у А (х, у) ≥ 0 и (х, х) = 0 тогда и только тогда, когда х = 0;

2)для любых х, у А имеет место (х, у) = (у, х);

3)для любых х, у А и А R имеет место (λх, у) = (х, λу) = λ(х, у):

4)для любых х, у, z А имеет место (х, у + z) = (х, у) + (х, z).

Определение. Линейная алгебра называется нормированной, если в ней можно ввести скалярное произведение для любых х, у А таким образом, чтобы выполнялось равенство:

(ху, ху) = (х, х)(у, у) . ()

Если положим =|х|. то равенство () записывается в виде:

|ху| = |х| |у|.

Из (ху, ху) = (х, х)(у, у) следует, что если ху = 0, то либо х = 0, либо у = 0. В самом деле, тогда

(0, 0) = (х, х)(у, у) (х, х)(у, у) = 0,

откуда либо (х, х) = 0, либо (у, у) = 0. А тогда либо х = 0, либо у =0.

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

Пусть e А, и ue, а - произвольный элемент из А. Покажем, что найдется такое k R, что a - kee. Тогда:

a - kee (a – ke, e) = 0 (a, e) – k(e, e) = 0.

Скалярное, произведение (е, е) ≠ 0, так как е ≠ 0. Тогда а = kе + (а - kе) = kе + u, где u = a - kee.

Следствие. Если - линейная алгебра с единицей 1, то для любого а А имеет место а = k1 + u, где u 1.

Пример 1. Пусть (C, +, ._>R>, .) - поле комплексных чисел. Базисом в С являются 1, i. Скалярное произведение двух комплексных чисел z =а+bi и u =с+ di определим как (z, u) = (zū + u).

Так как

zū = (а+ bi)(с- di) = (ac+bd)+(bc-ad)i,

u= (с+ di)( а-bi) = (ac+bd)+(ad-cb)i,

то (z, u) = (zū + u) = ac+bd.

В частности,

(z, z) = (z + z) = z= |z|² = a²+b².

Так как,

zu = (ac-bd)+(ad+bc)i,

то (zu, zu) = ((zu)*()+( zu)( ))=( zu)()=|zu|² = (ac-bd)²+( ad+bc)²=

a²с²-2abcd + b²d² + a²d² + 2abcd + b²c² = a²c² + a²d² + b²c² + b²d² =

a² (c² + d²) + b² (c² + d²) = (a² + b²) (c² + d²) = | z |² | u |² = (z, z)(u, и),

т.е. выполняется

(zu, zu) = (z, z)(u, и).

Проверим выполнение условий скалярного произведения:

1) (z, z) = | z |² = a² + b² ≥ 0 и (z, z) = a² + b² = 0 a= 0 b= 0 z=0;

2) (z, u) = (zū + u) = ( u+zū) =(u, z);

3) (z, ku) = (z +(ku) ) = k(zū + u) =k(z, u);

4) (z, u+v) = (z +( u+v) ) = (zū+z+ u+ v) =(zū+ u)+ ( z+ v) = (z+u)+(z+v).

Итак, все условия скалярного произведения при

(z, u) = (zū + u)

выполнены для комплексных чисел z и u.

Пример 2. Пусть - тело кватернионов. Базисом в К являются 1, i, j, k. Если

р = a+bi+cj+dk, q = a_>1>+b_>1>i+c_>1>j+d_>1>k,

то по свойству 6 сопряженных кватернионов

p + q = 2(aa_>1 >+ bb_>1 >+ cc_>1 >+ dd_>1>).

Возьмем в качестве скалярного произведения двух кватернионов р и q выражение

(p + q) = aa_>1 >+ bb_>1 >+ cc_>1 >+ dd_>1.>

Итак,

(p, q) = (p + q).

В частности,

(p, p) = (p + p)= p = |p|² = a²+ b² + c² + d².

Проверим выполнение условий скалярного произведения:

1) (p, p) = |p|² = a²+ b² + c² + d² ≥ 0 и (p, p) = a²+ b² + c² + d² = 0 a= 0 b= 0 c= 0 d= 0 p=0;

2) (p, q) = (p + q) = ( q+ p) = (q; p);

3) (p, kq) = (p +(kq) ) = k(p + q) =k(p, q);

4) (p, q_>1>+q_>2>) = (p +(q_>1>+q_>2>) ) = (p_>1>+ p_>2>+ q_>1>+ q_>2>) =(p_>1>+ q_>1>) + (p_>2>+ + q_>2>) = (p+q_>1>)+(p+q_>2>).

Проверим равенство:

(pq, pq) = (p, p)(q, q).

В самом деле,

(pq, pq) = ((pq) * () + (pq) * ()) = ((pq) * () + (pq) * ()) = (pq) * () = p(q)= |q|² p=|p|² + |q|² = (a² + b² + c² + d²)* () = (p,p ) (q, q).

Итак, все условия скалярного произведения при

(p, q) =(p + q)

выполнены для кватернионов р и q.

Пример 3. Пусть - алгебра октав. Базисом в U являются 1, i, j, k, e, I, J, K.

Если

w =и+ve =a+bi+cj+dk+Ae+BI+CJ+DK, и w_>1 >=a_>1>+b_>1>i+c_>1>j+d_>1>k+ A_>1>e+B_>1>I+C_>1 >J+D_>1>K,

то по свойству 6) сопряженных октав

w+w_>1>=2 (aa_>1>+bb_>1>+cc_>1>+dd_>1>+A A_>1>+BB_>1>+CC_>1> +DD_>1>).

Возьмем в качестве скалярного произведения двух октав w и w_>1> выражение

(w+w_>1>) =aa_>1>+bb_>1>+cc_>1>+dd_>1>+A A_>1>+BB_>1>+CC_>1> +DD_>.>

Итак,

(w, w_>1>) = (w+w_>1>).

В частности,

(w, w) = (w+w) = w = | w |² = a² + b² + c² + d² + A² + B² + C² + D² .

Проверим выполнение условий скалярногопроизведения:

1) (w, w) = | w |² = a² + b² + c² + d² + A² + B² + C² + D² ≥ 0 и (w, w) = a² + b² + c² + d² + A² + B² + C² + D² a= 0 b= 0 c= 0 d= 0 A = 0 b= 0 c= 0d= 0 w = 0;

2) (w, w_>1>) = (w_>1>+w_>1>) = (w_>1>+w_>1>) =(w_>1>, w);

3) (w, kw_>1>) = (w(_>1>)+(kw_>1>)) = k(w_>1>+w_>1>) =k(w_>1>, w);

4) (w, w_>1>+ w_>2>) = (w+(w_>1>+w_>2>) ) = ( w_>1 >+ w_>2>+ w_>1>+ w_>2>) = (w_>1 >+ w_>1>) +(w_>2>+w_>2>) = (w, w_>1>)+( w, w_>2>).

Проверим равенство:

(ww_>1>, ww_>1>) = (w, w)(w_>1>, w_>1>).

Действительно,

(ww_>1>, ww_>1>) = (( ww_>1>)() + (ww_>1>)()) = (( ww_>1>)(_>1>) + (ww_>1>)(_>1>)) = (ww_>1>)(_>1>) = w(w_>1>_>1>) = | w_>1> |²* w_>1>_>1> = | w |² * | w_>1> |² = (a² + b² + c² + d² + A² + B² + C² + D²) * () = (w, w)(w_>1>, w_>1>).

Итак, все условия скалярного произведения при

(w, w_>1>) = (w_>1>+w_>1>)

для октав w и w_>1 >выполнены.

Лемма 2. В любой нормированной линейной алгебре имеет место тождество:

(a_>1>b_>1,>a_>2>b_>2>) + (a_>1>b_>2>, a_>2>b_>1>) = 2(а_>1,> a_>2>)(b_>1,> b_>2>). (1)

Подставим в основное тождество (_>>) данной нормированной линейной алгебры вместо х сумму a_>1> + а_>2>, а вместо у - элемент b. Тогда:

((a_>1> + а_>2>)b, (а_>1> + a_>2>)b) = (a_>1> + а_>2>, а_>1> + а_>2>)(b, b)

(a_>1>b + a_>2>b, a_>1>b + a_>2>b) = (a_>1>+a_>2>, a_>1>+a_>2>)(b, b)

(a_>1>b + a_>2>b, a_>1>b) + (a_>1>b + a_>2>b, a_>2>b) =

(а_>1>, a_>1>)(b, b) + (a_>2>, a_>2>)(b, b) + 2(a_>1>, a_>2>)(b, b)

(a_>1>b, a_>1>b) + (a_>2>b, a_>2>b) + 2(а_>1>b, a_>2>b) =

(a_>1>, a_>1>)(b, b) + (a_>2>, a_>2>)(b, b)+2(a_>1>, a_>2>)(b, b). (2)

Но в силу условия (_>>):

(a_>1>b, a_>1>b) = (a_>1>, a_>1>)(b, b); (a_>2>b, a_>2>b) = (a_>2>, a_>2>)(b, b).

Тогда из (2) следует

(a_>1>b,a_>2>b) = (a_>1>, a_>2>)(b, b). (3)

Заменим в (3) b на сумму b_>1> + b_>2>:

(a_>1>(b_>1> + b_>2>), a_>2>(b_>1> + b_>2>)) = (a_>1>, a_>2>)(b_>1> + b_>2>, b_>1> + b_>2>)

(a_>1>b_>1>+a_>1>b_>2>, a_>2>b_>1>+a_>2>b_>2>) = (a_>1>, а_>2>)((b_>1>, b_>1>)+(b_>2>, b_>2>)+2(b_>1>, b_>2>))

(a_>1>b_>1>, a_>2>b_>1>) + (a_>1>b_>1>, a_>2>b_>2>) + (a_>1>b_>2>, a_>2>b_>1>) + (a_>1>b_>2>, a_>2>b_>2>) =

(a_>1>, a_>2>)(b_>1>, b_>1>) + (a_>1>, a_>2>)(b_>2>, b_>2>) + 2(a_>1>, a_>2>)(b_>1>, b_>2>). (4)

Но в силу (З):

(a_>1>b_>1>, a_>2>b_>1>) = (a_>1>, a_>2>)(b_>1>, b_>1>); (a_>1>b_>2>, a_>2>b_>2>) = (a_>1>, a_>2>)(b_>2>, b_>2>).

Тогда из (4) следует

(a_>1>b_>1>, a_>2>b_>2>) + (a_>1>b_>2>, a_>2>b_>1>) = 2(a_>1>, a_>2>)(b_>1>,_> >b_>2>),

что и требовалось доказать.

Лемма 3. В нормированной линейной алгебре с единицей имеет место равенство

(аb) = (b, b)а. (5)

Докажем это равенство для случая b 1 . По следствию из леммы 1 тогда для любого х А имеет место х = k1 + b, откуда при х = b следует k = 0. В этом случае

= - b.

Рассмотрим элемент с = (ab) - а, где = (b, b).

В силу свойств скалярного произведения имеем:

(с, с) = ((аb) - а, (аb) - а) =((аb) , (ab) ) + ²(a, а)- 2((ab) , а). (6)

Упростим первое слагаемое в правой части равенства (6):

((аb) , (ab) ) = (ab, аb)( , ) = (а, а)(b, b)( , ) = (a, а)(b, b)² = ²(а, а).

Для упрощения третьего слагаемого в правой части равенства (6) воспользуемся тождеством (1), записав его в виде:

(а_>1>b_>1>, а_>2>Ь_>2>) = 2(а_>1>, a_>2>)(b_>1>, b_>2>) - (a_>1>b_>2>, a_>2>b_>1>).

Положив a_>1> = ab, b_>1> = , a_>2> = a, b_>2> = 1, получим:

((аb) , a) = 2(ab, а)( , 1) - (ab, а). (7)

Так как

b1, то (, 1) = (-b, 1) = -(b, 1) = 0.

Далее:

-(ab, а) = -(ab, а(-b)) = (ab, ab) = (a, a)(b, b) = (а, а).

Тогда:

((аb) , а) = (а, а).

Отсюда в равенстве (6) получаем:

(с, с) = ²(а, а) + ²(а, а) - 2²(а, а) = 0.

Так как (с, с) = 0, то с = 0, или (ab) - а = 0, откуда

(аb) = а = (b, b)a.

Если b не ортогонален 1, то b = k1 + b^/, где b^/ 1. Тогда

= k1 - b^/ и (аb) = (а(k1+ b^/))(k1- b^/) = k²а - (ab^/)b^/ = k²а + (аb^/)^/.

Так как по доказанному выше:

(аb^/)^/.= (^/,^/)а, то (аb) = k²a + (b^/, b^/)a = [k² + (b', b')]a = (b, b)a,

так как

(b, b) = (k1+ b^/, k1+ b^/) = k²(1, l) + (b', b')+2k(b', l) = k² + (b', b')

в силу того, что (1, 1) = 1 и (b^/ , 1) = 0, так как b^/ 1.

Следствие 1. В нормированной линейной алгебре с единипей имеет место равенство

(ах)+(ау) = 2(х,у)а. (8)

Подставим в тождество (5) вместо b сумму х + y. Тогда

(а(х + у))() = (х + у, х + у)а (а(х + у))( +) = ((х, х) + (у, у) + 2(х, у))а (ах) + (ау) + (ах) + (ау) = (х, х)а+(у, у)а + 2(х, у)а.

В силу тождества (5):

(ax)= (х, х)а, (ау) = (у, у)а.

Тогда:

(ах) + (ау) = 2(х, у)а,

что и требовалось доказать.

Следствие 2. Нормированная линейная алгебра с единицей является альтернативной линейной алгеброй.

Если в равенстве (5) (ab) = (b, b)a положить а = 1, то получается b = (b, b)l = (b, b). Тогда (ab) = a(b), откуда следует, что (ab)b = a(bb).

Аналогично можно доказать, что b(ba) = (bb)a.

Отсюда следует, что алгебра является альтернативной линейной алгеброй.

п. п. 6.2 Теорема Гурвица

Пусть - линейная алгебра с единицей. Согласно Лемме 1 каждый элемент а А однозначно представляется в виде

а = k1+ а', где k R и а' 1.

В алгебре введем операпию сопряжения: элемент, сопряженный элементу а, есть элемент ā = k1- а' Если а = kl, то а' = 0 и ā = k1, т.е. ā = а. Если же а 1, то ā = - а.

Имеют место:

а) ā = а;

б) () = = = (k+l)1-(a^/ + b^/) = (k1 – a^/)(l1 – b^/).

Пусть - подалгебра алгебры ,содержащая 1 и не совпадающая с .Выберем в В базис 1, i_>1>, i_>2>, … i_>n>, такой, что i_>1 > 1, i_>2> 1, … i_>n> 1. Тогда любой элемент b B имеет вид: b = bо + b_>1>i_>1> + b_>2>i_>2 >+ … + b_>n>i_>n>_> >, а сопряженный ему элемент b = b_>0> - b_>1>i_>1> - b_>2>i_>2 >- … - b_>n>i_>n>, откуда и В.

Пусть е - единичный элемент, ортогональный В, т.е. для любого b В имеет место e b.

Рассмотрим множество В + Be = {b_>1> + b_>2>e|b_>1>, b_>2> В}. Покажем, что есть снова подалгебра алгебры .

Лемма 4. Подпространства и ортогональны друг другу, т.е. для любых u_>1>, u_>2> B имеет место u_>1>u_>2>e.

Для доказательства этого факта в тождестве (1) положим вместо

а_>1> = u_>1>, b_>1> = u_>2>, a_>2> = e, b_>2> = 1.

Тогда

(u_>1>u_>2>, e) + (u_>1>, eu_>2>) = 2(u_>1>, e)(u_>2>, 1).

Так как u_>1>, u_>2> В, то u_>1>u_>2> В, а тогда u_>1>u_>2> e, u_>1> e.

Значит,

(u_>1>, u_>2>e) = 0, (u_>1>, e) = 0.

Тогда:

(u_>1>, u_>2>e) = 0, т.е. u_>1> u_>2>e.

Теорема 1.

Представление любого элемента из В + Be в виде u_>1>+ u_>2>e, где u_>1>, u_>2> В, единственно.

Пусть

u_>1> + u_>2>e = u_>1>^/ + u_>2>^/e u_>1> - u_>1>^/ = (u_>2>^/ - u_>2>)e,

откуда следует, что v=u_>1> - u_>1>^/ принадлежит одновременно двум ортогональным подпространствам В и Be. Тогда (v, v) = 0, откуда v = 0. Следовательно, u_>1> - u_>1>^/ = 0 и (u_>2>^/ - u_>2>)e = 0. Из второго равенства либо u_>2>^/ - u_>2> = 0, либо е = 0. Но е ≠ 0, следовательно, u_>2>^/ - u_>2>= 0. Тогда u_>1> = u_>1>^/ и u_>2> = u_>2>', т.е. представление элемента из В + Be в виде u_>1> + u_>2>e единственно.

Лемма 5. Для любых u, v А имеет место

(ue)v = (u)e. (9)

Воспользуемся тождеством (8) из следствия к лемме 3, положив в нем а = u, х = е, у = . Тогда:

(ue)v + (u)= 2(е, )u.

Так как е, то

(е, ) = 0 и (ue)v + (u)= 0.

Но = -е, так как е 1, тогда:

(ue)v + (u)(- е) = 0 (ue)v = (u)e.

Лемма 6. Для любых u, v A имеет место

u(ve) = (vu)e. (10)

Если в том же равенстве (8) положить а = 1, х = u, у = ve, то получаем:

(1*u)ve + 1*()ū = 2(u, ) * 1 u(ve) + ()ū = 2(u, ).

Так как u ve, то u , = -ve, в силу того, что из ve В следует ve 1. Следовательно,

u(ve) + (-ve)ū = 0 u(ve) = (ve)ū.

Воспользовавшись равенством (9), получаем, что (ve)ū = (vu)e. Тогда:

u(ve) = (vu)e.

Лемма 7. Для любых u, v А имеет место

(ue)(ve) = -u. (11)

Прежде всего убедимся, что если формула (11) верна при v = с и при v = d, то она имеет место и при v = c + d. Действительно, если

(uе)(се) = -u и (ue)(de) = -u, то

ue((c + d)e) = (ue)(ce + de) = (ue)(ce) + (ue)(de) = -u - u = - ( + )u.

Так как для любого v В имеет место v = k1+ v^/, где v^/ 1, то докажем равенство (11) по отдельности для k1 для v^/. Тогда на основании сделанного выше замечания, равенство (11) будет справедливо и для v.

Итак, пусть v = k1, откуда (11) принимает вид:

k(ue)e == -ku (ue)e = -u -(ue) = -(e, e)u (uе) =u,

которое верно в силу равенства (5), если учесть, что = -е и (е, е) = 1.

Пусть теперь vl. Тогда = -v. Полагая в том же равенстве (8) а = u, х = е, у = -ve, получаем:

(ue)(ve) + (u(-ve)) = 2(е, - ve)u (ue)(ve) - (u(ve)) = -2(е, ve)u. (12)

Но (е, ve) в силу тождества (3) равно (1, v)(e, e) = 0, так как по условию v1. В ситу (10) второе слагаемое в последнем равенстве (12) равно

-(u(ve)) = -((vu)e) = -vu = u (ue)(ve) = -u.

Теорема 2. Для любых u_>1> +u_>2>e В+Be и v_>1> + v_>2>e В+Be имеет место равенство:

(u_>1> + u_>2>e)(v_>1> + v_>2>e) = (u_>1>v_>1> – _>2>u_>2>) + (v_>2>u_>1> + u_>2>_>1>)e. (13) (13)

Воспользовавшись равенствами (9), (10) и (11), получаем:

(u_>1> + u_>2>e)(v_>1>+ v_>2>e) = u_>1>v_>1> + (u_>2>e)v_>1> + u_>1>(v_>2>e) + (u_>2>e)(v_>2>e) = u_>1>v_>1> + (u_>2>_>1>)e + (v_>2>u_>1>)e - _>2>u_>2> = (u_>1>v_>1> - _>2>u_>2>) + (v_>2>u_>2> + u_>2>_>1>)e.

Теорема З. Любая подалгебра алгебры ,содержащая единицу и не совпадающая со всей алгеброй ,ассоциативна, т.е. для любых u, v, w А имеет место (uv)w = u(vw).

Снова воспользуемся равенством (8), положив в нем а =ve, х = , у = ūe. Тогда

((ve))(-ue) + ((ve)(ūe))w = 2(, ūe)(ve).

Так как

(, ūe) = (*1, ūe) = 0

в силу того, что *1 ūe, то

((ve))(-ūe) +((ve)(ūe))w = 0.

Применив равенства (9) и (10), получаем:

u(vw) - (uv)w = 0, откуда (uv)w = u(vw).

Замечание: Так как алгебра содержит единицу, то в ней имеется подалгебра, состоящая из элементов вида k1, где k R. Эта подалгебра изоморфна алгебре действительных чисел, обозначим ее D. Если в предыдущих рассуждениях в качестве В взять подалгебру D, то е будет любой вектор длины 1, ортогональный к 1.

Из формулы (13) тогда следует, что

е² = (0 +1* е)(0 +1* е) = (0* 0 - * 1) + (1* 0 + 1*)е = -1 + 0* е = -1.

Отсюда можно сделать вывод, что квадрат любого вектора a¹ 1 равен 1, где ≤ 0.

Докажем и обратное: если квадрат какого-либо элемента равен 1, где ≤ 0, то этот элемент ортогонален 1. В самом деле, квадрат любого элемента, не ортогонального 1, т.е. элемента вида а = k1+a^/ где k ≠ 0 и a^/ 1, равен

(k1+ a^/)(k1 + a^/) = k²1 + а'² + 2ka^/ = k²1 + 1 + 2k a^/.

Если это выражение пропорционально 1, то а^/ = 0, следовательно, а = kl, но квадрат k1 не может равняться 1, где ≤ 0.

Отсюда следует, что элементы, ортогональные 1, и только они характеризуются тем свойством, что их квадраты равны 1, где ≤ 0. Тогда для произвольного элемента а А берется его единственное представление в виде

а = k1+a^/, где а^/2 = 1 и ≤ 0,

а сопряженный ему элемент в виде ā = k1 - a'

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

Пусть - нормированная линейная алгебра с единицей над полем действительных чисел, а - ее подалгебра, содержащая 1, е B, где е - единичный вектор. Как мы показали ранее, является подалгеброй алгебры (A, +, ._>R>, .). Из теорем 1 и 2 следует, что.изоморфна удвоенной подалгебре .

Рассмотрим подалгебру , изоморфную полю действительных чисел (R, +, .). Если она не совпадает со всей алгеброй ,то найдется единичный вектор е D. Составим подалгебру , изоморфную удвоению , а следовательно, изоморфную полю комплексных чисел. Назовем ее комплексной подалгеброй алгебры . Из того, что сказано выше о сопряжении в алгебре , вытекает , что для элементов из D + De сопряжение совпадает с обычным сопряжением комплексных чисел.

Если, в свою очередь, подалгебра ,где С = D + De, не совпадает со всей алгеброй ,то опять-таки найдется единичный вектор е^/ С. Составим подалгебру изоморфную удвоению , а следовательно, и изоморфную телу кватернионов. Назовем ее кватернионной подалгеброй алгебры. Из вышесказанного о сопряжении в алгебре следует, что для элементов из С+Се^/ сопряжение с впадает с обычным сопряжением в теле кватернионов.

Если, в свою очередь, подалгебра , где К = C+Ce', не совпадает со всей алгеброй , то снова найдется единичный вектор е" K. Составим подалгебру изоморфную удвоению , а следовательно, и изоморфную алгебре октав.

Но эта подалгебра , где U = К + Ке^// совпадает уже c самой алгеброй ,так как по теореме 3 любая подалгебра алгебры , содержащая 1 и не совпадающая со всей алгеброй , ассоциативна. А так как умножение октав не ассоциативно, а в ее подалгебре (теле кватернионов) оно ассоциативно, то подалгебра совпадает со всей алгеброй .

Резюмируя вышеизложенное, мы получаем, что если алгебра не изоморфна ни одной из алгебр , или , то она изоморфна алгебре октав ,что и доказывает утверждение теоремы Гурвица.

§7. Обобщенная теорема Фробениуса

Теорема. Любая альтернативная линейная алгебра над полем действительных чисел с делением является нормированной линейной алгеброй.

Пусть - альтернативная линейная алгнбра с делением над полем действительных чисел R. Введем в A операцию сопряжения следующим образом: если элемент а A пропорционален 1, то ā = а; если же а не пропорционален 1. то он содержится в комплексной подалгебре . В этой подалгебре для элемента а имеется сопряженный элемент ā, который и примем за элемент, сопряженный к а в алгебре .

Из определения ā непосредственно следует, что = а, а также =kā, где k R.

Пусть а A не пропорционален 1. Рассмотрим кватернионную подалгебру (K, +, ._>R>, .), содержащую а. В этой подалгебре для а A тоже имеется сопряженный элемент ā. Покажем, что а совпадает с ā.

Элементы а и ā, как сопряженные в комплексной алгебре, удовлетворяют условиям:

а+ā = 2а* 1, где а R, (14)

а* ā = d*1, где d R. (15)

Элементы а и ā, как сопряженные в кватернионной алгебре, удовлетворяют условиям:

а+ ã = 2а_>1>* 1, где а_>1> R, (14')

а * ã = d_>1 >*1, где d_>1> R. (15^/)

Вычтем из (14) и (15) соответственно (14^/) и (15'). Тогда:

ā - ã = 2(a – a_>1>)*1.

а (ā - ã) = (d- d_>1>)* 1 2(a – a_>1>)a*1.= (d- d_>1>)* 1.

Если

a(ā - ã), то a = *1,

т.е. а пропорционален 1, что противоречит предположению.

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

Точно так же |а|² = аā как в случае комплексной подалгебры,так и в случае кватернионной подалгебры алгебры , так , что модуль элемента а A не зависит от того, рассматриваем мы его как элемент комплексной или кватернионной подалгебры алгебры .

Тогда для любых a, b А справедливы равенства:

=ā+ и = ā *. (16)

Если а и b принадлежат одной комплексной подалгебре алгебры , то равенства (16) есть свойства, сопряжения в этой подалгебре. Если же они принадлежат разным комплексным подалгебрам, то они будут верны как свойства сопряжения в кватернионной подалгебре алгебры .

Из = b и из второго равенства (16) вытекает, что = bā, откуда

a + bā = с* 1, где с R.

Определим в (A, +, ._>R>, .) скалярное произведение (а, b) как

a + bā = 2(а, b) * 1.

Покажем, что (а, b) удовлетворяет всем свойствам скалярного произведения:

1) (а, а) > 0 при а ≠ 0 и (0, 0) = 0.

В самом деле,

(а, а) * 1 = (аā + аā) = аā = |а|* 1,

а модуль комплексного числа, так же как модуль кватерниона, сторого положителен при а ≠ 0 и равен 0 при а = 0.

2) (a, b) = (b. а), так как

a + bā = 2(a, b)* 1, bā + a = 2(b, a)* 1,

но

a + bā = bā + a, тогда (a, b) = (b, a).

3) (a, kb) = k(a, b) при k R.

Действительно,

(a, kb) = (a() + kbā) = (a(k) + kbā) = k_>>(a + bā) = k(a, b).

4) (a, b_>1 >+ b_>2>) = (a, b_>1>) + (a, b_>2>)

следует из определения скалярного произведения и первого равенства (16).

Из (а, а) = |а|² _> > 1 следует, что = |а|, т.е. норма элемента a А совпадает с модулем а как комплексного числа, так и кватерниона.

Так как любые два элемента а и b из алгебры принадлежат одной комплексной или одной кватернионной подалгебре, то

|ab|² = |a|² _> > |b|² (ab, ab) = (a, a)(b, b).

Следовательно, все свойства скалярного произведения для (а, b) выполняются. Отсюда следует, что алгебра есть нормированная линейная алгебра.

Обобщенная теорема Фробениуса. Любая альтернативная линейная алгебра над полем действительных чисел с делением и единицей изоморфна одной из четырех алгебр: полю действительных чисел, полю комплесных чисел, телу кватернионов или алгебре октав.

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

Список литературы

Виноградова И.А., Олехник С.Н., Садовничий В.А. Математический анализ в задачах и упражнениях (числовые и функциональные ряды). М.: Факториал, 1996, 477с.

Власова Е.А. Ряды. М.: Изд-во МГТУ им. Н.Э.Баумана, 2002, 608с.

Воробьев Н.Н. Теория рядов: Учебное пособие для втузов. М.: Наука, 1986, 408с.

Демидович Б.П., Марон И.А. Основы высшей математики. М.: Наука, 1986, 364с.

Зайцев В.В., Рыжов В.В., Сканави М.И. Элементарная математика. М.: Наука, 1984, 400с.

Никольский С.М. курс математического анализа: Учеб. для вузов: В 2 т. Т.1. М.: Наука, 1990, 528с.; Т.2. М.: Наука, 1991, 544с.

Шмелев П.А. Теория рядов в задачах и упражнениях. М.: Высш.шк., 1983, 176с.