[论文解读] 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₀ 空间表示为偏序集，其中开集对应于专一序下的上集。
• 应用序理论工具表征拓扑算子：int(A) = {x ∈ A | U_x ⊆ A}，cl(A) = {x | ∃y ∈ A 且 x ≤ y}。
• 通过连续映射 f 与商映射 π 的复合 πfπ⁻¹ 定义多值函数 g: Y → P(Y)，分析其上半连续性与下半连续性。
• 利用最小邻域结构与偏序关系证明：开映射由原像的闭包条件所刻画。
• 应用多值函数的弱连续性与半连续性概念，推导一维 T₀ 空间中的维数理论结果。

实验结果

研究问题

• RQ1 如何仅从最小邻域诱导的偏序完全恢复有限 T₀ 空间的拓扑结构？
• RQ2 在原像满足闭包性质的前提下，什么条件可确保从拓扑空间到有限 T₀ 空间的商映射是开映射？
• RQ3 通过商映射定义的多值函数的上半连续性与下半连续性如何与余定义域的拓扑维数相关？
• RQ4 在何种条件下，连续函数与商映射的复合在进入有限 T₀ 空间后作为多值函数是上半连续或下半连续的？
• RQ5 能否通过相关多值函数的半连续性来刻画有限 T₀ 空间的维数？

主要发现

• 每个有限 T₀ 空间均可通过最小邻域诱导的专一序唯一地从一个有限偏序集构造而来。
• 点 x 的最小邻域 U_x 是包含 x 的最小开集，且构成拓扑的一组基。
• 点 x 属于 {y} 的闭包当且仅当在专一序中 y ≥ x，建立了闭包与序关系之间的对偶性。
• 从拓扑空间 X 到有限 T₀ 空间 Y 的商映射 π 诱导出多值函数 g = πfπ⁻¹，当满足特定闭包与开性条件时，该多值函数为下半连续。
• 即使底层映射 π 是开映射，多值函数 g 也不一定是上半连续的，反例已证明此点。
• 在一维 T₀ 空间中，开映射的特征为：开点的原像的闭包包含闭点原像。