Вы находитесь на странице: 1из 7

© ëËθ‚ÂÒÚÓ‚ Ç.Ç., 1998

NUMBER SYSTEMS

V. V. SIL’VESTROV

The paper deals with pro- cedures and principles of constructing of number systems generalizing real numbers. The examples are: complex, double and dual numbers, quater- nions, octaves, Pauli’s numbers. The matrix rep- resentation of certain numbers is considered.

ê‡ÒÒ͇Á˚‚‡ÂÚÒfl Ó ÒÔÓ- ÒÓ·‡ı Ë ÔË̈ËÔ‡ı ÔÓÒÚ- ÓÂÌËfl ÒËÒÚÂÏ ˜ËÒÂÎ, Ó·Ó·˘‡˛˘Ëı ‰ÂÈÒÚ‚Ë- ÚÂθÌ˚ ˜ËÒ·. èË‚Ó- ‰flÚÒfl ÔËÏÂ˚: ÍÓÏ- ÔÎÂÍÒÌ˚Â, ‰‚ÓÈÌ˚Â Ë ‰Û‡Î¸Ì˚ ˜ËÒ·, Í‚‡ÚÂ- ÌËÓÌ˚, ÓÍÚ‡‚˚, ˜ËÒ· è‡ÛÎË. ê‡ÒÒχÚË‚‡ÂÚÒfl χÚ˘̇fl ÙÓχ Ô‰- ÒÚ‡‚ÎÂÌËfl ÌÂÍÓÚÓ˚ı ˜ËÒÂÎ.

ÒÚ‡‚ÎÂÌËfl ÌÂÍÓÚÓ˚ı ˜ËÒÂÎ. СИСТЕМЫ ЧИСЕЛ Ç. Ç. ëàãúÇÖëíêéÇ

СИСТЕМЫ ЧИСЕЛ

Ç. Ç. ëàãúÇÖëíêéÇ

óÛ‚‡¯ÒÍËÈ „ÓÒÛ‰‡ÒÚ‚ÂÌÌ˚È ÛÌË‚ÂÒËÚÂÚ ËÏ. à.ç. ìθflÌÓ‚‡, ó·ÓÍÒ‡˚

ÇÇÖÑÖçàÖ

Проблемы математики, связанные с решением алгебраических уравнений, в частности простейше- го квадратного уравнения x 2 + 1 = 0, привели к по- явлению в XVI веке представлений о мнимых чис- лах, а в XVIII веке – комплексных чисел, которые, обобщая действительные числа, обладают основ- ными свойствами последних. Например, операции сложения и умножения в множестве комплексных чисел обладают всеми важнейшими свойствами сложения и умножения действительных чисел: они коммутативны, ассоциативны, дистрибутивны и обратимы, то есть возможны вычитание и деление. В то же время в множестве комплексных чисел нет естественного упорядочения: для них не определе- ны понятия “больше” и “меньше”. В последующем комплексные числа нашли широкое применение не только в самой математике, но и в физике, механи- ке и других областях естествознания. Именно это обстоятельство послужило причиной поиска новых систем чисел, которые, являясь обобщением дейст- вительных и комплексных чисел, обладают если не всеми, то хотя бы частью основных свойств послед- них. Так возникли системы двойных и дуальных чи- сел, кватернионов, октав, чисел Клиффорда, Грас- смана и др. В основе построения указанных и других систем чисел лежат разные методы, среди которых особое место занимают процедуры удвое- ния. В данной статье рассматриваются две такие процедуры и примеры наиболее часто встречаемых в приложениях систем чисел, получаемых с помо- щью этих процедур. Однако не все системы чисел можно получить с помощью той или иной процеду- ры удвоения. Так, система гиперкомплексных чисел ранга n может быть получена таким путем, только если n – степень двойки.

èêéñÖÑìêÄ ìÑÇéÖçàü ÉêÄëëåÄçÄ–äãàîîéêÑÄ

1-È ¯‡„. äÓÏÔÎÂÍÒÌ˚Â, ‰‚ÓÈÌ˚Â Ë ‰Û‡Î¸Ì˚ ˜ËÒ·

Пусть a , b – произвольные действительные чис- ла. Рассмотрим множество чисел вида

(1)

где i – некоторый символ (объект), коммутирую- щий с действительными числами при умножении, то есть bi = ib для любого b R , и удовлетворяющий условию i 2 = 1, или i 2 = 1, или i 2 = 0, то есть

(2)

z = a + bi ,

i 2 = ε ,

ëàãúÇÖëíêéÇ Ç.Ç. ëàëíÖåõ óàëÖã

121

