Русская Википедия:Сопровождающая матрица
В линейной алгебре сопровожда́ющей ма́трицей унитарного многочлена
- <math>
p(t)=c_0 + c_1 t + \dots + c_{n-1}t^{n-1} + t^n </math>
называется квадратная матрица
- <math>C(p)=\begin{bmatrix}
0 & 0 & \dots & 0 & -c_0 \\ 1 & 0 & \dots & 0 & -c_1 \\ 0 & 1 & \dots & 0 & -c_2 \\ \vdots & \vdots & \ddots & \vdots & \vdots \\ 0 & 0 & \dots & 1 & -c_{n-1} \\ \end{bmatrix}.</math>
Свойства
Многочлен <math>p(x)</math> одновременно является характеристическим и минимальным многочленом матрицы <math>C(p)</math>, именно в этом смысле матрица <math>C(p)</math> сопровождает многочлен <math>p(x)</math>.
Если <math>A</math> — матрица размерности <math>n \times n</math> с элементами из поля <math>\mathbb{F}</math>, тогда следующие утверждения эквивалентны:
- <math>A</math> подобна своей сопровождающей матрице над полем <math>\mathbb{F}</math>.
- Характеристический многочлен матрицы <math>A</math> совпадает с её минимальным многочленом.
- Существует циклический вектор <math>v \in V=F^n</math> такой, что векторы <math>v, Av, A^2v, \dots, A^{n - 1}v</math> образуют базис пространства <math>V</math>. Эквивалентно, V является циклическим <math> K[A]</math>-модулем (и <math>V \cong K[X]/(p(x))</math>); тогда говорят, что матрица Шаблон:Mvar является несокращаемой.
Не любая квадратная матрица подобна сопровождающей, но любая квадратная матрица подобна блочно-диагональной матрице, каждый из блоков которой является сопровождающей матрицей. Более того, можно подобрать эти сопровождающие матрицы так, что их многочлены будут делить друг друга. Такая матрица однозначно определяется из исходной квадратной матрицы и называется фробениусовой нормальной формой.
Диагонализуемость
Если у многочлена <math>p(x)</math> <math>n</math> корней: <math>\lambda_1, \lambda_2, \dots, \lambda_n</math> (являющихся собственными значениями матрицы <math>C(p)</math>), то <math>C(p)</math> диагонализуема, то есть представима в виде
- <math>V C(p) V^{-1} = \mbox{diag}(\lambda_1, \lambda_2, \dots,\lambda_n),</math>
где <math>V</math> — матрица Вандермонда, соответствующая корням многочлена <math>p(x)</math>.
Линейные рекуррентные последовательности
Транспонированная сопровождающая матрица
- <math>C^T(p)=\begin{bmatrix}
0 & 1 & 0 & \cdots & 0\\ 0 & 0 & 1 & \cdots & 0\\ \vdots & \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & 0 & \cdots & 1\\ -c_0 & -c_1 & -c_2 & \cdots & -c_{n-1}\\ \end{bmatrix}</math> характеристического многочлена
- <math>p(t)=c_0 + c_1 t + \dots + c_{n-1}t^{n-1} + t^n</math>
генерирует линейную рекуррентную последовательность <math>a_0, a_1, \dots, a_k, \dots</math> в следующем смысле
- <math>C^T(p)\begin{bmatrix}a_k\\
a_{k+1}\\ \vdots \\ a_{k+(n-1)} \end{bmatrix} = \begin{bmatrix}a_{k+1}\\ a_{k+2}\\ \vdots \\ a_{k+n} \end{bmatrix},</math> где элементы последовательности удовлетворяют системе линейных уравнений
- <math>a_{k + n} = -c_0 a_k - c_1 a_{k + 1} - \dots - c_{n - 1} a_{k + n - 1}</math>
для всех <math>k \geq 0</math>.
Литература
