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

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

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

Опубликовано: 12 мая 2026 г.Обновлено: 12 мая 2026 г.

Формула

\operatorname{rref}(A)

Столбцы ведущих единиц Ведущий столбец как столбец единичной матрицы

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

RREF позволяет читать ведущие и свободные переменные без обратной подстановки.

Обозначения

$rref(A)$: приведенный ступенчатый вид матрицы A, форма матрицы
$1$: ведущий элемент каждой ненулевой строки после нормировки, число
$0$: элементы над и под ведущими единицами, число
$pivot$: ведущая позиция строки, позиция

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

Матрица должна быть приведена к ступенчатому виду.
Каждый ведущий элемент ненулевой строки должен быть нормирован до 1.
В каждом ведущем столбце все элементы выше и ниже ведущей единицы должны быть равны 0.

Ограничения

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

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

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

Для систем линейных уравнений это означает, что ведущие переменные уже выражены через свободные переменные или сразу найдены. Если система имеет единственное решение, расширенная матрица в приведенном виде обычно выглядит как [I|x], где слева единичная матрица, а справа столбец ответа. Если свободные переменные есть, RREF показывает их явно: столбцы без ведущих единиц соответствуют параметрам.

Важное теоретическое свойство RREF - единственность. Хотя к ступенчатому виду можно прийти разными путями и получить разные числа в ненулевых строках, приведенный ступенчатый вид для каждой матрицы один. Поэтому он удобен как нормальная форма: по нему можно сравнивать строковые пространства и проверять результаты вычислений.

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

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

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

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

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

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

RREF не следует приписывать одному человеку. Имя Вильгельма Жордана связано с вариантом исключения до приведенного вида, а имя Гаусса - с более широкой традицией исключения. Современное определение RREF является частью стандартного языка линейной алгебры.

Карл Фридрих Гаусс 1777-1855

Пример

Пусть после прямого хода получена расширенная матрица [[1, 2 | 5], [0, 1 | 1]]. Это ступенчатый вид, но не приведенный: над ведущей единицей второго столбца стоит число 2. Чтобы получить RREF, занулим его операцией R1 <- R1 - 2R2. Первая строка станет [1, 0 | 3], вторая останется [0, 1 | 1]. Теперь ведущие элементы равны 1, а в ведущих столбцах все остальные элементы равны 0. Из приведенной формы решение читается сразу: x = 3, y = 1. Дополнительная обратная подстановка уже не нужна, потому что каждая ведущая переменная изолирована в своей строке.

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

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

Практика

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

Довести до RREF

Условие. Матрица [[1, 3 | 8], [0, 1 | 2]] находится в ступенчатом виде. Получите приведенный ступенчатый вид.

Решение. Нужно занулить число 3 над ведущей единицей второго столбца. Выполняем R1 <- R1 - 3R2: [1, 3 | 8] - [0, 3 | 6] = [1, 0 | 2]. Вторая строка остается [0, 1 | 2].

Ответ. [[1, 0 | 2], [0, 1 | 2]]

Определить свободную переменную

Условие. RREF расширенной матрицы равен [[1, 0, 2 | 5], [0, 1, -1 | 3]]. Какая переменная свободная при порядке x, y, z?

Решение. Ведущие единицы стоят в первом и втором столбцах, значит x и y ведущие. Третий столбец не имеет ведущей единицы, значит z свободная переменная.

Ответ. z свободная

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

Jim Hefferon, Linear Algebra, reduced echelon form in Chapter One
MIT OpenCourseWare 18.06SC Linear Algebra, elimination and rank
Althoen and McLaughlin, Gauss-Jordan Reduction: A Brief History, American Mathematical Monthly, 1987

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

Математика

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

$p_1<p_2<\dots<p_r,\quad a_{ij}=0\ \text{ниже ведущих элементов}$

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

Математика

Метод Гаусса-Жордана

$\left[A\mid b\right]\sim\left[I\mid x\right]$

Метод Гаусса-Жордана продолжает метод Гаусса до приведенного ступенчатого вида. Если система имеет единственное решение, расширенная матрица превращается в [I|x], и ответ читается сразу.

Математика

Элементарные преобразования строк

$R_i\leftrightarrow R_j,\quad R_i\leftarrow cR_i\ (c\ne0),\quad R_i\leftarrow R_i+cR_j$

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