В математике (в частности , в линейной алгебре ) матричное тождество Вудбери , названное в честь Макса А. Вудбери , [ 1 ] [ 2 ] говорит, что обратную поправку ранга k некоторой матрицы можно вычислить, выполнив поправку ранга k к обратной исходной матрице. Альтернативные названия этой формулы — лемма обращения матрицы , формула Шермана–Моррисона–Вудбери или просто формула Вудбери . Однако эта личность появилась в нескольких газетах до отчета Вудбери. [ 3 ] [ 4 ]
Хотя тождество в основном используется в матрицах, оно сохраняется в общем кольце или в Ab-категории .
Матричное тождество Вудбери позволяет дешево вычислять обратные задачи и решения линейных уравнений. Однако мало что известно о численной устойчивости формулы. Нет опубликованных результатов, касающихся границ погрешности. Неофициальные данные [ 6 ] предполагает, что она может расходиться даже для, казалось бы, безобидных примеров (когда и исходная, и модифицированная матрицы хорошо обусловлены).
Чтобы доказать этот результат, начнем с доказательства более простого. Заменив A и C единичной матрицей I , мы получим другое тождество, немного более простое:
Чтобы восстановить исходное уравнение из этого сокращенного тождества , замените к и к .
Эту идентичность можно рассматривать как комбинацию двух более простых идентичностей. Получаем первое тождество из
таким образом,
и аналогично
Вторая идентичность – это так называемая сквозная идентичность. [ 7 ]
что мы получаем из
после умножения на справа и рядом слева.
Собрав все вместе,
где первое и второе равенство вытекают из первого и второго тождества соответственно.
Продолжение слияния членов крайней правой части приведенного выше уравнения приводит к тождеству Хуа.
Другая полезная форма того же тождества:
что, в отличие от приведенных выше, справедливо, даже если является сингулярным и имеет рекурсивную структуру, которая дает
если радиус спектральный меньше единицы. То есть, если приведенная выше сумма сходится, то она равна .
Эту форму можно использовать в пертурбативных разложениях, где — возмущение A. B
Если A , B , U , V — матрицы размеров n × n , k × k , n × k , k × n соответственно, то
при условии A и B + BVA −1 UB неособы. Невырожденность последнего требует, чтобы B −1 существует, поскольку оно равно B ( I + VA −1 UB ) и ранг последнего не может превышать B. ранга [ 7 ]
Поскольку B обратима, два члена B, обрамляющие обратную величину в скобках в правой части, можно заменить на ( B −1 ) −1 , что приводит к исходной идентичности Вудбери.
Вариант, когда B сингулярный и, возможно, даже неквадратный: [ 7 ]
Существуют также формулы для некоторых случаев, когда A сингулярно. [ 8 ]
Псевдообратная с положительными полуопределенными матрицами
В общем, тождество Вудбери недействительно, если одна или несколько обратных точек заменены псевдообратными (Мура-Пенроуза) . Однако, если и положительно полуопределены и (имея в виду, что сама по себе положительно полуопределена), то следующая формула дает обобщение: [ 9 ] [ 10 ]
где можно записать как потому что любая положительная полуопределенная матрица равна для некоторых .
Deriving the Woodbury matrix identity is easily done by solving the following block matrix inversion problem
Expanding, we can see that the above reduces to
which is equivalent to . Eliminating the first equation, we find that , which can be substituted into the second to find . Expanding and rearranging, we have , or . Finally, we substitute into our , and we have . Thus,
We have derived the Woodbury matrix identity.
Вывод из разложения LDU
We start by the matrix
By eliminating the entry under the A (given that A is invertible) we get
Likewise, eliminating the entry above C gives
Now combining the above two, we get
Moving to the right side gives
which is the LDU decomposition of the block matrix into an upper triangular, diagonal, and lower triangular matrices.
Now inverting both sides gives
We could equally well have done it the other way (provided that C is invertible) i.e.
Now again inverting both sides,
Now comparing elements (1, 1) of the RHS of (1) and (2) above gives the Woodbury formula
Это тождество полезно в некоторых численных вычислениях, где A −1 уже вычислено и желательно вычислить ( A + UCV ) −1 . Имея обратное значение A , необходимо найти только обратное значение C. −1 + И −1 U , чтобы получить результат, используя правую часть тождества. Если C имеет гораздо меньшую размерность, чем A , это более эффективно, чем непосредственное инвертирование A + UCV . Распространенным случаем является поиск обратного обновления A + UCV ( низкого ранга A где U имеет только несколько столбцов, а V только несколько строк) или поиск аппроксимации обратной матрицы A + B , где матрица B можно аппроксимировать матрицей UCV низкого ранга , например, используя разложение по сингулярным значениям .
Это применяется, например, в фильтре Калмана и рекурсивных методах наименьших квадратов для замены параметрического решения , требующего инверсии матрицы размера вектора состояния, решением на основе уравнений условий. В случае фильтра Калмана эта матрица имеет размеры вектора наблюдений, т.е. всего 1 в случае, если одновременно обрабатывается только одно новое наблюдение. Это значительно ускоряет расчеты фильтра, которые зачастую выполняются в реальном времени.
^ Курт С. Ридель, «Тождество Шермана-Моррисона-Вудбери для матриц, повышающих ранг с применением к центрированию», SIAM Journal on Matrix Analysis and Applications , 13 (1992)659-662, два : 10.1137/0613040 препринт MR 1152773
^ Бернштейн, Деннис С. (2018). Скалярная, векторная и матричная математика: теория, факты и формулы (пересмотренное и расширенное изд.). Принстон: Издательство Принстонского университета. п. 638. ИСБН 9780691151205 .
^ Шотт, Джеймс Р. (2017). Матричный анализ для статистики (Третье изд.). Хобокен, Нью-Джерси: John Wiley & Sons, Inc., с. 219. ИСБН 9781119092483 .
Arc.Ask3.Ru Номер скриншота №: 7aa3537cd4efe757ea3c6a48a0ae2f94__1719990300 URL1:https://arc.ask3.ru/arc/aa/7a/94/7aa3537cd4efe757ea3c6a48a0ae2f94.html Заголовок, (Title) документа по адресу, URL1: Woodbury matrix identity - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)