ポーランド空間
これに関する基本的な結果は任意の非可算な2つのポーランド空間 formula_9 と formula_18 はボレル同型であることを示す。すなわち formula_9 から formula_18 への全単射で、ボレル集合の逆像はボレルであり、ボレル集合の順像はボレルであるようなものが存在する。これはポーランド空間の形をベール空間とカントール空間に制限して考えることの追加の正当性を与える。というのも他のどのポーランド空間も