VI Международная студенческая научная конференция Студенческий научный форум - 2014

Согласно проведенным исследованиям делителем нуля некоторой заданной матрицы A называется такая матрица, произведение которой с матрицей A тождественно равно нулю. Механизм действия делителей нуля основан на использовании линейной зависимости столбцов (правый делитель) и строк (левый делитель) матрицы A.

Матрица A размера имеет правый делитель нуля, если можно подобрать такую другую матрицу , содержащую n строк и произвольное число q столбцов, что всегда выполняются тождество и два неравенства

где – нулевая матрица размера ().

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

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

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

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

Левый делитель нуля оперирует со строками матрицы A. Из m строк матрицы A могут быть составлены не более линейно независимых комбинаций, тождественно равных нулю. Соответственно – размерность левого нуль-пространства отображения, задаваемого матрицей A, размерность коядра оператора . Для определенности также будем полагать, что левый делитель нуля имеет размер и максимальный ранг .

Левые матричные делители нуля обладают следующими свойствами:

Транспонирование	,
умножение на обратимую матрицу S	если , то ,
умножение на произвольную матрицу 	, ,
нильпотентная конструкция матриц индекса 2 с произвольной матрицей 	, ,
делители нуля произведения матриц с сохранением ранга	если , то ,
делители нуля произведения матриц с понижением ранга	если , то
обратимость сводной матрицы	если и , то

Правые матричные делители нуля обладают следующими свойствами:

транспонирование	,
умножение на обратимую матрицу S	если , то ,
умножение на произвольную матрицу 	, ,
нильпотентная конструкция матриц индекса 2 с произвольной матрицей 	, ,
делители нуля произведения матриц с сохранением ранга	если , то ,
делители нуля произведения матриц с понижением ранга	если , то
обратимость сводной матрицы	если и , то .

Первые три свойства очевидны и проверяются непосредственным вычислением, например,

Свойства «c» предоставляют возможность при формировании делителей нуля без ущерба для общности результата в качестве ненулевых элементов записывать различные фиксированные числа, например единицы. Произвольность матричных множителей  и  с любым (подходящим по контексту) числом строк и столбцов соответственно порождает всю совокупность элементов класса. Можно сказать и иначе. Для левого матричного делителя нуля максимального ранга: линейные комбинации его строк порождают все другие левые матричные делители нуля. Для правого матричного делителя нуля максимального ранга: линейные комбинации его столбцов порождают все другие правые матричные делители нуля.

Свойства «e», «f» вытекают из определения ядра и коядра. Ядро отображения, задаваемого матрицей , имеет размерность , в то же время, ядро произведения матриц BA имеет размерность . В соответствии с неравенством Сильвестра ранг произведения матриц не может превышать рангов сомножителей. Таким образом, в случае совпадения рангов (свойство «e») непосредственно из формул произведения и BA видно, что все делители нуля матрицы A будут таковыми для произведения матриц и наоборот. В противном случае (свойство «f») у произведения матриц и BA в связи с понижением ранга у делителей нуля и возникают дополнительные по сравнению с делителями и строки и столбцы соответственно.

Свойство «g» связано со следующим. Во-первых, число линейно независимых строк левого делителя нуля (столбцов правого делителя нуля) прямоугольной матрицы всегда дополняет число столбцов (строк) этой матрицы до числа строк (столбцов). Во-вторых, строки левого делителя (столбцы правого делителя) такой матрицы и строки (столбцы) самой матрицы всегда в совокупности линейно независимы.

Далее, если у прямоугольной матрицы C существует правый делитель нуля , тогда независимо от числа столбцов этого делителя имеет место лемма об обращении

где  – произвольная матрица соответствующего размера.

Рассмотрим сейчас структуру делителей нуля.

Если определение делителей нуля для исходной матрицы A представляет собой непростую задачу, то для матриц в канонических базисах структуры делителей нуля очевидны. Действительно, матрицы , содержат блоки только двух типов: единичные и нулевые. Ясно, что все строки и столбцы этих матриц, пересекающие единичные блоки, линейно независимы между собой. Таким строкам и столбцам в делителях нуля должны соответствовать нулевые строки и столбцы. В то же время строки и столбцы, пересекающие нулевые блоки, содержат только нулевые элементы и поэтому всегда линейно зависимы. Именно эти нулевые строки и столбцы матриц в канонических базисах используются для формирования делителей нуля.

В силу сказанного для матриц изоморфизмов делители нуля не существуют, точнее, существуют только нулевые делители нуля.

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

Правый канонический делитель нуля максимального ранга для матрицы с простейшей (канонической) структурой имеет вид

Этот делитель имеет линейно независимых столбцов (единичный блок) и m нулевых строк.

По аналогии можно придти к выводу, что мономорфизмы с матрицами в канонических базисах не имеют правых делителей нуля, а их канонические левые делители нуля представлены матрицами вида

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

Для общего (гомоморфного) случая характерно наличие левых и правых делителей нуля одновременно. Им соответствуют следующие канонические записи: для правых делителей нуля

и для левых делителей нуля

Число возможных линейно независимых комбинаций столбцов матрицы A, имеющих нулевые значения, согласно равно , а строк – согласно равно .

Обратим внимание на делители нуля матрицы-строки и матрицы-столбца. По определению эти оба типа матриц имеют максимальный ранг, равный единице. Отсюда следует, что у матрицы-строки нет левых делителей нуля, но она всегда имеет правый делитель нуля вида , размера и ранга . Матрица-столбец напротив не имеет правых делителей нуля и всегда имеет левый делитель нуля вида , размера и ранга .

Теперь можно вернуться к проблеме выборочной эквивалентности.

Пусть у матрицы , соответствующей оператору , существует левый делитель нуля , а у матрицы , соответствующей оператору , – правый делитель нуля , тогда согласно свойству «c» из вытекает тождество

где  и  – произвольные матрицы соответствующих размеров. В то же время не вызывает сомнения неравенство

Таким образом, выборочная эквивалентность систем

не предполагает их полной эквивалентности. И только при условии и справедливо тождество , а выборочная эквивалентность совпадает с полной эквивалентностью.

Список литературы:

1. Долгополова А.Ф.,Гулай Т.А.,Литвин Д.Б.Руководство к решению задач по математическому анализу. Часть 2.//Международный журнал экспериментального образования.2012. № 2. С. 81-82.

2. Косьянчук В.В.,Константинов С.В.,Колодяжная Т.А.,Редько П.Г.,Кузнецов И.П.Перспективный облик отказоустойчивых цифровых систем управления маневренных ЛА//Полет.2010. № 2.

3. Долгополова А.Ф.,Гулай Т.А.,Литвин Д.Б.,Мелешко С.В.Теория вероятностей и математическая статистика//Международный журнал экспериментального образования. 2012. № 11.

4. Литвин Д.Б.,Гулай Т.А.,Долгополова А.Ф.Использование математических методов для анализа динамических свойств управляемого объекта//Моделирование производственных процессов и развитие информационных систем: сб. материалов III Международной научно-практической конференции/СтГАУ. -Ставрополь: Бюро новостей, СтГАУ, 2012. -С. 163-167.

Код для цитирования: Скопировать