計量実ベクトル空間における直交系・直交基底と内積

 計量実ベクトル空間における直交系・直交基底と内積を、https対応。