Найти ранг матрицы: способы и примеры. Минор матрицы

Определители матриц часто используются в вычислениях, в линейной алгебре и аналитической геометрии. Вне академического мира определители матриц постоянно требуются инженерам и программистам, в особенности тем, кто работает с компьютерной графикой. Если вы уже знаете, как найти определитель матрицы размерностью 2x2, то из инструментов для нахождения определителя матрицы 3x3 вам будут необходимы только сложение, вычитание и умножение.

Шаги

Поиск определителя

Запишите матрицу размерностью 3 x 3. Запишем матрицу размерностью 3 x 3, которую обозначим M, и найдем ее определитель |M|. Далее приводится общая форма записи матрицы, которую мы будем использовать, и матрица для нашего примера:

M = (a 11 a 12 a 13 a 21 a 22 a 23 a 31 a 32 a 33) = (1 5 3 2 4 7 4 6 2) {\displaystyle M={\begin{pmatrix}a_{11}&a_{12}&a_{13}\\a_{21}&a_{22}&a_{23}\\a_{31}&a_{32}&a_{33}\end{pmatrix}}={\begin{pmatrix}1&5&3\\2&4&7\\4&6&2\end{pmatrix}}}

Выберите строку или столбец матрицы. Эта строка (или столбец) будет опорной. Результат будет одинаков, независимо от того, какую строку или какой столбец вы выберете. В данном примере давайте возьмем первую строку. Чуть позже вы найдете несколько советов касательно того, как выбирать строку или столбец, чтобы упростить вычисления.
- Давайте выберем первую строку матрицы M в нашем примере. Обведите числа 1 5 3. В общей форме обведите a 11 a 12 a 13 .
Зачеркните строку или столбец с первым элементом. Обратитесь к опорной строке (или к опорному столбцу) и выберите первый элемент. Проведите горизонтальную и вертикальную черту через этот элемент, вычеркнув таким образом столбец и строку с этим элементом. Должно остаться четыре числа. Будем считать эти элементы новой матрицей размерностью 2 x 2.
- В нашем примере, опорной строкой будет 1 5 3. Первый элемент находится на пересечении первого столбца и первой строки. Вычеркните строку и столбец с этим элементом, то есть первую сроку и первый столбец. Запишите оставшиеся элементы в виде матрицы 2 x 2 :
- 1 5 3
- 2 4 7
- 4 6 2
Найдите определитель матрицы 2 x 2. Запомните, что определитель матрицы (a b c d) {\displaystyle {\begin{pmatrix}a&b\\c&d\end{pmatrix}}} вычисляется как ad - bc . Опираясь на это, вы можете вычислить определитель полученной матрицы 2 x 2, которую, если хотите, можете обозначить как X. Умножьте два числа матрицы X, соединенных по диагонали слева направо (то есть так: \). Затем вычтите результат умножения двух других чисел по диагонали справа налево (то есть так: /). Используйте эту формулу, чтобы вычислить определитель матрицы, которую вы только что получили.