где ε равно 1, или 1, или 0. Числа a , b называются компонентами сложного числа z , символ i мнимой единицей . Таким образом, после первого шага про- цедуры Грассмана–Клиффорда происходит удвое- ние множества действительных чисел: одно множе- ство R составляют компоненты a чисел (1), а другое – компоненты b . Числа (1) в случае i 2 = 1 называются комплекс- ными , в случае i 2 = 1 – двойными , а в случае i 2 = 0 – дуальными. Множество комплексных чисел обозна- чается C . Сумма, разность и произведение этих чи- сел находятся по законам элементарной алгебры с учетом условия (2). Согласно этому условию, про- изведения комплексных, двойных и дуальных чисел находятся по формулам

( a + bi )( c + di ) = ac bd + ( ad + bc ) i ,

( a + bi )( c + di ) = ac + bd + ( ad + bc ) i ,

( a + bi )( c + di ) = ac + ( ad + bc ) i

соответственно. Во всех случаях произведение яв- ляется как коммутативным, так и ассоциативным, то есть для любых чисел z 1 , z 2 , z 3 выполняются ра- венства z 1 z 2 = z 2 z 1 и ( z 1 z 2 ) z 3 = z 1 ( z 2 z 3 ).

называется сопряженным к

числу z , а действительное неотрицательное число

Число

z = a bi

2 z = a 2 + b – нормой числа z . Всегда z 1
2
z =
a 2 +
b
– нормой числа z . Всегда
z 1 z 2 = z 1 z 2
и
произведение
zz
= a 2 − ε b 2 является действитель-

ным числом. Для комплексных, и в частности дей- ствительных, чисел понятие нормы || z || совпадает с

(или

) и || z 1 z 2 || = || z 1 || ⋅ || z 2 || . Для двойных и дуаль-

ных чисел эти равенства, вообще говоря, не выпол- няются. Например, они не выполняются для двой- ных чисел z = z 1 = 1 + i и z 2 = 1 i . Предлагаем читателю проверить это самому.

понятием модуля | z | . Для этих чисел

2 z
2
z

zz =

2 z
2
z

zz =

В множестве чисел вида (1) решим уравнение

(3)

где z – искомое, а z 1 0, z 2 – заданные числа одного

и того же типа. Умножив обе части уравнения на получим

(4)

где z 1 z 1

,

z 1 z = z 2 ,

z 1

z 1 z 1 z = z 1 z 2 ,

z 1
z 1

– действительное число. Если z 1 0 – ком-

Следовательно, в

множестве C комплексных чисел уравнение (3) для любых чисел z 1 0, z 2 разрешимо и имеет единст-

венное решение

плексное число, то z 1 z 1 =

2 0.

z =

1 ---------z 1 z 2 , z 1 2
1
---------z 1 z 2 ,
z 1
2

называемое частным от деления z 1 на z 2 . Множества (системы) чисел, обладающие приведенным свой- ством, называются системами с делением. Таким об- разом, C – система с делением. Если z 1 – двойное или дуальное число, то из условия z 1 0, вообще го-

122

z 1 z 1 0.

воря, не следует, что Например, для всех

двойных чисел вида z 1 = a ± ai, a R, и дуальных чи-

Для

по-

этому оно, а значит, и уравнение (3) не для всех z 1 , z 2 разрешимы. Следовательно, множества двойных и дуальных чисел являются системами без деления, и в этих множествах деление на числа a ± ai и ai, a R, и только на них невозможно. Выясним, для каких чисел z 1 0, z 2 0 произве- дение z 1 z 2 = 0. Такие числа называются делителями нуля. В множестве комплексных чисел делителей нуля нет, так как z 1 z 2 = 0 z 1 = 0 или z 2 = 0. В мно- жестве дуальных чисел z 1 z 2 = 0 z 1 = a + ai, z 2 = = a ai, a R. Все эти числа при a 0 являются делителями нуля. В множестве дуальных чисел де- лителями нуля являются числа ai, a R\{0}, так как ai bi = abi 2 = 0 для любых действительных a, b. Из приведенных свойств чисел вида (1) следует, что комплексные числа обладают всеми основными свойствами действительных чисел, связанными с операциями сложения и умножения, в то время как для двойных и дуальных чисел многие из этих свойств не выполняются. По этой причине ком- плексные числа нашли широкое применение в раз- личных разделах математики и других областях нау- ки. Для них определены и изучены практически все положения действительного анализа: последова- тельности, ряды, функции, дифференцирование, интегрирование и т.д. [1]. Для двойных и дуальных

этих чисел уравнение (4) имеет вид

сел вида z 1 = ai, a R, произведение

0

z 1 z 1 = 0. z = z z

1

2

,

чисел также можно определить многие понятия действительного анализа и построить соответствую- щую теорию [2].

