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

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

Навигация по странице.

Определение ранга матрицы и необходимые дополнительные понятия.

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

Возьмем матрицу А порядка . Пусть k – некоторое натуральное число, не превосходящее наименьшего из чисел m и n , то есть, .

Определение.

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

Другими словами, если в матрице А вычеркнуть (p–k) строк и (n–k) столбцов, а из оставшихся элементов составить матрицу, сохраняя расположение элементов матрицы А , то определитель полученной матрицы есть минор порядка k матрицы А .

Разберемся с определением минора матрицы на примере.

Рассмотрим матрицу .

Запишем несколько миноров первого порядка этой матрицы. К примеру, если мы выберем третью строку и второй столбец матрицы А , то нашему выбору соответствует минор первого порядка . Иными словами, для получения этого минора мы вычеркнули первую и вторую строки, а также первый, третий и четвертый столбцы из матрицы А , а из оставшегося элемента составили определитель. Если же выбрать первую строку и третий столбец матрицы А , то мы получим минор .

Проиллюстрируем процедуру получения рассмотренных миноров первого порядка
и .

Таким образом, минорами первого порядка матрицы являются сами элементы матрицы.

Покажем несколько миноров второго порядка. Выбираем две строки и два столбца. К примеру, возьмем первую и вторую строки и третий и четвертый столбец. При таком выборе имеем минор второго порядка . Этот минор также можно было составить вычеркиванием из матрицы А третьей строки, первого и второго столбцов.

Другим минором второго порядка матрицы А является .

Проиллюстрируем построение этих миноров второго порядка
и .

Аналогично могут быть найдены миноры третьего порядка матрицы А . Так как в матрице А всего три строки, то выбираем их все. Если к этим строкам выбрать три первых столбца, то получим минор третьего порядка

Он также может быть построен вычеркиванием последнего столбца матрицы А .

Другим минором третьего порядка является

получающийся вычеркиванием третьего столбца матрицы А .

Вот рисунок, показывающий построение этих миноров третьего порядка
и .

Для данной матрицы А миноров порядка выше третьего не существует, так как .

Сколько же существует миноров k-ого порядка матрицы А порядка ?

Число миноров порядка k может быть вычислено как , где и - число сочетаний из p по k и из n по k соответственно.

Как же построить все миноры порядка k матрицы А порядка p на n ?

Нам потребуется множество номеров строк матрицы и множество номеров столбцов . Записываем все сочетания из p элементов по k (они будут соответствовать выбираемым строкам матрицы А при построении минора порядка k ). К каждому сочетанию номеров строк последовательно добавляем все сочетания из n элементов по k номеров столбцов. Эти наборы сочетаний номеров строк и номеров столбцов матрицы А помогут составить все миноры порядка k .

Разберем на примере.

Пример.

Найдите все миноры второго порядка матрицы .

Решение.

Так как порядок исходной матрицы равен 3 на 3, то всего миноров второго порядка будет .

Запишем все сочетания из 3 по 2 номеров строк матрицы А : 1, 2 ; 1, 3 и 2, 3 . Все сочетания из 3 по 2 номеров столбцов есть 1, 2 ; 1, 3 и 2, 3 .

Возьмем первую и вторую строки матрицы А . Выбрав к этим строкам первый и второй столбцы, первый и третий столбцы, второй и третий столбцы, получим соответственно миноры

Для первой и третьей строк при аналогичном выборе столбцов имеем

Осталось ко второй и третьей строкам добавить первый и второй, первый и третий, второй и третий столбцы:

Итак, все девять миноров второго порядка матрицы А найдены.

Сейчас можно переходить к определению ранга матрицы.

Определение.

Ранг матрицы – это наивысший порядок минора матрицы, отличного от нуля.

Ранг матрицы А обозначают как Rank(A) . Можно также встретить обозначения Rg(A) или Rang(A) .

Из определений ранга матрицы и минора матрицы можно заключить, что ранг нулевой матрицы равен нулю, а ранг ненулевой матрицы не меньше единицы.

Нахождение ранга матрицы по определению.

Итак, первым методом нахождения ранга матрицы является метод перебора миноров . Этот способ основан на определении ранга матрицы.

Пусть нам требуется найти ранг матрицы А порядка .

Вкратце опишем алгоритм решения этой задачи способом перебора миноров.

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

