- •Глава IV. Матрицы и определители.
- •1. Матрицы и операции над ними
- •Операции над матрицами
- •2. Свойства операций над матрицами.
- •3. Обратимые матрицы. Невырожденные матрицы. Невырожденные элементарные преобразования матриц. Матричные уравнения.
- •Алгоритм вычисления обратной матрицы:
- •Матричные уравнения.
- •4. Перестановки n-й степени. Определители n-го порядка.
- •5. Определители второго и третьего порядков.
- •6. Разложение определителя по ряду. Алгебраическое дополнение и минор к элементу определителя. Связь алгебраических дополнений с минорами.
- •7. Свойства определителей.
- •8. Критерий вырожденности квадратной матрицы.
- •9. Определитель произведения матриц
- •10. Формула для вычисления обратной матрицы
- •11. Формулы Крамера
10. Формула для вычисления обратной матрицы
Теорема
7. Пусть
A=
- матрица n-го
порядка над полем P.
Если определитель
=
0,
то существует А
,
причем А
=
,
где Аij
-
алгебраическое дополнение к элементу
аij
в матрице А, i=
,
j=
.
Доказательство.
Так как
,
то, по теореме 5, А
– невырожденная матрица. Значит, по
теореме 2,
А
– обратимая матрица и A-1
существует.
Пусть
B=
=
.
Покажем, что В=А-1,
т.е. покажем, что АВ=ВА=Еn.
Действительно,
АВ=
=
⋅
=
=
= En,
т.е. АВ=Еn.
Аналогично доказывается, что ВА=Еn . Таким образом, В=А-1. Теорема доказана.
11. Формулы Крамера
Теорема
8. Пусть
(1)
- система n
линейных уравнений с n
неизвестными над полем P,
А=
- основная матрица системы (1),
=
.
Если
,
то система (1)
имеет единственное решение:
,
,
…,
,
где
- определитель, полученный из
заменой i-го
столбца на столбец свободных членов,
i=
,
т.е.
=
,
=
.
, … ,
=
.
Доказательство.
Пусть Х=
,
В=
.
Тогда система (1) равносильна матричному
уравнению АХ=В
(2). Действительно,
.
Следовательно, чтобы решить систему (1), достаточно решить уравнение (2).
Так
как
0,
то по теореме 5 матрица А
невырождена и, по теореме 2, А
– обратимая матрица
существует А-1
уравнение (2) имеет единственное решение
X=A-1B
=
Теорема доказана.
Замечание. Если =0, то возможны 2 случая:
Если =0, i= , то система (1) имеет бесконечное число решений
Если найдется
,
то система (1) не имеет решений.
