RUDN-I
.pdf3.1. Понятие перестановки. Число перестановок |
41 |
Доказательство теоремы 3.1.
1) При n = 1 имеем A1 = (a1), S(A1) = {e} — тождественная переста-
новка, p1 |
= 1 = 1! — база индукции. |
ru |
2) Покажем, что Bn Bn+1 (шаг индукции), где Bn — утверждение, что Pn = n! Итак, нужно показать, что если Pn = n! (допущение индукции), то Pn+1 = (n + 1)! Для этого получим формулу
|
Pn+1 |
= (n + 1)Pn, |
|
n = 1, 2, 3, . . . |
(1) |
|||||||||||
|
matematem |
|
|
|||||||||||||
Все перестановки |
α S(An+1), где An+1 = (a1, a2, . . . ,.an, an+1) разобьем |
|||||||||||||||
на классы C1, C2, . . . , Cn+1, где класс Cm объединяет все перестановки |
||||||||||||||||
α, в которых на 1-ом месте стоит am. Итак, |
|
|
|
|
||||||||||||
|
C : |
|
(a1, , .n. . , ) |
P |
|
|
||||||||||
|
|
|
|
| |
|
|
{z |
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
1 |
|
. . . . . . . . . . . . |
|
|
|
n |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(a1, |
|
, . . . , |
|
|
|
|
|
|
|||||
|
|
|
|
|
) |
|
|
|
||||||||
|
C : |
|
(a2, , .n. . , ) |
|
P |
|
|
|||||||||
|
|
|
|
| |
|
|
{z |
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
2 |
|
. . . . . . . . . . . . |
|
|
|
n |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, ...... , |
|
|
|
|
|
|
|||||
|
. . . |
: |
(a2, |
|
|
) . . . |
|
|||||||||
|
C |
(an+1, , .n. . , ) |
P |
|
|
|||||||||||
|
|
|
|
|
| |
|
|
{z |
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
n+1 |
|
. . . . . . . . . . . . |
|
|
|
n |
|
||||||||
|
|
|
(an+1, |
|
|
, . . . , |
|
|
|
|
|
|||||
|
|
|
|
|
|
) |
|
|
|
|||||||
На остальных местах могут стоять |
переставленные остальные n эле- |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
ментов из An+1. Число перестановок, входящих в класс Cm, равно Pn (при всех m = 1, 2, . . . , n + 1); число классов равно (n + 1). Значит,
Определениеwww1. Пусть α = (ak1 , ak2 , . . . , akn ) — перестановка множества A = (a1, a2, . . . , an). Если пара номеров (kl, km), такова, что l < m, но kl > km, то говорят, что пара (kl, km) образует инверсию (элемент с большим номером стоит раньше).
число всех перестановок в S(An+1) равно Pn+1 = (n + 1)Pn, т.е. вер-
но (1). Но тогда, если |
Pn = |
n!, то Pn+1 = (n + 1)n! = (n + 1)!, т.е. |
. |
|
|
Bn Bn+1 (шаг индукции). Тогда по принципу индукции верна фор- |
||
мула Pn = n!, n = 1, 2, |
3, . . . |
|
Иначе: инверсия означает, что элемент из A с меньшим номером при перестановке оказался правее элемента с большим номером.
Общее число инверсий в перестановке α обозначим N(α).
42 Тема 3. Перестановки
Определение 2. 1) Если N(α) — четное число, то перестановка называется четной, если N(α) — нечетно, то α называется нечетной.
2) Число sign α = (−1)N(α) называют знаком перестановки, sign α = 1, |
|
если α четная, sign α = −1, если α — нечетная. |
ru |
|
Пример 2. Найти число инверсий в перестановке α = (a4, a2, a3, a1).
Для этого для каждого элемента считаем, сколько инверсий. с элемента-
ми, стоящими правее: a имеет 3 инверсии, a имеет 1 инверсию, a имеет 1 инверсию, итак, N(αmatematem)4 = 3 + 1 + 1 = 5; т.е. 2α — нечетная. 3
3.2. Транспозиции
Определение 1. Перестановка β S(An) называется транспозицией, если она переставляет только два элемента (остальные остаются на месте).
Запись транспозиции β = βij (i < j) означает, что β меняет местами i-ый и j-ый элементы, т.е.
a1 |
. . . |
ai |
. . . |
aj |
. . . |
an |
). |
βij = ( a1 |
. . . |
aj |
. . . |
ai |
. . . |
an |
Пусть α S(An), β — транспозиция. Суперпозиция β ◦ α есть перестановка β ◦ α S(An), называемая транспозицией перестановки α.
Теорема 1. При одной транспозиции перестановки ее четность меняется.
Доказательство. 1) Сначала рассмотрим случай, когда β = βi(i+1), т.е.
β ◦ α означает замену местами двух соседних элементов: aki и aki+1 в перестановке α:
т.е. |
www |
|
, . . .), β ◦ α = (. . . , aki+1 , aki , . . .). |
|
α = (. . . , a.ki |
, aki+1 |
Взаимное расположение этих элементов с любыми другими элементами не меняется, т.е. инверсии не появляются и не исчезают. Между самими этими элементами при замене их местами либо возникнет одна инверсия, либо исчезнет одна инверсия. Итак, общее число инверсий N(β ◦ α) = N(α) ± 1, т.е. четность перестановки меняется.
2) Рассмотрим общий случай β = βi(i+m+1), когда между двумя переставляемыми элементами стоят m элементов: меняем местами aki и aki+m+1 ,
α = (. . . , aki , aki+1 , . . . , aki+m , aki+m+1 , . . .),
3.2. Транспозиции |
43 |
β ◦ α = (. . . , aki+m+1 , aki+1 , . . . , aki+m , aki , . . .).
Такую замену проведем последовательно, меняя местами соседние эле-
ru |
, |
менты. Сначала двигаем aki вправо, для чего меняем aki местами с aki+1 |
затем со следующим, . . . , затем с aki+m , затем с aki+m+1 — всего (m + 1) транспозиция соседей. В результате получим перестановку
(. . . , aki+1 , . . . , aki+m , aki+m+1 , aki , . . .).
Теперь двигаем |
aki+m+1 влево, для чего меняем местами aki+m+1 с |
||
aki+m , . . . , с aki+1 |
|
|
. |
— всего m транспозиций соседей и в итоге получим ис- |
|||
|
. |
matematem |
|
комую перестановку β ◦α. Итак, общий случай транспозиции β ◦α свелся
к применению m + (m + 1) = 2m + 1 транспозиций соседних элементов.
Согласно 1) при каждой такой транспозиции четность перестановки ме-
нялась. В итоге, она меняется (2m + 1) раз, т.е. четности перестановок β ◦ α и α разные.
Следствие. При n ≥ 2 число четных перестановок в S(An) равно числу нечетных перестановок (и равно n2!).
Доказательство. Пусть p — число всех нечетных перестановок, q — число всех четных перестановок. Для каждой нечетной перестановки поменяем местами 1-ый и 2-ой элементы. По теореме 1 она станет четной, т.е. мы получили p различных четных перестановок. Их число не больше, чем число q всех четных перестановок, т.е. p ≤ q. Поменяем в этом рассуждении нечетные перестановки на четные, получим точно так же, что q ≤ p. Значит, p = q.
Теорема 2. Всякая перестановка α S(An) может быть представлена как произведение транспозиций, причем число сомножителей четно, если α четная, и нечетно, если α нечетная.
Шаг 0. wwwЕсли α = e — тождественная перестановка, то поскольку β12 ◦ β12 = e, то α = e = β12 ◦ β12 — искомое разложение.
Доказательство. Обозначим
βij = { |
e — тождественная перестановка, если i = j |
— транспозиция i-го и j-го элементов, если i < j. |
Пусть α = (ak1 , ak2 , . . . , akn ) S(An). Далее считаем, что α ≠ e.
Шаг 1. Обозначим i1 — номер элемента a1 в перестановке α. Если i1 = 1, т.е. ak1 = a1, то на этом шаге α нас устраивает. Полагаем тогда α = α1,
44 Тема 3. Перестановки
т.е. α = e ◦ α1 = β1i1 ◦ α1, где α1 = (a1, ak2 , . . . , akn ). Если 2 ≤ i1 ≤ n, то имеем
α = (ak1 , ak2 , . . . , a1, . . . , akn ) = β1i1 |
◦ α1 |
, |
|
номер i1 |
|
ru |
|
↑ |
|
|
|
номер i1 |
|
|
|
где |
. |
|
|
α1 = (a1, ak2 , . . . , ak1 , . . . , akn ). |
|
|
|
|
|
|
↑
Итак, в результате шагаmatematem1, в обоих случаях имеем
α = β1i1 ◦ α1,
где α1 = (a1, ak2 , . . . , ak1 , . . . , akn ) S(An).
Шаг 2. Обозначим i2 — номер элемента a2 в перестановке α1. Если i2 = 2, т.е. α1 = (a1, a2, . . .), то α1 нас устраивает на этом шаге. Полагаем тогда
α1 = α2 |
= e ◦ α2 |
= β2i2 ◦ α2, где α2 = (a1, a2, |
. . .). Если 3 ≤ i2 ≤ n, то |
|
имеем |
α1 = (a1, ak2 , . . . , a2, . . . , akn ) = β2i2 ◦ α2, |
|||
|
||||
|
|
|
↑ |
|
|
|
|
номер i2 |
|
где |
|
α2 = (a1, a2, . . . , ak2 , . . . , akn ). |
||
|
|
|||
|
|
|
↑ |
|
|
|
|
номер i2 |
|
Итак, в обоих случаях |
α1 = β2i2 ◦ α2, |
|
||
где α2 = (a1, a2, |
. . .), откуда |
|
||
|
|
|||
|
|
. |
1 |
2 |
В итоге |
|
|
|
α = β1i1 ◦ α = β1i1 ◦ β2i2 ◦ α .
α = β1i1 ◦ β2i2 ◦ α2, α2 = (a1, a2, . . .)
и т.д.
На каждом шаге число элементов, стоящих по порядку увеличивается, так что на k-ом шаге получим
α = β1i1 ◦ . . . ◦ βkik ◦ αk, αk = (a1, . . . , |
ak, . . .). |
Через (nwww− 1) шагов получим |
|
α = β1i1 ◦ β2i2 ◦ . . . ◦ β(n−1)in−1 ◦ αn−1, αn−1 = (a1, |
. . . , an−1, an) = e, |
3.2. Транспозиции |
|
|
45 |
|
так что |
|
|
|
|
α = β1i1 ◦ β2i2 ◦ . . . ◦ β(n−1)in−1 . |
|
ru |
||
Если α ̸= e, то не все βkik равны e. Опуская в этом равенстве сомножи- |
||||
тели, равные e, получим произведение транспозиций |
|
|
|
|
α = β1 ◦ . . . ◦ βm |
(m ≤ n − 1). |
. |
|
|
|
|
|
|
если m четно, то и α будет четной. Теорема 2 доказана.
Осталось заметить, чтоmatematemкаждая транспозиция меняет четность перестановки (см. теорему 1). Так что, если m нечетно, то α будет нечетной,
Замечание 1. Приведенное доказательство дает алгоритм разложения перестановки в произведение транспозиций.
Пример. Представить перестановку α = (4, 3, 1, 2) в виде произведения транспозиций.
1 |
2 |
◦ β24 |
3 |
α = β13 |
◦ (1, 3, 4, 2) = β13 |
◦ (1, 2, 4, 3) = |
= β13 ◦ β24 ◦ β34 ◦ (1, 2, 3, 4) = β13 ◦ β24 ◦ β34.
Напомним, что знак перестановки — это число sign α = (−1)N(α),
где N(α) — число инверсий в α.
Теорема 3. При умножении перестановок их знаки перемножаются.
Доказательство. Пусть α1, α2 S(An). Тогда α1◦α2 S(An). Покажем, что
|
www |
|
1 |
2 |
1 |
2 |
Тогда |
|
из теоремы 2 |
|
|||
Используем представление. |
|
|||||
|
|
α1 = β1 ◦ . . . ◦ βm, α2 = γ1 ◦ . . . ◦ γl, |
||||
где βi, |
γj — транспозиции, причем |
|
|
|||
|
|
m четно |
α1 четна |
sign α1 = 1, |
||
|
|
l четно α2 четна |
sign α2 = 1. |
|||
|
|
α1 ◦ α2 = β1 ◦ . . . ◦ βm ◦ γ1 ◦ . . . ◦ γl. |
sign(α ◦ α ) = sign α · sign α .
46 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тема 3. Перестановки |
|
||||||||||
1) Если |
α1, α2 |
— |
четные, то m, l — четные |
m+l — четное, |
|
α1 |
◦ |
α2 |
|||||||||||||||||||||||||
|
|
|
|
|
1 |
2 |
) = 1 = sign α |
1 |
|
|
2 |
. |
|
|
|
|
|
|
|
||||||||||||||
— четная, т.е. sign(α |
|
◦ α |
|
· sign α |
|
|
|
ru |
|
|
|
|
|
|
|
||||||||||||||||||
2) |
Если α1, α2 |
— нечетные, то m, |
l — нечетные |
|
— четное, |
||||||||||||||||||||||||||||
m + l |
|||||||||||||||||||||||||||||||||
|
1 |
◦ |
α |
2 |
— четная, т.е. sign(α |
1 |
2 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
2 |
. |
|||||||||||
α |
|
|
|
◦ α |
) = 1 = (−1) · (−1) = sign α |
|
· sign α |
||||||||||||||||||||||||||
3) Если α1, α2 |
имеют разную четность, то одно из чисел m, |
|
l четное, |
||||||||||||||||||||||||||||||
другое1 |
нечетное |
|
|
m + l — нечетное, |
|
α1 |
|
. |
— нечетная, т.е. |
||||||||||||||||||||||||
|
|
2 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
2 |
. |
◦ |
|
|
|
|
|
|
|
|
|
||||||
sign(α |
|
◦ α |
) = −1 = (−1) · (+1) = sign α |
|
· sign α |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
matematem |
|
|
|
|
|
|
|
|
|
|
Следствие. Взаимно обратные перестановки имеют одинаковую четность.
Доказательство. Действительно, пусть α S(An), β = α−1. Тогда α ◦
α−1 = e и по теореме 3 |
sign α · |
sign α−1 |
= sign e. Но sign e = 1 (т.к. |
|||||
N(e) = 0 |
sign α |
· |
sign α−1 |
= 1, |
т.е. либо |
sign α = sign α−1 |
= 1, |
|
). Итак, |
|
|
|
|
|
либо sign α = sign α−1 = −1.
3.3. Теоретические упражнения к теме 3
3.1. Каждой перестановке α элементов конечного множества A сопоставим обратную к ней α−1. Показать, что отображение, заданное правилом f(α) = α−1, является биекцией на множестве S(A) всех перестановок множества A. Таким образом, когда α пробегает множество S(A), то и α−1 пробегает множество S(A).
3.2. Для перестановки α = (5, 3, 4, 1, 2) найти обратную. Найти число инверсий в перестановках α, α−1 и разложить их в произведение транспозиций.
|
. |
S(An) в произведение |
3.3 Показать, что разложение перестановки α |
||
транспозиций не единственно. |
|
|
www |
|
|
3.4. Пусть X, Y — конечные множества с числом элементов m и n, соответственно. Найти общее число отображений и число инъективных отображений множества X во множество Y . Получить отсюда формулу числа биекций (при m = n) и, в частности, формулу для числа всех перестановок множества X.
47
Тема 4. Определители
Изложение теории определителей мы начинаем с определителей 2-го и
3-го порядка (они необходимы в курсе аналитической геометрии, кроме |
|||
|
|
. |
ru |
того на их примере легче иллюстрировать основные свойства опреде- |
|||
. |
matematem |
|
|
лителей). Затем вводится общее понятие определителя n-го порядка и разбираются общие свойства определителей, включая формулы разложения определителя по строке и столбцу, полилинейность и кососимметричность. Рассмотрены примеры вычисления важнейших определителей (треугольный, определитель Вандермонда, блочно-треугольный). Применения определителей в теории систем линейных уравнений (в частности, формулы Крамера) отнесены к теме 5 (алгебра матриц). Там же приведена характеризация определителя как полилинейной, кососимметрической функции.
4.1. Определители второго и третьего порядка
|
|
|
|
|
|
a11 |
a12 |
). |
|
|
|
|
|
|
|
|
|
|
|||
Пусть A = ( a21 |
a22 |
|
|
|
|
|
|
|
|
|
|
||||||||||
Определение 1. Определителем матрицы A назовем число |
|
||||||||||||||||||||
|
|
|
|
|
|
∆ = det A = |
a11 |
|
a12 |
|
= a11a22 |
− a12a21. |
(1) |
||||||||
|
|
|
|
|
|
a21 |
|
a22 |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
обозначения |
|
|
|
|
|
|||||||
Пример 1. |
| |
|
|
|
|
|
|
{z |
|
|
|
|
} |
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
1) |
|
1 |
1 |
|
= 1, |
|
|
0 |
1 |
= −1, |
|
|
|
|
|
|
|||||
0 1 |
|
1 1 |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2) |
|
cos α |
|
sin α |
|
|
|
2 |
α + sin |
2 |
α = 1, |
|
|
||||||||
|
sin α |
−cos α |
|
= cos |
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3) |
|
1 |
|
1 |
|
= x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x1 x2 |
− x1. |
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a11 |
a12 |
a13 |
|
. |
|
|
|
|
|
|
|||||
Пусть Awww= a21 |
a22 |
a23 |
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
a31 |
a32 |
a33 |
|
|
|
|
|
|
|
|
|
48 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тема 4. |
Определители |
||||||
Определение 2. Определителем матрицы A назовем число |
|
|||||||||||||||||||||||||||||||||
|
|
|
∆ = det A = |
a11 |
|
a12 |
|
a13 |
|
|
|
|
|
|
|
|
|
(2) |
||||||||||||||||
|
|
|
a21 |
|
a22 |
|
a23 |
|
= |
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
a |
31 |
|
a |
32 |
|
a |
33 |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= a11a22a33 |
|
|
|
|
|
|
обозначения |
|
|
|
|
|
|
|
|
|
a12a21a33 |
|
|
a11a23a32. |
||||||||||||||
+ a12a23a31 + a13a21a32 |
|
|
|
a13a22a31 |
|
|
} |
|
|
|||||||||||||||||||||||||
|
|
|
| |
|
|
|
|
|
|
{z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ru |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
− |
|
|
|
− |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Для запоминания правила вычисления используем символическую за- |
||||||||||||||||||||||||||||||||||
пись (правило Саррюса): |
|
r |
r |
|
|
|
|
|
r@ |
|
r |
|
|
|
|
r |
|
r |
. |
|
|
|
|
|
||||||||||
|
= |
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
r |
r |
|
|
|
|
|
r |
@ |
r |
|
|
|
|
|
r |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
r |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
r |
|
|
r |
r |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
H |
|
|
r |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
@ |
|
|
|
|
|
|
|
A HA |
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
r@ r r |
|
|
|
|
|
|
r |
|
rH |
|
|
|
|
||||||||||||
|
|
|
r |
|
|
r |
r |
|
|
|
|
@ |
|
|
@ |
|
|
− |
|
|
A |
AH |
|
|
|
|
|
|||||||
|
|
|
|
|
|
= |
|
|
r@ r@ r |
|
|
|
rHHA rHA r |
|
|
|
|
|||||||||||||||||
Пример 2. |
|
|
r |
|
|
r |
r |
|
|
|
|
r @r @r |
|
|
|
|
|
|
r Ar HAr |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
1 |
= 0 + 6 + ( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
1 |
0 |
3 |
|
|
|
4) |
|
|
0 |
− |
( |
− |
10) |
− |
12 = 0. |
|
|
|||||||||||||||||
|
−1 4 5 |
|
|
|
|
|
− − |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Основные свойства определителей |
второго и третьего порядка |
1◦. det AT = det A — при транспонировании матрицы определитель не меняется.
Проверим для n = 2 (n = 3 — самостоятельно, см. упражнение 4.2):
Замечаниеwww1. В силу c 1◦ свойства определителя, сформулированные для строк, верны и для столбцов (и обратно).
|
a11 |
a12 |
|
A = .( amatematem21 a22 ), det A = a11a22 − a12a21 |
, |
||
a11 |
a21 |
), det AT = a11a22 − a21a12 = det A. |
|
AT = ( a12 |
a22 |
Действительно, при транспонировании матрицы определитель не меняется, а столбцы переходят в строки с теми же номерами.
2◦. При перестановке двух строк (двух столбцов) определитель меняет
знак.
4.1. Определители второго и третьего порядка |
|
|
|
|
49 |
||||||
Например, |
|
|
|
|
|
|
|
|
|
||
|
a21 |
a22 |
|
|
|
|
a11 |
a12 |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
a11 a12 |
|
= a21a12 − a11a22 = −(a11a22 − a12a21) = |
ru |
a21 |
a22 |
. |
||||
− |
|
||||||||||
3◦. Определитель |
с двумя одинаковыми строками (столбцами) |
равен |
|||||||||
нулю. |
|
|
|
|
. |
|
|
|
|
|
|
|
11a21 |
11 |
|
12a22 |
12 matematem= (a11 + b11)a22 − (a12 + b12)a21 = |
|
|
|
|
Действительно, поменяем местами две одинаковых строки. Матрица, а значит и определитель, не изменится. Но по свойству 2◦ определитель меняет знак. Значит, det A = − det A, т.е. det A = 0.
4◦. Определитель является линейной функцией строк (столбцов) матрицы.
Это значит, что 1) при умножении строки (столбца) на число определитель умножается
на это число, например,
|
|
|
|
|
|
λa11 |
|
|
λa12 |
|
|
|
|
|
a11 |
a12 |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a21 |
|
|
|
a22 |
= λ |
|
a21 a22 |
, |
|
|
|
|
|
|
|
|
|||||||||
2) если строка есть сумма |
двух строк, |
то определитель |
равен сумме со- |
||||||||||||||||||||||||||||
ответствующих им определителей (то же для столбцов), например, |
|
||||||||||||||||||||||||||||||
|
|
|
a + b |
|
a + b |
|
|
|
|
a11 a12 |
|
|
|
b11 |
b12 |
|
|
|
|
|
|||||||||||
|
|
|
11a21 |
|
|
12a22 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
11 |
|
|
12 |
|
= |
a21 |
a22 |
|
+ |
|
a21 |
a22 |
. |
|
|
|
||||||||||||
Покажем 2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
a |
+ b |
a + b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
6 . |
|
www |
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a11 |
a12 |
|
|
|
b11 |
b12 |
|
||||
|
|
= (a11a22 − a12a21) + (b11a22 − b12a21) = |
a21 a22 |
+ |
|
a21 a22 |
. |
||||||||||||||||||||||||
5◦. Определитель с пропорциональными строками |
(столбцами) |
равен |
|||||||||||||||||||||||||||||
нулю. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Например, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
a11 |
λa11 |
|
4◦ |
|
a11 |
|
a11 |
3◦ |
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
a21 λa21 |
= λ |
a21 a21 |
= λ · 0 = 0. |
|
|
|
|
|
|
|||||||||||||||||||
◦ Определитель |
не изменится, |
если |
к его строке |
(столбцу) прибавить |
линейную комбинацию других строк (столбцов).
50 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тема 4. Определители |
|||||||
Например, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
a |
11 |
+ λa |
21 |
a |
12 |
+ λa |
22 |
|
4◦ |
|
a11 |
a12 |
|
+ |
λa21 |
λa22 |
|
5◦ |
|
a11 |
a12 |
. |
||
|
a21 |
|
a22 |
= |
a21 |
a22 |
a21 |
a22 |
= |
a21 |
a22 |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
назовем |
|
|
|
|
|
|
|
|
|
|
|
|
7◦. Минором Mij |
элемента |
aij |
определитель |
меньшего |
порядка, |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ru |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Aij = (−1)i+jMij. |
|
|
|
|
|
|
|
полученный из исходного вычеркиванием i-ой строки и j-го столбца. Ал-
|
. |
гебраическим дополнением Aij элемента aij назовем число |
|
matematem |
|
Определитель равен сумме произведений элементов любой строки (любого столбца) на их алгебраические дополнения.
Для n = 3 это свойство можно получить непосредственно из определения (см. упражнение 4.2).
4.2. Понятие определителя n-го порядка
Замечание. Конечную сумму a1 +a2 +. . .+an можно записать в краткой форме
∑i |
|
n |
|
a1 + a2 + . . . + an = ai. |
(i) |
=1 |
|
При этом неважно, какой буквой обозначен индекс суммирования. Для той же суммы верно равенство
∑n
a1 + a2 + . . . + an = am. |
(ii) |
m=1 |
|
Однако, если в одном месте используются различные суммы, например,
(i) и
n
то индексы суммирования нужно обозначать разными буквами. Например, можно использовать (i) и (iii), но нужно избегать совместного использования (ii) и (iii).
Пусть A = aij — квадратная матрица n-го порядка. Приведем различные формы записи
wwwA = ... |
. |
b1 + b2 + . . . + bn = |
bm, |
(iii) |
|
|
|
m=1 |
|
||
|
|
∑ |
|
||
|
... ... ... |
= ... |
= A A . . . A . |
(1) |
a11 |
a12 |
. . . a1n |
|
|
A1 |
|
|
|
|
|
|
a21 |
a22 |
. . . |
a2n |
A2 |
[ |
1 2 |
n |
] |
|||
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
||
an1 |
an2 |
. . . |
ann |
|
An |
|
|
|