[论文解读] Continuity and separation for pointwise-symmetric isotonic closure functions

John M. Harris|ArXiv.org|Jul 12, 2005

Analytic and geometric function theory参考文献 1被引用 4

一句话总结

本文证明了逐点对称的序同态闭包函数由其分离的集合对唯一确定，并证明当定义域和值域的闭包函数均为序同态且值域为逐点对称时，保持分离性的函数是连续的。其主要贡献在于通过分离性质，将广义闭包空间中的连续性准则进行了推广。

ABSTRACT

In this paper, we show that a pointwise-symmetric isotonic closure function is uniquely determined by the pairs of sets it separates. We then show that when the closure function of the domain is isotonic and the closure function of the codomain is isotonic and pointwise-symmetric, functions which separate only those pairs of sets which are already separated are continuous.

研究动机与目标

• 通过其分离行为表征逐点对称的序同态闭包函数。
• 利用分离公理推广闭包空间中的连续性准则。
• 在序同态与逐点对称条件下，建立连续性与非分离映射之间的等价性。
• 统一并扩展先前关于广义闭包空间中连续性与分离性的结果。

提出的方法

• 定义闭包分离：若 A ∩ cl(B) = ∅ 且 cl(A) ∩ B = ∅，则称两个集合 A 和 B 是 cl-分离的。
• 引入外点 cl-分离的概念，其蕴含逐点对称性与 R₀ 分离性。
• 从满足闭包性与遗传性的无序子集对集合 S 构造一个闭包函数。
• 证明序同态性与逐点对称性等价于外点的 cl-分离性。
• 定义非分离映射：若在定义域中 A 与 B 不是 cl-分离的，则 f(A) 与 f(B) 在值域中也不是 cl-分离的，则称 f 为非分离映射。
• 证明对于序同态且逐点对称的闭包函数，非分离映射与连续映射一致。

实验结果

研究问题

• RQ1 能否从其分离的集合对唯一重构一个逐点对称的序同态闭包函数？
• RQ2 在何种条件下，广义闭包空间之间的映射能通过分离行为保持连续性？
• RQ3 在闭包空间中，序同态性、逐点对称性与 R₀ 分离公理之间有何关系？
• RQ4 在具有序同态与逐点对称闭包函数的闭包空间中，连续性与非分离映射之间存在何种关系？
• RQ5 在这些空间中，何时保闭包映射与连续映射一致？

主要发现

• 逐点对称的序同态闭包函数由其分离的集合对集合唯一确定。
• 当闭包函数为序同态时，外点的 cl-分离性等价于逐点对称性与 R₀ 性质。
• 可从满足遗传性与闭包性条件的无序子集对集合 S 显式构造闭包函数。
• 映射 f 为非分离映射当且仅当它保持了定义域与值域闭包空间之间的分离结构。
• 对于序同态且逐点对称的闭包函数，连续性与非分离映射等价。
• 在这些空间中，保闭包映射是连续的，当且仅当值域的闭包函数为逐点对称且序同态。