Разложение матрицы
В математической дисциплине линейной алгебры или разложение матрицы факторизация матрицы в произведение матриц — это факторизация матрицы . Существует много различных матричных разложений; каждый находит применение среди определенного класса задач.
Пример [ править ]
В численном анализе различные разложения используются для реализации эффективных матричных алгоритмов .
Например, при решении системы линейных уравнений матрица A может быть разложена посредством LU-разложения . Разложение LU разлагает матрицу на нижнюю треугольную матрицу L и верхнюю треугольную матрицу U . Системы и для решения требуется меньше операций сложения и умножения по сравнению с исходной системой. , хотя для неточной арифметики, например с плавающей запятой, может потребоваться значительно больше цифр .
Аналогично, разложение QR выражает A как QR , где Q — ортогональная матрица , а R — верхняя треугольная матрица. Система Q ( R x ) = b решается формулой R x = Q Т b = c , а система R x = c решается « обратной заменой ». Количество требуемых сложений и умножений примерно в два раза больше, чем при использовании решателя LU, но в неточной арифметике больше цифр не требуется, поскольку QR-разложение численно стабильно .
уравнений Разложения , связанные с решением
LU-разложение [ править ]
- Традиционно применимо к: квадратной матрице A , хотя могут быть применимы и прямоугольные матрицы. [1] [номер 1]
- Разложение: , где L — нижний треугольный , а U — верхний треугольный .
- : LDU разложение Связанный , где L – нижняя треугольная с единицами на диагонали, U – верхняя треугольная с единицами на диагонали, а D – диагональная матрица .
- : LUP разложение Связанный , где L – нижняя треугольная , U – верхняя треугольная , а P – матрица перестановок .
- Существование: LUP-разложение существует для любой квадратной A. матрицы Когда P является единичной матрицей , разложение LUP сводится к разложению LU.
- Комментарии: Разложения LUP и LU полезны при решении размером n на n . системы линейных уравнений . Эти разложения суммируют процесс исключения Гаусса в матричной форме. Матрица P представляет любые замены строк, выполненные в процессе исключения Гаусса. Если метод исключения Гаусса создает форму эшелона строк, не требуя каких-либо перестановок строк, то P = I , поэтому существует LU-разложение.
Сокращение LU [ править ]
Разложение блоков LU [ править ]
факторизация Ранговая
- Применимо к: m - n матрице A ранга r
- Разложение: где C - m x r матрица полного ранга столбца , а F - r x n матрица ранга полной строки
- Комментарий: ранговую факторизацию можно использовать для вычисления псевдообратной функции Мура- Пенроуза A , [2] которое можно применить для получения всех решений линейной системы .
Разложение Холецкого [ править ]
- Применимо к: квадратной , эрмитовой , положительно определенной матрице.
- Разложение: , где является верхнетреугольным с действительными положительными диагональными элементами
- Комментарий: если матрица эрмитов и положительно полуопределенен, то он имеет разложение вида если диагональные элементы разрешено равняться нулю
- Единственность: для положительно определенных матриц разложение Холецкого уникально. Однако в положительном полуопределенном случае он не единственен.
- Комментарий: если веществен и симметричен, имеет все реальные элементы
- Комментарий: Альтернативой является разложение ЛПНП , позволяющее избежать извлечения квадратных корней.
QR-разложение [ править ]
- Применимо к: m - n матрице A с линейно независимыми столбцами
- Разложение: где является унитарной матрицей размера m - m , и является верхней треугольной матрицей размера m - n
- Уникальность: В целом оно не уникально, но если имеет полный ранг , то существует единственный который имеет все положительные диагональные элементы. Если тоже квадратный является уникальным.
- Комментарий: QR-разложение обеспечивает эффективный способ решения системы уравнений. . Дело в том, что означает ортогонально , что , так что эквивалентно , что очень легко решить, так как является треугольным .
Факторизация RRQR [ править ]
Интерполяционное разложение [ править ]
ними с концепций
Собственная декомпозиция [ править ]
- Также называется спектральным разложением .
- Применимо к: квадратной матрице A с линейно независимыми собственными векторами (не обязательно разными собственными значениями).
- Разложение: , где D — диагональная матрица сформированная из собственных значений A , , а столбцы V соответствующие векторы A. — собственные
- Существование: n размером x n матрица A всегда имеет n (комплексных) собственных значений, которые можно упорядочить (более чем одним способом), чтобы сформировать размером n x n диагональную матрицу D и соответствующую матрицу ненулевых столбцов V , которая удовлетворяет условию уравнение собственных значений . обратимо тогда и только тогда, когда n собственных векторов линейно независимы (т. е. каждое собственное значение имеет геометрическую кратность, равную его алгебраической кратности ). Достаточным (но не необходимым) условием для этого является то, что все собственные значения различны (в этом случае геометрическая и алгебраическая кратности равны 1).
- Комментарий: всегда можно нормализовать собственные векторы, чтобы они имели длину один (см. определение уравнения собственных значений).
- Комментарий: Каждая нормальная матрица A (т. е. матрица, для которой , где является сопряженной транспозицией ) может быть разложена по собственному значению. Для нормальной матрицы A (и только для нормальной матрицы) собственные векторы можно сделать ортонормированными ( ), а собственное разложение имеет вид . В частности, все унитарные , эрмитовые или косоэрмитовые (в вещественнозначном случае все ортогональные , симметричные или кососимметричные соответственно) матрицы нормальны и, следовательно, обладают этим свойством.
- Комментарий: Для любой вещественной симметричной матрицы A собственное разложение всегда существует и может быть записано как , где и D , и V имеют действительные значения.
- Комментарий: собственное разложение полезно для понимания решения системы линейных обыкновенных дифференциальных уравнений или линейных разностных уравнений. Например, разностное уравнение начиная с начального состояния решается , что эквивалентно , где V и D — матрицы, сформированные из собственных векторов и собственных значений A . Поскольку D диагонально, возводим его в степень , просто возводит каждый элемент на диагонали в степень t . Это гораздо легче сделать и понять, чем возводить A в степень t , поскольку A обычно не является диагональным.
Жордановое разложение [ править ]
и Нормальная форма Жордана разложение Жордана – Шевалле.
- Применимо к: квадратной матрице A
- Комментарий: нормальная форма Жордана обобщает собственное разложение на случаи, когда собственные значения повторяются и не могут быть диагонализированы, разложение Жордана – Шевалле делает это без выбора базиса.
Разложение Шура [ править ]
- Применимо к: квадратной матрице A
- Разложение (сложный вариант): , где U – унитарная матрица , — сопряженная транспонированная форма U , а T — верхняя треугольная матрица, называемая комплексной формой Шура , которая имеет собственные значения матрицы A вдоль ее диагонали.
- Комментарий: если A — нормальная матрица , то T — диагональная и разложение Шура совпадает со спектральным разложением.
Шура разложение Реальное
- Применимо к: квадратной матрице A
- Разложение: это версия разложения Шура, где и содержат только действительные числа. Всегда можно написать где V — действительная ортогональная матрица , — транспонирование V матрица , , а S — блочная верхнетреугольная называемая вещественной формой Шура . Блоки на диагонали S имеют размер 1×1 (в этом случае они представляют действительные собственные значения) или 2×2 (в этом случае они получены из пар комплексно-сопряженных собственных значений).
QZ-разложение [ править ]
- Также называется: обобщенное разложение Шура.
- Применимо к: квадратным матрицам A и B
- Комментарий: существуют две версии этого разложения: сложная и реальная.
- Разложение (сложный вариант): и где Q и Z — унитарные матрицы , верхний индекс * означает сопряженное транспонирование , а S и T — верхнетреугольные матрицы.
- Комментарий: в комплексном QZ-разложении отношения диагональных элементов S к соответствующим диагональным элементам T , , являются обобщенными собственными значениями , которые решают обобщенную проблему собственных значений (где — неизвестный скаляр, а v — неизвестный ненулевой вектор).
- Разложение (реальная версия): и где A , B , Q , Z , S и T — матрицы, содержащие только действительные числа. В этом случае Q и Z — ортогональные матрицы , верхний индекс T представляет транспозицию , а S и T — блочные верхнетреугольные матрицы. Блоки на диагонали S и T имеют размер 1×1 или 2×2.
Факторизация Такаги [ править ]
- Применимо к: квадратной, комплексной, симметричной A. матрице
- Разложение: , где D — действительная неотрицательная диагональная матрица , а V — унитарная . обозначает транспонирование матрицы V .
- Комментарий: диагональные элементы D являются неотрицательными квадратными корнями собственных значений .
- Комментарий: V может быть комплексным, даже если A действительно.
- Комментарий: Это не частный случай собственного разложения (см. выше), в котором используется вместо . Более того, если A недействительно, оно не является эрмитовым, и форма, использующая тоже не применяется.
Разложение по сингулярным значениям [ править ]
- Применимо к: m - n матрице A .
- Разложение: , где D — неотрицательная диагональная матрица , а U и V удовлетворяют . Здесь является сопряженной транспозицией V ( или просто транспонированием , если V содержит только действительные числа), а I обозначает единичную матрицу (некоторой размерности).
- Диагональные элементы D называются сингулярными значениями A Комментарий : .
- Комментарий: Как и приведенное выше разложение по собственным значениям, разложение по сингулярным значениям включает в себя поиск базисных направлений, вдоль которых умножение матрицы эквивалентно скалярному умножению, но оно имеет большую общность, поскольку рассматриваемая матрица не обязательно должна быть квадратной.
- Уникальность: сингулярные значения всегда определяются однозначно. и вообще не обязательно должны быть уникальными.
Масштабно-инвариантные разложения [ править ]
Относится к вариантам существующих матричных разложений, таких как SVD, которые инвариантны относительно диагонального масштабирования.
- Применимо к: m - n матрице A .
- Разложение по сингулярным значениям, инвариантное к единичному масштабу: , где S — уникальная неотрицательная диагональная матрица масштабно-инвариантных сингулярных значений, U и V — унитарные матрицы , является сопряженным транспонированием V и положительных диагональных D и E. матриц
- Комментарий: аналогичен SVD, за исключением того, что диагональные элементы S инвариантны относительно левого и/или правого умножения A на произвольные неособые диагональные матрицы, в отличие от стандартного SVD, для которого сингулярные значения инвариантны относительно левого. и/или умножение справа A на произвольные унитарные матрицы.
- Комментарий: является альтернативой стандартному SVD, когда требуется инвариантность относительно диагональных, а не унитарных преобразований A .
- Уникальность: масштабно-инвариантные сингулярные значения (задаваемые диагональными элементами S ) всегда определяются однозначно. Диагональные матрицы D и E , а также унитарные U и V в общем случае не обязательно уникальны.
- Комментарий: Матрицы U и V не такие, как у СВД.
Аналогичные масштабно-инвариантные разложения могут быть получены из других матричных разложений; например, для получения масштабно-инвариантных собственных значений. [3] [4]
Хессенберга [editРазложение
- Применимо к: квадратной матрице А.
- Разложение: где - матрица Хессенберга и является унитарной матрицей .
- Комментарий: часто это первый шаг в разложении Шура.
ортогональное разложение Полное
- Также известно как: разложение UTV , разложение ULV , разложение URV .
- Применимо к: m - n матрице A .
- Разложение: , где T – треугольная матрица , а U и V – унитарные матрицы .
- Комментарий: аналогично разложению по сингулярным значениям и разложению Шура.
Другие разложения [ править ]
Полярное разложение [ править ]
- Применимо к: любой квадратной комплексной A. матрице
- Разложение: (правополярное разложение) или (левополярное разложение), где U — унитарная матрица , а P и P’ — положительно полуопределенные эрмитовые матрицы .
- Уникальность: всегда уникален и равен (который всегда эрмитов и положительно полуопределен). Если обратимо, то является уникальным.
- Комментарий: поскольку любая эрмитова матрица допускает спектральное разложение с унитарной матрицей, можно записать как . С положительно полуопределена, все элементы в неотрицательны. Поскольку произведение двух унитарных матриц унитарно, приняв можно написать что представляет собой разложение по сингулярным значениям. Следовательно, существование полярного разложения эквивалентно существованию сингулярного разложения.
полярное разложение Алгебраическое
- Применимо к: квадратной, комплексной, неособой A. матрице [5]
- Разложение: , где Q — комплексная ортогональная матрица, а S — комплексная симметричная матрица.
- Уникальность: Если не имеет отрицательных действительных собственных значений, то разложение однозначно. [6]
- Комментарий: Существование этого разложения эквивалентно быть похожим на . [7]
- Комментарий: Вариант этого разложения: , где R — действительная матрица, а C — круговая матрица . [6]
Разложение Мостова [ править ]
- Применимо к: квадратной, комплексной, неособой A. матрице [8] [9]
- Разложение: , где U унитарно, M вещественно антисимметрично и S вещественно симметрично.
- Комментарий: Матрицу A также можно разложить как , где U 2 унитарно, M 2 вещественно антисимметрично и S 2 вещественно симметрично. [6]
нормальная форма Синкхорн
- Применимо к: квадратной вещественной матрице A со строго положительными элементами.
- Разложение: , где S , дважды стохастическая а D 1 и D 2 — действительные диагональные матрицы со строго положительными элементами.
Секторальная декомпозиция
- Применимо к: квадратной комплексной матрице A с числовым диапазоном , содержащимся в секторе. .
- Разложение: , где C — обратимая комплексная матрица и со всем . [10] [11]
Уильямсона форма Нормальная
- Применимо к: квадратной положительно определенной вещественной матрице A порядка 2 n ×2 n .
- Разложение: , где – симплектическая матрица , а D – неотрицательная размером n × n . диагональная матрица [12]
Матричный квадратный корень [ править ]
- Разложение: , не уникальный в целом.
- В случае положительного полуопределенного , существует единственная положительно полуопределенная такой, что .
Обобщения [ править ]
![]() | Этот раздел нуждается в дополнении : примерами и дополнительными цитатами. Вы можете помочь, дополнив это . ( декабрь 2014 г. ) |
Существуют аналоги факторизаций SVD, QR, LU и Холецкого для квазиматриц и см-матриц или непрерывных матриц . [13] «Квазиматрица», как и матрица, представляет собой прямоугольную схему, элементы которой пронумерованы, но один дискретный индекс заменен непрерывным индексом. Аналогично, «cматрица» непрерывна по обоим индексам. В качестве примера см-матрицы можно привести ядро интегрального оператора .
Эти факторизации основаны на ранних работах Фредгольма (1903) , Гильберта (1904) и Шмидта (1907) . Подробное описание и перевод на английский основополагающих статей см. в Stewart (2011) .
См. также [ править ]
Ссылки [ править ]
Примечания [ править ]
- ^ Однако если используется неквадратная матрица, то матрица U также будет иметь ту же прямоугольную форму, что и исходная A. матрица Таким образом, называть матрицу U верхнетреугольной было бы неправильно, поскольку правильным термином было бы то, что U - это «форма звена строк» A . Помимо этого, нет никаких различий в LU-факторизации для квадратных и неквадратных матриц.
Цитаты [ править ]
- ^ Лэй, Дэвид С. (2016). Линейная алгебра и ее приложения . Стивен Р. Лэй, Джудит Макдональд (Пятое глобальное издание). Харлоу. п. 142. ИСБН 978-1-292-09223-2 . OCLC 920463015 .
{{cite book}}
: CS1 maint: отсутствует местоположение издателя ( ссылка ) - ^ Пизяк Р.; Оделл, Польша (1 июня 1999 г.). «Полноранговая факторизация матриц». Журнал «Математика» . 72 (3): 193. дои : 10.2307/2690882 . JSTOR 2690882 .
- ^ Ульманн, Дж. К. (2018), «Обобщенная обратная матрица, согласующаяся с диагональными преобразованиями», SIAM Journal on Matrix Analysis and Applications , 239 (2): 781–800, doi : 10.1137/17M113890X
- ^ Ульманн, Дж. К. (2018), «Обобщенная обратная матрица, сохраняющая ранг для согласованности по отношению к сходству», IEEE Control Systems Letters , 3 : 91–95, arXiv : 1804.07334 , doi : 10.1109/LCSYS.2018.2854240 , ISSN 2475-1456 , S2CID 5031440
- ^ Чоудхури и Хорн 1987 , стр. 219–225.
- ^ Перейти обратно: а б с Бхатия, Раджендра (15 ноября 2013 г.). «Биполярный распад». Линейная алгебра и ее приложения . 439 (10): 3031–3037. дои : 10.1016/j.laa.2013.09.006 .
- ^ Horn & Merino 1995 , стр. 43–92.
- ^ Мостоу, Г.Д. (1955), Некоторые новые теоремы о разложении полупростых групп , Mem. амер. Математика. Соц., вып. 14, Американское математическое общество, стр. 31–54.
- ^ Нильсен, Франк; Бхатия, Раджендра (2012). Матричная информационная геометрия . Спрингер. п. 224. arXiv : 1007.4402 . дои : 10.1007/978-3-642-30232-9 . ISBN 9783642302329 . S2CID 118466496 .
- ^ Чжан, Фучжэнь (30 июня 2014 г.). «Матричная декомпозиция и ее приложения» . Линейная и полилинейная алгебра . 63 (10): 2033–2042. дои : 10.1080/03081087.2014.933219 . S2CID 19437967 .
- ^ Друри, Юго-Запад (ноябрь 2013 г.). «Детерминантные неравенства Фишера и гипотеза Хайэма» . Линейная алгебра и ее приложения . 439 (10): 3129–3133. дои : 10.1016/j.laa.2013.08.031 .
- ^ Идель, Мартин; Сото Гаона, Себастьян; Вольф, Майкл М. (15 июля 2017 г.). «Границы возмущения для симплектической нормальной формы Уильямсона». Линейная алгебра и ее приложения . 525 : 45–58. arXiv : 1609.01338 . дои : 10.1016/j.laa.2017.03.013 . S2CID 119578994 .
- ^ Таунсенд и Трефетен, 2015 г.
Библиография [ править ]
- Чоудри, Дипа; Хорн, Роджер А. (апрель 1987 г.). «Комплексный ортогонально-симметричный аналог полярного разложения». SIAM Journal по алгебраическим и дискретным методам . 8 (2): 219–225. дои : 10.1137/0608019 .
- Фредхольм И. (1903), «Об одном классе функциональных уравнений», Acta Mathematica (на французском языке), 27 : 365–390, doi : 10.1007/bf02421317
- Гильберт, Д. (1904), "Основные особенности общей теории линейных интегральных уравнений", Nachr. Гез (на немецком языке), 1904 : 49–91.
- Хорн, Роджер А.; Мерино, Деннис И. (январь 1995 г.). «Контрагредиентная эквивалентность: каноническая форма и некоторые приложения» . Линейная алгебра и ее приложения . 214 : 43–92. дои : 10.1016/0024-3795(93)00056-6 .
- Мейер, CD (2000), Матричный анализ и прикладная линейная алгебра , SIAM , ISBN 978-0-89871-454-8
- Шмидт, Э. (1907), «К теории линейных и нелинейных интегральных уравнений. Часть I. Развитие произвольных функций по системе заданных правил» , Mathematical Annals (на немецком языке), 63 (4): 433–476. , дои : 10.1007/bf01449770
- Саймон, К.; Блюм, Л. (1994). Математика для экономистов . Нортон. ISBN 978-0-393-95733-4 .
- Стюарт, Г.В. (2011), Фредхольм, Гильберт, Шмидт: три фундаментальные статьи по интегральным уравнениям (PDF) , получено 6 января 2015 г.
- Таунсенд, А.; Трефетен, Л.Н. (2015), «Непрерывные аналоги матричных факторизаций», Proc. Р. Сок. A , 471 (2173): 20140585, Bibcode : 2014RSPSA.47140585T , doi : 10.1098/rspa.2014.0585 , PMC 4277194 , PMID 25568618
- Джун, Лу (2021), Числовое матричное разложение и его современные приложения: строгий первый курс , arXiv : 2107.02579
Внешние ссылки [ править ]
- Онлайн-калькулятор матриц
- Вычисление разложения альфа-матрицы Wolfram »Разложение LU и QR
- Математическая энциклопедия Springer » Матричная факторизация
- GraphLab GraphLab Библиотека совместной фильтрации , крупномасштабная параллельная реализация методов матричной декомпозиции (на C++) для многоядерных процессоров.