В линейной алгебре квадратная матрица называется диагонализируемой или недефектной, если она подобна диагональной матрице . То есть, если существуют обратимая матрица и диагональная матрица такие, что . Это эквивалентно . (Такие , не единственны.) Это свойство существует для любого линейного отображения: для конечномерного векторного пространства линейное отображение называется диагонализуемым , если существует упорядоченный базис , состоящий из собственных векторов . Эти определения эквивалентны: если имеет матричное представление, как указано выше, то векторы-столбцы образуют базис, состоящий из собственных векторов , а диагональные элементы являются соответствующими собственными значениями ; относительно этого базиса собственных векторов представляется как .
Диагонализация — это процесс поиска вышеизложенного, который упрощает многие последующие вычисления. Можно возвести диагональную матрицу в степень, просто возведя диагональные элементы в эту степень. Определитель диагональной матрицы — это просто произведение всех диагональных элементов. Такие вычисления легко обобщаются на .
Геометрическое преобразование, представленное диагонализуемой матрицей, представляет собой неоднородное расширение (или анизотропное масштабирование ). То есть он может масштабировать пространство на разную величину в разных направлениях. Направление каждого собственного вектора масштабируется коэффициентом, заданным соответствующим собственным значением.
Квадратная матрица, не диагонализируемая, называется дефектной . Может случиться так, что матрица с действительными элементами дефектна по действительным числам, а это означает, что это невозможно для любой обратимой и диагональной матрицы с действительными элементами, но это возможно с комплексными элементами, так что это диагонализуется по комплексным числам. Например, это относится к общей матрице вращения .
Многие результаты для диагонализируемых матриц верны только над алгебраически замкнутым полем (например, над комплексными числами). В этом случае диагонализируемые матрицы плотны в пространстве всех матриц, а это означает, что любая дефектная матрица может быть деформирована в диагонализуемую матрицу небольшим возмущением ; а теорема Жордана о нормальной форме утверждает, что любая матрица является однозначно суммой диагонализуемой матрицы и нильпотентной матрицы . Над алгебраически замкнутым полем диагонализируемые матрицы эквивалентны полупростым матрицам .
Определение
Квадратная матрица , с элементами в поле , называется диагонализируемой или недефектной, если существует обратимая матрица (т.е. элемент общей линейной группы GL n ( F )), такая, что является диагональной матрицей. Формально,
Характеристика
Фундаментальный факт о диагонализуемых отображениях и матрицах выражается в следующем:
Матрица над полем диагонализуема тогда и только тогда, когда сумма размерностей ее собственных пространств равна , что имеет место тогда и только тогда, когда существует базис , состоящий из собственных векторов . Если такой базис был найден, можно сформировать матрицу, имеющую эти базисные векторы в качестве столбцов, и это будет диагональная матрица, диагональные элементы которой являются собственными значениями . Матрица известна как модальная матрица для .
Линейное отображение диагонализуемо тогда и только тогда, когда сумма размерностей его собственных пространств равна , что имеет место тогда и только тогда, когда существует базис, состоящий из собственных векторов . По отношению к такому базису будет представлена диагональная матрица. Диагональные элементы этой матрицы являются собственными значениями .
Часто бывает полезно следующее достаточное (но не необходимое) условие.
Матрица диагонализуема по полю , если она имеет различные собственные значения в , т. е. если ее характеристический полином имеет различные корни в ; однако обратное может быть ложным. Учитывать
который имеет собственные значения 1, 2, 2 (не все различны ) и диагонализируем с диагональной формой ( аналогично )
Обратное не работает, если собственное пространство имеет размерность выше 1. В этом примере собственное пространство, связанное с собственным значением 2, имеет размерность 2.
Линейное отображение с диагонализуемо, если оно имеет различные собственные значения, т. е. если его характеристический многочлен имеет различные корни в .
Пусть – матрица над . Если диагонализуема, то и любая ее степень диагонализируема. И наоборот, если обратимо, алгебраически замкнуто и диагонализуемо для некоторых значений , не кратных характеристике , то диагонализуемо. Доказательство: Если диагонализуемо, то аннулируется некоторым многочленом , который не имеет кратного корня (поскольку ) и делится на минимальный многочлен .
В комплексных числах почти каждая матрица диагонализуема. Точнее: множество комплексных матриц, не диагонализируемых над , рассматриваемое как подмножество , имеет нулевую меру Лебега . Можно также сказать, что диагонализуемые матрицы образуют плотное подмножество относительно топологии Зариского : недиагонализируемые матрицы лежат внутри исчезающего множества дискриминанта характеристического многочлена, которое является гиперповерхностью . Отсюда следует и плотность в обычной ( сильной ) топологии, заданной нормой . То же самое не относится к .
Разложение Жордана – Шевалле выражает оператор как сумму его полупростой (т. е. диагонализируемой) части и нильпотентной части. Следовательно, матрица диагонализуема тогда и только тогда, когда ее нильпотентная часть равна нулю. Другими словами, матрица диагонализируема, если каждый блок в ее жордановой форме не имеет нильпотентной части; т.е. каждый «блок» представляет собой поочередную матрицу.
Таким образом, векторы-столбцы являются правыми собственными векторами , а соответствующий диагональный элемент является соответствующим собственным значением . Обратимость также предполагает, что собственные векторы линейно независимы и составляют основу . Это необходимое и достаточное условие диагонализуемости и канонического подхода диагонализации. Векторы - строки являются левыми собственными векторами .
Когда комплексная матрица является эрмитовой матрицей (или, в более общем смысле, нормальной матрицей ), собственные векторы могут быть выбраны для формирования ортонормированного базиса и могут быть выбраны в качестве унитарной матрицы . Если, кроме того, является вещественной симметричной матрицей , то ее собственные векторы могут быть выбраны в качестве ортонормированного базиса и могут быть выбраны в качестве ортогональной матрицы .
Для большинства практических работ матрицы диагонализируются численно с использованием компьютерного программного обеспечения. Для этого существует множество алгоритмов .
Одновременная диагонализация
Набор матриц называется одновременно диагонализируемым, если существует единственная обратимая матрица, такая что каждая матрица в наборе является диагональной . Следующая теорема характеризует одновременно диагонализируемые матрицы: множество диагонализируемых матриц коммутирует тогда и только тогда, когда это множество одновременно диагонализуемо. [1] : с. 64
Множество всех диагонализируемых матриц (над ) с не является одновременно диагонализируемым. Например, матрицы
диагонализуемы, но не диагонализуемы одновременно, поскольку они не коммутируют.
Множество состоит из коммутирующих нормальных матриц тогда и только тогда, когда оно одновременно диагонализуемо унитарной матрицей ; то есть существует унитарная матрица, такая что диагональна для всех в множестве.
Инволюции диагонализуемы по действительным числам (да и вообще по любому полю характеристики, отличной от 2), с ±1 на диагонали.
Эндоморфизмы конечного порядка диагонализуемы над (или любым алгебраически замкнутым полем, где характеристика поля не делит порядок эндоморфизма) с корнями из единицы на диагонали. Это следует из того, что минимальный полином отделим , поскольку корни из единицы различны.
Проекции являются диагонализуемыми, с 0 и 1 на диагонали.
Действительные симметричные матрицы диагонализуемы ортогональными матрицами ; т.е., учитывая вещественную симметричную матрицу , является диагональной для некоторой ортогональной матрицы . В более общем смысле, матрицы диагонализуемы унитарными тогда и только тогда, когда они нормальны . В случае вещественной симметричной матрицы мы видим, что , так что очевидно, выполняется. Примерами нормальных матриц являются вещественные симметричные (или кососимметричные ) матрицы (например, ковариационные матрицы) и эрмитовые матрицы (или косоэрмитовые матрицы). См. спектральные теоремы для обобщений на бесконечномерные векторные пространства.
Матрицы, недиагонализуемые
В общем, матрица вращения не диагонализируема по действительным числам, но все матрицы вращения диагонализуемы по комплексному полю. Даже если матрица недиагонализуема, всегда можно «сделать все возможное» и найти матрицу с теми же свойствами, состоящую из собственных значений на главной диагонали и единиц или нулей на супердиагонали, известную как жорданова нормаль. форма .
Эта матрица недиагонализуема: не существует матрицы, которая была бы диагональной. Действительно, имеет одно собственное значение (а именно ноль), и это собственное значение имеет алгебраическую кратность 2 и геометрическую кратность 1.
Некоторые действительные матрицы не диагонализуемы по действительным числам. Рассмотрим, например, матрицу
Матрица не имеет действительных собственных значений, поэтому не существует такой действительной матрицы , которая была бы диагональной матрицей. Однако мы можем провести диагонализацию, если допустим комплексные числа. Действительно, если мы возьмем
тогда диагональ. Легко найти, что это матрица вращения, которая вращается против часовой стрелки на угол
Обратите внимание, что приведенные выше примеры показывают, что сумма диагонализуемых матриц не обязательно должна быть диагонализуемой.
Как диагонализировать матрицу
Диагонализация матрицы — это тот же процесс, что и нахождение ее собственных значений и собственных векторов , в случае, если собственные векторы образуют базис. Например, рассмотрим матрицу
Корнями характеристического многочлена являются собственные значения . Решение линейной системы дает собственные векторы и , а дает ; то есть для . Эти векторы образуют основу , поэтому мы можем собрать их как векторы-столбцы матрицы изменения базиса , чтобы получить:
поэтому
.
Обратите внимание, что не существует предпочтительного порядка собственных векторов в ; изменение порядка собственных векторов просто меняет порядок собственных значений в диагонализованной форме . [2]
Приложение к матричным функциям
Диагонализацию можно использовать для эффективного вычисления степеней матрицы :
а последнее легко вычислить, поскольку оно включает только степени диагональной матрицы. Например, для матрицы с собственными значениями в приведенном выше примере мы вычисляем:
Этот подход можно обобщить на матричную экспоненту и другие матричные функции , которые можно определить как степенные ряды. Например, определяя , мы имеем:
Вычисление различных степеней обнаруживает удивительную закономерность:
Вышеописанное явление можно объяснить диагонализацией . Для этого нам понадобится базис, состоящий из собственных векторов . Один из таких базисов собственных векторов определяется выражением
где e i обозначает стандартный базис R n . Обратная замена базиса определяется выражением
Непосредственные расчеты показывают, что
Таким образом, a и b — собственные значения, соответствующие u и v соответственно. Ввиду линейности умножения матриц имеем, что
Возвращаясь к стандартной основе, мы имеем
Предыдущие соотношения, выраженные в матричной форме, имеют вид
тем самым объясняя вышеупомянутое явление.
Квантово-механическое применение
В квантово-механических и квантово-химических расчетах диагонализация матрицы является одним из наиболее часто применяемых численных процессов. Основная причина заключается в том, что независимое от времени уравнение Шредингера является уравнением собственных значений, хотя в большинстве физических ситуаций в бесконечномерном гильбертовом пространстве .
Очень распространенным приближением является усечение гильбертова пространства до конечной размерности, после чего уравнение Шредингера можно сформулировать как проблему собственных значений вещественной симметричной или комплексной эрмитовой матрицы. Формально это приближение основано на вариационном принципе , справедливом для ограниченных снизу гамильтонианов.
^ Хорн, Роджер А.; Джонсон, Чарльз Р. (2013). Матричный анализ, второе издание . Издательство Кембриджского университета. ISBN 9780521839402.
^ Антон, Х.; Роррес, К. (22 февраля 2000 г.). Элементарная линейная алгебра (версия для приложений) (8-е изд.). Джон Уайли и сыновья. ISBN978-0-471-17052-5.