若爾當標準形的幾何理論(2)

定義：設 $\mathscr{A}$ 是 $\C$ 上n維空間 $V$ 上的一個線性變換, $W$ 是一個 $\mathscr{A}$ -不變子空間,若有 $\eta\in W$ ,使 $W=P[\mathscr{A}]\eta$ ,則稱 $W$ 為 $V$ 的一個 $\mathscr{A}$ -循環(huán)子空間

注：定義對任一數(shù)域P有效

引理： $V$ , $\mathscr{A}$

$W=P[\mathscr{A}]\eta$ , $\eta$ 的最小多項式為 $p(\lambda)$ ,則 $\dim(W)=\partial(p(\lambda))$

證明：

設 $\partial(p(\lambda))=k$ , $\forall w\in W$

有 $f(\lambda)\in \C[\lambda]$ ,使 $w=f(\mathscr{A})\eta$

作帶余除法

$f(\lambda)=q(\lambda)p(\lambda)+(l_0+l_1\lambda+\cdots+l_{k-1}\lambda^{k-1})$

則 $w=f(\mathscr{A})\eta=q(\mathscr{A})p(\mathscr{A})\eta+(l_0\mathscr{E}+l_1\mathscr{A}+\cdots+l_{k-1}\mathscr{A}^{k-1})\eta$

$=l_0\eta+l_1\mathscr{A}\eta+\cdots+l_{k-1}\mathscr{A}^{k-1}\eta$

是 $\eta,\mathscr{A}\eta,\cdots,\mathscr{A}^{k-1}\eta$ 的線性組合

若有 $l_0\eta+l_1\mathscr{A}\eta+\cdots+l_{k-1}\mathscr{A}^{k-1}\eta=0$

即 $(l_0\mathscr{E}+l_1\mathscr{A}+\cdots+l_{k-1}\mathscr{A}^{k-1})\eta=0$

由 $p(\lambda)$ 是 $\eta$ 的最小多項式,且為 $k$ 次

故 $l_0=\cdots=l_{k-1}=0$

即 $\eta,\mathscr{A}\eta,\cdots,\mathscr{A}^{k-1}\eta$ 線性無關,故為 $W$ 的基

故 $\dim(W)=k=\partial(p(\lambda))\qquad\mathcal{Q.E.D}$

引理： $V,\mathscr{A}$

若由 $\eta_1,\eta_2,\cdots,\eta_s\in V$ ,使得

1. $V=P[\mathscr{A}]\eta_1+P[\mathscr{A}]\eta_2+\cdots+P[\mathscr{A}]\eta_s?$

2.設每個 $\eta_i$ 對 $\mathscr{A}$ 的最小多項式為 $p_i(\lambda)$ ,且 $\sum\limits_{i=1}^s\partial(p_i(\lambda))=\dim(V)$

則 $V=P[\mathscr{A}]\eta_1+P[\mathscr{A}]\eta_2+\cdots+P[\mathscr{A}]\eta_s?$ 為直和

證明：

$\dim(P[\mathscr{A}]\eta_i)=\partial(p_i(\lambda))$

故 $\dim(V)=\sum\limits_{i=1}^s\partial(p_i(\lambda))=\sum\limits_{i=1}^s\dim(p[\mathscr{A}]\eta_i)$

$\therefore V=P[\mathscr{A}]\eta_1+P[\mathscr{A}]\eta_2+\cdots+P[\mathscr{A}]\eta_s$ 為直和 $\qquad\mathcal{Q.E.D}$

定理： $V$ 一定是一些 $\mathscr{A}$ -循環(huán)子空間的直和

證明：

取 $\varepsilon_1,\varepsilon_2,\cdots,\varepsilon_n$ 為 $V$ 的一組基,設 $\mathscr{A}\begin{pmatrix}\varepsilon_1\\\varepsilon_2\\\vdots\\\varepsilon_n\end{pmatrix}=A\begin{pmatrix}\varepsilon_1\\\varepsilon_2\\\vdots\\\varepsilon_n\end{pmatrix}$

或 $(\mathscr{A}E-\mathscr{E}A)\begin{pmatrix}\varepsilon_1\\\varepsilon_2\\\vdots\\\varepsilon_n\end{pmatrix}=O$

