• ベストアンサー

スペクトル分解とは何なのか?

大学初級の線形代数を学んでいます。 スペクトル分解とは何なのでしょうか? 色々とググって見つけたのですが、 ・スペクトル分解とは”正方行列”に対応する線形変換ですか?つまり正方行列専門の線形変換? ・行列の固有値を係数とする射影の和ですか?正方行列であるなし関係がない? 教えてください、よろしくお願いします!!

質問者が選んだベストアンサー

  • ベストアンサー
  • jcpmutura
  • ベストアンサー率84% (311/366)
回答No.2

正規行列Aは固有値λ_kの固有空間への射影行列P_kによって, A=Σ_{k=1~r}(λ_k)(P_k) 表すことができる 単位行列 (1,0) (0,1) = 射影行列 (1,0) (0,0) + 射影行列 (0,0) (0,1) 例) 行列 (1.,2) (-1,4) の固有値は2,3で (1,-1)(1.,2.)(2,1)=(2,0) (-1,2)(-1,4)(1,1)...(0,3) (2,0) (0,3) =↓対角行列のスペクトル分解 2* (1,0) (0,0) + 3* (0,0) (0,1) (1,-1)(1.,2.)(2,1) (-1,2)(-1,4)(1,1) (1.,2) (-1,4) = 2* (2,1)(1,0)(1,-1) (1,1)(0,0)(-1,2) + 3* (2,1)(0,0)(1,-1) (1,1)(0,1)(-1,2) =↓スペクトル分解 2* (2,-2) (1,-1) + 3* (-1,2) (-1,2) 対角行列の射影行列に対角化行列の逆行列をかける事によって元の行列の射影行列が求まる

sansan444
質問者

お礼

ありがとうございます!わかりました!!わかりやすかったです!!

その他の回答 (1)

  • jcpmutura
  • ベストアンサー率84% (311/366)
回答No.1

正方行列の固有値を係数とする射影行列の和です 正規行列Aは固有値λ_kの固有空間への射影行列P_kによって, A=Σ_{k=1~r}(λ_k)(P_k) 表すことができる 例) 行列 (1.,2) (-1,4) の固有値は2,3で (1,-1)(1.,2.)(2,1)=(2,0) (-1,2)(-1,4)(1,1)...(0,3) (2,0) (0,3) =↓スペクトル分解 2(1,0)+3(0,0) ...(0,0)...(0,1) (1.,2) (-1,4) =↓スペクトル分解 2(2,-2)+3(-1,2) ...(1,-1).....(-1,2)

sansan444
質問者

補足

ありがとうございます!とてもわかりやすいです!射影行列はどのように求められていますか?