Далее перебираем миноры второго порядка. Если все миноры второго порядка равны нулю, то ранг матрицы равен единице. Если существует хотя бы один ненулевой минор второго порядка, то переходим к перебору миноров третьего порядка, а ранг матрицы как минимум равен двум.

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

Отметим, что ранг матрицы не может превышать наименьшего из чисел p и n .

Пример.

Найдите ранг матрицы .

Решение.

Так как матрица ненулевая, то ее ранг не меньше единицы.

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

Все миноры третьего порядка равны нулю. Поэтому, ранг матрицы равен двум.

Ответ:

Rank(A) = 2 .

Нахождение ранга матрицы методом окаймляющих миноров.

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

Одним из таких методов является метод окаймляющих миноров .

Разберемся с понятием окаймляющего минора .

Говорят, что минор М ок (k+1)-ого порядка матрицы А окаймляет минор M порядка k матрицы А , если матрица, соответствующая минору М ок , «содержит» матрицу, соответствующую минору M .

Другими словами, матрица, соответствующая окаймляемому минору М , получается из матрицы, соответствующей окаймляющему минору M ок , вычеркиванием элементов одной строки и одного столбца.

Для примера рассмотрим матрицу и возьмем минор второго порядка . Запишем все окаймляющие миноры:

Метод окаймляющих миноров обосновывается следующей теоремой (приведем ее формулировку без доказательства).

Теорема.

Если все миноры, окаймляющие минор k-ого порядка матрицы А порядка p на n , равны нулю, то все миноры порядка (k+1) матрицы А равны нулю.

Таким образом, для нахождения ранга матрицы не обязательно перебирать все миноры, достаточно окаймляющих. Количество миноров, окаймляющих минор k -ого порядка матрицы А порядка , находится по формуле . Отметим, что миноров, окаймляющих минор k-ого порядка матрицы А , не больше, чем миноров (k + 1)-ого порядка матрицы А . Поэтому, в большинстве случаев использование метода окаймляющих миноров выгоднее простого перебора всех миноров.

Перейдем к нахождению ранга матрицы методом окаймляющих миноров. Кратко опишем алгоритм этого метода.

Если матрица А ненулевая, то в качестве минора первого порядка берем любой элемент матрицы А , отличный от нуля. Рассматриваем его окаймляющие миноры. Если все они равны нулю, то ранг матрицы равен единице. Если же есть хотя бы один ненулевой окаймляющий минор (его порядок равен двум), то переходим к рассмотрению его окаймляющих миноров. Если все они равны нулю, то Rank(A) = 2 . Если хотя бы один окаймляющий минор отличен от нуля (его порядок равен трем), то рассматриваем его окаймляющие миноры. И так далее. В итоге Rank(A) = k , если все окаймляющие миноры (k + 1)-ого порядка матрицы А равны нулю, либо Rank(A) = min(p, n) , если существует ненулевой минор, окаймляющий минор порядка (min(p, n) – 1) .

Разберем метод окаймляющих миноров для нахождения ранга матрицы на примере.

Пример.

Найдите ранг матрицы методом окаймляющих миноров.

Решение.

Так как элемент a 1 1 матрицы А отличен от нуля, то возьмем его в качестве минора первого порядка. Начнем поиск окаймляющего минора, отличного от нуля:

Найден окаймляющий минор второго порядка, отличный от нуля . Переберем его окаймляющие миноры (их штук):

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

Ответ:

Rank(A) = 2 .

Пример.

Найдите ранг матрицы с помощью окаймляющих миноров.

Решение.

В качестве отличного от нуля минора первого порядка возьмем элемент a 1 1 = 1 матрицы А . Окаймляющий его минор второго порядка не равен нулю. Этот минор окаймляется минором третьего порядка
. Так как он не равен нулю и для него не существует ни одного окаймляющего минора, то ранг матрицы А равен трем.

Ответ:

Rank(A) = 3 .

Нахождение ранга с помощью элементарных преобразований матрицы (методом Гаусса).

Рассмотрим еще один способ нахождения ранга матрицы.

Следующие преобразования матрицы называют элементарными:

• перестановка местами строк (или столбцов) матрицы;
• умножение всех элементов какой-либо строки (столбца) матрицы на произвольное число k , отличное от нуля;
• прибавление к элементам какой-либо строки (столбца) соответствующих элементов другой строки (столбца) матрицы, умноженных на произвольное число k .