對 $\lambda E-A?$ ,有可逆的 $P(\lambda),Q(\lambda)?$ ,使得

$P(\lambda)(\lambda E-A)Q(\lambda)=\begin{pmatrix}h_1(\lambda)\\&h_2(\lambda)\\& &\ddots\\& & &h_n(\lambda)\end{pmatrix}?$ 是對角形

且 $h_1(\lambda),\cdots,h_n(\lambda)$ 的首項系數(shù)為1

故 $O=P(\mathscr{A})(\mathscr{A}E-\mathscr{E}A)\begin{pmatrix}\varepsilon_1\\\varepsilon_2\\\vdots\\\varepsilon_n\end{pmatrix}?$

$=[P(\mathscr{A})(\mathscr{A}E-\mathscr{E}A)Q(\mathscr{A})]Q^{-1}(\mathscr{A})\begin{pmatrix}\varepsilon_1\\\varepsilon_2\\\vdots\\\varepsilon_n\end{pmatrix}?$

$=\begin{pmatrix}h_1(\lambda)\\&h_2(\lambda)\\& &\ddots\\& & &h_n(\lambda)\end{pmatrix}\begin{pmatrix}\eta_1\\\eta_2\\\vdots\\\eta_n\end{pmatrix}?$

其中 $\begin{pmatrix}\eta_1\\\eta_2\\\vdots\\\eta_n\end{pmatrix}=Q^{-1}(\mathscr{A})\begin{pmatrix}\varepsilon_1\\\varepsilon_2\\\vdots\\\varepsilon_n\end{pmatrix}?$

故 $h_i(\mathscr{A})\eta_i=0$ , $h_i(\lambda)$ 是 $\eta_i$ 的零化多項式, $i=1,2,\cdots,n$

設 $p_i(\lambda)$ 是 $\eta_i$ 的最小多項式,則 $\partial(p_i(\lambda))\le \partial(h_i(\lambda))$

且有 $p_i(\lambda)|h_i(\lambda)$

$\sum\limits_{i=1}^n\partial(h_i(\lambda))=\partial(|\lambda E-A|)=\dim(V)?$

又 $\begin{pmatrix}\varepsilon_1\\\varepsilon_2\\\vdots\\\varepsilon_n\end{pmatrix}=Q(\mathscr{A})\begin{pmatrix}\eta_1\\\eta_2\\\vdots\\\eta_n\end{pmatrix}$

$=\begin{pmatrix}\sum\limits_{j=1}^nq_{1j}(\mathscr{A})\eta_j\\\sum\limits_{j=1}^nq_{2j}(\mathscr{A})\eta_j\\\vdots\\\sum\limits_{j=1}^nq_{nj}(\mathscr{A})\eta_j\end{pmatrix}$

其中 $Q(\lambda)=(q_{ij}(\lambda))$

故 $\varepsilon_i=\sum\limits_{j=1}^nq_{ij}(\mathscr{A})\eta_j\in P[\mathscr{A}]\eta_1+\cdots+P[\mathscr{A}]\eta_n$

易知 $V=P[\mathscr{A}]\eta_1+\cdots+P[\mathscr{A}]\eta_n$

故 $\dim(V)\le \sum\limits_{i=1}^n\dim(P[\mathscr{A}]\eta_i)$

$\dim(V)\le \sum\limits_{i=1}^m\dim(P[\mathscr{A}]\eta_i)=\sum\limits_{i=1}^n\partial(p_i(\lambda))$

$\le\sum\limits_{i=1}^n\partial(h_i(\lambda))=\dim(V)$

上式成立,

當所有等號成立即證

$\dim(V)=\sum\limits_{i=1}^n\dim(P[\mathscr{A}]\eta_i)=\sum\limits_{i=1}^n\partial(p_i(\lambda))?$

故 $V=P[\mathscr{A}]\eta_1\oplus P[\mathscr{A}]\eta_2\oplus \cdots\oplus P[\mathscr{A}]\eta_n\qquad\mathcal{Q.E.D}$

注：

1.可得 $p_i(\lambda)=h_i(\lambda),i=1,2,\cdots,n$

即 $h_i(\lambda)$ 是 $\eta_i$ 的最小多項式

