対称行列は、必ず直交行列により対角化できます。そして、与えられた対称行列の固有値が重解である場合は、シュミットの方法で直交化する必要があると習いました。
しかし、固有値に重解がある対称行列で、たとえばある重解の固有ベクトルが
t^p(1 1 0)+t^q(0 1 0)のような形になったとき、(p,qは0以外の任意の係数)、ここでシュミットの方法を用いず、ただ正規化して並べただけでも、正解にたどりついてしまう場合があります。これは単なる偶然でしょうか?
たとえば、
(1,0,0,1)
(0,1,1,0)
(0,1,1,0)
(1,0,0,1)
という行列では、固有値がλ=2,0(両方とも重解)で、λ=2の固有ベクトルはt^p(1 1 0 1)+t^q(0 1 1 0)で、λ=0の固有ベクトルはt^r(1 0 0 (-1))+t^s(0 1 (-1) 0)です。(p,q,r,sは0以外の任意の係数)
これらを正規化して横に並べた行列は、シュミットの方法を用いた結果と同じになります。
これらのことから考えて、固有値に重解がある対称行列でも、シュミットの方法を用いなくて良いものと、用いなければならないものがあるのでしょうか?
No.3ベストアンサー
- 回答日時:
シュミット直交化を行う手間が省略できるか否かは、
行列によって決まっているのではなく、
固有空間を求めたときに、貴方が置いた基底によって決まります。
質問の例でも、{ (1 0 0 1), (0 1 1 0) } の替わりに、
例えば { (1 0 0 1), (1 1 1 1) } を固有値 2 に対する固有空間の
基底にとることもできたハズですね? その場合は、直交化の作業が
必要になっていた訳です。
とはいえ、個々の例でいちいち
直交化すべきか否か、悩む必要はありません。
全ての固有空間に対して、シュミット直交化を行えば良いのです。
最初に拾った基底が、たまたま正規直交基底であった場合には、
シュミット法の結果は、最初の基底と同じものになりますから、
行っても何ら邪魔にはなりません。
固有値が重根かどうかすら考える必要はなくて、
一次元固有空間の基底である1個の固有ベクトルに対して
シュミット直交化を行えば、その方向の単位ベクトルが得られる
だけです。
ともかく全ての固有空間に対して、シュミット法は行うもの
と覚えて間違いは無い。
No.2
- 回答日時:
対称行列では固有値が重解である場合には、求めた固有ベクトルは一次独立ではあっても
直交するとは限りませんが、偶然直交していることもあります。
今の場合がそうで、λ=2の一次独立な2個の固有ベクトルt^(1 0 0 1)とt^(0 1 1 0)は
内積をとるとわかりますが直交しています。
λ=0の一次独立な2個の固有ベクトルt^(1 0 0 (-1))とt^(0 1 (-1) 0)も直交しています。
シュミットの直交化は直交していない一次独立なベクトルから正規直交系をつくる方法ですから、
今のように偶然初めから直交しているベクトルに適用する必要はありませんし、適用しても同じ結果
になることは納得していただけると思います。
No.1
- 回答日時:
えっと, 「これらを正規化して横に並べた行列」とは何を表しているのでしょうか? そして, 「シュミットの方法を用いた結果と同じにな
ります」とはどういうことでしょうか?この回答への補足
すみません。今気づいたんですが、λ=2の固有ベクトルはt^p(1 0 0 1)+t^q(0 1 1 0)です。打ち間違えました。
「これらを正規化して横に並べた行列」は
(1/√2....0......1/√2......0)
(1/√2..1/√2.....0.......1/√2)
(0......1/√2.....0.......-1/√2)
(1/√2....0......-1/√2.....0)
です。
シュミットの方法を用いた場合でも、同じ行列が得られます。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 行列(I-βG)の逆行列が存在することの証明について 1 2023/06/23 01:33
- 数学 2*2の行列に対して固有値の最大実部を与えるkの値を求めたい 3 2022/11/08 16:26
- 数学 連立微分方程式の解き方について 7 2022/12/16 13:39
- 数学 正規行列 1 2022/11/28 17:50
- 数学 線形代数の正規直行系についての問題がわからないです。 1 2022/07/16 11:20
- Java Java モンスターブリーダー 1 2023/02/05 09:44
- 数学 固有ベクトルの縦書き 3 2022/12/19 23:48
- 数学 数学の線形代数についての質問です。 0 1 0 0 0 1 1 0 0 の3×3の行列をAとする時、 1 2023/07/09 01:28
- 物理学 角速度ベクトルにつきまして 3 2022/08/09 15:44
- 計算機科学 二次形式 3 2022/12/19 16:29
おすすめ情報
おすすめ情報