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

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

アルゴリズム 

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

直交化

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

正規化

とおけば  が求める性質を満たす正規直交系であることが分かる。

脚注

参考文献

関連項目 
 直交 - 直交化
 正規直交系
 QR分解

外部リンク 
 

線型代数学
関数解析学
数値線形代数
エルハルト・シュミット
数学のエポニム
数学に関する記事