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

1. Определитель не меняется при транспонировании.

2. Если в определителе переставить две строки, определитель поменяет знак.

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

4. Определитель, содержащий две пропорциональные строки, равен нулю.

5. Если все элементы Свойства определителя матрицы. - student2.ru строки определителя представлены в виде суммы двух слагаемых Свойства определителя матрицы. - student2.ru , то определитель равен сумме определителей, у которых все строки, кроме Свойства определителя матрицы. - student2.ru , - такие же, как в заданном определителе, а Свойства определителя матрицы. - student2.ru строка в одном из слагаемых состоит из элементов Свойства определителя матрицы. - student2.ru , в другом - из элементов Свойства определителя матрицы. - student2.ru .

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

Миноры и алгебраические дополнения

Обозначим через Свойства определителя матрицы. - student2.ru матрицу, которая остается при вычеркивании из матрицы Свойства определителя матрицы. - student2.ru Свойства определителя матрицы. - student2.ru строки и Свойства определителя матрицы. - student2.ru столбца. Тогда Свойства определителя матрицы. - student2.ru называется минором элемента Свойства определителя матрицы. - student2.ru . Величина Свойства определителя матрицы. - student2.ru называется алгебраическим дополнением элемента Свойства определителя матрицы. - student2.ru .

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

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

Свойства определителя матрицы. - student2.ru

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

Свойства определителя матрицы. - student2.ru

Для вычисления значений определителей матриц третьего порядка можно воспользоваться формулой разложения определителя по первой строке:

Свойства определителя матрицы. - student2.ru

Пример 7.Не вычисляя определителя Свойства определителя матрицы. - student2.ru , показать, что он равен нулю.

Решение. Вычтем из второй строки первую, получим определитель

Свойства определителя матрицы. - student2.ru , равный исходному. Если из третьей строки также вычесть первую, то получится определитель Свойства определителя матрицы. - student2.ru , в котором две строки пропорциональны. Такой определитель равен нулю.

Пример 8.Вычислить определитель Свойства определителя матрицы. - student2.ru , разложив его по элементам второго столбца.

Решение. Разложим определитель по элементам второго столбца:

Свойства определителя матрицы. - student2.ru

Ранг матрицы

Рассмотрим прямоугольную матрицу Свойства определителя матрицы. - student2.ru . Если в этой матрице выделить произвольно Свойства определителя матрицы. - student2.ru строк и Свойства определителя матрицы. - student2.ru столбцов, то элементы, стоящие на пересечении выделенных строк и столбцов, образуют квадратную матрицу Свойства определителя матрицы. - student2.ru порядка. Определитель этой матрицы называется минором k-го порядкаматрицы Свойства определителя матрицы. - student2.ru . Очевидно, что матрица Свойства определителя матрицы. - student2.ru обладает минорами любого порядка от Свойства определителя матрицы. - student2.ru до наименьшего из чисел Свойства определителя матрицы. - student2.ru и Свойства определителя матрицы. - student2.ru . Некоторые среди них будут равны нулю. Среди всех отличных от нуля миноров матрицы Свойства определителя матрицы. - student2.ru найдется, по крайней мере, один минор, порядок которого будет наибольшим. Наибольший из порядков миноров данной матрицы, отличных от нуля, называется рангом матрицы. Если ранг матрицы Свойства определителя матрицы. - student2.ru равен Свойства определителя матрицы. - student2.ru , то это означает, что в матрице Свойства определителя матрицы. - student2.ru имеется отличный от нуля минор порядка Свойства определителя матрицы. - student2.ru , но всякий минор порядка, большего чем Свойства определителя матрицы. - student2.ru , равен нулю. Ранг матрицы Свойства определителя матрицы. - student2.ru обозначается через Свойства определителя матрицы. - student2.ru . Очевидно, что выполняется соотношение

Свойства определителя матрицы. - student2.ru

Ранг матрицы находится либо методом окаймления миноров, либо методом элементарных преобразований. При вычислении ранга матрицы первым способом следует переходить от миноров низших порядков к минорам более высокого порядка. Если уже найден минор Свойства определителя матрицы. - student2.ru Свойства определителя матрицы. - student2.ru порядка матрицы Свойства определителя матрицы. - student2.ru , отличный от нуля, то требуют вычисления лишь миноры Свойства определителя матрицы. - student2.ru порядка, окаймляющие минор Свойства определителя матрицы. - student2.ru , т.е. содержащие его в качестве минора. Если все они равны нулю, то ранг матрицы равен Свойства определителя матрицы. - student2.ru .

