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

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

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

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

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

.

(1)

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

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

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

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

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

Например,

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

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

.

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

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

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

.

(2)

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

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

Начнем с определителя «два» на «два»:

ЭТО НУЖНО ЗАПОМНИТЬ, по-крайне мере на время изучения высшей математики в ВУЗе.

Сразу рассмотрим пример:

Готово. Самое главное, НЕ ЗАПУТАТЬСЯ В ЗНАКАХ.

Определитель матрицы «три на три» можно раскрыть 8 способами, 2 из них простые и 6 - нормальные.

Начнем с двух простых способов

Аналогично определителю «два на два», определитель «три на три» можно раскрыть с помощью формулы:

Пример:

Формула длинная и допустить ошибку по невнимательности проще простого. Как избежать досадных промахов? Для этого придуман второй способ вычисления определителя, который фактически совпадает с первым. Называется он способом Саррюса или способом «параллельных полосок».
Суть состоит в том, что справа от определителя приписывают первый и второй столбец и аккуратно карандашом проводят линии:

Множители, находящиеся на «красных» диагоналях входят в формулу со знаком «плюс».
Множители, находящиеся на «синих» диагоналях входят в формулу со знаком минус:

Пример:

Сравните два решения. Нетрудно заметить, что это ОДНО И ТО ЖЕ, просто во втором случае немного переставлены множители формулы, и, самое главное, вероятность допустить ошибку значительно меньше.

Теперь рассмотрим шесть нормальных способов для вычисления определителя

Почему нормальных? Потому-что в подавляющем большинстве случаев определители требуется раскрывать именно так.

Как Вы заметили, у определителя «три на три» три столбца и три строки.
Решить определитель можно, раскрыв его по любой строке или по любому столбцу.
Таким образом, получается 6 способов, при этом во всех случаях используется однотипный алгоритм.

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

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

Внимание! Матрица знаков – это мое собственное изобретение. Данное понятие не научное, его не нужно использовать в чистовом оформлении заданий, оно лишь помогает Вам понять алгоритм вычисления определителя.

Сначала я приведу полное решение. Снова берем наш подопытный определитель и проводим вычисления:

И главный вопрос: КАК из определителя «три на три» получить вот это вот:
?

Итак, определитель «три на три» сводится к решению трёх маленьких определителей, или как их еще называют, МИНОРОВ. Термин рекомендую запомнить, тем более, он запоминающийся: минор – маленький.

Коль скоро выбран способ разложения определителя по первой строке, очевидно, что всё вращается вокруг неё:

Элементы обычно рассматривают слева направо (или сверху вниз, если был бы выбран столбец)

Поехали, сначала разбираемся с первым элементом строки, то есть с единицей:

1) Из матрицы знаков выписываем соответствующий знак:

2) Затем записываем сам элемент:

3) МЫСЛЕННО вычеркиваем строку и столбец, в котором стоит первый элемент:

Оставшиеся четыре числа и образуют определитель «два на два», который называется МИНОРОМ данного элемента (единицы).

Переходим ко второму элементу строки.

4) Из матрицы знаков выписываем соответствующий знак:

5) Затем записываем второй элемент:

6) МЫСЛЕННО вычеркиваем строку и столбец, в котором стоит второй элемент:

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

Ну и третий элемент первой строки. Никакой оригинальности:

7) Из матрицы знаков выписываем соответствующий знак:

8) Записываем третий элемент:

9) МЫСЛЕННО вычеркиваем строку и столбец, в котором стоит третий элемент:

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

Остальные действия не представляют трудностей, поскольку определители «два на два» мы считать уже умеем. НЕ ПУТАЕМСЯ В ЗНАКАХ!

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

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

В следующем примере я раскрыл определитель по четвертому столбцу:

А как это получилось, попробуйте разобраться самостоятельно. Дополнительная информация будет позже. Если кто захочет прорешать определитель до конца, правильный ответ: 18. Для тренировки лучше раскрыть определитель по какому-нибудь другому столбцу или другой строке.

Метод Крамера (правило Крамера) — способ решения квадратных систем линейных алгебраических уравнений с ненулевым определителем основной матрицы (причём для таких уравнений решение существует и единственно). Назван по имени Габриэля Крамера (1704–1752), придумавшего метод.

Описание метода

Для системы линейных уравнений с неизвестными (над произвольным полем)

с определителем матрицы системы , отличным от нуля, решение записывается в виде

(i-ый столбец матрицы системы заменяется столбцом свободных членов).
В другой форме правило Крамера формулируется так: для любых коэффициентов c₁, c₂, …, c_n справедливо равенство:

В этой форме формула Крамера справедлива без предположения, что отлично от нуля, не нужно даже, чтобы коэффициенты системы были бы элементами целостного кольца (определитель системы может быть даже делителем нуля в кольце коэффициентов). Можно также считать, что либо наборы и , либо набор состоят не из элементов кольца коэффициентов системы, а какого-нибудь модуля над этим кольцом. В этом виде формула Крамера используется, например, при доказательстве формулы для определителя Грама и Леммы Накаямы.

Пример

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

Определители:

Решение:

Пример:

Определители:

Ранг матрицы

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

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

Не нашли, что искали? Воспользуйтесь поиском по сайту: