計量実ベクトル空間における正規直交基底の存在と構成

 計量実ベクトル空間における正規直交基底の存在と構成を、https対応。