直交補空間

計量実ベクトル空間一般における直交補空間の定義をリフォーム。