[논문 리뷰] Reparametrizations with given stop data

Martin Raußen|ArXiv.org|2009. 02. 13.

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의 잘못된 증명을 수정하기 위해, 중점 지도가 연속적 재매개변수화를 유도한다고 잘못 주장한 바를 바로잡는 것.
• 서로소 구간과 순서를 유지하는 전단사 사상으로 정의된 정지 맵이 단위구간의 연속적 재매개변수화로부터 유도될 수 있는지에 대한 완전하고 올바른 특성화를 수립하는 것.
• 구축된 재매개변수화가 연속적이고 약하게 증가하며, 끝점과 정확한 정지 구간 및 정지 값을 유지하도록 보장하는 것.
• 단위구간 내에서 임의의 가산 개의 서로소 닫힌 구간 집합이 어떤 재매개변수화의 정지 구간 집합으로서 실현될 수 있는지 여부를 해결하는 것.
• 주어진 정지 자료로부터 이러한 재매개변수화를 구성적으로 구축할 수 있는 방법을 제공하여 위상적 일致성과 정확성을 확보하는 것.

제안 방법

• 재매개변수화가 일정한 최대 부분구간으로서 정지 구간을 정의하고, 이러한 구간의 상을 정지 값으로 정의한다.
• 정지 구간 집합 $ \Delta_{\varphi} $ 에서 정지 값 집합 $ C_{\varphi} $ 로의 순서를 유지하는 전단사 사상인 정지 맵 $ F_{\varphi} $ 를 도입한다.
• 주어진 순서를 유지하는 전단사 사상 $ F: \Delta \to C $ 가 연속적 재매개변수화로부터 유도될 수 있도록 해주는 8개의 필요 및 충분 조건 (1)–(8) 을 확립한다.
• 각 정지 구간 $ J \in \Delta $ 에서 일정하게 정의된 재매개변수화 $ \varphi_F $ 를 $ \varphi_F(t) = F(J) $ for $ t \in 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 $ 는, 이중 유리수 근사와 균일 수렴을 통해 구성적으로 증명된 바와 같이, 어떤 연속적 재매개변수화 $ \varphi $ 의 정지 구간 집합으로서 실현될 수 있다.