[論文レビュー] Metrizable images of the Sorgenfrey line

Mikhail Patrakeev|arXiv (Cornell University)|Jan 10, 2014

Advanced Topology and Set Theory参考文献 5被引用数 6

ひとこと要約

この論文は、さまざまな写像タイプ（開、閉、商写像など）におけるSorgenfrey直線の連続像として得られる距離化可能な位相空間を特徴づけ、Lusin π-基底という新しい概念を導入する。主な貢献は、ある空間がSorgenfrey直線からの連続的かつ開写像の像であるための必要十分条件が、その空間がLusin π-基底を持つことであると示したことである。このような空間には、空でない任意のポーランド空間が含まれる。Sorgenfrey直線とBaire空間は、この性質を共有しており、複数の写像クラスにおいて、それらの距離化可能な像を一様に特徴づけることが可能になる。

ABSTRACT

We give descriptions of metrizable topological spaces that are images of the Sorgenfrey line under continuous maps of different types (open, closed, quotient and others). To obtain this descriptions, we introduce the notion of a Lusin pi-base, the Sorgenfrey line and the Baire space have Lusin pi-bases, and if a space X has a Lusin pi-base, then for each nonempty Polish space Y, there exists a continuous open map from X onto Y.

研究の動機と目的

• 開写像、閉写像、商写像、完全写像などの異なる写像タイプのもとで、Sorgenfrey直線の連続像として得られるすべての距離化可能な位相空間を特徴づけること。
• Lusin π-基底という位相的性質を導入・研究し、Sorgenfrey直線から任意の空でないポーランド空間への連続的かつ開写像の構成を可能にするものである。
• Sorgenfrey直線とBaire空間の間の構造的関係を、両者が共通して持つLusin π-基底性に起因して、商写像、擬開写像、双商写像、および開写像などの複数の写像タイプにおいて、同じ距離化可能な像のクラスを持つことを示すこと。
• 開写像、有限対一写像、完全写像などの特定の写像タイプのもとでの距離化可能な像の性質について長年の未解決問題を解き明かし、鋭い必要十分条件を証明すること。

提案手法

• Lusin π-基底の概念を導入：非空な開集合がすべて、Baire性を持つGδ集合を含み、かつ再帰的構成を可能にするように整列された基底である。
• Sorgenfrey直線とBaire空間が両方ともLusin π-基底を持つことを、それぞれの位相的構造とBaire空間における標準基底の性質を用いて証明する。
• 一般定理の確立：位相空間XがLusin π-基底を持つならば、任意の空でないポーランド空間Yに対して、連続的かつ開かつ全射な写像f: X → Yが存在する。
• Sorgenfrey位相における入れ子になった互いに素なコンパクト区間の再帰的構成を用い、閉じた距離化可能な部分空間に非可算部分集合が存在すると仮定することで矛盾を導出し、閉写像における像の可算性を証明する。
• 完全写像の性質と遺伝的分離性を応用して、Sorgenfrey直線の任意の閉写像像が高々可算かつ完全距離化可能（したがってポーランド空間）であることを示す。
• Sorgenfrey直線の距離化可能な部分空間が遺伝的分離的であることを利用し、単射選択写像を用いて逆像の大きさを制限し、可算性を導出する。

実験結果

リサーチクエスチョン

• RQ1 Sorgenfrey直線の開写像による連続像として得られる距離化可能な空間はどれか？
• RQ2 Sorgenfrey直線が、すべての空でないポーランド空間へ連続的かつ開写像で写すことができる、その背後にある位相的性質は何か？
• RQ3 なぜSorgenfrey直線とBaire空間は、商写像、擬開写像、双商写像の下で同じ距離化可能な像のクラスをもつのか？
• RQ4 Sorgenfrey直線は、閉写像または完全写像によって非可算な距離化可能な空間へ連続的に写像できるか？
• RQ5 Sorgenfrey直線の単射または有限対一の連続写像による距離化可能な像は、どのように特徴づけられるか？

主な発見

• 空でない任意のポーランド空間は、Sorgenfrey直線にLusin π-基底が存在するため、Sorgenfrey直線からの連続的かつ開写像の像として得られる。
• Sorgenfrey直線とBaire空間の両方がLusin π-基底を持つため、商写像、擬開写像、双商写像、および開写像の下で、同じ距離化可能な像のクラスを共有する。
• Sorgenfrey直線の連続的閉写像による距離化可能な像は、空でない高々可算なポーランド空間に限られる。
• 連続的かつ開かつ有限対一の写像によるSorgenfrey直線の像としての距離化可能な空間は存在しない。なぜなら、このような写像はSorgenfrey位相と整合しない形で非可算な逆像を必要とするからである。
• Sorgenfrey直線から距離化可能な空間への完全写像は存在しない。なぜなら、それによってSorgenfrey直線が距離化可能であると結論づけられ、これは事実ではないからである。
• Sorgenfrey直線は、閉写像によって非可算な距離化可能な空間へ連続的に写像できない。なぜなら、このような像は高々可算かつポーランド空間に限るからである。