>>11
そんなことはない。加算・スカラー倍が正しく定義されていなければ
その条件を満たす線型空間でないものなんていくらでも構成できる。