2-È ¯‡„ Ôӈ‰Û˚ É‡ÒÒχ̇–äÎËÙÙÓ‰‡

Пусть z 1 , z 2 – произвольные числа вида (1) с мнимой единицей i, удовлетворяющей условию (2), а j – некоторый новый символ (объект), удовлетво- ряющий условию

(5)

где δ равно 1, или 1, или 0, коммутирующий с дей- ствительными числами при умножении, а при ум- ножении на символ i справа антикоммутирующий с ним (ji = ij), или коммутирующий (ji = ij), или вы- рожденный (ji = 0), то есть

(6)

где α равно 1, или 1, или 0. Рассмотрим множество чисел вида

(7)

j 2 = δ,

ji = αij,

u = z 1 + z 2 j.

Так как z 1 = a + bi, z 2 = c + di, то u = a + bi + ci + + dij. Произведение ij представляет собой матема- тический объект с новыми свойствами. Обозначим ij = k. Тогда

(8)

u = a + bi + cj + dk.

ëéêéëéÇëäàâ éÅêÄáéÇÄíÖãúçõâ ÜìêçÄã, ‹8, 1998

Для числа u символы i, j, k называются мнимыми единицами, причем i, j называются главными. В дан- ном случае всевозможные произведения символов

i, j, k друг на друга не задаются, а находятся на осно- вании равенств (2), (5), (6). Эти произведения при- ведены в табл. 1. В этой и последующих таблицах приводятся результаты умножения символов, рас- положенных в первом столбце, на символы, распо- ложенные в первой строке. Из таблицы видно, что в

Таблица 1

 

i

 

jk

i

ε

k

εj

j

αk

δ

αδi

k

αεj

δi

αεδ

случае α = 1 произведение любых двух из символов

i, j, k является коммутативным, а в случае α 1 про-

изведения ij, ik, jk некоммутативны. Следовательно, в случае α = 1 произведение чисел вида (6) всегда коммутативно, а в случаях α = 1 и α = 0 оно неком- мутативно, то есть найдутся такие числа u 1 , u 2 , что

u 1 u 2 u 2 u 1 . Используя табл. 1 также можно показать,

что в случаях α = 1 и α = 1 произведение любых трех символов i, j, k ассоциативно, то есть (ii)j = i(ij), (ij)k = i(jk) и т.д., а в случае α = 0 оно, вообще гово- ря, неассоциативно. Например, (ji)k = αk k = α 2 εδ, j(ik) = j ⋅ εj = εj 2 = εδ, то есть (ji)k j(ik) при α = 0 и ε 0, δ 0. Следовательно, в случаях α = 1 и α = 1 произведение любых трех чисел вида (8) обладает свойством ассоциативности, что не всегда имеет место в случае α = 0.

Задача 1. Пользуясь табл. 1, изучите системы чи- сел вида (8), когда: 1) α = ε = 1, δ = 1; 2) α = 1, ε =

= δ = 1; 3) α = 1, ε = δ = 0. Покажите, что в этих

системах равенство ||u 1 u 2 || = ||u 1 || ⋅ ||u 2 || для нормы

, вообще говоря, не выполня-

ется. Приведите примеры, когда уравнения u 1 u = = u 2 , uu 1 = u 2 , где u 1 0, в этих системах не имеют решений.

Задача 2. Постройте и изучите систему чисел ви- да (7), где z 1 , z 2 принадлежат разным системам чи- сел, например z 1 – комплексное, а z 2 – дуальное число. Покажите. что эта система имеет три мни- мые единицы и условия (2), (5), (6) недостаточны для нахождения всевозможных произведений мни- мых единиц друг на друга.

2 2 2 u = a 2 +++ b c d
2 2
2
u =
a 2
+++
b
c
d

䂇ÚÂÌËÓÌ˚

Рассмотрим более подробно числа (8), когда в

условиях (2), (5), (6) ε = δ = α = 1, то есть i 2 = j 2 =

= 1 и ji = ij. В этом случае мнимые единицы i, j, k перемножаются согласно табл. 2, а сами числа, впер-

ëàãúÇÖëíêéÇ Ç.Ç. ëàëíÖåõ óàëÖã

ëàãúÇÖëíêéÇ Ç.Ç. ëàëíÖåõ óàëÖã вые изученные Гамильтоном,

вые изученные Гамильтоном, называются кватер- нионами. Множество кватернионов обозначается H.

Таблица 2

 

i

 

jk

i

1

k

j

j

k

1

i

k

j

i

1

Для любого кватерниона u = a + bi + cj + dk вер- ны равенства

