[論文レビュー] Uniform covers at non-isolated points

Fucai Lin, Shou Lin|arXiv (Cornell University)|Jun 21, 2011

Advanced Topology and Set Theory参考文献 15被引用数 7

ひとこと要約

本稿では、位相空間における非孤立点における均一基底の概念を導入し、空間が距離空間の開かつ境界コンパクトな像であるための必要十分条件を示している。主な貢献は、境界コンパクトな写像による距離空間の像を特徴づける新しい方法であり、開写像および境界コンパクト写像を通じて、基底の性質と像の構造を結びつける。

ABSTRACT

In this paper,\ the authors define a space with an uniform base at non-isolated points, give some characterizations of images of metric spaces by boundary-compact maps, and study certain relationship among spaces with special base properties.\ The main results are the following: (1)\ $X$ is an open,\ boundary-compact image of a metric space if and only if $X$ has an uniform base at non-isolated points; (2)\ Each discretizable space of a space with an uniform base is an open compact and at most boundary-one image of a space with an uniform base; (3)\ $X$ has a point-countable base if and only if $X$ is a bi-quotient,\ at most boundary-one and countable-to-one image of a metric space.

研究の動機と目的

• 位相空間における非孤立点における均一基底の概念を定義し、その性質を考察すること。
• 基底の性質を用いて、距離空間の開かつ境界コンパクトな像を特徴づけること。
• さまざまな距離空間の像クラス（例えば、開、擬開、境界コンパクト）と、点可算性や均一基底といった基底の性質との関係を明確にすること。
• 離散化可能な空間および特定の写像による像が、非孤立点における均一基底を持つ空間とどのように関係するかを調査すること。

提案手法

• 非孤立点における均一基底の概念を導入し、均一基底を一般化して非孤立点に焦点を当てる。
• 境界コンパクト写像を用いて、空間が距離空間の像として現れる条件を特徴づける。
• 開写像、双商写像、擬開写像の性質を応用し、像の構造と基底の性質との関係を明らかにする。
• 反例（例えば、Isbell-Mrówka空間、バタフライ位相）を構成することで、含む関係の厳密性とクラス間の分離を示す。
• 発展可能、鋭い基底、直交基底に関する既知の結果を活用し、均一基底の性質と比較する。
• メタリンデレフネス、Gδ対角、分離可能性といった位相的不変量を用いて、空間のクラスを区別する。

実験結果

リサーチクエスチョン

• RQ1 空間が点可算基底と非孤立点における均一基底を持つならば、それは距離空間の開かつ境界コンパクト、s-像であるか？
• RQ2 すべての距離空間の開かつ境界コンパクトなs-像は、距離空間の開かつ境界コンパクト、かつ可算対一の像でもあるか？
• RQ3 離散化可能な空間や均一基底を持つ空間は、どのようにして距離空間の像として特徴づけられるか？
• RQ4 開かつ高々境界1対1のs-像である距離空間の像である空間は、どのような特徴を持つのか？

主な発見

• 空間 $X$ が距離空間の開かつ境界コンパクトな像であるための必要十分条件は、$X$ が非孤立点における均一基底を持つことである。
• 均一基底を持つ空間の離散化可能な空間は、すべてその空間が均一基底を持つ空間の開かつコンパクトかつ高々境界1対1の像である。
• 空間が点可算基底を持つための必要十分条件は、それが双商写像かつ高々境界1対1かつ可算対一の距離空間の像であることである。
• 鋭い基底を持つが非孤立点における均一基底を持たない空間が存在し、これら二つの性質が独立であることが示された。
• $|D| \geq \mathbf{c}$ のときの Isbell-Mrówka 空間 $\psi(D)$ は、距離空間の開かつ境界コンパクトな像ではあるが、メタリンデレフネスでないため、距離空間の開 $s$-像ではない。
• ${}\mathbb{R}^2$ 上のバタフライ位相は、双商写像かつ高々境界1対1の像ではあるが、擬開 $s$-像でも、距離空間の開かつ境界コンパクトな像でもない。これは発展不可能性および非距離化可能性に起因する。