[논문 리뷰] Notes on Pointed Gromov-Hausdorff Convergence

Dorothea Jansen|arXiv (Cornell University)|2017. 03. 28.

Approximation Theory and Sequence Spaces인용 수 5

한 줄 요약

이 논문은 비콤팩트 거리 공간에 대한 지정점이 있는 Gromov-Hausdorff 수렴에 대한 종합적이고 접근하기 쉬운 소개를 제공하며, 기본 성질을 수립하고 초한극한과의 관계를 명확히 한다. 수렴하는 부분수열이 비주어진 초한극한을 통해 비주어진 초한필터를 이용해 정확히 일치함을 증명함으로써 기하 해석학에서 거리 공간의 극한을 연구하는 데 강력한 프레임워크를 제공한다.

ABSTRACT

The present article addresses to everyone who starts working with (pointed) Gromov-Hausdorff convergence. In the major part, both Gromov-Hausdorff convergence of compact and of pointed metric spaces are introduced and investigated. Moreover, the relation of sublimits occurring with pointed Gromov-Hausdorff convergence and ultralimits is discussed.

연구 동기 및 목표

• 비콤팩트 거리 공간에 대한 지정점이 있는 Gromov-Hausdorff 수렴에 대해 자동으로 완비된 세부적인 소개를 제공하여 문헌의 빈도를 메우기.
• 지정점이 있는 Gromov-Hausdorff 위상에서의 부분수열 수렴과 초한극한 구성 간의 관계를 명확히 하기.
• 적절한 조건 하에서 초한극한과 부분수열 수렴에 의한 지정점이 있는 Gromov-Hausdorff 극한이 동치임을 수립하기.
• 비콤팩트 설정에서 지정점과 사상의 수렴을 포함한 지정점 수렴의 핵심 성질을 검증하기.

제안 방법

• 공통 거리 공간에 대한 등장사상의 임베딩을 통해 Gromov-Hausdorff 거리를 도입하고, 이산합집합 위의 허용 가능한 거리에 대한 최소값으로 정의한다.
• 기저점 거리를 하우스도르프 거리에 추가하여 기저점 일致성을 보장함으로써 지정점이 있는 Gromov-Hausdorff 거리를 정의한다.
• ε-근사화—근사 등장사상 쌍으로서 근사 등장사상 조건과 근사 역관계 조건을 만족하는 쌍—을 사용하여 공간의 수렴성과 동치성을 특성화한다.
• 비주어진 초한필터를 통해 초한극한을 구성하고, 이러한 극한이 부분수열 수렴에 의한 지정점이 있는 Gromov-Hausdorff 극한과 일치함을 보인다.
• 지정점이 있는 Gromov-Hausdorff 수렴 방식으로 수렴하는 임의의 부분수열에 대해, 그 초한극한이 극한 공간과 등장사상이 되는 초한필터가 존재함을 증명한다.
• 지표 집합의 ω-측도에 따라 경우를 나누어, 초한극한에서 역수 반경이 0으로 수렴하도록 보장하는 반경의 수열을 구성한다.

실험 결과

연구 질문

• RQ1 지정점이 있는 Gromov-Hausdorff 수렴은 콤팩트에서 비콤팩트 거리 공간으로 어떻게 일반화되는가?
• RQ2 지정점이 있는 Gromov-Hausdorff 위상에서의 부분수열 수렴과 초한극한 구성 간의 정확한 관계는 무엇인가?
• RQ3 모든 부분수열 수렴에 의한 지정점이 있는 Gromov-Hausdorff 극한은 적절한 초한필터를 통해 초한극한으로 실현될 수 있는가?
• RQ4 비콤팩트 케이스에서 지정점이 있는 Gromov-Hausdorff 수렴 하에서 지정점과 리프시츠 사상의 수렴은 어떻게 행동하는가?
• RQ5 비콤팩트 거리 공간의 수열에 대한 초한극한이 부분수열 극한과 일치하는 조건은 무엇인가?

주요 결과

• 지정점이 있는 적절한 길이 공간의 수열이 부분수열을 따라 지정점이 있는 Gromov-Hausdorff 수렴을 이룰 경우, 그 수렴 극한과 등장사상이 되는 비주어진 초한필터가 존재한다.
• 비주어진 초한필터를 통한 초한극한 구성은 부분수열 수렴에 의한 극한 공간과 동일한 극한 공간을 회복함으로써, 두 개념 간의 강력한 대응 관계를 확립한다.
• 증명 과정에서 유계 및 비유계 수열에 해당하는 지표 집합의 ω-측도에 따라 경우를 나누며, 초한극한에서 역수 반경이 0으로 수렴함을 보장한다.
• ω(J) = 1인 경우(비유계 집합을 인덱싱하는 J), 1/r_i → 0이 되는 반경 r_i의 수열을 선택할 수 있으며, 이는 수렴을 보장한다.
• ω(J) = 0인 경우, 반경 집합 R_i의 상한 s_i에 대해 1/s_i → 0이 되고, r_i ∈ [s_i/2, s_i]이면 1/r_i → 0이 된다.
• 논문은 지정점이 있는 Gromov-Hausdorff 거리가 지정점이 있는 콤팩트 거리 공간의 등장사상 동치류 위에 거리로 정의되며, ε-근사화가 수렴을 특성화함을 수립한다.