Элементарными называются следующие преобразования матрицы:

1) перестановка двух любых строк (или столбцов),

2) умножение строки (или столбца) на отличное от нуля число,

3) прибавление к одной строке (или столбцу) другой строки (или столбца), умноженной на некоторое число.

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

Эквивалентные матрицы не являются, вообще говоря, равными, но их ранги равны. Если матрицы Свойства определителя матрицы. - student2.ru и Свойства определителя матрицы. - student2.ruэквивалентны, то это записывается так: Свойства определителя матрицы. - student2.ru .

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

Свойства определителя матрицы. - student2.ru .

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

Пример 11. Найти методом окаймления миноров ранг матрицы

Свойства определителя матрицы. - student2.ru

Решение. Начинаем с миноров Свойства определителя матрицы. - student2.ru порядка, (т.е. с элементов матрицы Свойства определителя матрицы. - student2.ru ). Выберем, например, минор (элемент) Свойства определителя матрицы. - student2.ru , расположенный в первой строке и первом столбце. Окаймляя при помощи второй строки и третьего столбца, получаем минор Свойства определителя матрицы. - student2.ru , отличный от нуля. Переходим теперь к минорам Свойства определителя матрицы. - student2.ru порядка, окаймляющим Свойства определителя матрицы. - student2.ru . Их всего два (можно добавить второй столбец или четвертый). Вычисляем их:

Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru .

Таким образом, все окаймляющие миноры третьего порядка оказались равными нулю. Ранг матрицы Свойства определителя матрицы. - student2.ru равен двум.

Пример 12. Найти ранг матрицы

Свойства определителя матрицы. - student2.ru

и привести ее к каноническому виду.

Решение. Из второй строки вычтем первую и переставим эти строки:

Свойства определителя матрицы. - student2.ru .

Теперь из второй и третьей строк вычтем первую, умноженную соответственно на Свойства определителя матрицы. - student2.ru и Свойства определителя матрицы. - student2.ru :

Свойства определителя матрицы. - student2.ru ;

из третьей строки вычтем вторую, при этом получим матрицу

Свойства определителя матрицы. - student2.ru ,

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

Матрицу Свойства определителя матрицы. - student2.ru легко привести к канонической.

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

Свойства определителя матрицы. - student2.ru

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

. Свойства определителя матрицы. - student2.ru

Обратная матрица

Пусть дана квадратная матрица:

Свойства определителя матрицы. - student2.ru .

Обозначим Свойства определителя матрицы. - student2.ru .

Квадратная матрица Свойства определителя матрицы. - student2.ru называется невырожденной, или неособенной, если ее определитель отличен от нуля, и вырожденной, или особенной, если Свойства определителя матрицы. - student2.ru .

Квадратная матрица Свойства определителя матрицы. - student2.ru называется обратной для квадратной матрицы Свойства определителя матрицы. - student2.ru того же порядка, если их произведение Свойства определителя матрицы. - student2.ru , где Свойства определителя матрицы. - student2.ru - единичная матрица того же порядка, что и матрицы Свойства определителя матрицы. - student2.ru и Свойства определителя матрицы. - student2.ru .

Теорема. Для того чтобы матрица Свойства определителя матрицы. - student2.ru имела обратную, необходимо и достаточно, чтобы ее определитель был отличен от нуля.

Матрица, обратная матрице Свойства определителя матрицы. - student2.ru , обозначается через Свойства определителя матрицы. - student2.ru , так что Свойства определителя матрицы. - student2.ru . Обратная матрица вычисляется по формуле

Свойства определителя матрицы. - student2.ru ,

где Свойства определителя матрицы. - student2.ru - алгебраические дополнения элементов Свойства определителя матрицы. - student2.ru . Или

Свойства определителя матрицы. - student2.ru

Таким образом, обратная матрица – это транспонированная матрица алгебраических дополнений, умноженная на коэффициент Свойства определителя матрицы. - student2.ru .

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

Любую неособенную матрицу Свойства определителя матрицы. - student2.ru путем ЭП только столбцов (или только строк) можно привести к единичной матрице Свойства определителя матрицы. - student2.ru .

Если совершенные над матрицей Свойства определителя матрицы. - student2.ru ЭП в том же порядке применить к единичной матрице Свойства определителя матрицы. - student2.ru , то в результате получится обратная матрица. Удобно совершать ЭП над матрицами Свойства определителя матрицы. - student2.ru и Свойства определителя матрицы. - student2.ru одновременно, записывая обе матрицы рядом через черту.

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

