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

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

Число r называется рангом матрицы A , если:
1) в матрице A есть минор порядка r , отличный от нуля;
2) все миноры порядка (r+1) и выше, если они существуют, равны нулю.
Иначе, ранг матрицы – это наивысший порядок минора, отличного от нуля.
Обозначения: rangA , r A или r .
Из определения следует, что r – целое положительное число. Для нуль-матрицы считают ранг равным нулю.

Назначение сервиса . Онлайн-калькулятор предназначен для нахождения ранга матрицы . При этом решение сохраняется в формате Word и Excel . см. пример решения .

Инструкция . Выберите размерность матрицы, нажмите Далее.

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

Ранг единичной матрицы E равен n (количеству строк).

Пример 1 . Даны две матрицы , и их миноры , . Какой из них можно принять в качестве базисного?
Решение . Минор M 1 =0, поэтому он не может быть базисным ни для одной из матриц. Минор M 2 =-9≠0 и имеет порядок 2, значит его можно принять в качестве базисного матриц A или / и B при условии, что они имеют ранги, равные 2 . Поскольку detB=0 (как определитель с двумя пропорциональными столбцами), то rangB=2 и M 2 можно взять за базисный минор матрицы B. Ранг матрицы A равен 3, в силу того, что detA=-27≠0 и, следовательно, порядок базисного минора этой матрицы должен равняться 3, то есть M 2 не является базисным для матрицы A . Отметим, что у матрицы A единственный базисный минор, равный определителю матрицы A .

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

1. Всякие (r+1) столбцов (строк) матрицы ранга r линейно зависимы.
2. Если ранг матрицы меньше числа ее строк (столбцов), то ее строки (столбцы) линейно зависимы. Если rangA равен числу ее строк (столбцов), то строки (столбцы) линейно независимы.
3. Определитель матрицы A равен нулю тогда и только тогда, когда ее строки (столбцы) линейно зависимы.
4. Если к строке (столбцу) матрицы прибавить другую строку, (столбец) умноженную на любое число, отличное от нуля, то ранг матрицы не изменится.
5. Если в матрице зачеркнуть строку (столбец), являющуюся линейной комбинацией других строк (столбцов), то ранг матрицы не изменится.
6. Ранг матрицы равен максимальному числу ее линейно независимых строк (столбцов).
7. Максимальное число линейно независимых строк совпадает с максимальным числом линейно независимых столбцов.

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

Пусть A - матрица размеров m\times n , а k - натуральное число, не превосходящее m и n : k\leqslant\min\{m;n\} . Минором k-го порядка матрицы A называется определитель матрицы k-го порядка, образованной элементами, стоящими на пересечении произвольно выбранных k строк и k столбцов матрицы A . Обозначая миноры, номера выбранных строк будем указывать верхними индексами, а выбранных столбцов - нижними, располагая их по возрастанию.

Пример 3.4. Записать миноры разных порядков матрицы

A=\begin{pmatrix}1&2&1&0\\ 0&2&2&3\\ 1&4&3&3\end{pmatrix}\!.

Решение. Матрица A имеет размеры 3\times4 . Она имеет: 12 миноров 1-го порядка, например, минор M_{{}_2}^{{}_3}=\det(a_{32})=4 ; 18 миноров 2-го порядка, например, M_{{}_{23}}^{{}^{12}}=\begin{vmatrix}2&1\\2&2\end{vmatrix}=2 ; 4 минора 3-го порядка, например,

M_{{}_{134}}^{{}^{123}}= \begin{vmatrix}1&1&0\\0&2&3\\ 1&3&3 \end{vmatrix}=0.

В матрице A размеров m\times n минор r-го порядка называется базисным , если он отличен от нуля, а все миноры (r+1)-ro порядка равны нулю или их вообще не существует.

Рангом матрицы называется порядок базисного минора. В нулевой матрице базисного минора нет. Поэтому ранг нулевой матрицы, по определению полагают равным нулю. Ранг матрицы A обозначается \operatorname{rg}A .

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

A=\begin{pmatrix}1&2&2&0\\0&2&2&3\\0&0&0&0\end{pmatrix}\!.

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

M_{{}_{12}}^{{}^{12}}= M_{{}_{13}}^{{}^{12}}= \begin{vmatrix}1&2\\0&2 \end{vmatrix}\!,\quad M_{{}_{24}}^{{}^{12}}= M_{{}_{34}}^{{}^{12}}= \begin{vmatrix}2&0\\2&3\end{vmatrix}\!,\quad M_{{}_{14}}^{{}^{12}}= \begin{vmatrix}1&0\\0&3\end{vmatrix}\!.

