Как привести матрицу к диагональному виду: пример 3x3
Дано: матрица со строками 2 1 1; 1 2 ; 1 1 2. Найти: матрицу перехода и диагональную матрицу , для которых .
Привести матрицу к диагональному виду значит найти базис из её собственных векторов и переписать то же преобразование в этом базисе. Характеристическое уравнение даёт три разных корня 1, 2 и 3, поэтому базис существует и ответ такой: с числами 1, 2, 3 на диагонали, а столбцы это векторы , и . Калькулятор сверху проделывает те же шаги для любой матрицы 3x3 и на графике сравнивает кратности корней: это сравнение и решает, соберётся базис или нет.
Решение по шагам
Дано. Матрица третьего порядка
Найти: невырожденную и диагональную со связью .
Шаг 1. Находим собственные значения. Вычитаем из главной диагонали и приравниваем определитель нулю. След равен 6, сумма трёх главных миноров второго порядка равна 11, определитель равен 6, значит характеристическое уравнение такое:
Корни , , различны, и этого уже достаточно для диагонализации. Техника поиска корней подробно разобрана в задаче про собственные значения матрицы, здесь она нужна как готовый инструмент.
Шаг 2. Находим собственные векторы. Для каждого корня решаем однородную систему . При матрица системы имеет строки 1 1 1; 1 1 ; 1 1 1. Первая и третья строки совпадают, остаются условия и . Их разность даёт , после чего , и получается .
При строки матрицы такие: 0 1 1; 1 0 ; 1 1 0. Третья строка равна сумме первых двух и потому лишняя. Из первой строки , из второй ; положив , получаем .
При матрица имеет строки 1 1; 1 ; 1 1 . Вторая строка противоположна первой, независимых уравнений снова два. Сложив первое и третье, получаем и , то есть .
Шаг 3. Собираем и . Собственные векторы становятся столбцами , а собственные значения идут по диагонали в том же порядке: первому столбцу отвечает первый диагональный элемент.
Определитель отличен от нуля, значит столбцы линейно независимы и образуют базис. Проверка обязательна: при нулевом определителе векторы в базис не годятся и диагонализация невозможна.
Шаг 4. Находим обратную матрицу. Для с определителем обратная получается целочисленной:
Убедиться в этом стоит одним умножением: обязано дать единичную матрицу. Поиск обратной через союзную матрицу разобран в задаче про матричное уравнение, а нужные для неё определители второго порядка - в разборе про миноры матрицы.
Шаг 5. Проверяем ответ. Считать произведение трёх матриц необязательно. Умножим справа на и получим форму без обратной матрицы: . Слева каждый столбец это , справа , так что проверка сводится к трём умножениям матрицы на вектор:
Столбцы сошлись: равно , равно , равно . Есть и косвенная проверка: сумма диагонали равна , то есть следу исходной матрицы, а произведение совпадает с её определителем.
Ответ: содержит 1, 2, 3 на главной диагонали, столбцы равны , , , и равенство выполнено.
Формула и откуда она берётся
Равенство удобнее читать в перевёрнутом виде: . Матрица , составленная из столбцов-векторов, это матрица перехода к новому базису, а формула описывает одно и то же линейное преобразование в новых координатах. Диагонализация не меняет преобразование, она меняет систему координат, в которой мы на него смотрим.
Почему в таком базисе матрица становится диагональной, видно из определения. Собственный вектор не поворачивается под действием , он только растягивается: . Значит образ -го базисного вектора раскладывается по базису с единственным ненулевым коэффициентом на -м месте. А столбцы матрицы линейного оператора это и есть координаты образов базисных векторов, поэтому вне диагонали остаются нули.
Отсюда же видно, почему ответ не единственный. Переставь местами два столбца вместе с двумя числами на диагонали - получится другая, но столь же верная пара. Умножь любой столбец на ненулевое число - равенство сохранится. Нельзя менять только соответствие между номером столбца и номером диагонального элемента.
Практическая выгода диагонального вида в том, что действия с матрицей становятся поэлементными: степень считается как , и этот приём разобран в задаче про возведение матрицы в степень.
Критерий: когда матрица приводится к диагональному виду
Матрица порядка диагонализуема тогда и только тогда, когда у неё есть линейно независимых собственных векторов. Сформулировать это через корни характеристического уравнения можно так: для каждого собственного значения геометрическая кратность должна совпасть с алгебраической.
Алгебраическая кратность - это кратность корня в характеристическом уравнении. Геометрическая - размерность собственного подпространства, то есть число свободных переменных в системе . Она считается через ранг матрицы по формуле и никогда не превышает алгебраическую. Если хотя бы у одного корня она меньше, независимых векторов не хватит.
Из критерия следует удобное достаточное условие: если все корней различны, матрица диагонализуема всегда. Каждому простому корню отвечает ровно один независимый вектор, а векторы разных собственных значений независимы автоматически. Это и есть случай из условия, поэтому выше мы не считали ранги.
Отдельно стоит случай комплексных корней. У матрицы поворота их пара, и над вещественными числами такая матрица к диагональному виду не приводится: вещественных собственных направлений у поворота нет. Над комплексным полем она диагонализуется, так что ответ зависит от того, где работает задача.
Кратный корень: два разных исхода
Кратный корень сам по себе ещё не приговор. Сравним две матрицы, у обеих есть двойной корень, но ведут они себя по-разному.
| Матрица по строкам | Корни | Алгебраическая кратность | Геометрическая кратность | Вывод |
|---|---|---|---|---|
| 0 1 1; 1 0 1; 1 1 0 | , , 2 | 2 и 1 | 2 и 1 | приводится |
| 3 2 ; 1 4 ; 1 2 | 2, 2, 5 | 2 и 1 | 1 и 1 | не приводится |
В первой матрице система для сводится к уравнению : ранг равен единице, свободных переменных две. Подходят векторы и , а третий столбец даёт корень с вектором . Кратности совпали, базис собрался.
Во второй матрице для получается система со строками 1 2 ; 1 2 ; 1 0. Ранг равен двум, свободная переменная одна, и весь набор собственных векторов исчерпывается вектором с точностью до множителя. Двойному корню отвечает одно направление вместо двух, независимых векторов всего два на три измерения, и к диагональному виду матрица не приводится ни при каком выборе . Максимум, чего можно добиться, - жорданова форма, где над диагональю появляется единица.
Проверять кратности удобно калькулятором сверху: на графике для каждого корня стоят два столбика, и пока они одинаковой высоты, базис собирается.
Симметричный случай и порядок столбцов
Для симметричной матрицы ответ известен заранее: она диагонализуема всегда, все её собственные значения вещественны, а собственные векторы разных корней ортогональны. Это содержание спектральной теоремы, разобранной в статье про самосопряжённые операторы. Выгода практическая: если нормировать столбцы на единичную длину, станет ортогональной и , то есть обратную матрицу считать не нужно, достаточно транспонировать.
Возьмём симметричную матрицу со строками 2 1 1; 1 2 1; 1 1 2. Её корни равны 4 и 1, причём единица двойная с двумерным подпространством . Вектор отвечает четвёрке и ортогонален всей этой плоскости, а базис внутри плоскости ортогонализуют процессом Грама-Шмидта. На том же приёме построено приведение квадратичной формы ортогональным преобразованием, только там результат читают как канонический вид формы.
Про порядок столбцов стоит сказать отдельно: он произволен, но обязан быть согласован. Если первым столбцом стоит вектор для , то и в левом верхнем углу стоит тройка. Рассогласование видно сразу по проверке : столбцы не совпадут, хотя сами векторы найдены верно.
Частые ошибки
- Ставят собственные векторы в строки , а не в столбцы. Тогда вместо получится равенство для транспонированной матрицы и проверка не сойдётся.
- Путают порядок сомножителей. Правильно и ; умножение матриц не коммутативно, даст другой результат.
- Считают кратный корень один раз. Двойной корень даёт два столбца и два одинаковых числа на диагонали , иначе размеры не сойдутся.
- Принимают кратный корень за приговор. Проверять надо не кратность, а ранг матрицы .
- Рассогласовывают порядок столбцов и диагонали. Перестановка столбцов допустима только вместе с такой же перестановкой чисел в .
- Не проверяют . При ошибке в вычислениях три вектора могут оказаться зависимыми, и тогда не существует.
FAQ
Чем матрица отличается от жордановой формы? Диагональная форма - частный случай жордановой, где все клетки размера один на один. Если геометрическая кратность корня меньше алгебраической, появляются клетки большего размера с единицами над диагональю, и диагональной матрицы уже не получить.
Единственны ли и ? Нет. Набор диагональных элементов определён однозначно, но их порядок произволен, а столбцы заданы с точностью до множителя и, при кратных корнях, до выбора базиса в собственном подпространстве.
Можно ли обойтись без поиска ? Для проверки ответа да: равенство эквивалентно исходному и обратной не требует. Но если нужно предъявить именно разложение , обратную придётся найти. Для симметричной матрицы с ортонормированными столбцами она равна транспонированной.
Что делать, если среди корней есть ноль? Ничего особенного: ноль на диагонали допустим и означает лишь, что исходная матрица вырождена. Собственные векторы для это ненулевые решения системы , то есть базис ядра. Нулевым не может быть сам вектор, а не собственное значение.
Коротко
- Составить характеристическое уравнение и найти все его корни с учётом кратности.
- Для каждого корня решить систему и выписать фундаментальную систему решений; число векторов равно .
- Сравнить кратности: если у каждого корня число независимых векторов равно кратности корня, матрица диагонализуема, иначе нет.
- Поставить векторы столбцами в , соответствующие собственные значения - на диагональ в том же порядке, проверить .
- Проверить результат равенством . Для матрицы из условия содержит 1, 2, 3, а столбцы равны , , .
Похожие задачи
Как возвести матрицу в степень: разбор A в 5 степени
Как возвести матрицу в степень через диагонализацию: характеристическое уравнение, собственные векторы, разложение A = PDP^(-1), расчёт A в 5 степени и две проверки ответа.
Линейная алгебраКак найти жорданову форму матрицы: пример 3x3
Как найти жорданову форму матрицы 3x3: характеристическое уравнение, алгебраическая и геометрическая кратность корня, размеры клеток по рангам степеней, матрица перехода P.
Линейная алгебраКак найти матрицу линейного оператора: разбор 3x3
Как найти матрицу линейного оператора: подставляем базисные векторы в формулу и ставим образы столбцами, затем пересчитываем матрицу в новый базис по формуле подобия с матрицей перехода.
Линейная алгебраКак найти собственные значения матрицы: пример 3x3
Разбираем, как найти собственные значения матрицы 3x3: характеристическое уравнение, раскрытие определителя, корни кубического многочлена, собственные векторы и проверка по следу.
Линейная алгебраКак найти фундаментальную систему решений: разбор
Разбираем, как найти фундаментальную систему решений однородной СЛАУ: ранг матрицы, число свободных неизвестных n минус r, базисные решения, общее решение и проверка.
Линейная алгебраКак найти проекцию вектора на подпространство
Как найти ортогональную проекцию вектора на подпространство через матрицу Грама и нормальные уравнения: разбор с числами, ортогональная составляющая, расстояние и калькулятор.