Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Algebra

.pdf
Скачиваний:
4
Добавлен:
13.02.2015
Размер:
1.56 Mб
Скачать

ZB H ,

(1.26)

где A, B, F , G, H – известные матрицы, а X , Y , Z

– неизвестные матрицы

соответствующих размеров. В общем случае уравнения (1.24)-(1.26)

эквивалентны некоторым системам линейных алгебраических уравнений (СЛАУ), но в том частном случае, когда матрицы A и B обратимы, теория этих

~

уравнений проста. Прежде чем изложить еѐ отметим, что числовая матрица X

является решением уравнения (1.24), если при подстановке еѐ в это уравнение вместо матрицы X мы получаем верное матричное равенство (и аналогично для уравнений (1.25) и (1.26)).

Предложение 1.8. Пусть матрицы A и B обратимы, тогда уравнения (1.24)-(1.26) разрешимы при любых правых частях F , G , H соответственно, а

их единственные решения определяются по формулам

X A 1FB 1 ,

(1.24' )

Y A 1G ,

(1.25' )

Z HB 1 ,

(1.26' )

◄ Так как уравнения (1.25) и (1.26) являются частными случаями

уравнения (1.24) ( B E в первом случае и

A E во втором случае),

доказательство проведѐм лишь для уравнения (1.24). (Рассуждения в случае уравнений (1.25) и (1.26) предлагаем читателю провести самостоятельно.)

Пусть A GMm (R) , B GMn (R) , тогда по необходимости матрицы X и F

имеют размер (m n) . Так как A 1 M m (R) , B 1 M n (R) , то для любой матрицы F из M m n (R) существует матрица X вида (1.24' ). Подставляя еѐ в уравнение

(1.24), получаем

A (A 1FB 1 )B (AA 1 )F(B 1B) E(m)FE(n) F ,

т.е. матрица вида (1.24' ) является решением уравнения (1.24). Тем самым

показано, что решение уравнения (1.24) существует.

 

~

 

 

Осталось показать его единственность. В самом деле, пусть

некоторое

 

X

решение уравнения (1.24), тогда справедливо матричное равенство

 

 

 

 

 

~

 

 

 

 

 

 

AXB F .

 

 

 

 

Умножая обе части слева на матрицу A 1 , а справа на матрицу

B 1 , получаем,

что

 

~

 

 

 

 

 

A 1

 

 

 

 

 

( AXB)B 1 A 1FB 1

 

 

 

или

~

~

~

 

 

 

 

 

 

 

~

(A 1 A) X (BB 1 ) E(m)XE(n)

X A 1FB 1.

 

 

 

имеет вид (1.24' ). ►

 

 

 

 

 

т.е. X

 

 

 

 

 

Два матричных уравнения будем называть равносильными, если они имеют одинаковые решения. В частности, если у одного из равносильных уравнений решений нет, то их нет и у второго уравнения. В последнем случае мы

31

предполагаем, что неизвестные матрицы, входящие в оба уравнения, имеют одинаковые размеры.

Предложение 1.9.

Пусть A M m n (R) и

C GMm (R) . Тогда уравнения

 

 

 

 

 

AX F ,

 

 

(1.27)

 

 

 

 

 

(CA) X CF

 

 

(1.28)

равносильны для любых матриц F из M m n (R) .

 

 

 

◄ Действительно,

~

решение уравнения (1.27),

тогда

~

если X

AX F .

Умножая обе части этого равенства слева на матрицу C , получаем, что.

 

 

 

 

 

 

~

 

 

~

 

 

~

 

 

 

 

C( AX ) CF или (CA) X CF ,

 

 

 

 

 

 

 

 

 

Наоборот, если

ˆ

решение

т.е. X является решением уравнения (1.28).

X

уравнения (1.28), тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

 

 

 

 

 

 

 

 

(CA) X CF .

 

 

 

Но матрица

C обратима. Умножая обе части последнего равенства слева на

матрицу C 1 , получаем, что

 

 

 

 

 

C

1

(CA) C

1

(CF) (C

1

ˆ

ˆ

ˆ

 

 

 

C) AX EF

EAX F AX F ,

 

ˆ

т.е. X – решение уравнения (1.27). Если же у одного из уравнений (1.27) или (1.28) решений нет, тогда их нет и у второго уравнения, так как в противном случае, повторяя проведѐнные выше рассуждения, приходим к противоречию. ►

32

Гл. 2. Системы линейных алгебраических уравнений

Матричное исчисление, построенное в лекциях I-V, позволяет провести первичное исследование систем линейных алгебраических уравнений (СЛАУ), опирающееся на метод, носящий имя великого немецкого математика Карла Гаусса (1777-1855).

Поскольку СЛАУ можно трактовать как матричное уравнение специального вида, обоснование метода Гаусса даѐтся на языке элементарных матриц и матричных уравнений. В свою очередь, метод Гаусса позволяет построить удобный алгоритм решения ряда матричных уравнений, в частности, алгоритм вычисления обратной матрицы.

Лекция VI.

План

2.1Классификация СЛАУ

2.2Метод Гаусса решения СЛАУ

2.1Классификация СЛАУ

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

Общий вид системы m линейных уравнений с n неизвестными даѐтся формулами

11 1 12 2 1n n 1

 

 

 

 

 

22 2 2n n

2

 

 

21 1

 

(2.1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m2

2

m

 

 

m1 1

 

 

 

 

m n n

 

 

 

В этих формулах 1, , n называются неизвестными,

ij

– коэффициентами

при неизвестных, i – свободными

 

членами

(или

правыми частями).

Коэффициенты ij порождают матрицу

 

 

 

 

 

 

 

 

 

33

 

 

11

 

12

 

 

 

 

 

 

 

 

 

1n

 

 

 

21

22

2n

,

(2.2)

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m2

 

 

 

 

 

m1

m n

 

 

которая называется матрицей

 

(или

 

основной

 

 

матрицей) СЛАУ (2.1),

 

 

 

 

 

 

 

A M m n (R) . Неизвестные j , j 1, n , порождают столбец неизвестных

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

2

 

 

 

 

 

 

 

 

(2.3)

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а правые части j , j 1, m столбец правых частей

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

b R

m

.

 

(2.4)

 

 

 

 

 

 

b

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

Матрица

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

11

 

 

 

12

 

 

 

1n

 

 

 

1

 

 

A | b

 

21

 

22

 

2n

2

 

(2.5)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m2

 

m n

 

 

 

 

 

 

 

 

 

m1

 

 

m

 

называется расширенной матрицей СЛАУ (2.1).

Арифметический вектор

1

a 2n

, a R n .

называется решением СЛАУ (2.1), если при подстановке чисел 1, 2 , , n в уравнения (2.1) соответственно вместо 1, 2 , , n мы получаем систему

верных числовых равенств.

СЛАУ называется совместной, если она имеет хотябы одно решение, и несовместной, если она не имеет ни одного решения. Если СЛАУ имеет

34

только одно решение, она называется определѐнной, а если число решений больше 1 – неопределѐнной.

Врезультате мы получаем следующую классификацию СЛАУ. Пусть M

множество решений СЛАУ, а M – мощность (число элементов) множества

M . Тогда

 

 

СЛАУ

 

 

 

 

 

 

 

 

 

 

 

СОВМЕСТНЫЕ

 

 

 

НЕСОВМЕСТНЫЕ

СЛАУ

 

 

 

СЛАУ

M

 

 

 

M

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ОПРЕДЕЛЁННЫЕ

 

 

НЕОПРЕДЕЛЁННЫЕ

 

 

СЛАУ

 

 

 

 

СЛАУ

 

 

 

 

 

M

 

1

 

 

 

 

M

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если все правые части СЛАУ

равны нулю, j 0,

j 1, m , она

называется однородной, в противном случае СЛАУ называется неоднородной. Однородная СЛАУ всегда совместна, т.к. имеет нулевое решение

 

0

 

 

 

 

 

 

 

a Rn .

a

 

,

 

0

 

 

 

 

 

 

 

Множество всех решений СЛАУ будем называть еѐ общим решением, а одно фиксированное решение – частным решением. СЛАУ вида (2.1) иногда

удобно представлять в виде матричного уравнения

 

Ax b .

(2.6)

где A – матрица вида (2.2), x – вектор-столбец вида (2.3), а b

– вектор-

столбец вида (2.4). Для того чтобы убедиться, что уравнения (2.6) и СЛАУ (2.1) равносильны (т.е. одновременно неразрешимы или разрешимы, причѐм в последнем случае их решения совпадают), достаточно в левой части равенства (2.6) провести умножение матрицы A на вектор-столбец x . Применив после этого принцип равенства матриц, получаем, что матричное равенство (2.6) эквивалентно системе равенств (2.1).

2.2 Метод Гаусса решения СЛАУ

Метод последовательного исключения неизвестных часто применяется при решении всевозможных систем уравнений, в частности, тех, которые встречаются в школьном курсе математики. Если выразить, например, 1 из

35

первого уравнения системы (2.1) и подставить это выражение в остальные уравнения, потом выразить 2 из второго “нового” уравнения, подставив это

выражение в остальные “новые” уравнения и т.д., то через конечное число шагов мы получим уравнение, содержащее только n . Найдя решение этого

уравнения, путѐм обратной подстановки его в предыдущие “новые” уравнения можно найти значения всех неизвестных n 1, n 2 , , 2 , 1 . Такова идеальная

схема которая молчаливо опирается на целый ряд допущений (например, на то, что m n , иначе для отыскания n не хватит уравнений).

Метод Гаусса в современном изложении представляет собой, во-первых, такую модификацию метода исключения неизвестных, которая позволяет исследовать любые системы вида (2.1). А, во-вторых, алгоритм Гаусса, используя аппарат алгебры матриц, даѐт такую формализацию метода исключений, которая позволяет существенно сократить объѐм выкладок, резко возрастающий вместе с ростом числа уравнений m и числа неизвестных n .

Прежде чем приступить к изложению метода Гаусса в общем случае, продемонстрируем его на простом примере.

Пример 1. Рассмотрим систему уравнений

1 3

2

4

.

 

 

 

 

2 1

 

4 1 5

 

 

Вычитая из второго уравнения 4 первых, получаем систему

 

3

 

 

4

 

 

1

 

2

 

 

 

.

 

17 2

 

17

 

Разделив обе части второго уравнения на (-17), приходим к системе

 

1

3

2

4

.

 

 

 

 

 

2

1

 

Наконец, вычитая из первого уравнения 3 вторых, получаем систему уравнений

 

1

 

1

,

 

2

1

 

 

 

которая определяет единственное решение исходной системы

1 x .

1

36

Теперь повторим проделанные преобразования на расширенной матрице исходной СЛАУ, заменяя каждое преобразование соответствующим строчным элементарным преобразованием:

 

3

 

4

 

C2

4C1

 

3

 

4

 

C2

( 17)

 

3

 

4

 

C1

3C2

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

~

 

 

 

 

 

 

 

~

 

 

 

 

 

 

~

 

 

.

 

4

5

 

1

 

 

 

0

17

 

17

 

 

 

 

0

 

 

1

 

 

 

0

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заметим, что итогом проведѐнных преобразований явилось поученное из основной матрицы системы матрицы приведѐнного вида, которая в данном случае совпала с единичной матрицей E(2) . Кроме того, в данном случае правые части последней системы уравнений образуют единственное решение исходной системы.

Перейдѐм к изложению метода Гаусса в общем случае.

Элементарными преобразованиями СЛАУ называются: перемена местами двух еѐ уравнений, умножение обеих частей какого-либо уравнения СЛАУ на число, отличное от нуля, добавление к левой и правой частям какого-либо уравнения соответственно левой и правой частей другого уравнения, умноженных на произвольное число.

Метод Гаусса решения СЛАУ состоит в последовательном выделении в каждом уравнении неизвестного, которое после этого элементарными преобразованиями СЛАУ исключается из всех еѐ остальных уравнений.

Поскольку каждой СЛАУ вида (2.1) можно поставить в соответствие еѐ расширенную матрицу (2.5) и это соответствие взаимооднозначно, т.е. каждая матрица вида (2.5) является расширенной матрицей некоторой СЛАУ, вместо элементарных преобразований СЛАУ удобно проводить строчные элементарные преобразования еѐ расширенной матрицы. Нетрудно заметить, что после выделения в одном уравнении некоторого неизвестного (это неизвестное называется ведущим в данном уравнении) и последующего его исключения из остальных уравнений СЛАУ, соответствующая строка еѐ основной матрицы будет иметь приведѐнный вид. Поэтому будем говорить, что и уравнение, отвечающее этой строке матрицы, имеет приведѐнный вид. Если же каждое уравнение СЛАУ, содержащее хотя бы один ненулевой коэффициент, имеет приведѐнный вид, будем говорить, что СЛАУ имеет

приведѐнный вид.

Ясно, что в этом случае основная матрица СЛАУ тоже имеет приведѐнный вид.

Алгоритм метода Гаусса распадается на 3 этапа:

1)построение СЛАУ приведѐнного вида, равносильной исходной СЛАУ;

2)анализ СЛАУ приведѐнного вида;

3)описание общего решения.

Следующее предложение является обоснованием применимости метода Гаусса к любой СЛАУ.

37

Предложение 2.1. Для любой СЛАУ вида (2.1) существует равносильная ей СЛАУ приведѐнного вида.

◄ В силу предложения 1.3 найдѐтся конечное число строчных элементарных преобразований, применяя которые к матрице A , мы получим матрицу P приведѐнного вида. По свойству 5) элементарных преобразований

существует такая матрица C, C GMn (R) ,

что P CA . Заметим, что матрица

C является произведением элементарных

матриц, отвечающих указанным

выше элементарным преобразованиям. Применив те же самые элементарные преобразования к расширенной матрице A b системы уравнений (2.1),

получаем матрицу системы уравнений приведѐнного вида

C A b CA Cb P Cb .

Переходя к соответствующим матричным уравнениям Ax b и CAx Cb , замечаем, что в силу предложения 1.9 они равносильны. Следовательно, равносильны и отвечающие им системы уравнений. ►

Лекция VII.

План

2.3Анализ СЛАУ приведѐнного вида и описание общего решения

2.4Однородные СЛАУ

2.5Решение матричных уравнений методом Гаусса

2.6Отыскание обратной матрицы методом Гаусса

2.3Анализ СЛАУ приведённого вида

Исследование СЛАУ приведѐнного вида распадается на три случая. 1)Система уравнений приведѐнного вида содержит “плохое” уравнение,

т.е. уравнение вида

0 1 0 2 0 n c ,

(2.7)

где c 0 . Так как это уравнение не имеет решений, система уравнений приведѐнного вида, а с ней и исходная система уравнений несовместны.

Пример 2. Решить СЛАУ методом Гаусса и найти еѐ общее решение

2 1 2 3 3 4 5 2 1 2 2 3 3 4 1 . 4 1 3 2 4 3 2 4 2

◄ Переходя к матричной записи системы и применяя подходящие строчные элементарные преобразования, получаем систему приведѐнного вида, равносильную исходной системе уравнений:

38

 

2

1 3

 

5

 

 

 

2

1 3

 

5

 

 

 

2

1 3

 

5

 

 

 

 

 

 

 

3

 

C2

3C1

 

 

 

C3

C2

 

 

 

 

2

2 1

 

1

~

5

10

0

 

16

~

5

10

0

 

16 .

 

4

3 4

2

 

2

C3

2C1

 

8

5

10

0

 

12

 

 

 

0

0

0

0

 

4

 

 

 

 

 

 

 

 

 

 

 

 

Мы остановили процесс получения системы приведѐнного вида, так как последняя система (а с ней и исходная система) уравнений несовместна. ►

2) Система уравнений приведѐнного вида не содержит “плохих” уравнений. Все неизвестные в системе уравнений приведѐнного вида делим на две группы: неизвестные, являющиеся ведущими в своих уравнениях, называем связанными, а остальные неизвестные – свободными. (Случай отсутствия свободных неизвестных рассмотрим отдельно). Объявляя свободные неизвестные параметрами c1, c2 , и т.д., принимающими

произвольные действительные значения, выражаем связанные неизвестные через свободные. Полученные в результате этого формулы определяют общее решение СЛАУ. Если свободным неизвестным придать конкретные значения, а после этого вычислить по найденным формулам значения связанных неизвестных, мы получаем некоторое частное решение рассматриваемой системы уравнений.

Таким образом, в данном случае система уравнений приведѐнного вида, а с нею и исходная система уравнений совместны, неопределенны и имеют бесчисленное множество решений.

Пример 3. Следующую систему уравнений решить методом Гаусса, найти еѐ общее и одно частное решения

 

 

 

 

 

 

 

 

 

1 3 2 2 3 4 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 1 2 3 3 4 3 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 2 2 5 3

 

5

 

 

 

 

 

 

 

 

 

 

◄ По аналогии с предыдущим примером

 

 

 

 

 

 

 

 

 

 

1

3 2

 

 

2

 

 

1

3

2

 

 

 

 

0

5

7

 

7

 

 

 

 

 

 

 

 

C2 C1

 

 

 

2 C1

C2

 

 

 

 

2

1 3

 

1

 

3 ~

2

5

0

 

5

~

2

5

0

 

5 .

 

 

 

 

 

 

 

( 1)C1

 

 

 

 

 

 

C3

C2

 

 

 

 

 

 

 

 

 

1

2 5

 

0

 

5

 

 

1

2

5

0

 

5

 

 

0

0

0

0

 

0

 

Полученная система уравнений имеет приведѐнный вид и не имеет “плохих”

уравнений. Еѐ свободными неизвестными являются 2 и

3 , а связанными

неизвестными 1

и 4 . Полагая 2 c1, 3 c2 ,

находим 1

и 4 из уравнений

приведѐнной системы,

 

 

 

 

 

 

 

5c1 7c2 4

7

.

 

 

 

2c1 5c2

 

 

 

 

1

5

 

 

39

Из второго уравнения 1 5 2c1 5c2 ,

 

из первого уравнения 4 7 5c1 7c2 .

Поэтому общее решение рассматриваемой системы уравнений имеет вид

 

 

5 2c

5c

 

 

 

 

 

 

 

 

1

 

 

 

2

 

 

 

 

 

x

 

c1

 

 

 

 

 

 

, c ,c

 

R .

 

 

 

 

 

 

 

 

2

 

c2

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7 5c

 

7c

 

 

 

 

 

 

 

1

 

 

 

2

 

 

 

Полагая c1 и c2 равными, например, 1, получаем частное решение

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

1

.

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Замечание. В случае неопределѐнных СЛАУ выбор свободных и связанных неизвестных осуществляется неоднозначно и зависит от элементарных преобразований, применѐнных в алгоритме Гаусса. В связи с этим и общее решение таких систем уравнений может иметь различную форму.

3) Система уравнений приведѐнного вида не содержит “плохих” уравнений и свободных неизвестных. Поскольку в этом случае все неизвестные связанные, расширенная матрица приведѐнной СЛАУ, возможно, после перемены местами некоторых уравнений принимает вид

 

0

0

0

 

1

 

 

 

 

 

 

0

0

0

 

2

 

 

0

0

0

 

3

 

 

 

 

 

 

 

 

 

 

 

 

.

 

0

0

0

 

n

 

 

0

0

0

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

0

0

 

0

 

 

 

 

Ясно, что данная система уравнений является определѐнной, а е единственное решение имеет вид

40

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]