[논문 리뷰] Surjective Kuiper isometries

György Pál Gehér|arXiv (Cornell University)|2016. 06. 21.

Mathematical functions and polynomials참고 문헌 7인용 수 11

한 줄 요약

이 논문은 ℝ 위의 Borel 확률측도 공간에서 Kuiper 거리에 대해 전사等距사상들을 특성화하며, 이러한 등距사상들이 ℝ의 호메오모르피즘에 의해 유도됨을 증명한다. 연속적이고 절대연속적인 측도의 경우, 등距사상들은 호메오모르피즘에 의한 전달을 통해 주어지며, 일반적인 측도의 경우 등距사상들은 실선 위의 측도를 보존하는 호메오모르피즘에 의해 유도된다.

ABSTRACT

Characterizations of surjective isometries with respect to the Kuiper distance on three classes of Borel probability measures of $\mathbb{R}$ (or equivalently, probability distribution functions) are presented here. These classes are the set of continuous, absolute continuous and general measures.

연구 동기 및 목표

• ℝ 위의 Borel 확률측도 공간에서 Kuiper 거리에 대해 전사 등距사상들을 특성화하는 것.
• Dolinar와 Molnár가 통계적 거리에 대해 시작한 등距사상 연구의 선을 이어가며, 이제는 Kuiper 거리에 초점을 맞추는 것.
• 연속, 절대연속, 일반 Borel 확률측도의 세 클래스에 대해 등距사상의 구조를 규명하는 것.
• 凸조합의 불변성이 이러한 등距사상들에서 가정이 아니라 결과임을 보이는 것.
• Molnár가 이 측도 공간에서의 Kuiper 등距사상군의 구조에 대해 제기한 질문을 해결하는 것.

제안 방법

• Kuiper 거리를 $ d_{Ku}(\nu,\nu) = \sup_{I \in \mathcal{I}} |\mu(I) - \nu(I)| $ 로 정의하며, 여기서 $ \mathcal{I} $ 는 비퇴화된 간격들의 집합이다.
• 분포함수에 대한 Kuiper 거리와 콜모고로프–스미르nov 거리의 등가성을 이용하여 기존의 밀도 결과를 활용한다.
• 전사 Kuiper 등距사상이 측도의 지지 구조를 보존함을 증명하며, 특히 Dirac 측도와 연속 측도에 대해 강조한다.
• Kuiper 위상에서의 밀도 추론을 사용하여 등距사상이 순수하게 원자 측도의 집합을 보존해야 한다는 것을 증명한다.
• 모든 등距사상이 호메오모르피즘 $ f: \mathbb{R} \to \mathbb{R} $ 를 통해 $ \phi(\mu) = \mu \circ f^{-1} $ 로 표현됨을 보여주기 위해 $ f $ 를 구성한다. 이는 모든 등距사상이 호메오모르피즘에 의한 측도 이동에 의해 유도됨을 의미한다.
• 분포함수의 구조와 구간에서의 측도 행동을 이용하여 등距사상이 기본 공간의 호메오모르피즘에 의해 유도됨을 유추한다.

실험 결과

연구 질문

• RQ1 ℝ 위의 연속 Borel 확률측도 공간에서 Kuiper 거리에 대해 전사 등距사상의 구조는 무엇인가?
• RQ2 Kuiper 거리에서 절대연속 측도에 대한 전사 등距사상은 일반 측도에 대한 것과 어떻게 다를까?
• RQ3 Kuiper 등距사상에서 볼록조합의 불변성이 가정이 아니라 결과로 도출될 수 있는가?
• RQ4 순수하게 원자 측도의 밀도가 일반 Kuiper 등距사상의 특성화에서 어떤 역할을 하는가?
• RQ5 P(ℝ) 위의 Kuiper 등距사상은 실선의 호메오모르피즘으로부터 어느 정도까지 기인하는가?

주요 결과

• 연속 Borel 확률측도의 공간 $ P_c(\mathbb{R}) $ 에서, 모든 전사 Kuiper 등距사상은 어떤 호메오모르피즘 $ g: \mathbb{R} \to \mathbb{R} $ 와 $ x \in \mathbb{R} \cup \{\infty\} $ 에 대해 $ \phi(\mu) = \mu \circ (g \circ r_x) $ 의 형태를 가진다. 여기서 $ r_x $ 는 점 $ x $ 를 중심으로 한 역행사상이다.
• 특히 $ P_c(\mathbb{R}) $ 의 경우, 지지 보존 조건 하에서 매개변수 $ x \in \mathbb{R} $ 는 모순을 일으키므로 오직 $ x = \infty $ 만 허용되며, 이는 $ \phi(\mu) = \mu \circ g $ 를 의미한다. 여기서 $ g $ 는 어떤 호메오모르피즘이다.
• 절대연속 측도의 경우 $ P_{ac}(\mathbb{R}) $ 에서도 등距사상은 다시 어떤 호메오모르피즘 $ g $ 에 의해 유도되며, $ \phi(\mu) = \mu \circ g $ 로 표현되며, $ g $ 는 측도 공간의 구조를 보존한다.
• 전체 공간 $ P(\mathbb{R}) $ 에서는 모든 전사 Kuiper 등距사상이 어떤 호메오모르피즘 $ f: \mathbb{R} \to \mathbb{R} $ 에 대해 $ \phi(\mu) = \mu \circ f^{-1} $ 의 형태를 가진다. 즉, 등距사상은 실선 위의 측도를 보존하는 변환에 의해 유도된다.
• 등距사상은 Dirac 측도의 구조를 보존한다: $ \phi(\delta_x) = \delta_{f(x)} $ 이며, 따라서 $ f $ 는 호메오모르피즘이다.
• P(\mathbb{R}) 에서 순수하게 원자 측도의 밀도가 Kuiper 거리 하에서 사용되어, 등距사상이 모든 원자 측도를 고정해야 한다는 것을 보여주며, 이는 등距사상이 기본 공간의 호메오모르피즘에 의해 유도됨을 결론짓는다.