族谱网 头条 人物百科

哈密尔顿-凯莱定理

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:1075
转发:0
评论:0
例子举例明之,考虑下述方阵:其特征多项式为此时可以直接验证凯莱-哈密顿定理:此式可以简化高次幂的运算,关键在于下述关系:例如,为了计算A4{displaystyleA^{4}},可以反复利用上述关系

例子

举例明之,考虑下述方阵:

其特征多项式为

此时可以直接验证凯莱-哈密顿定理:

此式可以简化高次幂的运算,关键在于下述关系:

例如,为了计算 A4{\displaystyle A^{4}},可以反复利用上述关系式:

或是,如果要计算 An{\displaystyle A^{n}},也可以假设:

An=aA+bI{\displaystyle A^{n}=aA+bI}

然后,依照前面的特征多项式 λ λ -->2− − -->5λ λ -->− − -->2{\displaystyle \lambda ^{2}-5\lambda -2} 之两解 λ λ -->1,λ λ -->2{\displaystyle \lambda _{1},\lambda _{2}},代入后可以得到

λ λ -->1n=aλ λ -->1+b{\displaystyle \lambda _{1}^{n}=a\lambda _{1}+b}

λ λ -->2n=aλ λ -->2+b{\displaystyle \lambda _{2}^{n}=a\lambda _{2}+b}

然后解方程后求出a,b{\displaystyle a,b},便可得 An{\displaystyle A^{n}}.

此外,凯莱-哈密顿定理也是计算特征向量的重要工具。

注:一般而言,若 n× × -->n{\displaystyle n\times n} 矩阵 A{\displaystyle A} 可逆(即:det(A)≠ ≠ -->0{\displaystyle \det(A)\neq 0}),则 A− − -->1{\displaystyle A^{-1}} 可以写成 A{\displaystyle A} 的幂次和:特征多项式有如下形式

将方程式 p(A)=0{\displaystyle p(A)=0} 同乘以 A− − -->1{\displaystyle A^{-1}},便得到

定理证明

以下考虑布于域 k=R,C{\displaystyle k=\mathbb {R} ,\mathbb {C} } 上的矩阵。

凯莱-哈密顿定理可以视为线性代数中拉普拉斯展开的推论。拉普拉斯展开可推出若 S{\displaystyle S} 是 n× × -->n{\displaystyle n\times n} 矩阵,而 adj(S){\displaystyle \mathrm {adj} (S)} 表其伴随矩阵,则

