[论文解读] Schmidt's Game on Certain Fractals

Lior Fishman|arXiv (Cornell University)|Jun 13, 2006

Mathematical Dynamics and Fractals参考文献 6被引用 3

一句话总结

该论文证明，自相似分形集 $K$（如康托尔集、科赫曲线或谢尔宾斯基垫片）与坏逼近向量集（BA）的可数个仿射变换的交集，是 $K$ 上的 $\alpha$-获胜集合，因此其豪斯多夫维数等于 $\dim K$。该结果将施密特的经典博弈论方法推广至 $\mathbb{R}^N$ 中的分形子集，表明即使在满足开口集条件的分形上限制，BA 集仍保持其‘大’的性质。

ABSTRACT

We construct (α,β) and α-winning sets in the sense of Schmidt's game, played on the support of certain measures (very friendly and awfully friendly measures) and show how to derive the Hausdorff dimension for some. In particular we prove that if K is the attractor of an irreducible finite family of contracting similarity maps of R^N satisfying the open set condition then for any countable collection of non-singular affine transformations Λ_i:R^N o R^N, dimK=dimK\cap (\cap ^{\infty}_{i=1}(Λ_i(BA))) where BA is the set of badly approximable vectors in R^N.

研究动机与目标

• 通过分析分形集与坏逼近向量集的仿射变换之间交集的维数，将施密特的游戏理论推广至 $\mathbb{R}^N$ 中的分形子集。
• 建立此类交集在分形支撑集上为 $\alpha$-获胜集合，从而蕴含全豪斯多夫维数。
• 将先前关于 $\dim(K \cap \text{BA}) = \dim K$ 的结果推广至与可数个仿射变换后的 BA 集的交集。
• 证明满足开口集条件的自相似分形集上的 $\delta$-维豪斯多夫测度是绝对友好的，从而可应用施密特的游戏。

提出的方法

• 在绝对友好的测度支撑上构造 $(\alpha, \beta)$-获胜集合，此类测度包括自相似分形集上的 $\delta$-维豪斯多夫测度。
• 应用施密特原始博弈中单纯形引理的修改版本，以处理分形情形并确保获胜策略的存在性。
• 利用自相似集上豪斯多夫测度的幂律性质，验证绝对友好的必要衰减与加倍条件。
• 应用定理 2.2 与推论 2.1，证明对每个仿射变换 $\Lambda_i$，有 $K \cap \Lambda_i(\text{BA})$ 是 $\alpha$-获胜集合。
• 通过基于有理逼近层级定义嵌套集列 $U_k$，建立在可数个仿射变换下获胜条件的统一性。
• 利用生成相似映射的不可约性与开口集条件，确保分形集分布均匀且支撑正则测度。

实验结果

研究问题

• RQ1 自相似分形集 $K$ 与坏逼近向量集的可数个仿射变换的交集是否非空？
• RQ2 交集 $K \cap \bigcap_{i=1}^\infty \Lambda_i(\text{BA})$ 是否保持 $K$ 的全豪斯多夫维数？
• RQ3 施密特的游戏能否被调整以证明此类交集在分形支撑集上为 $\alpha$-获胜集合？
• RQ4 在何种测度论条件下，坏逼近向量集在分形集上为获胜集合？
• RQ5 自相似集 $K$ 上豪斯多夫测度的幂律与 $K \cap \Lambda_i(\text{BA})$ 的获胜性质之间有何关系？

主要发现

• 对任意 $0 < \alpha < \frac{1}{12}\alpha'$，集合 $\mathcal{S} = K \cap \bigcap_{i=1}^\infty \Lambda_i(\text{BA})$ 是 $K$ 上的 $\alpha$-获胜集合，其中 $\alpha'$ 是由生成映射相似比导出的常数。
• 集合 $\mathcal{S}$ 的豪斯多夫维数等于 $K$ 的豪斯多夫维数，即 $\dim \mathcal{S} = \dim K$，即使与可数个 BA 集的仿射变换相交，该性质依然成立。
• $\delta$-维豪斯多夫测度 $\mu$ 限制在 $K$ 上是绝对友好的，且满足指数 $\delta = \dim K$ 的条件 3.6，从而可应用施密特的游戏。
• 证明依赖于验证测度 $\mu$ 是绝对 $(C,a)$-衰减的，并满足幂律，从而确保博弈构造所必需的正则性。
• 该结果强化了先前工作，表明获胜性质不仅对 $K \cap \text{BA}$ 成立，也对 $K \cap \bigcap_i \Lambda_i(\text{BA})$ 成立，只要变换满足较弱条件。
• 该构造将施密特原始结果从 $\mathbb{R}^N$ 推广至分形子集，表明 BA 集的‘大’维数性质在仿射像与分形限制下依然保持。