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

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

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

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

Формула

$$R_i\leftrightarrow R_j,\quad R_i\leftarrow cR_i\ (c\ne0),\quad R_i\leftarrow R_i+cR_j$$
Схема операций Три разрешенных действия со строками

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

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

Обозначения

$R_i$
i-я строка матрицы или расширенной матрицы, строка
$R_j$
другая строка, используемая в преобразовании, строка
$c$
числовой множитель, безразмерно
$c != 0$
условие для умножения строки, чтобы операция была обратимой, условие

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

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

Ограничения

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

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

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

Именно обратимость делает эти операции безопасными. Метод Гаусса состоит в том, чтобы применять их так, чтобы под ведущими элементами появлялись нули. Нули не являются целью сами по себе: они позволяют отделить неизвестные друг от друга. Когда матрица приведена к ступенчатому виду, последние уравнения становятся проще, и решение можно найти обратной подстановкой.

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

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

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

  1. Определите, какую переменную нужно исключить или какой ведущий элемент сделать удобным.
  2. При необходимости поменяйте строки местами, чтобы ведущий элемент был ненулевым.
  3. Используйте операцию R_i <- R_i + cR_j для зануления нужного коэффициента.
  4. Если нужно, умножьте строку на ненулевое число для упрощения коэффициентов.
  5. После каждого шага проверяйте, что операция применена ко всем элементам строки.

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

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

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

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

Пример

Пусть расширенная матрица системы равна [[1, 2 | 5], [3, 4 | 11]]. Чтобы исключить x из второй строки, выполним R2 <- R2 - 3R1. Новая вторая строка получается так: [3, 4 | 11] - 3[1, 2 | 5] = [3 - 3, 4 - 6 | 11 - 15] = [0, -2 | -4]. Матрица становится [[1, 2 | 5], [0, -2 | -4]]. Решения не изменились, потому что второе уравнение заменено разностью второго уравнения и трех первых. Теперь из второй строки видно y = 2, а из первой строки x + 2y = 5, значит x = 1. Преобразование строк не угадало ответ, а просто сделало систему удобнее.

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

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

Практика

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

Занулить элемент под ведущим

Условие. В расширенной матрице [[2, 1 | 5], [6, 7 | 19]] выполните операцию, которая зануляет первый элемент второй строки.

Решение. Во второй строке первый элемент равен 6, в первой строке первый элемент равен 2. Нужно вычесть 3 первых строки: R2 <- R2 - 3R1. Получаем [6, 7 | 19] - [6, 3 | 15] = [0, 4 | 4].

Ответ. R2 <- R2 - 3R1, новая строка [0, 4 | 4]

Проверить допустимость операции

Условие. Можно ли заменить строку R1 на 0R1 при решении системы методом Гаусса?

Решение. Нет. Умножение строки на число является элементарным преобразованием только при ненулевом множителе. При умножении на 0 вся строка исчезает, исходное уравнение теряется, и множество решений может измениться.

Ответ. Нельзя, потому что множитель должен быть ненулевым

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

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

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

Математика

Расширенная матрица системы

$\left[A\mid b\right]$

Расширенная матрица [A|b] объединяет коэффициенты системы и правые части в одну таблицу. Она нужна для метода Гаусса, потому что при преобразовании строк меняются и коэффициенты, и правые части.

Математика

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

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

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

Математика

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

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

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