Убедитесь что определитель матрицы равен определителю транспонированной матрицы

1. Общее правило знаков. Для дальнейшего будет полезно узнавать, с каким знаком входит в определитель слагаемое , где — две перестановки чисел .

Для того чтобы узнать это, следует расположить сомножители в порядке следования строк. Заметим, что если поменять местами два сомножителя, то происходит транспозиция как в первых, так и во вторых индексах, так что число инверсий в первых индексах и число инверсий во вторых индексах меняются на нечетные числа, и потому их сумма меняется на четное число. Поэтому не изменяется при перемене мест двух сомножителей, а следовательно, и при любом изменений порядка сомножителей, ибо любое изменение порядка равносильно нескольким попарным переменам мест. Отсюда следует, что знак, с которым входит слагаемое в определитель, есть . Действительно, пусть — последовательность номеров столбцов после приведения сомножителей в порядок следования строк, так что Тогда

а это и есть множитель ±1, с которым интересующее нас слагаемое входит в состав определителя.

2. Определитель транспонированной матрицы равен исходной. Другими словами — определитель не меняется при транспонировании матрицы.

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

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

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

3. Если элементы какой-либо строки представлены в виде суммы двух слагаемых, то определитель равен сумме двух определителей, в первом из которых элементы отмеченной строки равны первым слагаемым, во втором — вторым.

Это свойство становится прозрачнее, если от словесной формулировки перейти к формуле:

Ясно, что первая сумма равна , а вторая равна

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

4. Если все элементы какой-либо строки определителя имеют общий множитель, то этот общий множитель можно вынести за знак определителя.

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

6. Если в матрице поменять местами две строки, то ее определитель изменит знак на обратный.

Эти два свойства тесно связаны и играют особо важную роль в теории определителей.

Докажем сначала 5-е свойство, потом 6-е.

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

причем

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

Вспомним, что все нечетные перестановки получаются, если во всех четных перестановках сделать одну и ту же транспозицию Поэтому

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

Обратимся теперь к доказательству свойства, причем позволим себе обозначить переставляемые строки просто I и II. Нам нужно сравнить определители

С этой целью рассмотрим вспомогательный определитель, заведомо равный нулю:

Мы два раза воспользовались свойством 3.

Первое и четвертое слагаемые равны нулю. Следовательно, сумма второго и третьего равна нулю, что и требовалось доказать.

Рассмотрим другой путь доказательства свойств 5 и 6. Начнем с шестого. Пусть

Возьмем какое-либо слагаемое из второго определителя, записанное в порядке следования его строк:

Оно входит в состав с множителем . Но , так что в А оно входит с множителем . Ясно, что так что каждое слагаемое из А входит в А с противоположным знаком, т. е.

Теперь для доказательства свойства 5 рассмотрим определитель с двумя одинаковыми строками и переменим местами эти строки. С одной стороны, он при этом изменит знак, но вместе с тем он не изменится. Следовательно, .

Однако это рассуждение применимо, только если в кольце возможно деление на 2, так что из следует

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

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

Действительно, если, согласно свойству 4, вынести за знак определителя коэффициент пропорциональности, то остается определитель с равными строками, который равен нулю.

8. Определитель не меняется, если к какой-либо его строке добавить числа, пропорциональные другой строке.

Свойство 8 особенно важно, так как оно дает ключ к вычислению определителей.

Рассмотрим небольшой пример.

Пусть требуется вычислить определитель

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

Теперь прибавим к четвертой строке третью, умноженную на —1, и к четвертой — вторую, умноженную на —1.

Получим равный определитель

Теперь оказывается, что из 24 слагаемых определителя отлично от нуля только одно: . Перестановка (1, 3, 2, 4) нечетная, следовательно, определитель равен —16.

Источник

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

Определение 9. Транспонированием A матрицы называется такое ее преобразование, при котором строки матрицы становятся ее столбцами с теми же самыми номерами.

Матрица транспонированная матрице A обозначается символом :

Свойство 1. Определитель транспонированной матрицы равен определителю исходной матрицы, т. е. .

Доказательство. ОПределителя матрицы А есть алгебраическая сумма N! произведений вида

(11)

Где в каждое произведение входит по одному элементу из каждой строки и каждого столбца матрицы A, со знаком равным знаку подстановки

Так как сомножители произведения (11) также находятся по одному в каждом столбце и каждой строке матрицы , то каждое произведение определителя матрицы A входит в определитель матрицы . Отсюда. так как количество слагаемых в и в одинаково, следует, что и в состоят из одних и тех же слагаемых. Для того, чтобы показать, что знаки произведений равны, составим подстановку для произведения (11) в (учитываем, что строки матрицы А стали столбцами матрицы с теми же номерами). Она равна подтановке:

Подстановки иИмеют одинаковое число инверсий, четность и знак.

Таким образом и суммы одних и тех же произведений и поэтому . Свойство доказано.

Замечание 1. Из свойства 1 вытекает, что строки и столбцы матрицы Равноправны, т. е., если какое-нибудь свойство доказано для строк, то оно будет справедливо и для столбцов и обратно. Поэтому дальнейшие свойства формулируются и доказываются только для строк. В дальнейшем под строками и столбцами определителя понимаются строки и столбцы соответствующей матрицы.

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

