Кватернионная матрица
Кватернионная матрица — это матрица , элементами которой являются кватернионы .
Матричные операции
[ редактировать ]Кватернионы образуют некоммутативное кольцо , и поэтому сложение и умножение для кватернионных матриц можно определить , как и для матриц над любым кольцом.
Добавление . Сумма двух кватернионных матриц A и B определяется обычным способом поэлементным сложением:
Умножение . Произведение двух кватернионных матриц A и B также соответствует обычному определению умножения матриц. Чтобы оно было определено, количество столбцов A должно равняться количеству строк B . Тогда запись в i -й строке и j -м столбце произведения представляет собой скалярное произведение -й строки первой i матрицы с j -м столбцом второй матрицы. Конкретно:
Например, для
продукт
Поскольку кватернионное умножение некоммутативно, необходимо соблюдать осторожность, чтобы сохранить порядок факторов при вычислении произведения матриц.
Идентичностью этого умножения, как и ожидалось , является диагональная матрица I =diag(1, 1,..., 1). Умножение подчиняется обычным законам ассоциативности и дистрибутивности . След матрицы определяется как сумма диагональных элементов, но в общем случае
Левое скалярное умножение и правое скалярное умножение определяются формулами
Опять же, поскольку умножение не является коммутативным, необходимо уделить внимание порядку множителей. [1]
Детерминанты
[ редактировать ]Не существует естественного способа определить определитель для (квадратных) кватернионных матриц так, чтобы значения определителя были кватернионами. [2] Однако можно определить комплексные детерминанты. [3] Кватернион a + bi + cj + dk можно представить как комплексную матрицу 2×2.
Это определяет отображение Ψ mn кватернионных матриц m n на в комплексные матрицы размером 2 m на 2 n путем замены каждой записи в кватернионной матрице ее комплексным представлением 2 на 2. Комплекснозначный определитель квадратной кватернионной матрицы A тогда определяется как det(Ψ( A )). Многие из обычных законов для определителей выполняются; в частности, размера n на n матрица обратима тогда и только тогда, когда ее определитель не равен нулю.
Приложения
[ редактировать ]Кватернионные матрицы используются в квантовой механике. [4] и при лечении задач многих тел . [5]
Ссылки
[ редактировать ]- ^ Тэпп, Кристофер (2005). Матричные группы для магистрантов . Книжный магазин АМС. стр. 11 и далее . ISBN 0-8218-3785-0 .
- ^ Хельмер Аслаксен (1996). «Кватернионные определители». Математический интеллект . 18 (3): 57–65. дои : 10.1007/BF03024312 . S2CID 13958298 .
- ^ Э. Этюд (1920). «К теории линейных уравнений» . Acta Mathematica (на немецком языке). 42 (1): 1–61. дои : 10.1007/BF02404401 .
- ^ Н. Рёш (1983). «Симметрия обращения времени, вырождение Крамерса и алгебраическая проблема собственных значений». Химическая физика . 80 (1–2): 1–5. Бибкод : 1983CP.....80....1R . дои : 10.1016/0301-0104(83)85163-5 .
- ^ Клаус Гюрлебек; Вольфганг Спрёссиг (1997). «Кватернионные матрицы». Кватернионное и Клиффордовое исчисление для физиков и инженеров . Уайли. стр. 32–34 . ISBN 978-0-471-96200-7 .