[论文解读] Transfinite Asymptotic Dimension

Maciej Satkiewicz|arXiv (Cornell University)|Oct 2, 2013

Advanced Topology and Set Theory参考文献 1被引用 10

一句话总结

本文引入并研究了超限渐近维数（trasdim），这是将渐近维数推广至无限序数的推广。它建立了三种等价定义——通过集合论秩、树秩以及维数博弈中的获胜策略——并证明了渐近性质C等价于trasdim为可数序数。主要贡献在于证明了渐近性质C在乘积下封闭，从而解决了长期悬而未决的问题。

ABSTRACT

Asymptotic property C for metric spaces was introduced by Dranishnikos as generalization of finite asymptotic dimension - asdim. It turns out that this property can be viewed as transfinite extension of asymptotic dimension. The original definition was given by Radul. We introduce three equivalent definitions, show that asymptotic property C is closed under products (open problem stated "Open problems in topology II") and prove some other facts, i.e. by defining dimension of a family of metric spaces. Some examples of spaces enjoying countable trasfinite asymptotic dimension are given. We also formulate open problems and state "omega conjecture", which inspired most part of this paper.

研究动机与目标

• 将渐近维数的形式化并推广至超限序数，引入超限渐近维数（trasdim）。
• 建立trasdim的三种等价定义：通过集合论秩对子集族的定义、通过良序树上的树秩定义，以及通过维数博弈中的获胜策略定义。
• 证明渐近性质C等价于trasdim为可数序数，并证明渐近性质C在乘积下封闭，从而解决一个长期开放的问题。
• 探讨具有可数trasdim的空间的结构，包括示例以及开放问题，如单调性以及有限和的最优维数界。

提出的方法

• 将trasdim(X) 定义为集合 A(X,d) 的序数秩，其中 A(X,d) 是所有满足对任意 i ∈ σ，不存在均匀有界的、i-无交覆盖的有限子集 σ ⊆ ℕ。
• 通过使用 Kleene-Brouwer 顺序确保良序性与序数秩的一致性，建立集合论秩定义与树秩定义之间的等价性。
• 将维数博弈建模为两人博弈：玩家 I 选择半径，玩家 II 用 r-无交族覆盖空间；trasdim 是玩家 II 拥有获胜策略的最小序数。
• 利用三种定义的等价性，证明一个空间具有渐近性质 C 当且仅当其 trasdim 为可数序数。
• 利用渐近和与正规空间的概念，将问题约化为有限维情形，从而在 trasdim 上实施归纳论证。
• 应用 ω 猜想及相关假设，探索 trasdim 为 ω 及更高序数的空间结构，特别是在无限乘积与和的背景下。

实验结果

研究问题

• RQ1 渐近性质C在乘积下是否封闭？（本文已正面解决。）
• RQ2 每个可数序数 α 是否都能实现为某个度量空间的 trasdim？（开放问题，部分解决。）
• RQ3 单调性是否成立：对任意 α 和 β < α，每个具有 trasdim α 的空间是否都包含一个具有 trasdim β 的子空间？（开放问题。）
• RQ4 有限个正规度量空间的和的 trasdim 的最优界是什么？（开放问题，已有部分结果。）
• RQ5 是否成立：任何具有 trasdim ≥ ω 的空间其 trasdim 必须恰好为 ω？（ω 猜想，作为核心假设提出。）

主要发现

• 超限渐近维数（trasdim）定义良好，且等于集合 A(X,d) 的序数秩，该集合捕捉了有限、均匀有界、i-无交覆盖的失败。
• trasdim 的三种定义等价：(1) 对子集族的集合论秩，(2) 对良序树的树秩，(3) 维数博弈中的获胜策略。
• 一个度量空间具有渐近性质 C 当且仅当其 trasdim 为可数序数，建立了 trasdim 与该渐近性质之间的直接联系。
• 渐近性质 C 在有限和无限乘积下封闭，解决了 [Pearl] 提出的开放问题。
• 提出了 ω 猜想：若 trasdim X ≥ ω，则 trasdim X = ω，暗示任何具有不可数 trasdim 的空间必须具有无限维数。
• 构造了具有 trasdim ω 的空间示例，如缩放后的整数格的渐近和，本文还提供了为何更高序数如 ω+1 难以实现而不坍缩至 ∞ 的直观解释。