moglobi.ru Другие Правовые Компьютерные Экономические Астрономические Географические Про туризм Биологические Исторические Медицинские Математические Физические Философские Химические Литературные Бухгалтерские Спортивные Психологичексиедобавить свой файл
страница 1

УДК 51


М.А. Приходовский
ПРИМЕНЕНИЕ МНОГОМЕРНЫХ МАТРИЦ ДЛЯ ИССЛЕДОВАНИЯ ГИПЕРКОМПЛЕКСНЫХ ЧИСЕЛ И КОНЕЧНОМЕРНЫХ АЛГЕБР
В работе рассматривается метод описания конечномерных алгебр и систем гиперкомплексных чисел с помощью пространственных матриц. Многомерные матрицы могут являться универсальным математическим аппаратом для исследования строения и свойств конечномерных алгебр.
Теория многомерных (в основном трёхмерных) матриц находила применение главным образом для классификации алгебраических форм [1], [2]. В частности, в [1] рассматривается классификация трилинейных и двойничных кубических форм. Однако определяя билинейное умножение, обычно задают либо определяющие соотношения, например для системы кватернионов:

i2=j2=k2= -1, ij=-ji=k, jk=-kj=i, ki=-ik=j

либо таблицу умножения базисных единиц. Но билинейное умножение векторов n-мерного пространства может быть задано с помощью трёхмерной матрицы аналогично тому, как линейные операторы задаются обычными двумерными матрицами. Пусть фиксирован базис пространства e1, … en. Произведение каждой пары базисных векторов ei ej определено как aij1e1 +…+ aijnen . Тогда существует n2 векторов и n3 структурных констант, которые удобно расположить в виде трёхмерной числовой матрицы. С одной стороны, каждое вертикальное сечение данной объёмной матрицы (при фиксированном первом или втором индексе) есть квадратная матрица линейного оператора в пространстве Rn, действующего как левое или правое умножение на фиксированный базисный вектор ei. С другой стороны, всякое горизонтальное сечение (при фиксированном третьем индексе) можно рассматривать как некоторую матрицу билинейной формы.

Умножение векторов ab в алгебре, задаваемой матрицей с элементами ijk , может быть записано следующим образом:

,..…, =

,…,.

Получаем возможность, исследуя пространственную числовую матрицу, определители её двумерных сечений и другие ассоциированные с этой матрицей величины, изучить свойства той или иной конечномерной алгебры, в частности, системы гиперкомплексных чисел. Каждая числовая система, например, комплексных чисел (рис.1), кватернионов (рис.2), определяется некоторым билинейным оператором, который будем задавать пространственной матрицей. Векторное умножение в трёхмерном пространстве также может быть задано матрицей (рис.3), а тот факт что в системе отсутствует единичный элемент по умножению отражается определённым образом на строении этой матрицы – она не является подобной никакой пространственной матрице, содержащей единичные матрицы в качестве сечений при фиксированном первом либо втором индексе. Отождествляя оператор с некоторой матрицей, далее свойства системы гиперкомплексных чисел могут быть исследованы с помощью исследования её строения, так как она однозначно определяет операцию умножения в системе. Линейное пространство n-мерных алгебр изоморфно линейному пространству трёхмерных матриц порядка n.

Матрица линейного оператора двумерна, матрица билинейного оператора умножения трёхмерна. Матричный метод описания действия оператора можно распространить на m-арные операции. Всякий m-арный полилинейный оператор в nмерного пространства может быть задан матрицей размерности m+1 порядка n. Если фиксировать один из векторов то получаем (m-1)-арный полилинейный оператор, матрица которого будет линейной комбинацией вертикальных сечений матрицы исходного оператора. Заметим, что для случая m=1, то есть обычных (унарных) линейных операторов векторных пространств, матричный аппарат применяется изначально, в то же время для бинарных – используется так называемая «таблица умножения» мнимых единиц. В данной статье ограничимся рассмотрением бинарных операций.

Такие свойства как коммутативность, ассоциативность, наличие делителей нуля, а также единицы по умножению (нейтрального элемента операции) определённым образом отражаются на строении матрицы. Так, если единичный элемент является одним из базисных, то вертикальные сечения пространственной матрицы будут единичными матрицами. Наличие делителей нуля для бинарной операции взаимосвязано с наличием ненулевого ядра линейного оператора, действующего как умножение на фиксированный элемент при данной бинарной операции. Рассматривая действие различных операций с помощью единого матричного подхода, возможно установить взаимосвязь между такими понятиями как например инвариантные подпространства линейного оператора и идеалы алгебры. Идеал конечномерной алгебры является инвариантным подпространством для всех операторов, индуцированных фиксированными векторами. Действительно, если для всякого , то I является инвариантным подпространством оператора, действующего как умножение на r.

