Конденсация Доджсона - Википедия - Dodgson condensation

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

В математика, Конденсация Доджсона или же метод подрядчиков это метод вычисления детерминанты из квадратные матрицы. Он назван в честь своего изобретателя, Чарльз Лютвидж Доджсон (более известный под своим псевдонимом, как популярный автор Льюис Кэрролл). Метод в случае п × п матрица предназначена для построения (п − 1) × (п - 1) матрица, (п − 2) × (п - 2) и так далее, заканчивая матрицей 1 × 1, которая имеет один элемент, определитель исходной матрицы.

Общий метод

Этот алгоритм можно описать следующими четырьмя шагами:

1. Пусть A - данное п × п матрица. Расположите A так, чтобы внутри не было нулей. Явное определение интерьера было бы всего лишь_{я, j} с ${ displaystyle i, j neq 1, n}$. Это можно сделать, используя любую операцию, которую обычно можно выполнить без изменения значения определителя, например, добавление нескольких строк из одной строки в другую.
2. Создать (п − 1) × (п - 1) матрица B, состоящая из определителей каждой подматрицы 2 × 2 матрицы A. Явно запишем ${ displaystyle b_ {i, j} = { begin {vmatrix} a_ {i, j} & a_ {i, j + 1} a_ {i + 1, j} & a_ {i + 1, j + 1} end {vmatrix}}.}$
3. Используя это (п − 1) × (п - 1) матрицу, выполните шаг 2, чтобы получить (п − 2) × (п - 2) матрица C. Разделите каждый член в C на соответствующий член внутри A так, чтобы ${ displaystyle c_ {i, j} = { begin {vmatrix} b_ {i, j} & b_ {i, j + 1} b_ {i + 1, j} & b_ {i + 1, j + 1} end {vmatrix}} / a_ {i + 1, j + 1}}$.
4. Пусть A = B и B = C. При необходимости повторяйте шаг 3, пока не будет найдена матрица 1 × 1; его единственная запись - определитель.

Примеры

Без нулей

Один хочет найти

${ displaystyle { begin {vmatrix} -2 & -1 & -1 & -4 - 1 & -2 & -1 & -6 - 1 & -1 & 2 & 4 2 & 1 & -3 & -8 end {vmatrix}}.}$

Все внутренние элементы ненулевые, поэтому нет необходимости переупорядочивать матрицу.

Составим матрицу его подматриц размером 2 × 2.

${ displaystyle { begin {bmatrix} { begin {vmatrix} -2 & -1 - 1 & -2 end {vmatrix}} & { begin {vmatrix} -1 & -1 - 2 & -1 end {vmatrix}} & { begin {vmatrix} -1 & -4 - 1 & -6 end {vmatrix}} { begin {vmatrix} -1 & -2 - 1 & -1 end { vmatrix}} & { begin {vmatrix} -2 & -1 - 1 & 2 end {vmatrix}} & { begin {vmatrix} -1 & -6 2 & 4 end {vmatrix}} { begin {vmatrix} -1 & -1 2 & 1 end {vmatrix}} & { begin {vmatrix} -1 & 2 1 & -3 end {vmatrix}} & { begin {vmatrix} 2 & 4 - 3 & - 8 end {vmatrix}} end {bmatrix}} = { begin {bmatrix} 3 & -1 & 2 - 1 & -5 & 8 1 & 1 & -4 end {bmatrix}}.}$

Затем мы находим другую матрицу определителей:

${ displaystyle { begin {bmatrix} { begin {vmatrix} 3 & -1 - 1 & -5 end {vmatrix}} & { begin {vmatrix} -1 & 2 - 5 & 8 end {vmatrix}} { begin {vmatrix} -1 & -5 1 & 1 end {vmatrix}} & { begin {vmatrix} -5 & 8 1 & -4 end {vmatrix}} end {bmatrix}} = { begin {bmatrix} -16 & 2 4 & 12 end {bmatrix}}.}$

Затем мы должны разделить каждый элемент на соответствующий элемент нашей исходной матрицы. Внутренняя часть исходной матрицы${ displaystyle { begin {bmatrix} -2 & -1 - 1 & 2 end {bmatrix}}}$, поэтому после деления получаем${ displaystyle { begin {bmatrix} 8 & -2 - 4 & 6 end {bmatrix}}}$. Процесс необходимо повторить, чтобы получить матрицу 1 × 1.${ displaystyle { begin {bmatrix} { begin {vmatrix} 8 & -2 - 4 & 6 end {vmatrix}} end {bmatrix}} = { begin {bmatrix} 40 end {bmatrix}}.}$Деление на внутреннюю часть матрицы 3 × 3, которая равна −5, дает ${ displaystyle { begin {bmatrix} -8 end {bmatrix}}}$ и −8 действительно является определителем исходной матрицы.

