선택 원리와 게임 그리고 다양체의 거리화 가능성

초록

본 논문은 선택 원리와 게임 이론을 이용해 다양체의 거리화 가능성과 가산성(separability)을 새롭게 기술한다. 구체적으로, 선택 원리 S₍fin₎(𝒦,𝒪), S₍fin₎(Ω,Ω), S₍fin₎(Λ,Λ) 가 다양체에서 각각 거리화 가능성과 동치임을 보이고, S₁(𝒟,𝒟) 가 다양체에서 가산성과 동치임을 증명한다.

상세 분석

논문은 먼저 선택 원리와 관련된 표준 기호들을 정의한다. 𝒦는 모든 컴팩트 커버의 집합, 𝒪는 모든 열린 커버, Ω는 ω‑커버(각 유한 부분집합을 포함하는 커버), Λ는 대형 커버(각 점을 무한히 많이 포함하는 커버), 𝒟는 모든 조밀한 부분집합의 집합이다. 선택 원리 S₍fin₎(𝒜,𝔅)는 𝒜의 각 원소에서 유한 부분을 선택해 그 합이 𝔅에 속하도록 하는 조건이며, S₁(𝒜,𝔅)는 매 단계마다 하나씩 선택하는 강한 형태이다. 저자는 이러한 원리들을 다양체라는 특수한 위상공간에 적용한다. 다양체는 국소적으로 유클리드 공간과 동형이며, 전통적으로 거리화 가능성은 파라콤팩트와 제2계산가능성(또는 가산 기저)과 동치인 것으로 알려져 있다. 논문은 S₍fin₎(𝒦,𝒪) 가 다양체에서 파라콤팩트를 함의하고, 파라콤팩트와 로컬 거리화 가능성(다양체의 정의에 의해 자동)으로부터 메트리시제(bl) 를 얻는 과정을 상세히 증명한다. 마찬가지로 S₍fin₎(Ω,Ω) 와 S₍fin₎(Λ,Λ) 도 각각 Lindelöf 성질과 σ‑locally finite 베이스를 제공함으로써 거리화 가능성을 보장한다. 반대로, 거리화 가능한 다양체는 위 세 선택 원리를 만족한다는 역방향도 간단히 확인된다. 두 번째 주요 결과는 S₁(𝒟,𝒟) 와 가산성의 동치성이다. S₁(𝒟,𝒟) 가 성립하면 각 열린 집합에 조밀한 점들을 하나씩 선택해 전체가 조밀해지므로 가산 조밀 집합이 존재한다. 반대로 가산 조밀 집합이 있으면 S₁(𝒟,𝒟) 를 만족한다. 이와 같은 동등성은 다양체가 일반 위상공간보다 더 강한 구조를 가지고 있기에 가능하다. 논문은 또한 선택 원리와 연관된 게임 G₍fin₎(𝒜,𝔅), G₁(𝒜,𝔅) 를 언급하며, 위 결과가 해당 게임에서의 승리 전략과도 일치함을 시사한다. 최종적으로 저자는 이러한 선택‑게임적 관점이 기존의 메트리시제와 가산성 판정 기준을 보완하고, 위상학적 구조를 새로운 방식으로 탐구할 수 있는 도구임을 강조한다.