計量実ベクトル空間の直交系・正規直交系の性質

 計量実ベクトル空間の直交系・正規直交系の性質を、https対応。