[论文解读] Kuratowski's Theorem for Two Closure Operators

Jeffrey Shallit, Ross Willard|arXiv (Cornell University)|Sep 6, 2011

Holomorphic and Operator Theory参考文献 4被引用 4

一句话总结

本文将库塔托夫斯基的经典14集合定理推广到两个可交换的闭包算子与补运算的情形。虽然单个闭包算子在重复取补和闭包运算下最多产生14个不同的集合，作者证明当存在两个可交换的闭包算子时，即使运算之间存在无穷多个等式关系，仍可生成无穷多个不同的集合。其核心贡献在于证明了由两个可交换闭包算子与补运算生成的幺半群可以是无限的，这与单个闭包算子情况下的有限性形成鲜明对比。

ABSTRACT

A celebrated 1922 theorem of Kuratowski states that there are at most 14 distinct sets arising from applying the operations of complementation and closure, any number of times, in any order, to a subset of a topological space. In this paper we consider the case of complementation and two abstract closure operators. In contrast to the case of a single closure operation, we show that infinitely many distinct sets can be generated, even when the closure operators commute.

研究动机与目标

• 研究在抽象设定下，由补运算和两个闭包算子生成的幺半群的结构。
• 确定当两个闭包算子可交换时，幺半群是否仍保持有限，与单个算子情形形成对比。
• 在闭包算子可交换时，识别运算之间存在的新等式关系。
• 构造显式例子，证明即使在可交换条件下，幺半群仍可为无限。
• 探讨可交换闭包算子与补运算的等式理论的可判定性与有限表示性。

提出的方法

• 作者定义满足标准公理（广延性、单调性、幂等性）的闭包算子。
• 他们引入一个关于两个可交换闭包算子与补运算的正式等式理论 T_2com。
• 他们证明：对于 {p, q, pq} 中算子的任意序列，词 pqca₁ca₂⋯ca₂ₙcpq 等价于 pqcpq，从而建立了一个无穷多个等式的族。
• 他们在 Z ∪ {⊤, ⊥} 上构造一个模型，通过四对可交换的闭包算子 pᵢⱼ, qᵢⱼ 定义全局闭包算子 p 和 q。
• 他们使用特定初始集合 A = {0, ⊤}，并证明重复应用 wₙ = (cpcpcqcq)ⁿ 可生成不同的集合 {2n, ⊤}，从而证明了无穷性。
• 他们分析 c-平衡词的结构，并将其与等式理论 T_2com 中的项联系起来。

实验结果

研究问题

• RQ1 由两个可交换闭包算子与补运算生成的幺半群是否仍保持有限，如同单个算子情形一样？
• RQ2 能否为两个可交换闭包算子推导出无穷多个等式？若能，其结构如何？
• RQ3 是否存在一个有限的等式集合，可从中推导出可交换闭包算子所有其他等式？
• RQ4 两个可交换闭包算子与补运算的等式理论是否可判定？
• RQ5 由生成元 c, p, q 和等式理论中的关系生成的幺半群是否可有限表示？

主要发现

• 由两个可交换闭包算子与补运算生成的幺半群可以是无限的，即使算子之间可交换。
• 对于任意 n ≥ 1 及序列 a₁,…,a₂ₙ ∈ {p, q, pq}，恒等式 pqca₁ca₂⋯ca₂ₙcpq ≡ pqcpq 成立，构成一个无穷多个等式的族。
• 在 S = ℤ ∪ {⊤, ⊥} 上通过可交换闭包算子 p 和 q 的显式构造，可证明在重复应用 wₙ = (cpcpcqcq)ⁿ 时，可生成无穷多个不同的集合。
• 当 A = {0, ⊤} 时，集合 {wₙ(A) | n ≥ 1} 是无穷的，表明幺半群并非有限。
• 等式理论 T_2com 捕获了可交换闭包算子所有有效等式，且本文证明这些等式可由此理论推导得出。
• 本文未解决等式理论是否可判定或可有限表示的问题，但证明了无穷多个等式和无限幺半群的存在。