[论文解读] A dynamical characterization of C sets

John H. Johnson|arXiv (Cornell University)|Dec 4, 2011

Advanced Topology and Set Theory参考文献 6被引用 4

一句话总结

本文通過將 C 集與半群的 Stone-Čech 緊化中的幂等超濾子聯繫起來，提供了對 C 集——一類組合定義的集合，其滿足中心集定理的結論——的動力系統特徵化。主要貢獻是一項定理，表明一個半群的子集是 C 集，當且僅當它作為動力系統中一點返回鄰域的時刻集合出現，且另一點也返回該鄰域，其中條件與 J 集相關。

ABSTRACT

Furstenberg, using tools from topological dynamics, defined the notion of a central subset of positive integers, and proved a powerful combinatorial theorem about such sets. Using the algebraic structure of the Stone-Čech compactification, this combinatorial theorem has been generalized and extended to the Central Sets Theorem. The algebraic techniques also discovered many sets, which are not central, that satisfy the conclusion of the Central Sets Theorem. We call such sets C sets. Since C sets are defined combinatorially, it is natural to ask if this notion admits a dynamical characterization similar to Furstenberg's original definition of a central set? In this paper we give a positive answer to this question by proving a dynamical characterization of C sets.

研究动机与目标

• 為解決 C 集缺乏動力系統特徵化問題，儘管中心集與擬中心集已有此類特徵化。
• 建立 C 集與半群作用在緊緻空間上的動力系統之間的聯繫。
• 將 Furstenberg 對中心集的動力系統定義推廣至更廣泛的 C 集類。
• 證明 C 集恰好對應於動力系統中某點返回鄰域的時刻集合，且第二點的返回集合為 J 集。
• 利用 Stone-Čech 緊化與幂等超濾子，統一 C 集的組合、代數與動力系統觀點。

提出的方法

• 利用離散半群 S 的 Stone-Čech 緊化 βS 的代數結構。
• 定義 J 集為子集 A ⊆ S，使得對每個有限集 F ⊆ T = ℕ^S，存在參數 (m, a, t)，使得對所有 f ∈ F，有 x(m,a,t,f) ∈ A。
• 引入濾子 𝒦 = {A ⊆ S : S∖A 不是 J 集}，並證明其在 βS 中的閉包是緊緻子半群 J(S)。
• 利用定理 4.7，證明 C 集恰好是那些滿足 A ∈ p 的集合 A ⊆ S，其中 p 是 J(S) 中的某個幂等超濾子。
• 應用關於動力系統的一般結果（定理 3.3），證明 C 集作為動力系統中某鄰域的返回時刻出現，且共同返回集合為 J 集。
• 構造一個動力系統 (X, (T_s)_{s∈S})，其中包含點 x, y 及鄰域 U，使得集合 {s ∈ S : T_s(x) ∈ U 且 T_s(y) ∈ U} 是 J 集，且 A = {s ∈ S : T_s(x) ∈ U}。

实验结果

研究问题

• RQ1 能否以類似 Furstenberg 對中心集的定義方式，對通過中心集定理組合定義的 C 集進行動力系統特徵化？
• RQ2 是否存在一個動力系統，使得某點返回鄰域的時刻集合恰好是 C 集，且對第二點的返回行為施加附加約束？
• RQ3 C 集與 Stone-Čech 緊化中幂等超濾子的代數結構有何關係？
• RQ4 J 集在聯繫 C 集的組合性質與拓撲動力系統之間發揮何種作用？
• RQ5 C 集的特徵化能否從涉及 βS 中緊緻子半群與幂等超濾子的一般原理推導出來？

主要发现

• 子集 A ⊆ S 是 C 集，當且僅當存在一個動力系統 (X, (T_s)_{s∈S})，其中 x, y ∈ X，且存在 y 的鄰域 U，使得 {s ∈ S : T_s(x) ∈ U 且 T_s(y) ∈ U} 是 J 集，且 A = {s ∈ S : T_s(x) ∈ U}。
• 濾子 𝒦 = {A ⊆ S : S∖A 不是 J 集} 是 S 上的濾子，其在 βS 中的閉包是緊緻子半群 J(S)，該子半群包含幂等超濾子。
• C 集在代數上被特徵化為那些滿足 A ∈ p 的集合 A ⊆ S，其中 p 是 J(S) 中的某個幂等超濾子，從而建立了組合數學與超濾子理論之間的直接聯繫。
• 本文使用的 C 集定義與 [4] 中的原始定義等價，此結果已在作者即將發表的工作 [10] 中證明。
• C 集類嚴格包含中心集類，如 [6] 中的例證所示，確認中心集定理無法特徵化中心性。
• 此動力系統特徵化推廣了 Furstenberg 對中心集的原始定義，並將動力系統框架擴展至更廣泛的組合豐富集合類。