Какие из свойств определителя справедливы

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

Определение.Определитель (детерминант) матрицы – это число, характеризующее квадратную матрицу и вычисляемое по специальному правилу:

1. Определитель первого порядка (n = 1)

.

2. Определитель второго порядка (n = 2)

.

3. Определитель третьего порядка n = 3

=

=а11а22а33 +а12а23a31 + а21а32a13 — a31a22a13 — a12a21a33 — a32a23a11.

Определители более высокого порядка вычисляются рекурентно (см. ниже).

Определитель матрицы А обозначается также detA или символом D.

Определение. Минором – элемента – называется определитель -го порядка, полученный вычеркиванием i-й строки и j-го столбца.

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

Примечание.

· Определитель n-го порядка имеет n2 миноров -го порядка.

· , если – четное число;

· , если – нечетное число.

Основные свойства определителей

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

,

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

Замечание.Все свойства, сформулированные для строк, верны и для столбцов.

В частности, при имеем:

2.Правило Лапласа, разложения по строке.

Для любой строки, напрмер -той, справедливо равенство:

,

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

Пример. Вычислить определитель третьего порядка разложением по строке:

= , где i = 1, 2, 3.

3.Свойство нормировки.

Определитель единичной матрицы равен 1.

4.Аддитивность.

Если все элементы какой-либо строки определителя представляют сумму двух слагаемых, то определитель равен сумме двух соответствующих определителей:

В частности, при имеем:

.

5.Однородность.

Общий множитель какой-либо строки можно выносить за знак определителя:

В частности, при имеем:

.

Пример. .

6.Антисимметричность.

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

.

В частности, при имеем:

.

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

.

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

1.Определитель диагональной матрицы равен поизведению диагональных элементов.

Пример. .

2.Определитель треугольной матрицы равен поизведению диагональных элементов.

Пример. .

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

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

Пусть в матрице строки и — одинаковые (по условию) то есть

( ). (*)

Обозначим определитель матрицы через . Переставим местами строки с номерами и . С одной стороны, по условию теоремы, они одинаковые, а значит от их перестановки ничего не изменится. С другой стороны, по свойству 6, при перестановки любых двух строк определитель меняет знак, а значит он равен нулю.

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

.

В частности, при имеем:

.

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

Обозначим . Прибавим к -той строке определителя -тую строку , домноженную на число : . По свойству аддитивности и однородности имеем: =

= .

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

Пример. .

5.Определитель не изменится, если к элементам какой-либо строки прибавить линейную комбинацию других строк.

Замечание. Следсвие 5 является обобщением следствия 4. Докажите самостоятельно.

6.Определитель равен нулю, если все элементы какого-либо его ряда равны нулю:

.

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

, .

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

1) Если строки линейно зависимы, то существует строка являющаяся линейной комбинацией остальных строк. Прибавим к ней эту комбинацию с противоположым знаком.при этом значение определителя согласно свойству 11 не изменится. Но, таким образом, получим нулевую строку. А, согласно свойству 13, определитель равен нулю.

2) Предположим противное. Определитель матрицы равен нулю, а ее строки – линейно независимы. Но по определению Л.Н. строк следует, что их линейная комбинация с ненулевым набором коэффициентов никогда не равна нулю

Дата добавления: 2016-12-31; просмотров: 1187 | Нарушение авторских прав | Изречения для студентов

Читайте также:

Рекомендуемый контект:

Поиск на сайте:

© 2015-2020 lektsii.org — Контакты — Последнее добавление

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

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

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

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

Поставим
теперь в соответствие каждой квадратной матрице еще одно число (не обязательно
целое) – определитель матрицы, или
просто определитель.

Назовем
определителем (или  детерминантом)
треугольной (диагональной) матрицы произведение элементов ее  главной диагонали. Будем для определителя
использовать обозначения или  .

Тогда
для единичной матрицы  любого порядка . Для треугольной матрицы

.

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

Пример 1. Вычислите определитель матрицы

.

Решение.

.

Ответ: .

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

Пусть

1)    
Если  ,  то

Таким образом
при

2)    
Если , , то

и
формула  (1)  сохраняется и в этом случае.

3)    
Если , , то  (матрица  содержит нулевой  столбец). С другой стороны, ,.

По формуле (I0) получили бы тот же
результат: =.

Итак, формула (I0) верна для определителя
любой матрицы второго порядка.

Пусть теперь .

Без ограничения общности
можем считать  (в противном случае
поступим как в пункте 2) или 3) для определителя матрицы второго порядка).

Тогда
  ~  .

1)    
Сначала рассмотрим случай .

Тогда

  ~    ~

~ ,

.

Таким образом, при ,

2)    
Пусть теперь , но .

Тогда

  ~    ~

~     ~

~        

т.к.

.

Получена та же формула (2),
что и  в случае 1).

3) Пусть теперь  и   .    В этом случае

  ~      

.

