Сайт о телевидении

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

Теорема 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 , то .

Рассмотрим матрицу \(A\) типа \((m,n)\). Пусть, для определенности, \(m \leq n\). Возьмем \(m\) строк и выберем \(m\) столбцов матрицы \(A\), на пересечении этих строк и столбцов получится квадратная матрица порядка \(m\), определитель которой называют минором порядка \(m\) матрицы \(A\). Если этот минор отличен от 0, его называют базисным минором и говорят, что ранг матрицы \(A\) равен \(m\). Если же этот определитель равен 0, то выбирают другие \(m\) столбцов, на их пересечении стоят элементы, образующие другой минор порядка \(m\). Если минор равен 0, продолжаем процедуру. Если среди всех возможных миноров порядка \(m\) нет отличных от нуля, мы выбираем \(m-1\) cтрок и столбцов из матрицы \(A\), на их пересечении возникает квадратная матрица порядка \(m-1\), ее определитель называется минором порядка \(m-1\) исходной матрицы. Продолжая процедуру, ищем ненулевой минор, перебирая все возможные миноры, понижая их порядок.

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

Ненулевой минор данной матрицы наивысшего порядка называется базисным минором исходной матрицы, его порядок называется рангом матрицы \(A\), строки и столбцы, на пересечении которых находится базисный минор, называются базисныи строками и столбцами. Ранг матрицы обозначается \(rang(A)\).

Из этого определения следуют простые свойства ранга матрицы: это целое число, причем ранг ненулевой матрицы удовлетворяет неравенствам: \(1 \leq rang(A) \leq \min(m,n)\).

Как изменится ранг матрицы, если вычеркнуть какую-нибудь строку? Добавить какую-нибудь строку?

Проверить ответ

1) Ранг может уменьшиться на 1.

2) Ранг может увеличиться на 1.

Пусть \(A\) - матрица типа \((m,n)\). Рассмотрим столбцы матрицы \(A\) - это столбцы из \(m\) чисел каждый. Обозначим их \(A_1,A_2,...,A_n\). Пусть \(c_1,c_2,...,c_n\) - какие-то числа.

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

Столбец \[ D=c_1A_1+c_2A_2+...+c_nA_n = \sum _{m=1}^nc_mA_m \] называется линейной комбинацией столбцов \(A_1,A_2,...,A_n\), числа \(c_1,c_2,...,c_n\) называются коэффициентами этой линейной комбинации.

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

Пусть дано \(p\) столбцов \(A_1, A_2, ..., A_p\). Если существуют такие числа \(c_1,c_2,...,c_p\), что

1. не все эти числа равны нулю,

2. линейная комбинация \(c_1A_1+c_2A_2+...+c_pA_p =\sum _{m=1}^pc_mA_m\) равна нулевому столбцу (т.е. столбцу, все элементы которого нули), то говорят, что столбцы \(A_1, A_2, ..., A_p\) линейно зависимы. Если для данного набора столбцов таких чисел \(c_1,c_2,...,c_n\) не существует, столбцы называются линейно независимыми.

Пример. Рассмотрим 2-столбцы

\[ A_1=\left(\begin{array}{c} 1 \\ 0 \end{array} \right), A_2=\left(\begin{array}{c} 0 \\ 1 \end{array} \right), \] тогда для любых чисел \(c_1,c_2\) имеем: \[ c_1A_1+c_2A_2=c_1\left(\begin{array}{c} 1 \\ 0 \end{array} \right)+c_2\left(\begin{array}{c} 0 \\ 1 \end{array} \right)=\left(\begin{array}{c} c_1 \\ c_2 \end{array} \right). \]

Эта линейная комбинация равна нулевому столбцу тогда и только тогда, когда оба числа \(c_1,c_2\) равны нулю. Таким образом, эти столбцы линейно независимы.

Утверждение. Для того, чтобы столбцы были линейно зависимы, необходимо и достаточно, чтобы один из них был линейной комбинацией остальных.

Пусть столбцы \(A_1,A_2,...,A_m\) линейно зависимы, т.е. для некоторых констант \(\lambda _1, \lambda _2,...,\lambda _m\), не все из которых равны 0, выполняется: \[ \sum _{k=1}^m\lambda _kA_k=0 \] (в правой части - нулевой столбец). Пусть, например, \(\lambda _1 \neq 0\). Тогда \[ A_1=\sum _{k=2}^mc_kA_k, \quad c_k=-\lambda _k/\lambda _1, \quad \quad (15) \] т.е. первый столбец - линейная комбинация остальных.

Для любой ненулевой матрицы \(A\) справедливо следующее:

