[论文解读] Reparametrizations of Continuous Paths

Martin Raußen, Ulrich Fahrenberg|ArXiv.org|Jun 25, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 15被引用 14

一句话总结

本文研究了拓扑空间中连续路径的重参数化，重点在于单位区间上的满射弱递增映射。通过引入‘停顿映射’（stop-maps）分析重参数化的复合与分解，证明了在重参数化等价关系下的连续路径空间微分同胚于在递增同胚关系下的正则路径空间——为定向同伦理论与并发性建模提供了基础工具。

ABSTRACT

A reparametrization (of a continuous path) is given by a surjective weakly increasing self-map of the unit interval. We show that the monoid of reparametrizations (with respect to compositions) can be understood via ``stop-maps'' that allow to investigate compositions and factorizations, and we compare it to the distributive lattice of countable subsets of the unit interval. The results obtained are used to analyse the space of traces in a topological space, i.e., the space of continuous paths up to reparametrization equivalence. This space is shown to be homeomorphic to the space of regular paths (without stops) up to increasing reparametrizations. Directed versions of the results are important in directed homotopy theory.

研究动机与目标

• 理解拓扑空间中连续路径重参数化的代数与拓扑结构。
• 刻画在保持路径顺序与像不变的前提下，通过满射、弱递增重参数化所定义的路径等价性。
• 建立在重参数化等价关系下的一般路径空间与在递增同胚关系下的正则路径空间之间的微分同胚关系。
• 通过分析 d-空间与细 d-同伦，为定向同伦理论提供框架。
• 通过重参数化等价性将一般路径简化为正则路径，实现路径分析的简化。

提出的方法

• 引入‘停顿映射’以通过识别路径为常数的最大区间（停顿区间）来分解重参数化。
• 利用停顿集 $D_p = igcup_{J o ext{停顿区间}} J$ 来刻画路径行为与重参数化结构。
• 将重参数化等价性定义为：$p \sim q$ 当且仅当存在某个满射、弱递增映射 $\varphi: I \to I$，使得 $p = q \circ \varphi$。
• 利用正则路径（无停顿区间）的概念，证明每条路径均与某条正则路径重参数化等价。
• 利用 $I$ 的可数子集的格结构，分析复合运算下重参数化半群的结构。
• 证明在 d-空间中，细 d-同伦等价性恰好对应于 d-路径的重参数化等价性。

实验结果

研究问题

• RQ1 连续路径的重参数化半群在代数与拓扑上如何被完全刻画？
• RQ2 在重参数化等价关系下，一般连续路径与正则路径之间存在何种关系？
• RQ3 停顿映射与停顿区间如何促进对路径复合与分解的分析？
• RQ4 重参数化等价性与定向拓扑空间中细 d-同伦之间存在何种联系？
• RQ5 在重参数化等价关系下，路径轨迹空间（即路径模去重参数化）能否被简化为正则路径空间？

主要发现

• 在重参数化等价关系下的连续路径空间，微分同胚于在递增同胚关系下的正则路径空间。
• 每条连续路径均与某条正则路径重参数化等价，从而可实现路径分析的简化。
• 重参数化半群完全由停顿映射刻画，后者编码了路径中最大常数子区间的结构。
• 在饱和 d-空间中，两个 d-路径重参数化等价当且仅当它们是细 d-同伦等价的。
• 在局部无环的 d-空间中，若 d-路径无环，则其像要么为单点，要么 d-微分同胚于 $\vec{I}$，从而保持定向结构。
• 本研究结果为定向同伦理论奠定了基础，尤其在建模并发系统与高维路径结构方面具有重要意义。