高等代數(shù)理論基礎(chǔ)79：若爾當(dāng)標(biāo)準(zhǔn)形的幾何理論(2)

若爾當(dāng)標(biāo)準(zhǔn)形的幾何理論(2)

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

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

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

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

證明：

設(shè) $\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$ 的最小多項(xiàng)式,且為 $k$ 次

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

即 $\eta,\mathscr{A}\eta,\cdots,\mathscr{A}^{k-1}\eta$ 線性無關(guān),故為 $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.設(shè)每個(gè) $\eta_i$ 對(duì) $\mathscr{A}$ 的最小多項(xiàng)式為 $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$ 的一組基,設(shè) $\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$

對(duì) $\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}?$ 是對(duì)角形

且 $h_1(\lambda),\cdots,h_n(\lambda)$ 的首項(xiàng)系數(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$ 的零化多項(xiàng)式, $i=1,2,\cdots,n$

設(shè) $p_i(\lambda)$ 是 $\eta_i$ 的最小多項(xiàng)式,則 $\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)$

上式成立,

當(dāng)所有等號(hào)成立即證

$\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$ 的最小多項(xiàng)式

已證 $\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)$ 都為首一多項(xiàng)式

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

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

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$ 重新編號(hào),仍記作 $\eta_1,\eta_2,\cdots,\eta_s$

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

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

