Формула Вудбери

Как пользоваться формулой

1. Проверьте размеры A, U, C и V и убедитесь, что произведение UCV имеет размер A.
2. Организуйте умножение на A^{-1} через решение систем с A.
3. Соберите малую матрицу C^{-1}+VA^{-1}U и проверьте ее обратимость.
4. Подставьте множители в формулу, сохраняя порядок и не формируя лишние большие обратные матрицы.

Историческая справка

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

Пример

Пусть A - большая диагональная или уже факторизованная матрица, а данные добавляют к ней низкоранговую поправку UCV. Вместо обращения новой большой матрицы можно решить несколько систем с A и обратить малую матрицу C^{-1}+VA^{-1}U. В статистике это позволяет быстро обновлять ковариационные матрицы, а в оптимизации - учитывать небольшое число новых ограничений. Для "Формула Вудбери" характерна ситуация, когда большая матрица уже разобрана или обращена, а новая информация добавляет малое ранговое изменение. В численном примере важно сравнить стоимость: пересчитать все с нуля дорого, а ранговая формула требует решить несколько систем с прежней матрицей и обратить малую внутреннюю матрицу или даже один скаляр. При этом знаменатель или малая матрица внутри формулы служат индикатором опасности: если они близки к вырождению, обновление может резко ухудшить устойчивость.

Частая ошибка

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