Поликватерниум

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

История

Первые упоминания о поликватерниумах относятся к XIX веку. В 1843 году Уильям Гамильтон открыл кватернионы, а вскоре после этого, в 1844 году, Джеймс Кокл предложил алгебру бикватернионов (комплексных кватернионов). В 1873 году Уильям Клиффорд ввёл дуальные кватернионы, которые являются частным случаем поликватерниумов. В XX веке интерес к этим структурам возрос в связи с развитием теории относительности и квантовой механики. В 1960-х годах советский математик И. М. Яглом систематизировал поликватерниумы как часть теории гиперкомплексных чисел.

Определение и классификация

Поликватерниум определяется как элемент алгебры \(\mathbb{H} \otimes \mathbb{P}\), где \(\mathbb{H}\) — алгебра кватернионов, а \(\mathbb{P}\) — алгебра поличисел (коммутативная ассоциативная алгебра с единицей). В зависимости от выбора \(\mathbb{P}\) выделяют три основных типа:

Бикватернионы (комплексные кватернионы)

• Базовое поле: комплексные числа \(\mathbb{C}\).
• Обозначение: \(\mathbb{H} \otimes \mathbb{C}\).
• Свойства: имеют 8 вещественных измерений; не являются алгеброй с делением, так как содержат делители нуля.
• Применение: описание преобразований Лоренца в специальной теории относительности, электродинамика.

Дуальные кватернионы

• Базовое поле: дуальные числа \(\mathbb{D}\) (числа вида \(a + b\varepsilon\), где \(\varepsilon^2 = 0\)).
• Обозначение: \(\mathbb{H} \otimes \mathbb{D}\).
• Свойства: имеют 8 вещественных измерений; содержат нильпотентные элементы.
• Применение: робототехника (описание поступательных и вращательных движений твёрдого тела), компьютерная графика (анимация скелетов).

Кватернионы над двойными числами

• Базовое поле: двойные числа \(\mathbb{B}\) (числа вида \(a + bj\), где \(j^2 = 1\), \(j \neq \pm 1\)).
• Обозначение: \(\mathbb{H} \otimes \mathbb{B}\).
• Свойства: имеют 8 вещественных измерений; содержат идемпотенты.
• Применение: гиперболическая геометрия, теория относительности (описание пространства Минковского).

Алгебраические свойства

Поликватерниумы образуют ассоциативную алгебру с единицей размерности 8 над полем вещественных чисел. Умножение в них определяется покомпонентным умножением кватернионов и поличисел. Основные свойства:

• Ассоциативность: \((pq)r = p(qr)\) для любых поликватерниумов \(p, q, r\).
• Дистрибутивность: умножение дистрибутивно относительно сложения.
• Наличие делителей нуля: в отличие от обычных кватернионов, поликватерниумы содержат ненулевые элементы, произведение которых равно нулю (например, для бикватернионов: \((1 + i)(1 - i) = 0\)).
• Сопряжение: определяется как комбинация кватернионного сопряжения и сопряжения поличисел. Например, для бикватерниона \(q = a + bi + cj + dk\) (где \(a, b, c, d\) — комплексные числа) сопряжённый элемент: \(\bar{q} = \bar{a} - \bar{b}i - \bar{c}j - \bar{d}k\).
• Норма: квадратичная форма, которая может быть вырожденной (для дуальных и двойных кватернионов).

Представление и операции

Поликватерниум можно записать в виде: \[ Q = a + b i + c j + d k, \] где \(a, b, c, d\) — элементы алгебры поличисел (например, комплексные, дуальные или двойные числа), а \(i, j, k\) — мнимые единицы кватернионов, удовлетворяющие соотношениям: \[ i^2 = j^2 = k^2 = ijk = -1. \]

Основные операции

• Сложение: покомпонентное.
• Умножение: выполняется по правилам умножения кватернионов, при этом коэффициенты перемножаются как поличисла.
• Сопряжение: \(\overline{Q} = \bar{a} - \bar{b} i - \bar{c} j - \bar{d} k\), где \(\bar{a}\) — сопряжение поличисла.
• Норма: \(N(Q) = Q \overline{Q}\). Для бикватернионов норма является комплексным числом; для дуальных кватернионов — дуальным числом.

Применение

Физика

• Специальная теория относительности: бикватернионы используются для компактной записи преобразований Лоренца. Например, поворот в пространстве-времени описывается бикватернионным преобразованием вида \(Q' = L Q L^{-1}\), где \(L\) — бикватернион, соответствующий бусту и вращению.
• Электродинамика: уравнения Максвелла могут быть записаны в бикватернионной форме, что упрощает анализ волновых процессов.
• Квантовая механика: поликватерниумы применяются в моделях с расширенной симметрией (например, в суперсимметрии).

Робототехника и компьютерная графика

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

Геометрия

• Гиперболическая геометрия: кватернионы над двойными числами используются для описания движений в пространстве Лобачевского.
• Теория относительности: пространство Минковского может быть представлено как множество чистых бикватернионов (с нулевой скалярной частью).

Примеры

Бикватернион

Пусть \(q = (1 + i) + (2 + 3i)j\). Здесь \(a = 1 + i\), \(b = 2 + 3i\). Сопряжение: \(\bar{q} = (1 - i) - (2 - 3i)j\). Норма: \(N(q) = (1 + i)(1 - i) + (2 + 3i)(2 - 3i) = 2 + 13 = 15\) (комплексное число).

Дуальный кватернион

Пусть \(q = (1 + 2\varepsilon) + (3 + 4\varepsilon)i\). Умножение: \((1 + 2\varepsilon)(3 + 4\varepsilon) = 3 + 4\varepsilon + 6\varepsilon + 8\varepsilon^2 = 3 + 10\varepsilon\) (так как \(\varepsilon^2 = 0\)). Сопряжение: \(\bar{q} = (1 + 2\varepsilon) - (3 + 4\varepsilon)i\).

Критика и ограничения

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

Источники

• Яглом И. М. Комплексные числа и их применение в геометрии. — М.: Физматлит, 1963.
• Кантор И. Л., Солодовников А. С. Гиперкомплексные числа. — М.: Наука, 1973.
• Clifford W. K. Preliminary sketch of biquaternions // Proceedings of the London Mathematical Society. — 1873. — Vol. 4.
• McCarthy J. M. Introduction to Theoretical Kinematics. — MIT Press, 1990.