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

Математика для инженеров(теория)I том

.pdf
Скачиваний:
103
Добавлен:
18.02.2016
Размер:
4.09 Mб
Скачать

æ

1 3

 

 

 

 

1

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

1 0ö æ1 3 1

 

 

 

 

 

 

 

0

 

 

 

 

1

 

0ö

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

3

 

 

 

 

 

÷

ç

 

1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

3

 

 

 

 

 

÷

 

 

 

 

 

 

 

 

 

 

 

~ ç

0 1

 

 

 

 

 

 

 

 

 

-

 

 

 

 

 

 

 

 

0

÷

~ ç0 1

 

 

 

 

 

-

 

 

 

 

 

 

 

0

÷

~

 

 

 

 

 

 

 

 

 

 

 

7

 

 

 

 

 

 

7

 

 

7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

 

 

 

 

 

 

 

 

 

7

 

 

 

 

 

 

 

 

 

 

 

÷

ç

 

 

 

 

 

 

 

7

 

 

7

 

 

 

 

 

÷

 

 

 

 

 

 

 

 

 

 

 

ç

0 -12 -1

 

 

0 -5 1

÷

ç

5

 

 

 

 

 

 

 

12

 

1

 

 

 

 

 

÷

 

 

 

 

 

 

 

 

 

 

 

è

 

 

ø

ç0 0

 

 

 

 

-

 

 

 

 

 

1÷

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

è

7

 

 

 

 

 

 

 

7

 

 

7

 

 

 

 

 

ø

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

æ

1 3 1

 

 

 

 

 

 

0

 

 

1 0 ö æ1 3 1

 

 

 

 

 

0

 

 

 

 

1 0

 

ö

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

1

 

 

 

 

 

 

 

 

 

1 3

 

 

 

 

 

÷

 

 

ç

 

 

 

 

 

 

 

1

 

 

 

 

2

 

 

 

 

 

 

 

1

÷

 

 

 

 

 

 

 

 

 

 

 

 

 

~ ç

0 1

 

 

 

-

 

 

 

 

0

÷

~ ç

0 1 0

 

 

 

 

 

 

 

 

 

 

 

 

-

÷

~

 

 

 

 

 

 

 

 

 

 

7

 

 

 

 

7

 

 

7

 

 

 

 

 

 

 

 

5

 

 

 

 

 

5

 

 

 

5

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

÷

 

 

ç

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

÷

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

0 0 1

 

 

-

12

1

 

 

 

7

÷

 

 

ç

0 0 1

-

12

 

1

 

 

 

 

 

 

7

 

÷

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

÷ ç

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

÷

 

 

 

 

 

 

 

 

 

 

 

 

 

è

 

 

 

 

 

 

 

 

 

 

 

5

 

5

 

 

 

5 ø

 

 

è

 

 

 

 

 

 

 

5

 

 

5

 

 

 

 

 

 

5

 

ø

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

æ

1 0 1

 

-

3

 

 

-

1

 

 

 

3 ö

æ

1 0 0

 

 

 

 

 

 

9

 

 

 

 

 

-

2

 

 

 

-

4

ö

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

÷ ç

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

÷

 

 

 

 

 

 

5

 

 

5

 

 

 

5

 

 

 

 

 

 

 

5

 

 

 

 

 

5

 

 

 

5

 

 

 

 

 

 

ç

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

÷

ç

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

÷

= (E3

 

 

 

) .

ç

 

 

 

 

 

 

 

1

 

 

 

 

2

 

 

 

 

 

1

÷ ç

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

2

 

 

 

 

 

 

 

1

÷

 

A

−1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

~ ç

0 1 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-

 

 

÷ ~ ç

0 1 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-

 

 

 

÷

 

 

 

 

 

 

 

5

 

 

 

 

5

 

 

 

5

 

 

 

 

 

 

5

 

 

 

 

 

5

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

 

 

 

12

 

1

 

 

 

 

 

