В линейной алгебре символ характеристический многочлен квадратной матрицы является полиномом , который инвариантен относительно подобия матрицы и имеет собственные значения как корни. Среди его коэффициентов есть определитель и след матрицы. Характеристический многочлен эндоморфизма векторных пространств конечной размерности является характеристическим многочленом матрицы эндоморфизма над любой базой; это не зависит от выбора основы. характеристическое уравнение, также известное как детерминантное уравнение, представляет собой уравнение, полученное приравниванием к нулю характеристического полинома.
В теории спектральных графов характеристический многочлен графа graph является характеристическим многочленом его матрицы смежности.
Учитывая квадратную матрицу A, мы хотим найти многочлен, нули которого являются собственными значениями матрицы A. Для диагональной матрицы A характеристический многочлен легко определить: если диагональные элементы равны a 1, a 2, a 3 и т.д., то характеристический многочлен будет:
Это работает, потому что диагональные элементы также являются собственными значениями этой матрицы.
Для общей матрицы A можно действовать следующим образом. Скаляр λ является собственным значением A тогда и только тогда, когда существует ненулевой вектор v, называемый собственным вектором, такой, что
или, что эквивалентно,
(где I - единичная матрица ). Поскольку v должен быть ненулевым, это означает, что матрица λI - A имеет ненулевое ядро . Таким образом, эта матрица не является обратимой, и то же самое верно для ее определителя , который, следовательно, должен быть равен нулю. Таким образом, собственные значения матрицы A - это корни функции det (λI - A), которая является полиномом от λ.
Мы рассматриваем матрицу размера n × n A. Характеристический многочлен матрицы A, обозначенный p A (t), является многочленом, определяемым как
где I обозначает n × n единичная матрица.
Некоторые авторы определяют характеристический полином как det (A - tI). Этот многочлен отличается от указанного здесь знаком (−1), поэтому он не имеет значения для таких свойств, как наличие в качестве корней собственных значений A; однако приведенное выше определение всегда дает монический многочлен , тогда как альтернативное определение является моническим только тогда, когда n четно.
Предположим, мы хотим вычислить характеристический полином матрицы
Теперь мы вычисляем определитель числа
, что равно характеристический многочлен A.
В другом примере используются гиперболические функции от гиперболического угла φ. В качестве матрицы возьмем
Его характеристический полином равен
Многочлен p A (t) является моническим (его старший коэффициент равен 1) и его степень равна n. Самый важный факт о характеристическом полиноме уже упоминался в мотивационном абзаце: собственные значения A - это в точности корни из p A (t) (это также верно для минимальный многочлен от A, но его степень может быть меньше n). Коэффициенты характеристического полинома - это все выражения полинома в элементах матрицы. В частности, его постоянный коэффициент p A (0) равен det (−A) = (−1) det (A), коэффициент при t равен единице, а коэффициент при t равен tr (−A) = −tr (A), где tr (A) - это след для A. (Знаки, приведенные здесь, соответствуют формальному определению, данному в предыдущем разделе; для альтернативного определения это будет det ( A) и (−1) tr (A) соответственно.)
Для матрицы A 2 × 2 характеристический многочлен, таким образом, определяется как
Используя язык внешней алгебры, можно компактно выразить характеристический многочлен n × n матрица A как
где tr (ΛA) - след k внешней мощности элемента A, имеющего размерность . Эта трасса может быть вычислена как сумма всех основных миноров A размера k. Рекурсивный алгоритм Фаддеева – Леверье вычисляет эти коэффициенты более эффективно.
Когда характеристика равна 0, она альтернативно может быть вычислена как один определитель, определяющий матрицу k × k,
Теорема Кэли – Гамильтона утверждает, что замена t на A в характеристическом полиноме (интерпретация полученных степеней как степени матрицы, а постоянный член c как c, умноженный на единичная матрица) дает нулевую матрицу. Неформально говоря, каждая матрица удовлетворяет собственному характеристическому уравнению. Это утверждение эквивалентно утверждению, что минимальный многочлен матрицы A делит характеристический многочлен матрицы A.
Две одинаковые матрицы имеют одинаковый характеристический многочлен. Обратное, однако, в общем случае неверно: две матрицы с одинаковым характеристическим полиномом не обязательно должны быть похожими.
Матрица A и ее транспонированная имеют один и тот же характеристический многочлен. A похожа на треугольную матрицу тогда и только тогда, когда ее характеристический многочлен может быть полностью разложен на линейные множители над K (то же самое верно с минимальным многочленом вместо характеристического многочлена). В этом случае A подобна матрице в нормальной форме Жордана.
Если A и B - две квадратные матрицы размера n × n, то характеристические многочлены матрицы AB и BA совпадают:
Когда A неособое число, этот результат следует из того факта, что AB и BA аналогичный :
В случае, когда и A, и B являются сингулярными, можно заметить, что желаемое тождество является равенством между многочленами от t и коэффициентами матрицы. Таким образом, чтобы доказать это равенство, достаточно доказать, что оно проверяется на непустом открытом подмножестве (для обычной топологии или, в более общем смысле, для Топология Зарисского ) пространства всех коэффициентов. Поскольку неособые матрицы образуют такое открытое подмножество пространства всех матриц, это доказывает результат.
В более общем смысле, если A - матрица порядка m × n, а B - матрица порядка n × m, то AB - это матрица m × m, а BA - матрица размера n × n, и одна имеет
Чтобы доказать это, можно предположить, что n>m, заменив, если необходимо, A и B Тогда, ограничив A снизу n - m строками нулей и B справа, n - m столбцами нулей, мы получим две матрицы A 'и B' размера n × n, такие что B'A ' = BA, а A'B 'равно AB, окаймленному n - m строками и столбцами с нулями. Результат следует из случая квадратных матриц, сравнивая характеристические многочлены A'B 'и AB.
Если является собственным значением квадратной матрицы A с собственным вектором v, тогда ясно, что является собственным значением A
Также можно показать, что кратности совпадают, и это обобщается на любой многочлен вместо :
Теорема. Пусть A - квадратная матрица размера n × n, а - многочлен. Если характеристический многочлен A имеет факторизацию
, то характеристический многочлен матрицы определяется как
То есть алгебраическая кратность в равна сумма алгебраических кратностей в над такая, что . В частности, и . Здесь многочлен , например, вычисляется на матрице A просто как .
Теорема применима к матрицам и многочленам над любым полем или коммутативным кольцом. Однако предположение, что имеет факторизацию в линейные коэффициенты, не всегда верно, если только матрица не превышает алгебраически замкнутое поле, например комплексные числа.
Доказательство |
---|
Это доказательство применимо только к матрицам и многочленам над комплексными числами (или к любому алгебраически замкнутому полю). В этом случае характеристический многочлен любой квадратной матрицы всегда можно разложить на множители как где - собственные значения , возможно, повторяется. Более того, теорема разложения Джордана гарантирует, что любая квадратная матрица может быть разложена как , где - это обратимая матрица, а - это верхний треугольник с по диагонали (каждое собственное значение повторяется в соответствии с его алгебраической кратностью). (Нормальная форма Жордана имеет более сильные свойства, но их достаточно; в качестве альтернативы можно использовать разложение Шура, которое менее популярно, но несколько легче доказать). Пусть . Тогда
Легко проверить верхнетреугольная матрица с диагональю , матрица является верхним треугольником с диагональю в , и, следовательно, верхний треугольник с диагональю . Следовательно, собственные значения равны . Поскольку равно аналогично до , он имеет те же собственные значения с той же алгебраической кратностью. |
Термин секулярная функция использовался для того, что сейчас называется характеристическим полиномом (в некоторых источниках термин секулярная функция все еще используется). Термин происходит от того факта, что характеристический полином использовался для расчета вековых возмущений (в масштабе века, т. Е. Медленного по сравнению с годовым движением) планетных орбит, согласно Лагранжу Русская теория колебаний.
Светское уравнение может иметь несколько значений.
Приведенное выше определение характеристического многочлена матрицы с записями в поле F без каких-либо изменений обобщается на случай, когда F представляет собой просто коммутативное кольцо. Гарибальди (2004) определяет характеристический полином для элементов произвольной конечномерной (ассоциативной, но не обязательно коммутативной) алгебры над полем F и доказывает стандартные свойства характеристического полинома в этой общности.