Каждый из этих пяти миноров является базисным. Следовательно, ранг матрицы равен 2.

Замечания 3.2

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

2. Ранг матрицы равен наибольшему порядку отличного от нуля минора этой матрицы.

3. Если квадратная матрица невырожденная, то ее ранг равен ее порядку. Если квадратная матрица вырожденная, то ее ранг меньше ее порядка.

4. Для ранга применяются также обозначения \operatorname{Rg}A,~ \operatorname{rang}A,~ \operatorname{rank}A .

5. Ранг блочной матрицы определяется как ранг обычной (числовой) матрицы, т.е. не обращая внимания на ее блочную структуру. При этом ранг блочной матрицы не меньше рангов ее блоков: \operatorname{rg}(A\mid B)\geqslant\operatorname{rg}A и \operatorname{rg}(A\mid B)\geqslant\operatorname{rg}B , поскольку все миноры матрицы A (или B ) являются также минорами блочной матрицы (A\mid B) .

Теоремы о базисном миноре и о ранге матрицы

Рассмотрим основные теоремы, выражающие свойства линейной зависимости и линейной независимости столбцов (строк) матрицы.

Теорема 3.1 о базисном миноре. В произвольной матрице A каждый столбец {строка) является линейной комбинацией столбцов (строк), в которых расположен базисный минор.

Действительно, без ограничения общности предполагаем, что в матрице A размеров m\times n базисный минор расположен в первых r строках и первых r столбцах. Рассмотрим определитель

D=\begin{vmatrix}~ a_{11}&\cdots&a_{1r}\!\!&\vline\!\!&a_{1k}~\\ ~\vdots&\ddots &\vdots\!\!&\vline\!\!&\vdots~\\ ~a_{r1}&\cdots&a_{rr}\!\!&\vline\!\!&a_{rk}~\\\hline ~a_{s1}&\cdots&a_{sr}\!\!&\vline\!\!&a_{sk}~\end{vmatrix},

который получен приписыванием к базисному минору матрицы A соответствующих элементов s-й строки и k-го столбца. Отметим, что при любых 1\leqslant s\leqslant m и этот определитель равен нулю. Если s\leqslant r или k\leqslant r , то определитель D содержит две одинаковых строки или два одинаковых столбца. Если же s>r и k>r , то определитель D равен нулю, так как является минором (r+l)-ro порядка. Раскладывая определитель по последней строке, получаем

a_{s1}\cdot D_{r+11}+\ldots+ a_{sr}\cdot D_{r+1r}+a_{sk}\cdot D_{r+1\,r+1}=0,

где D_{r+1\,j} - алгебраические дополнения элементов последней строки. Заметим, что D_{r+1\,r+1}\ne0 , так как это базисный минор. Поэтому

a_{sk}=\lambda_1\cdot a_{s1}+\ldots+\lambda_r\cdot a_{sr} , где \lambda_j=-\frac{D_{r+1\,j}}{D_{r+1\,r+1}},~j=1,2,\ldots,r.

\begin{pmatrix}a_{1k}\\\vdots\\a_{mk}\end{pmatrix}= \lambda_1\cdot\! \begin{pmatrix}a_{11}\\\vdots\\a_{m1}\end{pmatrix}+\ldots \lambda_r\cdot\! \begin{pmatrix}a_{1r}\\\vdots\\a_{mr}\end{pmatrix}\!.

т.е. k -й столбец (при любом 1\leqslant k\leqslant n ) есть линейная комбинация столбцов базисного минора, что и требовалось доказать.

Теорема о базисном миноре служит для доказательства следующих важных теорем.

Условие равенства нулю определителя

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

В самом деле, необходимость следует из теоремы о базисном миноре. Если определитель квадратной матрицы n-го порядка равен нулю, то ее ранг меньше n , т.е. хотя бы один столбец не входит в базисный минор. Тогда этот выбранный столбец по теореме 3.1 является линейной комбинацией столбцов, в которых расположен базисный минор. Добавляя, при необходимости, к этой комбинации другие столбцы с нулевыми коэффициентами, получаем, что выбранный столбец есть линейная комбинация остальных столбцов матрицы. Достаточность следует из свойств определителя. Если, например, последний столбец A_n определителя \det(A_1~A_2~\cdots~A_n) линейно выражается через остальные

A_n=\lambda_1\cdot A_1+\lambda_2\cdot A_2+\ldots+\lambda_{n-1}\cdot A_{n-1},

то прибавляя к A_n столбец A_1 , умноженный на (-\lambda_1) , затем столбец A_2 , умноженный на (-\lambda_2) , и т.д. столбец A_{n-1} , умноженный на (-\lambda_{n-1}) , получим определитель \det(A_1~\cdots~A_{n-1}~o) с нулевым столбцом, который равен нулю (свойство 2 определителя).

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

Теорема 3.3 (об инвариантности ранга при элементарных преобразованиях). При элементарных преобразованиях столбцов (строк) матрицы ее ранг не меняется.

Действительно, пусть . Предположим, что в результате одного элементарного преобразования столбцов матрицы A получили матрицу A" . Если было выполнено преобразование I типа (перестановка двух столбцов), то любой минор (r+l)-ro порядка матрицы A" либо равен соответствующему минору (r+l)-ro порядка матрицы A , либо отличается от него знаком (свойство 3 определителя). Если было выполнено преобразование II типа (умножение столбца на число \lambda\ne0 ), то любой минор (г+l)-ro порядка матрицы A" либо равен соответствующему минору (r+l)-ro порядка матрицы A , либо отличается от него множителем \lambda\ne0 (свойство 6 определителя). Если было выполнено преобразование III типа (прибавление к одному столбцу другого столбца, умноженного на число \Lambda ), то любой минор (г+1)-го порядка матрицы A" либо равен соответствующему минору (г+1) -го порядка матрицы A (свойство 9 определителя), либо равен сумме двух миноров (r+l)-ro порядка матрицы A (свойство 8 определителя). Поэтому при элементарном преобразовании любого типа все миноры (r+l)-ro порядка матрицы A" равны нулю, так как равны нулю все миноры (г+l)-ro порядка матрицы A . Таким образом, доказано, что при элементарных преобразованиях столбцов ранг матрицы не может увеличиться. Так как преобразования, обратные к элементарным, являются элементарными, то ранг матрицы при элементарных преобразованиях столбцов не может и уменьшиться, т.е. не изменяется. Аналогично доказывается, что ранг матрицы не изменяется при элементарных преобразованиях строк.

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

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

Следствие 2. Если матрица приведена к простейшему виду (1.7), то

\operatorname{rg}A=\operatorname{rg}\Lambda=r\,.

Действительно, матрица простейшего вида (1.7) имеет базисный минор r-го порядка.

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

Действительно, если A - невырожденная квадратная матрица n-го порядка, то \operatorname{rg}A=n (см. п.З замечаний 3.2). Поэтому, приводя элементарными преобразованиями матрицу A к простейшему виду (1.7), получим единичную матрицу \Lambda=E_n , так как \operatorname{rg}A=\operatorname{rg}\Lambda=n (см. следствие 2). Следовательно, матрица A эквивалентна единичной матрице E_n и может быть получена из нее в результате конечного числа элементарных преобразований. Это означает, что матрица A элементарная.

Теорема 3.4 (о ранге матрицы). Ранг матрицы равен максимальному числу линейно независимых строк этой матрицы.

В самом деле, пусть \operatorname{rg}A=r . Тогда в матрице A имеется r линейно независимых строк. Это строки, в которых расположен базисный минор. Если бы они были линейно зависимы, то этот минор был бы равен нулю по теореме 3.2, а ранг матрицы A не равнялся бы r . Покажем, что r - максимальное число линейно независимых строк, т.е. любые p строк линейно зависимы при p>r . Действительно, образуем из этих p строк матрицу B . Поскольку матрица B - это часть матрицы A , то \operatorname{rg}B\leqslant \operatorname{rg}A=r

Значит, хотя бы одна строка матрицы B не входит в базисный минор этой матрицы. Тогда по теореме о базисном миноре она равна линейной комбинации строк, в которых расположен базисный минор. Следовательно, строки матрицы B линейно зависимы. Таким образом, в матрице A не более, чем r линейно независимых строк.

Следствие 1. Максимальное число линейно независимых строк в матрице равно максимальному числу линейно независимых столбцов:

\operatorname{rg}A=\operatorname{rg}A^T.

Это утверждение вытекает из теоремы 3.4, если ее применить к строкам транспонированной матрицы и учесть, что при транспонировании миноры не изменяются (свойство 1 определителя).

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

В самом деле, выберем любые k столбцов данной матрицы A и составим из них матрицу B . Пусть в результате элементарных преобразований строк матрицы A была получена матрица A" , а в результате тех же преобразований строк матрицы B была получена матрица B" . По теореме 3.3 \operatorname{rg}B"=\operatorname{rg}B . Следовательно, если столбцы матрицы B были линейно независимы, т.е. k=\operatorname{rg}B (см. следствие 1), то и столбцы матрицы B" также линейно независимы, так как k=\operatorname{rg}B" . Если столбцы матрицы B были линейно зависимы (k>\operatorname{rg}B) , то и столбцы матрицы B" также линейно зависимы (k>\operatorname{rg}B") . Следовательно, для любых столбцов матрицы A линейная зависимость или линейная независимость сохраняется при элементарных преобразованиях строк.

Замечания 3.3

1. В силу следствия 1 теоремы 3.4 свойство столбцов, указанное в следствии 2, справедливо и для любой системы строк матрицы, если элементарные преобразования выполняются только над ее столбцами.

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

В самом деле, используя только элементарные преобразования строк, любую матрицу A можно привести к упрощенному виду \Lambda (рис. 1.5) (см. теорему 1.1). Поскольку матрица A невырожденная (\det{A}\ne0) , то ее столбцы линейно независимы. Значит, столбцы матрицы \Lambda также линейно независимы (следствие 2 теоремы 3.4). Поэтому упрощенный вид \Lambda невырожденной матрицы A совпадает с ее простейшим видом (рис. 1.6) и представляет собой единичную матрицу \Lambda=E (см. следствие 3 теоремы 3.3). Таким образом, преобразовывая только строки невырожденной матрицы, ее можно привести к единичной. Аналогичные рассуждения справедливы и для элементарных преобразований столбцов невырожденной матрицы.

Ранге произведения и суммы матриц

Теорема 3.5 (о ранге произведения матриц). Ранг произведения матриц не превышает ранга множителей:

\operatorname{rg}(A\cdot B)\leqslant \min\{\operatorname{rg}A,\operatorname{rg}B\}.

В самом деле, пусть матрицы A и B имеют размеры m\times p и p\times n . Припишем к матрице A матрицу C=AB\colon\,(A\mid C) . Разумеется, что \operatorname{rg}C\leqslant\operatorname{rg}(A\mid C) , так как C - это часть матрицы (A\mid C) (см. п.5 замечаний 3.2). Заметим, что каждый столбец C_j , согласно операции умножения матриц, является линейной комбинацией столбцов A_1,A_2,\ldots,A_p матрицы A=(A_1~\cdots~A_p):

C_{j}=A_1\cdot b_{1j}+A_2\cdot b_{2j}+\ldots+A_{p}\cdot b_pj},\quad j=1,2,\ldots,n.

Такой столбец можно вычеркнуть из матрицы (A\mid C) , при этом ее ранг не изменится (следствие 1 теоремы 3.3). Вычеркивая все столбцы матрицы C , получаем: \operatorname{rg}(A\mid C)=\operatorname{rg}A . Отсюда, \operatorname{rg}C\leqslant\operatorname{rg}(A\mid C)=\operatorname{rg}A . Аналогично можно доказать, что одновременно выполняется условие \operatorname{rg}C\leqslant\operatorname{rg}B , и сделать вывод о справедливости теоремы.

Следствие. Если A невырожденная квадратная матрица, то \operatorname{rg}(AB)= \operatorname{rg}B и \operatorname{rg}(CA)=\operatorname{rg}C , т.е. ранг матрицы не изменяется приумножении ее слева или справа на невырожденную квадратную матрицу.

Теорема 3.6 о ранге суммы матриц. Ранг суммы матриц не превышает суммы рангов слагаемых:

\operatorname{rg}(A+B)\leqslant \operatorname{rg}A+\operatorname{rg}B.

Действительно, составим матрицу (A+B\mid A\mid B) . Заметим, что каждый столбец матрицы A+B есть линейная комбинация столбцов матриц A и B . Поэтому \operatorname{rg}(A+B\mid A\mid B)= \operatorname{rg}(A\mid B) . Учитывая, что количество линейно независимых столбцов в матрице (A\mid B) не превосходит \operatorname{rg}A+\operatorname{rg}B , a \operatorname{rg}(A+B)\leqslant \operatorname{rg}(A+B\mid A\mid B) (см. п.5 замечаний 3.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 штук. Обычно стараются использовать менее громоздкие способы, такие как метод окаймляющих миноров или метод эквивалентных преобразований .