uu = uu = u 2 , u 1 u 2 = u 2 u
uu = uu =
u 2 ,
u 1 u 2 = u 2 u 1 ,
(9)
u 1 u 2
=
u 1
u 2
,
где
u = a – bi – cj – dk
– кватернион, сопряженный
2
2
к u, а
u =
a 2 +++ d 2
b
c
– норма кватерниона u.

Действительно, так как u = z 1 + z 2 j, где z 1 = a + bi,

z 2 = c + di – комплексные числа, u = z 1 – z
z 2 = c + di – комплексные числа,
u = z 1 –
z
и для
2 j
комплексных чисел zj = jz zz =
,
z
2 ,
то
uu =
( z
1 +
z
2 j)
( z
1 –
z
2 j) = z 1 z 1 –
z jz
2 j
z z
2 j
+
z jz
1 =
2
1
2
2
= z 1 z 1 –
z
2 z
j
z z
2 j
+
z
2 z
1 j =
2
1
2
2
2
=
z 1
+
z 2
2 = a 2 +++ d 2 =
b
c
u 2 .

Остальные равенства доказываются аналогично. Используя равенства (9) решим уравнения

(10)

где u, υ – искомые, а u 1 0, u 2 – заданные кватер-

нионы. Умножив обе части этих уравнений на

слева и справа соответственно, получим уравнения

Так как || u 1 || 2 – дейст-

u 1 u = u 2 ,

υu 1 = u 2 ,

u 1

2 u υ u 1 1
2
u
υ
u 1
1

2 u = u 1 u 2 , вительное

имеют

= u 2 u 1 .

ненулевое

единственные

число,

то

уравнения (10) 1 u = -----------u 1 u 2 и 2 u 1
уравнения
(10)
1
u =
-----------u 1 u 2
и
2
u
1

решения

1 -----------u 2 u 1 , 2 u 1
1
-----------u 2 u 1 ,
2
u
1

называемые соответственно левым и

правым частными от деления u 2 на u 1 . В общем слу-

чае, так как произведение кватернионов некомму- тативно (например, ij ji), то u υ. Следовательно, H – система с делением. Таким образом, умножение в множестве кватер- нионов обладает всеми основными свойствами ум- ножения действительных и комплексных чисел, кроме свойства коммутативности и связанных с ним свойств. По аналогии с действительными и комплексными числами для кватернионов можно определить понятие аргумента и ввести тригономет- рическую форму, рассматривать последовательнос- ти, ряды и функции, операции дифференцирования,

υ =

123

124

интегрирования и т.д. [3, 4]. Так же, как арифметиче- ские действия над комплексными числами соответ- ствуют простейшим геометрическим преобразова- ниям плоскости (параллельному сдвигу, вращению, преобразованию подобия, центральной и осевой симметрии), действия над кватернионами соответ- ствуют подобным преобразованиям трех- и четы- рехмерных пространств, а произведение кватернио- нов друг на друга непосредственно связано со скалярным и векторным произведениями трехмер- ных векторов.

n-È ¯‡„ Ôӈ‰Û˚ É‡ÒÒχ̇–äÎËÙÙÓ‰‡

Продолжая описанный процесс по математиче- ской индукции, на n-м шаге получим числа вида

w = υ 1 + υ 2 l,

(11)

где υ 1 , υ 2 – построенные на (n 1)-м шаге числа ви- дов (1), (7) и т.д., а l – новый символ, обладающий свойствами, аналогичными свойствам символов i, j. Очевидно, число w имеет вид

w = a 0 + a 1 i 1 + a 2 i 2 + … + a m i m ,

(12)

óàëãÄ èÄìãà

Эти числа имеют вид

w = a 0 + a 1 i 1 + a 2 i 2 + a 3 i 3 + a 4 i 12 + a 5 i 13 + a 6 i 23 + α 7 i 123 ,

где i 1 , i 2 , i 3 – главные и i 12 = i 1 i 2 , i 13 = i 1 i 3 , i 23 = i 2 i 3 , i 123 = i 1 i 2 i 3 – остальные мнимые единицы, всевоз- можные произведения которых друг на друга нахо- дятся на основе равенств

i 2 = i 2 2 = i 2 = 1,

1

3

(14)

i 2 i 1 =

i

1

i

2

,

i

3

i

1

=

i

1

i

3

,

i

3

i

2

=

i

2

i

3

.

Таблица 3

 
 

i

1

 

i

2

   

i

3

 

i

12

 

i

13

 

i

23

 

i

123

i

i

1

2

i

3

1

i

i

12

13

i

12

1

i 23

   

i

i

13

23

1

   

i

2

i 1

i

123

i

3

i 123

i 1

   

i

123

i

3

i 2

 

i

23

i 13

i

12

i 12

i 13

i

23

i

123

i 2

i 3

i

123

i