已證 $\sum\limits_{i=1}^n\partial(p_i(\lambda))=\sum\limits_{i=1}^n\partial(h_i(\lambda))$

又 $\partial(p_i(\lambda))\le \partial(h_i(\lambda)),i=1,2,\cdots,n$

可得 $\partial(p_i(\lambda))=\partial(h_i(\lambda)),i=1,2,\cdots,n$

又 $p_i(\lambda)|h_i(\lambda)$ 都為首一多項式

故 $h_i(\lambda)=p_i(\lambda)$

故 $h_i(\lambda)$ 是 $\eta_i$ 的最小多項式

2.若某 $h_i(\lambda)=1$ ,則 $h_i(\mathscr{A})\eta_i=\mathscr{E}\eta_i=0$

即 $\eta_i=0$

從 $\eta_1,\cdots,\eta_n$ 中去掉 $\eta_i=0$

將剩下的 $\eta_i$ 重新編號,仍記作 $\eta_1,\eta_2,\cdots,\eta_s$

則 $V=P[\mathscr{A}]\eta_1\oplus \cdots\oplus P[\mathscr{A}]\eta_s$

且各 $\eta_i$ 的最小多項式次數(shù) $\ge 1$

引理：設 $V=P[\mathscr{A}]\eta$ , $\eta$ 的最小多項式為 $h(\lambda)=(\lambda-\mu_1)^{l_1}(\lambda-\mu_2)^{l_2}\cdots(\lambda-\mu_t)^{l_t}$ , $\mu_i$ 互不相同,則有 $\xi_1,\xi_2,\cdots,\xi_t\in V$ ,使 $V=P[\mathscr{A}]\xi_1\oplus P[\mathscr{A}]\xi_2\oplus \cdots \oplus P[\mathscr{A}]\xi_t$ ,且 $\xi_i$ 對于 $\mathscr{A}$ 的最小多項式是 $(\lambda-\mu_i)^{l_i}$

證明：

令 $m_i(\lambda)={h(\lambda)\over (\lambda-\mu_i)^{l_i}}$

作 $\xi_i=m_i(\mathscr{A})\eta,1\le i\lt t$

易知 $\xi_i$ 的最小多項式為 $(\lambda-\mu_i)^{l_i}$

又 $m_1(\lambda),\cdots,m_t(\lambda)$ 互素

有 $u_1(\lambda),u_2(\lambda),\cdots,u_t(\lambda)$ 使得

$u_1(\lambda)m_1(\lambda)+u_2(\lambda)m_2(\lambda)+\cdots+u_t(\lambda)m_t(\lambda)=1$

則 $\eta=u_1(\mathscr{A})m_1(\mathscr{A})\eta+u_2(\mathscr{A})m_2(\mathscr{A})\eta+\cdots+u_t(\mathscr{A})m_t(\mathscr{A})\eta$

$=u_1(\mathscr{A})\xi_1+u_2(\mathscr{A})\xi_2+\cdots+u_t(\mathscr{A})\xi_t\in P[\mathscr{A}]\xi_1+\cdots+P[\mathscr{A}]\xi_t$

$V=P[\mathscr{A}]\eta=P[\mathscr{A}]\xi_1+P[\mathscr{A}]\xi_2+\cdots+P[\mathscr{A}]\xi_t$

又 $\partial(h(t))=\dim(P[\mathscr{A}]\eta)$

故 $\sum\limits_{i=1}^t\dim(P[\mathscr{A}]\xi_i)=\sum\limits_{i=1}^tl_i$

$=\partial(h(t))=\dim(P[\mathscr{A}]\eta)=\dim(V)$

故 $V=P[\mathscr{A}]\xi_1\oplus P[\mathscr{A}]\xi_2\oplus P[\mathscr{A}]\xi_t\qquad\mathcal{Q.E.D}$

定理： $V,\mathscr{A}?$ ,則有 $\alpha_1,\alpha_2,\cdots,\alpha_t\in V?$ ,使 $V=P[\mathscr{A}]\alpha_1\oplus \cdots\oplus P[\mathscr{A}]\alpha_s?$ ,且 $\alpha_i?$ 對 $\mathscr{A}?$ 的最小多項式為 $(\lambda-\lambda_i)^{k_i},k_i\ge 1?$