部分空間というからにはそれ自身線形空間であってほしいわけです。