部分vector空間