Портал | Содержание | О нас | Авторам | Новости | Первая десятка | Дискуссионный клуб | Чат Научный форум --> Первая десятка "Русского переплета" Темы дня:

Президенту Путину о создании Института Истории Русского Народа. |Нас посетило 40 млн. человек | Чем занимались русские 4000 лет назад?

| Кому давать гранты или сколько в России молодых ученых?

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

А. О. ВАТУЛЬЯН

Ростовский государственный университет, Ростов-на-Дону

ВВЕДЕНИЕ

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

Первое обобщение понятия действительного числа - введение комплексных чисел. Эти числа являются удобным математическим средством, позволяющим описывать количественные соотношения, решать многие математические проблемы [1]. Так, например, квадратное уравнение x2 + 1 = 0 является неразрешимым во множестве действительных чисел, однако имеет два решения во множестве комплексных чисел x1, 2 = ? i.

Вообще говоря, под комплексными числами будем понимать множество упорядоченных пар действительных чисел (a, b) вида a + ib, где операции сложения и умножения осуществляются по правилам

(a1 + ib1) + (a2 + ib2) = (a1 + a2) + i(b1 + b2),

(a1 + ib1)(a2 + ib2) = (a1a2 - b1b2) + i(a1b2 + a2b1).

Эти операции подчиняются обычным распределительным законам, известным из школьного курса алгебры, с заменой i 2 = -1.

Можно дать векторную интерпретацию комплексных чисел. Комплексному числу a + ib можно поставить в соответствие вектор с координатами (a, b), выходящий из начала координат (рис. 1). При такой интерпретации сложению и вычитанию комплексных чисел соответствуют сложение и вычитание векторов на плоскости.

На множестве комплексных чисел можно ввести два основных элемента или, как говорят в математике, базис 1 и i. Это означает, что любое комплексное число можно представить в виде a " 1 + b " i; комплексные числа можно трактовать как упорядоченные пары действительных чисел (a, b).

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

v = a " i + b " j + c " k;

cам вектор может быть интерпретирован как упорядоченная тройка действительных чисел (a, b, c).

ОПРЕДЕЛЕНИЕ КВАТЕРНИОНОВ

Попытки обобщить понятие комплексного числа привели к первому примеру гиперкомплексной системы - кватернионам [3, 4]. Создание таких объектов принадлежит ирландскому математику У. Гамильтону, который задался проблемой построить из точек пространства числовую систему, подобную множеству действительных чисел. Оказалось, что такую структуру построить нельзя, однако если отказаться от коммутативности умножения, то из точек четырехмерного пространства можно построить некоторую числовую систему, которая и называется кватернионами.

Итак, кватернион представляет собой упорядоченную четверку действительных чисел s, a, b, c, которые связаны с четырьмя базисными элементами 1, i, j, k, обладающими следующими свойствами:

i2 = j2 = k2 = -1,

ij = k, jk = i, ki = j,

ji = - k, kj = - i, ik = - j.

Заметим, что базисные элементы i, j, k могут быть интерпретированы как базисные векторы декартовой системы координат в трехмерном пространстве. Таким образом, всякий кватернион Q может быть записан в виде

Q = s " 1 + a " i + b " j + c " k.

Обычно кватернион Q разделяют на скалярную часть s и векторную v = a " i + b " j + c " k, так что Q = = s + v.

Четверка чисел (s, a, b, c) характеризует компоненты кватернионов.

Нетрудно видеть, что если s = 0, то кватернион переходит в вектор v в трехмерном пространстве. Важная особенность кватернионов состоит в том, что подмножеством кватернионов являются вещественные числа (s, 0, 0, 0); комплексные числа (s, а, 0, 0); векторы в трехмерном пространстве (0, а, b, c) (рис. 2).

АЛГЕБРА КВАТЕРНИОНОВ

Определим операции над двумя кватернионами Q1 = s1 + v1 и Q2 = s2 + v2 .

1. Сложение

Q = Q1 + Q2 = (s1 + s2) + (v1 + v2).

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

2. Умножение

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

Q = Q1Q2 = s1s2 + s2v1 + s1v2 + a1i(a2i + b2 j + c2k) +

+ b1 j(a2i + b2 j + c2k) + c1k(a2i + b2 j + c2k) =

= s1s2 + s2v1 + s1v2 - a1a2 + a1b2k - a1c2 j - b1a2k -

- b1b2 + b1c2i + c1a2 j - c1b2i - c1c2 =

= s1s2+ s2v1 + s1v2 - v1 " v2 + v1 i v2 ,

где введены операции скалярного и векторного произведений векторов

v1 " v2 = a1a2 + b1b2 + c1c2 ,

v1 i v2 = (b1c2 - c1b2)i + (c1a2 - a1c2)j + (a1b2 - b1a2)k.

Нетрудно видеть, что произведение двух кватернионов есть опять кватернион. Важной особенностью введенной операции умножения (2) является ее некоммутативность, то есть, вообще говоря, Q1Q2 ? ? Q2Q1 . Для случая s1 = s2 = 0, то есть когда имеем произведение двух векторов, записанное в форме кватернионов, их произведение уже не есть вектор, а кватернион

