연속함수와 베어 1계 함수의 초월적 순서열 길이 연구

본 논문은 “점별 순서”라는 자연스러운 부분 순서를 메트릭 공간 X 위의 실값 함수 집합에 적용했을 때, 연속함수와 베어 1계 함수가 형성할 수 있는 잘 정렬된(웰오더드) 사슬의 가능한 길이를 조사한다. 연구는 크게 두 부분으로 나뉜다. 첫 번째 부분은 연속함수 C(X,ℝ)에 초점을 맞춘다. 여기서는 메트릭 공간 X의 밀도 d(X)와 사슬 길이 사이의 정확한 관계를 밝힌다. Lemma 1.1은 “C(X,ℝ) 안에 길이 ξ인 웰오더드 사슬이 존재한다면 ξ < d(X)⁺”임을 증명한다. 증명은 밀집 집합 D⊂X를 선택하고, 각 사슬 원소 f_α에 대해 D에서 구별 가능한 점 d_α를 찾아 f_α(d_α) < f_{α+1}(d_α)임을 이용한다. 각 점 d∈D에 대해 해당 α들의 집합 E_d는 ℝ의 웰오더드 부분집합이므로 카운트 가능하고, 전체 사슬 길이는 |D|와 ω 중 큰 값, 즉 d(X)와 동등하거나 작다. 반대로 Lemma 1.2는 메트릭 공간에서는 임의의 전순서(총순서) ≺가 d(X)와 동형인 사슬을 만들 수 있음을 보인다. 구체적으로, 거리 2^{-n} 이하로 서로 떨어진 점들의 집합 D_n을 차례로 구성하고, 각 점 d∈D에 대해 연속 함수 ψ_{n,d}를 정의한다. ψ_{n,d}는 d와 거리가 2^{-n} 이하인 점들에 대해 2^{-n}−dist(x,d) 값을 갖고, 그 외에는 0이다. 그런 다음 f_d = Σ_{n<ω} ψ_{n,d}를 정의하면, d≺e이면 f_d < f_e가 된다. 따라서 d(X) 이하의 모든 전순서를 실현하는 사슬이 존재한다. 이 두 레마를 종합한 Theorem 1.3은 “ξ < d(X)⁺ ⇔ C(X,ℝ)에 ξ 길이의 웰오더드 사슬이 존재한다”는 완전한 특성을 제시한다. 즉, 분리 가능한 메트릭 공간(밀도 ℵ₀)에서는 모든 연속함수 사슬이 가산이며, 이는 폴란스키 공간에 대한 고전적 결과와 일치한다. 두 번째 부분은 베어 1계 함수 B₁(X)에 대한 분석이다. 여기서는 연속함수와 달리, 분리 가능한 메트릭 공간에서도 ω₂ 미만의 모든 순서형을 실현할 수 있음을 보인다. 핵심 아이디어는 P(ω) 위의 “거의 포함”(⊂*) 관계를 이용하는 것이다. Lemma 2.1은 ⊂* 관계에 따라 정렬된 X⊂P(ω)가 주어지면, X를 코턴 집합 2^ω에 식별하고, 각 x∈X에 대해 Baire 1 특성함수 f_x를 정의함으로써 (X,⊂*)와 동형인 베어 1계 함수 사슬을 만든다. 특성함수는 {y∈X : y⊂*x}와 같은 F_σ 집합의 지표함수이므로 Baire 1이다. Lemma 2.2는 무한 기수 κ에 대해 ⊂* 관계 안에 κ 길이 사슬이 존재하면, 그 사슬 안에 κ⁺ 이하의 모든 순서형을 삽입할 수 있는 확장 사슬 X를 구성할 수 있음을 증명한다. 구체적으로, κ‑길이 사슬 {x_α : α<κ}를 시작점으로 삼아, 유한 시퀀스 s∈S (S는 유한 길이의 κ‑수열)마다 새로운 원소 x_s를 정의하고, 이들을 적절히 정렬한다. 이렇게 만든 X는 “사이” 구간마다 κ 길이의 사슬을 포함하므로, 귀납적으로 모든 ξ<κ⁺가 삽입 가능하다. 이 두 레마를 결합하면 Theorem 2.3이 도출된다. 즉, 어떤 분리 가능한 메트릭 공간 X에 대해, ω₂ 미만의 모든 순서형 ξ에 대해 길이 ξ인 베어 1계 함수 사슬이 존재한다. 그러나 ω₂ 길이 사슬의 존재 여부는 집합론적 가정에 크게 좌우된다. 연속체 가설(CH) 하에서는 분리 가능한 공간에 존재하는 Baire 1 함수의 수가 2^{ℵ₀}=ℵ₁이므로, ω₂ 길이 사슬은 불가능하다. 반면, MA(맥시멀 안티체인)와 같은 추가 가정 하에서는 ⊂* 관계에 연속체 크기 c 만큼 긴 사슬이 존재하고, 따라서 B₁(X)에서도 c⁺ 미만의 모든 순서형을 실현한다. 반대로 Cohen 확장에서는 ⊂* 관계에 ω₂ 길이 사슬이 존재하지 않는다. 이를 보이기 위해 Lemma 2.4와 Theorem 2.5를 이용한다. Lemma 2.4는 만약 어떤 분리 가능한 메트릭 공간 Y에 ω₂‑길이 Borel 집합 사슬 {B_α : α<ω₂}가 존재한다면, ω₂×ω₂에서 “<” 관계가 직사각형 σ‑대수에 포함된다는 사실을 도출한다. 그러나 Cohen 확장에서는 이 σ‑대수에 “<”가 포함되지 않는다는 HP₂(ω₂) 원리가 성립한다(Brendle‑Fuchino‑Soukup). 따라서 Theorem 2.5는 “<”가 직사각형 σ‑대수에 포함되지 않으면, 어떤 분리 가능한 메트릭 공간에서도 Baire 1 함수의 ω₂‑길이 사슬은 존재할 수 없음을 결론짓는다. 결론적으로, 논문은 연속함수와 베어 1계 함수 사이의 차이를 명확히 구분하고, 메트릭 공간의 밀도와 집합론적 가정이 사슬의 최대 길이에 미치는 영향을 체계적으로 분석한다. 연속함수의 경우 사슬 길이는 공간의 밀도와 정확히 일치하지만, 베어 1계 함수는 추가적인 집합론적 독립성 현상을 보여준다. 이는 함수 공간 위의 순서 구조와 집합론 사이의 깊은 연관성을 드러내며, 특히 베어 1계 함수의 경우 순서형 복잡성이 연속체 가설, MA, Cohen 강제 등 고급 집합론적 원리와 직접 연결된다는 중요한 통찰을 제공한다.