松坂線型にある部分空間の定義には、和とスカラー倍で閉じていることの他に零ベクトルを含むことも要求しています
でもスカラー倍が定義されているので特に0倍を考えれば零ベクトルは含まれていることになるので無駄な気がするのです これは著者の趣味のようなものと考えていいのでしょうか？それとも何か意図があるのでしょうか？