М. А. Приходовский применение многомерных матриц для исследования гиперкомплексных чисел и конечномерных алгебр icon

М. А. Приходовский применение многомерных матриц для исследования гиперкомплексных чисел и конечномерных алгебр



НазваниеМ. А. Приходовский применение многомерных матриц для исследования гиперкомплексных чисел и конечномерных алгебр
Дата конвертации01.12.2012
Размер80.5 Kb.
ТипДокументы

УДК 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. С другой стороны, всякое горизонтальное сечение (при фиксированном третьем индексе) можно рассматривать как некоторую матрицу билинейной формы.

Умножение векторов ab в алгебре, задаваемой матрицей с элементами 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 . Матрица этого оператора содержит хотя бы одну нулевую строку, в то же время эта матрица есть вертикальное сечение трёхмерной матрицы, задающей конечномерную алгебру. ٱ


Текст исследования опубликован также на сайте http://alg1992.narod.ru .


ЛИТЕРАТУРА


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

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

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

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


Статья представлена кафедрой алгебры механико-математического факультета Томского государственного университета, поступила в научную редакцию “Математика” 27 мая 2004 г.


Опубликовано:

Вестник Томского государственного университета, №284, декабрь 2004.

Серия «Математика. Кибернетика. Информатика»

Стр. 27-29.



Похожие:

М. А. Приходовский применение многомерных матриц для исследования гиперкомплексных чисел и конечномерных алгебр iconМетодические указания и пример выполнения задания 2
Для выполнения контрольной работы студент должен уметь работать со специальными математическими функциями: умножение матриц, обращение...
М. А. Приходовский применение многомерных матриц для исследования гиперкомплексных чисел и конечномерных алгебр iconАнкета «Признаки агрессивности»
Применение разноплановых методик для исследования агрессии и агрессивного поведения детей дает возможность получить широкую и разнообразную...
М. А. Приходовский применение многомерных матриц для исследования гиперкомплексных чисел и конечномерных алгебр iconНаши публикации
Павлов А. Т., Лепешкин В. П. Применение электроразведки становлением поля для исследования слабоэлектропроводных и мало­контрастных...
М. А. Приходовский применение многомерных матриц для исследования гиперкомплексных чисел и конечномерных алгебр iconВ одномерном массиве произвольных чисел найти количество нечётных элементов
Из одномерного массива произвольных чисел целых чисел сформировать 2 массива: a массив четных чисел и b массив нечетных чисел
М. А. Приходовский применение многомерных матриц для исследования гиперкомплексных чисел и конечномерных алгебр iconЗадачи первого тура для 10 класса
Квадрат каждого из трёх чисел равен произведению двух оставшихся чисел. Докажите, что все данные числа равны
М. А. Приходовский применение многомерных матриц для исследования гиперкомплексных чисел и конечномерных алгебр iconСистема счисления – совокупность правил для обозначения и наименования чисел
В современном мире известно множество способов представления чисел. Число можно представить группой символов некоторого алфавита
М. А. Приходовский применение многомерных матриц для исследования гиперкомплексных чисел и конечномерных алгебр iconДля нахождения наибольшего общего делителя двух натуральных чисел
Знаком «%» обозначена операция нахождения остатка от деления целых чисел (как в языке «Си»)
М. А. Приходовский применение многомерных матриц для исследования гиперкомплексных чисел и конечномерных алгебр iconДокументы
...
М. А. Приходовский применение многомерных матриц для исследования гиперкомплексных чисел и конечномерных алгебр iconТема: Форматы представления чисел в компьютере
Целочисленный формат (или формат с фиксированной точкой) используется для кодирования целых положительных и отрицательных чисел,...
М. А. Приходовский применение многомерных матриц для исследования гиперкомплексных чисел и конечномерных алгебр iconМетоды перевода чисел из одной сс в другую
Метод Поразрядный метод перевода чисел: перевод чисел между двоичной, восьмеричной и шестнадцатеричной системами счисления туда и...
Разместите кнопку на своём сайте:
Документы


База данных защищена авторским правом ©podelise.ru 2000-2014
При копировании материала обязательно указание активной ссылки открытой для индексации.
обратиться к администрации
Документы

Разработка сайта — Веб студия Адаманов