数学联邦政治世界观
超小超大

第十章Frobenius矩阵是指以下矩阵 (3-1)

Frobenius矩阵是指以下矩阵:

0 0 · · · 0 –α₀

1 0 · · · 0 –α₁

0 1 · · · 0 –α₂

A=( ⁝ ⁝ ⁝ ⁝ ) ·

0 0 · · · 1 – αₙ₋₁

矩阵A拥有很多很好的特性,比如,A的特征多项式刚好为f(λ)=λⁿ+αₙ₋₁ λⁿ⁻¹+· · ·+α₁λ+α₀;而且A的最小多项式 m(λ) 正好就是其特征多项式,即 m(λ)=f(λ) 。

如果矩阵A是域F上的矩阵,从最小多项式可以看出,矩阵A可对角化当且仅当m(λ) 在域F中可分解成不同的一次因式的乘积,即存在 λ₁,λ₂,· · ·,λₙ ∈ F 使得 m(λ)=(λ – λ₁) (λ – λ₂) · · · (λ – λₙ) 。

如果F是数域K,且m(λ) 在K中不可约,那么把A看成是复数域 ℂ 上的矩阵时,A可对角化。这是因为最小多项式在复数域上总有标准分解,若它在K上不可约,则 m(λ) 在K上没有重根,而有没有重根不随域的改变而改变,所以它在复数域上也没有重根。从而 m(λ) 在复数域上可以分解成不同的一次因式的乘积,即矩阵A在复数域上可对角化。

现在,我们来研究与A可交换的矩阵组成的集合C(A)={B ∈ Mₙ(F)|AB=BA} 。题目出自丘维生《高等代数》第九章第7节课后习题。

定义F[A]={f(A)|f(x) ∈ F[x]} ,即域F上的多项式用矩阵A带入得到的集合。因为任意 g(x) ∈ F[x] ,有 g(x)=bₙxⁿ+· · ·+b₁x+b₀ ,其中 bᵢ ∈ F,i=1,· · ·,n ,所以: g(A)=bₙ Aⁿ+· · ·+b₁ A+b₀l 。从这个表达式可以看出, g(A) 总是和 A 可交换的,所以我们总有 F[A] ⊂ C(A) 。

另外,不论是F[A] 还是 C[A] ,它们都可以看成是域F上的线性空间,这很好验证。

其中一个维度很好计算,dim F[A] 。我们知道 m(λ) 作为A的最小多项式,有 m(A)=0 ,从而:Aⁿ+αₙ₋₁Aⁿ⁻¹+· · ·+α₁A+α₀l=0.

所以,

Aⁿ= –αₙ₋₁Aⁿ⁻¹ – · · · – α₁A – α₀l 。任取 h(A) ∈ F[A] ,对多项式 h(x) 和 m(x) 做带余除法:

h(x)=u(x)m(x)+r(x), deg r(x)<deg m(x).

将A带入到上面的等式,得到:

h(x)=u(x)m(x)+r(A)=r(A),

r(A)=qᵣ Aʳ+qᵣ₋₁ Aʳ⁻¹+· · ·+q₁ A+q₀,其中 r<n 。也就是说, F[A] 上的任何元素都可由 l,A,· · ·,Aⁿ⁻¹ 线性表出。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

双人复仇记 连载中
双人复仇记
灵芊瑞
0.8万字11个月前
捡到了个男朋友 连载中
捡到了个男朋友
棂沁
如果你只站在原地等待,那就由我向你踏出100步。
0.6万字11个月前
寂寞的美杜莎 连载中
寂寞的美杜莎
尨2522
暂无
0.2万字11个月前
叮!您的美男图鉴请签收! 连载中
叮!您的美男图鉴请签收!
来挽舟
有仕女图鉴,收集华夏上下五千年美人,蓁蓁是所有人公认的仕女图鉴第一美人有一天,蓁蓁被系统复活了,获得了一本美男图鉴,要穿梭三千世界收集美男既......
16.1万字11个月前
all美:兽世来临我被迫生子 连载中
all美:兽世来临我被迫生子
小枫_62937873422240483
相传,在远古时期,这片大陆上的人类曾被赶尽杀绝,各个族群都推选出他们的强者,管理着这片土地,仅剩的人类藏在环境恶劣的黑森林中美“我是个男人,......
0.4万字11个月前
苗疆十七州 连载中
苗疆十七州
辞酒野
『清冷孤傲的苗疆大祭司×温婉坚定的汉家小姐』世人皆道苗疆中人擅蛊惑人心,尤为喜爱以活人试蛊,而苗疆那神龙见尾不见首的祭司更是如此。传闻他冷酷......
15.9万字11个月前