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

Бикватернионы — это алгебраическая структура, представляющая собой расширение алгебры кватернионов, в котором коэффициенты кватерниона являются комплексными числами. Формально бикватернион — это элемент алгебры, изоморфной тензорному произведению алгебры кватернионов и поля комплексных чисел: \(\mathbb{H} \otimes \mathbb{C}\). Впервые бикватернионы были введены в математический обиход Уильямом Роуэном Гамильтоном в 1853 году в его «Лекциях о кватернионах». Бикватернионы находят применение в различных разделах математики и физики, включая теорию относительности, электродинамику и компьютерную графику, где они используются для описания преобразований в пространстве-времени.

История

Концепция бикватернионов возникла как естественное обобщение кватернионов, которые Гамильтон открыл в 1843 году. В 1853 году Гамильтон опубликовал труд «Лекции о кватернионах», в котором впервые систематически описал бикватернионы. Он рассматривал их как кватернионы с комплексными коэффициентами, что позволяло объединить свойства кватернионов и комплексных чисел. Впоследствии бикватернионы изучались в контексте алгебр Клиффорда и спиноров, а также в связи с преобразованиями Лоренца в специальной теории относительности. В XX веке, с развитием квантовой механики и теории поля, интерес к бикватернионам возрос, так как они оказались удобным инструментом для описания спиноров и преобразований в пространстве Минковского.

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

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

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

Изоморфизмы

Алгебра бикватернионов изоморфна:

• Алгебре комплексных матриц размера 2×2: \(\mathbb{B} \cong M_2(\mathbb{C})\).
• Алгебре Клиффорда \(Cl_{3,0}(\mathbb{R})\).
• Алгебре, порождённой матрицами Паули с комплексными коэффициентами.

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

Сопряжение и норма

Для бикватерниона \(q = a + b i + c j + d k\) определяются несколько видов сопряжения:

• Кватернионное сопряжение: \(\bar{q} = a - b i - c j - d k\).
• Комплексное сопряжение: \(q^* = \bar{a} + \bar{b} i + \bar{c} j + \bar{d} k\), где черта над комплексным числом означает комплексное сопряжение.
• Полное сопряжение: \(\bar{q}^* = \bar{a} - \bar{b} i - \bar{c} j - \bar{d} k\).

Норма бикватерниона определяется как \(N(q) = q \bar{q} = a^2 + b^2 + c^2 + d^2\), которая является комплексным числом. В отличие от кватернионов, норма бикватерниона может быть равна нулю для ненулевого элемента (например, для \(q = 1 + \iota i\)), что приводит к существованию делителей нуля.

Свойства

Коммутативность и ассоциативность

Умножение бикватернионов ассоциативно, но не коммутативно. Центр алгебры бикватернионов состоит из комплексных чисел, то есть элементов вида \(a + b \iota\), где \(a, b \in \mathbb{R}\).

Делители нуля

В отличие от алгебры кватернионов, которая является телом (каждый ненулевой элемент обратим), алгебра бикватернионов содержит делители нуля. Например, \((1 + \iota i)(1 - \iota i) = 1 - \iota^2 i^2 = 1 - (-1)(-1) = 0\). Это свойство делает бикватернионы не подходящими для построения нормированных алгебр с делением, но открывает возможности для их использования в физике, где делители нуля соответствуют светоподобным векторам.

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

Бикватернион \(q = a + b i + c j + d k\) может быть представлен комплексной матрицей 2×2: \[ \begin{pmatrix} a + d\iota & b + c\iota \\ -b + c\iota & a - d\iota \end{pmatrix}. \] Это представление сохраняет умножение и позволяет легко вычислять произведения и обратные элементы (когда они существуют).

Применение

Физика

В специальной теории относительности бикватернионы используются для описания преобразований Лоренца. Преобразование Лоренца, действующее на четырёхмерный вектор пространства-времени, может быть записано как бикватернионное преобразование подобия: \(q \mapsto L q L^\), где \(L\) — бикватернион, а \(L^\) — его комплексно-сопряжённый. Это позволяет единообразно описывать повороты и бусты (ускорения) в пространстве Минковского.

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

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

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

Математика

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

Связь с другими алгебрами

Кватернионы

Бикватернионы являются комплексным расширением кватернионов. Если в бикватернионе положить мнимую единицу \(\iota\) равной нулю, то получится обычный кватернион. Однако обратное неверно: не каждый кватернион может быть представлен как бикватернион с действительными коэффициентами.

Комплексные числа

Бикватернионы содержат поле комплексных чисел в качестве подалгебры (элементы вида \(a + b \iota\)).

Алгебры Клиффорда

Бикватернионы изоморфны алгебре Клиффорда \(Cl_{3,0}(\mathbb{R})\), которая порождается тремя ортогональными единичными векторами, квадрат которых равен +1. Это позволяет интерпретировать бикватернионы как алгебру, описывающую геометрию трёхмерного евклидова пространства.

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

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

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

• Бикватернионы являются частным случаем гиперкомплексных чисел и входят в бесконечное семейство алгебр Клиффорда.
• В 1900-х годах бикватернионы использовались для описания спиновых матриц в квантовой механике, предвосхитив формализм матриц Паули.
• Существует обобщение бикватернионов — октонионы, которые также имеют комплексное расширение (биоктонионы), но их алгебра неассоциативна.