関連するQ&A

  • スペクトル分解の問題です

    3×3の正方行列   (7  1   2)               (1 -7 -2)               (2 -2  4) のスペクトル分解を求めよ。という問題です。 固有方程式の解がk=2,8(重解)とでて、 k=2のときの固有ベクトルは (-1) ( 1) (2) k=8の固有ベクトルは (0)   (2) (-2)   (0) (1)   (-1)    となりましたがその後がわかりません。御回答よろしくお願いします。 また間違っていたら訂正お願いします。

  • スペクトル分解の一意性の証明について

    TがVの正規変換であるとき Tの相異なる固有値全部をβ_1,β_2,・・・,β_kとし 対応する固有空間をW_1,W_2,・・・,W_kとする W_iへの射影子をP_iとすれば P_1+P_2+・・・+P_k=I P_iP_j=0 (i≠j) T=β_1P_1+β_2P_2+・・・+β_kP_k が成立する。これを正規変換Tのスペクトル分解という。 スペクトル分解は一意的である。 実際、射影子P'_1,P'_2,・・・,P'_kによるもうひとつのスペクトル分解 P'_1+P'_2+・・・+P'_k=I P'_iP'_j=0 (i≠j) T=β_1P'_1+β_2P'_2+・・・+β_kP'_k があったとしよう。 P_i,P'_iがそれぞれ部分空間W_iW'_iへの射影子であるとすれば TのW_i,W'_iへの制限はどちらもスカラー変換β_iIであるから W_i=W'_i よってP_i=P'_i ("逆"の証明は略) と教科書にあったのですが、最後、なぜW_i=W'_iが言えるのかがわかりません。 TのW_i,W'_iへの制限はどちらもスカラー変換β_iIであることを用いてW_i⊂W'_iかつW_i⊃W'_iを示せるのですか? W_i⊃W'_iのほうに関しては x'_i∈W'_iとすると T(x'_i)=β_i(x'_i)であるから、x'_iはTの固有値β_iに対する固有空間W_iの固有ベクトルであるといえる。よってx'_i∈W_i つまりW_i⊃W'_iである。 とできるかな?とは思ったのですが、もう一つが・・・。 W_i⊃W'_iであることとVが直和であることを用いてW_i=W'_iを示せるかな?とも思ったのですが、なんとなくなりそうってだけで、どのように厳密に示せばいいのかよくわかりません。 教科書にもさらっと書いてあるだけですし、おそらく簡単なことなのでしょうが私にはよくわからないです・・。 どなたか W_i=W'_i よってP_i=P'_i の証明教えていただけないでしょうか。 よろしくお願いいたしますm(_ _)m

  • 線形代数学の教科書

    大学工学部の線形代数学の、問題が豊富で、その解説の詳しい参考書を探しています。線形代数ではありません。具体的にいうと面積・体積と行列式、行列式の計算、余因子行列とクラーメルの公式、固有値と固有ベクトル、正方行列と対角化、内積と転置行列、直行行列と実対称行列の対角化、二次形式の標準化、一般固有空間、ジョルダン標準形が載っているものです。

  • 線形代数、固有値固有ベクトルについて

    大学数学の線形代数の固有値のところで質問なんですが、 特性根として3と1±2iを持つようなできるだけ簡単な3次正方整数行列(3×3行列で成分がすべて整数)を作りたいのですがどうすればよいのでしょうか?複素数が入っているので分かりません。分かる方よろしくお願いします。

  • 固有値分解について

    画像の行列Aを固有値分解するとき、疑問に思うことがあったので質問します。 (1) 授業では、最初は(1)のように分解していましたが なぜか違うところでは(2)のように分解していました。 固有ベクトルを求める際、ベクトルをノルムで割るかどうかの 違いのようですが、これは行う必要があるのでしょうか? 計算すると、(1)、(2)共に行列Aとなるので正しいことは分かりますが わざわざ計算を面倒にする理由が分かりません。 (特異値分解と並べて板書してあったので、もしかしたら比較のためかも知れません) (2) テストでは、これに続いてスペクトル分解せよ、と出てきそうなのですが この場合、両者のどちらを元にスペクトル分解すればいいのでしょうか? (どちらでも正解かもしれませんが) よろしくお願いします。

  • フォン・ノイマン・エントロピー

    線形代数のただの演習問題だとも思うのですが、うまく解けないのでヒントをいただけたらと思います。 n次複素正方行列Aが密度行列であるとは、正定値行列で、トレースが1である行列であることとします。すなわちエルミート行列で、固有値は全部非負でその和が1になるような行列です。 このときAは{α_1,・・・,α_n}なる[0,1]の実数でα_1+・・・+α_n=1を満たすものと、rank 1の射影行列{P_1,・・・,P_n}で単位の分解になっているもの(すなわちrank P_i=1、P_iP_j=0[if i≠j]、P_i^2=P_i=P_i^*[^*は共役転置]、P_1+・・・+P_n=I_n[I_nはn次単位行列])によってA=α_1P_1+・・・+α_nP_nのように分解することができます。これをシャッテン分解というそうです。ただし分解の仕方に一意性はありません。 このとき-Σα_ilog(α_i)を密度行列Aのフォン・ノイマン・エントロピーと呼ぶのですが、これがシャッテン分解の仕方によらず一意的に決まることを証明したいです。よろしくお願いします。

  • 誤植?松坂『線型代数入門』

    松坂さんの『線形代数入門』第17刷発行から。 p201の 『(φ_α)^(-1)○(φ_α')=L_Pによって定義されるn次の正方行列Pをαからα’への基底変換行列という』とありますが、この場合α’からαの基底変換行列ではないでしょうか? そう思うのは、α’からαにうつっているように思えるからです。

  • 線形変換としてのフーリエ変換のスペクトル、つまり可能な固有値の全体を答

    線形変換としてのフーリエ変換のスペクトル、つまり可能な固有値の全体を答えよという問題なのですが、どういうことなのか全く分からないので、教えていただきたいです!

  • 正規変換のスペクトル分解についてです!

    TがVの正規変換であるとき、 Tの相異なる固有値全部をβ[1],β[2],・・・,β[k]とし、 対応する固有空間をW[1],W[2],・・・,W[k]とする。 Vはこれらの部分空間の直和である。 W[i]への射影子をP[i]とすれば、明らかに P[1]+P[2]+・・・+P[k]=E(単位行列) (P[i]P[j])(x)=0 x∈V T=β[1]P[1]+β[2]P[2]+・・・β[k]P[k] が成立。これを正規変換Tのスペクトル分解という。 ここで、Tの随伴変換T^*が T^*=β^*[1]P[1]+β^*[2]P[2]+・・・β^*[k]P[k] となる理由が分からず困っています。 (β^*[1]は実質、β^*[1]の共役な複素数ですが・・。) 結果から、x∈Vに対して T^*(x) =(β^*[1]P[1]+β^*[2]P[2]+・・・β^*[k]P[k])(x) =β^*[1]P[1](x)+β^*[2]P[2](x)+・・・β^*[k]P[k](x) 一方 T^*(x) =(β[1]P[1]+β[2]P[2]+・・・β[k]P[k])^*(x) なので、結局 T^*(x) =(β[1]P[1]+β[2]P[2]+・・・β[k]P[k])^*(x) =(β^*[1]P^*[1]+β^*[2]P^*[2]+・・・β^*[k]P^*[k])(x) ここで、Pはエルミート変換より =(β^*[1]P[1]+β^*[2]P[2]+・・・β^*[k]P[k])(x) よって T^*=β^*[1]P[1]+β^*[2]P[2]+・・・β^*[k]P[k] のように、いわば"*"が分配できれば証明できるなと思ったのですが、なぜ分配できるのか?といわれるとなぜだかわかりません。Tが行列なら分配できるのは明らかですが・・。 どなたかこの証明わかるかたいらっしゃいましたら解答よろしくお願い致ししますm(_ _)m

  • 線形代数 行列 対角化

    対角化について質問させて頂きます。 対角化とは、 「正方行列を適当な線形変換により、もとの行列と同値な 対角行列に帰着させること。」 と説明がありました。 ここで、同値とは具体的にどのような内容を指すのでしょうか? また、対角化を求める際、 正方行列Aに対してP^-1APとなる正則行列Pを求めます。 この正則行列Pは正方行列Aより求めた固有値に属する固有ベクトル を並べたものになりますが、これはなぜですか? なぜ、固有ベクトルを並べたものが正則行列Pになるのでしょうか? 以上、ご回答よろしくお願い致します。