Доказательство. Пусть даны исходный и преобразованный определитель:

. (12)

ОПределитель D есть алгебраическая сумма N! произведений вида

, (13)

Где в каждое произведение входит по одному элементу из каждой строки и каждого столбца определителя D, со знаком равным знаку подстановки

Свойство 3. Если в определителе есть две одинаковые строки, то определитель равен нулю.

Свойство 4. Если в определителе есть нулевая строка, то определитель равен нулю.

Доказательство. Пусть в определителе I-я строка нулевая. По определению определителя он равен алгебраической сумме произведений вида:

В каждое произведение входит нулевой элемент I-й строки и поэтому оно равно нулю. Следовательно, и определитель равен нулю. Свойство доказано.

Пусть все элементы I-й строки представлены в виде ; J=1,2. N. Тогда свойство перепишется в виде:

= .

Доказательство. По формуле (8) находим

= .

Замечание 2. Индукцией по m легко доказать, что свойство 5 справедливо для случая, когда каждый элемент i-й строки сумма m слагаемых, .

Свойство 6. Если все элементы какой-нибудь строки определителя имеют общий множитель, то его можно вынести за знак определителя, т. е., если элементы какой-нибудь строки определителя умножить на число k, то и сам определитель умножится на число k.

Доказательство. По формуле (8) находим

Свойство 7. Если в определителе есть две пропорциональны строки, то он равен нулю.

Доказательство. Пусть I-я и J-я строки определителя пропорциональны, т. е. . Вынося из J-й общий множитель K за знак определителя, получим определитель с двумя равными строками, который равен нулю. Поэтому и исходный определитель равен нулю. Свойство доказано.

Свойство 8. Если к какой-нибудь строке определителя прибавить другую строку, умноженную на число k, то определитель от этого не изменится.

Определение 10. Говорят, что I-я строка матрицы A есть линейная комбинация остальных строк определителя, если существуют такие числа , что каждый элемент I-й строки есть сумма попарных произведений этих чисел на соответствующие элементы остальных строк матрицы, т. е.

Свойство 9. Если какая-нибудь строка определителя есть линейная комбинация остальных строк определителя, то определитель равен нулю.

Доказательство. Если I-я строка определителя есть линейная комбинация остальных строк определителя, то по замечанию 2 определитель равен сумме n-1 определителей с пропорциональными строками, и по свойству 7 все такие определители равны нулю. Тогда и исходный определитель равен нулю. Свойство доказано.

Источник

Убедитесь что определитель матрицы равен определителю транспонированной матрицы

Доказательство проводится проверкой, т.е. сравнением обеих частей записанного равенства. Вычислим определители, стоящие слева и справа:

Доказательство проводится аналогично доказательству свойства 1 сравнением обеих частей. Проведём его для определителя второго порядка.

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

Действительно, если переставить здесь 2-ю и 3-ю строки, то по свойству 2 этот определитель должен изменить знак, но сам определитель в данном случае не меняется, т.е. получаем |A| = –|A| или |A| = 0.

Доказательство проводится проверкой, как и свойство 1. (Самостоятельно)

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

Эти свойства определителей довольно часто используются при вычислении определителей и в различных задачах.

АЛГЕБРАИЧЕСКИЕ ДОПОЛНЕНИЯ И МИНОРЫ

Пусть имеем определитель третьего порядка: .

Минором, соответствующим данному элементу a_ij определителя третьего порядка, называется определитель второго порядка, полученный из данного вычёркиванием строки и столбца, на пересечении которых стоит данный элемент, т.е. i-ой строки и j-го столбца. Миноры соответствующие данному элементу a_ij будем обозначать M_ij.

Например, минором M₁₂, соответствующим элементу a₁₂, будет определитель , который получается вычёркиванием из данного определителя 1-ой строки и 2-го столбца.

Таким образом, формула, определяющая определитель третьего порядка, показывает, что этот определитель равен сумме произведений элементов 1-ой строки на соответствующие им миноры; при этом минор, соответствующий элементу a₁₂, берётся со знаком “–”, т.е. можно записать, что

(1)

Аналогично можно ввести определения миноров для определителей второго порядка и высших порядков.

Введём ещё одно понятие.

Алгебраическое дополнение элемента a_ij обозначается A_ij.

Из определения получаем, что связь между алгебраическим дополнением элемента и его минором выражается равенством A_ij = (–1) i+j M_ij.

Например,

Пример. Дан определитель . Найти A₁₃, A₂₁, A₃₂.

Легко видеть, что используя алгебраические дополнения элементов, формулу (1) можно записать в виде:

Аналогично этой формуле можно получить разложение определителя по элементам любой строки или столбца.

Например, разложение определителя по элементам 2-ой строки можно получить следующим образом. Согласно свойству 2 определителя имеем:

Разложим полученный определитель по элементам 1-ой строки.

(2)

Отсюда т.к. определители второго порядка в формуле (2) есть миноры элементов a₂₁, a₂₂, a₂₃. Таким образом, , т.е. мы получили разложение определителя по элементам 2-ой строки.

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

Таким образом, справедлива следующая теорема.

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

Всё вышесказанное справедливо и для определителей любого более высокого порядка.