Ранг матрицы

Число r называется рангом матрицы A ( ), если какой-нибудь её минор r-го порядка отличен от нуля, а все миноры (r +1)-го порядка (если они существуют) равны нулю.

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

Ранг матрицы, состоящий из нулей, считается равным нулю.

Ранг невырожденной квадратной матрицы n-го порядка равен n. В частности, ранг треугольной матрицы равен её порядку.

Ранг матрицы размерности не превышает наименьшего из чисел m и n, так как минор не может содержать строк и столбцов больше, чем сама матрица. Если и найдётся минор порядка m, отличный от нуля, то ранг матрицы равен m. Если и найдётся минор порядка n, отличный от нуля, ранг матрицы равен n.

Например, , , .

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

E … ….. …….. …….. 0 0 k n-k k m m-k n

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

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

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

Доказательство¹. Остановимся на допустимых преобразованиях, связанных со строками (перестановка столбцов рассматривается аналогично перестановке строк). Возьмём какой-нибудь минор преобразуемой матрицы. Если преобразование его не затронуло или в преобразовании участвовали только его строки, то этот минор остаётся таким же, как был, либо равным нулю, либо отличным от нуля. Измениться, в этом смысле, минор может, только если в преобразовании участвовала строка, назовём её действующей, элементы которой в минор не входили. При этом возможны два случая: а) изменяемая строка, была переставлена с действующей; б) к изменяемой строке прибавлена действующая строка, умноженная на число, не равное нулю.

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

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

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

И в том, и в другом случае преобразованная матрица обладает минором r-го порядка, отличным от нуля, так что ранг матрицы не уменьшился.

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

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

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

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

Пример. Чтобы вычислить ранг матрицы , нужно привести её к каноническому или почти каноническому виду. Это было сделано нами на страницах 16 и 17. Были полученные две матрицы: (канонического вида) и (почти канонического вида). В левом верхнем углу каждой из этих матриц расположена невырожденная квадратная матрица третьего порядка. Все миноры четвёртого порядка равны нулю, так как содержат строку, состоящую из нулей. Значит, ранг всех трёх матриц равен трём.

E …….. …….. …….. . . . 0 0 0 k n-k k m m-k n

При помощи понятия «ранг матрицы» можно гораздо короче сформулировать полученные нами ранее условия совместности и несовместности систем линейных уравнений.

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

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

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

Т е о р е м а (Кронекера-Капелли). Для того чтобы система линейных уравнений была совместна, необходимо и достаточно, чтобы ранг матрицы коэффициентов при неизвестных был равен рангу расширенной матрицы.

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

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

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