グラム・シュミットの正規直交化法
V を計量ベクトル空間とし、V のベクトル v, u の内積を (v, u) と表すことにする。与えられたベクトルの線型独立系を {v1, v2, ..., vn} とする。