23

 

i

i

1

123

i 3

i 13

i

123

i

i

1

2

i

12

 

1

i

23

i 13

i 3

i 23

1

i

12

i

2

i

13

i 12

1

i 1

i 3

i

2

i 1

1

где m = 2 n 1; a 0 , a 1 , …, a m – действительные числа; i 1 , i 2 , …, i m – мнимые единицы, коммутирующие с действительными числами при умножении. Мни- мые единицы i 1 = i, i 2 = j, …, i n = l называются глав- ными, а остальные выражаются через них по форму- ле i s = i p i q i r , где 1 p < q < … < r n. Всевозможные произведения мнимых единиц друг на друга полно- стью находятся на основании заданных правил ум- ножения главных мнимых единиц друг на друга:

2

i p p < q;

=

ε p ,

i q i p = α pq i p i q ,

p, q = 1, 2, …, n,

(13)

где ε p , α pq равны 1, или 1, или 0. Например, для

мнимой единицы i n + 1 = i 1 i n имеем

= α 1n i 1 i 1 i n i n = α 1n ε 1 ε n . При n = 1 и ε 1 = 1 числа (11), (12) совпадают с комплексными числами, при n = 1, ε 1 = 1 – с двой- ными, при n = 1, ε 1 = 0 – с дуальными, при n = 2 и ε 1 = ε 2 = 1, α 12 = 1 – с кватернионами. К настоя- щему времени хорошо изучены числа, когда в (13) все α pq = 1 (числа Клиффорда); все ε p = 0, α pq = 1 (числа Грассмана); n = 3 и все ε p = 1, α pq = 1 (числа Паули); n = 4 и ε 1 = 1, ε 2 = ε 3 = ε 4 = 1, α pq = 1 (числа Дирака); n = 5 и ε 1 = ε 2 = 1, ε 3 = ε 4 = 1, α pq = 1 (чис- ла Калуцы) и др. Для этих чисел построена теория, аналогичная теории функций комплексного пере- менного, благодаря чему они нашли широкое при- менение в современной математике и различных областях науки: неевклидовой геометрии, теории непрерывных групп, квантовой теории поля, тео- рии упругости и т.д. [5–7].

2 i n + 1

12 = i 1 i 2 i 1 i 2 = i 1 i 1 i 2 i 2 = 1, i 12 i 23 = i 1 i 2 i 2 i 3 =

= i 1 i 3 = i 13 и т.д. Результаты всевозможных произве-

дений мнимых единиц друг на друга приведены в табл. 3. Используя ее или равенства (14) можно по- казать, что произведение чисел Паули ассоциатив- но. Однако оно, вообще говоря, некоммутативно. Этими свойствами обладают и все числа Клиффор- да, кроме комплексных чисел.

Задача 3. Докажите, что норма ||w|| =

=

=

2 числа Паули w находится из ра-

Например,

i

2

2 2 a 0 +++ a … a 7 1 4 w
2 2
a 0 +++
a
a 7
1
4
w

2 = ww +

˜

w

1

˜

w

1

+

w

2

˜

w

2

+

w

3

˜

w

3

,

венства

где w p

= i 1 i n i 1 i n =

 

i p wi p , а “сопряжение”

˜

= a 0 + a 1 i 1 + a 2 i 2 + a 3 i 3

=

w

a 4 i 12 a 5 i 13 a 6 i 23 a 7 i 123 . Покажите, что равенство

||w 1 w 2 || = ||w 1 || ⋅ ||w 2 || для чисел Паули, вообще говоря, неверно и уравнения w 1 w = w 2 , ww 1 = w 2 разрешимы не для всех w 1 0, w 2 . Приведите примеры.

ÉàèÖêäéåèãÖäëçõÖ óàëãÄ

Все рассмотренные выше числа являются при- мерами гиперкомплексных чисел. Так называются математические объекты вида

(15)

где a 0 , a 1 , …, a n – действительные числа, а i 0 , i 1 , …, i n – мнимые единицы, коммутирующие с действитель- ными числами при умножении. Для этих чисел ра- венство и сумма определяются так же, как для век- торов, а произведение их друг на друга находится на

u = a 0 + a 1 i 1 + a 2 i 2 + + a n i n ,

ëéêéëéÇëäàâ éÅêÄáéÇÄíÖãúçõâ ÜìêçÄã, ‹8, 1998

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

i p i q = α pq0 + α pq1 i 1 + α pq2 i 2 + … + α pqn i n , (16)

