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

Algebra

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

изменяется. Иными словами, если – произвольная перестановка n -ой степени, то в равенствах (3.15) справедливо следующее правило замены переменного,

n

 

n

 

ak

a k a 1

a 2 ... a n ,

k 1

 

k 1

 

n

 

n

 

ak a k a 1 a 2 ...a n .

k 1

k 1

 

Однако, в ряде случаев

игнорирования

природы элементов множества M

доставляет определенные неудобства и при суммировании и перемножении

элементов ak желательно в качестве индекса вместо номера k

сохранить его

первоначальное значение

x . В связи с этим в качестве

обозначений,

эквивалентных обозначениям (3.15), применяются обозначения:

 

 

ax ,

(3.16)

 

x M

 

читается: сумма ax по всем элементам x множества M , и

 

 

ax ,

(3.17)

 

x M

 

читается: произведение ax

по всем элементам x множества

M . При этом

сформулированные выше правила замены переменного в сумме и произведении вида (3.15) справедливы также для суммы (3.16) и произведения (3.17). Именно,

ax ay a x , ax ay a x .

x M y M x M x M y M x M

где – произвольная перестановка элементов множества M .

Лекции IX и X.

План

3.6Определитель n -го порядка.

3.7Свойства определителя.

3.6Определитель n-го порядка

Пусть A M n (R) ,

A

aij

.

Определителем матрицы A

называется

 

 

 

 

 

 

 

 

действительное число

A

, которое вычисляется по правилу

 

 

 

 

 

a11

a12

...

a1n

 

 

 

 

 

 

 

 

 

A

 

 

a21

a22

...

a2n

sgn a1 1 a2 2 ...an n ,

(3.18)

 

 

 

 

 

 

... ... ... ...

Sn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an1

an2

...

ann

 

 

где

61

 

1,

если четная,

 

sgn

 

 

(3.19)

1,

если нечетная.

 

Определитель матрицы A также называется детерминантом матрицы A ,

и

в этом случае используется обозначение det A, эквивалентное обозначению

 

A

 

.

 

 

 

 

 

 

Разберем подробно случаи n 1, 2, 3 .

 

 

 

 

 

 

 

 

1

,

1) n 1. Множество S состоит из одной единичной перестановки e

 

1

 

 

 

 

 

 

1

 

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

естественно считать четной. Поэтому определитель матрицы

A

 

 

 

a11

 

имеет вид

 

 

 

 

A

 

a11 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) n 2 . Множество S2 перестановок второй степени состоит из одной

 

 

 

1

2

 

,

 

1

 

 

2

 

, inv 1.

четной и одной нечетной перестановки e

 

, inve 0

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

2

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

Поэтому сумма (3.18) имеет два слагаемых,

 

a11

a12

sgne a

 

a

sgn a

 

(1)

a

 

 

a a

22

a

 

 

a

.

 

a21

a22

 

 

 

 

 

1e(1)

 

2e(2)

 

 

 

 

 

 

 

1

 

 

2 (2)

 

 

11

 

12 21

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3) n 3 . Множество S3

состоит из шести перестановок третьей степени,

 

 

 

 

 

 

1

2

3

 

 

 

 

0,

 

 

 

 

 

1

2

 

3

 

 

 

 

2,

 

 

 

 

 

1

 

 

 

 

, inv

1

 

2

 

 

 

 

 

 

, inv

2

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

2

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2

 

3

 

 

 

 

 

 

2,

 

 

 

 

 

 

1

2

3

 

 

 

 

 

1,

 

 

 

 

 

3

 

 

 

 

 

, inv

 

3

4

 

 

 

 

 

, inv

4

 

 

 

 

 

 

 

 

 

3

1

 

2

 

 

 

 

 

 

 

 

 

 

 

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2

 

3

 

 

 

 

 

 

3,

 

 

 

 

 

1

2

 

3

 

 

 

 

 

 

1.

 

 

 

 

 

5

 

 

 

 

 

, inv

5

 

6

 

 

 

 

 

 

, inv

6

 

 

 

 

 

 

 

 

 

 

3

2

1

 

 

 

 

 

 

 

 

 

 

 

 

 

