초음계 공간에서 베이어 1계 함수의 새로운 전개: 전점극한과 전완 함수의 동등성

본 논문은 초음계(ultrametric) 공간 X와 가산 분리 가능한 거리공간 Y 사이의 함수들을 대상으로, 베이어 1계 함수에 대한 새로운 특성을 제시한다. 서론에서는 베이어 계층과 Δ‑계층이라는 두 가지 전통적인 Borel 함수 분류 체계를 소개하고, 각각이 연속성, 전상(Σ⁰_ξ), 그리고 함수 합성에 대한 닫힘 성질에서 어떻게 차이를 보이는지를 설명한다. 특히 베이어 1계 함수는 Σ⁰₂ 전상을 갖는 함수이며, 제로 차원 공간이나 ℝⁿ과 같은 경우 연속함수들의 점별극한으로 표현될 수 있다는 기존 정리를 언급한다. 그러나 이러한 조건은 초음계 공간에서는 일반적이지 않다. 두 번째 섹션에서는 기본 정의와 주요 정리를 정리한다. 베이어 ξ‑계 함수 B_ξ(X,Y)는 Σ⁰_{ξ+1}‑측정가능함과 동치이며, Δ⁰_ξ‑함수 D_ξ(X,Y)는 전상과 보충 전상이 모두 Σ⁰_ξ에 속하는 함수로 정의된다. Proposition 2.3은 Δ⁰_ξ‑함수의 여러 동등한 정의를 제시하고, Theorem 2.4는 Baire ξ‑계 함수가 Δ⁰_{ξ+1}‑함수들의 균등극한임을 증명한다. Corollary 2.5·2.6은 이를 ξ=1 및 ξ>1 경우에 각각 적용한다. 핵심 기여는 전완(full) 함수와 ω‑full 함수라는 새로운 개념이다. 전완 집합은 일정 반경 r>0의 열린 볼을 모두 포함하는 집합이며, 초음계 공간에서는 이러한 집합들의 합집합·보충·유한 교차가 다시 전완 집합이 되는 알제브라 구조를 가진다. 전완 함수는 값이 유한(또는 가산)개이고, 각 값의 원상이 전완 집합인 함수이며, 이는 자동으로 Lipschitz(상수 r⁻¹)이고 균등 연속이다. Proposition 2.8은 전완 함수와 Lipschitz 함수 사이의 보존 관계를 보여준다. Theorem 2.9는 논문의 중심 결과로, “f가 베이어 1계 ⇔ f는 전완 함수들의 점별극한”임을 증명한다. 증명은 다음과 같이 전개된다. (⇒) 방향에서는 베이어 1계 함수 f의 Σ⁰₂ 전상을 가산 개의 전완 집합으로 분해하고, 각 전완 집합에 고정값을 할당해 전완 함수들의 열을 만든다. 이 열은 점별히 f에 수렴한다. (⇐) 방향에서는 전완 함수가 Σ⁰₂ 전상을 갖는다는 사실을 이용해, 점별극한이 Σ⁰₂ 전상을 유지함을 보인다. Corollary 2.10은 Theorem 2.9를 확장하여, 초음계 공간 X와 일반 거리공간 Y에 대해 다음 네 조건이 동등함을 제시한다: (i) 베이어 1계, (ii) ω‑full 함수들의 점별극한, (iii) Lipschitz 함수들의 점별극한, (iv) 균등 연속 함수들의 점별극한. 이는 전완 함수가 Lipschitz·균등 연속이라는 사실을 이용한 직접적인 귀결이다. 세 번째 섹션에서는 Baire 계층과 Δ‑계층 사이의 연결 고리를 상세히 논한다. Δ⁰_ξ‑함수들의 집합이 Baire ξ‑계 함수들의 균등극한을 제공한다는 사실은 기존 문헌(특히 Kechris