Матрица В называется эквивалентной матрице А , если В получена из А с помощью конечного числа элементарных преобразований. Эквивалентность матриц обозначается символом « ~ » , то есть, записывается A ~ B .

Нахождение ранга матрицы с помощью элементарных преобразований матрицы основано на утверждении: если матрица В получена из матрицы А с помощью конечного числа элементарных преобразований, то Rank(A) = Rank(B) .

Справедливость этого утверждения следует из свойств определителя матрицы:

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

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

Для чего это делается? Ранг матриц такого вида очень легко найти. Он равен количеству строк, содержащих хотя бы один ненулевой элемент. А так как ранг матрицы при проведении элементарных преобразований не изменяется, то полученное значение будет рангом исходной матрицы.

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

Эти иллюстрации являются шаблонами, к которым будем преобразовывать матрицу А .

Опишем алгоритм метода .

Пусть нам требуется найти ранг ненулевой матрицы А порядка (p может быть равно n ).

Итак, . Умножим все элементы первой строки матрицы А на . При этом получим эквивалентную матрицу, обозначим ее А (1) :

К элементам второй строки полученной матрицы А (1) прибавим соответствующие элементы первой строки, умноженные на . К элементам третьей строки прибавим соответствующие элементы первой строки, умноженные на . И так далее до p-ой строки. Получим эквивалентную матрицу, обозначим ее А (2) :

Если все элементы полученной матрицы, находящиеся в строках со второй по p-ую , равны нулю, то ранг этой матрицы равен единице, а, следовательно, и ранг исходной матрицы равен единице.

Если же в строках со второй по p-ую есть хотя бы один ненулевой элемент, то продолжаем проводить преобразования. Причем действуем абсолютно аналогично, но лишь с отмеченной на рисунке частью матрицы А (2)

Если , то переставляем строки и (или) столбцы матрицы А (2) так, чтобы «новый» элемент стал ненулевым.

Пусть в матрице выделены
какие-либо k строк и k столбцов, k и k. Элементы, расположенные на пересечении этих строк и столбцов, образуют квадратную матрицу А¢ порядка k (подматрицу матрицы А).
Ее определитель называется минором k-го порядка данной матрицы А. Очевидно, что в общем случае таких миноров матрицы А может быть несколько. При этом максимальный порядок миноров равен минимальному из чисел m и n, т.е. . Из всех возможных миноров матрицы А выделим те, которые отличны от нуля. В свою очередь, среди этих миноров можно найти по крайней мере один минор наибольшего порядка.

Определение. Наибольший порядок минора, отличного от нуля, называется рангом матрицы.

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

Строки и столбцы, на пересечении которых стоит базисный минор, называются базисными .

В общем случае у матрицы может быть несколько базисных миноров.

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

Теорема 3.6. (о базисном миноре). Базисные строки (базисные столбцы) матрицы линейно независимы. Любая строка (любой столбец) матрицы А является линейной комбинацией базисных строк (базисных столбцов).

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

Ранее было дано определение ранга матрицы как наибольшего числа линейно независимых ее вектор-строк (столбцов). В курсе алгебры доказывается, что эти два определения эквивалентны. Это дает возможность вычислять ранг матрицы, а значит, и ранг системы векторов.

Пример. Найти все базисные миноры матрицы

А=.

○ Любой минор матрицы А третьего порядка равен нулю, так как содержит нулевую строку. Будем находить миноры второго порядка, отличные от нуля.

, , , , .

Среди миноров второго порядка есть отличные от нуля, значит ранг матрицы А равен 2 и базисными минорами являются . ●

Теорема 3.7. Для того чтобы определитель n-го порядка был равен нулю, необходимо и достаточно, чтобы его строки (столбцы) были линейно зависимы.

□ 1) Пусть определитель квадратной матрицы А порядка n равен нулю. Тогда максимальный порядок миноров, не равных нулю, должен быть меньше n ; следовательно, ранг матрицы А меньше n . Это означает, что система всех строк матрицы линейно зависима.

2) Если строки А 1 , А 2 ,…, А m определителя линейно зависимы,
то по свойству 6° линейной зависимости одна строка А i является линейной комбинацией остальных строк определителя, т.е.

