[논문 리뷰] Quantale-valued Approach Spaces via Closure and Convergence

Hongliang Lai, Walter Tholen|arXiv (Cornell University)|2016. 04. 29.

Fuzzy and Soft Set Theory참고 문헌 14인용 수 6

한 줄 요약

이 논문은 폐쇄와 초필터 수렴을 이용한 양자환-가치 접근 공간의 접근법을 제안하며, 양자환 V가 완전 분배 가능할 경우 V-폐쇄 공간과 V-접근 공간 사이의 동치를 수립한다. 이는 기존의 위상공간(V=2), 거리 유사 접근 공간(V=[0,∞]), 그리고 확률적 접근 공간(V=∆)의 결과를 일반화하여, 릿지 분배 법칙과 기저 전환 함자들을 통해 그들의 범주론적 및 대수적 구조를 통합한다.

ABSTRACT

For a quantale $\mathsf{V}$ we introduce $\mathsf{V}$-approach spaces via $\mathsf{V}$-valued point-set-distance functions and, when $\mathsf{V}$ is completely distributive, characterize them in terms of both, so-called closure towers and ultrafilter convergence relations. When $\mathsf{V}$ is the two-element chain $\mathsf{2}$, the extended real half-line $[0,\infty]$, or the quantale ${\bfΔ}$ of distance distribution functions, the general setting produces known and new results on topological spaces, approach spaces, and the only recently considered probabilistic approach spaces, as well as on their functorial interactions with each other.

연구 동기 및 목표

• 양자환을 이용한 접근 공간의 통합적 프레임워크를 개발하여, 고전적 위상공간 및 거리 개념을 확장한다.
• 양자환 V가 완전 분배 가능할 경우, V-접근 공간을 폐쇄 타워와 초필터 수렴 관계 양쪽 모두로 특성화한다.
• 초필터 모나드와 V-멱집합 모나드 위에서 릿지 분배 법칙을 이용해 V-접근 공간과 릿지 대수 사이의 범주론적 동치를 수립한다.
• 기존의 위상공간, 거리공간, 확률적 접근 공간에 대한 결과를 하나의 양자환 기반 형식론으로 일반화한다.
• 기저 전환 함자와 그들이 Top을 App과 ProbApp에 포함시키는 데서 수행하는 역할을 연구한다.

제안 방법

• 양자환 V에 값이 부여된 점-집합 거리 함수 δ: X × PX → V를 통해 V-접근 공간을 정의하며, Lawvere의 거리공식과 Lowen의 접근 공간 공리계를 일반화하는 공리를 만족시킨다.
• 반사성과 전이성을 만족하는 폐쇄 타워(c: PX → VX)를 통해 V-접근 공간을 특성화하며, 이는 위상공간의 폐쇄 연산자를 일반화한다.
• 초필터 모나드 U와 V-멱집합 모나드 PV 사이의 릿지 분배 법칙 β: U ∘ PV ⇒ PV ∘ U를 사용하여, 릿지 (U, V)-대수의 구축을 가능하게 한다.
• 문헌 [19]의 릿지 대수 이론과 대수적 함자 이론을 적용하여, V가 완전 분배 가능할 경우 V-접근 공간이 릿지 (U, V)-대수와 동치임을 보인다.
• 양자환 준동형 ϕ: V → W를 통한 기저 전환 함자들을 활용하여, 다양한 V-접근 공간 카테고리 간의 관계를 규명한다. 예를 들어 App와 ProbApp를 연결한다.
• 양자환 간의 수반 쌍(예: ι: 2 → V, σ: [0,∞] → ∆)을 적용하여 Bϕ 함자를 통해 Top이 App에, App이 ProbApp에 포함됨을 도출한다.

실험 결과

연구 질문

• RQ1 어떻게 위상공간, 거리공간, 확률적 구조를 통합하는 양자환-가치 설정에서 접근 공간을 일반화할 수 있는가?
• RQ2 양자환 V에 어떤 조건이 성립할 경우, V-접근 공간이 폐쇄 타워와 초필터 수렴을 통해 동치로 기술될 수 있는가?
• RQ3 기저 전환 함자들은 Top, App, ProbApp와 같은 다양한 V-접근 공간 카테고리 간의 관계를 어떻게 규명하는가?
• RQ4 릿지 분배 법칙은 어떤 방식으로 모나드 (U, P)와 양자환 (V)을 연결하여 접근 공간의 릿지 대수를 정의하는 데 기여하는가?
• RQ5 Top이 App과 App이 ProbApp에 포함되는 통합적 접근은 동일한 범주론적 기계장치를 통해 유일하게 유도될 수 있는가?

주요 결과

• 모든 완전 분배 가능 양자환 V에 대해, V-접근 공간은 릿지 (U, V)-대수와 동치이며, 초필터 수렴을 통한 통합적 특성화를 제공한다.
• V = ∆(거리 분포 함수의 양자환)일 경우, 논문은 초필터 수렴을 통한 새로운 확률적 접근 공간의 특성화를 수립하며, 기존 결과를 확장한다.
• V가 정수일 경우, 범주 Top은 App에 완전하고 충실하게 포함되며, 반사자 Bπ와 코반사자 Bο를 지닌 반사적이고 코반사적 부분범주이다.
• App는 ProbApp에 완전하고 충실하게 포함되며, 반사자 Bλ와 코반사자 Bρ가 존재한다. 이들은 양자환 준동형 σ: [0,∞] → ∆로부터 유도된다.
• V = [0,∞]일 경우, 결과는 기존의 점-집합 거리 함수와 초필터 수렴 간의 동치를 복원한다.
• 양자환 준동형의 수반 쌍(예: ι: 2 → V, σ: [0,∞] → ∆)을 통한 Bϕ-함수의 구축은 다양한 접근 공간 카테고리 간의 관계를 체계적으로 규명하는 방법을 제공한다.