[论文解读] Strong Arcwise Connectedness

Benjamín Espinoza, Paul Gartside+2 more|arXiv (Cornell University)|Sep 24, 2012

Advanced Topology and Set Theory参考文献 2被引用 5

一句话总结

本文引入并分析了n重弧连通性（n-sac），一种拓扑性质，即空间中任意n个点均可按指定顺序由一条弧依次访问。研究证明：任何平面连续统都不是4-sac；完全刻画了3-sac图；构造了ω-sac有理连续统；并借助描述集合论表明，n-sac或ω-sac有理连续统不存在简单刻画，其集合为Π¹₂完全集。

ABSTRACT

A space is `n-strong arc connected' (n-sac) if for any n points in the space there is an arc in the space visiting them in order. A space is omega-strong arc connected (omega-sac) if it is n-sac for all n. We study these properties in finite graphs, regular continua, and rational continua. There are no 4-sac graphs, but there are 3-sac graphs and graphs which are 2-sac but not 3-sac. For every n there is an n-sac regular continuum, but no regular continuum is omega-sac. There is an omega-sac rational continuum. For graphs we give a simple characterization of those graphs which are 3-sac. It is shown, using ideas from descriptive set theory, that there is no simple characterization of n-sac, or omega-sac, rational continua.

研究动机与目标

• 形式化并研究n重弧连通性（n-sac）这一拓扑性质，即一条弧必须按指定顺序访问n个给定点。
• 确定该性质在一维空间（特别是有限图、正规连续统和有理连续统）中的极限。
• 完全刻画3-sac图，并证明n-sac或ω-sac有理连续统不存在此类简单刻画。
• 运用描述集合论工具，确立n-sac与ω-sac连续统类别的逻辑复杂度，表明其为Π¹₂完全集。

提出的方法

• 通过有序弧访问按指定序列排列的n个不同点来定义n-sac，其中t₁=0且tₙ=1以实现归一化。
• 利用引理1证明：若移除有限集F会使空间断开，则该空间不能是(|F|+2)-sac。
• 通过树与瓷砖（如bTₙ）构造有理连续统，以嵌入非良基树并控制连通性性质。
• 应用Becker与Ajtai的方法，通过将NN的Π¹₂子集连续约化为R⁴中的曲线族，证明ω-sac曲线集合为Π¹₂完全集。
• 利用Menger立方体与连续并集，保持连通分支间的ω-sac性质。
• 利用ω-sac曲线为Π¹₂完全集的事实，推得其非解析集（Σ¹₁），因此不存在普遍映射。

实验结果

研究问题

• RQ1 哪些有限图是3-sac，且能否给出简单刻画？
• RQ2 正规连续统能否是ω-sac？对每个n，是否存在是n-sac但不是(n+1)-sac的正规连续统？
• RQ3 是否存在ω-sac有理连续统？若存在，此类曲线能否被简单刻画？
• RQ4 是否存在n-sac或ω-sac有理连续统的简单刻画，还是该性质本质上复杂？
• RQ5 在RN中，n-sac与ω-sac连续统类别的逻辑复杂度（在Borel层次中）为何？

主要发现

• 无平面连续统是4-sac，由弧-割点障碍与无出口弧引理可证。
• 存在3-sac图，也存在2-sac但非3-sac的图，且已提供3-sac图的完全简单刻画。
• 对每个n，存在是n-sac但非(n+1)-sac的正规连续统，但无正规连续统是ω-sac。
• 存在ω-sac有理连续统，其通过以非良基树为指标的有理曲线连续族构造而成。
• 在N≥4时，n-sac曲线集合（n≥2且n=ω）在C(RN)中为Π¹₂完全集，表明不存在更简单的刻画。
• 由于其逻辑复杂度，不存在从任意可数族ω-sac曲线到所有ω-sac曲线的普遍连续映射。