定義：直交補空間

 定義：直交補空間を、https対応。