- ベストアンサー
スペクトル分解の一意性の証明について
ＴがＶの正規変換であるとき Ｔの相異なる固有値全部をβ_1,β_2,・・・,β_kとし 対応する固有空間をＷ_1,Ｗ_2,・・・,Ｗ_kとする Ｗ_iへの射影子をＰ_iとすれば Ｐ_1+Ｐ_2+・・・+Ｐ_k=I Ｐ_iＰ_j=0 (i≠j) Ｔ=β_1Ｐ_1+β_2Ｐ_2+・・・+β_kＰ_k が成立する。これを正規変換Ｔのスペクトル分解という。 スペクトル分解は一意的である。 実際、射影子Ｐ'_1,Ｐ'_2,・・・,Ｐ'_kによるもうひとつのスペクトル分解 Ｐ'_1+Ｐ'_2+・・・+Ｐ'_k=I Ｐ'_iＰ'_j=0 (i≠j) Ｔ=β_1Ｐ'_1+β_2Ｐ'_2+・・・+β_kＰ'_k があったとしよう。 Ｐ_i,Ｐ'_iがそれぞれ部分空間Ｗ_iＷ'_iへの射影子であるとすれば ＴのＷ_i,Ｗ'_iへの制限はどちらもスカラー変換β_iＩであるから Ｗ_i=Ｗ'_i よってＰ_i=Ｐ'_i ("逆"の証明は略) と教科書にあったのですが、最後、なぜＷ_i＝Ｗ'_iが言えるのかがわかりません。 ＴのＷ_i,Ｗ'_iへの制限はどちらもスカラー変換β_iＩであることを用いてＷ_i⊂Ｗ'_iかつＷ_i⊃Ｗ'_iを示せるのですか？ Ｗ_i⊃Ｗ'_iのほうに関しては x'_i∈Ｗ'_iとすると Ｔ(x'_i)=β_i(x'_i)であるから、x'_iはＴの固有値β_iに対する固有空間Ｗ_iの固有ベクトルであるといえる。よってx'_i∈Ｗ_i つまりＷ_i⊃Ｗ'_iである。 とできるかな？とは思ったのですが、もう一つが・・・。 Ｗ_i⊃Ｗ'_iであることとＶが直和であることを用いてＷ_i=Ｗ'_iを示せるかな？とも思ったのですが、なんとなくなりそうってだけで、どのように厳密に示せばいいのかよくわかりません。 教科書にもさらっと書いてあるだけですし、おそらく簡単なことなのでしょうが私にはよくわからないです・・。 どなたか Ｗ_i=Ｗ'_i よってＰ_i=Ｐ'_i の証明教えていただけないでしょうか。 よろしくお願いいたしますm(_ _)m
- 数学・算数
- 回答数3
- ありがとう数4
- みんなの回答 （3）
- 専門家の回答
質問者が選んだベストアンサー
＞この時点でＷ_'2=Ｗ_2などとはできないのでしょうか・・？ できると思います。 Ｗ'_i(i＝2,3,…,k)はＴの作用をＷ_1^⊥へ制限した変換Ｔ_1の固有空間なので Ｗ'_2＝Ｗ_2∩Ｗ_1^⊥ ,…, Ｗ'_k＝Ｗ_k∩Ｗ_1^⊥ (1) 一方、明らかに Ｗ_2⊂Ｗ_1^⊥ ,…, Ｗ_k⊂Ｗ_1^⊥ (2) なので(1)(2)より Ｗ'_2＝Ｗ_2∩Ｗ_1^⊥＝Ｗ_2 ,…, Ｗ'_k＝Ｗ_k∩Ｗ_1^⊥＝Ｗ_k (3) を得る。(証明終) 本の中で「明らかにＷ'_i⊂Ｗ_iであるから」と言っているのは上の(1)式 のことですよね。本の証明方法も誤りではないと思います。 今の問題ではＴの作用を制限したときにプライム付きのＷ'_iが現れていますが、 元の質問の問題では別のスペクトル分解としてプライム付きのＷ'_iが現れます。 スペクトル分解の段階でＴの作用を制限したわけではないので二つの問題は 状況が違うかなと思います。
その他の回答 (2)
- gatch_ky
- ベストアンサー率43% (18/41)
おっしゃるとおりで Ｗ_i⊃Ｗ'_iであることと Ｖが直和であること(Ｗ'_iの完全性) を用いてＷ_i=Ｗ'_iを示せます。 ＴのＷ'_iへの制限はスカラー変換β_iＩであるから Ｗ_i⊃Ｗ'_i Ｖ=Ｗ_1+Ｗ_2+...Ｗ_k⊃Ｗ'_1+Ｗ'_2+...+Ｗ'_k=Ｖ ⊃が等号を達成するのはＷ_i＝Ｗ'_iしかない。
お礼
回答ありがとうございます！ 参考にさせていただきます。 助かります
- de_Raemon
- ベストアンサー率80% (25/31)
線型代数入門ですよね？ 私もこの本を勉強中です。 『ＴのＷ_i,Ｗ'_iへの制限はどちらもスカラー変換β_iＩであるから』Ｗ_i=Ｗ'_i 結果のＷ_i=Ｗ'_iは正しくても、それを導く論法『～』は正しくないと思います。 反例をひとつ・・・ Ｗ_iの1個の元yによって張られる1次元部分空間をＹ＝{ay|a∈C}とするとＴのＹへの制限も スカラー変換β_iＩなので上の論法でゆくとＷ_iの次元に関係なくＷ_i＝Ｙ。 一方、Ｗ_iの次元が2以上のときＷ_i＝Ｙはありえない・・・ そもそも同じ本のp131に書いてある固有空間の定義に従えば Ｗ_i＝固有値β_iに対する固有ベクトル全部と0ベクトルから成る集合 Ｗ'_i＝固有値β_iに対する固有ベクトル全部と0ベクトルから成る集合 なので明らかにＷ_i＝Ｗ'_iです。
補足
いつも回答していただき本当にありがとうございます。 はい、線形代数入門です！ そうですよね、それは反例になってますよね・・・。 de_Raemonさんも線形代数入門を使ってるとのことですので、もう一つ似たようなことで気になってることを質問させてください。 (補足に書くのはマズイかもしれませんが・・・。) p149の定理[3.1]の証明もなんかしっくりきません。 最後の一文 「Ｗ'_i⊂Ｗ_iであるからＷ_'i=Ｗ_iでなければならない。」 という部分です。 ここでは,これより前の文に 「β_2,・・・β_kに対するＴの固有空間をＷ_'2,・・・Ｗ'_kとすれば・・・」 とありますが、 この時点でＷ_'2=Ｗ_2などとはできないのでしょうか・・？ 是非御意見お聞かせくださいm(_ _)m
関連するQ&A
- 正規変換のスペクトル分解についてです！
ＴがＶの正規変換であるとき、 Ｔの相異なる固有値全部をβ[1],β[2],・・・,β[k]とし、 対応する固有空間をＷ[1],Ｗ[2],・・・,Ｗ[k]とする。 Ｖはこれらの部分空間の直和である。 Ｗ[i]への射影子をＰ[i]とすれば、明らかに Ｐ[1]+Ｐ[2]+・・・+Ｐ[k]=Ｅ(単位行列) （Ｐ[i]Ｐ[j])(x)=０ ｘ∈Ｖ Ｔ＝β[1]Ｐ[1]＋β[2]Ｐ[2]＋・・・β[k]Ｐ[k] が成立。これを正規変換Ｔのスペクトル分解という。 ここで、Ｔの随伴変換Ｔ^*が Ｔ^*＝β^*[1]Ｐ[1]＋β^*[2]Ｐ[2]＋・・・β^*[k]Ｐ[k] となる理由が分からず困っています。 （β^*[1]は実質、β^*[1]の共役な複素数ですが・・。） 結果から、ｘ∈Ｖに対して Ｔ^*(x) ＝(β^*[1]Ｐ[1]＋β^*[2]Ｐ[2]＋・・・β^*[k]Ｐ[k])(x) ＝β^*[1]Ｐ[1](x)＋β^*[2]Ｐ[2](x)＋・・・β^*[k]Ｐ[k](x) 一方 Ｔ^*(x) ＝(β[1]Ｐ[1]＋β[2]Ｐ[2]＋・・・β[k]Ｐ[k])^*(x) なので、結局 Ｔ^*(x) ＝(β[1]Ｐ[1]＋β[2]Ｐ[2]＋・・・β[k]Ｐ[k])^*(x) ＝(β^*[1]Ｐ^*[1]＋β^*[2]Ｐ^*[2]＋・・・β^*[k]Ｐ^*[k])(x) ここで、Ｐはエルミート変換より ＝(β^*[1]Ｐ[1]＋β^*[2]Ｐ[2]＋・・・β^*[k]Ｐ[k])(x) よって Ｔ^*＝β^*[1]Ｐ[1]＋β^*[2]Ｐ[2]＋・・・β^*[k]Ｐ[k] のように、いわば"*"が分配できれば証明できるなと思ったのですが、なぜ分配できるのか？といわれるとなぜだかわかりません。Ｔが行列なら分配できるのは明らかですが・・。 どなたかこの証明わかるかたいらっしゃいましたら解答よろしくお願い致ししますm(_ _)m
- ベストアンサー
- 数学・算数
- スペクトル分解とは何なのか？
大学初級の線形代数を学んでいます。 スペクトル分解とは何なのでしょうか？ 色々とググって見つけたのですが、 ・スペクトル分解とは”正方行列”に対応する線形変換ですか？つまり正方行列専門の線形変換？ ・行列の固有値を係数とする射影の和ですか？正方行列であるなし関係がない？ 教えてください、よろしくお願いします！！
- ベストアンサー
- 数学・算数
- スペクトル分解の問題です
３×３の正方行列 (７ １ ２) (１ －７ －２) (２ －２ ４) のスペクトル分解を求めよ。という問題です。 固有方程式の解がk=2,8(重解)とでて、 k=2のときの固有ベクトルは (-1) ( 1) (2) k=8の固有ベクトルは (0) (2) (-2) (0) (1) (-1) となりましたがその後がわかりません。御回答よろしくお願いします。 また間違っていたら訂正お願いします。
- 締切済み
- 数学・算数
- 行列のスペクトル分解について
自分が持っている参考書に、見たことないスペクトル分解が載っていました。 「行列Aについて、固有値をそれぞれα、βとし、それぞれの固有ベクトルをベクトルu、ベクトルvとする。 A^n=α^nP+β＾nQの、行列P,Qを求める。 f(x)=ax^n+bx^(n-1)+・・・＋yx^1+zx^0とし、f（A）＝・・・・＝f（α）P+f(β)Qとなる （ここまではわかります） したがって、g(α)＝１かつg(β)＝０となる多項式g(x)が見つかればP＝g（A）、 h(α)=０かつh（β）＝１となる多項式h(x)が見つかればQ＝h（A） よってP＝A-βI/α-β,Q=A-αI/β-αとなる」 この、「g(α)＝１かつg(β)＝０となる多項式g(x)が見つかればP＝g（A）、 h(α)=０かつh（β）＝１となる多項式h(x)が見つかればQ＝h（A）」となる多項式はP＝x-βI/α-β,Q=x-αI/β-αだと理解できるのですが、なぜP、Qを求めるのにf（x）を考え、さらにg（x）、h（x）を考えたのかわわかりません。 どなたかご教授下さい。お願いします
- ベストアンサー
- 数学・算数
- 【素元の分解】一意性の証明
代数学の初歩にて、２つほど疑問があります。 片方だけでもよいので、どなかたご教示お願いします。 (1)整域Ｒにて、１つの元の素元分解は一意的である。 すなわち、p_1p_2 ... p_r = q_1q_2 ... q_s （p_i と q_i は素元） とすると、r=sであり、番号をいれかえることで単元倍を除いてp_i = q_i となる。 という命題で、単元倍を除く ということの意味がよくわかりません。 いろいろやって、適当に順番を入れ替えて、q_1 = ap_1 と表せる （aは単元）ことはわかったのですが、その直後、 『すなわち、単元倍を除いて q_1 = p_1である』と続くのですが、 これが意味不明です。どうあがいてもq_1 = p_1は正しくないと思うのですが、 単元倍を除いて というのは一体どういうことなんでしょうか。 (2)上の命題の直後に続く命題です。 任意の単元でない元a≠0が、単元倍を除いて一意的に既約元の積にかけるならば、 整域Ｒは素元分解整域である。 これを示すためには、条件の下 既約元が素元になることを示せばいいですよね。 0≠a（aは単元でない）をRの既約元として、イデアルRaを考えたとき、 xy∈Raとすると、a | xyで、 条件より x=x_1x_2 ...x_r y=y_1y_2 ... y_s と分解できます。 よって、a | x_1x_2 ...x_r y_1y_2 ... y_s となります。 ここで、『既約元分解の一意性から、既約元aは、とあるx_i かy_iに単元倍を除き等しくなる。』 とあるんですが、ここもさっぱり理解できません。 経験不足であることは十分わかっているのですが、 ヒントだけでも教えていただけないでしょうか。
- ベストアンサー
- 数学・算数
- 正規変換に関する質問です
２次元ユニタリ空間Ｖの正規変換をＴとする。 このとき、次のようなＶの部分空間のＷ_0,Ｗ_1,Ｗ_2が存在する。 (1)Ｗ_1,Ｗ_2はともにＴ-不変 (2){0}=Ｗ_0⊂Ｗ_1⊂Ｗ_2＝Ｖ (3)dim(Ｗ_1)＝１ dim(Ｗ_2)＝２ このとき・・・ Ｗ_1は(計量空間)Ｗ_2の部分空間であるからＷ_1^⊥をＷ_1の直交補空間とすると Ｗ_2＝Ｗ_1◎Ｗ_1^⊥(直和)となる・・・(※) Ｗ_2の任意の元をu[2]とすると、u[1]∈Ｗ_1 u[1']∈Ｗ_1^⊥を用いて u[2]=u[1]+u[1']と一意的に表せる。 このとき Ｔ(u[1'])=T(u[2])-T(u[1]) 今、Ｗ_1,Ｗ_2はともにＴ-不変であるから T(u[2])∈Ｗ_2 T(u[1])∈Ｗ_1となる。ここで再び(※)より T(u[2])-T(u[1])＝αu[1']と一意的に表せる(αは定数) つまりＴ(u[1'])=αu[1']⊂Ｗ_1^⊥ とできたわけだが、u[1']は任意にとれるので これは結局、Ｔ(Ｗ_1^⊥)⊂Ｗ_1^⊥ つまりＷ_1^⊥がＴ-不変であるということである。 さて・・・ Ｗ_1の元のうち、ノルムが１となるものx[1]をとる。 さらに、Ｗ_2の元でＷ_1の任意の元と直交するもの全体 つまりＷ_1^⊥の元のうち、ノルムが１となるものx[2]をとる。 すると<x[1],x[2]>はＷ_2(Ｖ)の正規直交基底である。 また、Ｗ_1とＷ_1^⊥はともにＴ-不変であるから 今、Ｗ_1とＷ_1^⊥の次元がともに１であることを考慮して Ｔ(x[1])=αx[1] Ｔ[x[2]]=βx[2]なる数αβが存在するといえる。 よって、x[1]x[2]はＴの固有ベクトルであるともいえる。 私は、一般にｎ次元のユニタリ空間Ｖの正規変換Ｔの固有ベクトルのみからなるＶの正規直交基底がいつでもとれることを示そうと思い、まず一番簡単なｎ＝2の場合について、上記のように考えたのですが、あっているでしょうか？ 私は、一般のｎ次元ユニタリ空間の場合にも下記の定理 [定理] ｎ次元ユニタリ空間Ｖの正規変換をＴとする。 このとき、次のようなＶの部分空間のＷ_0,Ｗ_1,・・・Ｗ_nが存在する。 (1)Ｗ_iはともにＴ-不変(i=1,2,・・・n) (2){0}=Ｗ_0⊂Ｗ_1⊂・・・Ｗ_n-1⊂Ｗ_n＝Ｖ (3)dim(Ｗ_i)=dim(Ｗ_i-1)+1 (i=1,2,・・・n) を使って同じような操作を続けて、最終的にはｎ個の固有ベクトルからなるＶの正規直交基底が得られるんだと思っているのですが・・。 どなたか添削よろしくお願いいたししますm(_ _)m
- ベストアンサー
- 数学・算数
- 部分空間と、その直交補空間への距離について
現在、大学の講義で部分空間と、それに対する直交補空間について学習しています。 そこで、部分空間を張るベクトルをU = {u1, u2, ... ,un} （u1～unは縦ベクトル）とした場合、 その部分空間への射影行列は P = U*U^t (^tは転置）で表され、それと対応する直交補空間 への射影行列はP⊥= I - P（I は単位行列）となると習いました。 また直交補空間への射影成分の距離d⊥は (d⊥)^2 = || P⊥*x ||^2 = x^t *(I - U*U^t)*x であると習いました。 ここで質問なのですが、上の距離の式の"x"とはどのようなデータですか？ また、上の式はノルムの二乗となっているので、距離は常に正の数ということになりますか？ 色々と質問してしまい、すみません。よろしくお願いします。
- ベストアンサー
- 数学・算数
- rのスペクトルは実数全体？
Q_k,P_kがエルミートで、 [Q_k,P_k]=ih (k=1,2,・・・n) という交換関係が成り立っているとします。hは実定数で、iは虚数単位です。また、上記以外の交換子はゼロとします。 Ｕ(a_1,・・・,a_n)＝Ｕ(a)＝exp(Σa_kP_k/ih) を定義すると、 １．Ｕはユニタリ ２．Ｕ(a)^(-1) Ｑ_k Ｕ(a)＝Ｑ_k+a_k が成り立ちます。 １番は各P_kがエルミートである事(P_k達が可換である事も使うかも)から、２番はexp(Ａ)Ｂexp(-Ａ)＝Ｂ＋[Ａ,Ｂ]＋(1/2!)[Ａ,[Ａ,Ｂ]]+・・・が成り立つ事から証明できます。 私の理解ではユニタリ変換でスペクトルは不変のはずですので、２番の左辺にあるQ_iと右辺のQ_i+a_iはスペクトルが同じだという事になります。そして、a_iは任意の実数で問題ないはずなので、Q_iのスペクトルは実数全体でなければいけないでしょう。 上記の議論を、極座標に当てはめてみると、rのスペクトルが実数全体と明らかにおかしなことになるので、どこかで直交座標である(最低限、極座標でない)という情報を使っていると思うのですが、一体、どこでそのような仮定を置いている事になるのでしょうか？
- ベストアンサー
- 物理学
- ローレンツ関数の虚部はスペクトルにどう現れますか？
ある光のスペクトルをローレンツ関数でフィッティングしたいと思っています． 私の考えるモデルでは（というほどおおげさなものではないですが） 受信した光の電場は E = E0exp(iwt) で振動しています． ただし w = w-iγ で、減衰振動する光です． これをフーリエ変換すると， E0(w-iγ)^(-1) というローレンツ関数になると思うのですが， この実部、虚部の意味するものがよく分かりません． 一体スペクトルにどう表れるのでしょうか？ 得られたスペクトルは明らかにローレンチアンなので虚部？と思ったのですが．．． ちなみにγ以外の要因によるスペクトルの広がりはとりあえず無視するとしてください． 初歩的な質問ですいません。よろしくお願いします．
- ベストアンサー
- 物理学
- 部分空間・直行補空間について
ベクトルや部分空間、直行補空間について勉強しています。 そこである書籍の「主成分分析」という項目に次のような説明がありました。 主成分直行基底Uk = [u1,...,uk] (u1,...,uk：ベクトル)によって張られた部分空間 への射影子はP = UkUk ' として表され、それに対する直行補空間への射影子は P⊥ = I - P （おそらくIは単位行列だと思います。）となる。直行補空間への射影成分 の距離d⊥は、 d⊥^2 = ||P⊥x||^2 = ||(I - UkUk ' )x||^2 = x'(I - UkUk ' )' (I - UkUk ')x = x'(I - UkUk ')x （^2は2乗です。） 上記の記述で調べてもよくわからなかった部分が幾つかありました。 １．部分空間への射影子というものがよくわかりません。また、射影子P = UkUk 'とありますが、 この「'](ダッシュ）が何を表しているのかわかりません。 ２．直行補空間への射影成分の距離d⊥^2の式もなぜこのようになるのかがわかりません。 （記号||x||はノルムだということはわかりました。） 以上です。いろいろと検索してはみたのですが、お恥ずかしながら理解まで至りませんでしたので 質問させていただきました。お願いします。
- ベストアンサー
- 数学・算数
お礼
回答ありがとうございます！ なるほど、そのようにすればいいのですね。 おかげで理解できました。ありがとうございます。