3

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

Перестановки

1, 2 , 3

четные,

 

 

а

перестановки 4 , 5 , 6

 

 

 

нечетные.

Поэтому

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a11

a12

a13

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a21

a22

a23

sgn k

a1 k 1 a2 k 2 a3 k 3

 

 

 

 

 

 

 

 

 

 

 

 

a31

a32

a33

 

k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a11a22a33 a12a23a31 a13a21a32 a12a21a33 a13a22a31 a11a23a32.

(3.20)

При

n 4 формула

(3.18) содержит уже 24 слагаемых, в связи с чем

становится

ясно, что

 

для

вычисления

определителей

 

достаточно

 

высокого

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

62

sgn a1 1
Каждое слагаемое в сумме (3.18) имеет вид
a2 2
... an n

порядка она мало пригодна. Нашей ближайшей задачей является изучение таких свойств определителя, которые бы, в частности, позволили разработать достаточно простой способ их вычисления, отличный от прямого счѐта по формуле (3.18). Такой способ вычисления будет изложен ниже в пункте 3.10. Эффективность его настолько высока, что, как правило, этот способ целесообразно применять даже для вычисления определителей третьего порядка, избегая при этом использования формулы (3.20).

Принимая во внимание запись определителя A в виде таблицы (3.18), ниже

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

3.7 Свойства определителя

(3.21)

и называется членом определителя n -го порядка. Член определителя является произведением n элементов, взятых точно по одному из каждой строки и каждого столбца определителя, и числа sgn . Действительно, присутствие в произведении (3.21) по одному элементу из каждой строки является очевидным.

Кроме того, из определения перестановки n -ой степени

ясно, что

{ 1 , 2 , ..., n }

 

, и следовательно, в произведении (3.21)

 

1, n

присутствует

точно по одному элементу из каждого столбца определителя. Верно и обратное,

любое произведение из n элементов определителя

A

,

a1 j

a2 j

... anj ,

(3.22)

1

2

n

 

 

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

 

1

2

...

n

 

 

 

 

 

.

(3.23)

 

j1

j2

...

 

 

 

jn

 

Если – четная перестановка, то произведение (3.22) входит в сумму (3.18) со своим знаком, а если – нечетная перестановка, то – с противоположным знаком. В связи с этим основному определению предыдущего пункта можно

придать другую эквивалентную

ему форму:

определителем

матрицы

A ,

A M n (R) , называется

сумма

всевозможных

произведений

(число

этих

произведений равно n!)

по n элементов этой матрицы, взятых по одному из

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

63

64

Рассмотрим основные свойства определителя. Всюду ниже будем предполагать, не подчеркивая этого всякий раз, что матрица A M n (R) .

Предложение 3.6 . А А .

Первое доказательство. Введем обозначение B A ij . Ясно, что

ij aij , i, j 1, n . По определению

B sgn 1 1 2 2 ... n n

Sn

 

sgn a 1 1 a 2 2 ... a n n .

(3.24)

Sn

 

Покажем, что эта сумма совпадает с суммой (3.18). Действительно, каждое

произведение

 

sgn a 1 1 a 2 2 ... a n n

(3.25)

является членом определителя A , так как содержит точно по одному элементу из каждого столбца и каждой его строки ( – перестановка n -ой степени). Именно,

a 1 1 a 2 2

... a n n

a1 1 a2 2 ... an n ,

где

 

 

 

 

 

1

2

...

n

1 .

 

 

 

 

 

 

1

2

...

 

 

 

n

 

Одновременно, sgn sgn sgn 1 ,

так

как разложив перестановку в

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

 

t1t2 ...tk 1tk ,

замечаем, что

 

 

 

 

 

1 t t

k 1

...t t ,

 

k

 

2 1

т.е. перестановки

и 1 одновременно

четные или нечетные. Поскольку

различные слагаемые суммы (3.24) совпадают с различными членами определителя A , ясно, что A B A .

Второе доказательство. Сумму (3.24) запишем в виде

B sgn a j j

S

n

 

 

 

j 1,n

и в соответствии с принципом замены переменного индекса проведем две замены: вначале в произведении, а потом в сумме. Зафиксируем перестановку .

 

