次数付き線型空間