Thus, Skorokhod space is a Polish space.
従って、スコロホッド空間はポーランド空間である。