25 что называется рангом матрицы. Определение ранга матрицы

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

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

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

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

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

Пусть задана некоторая матрица :

.

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

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

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

Задача 1.4. Методом окаймляющих миноров определить ранг матрицы
.

.

Рассмотрим окаймление первого порядка, например,
. Затем перейдем к рассмотрению некоторого окаймления второго порядка.

Например,
.

Наконец, проанализируем окаймление третьего порядка.

.

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

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

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

Теорема 1.2. (Теорема о базисном миноре). Базисные строки (базисные столбцы) линейно независимы.

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

Теорема 1.3. Число линейно независимых строк матрицы равно числу линейно независимых столбцов матрицы и равно рангу матрицы.

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

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

Определение 1.15. Две матрицы
иназываются эквивалентными, если их ранги равны, т.е.
.

Если матрицы
иэквивалентны, то отмечают
.

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

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

Замену строк столбцами, а столбцов соответствующими строками;

Перестановку строк матрицы;

Вычеркивание строки, все элементы которой равны нулю;

Умножение какой-либо строки на число, отличное от нуля;

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

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

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

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

.

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

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

Задача 1.5. Определить ранг матрицы путем сведения ее к трапециевидной форме.

.

Для удобства применения алгоритма Гаусса можно поменять местами первую и третью строки.








.

Очевидно, что здесь
. Однако, для приведения результата к более изящному виду можно далее продолжить преобразования над столбцами.










.

А также рассмотрим важное практическое приложение темы: исследование системы линейных уравнений на совместность .

Что такое ранг матрицы?

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

И братья наши математические живут по тем же принципам. Выведем на прогулку несколько произвольных нулевых матриц :

Задумаемся, если в матрице одни нули , то о каком ранге может идти речь? Всем знакомо неформальное выражение «полный ноль». В обществе матриц всё точно так же:

Ранг нулевой матрицы любых размеров равен нулю .

Примечание : нулевая матрица обозначается греческой буквой «тета»

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

Теперь рассмотрим несколько ненулевых векторов-столбцов и векторов-строк :


В каждом экземпляре есть хотя бы один ненулевой элемент, и это уже кое-что!

Ранг любого ненулевого вектора-строки (вектора-столбца) равен единице

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

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

Теоретическая справка : в линейной алгебре вектор – это элемент векторного пространства (определяемое через 8 аксиом), который, в частности, может представлять собой упорядоченную строку (или столбец) действительных чисел с определёнными для них операциями сложения и умножения на действительное число. С более подробной информацией о векторах можно ознакомиться в статье Линейные преобразования .

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

Перепишем координаты векторов в столбцы (транспонируем матрицу ):

Что изменилось с точки зрения ранга? Ничего. Столбцы пропорциональны, значит, ранг равен единице. Кстати, обратите внимание, что все три строки тоже пропорциональны. Их можно отождествить с координатами трёх коллинеарных векторов плоскости, из которых только один полезен для построения «плоского» базиса. И это полностью согласуется с нашим геометрическим смыслом ранга.

Из вышеприведённого примера следует важное утверждение:

Ранг матрицы по строкам равен рангу матрицы по столбцам . Об этом я уже немного упоминал на уроке об эффективных методах вычисления определителя .

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

Продолжим дрессировать нашего любимого питомца. Добавим в матрицу третьей строкой координаты ещё одного коллинеарного вектора :

Помог ли он нам в построении трёхмерного базиса? Конечно, нет. Все три вектора гуляют туда-сюда по одной дорожке, и ранг матрицы равен единице. Можно взять сколько угодно коллинеарных векторов, скажем, 100, уложить их координаты в матрицу «сто на три» и ранг такого небоскрёба всё равно останется единичным.

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

А чему равен ранг матрицы ? Строки вроде не пропорциональны…, значит, по идее трём. Однако ранг этой матрицы тоже равен двум. Я сложил первые две строки и записал результат внизу, то есть линейно выразил третью строку через первые две. Геометрически строки матрицы соответствуют координатам трёх компланарных векторов , причём среди этой тройки существует пара неколлинеарных товарищей.

Как видите, линейная зависимость в рассмотренной матрице не очевидна, и сегодня мы как раз научимся выводить её «на чистую воду».

Думаю, многие догадываются, что такое ранг матрицы!

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

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

Аналогичные рассуждения можно провести для матриц бОльших размеров (понятно, уже без геометрического смысла).

Определение : ранг матрицы – это максимальное количество линейно независимых строк . Или: ранг матрицы – это максимальное количество линейно независимых столбцов . Да, их количество всегда совпадает.

Из вышесказанного также следует важный практический ориентир: ранг матрицы не превосходит её минимальной размерности . Например, в матрице четыре строки и пять столбцов. Минимальная размерность – четыре, следовательно, ранг данной матрицы заведомо не превзойдёт 4.

Обозначения : в мировой теории и практике не существует общепринятого стандарта для обозначения ранга матрицы, наиболее часто можно встретить: – как говорится, англичанин пишет одно, немец другое. Поэтому давайте по мотивам известного анекдота про американский и русский ад обозначать ранг матрицы родным словом. Например: . А если матрица «безымянная», коих встречается очень много, то можно просто записать .

Как найти ранг матрицы с помощью миноров?

Если бы у бабушки нас в матрице был пятый столбец, то следовало бы вычислить ещё один минор 4-го порядка («синие», «малиновый» + 5-й столбец).

Вывод : максимальный порядок ненулевого минора равен трём, значит, .

Возможно, не все до конца осмыслили данную фразу: минор 4-го порядка равен нулю, но среди миноров 3-го порядка нашёлся ненулевой – поэтому максимальный порядок ненулевого минора и равен трём.

Возникает вопрос, а почему бы сразу не вычислить определитель? Ну, во-первых, в большинстве заданий матрица не квадратная, а во-вторых, даже если у вас и получится ненулевое значение, то задание с высокой вероятностью забракуют, так как оно обычно подразумевает стандартное решение «снизу вверх». А в рассмотренном примере нулевой определитель 4-го порядка и вовсе позволяет утверждать, что ранг матрицы лишь меньше четырёх.

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

Пример 2

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

Решение и ответ в конце урока.

Когда алгоритм работает быстрее всего? Вернёмся к той же матрице «четыре на четыре» . Очевидно, решение будет самым коротким в случае «хороших» угловых миноров :

И, если , то , в противном случае – .

Размышление совсем не гипотетично – существует немало примеров, где всё дело и ограничивается только угловыми минорами.

Однако в ряде случаев более эффективен и предпочтителен другой способ:

Как найти ранг матрицы с помощью метода Гаусса?

Параграф рассчитан на читателей, которые уже знакомы с методом Гаусса и мало-мальски набили на нём руку.

С технической точки зрения метод не отличается новизной:

1) с помощью элементарных преобразований приводим матрицу к ступенчатому виду;

2) ранг матрицы равен количеству строк.

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

Преобразуем старую знакомую матрицу с координатами трёх коллинеарных векторов:

(1) Ко второй строке прибавили первую строку, умноженную на –2. К третьей строке прибавили первую строку.

(2) Нулевые строки удаляем.

Таким образом, осталась одна строка, следовательно, . Что и говорить, это гораздо быстрее, чем рассчитать девять нулевых миноров 2-го порядка и только потом сделать вывод.

Напоминаю, что в самой по себе алгебраической матрице ничего менять нельзя, и преобразования выполняются только с целью выяснения ранга! Кстати, остановимся ещё раз на вопросе, почему нельзя? Исходная матрица несёт информацию, которая принципиально отлична от информации матрицы и строки . В некоторых математических моделях (без преувеличения) разница в одном числе может быть вопросом жизни и смерти. …Вспомнились школьные учителя математики начальных и средних классов, которые безжалостно срезали оценку на 1-2 балла за малейшую неточность или отклонение от алгоритма. И было жутко обидно, когда вместо, казалось бы, гарантированной «пятёрки» получалось «хорошо» или того хуже. Понимание пришло намного позже – а как иначе доверить человеку спутники, ядерные боеголовки и электростанции? Но вы не беспокойтесь, я не работаю в этих сферах =)

Перейдём к более содержательным заданиям, где помимо прочего познакомимся с важными вычислительными приёмами метода Гаусса :

Пример 3

Найти ранг матрицы с помощью элементарных преобразований

Решение : дана матрица «четыре на пять», значит, её ранг заведомо не больше, чем 4.

В первом столбце, отсутствует 1 или –1, следовательно, необходимы дополнительные действия, направленные на получение хотя бы одной единицы. За всё время существования сайта мне неоднократно задавали вопрос: «Можно ли в ходе элементарных преобразований переставлять столбцы?». Вот здесь – переставили первый-второй столбец, и всё отлично! В большинстве задач, где используется метод Гаусса , столбцы действительно переставлять можно. НО НЕ НУЖНО. И дело даже не в возможной путанице с переменными, дело в том, что в классическом курсе обучения высшей математике данное действие традиционно не рассматривается, поэтому на такой реверанс посмотрят ОЧЕНЬ криво (а то и заставят всё переделывать).

Второй момент касается чисел. В ходе решения полезно руководствоваться следующим эмпирическим правилом: элементарные преобразования по возможности должны уменьшать числа матрицы . Ведь с единицей-двойкой-тройкой работать значительно легче, чем, например, с 23, 45 и 97. И первое действие направлено не только на получение единицы в первом столбце, но и на ликвидацию чисел 7 и 11.

Сначала полное решение, потом комментарии:

(1) Ко второй строке прибавили первую строку, умноженную на –2. К третьей строке прибавили первую строку, умноженную на –3. И до кучи: к 4-й строке прибавили 1-ю строку, умноженную на –1.

(2) Последние три строки пропорциональны. Удалили 3-ю и 4-ю строки, вторую строку переместили на первое место.

(3) Ко второй строке прибавили первую строку, умноженную на –3.

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

Ответ :

Теперь ваша очередь мучить матрицу «четыре на четыре»:

Пример 4

Найти ранг матрицы методом Гаусса

Напоминаю, что метод Гаусса не предполагает однозначной жёсткости, и ваше решение, скорее всего, будет отличаться от моего решения. Краткий образец оформления задачи в конце урока.

Какой метод использовать для нахождения ранга матрицы?

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

Пример 5

Найти ранг матрицы

Решение : первый способ как-то сразу отпадает =)

Чуть выше я советовал не трогать столбцы матрицы, но когда есть нулевой столбец, либо пропорциональные/совпадающие столбцы, то всё же стОит провести ампутацию:

(1) Пятый столбец нулевой, удалим его из матрицы. Таким образом, ранг матрицы не больше четырёх. Первую строку умножили на –1. Это ещё одна фирменная фишка метода Гаусса, превращающая следующее действие в приятную прогулку:

(2) Ко всем строкам, начиная со второй, прибавили первую строку.

(3) Первую строку умножили на –1, третью строку разделили на 2, четвёртую строку разделили на 3. К пятой строке прибавили вторую строку, умноженную на –1.

(4) К пятой строке прибавили третью строку, умноженную на –2.

(5) Последние две строки пропорциональны, пятую удаляем.

В результате получено 4 строки.

Ответ :

Стандартная пятиэтажка для самостоятельного исследования:

Пример 6

Найти ранг матрицы

Краткое решение и ответ в конце урока.

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

Как исследовать систему линейных уравнений на совместность?

Нередко помимо решения системы линейных уравнений по условию предварительно требуется исследовать её на совместность, то есть доказать, что какое-либо решение вообще существует. Ключевую роль в такой проверке играет теорема Кронекера-Капелли , которую я сформулирую в необходимом виде:

Если ранг матрицы системы равен рангу расширенной матрицы системы , то система совместна, причём, если данное число совпадает с количеством неизвестных, то решение единственно.

Таким образом, для исследования системы на совместность нужно проверить равенство , где – матрица системы (вспоминаем терминологию из урока Метод Гаусса ), а – расширенная матрица системы (т.е. матрица с коэффициентами при переменных + столбец свободных членов).

Пусть 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.

Записывая последнее равенство для s=1,2,\ldots,m , получаем

\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), получаем доказываемое неравенство.