Математика / Матрицы, определители
Матричная форма системы линейных уравнений
Матричная форма 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: число строк и столбцов, ранг, наличие ведущих элементов, совместность системы и, если матрица квадратная, обратимость. Только после этого можно сделать вывод о решениях.
Как пользоваться формулой
- Выберите фиксированный порядок неизвестных.
- Выпишите коэффициенты каждого уравнения в строку матрицы A.
- Если переменной в уравнении нет, поставьте в соответствующем столбце 0.
- Соберите неизвестные в столбец x в выбранном порядке.
- Соберите правые части в столбец 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
Связанные формулы
Математика
Матричное произведение
Матричное произведение строит элемент новой матрицы как скалярное произведение строки первой матрицы и столбца второй. Порядок множителей важен.
Математика
Расширенная матрица системы
Расширенная матрица [A|b] объединяет коэффициенты системы и правые части в одну таблицу. Она нужна для метода Гаусса, потому что при преобразовании строк меняются и коэффициенты, и правые части.
Математика
Элементарные преобразования строк
Элементарные преобразования строк - это три допустимые операции, которые заменяют систему на эквивалентную: перестановка строк, умножение строки на ненулевое число и прибавление кратной строки.