高等代数理论基础79：若尔当标准形的几何理论(2)

若尔当标准形的几何理论(2)

定义：设 $\mathscr{A}$ 是 $\C$ 上n维空间 $V$ 上的一个线性变换, $W$ 是一个 $\mathscr{A}$ -不变子空间,若有 $\eta\in W$ ,使 $W=P[\mathscr{A}]\eta$ ,则称 $W$ 为 $V$ 的一个 $\mathscr{A}$ -循环子空间

注：定义对任一数域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}$ -循环子空间的直和

证明：

取 $\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)$ 的首项系数为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$ 的最小多项式次数 $\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$

证明：

有 $\eta_1,\eta_2,\cdots,\eta_s\in V$ ,使 $V=P[\mathscr{A}]\eta_1\oplus\cdots\oplus P[\mathscr{A}]\eta_s$

可将每个 $P[\mathscr{A}]\eta_i$ 继续分解,直到满足要求

故最后有 $\alpha_1,\alpha_2,\cdots,\alpha_t\in V$ ,使 $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\qquad\mathcal{Q.E.D}$

定理： $V,\mathscr{A}$ ,则 $V$ 中有基,使 $\mathscr{A}$ 在该组基下的矩阵为若尔当标准形,且除去各若尔当块的排列顺序外,若尔当标准形由 $\mathscr{A}$ 唯一确定

人面猴
序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
沈念sama阅读 219,490评论 6赞 508
死咒
序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
沈念sama阅读 93,581评论 3赞 395
救了他两次的神仙让他今天三更去死
文/潘晓璐我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
开封第一讲书人阅读 165,830评论 0赞 356
道士缉凶录：失踪的卖姜人
文/不坏的土叔我叫张陵，是天一观的道长。经常有香客问我，道长，这世上最难降的妖魔是什么？我笑而不...
开封第一讲书人阅读 58,957评论 1赞 295
港岛之恋（遗憾婚礼）
正文为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
茶点故事阅读 67,974评论 6赞 393
恶毒庶女顶嫁案：这布局不是一般人想出来的
文/花漫我一把揭开白布。她就那样静静地躺着，像睡着了一般。火红的嫁衣衬着肌肤如雪。梳的纹丝不乱的头发上，一...
开封第一讲书人阅读 51,754评论 1赞 307
城市分裂传说
那天，我揣着相机与录音，去河边找鬼。笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。我是一名探鬼主播，决...
沈念sama阅读 40,464评论 3赞 420
双鸳鸯连环套：你想象不到人心有多黑
文/苍兰香墨我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
开封第一讲书人阅读 39,357评论 0赞 276
万荣杀人案实录
序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
沈念sama阅读 45,847评论 1赞 317
护林员之死
正文独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋以下内容为张勋视角年9月15日...
茶点故事阅读 37,995评论 3赞 338
白月光启示录
正文我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
茶点故事阅读 40,137评论 1赞 351
活死人
序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
沈念sama阅读 35,819评论 5赞 346
日本核电站爆炸内幕
正文年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
茶点故事阅读 41,482评论 3赞 331
男人毒药：我在死后第九天来索命
文/蒙蒙一、第九天我趴在偏房一处隐蔽的房顶上张望。院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
开封第一讲书人阅读 32,023评论 0赞 22
一桩弑父案，背后竟有这般阴谋
文/苍兰香墨我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。一阵脚步声响...
开封第一讲书人阅读 33,149评论 1赞 272
情欲美人皮
我被黑心中介骗来泰国打工，没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。一个月前我还...
沈念sama阅读 48,409评论 3赞 373
代替公主和亲
正文我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
茶点故事阅读 45,086评论 2赞 355

高等代数理论基础79：若尔当标准形的几何理论(2)

若尔当标准形的几何理论(2)

推荐阅读更多精彩内容