algebra1
.pdfи таким образом
jAj = a1jB1j + : : : + amjBmj:
Предложение 4. Если матрица B получена из матрицы A 2 kn перестановкой двух столбцов, то jBj = jAj.
Доказательство. Пусть ai è aj i-й и j-й столбцы матрицы A. В матрицах, участвующих в следующем равенстве, мы указываем только i-й и j-й столбцы; остальные столбцы у них такие же, как у
матрицы A. Дважды используя предложение 3 находим:
j::; ai + aj; ::; ai + aj; ::j = j::; ai + aj; ::; ai; ::j + j::; ai + aj; ::; aj; ::j = = j::; ai; ::; ai; ::j + j::; aj; ::; ai; ::j + j::; aj; ::; ai; ::j + j::; aj; ::; aj; ::j
Определитель в левой части этого равенства и первый и последний определители правой части равны 0, потому что они являются определителями матриц, у каждой из которых i-й и j-й столбцы одина-
ковы, а такие матрицы вырождены. Оставшиеся же два слагаемых правой части это определители матриц A и B, так что 0 = jAj+jBj.
3 Определитель перестановочной матрицы
Элемент (i1; i2; : : : ; in) из n-й декартовой степени f1; : : : ; ngn множе- ства f1; : : : ; ng, все компоненты is которого различны, называется перестановкой множества f1; : : : ; ng. Из принципа Дирихле следу-
ет, что среди компонент любой перестановки i1; i2; : : : ; in множества f1; : : : ; ng встречаются все числа из множества 1; : : : ; n. Множество всех перестановок множества f1; : : : ; ng будем обозначать через Pn.
Мы говорим, что в перестановке (i1; i2; : : : ; in) элементы is; it îá- разуют инверсию, если s < t, но is > it, то есть если больший из элементов is; it предшествует в перестановке меньшему из них. Обозначим через I(i1; i2; : : : ; in) количество всех инверсий в перестановке; иначе говоря, I(i1; i2; : : : ; in) это количество элементов множества
(s; t) 2 f1; : : : ; ng2 s < t; is > it :
Напомним, что через ei 2 kn обозначается столбец, в i-й строке которого стоит 1, а остальные компоненты равны 0. Перестановочной матрицей называется матрица вида
(ei1 ; ei2 ; : : : ein ) ;
ãäå (i1; i2; : : : ; in) перестановка множества f1; : : : ; ng. Очевидно, перестановочными являются те и только те матрицы, в каждой строке и в каждом столбце которых все элементы, кроме одного, равны 0, а единственные ненулевые элементы, имеющиеся в каждой строке и в каждом столбце, равны 1.
211
Предложение 5. Пусть (i1; i2; : : : ; in) 2 Pn перестановка мно- жества f1; : : : ; ng. Тогда
det(ei1 ; ei2 ; : : : ; ein ) = ( 1)I(i1;i2;:::;in):
Доказательство. Сначала выясним, как меняется число инверсий в перестановке, если в ней поменять местами два соседних элемента.
Лемма 1. Пусть (i1; : : : ; in) перестановка множества f1; : : : ; ng.
(1)Пусть 1 s < n и пусть (j1; : : : ; jn) перестановка, которая получится из перестановки (i1; : : : ; in), если поменять в ней местами is è is+1. Åñëè is > is+1, òî I(j1; : : : ; jn) = I(i1; : : : ; in) 1.
(2)Пусть 1 s < t n и пусть (j1; : : : ; jn) перестановка, ко-
торая получится из перестановки (i1; : : : ; in), если поменять в ней
местами is è it. Тогда I(i1; : : : ; in) è I(j1; : : : ; jn) числа противо- положной четности, так что ( 1)I(j1;:::;jn) = ( 1)I(i1;:::;in).
Доказательство. (1). По определению перестановки j1; : : : ; jn js = is+1; js+1 = is; jt = it ïðè t 6= s; s + 1:
Для любых различных индексов r; t, хотя бы один из которых отличен от s и s + 1, числа jr; jt
том же порядке, как числа ir; it в исходной перестановке, и, следовательно, они одновременно составляют или не составляют инверсию в соответствующих перестановках. Поскольку is > is+1, ïàðà is; is+1 ñî- ставляла инверсию в исходной перестановке, а в новой перестановке ïàðà js; js+1 уже не составляет инверсию. Поэтому
I(j1; : : : ; jn) = I(i1; : : : ; in) 1:
(2). Переход от перестановки (i1; : : : ; in) к перестановке (j1; : : : ; jn) можно сделать следующим образом. Переставим сначала is последо- вательно с is+1; : : : ; it; для этого потребуется t s шагов. Элемент is окажется на t-й позиции, а элемент it на (t 1)-й позиции. Для того, чтобы переместить it на s-ю позицию, переставим его последовательно с элементами, стоящими на (t 2)-й, . . . , (s+1)-й позициях; это составит еще t s 1 шагов. Итак, перемена местами is, it может быть осуществлена за 2(t s) 1 шагов, на каждом из которых ме-
няются местами соседние элементы. Но из (1) следует, что перемена местами соседних элементов меняет четность числа инверсий в перестановке, поэтому за нечетное число шагов четность перестановки тоже заменится на противоположную.
Используя эту лемму, докажем теперь предложение 5 индукцией по числу инверсий I(i1; i2; : : : ; in) в перестановке (i1; i2; : : : ; in). Åñëè
212
I(i1; i2; : : : ; in) = 0, то есть если в перестановке вообще нет инверсий, то
1 i1 < i2 < : : : < in n;
а это возможно только если i1 = 1, i2 = 2, . . . , in = n. В этом случае
(ei1 ; ei2 ; : : : ; ein ) = (e1; e2; : : : ; en)
единичная матрица, и
det(ei1 ; ei2 ; : : : ; ein ) = jEj = 1 = ( 1)0 = ( 1)I(i1;i2;:::;in):
Пусть теперь I(i1; : : : ; in) > 0, и пусть утверждение леммы уже доказано для всех перестановок с меньшим число инверсий. Тогда найдется такой индекс s, 1 s < n, что is > is+1 (иначе было бы i1 < i2 < : : : < in, то есть инверсий не было бы вообще). Пусть j1; : : : ; jnперестановка, которая получится из перестановки (i1; : : : ; in), если поменять в ней местами is è is+1; по лемме 1 будет
I(j1; : : : ; jn) = I(i1; : : : ; in) 1 < I(i1; : : : ; in):
Тогда по предположению индукции
det(ej1 ; ej2 ; : : : ; ejn ) = ( 1)I(j1;:::;jn) = ( 1)I(i1;:::;in) 1:
Но матрица (ej1 ; ej2 ; : : : ; ejn ) получается из матрицы (ei1 ; ei2 ; : : : ; ein ) перестановкой s-го и (s + 1)-го столбцов, так что их определители
отличаются лишь знаком, и значит,
det(ei1 ; ei2 ; : : : ; ein ) = det(ej1 ; ej2 ; : : : ; ejn ) =
= ( 1)I(i1;:::;in) 1 = ( 1)I(i1;:::;in);
что мы и хотели получить.
4 Явная формула для определителя
Пусть
0a21 |
a22 |
: : : a2n1 |
|
a11 |
a12 |
: : : a1n |
C |
A = B . |
. |
... . |
|
Ban1 |
an2 |
: : : annC |
|
B |
|
|
C |
@ |
|
|
A |
матрица из kn, и пусть a1; a2; : : : ; an 2 kn е¼ столбцы. Тогда
n |
|
|
n |
|
|
n |
|
iX1 |
|
|
X2 |
|
|
Xn |
|
a1 = ai1 |
1ei1 |
; |
a2 = ai2 |
2ei2 |
; : : : ; |
an = ainnein |
: |
=1 |
|
|
i =1 |
|
|
i =1 |
|
213