7

 

÷

ç

 

 

 

 

 

 

 

 

 

 

12

 

 

 

1

 

 

 

 

 

7

 

 

÷

 

 

 

 

 

 

ç

0 0 1

 

-

 

 

 

 

 

 

 

÷

ç

0 0 1

-

 

 

 

 

 

 

 

 

 

 

÷

 

 

 

 

 

 

ç

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

÷ ç

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

÷

 

 

 

 

 

 

è

 

 

 

 

 

 

 

 

5

 

 

5

 

 

 

 

 

5 ø

è

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

5

 

 

 

 

 

5 ø

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

æ

 

 

 

9

 

 

 

 

-

2

 

 

-

 

4

 

ö

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

÷

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

5

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

÷

 

 

 

 

 

 

Получаем обратную матрицу A

−1

 

 

ç

 

 

 

1

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

1

 

÷

.

 

 

 

 

 

 

= ç

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-

 

 

÷

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

5

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

 

 

12

 

 

 

 

1

 

 

 

 

 

 

7

 

 

÷

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

-

 

 

 

 

 

 

 

 

 

 

 

 

÷

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ç

 

5

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

÷

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

è

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5 ø

 

 

 

 

 

§ 5. Ранг матрицы

10. Ранг матрицы и его свойства. Рассмотрим прямоугольную матрицу A вида:

æ a

a

...

a

ö

 

ç 11

12

 

 

1n

÷

 

ç a21

a22

...

a2n ÷

(1)

A = ç

 

 

 

 

÷ .

ç ...

...

...

...

÷

 

ç a

a

...

a

 

÷

 

è m1

m 2

 

 

mn ø

 

Рангом матрицы A назовем наибольший порядок не равного нулю ее минора (ранг нулевой матрицы O считаем равным нулю).

Для ранга матрицы A используют следующие обозначения: r(A), rA, rank A или просто r , когда ясно, о какой матрице идет речь.

53

Из определения ранга матрицы и свойств определителя из §3 вытекают следующие свойства ранга матрицы.

1)

Для матрицы Am×n справедливо 0 ≤ r(A) ≤ min(m,n) , где

min (m,n) – меньшее из чисел m и n .

2)

Равенство r(A) = 0 справедливо тогда и только тогда, когда

Aнулевая матрица O .

3)Для квадратной матрицы A порядка n имеем r(A) = n тогда

итолько тогда, когда A невырожденная матрица.

4)Для любой матрицы A справедливо r(AT ) = r(A) .

5)Ранг матрицы, полученной из исходной вычеркиванием како- го-нибудь ее столбца (или строки), равен рангу исходной матрицы или меньше его на единицу.

6)Ранг матрицы, полученной из данной матрицы в результате приписывания к ней произвольного столбца (или строки), равен рангу исходной матрицы или больше его на единицу.

7)Если к матрице дописать или вычеркнуть нулевой столбец (нулевую строку), ранг полученной матрицы равен рангу исходной.

Из формул Лапласа (3.4) и (3.5) заключаем: если среди миноров

порядка k (k ≤ min (m,n)) матрицы A размера m × n есть не равные нулю, а все миноры (k +1) -го порядка равны нулю, то r(A) = k .

В связи со сказанным выше, ранг матрицы можно найти так. Если все миноры первого порядка, т.е. элементы матрицы A , равны нулю, то r = 0 . В случае, когда есть хотя бы один ненулевой элемент матрицы, рассмотрим миноры второго порядка, включающие в себя этот элемент. Если все они равны нулю, то r =1. При наличии хотя бы

одного ненулевого минора второго порядка рассмотрим миноры третьего порядка и т.д. Этот процесс продолжим до тех пор, пока не станет ясно, что все миноры порядка k +1 равны нулю или уже не существуют. Тогда получаем, что r = k .

Пример 1. Определить ранг матрицы

æ1

2

3

4

ö

ç

2

4

6

8