1. Базисные столбцы линейно независимы.

2. Любой столбец матрицы является линейной комбинацией его базисных столбцов.

(Аналогичное верно и для строк).

Пусть, для определенности, \((m,n)\) - тип матрицы \(A\), \(rang(A)=r \leq n\) и базисный минор расположен в первых \(r\) строках и столбцах матрицы \(A\). Пусть \(s\) - любое число между 1 и \(m\), \(k\) - любое число между 1 и \(n\). Рассмотрим минор следующего вида: \[ D=\left| \begin{array}{ccccc} a_{11} & a_{12} & \ldots & a_{1r} & a_{1s} \\ a_{21} & a_{22} & \ldots & a_{2r} & a_{2s} \\ \dots &\ldots & \ldots & \ldots & \ldots \\ a_{r1} & a_{r2} & \ldots & a_{rr} & a_{rs} \\ a_{k1} & a_{k2} & \ldots & a_{kr} & a_{ks} \\ \end{array} \right| , \] т.е. мы к базисному минору приписали \(s-\)ый столбец и \(k-\)ую строку. По определению ранга матрицы этот определитель равен нулю (если мы выбрали \(s\leq r\) или \(k \leq r\) , значит в этом миноре 2 одинаковых столбца или 2 одинаковых строки, если \(s>r\) и \(k>r\) - по определению ранга минор размера больше \(r\) обращается в ноль). Разложим этот определитель по последней строке, получим: \[ a_{k1}A_{k1}+a_{k2}A_{k2}+....+a_{kr}A_{kr}+a_{ks}A_{ks}=0. \quad \quad(16) \]

Здесь числа \(A_{kp}\) - алгебраические дополнения элементов из нижней строки \(D\). Их величины не зависят от \(k\), т.к. образуются с помощью элементов из первых \(r\) строк. При этом величина \(A_{ks}\) - это базисный минор, отличный от 0. Обозначим \(A_{k1}=c_1,A_{k2}=c_2,...,A_{ks}=c_s \neq 0\). Перепишем в новых обозначениях (16): \[ c_1a_{k1}+c_2a_{k2}+...+c_ra_{kr}+c_sa_{ks}=0, \] или, разделив на \(c_s\), \[ a_{ks}=\lambda_1a_{k1}+\lambda_2a_{k2}+...+\lambda_ra_{kr}, \quad \lambda _p=-c_p/c_s. \] Это равенство справедливо для любого значения \(k\), так что \[ a_{1s}=\lambda_1a_{11}+\lambda_2a_{12}+...+\lambda_ra_{1r}, \] \[ a_{2s}=\lambda_1a_{21}+\lambda_2a_{22}+...+\lambda_ra_{2r}, \] \[ ........................................................ \] \[ a_{ms}=\lambda_1a_{m1}+\lambda_2a_{m2}+...+\lambda_ra_{mr}. \] Итак, \(s-\)ый столбец является линейной комбинацией первых \(r\) столбцов. Теорема доказана.

Замечание.

Из теоремы о базисном миноре следует, что ранг матрицы равен числу ее линейно независимых столбцов (которое равно числу линейно независимых строк).

Следствие 1.

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

Следствие 2.

Если ранг матрицы меньше числа столбцов, то столбцы матрицы линейно зависимы.

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

1. Перестановка столбцов.

2. Умножение элементов какого-нибудь столбца на ненулевой множитель.

3. Прибавление к столбцу любого другого столбца, умноженного на произвольное число.

4. Вычеркивание нулевого столбца.

Аналогичное верно и для строк.

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

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

\[ A=\left(\begin{array}{cccc} 2 &1 & 11 & 2 \\ 1 & 0 & 4 & -1 \\ 11 & 4 & 56 & 5 \\ 2 & -1 & 5 & -6 \end{array} \right). \] Будем преобразовывать ее с помощью указанных выше преобразований. \[ A=\left(\begin{array}{cccc} 2 &1 & 11 & 2 \\ 1 & 0 & 4 & -1 \\ 11 & 4 & 56 & 5 \\ 2 & -1 & 5 & -6 \end{array} \right) \mapsto \left(\begin{array}{cccc} 1 & 0 & 4 & -1 \\ 2 & 1 & 11 & 2 \\ 11 & 4 & 56 & 5 \\ 2 & -1 & 5 & -6 \end{array} \right) \mapsto \left(\begin{array}{cccc} 1 & 0 & 4 & -1 \\ 0 & 1 & 3 & 4 \\ 0 & 4 & 12 & 16 \\ 0 & -1 & -3 & -4 \end{array} \right) \mapsto \] \[ \left(\begin{array}{cccc} 1 & 0 & 4 & -1 \\ 0 & 1 & 3 & 4 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{array} \right)\mapsto \left(\begin{array}{cccc} 1 & 0 & 4 & -1 \\ 0 & 1 & 3 & 4 \end{array}\right). \]

