ベクトル空間でだって、定義できるとは限らない。