引理：設(shè) $V=P[\mathscr{A}]\eta$ , $\eta$ 的最小多項(xiàng)式為 $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$ 對(duì)于 $\mathscr{A}$ 的最小多項(xiàng)式是 $(\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$ 的最小多項(xiàng)式為 $(\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?$ 對(duì) $\mathscr{A}?$ 的最小多項(xiàng)式為 $(\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$

可將每個(gè) $P[\mathscr{A}]\eta_i$ 繼續(xù)分解,直到滿足要求

故最后有 $\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?$ 對(duì) $\mathscr{A}?$ 的最小多項(xiàng)式為 $(\lambda-\lambda_i)^{k_i},k_i\ge 1\qquad\mathcal{Q.E.D}?$

定理： $V,\mathscr{A}$ ,則 $V$ 中有基,使 $\mathscr{A}$ 在該組基下的矩陣為若爾當(dāng)標(biāo)準(zhǔn)形,且除去各若爾當(dāng)塊的排列順序外,若爾當(dāng)標(biāo)準(zhǔn)形由 $\mathscr{A}$ 唯一確定

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者

人面猴
序言：七十年代末铅碍，一起剝皮案震驚了整個(gè)濱河市晾嘶，隨后出現(xiàn)的幾起案子迈勋，更是在濱河造成了極大的恐慌，老刑警劉巖钉寝，帶你破解...
沈念sama閱讀 219,039評(píng)論 6贊 508
死咒
序言：濱河連續(xù)發(fā)生了三起死亡事件臼勉，死亡現(xiàn)場(chǎng)離奇詭異唤蔗，居然都是意外死亡有送，警方通過查閱死者的電腦和手機(jī)，發(fā)現(xiàn)死者居然都...
沈念sama閱讀 93,426評(píng)論 3贊 395
救了他兩次的神仙讓他今天三更去死
文/潘曉璐我一進(jìn)店門盛险，熙熙樓的掌柜王于貴愁眉苦臉地迎上來瞄摊，“玉大人，你說我怎么就攤上這事苦掘』恢模” “怎么了？”我有些...
開封第一講書人閱讀 165,417評(píng)論 0贊 356
道士緝兇錄：失蹤的賣姜人
文/不壞的土叔我叫張陵鹤啡，是天一觀的道長惯驼。經(jīng)常有香客問我，道長，這世上最難降的妖魔是什么祟牲？我笑而不...
開封第一講書人閱讀 58,868評(píng)論 1贊 295
?港島之戀（遺憾婚禮）
正文為了忘掉前任隙畜，我火速辦了婚禮，結(jié)果婚禮上说贝，老公的妹妹穿的比我還像新娘议惰。我一直安慰自己，他們只是感情好乡恕，可當(dāng)我...
茶點(diǎn)故事閱讀 67,892評(píng)論 6贊 392
惡毒庶女頂嫁案：這布局不是一般人想出來的
文/花漫我一把揭開白布言询。她就那樣靜靜地躺著，像睡著了一般傲宜。火紅的嫁衣襯著肌膚如雪运杭。梳的紋絲不亂的頭發(fā)上，一...
開封第一講書人閱讀 51,692評(píng)論 1贊 305
城市分裂傳說
那天函卒，我揣著相機(jī)與錄音辆憔，去河邊找鬼。笑死谆趾，一個(gè)胖子當(dāng)著我的面吹牛，可吹牛的內(nèi)容都是我干的叛本。我是一名探鬼主播沪蓬，決...
沈念sama閱讀 40,416評(píng)論 3贊 419
雙鴛鴦連環(huán)套：你想象不到人心有多黑
文/蒼蘭香墨我猛地睜開眼，長吁一口氣：“原來是場(chǎng)噩夢(mèng)啊……” “哼来候！你這毒婦竟也來了跷叉？” 一聲冷哼從身側(cè)響起，我...
開封第一講書人閱讀 39,326評(píng)論 0贊 276
萬榮殺人案實(shí)錄
序言：老撾萬榮一對(duì)情侶失蹤营搅，失蹤者是張志新（化名）和其女友劉穎云挟，沒想到半個(gè)月后，有當(dāng)?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體转质，經(jīng)...
沈念sama閱讀 45,782評(píng)論 1贊 316
?護(hù)林員之死
正文獨(dú)居荒郊野嶺守林人離奇死亡园欣，尸身上長有42處帶血的膿包…… 初始之章·張勛以下內(nèi)容為張勛視角年9月15日...
茶點(diǎn)故事閱讀 37,957評(píng)論 3贊 337
?白月光啟示錄
正文我和宋清朗相戀三年，在試婚紗的時(shí)候發(fā)現(xiàn)自己被綠了休蟹。大學(xué)時(shí)的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片沸枯。...
茶點(diǎn)故事閱讀 40,102評(píng)論 1贊 350
活死人
序言：一個(gè)原本活蹦亂跳的男人離奇死亡，死狀恐怖赂弓，靈堂內(nèi)的尸體忽然破棺而出绑榴，到底是詐尸還是另有隱情，我是刑警寧澤盈魁，帶...
沈念sama閱讀 35,790評(píng)論 5贊 346
?日本核電站爆炸內(nèi)幕
正文年R本政府宣布翔怎，位于F島的核電站，受9級(jí)特大地震影響，放射性物質(zhì)發(fā)生泄漏赤套。R本人自食惡果不足惜飘痛，卻給世界環(huán)境...
茶點(diǎn)故事閱讀 41,442評(píng)論 3贊 331
男人毒藥：我在死后第九天來索命
文/蒙蒙一、第九天我趴在偏房一處隱蔽的房頂上張望于毙。院中可真熱鬧敦冬，春花似錦、人聲如沸唯沮。這莊子的主人今日做“春日...
開封第一講書人閱讀 31,996評(píng)論 0贊 22
一樁弒父案，背后竟有這般陰謀
文/蒼蘭香墨我抬頭看了看天上的太陽介蛉。三九已至萌庆，卻和暖如春，著一層夾襖步出監(jiān)牢的瞬間币旧，已是汗流浹背践险。一陣腳步聲響...
開封第一講書人閱讀 33,113評(píng)論 1贊 272
情欲美人皮
我被黑心中介騙來泰國打工，沒想到剛下飛機(jī)就差點(diǎn)兒被人妖公主榨干…… 1. 我叫王不留吹菱，地道東北人巍虫。一個(gè)月前我還...
沈念sama閱讀 48,332評(píng)論 3贊 373
代替公主和親
正文我出身青樓，卻偏偏與公主長得像鳍刷，于是被迫代替她去往敵國和親占遥。傳聞我的和親對(duì)象是個(gè)殘疾皇子，可洞房花燭夜當(dāng)晚...
茶點(diǎn)故事閱讀 45,044評(píng)論 2贊 355

高等代數(shù)理論基礎(chǔ)79：若爾當(dāng)標(biāo)準(zhǔn)形的幾何理論(2)

若爾當(dāng)標(biāo)準(zhǔn)形的幾何理論(2)

推薦閱讀更多精彩內(nèi)容