AI 中文总结
该研究以$\text{ba}(\boldsymbol{\text{Z}})$为工具，将超滤子理论方法拓展至测度论场景，证明满足测度阈值的整数子集为$\text{IP}_n$集，还给出示例并讨论开放问题。
AI 中文摘要
我们研究整数群$\boldsymbol{\text{Z}}$上的（有界）有限可加测度，将其视为Banach代数$\boldsymbol{\text{ba}(\boldsymbol{\text{Z}})}$的元素，作为超滤子的自然推广。$\boldsymbol{\text{ba}(\boldsymbol{\text{Z}})}$的代数结构扩展了Čech–Stone紧化的半群结构，使得超滤子理论的方法可应用于更广泛的测度论场景。我们研究幂等有限可加测度，建立了$\boldsymbol{\text{Z}}$中具有正测度的子集的加性性质。接着，我们研究几乎平移不变和平移不变的有限可加测度，表明这些更强的概念能产生相应更强的加性结论。特别地，我们证明：每个测度超过某一明确阈值的$\boldsymbol{\text{Z}}$子集必然是$\boldsymbol{\text{IP}}_{\boldsymbol{n}}$集；相关测度的性质会决定更强的性质和更低的阈值。我们还给出若干说明结果的尖锐性与局限性的例子，同时讨论了开放问题和未来研究方向。
英文摘要
We study (bounded) finitely additive measures on the group of integers $\mathbb Z$, as elements of the Banach algebra $\mathrm{ba}(\mathbb Z)$, viewed as a natural generalization of ultrafilters. The algebraic structure of $\mathrm{ba}(\mathbb Z)$ extends the semigroup structure of the Čech--Stone compactification, allowing methods from ultrafilter theory to be applied in a broader measure-theoretic setting. We investigate idempotent finitely additive measures and establish additive properties of subsets of $\mathbb Z$ having positive measure. We then proceed to study almost translation-invariant and translation-invariant finitely additive measures, showing that these stronger notions yield correspondingly stronger additive conclusions. In particular, we prove that every subset of $\mathbb Z$ whose measure exceeds a certain explicit threshold necessarily is an $\mathsf{IP}_{n}$-set; with stronger properties and lower thresholds depending on the properties of the relevant measures. Several examples illustrating the sharpness and limitations of the results are also presented, together with a discussion of open problems and directions for future research.
Comments18 pages
