直交補空間

直交補空間の定義を更新。