[論文レビュー] Reparametrizations of Continuous Paths

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

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

ひとこと要約

この論文は、位相空間内の連続的経路の再パrametrizationを調査し、単位区間の上への全射的で弱く増加的な写像に注目する。再パラメータ化の合成や分解を分析するための「ストップ写像」を導入し、再パラメータ化による同値関係による連続的経路の空間が、増加的ホメオモルフィズムによる同値関係による正規経路の空間と位相的に同相であることを証明する。これは、方向付きホモトピー理論や並行性モデリングの基礎的ツールを提供する。

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 = \bigcup_{J \to \text{ストップ区間}} J$ を用いる。
• 再パラメータ化同値関係を、$p \sim q$ が成り立つのは $p = q \circ \varphi$ を満たす全射的で弱く増加的な $\varphi: I \to I$ が存在するときと定義する。
• ストップ区間が存在しない正規経路の概念を用いて、任意の経路が正規経路と再パラメータ化同値であることを示す。
• 区間 $I$ の可算部分集合のラティス構造を用いて、合成に関する再パラメータ化のモノイドを分析する。
• d-空間における薄いd-ホモトピー同値関係が、d-経路に関して再パラメータ化同値関係とちょうど一致することを確立する。

実験結果

リサーチクエスチョン

• RQ1 連続的経路の再パラメータ化のモノイドは、代数的および位相的にどのように特徴付けられるか？
• RQ2 再パラメータ化同値関係の下で、一般連続経路と正規経路の間にはどのような関係があるか？
• RQ3 ストップ写像とストップ区間は、経路の合成や分解の分析をどのように支援するか？
• RQ4 再パラメータ化同値関係は、方向付き位相空間における薄いd-ホモトピーとどのように関係するか？
• RQ5 再パラメータ化による同値関係による経路のトレースの空間は、正規経路の空間に簡略化可能か？

主な発見

• 再パラメータ化同値関係による連続的経路の空間は、増加的ホメオモルフィズムによる同値関係による正規経路の空間と位相的に同相である。
• 任意の連続的経路は、正規経路と再パラメータ化同値であるため、経路解析の簡略化が可能になる。
• 再パラメータ化のモノイドは、ストップ写像によって完全に特徴付けられ、ストップ写像は経路の最大定数部分区間を符号化している。
• 飽和d-空間では、2つのd-経路が再パラメータ化同値であることは、それらが薄いd-ホモトープであることにちょうど同値である。
• 局所的にループのないd-空間におけるループのないd-経路について、その像は点または $\vec{I}$ とd-ホメオモルフィックであり、方向性構造が保存される。
• これらの結果は、特に並列システムのモデリングや高次元経路構造の解析において、方向付きホモトピー理論の基盤を提供する。