Математика / Матрицы, определители

Ступенчатый вид матрицы

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

Опубликовано: Обновлено:

Формула

$$p_1<p_2<\dots<p_r,\quad a_{ij}=0\ \text{ниже ведущих элементов}$$
Лестница ведущих элементов Ведущие элементы смещаются вправо

Ступенчатый вид выглядит как лестница: каждая следующая строка начинает свою ненулевую часть правее предыдущей.

По числу ступеней удобно читать ранг матрицы.

Обозначения

$p_i$
номер столбца ведущего элемента в i-й ненулевой строке, номер столбца
$r$
число ненулевых строк в ступенчатом виде, штук
$a_{ij}$
элемент матрицы, число
$REF(A)$
один из ступенчатых видов матрицы A, форма матрицы

Условия применения

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

Ограничения

  • Ступенчатый вид не единственен: разные допустимые преобразования строк могут дать разные коэффициенты, но одинаковый ранг.
  • Ступенчатый вид не требует, чтобы ведущие элементы были равны 1 и чтобы над ними стояли нули; это уже приведенный ступенчатый вид.
  • Для чтения решения из ступенчатого вида обычно нужна обратная подстановка, если форма не приведенная.

Подробное объяснение

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

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

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

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

Как пользоваться формулой

  1. Приведите матрицу или расширенную матрицу прямым ходом метода Гаусса.
  2. Проверьте, что нулевые строки стоят внизу.
  3. Найдите первый ненулевой элемент каждой ненулевой строки.
  4. Убедитесь, что ведущие элементы при движении вниз смещаются вправо.
  5. Используйте число ненулевых строк как ранг или начните обратную подстановку.

Историческая справка

Ступенчатая форма является современным языком для результата исключения неизвестных. В старых вычислительных традициях главным было получить более простую систему, где неизвестные исключены из нижних уравнений. Когда в XIX-XX веках матрицы стали стандартным объектом линейной алгебры, этот результат получил точное определение через ведущие элементы и нули под ними. Ступенчатый вид стал мостом между алгоритмом и теорией: он одновременно помогает вычислять решения и доказывать утверждения о ранге, совместности и размерности пространства решений. В учебниках такая форма закрепилась потому, что она одинаково хорошо работает для квадратных и прямоугольных матриц, для единственного решения и для систем с параметрами.

Историческая линия формулы

Ступенчатый вид как термин и стандартная форма не относится к одному автору. Он возник из формализации метода исключения и учебной матричной алгебры. Исторически он связан с линией методов Гаусса, но является более общим понятием линейной алгебры.

Пример

Матрица [[1, 2, -1 | 4], [0, 3, 5 | 7], [0, 0, 2 | 6]] находится в ступенчатом виде. Ведущий элемент первой строки стоит в первом столбце, второй строки - во втором, третьей строки - в третьем. Под каждым ведущим элементом стоят нули, а ведущие позиции при движении вниз смещаются вправо. Из такой формы удобно решать систему: третья строка дает 2z = 6, значит z = 3; вторая строка дает 3y + 5z = 7; первая строка позволяет найти x. Если бы последняя строка была [0, 0, 0 | 6], это была бы ступенчатая форма, показывающая противоречие и отсутствие решений.

Частая ошибка

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

Практика

Задачи с решением

Проверить форму

Условие. Является ли матрица [[1, 2, 0], [0, 0, 3], [0, 4, 1]] ступенчатой?

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

Ответ. Нет

Найти ранг по ступенчатому виду

Условие. Матрица приведена к виду [[2, 1, 0], [0, 3, 4], [0, 0, 0]]. Найдите ранг.

Решение. В ступенчатом виде две ненулевые строки. Число ненулевых строк равно рангу матрицы.

Ответ. Ранг равен 2

Дополнительные источники

  • Jim Hefferon, Linear Algebra, Chapter One: Linear Systems
  • MIT OpenCourseWare 18.06SC Linear Algebra, rank and elimination
  • OpenStax Precalculus 2e, 9.6 Solving Systems with Gaussian Elimination

Связанные формулы

Математика

Прямой ход метода Гаусса

$R_i\leftarrow R_i-\frac{a_{ik}}{a_{kk}}R_k$

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

Математика

Обратная подстановка в методе Гаусса

$x_i=\frac{b'_i-\sum_{j=i+1}^{n}u_{ij}x_j}{u_{ii}}$

Обратная подстановка находит неизвестные после прямого хода метода Гаусса. Она идет снизу вверх по ступенчатой системе: сначала последняя ведущая переменная, затем предыдущие.

Математика

Приведенный ступенчатый вид матрицы

$\operatorname{rref}(A)$

Приведенный ступенчатый вид, или RREF, усиливает обычный ступенчатый вид: каждый ведущий элемент равен 1, а в его столбце все остальные элементы равны 0.