Алгебра октав - дипломная работа

Оглавление

Введение

§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₁;v₁) = (u₂;v₂) u₁ = u₂ v₁ = v_2.

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

(u₁;v₁) + (u₂;v₂) = (u₁ + u₂ ; v₁ + v₂);

(u₁;v₁) * (u₂;v₂) = (u₁u₂ - v₂v₁ ; v₂ u₁ + v₁ u₂)_.

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

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

1) ((u₁;v₁) + (u₂;v₂)) + (u₃;v₃) = (u₁ + u₂ ; v₁ + v₂) + (u₃; v₃) = ((u₁ + u₂) + u₃; (v₁ + v₂) + v₃) = (u₁ +( u₂ + u₃); v₁ + (v₂ + v₃)) = ((u₁; v₁) + (u₂+ u₃; v₂+ v₃) = (u₁; v₁) + ((u₂; v₂) + (u₃; v₃)),

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

2) (u₁; v₁) + (u₂; v₂) = (u₁ + u₂ ; v₁ + v₂) = (u₂ + u₁; v₂ + v₁) = (u₂; v₂) + (u₁; v₁),

т.е. сложение в (К х 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₁; v₁) + (u₂; v₂)) (u₃; v₃) = (u₁ + u₂ ; v₁ + v₂) (u₃; v₃) = ((u₁ + u₂) u₃ - ₃(v₁ + v₂); v₃(u₁+u₂)+ (v₁ + v₂)u₃) = (u₁ u₃ + u₂ u₃ - ₃v₁ - ₃v₂; v₃u₁+ v₃u₂+ v₁ u₃ + v₂u₃).

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

(u₁; v₁) (u₃; v₃) + (u₂; v₂) (u₃; v₃) = (u₁u₃ - ₃v₁; v₃u₁ + v₁u₃)+(u₂ u₃ - ₃v₂; v₃u₂+ v₂u₃)=(u₁ u₃ - ₃v₁ + u₂ u₃ - ₃v₂; v₃u₁ + v₁u₃ + v₃u₂+ v₂u₃).

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

((u₁; v₁) + (u₂; v₂)) (u₃; v₃) = (u₁; v₁) (u₃; v₃) + (u₂; v₂) (u₃; v₃),

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

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

(u₃; v₃) ((u₁; v₁) + (u₂; v₂)) = (u₃; v₃) (u₂; v₂) + (u₃; v₃) (u₁; v₁).

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

(u₃; v₃) ((u₁; v₁) + (u₂;v₂)) = (u₃; v₃) v (u₂+ u₁ ; v₁ + v₂) = (u₃ (u₁ + u₂); ()v₃;

(v₁+ v₂)u₃+ v₃())= (u₃ u₁ + u₃u₂ -₁v₃ - ₂v₃; v₁ u₃ + u₂ u₃+ v₃u₁+ v₃u₂);

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

(u₃; v₃) (u₁; v₁) +(u₃; v₃) (u₂; v₂) = (u₃ u₁ - ₁v₃; v₁ u₃ + v₃u₁)+ (u₃ u₂ - ₂v₃; v₂ u₃ + v₃u₂)= (u₃ u₁ - ₁v₁ + u₃ u₂ - ₂v₃; v₁ u₃ + v₃u₁ + v₂ u₃ + v₃u₂).

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

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

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

((u₁; v₁) (u₂; v₂)) (u₃; v₃) = (u₁ u₂ - ₂v₁; v₂ u₁ + v₁ u₂) (u₃; v₃) = ((u₁ u₂ - ₂v₁)u₃ -₃(v₂ u₁ + v₁u₂);

v₃(u₁ u₂ - ₂v₁) - (v₂ u₁ + v₁u₂) u₃) = (u₁ u₂ u₃ - ₂v₁u₃ -₃v₂ u₁ -₃v₁u₂; v₃u₁u₂ - v₃₂v₁ - v₂ u₁ u₃ - v₁u₂ u₃).

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

