Кватернионы

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

История

Открытие Уильяма Гамильтона

Кватернионы были открыты ирландским математиком Уильямом Роуэном Гамильтоном 16 октября 1843 года. Гамильтон искал способ обобщить комплексные числа на трёхмерное пространство, чтобы описывать вращения и повороты. По легенде, во время прогулки по Дублину вдоль Королевского канала ему пришла в голову идея, что для этого необходимы не две, а три мнимые единицы, и он вырезал формулу i² = j² = k² = ijk = −1 на камне моста Брум-Бридж (ныне — мост Брумстоун). Эта запись считается первым в истории случаем записи кватернионного умножения.

Развитие и конкуренция с векторным анализом

В XIX веке кватернионы активно развивались, особенно в Великобритании. Гамильтон посвятил им капитальный труд «Лекции о кватернионах» (1853) и «Элементы кватернионов» (1866, посмертно). Однако к концу века векторный анализ, разработанный Джозайей Гиббсом и Оливером Хевисайдом, вытеснил кватернионы из физики, так как операции с векторами (скалярное и векторное произведения) оказались более удобными для описания электромагнетизма и механики. Векторное произведение по сути является мнимой частью кватернионного произведения.

Возрождение в XX веке

В середине XX века кватернионы пережили возрождение благодаря развитию компьютерной графики и авиационной навигации. В 1960-х годах их начали использовать для расчёта ориентации космических аппаратов, а в 1980-х — для трёхмерной анимации. Сегодня кватернионы являются стандартным инструментом в программировании игр, симуляторах и системах управления дронами.

Определение и алгебраическая структура

Формальное определение

Кватернион — это выражение вида: \[ q = a + b i + c j + d k, \] где \(a, b, c, d\) — вещественные числа, а \(i, j, k\) — мнимые единицы, подчиняющиеся правилам умножения: \[ i^2 = j^2 = k^2 = ijk = -1, \] \[ ij = k, \quad ji = -k, \] \[ jk = i, \quad kj = -i, \] \[ ki = j, \quad ik = -j. \]

Множество всех кватернионов обозначается \(\mathbb{H}\) (в честь Гамильтона). Операции сложения и умножения кватернионов ассоциативны и дистрибутивны, но не коммутативны: \(pq \neq qp\) в общем случае.

Компоненты и сопряжение

Кватернион \(q\) можно представить как сумму скалярной части \(a\) и векторной части \(v = b i + c j + d k\). Сопряжённый кватернион \(\bar{q}\) определяется как: \[ \bar{q} = a - b i - c j - d k. \] Норма кватерниона: \(\|q\| = \sqrt{a^2 + b^2 + c^2 + d^2}\). Кватернион с единичной нормой (\(\|q\| = 1\)) называется единичным кватернионом.

Обратный кватернион

Для ненулевого кватерниона \(q\) существует обратный: \[ q^{-1} = \frac{\bar{q}}{\|q\|^2}. \]

Геометрическая интерпретация

Вращения в трёхмерном пространстве

Кватернионы единичной нормы (единичные кватернионы) образуют группу \(S^3\) (трёхмерная сфера) и изоморфны группе \(SU(2)\) — специальной унитарной группе матриц 2×2. Каждому единичному кватерниону \(q = \cos(\theta/2) + \sin(\theta/2) \cdot \mathbf{u}\) (где \(\mathbf{u}\) — единичный вектор оси вращения) соответствует поворот в трёхмерном пространстве на угол \(\theta\) вокруг оси \(\mathbf{u}\).

Преобразование точки \(p\) (представленной чисто мнимым кватернионом \(p = xi + yj + zk\)) выполняется по формуле: \[ p' = q p q^{-1}. \] Это даёт непрерывное, без шарнирного замка (gimbal lock) представление вращений, что является ключевым преимуществом перед углами Эйлера.

Связь с группой SO(3)

Отображение из \(S^3\) в \(SO(3)\) (группа вращений трёхмерного пространства) является двукратным накрытием: каждому повороту соответствуют два противоположных кватерниона (\(q\) и \(-q\)). Это свойство используется в квантовой механике для описания спина частиц.

Виды и классификация

По норме

• Единичные кватернионы: \(\|q\| = 1\) — используются для вращений.
• Нулевой кватернион: \(q = 0\).
• Общие кватернионы: произвольная норма.

По структуре

• Чисто мнимые кватернионы: \(a = 0\) — соответствуют трёхмерным векторам.
• Скалярные кватернионы: \(b = c = d = 0\) — изоморфны вещественным числам.
• Комплексные числа являются подмножеством кватернионов при \(c = d = 0\).

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

• Кватернионы Гамильтона — стандартная алгебра.
• Бикватернионы — кватернионы с комплексными коэффициентами.
• Дуальные кватернионы — кватернионы с дуальными числами, применяются в механике для описания винтовых движений.

Применение

Компьютерная графика и анимация

Кватернионы являются стандартом для интерполяции вращений (сферическая линейная интерполяция — SLERP). Они позволяют плавно анимировать повороты объектов без скачков, характерных для углов Эйлера. Используются в игровых движках (Unity, Unreal Engine), системах 3D-моделирования (Blender, 3ds Max) и VR-шлемах.

Робототехника и авиация

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

Физика и математика

• Квантовая механика: спиноры (двухкомпонентные волновые функции) могут быть записаны как кватернионы.
• Теория относительности: кватернионы используются для компактной записи преобразований Лоренца.
• Дифференциальная геометрия: кватернионные многообразия и гиперкомплексные структуры.

Навигация

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

Интересные факты

• Мост Брум-Бридж в Дублине до сих пор носит мемориальную табличку с формулой Гамильтона.
• Кватернионная алгебра является единственной конечномерной ассоциативной алгеброй с делением над полем вещественных чисел, кроме самих вещественных и комплексных чисел (теорема Фробениуса).
• Октонионы — восьмимерное расширение кватернионов, но их умножение уже не ассоциативно.
• В языке программирования C++ есть стандартная библиотека <quaternion> (начиная с C++23), а в Python — библиотека numpy-quaternion.
• Кватернионная единица \(i\) не равна \(\sqrt{-1}\) в обычном смысле, так как \(i^2 = -1\), но \(i\) не является мнимой единицей комплексного поля — это независимая единица.

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

• Неинтуитивность: кватернионы сложнее для понимания, чем углы Эйлера или матрицы поворота.
• Избыточность: для описания вращения требуется 4 числа вместо 3 (хотя это компенсируется отсутствием сингулярностей).
• Неоднозначность: каждому повороту соответствуют два кватерниона (\(q\) и \(-q\)), что может приводить к неоднозначности при интерполяции.
• Ограниченная область: кватернионы не подходят для описания масштабирования или сдвига — для этого используются матрицы 4×4.

Источники

• Гамильтон У. Р. «Лекции о кватернионах» (1853).
• Кантор И. Л., Солодовников А. С. «Гиперкомплексные числа» (1973).
• Shoemake K. «Animating Rotation with Quaternion Curves» (1985).
• Kuipers J. B. «Quaternions and Rotation Sequences» (1999).
• Dam E. B., Koch M., Lillholm M. «Quaternions, Interpolation and Animation» (1998).