1 является

 

 

 

 

 

 

 

 

 

Так как

перестановкой

элементов

множества 1, n и

1 j

 

 

 

 

 

 

 

 

 

замена j 1 j

j, j 1, n , то в

соответствии с

пунктом 3.5

приводит к равенству

 

a j j a j 1 j ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j 1,n

j 1,n

 

 

 

 

т.е.

 

B

 

 

sgn a1 1 1 a2 1 2 ... an 1 n

(3.26)

 

 

 

 

 

 

 

 

 

 

 

 

Sn

 

 

 

 

Отображение f 1

является перестановкой элементов множества S

n

, так

 

 

 

 

 

 

 

 

как оно обратимо,

 

 

 

 

 

f 1

f ,

1

.

 

 

f 2 f f 1

 

 

Проводя в сумме (3.26) замену 1 и учитывая, что sgn sgn 1 , получаем, что

B sgn a1 1 a2 2 ... an n A . ►

Sn

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

Предложение 3.7. Если матрица B получена из матрицы A элементарным преобразованием Ck Cl , k, l 1, n, k 1, тогда B A .

Иными словами, при перемене местами двух строк определителя он меняет знак на противоположный.

◄ В матрице B ij

Ai , i k, l,

Bi Al , i k, , т.е.

Ak , i l,

Поэтому, считая для определенности k l ,

aij , i k, l,

ij alj , i k,akj , i l.

получаем, что

 

B

 

sgn 1 1 ... k k

 

... l l

 

... n

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Sn

 

 

 

 

 

 

 

 

 

 

sgn a1 1 ... al k ... ak l ... an n .

(3.27)

 

Sn

 

 

 

 

 

 

 

 

 

 

Рассмотрим следующую перестановку f элементов множества Sn , f t , где t

–транспозиция. Действительно, отображение

f Sn Sn

обладает свойством

f 2 t t t2 e и поэтому

обратимо,

f 1

f .

Вводя обозначение

t , замечаем, что

i , i k, l,

i l , i k,

k , i l,

и sgn sgn , так как перестановки и имеют различную четность. Учитывая это и проводя замену переменной t в сумме (3.27), получаем, что

65

B sgn a1 1 ... al l ... ak k ... an n A . ►

Sn

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

Пусть матрица B получена из матрицы A элементарным

преобразованием Ci C j . Тогда матрица B получается

из матрицы A

элементарным преобразованием C C

j

,

и по доказанному

B

 

 

A

. Откуда,

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

используя предложение 3.6, получаем, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

B

 

 

B

 

 

 

 

A

 

 

.►

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Предложение 3.8. Если матрица B получена из матрицы A элементарным

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

преобразованием Ck , 0, k 1, n , тогда

B

A

.

 

 

 

 

 

 

 

◄ В матрице B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ij

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

, i k,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ij

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ij

 

 

, i k.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

kj

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поэтому

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

B

 

sgn 1 1 ... k k ... n n

 

sgn a1 1 ... ak k ... an n

 

 

 

 

 

Sn

 

Sn

 

 

 

 

sgn a1 1 ... ak k ... an n A .

Sn

Вкачестве следствия этого свойства получаем, что

 

 

 

A

 

 

 

n

 

A

 

, 0 .

 

 

 

 

 

 

 

 

Из предложения 3.8 вытекает также следующее правило выноса числового

множителя за знак определителя,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

B

 

, 0 ,

 

 

 

 

 

 

 

 

 

 

 

 

где B получается из матрицы A делением всех

элементов какой-нибудь еѐ

строки или какого-нибудь еѐ столбца на . Например,

 

3

2

 

 

 

 

 

 

 

 

 

1

3

2

 

 

1

 

 

 

 

 

 

 

 

 

 

 

4

8

 

 

 

 

22

2

2

4

11

.

 

1

3

9

 

 

 

 

 

 

 

 

 

1

3

9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Здесь проведен вынос числа 2 за знак определителя из второй строки.

Предложение

3.9. Если матрица содержит нулевую строку, еѐ

определитель равен нулю.

 

Предложение

