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

Lektsii_PDF / Лекция_2

.pdf
Скачиваний:
33
Добавлен:
22.03.2016
Размер:
74.73 Кб
Скачать

Лекция № 2

Определители.

Основные понятия и определения.

Рассмотрим произвольную квадратную матрицу n-го порядка:

a

a

...

a

 

 

 

11

12

...

a

1n

 

 

a

a

 

 

 

 

A =

21

 

22

.

 

2 n

.

(2.1)

 

.

.

.

 

 

 

 

 

 

 

 

 

 

 

an 2

...

 

 

 

 

an1

ann

 

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

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

 

 

 

 

a11

a12

...

a1n

 

 

 

 

 

 

 

 

 

 

A

 

или

a21

a22

...

a2n

или

или det A .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

.

.

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an1

an 2

...

ann

 

 

 

 

 

 

 

 

 

Для матрицы первого порядка A = (a11 ), то определитель равен =

 

A

 

= a11 .

 

 

 

 

 

 

 

 

 

 

 

a

a

 

, определитель вычисляется следующим

Для матрицы второго порядка

A = 11

12

 

 

 

 

 

 

 

 

 

 

 

a22

 

 

 

 

 

 

 

 

 

 

 

= a11a22

a21a12 .

a21

 

 

 

 

 

 

образом:

 

 

 

 

 

 

 

 

Введем понятие определителя n-го порядка через понятие определителя n-1 порядка (то есть по индукции).

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

i-ой строки

и j-го

столбца, на пересечении

которых находится элемент aij . Минор

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

обозначается M j .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определителем n-го порядка, соответствующей матрице (2.1), называется число,

 

 

 

 

 

 

 

 

 

 

 

n

 

 

1+ j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

(−1)

 

 

1

 

определяемой по следующей формуле:

a1 j M j .

(2.2)

 

 

 

 

 

 

 

 

 

 

 

j=1

 

 

 

 

 

 

 

 

 

Для n=2 определитель, вычисленный по этой формуле, равен = a11a22

a21a12 .

 

 

 

 

 

(i =

 

 

 

) для определителя (2.2) справедлива

Теорема 2.1. Какова бы ни была строка i

1, n

формула, которую называют разложением определителя по элементам i -ой строки:

 

 

 

 

 

n

i+ j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i = 1.n :

= (−1)

 

 

i

 

 

 

 

 

 

 

 

 

 

 

aij M j

 

 

 

 

 

 

 

 

 

 

(2.3)

 

 

 

 

j=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

(j =

 

) для определителя (2.2) справедлива

Теорема 2.2. Каков бы ни был столбец

1, n

формула, которую называют разложением определителя по элементам

j -ого столбца:

1

 

 

n

i+ j

 

 

i

 

 

 

j = 1.n : = (−1)

 

 

 

 

 

aij M j

 

(2.4)

 

 

i=1

 

 

 

 

 

 

 

Алгебраическим дополнением A

элемента a называется число A = (−1)i+ j

 

i

 

M j . Таким

 

 

 

 

 

 

ij

ij

 

 

образом алгебраическое дополнение может отличаться от минора только знаком. С учетом введенного определения формулы (2.3) и (2.4) упрощаются соответственно:

 

 

m

 

 

m

i =

1.n

: = aij Aij и j =

1.n

:

= aij Aij .

 

 

j=1

i=1

Пусть k - фиксированное число 1 ≤ k < n и дана матрица (2.1). Зафиксируем номера i1 ,

i2 , i3 ,…

ik и

j1 ,

j2 ,

j3 ,…

 

jk , удовлетворяющие условию:

1 ≤ i1 < i2 < ... < ik

n ,

1 ≤ j1 < j2

< ... < jk

n .

 

 

 

 

 

 

 

 

 

 

 

 

 

Минором

первого

типа

 

 

i1i2 ...ik

называется

определитель k -го

порядка,

 

M j j ... j

 

 

 

 

 

 

 

 

 

1 2

k

 

 

 

 

 

соответствующей той матрице, которая получается из