取 S=tIn− − -->A{\displaystyle S=tI_{n}-A},便得到 (tIn− − -->A)adj(tIn− − -->A)=pA(t)In{\displaystyle (tI_{n}-A)\mathrm {adj} (tI_{n}-A)=p_{A}(t)I_{n}}。此式对所有 t{\displaystyle 实数 皆成立,由于实数或复数域有无穷多元素,上式等式在多项式环k[t]{\displaystyle k[t]} 内成立。

设 M:=kn{\displaystyle M:=k^{n}},矩阵 A{\displaystyle A} 赋予 M{\displaystyle M} 一个 k[t]{\displaystyle k[t]}-模结构:f(t)⋅ ⋅ -->m=f(A)m{\displaystyle f(t)\cdot m=f(A)m}。考虑 k[t]{\displaystyle k[t]}-模 M[t]:=M⊗ ⊗ -->kk[t]{\displaystyle M[t]:=M\otimes _{k}k[t]},我们有 k[t]{\displaystyle k[t]}-模之间的“求值态射”:

固定 m∈ ∈ -->M{\displaystyle m\in M},对 M[t]{\displaystyle M[t]} 中的等式

右侧取 eA{\displaystyle e_{A}} 后得到 pA(A)m{\displaystyle p_{A}(A)m},左侧取 eA{\displaystyle e_{A}} 后得到 (A− − -->A)⋅ ⋅ -->(⋯ ⋯ -->)=0{\displaystyle (A-A)\cdot (\cdots )=0}。明所欲证。

一个简单的证明: 令:

由:

得:

因两多项式,他们的对应项系数相等得:

在等式两边t的i次项系数分别乘以A, 并将等式左右两边分别相加并合项得:

得证

抽象化与推广

前述证明用到系数在 k[t]{\displaystyle k[t]} 的矩阵的克莱姆法则,事实上该法则可施于任何系数在交换环上的矩阵。借此,凯莱-哈密顿定理可以推广到一个交换环 R{\displaystyle R} 上的任何有限生成自由模 M{\displaystyle M}(向量空间是特例)。中山正引理的一种证明就用到这个技巧。


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 凯莱定理
历史Burnside将其归功于Jordan,但是EricNummela争论说这个定理的名字“凯莱定理”事实上是合适的。凯莱在他最初介绍群概念的1854年论文中证明了定理中的对应是一一对应,但是没能明确的证明它是同态(因此是同构)。但是,Nummela提示大家注意凯莱让当时的数学界知道了这个结果,因此比Jordan要提前了16年。定理的证明从初等群论中,知道了对于任何G中元素g必然有g*G=G;并通过消除规则知道了g*x=g*y当且仅当x=y。所以左乘g充当了双射函数fg:G→G,通过定义fg(x)=g*x。所以,fg是G的置换,并因此是Sym(G)的成员。Sym(G)的子集K定义为是同构于G的Sym(G)的子群。得出这个结果的最快方式是考虑函数T:G→Sym(G)对于所有G中的g有着T(g)=fg。(对Sym(G)中的复合使用"·"),T是群同态因为:同态T也是单射因为:T(g)=idG(...
· 凯莱图
定义假设G{\displaystyleG},是群而S{\displaystyleS},是生成集。凯莱图ΓΓ-->=ΓΓ-->(G,S){\displaystyle\Gamma=\Gamma(G,S)},是如下构造的着色的有向图。G{\displaystyleG},每个元素g{\displaystyleg},指派一个顶点:ΓΓ-->{\displaystyle\Gamma},的顶点集合V(ΓΓ-->){\displaystyleV(\Gamma)},同一于G{\displaystyleG},。S{\displaystyleS},的每个生成元s{\displaystyles},指派一种颜色cs{\displaystylec_{s}},。对于任何g∈∈-->G,s∈∈-->S{\displaystyleg\inG,s\inS},对应于元素g{\displays...
· 凯莱表
历史凯莱表是在凯莱1854年的论文《OnTheTheoryofGroups,asdependingonthesymbolicequationθ=1》中首次提出的。在这个论文中,它们被简单的称为表格并只被用做展示,后来为了纪念其创造者而叫做了凯莱表。结构和格局因为很多凯莱表描述不是阿贝尔群的群,对于所有这个群中的a和b,关于群的二元运算的乘积ab不保证等于ba的乘积。为了避免混淆,约定了在表格的每一行中所有格内的第一个因子(凯莱的术语为“近因子”)都是相同的,而在每一列中所有格内的第二个因子(“远因子”)是相同的,比如下面的例子:凯莱最初设置的表格把单位元放在首位,排除了上表中对对单独的行与列表头的需要。例如,它们不出现在下列表格中:在这个循环群Z3的例子中,a是单位元,因此出现表格的左上角。容易看出b=c和cb=a。尽管如此,多数现代课本和本文都为了明确性而包含了行与列的表头。性质和用途交...
· 克莱罗定理
内容克莱罗假设地球是由密度不同的均匀物质层圈组成的椭球体,各椭球面都是重力等位面,且各层密度由地心向外有规律的减小。椭球面上纬度为φ一点的重力加速度g为:g=G[1+(52m−−-->f)sin2⁡⁡-->ϕϕ-->],{\displaystyleg=G\left[1+\left({\frac{5}{2}}m-f\right)\sin^{2}\phi\right]\,}赤道中G为地球赤道上的重力加速度,m为为赤道上的离心力与赤道上的重力加速度之比,f为地球椭球扁率。参考文献孔祥元郭际明刘宗泉.大地测量学基础(M)1.武汉:武汉大学出版社.2005.ISBN978-7-307-04837-9.
· 阿瑟·凯莱
参考书目Primary:1883."PresidentialaddresstotheBritishAssociation"inEwald,WilliamB.,ed.,1996.FromKanttoHilbert:ASourceBookintheFoundationsofMathematics,2vols.OxfordUni.Press:542-73.Secondary:LecturesonTenBritishMathematiciansoftheNineteenthCenturybyAlexanderMacFarlane(completetextatProjectGutenberg)T.Crilly,"AVictorianmathematician:ArthurCayley(1821-1895),"TheMathematicalGazette,Vol...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信