[论文解读] Self-Similar Jordan Arcs Which Do Not Satisfy OSC

Andrei Tetenov, Kirill Kamalutdinov+1 more|arXiv (Cornell University)|Dec 1, 2015

Mathematical Dynamics and Fractals参考文献 2被引用 10

一句话总结

本文在 R³ 中构造了一条自相似的 Jordan 弧，该弧违反了开集条件（OSC），但满足单点相交性质，从而表明在三维空间中，有限相交性质并不蕴含 OSC。通过改进的拉链构造法并分析复乘法群的稠密子群，作者证明了此类曲线的存在性：通过形变相似系统，在保持非 WSP（弱分离性质）的同时维持简单的拓扑结构。

ABSTRACT

It was proved in 2007 by C.Bandt and H.Rao that if a system $S = \{S_1 , ..., S_m \}$ of contraction similarities in $R^2$ with a connected attractor $K$ has the finite intersection property, then it satisfies OSC. We construct a self-simiilar Jordan arc in $R^3$, defined by a system $S$ , which does not satisfy OSC and at the same time has one-point intersection property.

研究动机与目标

• 解决 R³ 中有限相交性质是否蕴含开集条件（OSC）这一开放问题。
• 构造 R³ 中一个自相似系统的显式例子，其吸引子为 Jordan 弧但不满足 OSC。
• 表明此类系统中弱分离性质（WSP）同样被违反，从而将已知的反例扩展至 OSC 之外。

提出的方法

• 利用拉链构造法定义 R³ 中满足特定顶点与符号约束的自相似曲线。
• 对相似映射施加几何条件（A1–A6），以确保吸引子为 Jordan 弧且相交受控。
• 应用一般位置定理（定理 2）以界定导致曲线相交的参数值的 Hausdorff 维数。
• 基于 Barnsley 的拼贴定理（命题 3）的形变结果，控制系统在小扰动下的双李普希茨行为。
• 利用复乘法群中第二类稠密二生成子群的性质，确保参数空间中具有稠密轨道行为。
• 借助关于第二类稠密子群的定理 4，构造映射序列，其复合趋近于恒等映射，从而违反 WSP。

实验结果

研究问题

• RQ1 在 R³ 中，有限相交性质是否如在 R² 中那样蕴含开集条件（OSC）？
• RQ2 能否构造出在 R³ 中违反 OSC 但保持受控相交的自相似 Jordan 弧？
• RQ3 自相似系统是否可能违反 WSP，同时仍产生 Jordan 弧作为其吸引子？
• RQ4 复乘法群的稠密子群在构造此类病态例子中起到什么作用？
• RQ5 相似系统的微小形变是否能保持非 WSP 同时维持简单的拓扑结构？

主要发现

• 本文构造了一个 R³ 中的自相似系统 S = {S₁,…,Sₘ}，其收缩映射的吸引子为 R³ 中的 Jordan 弧 γ ⊂ R³。
• 尽管满足单点相交性质，该系统不满足开集条件（OSC）。
• 通过存在一个映射复合序列趋近于恒等映射，证明了该系统违反了弱分离性质（WSP）。
• 吸引子 γ 是一条 Jordan 弧，即一条简单、无自交的连续曲线。
• 该构造依赖于具有受控相交的拉链系统，以及一个参数空间，其中相交仅发生在 Hausdorff 维数 ≤ 2/α 的集合上，其中 α > 3/4。
• 此类系统的存在性由 C² 中第二类稠密子群生成元的稠密性保证，从而确保参数空间中所需的动力学行为。