비정규 공간에서 파라컨벡스 값 매핑 선택 정리의 확장

초록

본 논문은 마이클의 파라컨벡스 선택 정리를 파라콤팩트가 아닌 컬렉션와이즈 정규 공간으로 일반화한다. 가중치가 τ 이하인 Banach 공간 E와 α<1인 파라컨벡스 집합을 값으로 갖는 하위 연속(l.s.c.) 매핑 ϕ:X→C′α(E)에 대해, X가 τ‑컬렉션와이즈 정규이면 ϕ는 연속 선택을 가진다. 또한 선택의 근사적 버전과 여러 일반화(τ‑파라콤팩트, 함수형 파라컨벡스, d‑연속 등)도 제시한다.

상세 분석

논문은 먼저 기존의 마이클 선택 정리(Paracompact X, Banach E, α‑paraconvex ϕ)와 그 증명에 사용된 핵심 도구들을 정리한다. 핵심 개념은 α‑paraconvex 집합(0≤α<1)으로, 이는 볼 안에서의 거리 비율을 α로 제한하는 일반화된 볼록성이다. 저자는 이 개념을 C′α(E)=Cα(E)∪{E}라는 폐집합·컴팩트 집합들의 패밀리로 확장한다.

다음으로 컬렉션와이즈 정규성(τ‑collectionwise normal)을 도입한다. 이는 파라콤팩트와 정규성 사이의 중간 성질로, 모든 크기 ≤τ인 이산 폐집합족에 대해 서로 분리되는 열린 커버를 존재하게 한다. 이 성질을 이용해 Proposition 2.2를 증명한다: l.s.c. 매핑 ϕ:X→C′(E)와 증가하는 열린 커버 {V_n}에 대해, ϕ⁻¹(V_n) 안에 포함되는 증가하는 폐집합 커버 {A_n}를 구성할 수 있다. 핵심은 완전 계량공간 E에 대해 Choban‑Vălov의 결과를 적용해 u.s.c. 다중 선택 ψ를 얻고, ψ⁻¹(F_n)을 이용해 A_n을 만든다.

Lemma 2.3은 d‑proximal 연속(convex‑valued) 매핑 ψ와 그에 대한 l.s.c. 다중 선택 ϕ가 존재하면 ϕ가 연속 선택을 가진다는 사실을 제공한다. 여기서 d‑proximal 연속은 l.s.c.와 d‑u.s.c.를 동시에 만족하는 약한 연속성 개념이다.

Theorem 2.1의 증명은 (b)와 (a) 두 부분으로 나뉜다. (b)에서는 γ∈(α,1)을 잡아 수열 {f_n}을 재귀적으로 정의한다. 각 단계에서 ψ_{n+1}(x)=B_{γ^n r}(f_n(x))를 만들고, ϕ_{n+1}(x)=conv(ϕ(x)∩B_{γ^n r}(f_n(x)))를 정의한다. ϕ_{n+1}은 l.s.c.이며 ψ_{n+1}의 다중 선택이며, 필요시 컴팩트성을 확보한다. Lemma 2.3을 적용해 연속 선택 f_{n+1}을 얻고, 거리 차이를 γ^n r 이하로 제한한다. 수열 {f_n}은 카우치 수열이므로 한 점에서 수렴하고, 그 극한 f가 연속 선택이 된다. (a)에서는 Proposition 2.2로 얻은 폐집합 커버 {B_n}와 그 내부의 열린 집합 {U_n}을 이용해 X를 증가하는 열린 커버로 분할하고, 각 U_n 위에서 (b)에서 만든 선택을 일관되게 연결한다. 이렇게 하면 전역 연속 선택이 구축된다.

그 후 저자는 여러 확장 가능성을 탐색한다. 첫째, τ‑paracompact·정규 공간에서도 동일한 결과가 성립함을 Theorem 3.2, Corollary 3.3으로 제시한다. 둘째, α가 점마다 달라지는 경우(α(x)‑paraconvex)와 함수형 파라컨벡스(h‑paraconvex) 개념을 도입해 Theorem 3.4, 3.5를 제시한다. 여기서는 h가 (PS) 성질을 만족하면 동일한 선택 정리가 유지된다. 셋째, 매핑 자체의 연속성을 d‑연속 혹은 d‑proximal 연속으로 약화했을 때의 가능성을 논의한다. Theorem 3.6은 d‑연속인 경우 선택이 존재함을 보이지만, d‑proximal 연속만으로는 아직 미해결(Question 3.7)이다.

전체적으로 논문은 컬렉션와이즈 정규성이라는 보다 일반적인 토폴로지적 가정 하에서 파라컨벡스 값 매핑의 연속 선택 존재를 확보함으로써, 기존의 파라콤팩트 기반 선택 이론을 크게 확장한다. 증명 기법은 다중 선택의 존재, d‑proximal 연속성, 그리고 카우치 수열 수렴을 조합한 것이 특징이며, 이후 연구를 위한 여러 열린 질문을 제시한다.