Разложе́ние ма́трицы
— представление
матрицы
в виде
произведения
матриц, обладающих некоторыми определёнными свойствами (например,
ортогональностью
,
симметричностью
,
диагональностью
). У каждого класса матричных разложений имеется своя область применения; в частности, многие эффективные алгоритмы
основаны на построении соответствующих матричных разложений.
Вид разложения:
, где
—
нижняя треугольная матрица
, а
—
верхняя треугольная
. Для однозначности разложения обычно дополнительно требуют, что матрица
была
унитреугольной
, т. е. треугольной матрицей с диагональными элементами, равными единице (иногда вместо этого требование унитреугольности накладывают на матрицу
)
.
Сходные разложения:
в виде
, где
— нижняя унитреугольная матрица,
— верхняя унитреугольная, а
—
диагональная
.
Сходные разложения:
LUP
-разложение
в виде
, где
—
матрица перестановок
(выбирается в процессе построения разложения),
нижняя унитреугольная матрица,
— верхняя треугольная матрица. Это — обобщение
LU
-разложения на случай произвольных невырожденных матриц.
Существование:
LUP
-разложение существует для любой квадратной матрицы
. Когда матрица
сводится к
единичной матрице
,
LUP
-разложение сводится к
LU
-разложению.
LUP
и
LU
-разложения используются при решении
СЛАУ
размерности
. Соответствующие методы представляют собой варианты матричной формы
метода Гаусса
. Матрица
характеризует при этом совокупный эффект перестановок строк в методе Гаусса.
Ранговая факторизация
Основная статья:
Ограничения:
произвольная матрица
размера
и
ранга
.
Сходные разложения:
альтернативой является модифицированное разложение Холецкого (
), которое позволяет избежать извлечения корней (в нём матрица
—
нижняя унитреугольная
, а
—
диагональная
).
Разложение Холецкого применяется для решения
СЛАУ
, если матрица
имеет соответствующие свойства. Этот способ решения, по сравнению с методом
LU-разложения
, заведомо
численно устойчив
и требует в два раза меньше арифметических операций
.
Сходные разложения:
существуют аналогичные
QL
-,
RQ
- и
LQ
-разложения.
В силу ортогональности матрицы
(что означает совпадение обратной матрицы
с транспонированной матрицей
) система
эквивалентна системе
с треугольной матрицей, решение которой не доставляет труда.
Ограничения:
произвольная матрица
размерности
и
ранга
.
Вид разложения:
, где
— подмножество из
индексов
; матрица
состоит из соответствующих столбцов изначальной матрицы;
—
матрица, все элементы которой по модулю не больше 2 (кроме того,
содержит единичную подматрицу размерности
). Аналогичное разложение можно получить и по строкам.
Разложения, связанные с собственными или сингулярными значениями
Существование:
матрица размерности
всегда имеет
собственных значений (с учётом кратности), которые могут быть упорядочены (не единственным способом), чтобы построить диагональную матрицу
размерности
и соответствующую матрицу из ненулевых столбцов
, которые удовлетворяют
равенству
. Если
собственных векторов различны, тогда матрица
имеет обратную, что и даст искомое разложение
.
Всегда можно нормировать собственные векторы, чтобы те имели длину 1. Если
вещественная
симметричная
матрица, то
всегда
обратима
и нормализуема. В этом случае матрица
оказывается ортогональной, поскольку собственные векторы
ортогональны
по отношению друг к другу. Таким образом, искомое разложение (которое в рассматриваемом случае всегда существует) можно записать как
.
Необходимым и достаточным условием диагонализуемости является совпадение геометрической и алгебраической кратности каждого собственного значения. В частности, наличие
различных собственных значений является достаточным (но не необходимым) условием.
Спектральное разложение полезно для понимания решений
систем линейных обыкновенных дифференциальных уравнений
или
разностных уравнений
. Например, разностное уравнение
с начальным условием
имеет решение
, что можно записать иначе как
(в случае, если
). Возведение в степень
диагональной матрицы
сведётся к возведению каждого элемента на диагонали в степень
, что несравнимо проще, чем
(если, конечно, последняя изначально не имеет диагональный вид).
Вид разложения:
, где
— жорданова матрица, а
— матрица перехода к новому базису.
Жорданова нормальная форма является обобщением диагональной формы матрицы
, составленной из собственных значений, на случай, когда
геометрическая кратность
одного или нескольких собственных значений меньше
алгебраической кратности
.
Существует две версии разложения: для случая вещественной матрицы и для случая комплексной матрицы. Последняя всегда имеет комплексное разложение Шура.
Вид разложения (вещественный случай):
(все матрицы в обеих частях равенства составлены из строго вещественных значений). В этом случае
—
ортогональная матрица
, а
—
квазитреугольная
. Последняя называется вещественной
формой Шура
. Блоки на диагонали
либо размера
(в таком случае они представляют собой действительные собственные значения) или
(образуемые парой
комплексно-сопряжённых
собственных чисел).
Вид разложения (комплексный случай):
, где
—
унитарная
,
— её
эрмитово-сопряжённая
, а
— верхняя треугольная матрица, называемая комплексной
формой Шура
, которая содержит собственные значения
на диагонали.
В указанном разложении соотношение диагональных элементов в
и соответствующих в
,
являются обобщёнными собственными значениями, которые являются решением обобщённой задачи поиска собственных значений
(где
— неизвестный скаляр и
— неизвестный ненулевой вектор).
Вид разложения (вещественный случай):
, где все матрицы состоят строго из вещественных значений.
— ортогональные матрицы, а
—
квазитреугольные
, состоящие из блоков
или
(аналогичных соответствующим блокам в разложении Шура).
Элементы на диагонали матрицы
называются сингулярными значениями матрицы
и обозначаются
Число ненулевых сингулярных значений матрицы
равно рангу этой матрицы
.
Сингулярное разложение, как и спектральное разложение, включает в себя отыскание базиса подпространств, действие на элементы которых оператора
эквивалентны умножению на скаляр (т. е.
), но при этом сингулярное разложение является более общим методом, поскольку матрица
не обязана быть квадратной.
William H. Press, Saul A. Teukolsky, William T. Vetterling, Brian P. Flannery. .
// Numerical Recipes in C. 2nd edition. — Cambridge: Cambridge University Press. —
ISBN 0-521-43108-5
.
(неопр.)
. Дата обращения: 17 ноября 2016.
22 июня 2017 года.
, p. 514.
↑
, с. 21.
, с. 80.
Форсайт Дж., Малькольм М., Моулер К. .
Машинные методы математических вычислений. —
М.
:
Мир
, 1980. — 280 с.
— С. 214, 225.