Прибавив к строке А i эту линейную комбинацию, умноженную на (–1), получим одну строку, целиком состоящую из нулей, при этом на основании свойства 7° определителя величина определителя не изменится. Но тогда по свойству 2° определитель равен нулю. ■

Пример. Доказать, что векторы a 1 =(2;–1;3), a 2 =(–1;1;0), a 3 =(1;1;6) компланарны.

○ Три ненулевые трехмерные векторы компланарны, если они линейно зависимы. Составим определитель из координат этих векторов

Так как определитель равен нулю, то его строки линейно зависимы, значит, линейно зависимы векторы a 1 =(2;–1;3), a 2 =(–1;1;0), a 3 =(1;1;6), следовательно, они компланарны. ●

Миноры матрицы

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

Рассмотрим на примере определителя матрицы 3 - его порядка:

Тогда согласно определению минора , минором М 12 , соответствующим элементу а 12 , будет определитель :

При этом, с помощью миноров можно облегчать задачу вычисления определителя матрицы . Надо разложить определитель матрицы по некоторой строке и тогда определитель будет равен сумме всех элементов этой строки на их миноры. Разложение определителя матрицы 3 - его порядка будет выглядеть так:

Знак перед произведением равен (-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) третье элементарное преобразование вообще не изменяет определитель. Таким образом, производя над матрицей элементарные преобразования, можно получить матрицу, для которой легко вычислить ранг ее и, следовательно, исходной матрицы.

Определение. Матрица , полученная из матрицыпри помощи элементарных преобразований, называется эквивалентной и обозначаетсяА В .

Теорема. Ранг матрицы не изменяется при элементарных преобразованиях матрицы.

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

Матрица называется ступенчатой если она имеет вид:

Очевидно, что ранг ступенчатой матрицы равен числу ненулевых строк , т.к. имеется минор -го порядка, не равный нулю:

.

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

Если номера отмеченных строк совпадают с номерами отмеченных столбцов, то минор называется главным , а если отмечены первые k строк и первые k столбцов ― угловым или ведущим главным .

Дополнительный минор элемента матрицы n-го порядка есть определитель порядка (n-1), соответствующий той матрице, которая получается из матрицы путем вычеркивания i-ой строки и j-го столбца.

Базисным минором матрицы называется любой её ненулевой минор максимального порядка. Для того чтобы минор был базисным, необходимо и достаточно, чтобы все окаймляющие его миноры (то есть содержащие его миноры на единицу большего порядка) были равны нулю. Система строк (столбцов) матрицы, связанных с базисным минором, является максимальной линейно независимой подсистемой системы всех строк (столбцов) матрицы.

Пример

Например, есть матрица:

Предположим, надо найти дополнительный минор M 23 . Этот минор - определитель матрицы, получающейся путем вычеркивания строки 2 и столбца 3:

Получаем M 23 = 13

См. также

Wikimedia Foundation . 2010 .

Смотреть что такое "Минор матрицы" в других словарях:

Минор (от лат. minor меньший) k го порядка матрицы, определитель, составленный из элементов, стоящих на пересечении произвольно выделенных k строк и k столбцов матрицы. Так, определитель есть М. 2 го порядка матрицы составленный из ее элементов,… …

Определитель, составленный из элементов, состоящих на пересечении произвольно выделенных k строк и k столбцов данной матрицы или определителя … Большой Энциклопедический словарь

МИНОР, определитель, составленный из элементов, состоящих на пересечении произвольно выделенных k строк и k столбцов данной матрицы или определителя … Энциклопедический словарь

1. М. элемента aij определителя А есть определитель, полученный из А после вычеркивания элементов i ой строки и j гo столбца. М. m го порядка матрицы А ||aij|| есть определитель m го порядка, составленный из m2 элементов, стоящих на пересечении… … Геологическая энциклопедия

Минор - см. Определитель матрицы … Экономико-математический словарь

У этого термина существуют и другие значения, см. Минор (значения). Минор матрицы ― определитель такой квадратной матрицы порядка (который называется также порядком этого минора), элементы которой стоят в матрице на пересечении строк с номерами … Википедия

I Минор Лазарь Соломонович , советский невропатолог, заслуженный деятель науки РСФСР (1927). В 1879 окончил медицинский факультет Московского университета, работал у А. И. Бабухина, А. Я. Кожевникова. В 1910 17… … Большая советская энциклопедия

