Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
Кронекера – Капелли)
Матричная форма записи системы линейных уравнений. Определения
Рассмотрим систему m линейных уравнений с n неизвестными
a11x1 a12 x2 a1n xn b1 ,
a x a x a x b ,
21 1 22 2 2n n 2
(1)
am1 x1 an 2 x2 amn xn bm .
Будем считать, что коэффициенты aik (i 1,..., m; k 1,..., n) в уравнениях заданы. Они
определяют матрицу A , которая называется матрицей системы уравнений:
a11 a1n
A aik .
(2)
a a
m1 mn
Эта матрица (это столбец или вектор, размерность равна m 1 ) представляет собой
набор левых частей системы (1). В соответствии с (1) мы можем записать матричное
равенство
AX b . (1')
Наша задача – найти неизвестные x1 , x2 ,...,xn или, что то же самое, найти столбец X
неизвестных – решение системы: при подстановке в систему дает верные равенства.
Требуется найти все возможные решения.
a11a1n b1
A*
a a b . (4)
m1 mn m
Такая матрица несет в себе всю информацию об исходной системе. Между матрицей
A * и системой (1) устанавливается взаимно однозначное соответствие: по системе (1)
однозначно выписывается матрица A * и наоборот. С матрицей A * удобно работать
при поиске решений системы уравнений (1).
Итак, если rang A = r < n , то систему решают так. При вычислении ранга r был
обнаружен некоторый минор M r порядка r , порожденный матрицами A и A* , и
отличный от нуля. Назовем его базисным минором. Элементы этого минора
находятся на пересечениях r строк и r столбцов матрицы A . Номера строк
определяют те уравнения, которые являются независимыми. Номера столбцов
определяют так называемые базисные неизвестные. Остальные n r неизвестных
являются свободными, т. е. могут принимать произвольные значения C1 , C2 , Cnr .
Эти свободные переменные переносятся в правые части независимых уравнений, в
результате чего получаем укороченную систему r независимых уравнений с r
M r отличен от нуля и система
базисными неизвестными. Определитель этой системы
разрешается с помощью формул Крамера. Оставшиеся m r уравнений при этом
удовлетворяются автоматически. Система имеет бесконечное число решений; при
этом свободных неизвестных всего n r штук и они принимают произвольные
значения. Базисные переменные оказываются выраженными через свободные.
Решение системы уравнений, содержащее n r свободных переменных
(произвольных констант) называется общим решением системы. Оно содержит все
возможные решения системы, образуя при этом n r - мерное многообразие.
2 1 1 3 2 1 1 3 2
4 0 1 7 4 0 1 7 3
A A*
0 2 3 1
, 0 2 3 1 1 .
2 3 4 2 3
2 3 4 2
3 1 7
C1 C2
4 4 4
1 3 1
X ( C1 , C2 ) C1 C 2 .
2 2 2 (*)
C1
C2
Предлагается самостоятельно (подстановкой в уравнение системы) убедиться, что
найденное решение удовлетворяет уравнениям системы при произвольных значениях
C1 и C2 .
Замечание. При решении систем уравнений имеется некоторый произвол в
выборе базисного минора, а также свободных и базисных переменных. Так,
например, при решении системы уравнений из Примера 1 в качестве базисного
можно выбрать любой другой минор второго порядка, отличный от нуля и
3 1
порождаемый матрицей A , например, минор M 2 2 , находящийся в
4 2
нижнем правом углу матрицы A . Тогда неизвестные x1 C1 , x2 C2 выбираются в
0 0
3 x3 x4 1 2C20
,
4 x3 2 x4 3 2C1 3C2
0 0
C10
C20
X C10 ,C20 1 C 0 1 C 0 . (**)
2 1
2
2
5 1 0
3C1 C2
0
2 2
Можно убедиться, что полученные общие решения (*) и (**) – две различные формы
общего решения, содержащие все возможные решения системы.
1 0
Например, полагая в (*) С1 0 , С2 0 , а в (**) C1 , C2 2 ,
0
2
1
2
получим одно и то же частное решение: X 2 .
1
0
A1 ( AX ) A1b.
Поскольку A1 ( AX ) ( A1 A ) X EX X , то получим: X A1b.
Это и есть решение системы линейных уравнений. Конечно, для того, чтобы получить
его в явном виде, необходимо найти матрицу A-1 и умножить ее на столбец
свободных членов b.
x1 2 x2 4 x3 1,
Пример. Решить систему уравнений: x1 3 x2 9 x3 1,
x 4 x 16 x 1.
1 2 3
1 2 4 1 2 4
1 5
det A 1 3 9 0 1 5 2 0.
2 12
1 4 16 0 2 12
6 8 3 6 8 3
1 1
7 5
A1
7 5
6 ; X A1b 6 1 0 .
откуда 2 2
2 2 1 0
1 1 1 1
1 1
2 2 2 2
Проверка:
1 2 4 1 1
AX 1 3 9 0 1 b.
1 4 16 0 1