Определение дуальных и двойных чисел

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

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

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

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

В нашей работе исследуются дуальные и двойные числа, а также применение этих чисел в геометрии Евклида и в геометрии Лобачевского.

Глава I. Определение дуальных и двойных чисел

1.1 Дуальные числа

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

(1)

Последняя из этих формул показывает, что произведение дуального числа Вана другое число Вабудет вещественным лишь в том случае, когда ; если , то последнее равенство можно записать в виде . Вещественным, в частности, является произведение чисел Ваи :

(2)

Число Ваназывают сопряжённым числу Ва(и обратно, Васопряжено ); корень квадратный Ваиз произведения Ва(совпадающий с полусуммой Васопряжённых чисел Ваи ) называют модулем дуального числа Ваи обозначают через Ва(отметим, что модуль дуального числа может быть и отрицательным). Сумма Вадвух сопряжённых чисел является вещественной; разность Ваявляется числом чисто мнимым (т.е. отличается от Валишь вещественным множителем). Заметим ещё, что, в полной аналогии с обыкновенными комплексными числами, дуальное число Ватогда и только тогда совпадает со своим сопряжённым , когда оно является вещественным. Также и справедливые для комплексных чисел формулы (3)

, , , Ва(3)

полностью остаются в силе для дуальных чисел.

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

. (4)

Отсюда видно, что для возможности деления на дуальное число Ванеобходимо, чтобы модуль Ваэтого числа был отличен от нуля; при этом, в противоположность обыкновенным комплексным числам, дуальное число нулевого модуля само может быть отличным от нуля. В тех случаях, когда невозможность деления на числа нулевого модуля явится для нас затруднением, мы будем считать, что частные Ваи Ваявляются числами новой природы, которые условимся обозначать через Ваи ; введём также в рассмотрение всевозможные числа вида , где Вавещественно. Тогда любое дуальное число будет иметь обратное:

Вапри ; .

Правила действий над символом Ваопределяются следующими формулами:

, , , , , (5)

здесь - произвольное число, причём в среднем равенстве , а во втором и в двух последних (Вав этих формулах может быть и числом вида ); правила действий над числами Ваопределяются так:

(6)

Положим ещё

, ; (6а)

тогда для расширенного (введением чисел , ) множества дуальных чисел сохраняет силу равенство Ваи все правила (3).

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

. (7)

Поэтому эти числа называют делителями нуля.

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

. (8)

Здесь Ваесть модуль числа , а отношение Ваназывается аргументом этого числа и обозначается через Argz(rможет быть произвольным вещественным числом, отличным от нуля; - произвольным вещественным числом). Очевидно, что вещественные числа Вахарактеризуются равенством нулю их аргумента; сопряжённые дуальные числа Ваи Ваимеют одинаковый модуль r и противоположные аргументы Ваи .

Форма (8) записи дуальных чисел очень удобна в тех случаях, когда эти числа приходится перемножать или делить. Действительно,

; (9)

следовательно, модуль произведения двух дуальных чисел равен произведению модулей сомножителей[1]
, а аргумент произведения - сумме аргументов. Отсюда вытекает, что модуль частного двух дуальных чисел равен частному модулей этих чисел, а аргумент частного тАУ разности соответствующих аргументов:

. (10)

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

Ва(11)

(из последней формулы вытекает, что корень нечётной степени из дуального числа при Ваопределяется однозначно; корень же чётной степени не существует, если r<0, и имеет два значения, еслиr>0[2]
).

1.2 Двойные числа

В полной аналогии со всем изложенным выше назовём двойные числа Ваи Васопряжёнными, если они имеют вид

Ваи .

СуммаВаи произведение Васопряжённых двойных чисел вещественны; корень квадратный из числа , знак которого совпадает со знаком большего по абсолютной величине из вещественных чисел a и , называется модулем числа Ваи обозначается через . Легко проверить, что для двойных чисел остаются в силе все формулы (3); кроме того, ясно, что равенство Вахарактеризует вещественные числа , а равенство Ва- чисто мнимые числа .

Сложение, вычитание, умножение и деление двойных чисел определяются формулами

Ва(12)

Отсюда следует, что и здесь деление на Вавозможно лишь в тех случаях, когда . Двойные числа , модуль которых равен нулю, называются делителями нуля (заметим, что ). В некоторых случаях оказывается удобным считать частные , Ваи Вачислами новой природы; при этом оказывается необходимым ещё расширить понятие двойного числа, введя дополнительно произведения Ваи Вановых чисел Ваи Вана всевозможные вещественные числа c и частные Ваи . Правила действия над символами , , , Ваи Ваопределяются формулами (5) и рядом соотношений, родственных (6), например:

Ва(13)

и т. д. Естественно также положить

, , , , (13а)

что обеспечит выполнение для расширенного указанным образом множества двойных чисел равенства Ваи всех соотношений (3).

Двойные числа ненулевого модуля можно также записать в форме, аналогичной форме (8) записи дуальных чисел. Пусть Ва- модуль Вадвойного числа; далее

.

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

, Ваили , , (14)

где Ваесть некоторое число (определённое формулами (14)), а Ваи ВатАУ гиперболический косинус и гиперболический синус аргумента .

Таким образом, имеем

Ваили . (15)

величина Ваназывается аргументом двойного числа z и обозначается через Argz[3]
.

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

Ва(16)

Таким образом, модуль произведения двух двойных чисел равен произведению модулей сомножителей, а аргумент произведения тАУ сумме аргументов; при этом произведение имеет первую или вторую из форм (15) в зависимости от того, имеют ли сомножители одну и ту же или разные формы. Из формул (16) сразу вытекают правила деления двойных чисел:

;

. (17)

Из формул (16) получаются также правила, позволяющие возводить двойное число в любую целую положительную степень и извлекать из него корень степени :

,

при

нечётном,

при чётном;

Глава II.

2.1 Дуальные числа как ориентированные прямые плоскости.

Две ориентированные прямые будем называть параллельными лишь в том случае, если они параллельны в обычном смысле и направления этих прямых совпадают (рис. 1, а); параллельные прямые противоположных направлений будем называть противопараллельными (рис. 1, б).

аВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа б

Рис. 1

Под расстоянием от прямой a до не пересекающей её прямой будем понимать ориентированное расстояние {a,} от a до , т.е. ориентированное расстояние от произвольной точки прямой a до прямой ; очевидно, что {a,}=-{,a}, если aи параллельны, и {a,}={,a}, если a и противопараллельны.

Полярные координаты точек плоскости определяются заданием некоторой точки O (полюса системы координат) и проходящей через O ориентированной прямойo (полярной оси); координатами точки M служат расстояние r=OM этой точки от полюса и угол ={o,m}, образованный с oориентированной прямой m, соединяющей OиM. Аналогично этому можно определить полярные координаты ориентированных прямых плоскости, для задания которых надо также указать некоторую ориентированную прямую o (полярную ось) и лежащую на o точку O (полюс); координатами прямой l служат угол ={o,l}, образованный l с полярной осью o, и ориентированное расстояние ={O,L} от O до точки L пересечения lи o (рис. 2,а). Очевидно, что координата ориентированной прямой lможет иметь любое значение, заключённое между Ваи ; координата ВатАУ любое значение, заключённое между 0 и 2. Естественно считать, что =0 для прямых, параллельных полярной оси o, и =Вадля прямых, противопараллельных o; если прямая не пересекает оси o, то координаты она не имеет (можно считать, что в этом случае ).

Условимся сопоставлять ориентированной прямой l с полярными координатами Ваи дуальное число

, , Ва(19)

(рис. 2). При этом параллельным o прямым, для которых =0, естественно относить числа нулевого модуля, т.е. делители нуля . Чтобы установить точное соответствие между параллельными o прямыми и делителями нуля, заметим, что расстояние d={O,l} не параллельной o прямой l от полюса O равно

Ва(20)

(рис. 2, а). Чтобы формула (20) сохранила силу и для параллельной o прямой m, отстоящей от o на расстоянии {o,m}=d, то этой прямой нужно сопоставить число

Ва(т.е. , где u=0 и ).

Двум пересекающим o прямым lи l, отличающимся только направлением и, следовательно, имеющим полярные координаты () и (), отвечают дуальные числа

и

.

Считая, что это соотношение сохраняет силу и для прямых, не пересекающих o, условимся относить противопараллельной o прямой m, отстоящей от o на расстоянии {o,m}=d, число

(заметим, что если расстояние {o,m} от o до параллельной o прямой m, совпадающей по положению на плоскости с прямой m, равно d, то d=-d). Прямой o, отличающейся только направлением от полярной оси o (противооси), мы сопоставим число .

Тем самым мы устанавливаем полное соответствие между ориентированными прямыми плоскости и дуальными числами, включая сюда также и числа вида w, где w0 вещественно, и число .

Очевидно, что вещественным числам Ваотвечают проходящие через полюс O прямые; числам модуля 1 тАУ перпендикулярные o прямые; чисто мнимым числам vВа(числам нулевого модуля) и числам бесконечного модуля wВаотвечают параллельные и противопараллельные оси o прямые. Сопряжённым числам Ваи Ваотвечают прямые симметричные относительно полюса O; противоположным числам Ваи ВатАУ прямые, симметричные относительно полярной оси o (т.е. прямые, пересекающие o в одной и той же точке L и образующие сo равные углы {o,z}={-z,o}; см. рис. 2, б); числам z и Ваотвечают прямые, отличающиеся только направлением. Таким образом, равенства