÷

A = ç

÷ .

ç

5

10

15

20

÷

è

ø

Решение. Все миноры второго порядка данной матрицы равны нулю, т.к. элементы строк этих миноров пропорциональны. Миноры же первого порядка, т.е. элементы матрицы A , отличны от нуля. Значит, r =1.

Отметим, что описанный выше метод нахождения ранга матрицы, особенно в том случае, когда матрица A большого размера, не всегда является рациональным.

54

Упражнение 1. Убедиться, что элементарные преобразования матрицы A не меняют ее ранга.

На практике при нахождении ранга матрицы A , ее с помощью элементарных преобразований переводят в матрицу, ранг которой легко найти. Легко доказать, что каждая ненулевая прямоугольная матрица A вида (1) преобразуется в трапециевидную:

æb

b

...

b

...

b

ö

 

 

ç

11

12

 

1r

 

1 n

÷

 

 

ç

0

b 22

...

b 2 r

...

b 2 n ÷

ç

 

... ... ...

...

...

÷

 

 

ç ...

÷

 

 

B = ç

0

0

...

b r r

...

b r n

÷, bi i ¹ 0, i =

1,r

.

ç

0

0

...

0

...

0

÷

 

 

ç

÷

 

 

ç

 

... ... ...

...

...

÷

 

 

ç ...

÷

 

 

ç

0

0

...

0

...

0

÷

 

 

è

ø

 

 

На основании свойства 7) ранга матрицы имеем r(B) = r(B1) , где B1 матрица размеров r × n , полученная из B в результате вычер-

кивания нулевых строк. Очевидно, что матрица B1 имеет ненулевой

минор M порядка r ,

расположенный в левом верхнем углу и равный

b11 b22 ...br r . Поэтому,

r(A) = r(B) = r(B1) = r . При нахождении ранга

будем писать: A ~ B ~ B1 .

Пример 2. Определить ранг матрицы

æ 4

3

2

4

ö

ç

0

2

1

2

÷

A = ç

÷ .

ç

0

0

3

6

÷

è

ø

Решение. Вычтем из четвертого столбца элементы третьего столбца, умноженного на два, а затем вычеркнем четвертый столбец:

 

æ 4 3

2

4ö

 

æ 4 3

2

0ö

 

æ 4 3

2ö

 

A =

ç

0

2

1

2

÷

~

ç

0

2

1

0

÷

~

ç

0

2

1

÷

= B .

 

ç

 

 

 

 

÷

 

ç

 

 

 

 

÷

 

ç

 

 

 

÷

1

 

ç

0

0

3

6

÷

 

ç

0

0

3

0

÷

 

ç

0

0

3

÷

 

 

è

ø

 

è

ø

 

è

ø

 

Значит, r(A) = r(B1) = 3 .

Утверждение 1. Если матрицу А умножить слева (или справа) на невырожденную матрицу B (С), то ранг полученной матрицы будет равен рангу матрицы A, т.е. r(BA) = r(A) (или r(AC) = r(A)) , если

det B ¹ 0 (det C ¹ 0) .

Доказательство. Действительно, поскольку любую невырож-

денную матрицу можно получить из единичной путем элементарных

55

преобразований ее столбцов (строк), то умножение матрицы A справа (слева) на невырожденную матрицу С (В) равносильно использованию элементарных преобразований столбцов (строк) матрицы A. Поскольку элементарные преобразования не меняют ранга матрицы, то получаем r(AС) = r(A) (r(BA) = r(A)) .

20. Базисный минор. Скажем, что заданный столбец (заданная строка) есть линейная комбинация других k столбцов (строк), если его (ее) можно представить в виде суммы этих k столбцов (строк), умноженных соответственно на числа α12 ,...,αn .

Будем говорить, что столбцы S1, S2 ,..., Sn матрицы Am×n линейно

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

Аналогично определяется линейная независимость строк.

