Приведение к каноническому виду. Приведение матрицы к каноническому виду
Матрицы - удобный инструмент для решения самых различных алгебраических задач. Знание некоторых простых правил для оперирования с ними позволяет приводить матрицы к любым удобным и необходимым в данный момент формам. Часто полезным является использование канонической формы матрицы.
Инструкция
- Запомните, что канонический вид матрицы не требует, чтобы на всей главной диагонали стояли единицы. Суть определения заключается в том, что единственные ненулевые элементы матрицы в ее каноническом виде – это единицы. Если они присутствуют, то располагаются на главной диагонали. При этом их количество может варьироваться от нуля до количества строчек в матрице.
- Не забывайте, что элементарные преобразования позволяют любую матрицу привести к каноническому виду . Самая большая сложность – интуитивно найти наиболее простую последовательность цепочек действий и не ошибиться в вычислениях.
- Выучите основные свойства операций со строчками и столбцами в матрице. К элементарным преобразованиям относят три стандартных преобразования. Это умножение строчки матрицы на любое ненулевое число, суммирование строк (в том числе прибавление к одной другой, умноженной на какое-то число) и их перестановка. Подобные действия позволяют получить матрицу эквивалентную данной. Соответственно, вы можете выполнить такие операции и со столбцами без потери эквивалентности.
- Старайтесь не выполнять одновременно сразу несколько элементарных преобразований: продвигайтесь от этапа к этапу, чтобы не допустить случайной ошибки.
- Найдите ранг матрицы, чтобы определить количество единиц на главной диагонали: это подскажет вам, какой окончательный вид будет иметь искомая каноническая форма, и избавит от необходимости выполнять преобразования, если требуется просто использовать ее для решения.
- Воспользуйтесь методом окаймляющих миноров для того, чтобы выполнить предыдушую рекомендацию. Вычислите минор к-ого порядка, а также все окаймляющие его миноры степени (к+1). Если они равны нулю, то ранг матрицы есть число к. Не забывайте, что минор Мij – это определитель матрицы, получаемой при вычеркивании строки i и столбца j из исходной.
Говорят, что матрица размерности имеет канонический
вид, если её можно разбить на четыре блока (некоторые из них могут оказаться пустыми), каждый из которых представляет собой подматрицуопределённого типа (подматрицей
называется матрица, являющаяся частью исходной матрицы). Левый верхний блок – единичная матрица k
-го порядка, два нижних блока – матрицы размерностей и 
, состоящие из нулей (на схеме эти матрицы обозначены большими жирными нулями). Правый верхний блок – произвольная матрица размерности . Число k
> 0 и не превосходит чисел m
и n
.
Если , правые блоки отсутствуют, если , отсутствуют нижние (нулевые) блоки. Если , матрица состоит из одного (единичного) блока.
Приведём конкретные примеры матриц, имеющих канонический вид (точками обозначены те элементы матриц, конкретные значения которых роли не играют):
а) 
, б) , в) , г) 
.
В примере а) , (k совпадает с количеством строк), обе нулевые подматрицы отсутствуют; в примере б) (k совпадает с количеством столбцов), , оба правых блока отсутствуют, нулевая подматрица является матрицей-строкой; в примере в) , первая нулевая подматрица является матрицей-строкой, вторая нулевая подматрица состоит из одного элемента; в примере г) , , .
Часто в определении матрицы канонического вида вместо единичной подматрицы фигурирует треугольная подматрица. В этом случае говорят о матрице почти канонического вида. Поскольку единичная матрица – частный случай треугольной, матрицы канонического вида – частный случай матриц почти канонического вида. Если в схематическом изображении матрицы канонического вида единичную матрицу в левом верхнем блоке заменить треугольной, получится схемаматрицыпочти канонического вида.
Приведём примеры матриц, имеющих почти канонический вид:
а) 
, б) , в) 
, г) 
.
Следующие преобразования матриц называются допустимыми : перестановка строк; перестановка столбцов; умножение элементов строки матрицы на одно и то же число, отличное от нуля; прибавление к одной из строк матрицы другой строки, предварительно умноженной на некоторое число (в частности, вычитание одной строки из другой и прибавление одной строки к другой). Как будет показано далее, допустимые преобразования матриц отвечают тем действиям с системами линейных уравнений, которые не нарушают равносильности.
При помощи допустимых преобразований любую матрицу A можно привести к матрице , имеющей канонический вид .
Приведение матрицы к каноническому виду можно разбить на этапы, каждый из которых состоит из двух шагов – получения очередной единицы на главной диагонали и превращения соответствующего столбца в единичный столбец, то есть такой, у которого все элементы, за исключением диагонального, равны нулю.
Первый шаг осуществляется следующим образом. Если рассматриваемый диагональный элемент равен единице, переходим ко второму шагу. Если диагональный элемент не равен единице, но отличен от нуля, поделим на него все элементы его строки. Если диагональный элемент равен нулю, то поищем ненулевой элемент, расположенный либо в его (диагонального элемента) столбце, но ниже, либо в его строке, но правее, либо ниже и правее одновременно. Если такой элемент найдётся, сделаем его диагональным, переставив соответствующие строки (в первом случае), или столбцы (во втором), или строки и столбцы по очереди (в третьем). Если же такого элемента не найдётся, это будет означать, что процесс закончен.
Если первый шаг выполнен, а столбец, в котором стоит новый единичный диагональный элемент, содержит другой ненулевой элемент, прибавим к его строке строку диагонального элемента, умноженную на подлежащий уничтожению элемент, взятый с противоположным знаком.
Рассмотрим пример приведения матрицы к каноническому виду.
~ ~ 
~
Первый диагональный Первый диагональный
элемент равен нулю. элемент отличен от нуля.
~ ~ 
~ 
~
Первый диагональный
элемент стал равным единице
~ 
~ ~ 
~
Определение.
Многочленной матрицей или
-матрицей
называется прямоугольная матрица,
элементы которой являются многочленами
от одного переменного
с числовыми коэффициентами.
Над
-матрицами
можно совершать элементарные
преобразования. К ним относятся:
Две
-матрицы
и
одинаковых размеров называются
эквивалентными:
,
если от матрицы
к
можно перейти с помощью конечного числа
элементарных преобразований.
Пример. Доказать эквивалентность матриц
|
|
|
,
.Решение.
.
.
Умножим вторую строку на (–1) и заметим, что
.
.
Множество
всех
-матриц
данных размеров
разбивается на непересекающиеся классы
эквивалентных матриц. Матрицы,
эквивалентные между собой, образуют
один класс, не эквивалентные – другой.
Каждый
класс эквивалентных матриц характеризуется
канонической, или нормальной,
-матрицей
данных размеров.
Определение.
Канонической, или нормальной,
-матрицей
размеров
называется
-матрица,
у которой на главной диагонали стоят
многочлены,
гдер
– меньшее из чисел m
и n
(
),
причем не равные нулю многочлены имеют
старшие коэффициенты, равные 1, и каждый
следующий многочлен делиться на
предыдущий. Все элементы вне главной
диагонали равны 0.
Из определения следует, что если среди многочленов имеются многочлены нулевой степени, то они в начале главной диагонали. Если имеются нули, то они стоят в конце главной диагонали.
Матрица
предыдущего примера есть каноническая.
Матрица
также каноническая.
Каждый
класс
-матриц
содержит единственную каноническую
-матрицу,
т.е. каждая
-матрица
эквивалентна единственной канонической
матрице, которая называется канонической
формой или нормальной формой данной
матрицы.
Многочлены,
стоящие на главной диагонали канонической
формы данной
-матрицы,
называются инвариантными множителями
данной матрицы.
Один
из методов вычисления инвариантных
множителей состоит в приведении данной
-матрицы
к канонической форме.
Так,
для матрицы
предыдущего примера инвариантными
множителями являются
,
,
,
.
Из
сказанного следует, что наличие одной
и той же совокупности инвариантных
множителей является необходимым и
достаточным условием эквивалентности
-матриц.
Приведение
-матриц
к каноническому виду сводится к
определению инвариантных множителей
,
;
,
где
r
– ранг
-матрицы;
– наибольший общий делитель миноровk
-го
порядка, взятый со старшим коэффициентом,
равным 1.
Пример.
Пусть дана
-матрица
.
Решение.
Очевидно, наибольший общий делитель
первого порядка D
1
=1,
т.е.
.
Определим миноры второго порядка:
|
|
|
,
Уже
этих данных достаточно для того, чтобы
сделать вывод: D
2
=1,
следовательно,
.
Определяем D 3
,
Следовательно,
.
Таким
образом, канонической формой данной
матрицы является следующая
-матрица:
.
Матричным многочленом называется выражение вида
где
– переменное;
– квадратные матрицы порядкаn
с числовыми элементами.
Если
,
тоS
называют степенью матричного многочлена,
n
– порядком матричного многочлена.
Любую
квадратичную
-матрицу
можно представить в виде матричного
многочлена. Справедливо, очевидно, и
обратное утверждение, т.е. любой матричный
многочлен можно представить в виде
некоторой квадратной
-матрицы.
Справедливость данных утверждений со всей очевидностью вытекает из свойств операций над матрицами. Остановимся на следующих примерах:
Пример. Представить многочленную матрицу
в виде матричного многочлена можно следующим образом
.
Пример. Матричный многочлен
можно
представить в виде следующей многочленной
матрицы (
-матрицы)
.
Эта взаимозаменяемость матричных многочленов и многочленных матриц играет существенную роль в математическом аппарате методов факторного и компонентного анализа.
Матричные многочлены одинакового порядка можно складывать, вычитать и умножать аналогично обычным многочленам с числовыми коэффициентами. Следует, однако, помнить, что умножение матричных многочленов, вообще говоря, не коммутативно, т.к. не коммутативно умножение матриц.
Два
матричных многочлена называются равными,
если равны их коэффициенты, т.е.
соответствующие матрицы при одинаковых
степенях переменного
.
Суммой
(разностью) двух матричных многочленов
и
называется такой матричный многочлен,
у которого коэффициент при каждой
степени переменного
равен сумме (разности) коэффициентов
при той же степени
в многочленах
и
.
Чтобы
умножить матричный многочлен
на матричный многочлен
,
нужно каждый член матричного многочлена
умножить на каждый член матричного
многочлена
,
сложить полученные произведения и
привести подобные члены.
Степень
матричного многочлена – произведения
меньше или равна сумме степеней
сомножителей.
Операции
над матричными многочленами можно
осуществлять с помощью операций над
соответствующими
-матрицами.
Чтобы
сложить (вычесть) матричные многочлены,
достаточно сложить (вычесть) соответствующие
-матрицы.
То же относится к умножению.
-матрица
произведения матричных многочленов
равна произведению
-матриц
сомножителей.
Пример.
|
|
|
С
другой стороны
и
можно записать в виде
|
|
|
Так как умножение матриц не коммутативно, для матричных многочленов определяются два деления с остатком – правое и левое.
Пусть даны два матричных многочлена порядка n
где В 0 – невырожденная матрица.
При
делении
на
существует однозначно определенное
правое частное
и правый остаток
где
степень R
1
меньше степени
,
или
(деление без остатка), а также левое
частное
и левый остаток
где
степень
меньше степени
,
или
=0
(деление без остатка).
Обобщённая
теорема Безу.
При делении матричного многочлена
на многочлен
правый остаток равен правому значению
делимого
при
,
т.е. матрице
а
левый остаток – левому значению делимого
при
,
т.е. матрице
Доказательство. Доказательство справедливости обеих формул (3.4.1) и (3.4.2) осуществляется одинаково, непосредственной подстановкой. Докажем одну из них.
Итак,
делимое –
,
делитель –
,
в качестве частного имеем многочлен
Определим
произведение
:
или
что и требовалось доказать.
Следствие.
делится справа (слева) на многочлен
тогда и только тогда, когда
равно 0.
Пример. Показать, что матричный многочлен
делится
на матричный многочлен
,
где
,
слева без остатка.
Решение. В самом деле, справедливо равенство
Где
Подсчитаем значение левого остатка по теореме Безу
1. Выясним сначала, к какому сравнительно простому виду можно привести прямоугольную многочленную матрицу путем применения одних только левых элементарных операций.
Допустим, что в первом столбце матрицы имеются элементы, не равные тождественно нулю. Возьмем среди них многочлен наименьшей степени и путем перестановки строк сделаем его элементом . После этого разделим многочлен на ; частное и остаток обозначим через и
Вычтем теперь из -й строки первую строку, предварительно умноженную на . Если при этом не все остатки равны тождественно нулю, то тот из них, который не равен нулю и имеет наименьшую степень, может быть перестановкой строк поставлен на место . В результате всех этих операций степень многочлена понизится.
Теперь мы снова повторим этот процесс и т. д. Так как степень многочлена конечна, то на некотором этапе этот процесс уже нельзя будет продолжить, т. е. на этом этапе все элементы окажутся равными тождественно нулю.
После этого возьмем элемент и применим ту же процедуру к строкам с номерами . Тогда добьемся того, что и . Продолжая так далее, мы в конце концов приведем матрицу к следующему виду:
(5)
Если многочлен не равен тождественно нулю, то, применяя левую элементарную операцию второго типа, мы сделаем степень элемента меньшей, нежели степень (если имеет нулевую степень, то станет тождественно равен нулю). Точно так же, если , то при помощи левых элементарных операций второго типа мы сделаем степени элементов меньшими, нежели степень , не изменив при этом элемента , и т. д.
Мы установили следующую теорему:
Теорема
1. Произвольная прямоугольная многочленная матрица с размерами при помощи левых
элементарных операций всегда может быть приведена к виду (5), где многочлены имеют меньшую
степень, нежели ,
если только ,
и все равны тождественно нулю, если 
.
Совершенно аналогично доказывается
Теорема 2. Произвольная прямоугольная многоценная матрица с размерами при помощи правых элементарных операций всегда может быть приведена к виду
(6)
где
многочлены имеют
меньшую степень, нежели , если только , и все равны тождественно
нулю, если 
.
2. Из теорем 1 и 2 вытекает следующее
Следствие. Если определитель квадратной многоценной матрицы не зависит от и отличен от нуля, то эту матрицу можно представить в виде произведения конечного числа элементарных матриц.
Действительно, согласно теореме 1 матрицу при помощи левых элементарных операций можно привести к виду
(7)
где – порядок матрицы . Так как при применении элементарных операций к квадратной многочленной матрице определитель этой матрицы умножается лишь на постоянный отличный от нуля множитель, то определитель матрицы (7), как и определитель , не зависит от и отличен от нуля, т. е.
.
Но тогда в силу той же теоремы 1 матрица (7) имеет диагональный вид и потому может быть приведена при помощи левых элементарных операций типа 1 к единичной матрице . Тогда и обратно, единичную матрицу можно привести к при помощи левых элементарных операций с матрицами . Следовательно,
Из доказанного следствия получаем (см. стр. 137 – 138) равносильность двух определений 2 и 2" эквивалентности многочленных матриц.
3. Вернемся к нашему примеру системы дифференциальных уравнений (4). Применим теорему 1 к матрице операторных коэффициентов . Тогда, как было указано на стр. 138, система (4) заменится равносильной системой
(4")
где . В этой системе мы функции можем выбрать произвольно, после чего последовательно определятся функции , причем на каждом этапе этого определения приходится интегрировать одно дифференциальное уравнение с одной неизвестной функцией.
4. Перейдем теперь к установлению «канонического» вида, к которому можно привести прямоугольную многочленную матрицу , применяя к ней как левые, так и правые элементарные операции.
Среди всех не равных тождественно нулю элементов матрицы возьмем тот элемент, который имеет наименьшую степень относительно , и путем соответствующей перестановки строк и столбцов сделаем его элементом . После этого найдем частные и остатки от деления многочленов и на :
Если
хотя бы один из остатков 
, например , не равен тождественно
нулю, то, вычитая из -го столбца первый столбец,
предварительно помноженный на , мы заменим элемент остатком , который имеет
меньшую степень, нежели . Тогда мы имеем возможность снова
уменьшить степень элемента, стоящего в левом верхнем углу матрицы, поместив на
это место элемент с наименьшей степенью относительно .
Если
же все остатки 
;
равны
тождественно нулю, то, вычитая из -й строки первую, помноженную
предварительно на , а из -го столбца – первый, предварительно
помноженный на , мы приведем нашу
многочленную матрицу к виду
Если
при этом хотя бы один из элементов не делится без остатка на , то, прибавляя к
первому столбцу тот столбец, который содержит этот элемент, мы придем к
предыдущему случаю и, следовательно, снова сможем заменить элемент многочленом
меньшей степени., мы матрицу (8) приведем к виду строк
на соответствующие отличные от нуля числовые множители, мы сможем добиться
того, чтобы старшие коэффициенты многочленов, и установим формулы, связывающие эти
многочлены с элементами матрицы .
Матрицы - удобный инструмент для решения самых различных алгебраических задач. Знание некоторых простых правил для оперирования с ними позволяет приводить матрицы к любым удобным и необходимым в данный момент формам. Часто полезным является использование канонической формы матрицы.
Инструкция
Запомните, что канонический вид матрицы не требует, чтобы на всей главной диагонали стояли единицы. Суть определения заключается в том, что единственные ненулевые элементы матрицы в ее каноническом виде – это единицы. Если они присутствуют, то располагаются на главной диагонали. При этом их количество может варьироваться от нуля до количества строчек в матрице.
Не забывайте, что элементарные преобразования позволяют любую матрицу привести к каноническому виду . Самая большая сложность – интуитивно найти наиболее простую последовательность цепочек действий и не ошибиться в вычислениях.
Выучите основные свойства операций со строчками и столбцами в матрице. К элементарным преобразованиям относят три стандартных преобразования. Это умножение строчки матрицы на любое ненулевое число, суммирование строк (в том числе прибавление к одной другой, умноженной на какое-то число) и их перестановка. Подобные действия позволяют получить матрицу эквивалентную данной. Соответственно, вы можете выполнить такие операции и со столбцами без потери эквивалентности.
Старайтесь не выполнять одновременно сразу несколько элементарных преобразований: продвигайтесь от этапа к этапу, чтобы не допустить случайной ошибки.
Найдите ранг матрицы, чтобы определить количество единиц на главной диагонали: это подскажет вам, какой окончательный вид будет иметь искомая каноническая форма, и избавит от необходимости выполнять преобразования, если требуется просто использовать ее для решения.
Воспользуйтесь методом окаймляющих миноров для того, чтобы выполнить предыдушую рекомендацию. Вычислите минор к-ого порядка, а также все окаймляющие его миноры степени (к+1). Если они равны нулю, то ранг матрицы есть число к. Не забывайте, что минор Мij – это определитель матрицы, получаемой при вычеркивании строки i и столбца j из исходной.
Внимание, только СЕГОДНЯ!
Все интересное
Матрицы, представляющие собой табличную форму записи данных, широко применяются при работе с системами линейных уравнений. Причем число уравнений определяет количество строк матрицы, а количество переменных – порядок ее столбцов. В результате…
Рангом матрицы S называют наибольший из порядков ее миноров, отличных от нуля. Минорами являются определители квадратной матрицы, которая получается из исходной путем выбора произвольных строк и столбцов. Обозначается ранг Rg S, а его вычисление…
Матрица – это математический объект, представляющий собой прямоугольную таблицу. На пересечении столбцов и строк этой таблицы расположены элементы матрицы – целые, действительные или комплексные числа. Размер матрицы устанавливается по количеству ее…
Алгебраическое дополнение – элемент матричной или линейной алгебры, одно из понятий высшей математики наряду с определителем, минором и обратной матрицей. Однако несмотря на кажущуюся сложность, найти алгебраические дополнения нетрудно. Инструкция…
Матрица - это упорядоченная совокупность чисел в прямоугольной таблице, имеющая размерность m строк на n столбцов. Решение сложных систем линейных уравнений основано на вычислении матриц, состоящих из заданных коэффициентов. В общем случае при…
Матричная алгебра – раздел математики, посвященный изучению свойств матриц, их применению для решения сложных систем уравнений, а также правилам действий над матрицами, включая деление. Инструкция 1Существует три действия над матрицами: сложение,…
Алгебраические дополнения – это одно из понятий матричной алгебры, применяемое к элементам матрицы. Нахождение алгебраических дополнений является одним из действий алгоритма определения обратной матрицы, а также операции матричного деления. …
Матрица В считается обратной для матрицы А, если при их умножении образуется единичная матрица Е. Понятие «обратной матрицы» существует только для квадратной матрицы, т.е. матрицы «два на два», «три на три» и т.д.…
Для каждой невырожденной (с определителем |A|, не равном нулю) квадратной матрицы А существует единственная обратная матрица, обозначаемая А^(-1), такая, что (А^(-1))А=А, А^(-1)=Е. Инструкция 1Е называется единичной матрицей. Она состоит из…
Математическая матрица является упорядоченной таблицей элементов с определенным числом строк и столбцов. Чтобы найти решение матрицы, необходимо определить, какое действие требуется над ней выполнить. После этого действуйте согласно имеющимся…
Математика, безусловно, является «королевой» наук. Не каждый человек способен познать всю глубину ее сущности. Математика объединяет в себя множество разделов, и каждый является своеобразным звеном математической цепи. Таким же основным…
Если в любой матрице A взять произвольные k строк и столбцов и составить из элементов этих строк и столбцов подматрицу размера k на k, то такая подматрица называется минором матрицы A. Количество строк и столбцов в наибольшем таком миноре, отличном…