例題を用いたグラムシュミットの直交化法の解説

問題

3次元実ベクトル空間の元 a=(200),b=(010),c=(111)を考える。
3つのベクトルは全て線形独立であり、abは互いに直交している。abを基底の一部とし、正規直交基底を作成せよ。

グラムシュミットの直交化とは

あるベクトル群を直交座標に変換する手法です。

これにより、複雑な関数を人間が理解しやすい形に変換することができます。

例えば、xy項が含まれている2次形式の関数を座標変換し、x,yそれぞれの式の楕円体で表すことができます。

本記事で覚えたいこと

正規直交化の手順
  1. 既に直交しているベクトルを単位ベクトルu1,u2に変換する
  2. グラムシュミットの直交化法により、新たに直交ベクトルv3を以下の式で求める
  3. v3=c(u1c)u1(u2c)u2
  4. v3を単位ベクトルにする
補足

グラムシュミットの直交化法を平易な言語として置き換えると以上のようになりました。
式の意味は他サイト様の解説が充実しています。

一言で申し上げると、下図のようになります。正規直交基底に変換対象のベクトルcを、自身の正射影と引くと、直交ベクトルになります。

解答例

まず、a,bを単位ベクトルu1,u2に変換する。

u1=12(200)=(100)

u2=b=(010)

この2つの単位ベクトルを用いて、cを正規直交基底v3に変換する。

(1)v3=(222)((100)(222))(100)((010)(222))(010)(2)=(222)(100)(010)(3)=(002)

v3を単位ベクトルu3に変換すると、u3=(001)

よって、求める正規直交基底u1,u2,u3は、u1=(100),u2=(010),u1=(001)

最後に

固有値を用いて求めた固有ベクトルが、最初から直交していると限りません。このような時、本問の考え方を使います。

単に対角化するだけでなく、直交行列を用いての対角化を求められた際は、是非使用してみてください。

発展形として、2次形式に関する問題を下記記事で取り扱っています。

参考文献

文献ではなく動画ですが、、非常に分かりやすいです。(8:30~直交化の意味を解説する時間です。)

タイトルとURLをコピーしました