단순연결 평면 연속체의 비계산성

초록

이 논문은 단순연결이며 평면에 놓인 Π⁰₁(코-이) 폐집합 중에서도 계산 가능한 점을 전혀 포함하지 않는 수축가능한 덴드로이드를 구성함으로써 Le Rou​x‑Ziegler의 질문에 부정적으로 답한다. 또한 *‑포함 개념을 이용해 계산 가능한 덴드라이트·덴드로이드와 Π⁰₁ 덴드라이트·덴드로이드 사이의 전역적 비계산성 예시들을 제시한다.

상세 분석

본 연구는 연속체 이론과 계산 가능성 이론을 교차시켜, “단순연결”이라는 위상적 가정이 Π⁰₁ 폐집합에 계산 가능한 점을 보장하지 못한다는 사실을 정밀히 증명한다. 핵심은 두 단계로 이루어진 구성이다. 첫 번째 단계에서는 기본 dendrite B를 변형하여, 각 “rising” t에 대해 폭 w(t)를 비계산 가능한 c.e. 집합 A의 멤버 여부에 따라 0 혹은 양의 실수로 지정한다. 이렇게 하면 A에 속하는 t에 대해서만 해당 가지가 얇게 열리며, 전체 구조는 여전히 dendrite이면서도 계산 가능하게 된다. 두 번째 단계에서는 이러한 dendrite D가 어떤 Π⁰₁ 트리를 *‑포함할 수 없음을 보인다. 가정에 따라 B={t | \hat B_t∩T=∅}가 c.e.가 되며, 이는 A가 비계산 가능함을 모순시킨다. 따라서 D는 Π⁰₁ 트리를 임의의 작은 Hausdorff 거리 안에서 근사할 수 없으며, 이는 “almost computable”이 아닌 첫 번째 예시가 된다.

다음으로 저자는 Π⁰₁ 덴드라이트와 계산 가능한 덴드라이트 사이의 비대칭성을 보여준다. ψ와 같은 인코딩을 이용해 2^{<ℕ}의 트리를 R²에 임베딩하는 함수 Ψ를 정의하고, 트리 T가 Π⁰₁이면 Ψ(T) 역시 Π⁰₁ dendrite이 된다(역도 성립). 이를 바탕으로, 비계산 가능한 c.e. 집합을 코드화한 트리 T_A를 선택하면, Ψ(T_A)는 Π⁰₁ dendrite이지만 어떠한 계산 가능한 dendrite도 *‑포함하지 못한다. 반대로, 계산 가능한 트리 S를 이용해 Ψ(S)를 만들면, 이는 계산 가능한 dendrite이지만 Π⁰₁ dendrite을 *‑포함하지 않는다. 마지막으로, 위의 두 구성요소를 결합해 수축가능(con­tractible)인 Π⁰₁ dendroid를 얻는다. 이 dendroid는 단순연결이며, 위의 논증에 따라 전혀 계산 가능한 점을 포함하지 않는다. 따라서 “단순연결 + Π⁰₁”라는 위상적 조건만으로는 계산 가능한 점의 존재를 보장하지 못한다는 강력한 반례가 제공된다.

또한 저자는 효과적 경로 연결(semi‑effective arcwise connectivity)과 효과적 경로 연결(effective pathwise connectivity)의 차이를 강조한다. 앞서 만든 dendrite D는 효과적으로 경로 연결되지만, 임의의 ε>0에 대해 두 점을 연결하는 Π⁰₁ 호가 존재하지 않으므로 반-효과적 arcwise 연결이 아니다. 이는 연속체 이론에서 전통적인 위상적 연결성과 계산 가능성 사이의 미묘한 차이를 드러낸다.

전체적으로 이 논문은 연속체의 위상적 성질(단순연결, 수축가능)과 계산 가능성(Π⁰₁, c.e., *‑포함) 사이의 관계를 정밀히 분석하고, 여러 새로운 비계산성 예시를 통해 기존의 “비기저 정리”가 연속체에도 확장될 수 있음을 보여준다. 이는 컴퓨터 과학, 수학 논리, 그리고 계산 가능 해석 분야에 중요한 통찰을 제공한다.