А; м. [от итал. minore меньший]. 1. Музыкальный лад, звуки которого образуют аккорд, построенный на малой трапеции (характеризуется звуковой окраской, связанной с настроениями грусти, скорби; противоп.: мажор). Играть в миноре. 2. Разг. О… … Энциклопедический словарь

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

Определитель, составленный из элементов, стоящих на пересечении произвольно выделенных k строк и k столбцов данной матрицы или определителя … Естествознание. Энциклопедический словарь

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

Минор $M_{ij}$ элемента $a_{ij}$

$M_{ij}$ элемента $a_{ij}$ матрицы $A_{n\times n}$ именуют определитель матрицы, полученной из матрицы $A$ вычёркиванием i-й строки и j-го столбца (т.е. строки и столбца, на пересечении которых находится элемент $a_{ij}$).

Для примера рассмотрим квадратную матрицу четвёртого порядка: $A=\left(\begin{array} {ccc} 1 & 0 & -3 & 9\\ 2 & -7 & 11 & 5 \\ -9 & 4 & 25 & 84\\ 3 & 12 & -5 & 58 \end{array} \right)$. Найдём минор элемента $a_{32}$, т.е. найдём $M_{32}$. Сперва запишем минор $M_{32}$, а потом вычислим его значение. Для того, чтобы составить $M_{32}$, вычеркнем из матрицы $A$ третью строку и второй столбец (именно на пересечении третьей строки и второго столбца расположен элемент $a_{32}$). Мы получим новую матрицу, определитель которой и есть искомый минор $M_{32}$:

Этот минор несложно вычислить, используя формулу №2 из темы вычисления :

$$ M_{32}=\left| \begin{array} {ccc} 1 & -3 & 9\\ 2 & 11 & 5 \\ 3 & -5 & 58 \end{array} \right|= 1\cdot 11\cdot 58+(-3)\cdot 5\cdot 3+2\cdot (-5)\cdot 9-9\cdot 11\cdot 3-(-3)\cdot 2\cdot 58-5\cdot (-5)\cdot 1=579. $$

Итак, минор элемента $a_{32}$ равен 579, т.е. $M_{32}=579$.

Часто вместо словосочетания "минор элемента матрицы" в литературе встречается "минор элемента определителя". Суть остается неизменной: чтобы получить минор элемента $a_{ij}$ нужно вычеркнуть из исходного определителя i-ю строку и j-й столбец. Оставшиеся элементы записывают в новый определитель, который и является минором элемента $a_{ij}$. Например, найдём минор элемента $a_{12}$ определителя $\left| \begin{array} {ccc} -1 & 3 & 2\\ 9 & 0 & -5 \\ 4 & -3 & 7 \end{array} \right|$. Чтобы записать требуемый минор $M_{12}$ нам понадобится вычеркнуть из заданного определителя первую строку и второй столбец:

Чтобы найти значение данного минора используем формулу №1 из темы вычисления определителей второго и третьего порядков :

$$ M_{12}=\left| \begin{array} {ccc} 9 & -5\\ 4 & 7 \end{array} \right|=9\cdot 7-(-5)\cdot 4=83. $$

Итак, минор элемента $a_{12}$ равен 83, т.е. $M_{12}=83$.

Алгебраическое дополнение $A_{ij}$ элемента $a_{ij}$

Пусть задана квадратная матрица $A_{n\times n}$ (т.е. квадратная матрица n-го порядка).

Алгебраическое дополнением $A_{ij}$ элемента $a_{ij}$ матрицы $A_{n\times n}$ находится по следующей формуле: $$ A_{ij}=(-1)^{i+j}\cdot M_{ij}, $$

где $M_{ij}$ - минор элемента $a_{ij}$.

Найдем алгебраическое дополнение элемента $a_{32}$ матрицы $A=\left(\begin{array} {ccc} 1 & 0 & -3 & 9\\ 2 & -7 & 11 & 5 \\ -9 & 4 & 25 & 84\\ 3 & 12 & -5 & 58 \end{array} \right)$, т.е. найдём $A_{32}$. Ранее мы уже находили минор $M_{32}=579$, поэтому используем полученный результат:

Обычно при нахождении алгебраических дополнений не вычисляют отдельно минор, а уж потом само дополнение. Запись минора опускают. Например, найдем $A_{12}$, если $A=\left(\begin{array} {ccc} -5 & 10 & 2\\ 6 & 9 & -4 \\ 4 & -3 & 1 \end{array} \right)$. Согласно формуле $A_{12}=(-1)^{1+2}\cdot M_{12}=-M_{12}$. Однако чтобы получить $M_{12}$ достаточно вычеркнуть первую строку и второй столбец матрицы $A$, так зачем же вводить лишнее обозначение для минора? Сразу запишем выражение для алгебраического дополнения $A_{12}$:

Минор k-го порядка матрицы $A_{m\times n}$

Если в предыдущих двух пунктах мы говорили лишь о квадратных матрицах, то здесь поведём речь также и о прямоугольных матрицах, у которых количество строк вовсе не обязательно равняется количеству столбцов. Итак, пусть задана матрица $A_{m\times n}$, т.е. матрица, содержащая m строк и n столбцов.

Минором k-го порядка матрицы $A_{m\times n}$ называется определитель, элементы которого расположены на пересечении k строк и k столбцов матрицы $A$ (при этом предполагается, что $k≤ m$ и $k≤ n$).

Например, рассмотрим матрицу $A=\left(\begin{array} {ccc} -1 & 0 & -3 & 9\\ 2 & 7 & 14 & 6 \\ 15 & -27 & 18 & 31\\ 0 & 1 & 19 & 8\\ 0 & -12 & 20 & 14\\ 5 & 3 & -21 & 9\\ 23 & -10 & -5 & 58 \end{array} \right)$ и запишем для неё какой-либо минор третьего порядка. Чтобы записать минор третьего порядка нам потребуется выбрать какие-либо три строки и три столбца данной матрицы. Например, возьмём строки с номерами 2, 4, 6 и столбцы с номерами 1, 2, 4. На пересечении этих строк и столбцов будут располагаться элементы требуемого минора. На рисунке элементы минора показаны синим цветом:

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

Минор k-го порядка матрицы $A_{m\times n}=(a_{ij})$ называется главным , если на главной диагонали данного минора находятся только главные диагональные элементы матрицы $A$.

Напомню, что главными диагональными элементами именуют те элементы матрицы, у которых индексы равны: $a_{11}$, $a_{22}$, $a_{33}$ и так далее. Например, для рассмотренной выше матрицы $A$ такими элементами будут $a_{11}=-1$, $a_{22}=7$, $a_{33}=18$, $a_{44}=8$. На рисунке они выделены розовым цветом:

Например, если в матрице $A$ мы вычеркнем строки и столбцы с номерами 1 и 3, то на их пересечении будут расположены элементы минора второго порядка, на главной диагонали которого будут находиться только диагональные элементы матрицы $A$ (элементы $a_{11}=-1$ и $a_{33}=18$ матрицы $A$). Следовательно, мы получим главный минор второго порядка:

Естественно, что мы могли взять иные строки и столбцы, - например, с номерами 2 и 4, получив при этом иной главный минор второго порядка.

Пусть некий минор $M$ k-го порядка матрицы $A_{m\times n}$ не равен нулю, т.е. $M\neq 0$. При этом все миноры, порядок которых выше k, равны нулю. Тогда минор $M$ называют базисным , а строки и столбцы, на которых расположены элементы базисного минора, именуют базисными строками и базисными столбцами .

Для примера рассмотрим матрицу $A=\left(\begin{array} {ccc} -1 & 0 & 3 & 0 & 0 \\ 2 & 0 & 4 & 1 & 0\\ 1 & 0 & -2 & -1 & 0\\ 0 & 0 & 0 & 0 & 0 \end{array} \right)$. Звапишем минор этой матрицы, элементы которого расположены на пересечении строк с номерами 1, 2, 3 и столбцов с номерами 1, 3, 4. Мы получим минор третьего порядка:

Найдём значение этого минора, используя формулу №2 из темы вычисления определителей второго и третьего порядков :

$$ M=\left| \begin{array} {ccc} -1 & 3 & 0\\ 2 & 4 & 1 \\ 1 & -2 & -1 \end{array} \right|=4+3+6-2=11. $$

