正規直交系
詳細は「グラム・シュミットの正規直交化法」を参照
グラム・シュミットの正規直交化法を応用することで、一次独立なベクトルの集合から正規直交系を構成することができる。