Если некоторый столбец матрицы Am×n является линейной ком- бинацией других k столбцов (k < n −1) , то этот столбец есть линейная

комбинация всех остальных столбцов, т.к. в определении линейной комбинации числовые коэффициенты могут быть и нулями. Анало- гичное утверждение справедливо и для строк матрицы Am×n .

Например, для третьей строки матрицы

æ 3

-1ö

ç

3

0

÷

A = ç

÷

ç

0

2

÷

ç

-2

1

÷

è

ø

имеем (0;2) = -2(3;-1) + 2(3;0) + 0(-2;1) . Поэтому, α1 = -2,α2 = 2,α3 = 0 .

Введем еще некоторые понятия, которые понадобятся в дальнейшем. Окаймляющим минором для минора M порядка k матрицы A назовем минор порядка k +1 этой матрицы, который содержит минор M .

Базисным минором матрицы A будем называть ненулевой минор, порядок которого равен рангу матрицы A .

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

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

Утверждение 2. 1) Каждый столбец (каждая строка) матри- цы есть линейная комбинация базисных столбцов (строк). 2) Базисные столбцы (строки) матрицы линейно независимы.

Доказательство. Пусть базисный минор M матрицы (1) имеет вид:

56

 

a11

a12

...

a1r

 

M =

a21

a22

...

a2r

.

 

...

... ... ...

 

 

ar1

ar 2

...

ar r

 

Зафиксируем j(1< j n) и рассмотрим определители

 

a11

a12

...

a1r

a1 j

 

 

 

 

a21

a22

...

a2r

a2 j

 

 

 

Mij =

...

... ... ...

...

, i =

 

.

1,m

 

ar1

ar 2

...

ar r

ar j

 

 

 

 

ai1

ai 2

...

ai r

ai j

 

 

 

Если i r или j r , то Mij = 0 , т.к. Mi j имеет две одинаковые строки или два одинаковых столбца. Если i > r и j > r , то Mi j = 0 в силу того, что Mi j есть минор порядка r +1 матрицы A с рангом r . Разложим определитель Mi j по элементам последней строки и получим

Mi j

= ai1α1 + ai 2α2 + ... + ai rαr + ai jαr+1 ,

(2)

где α12 ,...,αr r+1

алгебраические дополнения соответствующих

элементов ai1,ai2 ,...,air ,aij последней строки, причем α12 ,...,αr не зависят от i , а αr+1 = M . С учетом Mij = 0 , M ¹ 0 , из (2) получаем

ai j = β1ai1 + β2ai 2 + ...+ βrai r ,

(3)

где βi = − αMi , i =1,r .

Равенство (3) показывает, что j -ый столбец матрицы А есть

линейная комбинация ее базисных столбцов.

Для строк первая часть утверждения 2 доказывается аналогично. Доказательство второй части утверждения 2 проведем методом от противного. Предположим, что базисные столбцы (строки) линейно

зависимы. Тогда один (одна) из базисных столбцов (строк) матрицы А есть линейная комбинация остальных базисных столбцов (строк), а это значит, что один из столбцов (строк) базисного минора есть линейная комбинация остальных столбцов (строк). Тогда, по одному из свойств определителя, заключаем, что базисный минор равен нулю, что противоречит его определению.

Из утверждения 2 вытекают следующие следствия: а) любой небазисный столбец (любая небазисная строка) матрицы есть линейная

57

комбинация всех ее столбцов (строк); б) максимальное количество линейно независимых столбцов (строк) матрицы А равно ее рангу; в) определитель матрицы равен нулю в том и только том случае, если какой-нибудь один ее столбец (какая-нибудь одна ее строка) является линейной комбинацией других столбцов (строк) этой матрицы.

Из доказательства утверждения 2 вытекает еще один, полезный для практического использования при вычислении ранга матрицы, метод окаймляющих миноров: если матрица А имеет ненулевой минор порядка r и все его окаймляющие миноры равны нулю или не суще- ствуют, то ранг матрицы А равен r .