(u₁; v₁) ((u₂; v₂) (u₃; v₃)) = (u₁; v₁) (u₂u₃ - ₃v₂; v₃u₂ + v₂u₃) = (u₁ (u₂u₃ - ₃v₂) - v₁;

v₁+ (v₃u₂ + v₂u₃) u₁) = (u₁u₂u₃ - u₁₃v₂ -v₁ - u₃₂v₁; v₁- v₁₂v₃ + v₃u₂ u₁ + v₂u₃ u₁).

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

((u₁; v₁) (u₂; v₂)) (u₃; v₃) ? (u₁; v₁) ((u₂; v₂) (u₃; v₃))

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

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

(u₁;v₁) (u₂;v₂) = (u₁u₂ - ₂v₁ ; v₂ u₁ + v₁ u₂);

(u₂;v₂) (u₁;v₁) =(u₂u₁ - ₁v₂ ; v₁ u₂ + v₂ u₁).

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

(u₁;v₁) (u₂;v₂) ? (u₂;v₂) (u₁;v₁)

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

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

((u₁; v₁) (u₂; v₂)) (u₂; v₂) = (u₁; v₁) ((u₂; v₂) (u₂; v₂))

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

((u₁; v₁) (u₂; v₂)) (u₂; v₂) = (u₁ u₂ - ₂v₁; v₂ u₁ + v₁ u₂) (u₂; v₂) = ((u₁ u₂ - ₂v₁)u₂ -₂(v₂ u₁ + v₁u₂);

v₂(u₁ u₂ - ₂v₁) - (v₂ u₁ + v₁u₂) u₂) = (u₁ u₂ u₂ - ₂v₁u₂ -₂v₂ u₁ -₂v₁u₂; v₂u₁u₂ - v₂₂v₁ - v₂ u₁ u₂ - v₁) = (u₁ u₂ u₂ - ₂v₁ (u_{2 +} u₂) - |v₂|² u₁; v₂u₁ (u₂ + u₂) - v₁- |v₂|²v₁) .

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

(u₁; v₁) ((u₂; v₂) (u₂; v₂)) = (u₁; v₁) (u₂ u₂ - ₂v₂; v₂ u₂ + v₂ u₂) = (u₁(u₂ u₂ - ₂v₂) -()v₁;

v₁ () + (v₂ u₂ + v₂ u₂) u₁) = (u₁u₂ u₂ - u₁₂v₂ -v₁ - u₂₂v₁;

v₁- v₁₂v₂ + v₂ u₂ u₁+ v₂ u₂ u₁) = (u₁ u₂ u₂ - (u₂ + u₂) ₂v₁ - u₁|v₂|²; (u₂ + u₂) v₂u₁ + v₁ - v₁|v₂|²).

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

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

(u₂; v₂) ((u₂; v₂) (u₁; v₁)) = ((u₂; v₂) (u₂; v₂)) (u₁; v₁).

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

(u₂; v₂) ((u₂; v₂) (u₁; v₁)) = (u₂; v₂) (u₂u₁ - ₁v₂; v₁ u₂ + v₂ u₁) = (u₂(u₁ u₂ - ₂v₁) - v₂;

(v₁ u₂ - v₂ u₁) u₂ + v₂ ) = (u₂u₁ u₂ - u₂₁v₂ -v₂ - u₁₂v₂; v₁u₂u₂ + v₂ u₁ u₂ + v₂ - v₂₂v₁) = (u₂u₁ u₂ - u₁ |v₂|² - (u₂ + u₂) ₁v₂; v₁u₂u₂ + v₂ u₁(u₂ + u₂) - |v₂|² v₁).

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

((u₂; v₂) (u₂; v₂)) (u₁; v₁) = (u₂ u₂ - ₂v₂; v₂ u₂ + v₂ u₂) (u₁; v₁) = ((u₂ u₂ - ₂v₂) u₁ - ₁(v₂ u₂ + v₂ u₂);

v₁(u₂ u₂ - ₂v₂) + (v₂ u₂ + v₂ u₂) u₁) = (u₂ u₂ u₁- ₂v₂ u₁ - ₁v₂ u₂ - ₁v₂ u₂; v₁u₂ u₂ - v₁₂v₂ + v₂ u₂ u₁ + v₂) = u₂ u₂ u₁ - ₁v₂(u₂ + u₂) - |v₂|²u₁; v₁u₂ u₂ - v₁ |v₂|²+ v₂ u₁ (u₂+ u₂).

