velikol.ru
1



09.10.12, М.



Лекция № 12 (09.04.10)


Теорема. При перестановке двух столбцов определитель меняет знак.

Доказательство:



6.3.4. Определитель с двумя одинаковыми строками (столбцами)

Теорема. Определитель с двумя одинаковыми столбцами (строками) равен нулю.

Доказательство.

 = det(a1, …, ai, …, aj, …, an) = −det(a1, …, aj, …, ai, …, an) =
= −det(a1, …, ai, …, aj, …, an) = −, откуда  = 0, QED.

Для строк доказательство проводится аналогично.


^ 6.3.5. Линейность определителя

1) det (c1, c2, …, aj + bj, …, cn) = det (c1, c2, …, aj, …, cn) + det (c1, c2, …, bj, …, cn);

2) det (c1, c2, …, aj, …, cn) =   det (c1, c2, …, aj, …, cn).

Аналогично для строк.

Приведём доказательство первого утверждения (для строк).

Доказательство:

.




Второе свойство доказывается аналогично.

Теорема. Определитель с нулевой строкой (с нулевым столбцом) равен нулю.

Доказательство.

det(a1, a2, …, 0, …, an) = det(a1, a2, …, 00, …, an) = 0det(a1, a2, …, 0, …, an) = 0.


^ 6.3.6. Поведение определителя при элементарных преобразованиях

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

Теорема. При совершении элементарного преобразования третьего типа определитель не меняется.

Доказательство.

det(a1, a2, …, aj+ak, …, an) = det(a1, a2, …, aj, …, an) + det(a1, a2, …, ak, …, an) =

= det(a1, a2, …, aj, …, an) + det(a1, a2, …, ak, …, an) = det(a1, a2, …, aj, …, an).

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

Следствие 2. При совершении нескольких элементарных преобразований нулевой опре­делитель сохраняет нулевое значение, ненулевой всегда будет оставаться ненулевым.


^ 6.3.7. Определитель треугольной матрицы

Лемма 1.

.


Доказательство. Все подстановки n + 1 элемента разобьём на две группы. К первой от­несём подстановки такого вида:


,

т. е. те, для которых σ(n + 1) = n + 1. Остальные подстановки отнесём ко второй группе. Вычис­лим член определителя для подстановки первой группы:

sign a1(1)… an(n)an+1(n+1) = sign a1(1)… an(n)an+1,n+1 = sign a1(1)… an(n) =

= sign a1(1)… an(n).

Здесь . При этом число инверсий  совпадает с числом ин­вер­сий , следовательно, sign  = sign . Для любой же подстановки второй группы an+1(n+1) = 0, и соответствующий член определителя равен нулю.

Таким образом, для каждой подстановки первой группы мы нашли взаимно однозначно соответствующий члену определителя и равный ему член определителя

.

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

Лемма 2.

.

Доказательство следует из леммы 1.

Определение. Матрица, в которой все числа ниже главной диагонали равны нулю, на­зывается верхней треугольной.

Теорема. Определитель треугольной матрицы равен произведению чисел главной диа­гонали.

Доказательство (по индукции) получается, если применить лемму 2.


^ 6.3.8. Вычисление определителей методом Gauss’а

В процессе приведения матрицы к ступенчатому виду определитель её меняется извест­ным нам образом.

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

Это даёт способ вычисления (не лучшим образом) определителя приведением матрицы к ступенчатому виду, т. е. методом Gauss’а.


^ 6.3.9. Разложение определителя по строке или столбцу

Определение 1. Пусть А – квадратная матрица. Возьмём какой-нибудь один её элемент aij.




(Дополнительным) минором Mij элемента aij называется определитель матрицы, полученной из матрицы А вычёркиванием i-й строки и j-го столбца.

Определение 2. Алгебраическим дополнением элемента aij называется число

Aij = (−1)i+jMij.

Лемма 3 (об определителе с почти нулевой строкой). Определитель матрицы следующей структуры, где aij – произвольный элемент, а остальные элементы




этой строки равны нулю, равен:

 = (–1)i+jaij Mij = aij Aij.

Доказательство. i-ю строку переставим на последнее место, причём каждый раз будем переставлять строку с соседней; то же самое проделаем и со столбцами. Число перестановок при этом: ni + nj . Определитель умножится на число

(–1)ni+nj = (–1)2n(–1)–(i+j) = ((–1)–1)(i+j) = (–1)i+j.




Теперь мы можем применить лемму 2:  = (–1)i+jaij Mij, QED.