July 24, 2026 · Theory · LibreTimes
Ранг матрицы
Read this publication in English
Миноры и ранг
Рассмотрим матрицу . Выберем в ней произвольные строк и столбцов (). Элементы, стоящие на пересечении, образуют квадратную матрицу порядка .
Определение. Минором -го порядка матрицы называется определитель, составленный из элементов, стоящих на пересечении выбранных строк и столбцов.
Например, для матрицы миноры 2-го порядка получаются вычёркиванием одной строки и одного столбца:
Определение. Рангом матрицы называется наибольший порядок её минора, отличного от нуля. Обозначения: , , .
Замечания
- (нулевая матрица).
- тогда и только тогда, когда выполнены два условия:
- (a) существует минор порядка , отличный от нуля ();
- (b) все миноры порядка равны нулю (или не существуют).
Ранг ступенчатой матрицы
Теорема. Ранг ступенчатой матрицы равен числу её ненулевых строк (числу «ступенек»).
Доказательство. Пусть в ступенчатой матрице ненулевых строк с ведущими элементами . Минор, составленный из этих строк и столбцов , треугольный, и его определитель
Любой минор большего порядка содержит нулевую строку, поэтому равен нулю. Значит .
Инвариантность ранга при элементарных преобразованиях
Теорема. При элементарных преобразованиях строк (и столбцов) ранг матрицы не меняется.
Напомним элементарные преобразования строк: (1) умножение строки на число ; (2) перестановка двух строк; (3) прибавление к одной строке другой, умноженной на число.
Доказательство. Для преобразования 3-го типа; для 1-го и 2-го — из свойств определителя. Пусть получена из прибавлением к -й строке -й, умноженной на , и пусть . Возьмём в произвольный минор порядка выше и покажем, что . Возможны три случая:
- не содержит изменённую -ю строку — тогда совпадает с минором матрицы , значит .
- содержит и -ю, и -ю строки — по линейности определителя добавка даёт минор с двумя пропорциональными строками, поэтому равен соответствующему минору , то есть .
- содержит -ю строку, но не -ю — тогда , где — минор , а — тоже минор (порядка выше ); оба равны нулю, значит .
Итак, . Поскольку преобразование обратимо (можно вернуться из в ), аналогично . Следовательно, .
Замечание. То же верно и для преобразований столбцов: ранг сохраняется при элементарных преобразованиях как строк, так и столбцов.
Практическое вычисление ранга
Две предыдущие теоремы дают удобный способ: привести матрицу элементарными преобразованиями к ступенчатому виду и сосчитать число ненулевых строк.
Пример. Найдём ранг
Преобразования и :
Две ненулевые строки . (Вторая строка исходной матрицы пропорциональна первой, поэтому «обнулилась».)
Связь с линейной зависимостью и невырожденностью
Ранг равен максимальному числу линейно независимых строк (а также столбцов) матрицы — см. Линейная зависимость и независимость строк. В частности, для квадратной матрицы порядка :
Если же , то строки линейно зависимы и .
No comments yet
Be the first to share your thoughts.