[논문 리뷰] On completeness in a non-Archimedean setting via firm reflections

Didier Deses, E. Lowen‐Colebunders|ArXiv.org|2004. 02. 17.

Mathematical and Theoretical Analysis참고 문헌 9인용 수 5

한 줄 요약

이 논문은 고정 반사(firm reflections)를 사용하여 하우스도르프 비아르키메데스 공간에 대한 범주론적 완비화 이론을 개발하며, 동치 관계에서 포함 순서를 유지하는 소규모 집합들의 집합을 통해 완비 객체를 특성화한다. 이는 완비 객체의 전부가 완비된 $υ$-반사적 부분범주를 이룬다는 것을 증명하며, 비아르키메데스 균일 공간의 고전적 완비화를 일반화한다.

ABSTRACT

We develop a completion theory for (general) non-Archimedean spaces based on the theory on "a categorical concept of completion of objects" as introduced by G.C.L. Brümmer and E. Giuli. Our context is the construct $\mathbf{NA}_0$ of all Hausdorff non-Archimedean spaces and uniformly continuous maps and $\mathcal{V}$ is the class of all epimorphic embeddings in $\mathbf{NA}_0$. We determine the class ${\bf Inj} \mathcal{V}$ of all $\mathcal{V}$-injective objects and we present an internal characterization as "complete objects". The basic tool for this characterization is a notion of small collections that in some sense preserve the inclusion order on the non-Archimedean structure. We prove that the full subconstruct $\mathbf{CNA}_0$ consisting of all complete objects forms a firmly $\mathcal{V}$-reflective subcategory. This means that every object $X$ in $\mathbf{NA}_0$ has a completion which is a $\mathcal{V}$-reflection $r_X:X o RX$ into the full subconstruct $\mathbf{CNA}_0$ of "complete spaces". Moreover this completion is unique (up to isomorphism) in the sense that, considering $L(\mathbf{CNA}_0)$, the class of all those morphisms $u: X o Y$ for which $Ru:RX o RY$ is an isomorphism, one has that $\mathcal{V}$ is contained in $L(\mathbf{CNA}_0)$. In fact one even has $\mathcal{V}=L(\mathbf{CNA}_0)$. Finally we apply our constructions to the classical case of Hausdorff non-Archimedean uniform spaces, in that case our completion reduces to the standard one.

연구 동기 및 목표

• 범주론적 방법을 사용하여 일반적인 비아르키메데스 공간에 대한 완비화 이론을 개발하는 것.
• 하우스도르프 비아르키메데스 공간의 구조 $βΝ_0$에서 포함 순서를 유지하는 소규모 집합의 개념을 통해 완비 객체를 특성화하는 것.
• $βΝ_0$에서 완비 객체의 전부가 고정된 $υ$-반사적 부분범주임을 확립하여, 동형사상에 대해 유일한 완비화를 보장하는 것.
• 제안된 완비화가 하우스도르프 비아르키메데스 균일 공간의 고전적 경우에 표준 완비화로 축소됨을 보이는 것.

제안 방법

• 브룸머와 구이가 도입한 고정 $υ$-반사의 범주론적 프레임워크를 사용하여 완비화를 정의한다.
• 하우스도르프 비아르키메데스 공간의 구조 $βΝ_0$에서 $υ$를 전형적 포함형 임bedding의 집합으로 식별한다.
• 소규모 집합—임의로 작은 집합들을 포함하는 집합들—을 도입하여 완비성의 특성화 도구로 사용한다.
• 등차 관계의 분할에 대한 순서를 유지하는 선택 함수를 통해 $υ$-입사 객체를 '완비 객체'로 특성화한다.
• 완비 공간의 부분범주로의 $υ$-반사로서 완비화 $r_X: X \to RX$를 구성한다.
• 균일 연속 함수를 완비 공간 $Y$로의 연장은 순서를 유지하는 선택 함수의 극한을 통해 명시적으로 기술한다.

실험 결과

연구 질문

• RQ1 범주론적 방법을 사용하여 일반적인 비아르키메데스 공간에 대해 체계적인 완비화 이론을 어떻게 개발할 수 있는가?
• RQ2 하우스도르프 비아르키메데스 공간의 범주에서 완비 객체의 집합은 무엇으로 특성화되는가?
• RQ3 고정 반사를 통한 완비화가 비아르키메데스 균일 공간의 고전적 경우에서 표준 완비화로 축소되는 조건은 무엇인가?
• RQ4 비아르키메데스 균일 공간에서 등차 관계의 분할에 대한 순서를 유지하는 선택 함수는 최소 코시 필터와 어떻게 관련되는가?

주요 결과

• $βΝ_0$에서 $υ$-입사 객체의 집합은 등차 관계에서 포함 순서를 유지하는 소규모 집합으로 특성화된 완비 객체의 집합과 일치한다.
• 완비 객체의 전부인 $βΓΝ_0$는 $βΝ_0$의 고정된 $υ$-반사적 부분범주를 이룬다. 이는 동형사상에 대해 유일한 완비화를 보장한다.
• 완비화 $r_X: X \to RX$는 $\mathcal{V} = L(\mathbf{CNA}_0)$라는 의미에서 보편적이다. 즉, 완비화에서의 동형사상을 유도하는 사상은 정확히 전형적 포함형 임베딩들이다.
• 고전적 하우스도르프 비아르키메데스 균일 공간의 경우, 제안된 완비화는 정확히 표준 완비화로 축소되며, 순서를 유지하는 선택 함수와 최소 코시 필터 사이의 일대일 대응을 통해 이를 보였다.
• 균일 연속 함수 $u: X \to Y$의 완비화 $\hat{X} \to Y$로의 연장은 $\hat{u}(f) = \lim f_u$로 명시적으로 구성되며, 여기서 $f_u$는 $Y$의 분할에 유도된 선택 함수이다.