Сравнивая правые части полученных равенств, убеждаемся, что они совпадают с точностью до порядка слагаемых. Следовательно, равенство 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х - уu) = (и; v)

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

x(uu^-1) = y+ u*u^-1 x = 1+ ₂yu,

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

v(1+ ₂yu) + уu= vv + ₂ vyu + уu= vyu+ уu= 0 (+ 1)уu =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=₂, откуда:

(u^-1u) x = u^-1v + u^-1 x =₂+₂v = ₂ + ₂yu.

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

v + + уи= 0 ₂ + ₂ 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 + yu) = (1; 0)

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

x (u u^-1) = y₂ + ₂ x = ₂ (yu + u).

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

v₂(yu + + u) + yu = 0 (|u|² + |v|²) yu = - vu

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

xu - = 1,

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

xu= 1 - = .

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

x = * =

Итак, пара

(x; y) = ; -

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

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

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

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

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

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

(u₁, 0) + (u₂, 0) = (u₁ + u₂: 0 + 0) = (u₁ + u₂: 0) U₁;

(u₁, 0) (u₂, 0) = (u₁ u₂ - 0; 0 u₁ + 0 u₂) = (u₁ u₂: 0) U₁.

Далее:

- (u; 0) = (- u; - 0) = ( - u; 0) U₁;

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

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

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

f ((u₁; 0) + (u₂; 0)) = f ((u₁ + u₂: 0)) = u₁ + u₂ = f ((u₁; 0)) + f ((u₂; 0));

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

f ((u₁; 0) (u₂; 0)) = f ((u₁ u₂: 0)) = u₁ u₂ = f ((u₁; 0)) f ((u₂; 0));

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

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

f ((u₁; 0)) = f ((u₂; 0)) u₁ = u₂ (и₁; 0) = (и₂; 0) и f (U₁) = К.

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

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

(0; 1)² = (0; 1) (0; 1) = (00 - 1; 10+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) = (i0 - 0; 1i + 0) = (0; i);

je = (j; 0) (0; 1) = (j0 - 0; 1j + 0) = (0; j);

ke = (k; 0) (0; 1) = (k0 - 0; 1k + 0) = (0; k),

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

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

(ie)² = (i; 0) (i; 0) = (ii - 0; 0i + 0i) = (-1; 0) = -1;

(je)² = (j; 0) (j; 0) = (jj - 0; 0j + 0i) = (-1; 0) = -1;

(ke)² = (k; 0) (k; 0) = (kk - 0; 0k + 0i) = (-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₁, ,, e₁ ) - две модели алгебры октав и e² = -1, e²₁ = ?1.

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

Ф (u+ve) = uve₁, u,v К.

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

Пусть w₁ = u₁+v₁e и w₂ = u₂+v₂e. Тогда:

Ф(w₁+ w₂) = Ф((u₁+v₁e) + (u₂+v₂e)) = Ф((u₁+u₂)+(v₁+v₂)e) = (u₁+u₂)(v₁+v₂)e₁ = (u₁v₁e₁ ) (u₂v₂e₁) = Ф(u₁+v₁e) Ф(u₂+v₂e) = Ф(w₁)Ф(w₂);

Ф(w₁ w₂) = Ф((u₁+v₁e) (u₂+v₂e)) = Ф((u₁u₂ - ₂v₁)+(v₂u₁ + v₁u₂)e) = (u₁u₂ - ₂v₁) (v₂u₁ + v₁ u₂) e) =(u₁u₂ ? ₂v₁)(v₂u₁ v₁u₂)e) =(u₁v₁e₁)( u₂v₂e₁) = Ф(u₁+v₁e) Ф(u₂+v₂e) = Ф(w₁) Ф(w₂);

Ф(-w) = Ф (-(u+ve)) = Ф (-u -ve) = ?u?ve₁ = ?(uve₁) = ?Ф(u+ve)= ?Ф(w);

