[論文レビュー] On finite T_0 topological spaces

A. El-Fattah El-Atik, M. E. Abd El-Monsef+1 more|ArXiv.org|Apr 10, 2002

Digital Image Processing Techniques参考文献 6被引用数 4

ひとこと要約

本稿は、最小近傍を通じて有限 T₀ 位相空間と有限半順序集合の間の全単射を確立することにより、有限 T₀ 位相空間を調査する。最小近傍によって誘導される専用順序が位相を特徴づけることを示し、この枠組みを用いて多価関数、連続性、次元の解析を行う。その結果、多価関数の上半連続性および下半連続性が、有限位相空間における位相次元および商構造に関係していることが明らかになった。

ABSTRACT

Finite topological spaces became much more essential in topology, with the development of computer science. The task of this paper is to study and investigate some properties of such spaces with the existence of an ordered relation between their minimal neighborhoods. We introduce notations and elementary facts known as Alexandroff space. The family of minimal neighborhoods forms a unique minimal base. We consider T_0 spaces. We give a link between finite $T_0$ spaces and the related partial order. Finally, we study some properties of multifunctions and their relationships with connected ordered topological spaces.

研究の動機と目的

• 最小近傍によって誘導される専用順序を用いて、有限 T₀ 位相空間と有限半順序集合の間の圏同値を確立すること。
• 有限 T₀ 空間における位相的演算子（内部、閉包、境界）を、順序論的演算子を用いて特徴づけること。
• 有限位相空間における多価関数の連続性の性質と位相次元の関係を調査すること。
• 有限位相空間間の商写像が、上半連続または下半連続な多価関数を誘導するための条件を分析すること。
• 有限 T₀ 空間の構造が、連続性および次元論の組み合わせ的再定式化を可能にすることを示すこと。

提案手法

• 最小近傍の包含関係によって定義される専用順序：x ≤ y とは U_y ⊆ U_x を意味する。
• 各有限 T₀ 空間を、専用順序における上セットに対応する開集合をもつ半順序集合（poset）として表現する。
• 順序論的道具を用いて位相的演算子を特徴づける：int(A) = {x ∈ A | U_x ⊆ A}、cl(A) = {x | ∃y ∈ A かつ x ≤ y}。
• 連続写像 f および商写像 π を用いた合成 πfπ⁻¹ を通じて多価関数 g: Y → P(Y) を定義し、その上半連続性および下半連続性を分析する。
• 最小近傍の構造および半順序の順序を用いて、開写像が逆像に関する閉包条件によって特徴づけられることを証明する。
• 多価関数の弱連続性および半連続性の概念を適用し、1次元 T₀ 空間における次元論的結果を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限 T₀ 空間の位相は、最小近傍によって誘導される部分順序から完全に回復可能か？
• RQ2 逆像の閉包性質が与えられたとき、位相空間から有限 T₀ 空間への商写像が開写像であるための条件は何か？
• RQ3 商写像を通じて定義される多価関数の上半連続性および下半連続性は、終域の位相次元とどのように関係するか？
• RQ4 連続関数と商写像の合成が有限 T₀ 空間へ写すとき、その多価関数としての上半連続性または下半連続性が成立する条件は何か？
• RQ5 有限 T₀ 空間の次元は、関連する多価関数の半連続性を通じて特徴づけられるか？

主な発見

• すべての有限 T₀ 空間は、最小近傍によって誘導される専用順序を通じて、一意的な有限半順序集合から得られる。
• 点 x の最小近傍 U_x は x を含む最小の開集合であり、位相の基底をなす。
• 点 x が {y} の閉包に属するための必要十分条件は、専用順序において y ≥ x であることである。これにより、閉包と順序の間に双対性が確立される。
• 有限 T₀ 空間 Y への商写像 π: X → Y は、多価関数 g = πfπ⁻¹ を誘導するが、ある閉包性および開性条件のもとで、g は下半連続である。
• 底面の写像 π が開であっても、多価関数 g が上半連続であるとは限らず、反例によって示される。
• 1次元 T₀ 空間では、開写像は、開点の逆像の閉包が閉点の逆像を含むという性質によって特徴づけられる。