Пример 15. Для матрицы Свойства определителя матрицы. - student2.ru найти обратную ей матрицу.

Решение. Находим сначала детерминант матрицы Свойства определителя матрицы. - student2.ru (для этого прибавляем ко второму столбцу первый, а от третьего отнимаем первый, деленный на два):

Свойства определителя матрицы. - student2.ru

значит, обратная матрица существует, и мы ее можем найти по формуле:

Свойства определителя матрицы. - student2.ru ,

где Свойства определителя матрицы. - student2.ru ‑ алгебраические дополнения элементов Свойства определителя матрицы. - student2.ru исходной матрицы.

Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru ,

Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru ,

Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru ,

Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru ,

Свойства определителя матрицы. - student2.ru

Откуда

Свойства определителя матрицы. - student2.ru

Свойства определителя матрицы. - student2.ru .

Пример 16. Методом элементарных преобразований найти обратную матрицу для матрицы: Свойства определителя матрицы. - student2.ru .

Решение. Приписываем к исходной матрице справа единичную матрицу того же порядка: Свойства определителя матрицы. - student2.ru . С помощью элементарных преобразований столбцов приведем левую “половину” к единичной, совершая одновременно точно такие преобразования над правой матрицей.

1. Поменяем местами первый и второй столбцы:

Свойства определителя матрицы. - student2.ru .

2. К третьему столбцу прибавим первый, а ко второму - первый, умноженный на Свойства определителя матрицы. - student2.ru :

Свойства определителя матрицы. - student2.ru .

3. Из первого столбца вычтем удвоенный второй, а из третьего - умноженный на Свойства определителя матрицы. - student2.ru второй;

Свойства определителя матрицы. - student2.ru .

4. Прибавим третий столбец к первому и второму:

Свойства определителя матрицы. - student2.ru .

5. Умножим последний столбец на Свойства определителя матрицы. - student2.ru :

Свойства определителя матрицы. - student2.ru .

Полученная справа от вертикальной черты квадратная матрица является обратной к данной матрице Свойства определителя матрицы. - student2.ru . Итак,

Свойства определителя матрицы. - student2.ru .

Системы линейных уравнений.

Система линейных уравнений имеет вид:

Свойства определителя матрицы. - student2.ru

Здесь Свойства определителя матрицы. - student2.ru и Свойства определителя матрицы. - student2.ru Свойства определителя матрицы. - student2.ru ‑ заданные, а Свойства определителя матрицы. - student2.ru ‑ неизвестные действительные числа. Используя понятие произведения матриц, можно переписать систему в виде:

AX =B

где Свойства определителя матрицы. - student2.ru - матрица, состоящая из коэффициентов при неизвестных, которая называется матрицей системы, Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru - векторы-столбцы, составленные соответственно из неизвестных Свойства определителя матрицы. - student2.ru xj и из свободных членов bi.

Упорядоченная совокупность Свойства определителя матрицы. - student2.ru вещественных чисел Свойства определителя матрицы. - student2.ru называется решением системы, если в результате подстановки этих чисел вместо соответствующих переменных Свойства определителя матрицы. - student2.ru каждое уравнение системы обратится в арифметическое тождество.

Система называется совместной, или разрешимой, если она имеет по крайней мере одно решение. Система называется несовместной, или неразрешимой, если она не имеет решений.

Матрица

Свойства определителя матрицы. - student2.ru ,

образованная путем приписывания справа к матрице A столбца свободных членов, называется расширенной матрицей системы.

Вопрос о совместности системы решается следующей теоремой.

Теорема Кронекера-Капелли.

Система линейных уравнений совместна тогда и только тогда, когда ранги матриц A и Свойства определителя матрицы. - student2.ru совпадают, т.е. Свойства определителя матрицы. - student2.ru .

Система имеет единственное решение только в том случае, когда
Свойства определителя матрицы. - student2.ru . При этом число уравнений - не меньше числа неизвестных Свойства определителя матрицы. - student2.ru ; если Свойства определителя матрицы. - student2.ru , то Свойства определителя матрицы. - student2.ru уравнений являются следствиями остальных. Если Свойства определителя матрицы. - student2.ru , то система является неопределенной.

Для решения произвольной системы линейных уравнений нужно уметь решать системы, в которых число уравнений равно числу неизвестных, - так называемые системы крамеровского типа:

Свойства определителя матрицы. - student2.ru

Эти системы решаются одним из следующих способов:

1) методом Гаусса, или методом исключения неизвестных;

2) по формулам Крамера;

3) матричным методом.

Пример 17. Исследовать систему уравнений и решить ее, если она совместна:

Свойства определителя матрицы. - student2.ru

Решение. Выписываем расширенную матрицу системы:

Свойства определителя матрицы. - student2.ru .

Вычислим ранг основной матрицы системы. Очевидно, что, например, минор второго порядка в левом верхнем углу Свойства определителя матрицы. - student2.ru ; содержащие его миноры третьего порядка равны нулю:

Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru .

Следовательно, ранг основной матрицы системы равен 2, т.е. Свойства определителя матрицы. - student2.ru . Для вычисления ранга расширенной матрицы Свойства определителя матрицы. - student2.ru рассмотрим окаймляющий минор

Свойства определителя матрицы. - student2.ru ,

значит, ранг расширенной матрицы Свойства определителя матрицы. - student2.ru . Поскольку Свойства определителя матрицы. - student2.ru , то система несовместна.

А. Метод Гаусса

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

Пример 18. Решить систему уравнений методом Гаусса:

Свойства определителя матрицы. - student2.ru

Решение. Выпишем расширенную матрицу данной системы

Свойства определителя матрицы. - student2.ru

и произведем следующие элементарные преобразования над ее строками:

а) из ее второй и третьей строк вычтем первую, умноженную соответственно на 3 и 2:

Свойства определителя матрицы. - student2.ru ;

б) третью строку умножим на (-5) и прибавим к ней вторую:

Свойства определителя матрицы. - student2.ru .

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

Свойства определителя матрицы. - student2.ru

Из последнего уравнения находим Свойства определителя матрицы. - student2.ru . Подставляя это значение во второе уравнение, имеем Свойства определителя матрицы. - student2.ru . Далее из первого уравнения получим Свойства определителя матрицы. - student2.ru .

Б. Формулы Крамера

Назовем столбцы матрицы Свойства определителя матрицы. - student2.ru следующим образом: первый столбец - Свойства определителя матрицы. - student2.ru , второй столбец - Свойства определителя матрицы. - student2.ru , и т.д., последний столбец - Свойства определителя матрицы. - student2.ru . Тогда матрицу Свойства определителя матрицы. - student2.ru можно записать в виде Свойства определителя матрицы. - student2.ru .

Составим Свойства определителя матрицы. - student2.ru дополнительных матриц:

Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru , …, Свойства определителя матрицы. - student2.ru ,

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

Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru , …, Свойства определителя матрицы. - student2.ru .

Тогда значения неизвестных вычисляются по формулам Крамера:

Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru , …, Свойства определителя матрицы. - student2.ru .

Правило Крамера дает исчерпывающий ответ на вопрос о совместности системы: если главный определитель системы отличен от нуля, то система имеет единственное решение, определяемое по вышеприведенным формулам.

Если главный определитель системы Свойства определителя матрицы. - student2.ru и все вспомогательные определители Свойства определителя матрицы. - student2.ru равны нулю, то система имеет бесчисленное множество решений.

Если главный определитель системы Свойства определителя матрицы. - student2.ru , а хотя бы один вспомогательный определитель отличен от нуля, то система несовместна.

Пример 19. Решить систему уравнений методом Крамера.

Свойства определителя матрицы. - student2.ru

Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru .

Тогда

Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru .

Вычисляя определители этих матриц, получаем Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru .

И по формулам Крамера находим: Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru .

В. Матричный метод

Теперь, рассмотрим матричное уравнение Свойства определителя матрицы. - student2.ru . Если у матрицы Свойства определителя матрицы. - student2.ru существует обратная матрица Свойства определителя матрицы. - student2.ru , то, умножая матричное уравнение на Свойства определителя матрицы. - student2.ru слева, получим:

Свойства определителя матрицы. - student2.ru .

По определению обратимости матрицы Свойства определителя матрицы. - student2.ru и по свойству единичной Свойства определителя матрицы. - student2.ru , получаем:

Свойства определителя матрицы. - student2.ru .

Пример 20. Решить систему уравнений с помощью обратной матрицы.

Свойства определителя матрицы. - student2.ru

Имеем:

Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru .

Вычислим определитель матрицы Свойства определителя матрицы. - student2.ru , разлагая по первой строке:

Свойства определителя матрицы. - student2.ru

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

Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru ,

Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru ,

Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru ,

Свойства определителя матрицы. - student2.ru , Свойства определителя матрицы. - student2.ru ,

Свойства определителя матрицы. - student2.ru .

Тогда решение системы получается умножением обратной матрицы на столбец свободных членов

Свойства определителя матрицы. - student2.ru

Наши рекомендации