グラム・シュミットの正規直交化法

グラム・シュミットの正規直交化法(グラム・シュミットのせいきちょっこうかほう、: Gram–Schmidt orthonormalization)とは、計量ベクトル空間に属する線型独立な有限個のベクトルが与えられたとき、それらと同じ部分空間張る正規直交系を作り出すアルゴリズムの一種[1]シュミットの直交化(ちょっこうか、orthogonalization)ともいう。ヨルゲン・ペダーセン・グラムおよびエルハルト・シュミットに因んで名付けられた。変換行列は上三角行列に取ることができる。正規化する工程を省略すると、必ずしも正規でない直交系を得ることができる。

アルゴリズム

編集
 

V計量ベクトル空間とし、V のベクトル v, u内積を (v, u) と表すことにする。与えられたベクトルの線型独立系を {v1, v2, …, vn} とする。

直交化
 

によって順に新しいベクトルを作っていくと、{u1, u2, …, un} は新しい線型独立系になる。構成から、互いに直交していることは容易に分かる。

正規化
 

とおけば {e1, e2, …, en} が求める性質を満たす正規直交系であることが分かる。

脚注

編集

参考文献

編集
  • Horn, Roger A.; Johnson, Charles R. (2013). Matrix analysis (Second ed.). Cambridge University Press. ISBN 978-0-521-54823-6. MR2978290. https://books.google.co.jp/books?id=5I5AYeeh0JUC&pg=PA15 

関連項目

編集

外部リンク

編集