Математика / Матрицы, определители

Диагонализация матрицы

Диагонализация представляет квадратную матрицу A в виде A=PDP^{-1}, где D диагональна, а столбцы P являются собственными векторами A. Это переводит действие оператора в собственный базис.

Опубликовано: Обновлено:

Формула

$$A=PDP^{-1}$$
diagonalization-flow P^{-1}, затем D, затем P

Схема показывает переход в собственный базис, диагональное масштабирование и возвращение в исходный базис.

Диагонализация не меняет оператор, а меняет координатный язык, в котором он записан.

Обозначения

$A$
квадратная матрица или матрица линейного оператора, матрица n x n
$P$
обратимая матрица из собственных векторов A, матрица перехода
$D$
диагональная матрица собственных значений, диагональная матрица
$P^{-1}$
обратная матрица перехода в собственный базис, матрица

Условия применения

  • Матрица A должна быть квадратной.
  • Должно существовать n линейно независимых собственных векторов A.
  • Столбцы P нужно расположить в том же порядке, в каком соответствующие собственные значения стоят на диагонали D.

Ограничения

  • Не каждая квадратная матрица диагонализуема.
  • Повторяющиеся собственные значения требуют проверки размерностей собственных пространств.
  • Если собственные значения комплексные, диагонализация может существовать над C, но не над R.

Подробное объяснение

Диагонализация является координатной сменой языка. В исходном базисе матрица A может смешивать координаты. Если удается выбрать базис из собственных векторов, то каждый базисный вектор только масштабируется своим собственным значением. Поэтому в этом базисе матрица оператора диагональна.

Столбцы P - это собственные векторы в старых координатах. Матрица P переводит координаты из собственного базиса в исходный. Матрица P^{-1} делает обратный переход: берет вектор в исходных координатах и выражает его в собственном базисе. Затем D умножает собственные координаты на собственные значения, а P возвращает результат в исходные координаты. Именно поэтому порядок A=PDP^{-1} имеет смысл справа налево.

Ключевое условие - наличие полного набора независимых собственных векторов. Если их n, они образуют базис пространства, и оператор получает диагональную матрицу. Если независимых собственных векторов меньше n, диагонализация невозможна, даже если характеристический многочлен полностью раскладывается на линейные множители.

Диагонализация особенно полезна для повторного действия оператора. Из A=PDP^{-1} сразу следует A^k=PD^kP^{-1}. Диагональная матрица возводится в степень поэлементно на диагонали, поэтому сложная задача о степенях A превращается в простое возведение собственных значений в степень.

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

  1. Найдите собственные значения матрицы A.
  2. Для каждого собственного значения найдите базис собственного пространства.
  3. Проверьте, что всего найдено n линейно независимых собственных векторов.
  4. Соберите эти векторы столбцами в P.
  5. Поставьте соответствующие собственные значения на диагональ D в том же порядке.

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

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

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

Историческая линия формулы

Формула A=PDP^{-1} является современной учебной записью идеи приведения оператора к собственному базису. Исторически она связана с матричной алгеброй Кэли и Сильвестра, теорией линейных подстановок Фробениуса и нормальными формами Камиля Жордана, а не с единоличным авторством одной формулы.

Пример

Пусть A=[[2,1],[1,2]]. Собственные значения равны 3 и 1. Для lambda=3 можно взять v1=(1,1)^T, для lambda=1 - v2=(1,-1)^T. Собираем P=[[1,1],[1,-1]], а D=diag(3,1). Тогда AP=PD, потому что A умножает первый столбец P на 3, а второй на 1. Из AP=PD и обратимости P получаем A=PDP^{-1}. Проверка: P^{-1}=(1/(-2))[[-1,-1],[-1,1]]=[[1/2,1/2],[1/2,-1/2]]. Вычисление PDP^{-1} возвращает [[2,1],[1,2]]. В собственном базисе действие матрицы стало простым: первая координата умножается на 3, вторая на 1. Дополнительная проверка для этой страницы: после преобразования нужно перемножить матрицы обратно и убедиться, что получается исходный оператор. Для темы "Диагонализация матрицы" это особенно полезно, потому что диагональная форма часто выглядит убедительно сама по себе, но ошибка в порядке базисных векторов или в одном собственном значении сразу ломает равенство. В учебной задаче удобно отдельно выписать матрицу перехода, диагональную матрицу и обратную матрицу перехода, а затем проверить хотя бы один столбец произведения. Такой контроль показывает не только численный ответ, но и то, какие направления пространства стали главными.

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

Частая ошибка - поставить собственные значения в D в одном порядке, а собственные векторы в P в другом. Тогда произведение PDP^{-1} даст неверную матрицу. Вторая ошибка - использовать зависимые собственные векторы: матрица P должна быть обратимой. Третья ошибка - считать, что наличие n собственных значений с учетом кратности автоматически дает n независимых собственных векторов. При повторных корнях нужно отдельно проверять собственные пространства. Еще одна ошибка - писать D=P^{-1}AP, но затем восстанавливать A как P^{-1}DP вместо PDP^{-1}.

Практика

Задачи с решением

Собрать P и D

Условие. У матрицы A собственные пары: lambda1=4, v1=(1,0)^T; lambda2=2, v2=(1,1)^T. Запишите P и D.

Решение. Ставим собственные векторы столбцами: P=[[1,1],[0,1]]. В том же порядке ставим значения на диагональ: D=diag(4,2).

Ответ. P=[[1,1],[0,1]], D=[[4,0],[0,2]].

Проверить порядок

Условие. Если в P поменяли местами v1 и v2, как нужно изменить D?

Решение. Диагональные элементы D должны следовать порядку столбцов P. Если P=[v2 v1], то D=diag(lambda2,lambda1).

Ответ. Нужно поменять местами диагональные значения.

Дополнительные источники

  • MIT OpenCourseWare 18.06SC, Diagonalization
  • Jim Hefferon, Linear Algebra, Diagonalizability
  • TUDelft Interactive Linear Algebra, Diagonalization

Связанные формулы

Математика

Собственное значение и собственный вектор

$Av=\lambda v,\quad v\ne0$

Собственный вектор матрицы A - это ненулевой вектор, который после умножения на A остается на той же прямой. Собственное значение lambda показывает, во сколько раз этот вектор растягивается, сжимается или меняет направление.

Математика

Базис из собственных векторов

$B=(v_1,\ldots,v_n),\quad Av_i=\lambda_i v_i$

Базис из собственных векторов - это базис пространства, каждый вектор которого является собственным для оператора A. В таком базисе матрица оператора становится диагональной.

Математика

Критерий диагонализируемости через геометрические кратности

$A\text{ диагонализируема}\Longleftrightarrow \sum_{\lambda\in\sigma(A)}\dim E_\lambda=n$

Матрица n x n диагонализируема тогда и только тогда, когда сумма размерностей всех ее собственных пространств равна n. Это означает, что собственных векторов хватает на базис.

Математика

Степень диагонализируемой матрицы

$A^k=PD^kP^{-1},\quad D^k=\operatorname{diag}(\lambda_1^k,\ldots,\lambda_n^k)$

Если A=PDP^{-1}, то степень A^k вычисляется как PD^kP^{-1}. Диагональную матрицу D возводят в степень по диагональным элементам.