베이어 1 함수로 표현 가능한 선형 순서 집합의 구조와 구성법

초록

본 논문은 실수값 베이어 1 함수들의 점별 순서를 기준으로 한 선형(전순서) 부분집합들의 가능한 순서 유형을 연구한다. 베이어 0(연속) 경우와 베이어 α(α>1) 경우는 이미 완전히 해결된 반면, 베이어 1에서는 쿠라토프스키 정리와 수소린 라치코프의 결과가 제한을 제공한다. 저자는 다양한 연산(복제, 무한 직곱, 블렌드 등)이 표현 가능성을 보존함을 증명하고, 이를 이용해 ω₁ 미만의 모든 순서형 I^α(α<ω₁)를 베이어 1 함수로 구현한다. 또한, Cantor 집합, 실수선, 그리고 비σ-콤팩트 폴리시 공간 사이의 표현 가능 순서형이 동일함을 보이며, 아직 해결되지 않은 몇몇 개방문제도 제시한다.

상세 분석

이 논문은 “베이어 1 함수 집합 F를 점별 순서 ≤(f≤g ⇔ ∀x∈X, f(x)≤g(x)) 로 부분 순서화한 뒤, 그 안에서 선형(전순서) 부분집합들의 순서 유형을 어떤 것이 가능한가?”라는 근본적인 질문에 답하고자 한다. 기존에 알려진 두 가지 제한이 핵심이다. 첫째, 쿠라토프스키 정리에 의해 실수선 위의 베이어 1 함수들로는 ω₁ 길이의 증가(또는 감소) 연속을 만들 수 없으며, 따라서 ω₁ 자체는 표현 불가능한 순서형이다. 둘째, 코멘스키가 증명한 바와 같이 수소린 라치코프의 정리로는 Souslin 라인도 베이어 1 함수로는 나타낼 수 없다는 것이 알려져 있다. 이 두 결과는 베이어 1 함수가 연속 함수보다 훨씬 풍부하지만, 여전히 강한 제약을 가진다는 점을 보여준다.

논문은 이러한 제약을 넘어서기 위한 두 축의 전략을 제시한다. 첫 번째는 “표현 가능성 보존 연산”을 체계화하는 것이다. 복제(duplication) 연산 X↦X×{0,1}에 대해, 원래 집합 X가 베이어 1 함수로 표현 가능하면 복제된 집합도 가능함을 증명한다(Statement 2.3). 이는 Peano 곡선을 이용해 각 원소를 불가산 폐집합 위에 “펼쳐” 넣는 기법으로 구현된다. 두 번째는 무한 직곱과 블렌드(blend) 연산이다. X^ω(레키시코그래픽 순서)와 ∑_{n}X_n(서로 다른 부분집합에 각각 다른 순서형을 배치) 역시 적절한 베이어 1 함수들의 조합으로 나타낼 수 있음을 보인다(Statement 2.4, 2.9). 이러한 연산이 모두 보존된다는 사실은 복잡한 순서형을 단계적으로 구축할 수 있는 기반을 제공한다.

구체적인 구성 단계에서는 I^α(α<ω₁)라는 순서형을 중심으로 한다. 여기서 I=