計量実ベクトル空間：正規直交基底

計量実ベクトル空間：正規直交基底 
(直交系/正規直交系/直交基底 /正規直交基底)
大枠のみリフォーム。