A путем сохранения в ней k строк

i2 , i3 ,… ik

и k

столбцов

j1 ,

j2 ,

 

j3 ,…

jk .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i1i2 ...ik

 

 

 

(n k ) -го

порядка,

 

 

 

 

 

 

 

 

 

 

 

 

Минором

второго

типа

 

M j1 j2 ... jk

называется определитель

соответствующей той

матрице,

которая получается

из A путем вычеркивания в ней

k строк i2 , i3 ,…

ik и k

столбцов j1 , j2 , j3 ,…

jk .

 

 

 

 

Теорема Лапласа. Пусть k -

целое фиксированное число 1 ≤ k < n

и числа i1 , i2 , i3 ,…

ik

удовлетворяют

условию:

1 ≤ i1 < i2

< ... < ik

n .

Тогда для

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

(2.2)

справедлива формула:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i1 +i2

+...+ik + j1 + j2

...+ jk

 

i i

...i

 

 

i1i2 ...ik

 

 

 

(2.5)

 

 

 

 

 

 

 

= (−1)

 

 

 

M j1 2j

...kj

 

M j1 j2 ... jk ,

 

 

 

 

 

 

 

 

 

1 2

k

 

 

 

 

 

 

j1 j2 ... jk

которая называется разложением определителя по к строкам.

В формуле (2.5) суммирование осуществляется по всевозможным индексам jk , удовлетворяющим условию 1 ≤ j1 < j2 < ... < jk n . Если k =1, тогда

формула совпадает с разложением по строке.

В полной аналогии записывается формула разложения по k столбцам.

j1 ,

j2 , j3 ,…

 

M i1

= a

j

и

j

i

 

1

1

1

 

Задание. Записать разложение определителя по формуле Лапласа, выбрав k = 2 :

1

1

1

1

 

1

−1

2

2

. Ответ: -8.

1

1

−1

3

 

1

1

1

−1

 

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

1. Равноценность строк и столбцов определителя.

2

Определитель матрицы не меняется при ее транспонировании: A = AT . Это вытекает

из теорем 2.1 и 2.2.

2. Свойство асимметричности при перестановке строк и столбцов.

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

Для определителя второго порядка свойство очевидно, так как:

a11

a12

= a a

22

a a

. Поменяем строки местами, тогда

a21

a22

= a a

a a

22

.

a21

a22

11

21

12

 

a11

a12

21

12

11

 

 

 

 

 

 

 

 

 

 

 

Предположим, что свойство справедливо для определителя n-1го порядка. Докажем, что свойство справедливо для определителя n-го порядка. Для этого разложим определитель

 

 

 

 

n

i1+ j

 

 

 

 

по i1

строке, а строки i2 и i3 переставим местами:

= (−1) ai

 

 

i1

. В этой формуле

j M j

 

 

 

 

 

1

 

 

 

 

 

 

 

 

j=1

 

 

 

 

 

 

i1

является определителем n-1го порядка, а

по

индукции

 

он

меняет знак на

 

 

 

 

M j

 

противоположный. Следовательно, и все выражение, стоящее в правой части, поменяет знак на противоположный.

Говорят, что строка a1 , a2 ,...an есть линейная комбинация строк b1,b2 ,...bn и c1,c2 ,...cn

с сомножителями λ и μ , если ai = λbi + μci , i =

 

.

 

1.n

(2.6)

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

 

Если некоторая i -ая строка определителя ai1 , ai 2 ,...ain есть линейная комбинация двух

строк b1,b2 ,...bn и c1,c2 ,...cn с сомножителями λ и μ , то = λ 1 + μ 2

(2.7)

где 1 - определитель n-го порядка, у которого элементы i -ой строки

являются

числами b1,b2 ,...bn , а остальные строки совпадают со строками исходного определителя,

2 - определитель n-го порядка, у которого элементы i -ой строки являются числами c1,c2 ,...cn , а остальные строки совпадают со строками исходного определителя.

Доказательство. Разложим определители

,

1,

2 по элементам i -ой строки:

n

