自分が考えているベクトル空間の公理には 0u=0はありますが
その代わり和の逆元の存在が有りません
という事は 1u=uが公理になければがuの和の逆元の存在が示せ無いことになりますかね