[论文解读] Contra-semicontinuous Functions

Julian Dontchev, Takashi Noiri|ArXiv.org|Oct 12, 1998

Fuzzy and Soft Set Theory参考文献 9被引用 31

一句话总结

本文引入并研究了 contra-semicontinuous 函数——即其任意开集的原像为半闭集的函数——并确立了其在刻画强 S-闭空间中的作用。主要贡献在于提出了广义连续函数的新分解方式，并证明了在满射条件下，contra-semicontinuous 映射可保持强 S-闭性，从而扩展了关于拓扑空间中紧致性与广义连续性的已知结果。

ABSTRACT

The aim of this paper is to introduce and study the concept of a contra-semicontinuous function and further investigate the class of strongly $S$-closed spaces. We obtain some new decompositions of generalized continuous functions.

研究动机与目标

• 引入并研究 contra-semicontinuous 函数的概念，该概念是基于半闭原像的 contra-continuity 的推广。
• 研究强 S-闭空间类及其与广义连续性及类似紧致性性质的关系。
• 通过 contra-semicontinuity 及相关概念，提供广义连续函数的新分解方式。
• 探讨 contra-semicontinuous 映射下拓扑性质（如连通性、局部不可分性及零散结构）的保持或诱导。
• 澄清 contra-semicontinuity 相对于其他广义连续形式（包括 contra-continuity、B-continuity 和 SR-continuity）的层次关系及其严格性。

提出的方法

• 将 contra-semicontinuous 函数定义为：其从陪域中任意开集的原像在定义域中为半闭集的函数。
• 利用半正则集（半开集与半闭集的交集）的概念，分析原像结构及拓扑性质。
• 应用广义拓扑空间中的已知结果，如半开集、半闭包以及各种广义连续性类型（例如 B-连续、AB-连续）。
• 通过反例和包含图示，建立 contra-semicontinuity 与其他连续性类型的关联。
• 利用满射映射将性质从定义域传递至陪域，特别是证明：从半紧空间出发的 contra-semicontinuous 满射可使陪域成为强 S-闭空间。
• 利用连通性、超连通性及可数链条件（CCC）等性质，推导出在 contra-semicontinuous 映射下陪域的结构约束。

实验结果

研究问题

• RQ1 contra-semicontinuity 与 contra-continuity、B-continuity 和 SR-continuity 等其他广义连续形式之间有何关系？
• RQ2 在何种条件下，contra-semicontinuous 满射能保持陪域的强 S-闭性？
• RQ3 contra-semicontinuous 映射会保持或诱导哪些拓扑性质（例如连通性、局部不可分性、零散结构）？
• RQ4 contra-semicontinuous 函数能否用于分解或刻画其他广义连续函数类？
• RQ5 当定义域满足超连通性或 CCC 性质时，contra-semicontinuity 对陪域施加了何种约束？

主要发现

• 通过显式反例表明，contra-semicontinuous 函数构成介于 contra-continuous 与 B-continuous 函数之间的严格中间类。
• 从半紧空间出发的满射 contra-semicontinuous 映射可使陪域成为强 S-闭空间，从而推广了关于紧致性保持的已知结果。
• 超连通空间在 contra-semicontinuous 映射下的像为连通空间，原因在于陪域中任意闭开集的原像具有半正则性。
• 若定义域满足 CCC 且陪域为 T₁/₂ 空间，则 contra-semicontinuous 映射迫使陪域为零散空间（即其 Cantor-Bendixson 导出集为第一纲集）。
• 若映射为 contra-semicontinuous、预闭且满射，且定义域为全局不连通空间（即所有半开集均为开集），则陪域为局部不可分空间。
• 强 S-闭空间类被刻画为：其任意半正则集的覆盖均存在有限子覆盖，从而推广了 S-闭性与类似紧致性的性质。