ℓₚ·c₀형 동치관계의 위치를 결정하는 새로운 Π¹₁ 이분법

본 논문은 세 부분으로 구성된다. 첫 번째 부분(섹션 2)에서는 “lower Π¹₁ pseudo‑metric”이라는 개념을 도입한다. 여기서 d는 Polish 공간 X 위의 의사거리이며, 모든 양의 실수 δ에 대해 {(u,v):d(u,v)<δ}가 Π¹₁ 집합이다. Gandy‑Harrington 위상을 이용해 Q={(u,v):d(u,v)<δ}와 R={(u,v):d(u,v)<δ/2}를 정의하고, Lemma 2.3을 통해 두 경우(가산 커버 존재 혹은 완전 집합 존재) 중 하나가 반드시 성립함을 보인다. 이때 완전 집합 C는 서로 다른 두 점 사이의 거리가 최소 δ/2 이상인 특성을 가진다. 이 정리는 기존 실버 정리의 거리 버전으로, 비가산 Polish 공간에서도 “가산 밀집” 혹은 “거리 하한을 갖는 완전 집합” 중 하나가 반드시 존재함을 보인다. 두 번째 부분(섹션 3)에서는 위 이분법을 ℓₚ‑형 동치관계 E((Xₙ,dₙ);p)와 c₀‑형 동치관계 E((Xₙ,dₙ);0)에 적용한다. 각 Xₙ에 대해 δ(Xₙ)=inf{δ: Xₙ는 δ‑separable}를 정의한다. - ℓₚ‑형(정리 3.2): (i) ∑ₙ δ(Xₙ)^{p}<∞이면, 각 Xₙ를 δₙ‑밀집 집합 Sₙ에 근사시키고, Aharoni 정리(모든 가산 metric space는 c₀에 Lipschitz 동형)로 Sₙ을 c₀에 삽입한다. 이를 통해 Borel 함수 θ를 구성해 E ≤_B E(c₀;p)임을 보인다. (ii) ∑ₙ δ(Xₙ)^{p}=∞이면, Theorem 2.2의 완전 집합을 이용해 2^ℕ를 각 Xₙ에 삽입하고, 좌표가 무한히 많이 달라지는 경우 거리 합이 무한대가 되게 함으로써 E₁ ≤_B E임을 증명한다. - c₀‑형(정리 3.4): (i) δ(Xₙ)→0이면, 위와 동일하게 각 Xₙ를 근사시켜 ℝ^ℕ/c₀에 Borel 감소 가능함을 보인다. (ii) δ(Xₙ)이 0으로 수렴하지 않으면, 다시 완전 집합을 이용해 E₁ ≤_B E임을 얻는다. 세 번째 부분(섹션 4)에서는 기존 연구에서 사용된 추가 조건들을 정리한다. (ℓ1) 조건은 “각 좌표의 거리의 p‑제곱합은 유한하지만, 개별 거리들은 arbitrarily small”라는 상황을 의미한다. 이 조건이 성립하면 RN/ℓ₁ ≤_B E가 되고, 성립하지 않으면 E는 E₀와 동등하거나 trivial(모든 원소가 동치)임을 보인다(Corollary 4.1). c₀‑형에서는 (*) 조건을 도입해, 거리 상한이 양수인 쌍이 무한히 존재하는 경우와 그렇지 않은 경우를 구분한다. (*)가 성립하면 E_{ω₀} ≤_B E ≤_B ℝ^ℕ/c₀, 성립하지 않으면 E는 E₀와 동등하거나 trivial이다(Corollary 4.2). 마지막으로 논문은 이러한 결과들이 Borel 감소 가능성 계층에서 ℓₚ‑형·c₀‑형 동치관계가 어디에 위치하는지를 명확히 보여주며, 특히 E₁, E₀, E_{ω₀}와 같은 고전적 표준 관계와의 비교를 통해 삼분법적 구조를 제시한다. 이는 Descriptive Set Theory와 Banach 공간 이론 사이의 교량 역할을 하며, 향후 복잡도 이론에서 거리 구조를 이용한 새로운 분류 결과를 도출하는 데 중요한 도구가 될 것이다.