Легко проверяется справедливость
формулы (2) и в этом случае.

Итак, для определителя
матрицы третьего порядка (или короче, для определителя третьего порядка)
справедлива формула

Из формул (1) и (2) легко
следует равенство

,

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

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

Если, как обычно, элементы
матрицы   обозначить , а соответствующие им миноры — , то полученное равенство примет вид:

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

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

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

.

Для произвольной (-й) строки и произвольного (-ого)  столбца
соответствующие разложения имеют вид:

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

Матрица , у  которой  произвольный 
(-й) столбец  совпадает 
с  соответствующей  (-й) 
строкой  матрицы ,  называется  транспонированной  к 
матрице . Следовательно, если , , то .

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

Так, например, для
матрицы 

транспонированная
матрица имеет вид

.

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

Для краткости вместо
выражения «определитель матрицы» часто говорят просто
«определитель» , используя при этом
следующие обозначения:

.

Определитель обладает
следующими свойствами:

1.    
Определитель не меняется при транспонировании, т.е. при
замене его  строк соответствующими
столбцами и наоборот: .

2.    
При перестановке местами любых двух строк (столбцов)
определитель лишь меняет знак.

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

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

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

5′. Общий множитель всех элементов некоторой строки (столбца)
можно вынести за знак определителя.

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

7.    
Если все элементы -й строки определителя
представлены в виде суммы двух слагаемых

,  ,

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

Аналогичное свойство имеет место и для столбцов определителя.

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

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

10. Сумма
попарных произведений элементов какой-либо строки
(столбца) на алгебраические дополнения элементов другой («чужой»)
строки (столбца) равна нулю:

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

Обратим внимание на
свойство 8. Это единственное
из элементарных преобразований строк (столбцов) матрицы было положено нами в
основу  понятия определителя, и только оно сохраняет его величину:
согласно  свойству 2 при перестановке
любых двух строк (столбцов) определитель, вообще говоря, меняет свое значение;
то же самое происходит (согласно свойству 5) при  умножении строки (столбца) определителя на
некоторое число; выбрасывание же нулевой строки (столбца) нарушает
размер матрицы – она перестает быть квадратной.

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

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

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

Заметим, что формулы (5),
обобщающие выведенные нами формулы (4), могут быть приняты за индуктивные
определения детерминанта произвольного порядка  через детерминанты порядка   (на единицу ниже).
Так, для вычисления определителя четвертого порядка по одной из формул (5)
потребуется вычислить четыре определителя третьего порядка. Если при этом
воспользоваться формулой (2), то это 
приведет к довольно  утомительным
вычислениям. А что будет, если потребуется вычислить определитель более
высокого порядка, например, седьмого?

Конечно, если некоторые
элементы строки (столбца), к которой мы применяем свойство 9, окажутся нулями,
то  нет необходимости вычислять
соответствующие им миноры.

Поэтому практичнее, не
отказываясь от применения свойства 9 (формулы (5)), использовать свойство 8 для
создания в какой-либо строке (столбце) возможно большего числа нулей.

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

.

Решение.

.

Вычисление определителей третьего
порядка производилось по формуле (2).

Ответ:.

Пример 3. Вычислите,
используя свойство 8, определитель предыдущего примера.

Решение.

Ответ: .

Пример 4. Вычислите определитель шестого порядка

.

Решение.

По свойству 6 определитель
равен нулю, так как его первый и шестой столбцы пропорциональны.

Ответ: .

Пример 5. Вычислите определитель пятого порядка

.

Решение.

Ответ: .

Заметим, что при решении
примера 33 мы еще использовали свойство 5′ определителя.

Используя свойства
определителей, рассмотрим теперь еще один способ получения обратной матрицы.

Для произвольной
квадратной  матрицы  порядка  введем понятие присоединенной  матрицы

,

элементами которой являются алгебраические дополнения
соответствующих элементов матрицы , транспонированной к матрице :

.

Считаем матрицу  невырожденной, т.е. , так как в противном случае, как отмечалось выше, матрица  не имеет обратной.

Проверим, что матрица

,

т.е.
является обратной для матрицы .

Только для краткости записи
рассмотрим в качестве  матрицу третьего
порядка. Тогда, с учетом свойств 9  и 10
определителей, получим

.

Совершенно аналогично
проверяется, что

,

и мы
доказали, что обратную матрицу можно находить с помощью формулы

Пример 6. Найдите
обратную матрицу  для матрицы

.

Решение.

Определитель матрицы

Следовательно,
обратная матрица   существует. Вычислим
алгебраические  дополнения элементов
матрицы :

, ,

, ,

,  ,

,  ,

.

По формуле (6)

.

Проверим вычисления:

.

Ответ:

.

Пример 7. Найдите
обратную матрицу  для матрицы

.

Решение.

Определитель матрицы

Матрица  вырожденная и не имеет
обратной.

Ответ: матрица  не имеет обратной.