Scientific journal
Advances in current natural sciences
ISSN 1681-7494
"Перечень" ВАК
ИФ РИНЦ = 0,775

HYPERCOMPLEX NUMBER SYSTEMS AND 3-DIMENSIONAL MATRICES

Prihodovsky M.A. 1
1 Tomsk state univercity of control systems and radioelectronics
2880 KB
It proposed a new method to define hypercomplex number systems using 3-dimensional matrices instead of tables of basis elements multiplication.
hypercomplex numbers
three-dimensional matrix

Гиперкомплексные числа находят применение в различных областях геометрии и физики. Задание гиперкомплексной числовой системы всегда производится с помощью так называемой «таблицы умножения» базисных элементов. Бинарная алгебраическая операция описывается с помощью символьной таблицы, а ведь в то же время для унарных алгебраических операций давно и очень продуктивно используется матричный аппарат. Для задания линейного оторбажения линейного пространства образы n базисных векторов, а именно векторы prihodov1.wmf, записывают в виде столбцов матрицы этого линейного отображения (оператора). Матрицы традиционно являются объектами, используемыми для задания линейных операторов. Очевидно, что для задания билинейной операции квадратная двумерная матрица недостаточна, так как требуется задать образы всех произведений элементов базиса, а именно n2 всевозможных произведений prihodov2.wmf пар элементов базиса. Таким образом, для задания конечномерной алгебры требуется n3 элементов, то есть n2 векторов. Получающаяся матрица на одну размерность больше, то есть трёхмерная, содержит n2 векторов, получающихся в результате умножений базисных векторов eiej, где i, j=1,…,n.

Подробнее покажем, как строится трёхмерная матрица для системы комплексных чисел. Если обозначить 1,i как обычные базисные векторы в плоскости, то есть e1, e2, то для равенства i2= –1 запись будет в виде prihodov3.wmf, аналогично prihodov4.wmf соответствует prihodov5.wmf, а prihodov6.wmf означает prihodov7.wmf. В итоге из восьми координат четырёх получившихся векторов, для задания системы комплексных чисел получилась бы такая трёхмерная матрица из 8 чисел, которые называются «структурными константами» системы:

prihod1.tif

Рис. 1

В одном сечении вдоль вертикального направления присутствует матрица

prihodov8.wmf,

соответствующая умножению на единицу, в плоскости это соответствует тождественному линейному оператору. Во втором сечении матрица

prihodov9.wmf,

соответствующая умножению на мнимую единицу, в плоскости это соответствует линейному оператору поворота на 90°.

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

Линейная комбинация вертикальных сечений с коэффициентами A,B соответствует линейному оператору умножения на число A+Bi.

Каждая отдельная координата образа может быть задана как билинейная форма от пары исходных векторов, так, для prihodov10.wmf первая координата prihodov11.wmf, соответственно, в верхнем горизонтальном сечении содержится матрица

prihodov12.wmf,

которая задаёт преобразование пары векторов в одно число так:

prihodov13.wmf.

Вторая prihodov14.wmf, соответственно в нижнем сечении матрица

prihodov15.wmf,

соответственно

prihodov16.wmf.

Матричный способ задания гиперкомплексных числовых систем был предложен автором данной статьи в 1990-е годы, тогда же был доложен на семинарах кафедры алгебры Томского государственного университета, а в 2004 г. опубликованы статьи [3, 4], где рассматривался и применялся данный способ задания гиперкомплексных систем, а также систем с n-арными алгебраическими операциями. Матричный способ задания гиперкомплексных систем пока не получил широкого применения: так, на международном математическом сайте wolfram.com умножение мнимых единиц до сих пор задаётся с помощью символьной таблицы умножения либо просто через системы равенств.

Кватернионы – это 4-мерная система с одной действительной единицей и тремя мнимыми единицами: i, j, k. Умножение в данной системе задано так:

prihodov17.wmf, prihodov18.wmf,

prihodov19.wmf, prihodov20.wmf.

Таким образом, так называемая «таблица умножения» имеет вид:

prihod2.tif

Рис. 2

Таким же образом может быть построена матрица, задающая систему кватернионов. Эта матрица содержит не символьную информацию, а числа:

prihod3.tif

Рис. 3

Векторное умножение в трёхмерном пространстве также может быть задано матрицей. Примечание. В теории пространственных матриц [1] третий индекс исторически было принято увеличивать снизу вверх, что и сделано для рассмотренных матриц.

prihod4.tif

Рис. 4

Общий аппарат описания алгебраических структур с помощью многомерных матриц может помочь более глубокому пониманию взаимосвязи между линейными операторами (унарными операциями), бинарными и произвольными алгебраическими операциями. В [5] показано, каким образом понимание теоретических основ математики способствует лучшему восприятию методов решения практических задач. Несомненно, гиперкомплексные числовые системы необходимо изучать в курсе алгебры с помощью матричного аппарата, с рассмотрением строения пространственных матриц и их сечений. Единообразие способа задания алгебраических операций с помощью матриц позволяет легко переходить к изучению n-арных операций [4].