更新履歴。
定義:直交補空間を、https対応。
計量同型写像 を、https対応。
計量実ベクトル空間における正規直交基底の存在と構成を、https対応。
計量実ベクトル空間の直交系・正規直交系の性質を、https対応。
計量実ベクトル空間における直交系・直交基底と内積を、https対応。
計量実ベクトル空間の基底の諸定義を、https対応。