Здесь мы последовательно делаем следующие шаги: 1) переставляем вторую строку наверх, 2) вычитаем первую строку из остальных с подходящим множителем, 3) вычитаем вторую строку из третьей 4 раза, прибавляем вторую строку к четвертой, 4) вычеркиваем нулевые строки - третью и четвертую. Наша итоговая матрица прибрела желаемую форму: на главной диагонали стоят ненулевые числа, под главной диагональю - нули. После этого процедура останавливается и число ненулевых элементов на главной диагонали равно рангу матрицы. Базисный минор при этом - две первые строки и два первых столбца. На их пересечении стоит матрица порядка 2 с ненулевым определителем. При этом, возвращаясь по цепочке преобразований в обратную сторону, можно проследить, откуда возникла та или иная строка (тот или иной столбец) в конечной матрице, т.е. определить базисные строки и столбцы в исходной матрице. В данном случае первые две строки и первые два столбца образуют базисный минор.

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

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

Эквивалентные матрицы - матрицы, ранги которых равны между собой.

Поясним подробнее. Допустим, среди миноров второго порядка есть хотя бы один, отличный от нуля. А все миноры, порядок которых выше двух, равны нулю. Вывод: ранг матрицы равен 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$.

1. Если все миноры первого порядка (т.е. элементы матрицы $A$) равны нулю, то $\rang A=0$. Если среди миноров первого порядка есть хотя бы один, не равный нулю, то $\rang A≥ 1$. Переходим к проверке миноров второго порядка.
2. Если все миноры второго порядка равны нулю, то $\rang A=1$. Если среди миноров второго порядка есть хотя бы один, не равный нулю, то $\rang A≥ 2$. Переходим к проверке миноров третьего порядка.
3. Если все миноры третьего порядка равны нулю, то $\rang A=2$. Если среди миноров третьего порядка есть хотя бы один, не равный нулю, то $\rang A≥ 3$. Переходим к проверке миноров четвёртого порядка.
4. Если все миноры четвёртого порядка равны нулю, то $\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 штук. Обычно стараются использовать менее громоздкие способы, такие как метод окаймляющих миноров или метод эквивалентных преобразований .

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

1) перестановка двух любых строк (или столбцов),

2) умножение строки (или столбца) на отличное от нуля число,

3) прибавление к одной строке (или столбцу) другой строки (или столбца), умноженной на некоторое число.

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

Эквивалентные матрицы не являются, вообще говоря, равными, но их ранги равны. Если матрицы А и В эквивалентны, то это записывается так: A ~ B.

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

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

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

А=

и привести ее к каноническому виду.

Решение. Из второй строки вычтем первую и переставим эти строки:

.

Теперь из второй и третьей строк вычтем первую, умноженную соответственно на 2 и 5:

;

из третьей строки вычтем первую; получим матрицу

В = ,

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

.

Теоре́ма Кро́некера - Капе́лли - критерий совместности системы линейных алгебраических уравнений:

Для того чтобы линейная система являлась совместной, необходимо и достаточно, что бы ранг расширенной матрицы этой системы был равен рангу ее основной матрицы.

Доказательство (условия совместности системы)

Необходимость

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

Достаточность

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

Следствия

Количество главных переменных системы равно рангу системы.

Совместная система будет определена (её решение единственно), если ранг системы равен числу всех её переменных.

Однородная система уравнений

Предложение 15 . 2 Однородная система уравнений

всегда является совместной.

Доказательство . Для этой системы набор чисел , , , является решением.

В этом разделе мы будем использовать матричную запись системы: .

Предложение 15 . 3 Сумма решений однородной системы линейных уравнений является решением этой системы. Решение, умноженное на число, тоже является решением.

Доказательство . Пусть и служат решениями системы . Тогда и . Пусть . Тогда

Так как , то -- решение.

Пусть -- произвольное число, . Тогда

Так как , то -- решение.

Следствие 15 . 1 Если однородная система линейных уравнений имеет ненулевое решение, то она имеет бесконечно много различных решений.

Действительно, умножая ненулевое решение на различные числа, будем получать различные решения.

Определение 15 . 5 Будем говорить, что решения системы образуют фундаментальную систему решений , если столбцы образуют линейно независимую систему и любое решение системы является линейной комбинацией этих столбцов.