Другими словами: чтобы умножить одно комплексное число на другое, надо модули их перемножить, а аргументы сложить. Или: при умножении одного вектора на другой его абсолютная величина растягивается во столько раз, сколько единиц в абсолютной величине другого вектора, а сам он вращается в положительном направлении на тот угол, который характеризовал направление этого другого вектора. Умножение комплексных чисел, следовательно, есть соединение растяжения с поворотом.
b) Точно то же самое мы находим и в кватернионах. Нетрудно представить себе усложнение этого поворотного растяжения для случая трехмерного пространства, а затем и для четырехмерного пространства. Аналогично поведению модулей в комплексном умножении можно утверждать, что тензор произведения двух кватернионов равняется произведению их тензоров (это легко доказывается путем введения сопряженных кватернионов). А отсюда, припоминая из аналитической геометрии выражение для расстояния точки от начала координат равного х
2+у 2+z 2+ w 2, мы можем сказать, что уравнение в кватернионах q'=p q представляет собою не что иное, как определенное линейное преобразование точек х, у, z, w четырехмерного пространства в точки ' y' z' w' дающее в результате вместо одного вектора другой и умножающее указанное выражение для расстояния точки от начала координат на один и тот же постоянный множитель =a 2+b 2+c 2+d 2. Тензор, таким образом, вполне характеризует растяжение отрезка, вступающего в четырехмерное пространство. Кроме того, из аналитической геометрии известно, что линейное преобразование х, у, , при котором x 2+y 2+z 2является инвариантом расстояния от начала 0, есть не что иное, как вращение или зеркальное отражение. Не иначе, следовательно, и в четырехмерном пространстве, где таким инвариантом будет х 2+у 2+z 2+ w 2. Стало быть, когда линейное преобразование помножает x 2+y 2+z 2+w 2на некоторый множитель 2, то мы и получаем вращение вместе с растяжением всего пространства до –кратных размеров.Если мы станем изучать результат нескольких вращений, то уже чисто зрительно будет заметно, какое значение имеет последовательность вращений. В зависимости от разного порядка вращений будет, вообще говоря, получаться и разное «тело вращения». Но сложение вращений, как мы сейчас видели, эквивалентно умножению кватернионов. Отсюда становится понятной и столь характерная для кватернионов некоммутативность умножения. Она, видим мы теперь есть не что иное, как зависимость суммы сложения вращений от порядка слагаемых. И, таким образом, отвлеченный аналитический признак кватерниона получает тут вполне понятное и убедительное истолкование.
4. Значение кватернионов получит для нас еще большее значение, если я укажу на ближайшую связь их с популярной ныне теорией относительности. Хотя Минковский исходил в своих рассуждениях о поворотном растяжении четырехмерного пространства совсем из другой терминологии (именно из матриц Кэли), Ф. Клейн
[909]простейшим образом показал, что знаменитые «Лоренцовы преобразования», лежащие в основе теории относительности, есть не что иное, как вращение некоторого пространства, изобразимое притом весьма удобно при помощи кватернионов.Хотя было бы й неуместно пускаться здесь в эти выкладки, все же привлечение их для теории кватернионов значительно обогащает наше представление о гиперкомплексном числе, и можно только рекомендовать усвоить эти в общем простейшие выкладки у Клейна всякому желающему усвоить себе философию гиперкомплексного числа вообще.