計量実ベクトル空間に定義された内積の性質

 計量実ベクトル空間に定義された内積の性質を、https対応。