В линейной алгебре минор матрицы A — это определитель некоторой меньшей квадратной матрицы , вырезанной из A путем удаления одной или нескольких ее строк и столбцов . Миноры, полученные удалением всего одной строки и одного столбца из квадратных матриц ( первые миноры ), необходимы для вычисления сомножителей матрицы , которые, в свою очередь, полезны для вычисления как определителя, так и обратного значения квадратных матриц. Требование, чтобы квадратная матрица была меньше исходной, в определении часто опускается.
Если A — квадратная матрица, то минор записи в i -й строке и j -м столбце (также называемый минором ( i , j ) или первым минором [1] ) является определителем подматрицы, образованной удалением i - я строка и j- й столбец. Это число часто обозначается Mi ,j . Кофактор ( i , j ) получается путем умножения минора на .
Чтобы проиллюстрировать эти определения, рассмотрим следующую матрицу 3 на 3:
Чтобы вычислить минор M 2,3 и кофактор C 2,3 , мы находим определитель приведенной выше матрицы с удаленными строкой 2 и столбцом 3.
Таким образом, кофактор записи (2,3) равен
Пусть A — матрица размера m × n , а k — целое число с 0 < k ≤ m и k ≤ n . A k × k минор A , также называемый младшим определителем порядка k A или , если m = n , ( n - k ) -м минорным определителем A ( слово «определитель» часто опускается, а слово «степень » иногда используется вместо «порядок») — это определитель матрицы размера k × k , полученной из A удалением m − k строк и n — k столбцов. Иногда этот термин используется для обозначения матрицы k × k , полученной из A , как указано выше (путем удаления m - k строк и n - k столбцов), но эту матрицу следует называть (квадратной) подматрицей A , оставляя термин «второстепенный» относится к определителю этой матрицы. Для матрицы A , как указано выше, существует всего миноров размера k × k . Минор нулевого порядка часто определяется как 1. Для квадратной матрицы нулевой минор является просто определителем матрицы. [2] [3]
Пусть и — упорядоченные последовательности (в естественном порядке, как всегда предполагается, когда речь идет о минорах, если не указано иное) индексов, назовем их I и J соответственно. Минор , соответствующий этому выбору индексов, обозначается или или или или или (где обозначает последовательность индексов I и т.д.), в зависимости от источника. Также в литературе используются два типа обозначений: под минором, связанным с упорядоченными последовательностями индексов I и J , некоторые авторы [4] понимают определитель матрицы, формируемый, как указано выше, путем взятия элементов исходного матрица из строк, индексы которых находятся в I, и столбцов, индексы которых находятся в J , тогда как некоторые другие авторы подразумевают под минором, связанным с I и J , определитель матрицы, сформированной из исходной матрицы путем удаления строк в I и столбцов в J . [2] Какие обозначения используются, всегда следует проверять по соответствующему источнику. В этой статье мы используем инклюзивное определение выбора элементов из строк I и столбцов J . Исключительным случаем является случай первого минора или ( i , j )-минор, описанный выше; в этом случае исключительное значение является стандартным во всей литературе и используется и в данной статье.
Дополнение B ijk...,pqr... минора M ijk...,pqr... квадратной матрицы A формируется определителем матрицы A , из которого все строки ( ijk... ) и столбцы ( pqr... ), связанные с M ijk...,pqr..., были удалены. Дополнением первого минора элемента a ij является просто этот элемент. [5]
Кофакторы занимают видное место в формуле Лапласа для разложения определителей, которая представляет собой метод вычисления больших определителей через меньшие. Учитывая матрицу размера n × n , определитель A , обозначаемый det( A ), может быть записан как сумма сомножителей любой строки или столбца матрицы, умноженная на элементы, которые их породили. Другими словами, определение затем разложения кофактора по j-му столбцу дает:
Разложение кофактора по i- й строке дает:
Можно записать обратную обратимую матрицу , вычислив ее сомножители с помощью правила Крамера следующим образом. Матрица, образованная всеми сомножителями квадратной матрицы A , называется матрицей сомножителей (также называемой матрицей сомножителей или, иногда, коматрицей ):
Тогда инверсия A представляет собой транспонирование матрицы-сомножителя, умноженное на обратную величину определителя A :
Транспонирование матрицы-сомножителя называется сопряженной матрицей (также называемой классическим сопряженным ) матрицы A.
Приведенную выше формулу можно обобщить следующим образом: Пусть и — упорядоченные последовательности (в естественном порядке) индексов (здесь A — матрица размера n × n ). Тогда [6]
где I' , J' обозначают упорядоченные последовательности индексов (индексы имеют естественный порядок величины, как указано выше), дополнительные к I , J , так что каждый индекс 1,..., n появляется ровно один раз либо в I , либо в I. ′ , но не в обоих случаях (аналогично для J и J′ ) и обозначает определитель подматрицы A , образованной путем выбора строк набора индексов I и столбцов набора индексов J . Также, . Простое доказательство можно дать, используя произведение клина. Действительно,
где базисные векторы. Действуя по А с обеих сторон, получим
Знак можно определить как , поэтому знак определяется суммами элементов в I и J .
Учитывая матрицу размера m × n с вещественными элементами (или элементами из любого другого поля ) и рангом r , тогда существует хотя бы один ненулевой минор размера r × r , в то время как все старшие миноры равны нулю.
Мы будем использовать следующие обозначения для миноров: если A — матрица размера m × n , I — подмножество {1,..., m } с k элементами, а J — подмножество {1,..., n } с k элементами, то мы пишем [ A ] I , J для минора k × k A , который соответствует строкам с индексом в I и столбцам с индексом в J .
И формула обычного умножения матриц , и формула Коши–Бине для определителя произведения двух матриц являются частными случаями следующего общего утверждения о минорах произведения двух матриц. Предположим, что A — матрица размера m × n , B — матрица размера n × p , I — подмножество {1,..., m } с k элементами, а J — подмножество {1,..., p }. с k элементами. Затем
где сумма распространяется на все подмножества K из {1,..., n } с k элементами. Эта формула является прямым расширением формулы Коши – Бине.
Более систематическая алгебраическая трактовка миноров дается в полилинейной алгебре с использованием клинового произведения : k -миноры матрицы являются элементами k- го внешнего степенного отображения.
Если столбцы матрицы соединяются вместе k одновременно, миноры k × k появляются как компоненты результирующих k -векторов. Например, миноры 2 × 2 матрицы
равны -13 (из первых двух строк), -7 (из первой и последней строки) и 5 (из последних двух строк). Теперь рассмотрим клиновое произведение
где два выражения соответствуют двум столбцам нашей матрицы. Используя свойства клинового произведения, а именно его билинейность и знакопеременность ,
и антисимметричный ,
мы можем упростить это выражение до
где коэффициенты согласуются с минорами, вычисленными ранее.
В некоторых книгах вместо кофактора используется термин адъюнкт . [7] Более того, он обозначается как Aij и определяется так же, как и кофактор :
Используя эти обозначения, обратная матрица записывается следующим образом:
Имейте в виду, что дополнение не является сопряженным или присоединенным . В современной терминологии под «сопряженным» матрицей чаще всего понимается соответствующий сопряженный оператор .