[论文解读] Idealization of Ganster-Reilly decomposition theorems

Julian Dontchev|ArXiv.org|Jan 5, 1999

Fuzzy and Soft Set Theory参考文献 12被引用 37

一句话总结

该论文通过引入基于理想的拓扑结构，扩展了Ganster–Reilly的连续性分解理论，证明在理想拓扑空间之间，一个函数是连续的，当且仅当它既是预-ℐ-连续的，也是ℑ-LC-连续的。其核心贡献是经典Ganster–Reilly定理的理想化版本，通过ℐ-开集和关于拓扑理想ℐ的局部函数A*，推广了连续性的分解。

ABSTRACT

In 1990, Ganster and Reilly proved that a function is continuous if and only if it is precontinuous and LC-continuous. In this paper we extend their decomposition of continuity in terms of ideals. We show that a function $f \colon (X,τ,{\cal I}) o (Y,σ)$ is continuous if and only if it is pre-I-continuous and I-LC-continuous. We also provide a decomposition of I-continuity.

研究动机与目标

• 将经典的Ganster–Reilly连续性分解推广至理想拓扑空间。
• 在拓扑理想的背景下，定义并分析ℭ-连续性、预-ℭ-连续性和ℭ-LC-连续性。
• 利用理想建立连续性的新分解定理，扩展1990年原始结果。
• 研究在理想拓扑下各种连续性类型之间的关系，特别是在Hayashi-Samuels空间中的情形。
• 为通过局部函数A*和ℭ-开集实现连续性分解提供统一框架。

提出的方法

• 引入理想拓扑空间(X, τ, ℭ)的概念，其中ℭ是X上的一个真理想，满足遗传性和有限可加性。
• 定义局部函数A* = {x ∈ X : 对每个U ∈ τ(x)，有U ∩ A ∉ ℭ}，该函数推广了闭包、ω-凝聚点和凝聚点。
• 通过A ⊆ Int(A*)引入ℭ-开集，并定义ℭ-连续、预-ℭ-连续和ℭ-LC-连续函数。
• 使用由{U ∖ I : U ∈ τ, I ∈ ℭ}生成的拓扑τ*，以及Kuratowski闭包算子Cl*(A) = A ∪ A*。
• 应用Hayashi-Samuels条件(X = X*)，以确保τ与τ*之间的一致性，从而实现分解。
• 证明在Hayashi-Samuels空间中，连续性等价于预-ℭ-连续性和ℭ-LC-连续性的合取。

实验结果

研究问题

• RQ1 经典的Ganster–Reilly连续性分解能否推广至理想拓扑空间？
• RQ2 在理想拓扑空间中，ℭ-连续性、预-ℭ-连续性和ℭ-LC-连续性之间有何关系？
• RQ3 在何种条件下，当预-ℭ-连续性与ℭ-LC-连续性结合时，可推出连续性？
• RQ4 局部函数A*在理想下定义连续性分解中起何作用？
• RQ5 标准理想（如ℭ = {∅}，ℭ = ℳ，ℭ = 𝒩）如何恢复已知的连续性分解？

主要发现

• 在Hayashi-Samuels空间中，函数f: (X, τ, ℭ) → (Y, σ)是连续的，当且仅当它既是预-ℭ-连续的，也是ℭ-LC-连续的。
• 该理想化分解推广了原始的Ganster–Reilly定理，当ℭ = {∅}或ℭ = 𝒩时，可恢复为特例。
• ℭ-局部闭集类定义为A = U ∩ V，其中U为开集，V为⋆-完备集，推广了局部闭集。
• 局部函数A*推广了闭包（ℭ = {∅}）、ω-凝聚点（ℭ = ℱ）和凝聚点（ℭ = ℂ）。
• 当ℭ = ℳ（无处稠密集）时，ℭ-LC-连续性对应于其原像可被不可穷尽逼近的函数。
• 本文构造了反例，表明预-ℭ-连续性与ℭ-LC-连续性彼此独立，且互不蕴含。