Определение минора матрицы
1.2 Определитель 3-го порядка. Минор
. (1.4)
Одной из характеристик матрицы является ее определитель – число, вычисленное по правилу
. (1.5)
Коэффициент при Aij в этой формуле (соответствующий определитель 2-го порядка) называется Минором этого элемента (от слова “младший”).
Дадим строгое определение минора элемента матрицы.
Минором элемента матрицы называется определитель Mij, полученный из матрицы А путем вычеркивания из матрицы i-й строки и j-го столбца.
Например, определитель второго порядка
Является минором элемента A12 матрицы (1.4) (из матрицы А вычеркнута 1-я строка и 2-й столбец).
Теперь, используя понятие минора, правило вычисления Определителя матрицы 3-го порядка можно записать так:
Эта формула называется разложением определителя по первой строке, она позволяет свести вычисление определителя 3-го порядка к вычислению трех определителей 2-го порядка.
Назовем число Aij = (–1)I+J× Mij Алгебраическим дополнением элемента Aij. Очевидно, что
. (1.7)
Знак, который приписывается минору соответствующего элемента определителя, можно записать в следующей таблице:
С помощью алгебраических дополнений формулу (1.6) можно записать так:
. (1.8)
Итак, Определитель равен сумме произведений элементов первой строки на их алгебраические дополнения.
Можно доказать, что это правило справедливо для произвольной строки или столбца определителя. Результат вычисления определителя не зависит от того, по какой строке или столбцу записывается разложение типа (1.8). Справедлива общая теорема.
Определитель матрицы равен сумме произведений элементов произвольной строки (столбца) матрицы на их алгебраические дополнения.
Например, разлагая по второй строке, получим
.
Разложите этот определитель по первой строке и сравните ответ. Убедитесь, что результат будет таким же.
Заметим, что справедлива теорема: сумма произведений элементов какой-либо строки (столбца) определителя на алгебраические дополнения элементов другой строки (столбца) равна нулю.
Определение минора матрицы
, знак перед произведением равен (-1) n , где n = i + j.
Алгебраические дополнения:
Алгебраическим дополнением элемента аij называется его минор, взятый со знаком “+”, если сумма (i + j) четное число, и со знаком “-“, если эта сумма нечетное число. Обозначается Аij. Аij = (-1) i+j × Мij.
Тогда можно переформулировать изложенное выше свойство. Определитель матрицы равен сумме произведение элементов некторого ряда (строки или столбца) матрицы на соответствующие им алгебраические дополнения. Пример:
4. Обратная матрица и её вычисление.
Пусть А – квадратная матрица n – ого порядка.
Квадратная матрица А называется невырожденной, если определитель матрицы (Δ = det A) не равен нулю (Δ = det A ≠ 0). В противном случае (Δ = 0) матрица А называется вырожденной.
Матрицей, союзной к матрице А, называется матрица
, где Аij – алгебраическое дополнение элемента аij данной матрицы (оно определяется так же, как и алгебраическое дополнение элемента определителя матрицы).
Матрица А -1 называется обратной матрице А, если выполняется условие: А × А -1 = А -1 × А = Е , где Е – единичная матрица того же порядка, что и матрица А. Матрица А -1 имеет те же размеры, что и матрица А.
Обратная матрица
Если существуют квадратные матрицы Х и А, удовлетворяющие условию: X × A = A × X = E , где Е – единичная матрица того же самого порядка, то матрица Х называется обратной матрицей к матрице А и обозначается А -1 . Всякая невырожденная матрица имеет обратную матрицу и притом только одну, т. е. для того чтобы квадратная матрица A имела обратную матрицу, необходимо и достаточно, чтобы её определитель был отличен от нуля.
Для получения обратной матрицы используют формулу:
, где Мji дополнительный минор элемента аji матрицы А.
5. Ранг матрицы. Вычисление ранга с помощью элементарных преобразований.
Рассмотрим прямоугольную матрицу mхn. Выделим в этой матрице какие-нибудь k строк и k столбцов, 1 £ k £ min (m, n) . Из элементов, стоящих на пересечении выделенных строк и столбцов, составим определитель k-го порядка. Все такие определители называются минорами матрицы. Например, для матрицы можно составить миноры второго порядка
и миноры первого порядка 1, 0, -1, 2, 4, 3.
Определение.Рангом матрицы называется наивысший порядок отличного от нуля минора этой матрицы. Обозначают ранг матрицы r (A).
В приведенном примере ранг матрицы равен двум, так как, например, минор
Ранг матрицы удобно вычислять методом элементарных преобразований. К элементарным преобразованиям относят следующие:
1) перестановки строк (столбцов);
2) умножение строки (столбца) на число, отличное от нуля;
3) прибавление к элементам строки (столбца) соответствующих элементов другой строки (столбца), предварительно умноженных на некоторое число.
Эти преобразования не меняют ранга матрицы, так как известно, что 1) при перестановке строк определитель меняет знак и, если он не был равен нулю, то уже и не станет; 2) при умножении строки определителя на число, не равное нулю, определитель умножается на это число; 3) третье элементарное преобразование вообще не изменяет определитель. Таким образом, производя над матрицей элементарные преобразования, можно получить матрицу, для которой легко вычислить ранг ее и, следовательно, исходной матрицы.
Определение. Матрица , полученная из матрицы
при помощи элементарных преобразований, называется эквивалентной и обозначаетсяА
В.
Теорема.Ранг матрицы не изменяется при элементарных преобразованиях матрицы.
С помощью элементарных преобразований можно привести матрицу к так называемому ступенчатому виду, когда вычисление ее ранга не представляет труда.
Матрица называется ступенчатой если она имеет вид:
, где
,
,
.
Очевидно, что ранг ступенчатой матрицы равен числу ненулевых строк , т.к. имеется минор
-го порядка, не равный нулю:
.
Пример.Определить ранг матрицы с помощью элементарных преобразований.
.
Ранг матрицы равен количеству ненулевых строк, т.е. .
Алгебраические дополнения и миноры. Виды миноров и алгебраических дополнений.
В данной теме рассмотрим понятия алгебраического дополнения и минора. Изложение материала опирается на термины, пояснённые в теме “Матрицы. Виды матриц. Основные термины”. Также нам понадобятся некоторые формулы для вычисления определителей. Так как в данной теме немало терминов, относящихся к минорам и алгебраическим дополнениям, то я добавлю краткое содержание, чтобы ориентироваться в материале было проще.
Минор $M_$ элемента $a_$
Пусть задана квадратная матрица $A_
Для примера рассмотрим квадратную матрицу четвёртого порядка: $A=left( begin
Этот минор несложно вычислить, используя формулу №2 из темы вычисления определителей второго и третьего порядков:
$$ M_<32>=left| begin
Итак, минор элемента $a_<32>$ равен 579, т.е. $M_<32>=579$.
Часто вместо словосочетания “минор элемента матрицы” в литературе встречается “минор элемента определителя”. Суть остается неизменной: чтобы получить минор элемента $a_
Чтобы найти значение данного минора используем формулу №1 из темы вычисления определителей второго и третьего порядков:
$$ M_<12>=left| begin
Итак, минор элемента $a_<12>$ равен 83, т.е. $M_<12>=83$.
Алгебраическое дополнение $A_$ элемента $a_$
Пусть задана квадратная матрица $A_
где $M_
Найдем алгебраическое дополнение элемента $a_<32>$ матрицы $A=left( begin
Обычно при нахождении алгебраических дополнений не вычисляют отдельно минор, а уж потом само дополнение. Запись минора опускают. Например, найдем $A_<12>$, если $A=left( begin
Минор k-го порядка матрицы $A_$
Если в предыдущих двух пунктах мы говорили лишь о квадратных матрицах, то здесь поведём речь также и о прямоугольных матрицах, у которых количество строк вовсе не обязательно равняется количеству столбцов. Итак, пусть задана матрица $A_
Например, рассмотрим такую матрицу:
$$A=left( begin
Запишем для неё какой-либо минор третьего порядка. Чтобы записать минор третьего порядка нам потребуется выбрать какие-либо три строки и три столбца данной матрицы. Например, возьмём строки №2, №4, №6 и столбцы №1, №2, №4. На пересечении этих строк и столбцов будут располагаться элементы требуемого минора. На рисунке элементы минора показаны синим цветом:
Миноры первого порядка находятся на пересечении одной строки и одного столбца, т.е. миноры первого порядка равны элементам заданной матрицы.
Напомню, что главными диагональными элементами именуют те элементы матрицы, у которых индексы равны: $a_<11>$, $a_<22>$, $a_<33>$ и так далее. Например, для рассмотренной выше матрицы $A$ такими элементами будут $a_<11>=-1$, $a_<22>=7$, $a_<33>=18$, $a_<44>=8$. На рисунке они выделены зелёным цветом:
$$left( begin
Например, если в матрице $A$ мы вычеркнем строки и столбцы с номерами 1 и 3, то на их пересечении будут расположены элементы минора второго порядка, на главной диагонали которого будут находиться только диагональные элементы матрицы $A$ (элементы $a_<11>=-1$ и $a_<33>=18$ матрицы $A$). Следовательно, мы получим главный минор второго порядка:
$$ M=left|begin
Естественно, что мы могли взять иные строки и столбцы, – например, с номерами 2 и 4, получив при этом иной главный минор второго порядка.
Для примера рассмотрим такую матрицу:
$$A=left( begin
Запишем минор этой матрицы, элементы которого расположены на пересечении строк №1, №2, №3 и столбцов с №1, №3, №4. Мы получим минор третьего порядка (его элементы выделены в матрице $A$ фиолетовым цветом):
Найдём значение этого минора, используя формулу №2 из темы вычисления определителей второго и третьего порядков:
$$ M=left| begin
Итак, $M=11neq 0$. Теперь попробуем составить любой минор, порядок которого выше трёх. Чтобы составить минор четвёртого порядка, нам придётся использовать четвёртую строку, однако все элементы этой строки равны нулю. Следовательно, в любом миноре четвёртого порядка будет нулевая строка, а это означает, что все миноры четвёртого порядка равны нулю. Миноры пятого и более высоких порядков составить мы не можем, так как матрица $A$ имеет всего 4 строки.
Мы нашли минор третьего порядка, не равный нулю. При этом все миноры высших порядков равны нулю, следовательно, рассмотренный нами минор – базисный. Строки матрицы $A$, на которых расположены элементы этого минора (первая, вторая и третья), – базисные строки, а первый, третий и четвёртый столбцы матрицы $A$ – базисные столбцы.
Данный пример, конечно, тривиальный, так как его цель – наглядно показать суть базисного минора. Вообще, базисных миноров может быть несколько, и обычно процесс поиска такого минора куда сложнее и объёмнее.
Введём ещё одно понятие – окаймляющий минор.
Для примера обратимся к такой матрице:
$$A=left( begin
Запишем минор второго порядка, элементы которого расположены на пересечении строк №2 и №5, а также столбцов №2 и №4. Эти элементы выделены в матрице красным цветом:
Добавим к набору строк, на которых лежат элементы минора $M$, ещё строку №1, а к набору столбцов – столбец №5. Получим новый минор $M’$ (уже третьего порядка), элементы которого расположены на пересечении строк №1, №2, №5 и столбцов №2, №4, №5. Элементы минора $M$ на рисунке выделены красным цветом, а элементы, которые мы добавляем к минору $M$ – синим:
Минор $M’$ является окаймляющим минором для минора $M$. Аналогично, добавляя к набору строк, на которых лежат элементы минора $M$, строку №4, а к набору столбцов – столбец №3, получим минор $M”$ (минор третьего порядка):
Минор $M”$ также является окаймляющим минором для минора $M$.
Минор k-го порядка матрицы $A_$. Дополнительный минор. Алгебраическое дополнение к минору квадратной матрицы.
Вновь вернёмся к квадратным матрицам. Введём понятие дополнительного минора.
Для примера рассмотрим квадратную матрицу пятого порядка:
$$ A=left( begin
Выберем в ней строки №1 и №3, а также столбцы №2 и №5. На пересечении оных строк и столбцов будут элементы минора $M$ второго порядка. Эти элементы выделены в матрице $A$ зелёным цветом:
Теперь уберём из матрицы $A$ строки №1 и №3 и столбцы №2 и №5, на пересечении которых находятся элементы минора $M$ (элементы убираемых строк и столбцов показаны красным цветом на рисунке ниже). Оставшиеся элементы образуют минор $M’$:
Минор $M’$, порядок которого равен $5-2=3$, является минором, дополнительным к минору $M$.
Словосочетание “алгебраическое дополнение к минору $M$” часто заменяют словосочетанием “алгебраическое дополнение минора $M$”.
Для примера рассмотрим матрицу $A$, для которой мы находили минор второго порядка $ M=left| begin
Параметр $alpha$ равен сумме номеров строк и столбцов, на которых находится минор $M$. Этот минор расположен на пересечении строк №1, №3 и столбцов №2, №5. Следовательно, $alpha=1+3+2+5=11$. Итак:
$$ M^*=(-1)^<11>cdot M’=-left| begin
В принципе, используя формулу №2 из темы вычисления определителей второго и третьего порядков, можно довести вычисления до конца, получив значение $M^*$:
$$ M^*=-left| begin
Источники:
http://matica.org.ua/metodichki-i-knigi-po-matematike/iunit-3-vektornaia-algebra/1-2-opredelitel-3-go-poriadka-minor
http://studfile.net/preview/5021956/page:2/
http://math1.ru/education/matrix/minor.html