Как искать миноры в матрице
Алгебраические дополнения и миноры. Виды миноров и алгебраических дополнений.
В данной теме рассмотрим понятия алгебраического дополнения и минора. Изложение материала опирается на термины, пояснённые в теме «Матрицы. Виды матриц. Основные термины». Также нам понадобятся некоторые формулы для вычисления определителей. Так как в данной теме немало терминов, относящихся к минорам и алгебраическим дополнениям, то я добавлю краткое содержание, чтобы ориентироваться в материале было проще.
Этот минор несложно вычислить, используя формулу №2 из темы вычисления определителей второго и третьего порядков:
Чтобы найти значение данного минора используем формулу №1 из темы вычисления определителей второго и третьего порядков:
Например, рассмотрим такую матрицу:
Запишем для неё какой-либо минор третьего порядка. Чтобы записать минор третьего порядка нам потребуется выбрать какие-либо три строки и три столбца данной матрицы. Например, возьмём строки №2, №4, №6 и столбцы №1, №2, №4. На пересечении этих строк и столбцов будут располагаться элементы требуемого минора. На рисунке элементы минора показаны синим цветом:
Миноры первого порядка находятся на пересечении одной строки и одного столбца, т.е. миноры первого порядка равны элементам заданной матрицы.
Естественно, что мы могли взять иные строки и столбцы, – например, с номерами 2 и 4, получив при этом иной главный минор второго порядка.
Для примера рассмотрим такую матрицу:
Найдём значение этого минора, используя формулу №2 из темы вычисления определителей второго и третьего порядков:
Данный пример, конечно, тривиальный, так как его цель – наглядно показать суть базисного минора. Вообще, базисных миноров может быть несколько, и обычно процесс поиска такого минора куда сложнее и объёмнее.
Введём ещё одно понятие – окаймляющий минор.
Для примера обратимся к такой матрице:
Запишем минор второго порядка, элементы которого расположены на пересечении строк №2 и №5, а также столбцов №2 и №4. Эти элементы выделены в матрице красным цветом:
Вновь вернёмся к квадратным матрицам. Введём понятие дополнительного минора.
Для примера рассмотрим квадратную матрицу пятого порядка:
Заметили ошибку, опечатку, или некорректно отобразилась формула? Отпишите, пожалуйста, об этом в данной теме на форуме (регистрация не требуется).
Как вычислить определитель (детерминант) матрицы? Минор и алгебраическое дополнение
Без преобразования матрицы, определитель легко посчитать только для матриц размером 2×2 и 3×3. Это делается по формулам:
(можно посчитать по любой строке, выше приводиться формула расчёта определителя по первой строке).
Расчёты для матриц размером 4×4 и выше затруднительны, поэтому их нужно преобразовывать в соответствии со свойствами определителя. Нужно стремиться получить матрицу, в которой все значения кроме одного любого столбца или любой строки равны нулю. Пример такой матрицы:
Для неё определитель равен:
Обратите внимание, что
это вычисление детерминанта матрицы, полученой вычетом строки и столбца, на пересечении которых находиться единственное не нулевое числов строки/столбца, по которому мы разлагаем матрицу:
Если привести матрицу к треугольному виду, то её определитель вычисляется как произведение цифр по диагонали. Например, для матрицы
Аналогично следует поступать с матрицами 5×5, 6×6 и другими больших размерностей.
Преобразования матриц нужно выполнять в соответствии со свойствами определителя. Но прежде чем перейти к практике по вычислению определителя для матриц 4×4, давайте вернёмся к матрицам 3×3 и подробно рассмотрим, как вычисляется определитель для них.
Минор
Определитель матрицы не очень прост для понимания, поскольку в его понятии присутствует рекурсия: определитель матрицы состоит из нескольких элементов, в том числе из определителя (других) матриц.
Чтобы не застрять на этом, давайте прямо сейчас (временно) примем, что определитель матрицы
Ещё разберёмся в условных обозначения и в таких понятиях как минор и алгебраическое дополнение.
Буквой i мы обозначаем порядковый номер стоки, буквой j – порядковый номер столбца.
aij означает элемент матрицы (цифру) на пересечении строки i и столбца j.
Представим себе матрицу, которая получена из исходной удалением строки i и столбца j. Определитель новой матрицы, которая получена из исходной удалением строки i и столбца j, называется минором Mij элемента aij.
Проиллюстрируем сказанное. Предположим, дана матрица
Тогда для определения минора M11 элемента a11 нам нужно составить новую матрицу, которая получается из исходной удалением первой строки и первого столбца:
И вычислить для неё определитель: 2*1 — (-4)*0 = 2
Для определения минора M22 элемента a22 нам нужно составить новую матрицу, которая получается из исходной удалением второй строки и второго столбца:
Алгебраическое дополнение
Алгебраическим дополнением Аij для элемента aij называется минор Mij этого элемента, взятый со знаком «+», если сумма индексов строки и столбца (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:
Минор матрицы — способы, порядок и примеры вычисления
Одним из ключевых понятий в линейной алгебре является минор матрицы. Зная, что это такое и как его вычислить, определить ранг матриц любого порядка не составит труда. По сути, это определитель, находимый путём убирания из рассматриваемой матрицы вертикальных и горизонтальных полос, на пересечении которых находится элемент aij. Существует несколько видов алгебраических миноров, по значению которых можно судить об обратимости, а значит, и возможности нахождения линейной регрессии.
Общие сведения
При решении систем, состоящих из алгебраических и дифференциальных уравнений, для удобной их записи применяется таблица. Она содержит строки и столбцы, пересечение которых определяется элементами. Количество строк характеризуется числом уравнений, а столбцов — количеством неизвестных величин. После построения такой таблицы решение сводится к работе с ней. Совокупность элементов такой таблицы называют матрицей.
Над несколькими матрицами можно выполнять различные арифметические действия: преобразовывать, умножать, складывать. При этом допускается умножение строки на числа, отличные от нуля, сложение строк между собой и изменение их положения. Обозначают матрицу с помощью заглавной буквы латинского алфавита. Характеризуется она размерностью и может быть квадратной или прямолинейной.
При математической записи используют индексы. Первый из них обозначает строки, а второй — столбцы. На месте их пересечения находится элемент. То есть таблица вида m x n записывается как A = (aij)m, n, где: aij — элемент матрицы, располагающийся на пересечении и-той строки и йо-того столбца. Ранг же матрицы показывает наибольшее число линейно независимых столбцов или строк, при этом он не может превосходить размерность.
Важным параметром квадратной матрицы является определитель (детерминант). При его нахождении используется минор. Существует несколько его разновидностей:
В общем случае под определением минора матрицы понимают определитель, находимый с помощью удаления строки и столбца определённого элемента. При рассмотрении алгебраических дополнений совместно с ними используют понятие угловой минор.
Квадратная матрица
Минор принято разделять на элементный и матричный. Для лучшего понимания сначала следует разобрать минор квадратной матрицы. Рассматривать нужно её, так как минор — это определитель, а он бывает только у квадратной системы уравнений. Параметр элемента матрицы и определителя находят одинаково.
Вычисление минора обычно не вызывает трудностей. При этом стоит помнить простые правила определения детерминанта:
Пусть необходимо определить параметр элемента i, j. Для этого нужно посмотреть на записанную таблицу и выделить и-тую строчку и йо-тый столбец. На их пересечении будет стоять цифра, которая соответствует элементу aij. После вычёркивания элементов, расположенных от него по вертикали и горизонтали, оставшиеся в наборе и будут являться минором матрицы или определителя.
Например, пусть имеется определитель вида:
Нужно найти минор два три. На пересечении второй строчки и третьего столбца стоит цифра минус два. Убрав вторую соответствующую ей вертикаль и третью горизонталь, можно получить искомый минор M23:
Теперь, чтобы найти минор единицы, нужно вычислить определитель полученной матрицы четвёртого порядка. Для этого удобно использовать теорему Лапласа для разложения по любой строке. Выбирать лучше ту, где стоят нули. После преобразования полученный ответ и будет минором. Аналогично выполняют действия и для определителя.
Алгебраическое дополнение элемента находится по формуле: Aij = (-1) i+j * Мij. Это выражение справедливо для любой квадратной матрицы. Для рассматриваемого примера такое дополнение будет равно следующему произведению: A23 = (-1)2+3 * M23 = — M23. Минор и алгебраическое дополнение имеют численные значения. Но при вычислении последнего необходимо учитывать, что сумма произведения определителя на дополнение к элементам будет равняться определителю, а сложение произведений двух элементов столбца или строки даст в ответе ноль.
Главный и базисный определитель
Минором высшего уровня описывают систему, состоящую из столбцов и строк, число которых превышает два. То есть минор восьмого порядка представляет собой определитель, состоящий из восьми столбцов и такого же числа строк. Тут следует отметить, что исходная матрица должна иметь больший порядок.
В таблице высшего порядка можно выделить несколько миноров. Например, в матрице восьмого уровня выделить пять столбцов и пять строк. Брать горизонтальные и вертикальные линии можно произвольно. В местах пересечения будут находиться значения, обозначающие элементы минора пятого порядка.
Записывают их соответственно, начиная с первой строки. После того как все члены выписаны, должен получиться новый определитель пятого порядка. Таких миноров указанного порядка может быть несколько.
В таблице чисел имеется главная диагональ. Начинается она с правого верхнего угла, то есть с элемента a11, и заканчивается на последнем правом элементе. В полученном миноре также можно выделить такую диагональ.
Если взять минор таким способом, что главная его диагональ будет состоять из элементов диагонали исходной таблицы, то такой минор называют главным. Иными словами, эта таблица, которая включает в себя элементы основной диагонали исходной матрицы. При этом необязательно, чтобы в главный минор матрицы были включены все главные элементы. Определитель же, находящийся из первых строк и столбцов, называется угловым минором матрицы.
Базисный определитель показывает, какой наибольший порядок может иметь полученный минор. Например, для системы данных, состоящей из семи строк и восьми столбцов, наибольший определитель может быть седьмого порядка. При этом базисным считается также последний определитель, который не равняется нулю. Если система уравнений имеет девятый порядок и при вычислениях выяснится, что система шестого уровня вырожденная, то предшествующий ему определитель также будет называться базисным. Значение базиса всегда будет наибольшим. Строки и столбцы, из которых состоит базис, называют также базисными. Их может быть несколько.
Когда из исходной таблицы выбран определитель не высшего порядка, то следующий за ним называется окаймляющим. Это значит, что необходимо добавить одну строку и столбец. Такого типа определителей может быть несколько, так как для того, чтобы их построить, можно добавить любую строку или столбец.
Решение задач
Для закрепления материала в школе и высших учебных заведениях учащимся предлагают выполнить расчёт несколько типовых заданий разной сложности. Умение их решать является доказательством понимания теории. Вот некоторые из них рекомендуемые для самостоятельного решения.
Найти в указанной матрице все определители второго уровня и алгебраические дополнения:
Для решения этой задачи нужно рассматривать первую и вторую строчки. Последовательно убирая строки и столбцы методом вычёркивания, можно получить шесть результатов:
В следующей задаче рассматривается квадратная матрица три на три, в которой необходимо найти дополнительную характеристику:
По условию в таблице имеется девять позиций, для которых можно найти дополнительный элемент. При решении нужно последовательно их все перебрать, вычёркивая соответственные столбцы и строки:
В следующем примере необходимо рассчитать первые три алгебраических дополнения. Пусть дана матрица A:
Как видно из примеров, вычисления обычно не вызывают трудностей, но требуют внимательности и усидчивости. Особенно это касается нахождения обратной матрицы. Вычисляется она с помощью алгебраических дополнений, которые равны минорам, умноженным на минус единицу. Довольно часто знаки путают, и в итоге получается неправильный ответ. Поэтому в случае сложных систем есть резон использовать онлайн-калькуляторы.
Использование интернет-калькулятора
В интернете есть определённая группа сайтов, позволяющая выполнять различные математические вычисления в автоматическом режиме. На их страницах содержится специальный скрипт, выполняющий нахождение минора матрицы онлайн любой сложности. При этом от потребителя не требуется никаких особых знаний, он даже и вовсе может ничего не понимать в алгебраических вычислениях.
Всё, что ему необходимо будет сделать для получения ответа, — это ввести исходные данные в предложенную форму и нажать кнопку «Вычислить». Система автоматически определит нужный алгоритм и, используя свойства матрицы, выведет на экран ответ. При этом, кроме результата, пользователю будет предоставлена возможность ознакомиться с подробным решением.
По отзывам потребителей, из множества таких сервисов можно выделить пять следующих сайтов:
Все указанные сайты доступны на русском языке, бесплатны, имеют простой и понятный интерфейс. На их страницах содержится справочная и теоретическая математическая информация. Кроме неё, для каждого раздела приводится типовой пример с объяснением. Использование онлайн-калькуляторов поможет сэкономить время и научит правильно выполнять действия по вычислению миноров.
Их использование будет полезным не только ученикам или студентам, желающим научиться самостоятельно решать задачи, но и инженерам, выполняющим сложные вычисления. Для специалистов они довольно востребованы, так как при самостоятельном решении небольшая ошибка по невнимательности приведёт к неправильному ответу, что исключено при расчёте в автоматическом режиме.