где α pqr R; p, q = 1, 2, …, n. Множество чисел (15) с определенными выше операциями сложения, умножения и понятием ра- венства называется гиперкомплексной системой раз- мерности (ранга) n + 1. Эта система называется ком- мутативной, если произведение коммутативно, то есть u 1 u 2 = u 2 u 1 для любых чисел u 1 , u 2 системы; ассо- циативной, если произведение ассоциативно, то есть (u 1 u 2 )u 3 = u 1 (u 2 u 3 ); системой с делением, если уравнения u 1 u = u 2 , uu 1 = u 2 для любых u 1 0 и u 2 раз- решимы единственным образом. Примерами ком- мутативной ассоциативной системы с делением яв- ляются множества действительных и комплексных чисел. Множество кватернионов является неком- мутативной ассоциативной системой с делением, а множество чисел Паули является некоммутативной ассоциативной системой без деления. Примером не- коммутативной неассоциативной системы без деле- ния является система чисел вида (8) с табл. 1 умно- жения мнимых единиц, когда α = 0, ε 0, δ 0. В соответствии с современной математической тер- минологией гиперкомплексная система, в том числе и все приведенные примеры систем чисел, является алгеброй. Так называется множество, на котором определены три операции (“сложение”, “умножение элементов множества друг на друга” и “умножение на число”), удовлетворяющие опреде- ленным условиям.

èêéñÖÑìêÄ ìÑÇéÖçàü äùãà–ÑàäëéçÄ

Пусть U – гиперкомплексная система чисел ви- да (15) с некоторым законом умножения (16). Рас- смотрим систему U (2) чисел вида

u = u 1 + u 2 e,

где u 1 , u 2 U, а e – новый символ, коммутирующий с действительными числами при умножении. Опре- делим равенство, сумму и произведение чисел сис- темы U (2) следующим образом:

u 1 + u 2 e = υ 1 + υ 2 e u 1 = υ 1 , u 2 = υ 2 ;

(u 1 + u 2 e) + (υ 1 + υ 2 e) = u 1 + υ 1 + (u 2 + υ 2 )e, (17)

