컬렉션와이즈 정규성에서의 선택 정리와 확장 정리의 새로운 접근

본 논문은 컬렉션와이즈 정규 공간에서의 마이클 선택 정리를 새로운 관점에서 재검토한다. 서론에서는 2^E, F(E), C(E), C′(E)와 같은 집합값 함수들의 기본 정의와 l.s.c. (lower semi‑continuous) 개념을 소개하고, 컬렉션와이즈 정규성의 정의와 Dowker의 확장 정리와의 동등성을 언급한다. 마이클의 원래 정리(정리 1.1)는 “X가 컬렉션와이즈 정규이면, Banach 공간 E와 C′(E)‑값 l.s.c. convex 매핑 ϕ가 연속 선택을 가진다”는 내용을 담고 있다. 그러나 기존 증명은 C(E)‑값 경우에만 완전했으며, C′(E)‑값에 대한 증명은 불완전했다. 본 논문의 핵심 결과는 정리 1.2로, (a) “X가 컬렉션와이즈 정규이고 ϕ:X→C(E)인 경우 연속 선택 존재”와 (b) “X가 컬렉션와이즈 정규이고 ϕ:X→C′(E)인 경우 연속 선택 존재”가 동등함을 보인다. 증명은 (a)⇒(b)만을 다루며, 핵심 도구는 Claim 2.1이다. Claim 2.1은 ψ:X→2^E가 l.s.c. convex이며, 연속 함수 g가 ψ와 겹치지 않는 점들에서 ψ가 컴팩트값을 가질 때, 任意 ε>0에 대해 ψ가 연속 ε‑선택을 가진다는 것을 보인다. 이때 A={x: d(g(x),ψ(x))≥ε}는 폐집합이며, ψ|_A는 C(E)‑값이므로 (a)를 적용해 연속 선택 h₀를 얻는다. Dowker 확장 정리를 이용해 h₀를 전체 X로 연속적으로 확장하고, 열린 집합 U={x: d(h(x),ψ(x))<ε}와 연속 함수 α를 구성해 f=α·g+(1−α)·h를 정의하면 f는 ε‑선택이 된다. 이 ε‑선택을 반복 적용해 2⁻ⁿ‑정밀의 연속 함수열 {fₙ}을 만들고, 완비 거리공간 (E,d)에서 수렴시켜 최종 연속 선택 f를 얻는다. 이렇게 하면 ϕ가 C′(E)‑값이더라도 (a)만으로 (b)를 증명할 수 있다. 섹션 3에서는 τ‑컬렉션와이즈 정규성 개념을 도입하고, 위에서 만든 Claim 2.1을 τ‑제한 상황에 맞게 조정한다. E의 위상적 무게 w(E)≤τ라는 가정 하에, 로컬하게 유한한 열린 커버 V를 선택하고, g와 ψ의 관계를 이용해 A=X\⋃U₁를 정의한다. A는 ψ가 컴팩트값을 갖는 폐집합이며, τ‑컬렉션와이즈 정규성에 의해 A에 대한 열린 정밀 커버 U₂를 얻는다. 최종적으로 전체 커버 U=U₁∪U₂와 파티션 오브 유닛 {ξ_U}를 사용해 ε‑선택 f를 구성한다(정리 3.1). 이는 마이클 정리의 자연스러운 일반화이며, 기존 결과와 일치한다. 다음으로 저자들은 “C′(E)‑결핍”이라는 개념을 도입한다. 이는 어떤 연속 함수 g가 존재해, g(x)∉ψ(x)이면 ψ(x)∈C(E)임을 의미한다. C′(E)‑값 매핑은 언제나 이 성질을 갖지만, 더 일반적인 F(E)‑값 매핑도 이 결핍을 가질 수 있다. 이에 대한 열린 질문(Question 1)을 제시하며, 일반적인 컬렉션와이즈 정규 공간에서 이러한 매핑이 연속 선택을 가질지 여부는 미해결임을 밝힌다. 또한 Gδ‑부분집합 Y⊂E에 대한 선택 문제(Question 2)를 논의한다. Y가 완비 메트릭 공간의 Gδ‑집합이면 절대 재배치(AR)이며, 이 경우에도 C′(Y)‑값 매핑에 대한 선택 정리가 성립할 가능성을 탐색한다. 기존에 알려진 부분 결과(예: Y가 열린 볼록 집합의 교집합인 경우, 차원 제한이 있는 경우 등)를 정리하고, 일반적인 경우는 아직 부정적인 반례가 존재함을 언급한다. 섹션 4에서는 제어 선택(Controlled Selection) 개념을 정형화한다. η:X→(0,∞)가 하반연속이고, g가 η‑선택이면, ψ(x)=ϕ(x)∩B_{α(x)}(g(x))를 정의해 연속 선택을 얻는다. 이를 통해 카운터블 파라콤팩트·정규 공간이 다음과 동등함을 보인다(정리 4.1): (a) X가 카운터블 파라콤팩트·정규, (b) 모든 l.s.c. convex 매핑 ϕ와 η‑선택 g에 대해 ϕ가 연속 선택을 갖는다, (c) 실수값 경우의 특수 버전. 증명은 (a)⇒(b)에서 상위 반연속 함수 ξ(x)=d(g(x),ϕ(x))를 이용해 연속 α를 끼워 넣고, ψ를 정의해 Michael의 선택 정리(정리 3.1′′)를 적용한다. (c)⇒(a)는 선택 정리를 이용해 두 폐집합을 분리하고, 카운터블 파라콤팩트를 증명하는 전통적인 방법을 재현한다. 마지막으로 Proposition 4.2는 ε‑선택이 주어졌을 때 정확히 ε 이내의 연속 선택을 얻는 방법을 제시한다. ψ(x)=B_ε(g(x))와 θ(x)=ϕ(x)∩B_ε(g(x))를 정의하고, θ가 l.s.c. convex이며 θ(x)≠ψ(x)이면 θ(x)∈C(E)임을 이용해