nablaを含む線型空間