(

u

1

+

u

2

e

(

1

+

υ

2

e) = u 1 υ 1

υ

2

u

2

+ (

υ

2

u

1

+

u

2

υ

1

)e,

где

изведение u на действительное число а равно (a + + 0 e)(u 1 + u 2 e) = au 1 + au 2 e. Множество U (2) , представляющее собой гипер- комплексную систему размерности 2(n + 1), назы- вается удвоением системы U, а сам процесс построе- ния системы U (2) называется процедурой удвоения Кэли–Диксона. Эта процедура отличается от проце- дуры Грассмана–Клиффорда правилом умножения (17). Кроме того, исходная система U может иметь

= a 0 a 1 i 1 a 2 i 2 a n i n . Согласно (17), про-

u

ëàãúÇÖëíêéÇ Ç.Ç. ëàëíÖåõ óàëÖã

u ëàãúÇÖëíêéÇ Ç.Ç. ëàëíÖåõ óàëÖã любую размерность и любой закон

любую размерность и любой закон умножения (16) мнимых единиц.

Рассмотрим системы чисел, получаемые из сис- темы действительных чисел, взятой в качестве пер- воначальной, при многократном применении про- цедуры Кэли–Диксона.

1. U = R. Тогда U (2) есть множество чисел вида

a + bi, где a, b R и i = e. Согласно (17), закон умно-

жения имеет вид

(a + bi)(c + di) = ac bd + (ad + bc)i,

то есть совпадает с законом умножения системы C комплексных чисел. Следовательно, U (2) = C.

2. U = C. Тогда U (2) – множество чисел вида z 1 +

+ z 2 j, где z 1 , z 2 C и j = e. Так как z 1 = a + bi, z 2 = c +

+ di, то u = a + bi + cj + dk, где k = ij. На основании

формулы (17) можно показать, что символы i, j, k перемножаются согласно табл. 2 (предоставляем читателю проверить это самому). Следовательно, U (2) = H – система кватернионов.

éäíÄÇõ

Пусть U = H. Тогда U (2) есть множество чисел вида

w = u 1 + u 2 e =

= a 0 + a 1 i + a 2 j + a 3 k + (a 4 + a 5 i + a 6 j + a 7 k)e =

a 1 i 1 + a 2 i 2 + a 3 i 3 + a 4 i 4 + a 5 i 5 + a 6 i 6 + a 7 i 7 ,(18)

где u 1 , u 2 H, a p R, а i 1 = i, i 2 = j, i 3 = k, i 4 = e, i 5 = ie, i 6 = je, i 7 = ke – мнимые единицы, всевозможные произведения которых друг на друга на основании формулы (17) и табл. 2 определяются табл. 4.

= a 0 +

Таблица 4

 

i

1

i

2

i

3

i

4

i

5

i

6

i

7

i

i

1

2

i

3

i

4

i

5

i

6

i

7

1

i 3

i

2

i 5

i

4

i

7

i 6

i

3

1

i 1

i 6

i 7

i

4

i

5

i 2

i

1

i 7

i

1

6

i 5

i

4

i

5

i

6

i

7

1

i 1

i 2

i 3

i 4

i

7

i 6

i

1

i

1

3

i 2

i 7

i 4

i

5

i

2

i 3

1

i

1

i

6

i 5

i 4

i

3

i

2

i 1

1

Числа (18) с приведенной таблицей умножения мнимых единиц называются октавами. Из этой таблицы видно, что не все произведения мнимых единиц друг на друга коммутативны и ассоциатив- ны. Например, i 1 i 2 i 2 i 1 , (i 3 i 4 )i 5 i 3 (i 4 i 5 ). Следова- тельно, произведение октав, вообще говоря, неком- мутативно и неассоциативно. Для октав так же, как для комплексных чисел и

=

w = a 0 a 1 i 1 a 2 i 2

= ||w|| 2 , ||w 1 w 2 || = ||w 1 || ⋅ ||w 2 ||, где

кватернионов, справедливы равенства

ww = ww

125

a 7 i 7 – сопряжение к w,

нормa числа w, и уравнения w 1 w = w 2 , ww 1 = w 2 при любых w 1 0, w 2 разрешимы и имеют единствен- ное решение. Эти утверждения следуют из равенства w = u 1 + u 2 e, где u 1 , u 2 H, и равенств (9). Следова- тельно, множество октав есть некоммутативная не- ассоциативная система с делением.

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

2 2 2 w = a 0 +++ a … a 1 7
2
2 2
w =
a 0 +++
a
a
1
7

åÄíêàóçéÖ èêÖÑëíÄÇãÖçàÖ çÖäéíéêõï óàëÖã

Имеются разные формы представления рассмот- ренных выше чисел. Комплексные, двойные и ду- альные числа z = a + bi можно представлять, напри- мер, в виде упорядоченных пар действительных чисел с покомпонентным сложением и соответству- ющими правилами умножения:

(a; b)(c; d) = (ac bd; ad + bc),

(a; b)(c; d) = (ac + bd; ad + bc),

(a; b)(c; d) = (ac; ad + bc).

Именно так представляются комплексные числа при вычислениях на компьютерах.

Для многих целей рассматриваемые числа удоб- но представлять еще в виде матриц, с которыми чи- татель уже ознакомился в статье [8].

1. Пусть z = a + bi – комплексное число. Запи- шем его в виде z = ai 0 + bi 1 , где i 0 = 1, i 1 = i. Отойдя от числовой сути символа i 0 , будем рассматривать его как некоторый математический объект, обладаю- щий вместе с объектом i 1 всеми свойствами числа 1, то есть

i

2

0

= i 0 ,

i 0 i 1 = i 1 i 0 = i 1 ,

i 1 2 (19)

= i 0 ,

ai 0 = i 0 a,

ai 1 = i 1 a,

a R.

Возьмем в качестве объектов i 0 , i 1 квадратные матрицы второго порядка

i 0 =

1

0

0

1

,

i 1 =

0

1

.

1

0

Легко проверить, что матрицы i 0 , i 1 удовлетворя- ют всем условиям (19). Например,

126

=

00

10

i 2 =

1

+ 1 ⋅ (1)

+ 0 ⋅ (1)

0

1

 

 

0  

1

0

1

01

11

+ 10

+ 00

=

1

0

=

1

0

0

1

=

i

0 .

Через матрицы i 0 , i 1 “число” z = ai 0 + bi 1 запишется в виде

z =

a

b

b

a

,

(20)

это матричное представление комплексного числа z. Тем самым между множеством комплексных чисел и множеством матриц вида (20) устанавливается взаимно однозначное соответствие, при котором сумме и произведению комплексных чисел соответ- ствуют сумма и произведение матриц вида (20). Та- кое соответствие между двумя множествами назы- вается изоморфизмом. С этим понятием читатель уже встретился в статье [9]. В силу указанного изо- морфизма комплексные числа и матрицы вида (20) обладают одинаковыми свойствами. Например, про- изведение матриц вида (20) снова является матри- цей вида (20), а матричное уравнение

a

1

b

1

b

a

1

1

 

 

 

x

1

x

2

x

x

2

1

=

a

2

b

2

b

a

2

2

,

где первая матрица ненулевая, всегда разрешимо и имеет единственное решение.

2. Для кватерниона u = a + bi + cj + dk = ai 0 +

+ bi 1 + ci 2 + di 3 возьмем

i 0 =

i 2 =



1 0

0 1

,

0

1

,

1

0

i 1 =

i 3 =

i

0

0

i

,

0

i

i

0

,

где i C. Матрицы i 0 и i 1 , i 2 , i 3 обладают всеми свой- ствами числа 1 и мнимых единиц i, j, k (проверьте это сами). Тогда матричное представление кватер- ниона u имеет вид

u =

a + bi c + di

=  

c + di

a bi

z

1

z

2

z

2

z

1

,

(21)

где z 1 = a + bi, z 2 = c + di – комплексные числа. Тем самым между множеством кватернионов и множе-

ством комплексных матриц вида (21) устанавлива- ется изоморфизм.

3. Для матричного представления чисел Паули

традиционно используют следующие представле- ния объекта i 0 и главных мнимых единиц:

ëéêéëéÇëäàâ éÅêÄáéÇÄíÖãúçõâ ÜìêçÄã, ‹8, 1998

i 0 =

i 2 =

1

0

0

i

0

1

i

0

,

,

i 1 =

i 3 =

0

1

1

0

1

0

0

1

,

.

Матричные представления остальных мнимых единиц и самого числа получаются на основе ра- венств i 12 = i 1 i 2 , i 13 = i 1 i 3 , i 23 = i 2 i 3 , i 123 = i 1 i 2 i 3 . Аналогичные матричные представления имеют- ся и для других чисел. Рекомендуем читателю само- му попробовать получить матричные представле- ния двойных, дуальных и других чисел.

áÄäãûóÖçàÖ

Системы гиперкомплексных чисел, способы их построения и их формы представления разнообраз- ны и практически неисчерпаемы. Особое место сре- ди бесконечного многообразия систем чисел зани- мают те, которые обладают основными свойствами действительных чисел: коммутативностью и ассо- циативностью умножения, возможностью деления, то есть однозначного решения уравнений ax = b, xa = b (a 0), и возможностью введения нормы (модуля) так, чтобы норма произведения чисел была равна произведению норм сомножителей. Согласно теоремам Фробениуса и Гурвица, всеми этими свой- ствами обладает только система C комплексных чи- сел. Если отказаться от свойства коммутативности умножения, то к множеству C добавится еще систе- ма H кватернионов, а если отказаться и от свойства ассоциативности умножения, то к множествам C, H добавится система октав. Других систем, обладаю- щих указанными свойствами, нет. В частности, не- возможно построить и систему чисел вида a + bi + + cj, в которой можно выполнять хотя бы деление. В то же время отсутствие у других чисел свойств действительных чисел не означает, что они не инте- ресны и неважны. Например, числа Паули, Калуцы

ëàãúÇÖëíêéÇ Ç.Ç. ëàëíÖåõ óàëÖã

ëàãúÇÖëíêéÇ Ç.Ç. ëàëíÖåõ óàëÖã и Дирака имеют важные

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

Автор выражает благодарность эксперту про- фессору Э.Б. Винбергу за ценные замечания и сове- ты по улучшению содержания статьи.

ãàíÖêÄíìêÄ

1. Маркушевич А.И. Краткий курс теории аналитичес-

ких функций. М.: Наука, 1978. 416 с.

2. Ивлев Д.Д. О двойных числах и их функциях // Ма-

тематическое просвещение. М.: Изд-во физ.-мат. лит., 1961. Вып. 6. С. 197–203.

3. Кантор И.Л., Солодовников А.С. Гиперкомплексные

числа. М.: Наука, 1973. 144 с.

4. Понтрягин Л.С. Обобщения чисел. М.: Наука, 1986.

120 с.

5. Brackx F., Delanghe R., Sommen F. Clifford Analysis.

Boston; L.; Melbourne: Pitnam, 1982. 302 p.

6. Бурлаков М.П. Клиффордовы структуры на много-

образиях // Итоги науки и техники. Современная ма- тематика и ее приложения. М.: ВИНИТИ, 1995. Т. 30:

Геометрия 3. С. 205–257.

7. Райдер Л. Квантовая теория поля. М.: Мир, 1987.

8. Шеврин Л.Н. Тождества в алгебре // Соросовский

Образовательный Журнал. 1996. №7. С. 111–118.

9. Шеврин Л.Н. Что такое полугруппа // Там же. 1997.

№ 4. С. 99–104. 10. Ван-дер-Варден Б.Л. Алгебра. М.: Наука, 1976. 648 с.

* * *

Василий Васильевич Сильвестров, доктор физи- ко-математических наук, профессор, зав. кафедрой математического анализа и дифференциальных уравнений Чувашского государственного универси- тета им. И.Н. Ульянова. Область научных интере- сов – приложения теории функций комплексного переменного в механике. Автор и соавтор более 60 научных статей и двух учебных пособий.

127