高等代数8-7 矩阵的有理标准形

伴侣矩阵

定义8 给定数域$\mathbb{F}$上的一个$n$次多项式$$d(\lambda )={\lambda }^n+a_1{\lambda }^{n-1}+\cdots ,+a_{n-1}\lambda +a_n.$$我们称矩阵 A = ( 0 0 0 ⋯ 0 − a n 1 0 0 ⋯ 0 − a n − 1 0 1 0 ⋯ 0 − a n − 2 ⋮ ⋮ ⋮ 0 0 0 ⋯ 0 − a 2 0 0 0 ⋯ 1 − a 1 ) \bm A = \begin{pmatrix} 0 & 0 & 0 & \cdots & 0 & -a_n \\ 1 & 0 & 0 & \cdots & 0 & -a_{n-1} \\ 0 & 1 & 0 & \cdots & 0 & -a_{n-2} \\ & \vdots & & \vdots & \vdots & \\ 0 & 0 & 0 & \cdots & 0 & -a_{2}\\ 0 & 0 & 0 & \cdots & 1 & -a_{1} \end{pmatrix} A=⎝<