Q1Q2 = - v1 " v2 + v1 i v2 ,

причем скалярная часть кватерниона Q1Q2 есть взятое с обратным знаком скалярное произведение векторов v1 и v2 , а векторная часть кватерниона Q1Q2 равна векторному произведению векторов v1 и v2 . Введенная операция умножения векторов как кватернионов (5) объединяет хорошо известные виды умножения векторов - скалярное и векторное (3) и (4). Исходя из формулы (5), найдем Q1Q2 и Q2Q1 , при этом учтем, что v2 i v1 = - v1 i v2 (это легко проверяется исходя из формулы (4)):

Q2Q1 = v2v1 = - v1 " v2 + v2 i v1 = - v1 " v2 - v1 i v2 .

Исходя из (5) и (6) найдем выражение для скалярного и векторного произведений векторов через введенную нами операцию:

3. Сопряжение

Кватернион называется сопряженным по отношению к Q = s + ai + bj + ck, если = s - (ai + + bj + ck). В этом случае произведение есть число, равное квадрату модуля кватерниона Q: | Q | 2 = = s2 + a2 + b2 + c2.

Нетрудно видеть, что квадрат модуля кватерниона равен сумме квадратов его компонент. Это свойство аналогично такому же свойству для векторов, однако существенное отличие от векторов подчеркивает следующее свойство.

4. Обращение

Для каждого ненулевого кватерниона существует ему обратный. Обратным по отношению к кватерниону Q называется кватернион Q-1, обладающий свойством

QQ-1 = Q-1Q = 1.

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

ТОЖДЕСТВО ЭЙЛЕРА

Имеет место следующее

Утверждение. Модуль произведения двух кватернионов равен произведению модулей сомножителей.

Докажем это утверждение. Пусть Q1 = s1 + v1 , Q2 = s2 + v2 - два кватерниона, s1 , s2 - вещественные числа, v1 , v2 - векторы. Тогда

Q1Q2 = (s1 + v1)(s2 + v2) = s1s2 + s1v2 + s2v1 + v1v2 =

= s1s2 + s1v2 + s2v1 - v1 " v2 + v1 i v2 .

Найдем

= (s2 - v2)(s1 - v1) = s1s2 - s1v2 - s2v1 + v2v1 =

= s1s2 - s1v2 - s2v1 - v1 " v2 - v1 i v2 = .

Теперь

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

Q1 = s1 - a1i - b1 j - c1k,

Q2 = s2 - a2i - b2 j - c2k,

Q1Q2 = s1s2 + a1a2 + b1b2 + c1c2 +

+ (s1a2 - a1s2 - b1c2 + c1b2)i + (s1b2 + a1c2 - b1s2 - c1a2)j +

+ (s1c2 - a1b2 + b1a2 - c1s2)k,

вытекает следующее тождество:

= (s1s2 + a1a2 + b1b2 + c1c2)2 + (s1a2 - a1s2 - b1c2 + c1b2)2 +

+ (s1b2 + a1c2 - b1s2 - c1a2)2 + (s1c2 - a1b2 + b1a2 - c1s2)2.

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

ПРИЛОЖЕНИЯ КВАТЕРНИОНОВ

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

Обозначим: R (v, j) - поворот вокруг оси, сонаправленной с единичным вектором v, на угол j. Нетрудно показать, что поворот R (v, j) можно представить кватернионом

c модулем, равным 1.

В качестве примера рассмотрим последовательное применение двух поворотов: 1) поворот на 90? вокруг вектора k, 2) поворот на 90? вокруг вектора j. Это преобразование можно представить в виде произведения двух кватернионов Q1 = cos 45? + j sin 45? и Q2 = cos 45? + k sin 45?:

Q1Q2 = (cos 45? + j sin 45?)(cos 45? + k sin 45?) =

В результате этих двух поворотов получим поворот на 120? вокруг оси, равнонаклоненной к ортам i, j, k, причем нетрудно убедиться, что перемена порядка вращений Q2Q1 приведет к иному кватерниону.

ЗАКЛЮЧЕНИЕ

Отметим все более интенсивное использование алгебры кватернионов в описании движения манипуляторов, робототехнике [5], электродинамике, при описании поворотов в четырехмерном пространстве.

ЛИТЕРАТУРА

1. Курош А.Г. Курс высшей алгебры. М.: Наука, 1975. 302 c.

2. Ильин В.А. Базисы в евклидовых пространствах и ряды Фурье // Соросовский Образовательный Журнал. 1998. ╧ 4. С. 95-101.

3. Фадеев Д.К. Лекции по алгебре. М.: Наука, 1984. 416 с.

4. Мальцев А.И. Алгебраические системы. М.: Наука, 1970. 392 с.

5. Фу К., Гонсалес Р., Ли К. Робототехника. М.: Мир, 1989. 622 с.

* * *

Александр Ованесович Ватульян, доктор физико-математических наук, профессор кафедры теории упругости Ростовского государственного университета, профессор кафедры высшей математики Донского государственного технического университета. Область научных интересов - математические вопросы распространения волн в анизотропных средах, обратные граничные и геометрические задачи механики, интегральные уравнения, численные методы. Автор более 100 публикаций.