Матричная форма системы уравнений
Сведем коэффициенты при неизвестных в системе уравнений (15.1) в матрицу
Эта матрица состоит из m строк и п столбцов и называется матрицей системы. Введем в рассмотрение две матрицы-столбца: матрицу неизвестных Х и матрицу свободных членов В:
Х и В представляют собой векторы-столбцы, однако в целях единого подхода в рамках матричной алгебры удобнее трактовать их именно как матрицы, состоящие соответственно из п и m строк и одного столбца.
Тогда систему линейных уравнений (15.1) можно записать в матричной форме, поскольку размер матрицы А равен т х n, а размер Х — n х 1 и, значит, произведение этих матриц имеет смысл:
Произведение матриц АХ является, как и В, матрицей-столбцом размером т х 1, состоящей из левых частей уравнений системы (15.1). Все уравнения этой системы вытекают из уравнения (15.3) в силу определения равенства двух матриц (п. 13.1).
Введем в рассмотрение еще одну матрицу; дополним матрицу системы А столбцом свободных членов и получим новую матрицу размером т х (n + 1):
Матрица АВ называется расширенной матрицей системы. Эта матрица играет важную роль в вопросе о разрешимости системы уравнений.
ТЕОРЕМА 1 (Кронекера-Капелли, критерий совместности системы). Система линейных уравнений совместна тогда и только тогда, когда ранг матрицы системы равен рангу расширенной матрицы системы.
Доказательство этой теоремы мы не приводим.