Итак, $M=11\neq 0$. Теперь попробуем составить любой минор, порядок которого выше трёх. Чтобы составить минор четвёртого порядка, нам придётся использовать четвёртую строку, однако все элементы этой строки равны нулю. Следовательно, в любом миноре четвёртого порядка будет нулевая строка, а это означает, что все миноры четвёртого порядка равны нулю. Миноры пятого и более высоких порядков составить мы не можем, так как матрица $A$ имеет всего 4 строки.

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

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

Введём ещё одно понятие - окаймляющий минор.

Пусть некий минор k-го порядка $M$ матрицы $A_{m\times n}$ расположен на пересечении k строк и k столбцов. Добавим к набору этих строк и столбцов ещё одну строку и столбец. Полученный минор (k+1)-го порядка именуют окаймляющим минором для минора $M$.

Для примера обратимся к матрице $A=\left(\begin{array} {ccc} -1 & 2 & 0 & -2 & -14\\ 3 & -17 & -3 & 19 & 29\\ 5 & -6 & 8 & -9 & 41\\ -5 & 11 & 19 & -20 & -98\\ 6 & 12 & 20 & 21 & 54\\ -7 & 10 & 14 & -36 & 79 \end{array} \right)$. Запишем минор второго порядка, элементы которого расположены на пересечении строк №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_{n\times n}$. Дополнительный минор. Алгебраическое дополнение к минору квадратной матрицы.

Вновь вернёмся к квадратным матрицам. Введём понятие дополнительного минора.

Пусть задан некий минор $M$ k-го порядка матрицы $A_{n\times n}$. Определитель (n-k)-го порядка, элементы которого получены из матрицы $A$ после вычеркивания строк и столбцов, содержащих минор $M$, называется минором, дополнительным к минору $M$.

Для примера рассмотрим квадратную матрицу пятого порядка: $A=\left(\begin{array} {ccc} -1 & 2 & 0 & -2 & -14\\ 3 & -17 & -3 & 19 & 29\\ 5 & -6 & 8 & -9 & 41\\ -5 & 11 & 16 & -20 & -98\\ -7 & 10 & 14 & -36 & 79 \end{array} \right)$. Выберем в ней строки №1 и №3, а также столбцы №2 и №5. На пересечении оных строк и столбцов будут элементы минора $M$ второго порядка:

Теперь уберём из матрицы $A$ строки №1 и №3 и столбцы №2 и №5, на пересечении которых находятся элементы минора $M$ (убираемые строки и столбцы показаны красным цветом на рисунке ниже). Оставшиеся элементы образуют минор $M"$:

Минор $M"$, порядок которого равен $5-2=3$, является минором, дополнительным к минору $M$.

Алгебраическим дополнением к минору $M$ квадратной матрицы $A_{n\times n}$ называется выражение $(-1)^{\alpha}\cdot M"$, где $\alpha$ - сумма номеров строк и столбцов матрицы $A$, на которых расположены элементы минора $M$, а $M"$ - минор, дополнительный к минору $M$.

Словосочетание "алгебраическое дополнение к минору $M$" часто заменяют словосочетанием "алгебраическое дополнение минора $M$".

Для примера рассмотрим матрицу $A$, для которой мы находили минор второго порядка $ M=\left| \begin{array} {ccc} 2 & -14 \\ -6 & 41 \end{array} \right| $ и дополнительный к нему минор третьего порядка: $M"=\left| \begin{array} {ccc} 3 & -3 & 19\\ -5 & 16 & -20 \\ -7 & 14 & -36 \end{array} \right|$. Обозначим алгебраическое дополнение минора $M$ как $M^*$. Тогда согласно определению:

$$ M^*=(-1)^\alpha\cdot M". $$

Параметр $\alpha$ равен сумме номеров строк и столбцов, на которых находится минор $M$. Этот минор расположен на пересечении строк №1, №3 и столбцов №2, №5. Следовательно, $\alpha=1+3+2+5=11$. Итак:

$$ M^*=(-1)^{11}\cdot M"=-\left| \begin{array} {ccc} 3 & -3 & 19\\ -5 & 16 & -20 \\ -7 & 14 & -36 \end{array} \right|. $$

В принципе, используя формулу №2 из темы вычисления определителей второго и третьего порядков , можно довести вычисления до конца, получив значение $M^*$:

$$ M^*=-\left| \begin{array} {ccc} 3 & -3 & 19\\ -5 & 16 & -20 \\ -7 & 14 & -36 \end{array} \right|=-30. $$