3.10.

Если матрица A содержит две пропорциональные

строки, еѐ определитель равен нулю.

66

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

что 0 , так

 

 

 

Пусть

Ai Aj , i j,

 

 

 

i, j 1, n, R . Можно считать,

 

как случай

 

0

 

содержится

в

предложении 3.9.

Если

 

1,

 

т.е.

 

 

 

Ai Aj ,

в

матрице

A проводим элементарное преобразование Ci C j .

При этом в силу

предложения 3.7 определитель меняет знак. В то же время матрица A , а с нею и

 

A

 

не изменились, т.е.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если 1,

 

 

 

 

 

 

 

 

A

 

 

 

 

 

A

 

2

 

A

 

0

 

A

 

0 .

 

 

 

 

 

 

 

 

 

 

1C .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в матрице A проводим элементарное преобразование

После

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

этого получаем матрицу B с равными

 

 

строками,

Bi Bj

Aj . В

 

 

силу

предложения 3.8 с учетом предыдущего случая

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

B

 

 

1

 

A

 

 

 

 

A

 

0. ►

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Предложение 3.11. Если строка Ai

 

 

 

матрицы A представима в виде суммы

двух векторов-строк порядка n ,

Ai

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

еѐ определитель

 

A

 

 

 

 

 

 

 

 

 

 

 

, где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ai

 

Ai

 

 

A

 

 

 

A

 

матрица

 

получается из матрицы

 

 

 

A

заменой

 

 

 

 

 

 

 

а матрица

 

 

 

A

 

 

 

 

Ai Ai ,

 

 

A

заменой Ai Ai .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

◄ Пусть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ai ai1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ai2 , ..., ain Ai Ai

 

ai1

ai2

, ..., ain ai1, ai2

, ..., ain

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ai1 ai1, ai2

ai2

, ..., ain ain .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда

 

 

 

 

 

 

sgn a1 1 ... ai i ... an n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Sn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sgn a1 1 ... ai

ai i ... an n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Sn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i ... an n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i ... an n

 

 

 

 

sgn a1 1 ... ai

sgn a1 1 ... ai

 

 

 

 

Sn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Sn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Предложение 3.12. Если матрица B получена из матрицы

 

A с помощью

элементарного преобразования Ci C j , i j , тогда

 

B

 

 

 

A

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

◄ В матрице B

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A ,

 

 

 

 

 

 

 

 

 

 

k i,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Bk

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

,

k i.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

строки Bi

и Bj

 

 

 

 

 

Выделяя в определителе

B

 

,

 

учитывая при этом, что остальные

 

 

 

 

A

 

 

 

 

строки совпадают с соответствующими

 

строками

определителя

, в

 

 

силу

предложения 3.11 имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

67

B

 

 

i

 

Ai Aj

 

 

 

i

 

 

Ai

 

 

 

i

 

Aj

 

 

 

A

 

O

 

A

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

Aj

j

 

Aj

j

 

 

 

Aj

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

так как второй определитель имеет пропорциональные строки и, следовательно, равен нулю. ►

Предложение 3.13 Определитель матрицы верхнетреугольного или нижнетреугольного вида равен произведению его диагональных элементов.

◄ Пусть, например,

 

 

 

a11

0

0

0

 

A

 

 

a21

a22

0

0

.

 

 

... ... ...

0

 

 

 

 

an1

an2 ...

ann

 

Очевидно, что все члены этого определителя, не содержащие a1 1 в качестве элемента первой строки, равны нулю. Из второй строки к этому элементу можно добавить лишь a22 , так как a21 брать нельзя, поскольку первый столбец уже

занят, а все остальные элементы второй строки равны нулю. Продолжая аналогичные рассуждения для последующих строк, получаем, что единственно возможным ненулевым членом определителя остается произведение a11a22...ann ,

порождаемее перестановкой e, inve 0 , т.е.

A a11a22...ann. ►

Предложение 3.14. Любую матрицу можно привести к верхнетреугольному или нижнетреугольному виду только строчными (только столбцовыми) элементарными преобразованиями, не меняя еѐ определителя.

