Материал: Михайленко Е.В. Математика. Ч. 1. Элементы общей алгебры

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

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

 

a11

a12 ... a1n

 

 

 

 

det A

a21

a22 ...

a2n

 

.

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

 

 

an1

an 2 ...

ann

 

 

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

Вычисление определителей 1-го, 2-го и 3-го порядков

Если порядок n матрицы равен единице, то эта матрица состоит из одного элемента a11. Определителем первого порядка, соответствующим такой матрице, является величина ее единственного элемента:

det A a11 a11

Пример. Если A 7 , то

det A 7 7

Если порядок n матрицы равен двум, т. е. если эта матрица имеет вид

a11

a12

 

 

 

 

 

,

A

a22

 

a21

 

 

то определителем второго порядка, соответствующим такой матрице, назовем число, равное a11a22 – a12a21. Таким образом, определитель второго порядка, соответствующий вышеуказанной матрице, равен разности произведения элементов, стоящих на главной диагонали этой матрицы, и произведения элементов, стоящих на побочной ее диагонали:

det A

 

a11

a12

 

a11a22 a12a21 .

 

 

 

 

a21

a22

 

 

66

Пример. Если

1

2

 

, то

 

 

 

A

 

 

 

 

 

 

 

 

3

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

det A

 

1

2

 

1 4 2 3 2.

 

 

 

 

 

 

 

 

 

 

 

 

3

4

 

 

Если порядок n матрицы равен трем, эта матрица будет иметь вид

a11

a12

a13

 

 

 

 

 

A a21

a22

a23

,

 

a32

 

 

a31

a33

 

и ее определитель можно вычислить следующим образом:

detA

 

a11

a12

a13

 

 

 

 

a21

a22

a23

a11a22a33 a21a32a13 a11a12a23 a13a22a31 a23a32a11 a33a12a31 .

 

 

a31

a32

a33

 

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

det A

 

a11

a12

a13

 

a11a22a33 a21a32a13 a11a12a23 ...

 

 

 

a21

a22

a23

 

 

 

a31

a32

a33

 

 

 

 

 

a12

a13

 

 

 

 

a23

Четвертое, пятое и шестое слагаемые представляют собой произведения элементов, находящихся на побочной диагонали матрицы, и элементов, находящихся на двух диагоналях параллельных побочной, взятые с противоположным знаком. Для построения этих диагоналей перенесем вниз элементы a13 и a23.

67

det A

 

a11

a12

a13

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a21

a22

a23

 

 

a11a22a33 a21a32a13 a11a12a23 a13a22a31 a23a32a11 a33a12a31

 

 

 

a31

a32

a33

 

 

 

 

 

 

 

 

 

 

a11

a12

a13

 

 

 

 

 

 

 

 

a21

 

a23

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

4

5

 

 

 

 

 

 

 

 

 

 

 

3

0

1

 

Пример. Если A

, то

 

 

 

 

 

 

 

 

 

 

 

1

2

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

4

5

 

 

( 2)

0 0

4 2 ( 5) ( 1) ( 4) 1 ( 5) 0 ( 1) 1 2 ( 2)

 

 

det A

3

0

1

 

 

 

1

2

0

 

 

 

 

 

 

 

( 1) ( 4) 1 0 40 4 0 4 4 36

 

 

 

 

 

 

 

 

 

 

 

2

4

5

 

 

 

 

 

31

Вычисление определителей 4-го и последующих порядков сводится к вычислению определителей 2-го и 3-го порядков.

Миноры и алгебраические дополнения элементов матрицы

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

Минор элемента aij обозначается Mij.

 

 

1

1

3

Пример. Минором для элемента a 23

матрицы

 

2

1

1

 

A

 

 

 

 

4

2

5

 

 

 

 

 

является

M 23

 

a 11

a 12

 

 

 

1

1

2

 

6.

 

 

 

 

 

 

a 21

a 22

 

 

 

4

 

 

 

Алгебраическим дополнением элемента aij называется минор этого элемента, взятый со знаком (-1). Обозначается Aij

Aij ( 1)i j M ij .

68

Пример 16. Алгебраическим дополнением элементаa 23 матрицы

 

1

1

3

A

 

2

1

1

 

 

 

 

 

4

2

5

 

 

 

 

является

 

 

 

 

 

A 23 ( 1)2 3 * M 23

 

( 1)5 * ( 6) 6 .

Вычисление определителей n-ого порядка

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

Теорема Лапласа (1749-1827). Определитель любой матрицы можно вычислить как сумму произведений элементов любой строки или любого столбца на их алгебраические дополнения.

n

 

 

 

 

 

 

det A aij Aij

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

1

2

3

4

 

 

 

 

Пример. Найдем определитель четвертого порядка

3

0

0

1

 

.

 

8

1

2

6

 

 

 

3

9

8

0

 

 

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

 

1

2

3

4

 

 

 

 

 

 

3 0 0

1

 

а21 А21 а22 А22 а23 А23 а24 А24 .

 

8

1

2

6

 

 

 

3

9

8

0

 

 

Теперь достаточно вычислить только А21 и А24, так как произведения 0∙А22 и 0∙А232 равны нулю.

A21

( 1)2 1 М21

 

1 26

 

26.

 

 

69

 

 

 

A24

( 1)3 4 М24

 

1 81

81.

Подставив найденные значения в вычисления получим окончательное решение:

 

1

2

3

4

 

 

 

 

 

 

3

0

0

1

 

3 ( 26) 1 81 78 81 3.

 

8

1

2

6

 

 

 

3

9

8

0

 

 

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

Ниже устанавливается ряд свойств, которыми обладает произвольный определитель n-го порядка.

1) Свойство равноправности строк и столбцов.

При транспонировании величина определителя сохраняется. 2) Свойство антисимметрии.

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

3) Линейное свойство определителя.

Будем говорить, что некоторая строка (a1, a2, ..., an) является линейной комбинацией строк (b1, b2, … , bn), (c1, c2, … , cn), ..., (d1, d2, … , dn) с

коэффициентами x, y, ..., z, то есть

ai = xbi + yci + ... + zdi для всех i =1,2,..., n.

Тогда линейное свойство определителя можно сформулировать так: если в определителе п-го порядка D некоторая i-я строка (a1, a2, ..., an) является линейной комбинацией двух строк (b1, b2, … , bn), (c1, c2, … , cn), с коэффициентами x и y , то D = xBi +yCi, где Bi определитель, у которого i-я строка равна (b1, b2, … , bn), а все остальные строки те же, что и у D, а Ci определитель, у которого i-я строка равна (c1, c2, … , cn), а все остальные строки те же, что и у D.

Следующие пять свойств являются логическими следствиями трех основных свойств.

Следствие 1. Определитель с двумя одинаковыми строками или

столбцами равен нулю.

70

Источник: https://studfile.net/preview/16409160/