計量実ベクトル空間一般における直交補空間

計量実ベクトル空間一般における直交補空間の性質をメンテ完了。