About: ポーランド空間

数学の位相空間論において、ポーランド空間とは、可分で完備距離づけ可能な位相空間のことである。すなわち、可算な稠密部分集合をもつ完備距離空間と同相な空間のことである。名前の由来は、この空間が著名なポーランド人研究者達（例えば、シェルピニスキ, クラトフスキ, タルスキ等）によって研究され始めたことによる。今日では、Borel equivalence relation等の研究を含んだ記述集合論の研究のための基礎としても重要視されている。ポーランド空間の例としては、実数直線, 可分なバナッハ空間, カントール空間, ベール空間がある。さらに言えば、普通の距離づけでは完備でないがポーランド空間ではあるようなものも存在する。例えば開区間 (0, 1) はポーランド空間である。いかなる二つの不可算なポーランド空間の間にも、ボレル同型写像が存在する。すなわち、全単射でボレル構造を保つものが存在する。特に、不可算なポーランド空間の濃度は必ず連続体濃度となる。