Строение матрицы, задающей бинарную операцию, зависит от выбора базиса. Пусть A - матрица билинейной операции в базисе e1,…,en. Матрица A состоит из координат произведений всевозможных пар векторов ei ej относительно исходного базиса. Тогда матрица B этой операции относительно нового базиса f1,…,fn состоит из координат всех произведений вида fifj, выраженных в новом базисе f1,…,fn . В связи с этим понятие подобия матриц распространяется с плоских матриц на многомерные. Пусть матрица в старом базисе состоит из структурных констант ijk, в новом базисе - ijk, двумерная матрица С перехода к новому базису. Зная матрицу умножения и новый базис, в новом базисе её можно вычислить, решив n2 систем уравнений для каждого i, j от 1 до n:

Кроме того, преобразование базиса может приводить к упрощению структуры трёхмерной матрицы.

Рассмотрим некоторые свойства конечномерной алгебры и их взаимосвязь со строением трёхмерной матрицы данной алгебры.

Очевидно, что конечномерная алгебра коммутативна тогда и только тогда, когда eiej = ejei , это эквивалентно тому, что для всяких i, j = 1,…,n выполнено условие αilk = αjik, то есть матрица A симметрична относительно диагонального сечения:



.

Рассмотрим взаимосвязь между строением матрицы конечномерной алгебры и существованием единицы по умножению.



Теорема 1. Для билинейной операции, заданной матрицей A с элементами αijk , существует левый единичный элемент тогда и только тогда, когда следующая система из n2 уравнений с n неизвестными является совместной и определённой:

, . . . ,

В этом случае единичным элементом билинейной операции умножения является вектор (1,…,n).



Доказательство. Пусть в пространстве Rn существует левый единичный элемент по умножению. Обозначим этот элемент . Для всякого верно x = x. Запишем произведение x с помощью элементов трёхмерной матрицы, задающей умножение в данной алгебре. Получим равенство векторов:

,…,= (x1,…,xn),

которое выполняется для всех (x1,…,xn) . Из совпадения первых координат этих векторов получаем:

()x1 +… + ()xn =x1 ,

что эквивалентно



= 1, = 0, …, = 0.

Эти равенства составляют первые n уравнений системы с неизвестными i. Аналогичным образом, сравнивая остальные координаты, получаем в итоге систему из n2 уравнений:



, . . . , .

Заметим, что если данная алгебра коммутативна, то найденный таким образом элемент (1,…,n) является единицей алгебры. Если алгебра некоммутативна, то для того чтобы (1,…,n) был единичным элементом, необходимо также чтобы он был правой единицей, критерий существования которой доказывается аналогично с помощью системы



, . . . ,

Таким образом, координаты вектора, умножение на который будет тождественным линейным оператором (если он существует), можно вычислить следующим образом:



= =…=



==…=

Теперь рассмотрим строение трёхмерной матрицы, задающей умножение, если в качестве одного из векторов базиса взять элемент . Пусть =e1. Тогда умножение на e1 является тождественным оператором и соответственно, вертикальное сечение трёхмерной матрицы, полученное при фиксировании первого индекса i=1, будет единичной матрицей. Когда элемент является одновременно левой и правой единицей, два вертикальных сечения, а именно при i=1 и j=1, будут являться единичными двумерными матрицами. Таким строением, например, обладают матрицы системы комплексных чисел и кватернионов (рис. 1, 2).

Рассмотрим взаимосвязь между наличием ненулевого идеала алгебры и строением её трёхмерной матрицы.



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

Доказательство. Пусть подпространство I является правым идеалом алгебры, заданной матрицей A. Обозначим через f1,…,fm базис подпространства I. Пусть эти элементы являются первыми m элементами нового базиса пространства Rn. Для всякого и верно . Следовательно, при умножении на любой из элементов f1,…,fm образ будет являться линейной комбинацией элементов f1,…,fm . Отсюда следует, что умножение вида (x, fi) является вырожденным оператором, образ которого есть линейная оболочка векторов f1,…,fm . Матрица этого оператора содержит хотя бы одну нулевую строку, в то же время эта матрица есть вертикальное сечение трёхмерной матрицы, задающей конечномерную алгебру. ٱ

ЛИТЕРАТУРА


1. Соколов Н.П. Пространственные матрицы и их приложения М.: Физматлит, 1960

2. Соколов Н.П., Введение в теорию многомерных матриц, Киев, 1972.



3. Кантор И.Л., Солодовников А.С. Гиперкомплексные числа. М.: Наука, 1973.

4. Приходовский М.А. Применение пространственных матриц к исследованию гиперкомплексных чисел, конечномерных алгебр и полилинейных операций. Тезисы международной конференции «Число, время, относительность», Москва, 10-13 августа 2004, с.32-33.
страница 1
скачать файл


Смотрите также: