Кватернионы.

Исторически первой гиперкомплексной системой, рассмотренной в математике, является система кватернионов, т. е. «четверных чисел», введенная английским математиком и механиком Гамильтоном в середине прошлого столетия. Эта система удовлетворяет всем требованиям 1—10, кроме 7 (коммутативность умпожепия).

Кватернионы описываются следующим образом. Введем для четверок сокращенные обозначения . Тогда в силу равенства

каждый кватернион можно однозначно представить в виде

Кватернион 1 будем считать единицей строящейся системы величин, т. е. будем считать, что для любого кватерниона а. Далее положим по определению:

Эту «таблицу умножения» кватернионов легко запомнить при помощи рис. 28, на котором точками к на окружности изображены последовательные кватернионы . Произведение двух рядом расположенных

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

Множитель 1 в первом члене кватерниона обычно опускают и вместо пишут а. Равенства показывают, что умножение кватернионов не перестановочно. Множимое и множитель здесь не равноправны. Поэтому при вычислениях с кватернионами необходимо тщательно следить за порядком сомножителей.

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

Рис. 28.

Число а кватерниона называется его действительной или скалярной частью, а сумма — его векторной частью. Кватернионы отличающиеся лишь знаком векторной части, называются сопряженными. Очевидно, сумма двух сопряженных кватернионов есть число действительное. Кроме того, перемножая сопряженные кватернионы по приведенной выше формуле, получим

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

Сумма квадратов коэффициентов кватерниона называется его нормой. Поскольку квадрат любого действительного числа есть число неотрицательное, то норма каждого кватерниона есть также число неотрицательное, равное нулю только для нулевого кватерниона.

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

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

Отсюда вытекает интересное следствие: йорма произведения кватернионов равна произведению норм сомножителей. В самом деле, на основании предыдущего имеем

Свойства нормы позволяют весьма просто решить и вопрос о делении кватернионов. Пусть произвольный ненулевой кватернион. Тогда

т. e. кватернион

является обратным для заданного кватерниона

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

Умножая обе части первого уравнения на обратный кватернион слева, получим

Умножая обе части второго уравнения на справа, будем иметь

Так как произведения в общем случае различны, то для кватернионов приходится различать два деления — правое и левое; оба они всегда выполнимы, за исключением, конечпо, деления на нуль.