设
p( \lambda ) = A_n \lambda_n - \sum_{i=0}^{n-1} A_i \lambda^i为一个m \times m矩阵多项式,其中
{\rm det }(p(\lambda))不恒为零。
p(\lambda)的特征对(\lambda_i, x_i)满足
p(\lambda_i)x_i = 0。定义p(\lambda)的mn \times mn
块伴随矩阵束为
A - \lambda B =\begin{bmatrix}
0-\lambda I & I & & & \\
& \ddots & \ddots & & \\
& & \ddots & \ddots & \\
& & & 0-\lambda I & I \\
A_0 & A_1 & \cdots & A_{n-2} & A_{n-1}-\lambda A_n
\end{bmatrix},
其中所有元素都是m \times m块,所有未明确显示的元素都是0。
那么
Ax = \lambda Bx是一个常规的广义特征值问题,
A - \lambda B的特征值是p(\lambda)的特征值。
注意有mn个特征值。
如果
(\lambda_i, x_i)是p(\lambda)的一个特征对,那么
[ x_i^T, \lambda_i x_i^T , \ldots , \lambda_i^{n-1} x_i^T]^T是C的右特征向量[194]。