[論文レビュー] Reparametrizations with given stop data

Martin Raußen|ArXiv.org|Feb 13, 2009

Topological and Geometric Data Analysis参考文献 1被引用数 8

ひとこと要約

この論文は、ハウスドルフ空間における連続的経路の再パラメータ化に関する先行研究における誤った証明を是正し、与えられたストップ写像（互いに交わらない区間と、ストップ値への順序を保つ全単射によって定義されるもの）が、単位区間の連続的かつ弱く増加する再パラメータ化から生じるための必要十分条件を確立する。主な貢献は、連続性と正しいストップ構造を保証する8つの位相的および順序論的条件を用いた、このような再パラメータ化の完全な特徴付けである。

ABSTRACT

In the recent paper "Reparametrizations of continuous paths", J. Homotopy Relat. Struct. 2 (2007), 93-117 (with U. Fahrenberg), we performed a systematic investigation of reparametrizations of continuous paths in a Hausdorff space that relies crucially on a proper understanding of stop data of a (weakly increasing) reparametrization of the unit interval. I am grateful to Marco Grandis (Genova) for pointing out to me that the proof of Proposition 3.7 in that paper is wrong. Fortunately, the statement of that Proposition and the results depending on it stay correct. It is the purpose of this note to provide correct proofs.

研究の動機と目的

• 論文[1]の命題3.7における誤った証明を是正すること。この証明は、中点写像が連続的再パラメータ化をもたらすと誤って主張している。
• 互いに交わらない区間と順序を保つ全単射によって定義されるストップ写像が、単位区間の連続的再パラメータ化から生じる条件を完全かつ正確に特徴付けること。
• 構築された再パラメータ化が連続的かつ弱く増加的であり、端点を保存し、正しいストップ区間とストップ値を持つことを保証すること。
• 単位区間内に存在する任意の可算個の互いに交わらない閉区間の集合が、ある再パラメータ化のストップ区間集合として実現可能かどうかを解明すること。
• 与えられたストップデータから、位相的整合性と正しさを保証するように、このような再パラメータ化を構成的に構築する方法を提供すること。

提案手法

• 再パラメータ化が定数となる最大の部分区間をストップ区間と定義し、これらの区間の像をストップ値とする。
• ストップ写像 $ F_{\varphi} $ を導入し、再パラメータ化 $ \varphi $ のストップ区間集合 $ \Delta_{\varphi} $ からストップ値集合 $ C_{\varphi} $ への順序を保つ全単射とする。
• 与えられた順序を保つ全単射 $ F: \Delta \to C $ が連続的再パラメータ化から生じるための必要十分条件として、8つの条件（1）〜（8）を確立する。
• 各ストップ区間 $ J \in \Delta $ において定数となるように再パラメータ化 $ \varphi_F $ を定義し、$ t \in J $ に対して $ \varphi_F(t) = F(J) $ とする。
• 条件（1）および（2）を用いて、ストップ集合 $ D = \bigcup_{J \in \Delta} J $ 上での $ \varphi_F $ の連続性を保証し、条件（3）を用いて $ \overline{D} $ への一意的な拡張を可能にする。
• 補集合となる開区間上で、条件（4）、（6）、（8）を用いて、厳密に増加する線形写像を定義することで、$ \varphi_F $ を全区間 $ I $ に拡張し、不要なストップ区間の生成を防ぐ。

実験結果

リサーチクエスチョン

• RQ1 与えられた順序を保つ全単射 $ F: \Delta \to C $ が、$ \Delta $ が $[0,1]$ の互いに交わらない閉部分区間の集合で、$ C \subseteq [0,1] $ であるとき、どのような条件下で連続的再パラメータ化のストップ写像として生じるか？
• RQ2 元の証明[1]はなぜ失敗したのか？また、中点写像をストップ写像として使用する場合、再パラメータ化の連続性を保証するために追加で必要な条件は何か？
• RQ3 単位区間内に存在する任意の可算個の互いに交わらない閉部分区間の集合が、ある連続的再パラメータ化のストップ区間集合として実現可能か？
• RQ4 ストップ写像から再パラメータ化を明示的に構築するには、どのようにすれば連続性と正しい端点挙動を保証できるか？
• RQ5 不必要なストップ区間が再パラメータ化に生じないよう、ストップ値およびストップ区間が満たすべき位相的および順序論的制約は何か？

主な発見

• 論文[1]の命題3.7の元の証明は誤っており、主に中点写像の使用に起因する。この方法では、得られる再パラメータ化の連続性が保証されない。
• 条件（1）および（2）は、再パラメータ化 $ \varphi_F $ がストップ集合 $ D $ 上で連続であるための必要十分条件である。これらは区間の境界における左極限と右極限を制御する。
• 条件（3）および（4）は、$ \varphi_F $ が $ \overline{D} $ に連続的に拡張可能であることを保証する。特に、ストップ区間の極限点において有効である。
• 条件（5）および（7）は、$ \varphi_F(0) = 0 $ および $ \varphi_F(1) = 1 $ を保証し、再パラメータ化の端点制約を維持する。
• 条件（6）および（8）は、ストップ集合 $ \Delta $ が 0 や 1 を含まない場合に、0 や 1 に余分なストップ区間が生成されないよう防ぐ。
• 任意の可算個の互いに交わらない閉部分区間の集合 $ \Delta $ は、単位区間 $[0,1]$ 内に存在する限り、ある連続的再パラメータ化 $ \varphi $ のストップ区間集合として実現可能である。これは、2進有理数近似と一様収束を用いた構成的証明により示された。