[论文解读] On the subset Combinatorics of G-spaces

Ігор Протасов, Sergii Slobodianiuk|arXiv (Cornell University)|Sep 25, 2014

Digital Image Processing Techniques参考文献 9被引用 7

一句话总结

本文利用Stone-Čech紧化方法，引入并分析了G-空间中的相对组合导出与超伴随关系，通过大小和结构对子集进行分类。通过在βX中的行为刻画了J-大、J-小、离散和稀疏子集，证明了当且仅当对每个p ∈ X*，其超伴随均为离散时，子集为离散的，并建立了组合性质与βX中拓扑动力学之间的联系。

ABSTRACT

Let $G$ be a group and let $X$ be a transitive $G$-space. We classify the subsets of $X$ with respect to a translation invariant ideal $\mathcal{J}$ in the Boolean algebra of all subsets of $X$, introduce and apply the relative combinatorical derivations of subsets of $X$. Using the standard action of $G$ on the Stone-$\check{C}$ech compactification $βX$ of the discrete space $X$, we characterize the points $p\inβX$ isolated in $Gp$ and describe a size of a subset of $X$ in terms of its ultracompanions in $βX$. We introduce and characterize scattered and sparse subsets of $X$ from different points of view.

研究动机与目标

• 使用组合与拓扑工具，对G-空间X的子集按平移不变理想J进行分类。
• 通过其在Stone-Čech紧化βX中的行为，刻画J-大、J-小、J-厚与J-拟厚子集。
• 将离散与稀疏子集的概念从群推广至一般G-空间，并通过超伴随与拓扑动力学进行刻画。
• 研究组合导出ΔJ(A)与βX中超滤子结构之间的关系，特别是与Gp中孤立点的关系。
• 探讨理想在σ-与∂-完备化下的完备性性质，并确定σ*-完备化是否等于其迭代σ-运算的并集。

提出的方法

• 利用G在离散空间X的Stone-Čech紧化βX上的标准作用，分析超滤子及其动力学行为。
• 定义相对组合导出ΔJ(A) = {g ∈ G : gA ∩ A ∉ J}，将其与相对于J的子集组合大小相联系。
• 引入p-伴随△p(A) = A* ∩ Gp ⊆ X*作为分析βX中子集结构的工具，其中A* = A̅ ∩ X*。
• 通过条件：对所有p ∈ J̌（J的对偶理想），均有△p(A) ≠ ∅，刻画J-大子集。
• 在βX中应用拓扑动力学，研究Gp中孤立点的问题，利用分段平移的FP-集刻画离散超伴随。
• 通过要求对所有p ∈ J̌ ∩ Y*，均有△p(Y)为有限集，将离散与稀疏子集的概念从群推广至G-空间。

实验结果

研究问题

• RQ1 子集A ⊆ X在何时为J-大？其在βX中的超伴随如何刻画？
• RQ2 组合导出ΔJ(A)与A在G中的大小之间存在何种关系？
• RQ3 在何种条件下，超滤子p ∈ βX在轨道Gp中为孤立点？这与X的子集A的结构有何关联？
• RQ4 子集A ⊆ X在何时为离散的？其超伴随△p(A)对所有p ∈ X*为离散的条件如何？
• RQ5 一个平移不变理想J的σ-完备化是否等于其迭代σ-运算的并集，即σ*(J) = ⋃n∈ω σⁿ(J)？

主要发现

• 子集A ⊆ X为J-小当且仅当对每个有限集F ⊆ G，均有G ∖ FA为J-大。
• 若A不是J-小，则ΔJ(A)在G中为大集，这是对[6]中结果在任意传递G-空间上的推广。
• 子集A ⊆ X为J-大当且仅当对所有p ∈ J̌（J的对偶理想），均有△p(A) ≠ ∅。
• 子集A ⊆ X为离散的当且仅当其超伴随△p(A)对所有p ∈ X*均为离散。
• 子集A ⊆ X为离散的当且仅当其不包含任何分段平移的FP-集，也不包含与Cantor宏观立方体粗等价的子集。
• 任何理想J的∂-完备化等于∂(J)，即∂(J)本身已为∂-完备，特别地，稀疏子集的理想是∂-完备的。