레레크 문제는 거리 문제가 아니다

본 논문은 레레크가 제시한 “스팬이 0인 연속체는 체인가능한가?”라는 고전적인 위상수학 문제를 새로운 관점에서 접근한다. 저자들은 이 문제가 메트릭 공간에만 국한된 것이 아니라, 비메트릭(비거리) 연속체에서도 동일하게 다룰 수 있음을 보이며, 비메트릭 반례가 존재한다면 이를 메트릭 반례로 변환할 수 있는 구체적인 방법을 제시한다. 1. **예비 개념 정리** - **체인가능성**: 모든 유한 열린 피복이 체인 정제를 가짐. - **스팬의 네 종류**: 일반 스팬, 반스팬, 전사 스팬, 전사 반스팬. 각각은 X×X의 연속 부분집합 Z가 특정 투사 관계를 만족하면서 대각선 Δ_X와 교차하지 않을 때 정의된다. 스팬이 0이면 모든 이러한 Z가 Δ_X와 교차한다. - **Wallman 표현**: 격자 L⊂2^X에 대해 초필터 공간 wL을 구성하고, L이 정상이면 wL은 Hausdorff이며, L이 가산이면 wL은 메트릭이다. 2. **초등 부분격자와 메트릭 쿼션** 로웬하임‑스코렐 정리를 이용해, 큰 격자 2^X 안에서 가산 초등 부분격자 L을 선택한다. L은 X와 동일한 논리적 특성을 보존하므로, Wallman 공간 wL은 X의 “초등 반영”이며, 가산성 때문에 완비 메트릭 공간이 된다. 3. **체인가능성 보존** - **X → wL**: X가 체인가능하면, 임의의 유한 열린 피복 U⊂wL에 대해 L 안에서 체인 정제를 찾을 수 있다. 이는 “U가 체인 정제를 갖는다”는 1차 논리식이 H(θ) 안에서 참이면, 초등성에 의해 M 안에서도 참이 되기 때문이다. - **wL → X**: 반대로 X가 체인가능하지 않다면, X에 체인 정제가 없는 열린 피복을 선택하고, 그 피복이 L에 포함되는 것을 이용해 wL에서도 체인 정제가 존재하지 않음을 보인다. 4. **스팬 보존** - **비제로 스팬 → 비제로 스팬**: 스팬이 0이 아닌 경우는 존재하는 연속 부분집합 Z⊂X×X가 특정 투사 관계를 만족한다는 존재 명제로 표현된다. 이 명제는 초등성에 의해 M 안에도 동일하게 존재하므로, q_K를 통해 wL×wL에 대응되는 연속 부분집합이 존재한다. 따라서 wL에서도 같은 종류의 스팬이 0이 아니다. - **제로 스팬 → 제로 스팬**: 여기서는 반대 방향을 증명해야 한다. 저자들은 셸라의 울트라파워 정리를 활용한다. X와 wL이 초등 동형이므로, 적절한 카디널 κ와 울트라필터 u에 대해 Q_u(K)와 Q_u(2^X×X)가 동형임을 보인다. 이 동형을 통해 wL×wL 안의 비제로 스팬 연속 부분집합 Z를 울트라코파워를 거쳐 X×X 안의 Z'로 끌어올릴 수 있다. 따라서 wL에서 스팬이 0이 아니면 X에서도 0이 아니다. 귀류법으로 wL에서 스팬이 0이면 X에서도 0임을 얻는다. 5. **주요 정리** - **정리 1**: X가 체인가능 ⇔ wL이 체인가능. - **정리 2**: X의 어느 종류의 스팬이 0이 아니면, wL에서도 같은 종류의 스팬이 0이 아니다. - **정리 3**: X의 어느 종류의 스팬이 0이면, wL에서도 같은 종류의 스팬이 0이다. 6. **결론 및 의의** 위 정리들을 종합하면, “스팬이 0이면 체인가능”이라는 레레크 문제는 비메트릭 연속체에서의 반례 존재 여부가 메트릭 연속체에서의 반례 존재 여부와 동치임을 알 수 있다. 즉, 비메트릭 반례가 존재한다면, 로웬하임‑스코렐과 셸라의 모델 이론 도구를 이용해 메트릭 반례를 명시적으로 구성할 수 있다. 따라서 레레크 문제는 본질적으로 메트릭 범위에 국한될 수 있으며, 메트릭 연속체에 대한 탐구만으로 문제를 해결할 수 있다. 저자들은 또한 이러한 방법론이 다른 위상수학 문제에도 적용될 가능성을 제시하며, 모델 이론과 위상수학의 교차점에서 새로운 연구 방향을 제안한다.