実線型空間