抽象ベクトル空間