Ф(w^-1)=Ф((u+ve)^-1)=Ф(?e)= (? e) = ? e = (uve₁)^-1 = (Ф(u+ve)^?1) = (Ф(w)) ^?1.

Следовательно, отображение Ф есть гомоморфное отображение алгебры в (U₁, ,, e₁ ).

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

Ф(w₁)=Ф(w₂) Ф(u₁+v₁e) = Ф(u₂+v₂e) u₁v₁e₁ = u₂v₂e₁ u₁=u₂v₁=v₂ u₁+v₁e= u₂+v₂e w₁= w₂.

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

(qU₁) (u,vK)p= uve₁ (u+ve = wU) Ф(w) = p.

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

§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) = (i0 - i0; ii + 0) = (0; -1) = -(0; 1) = - e;

iJ = (i; 0)(0; j) = (i0 - 0; ji + 0) = (0; -k) = -(0; k) = - K;

iK = (i; 0)(0; k) = (i0 - 0; ki + 0) = (0; j) = J;

I i = (0; i)(i; 0) = (0i - i; 00; + ii) = (0; 1) = e;

J i = (0; j)(i; 0) = (0i - j; 00; + ji) = (0; k) = K;

K i = (0; k)(i; 0) = (0i - k; 00; + ki) = (0; -j) = - (0; j) = -J;

jI = (j; 0)(0; i) = (j0 - i0; ij + 0) = (0; k) = K;

jJ = (j; 0)(0; j) = (j0 - 0; jj + 0) = (0; -1) = -(0; 1) = - e;

jK = (j; 0)(0; k) = (j0 - 0; kj + 0) = (0; - i) = - (0; i) = -I;

I j = (0; i)(j; 0) = (0j - i; 00 + i) = (0; -k) = -(0; k) = - K;

J j = (0; j)(j; 0) = (0j - j; 00; + j) = (0; 1) = e;

K j = (0; k)(j; 0) = (0j - k; 00; + k) = (0; i) = I;

kI = (k; 0)(0; i) = (k0 - i0; ik + 0) = (0; -j) = - (0; j) = -J;

kJ = (k; 0)(0; j) = (k0 - 0; jk + 0) = (0; i) = I;

kK = (k; 0)(0; k) = (k0 - 0; kk + 0) = (0; -1) = - (0; 1) = - e;

I k = (0; i)(k; 0) = (0k - i; 00; + i) = (0; j) = J;

J k = (0; j)(k; 0) = (0k - j; 00; + j) = (0; - i) = - (0; i) = -I;

K k = (0; k)(k; 0) = (0k - k; 00; + k) = (0; 1) = e;

e i = (0; 1)(i; 0) = (0i - 1; 00; + 1i) = (0; - i) = - (0; i) = -I;

e j = (0; 1)(j; 0) = (0j - 1; 00; + 1) = (0; -j) = - (0; j) = -J;

e k = (0; 1)(k; 0) = (0k - 1; 00; + 1) = (0; -k) = - (0; k) = - K;

I e = (0; i)(0; 1) = (00 - i; 10; + i) = (-i; 0) = - (i; 0) = - i;

J e = (0; j) (0; 1) = (00 - j; 10; + j) = (- j; 0) = - (j; 0) = - j;

K e = (0; k) (0; 1) = (00 - k; 10; + k) = (- k; 0) = - (k; 0) = - k;

e I = (0; 1)(0; i) = (00 -i1; i0; + 1) = (i; 0) = i;

e J = (0; 1)(0; j) = (00 -1; j0; + 1) = (j; 0) = j;

e K = (0; 1)(0; k) = (00 -1; k0; + 1) = (k; 0) = k;

I J = (0; i)(0; j) = (00 -i; j0 + i) = (- k; 0) = - (k; 0) = - k;

I K = (0; i)(0; k) = (00 -i; k0 + i) = (j; 0) = j;

J K = (0; j)(0; k) = (00 -j; k0 + j) = (- i; 0) = - (i; 0) = - i;

