取\(\varepsilon_1,\dots,\varepsilon_n \)是\(\C^n\)上的标准单位向量。要证明\(\chi_B(B)=0\),只需证明对任意的\(j(j=1,\dots,n)\),\(\chi_B(B)\varepsilon_j=0\)。
简单计算可知:
\begin{align*}
B\varepsilon_1\amp = \lambda_1\varepsilon_1, \\
B\varepsilon_2 \amp = b_{12}\varepsilon_1+\lambda_2\varepsilon_2, \\
\vdots\quad \amp \vdots \quad \vdots\quad \vdots\quad \vdots\quad \vdots \\
B\varepsilon_j\amp= b_{1j}\varepsilon_1+ \cdots + b_{j-1,j}\varepsilon_{j-1} +\lambda_j \varepsilon_j \\
\vdots\quad \amp \vdots \quad \vdots\quad \vdots\quad \vdots\quad \vdots \\
B\varepsilon_n\amp= b_{1n}\varepsilon_1+ \cdots + b_{n-1,n}\varepsilon_{n-1} +\lambda_n \varepsilon_n.
\end{align*}
容易知道
\begin{equation*}
\chi_B(\lambda) = (\lambda-\lambda_1)\cdots(\lambda-\lambda_n).
\end{equation*}
下面我们先用归纳法证明:对任意的\(j(j=1,\dots,n)\),
\begin{equation}
(B-\lambda_1E)\cdots (B-\lambda_j E)\varepsilon_j = 0.\tag{7.5.1}
\end{equation}
容易验证初始条件成立,下面根据归纳假设来证明一般的结论。
将矩阵\(B\)代入任意多项式后获得的矩阵彼此都可交换,于是可知
\begin{align*}
\amp (B-\lambda_1E)\cdots (B-\lambda_j E)\varepsilon_j\\
= \amp\prod_{s=1}^{j-1}(B - \lambda_s E)\left(\sum_{t=1}^{j-1} b_{tj}\varepsilon_t \right)\\
=\amp \sum_{t=1}^{j-1} \left(\prod_{s=1}^{j-1}(B - \lambda_s E)b_{tj}\varepsilon_t \right)\\
= \amp \phantom{+} (B - \lambda_2E)\cdots (B -\lambda_j E)[(B - \lambda_1E) b_{1j} \varepsilon_1 ] \\
\amp {+} (B - \lambda_3E)\cdots (B -\lambda_j E)[(B - \lambda_1E)(B - \lambda_2E) b_{2j} \varepsilon_2 ] \\
\amp +\cdots \\
\amp + (B -\lambda_j E)[(B-\lambda_1E)\cdots (B-\lambda_{j-1}E) b_{j-1,j}\varepsilon_{j-1} ]
\end{align*}
根据归纳假设,上述等式最后一个求和式中的所有项均等于0,所以
(7.5.1)成立。
进一步地,对任意的\(j(j=1,\dots,n)\),
\begin{align*}
\amp (B-\lambda_1E)\cdots (B-\lambda_n E)\varepsilon_j \\
= \amp (B-\lambda_{j+1}E)\cdots (B-\lambda_n E)[(B-\lambda_1E)\cdots (B-\lambda_j E)\varepsilon_j] \\
= \amp 0.
\end{align*}