[論文レビュー] A characterization of Tychonoff spaces with applications to paratopological groups

Тарас Банах, Alex Ravsky|arXiv (Cornell University)|Oct 6, 2014

Advanced Topology and Set Theory被引用数 3

ひとこと要約

この論文は、正規準不均一性を用いてTychonoff空間を特徴づけ、半正則空間が完全正則であるための必要十分条件として、その位相が正規準不均一性によって生成されることを証明する。これは、準位相群理論における長年の未解決問題を解決し、任意の正則な準位相群が完全正則であること、および任意のハウスドルフな準位相群が自然な不均一性構成によって関数的ハウスドルフかつ部分メトリクス可能であることを示している。

ABSTRACT

We prove that a semiregular topological space $X$ is completely regular if and only if its topology is generated by a normal quasi-uniformity. This characterization implies that each regular paratopological group is completely regular. This resolves an old problem in the theory of paratopological groups, which stood open for about 60 years. Also we define a natural uniformity on each paratopological group and using this uniformity prove that each (first countable) Hausdorff paratopological group is functionally Hausdorff (and submetrizable). This resolves another two known open problems in the theory of paratopological groups.

研究の動機と目的

• 正規準不均一性を用いたTychonoff空間の特徴づけ。
• すべての正則な準位相群が完全正則であるかどうかという未解決問題の解決。
• すべてのハウスドルフな準位相群が関数的ハウスドルフかつ部分メトリクス可能であることを確立する。
• 準位相群のトポロジー的解析を容易にするため、自然な不均一性を定義する。

提案手法

• 半正則な位相空間が完全正則であるための必要十分条件として、その位相が正規準不均一性によって生成されることを証明する。
• この特徴づけを用いて、すべての正則な準位相群が完全正則であることを導出する。
• 群演算と位相を用いて、各準位相群に標準的な準不均一性を定義する。
• この不均一性の性質を応用して、すべてのハウスドルフな準位相群が関数的ハウスドルフであることを示す。
• この不均一性構造を活用して、第一可算なハウスドルフな準位相群における部分メトリクス可能性を確立する。
• 半正則性、正規準不均一性、完全正則性の相関関係を活用して、トポロジカルな帰結を導出する。

実験結果

リサーチクエスチョン

• RQ1 半正則な位相空間が完全正則であるための条件は何か？
• RQ2 すべての正則な準位相群は完全正則か？
• RQ3 すべての準位相群に、そのトポロジカル性質を分析するための自然な不均一性を定義できるか？
• RQ4 すべてのハウスドルフな準位相群は関数的ハウスドルフか？
• RQ5 すべての第一可算なハウスドルフな準位相群は部分メトリクス可能か？

主な発見

• 半正則な位相空間が完全正則であるための必要十分条件は、その位相が正規準不均一性によって生成されることである。
• すべての正則な準位相群が完全正則であることが証明され、60年以上にわたる未解決問題が解決された。
• すべてのハウスドルフな準位相群が標準的な準不均一性構成によって関数的ハウスドルフであることが示された。
• すべての第一可算なハウスドルフな準位相群が部分メトリクス可能である。
• 準位相群に定義された自然な準不均一性は、ハウスドルフおよび第一可算性の条件下で関数的ハウスドルフ性と部分メトリクス可能性を保証する。
• 正規準不均一性による特徴づけは、位相空間における完全正則性の解析に新たなツールを提供する。