- Сопровождающая матрица
-
В линейной алгебре сопровожда́ющей ма́трицей унитарного многочлена
называется квадратная матрица
Содержание
Свойства
Многочлен одновременно является характеристическим и минимальным многочленом матрицы , именно в этом смысле матрица сопровождает многочлен .
Если — матрица размерности с элементами из поля , тогда следующие утверждения эквивалентны:
- подобна своей сопровождающей матрице над полем .
- Характеристический многочлен матрицы совпадает с её минимальным многочленом.
- Существует циклический вектор такой, что векторы образуют базис пространства .
Не любая квадратная матрица подобна сопровождающей, но любая квадратная матрица подобна блочно-диагональной матрице, каждый из блоков которой является сопровождающей матрицей. Более того, можно подобрать эти сопровождающие матрицы так, что их многочлены будут делить друг друга. Такая матрица однозначно определяется из исходной квадратной матрицы и называется Фробениусовой нормальной формой.
Диагонализуемость
Если у многочлена корней: (являющихся собственными значениями матрицы ), то диагонализуема, то есть представима в виде
где — матрица Вандермонда, соответствующая корням многочлена .
Линейные рекуррентные последовательности
Транспонированная сопровождающая матрица
характеристического многочлена
генерирует линейную рекуррентную последовательность в следующем смысле
где элементы последовательности удовлетворяют системе линейных уравнений
для всех .
Литература
- R. A. Horn, C. R. Johnson Ch. 4.3 // Matrix Analysis. — Cambridge University Press, 1985.
Категории:- Типы матриц
- Многочлены
Wikimedia Foundation. 2010.