Пример 3. Определить ранг и найти базисные миноры матрицы

æ1

0

2

0

0

ö

ç

0

1

0

2

0

÷

A = ç

÷ .

ç

2

0

4

0

0

÷

è

ø

 

 

 

 

 

 

 

Решение.

 

Ненулевой

минор

второго

 

порядка

 

 

этой

матрицы

 

 

1

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

0

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

. Все окаймляющие его миноры третьего порядка

0

1

0

 

,

 

 

0

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

0

4

 

 

 

 

 

 

1

0

 

0

 

 

 

1

0

0

 

равны нулю. Значит, r(A) = 2 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

1

 

2

 

,

 

0

1

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

0

 

0

 

 

 

2

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Базисными минорами являются миноры второго порядка этой

матрицы, отличные от нуля:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

0

 

,

 

 

1

0

 

,

 

0

2

 

,

 

2

0

 

,

 

0

1

 

,

 

0

2

 

,

 

1

0

 

,

 

 

0

2

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

1

 

 

 

0 2

 

 

1 0

 

 

0 2

 

 

2 0

 

 

2 0

 

 

0 4

 

 

 

4 0

 

 

 

 

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

10. Основные понятия. Системой m линейных алгебраических

уравнений с n неизвестными x1

, x2 ,..., xn

назовем систему вида

 

 

ìa

 

 

x + a

 

x

+ ...+ a

x = b ,

 

ï 11 1 12

 

2

 

1n n

1

 

 

ïa21x1 + a22 x2 + ... + a2n xn = b2 ,

(1)

í......................................... ,

 

ï

 

 

 

 

 

 

 

 

 

 

 

 

 

ïa

 

 

x + a

m2

x

2

+ ... + a

x

= b .

 

î

m1 1

 

 

mn n

m

 

Числа aij , i =

1,m

,

j =

1,n

, называются коэффициентами системы,

а числа bi , i =1,m , – свободными членами (правыми частями).

58

Дальше в этой главе выражение «алгебраических» для краткости опускаем.

Если все bi = 0 , i =1,m , то система называется однородной; если

хотя бы один из свободных членов ненулевой, то система (1) называ-

ется неоднородной.

Решением системы (1) называют любую упорядоченную сово- купность n чисел (c1;c2;...;cn ) , которые при подстановке в каждое

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

называется определенной (неопределенной).

Решить систему (1) – означает выяснить совместная она или нет, и, если совместная, то найти все ее решения.

Например, если в системе (1) aij = 0, i =1,m, j =1,n , то: 1) она несовместна, если есть хотя бы одно из bi не равно нулю; 2) система

(1) имеет бесконечное множество решений при bi = 0, i =1,m , и, более

того, любая упорядоченная совокупность n чисел (c1;...;cn )

будет ее

решением.

 

 

 

 

 

 

Систему (1) удобно записывать в матричной форме. Матрица

æ a11

a12

...

a1n ö

 

 

ç a

a

...

a

÷

,

(2)

A = ç 21

22

...

2n ÷

ç ...

...

...

÷

 

 

ç a

a

...

a

÷

 

 

è m1

m2

 

mn ø

 

 

состоящая из коэффициентов системы (1), называется матрицей этой системы. Введем также матрицу-столбец неизвестных x и матрицу- столбец свободных членов b:

x = col(x1 ; x 2 ;...; x n ), b = col(b1 ;b2;...;b n ) .

Из определения произведения матриц следует, что левую часть системы (1) можно представить как произведение матрицы А на мат- рицу-столбец x, а ее правая часть есть матрица-столбец b. Поэтому

получаем матричную запись системы (1):

 

Ax = b .

(3)

Если (c1;c2;...;cn ) – решение системы (1), то матрица столбец

col(c1;c2;...;cn ) удовлетворяет уравнению

(3) и называется вектор-

решением системы (1).

 

