초월 필터의 범주론적 구성과 자유 초월 필터의 부정적 응용

이 논문은 초월 필터를 범주론적 관점에서 새롭게 조명한다. 서론에서는 Stone 공간과 FinSet의 프로완성 사이의 범주 동형성을 언급하며, 이를 초월 필터에 적용하려는 동기를 제시한다. 초월 필터의 정의와 자유 초월 필터 존재 정리를 간단히 복습한 뒤, 저자는 초월 필터와 유한 분할 사이의 핵심 관계를 탐구한다. 먼저, 집합 S에 대한 모든 유한 분할들의 집합 FP(S)를 정의하고, 이들을 부분 순서화하여 FPS(S)라는 역가족을 만든다. Δ₀≤Δ는 Δ₀의 각 원소가 Δ의 어떤 원소에 포함되는 경우로 정의되며, 이에 대응하는 사상 ψ_{Δ₀,Δ}:Δ₀→Δ는 포함 관계에 따라 원소를 매핑한다. 이 구조는 역가족의 사상들이 합성법칙을 만족함을 보이며, Set 범주에서 역극한을 정의할 수 있는 토대를 마련한다. Lemma 2는 초월 필터 U와 임의의 유한 분할 Δ에 대해 Δ의 원소 중 정확히 하나만이 U에 속한다는 사실을 증명한다. 증명은 반증법을 사용해, 만약 Δ의 모든 원소가 U에 포함되지 않으면 그 여집합들이 모두 U에 들어가게 되고, 교집합이 공집합이 되면서 초월 필터의 공집합 배제 원칙에 위배된다는 논리이다. 다음으로 역극한의 일반 정의를 소개하고, Set 범주에서 역극한이 튜플 (a_i)_{i∈I} 형태로 구체화될 수 있음을 보인다. 여기서 각 a_i∈X_i이며, 모든 사상 f_{ij}에 대해 f_{ij}(a_i)=a_j가 성립한다. Theorem 3은 논문의 핵심 결과이다. 첫 번째 부분은 자유 초월 필터와 역극한 lim←_{Δ∈FP(I)} Big(Δ) 사이의 일대일 대응을 제시한다. 여기서 Big(Δ)는 Δ의 무한 원소들의 집합이다. 두 번째 부분은 전체 초월 필터와 lim←_{Δ∈FP(I)} Δ 사이의 일대일 대응을 제시한다. 증명은 초월 필터 U를 각 분할 Δ와의 교집합 U∩Δ에 대응시키는 함수 Φ를 정의하고, Lemma 2를 이용해 Φ가 잘 정의됨을 확인한다. Φ가 전단사임을 보이기 위해 삽입성은 두 필터가 동일한 교집합 튜플을 가질 때 서로 포함함을 보이고, 전사성은 역극한의 임의 원소 (a_Δ)를 모아 만든 집합 U가 초월 필터의 네 조건을 만족함을 직접 검증한다. 이러한 범주론적 구성을 바탕으로 Rosinger가 제기한 자유 초월 필터와 관련된 추측을 부정한다. Theorem 4는 임의의 함수 f:I→X에 대해 Δ(f)={D∈Δ | f^{-1}(D) 무한} 로 정의된 분할들의 역극한이 공집합임을 보인다. 증명은 자유 초월 필터가 존재하면 역극한에 원소가 존재해야 하는 모순을 이용한다. Corollary 5는 동적 시스템 T:X→X와 점 x∈X에 대해 Δ(x)={D∈Δ | {n∈ℕ | T^n(x)∈D} 무한} 로 정의된 역극한도 공집합임을 보여, Rosinger의 고정점 추측을 부정한다. 마지막으로 저자는 이 결과가 초월 필터를 기존의 필터·극대 아이디얼 관점이 아니라, 유한 분할들의 역시스템과 역극한이라는 범주론적 도구로 재해석함으로써 직관적이고 계산 가능한 모델을 제공한다는 점을 강조한다. 또한, 이 모델을 통해 기존에 추측되던 자유 초월 필터의 존재와 관련된 몇몇 명제들을 명확히 부정함으로써 초월 필터 이론에 새로운 통찰을 제공한다.