코히런트와 피니티스 공간 사이의 새로운 대응

초록

이 논문은 코히런트 공간의 클리크 집합을 유한 합으로 닫아 만든 ‘유한히 비일관 집합’을 이용해, 코히런트 공간을 피니티스 공간으로 변환하는 함자를 정의한다. 무한 라무지 정리를 핵심 도구로 사용하며, 이 변환이 선형 논리의 덧셈·곱 연산을 보존함을 보인다. 또한 ℕ 위의 피니티스 공간들의 수가 𝒫(𝒫(ℕ))와 동형임을 증명한다.

상세 분석

논문은 먼저 코히런트 공간 C의 정점 집합 |C| 위에서 “유한히 비일관(finitely incoherent)”이라는 개념을 도입한다. 이는 무한 반클리크(anticlique)를 포함하지 않는 부분집합을 의미한다. 정의에 따라 유한 부분집합, 부분집합의 부분집합, 유한 합, 그리고 모든 클리크는 자동으로 유한히 비일관 집합이 된다. 중요한 점은 이러한 집합들이 반드시 클리크들의 유한 합으로 표현될 필요는 없다는 것이다. 예시로 모든 완전 그래프 Kₙ의 합을 들면 무한 반클리크는 없지만 클리크들의 유한 합으로는 표현되지 않는다.

다음으로 저자는 이 유한히 비일관 집합들의 모임 F(C)를 피니티스 공간의 ‘유한 집합’ 체계와 동일시한다. 핵심 정리인 Lemma 1.3은 C(C)⊥⊥ = F(C⊥)임을 보이며, 여기서 C(C)는 C의 모든 클리크의 집합이다. 증명은 두 포함을 각각 전건과 후건으로 나누어, 무한 라무지 정리를 이용해 교차 집합이 반드시 유한함을 끌어낸다. 이 과정에서 “x∩y가 무한이면 x와 y가 각각 무한 클리크와 무한 반클리크를 포함한다는 모순”을 이용한다.

Lemma 1.5는 F(C⊥) = F(C)⊥⊥을 보여, F가 코히런트 공간의 이중 대수적 구조와 피니티스 공간의 이중 대수적 구조를 일치시킨다. 이어서 Lemma 1.6은 덧셈(⊕)과 텐서곱(⊗) 연산에 대해 F가 구조를 보존함을 증명한다. 특히 ⊗에 대한 증명은 라무지 정리를 다시 활용해, 두 투사 π₁(r), π₂(r) 중 하나가 무한 반클리크를 포함하면 전체 관계 r이 무한 반클리크를 포함한다는 모순을 도출한다.

이러한 결과들을 종합해 Proposition 1.7은 F가 코히런트 공간의 범주 Coh에서 피니티스 공간의 범주 Fin으로의 함자를 제공함을 선언한다. 이 함자는 객체와 관계(모프)를 그대로 보존하고, ⊥, ⊗, ⊕ 연산과도 교환한다. 다만 완전성(전사성)이나 객체의 일대일성은 보장되지 않는다. 예를 들어, 유한 개의 에지 추가·제거는 F의 이미지에 영향을 주지 않는다.

두 번째 주요 섹션에서는 ℕ 위의 피니티스 공간들의 수를 조사한다. Proposition 2.1은 무한 가산 집합 A에 대해 피니티스 공간들의 전체 개수가 𝒫(𝒫(A))와 동형임을 보인다. 증명은 실수 집합 ℝ을 A의 무한 부분집합들의 집합으로 식별하고, 각 실수 x에 대해 그 유한 근사 집합 x↓를 이용해 서로 다른 실수 집합 X, X′가 서로 다른 피니티스 공간을 만든다는 전단을 이용한다. 이는 𝒫(ℝ) ≃ 𝒫(𝒫(A))와 동형임을 보여준다.

마지막으로 저자는 코히런트 공간을 기반으로 한 선형 논리 모델인 FinCoh 범주를 정의하고, 전통적인 ‘!’ 연산자(지수)를 이 범주에 적용하는 데 발생하는 문제점을 논한다. 특히 Kₙ과 Kₙ⊥는 FinCoh에서 동형이지만, 그들의 지수 !Kₙ와 !(Kₙ⊥)는 정점 수가 달라 동형이 될 수 없다는 역설을 제시한다. 중립(edge) 개념을 도입한 비균일 코히런트 공간도 이 문제를 해결하지 못한다. 따라서 완전한 선형 λ-계산 모델을 얻기 위해서는 새로운 지수 개념이 필요함을 강조한다.

전체적으로 이 논문은 코히런트 공간과 피니티스 공간 사이의 구조적 대응을 명확히 하고, 무한 라무지 정리를 핵심 도구로 활용함으로써 두 이론 사이의 교량을 제공한다. 또한 피니티스 공간의 풍부한 카디널리티를 보여줌으로써 코히런트 공간만으로는 모든 피니티스 공간을 포착할 수 없음을 증명한다.