[논문 리뷰] An embedding, an extension, and an interpolation of ultrametrics

Yoshito Ishiki|arXiv (Cornell University)|2020. 08. 24.

Advanced Topology and Set Theory참고 문헌 46인용 수 4

한 줄 요약

이 논문은 아레인스–일즈 등 고전적 거리공간 정리의 $S$-값을 가진 초거리공간에 대한 초거리공간 해석을 수립한다. 이는 아레인스–일즈 등록, 하우스도르프 연장, 니엠체츠키–티호노프 컴acts성 특성화, 그리고 보간 정리 등을 포함한다. 논문은 정수환 위의 $S$-값 초노름 모듈러스에 대한 등록을 구성하며, 모든 $S$-값 초거리공간이 이러한 모듈러스의 완비성, $R$-독립성, 닫힌 부분집합에 등록된다는 것을 증명한다. 이는 이전 결과를 임의의 범위 집합 $S$로 일반화한 것이다. 핵심 기여는 초거리공간 해석의 핵심 거리공간 정리에 대한 통합적 프레임워크를 제공하며, 강력한 대수적 및 위상적 제어를 가능하게 한다.

ABSTRACT

The notion of the ultrametrics can be considered as a zero-dimensional analogue of ordinary metrics, and it is expected to prove ultrametric versions of theorems on metric spaces. In this paper, we provide ultrametric versions of the Arens--Eells isometric embedding theorem of metric spaces, the Hausdorff extension theorem of metrics, the Niemytzki--Tychonoff characterization theorem of the compactness, and the author's interpolation theorem of metrics and theorems on dense subsets of spaces of metrics.

연구 동기 및 목표

• 고전적 거리공간 정리—예를 들어 아레인스–일즈 등록, 하우스도르프 연장, 니엠체츠키–티호노프 컴acts성 특성화—를 $S$-값 초거리공간의 맥락으로 확장한다.
• 정수환 위의 $S$-값 초노름 모듈러스에 대한 등록을 구성함으로써 아레인스–일즈 등록 정리를 $S$-값 초거리공간으로 일반화한다.
• 저자의 보간 정리와 거리공간의 조밀한 $G_{\delta}$ 부분집합에 관한 정리의 초거리공간 해석을 수립한다.
• 대수적 구조(예: $R$-독립성)와 위상적 성질(예: 완비성, 닫힘성)에 대한 제어가 가능한 초거리공간 해석의 거리공간 정리에 대한 프레임워크를 제공한다.

제안 방법

• 임의의 정수환 $R$과 최소 두 원소를 가진 범위 집합 $S$에 대해, $S$-값 초노름 $R$-모듈러스 $(V, \|\cdot\|)$ 를 구성한다.
• 모듈러스 이론적 구성(레민–레민의 보편 초거리공간에 영향을 받음)을 사용하여, $I(X)$ 가 $V$ 내에서 닫혀 있고 $R$-독립인 등록 $I: X \to V$ 를 정의한다.
• 초노름 $\|\cdot\|$ 와 환 작용 간의 호환성을 확보하기 위해 $R$ 위의 자명한 값매기기 $t_R$ 를 사용한다. 즉, $\|r \cdot x\| = t_R(r) \|x\|$ 를 만족시킨다.
• 핵심 보조정리에서 기초적인 구성으로서 $S$ 상의 초거리 $d(x,y) = x \lor y$ (여기서 $d(x,x)=0$) 를 사용한다. 이는 델롬 등이 제시한 기초적인 $S$-값 초거리공간 예제에서 유래되었다.
• $\ell^\infty$-곱 거리공간 및 당겨진 거리공간 구성 방법을 응용하여, 초거리공간 $\operatorname{UM}(X,S)$ 와 $\operatorname{M}(X)$ 의 위상 구조를 정의한다.
• 조밀한 $G_\delta$ 부분집합을 특성화하기 위해 전이 가능한 매개변수 $\mathfrak{G}$ 와 반대-$\mathfrak{G}$-전이 가능한 성질을 도입하여, 보간 및 완비성 결과를 가능하게 한다.

실험 결과

연구 질문

• RQ1 아레인스–일즈 등록 정리가 목표 공간에 대수적 구조가 있는 $S$-값 초거리공간으로 일반화될 수 있는가?
• RQ2 임의의 범위 집합 $S$에 대해, 거리공간에 대한 하우스도르프 연장 정리가 초거리공간 맥락에서 유효한 해석을 갖는가?
• RQ3 니엠체츠키–티호노프 컴acts성 특성화 정리는 $S$-값 초거리공간에 대해 재구성하고 증명될 수 있는가?
• RQ4 거리공간에 대한 저자의 보간 정리는 $S$-값 거리와 위상 조밀성에 대한 제어를 갖는 초거리공간 맥락으로 어떻게 확장될 수 있는가?
• RQ5 $\operatorname{UM}(X,S)$ 의 초거리공간이 바이어르 공간이거나 조밀한 $G_\delta$ 부분집합을 갖는 데 필요한 조건은 무엇인가?

주요 결과

• 최소 두 원소를 가진 임의의 범위 집합 $S$ 와 임의의 정수환 $R$ 에 대해, 모든 $S$-값 초거리공간 $(X,d)$ 는 $I(X)$ 가 닫혀 있고 $R$-독립인 $S$-값 초노름 $R$-모듈러스 $(V, \|\cdot\|)$ 에 등록 가능하다.
• 만약 $(X,d)$ 가 완비이면, 목표 모듈러스 $(V, \|\cdot\|)$ 는 완비 거리공간으로 선택할 수 있으며, 이는 고전적 아레인스–일즈 결과를 초거리공간 및 대수적 맥락으로 확장한다.
• 구성된 초노름 $\|\cdot\|$ 는 $R$ 위의 자명한 값매기기 $t_R$ 와 호환되며, 모든 $r \in R$, $x \in V$ 에 대해 $\|r \cdot x\| = t_R(r) \|x\|$ 를 만족시는 바, 대수적 및 거리공간적 구조를 연결한다.
• $X$ 상의 $S$-값 초거리공간 $\operatorname{UM}(X,S)$ 는 자연스러운 초거리 $\mathcal{UD}_X^S$ 를 지니며, 이에 따라 완비 거리공간이 되고, 반대-$\mathfrak{G}$-전이 가능한 성질을 만족하는 $d \in \operatorname{UM}(X,S)$ 의 집합은 조밀한 $G_\delta$ 부분집합이 된다.
• $S$-값 초거리공간의 완비성 집합 $\operatorname{CUM}(X,S)$ 는 $\operatorname{UM}(X,S)$ 의 $G_\delta$ 부분집합이며, 적절한 조건 하에서는 바이어르 공간이 된다.
• 논문은 $\mathcal{UD}_X^S$-위상이 $\ell^\infty$-곱 거리공간과 동일한 위상을 유도하며, 메트라이잭션 가능하다는 것을 증명한다. 이는 초거리공간의 수렴성 및 완비성 논의를 가능하게 한다.