다중값 함수 연속점 집합의 복잡도: 가측성에서 Borel까지

초록

본 논문은 다중값 함수 F 에 대한 연속성 개념을 정의하고, F 가 연속인 점들의 집합 C(F) 의 서술적 집합론적 복잡도를 분석한다. 값이 콤팩트하거나 σ‑콤팩트인 경우 C(F) 가 각각 G_δ 또는 G_δ 의 가산 합임을 보이며, 이러한 결과가 최적임을 보여주는 반례를 제시한다. 또한 그래프가 Borel 집합임에도 불구하고 C(F) 가 Borel이 되지 않을 수 있음을 증명하고, 더 강한 연속성 개념에 대해서도 유사한 정리를 얻는다.

상세 요약

논문은 먼저 다중값 함수 F:X⇉Y (여기서 X, Y는 완비 거리공간이며 X는 폴란드 공간) 에 대해 “연속성”을 두 가지 방식으로 정의한다. 첫 번째는 전통적인 하위 연속성(upper semicontinuity)과 상위 연속성(lower semicontinuity)이 동시에 만족하는 경우를 의미하며, 이를 “점 연속성(pointwise continuity)”이라 부른다. 두 번째는 모든 선택 함수 f∈Sel(F) 가 연속일 때를 “강연속성(strong continuity)”이라 명명한다.

주요 결과는 다음과 같다. (1) F의 그래프 Gr(F)⊆X×Y 가 Borel이고, 각 값 F(x)가 비공허한 콤팩트 집합이며, F 가 상하 연속성을 동시에 만족할 때, 연속점 집합 C(F)={x∈X : F 가 x 에서 연속} 은 G_δ 집합이 된다. 이는 Gr(F) 가 Fσ 집합이라는 사실과, 연속성 조건을 “∀ε>0 ∃δ>0 ∀y∈F(x) ∃z∈F(x’) d(y,z)<ε” 형태의 열린 조건으로 전환할 수 있음을 이용한 증명이다.

(2) 값이 σ‑콤팩트(즉, 가산 합의 콤팩트 집합)인 경우에는 C(F) 가 G_δ 의 가산 합, 즉 Fσδ 집합이 된다. 여기서는 각 콤팩트 부분에 대해 위의 (1)번 정리를 적용하고, 가산 합을 취함으로써 전체 집합의 복잡도를 추정한다.

(3) 위 두 조건이 없을 때는 복잡도가 급격히 상승한다. 저자는 Gr(F) 가 Borel임에도 불구하고 C(F) 가 analytic(Σ¹₁) 이면서 Borel이 아닌 구체적인 반례를 구성한다. 이 반례는 X=ℝ, Y=ℝ 이며, F 의 값이 비콤팩트이면서도 선택 함수가 복잡한 비결정적 구조를 갖도록 설계된다. 특히, C(F) 를 { x : W_x 가 무한히 많은 자연수들을 포함 } 와 동형시켜, 이 집합이 완전 Σ¹₁ 임을 보인다.

(4) 강연속성에 대해서도 유사한 결과가 성립한다. 강연속성을 만족하는 F 에 대해, 값이 콤팩트이면 C_strong(F) 는 G_δ, 값이 σ‑콤팩트이면 Fσδ 가 된다. 그러나 강연속성 자체가 더 강한 제약을 주므로, 반례는 보다 정교하게 구성해야 하며, 논문은 이를 위해 선택 함수들의 연속성 집합을 Borel‑완전 집합과 연결시킨다.

이러한 일련의 정리는 다중값 함수의 연속성 연구에 서술적 집합론적 도구를 효과적으로 적용했으며, 특히 Ziegler가 제기한 “실수 연산에 최소 이산 조언을 제공하는 복잡도 이론”과의 연관성을 명확히 한다. 결과적으로, 다중값 함수의 연속점 집합이 Borel인지 여부는 값의 콤팩트성, 그래프의 복잡도, 그리고 연속성 정의에 크게 좌우된다는 중요한 통찰을 제공한다.