что такое алгебраическое дополнение матрицы

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

В данной теме рассмотрим понятия алгебраического дополнения и минора. Изложение материала опирается на термины, пояснённые в теме «Матрицы. Виды матриц. Основные термины». Также нам понадобятся некоторые формулы для вычисления определителей. Так как в данной теме немало терминов, относящихся к минорам и алгебраическим дополнениям, то я добавлю краткое содержание, чтобы ориентироваться в материале было проще.

Этот минор несложно вычислить, используя формулу №2 из темы вычисления определителей второго и третьего порядков:

Чтобы найти значение данного минора используем формулу №1 из темы вычисления определителей второго и третьего порядков:

Например, рассмотрим такую матрицу:

Запишем для неё какой-либо минор третьего порядка. Чтобы записать минор третьего порядка нам потребуется выбрать какие-либо три строки и три столбца данной матрицы. Например, возьмём строки №2, №4, №6 и столбцы №1, №2, №4. На пересечении этих строк и столбцов будут располагаться элементы требуемого минора. На рисунке элементы минора показаны синим цветом:

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

Естественно, что мы могли взять иные строки и столбцы, – например, с номерами 2 и 4, получив при этом иной главный минор второго порядка.

Для примера рассмотрим такую матрицу:

Найдём значение этого минора, используя формулу №2 из темы вычисления определителей второго и третьего порядков:

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

Введём ещё одно понятие – окаймляющий минор.

Для примера обратимся к такой матрице:

Запишем минор второго порядка, элементы которого расположены на пересечении строк №2 и №5, а также столбцов №2 и №4. Эти элементы выделены в матрице красным цветом:

Вновь вернёмся к квадратным матрицам. Введём понятие дополнительного минора.

Для примера рассмотрим квадратную матрицу пятого порядка:

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

Источник

Как найти обратную матрицу?

Продолжаем разговор о действиях с матрицами. А именно – в ходе изучения данной лекции вы научитесь находить обратную матрицу. Научитесь. Даже если с математикой туго.

Что такое обратная матрица? Здесь можно провести аналогию с обратными числами: рассмотрим, например, оптимистичное число 5 и обратное ему число . Произведение данных чисел равно единице: . С матрицами всё похоже! Произведение матрицы на обратную ей матрицу равно – единичной матрице, которая является матричным аналогом числовой единицы. Однако обо всём по порядку – сначала решим важный практический вопрос, а именно, научимся эту самую обратную матрицу находить.

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

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

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

Сегодня мы изучим первый, более простой способ.

Начнем с самого ужасного и непонятного. Рассмотрим квадратную матрицу . Обратную матрицу можно найти по следующей формуле:

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

Понятие обратной матрицы существует только для квадратных матриц, матриц «два на два», «три на три» и т.д.

Обозначения: Как вы уже, наверное, заметили, обратная матрица обозначается надстрочным индексом

Начнем с простейшего случая – матрицы «два на два». Чаще всего, конечно, требуется найти обратную матрицу для матрицы «три на три», но, тем не менее, настоятельно рекомендую изучить более простое задание, для того чтобы усвоить общий принцип решения.

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

Решаем. Последовательность действий удобно разложить по пунктам.

1) Сначала находим определитель матрицы.

Если с пониманием сего действа плоховато, ознакомьтесь с материалом Как вычислить определитель?

Важно! В том случае, если определитель матрицы равен НУЛЮ – обратной матрицы НЕ СУЩЕСТВУЕТ.

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

2) Находим матрицу миноров .

Для решения нашей задачи не обязательно знать, что такое минор, однако, желательно ознакомиться со статьей Как вычислить определитель.

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

Возвращаемся к нашей матрице
Сначала рассмотрим левый верхний элемент:

Как найти его минор?
А делается это так: МЫСЛЕННО вычеркиваем строку и столбец, в котором находится данный элемент:

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

Рассматриваем следующий элемент матрицы :

Мысленно вычеркиваем строку и столбец, в котором стоит данный элемент:

То, что осталось, и есть минор данного элемента, который записываем в нашу матрицу:

Аналогично рассматриваем элементы второй строки и находим их миноры:


Готово.

– матрица миноров соответствующих элементов матрицы .

3) Находим матрицу алгебраических дополнений .

Это просто. В матрице миноров нужно ПОМЕНЯТЬ ЗНАКИ у двух чисел:

Именно у этих чисел, которые я обвел в кружок!

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

4) Находим транспонированную матрицу алгебраических дополнений .

Что такое транспонирование матрицы, и с чем это едят, смотрите в лекции Действия с матрицами.

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

5) Ответ.

Вспоминаем нашу формулу
Всё найдено!

Таким образом, обратная матрица:

Ответ лучше оставить в таком виде. НЕ НУЖНО делить каждый элемент матрицы на 2, так как получатся дробные числа. Более подробно данный нюанс рассмотрен в той же статье Действия с матрицами.

Как проверить решение?

Необходимо выполнить матричное умножение либо

Проверка:

Получена уже упомянутая единичная матрица – это матрица с единицами на главной диагонали и нулями в остальных местах.

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

Если провести действие , то в результате тоже получится единичная матрица. Это один из немногих случаев, когда умножение матриц перестановочно, более подробную информацию можно найти в статье Свойства операций над матрицами. Матричные выражения. Также заметьте, что в ходе проверки константа (дробь) выносится вперёд и обрабатывается в самом конце – после матричного умножения. Это стандартный приём.

Переходим к более распространенному на практике случаю – матрице «три на три»:

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

Алгоритм точно такой же, как и для случая «два на два».

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

1) Находим определитель матрицы.

Здесь определитель раскрыт по первой строке.

Также не забываем, что , а значит, всё нормально – обратная матрица существует.

2) Находим матрицу миноров .

Матрица миноров имеет размерность «три на три» , и нам нужно найти девять чисел.

Я подробно рассмотрю парочку миноров:

Рассмотрим следующий элемент матрицы:

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

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

Этот определитель «два на два» и является минором данного элемента. Его нужно вычислить:

Всё, минор найден, записываем его в нашу матрицу миноров:

Как вы, наверное, догадались, необходимо вычислить девять определителей «два на два». Процесс, конечно, муторный, но случай не самый тяжелый, бывает хуже.

Ну и для закрепления – нахождение еще одного минора в картинках:

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

Окончательный результат:
– матрица миноров соответствующих элементов матрицы .

То, что все миноры получились отрицательными – чистая случайность.

3) Находим матрицу алгебраических дополнений .

В матрице миноров необходимо СМЕНИТЬ ЗНАКИ строго у следующих элементов:

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

4) Находим транспонированную матрицу алгебраических дополнений .

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

5) Ответ:

Проверка:

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

Как оформить решение на чистовик? Примерный образец чистового оформления задания можно найти на странице Правило Крамера. Метод обратной матрицы в параграфе, где идет речь о матричном методе решения системы линейных уравнений. По существу, основная часть упомянутой задачи – и есть поиск обратной матрицы.

Нахождение обратной матрицы для матрицы «четыре на четыре» не рассматриваем, так как такое задание может дать только преподаватель-садист (чтобы студент вычислил один определитель «четыре на четыре» и 16 определителей «три на три»). В моей практике встретился только один такой случай, и заказчик контрольной работы заплатил за мои мучения довольно дорого =).

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

Иногда обратную матрицу требуется найти методом Гаусса-Жордана, но второй способ доступен для студентов с приличной техникой элементарных преобразований.

Автор: Емелин Александр

(Переход на главную страницу)

Zaochnik.com – профессиональная помощь студентам

cкидкa 15% на первый зaкaз, прoмoкoд: 5530-hihi5

Tutoronline.ru – онлайн репетиторы по математике и другим предметам

Источник

Алгебраическое дополнение матрицы

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

Определение и нахождение алгебраического дополнения

Пример
Вычислим алгебраическое дополнение A₃₂ к a₃₂ определителя ниже:

Свойства алгебраического дополнения

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

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

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

Источник

Как вычислить определитель (детерминант) матрицы? Минор и алгебраическое дополнение

Без преобразования матрицы, определитель легко посчитать только для матриц размером 2×2 и 3×3. Это делается по формулам:

(можно посчитать по любой строке, выше приводиться формула расчёта определителя по первой строке).

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

Для неё определитель равен:

Обратите внимание, что

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

Если привести матрицу к треугольному виду, то её определитель вычисляется как произведение цифр по диагонали. Например, для матрицы

Аналогично следует поступать с матрицами 5×5, 6×6 и другими больших размерностей.

Преобразования матриц нужно выполнять в соответствии со свойствами определителя. Но прежде чем перейти к практике по вычислению определителя для матриц 4×4, давайте вернёмся к матрицам 3×3 и подробно рассмотрим, как вычисляется определитель для них.

Минор

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

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

Ещё разберёмся в условных обозначения и в таких понятиях как минор и алгебраическое дополнение.

Буквой i мы обозначаем порядковый номер стоки, буквой j – порядковый номер столбца.

a_ij означает элемент матрицы (цифру) на пересечении строки i и столбца j.

Представим себе матрицу, которая получена из исходной удалением строки i и столбца j. Определитель новой матрицы, которая получена из исходной удалением строки i и столбца j, называется минором M_ij элемента a_ij.

Проиллюстрируем сказанное. Предположим, дана матрица

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

И вычислить для неё определитель: 2*1 — (-4)*0 = 2

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

Алгебраическое дополнение

Алгебраическим дополнением А_ij для элемента a_ij называется минор M_ij этого элемента, взятый со знаком «+», если сумма индексов строки и столбца (i + j), на пересечении которых стоит этот элемент, чётная, и со знаком «-», если сумма индексов нечётная.

Для матрицы из предыдущего примера

Вычисление определителя для матриц

Определителем порядка n, соответствующим матрице А, называется число, обозначаемое det A и вычисляемое по формуле:

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

Каков бы ни был номер строки i=1,2,…, n или столбца j = 1, 2,…, n определитель n-го порядка равен сумме произведений элементов этой строки или этого столбца на их алгебраические дополнения, т. е.

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

Чтобы убедиться в этом, вычислим определитель для матрицы из последнего примера по второму столбцу

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

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

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

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

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

Используя 7-е свойство определителя, вычтем из второй строки третью, умноженную на 2:

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

Так как элементы определителя, расположенные под его главной диагональю, равны 0, то, следовательно, определитесь равен произведению элементов, расположенных на главной диагонали:

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

Давайте вспомним формулу определителя матрицы:

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

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

Покажем пример на той же самой матрице:

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

Вычисление определителя для матриц 4×4, 5×5 и больших размерностей

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

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

Р е ш е н и е. Используя 7-е свойство определителя, вычтем из второй строки третью, из четвёртой строки — соответствующие элементы первой строки определителя, умноженные соответственно на 3, 4, 5. Эти действия сокращённо будем обозначать так: (2) — (1) * 3; (3) — (1) * 4; (4) — (1) * 5. Получим:

Далее, в соответствии с ведёнными обозначениями, выполним действия: (3) — (2) * 8; (4) — (2) * 9. Получаем

Так как элементы определителя, расположенные под его главной диагональю, равны 0, то, следовательно, определитесь равен произведению элементов, расположенных на главной диагонали:

Вычислить определитель

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

(Затем мы вынесли сомножитель 2 первого столбца на основании свойства 4). Далее прибавим к элементам первого и второго столбца элементы определителя. Получим:

Затем мы вынесли множитель в первом столбце, а затем общий множитель (-1) в первой строке. Разлагая теперь получившийся определитесь третьего порядка по элементам второй строки получим:

Здесь определитесь второго порядка вычислен в соответствии с его определением, по формуле

Вычисление определителя (детерминанта) матрицы wxMaxima и Maxima

В wxMaxima и Maxima для вычисления определителя используется функция determinant:

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

Источник