С нулями

Просто выписываем матрицы:

${ displaystyle { begin {bmatrix} 2 & -1 & 2 & 1 & -3 1 & 2 & 1 & -1 & 2 1 & -1 & -2 & -1 & -1 2 & 1 & 1 & -1 & -2 & -1 1 & -2 & -1 & -1 & 2 end {bmatrix}} to { begin {bmatrix} 5 & -5 & -3 & -1 - 3 & -3 & -3 & 3 3 & 3 & 3 & -1 - 5 & -3 & -1 & -5 end {bmatrix}} to { begin {bmatrix} -15 & 6 & 12 0 & 0 & 6 6 & -6 & 8 end {bmatrix}}.}$

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

${ displaystyle { begin {bmatrix} 1 & 2 & 1 & -1 & 2 1 & -1 & -2 & -1 & -1 2 & 1 & -1 & -2 & -1 1 & -2 & -1 & -1 & 2 2 & -1 & 2 & 1 & -3 end {bmatrix}} to { begin {bmatrix} -3 & -3 & -3 & 3 3 & 3 & 3 & -1 - 5 & -3 & -1 & -5 3 & -5 & 1 & 1 end {bmatrix}} to { begin { bmatrix} 0 & 0 & 6 6 & -6 & 8 - 17 & 8 & -4 end {bmatrix}} to { begin {bmatrix} 0 & 12 18 & 40 end {bmatrix}} to { begin {bmatrix} 36 end { bmatrix}}.}$

Следовательно, мы приходим к определителю 36.

Тождество Деснано – Якоби и доказательство корректности алгоритма уплотнения

Доказательство того, что метод уплотнения вычисляет определитель матрицы, если деления на ноль не встречаются, основано на тождестве, известном как Тождество Деснанота – Якоби (1841) или, в более общем смысле, Сильвестр детерминантная личность (1851).^[1]

Позволять ${ Displaystyle M = (m_ {я, j}) _ {я, j = 1} ^ {k}}$ - квадратная матрица, и для каждого ${ Displaystyle 1 Leq я, J Leq k}$, обозначим через ${ displaystyle M_ {i} ^ {j}}$ матрица, которая получается из ${ displaystyle M}$ удалив ${ displaystyle i}$-й ряд и ${ displaystyle j}$-й столбец. Аналогично для${ Displaystyle 1 Leq я, j, p, q leq k}$, обозначим через ${ displaystyle M_ {я, j} ^ {p, q}}$ матрица, которая получается из ${ displaystyle M}$ удалив ${ displaystyle i}$-й и ${ displaystyle j}$-й ряды и ${ displaystyle p}$-й и ${ displaystyle q}$-й столбец.

Тождество Деснанота – Якоби

${ Displaystyle Det (M) Det (M_ {1, k} ^ {1, k}) = Det (M_ {1} ^ {1}) det (M_ {k} ^ {k}) - det (M_ {1} ^ {k}) det (M_ {k} ^ {1}).}$

Доказательство правильности конденсации Доджсона

Перепишите тождество как

${ displaystyle det (M) = { frac { det (M_ {1} ^ {1}) det (M_ {k} ^ {k}) - det (M_ {1} ^ {k}) det (M_ {k} ^ {1})} { det (M_ {1, k} ^ {1, k})}}.}.$

Заметим теперь, что по индукции следует, что при применении процедуры конденсации Доджсона к квадратной матрице ${ displaystyle A}$ порядка ${ displaystyle n}$, матрица в ${ displaystyle k}$-й этап вычисления (где первый этап ${ displaystyle k = 1}$ соответствует матрице ${ displaystyle A}$ сам) состоит из всех связанные несовершеннолетние порядка ${ displaystyle k}$из ${ displaystyle A}$, где связный минор - определитель связного ${ Displaystyle к раз к}$ подблок смежных записей ${ displaystyle A}$. В частности, на последнем этапе ${ Displaystyle к = п}$, получается матрица, содержащая единственный элемент, равный единственному связному минору порядка ${ displaystyle n}$, а именно определитель ${ displaystyle A}$.

Доказательство тождества Деснано-Якоби.