i+ j

 

 

 

n

i+ j

 

 

 

 

 

n

i+ j

 

 

 

n

i+ j

 

 

 

= (

1)

 

 

 

 

i

 

 

 

 

 

 

i

= (−1)

 

 

i

 

 

 

 

i

aij M j = (−1) (λbi + μci )M j

λbi M j + (−1)

μci M j

j=1

 

 

 

 

 

 

j=1

 

 

 

 

 

 

j=1

 

 

 

 

j=1

 

 

 

 

n

i+ j

 

 

 

 

 

n

i+ j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= λ(−1)

 

 

 

i

 

 

 

i

+ μ 2 .

 

 

 

 

 

 

 

 

 

bi M j + μ (−1) ci M j = λ 1

 

 

 

 

 

 

 

 

 

j=1

 

 

 

 

 

 

j=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из этих трех свойств вытекают следующие свойства определителей:

С1. Определитель с двумя одинаковыми строками (столбцами) равен нулю. Доказательство. С одной стороны, при перестановке этих двух строк определитель

должен сменить знак на противоположный. С другой стороны, поскольку строки

равны, то определитель должен остаться прежним, то есть = − . Тогда 2 = 0 и

= 0 .

С2. Умножение элементов строки (столбца) определителя на некоторое число λ равносильно умножению на это число самого определителя.

3

Доказательство вытекает из линейного свойства 3 при μ = 0 .

С3. Если в определителе все элементы строки (столбца) равны нулю, то и сам определитель равен нулю.

С4. Если в определителе имеются две пропорциональные строки (или два столбца), то такой определитель равен 0.

С5. Если к элементам некоторой строки (столбца) определителя прибавить соответственно элементы другой строки (столбца), умноженное на некоторое число λ , то определитель не изменится.

Доказательство. На основании линейного свойства определитель, полученный прибавлением к элементом некоторой строки исходного определителя элементов другой его строки, можно представить в виде двух определителей, один из которых совпадает с исходным, а другой равен 0 в силу свойств С4.

4.Сумма произведений элементов некоторой строки (столбца) определителя на соответствующие алгебраические дополнения элементов другой строки (столбца) равна нулю.

Доказательство. Разложим определить n-го порядка по элементам i -ой строки:

 

a11

a12

...

a1n

 

 

 

 

 

 

a21

a22

...

a2n

 

 

 

 

 

 

.

. ... .

 

 

 

 

 

 

ak1

ak 2

...

akn

= det A = a A

+ a A

+ ...a A

(2.8)

 

.

. ... .

i1 i1

i 2 i 2

 

in in

 

 

 

 

 

 

 

 

ai1

ai 2

...

ain

 

 

 

 

 

 

.

. ... .

 

 

 

 

 

 

an1

an 2

...

ann

 

 

 

 

 

Алгебраическое дополнение Aij не зависит от элементов i -ой строки.

 

Построим новый определитель из исходного,

заменив i -ую строку k

-ой строкой.

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

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

 

 

Но его разложение по элементам i -ой строки будет

иметь вид:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a11

a12

...

a1n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a21

a22

...

a2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

. ... .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ak1

ak 2

...

akn

 

= a

k1

A

+ a

 

 

 

A

+ ...a

A .

 

.

. ... .

 

 

 

 

 

 

i1

 

 

 

k 2 i 2

 

kn in

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ak1

ak 2

...

akn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

. ... .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

an1

an 2

...

ann

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно: ak1 Ai1 + ak 2 Ai 2 + ...akn Ain = 0 .

5. Если Cn

= An Bn , то

 

Cn

 

=

 

An

 

 

 

Bn

 

.

 

 

 

 

 

 

 

 

 

 

4

6. Если Cn = An + Bn , то определитель Cn равен сумме всех различных

определителей порядка n, которые могут получаться, если часть строк (или столбцов) брать совпадающими с соответствующими строками (столбцами) матрицы A , а остальную часть совпадающими с соответствующими строками (столбцами) матрицы B .

5

Соседние файлы в папке Lektsii_PDF