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