Умножьте полученный ответ на выбранный элемент матрицы M. Вспомните, какой элемент из опорной строки (или столбца) мы использовали, когда вычеркивали другие элементы строки и столбца, чтобы получить новую матрицу. Умножьте этот элемент на полученный минор (определитель матрицы 2x2, которую мы обозначили X).
- В нашем примере мы выбирали элемент a 11 , который равнялся 1. Умножим его на -34 (определитель матрицы 2x2), и у нас получится 1*-34 = -34 .
Определите знак полученного результата. Далее вам понадобится умножить полученный результат на 1, либо на -1, чтобы получить алгебраическое дополнение (кофактор) выбранного элемента. Знак кофактора будет зависеть от того, в каком месте матрицы 3x3 стоит элемент. Запомните эту простую схему знаков, чтобы знать знак кофактора:
Повторите все вышеописанные действия со вторым элементом опорной строки (или столбца). Вернитесь к исходной матрице размерностью 3x3 и строке, которую мы обвели в самом начале вычислений. Повторите все действия с этим элементом:
- Вычеркните строку и столбец с этим элементом. В нашем примере мы должны выбрать элемент a 12 (равный 5). Вычеркнем первую строку (1 5 3) и второй столбец (5 4 6) {\displaystyle {\begin{pmatrix}5\\4\\6\end{pmatrix}}} матрицы.
- Запишите оставшиеся элементы в виде матрицы 2x2. В нашем примере матрица будет иметь вид (2 7 4 2) {\displaystyle {\begin{pmatrix}2&7\\4&2\end{pmatrix}}}
- Найдите определитель этой новой матрицы 2x2. Воспользуйтесь вышеприведенной формулой ad - bc. (2*2 - 7*4 = -24)
- Умножьте полученный определитель на выбранный элемент матрицы 3x3. -24 * 5 = -120
- Проверьте, нужно ли умножить результат на -1. Воспользуемся формулой (-1) ij , чтобы определить знак алгебраического дополнения. Для выбранного нами элемента a 12 в таблице указан знак «-», аналогичный результат дает и формула. То есть мы должны изменить знак: (-1)*(-120) = 120 .
Повторите с третьим элементом. Далее вам понадобится найти еще одно алгебраическое дополнение. Вычислите его для последнего элемента опорной строки или опорного столбца. Далее приводится краткое описание того, как вычисляется алгебраическое дополнение для a 13 в нашем примере:
- Зачеркните первую строку и третий столбец, чтобы получить матрицу (2 4 4 6) {\displaystyle {\begin{pmatrix}2&4\\4&6\end{pmatrix}}}
- Ее определитель равен 2*6 - 4*4 = -4.
- Умножьте результат на элемент a 13: -4 * 3 = -12.
- Элемент a 13 имеет знак + в приведенной выше таблице, поэтому ответ будет -12 .
Сложите полученные результаты. Это последний шаг. Вам необходимо сложить полученные алгебраические дополнения элементов опорной строки (или опорного столбца). Сложите их вместе, и вы получите значение определителя матрицы 3x3.
- В нашем примере определитель равен -34 + 120 + -12 = 74 .
Как упростить задачу
1. Выбирайте в качестве опорной строки (или столбца) ту, что имеет больше нулей. Помните, что в качестве опорной вы можете выбрать любую строку или столбец. Выбор опорной строки или столбца не влияет на результат. Если вы выберете строку с наибольшим количеством нулей, вам придется выполнять меньше вычислений, поскольку вам будет необходимо вычислить алгебраические дополнения только для ненулевых элементов. Вот почему:
  - Допустим, вы выбрали 2 строку с элементами a 21 , a 22 , and a 23 . Чтобы найти определитель, вам будет необходимо найти определители трех различных матриц размерностью 2x2. Давайте назовем их A 21 , A 22 , and A 23 .
  - То есть определитель матрицы 3x3 равен a 21 |A 21 | - a 22 |A 22 | + a 23 |A 23 |.
  - Если оба элемента a 22 и a 23 равны 0, то наша формула становится намного короче a 21 |A 21 | - 0*|A 22 | + 0*|A 23 | = a 21 |A 21 | - 0 + 0 = a 21 |A 21 |. То есть необходимо вычислить только алгебраическое дополнение одного элемента.
2. Используйте сложение строк, чтобы упростить матрицу. Если вы возьмете одну строку и прибавите к ней другую, то определитель матрицы не изменится. То же самое верно и для столбцов. Подобные действия можно выполнять несколько раз, кроме того, вы можете умножать значения строки на постоянную (перед сложением) для того, чтобы получить как можно больше нулей. Подобные действия могут сэкономить массу времени.
  - Например, у нас есть матрица из трех строк: (9 − 1 2 3 1 0 7 5 − 2) {\displaystyle {\begin{pmatrix}9&-1&2\\3&1&0\\7&5&-2\end{pmatrix}}}
  - Чтобы избавиться от 9 на месте элемента a 11 , мы можем умножить вторую строку на -3 и прибавить результат к первой. Новая первая строка будет + [-9 -3 0] = .
  - То есть мы получаем новую матрицу (0 − 4 2 3 1 0 7 5 − 2) {\displaystyle {\begin{pmatrix}0&-4&2\\3&1&0\\7&5&-2\end{pmatrix}}} Попробуйте проделать то же самое со столбцами, чтобы получить на месте элемента a 12 нуль.
