[论文解读] Ultracompanions of subsets of a group

Ігор Протасов, Serhii Slobodianiuk|arXiv (Cornell University)|Aug 7, 2013

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

一句话总结

本文引入并表征了超伴随集——从离散群的Stone-Čech紧化βG上的超滤子导出的群的特定子集——重点关注其在分类稀疏与非稀疏子集中的作用。主要贡献在于通过超伴随集对大集、厚集、预厚集、小集和薄集进行拓扑与代数表征，将组合群论与βG中的超滤子动力学联系起来。

ABSTRACT

Let $G$ be a group, $βG$ is the Stone-$\check{C}$ech compactification of $βG$ endowed with the structure of a right topological semigroup, $G^*=βG\setminus G$. Given any subset $A$ of $G$ and $p\in G^*$, we define the $p$-companion $\vt_p(A)=A^*\cap Gp$ of $A$, and characterize the subsets with finite and discrete ultracompanions.

研究动机与目标

• 定义并分析群G的子集A和超滤子p ∈ G*的p-伴随集Δp(A) = A* ∩ Gp。
• 在Stone-Čech紧化βG中，利用超伴随集表征基本子集类（大集、厚集、预厚集、小集、薄集）。
• 通过其超伴随集研究稀疏与非稀疏子集的结构性质，尤其关注其与拓扑和代数动力学的关系。
• 探索超伴随集与渐近离散性、Banach测度及组合导出等概念之间的联系。

提出的方法

• 将子集A ⊆ G的p-伴随集定义为Δp(A) = {gp ∈ Gp : A ∈ gp}，利用βG的右拓扑半群结构。
• 利用βG的普遍扩张性质将群运算延拓至超滤子，从而定义超滤子积与伴随集。
• 在βG中应用拓扑与集合论技术分析Δp(A)的结构，特别是其有限性、离散性或紧致性。
• 建立子集的组合性质（如大集性、厚集性）与超伴随集在Gp中像的条件之间的等价关系。
• 利用超滤子极限及自由超滤子的性质分析病态情形，如非绝对零测的非稀疏集。
• 通过拓扑与测度论论证，将超伴随集与渐近及组合概念（如渐近离散性、σR-不变性）联系起来。

实验结果

研究问题

• RQ1 对于给定的子集A ⊆ G和p ∈ G*，超伴随集Δp(A)在何时是有限或离散的？
• RQ2 超伴随集如何表征群中经典子集类（如大集、厚集或薄集）？
• RQ3 每个阿梅nable群中的非稀疏子集是否必然为绝对零测集，即Banach测度为零？
• RQ4 超散子集（其中每个Δp(A)均为离散集）与弱渐近离散子集之间存在何种关系？
• RQ5 在什么条件下，对于非稀疏子集A和p ∈ G*，集合Δp(A)是一致离散的？

主要发现

• 子集A ⊆ G为大集当且仅当存在有限集F ⊆ G，使得对所有p ∈ G*，有Gp = Δp(FA)。
• 子集A ⊆ G为厚集当且仅当存在p ∈ G*，使得Δp(A) = Gp。
• 子集A ⊆ G为薄集当且仅当对所有p ∈ G*，有|Δp(A)| ≤ 1。
• 子集A ⊆ G为小集当且仅当对所有有限集F ⊆ G和所有p ∈ G*，有Δp(FA) ≠ Gp。
• 若G不可数且|G| > (κ⁺)^ℵ₀，则G无法被划分为κ个稀疏子集，表明大群稀疏划分存在限制。
• 存在Z的非稀疏子集不是绝对零测集，通过Banach测度与超滤子极限的反例，否定了稀疏性与绝对零测性之间潜在推广关系。