J I = (0; j)(0; i) = (00 -ij; i0 + j) = (k; 0) = k;

K I = (0; k)(0; i) = (00 -ik ; i0+ k) = (- j; 0) = - (j; 0) = - j;

K J = (0; k)(0; j) = (00 -k ; j0 + k) = (i; 0) = i.

При умножении на мнимые единицы кватернионов образуются дополнительно три несоставных мнимых единицы. Правило произведения мнимых единиц (1,i,j,k,E,I,J,K) может быть представлено таблицей 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₁+b₁i+c₁j+d₁k+ A₁e+B₁I+C₁J+D₁K) =

= a+a₁+(b+b₁)i +(c+c₁)j +(d+d₁)k +(A+ A₁)e +(B+B₁)I +(C+C₁) J +(D +D₁) K.

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

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

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

и w₁ =a₁+b₁i+c₁j+d₁k+ A₁e+B₁I+C₁J+D₁K

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

(a+bi+cj+dk+ Ae+BI+CJ+DK)( a₁+b₁i+c₁j+d₁k+ A₁e+B₁I+C₁J+D₁K)=a a₁+ab₁ i+ ac₁j+ad₁k+aA₁E+aB₁I+aC₁J+aD₁K+bia₁+bib₁i+bic₁j+bid₁k+diA₁E+biB₁I+biC₁J+

biD₁K+cja₁+cjb₁i+cjc₁j+cjd₁k+cjA₁E+cjB₁I+cjC₁J+cjD₁K+dka₁+dkb₁i+dkc₁j+dkd₁k+dkA₁E+dkB₁I+dkC₁J+dkD₁K+AEa₁+AEb₁i+AEc₁j+AEd₁k+AEA₁E+AEB₁I+AEC₁J+AED₁K+ BIa₁+BIc₁j+BId₁k+BIA₁E+BIB₁I+BIC₁J+BID₁K+CJa₁+Cjb₁i+CJc₁j

+CJd₁k+CJA₁E+CJB₁I+CJC₁J+CJD₁K+Dka₁+DKb₁i+DKc₁j+DKd₁k+DKA₁E+DKB₁I+DKC₁J+DKD₁K=aa₁+ab₁i+ac₁j+ad₁k+aA₁E+aB₁I+aC₁J+aD₁K+bia₁-bb₁+bc₁k-bd₁j-bA₁I+bB₁E+bC₁K+bD₁J+cja₁-cb₁k-cc₁+cd₁i-cA₁J+cB₁K-Cc₁E +cD₁I+dka₁+db₁j-c₁di-dd₁+dA₁K-dB₁J+dC₁I-dD₁E+AEa₁-Ab₁I-Ac₁J-Ad₁K-AA₁+Ab₁i+AC₁j+AD₁k+Bia₁+Bb₁E-Bc₁K+Bd₁J-Ba₁i-BB₁-BC₁k+BD₁j+CJa₁+Cb₁K-Cc₁E-Cd₁I-CA₁j+CB₁k-CC₁-CD₁i+DK₁a-Db₁J-Dc₁I+Dd₁E-DA₁k-DB₁j+DC₁i-DD₁=aa₁-bb₁-cc₁-dd₁-AA₁-BB₁-CC₁-DD₁+i(ab₁+ba₁+cd₁-dc₁+AB₁-BA₁- _-cD₁+Dc₁)+j(ac₁-bd₁+ca₁+db₁+AC₁+BD₁-CA₁-DB₁)+k(ad₁+bc₁-cb₁+da₁+AD₁-BC₁+CB₁-Da₁)+E(aA₁-bB₁-cC₁-dD₁+Aa₁+Bb₁+Cc+Dd₁)+I(aB₁+bA₁-Cd₁+dC₁-Ab₁+Ba₁-Cd₁-Dc₁)+J(ac₁+bD₁+cA₁-dB₁-Ac₁+Bd₁+Ca₁-Db₁)+K(aD₁-bC₁+cB₁+Da₁-Ad₁-Bc₁+ Cb₁ +Da₁).

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

,

.

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

Пример 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. Сопряженные октавы и их свойства

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