Для получения матричного представления бикомплексных чисел раскроем произведение
двух бикомплексных чисел:
z=xy
Предварительно определим (или зафиксируем) порядок коэффициентов чисел:
x=x0+Iix1+Ix2+ix3
И в этих обозначениях раскроем покомпонентно произведение:
z0+Iiz1+Iz2+iz3==(x0+Iix1+Ix2+ix3)(y0+Iiy1+Iy2+iy3)==x0y0+Iix0y1+Ix0y2+ix0y3++Iix1y0+x1y1−ix1y2−Ix1y3++Ix2y0−ix2y1−x2y2+Iix2y3++ix3y0−Ix3y1+Iix3y2−x3y3
Поскольку равенство гиперкомплексных чисел означает их покомпонентное равенство,
получаем систему уравнений, или набор уравнений, которые должны выполняться
одновременно:
{z0=x0y0+x1y1−x2y2−x3y3z1=x1y0+x0y1+x3y2+x2y3z2=x2y0−x3y1+x0y2−x1y3z3=x3y0−x2y1−x1y2+x0y3
Эта система уравнений соответствует произведению матрицы X на вектор-столбец
Y, в результате которого получается вектор-столбец Z.
Матрица X здесь равна: X=(x0x1−x2−x3x1x0x3x2x2−x3x0−x1x3−x2−x1x0) Соответствие компонентов бикомплексного числа x коэффициентам матрицы X имеет то свойство, то если есть бикомплексно-значное выражение и каждому из чисел мы поставим в соответствие матрицу 4x4 по этому правилу, то выражение никак не изменится кроме того, что станет точно таким же выражением, но для матриц.
Разделим выражение для матрицы X выраженной в компонентах бикомплексного числа xi на сумму произведений этих компонент на базисные матрицы: X=∑xiXi Для этого просто выпишем матрицу X с подстановкой либо нулей либо единиц: X=x0(1000010000100001)+x1(01001000000−100−10)+ +x2(00−10010110000−100)+x3(000−100100−1001000) Это разложение исходной матрицы X дает запись через базисные матрицы.
Полный перечень замены мнимых единиц бикомплексных чисел на базисные матрицы, таким образом, такой: 1⇔(1000010000100001) Ii⇔(01001000000−100−10) I⇔(00−10010110000−100) i⇔(000−100100−1001000) Если вернуться к моменту составления системы уравнений z=xy, то очевидно, что сами уравнения могли быть записаны в другом порядке, и таких способов возможно несколько.
Поэтому и наборов базисных матриц для замены бикомплексных мнимых единиц может быть несколько. Любой из этих наборов равноправен по своим возможностям вышеприведенному. Понятно, что если была выполнена замена мнимых единиц на матрицы согласно одному из наборов, то и все дальнейшие операции, а также обратная замена должны выполняться с использованием именно этого же набора матриц.
Интересно, что также как и в представлении бикомплексных чисел комплекснозначными матрицами 2x2, несмотря на некоммутативность матриц в общем виде, используемые наборы матриц коммутативны по умножению. И этот факт можно использовать -- если где-либо встретятся матрицы из одного из наборов представлений бикомплексных чисел, то эти матрицы могут быть заменены на бикомплексные числа.
Теперь полюбопытствуем, чему равен определитель. ‖X‖=x0|x0x3x2−x3x0−x1−x2−x1x0|−x1|x1x3x2x2x0−x1x3−x1x0|− −x2|x1x0x2x2−x3−x1x3−x2x0|+x3|x1x0x3x2−x3x0x3−x2−x1| Раскрывая определители меньшего ранга, скобки, упорядочивая компоненты произведений и приводя подобные, получаем: ‖X‖=x40+x41+x42+x43−2x20x21+2x20x23+2x20x22+2x21x22+2x21x23−2x22x23+8x0x1x2x3 Таким образом, определитель интересующего выражения, представлящего бикомплексное число в виде матрицы, в точности равен четвертой степени модуля бикомплексного числа.
К содержанию: Матричные представления гиперкомплексных чисел
Матрица X здесь равна: X=(x0x1−x2−x3x1x0x3x2x2−x3x0−x1x3−x2−x1x0) Соответствие компонентов бикомплексного числа x коэффициентам матрицы X имеет то свойство, то если есть бикомплексно-значное выражение и каждому из чисел мы поставим в соответствие матрицу 4x4 по этому правилу, то выражение никак не изменится кроме того, что станет точно таким же выражением, но для матриц.
Разделим выражение для матрицы X выраженной в компонентах бикомплексного числа xi на сумму произведений этих компонент на базисные матрицы: X=∑xiXi Для этого просто выпишем матрицу X с подстановкой либо нулей либо единиц: X=x0(1000010000100001)+x1(01001000000−100−10)+ +x2(00−10010110000−100)+x3(000−100100−1001000) Это разложение исходной матрицы X дает запись через базисные матрицы.
Полный перечень замены мнимых единиц бикомплексных чисел на базисные матрицы, таким образом, такой: 1⇔(1000010000100001) Ii⇔(01001000000−100−10) I⇔(00−10010110000−100) i⇔(000−100100−1001000) Если вернуться к моменту составления системы уравнений z=xy, то очевидно, что сами уравнения могли быть записаны в другом порядке, и таких способов возможно несколько.
Поэтому и наборов базисных матриц для замены бикомплексных мнимых единиц может быть несколько. Любой из этих наборов равноправен по своим возможностям вышеприведенному. Понятно, что если была выполнена замена мнимых единиц на матрицы согласно одному из наборов, то и все дальнейшие операции, а также обратная замена должны выполняться с использованием именно этого же набора матриц.
Интересно, что также как и в представлении бикомплексных чисел комплекснозначными матрицами 2x2, несмотря на некоммутативность матриц в общем виде, используемые наборы матриц коммутативны по умножению. И этот факт можно использовать -- если где-либо встретятся матрицы из одного из наборов представлений бикомплексных чисел, то эти матрицы могут быть заменены на бикомплексные числа.
Теперь полюбопытствуем, чему равен определитель. ‖X‖=x0|x0x3x2−x3x0−x1−x2−x1x0|−x1|x1x3x2x2x0−x1x3−x1x0|− −x2|x1x0x2x2−x3−x1x3−x2x0|+x3|x1x0x3x2−x3x0x3−x2−x1| Раскрывая определители меньшего ранга, скобки, упорядочивая компоненты произведений и приводя подобные, получаем: ‖X‖=x40+x41+x42+x43−2x20x21+2x20x23+2x20x22+2x21x22+2x21x23−2x22x23+8x0x1x2x3 Таким образом, определитель интересующего выражения, представлящего бикомплексное число в виде матрицы, в точности равен четвертой степени модуля бикомплексного числа.
К содержанию: Матричные представления гиперкомплексных чисел
Комментариев нет:
Отправить комментарий