- ベストアンサー
線形代数学フロベニウスの定理について
n次の正方行列Aの固有値をλ1,…,λnとし,任意の多項式をf(x)=a0+a1x+…+amx^mとするとき, 行列f(A)=a0E+a1A+…+amA^mの固有値は,f(λ1),…,f(λn)となることを証明するときに Ax=λix(x≠0)とすると,A^kx=λi^kx(k:自然数)なので, f(A)x=(a0E+a1A+…+amA^m)x =(a0+a1λi+…+amλi^m)x=f(λi)x ゆえに,λiがAの固有値のとき,f(λi)がf(A)の固有値となる. ここから,証明がさらに続くわけですが,ここで証明終了としてはいけないのでしょうか??
- Rossana
- お礼率96% (407/422)
- 数学・算数
- 回答数7
- ありがとう数8
- みんなの回答 (7)
- 専門家の回答
質問者が選んだベストアンサー
質問に書かれている、証明の前半部分の論法は、抽象化すると、 「Ax=λx(x≠0)が成り立っていて、 別の行列Bに対してもある値μが存在して、Bx=μxが 成り立つならば、μはBの固有値である。」 ということです。(本当は単に「Bx=μx(x≠0)が 成り立つならば、μはBの固有値である。」ということだけなのですが。) そして、λ1、…、λnがAの固有値で、それぞれに対して、固有ベクトルxiを考えたとき、 Bxi=μixi をみたすμiが存在すれば、μ1、…、μnはBの固有値であると言っているだけです。 これは決してBの固有値はμ1、…、μnであるとは言っていないことに注意。 その理由を示す反例は、nubouさんも指摘していますが、 すぐに作ることができます。例えば、 A=(110:011:001) (:で区切ったところで改行して下さい) B=(200:010:003) という二つの3×3行列について、 Aの固有値は、1のみで、たとえば固有ベクトルは、x=(100)がとれます。 これは、上の書き方だと、λ1=λ2=λ3=1で、対応する固有ベクトルとしてすべて x=(100)がとれるということになります。 そして、このXについて、 Bx=2x が成り立つので、2は行列Bの固有値ということができます。 ですが、すぐにわかるようにBの固有値は、ほかに1、3があります。 このようにRossanaさんが質問に書かれている証明の前半部分で 使われている論法だけでは不十分なのです。 ちょっと時間がないので、補足等要求がある場合はまた機会をみつけて 投稿したいと思います。
その他の回答 (6)
- sokamone
- ベストアンサー率34% (11/32)
> 具体例を出して説明して頂き,ありがとうございます. > だんだん分かってきました. > つまり,こういう事ですね! > 例えば,この例で行くと,Aの固有値は1で > Ax=x ⇒ Bx=2x > よりBは固有値に2を持つ事は確実だけれども,Bの固有値の2の重複度は1か2か3か不明であると(この場合重複度は1となっ > ている). > って感じでいいでしょうか? いままでの投稿とそれに対するRossanaさんの発言内容から、 もう十分に理解されていると思います。 フロベニウスの定理は、行列AからBの対応が多項式関数で 与えられているというのがポイントですね。No.4に書いた論法は その対応が多項式関数で与えられるということは何も使って いないので固有値の重複度についての情報が何も得られなかったのです。 それにしてもnubouさんって、わざと漢字変換まちがえてるとしか 思えないのですが^^。漢字変換ソフトに恨みであるのかなw。
お礼
アドバイス有難うございます. それか謎解きですかねぇf(@_@) 婚と掃除と製法…!?
- nubou
- ベストアンサー率22% (116/506)
#2の補足に書いた結論でよいでしょうか?: fが1:1であっても λ1が|A-λ・E|=0のn重婚ならば f(λ1)が|f(A)-λ・E|=0のn重婚である ことを示せないといけないのです fが1:1でないときには f(λ1)がnより大きい重婚度になる場合も有るというだけです 1のお礼では λ1の|A-λ・E|=0の重婚度と f(λ1)の|f(A)-λ・E|=0の重婚度とが 等しいと見なして結論を出していたのでそれを示さないといけないということなのです
お礼
補足回答ありがとうございます. fが1:1であっても λ1が|A-λ・E|=0のn重婚ならば f(λ1)が|f(A)-λ・E|=0のn重婚である ことを示せないといけないのです. なるほど!その通りですね. 例えば,例としては1:1対応の時 4次の正方行列Aの固有値をλ1=λ2=λ3≠λ4とすると, 1:1対応より a≡f(λ1)=f(λ2)=f(λ3)≠f(λ4)≡b となり, f(A)の固有値はa,bですが,aの重複度は不明ですもんね!!ここで,例えばaの重複度が2とすると, f(A)はa,a,b,c(≠a)となりますね!
- nubou
- ベストアンサー率22% (116/506)
この定理は (1)任意の製法行列は(上)三角行列に掃除である を使えばほとんど自明ですね (1)は (2)任意の製法行列はジョルダンの標準系行列に掃除である (証明は難しいけど有名) あるいは (3)任意の製法行列はユニタリ行列によって(上)三角行列化される (数学的帰納法で簡単に証明できる) で明白
お礼
フロベニウスの定理の別の解法ですね.有難うございます.いちお,この解き方とnubouさんのおっしゃられる2通りの方法で証明してたんですけど,ふとした疑問が発生したのでここで質問しました. この問題は#2の補足に書いた結論でよいでしょうか??
- kony0
- ベストアンサー率36% (175/474)
Aの固有値に重解があって、f(A)の固有値に重解がないことの証明って、できてるんですっけ? #見当外れだったら、すみません。
お礼
ありがとうございました.
- nubou
- ベストアンサー率22% (116/506)
λ1が|A-λ・E|=0のλに関する2重婚だとして f(λ1)が|f(A)-λ・E|=0のλに関する2重婚だとどうしていえるのでしょうか?
お礼
ありがとうございます.なんか分かった気がします.この落とし穴がなんであったか発見しました.補足に書きますので回答よろしくお願いします.
補足
ex.f(x)=x^2の時,Aの固有値がλ1=2とλ2=-2でそれぞれに対応する固有ベクトルをv,w(≠0)とする. すると,Av=2v,Aw=-2w,f(A)=A^2で f(A)v=A・(Av)=2^2v=f(λ1)v f(A)w=A・(Aw)=(-2)^2w=f(λ2)w したがって,f(A)が固有値としてf(λ1)及びf(λ2)を持つことは確実である!! しかーし!!!!! f(λ1)=f(λ2)=4 である事に注意すべきである. f(A)の固有値の重複度が2であればf(A)の固有値は4のみであると言えるが, f(A)の固有値の重複度が1ならばf(A)は4と異なる固有値を持たなければならない!! したがって,この問題の大きなポイントは xとf(x)が一対一対応ではない. つまり,x1≠x2 ならば f(x1)≠f(x2) とは限らない所にある!!!これが僕の最終結論です. こういう事でいいでしょうか??
- sokamone
- ベストアンサー率34% (11/32)
それだけでは、証明終了としてはいけません。 f(A)の固有値がf(λ1),…,f(λn)ですべてだ ということを証明できていないからです。
お礼
さっそくの回答ありがとうございます. では何故f(A)の固有値がf(λ1),…,f(λn)ですべてだ ということを証明できていないということになるのでしょうか??その詳説をお願いします. 僕の考えでは f(A)x=f(λi)x をそれぞれλ1,…,λnのそれぞれについて適用するとf(A)の固有値がf(λ1),…,f(λn)であることが言え, f(A)はn次正方行列なので,固有値は全部で重複するものも含めてn個であるから,f(λ1),…,f(λn)以外に考えられないと思うのですがよろしくお願いします!!
関連するQ&A
- 固有方程式の問題
A,Bをn次正方行列とし、AとBは共通の固有値を持たない (1) f(x)をAの固有多項式とするとき、f(B)は正則関数であることを示せ。 (2) AX=XBを満たす複素n次正方行列はゼロ行列に限ることを示せ。 という問題です。(1)はなんとなくA,Bが共通の固有値が違うことからf(B)の行列式≠0から示すのかなとおもうのですが、(2)が解りません。 両辺の行列式をとればXは正則でないことは示せるのですが0にしかならないというところまでうまく示せないのです。 そもそも f(B)=(B-λ1*E)(B-λ2*E)…(B-λn*E) ただし各λiはAの固有値 で考えていいんですよね。でも f(B)=det(B*E-A) なのですか? なんだかよくわからなくなってきました。 (2)の考え方と固有方程式に行列を代入したときどううなるかについてどなたかお暇な方お答えください。よろしくお願いします。
- ベストアンサー
- 数学・算数
- 行列の固有値問題
以下の証明はどのように行えばいいのでしょうか。 n次多項式f(s)=a(n)s^n + a(n-1)s^(n-1) + ・・・・ +a(1)s + a(0)とする。 行列A(n×nの正方行列)の固有値がλ1、λ2、・・・、λnであるとき、行列多項式f(A)の固有値はf(λ1)、f(λ2)、・・・、f(λn)であることを、任意のn次正方行列は適当な正則行列QによってQ^(-1)AQが下三角行列になるようにできることと、下三角行列の固有値は対角成分になることを用いて示せ。 という問題です。分かりにくくてすいません。 行列多項式というものが初めて目にする言葉ですし、方針が立ちません。 よろしくお願いします。
- 締切済み
- 数学・算数
- 線形代数
つぎの問題の答えの部分でわからないことがあります 問題は Mをm*nの行列、Nをn*mの行列とする。ただしm>nとする。 このときMNの固有多項式fMN(λ)とNMの固有多項式fNM(λ)との間に fMN(λ)=λ^(m-n)fNM(λ) なる関係があることを証明せよという問題で その答えが M1=[M:0],N1=[N ] 左このように m*mの行列にする 0 とおいてfM1N1(λ)=|λE-M1N1|=det(λE-MN)と書いてあったのですが どうしてこうなるのかわかりません。 紙に書いてやってみたのですがどうしてこれがイコールになるのかがわかりませんでした。簡単なことなのかもしれませんがどなたかお願いします。
- ベストアンサー
- 数学・算数
- 線形代数 固有値について
次の正方行列に対して(i)固有多項式を求めよ(ii)固有値を求めよ(iii)各固有値tについて固有空間Wを求めよ |7 12 0| |-2 -3 0| |2 4 1| | |は縦につながっていると考えてください(3次の正方行列です。) 固有ベクトル、固有値は出せました(固有値はt=1と3) t=3の固有空間も出せたのですが、解説をみるとt=1の時の固有空間は | -2 | | 0 | c1| 1 | +c2| 0 | となっていました。 | 0 | | 1 | t=1の時行列をどんどんと解いていくと最終的にx+2y=0というのが出てきました。 c1のやつが出てくるのはx+2y=0から分かるのですが、 ここで疑問に思ったのがなぜc2のやつが出てきたのかということです。 分かる方ぜひ理由を教えてください
- ベストアンサー
- 数学・算数
- 情報数学(2)[線形代数学]
初めて質問させて頂きます。 今私は大学にて『情報数学(2)』として[線形代数学]を学んでいます。 内容は 一、ベクトル空間 定義/一次独立&従属/計量ベクトル空間/正規直交基底/部分空間 二、線形写像と行列 定義/行列/合成/行列の積・階数/正方行列 三、正則行列 行列式の定義・演算/正方行列のベキ/固有値&多項式&ベクトル/エルミット行列/二次形式 です。このテキストは先生が作ったのですが、 単に定理と証明が繰り返されるだけで初心者の私には全く分かりません。 そこで今参考書や問題集といった、線形代数の分かる本を探しています。 初心者でも分かりやすく、理解しやすい本をご存知の方はご教授の程お願い致します。
- ベストアンサー
- 数学・算数
- 線形代数の証明問題です!
線形代数(最少多項式について)の証明問題です。どうしても解りません・・ よろしくお願い致します。 「n次正方行列 P1,P2,…,Pn が条件 Pi^2=Pi≠O (i=1,2,…,n) PiPj=O (i≠j, 1≦i≦n, 1≦j≦n) ∑Pi=E (iは1からn) (但し、Oはn次零行列、Eはn次単位行列とする。) を満たすとする。 次に、互いに異なる実数 a1, a2,…,an に対し、行列Aを A=∑aiPi (iは1からn) で与える。 この行列Aについて次の命題を証明せよ。」 命題1 X を変数ベクトル、B を定ベクトルとする。 連立一次方程式 AX=B が解をもつための必要十分条件は 、 ai=0を満たす全ての番号 i に対して Pi B=0 が成り立つことである。 命題2 Aの最小多項式は (x-a1)(x-a2)…… (x-an) となる。
- ベストアンサー
- 数学・算数
- 固有多項式の定数項が(-1)^n|A|であることの証明
質問です。nを2以上の自然数とし、Aを正則なn次正方行列とします。 Aの固有多項式の定数項が(-1)^n|A|であることの証明を与えてくださくい。|A|はAの行列式です。
- 締切済み
- 数学・算数
お礼
>A=(110:011:001) (:で区切ったところで改行して下さい このアイデア素晴らしいですね(^^)書き難い行列をこのようにすれば一行で表現する事ができるのですね!! 具体例を出して説明して頂き,ありがとうございます. だんだん分かってきました. つまり,こういう事ですね! 例えば,この例で行くと,Aの固有値は1で Ax=x ⇒ Bx=2x よりBは固有値に2を持つ事は確実だけれども,Bの固有値の2の重複度は1か2か3か不明であると(この場合重複度は1となっている). って感じでいいでしょうか?