ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 25.07.2024
Просмотров: 113
Скачиваний: 1
к умножению |
всех |
коэффициентов |
Ь0, Ьи |
|
Ьп на а\ |
|||||||
(а + |
0г,+ . . . |
+ |
0i„) |
(b0 + Ь{ц |
+ . . . |
+bnin) |
= |
|
|
|||
и |
|
|
|
|
= abQ |
+ ab^i + |
... + |
abjn |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
(&0 + |
6,£,+ . . . |
+ |
&„i„)(a + |
0i1 |
+ . . . |
+0i„) |
= |
|
|
|||
В |
частности, |
|
|
= |
а 6 0 |
+ |
аб^, + |
• • • |
+-abnin. |
|||
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
1 . d = г» |
и |
v |
• \ |
=v, |
|
|
|
||
где г; — любое |
гиперкомплексное |
число. |
|
|
|
|||||||
2) |
Если и |
м v — гиперкомплексные числа, то |
|
|||||||||
|
|
|
(аи) (bv) |
= (ab) |
|
(uv), |
|
|
|
|||
где а и b — произвольные |
действительные |
числа. |
|
|||||||||
' 3 ) |
Справедливы |
оба варианта |
(левый и правый) |
рас |
||||||||
пределительного |
закона: |
= UV + |
|
|
|
|
|
|||||
|
|
|
и (v + w) |
|
UW, |
|
|
|
||||
|
|
|
(v -f- w) и = |
vu |
+ |
|
wu. |
|
|
|
||
Свойства 1), 2), 3) очевидным образом следуют из |
||||||||||||
самой процедуры умножения . Е щ е |
раз подчеркнем, |
что |
||||||||||
они |
справедливы |
в |
любой, |
гиперкомплексной |
системе. |
|||||||
2°. Коммутативные, ассоциативные системы, |
системы |
|||||||||||
с делением. В |
противоположность указанным выше свой |
ствам другие «хорошие» свойства операции умножения, такие, как
uv — vu |
(переместительный закон) |
и |
|
(иг») w — u (vw) |
(сочетательный закон) |
выполняются далеко не в к а ж д о й пшеркомплексной си стеме. Если д л я любых двух чисел и и о, принадлежа щих данной гиперкомплексной системе, справедливо ра венство
|
uv |
= |
vu, |
|
|
то т а к а я система называется |
|
коммутативной. |
|||
В этом месте необходимо сделать замечание по по |
|||||
воду дальнейшей терминологии. |
Д е л о |
в том, что в со |
|||
временной |
математике |
вместо |
слов |
«переместитель |
|
ность» и |
«сочетательность» |
приняты |
имеющие соответ- |
||
34 |
|
|
|
|
|
l
ственно тот ж е смысл термины «коммутативность» и «ассоциативность». Начиная с этого параграфа, мы бу дем пользоваться только ими.
Рассмотренные ранее системы комплексных чисел, двойных и дуальных являются коммутативными; напро тив, система кватернионов не коммутативна.
Нетрудно сообразить, что должно означать условие коммута тивности в терминах таблицы умножения (3). Поскольку в случае коммутативной системы должно быть
ia ip = ipia |
(a, Р — любые номера от 1 до п), |
|||
то |
|
|
|
|
Pap. о + Pap.l'l + |
••• + |
Pap, nin = Ppa-.o + |
Ppa, i«i + ••• |
+Ppa,n«n |
и, следовательно, |
|
|
|
|
Pap,o = |
Ppa,o. |
Pap.l = Ppa,I. • • ч |
Pag, n — Ppa, n |
(4) |
(a, P — любые номера от 1 до п).
Обратно, если выполнены эти равенства, то данная система, оче видно, является коммутативной. Таким образом, наличие соотноше ний (4) между числами pap.v задающими таблицу умножения, есть необходимое и достаточное условие коммутативности.
В случае, когда дл я любых трех чисел и, v, w из данной гиперкомплексной системы выполняется равен ство
|
|
(uv) |
w = u (vw), |
|
система |
называется |
ассоциативной*). |
||
Условие ассоциативности тоже, разумеется, означает наличие |
||||
определенных |
соотношений |
между числами Рар,^ каких именно — |
||
предоставляем |
выяснить читателю. |
|||
К а к |
мы знаем, системы комплексных, двойных, ду |
|||
альных |
чисел, а т а к ж е |
кватернионов являются ассо |
циативными. Простой пример неассоциативной системы
дают числа вида a-\-bi-\-cj |
с таблицей умножения |
|
j 2 = o , |
/ 2 = о, j i = o, ; / = / . |
|
В этом случае (ii) j |
Ф i (ij). |
|
Согласно определению гиперкомплексных чисел, над ними можно производить действия сложения, вычитания и умножения . Что касается деления, то оно возможно для очень немногих гиперкомплексиых систем,. Впрочем,
*) Заметим здесь, что, определяя гиперкомплексную систему, мы отступили от. исторической традиции. Обычно условие ассоциа тивности включается в определение гиперкомплексной системы.
2* 35
здесь следует точно сказать, что подразумевается под
возможностью |
деления. |
|
|
|
|
|
||
Говорят, что д а н н а я |
гиперкомплексная система |
есть |
||||||
-система |
с делением |
(или что в ней возможно |
деление), |
|||||
если к а ж д о е из уравнений |
|
|
|
|||||
и |
|
|
|
vx = и |
|
|
|
|
|
|
|
xv = и |
|
|
|
||
|
|
|
|
|
|
|
||
имеет |
решение, и |
притом |
единственное, при любых и, |
|||||
v, где v фО. |
Решение |
первого уравнения |
называется |
|||||
левым |
частным |
от деления и на v, решение |
второго — |
|||||
правым |
частным. |
Вообще |
говоря, |
левое и правое |
част |
|||
ные не |
совпадают. |
|
|
|
|
|
||
Примерами |
систем с |
|
делением |
являются |
комплекс |
ные числа и кватернионы. Размерность первой из этих систем равна 2, размерность второй равна 4. Удивитель
ный факт, о котором мы еще" будем |
говорить впослед |
|||||||
ствии, |
установлен |
совсем |
недавно: |
гиперкомплексные |
||||
системы |
с делением |
могут |
иметь |
только |
размерности 2, |
|||
4 и 8. Отсюда |
видно, что в общей |
массе |
гиперкомплекс |
|||||
ных систем системы с делением встречаются |
весьма ред |
|||||||
ко. В частности, гиперкомплексная |
система, |
состоящая |
||||||
из чисел вида |
а + Ы -f- cj с любой |
таблицей |
умножения |
|||||
(размерность |
такой |
системы равна |
3), |
является систе |
мой без -деления.
§ 6. Процедура удвоения. Октавы
Мы р а с с к а ж е м здесь еще об одной замечательной си стеме гиперкомплексных чисел, называемых октавами.
Так же, как для комплексных чисел и кватернионов, д л я октав определены не только сложение, вычитание и
умножение, но и деление. Кроме |
того, рассмотрение ок |
||||
тав позволяет сделать еще один |
шаг в «задаче |
о |
сумме |
||
квадратов», поставленной |
в конце § 3, и получить |
тож |
|||
дество |
(!) дл я п = 8. |
|
|
|
|
К а к |
показывает само |
название «октавы» |
(восьмер |
ные числа), это — выражения, состоящие из восьми чле
нов. Д л я записи |
таких выражений необходимо иметь 7 |
|||
«мнимых |
единиц» ц, i2, |
h- И т а к , |
октавы — это вы |
|
р а ж е н и я |
вида |
|
" |
|
а0 + |
<Mi + |
a2i2 + a3i3 + |
а4 *4 + a5i5 |
+ ' a 6 t 6 + a7i7, |
36
где а0, аи |
а2, а3, а4, |
а5, aSt |
а7 — произвольные |
действи |
тельные |
числа. |
|
|
|
Закон |
умножения |
октав |
довольно сложён, |
поэтому - |
определять его сразу мы не будем. Вместо этого мы опи шем одну процедуру, которая позволяет весьма есте ственным путем строить октавы, исходя из кватернионов. Мы назовем эту процедуру удвоением *) и определим октавы как «удвоенные» кватернионы. Впрочем, про цедура удвоения имеет отношение не только к о к т а в а м : мы увидим, что и сами кватернионы получаются удвое нием комплексных чисел и, в свою очередь, комплекс ные числа получаются удвоением действительных чисел.
1°. Другой подход к определению кватернионов. Нач нем с некоторого анализа системы кватернионов. Про
извольный кватернион |
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
q — а + Ы + |
cj + |
dk |
|
|
|||||
можно |
представить, |
|
пользуясь |
тем, |
что Ц = |
k, в виде |
||||||||
или |
|
|
|
q = |
{a + |
bi) + |
{c + |
di)j |
|
|
||||
|
|
|
q = |
|
2, + |
z2j, |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|||||
где Z\ = |
а + |
Ы, |
z2 |
= |
с + |
di. |
|
|
|
|
|
|||
Посмотрим, |
как |
при таком |
способе |
изображения |
ква |
|||||||||
тернионов запишется их закон умножения . |
|
|
||||||||||||
Пусть |
наряду |
с |
q з а д а н |
еще один |
кватернион |
|
||||||||
|
|
|
|
|
|
|
Г = Wi |
+ |
w2j. |
|
|
|
|
|
П е р е м н о ж и в |
q |
и |
г, |
|
получим |
|
|
|
|
|
||||
qr = (z, |
+ |
z,/) |
(га;, + |
w2j) |
= |
|
|
|
|
|
|
|||
|
= |
zlwi |
+ |
z, |
|
(w2j) |
+ |
(z2j) |
и», + |
(г,/) (w2j) |
= |
|
||
|
|
|
|
|
|
|
= z,sy, |
+ |
z{w2j |
+ |
z2[wx + |
z2jw2j |
(1) |
(мы убрали скобки в произведениях, так как умножение кватернионов обладает свойством ассоциативности). Заметим теперь, что поскольку ij = —//, то (a-\-bi)j —. = j(a— bi), т. е.
z} = jz.
*) Часто ее называют процедурой Кэли — Диксона, ,по именам математиков А. Кэли — автора системы октав — и Л. Диксона, впервые рассмотревшего эту процедуру.
37
К р о ме того, легко проверить, |
что любые два элемента |
z и w вида а + Ы перестановочны: |
|
zw — |
wz. |
Исходя из этих свойств, можно переписать второе и третье слагаемые в правой части (1) соответственно в виде w2z\j и z2W\j, а вместо четвертого слагаемого на писать z2w2j2, или — w2z2. Следовательно,
|
|
|
ЦТ = {zxWx |
— w2z2) |
+ |
(w2Zi |
|
+ |
z2w,) |
j . |
|
(2) |
|
|||||
|
О б р а щ а я с ь |
к |
представлению |
кватерниона |
в |
виде |
||||||||||||
<7 = |
Z\ -\- z2j, |
отметим |
|
один |
важный |
|
момент. |
Поскольку |
||||||||||
i2 — — 1 , |
то |
все |
кватернионы |
a -f- bi, |
в |
частности, |
zx |
и |
||||||||||
z2, можно трактовать |
как комплексные |
числа. Вместе |
с |
|||||||||||||||
формулой |
(2) |
это приводит нас к |
такому |
заключению. |
||||||||||||||
|
Кватернионы |
можно |
определить |
|
как |
выражения |
вида |
|||||||||||
Z\-T-Zij, |
где |
z u |
z2 |
— произвольные |
|
комплексные |
|
числа, |
||||||||||
a j — некоторый |
символ, |
причем |
закон |
умножения |
таких |
|||||||||||||
выражений |
|
задается |
формулой |
(2). |
|
|
|
|
|
|
|
|||||||
Это — очень |
существенное наблюдение. Оно поможет |
|||||||||||||||||
нам |
|
понять |
процедуру |
удвоения |
|
гиперкомплексных |
||||||||||||
чисел. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2°. Удвоение |
гиперкомплексной |
|
системы. |
Определе |
ние октав. Введем ряд определений. Пусть задана ги
перкомплексная |
система 41, |
состоящая |
из чисел |
вида |
||
|
и = а0 + axix |
+ a2i2 |
+ . . . + anin |
|
||
с некоторым |
законом умножения. |
|
|
|||
Условимся называть |
элемент |
|
|
|||
|
и = aQ — axix |
— a2i2 |
— . . . — anin |
|
||
сопряженным |
к |
и. |
|
|
|
|
Удвоением |
системы |
%L называется |
новая гиперком |
|||
плексная система °L№ размерности вдвое большей |
(чем |
°U,), которая строится следующим образом. Ее элементы
представляют собой |
в ы р а ж е н и я вида |
|
|
|
|
" i |
+ и2е, |
|
(3) |
где их, и2 — произвольные |
элементы |
из Я1, |
а е — неко |
|
торый символ. Сложение элементов из |
произво |
|||
дится естественным |
образом: |
|
|
|
(и, + и2е) + (г», + v2e) |
= (и, + vx) |
+ («г + |
v2) е, (4) |
.38