Мы следуем лечению в книге Брессу; альтернативное комбинаторное доказательство см. в статье Зейльбергера. ${ displaystyle a_ {i, j} = (- 1) ^ {i + j} det (M_ {i} ^ {j})}$ (до подписи ${ displaystyle (я, j)}$-й минор ${ displaystyle M}$), и определим ${ Displaystyle к раз к}$матрица ${ displaystyle M '}$ к

${ displaystyle M '= { begin {pmatrix} a_ {1,1} & 0 & 0 & 0 & ldots & 0 & a_ {k, 1} a_ {1,2} & 1 & 0 & 0 & ldots & 0 & a_ {k, 2} a_ {1, 3} & 0 & 1 & 0 & ldots & 0 & a_ {k, 3} a_ {1,4} & 0 & 0 & 1 & ldots & 0 & a_ {k, 4} vdots & vdots & vdots & vdots && vdots & vdots a_ {1, k-1} & 0 & 0 & 0 & ldots & 1 & a_ {k, k-1} a_ {1, k} & 0 & 0 & 0 & ldots & 0 & a_ {k, k} end {pmatrix}}.}$

(Обратите внимание, что первый и последний столбцы ${ displaystyle M '}$ равны таковым из сопряженная матрица из ${ displaystyle A}$). Идентичность теперь получается путем вычисления ${ Displaystyle Det (ММ ')}$ двумя способами. Во-первых, мы можем напрямую вычислить матричное произведение ${ displaystyle MM '}$ (используя простые свойства сопряженной матрицы или, альтернативно, используя формулу для разложения определителя матрицы в терминах строки или столбца), чтобы прийти к

${ displaystyle MM '= { begin {pmatrix} det (M) & m_ {1,2} & m_ {1,3} & ldots & m_ {1, k-1} & 0 0 & m_ {2,2} & m_ {2,3} & ldots & m_ {2, k-1} & 0 0 & m_ {3,2} & m_ {3,3} & ldots & m_ {3, k-1} & 0 vdots & vdots & vdots && vdots & vdots & vdots 0 & m_ {k-1,2} & m_ {k-1,3} & ldots & m_ {k-1, k-1} & 0 0 & m_ {k, 2} & m_ {k, 3} & ldots & m_ {k, k-1} & det (M) end {pmatrix}}}$

где мы используем ${ displaystyle m_ {i, j}}$ для обозначения ${ displaystyle (я, j)}$-я запись ${ displaystyle M}$. Определитель этой матрицы равен ${ Displaystyle Det (M) ^ {2} cdot det (M_ {1, k} ^ {1, k})}$.
Во-вторых, это равно произведению определителей, ${ Displaystyle Дет (М) CDOT Дет (М ')}$. Но ясно
${ Displaystyle Det (M ') = a_ {1,1} a_ {k, k} -a_ {k, 1} a_ {1, k} = det (M_ {1} ^ {1}) det (M_ {k} ^ {k}) - det (M_ {1} ^ {k}) det (M_ {k} ^ {1}),}$
поэтому тождество следует из приравнивания двух полученных нами выражений для ${ Displaystyle Det (ММ ')}$ и разделив на ${ Displaystyle Det (М)}$ (это допустимо, если рассматривать тождества как полиномиальные тождества над кольцом многочленов в ${ displaystyle k ^ {2}}$ неопределенные переменные ${ Displaystyle (м_ {я, j}) _ {я, j = 1} ^ {k}}$).

Примечания

Ссылки и дополнительная литература

• Брессуд, Дэвид М., Доказательства и подтверждения: история гипотезы о матрице переменных знаков, MAA Spectrum, Математические ассоциации Америки, Вашингтон, округ Колумбия, 1999.
• Брессуд, Дэвид М. и Пропп, Джеймс, Как была решена гипотеза о знакопеременной матрице, Уведомления Американского математического общества, 46 (1999), 637-646.
• Доджсон, К. Л. (1866–1867). «Конденсация детерминант - новый и краткий метод вычисления их арифметических значений» (PDF). Труды Лондонского королевского общества. 15: 150–155.
• Кнут, Дональд, Перекрывающиеся пфаффианы, Электронный журнал комбинаторики, 3 нет. 2 (1996).
• Лоткин, Марк (1959). «Примечание о методах подрядчиков». Американский математический ежемесячник. 66 (6): 476–479. Дои:10.2307/2310629. JSTOR  2310629.
• Миллс, Уильям Х., Роббинс, Дэвид П. и Рамси Ховард-младший, Доказательство гипотезы Макдональда, Inventiones Mathematicae, 66 (1982), 73-87.
• Миллс, Уильям Х., Роббинс, Дэвид П. и Рамси, Ховард младший, Матрицы чередующихся знаков и нисходящие плоские разбиения. Журнал комбинаторной теории, серия А, 34 (1983), 340-359.
• Роббинс, Дэвид П., История ${ displaystyle 1,2,7,42,429,7436, cdots}$, Математический интеллект, 13 (1991), 12-19.
• Зейлбергер, Дорон, Детерминантное правило оценки Доджсона подтверждено двумя выборками мужчин и женщин., Электронный журнал комбинаторики, 4 нет. 2 (1997).

внешняя ссылка

• Вайсштейн, Эрик В. «Конденсация Доджсона». MathWorld.