Ва(а), Ва(б), (в)Ва (21)

можно понимать как записи определённых преобразований в множестве ориентированных прямых плоскости: симметрии относительно точки O, симметрии относительно прямой o и переориентации (изменения направления всех прямых плоскости на противоположное).

Выясним теперь, как записываются с помощью дуальных чисел произвольные движения (к числу которых отнесём и переориентацию, также не меняющую расстояний между точками плоскости).

Параллельный перенос вдоль o на расстояние t переводит прямую, которой отвечает дуальное число

,

в прямую, которой отвечает число

(рис. 3, а). Отсюда вытекает, что этот параллельный переносВа можно записать так:

, где , Ва(22)

(т.к. ).

Параллельный перенос на расстояние tВав направлении, перпендикулярном o, переводит прямую

в прямую

(рис. 3, б). Но

.

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

;

таким образом, рассматриваемый параллельный перенос записывается формулой

, где , . (22, а)

Отсюда вытекает, что произвольный параллельный перенос, т.е. перенос на расстояние tВав направлении o и на расстояние tВав направлении lo, записывается формулой

, , ,

или, если ввести обозначение Ва(т.е. ) и воспользоваться тем, что , , , формулой

, (23)

где , , , .

Перейдём теперь к вращениям плоскости. Очевидно, что поворот вокруг O на угол Вапереводит прямую Вав прямую , где Ва(рис. 4). Таким образом,

Ва(24)

(здесь используется то, что если zиzтАУ дуальные числа, то , Ваи ). Далее, если dиd′тАУ расстояния прямых zиz′ отполюса , то

поэтому

.

С другой стороны, поскольку , то

.Ва (24а)

Из (24) и (24а) следует, что наше вращение записывается формулой

, (25)

где , .

Наконец, самое общее движение представляет собой поворот (25) вокруг O на некоторый угол , причём это вращение может сопровождаться ещё параллельным переносом (33):

.

В другом виде это преобразование можно записать так:

, (26а)

где , .

Возможно, также, что исходное движение представляет собой симметрию (21б) относительно прямой o, сопровождаемую преобразованием (36а) (вращением вокруг O и параллельным переносом):

. (26б)

Наконец, движение может представлять собой переориентацию (21в), сопровождаемую одним из преобразований (36а) или (36б):

, (26в)

где , , или

, (26г)

где , .

Очевидно, что ориентированный угол {} между прямыми Ваи Варавен Ва(рис. 5, а)

Это можно записать так:

.

Полученный результат можно также представить в следующей симметричной форме:

. (27)

Найдём теперь ориентированное расстояние d={[],[]} между точками [] и [] пересечения определённой прямой Вас двумя другими прямыми Ваи Ва(рис. 5, б). Очевидно, что расстояние dмежду точками пересечения прямой o с прямыми Ваи Варавно

.

Пример движения, переводящего данную прямую Вав прямую o, даётся формулой

;

это движение переводит прямые Ваи Вав прямые Ваи . Отсюда получаем

.(28)

Условием того, что прямые , Ваи Вапересекаются в одной точке, является равенство нулю расстояния между точками пересечения Ваи Вас , т.е., в силу формулы (28), вещественность отношения .

Это условие можно переписать ещё так:

. (29)

Следовательно, тАЬуравнение точкитАЭ, т.е. условие, которому удовлетворяют прямые , проходящие через одну точку [], имеет вид

,

или

, AтАУ чисто мнимое (30)

(здесь ,Ва ).

Найдём теперь условие того, что четыре ориентированные точки , , Ваи Вапринадлежат одной ориентированной окружности. При этом под ориентированной окружностью мы здесь понимаем совокупность всех ориентированных прямых l, ориентированное расстояние {O,l} которых от данной точки O (центра окружности) имеет фиксированное значение r. Число r называется радиусом окружности; таким образом, радиус ориентированной окружности может быть как положительным, так и отрицательным. Из определения ориентированного расстояния {O,l} от точки O до прямой l следует, что радиус ориентированной окружности будет положительным, если направление обхода противоположно направлению вращения часовой стрелки, и отрицательным в противном случае.

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

{[],[]}{[],[]}={[],[]}{[],[]}. (31)

Чтобы убедиться в этом, рассмотрим рис. 33, на котором изображены четыре ориентированные касательные , , Ваи Ваориентированной окружности S, касающиеся S соответственно в точках M,N,PиQ; точки [], [], [] и [] обозначены через A, B, CиD. При этом, очевидно, имеем

{A,B}{C,D}={A,P}{P,B}{C,Q}{Q,D}

иВаВаВаВаВаВа

{D,A}{B,C}={D,M}{M,A}{B,N}{N,C}

В силу известного свойства касательных к окружности

{A,P}={M,A}, {P,B}={B,N}, {C,Q}={N,C}, {Q,D}={D,M},

значит, во всех случаях выполняется условие (31)

{A,B}{C,D}={D,A}{B,C}.

Нетрудно убедиться и в том, что если равенство (31) имеет место, то четыре прямые , , Ваи Вапринадлежат одной ориентированной окружности или проходят через одну точку.

Воспользовавшись теперь формулой (28), мы можем переписать условие (31) следующим образом:

,

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

.

Но

и

(т.к. Ваи )

Таким образом, равенство (31) можно переписать в следующей простой форме:

. (32)

Дуальное число Ваестественно называть двойным отношением четырёх прямых , , Ваи ; обозначать его будем символом W(,,,). Таким образом, условием того, что четыре прямые , , Ваи Вапринадлежат одной ориентированной окружности (ненулевого радиуса или окружности радиуса нуль тАУ точке), является вещественность двойного отношения W(,,,)=Ваэтих четырёх прямых.

Последнему условию можно придать вид:

=, (33)

откуда вытекает, что уравнение ориентированной окружности (которая в частном случае может оказаться и точкой), определяемой тремя данными прямыми , , Ваи , имеет вид

=. (34)

Таким образом, уравнение каждой ориентированной окружности (или точки) можно записать в форме (35):

, A иC тАУ чисто мнимые. (35)

Нетрудно проверить, что и, обратно, уравнение (35) всегда выражает окружность (или точку).

Прямую уравнение (35) выражает при

. (36)

2.2 Двойные числа как ориентированные прямые плоскости Лобачевского

В полной аналогии с пунктом 2.1 ориентированным прямым плоскости Лобачевского можно сопоставить двойные числа. А именно, введём, как в пункте 2.1, полярную систему координат для прямых и отнесём каждой пересекающей полярную ось o ориентированной прямой l, имеющей полярные координаты , , двойное число

, (37)

а расходящейся с oпрямой m, направленной в ту же сторону, что и o от их общего перпендикуляра PQ, тАУ число

, (37а)

где d={m,o}={P,Q} тАУ кратчайшее ориентированное расстояние между прямыми mи o, т.е. ориентированное расстояние от o проекции P на прямую m общего перпендикуляра прямых mи o, тАЩ={O,Q} тАУ ориентированное расстояние от полюса O системы координат до проекции Q общего перпендикуляра на o (рис. 6).

Далее, так как из формулы (37) вытекает, что двум пересекающим o прямым lи l, отличающимся только направлением, соответствуют двойные числа

и

,

то прямой m, отличающейся только направлением ототвечающей числу (37а) расходящейся с o прямой m, сопоставим число

. (37б)

Прямые, параллельные оси o, можно рассматривать как предельный случай пересекающих o прямых, отвечающий равенству нулю угла , или как предельный случай расходящихся с o прямых, отвечающий равенству нулю расстояний d. Так как из формул (37) и (37а) следует, что , соответственно , то естественно отнести параллельным o прямым, направленным в ту же сторону, что и o, делители нуля, т.е. числа вида . При этом прямым, параллельным o в положительном или отрицательном направлении, отвечают числа , для которых Ваили , т.к. из (37) и (37а) вытекает, что соотношение Варавносильно равенству Ваили , а соотношение ВатАУ равенству Ваили . Из формул неевклидовой тригонометрии следует, что ориентированное расстояние ={O,l} от полюса O до пересекающей o прямой l (рис. 6), отвечающей двойному числу , находится из соотношения

. (38)

Поэтому двум параллельным o прямым и', удалённым от O на расстояние {O, }={O, '}=, надо отнестиВа числа Ва(где ), для которых , т.е. числа

Ваи .

Наконец, исходя из соотношения , связывающего двойные числа zи z, отвечающие пересекающим ось o или расходящимся с o прямым, отличающимся одна от другой лишь направлением, сопоставим противопараллельным o прямым nВаи n(т.е. прямым, параллельным o и противоположно направленным), удалённым от O на расстояние {O, n}={O,n}=p, числа

Ваи ,

где Ваи ВатАУ числа, обратные делителям нуля: , Ва(если и nтАУ две прямые, отличающиеся только направлением, то ={O, }=тАУ{O, Вместе с этим смотрят: