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

計量実ベクトル空間における正規直交基底の存在と構成
(シュミットの直交化法 　)
大枠のみリフォーム。