모든 차원에서 비가산 Borel 색채수를 가진 해석적 방향그래프의 이분법

초록

본 논문은 Kechris‑Solecki‑Todorcevic(KST) 이분법을 2차원 그래프에서 일반 차원(유한·무한)으로 확장한다. 유한 차원에서는 기존 증명이 그대로 적용되지만, 무한 차원에서는 연속 동형사상의 기존 정의가 실패함을 보이고, 대신 Baire‑측정 가능한 동형사상을 이용해 이분법을 성립시킨다.

상세 분석

KST 이분법은 분석적 그래프가 Borel 색채수는 가산이지만 연속적인 색칠은 불가능한 경우와, 반대로 연속적인 색칠이 가능한 경우로 정확히 구분한다. 이 결과는 2‑차원(즉, 그래프)에서만 증명되었으며, 차원을 늘리면 복잡도가 급격히 상승한다. 논문은 먼저 차원 d∈ℕ인 경우, 즉 유한 차원에 대해 기존 KST 증명을 그대로 적용할 수 있음을 보여준다. 핵심은 d‑튜플을 다루는 제품 공간 X^d에 대한 표준 Borel 구조와, d‑방향그래프 A⊆X^d가 분석적이면 그에 대응하는 “완전” 그래프 𝔾_d가 존재한다는 점이다. 여기서 𝔾_d는 모든 가능한 d‑튜플을 포함하는데, 이는 연속 동형사상 f:X→2^ℕ가 존재하면 f^d가 𝔾_d를 보존한다는 식으로 활용된다.

그러나 차원이 ℵ₀, 즉 무한 차원일 때는 연속 동형사상의 정의가 문제를 일으킨다. 구체적으로, 무한 직교곱 X^ℕ에 대한 표준 토폴로지는 완비가 아니며, 연속 사상이 한 좌표에서만 변화를 일으키면 전체 튜플의 구조를 보존하지 못한다. 저자는 이를 증명하기 위해 “자연스러운 연속 동형사상”이 존재하지 않음을 보이는 반례를 구성한다. 이 반례는 각 좌표에 독립적인 Borel 집합을 배치해, 어느 연속 함수도 모든 좌표를 동시에 조정하지 못하도록 만든다.

이 문제를 해결하기 위해 저자는 Baire‑측정 가능한 동형사상으로 범위를 넓힌다. Baire‑측정 가능성은 연속성보다 약하지만, 충분히 강력해 무한 차원에서도 𝔾_ℵ₀를 보존하는 사상을 구성할 수 있다. 구체적으로, 저자는 “점근적 연속성”(eventual continuity) 개념을 도입해, 각 좌표가 충분히 큰 인덱스 이후에는 일정하게 행동하도록 만든다. 이를 통해 무한 차원에서도 두 경우(가산 Borel 색채수와 연속/측정 가능한 색칠 가능성)를 정확히 구분한다.

또한, 논문은 Baire‑측정 가능한 동형사상이 실제로는 연속 동형사상보다 강력하지 않다는 점을 강조한다. 즉, 무한 차원에서는 연속 동형사상으로는 불가능한 경우에도 Baire‑측정 가능성만으로는 충분히 “색칠”이 가능하다는 새로운 현상을 보여준다. 이는 분석적 디그래프 이론에서 차원에 따른 복잡도 구분을 보다 정밀하게 이해하게 만든다.

마지막으로, 저자는 이 결과가 기존 KST 이분법의 자연스러운 일반화임을 증명한다. 즉, 모든 차원 d∈ℕ∪{ℵ₀}에 대해, 분석적 디그래프 G가 비가산 Borel 색채수를 가질 경우, 혹은 Baire‑측정 가능한 색칠이 가능한 경우 중 하나만 성립한다는 강력한 이분법을 얻는다. 이는 차원에 무관하게 “색채수의 임계값”이 존재한다는 사실을 의미한다.