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

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