で、いつから空集合がベクトル空間になったの？ベクトル空間の公理系の
中には「少なくとも1つの要素"0"を持つ集合」というのがあるはずだけど。