Ранг матрицы является для неё важнейшей числовой характеристикой. Его непременно следует определять, когда перед вами стоит задача проверить совместимость системы линейных уравнений. То есть, под понятием ранга подразумеваются все линейнонезависимые строки и столбцы в матрице. Существуют различные методы определения ранга матрицы. Чаще всего его вычисляют методом миноров или методом окантовки. Реже применяется метод Гаусса. Данный онлайн калькулятор прольёт свет на все те сложные преобразования, которые необходимы для вычисления ранга матрицы онлайн. Воспользовавшись им, вы сможете наглядно ознакомиться с различными вариантами определения данного показателя.
Для того чтобы найти ранг матрицы онлайн, вам необходимо совершить ряд простых операций. Для начала укажите размеры матрицы, кликнув на иконки «+» и «-» слева и внизу, соответствующие числу строк и столбцов. Далее введите в поля калькулятора элементы и нажмите кнопку «Вычислить». Готовый результат окажется на мониторе оперативно. Буквально через несколько секунд вы увидите значение ранга матрицы и детальную расшифровку его вычисления.
Пользование онлайн калькулятором имеет ряд плюсов: вы лучше усваиваете теорию на примере задания, проверяете свои расчёты, тщательно разбираетесь во всех способах вычисления ранга матрицы.
Элементарными называются следующие преобразования матрицы:
1) перестановка двух любых строк (или столбцов),
2) умножение строки (или столбца) на отличное от нуля число,
3) прибавление к одной строке (или столбцу) другой строки (или столбца), умноженной на некоторое число.
Две матрицы называются эквивалентными , если одна из них получается из другой с помощью конечного множества элементарных преобразований.
Эквивалентные матрицы не являются, вообще говоря, равными, но их ранги равны. Если матрицы А и В эквивалентны, то это записывается так: A ~ B.
Канонической матрицей называется матрица, у которой в начале главной диагонали стоят подряд несколько единиц (число которых может равняться нулю), а все остальные элементы равны нулю, например,
При помощи элементарных преобразований строк и столбцов любую матрицу можно привести к канонической. Ранг канонической матрицы равен числу единиц на ее главной диагонали.
Пример 2 Найти ранг матрицы
А= 
и привести ее к каноническому виду.
Решение. Из второй строки вычтем первую и переставим эти строки:
.
Теперь из второй и третьей строк вычтем первую, умноженную соответственно на 2 и 5:
;
из третьей строки вычтем первую; получим матрицу
В = 
,
которая эквивалентна матрице А, так как получена из нее с помощью конечного множества элементарных преобразований. Очевидно, что ранг матрицы В равен 2, а следовательно, и r(A)=2. Матрицу В легко привести к канонической. Вычитая первый столбец, умноженный на подходящие числа, из всех последующих, обратим в нуль все элементы первой строки, кроме первого, причем элементы остальных строк не изменяются. Затем, вычитая второй столбец, умноженный на подходящие числа, из всех последующих, обратим в нуль все элементы второй строки, кроме второго, и получим каноническую матрицу:
.
Теоре́ма Кро́некера - Капе́лли - критерий совместности системы линейных алгебраических уравнений:
Для того чтобы линейная система являлась совместной, необходимо и достаточно, что бы ранг расширенной матрицы этой системы был равен рангу ее основной матрицы.
Доказательство (условия совместности системы)
Необходимость
Пусть система совместна. Тогда существуют числа такие, что . Следовательно, столбец является линейной комбинацией столбцов матрицы . Из того, что ранг матрицы не изменится, если из системы его строк (столбцов) вычеркнуть или приписать строку (столбец), которая является линейной комбинацией других строк (столбцов) следует, что .
Достаточность
Пусть . Возьмем в матрице какой-нибудь базисный минор. Так как , то он же и будет базисным минором и матрицы . Тогда, согласно теореме о базисном миноре , последний столбец матрицы будет линейной комбинацией базисных столбцов, то есть столбцов матрицы . Следовательно, столбец свободных членов системы является линейной комбинацией столбцов матрицы .
Следствия
Количество главных переменных системы равно рангу системы.
Совместная система будет определена (её решение единственно), если ранг системы равен числу всех её переменных.
Однородная система уравнений
Предложение 15 . 2 Однородная система уравнений
|
|
всегда является совместной.
Доказательство . Для этой системы набор чисел , , , является решением.
В этом разделе мы будем использовать матричную запись системы: .
Предложение 15 . 3 Сумма решений однородной системы линейных уравнений является решением этой системы. Решение, умноженное на число, тоже является решением.
Доказательство . Пусть и служат решениями системы . Тогда и . Пусть . Тогда
Так как , то -- решение.
Пусть -- произвольное число, . Тогда
Так как , то -- решение.
Следствие 15 . 1 Если однородная система линейных уравнений имеет ненулевое решение, то она имеет бесконечно много различных решений.
Действительно, умножая ненулевое решение на различные числа, будем получать различные решения.
Определение
15
.
5
Будем говорить, что
решения 
системы образуют фундаментальную
систему решений
,
если столбцы 
образуют
линейно независимую систему и любое
решение системы является линейной
комбинацией этих столбцов.
Для того что бы вычислить ранг матрицы можно применить метод окаймляющих миноров или метод Гаусса . Рассмотрим метод Гаусса или метод элементарных преобразований.
Рангом матрицы называют максимальный порядок её миноров, среди которых есть хотя бы один, не равный нулю.
Рангом системы строк (столбцов) называется максимальное количество линейно независимых строк (столбцов) этой системы.
Алгоритм нахождения ранга матрицы методом окаймляющих миноров:
- Минор M k-того порядка не равен нулю.
- Если окаймляющие миноры для минора M (k+1)-го порядка, составить невозможно (т.е. матрица содержит k строк или k столбцов), то ранг матрицы равен k . Если окаймляющие миноры существуют и все равны нулю, то ранг равен k. Если среди окаймляющих миноров есть хотя бы один, не равный нулю, то пробуем составить новый минор k+2 и т.д.
Разберем алгоритм более подробно. Сначала рассмотрим миноры первого (элементы матрицы) порядка матрицы A . Если все они равны нулю, то rangA = 0 . Если есть миноры первого порядка (элементы матрицы) не равные нулю M 1 ≠ 0 , то ранг rangA ≥ 1 .
M 1 . Если такие миноры есть, то они буду миноры второго порядка. Если все миноры окаймляющие минор M 1 равны нулю, то rangA = 1 . Если есть хоть один минор второго порядка не равные нулю M 2 ≠ 0 , то ранг rangA ≥ 2 .
Проверим есть ли окаймляющие миноры для минора M 2 . Если такие миноры есть, то они буду миноры третьего порядка. Если все миноры окаймляющие минор M 2 равны нулю, то rangA = 2 . Если есть хоть один минор третьего порядка не равные нулю M 3 ≠ 0 , то ранг rangA ≥ 3 .
Проверим есть ли окаймляющие миноры для минора M 3 . Если такие миноры есть, то они буду миноры четвертого порядка. Если все миноры окаймляющие минор M 3 равны нулю, то rangA = 3 . Если есть хоть один минор четвертого порядка не равные нулю M 4 ≠ 0 , то ранг rangA ≥ 4 .
Проверяем есть ли окаймляющий минор для минора M 4 , и так далее. Алгоритм прекращается, если на каком-то этапе окаймляющие миноры равны нулю или окаймляющий минор нельзя получить (в матрице "закончились" строки или столбцы). Порядок не нулевого минора, который получилось составить будет рангом матрицы.
Пример
Рассмотрим данный метод на примере. Дана матрицы 4х5:
У данной матрице ранг не может быть больше 4. Так же у этой матрице есть не нулевые элементы (минор первого порядка), значит ранг матрицы ≥ 1.
Составим минор 2-ого порядка. Начнем с угла.
Так определитель равен нулю, составим другой минор.
Найдем определитель данного минора.
Определить данного минора равен -2 . Значит ранг матрицы ≥ 2 .
Если данный минор был равен 0, то составили бы другие миноры. До конца бы составили все миноры по 1 и второй строке. Потом по 1 и 3 строке, по 2 и 3 строке, по 2 и 4 строке, пока не нашли бы минор не равный 0, например:
Если все миноры второго порядка равны 0, то ранг матрицы был бы равен 1. Решение можно было бы остановить.
3-го порядка.
Минор получился не нулевой. значит ранг матрицы ≥ 3 .
Если бы данный минор был нулевым, то нужно было бы составить другие миноры. Например:
Если все миноры третьего порядка равны 0, то ранг матрицы был бы равен 2. Решение можно было бы остановить.
Продолжим поиска ранга матрицы. Составим минор 4-го порядка.
Найдем определитель этого минора.
Определитель минора получился равный 0 . Построим другой минор.
Найдем определитель этого минора.
Минор получился равным 0 .
Построить минор 5-го порядка не получится, для этого нет строки в данной матрицы. Последний минор не равный нулю был 3-го порядка, значит ранг матрицы равен 3 .
В данной теме нам понадобятся такие понятия как минор матрицы и окаймляющий минор . В теме "Алгебраические дополнения и миноры. Виды миноров и алгебраических дополнений" есть подробное пояснение этих понятий.
$$ \left|\begin{array}{cc} -1 & 2 \\ -3 & 0 \end{array} \right|=-1\cdot 0-2\cdot (-3)=6. $$
Итак, существует минор второго порядка, не равный нулю, из чего следует, что $\rang A≥ 2$. Рассмотрим миноры третьего порядка, окаймляющие данный минор второго порядка. Как составить окаймляющий минор? Для этого к набору строк и столбцов, на пересечении которых лежат элементы минора второго порядка, нужно добавить ещё одну строку и ещё один столбец. Вспоминаем, что элементы записанного нами минора второго порядка расположены на пересечении строк №1, №2 и столбцов №1, №2. Добавим к строкам ещё строку №3, а к столбцам - столбец №3. Мы получим минор третьего порядка, элементы которого (они показаны на рисунке синим цветом) лежат на пересечении строк №1, №2, №3 и столбцов №1, №2, №3.
Найдём значение этого минора, используя формулу №2 из темы про :
$$ \left|\begin{array}{ccc} -1 & 2 & 1 \\ -3 & 0 & 5 \\ -5 & 4 & 7 \end{array} \right|=0. $$
Окаймляющий минор равен нулю. О чём это говорит? Это говорит о том, что нам нужно продолжить нахождение окаймляющих миноров. Либо они все равны нулю (и тогда ранг будет равен 2), либо среди них найдётся хотя бы один, отличный от нуля.
Элементы второго окаймляющего минора лежат на пересечении строк №1, №2, №3 и столбцов №1, №2, №4. На рисунке выше элементы этого минора показаны зелёным цветом. Вычислим данный минор, используя всё ту же формулу №2 из темы про вычисление определителей второго и третьего порядков :
$$ \left|\begin{array}{ccc} -1 & 2 & 3 \\ -3 & 0 & 4 \\ -5 & 4 & 10 \end{array} \right|=0. $$
И этот окаймляющий минор равен нулю. Иных окаймляющих миноров нет. Следовательно, все окаймляющие миноры равны нулю. Порядок последнего составленного ненулевого минора равен 2. Вывод: ранг равен 2, т.е. $\rang A=2$.
Ответ : $\rang A=2$.
Пример №2
Найти ранг матрицы $A=\left(\begin{array}{ccccc} 1 & 2 & 0 & 4 & 5\\ 3 & 6 & -2 & -1 & -3\\ -2 & -4 & 2 & 5 & 7\\ -1 & -2 & 2 & 9 & 11 \end{array} \right)$ методом окаймляющих миноров.
Вновь, как и в предыдущем примере, начнём решение с выбора минора второго порядка, не равного нулю. Например, на пересечении строк №1, №2 и столбцов №1, №2 расположены элементы минора $\left|\begin{array}{cc} 1 & 2 \\ 3 & 6 \end{array} \right|$, который несложно вычислить, используя формулу №1 из темы про вычисление определителей второго и третьего порядков :
$$ \left|\begin{array}{cc} 1 & 2 \\ 3 & 6 \end{array} \right|=1\cdot 6-2\cdot 3=0. $$
Данный минор второго порядка равен нулю, т.е. выбор неудачен. Возьмём иной минор второго порядка. Например, тот, элементы которого расположены на пересечении строк №1, №2 и столбцов №2, №3:
$$ \left|\begin{array}{cc} 2 & 0 \\ 6 & -2 \end{array} \right|=-4. $$
Итак, ненулевой минор второго порядка существует, поэтому $\rang A≥ 2$. Обозначим этот минор как $M_2$ и станем окаймлять его минорами третьего порядка. Например, добавим к строкам и столбцам, на которых расположены элементы $M_2$, ещё строку №3 и столбец №1. Т.е. найдём минор третьего порядка, элементы которого находятся на пересечении строк №1, №2, №3 и столбцов №1, №2, №3. Используем для этого формулу №2 из темы про вычисление определителей второго и третьего порядков . Подробные вычисления я приводить не стану, запишем лишь ответ:
$$ \left|\begin{array}{ccc} 1 & 2 & 0 \\ 3 & 6 & -2 \\ -2 & -4 & 2 \end{array} \right|=0. $$
Рассмотрим минор третьего порядка, элементы которого лежат на пересечении строк №1, №2, №3 и столбцов №2, №3, №4. Этот минор тоже окаймляет $M_2$:
$$ \left|\begin{array}{ccc} 2 & 0 & 4 \\ 6 & -2 & -1 \\ -4 & 2 & 5 \end{array} \right|=0. $$
И вновь минор третьего порядка, окаймляющий $M_2$, равен нулю. Значит, переходим к иному минору третьего порядка. Возьмём минор третьего порядка, элементы которого лежат на пересечении строк №1, №2, №3 и столбцов №2, №3, №5. Этот минор тоже окаймляет $M_2$:
$$ \left|\begin{array}{ccc} 2 & 0 & 5 \\ 6 & -2 & -3 \\ -4 & 2 & 7 \end{array} \right|=4. $$
Итак, среди миноров третьего порядка, окаймляющих $M_2$, есть минор, не равный нулю, откуда следует $\rang A≥ 3$. Обозначим этот ненулевой минор как $M_3$. Элементы минора $M_3$ лежат на пересечении строк №1, №2, №3 и столбцов №2, №3, №5. Станем окаймлять минор $M_3$ минорами четвёртого порядка. Для начала возьмём минор четвёртого порядка, элементы которого лежат на пересечении строк №1, №2, №3, №4 и столбцов №1, №2, №3, №5. Этот минор окаймляет $M_3$. Его значение найти несложно, если использовать, например, разложение по строке или по столбцу :
$$ \left|\begin{array}{cccc} 1 & 2 & 0 & 5\\ 3 & 6 & -2 & -3\\ -2 & -4 & 2 & 7\\ -1 & -2 & 2 & 11 \end{array} \right|=0. $$
Аналогично, рассматривая минор четвёртого порядка, элементы которого расположены на пересечении строк №1, №2, №3, №4 и столбцов №2, №3, №4, №5, получим:
$$ \left|\begin{array}{cccc} 2 & 0 & 4 & 5\\ 6 & -2 & -1 & -3\\ -4 & 2 & 5 & 7\\ -2 & 2 & 9 & 11 \end{array} \right|=0.$$
Иных окаймляющих миноров для минора $M_3$ нет. Все миноры четвёртого порядка, окаймляющие $M_3$, равны нулю. Последний ненулевой минор, т.е. $M_3$, был третьего порядка. Вывод: ранг равен 3, т.е. $\rang A=3$.
Ответ : $\rang A=3$.
Пример №3
Найти ранг матрицы $A=\left(\begin{array}{ccccc} -1 & 3 & 2 & 4 & 1\\ 0 & -2 & 5 & 0 & -3\\ 1 & -5 & 3 & 7 & 6 \end{array} \right)$ методом окаймляющих миноров.
Снова начинаем решение с выбора минора второго порядка, не равного нулю. Например, на пересечении строк №1, №2 и столбцов №1, №2 расположены элементы минора $\left|\begin{array}{cc} -1 & 3 \\ 0 & -2 \end{array} \right|$, который вычисляем, используя формулу №1 из темы про вычисление определителей второго и третьего порядков :
$$ \left|\begin{array}{cc} -1 & 3 \\ 0 & -2 \end{array} \right|=2. $$
Данный минор (обозначим его $M_2$) не равен нулю, посему именно его мы и станем окаймлять минорами третьего порядка. Например, добавим к строкам и столбцам, на которых расположены элементы $M_2$, ещё строку №3 и столбец №3. Т.е. найдём минор третьего порядка, элементы которого расположены на пересечении строк №1, №2, №3 и столбцов №1, №2, №3. Используем для этого формулу №2 из темы про вычисление определителей второго и третьего порядков :
$$ \left|\begin{array}{ccc} -1 & 3 & 2 \\ 0 & -2 & 5 \\ 1 & -5 & 3 \end{array} \right|=0. $$
Этот минор равен нулю, значит нужно переходить к иному окаймляющему минору. Либо все миноры третьего порядка, окаймляющие $M_2$, равны нулю, либо среди них всё-таки найдётся хоть один, отличный от нуля.
Рассмотрим минор третьего порядка, элементы которого лежат на пересечении строк №1, №2, №3 и столбцов №1, №2, №4. Этот минор тоже окаймляет $M_2$:
$$ \left|\begin{array}{ccc} -1 & 3 & 4 \\ 0 & -2 & 0 \\ 1 & -5 & 7 \end{array} \right|=22. $$
Итак, среди миноров третьего порядка, окаймляющих $M_2$, есть хоть один, не равный нулю. Миноры четвёртого порядка мы образовать уже не можем, так как для них потребуется 4 строки, а в матрице $A$ всего 3 строки. Посему, так как последний ненулевой минор был третьего порядка, то ранг равен 3, т.е. $\rang A=3$.
Ответ : $\rang A=3$.
Для работы с понятием ранга матрицы нам понадобятся сведения из темы "Алгебраические дополнения и миноры. Виды миноров и алгебраических дополнений" . В первую очередь это касается термина "минор матрицы" , так как ранг матрицы станем определять именно через миноры.
Рангом матрицы называют максимальный порядок её миноров, среди которых есть хотя бы один, не равный нулю.
Эквивалентные матрицы - матрицы, ранги которых равны между собой.
Поясним подробнее. Допустим, среди миноров второго порядка есть хотя бы один, отличный от нуля. А все миноры, порядок которых выше двух, равны нулю. Вывод: ранг матрицы равен 2. Или, к примеру, среди миноров десятого порядка есть хоть один, не равный нулю. А все миноры, порядок которых выше 10, равны нулю. Вывод: ранг матрицы равен 10.
Обозначается ранг матрицы $A$ так: $\rang A$ или $r(A)$. Ранг нулевой матрицы $O$ полагают равным нулю, $\rang O=0$. Напомню, что для образования минора матрицы требуется вычёркивать строки и столбцы, - однако вычеркнуть строк и столбцов более, чем содержит сама матрица, невозможно. Например, если матрица $F$ имеет размер $5\times 4$ (т.е. содержит 5 строк и 4 столбца), то максимальный порядок её миноров равен четырём. Миноры пятого порядка образовать уже не удастся, так как для них потребуется 5 столбцов (а у нас всего 4). Это означает, что ранг матрицы $F$ не может быть больше четырёх, т.е. $\rang F≤4$.
В более общей форме вышеизложенное означает, что если матрица содержит $m$ строк и $n$ столбцов, то её ранг не может превышать наименьшего из чисел $m$ и $n$, т.е. $\rang A≤\min(m,n)$.
В принципе, из самого определения ранга следует метод его нахождения. Процесс нахождения ранга матрицы по определению можно схематически представить так:
Поясню эту схему более подробно. Начнём рассуждать с самого начала, т.е. с миноров первого порядка некоторой матрицы $A$.
- Если все миноры первого порядка (т.е. элементы матрицы $A$) равны нулю, то $\rang A=0$. Если среди миноров первого порядка есть хотя бы один, не равный нулю, то $\rang A≥ 1$. Переходим к проверке миноров второго порядка.
- Если все миноры второго порядка равны нулю, то $\rang A=1$. Если среди миноров второго порядка есть хотя бы один, не равный нулю, то $\rang A≥ 2$. Переходим к проверке миноров третьего порядка.
- Если все миноры третьего порядка равны нулю, то $\rang A=2$. Если среди миноров третьего порядка есть хотя бы один, не равный нулю, то $\rang A≥ 3$. Переходим к проверке миноров четвёртого порядка.
- Если все миноры четвёртого порядка равны нулю, то $\rang A=3$. Если среди миноров четвёртого порядка есть хотя бы один, не равный нулю, то $\rang A≥ 4$. Переходим к проверке миноров пятого порядка и так далее.
Что ждёт нас в конце этой процедуры? Возможно, что среди миноров k-го порядка найдётся хоть один, отличный от нуля, а все миноры (k+1)-го порядка будут равны нулю. Это значит, что k - максимальный порядок миноров, среди которых есть хотя бы один, не равный нулю, т.е. ранг будет равен k. Может быть иная ситуация: среди миноров k-го порядка будет хоть один не равный нулю, а миноры (k+1)-го порядка образовать уже не удастся. В этом случае ранг матрицы также равен k. Короче говоря, порядок последнего составленного ненулевого минора и будет равен рангу матрицы .
Перейдём к примерам, в которых процесс нахождения ранга матрицы по определению будет проиллюстрирован наглядно. Ещё раз подчеркну, что в примерах данной темы мы станем находить ранг матриц, используя лишь определение ранга. Иные методы (вычисление ранга матрицы методом окаймляющих миноров , вычисление ранга матрицы методом элементарных преобразований) рассмотрены в следующих темах.
Кстати, вовсе не обязательно начинать процедуру нахождения ранга с миноров самого малого порядка, как это сделано в примерах №1 и №2. Можно сразу перейти к минорам более высоких порядков (см. пример №3).
Пример №1
Найти ранг матрицы $A=\left(\begin{array}{ccccc} 5 & 0 & -3 & 0 & 2 \\ 7 & 0 & -4 & 0 & 3 \\ 2 & 0 & -1 & 0 & 1 \end{array} \right)$.
Данная матрица имеет размер $3\times 5$, т.е. содержит три строки и пять столбцов. Из чисел 3 и 5 минимальным является 3, посему ранг матрицы $A$ не больше 3, т.е. $\rang A≤ 3$. И это неравенство очевидно, так как миноры четвёртого порядка образовать мы уже не сможем, - для них нужно 4 строки, а у нас всего 3. Перейдём непосредственно к процессу нахождения ранга заданной матрицы.
Среди миноров первого порядка (т.е среди элементов матрицы $A$) есть ненулевые. Например, 5, -3, 2, 7. Вообще, нас не интересует общее количество ненулевых элементов. Есть хотя бы один не равный нулю элемент - и этого достаточно. Так как среди миноров первого порядка есть хотя бы один, отличный от нуля, то делаем вывод, что $\rang A≥ 1$ и переходим к проверке миноров второго порядка.
Начнём исследовать миноры второго порядка. Например, на пересечении строк №1, №2 и столбцов №1, №4 расположены элементы такого минора: $\left|\begin{array}{cc} 5 & 0 \\ 7 & 0 \end{array} \right|$. У этого определителя все элементы второго столбца равны нулю, поэтому и сам определитель равен нулю, т.е. $\left|\begin{array}{cc} 5 & 0 \\ 7 & 0 \end{array} \right|=0$ (см. свойство №3 в теме свойства определителей). Или же можно банально вычислить сей определитель, используя формулу №1 из раздела по вычислению определителей второго и третьего порядков :
$$ \left|\begin{array}{cc} 5 & 0 \\ 7 & 0 \end{array} \right|=5\cdot 0-0\cdot 7=0. $$
Первый проверенный нами минор второго порядка оказался равен нулю. О чём это говорит? О том, что нужно дальше проверять миноры второго порядка. Либо они все окажутся нулевыми (и тогда ранг будет равен 1), либо среди них найдётся хотя бы один минор, отличный от нуля. Попробуем осуществить более удачный выбор, записав минор второго порядка, элементы которого расположены на пересечении строк №1, №2 и столбцов №1 и №5: $\left|\begin{array}{cc} 5 & 2 \\ 7 & 3 \end{array} \right|$. Найдём значение этого минора второго порядка:
$$ \left|\begin{array}{cc} 5 & 2 \\ 7 & 3 \end{array} \right|=5\cdot 3-2\cdot 7=1. $$
Данный минор не равен нулю. Вывод: среди миноров второго порядка есть хотя бы один, отличный от нуля. Следовательно $\rang A≥ 2$. Нужно переходить к исследованию миноров третьего порядка.
Если для формирования миноров третьего порядка мы станем выбирать столбец №2 или столбец №4, то такие миноры будут равными нулю (ибо они будут содержать нулевой столбец). Остаётся проверить лишь один минор третьего порядка, элементы которого расположены на пересечении столбцов №1, №3, №5 и строк №1, №2, №3. Запишем этот минор и найдём его значение:
$$ \left|\begin{array}{ccc} 5 & -3 & 2 \\ 7 & -4 & 3 \\ 2 & -1 & 1 \end{array} \right|=-20-18-14+16+21+15=0. $$
Итак, все миноры третьего порядка равны нулю. Последний составленный нами ненулевой минор был второго порядка. Вывод: максимальный порядок миноров, среди которых есть хотя бы один, отличный от нуля, равен 2. Следовательно, $\rang A=2$.
Ответ : $\rang A=2$.
Пример №2
Найти ранг матрицы $A=\left(\begin{array} {cccc} -1 & 3 & 2 & -3\\ 4 & -2 & 5 & 1\\ -5 & 0 & -4 & 0\\ 9 & 7 & 8 & -7 \end{array} \right)$.
Имеем квадратную матрицу четвёртого порядка. Сразу отметим, что ранг данной матрицы не превышает 4, т.е. $\rang A≤ 4$. Приступим к нахождению ранга матрицы.
Среди миноров первого порядка (т.е среди элементов матрицы $A$) есть хотя бы один, не равный нулю, поэтому $\rang A≥ 1$. Переходим к проверке миноров второго порядка. Например, на пересечении строк №2, №3 и столбцов №1 и №2 получим такой минор второго порядка: $\left| \begin{array} {cc} 4 & -2 \\ -5 & 0 \end{array} \right|$. Вычислим его:
$$ \left| \begin{array} {cc} 4 & -2 \\ -5 & 0 \end{array} \right|=0-10=-10. $$
Среди миноров второго порядка есть хотя бы один, не равный нулю, поэтому $\rang A≥ 2$.
Перейдём к минорам третьего порядка. Найдём, к примеру, минор, элементы которого расположены на пересечении строк №1, №3, №4 и столбцов №1, №2, №4:
$$ \left | \begin{array} {cccc} -1 & 3 & -3\\ -5 & 0 & 0\\ 9 & 7 & -7 \end{array} \right|=105-105=0. $$
Так как данный минор третьего порядка оказался равным нулю, то нужно исследовать иной минор третьего порядка. Либо все они окажутся равными нулю (тогда ранг будет равен 2), либо среди них найдётся хоть один, не равный нулю (тогда станем исследовать миноры четвёртого порядка). Рассмотрим минор третьего порядка, элементы которого расположены на пересечении строк №2, №3, №4 и столбцов №2, №3, №4:
$$ \left| \begin{array} {ccc} -2 & 5 & 1\\ 0 & -4 & 0\\ 7 & 8 & -7 \end{array} \right|=-28. $$
Среди миноров третьего порядка есть хотя бы один, отличный от нуля, поэтому $\rang A≥ 3$. Переходим к проверке миноров четвёртого порядка.
Любой минор четвёртого порядка располагается на пересечении четырёх строк и четырёх столбцов матрицы $A$. Иными словами, минор четвёртого порядка - это определитель матрицы $A$, так как данная матрица как раз и содержит 4 строки и 4 столбца. Определитель этой матрицы был вычислен в примере №2 темы "Понижение порядка определителя. Разложение определителя по строке (столбцу)" , поэтому просто возьмём готовый результат:
$$ \left| \begin{array} {cccc} -1 & 3 & 2 & -3\\ 4 & -2 & 5 & 1\\ -5 & 0 & -4 & 0\\ 9 & 7 & 8 & -7 \end{array} \right|=86. $$
Итак, минор четвертого порядка не равен нулю. Миноров пятого порядка образовать мы уже не можем. Вывод: наивысший порядок миноров, среди которых есть хотя бы один отличный от нуля, равен 4. Итог: $\rang A=4$.
Ответ : $\rang A=4$.
Пример №3
Найти ранг матрицы $A=\left(\begin{array} {cccc} -1 & 0 & 2 & -3\\ 4 & -2 & 5 & 1\\ 7 & -4 & 0 & -5 \end{array} \right)$.
Сразу отметим, что данная матрица содержит 3 строки и 4 столбца, поэтому $\rang A≤ 3$. В предыдущих примерах мы начинали процесс нахождения ранга с рассмотрения миноров наименьшего (первого) порядка. Здесь же попробуем сразу проверить миноры максимально возможного порядка. Для матрицы $A$ такими являются миноры третьего порядка. Рассмотрим минор третьего порядка, элементы которого лежат на пересечении строк №1, №2, №3 и столбцов №2, №3, №4:
$$ \left| \begin{array} {ccc} 0 & 2 & -3\\ -2 & 5 & 1\\ -4 & 0 & -5 \end{array} \right|=-8-60-20=-88. $$
Итак, наивысший порядок миноров, среди которых есть хоть один, не равный нулю, равен 3. Поэтому ранг матрицы равен 3, т.е. $\rang A=3$.
Ответ : $\rang A=3$.
Вообще, нахождение ранга матрицы по определению - в общем случае задача довольно-таки трудоёмкая. Например у матрицы сравнительно небольшого размера $5\times 4$ имеется 60 миноров второго порядка. И если даже 59 из них будут равны нулю, то 60й минор может оказаться ненулевым. Тогда придётся исследовать миноры третьего порядка, которых у данной матрицы 40 штук. Обычно стараются использовать менее громоздкие способы, такие как метод окаймляющих миноров или метод эквивалентных преобразований .
