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

Матричная форма системы линейных уравнений

Матричная форма Ax = b записывает систему линейных уравнений как произведение матрицы коэффициентов на столбец неизвестных. Такая запись позволяет решать систему не как набор отдельных строк, а как единый линейный объект.

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

Формула

$$Ax=b$$
Схема Система как произведение матрицы на столбец

Строки матрицы A отвечают уравнениям, столбцы отвечают неизвестным, а столбец b хранит правые части. Такая схема помогает увидеть систему как один линейный оператор.

Ax = b связывает коэффициенты, неизвестные и правые части в одной компактной записи.

Обозначения

$A$
матрица коэффициентов системы, размер m x n
$x$
столбец неизвестных, размер n x 1
$b$
столбец правых частей, размер m x 1
m, n
число уравнений и число неизвестных, штук

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

  • Все уравнения системы должны быть линейными по неизвестным: переменные входят только в первой степени и не перемножаются друг с другом.
  • Порядок неизвестных в столбце x должен совпадать с порядком столбцов матрицы A.
  • Вектор b должен содержать правые части уравнений в том же порядке, в котором записаны строки матрицы A.

Ограничения

  • Запись Ax = b сама по себе не гарантирует единственность решения: система может иметь одно решение, бесконечно много решений или не иметь решений.
  • Если уравнения нелинейные, например содержат xy, x^2 или sin x, их нельзя напрямую записать в форме Ax = b без линеаризации или замены переменных.
  • При численном решении плохо обусловленные матрицы могут давать сильную чувствительность ответа к округлению коэффициентов.

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

Матричная форма системы строится из простой идеи: каждое линейное уравнение является скалярным произведением строки коэффициентов на столбец неизвестных. Если в системе m уравнений и n неизвестных, то коэффициенты удобно собрать в прямоугольную таблицу A размера m x n. Первая строка A отвечает первому уравнению, вторая строка отвечает второму уравнению и так далее. Столбец x содержит неизвестные в заранее выбранном порядке. Когда матрицу A умножают на x, каждая строка A умножается на этот столбец и дает левую часть соответствующего уравнения.

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

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

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

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

  1. Выберите фиксированный порядок неизвестных.
  2. Выпишите коэффициенты каждого уравнения в строку матрицы A.
  3. Если переменной в уравнении нет, поставьте в соответствующем столбце 0.
  4. Соберите неизвестные в столбец x в выбранном порядке.
  5. Соберите правые части в столбец b и запишите систему как Ax = b.

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

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

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

У формы Ax = b нет одного автора. Это результат развития табличных методов решения систем, символической алгебры и матричной записи XIX века. Вклад Кэли и Сильвестра важен для языка матриц, но сама задача решения линейных систем старше современной матричной нотации.

Пример

Пусть дана система 2x + y = 5 и x - 3y = -4. Выбираем порядок неизвестных: сначала x, затем y. Тогда коэффициенты первой строки равны 2 и 1, коэффициенты второй строки равны 1 и -3. Матрица коэффициентов A = [[2, 1], [1, -3]], столбец неизвестных x = [x, y]^T, столбец правых частей b = [5, -4]^T. В матричной форме система записывается как [[2, 1], [1, -3]][x, y]^T = [5, -4]^T. Если перемножить матрицу на столбец, получится тот же набор уравнений: первая строка дает 2x + y = 5, вторая строка дает x - 3y = -4. Поэтому запись Ax = b не меняет смысл задачи, а только делает ее компактной и удобной для дальнейших преобразований.

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

Частая ошибка - перепутать порядок неизвестных. Если в x записано [y, x]^T, а столбцы A выписаны для порядка x, y, система станет другой. Вторая ошибка - забыть нулевые коэффициенты: если переменной нет в уравнении, в матрице должен стоять 0. Третья ошибка - включить правую часть в матрицу A, хотя для обычной формы Ax = b правые части хранятся отдельно в b. Еще одна ошибка - считать, что наличие квадратной матрицы автоматически означает единственное решение; это верно только при ненулевом определителе или полном ранге.

Практика

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

Записать систему в матричной форме

Условие. Запишите систему x + 2y - z = 3, 3x - y + 4z = 10 в форме Ax = b.

Решение. Выбираем порядок неизвестных x, y, z. Первая строка коэффициентов: 1, 2, -1. Вторая строка: 3, -1, 4. Поэтому A = [[1, 2, -1], [3, -1, 4]], x = [x, y, z]^T, b = [3, 10]^T.

Ответ. A = [[1, 2, -1], [3, -1, 4]], x = [x, y, z]^T, b = [3, 10]^T

Восстановить систему по Ax = b

Условие. Дано A = [[2, 0, 5], [-1, 3, 4]], x = [u, v, w]^T, b = [7, 2]^T. Запишите систему уравнений.

Решение. Первая строка матрицы дает 2u + 0v + 5w = 7, то есть 2u + 5w = 7. Вторая строка дает -u + 3v + 4w = 2.

Ответ. 2u + 5w = 7; -u + 3v + 4w = 2

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

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

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

Математика

Матричное произведение

$(AB)_{ij}=\sum_{k=1}^{m}a_{ik}b_{kj}$

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

Математика

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

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

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

Математика

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

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

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