균등볼록성으로 푸는 선택 분할 문제

초록

본 논문은 무한 차원 균등볼록 Banach 공간에서 연속 집합값 함수의 선택에 대한 Repovš‑Semenov 분할 문제를 다룬다. Polyak이 제시한 임의의 볼록 집합에 대한 균등볼록성 개념과 그 모듈러스를 이용해 균등볼록 집합들의 기하학적 성질을 정리하고, 이러한 성질을 바탕으로 이미지가 균등볼록인 특정 집합값 함수에 대해 선택을 두 개의 연속 함수로 분할할 수 있음을 증명한다.

상세 분석

논문은 먼저 전통적인 균등볼록성 개념을 일반적인 볼록 집합으로 확장한다. Polyak이 정의한 ‘집합의 균등볼록성(modulus of uniform convexity for a set)’은 두 점 사이의 거리와 그들의 평균점이 집합 내부에 얼마나 깊이 들어가는지를 정량화한다. 저자는 이 정의를 이용해 균등볼록 집합들의 기본적인 기하학적 특성—예를 들어, 모듈러스가 양의 연속함수라면 집합은 강한 내부점성을 가진다, 그리고 두 균등볼록 집합의 교집합도 일정 조건 하에 균등볼록성을 유지한다—을 체계적으로 전개한다.

다음으로 Repovš‑Semenov 분할 문제를 제시한다. 이 문제는 연속적인 집합값 함수 (F:X\to 2^Y)가 주어졌을 때, (F)의 연속 선택 (f)를 두 개의 연속 함수 (f_1,f_2)로 분할하여 (f(x)=\lambda f_1(x)+(1-\lambda)f_2(x)) (0<λ<1) 형태로 표현할 수 있는지를 묻는다. 기존 연구는 주로 유한 차원 혹은 볼록 이미지가 닫힌 구 형태인 경우에만 해결책을 제시했으며, 무한 차원에서는 일반적인 볼록성만으로는 충분치 않다.

저자는 균등볼록 이미지라는 추가 가정을 도입함으로써 이 난관을 극복한다. 핵심 정리는 “(X)가 무한 차원 균등볼록 Banach 공간이고, (F)의 모든 값이 동일한 균등볼록 모듈러스를 가진 집합이면, (F)는 연속 선택을 갖고 그 선택은 위의 분할 형태로 표현될 수 있다”는 것이다. 증명은 크게 두 단계로 이루어진다. 첫째, 균등볼록성으로부터 얻어지는 ‘거리 감소’ 성질을 이용해 선택의 근사 과정을 구축한다. 여기서 모듈러스가 제공하는 양의 하한은 수열이 강수렴하도록 보장한다. 둘째, 이 근사 수열을 적절히 조정해 두 개의 연속 함수로 분리하는 ‘분할 연산자’를 정의한다. 이 연산자는 선형 결합을 보존하면서도 각 성분이 독립적인 연속성을 유지하도록 설계되었다.

또한 저자는 균등볼록성의 몇 가지 부수적 결과—예를 들어, 균등볼록 집합의 외접구 반경이 모듈러스에 의해 하한을 갖는다, 그리고 균등볼록 집합의 지원함수는 리프시츠 연속성을 만족한다—를 제시하고, 이를 통해 기존의 선택 이론에서 자주 등장하는 ‘근접성’과 ‘정밀도’ 조건을 보다 자연스럽게 충족시킬 수 있음을 보인다.

마지막으로, 논문은 몇 가지 구체적인 예시를 들어 결과의 적용 범위를 설명한다. 예컨대, 힐베르트 공간의 단위 구는 물론, L^p 공간(1<p<∞)의 단위 구도 균등볼록성을 갖으며, 이 경우 해당 공간 위의 다변량 최적화 문제에서 발생하는 집합값 제약조건을 만족하는 선택을 효율적으로 분할할 수 있다. 이러한 적용 가능성은 무한 차원 최적화, 변분 불평등, 그리고 게임 이론 등 여러 분야에 파급 효과를 가질 것으로 기대된다.