◄ Рассмотрим случай верхнетреугольной матрицы и строчных элементарных преобразований. Если A1 O , тогда первый столбец матрицы A уже имеет нужный вид, и можно переходить ко второму столбцу. Если A1 O , но a11 0, существует ненулевой элемент ai1, i 2, n . Совершая вспомогательное преобразование C1 Ci , добиваемся выполнения условия a11 0 .

Пусть a11 0 . В матрице A проводим следующую цепочку элементарных преобразований,

 

 

 

 

 

 

 

ai1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

C

C , i 2, n .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

a11

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В силу предложения 3.12 получаем, что

 

 

 

 

 

 

 

 

 

 

 

 

 

a11

a12 ...

a1n

 

a11

/

/

/

 

 

 

 

 

 

 

 

 

 

A

 

 

a21

a22 ...

a2n

 

0

 

22

...

2n

.

 

 

 

 

 

 

 

 

 

... ... ... ...

 

... ... ... ...

 

 

 

 

 

 

 

 

 

an1

an2 ...

ann

 

0

 

n2

...

nn

 

68

Если все элементы второго столбца последнего определителя, начиная со второго, равны нулю, переходим к его третьему столбцу. В противном случае, строчными элементарными преобразованиями, не меняя определителя, добиваемся выполнения условия 22 0 . Проводя цепочку элементарных

преобразований

 

 

 

 

 

i 2

 

 

 

 

 

 

 

 

 

 

C

C

2

, i 3, n ,

 

 

 

 

 

 

 

 

 

i

22

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

приходим к определителю

 

 

 

 

 

 

 

 

 

 

 

 

a11

/

 

 

/

/

 

/

 

 

 

 

 

 

 

 

 

 

0

22

 

/

/

 

/

 

 

A

 

 

0

0

 

33 ...

3n

.

 

 

 

 

... ... ... ... ...

 

 

0

0

 

n3 ...

nn

 

Ясно, что продолжая этот процесс, на n -ом шаге мы получим матрицу верхнетреугольного вида, определитель которой равен определителю A ,

 

 

 

a11

/

/

/

/

 

 

0

2 2

/

/

/

 

A

 

 

0

0

3 3

/

/

.

 

 

... ... ... ... ...

 

 

0

0

0

...

/

 

 

0

0

0

...

nn

 

Для того, чтобы матрицу A строчными элементарными преобразованиями привести к нижнее треугольному виду, не меняя еѐ определителя, нужно с помощью элемента ann получить нули в последнем столбце и т.д. Случай

столбцовых преобразований рассматривается аналогично. ►

Лекция XI.

План

3.8 . Теорема Лапласа.

3.9.Разложение определителя по элементам строки или столбца.

3.8Теорема Лапласа

Пусть A M n R , если в матрице A вычеркнуть k строк и k столбцов, k 1, n , то на пересечении этих строк и столбцов образуется матрица порядка k .

69

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

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

умноженный на 1 , где – сумма номеров вычеркнутых строк и столбцов. Например, в матрице

a

a

a

a

a

 

 

11

12

13

14

15

 

a21

a22

a23

a24

a25

 

A a

a

a

a

a

 

 

31

32

33

34

35

 

a41

a42

a43

a44

a45

 

 

 

a52

a53

a54

 

 

a51

a55

при вычеркивании строк A , A и столбцов A2 , A3 образуется минор M второго

3

5

 

 

 

 

 

порядка

 

 

 

 

 

 

 

 

 

a33

 

 

 

M

a32

.

 

 

 

 

a52

a53

 

 

Его дополнительный минор M д имеет вид

 

 

 

 

a11

a14

a15

 

 

 

 

 

M д

a21

a24

a25

.

 

 

a41

a44

a45

 

Так как 3 5 2 3 13, то алгебраическим дополнением минора M является 1 13 Mд Mд .

Теорема Лапласа. Пусть A M n R и k 1, n 1. Определитель матрицы

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

Например, проведем разложение определителя

 

a11

a12

a13

a14

A

a21

a22

a23

a24

a31

a32

a33

a34

 

a41

a42

a43

a44

на основании теоремы Лапласа по первой и третьей строкам ( k 2 ),

70

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