Лямбда-матрицы

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Ля́мбда-ма́трица (λ-матрица, матрица многочленов) — квадратная матрица, элементами которой являются многочлены над некоторым числовым полем. Если имеется некоторый элемент матрицы, который является многочленом степени , и нет элементов матрицы степени большей чем , то  — степень λ-матрицы.

Используя обычные операции над матрицами любую λ-матрицу можно представить в виде:

В случае если определитель матрицы отличен от нуля, λ-матрица называется регулярной.

Пример:

Отметим, что матрица нерегулярна.

Алгебра λ-матриц[править | править вики-текст]

Сложение и умножение λ-матриц[править | править вики-текст]

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

Пусть и — λ-матрицы порядков и соответственно, и , тогда

;
,

где хотя-бы одна из матриц — ненулевая, имеем

;
;

Деление λ-матриц[править | править вики-текст]

Предположим, что — регулярная λ-матрица и что существуют такие λ-матрицы с или со степенью , меньшей степени , что

.

В этом случае называется правым частным при делении на , а правым остатком. Подобно этому и левое частное и левый остаток при делении на , если

и или степень меньше степени .

Если правый (левый) остаток равен 0, то    называется правым (левым) делителем при делении на .

Logo arte.jpg Если — регулярная, то правое (левое) частное и правый (левый) остаток при делении на существуют и единственны.


λ-матрицы с матричными аргументами[править | править вики-текст]

Вследствие некоммутативности умножения матриц, в отличие от свойств обычного многочлена для λ-матрицы нельзя записать равенство, аналогичное

,

поэтому мы определяем правое значение λ-матрицы в матрице как

, если ;

и левое значение как

,

и в общем случае .

Теорема Безу для λ-матриц[править | править вики-текст]

Для λ-матриц существует свойство, аналогичное теореме Безу для многочленов:

Logo arte.jpg Теорема Безу для λ-матриц
Правым и левым остатком от деления λ-матрицы на , где единичная матрица является и соответственно.


Следствие Для того чтобы λ-матрица делилась без остатка на справа (слева) необходимо и достаточно, чтобы    .

См. также[править | править вики-текст]

Литература[править | править вики-текст]