LibreTimes

July 24, 2026 · Theory · LibreTimes

Ранг матрицы

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

Read this publication in English

Миноры и ранг

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

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

Например, для матрицы миноры 2-го порядка получаются вычёркиванием одной строки и одного столбца:

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

Замечания

  • (нулевая матрица).
  • тогда и только тогда, когда выполнены два условия:
    • (a) существует минор порядка , отличный от нуля ();
    • (b) все миноры порядка равны нулю (или не существуют).

Ранг ступенчатой матрицы

Теорема. Ранг ступенчатой матрицы равен числу её ненулевых строк (числу «ступенек»).

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

Любой минор большего порядка содержит нулевую строку, поэтому равен нулю. Значит .

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

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

Напомним элементарные преобразования строк: (1) умножение строки на число ; (2) перестановка двух строк; (3) прибавление к одной строке другой, умноженной на число.

Доказательство. Для преобразования 3-го типа; для 1-го и 2-го — из свойств определителя. Пусть получена из прибавлением к -й строке -й, умноженной на , и пусть . Возьмём в произвольный минор порядка выше и покажем, что . Возможны три случая:

  1. не содержит изменённую -ю строку — тогда совпадает с минором матрицы , значит .
  2. содержит и -ю, и -ю строки — по линейности определителя добавка даёт минор с двумя пропорциональными строками, поэтому равен соответствующему минору , то есть .
  3. содержит -ю строку, но не -ю — тогда , где — минор , а — тоже минор (порядка выше ); оба равны нулю, значит .

Итак, . Поскольку преобразование обратимо (можно вернуться из в ), аналогично . Следовательно, .

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

Практическое вычисление ранга

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

Пример. Найдём ранг

Преобразования и :

Две ненулевые строки . (Вторая строка исходной матрицы пропорциональна первой, поэтому «обнулилась».)

Связь с линейной зависимостью и невырожденностью

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

Если же , то строки линейно зависимы и .

0

No comments yet

Be the first to share your thoughts.