数ベクトル空間