3. Помните, что вычислять определитель треугольных матриц намного проще. Определитель треугольных матриц вычисляется как произведение элементов на главной диагонали, от a 11 в верхнем левом углу до a 33 в нижнем правом углу. Речь в данном случае идет о треугольных матрицах размерностью 3x3. Треугольные матрицы могут быть следующих видов, в зависимости от расположения ненулевых значений:
  - Верхняя треугольная матрица: Все ненулевые элементы находятся на главной диагонали и выше нее. Все элементы ниже главной диагонали равны нулю.
  - Нижняя треугольная матрица: Все ненулевые элементы находятся ниже главной диагонали и на ней.
  - Диагональная матрица: Все ненулевые элементы находятся на главной диагонали. Является частным случаем вышеописанных матриц.
  - Описанный метод распространяется на квадратные матрицы любого ранга. Например, если вы используете его для матрицы 4x4, то после «вычеркивания» будут оставаться матрицы 3x3, для которых определитель будет вычисляться вышеупомянутым способом. Будьте готовы к тому, что вычислять определитель для матриц таких размерностей вручную - очень трудоемкая задача!
  - Если все элементы строки или столбца равны 0, то определитель матрицы тоже равен 0.

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

Теорема 1 о ранге матрицы. Рангом матрицы называется максимальный порядок отличного от нуля минора матрицы.

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

Определение. Минор (r +1)-го порядка, внутри которого лежит выбранный минор r -го порядка, называется называется окаймляющим для данного минора.

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

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

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

При способе элементарных преобразований используется следующее свойство:

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

Отыскание ранга матрицы способом окаймляющих миноров

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

Например, дана матрица

Возьмём минор

окаймляющими будут такие миноры:

Алгоритм нахождения ранга матрицы следующий.

1. Находим не равные нулю миноры второго порядка. Если все миноры второго порядка равны нулю, то ранг матрицы будет равен единице (r =1 ).

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

3. Если хотя бы один из окаймляющих миноров третьего порядка не равен нулю, то составляем окаймляющие его миноры. Если все окаймляющие миноры четвёртого порядка равны нулю, то ранг матрицы равен трём (r =2 ).

4. Продолжаем так, пока позволяет размер матрицы.

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

Решение. Минор второго порядка .

Окаймляем его. Окаймляющих миноров будет четыре:

Таким образом, все окаймляющие миноры третьего порядка равны нулю, следовательно, ранг данной матрицы равен двум (r =2 ).

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

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

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

Решение. Минор второго порядка этой матрицы , в все миноры третьего порядка этой матрицы равны нулю. Следовательно, ранг данной матрицы равен двум.

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

Решение. Ранг данной матрицы равен 3, так как единственный минор третьего порядка этой матрицы равен 3.

Отыскание ранга матрицы способом элементарных преобразований (методом Гаусса)

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

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

1) умножение какой-либо строки или какого либо столбца матрицы на число, отличное от нуля;

2) прибавление к элементам какой-либо строки или какого-либо столбца матрицы соответствующих элементов другой строки или столбца, умноженных на одно и то же число;

3) перемена местами двух строк или столбцов матрицы;

4) удаление "нулевых" строк, то есть таких, все элементы которых равны нулю;

5) удаление всех пропорциональных строк, кроме одной.

Теорема. При элементарном преобразовании ранг матрицы не меняется. Другими словами, если мы элементарными преобразованиями от матрицы A перешли к матрице B , то .

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

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

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

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

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

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

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

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

Минор $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. $$