Используя матрицы-столбцы коэффициентов системы (1), ее можно записать также в виде:

59

æ a11 ö çç a21 ÷÷ x1 ç M ÷

çèam1 ÷ø

æ a12

+çç a22 ç M

çè am2

ö

 

æ a1n ö

 

÷

 

ç a

÷

 

÷ x

+ ...+ ç

2n ÷ x

n

÷

2

ç

M

÷

÷

 

ç a

÷

 

ø

 

è

mn ø

 

 

æ b1

ö

 

 

 

ç b

÷

 

 

=

ç

2

÷

.

(4)

ç

M

÷

 

 

 

 

çb

÷

 

 

 

è

m ø

 

 

Две системы называют эквивалентными или равнозначными, если они имеют одно и то же множество решений. Считаем, что всякие две не- совместные системы с одинаковым числом неизвестных эквивалентны.

20. Элементарные преобразования. Элементарными преобра-

зованиями линейной системы называются следующие:

1)умножение уравнения системы на ненулевое число;

2)прибавление к одному уравнению системы другого ее урав- нения, умноженного на произвольное число;

3)перестановка местами двух уравнений системы;

4)вычеркивание уравнения, все коэффициенты которого равны

нулю.

Утверждение 1. При использовании элементарных преобразо- ваний получаем эквивалентную систему.

Доказательство. Не ограничивая общности, будем умножать

на число α ¹ 0 , например, первое уравнение системы (1) и прибавлять ко второму. Получим в результате такого действия систему

ìa11x1 + a12 x2 + ...+ a1n xn = b1,

 

 

ï

¢

 

¢

 

¢

 

 

 

¢

,

 

ïa21x1

+ a22 x2

+ ... + a2n xn

= b2

 

ï

 

 

+ a32 x2 + ...+ a3n xn = b3,

(5)

ía31x1

ï......................................... ,

 

 

 

ï

x

+ a

 

x

+ ... + a

 

x

 

= b

,

ïa

m2

mn

n

î

m1 1

 

 

2

 

 

 

m

 

¢

 

 

 

 

¢

=α b1 + b2 , α ¹ 0 .

 

где a2 j =α a1 j + a2 j ,

j =1,n; b2

 

Если n-вектор col(x1;...; xn )

решение системы (1), то он является

также и решением системы (5), т.к. все уравнения, за исключением второго, в этих системах одинаковы, а при подстановке x1,..., xn вместо соответствующих неизвестных во второе уравнение системы (5) оно также превращается в тождество. Наоборот, если вектор col(x1;...; xn ) –

решение системы (5), то оно также и решение системы (1), т.к. второе уравнение системы (1), которым она отличается от системы (5), полу- чается при умножении первого уравнения системы (5) на число −α и прибавления ко второму уравнению, а для такого действия справедли- вость утверждения 1 уже установлена.

Очевидно, что эквивалентность систем имеет место и при пере- становке двух ее произвольных уравнений, а также при вычеркивании уравнения системы, все коэффициенты которого равны нулю.

60

30. Совместность линейной системы. При решении системы линейных уравнений нужно вначале выяснить ее совместность. Для этого введем понятие расширенной матрицы, которая получается из матрицы (2) при дописывании справа столбца свободных членов:

æ a11

a12

...

a1n

 

b1

ö

 

 

 

ç a

a

...

a

 

b

÷

(6)

(A | b) = ç

21

22

 

 

2n

 

2

÷ .

ç ...

...

... ...

 

... ÷

 

ç a

m1

a

...

a

mn

 

b

÷

 

è

m2

 

 

 

m ø

 

Теорема 1 (Кронекера-Капелли). Для совместности системы линейных алгебраических уравнений необходимо и достаточно, чтобы ранг матрицы системы был равен рангу ее расширенной матрицы.

Доказательство. Необходимость. Пусть система (1) совместна, а матрицы А и (A | b) определяются соответственно равенствами (2)

и (6). В силу совместности системы (1), с использованием ее записи в форме (4) заключаем, что существует такая совокупность чисел

12;...;αn ) , для которой

 

 

 

 

 

 

 

 

 

 

æ a11

ö

 

æ a12

ö

 

æ a1n ö

 

æ b1

ö

 

ç a

÷

 

ç a

÷

 

ç a

÷

 

ç b

÷

(7)

ç

21

÷α

+ ç

22

÷α

2

+ ... + ç

2n ÷α

n

= ç

2

÷ .

ç

M

÷

1

ç

M

÷

ç

M

÷

ç

M

÷

 

ça

÷

 

ç a

÷

 

ç a

÷

 

çb

÷

 

è

m1

ø

 

è

m2

ø

 

è

mn ø

 

è

m ø

 

Из (7) вытекает, что последний столбец матрицы (A | b)

линей-

ная комбинация ее остальных столбцов, которые составляют матрицу A . Поэтому с помощью элементарных преобразований матрицы (A | b) ,

состоящих в прибавлении к ее последнему столбцу линейной комби- нации первых n столбцов с множителями -α1,-α2 ,...,-αn соответст-

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

5.7) получаем r(A) = r(A | b) .

Достаточность. Пусть r(A) = r(A | b) = r . Тогда, как следует из

определения ранга матрицы, существует минор порядка r , который будет базисным как для матрицы А, так и для матрицы (A | b) , ибо каждый

минор матрицы А является одновременно и минором расширенной матрицы. По утверждению 5.1 последний столбец матрицы (A | b)

является линейной комбинацией столбцов базисного минора, значит, и всех столбцов матрицы А. Поэтому, существуют такие числа α12 ,...,αn , что матрицу-столбец b можно представить в виде (7),

т.е. совокупность n чисел 12;...;αn ) есть решение системы (1).

61

Следствие 1. Если ранг матрицы системы меньше ранга ее рас- ширенной матрицы, то такая система несовместна.

Пример 1. Исследовать на совместность систему

ìx + y =1, íî-2x - 2y = 2.

Решение.

æ 1

1

 

1ö

æ

1

1

 

1ö

 

 

(A | b) = ç

-2

-2

 

÷

Þ ç

0 0

 

÷ .

 

è

 

2ø

è

 

4ø

Значит r(A) =1,

r(A | b) = 2 . Итак, система (8) несовместна.

Пример 2. Исследовать на совместность систему

 

 

ìx + y =1,

 

 

 

 

 

 

 

 

 

í

 

 

 

= -2.

 

 

 

 

 

 

î-2x - 2y

 

 

 

 

Решение.

æ 1

1

 

1

ö

æ

1 1

 

 

1ö

 

 

(A | b) = ç

-2

-2

 

-2

÷ Þ

ç

0 0

 

÷ .

 

è

 

ø

è

 

0ø

Имеем r(A) = r(A | b) =1. Итак, система (9) совместна.

(8)

(9)

§ 7. Решение невырожденных систем, матричный ме- тод.

Формулы Крамера

Рассмотрим частный случай системы (6.1), когда число уравнений

равно числу неизвестных:

 

 

 

 

 

 

 

 

 

 

ìa

x + a

x + ...+ a

 

x

= b ,

ï 11 1

12

2

1n

 

n

1

 

 

ïa21x1 + a22 x2 + ... + a2 n xn = b2 ,

í......................................... ,

(1)

ï

 

 

 

 

 

 

 

 

 

 

 

 

 

ïa

x + a

x

+ ... + a

nn

x = b .

î

n1 1

 

n 2 2

 

n

n

Определителем системы назовем определитель ее матрицы

 

 

 

 

 

 

a11

a12 ...

a1n

 

 

 

 

 

 

 

 

 

D =

 

A

 

=

a21

a22 ...

a2n

 

.

 

 

 

 

 

 

 

 

...

... ... ...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an1

an 2 ...

an n

 

 

62