연속 선택 함수의 분할 문제와 P‑집합 및 엄격볼록성

초록

본 논문은 유한 차원 Banach 공간에서 연속 집합값 함수에 대한 Repovš‑Semenov 분할 문제를 연구한다. 이미지 혹은 그래프가 Balashov가 정의한 P‑집합이거나 엄격히 볼록한 경우에 문제에 긍정적인 해답이 존재함을 증명하고, $\mathbb{R}^{3}$에서의 반례를 제시한다. 또한 Hilbert 공간에서 Lipschitz 연속 선택에 대한 근사 분할 문제에 대해 긍정적인 결과를 얻는다.

상세 분석

Repovš‑Semenov 분할 문제는 두 개의 연속 집합값 함수 $F,G:X\to 2^{Y}$가 주어졌을 때, 각각의 선택 함수 $f\in\mathcal{S}(F), g\in\mathcal{S}(G)$가 존재하여 $f(x)+g(x)=h(x)$를 만족하는 연속 선택 $h\in\mathcal{S}(F+G)$가 가능한지를 묻는다. 기존 연구에서는 일반적인 Banach 공간에서 부정적인 예가 알려져 있었지만, 본 논문은 이미지 혹은 그래프가 특정 기하학적 구조를 가질 때 문제를 해결할 수 있음을 보인다.

우선 Balashov가 제시한 P‑집합 개념을 도입한다. P‑집합은 모든 연속적인 선형 사상에 대해 이미지가 닫힌 볼록 집합을 유지하는 특성을 갖는다. 저자는 이 특성을 이용해, $F$와 $G$의 값이 P‑집합이면 각각의 선택을 구성하는 과정에서 거리 함수가 연속적으로 변함을 보이고, 따라서 합집합 $F+G$도 P‑집합이 된다. 이때 Hahn‑Banach 정리와 Michael 선택 정리를 결합하여, $F+G$에 대한 연속 선택 $h$가 존재함을 증명한다.

다음으로 엄격볼록성(strict convexity)을 고려한다. 집합 $C\subset Y$가 엄격히 볼록하다는 것은 $C$의 서로 다른 두 점을 연결하는 열린 선분이 $C$의 내부에 완전히 포함된다는 뜻이다. 엄격볼록성은 선택 함수의 유일성을 보장하는 핵심 조건으로 작용한다. 저자는 $F(x)$와 $G(x)$가 모두 엄격히 볼록한 경우, 각각의 선택을 정의할 때 거리 최소화 원리를 적용하면 선택이 연속적으로 변함을 보인다. 특히, 거리 최소화 선택은 $F$와 $G$가 각각 완전히 매끄러운 곡면을 이루는 경우에 자연스럽게 정의될 수 있다.

반례는 $\mathbb{R}^{3}$에서 $F$와 $G$가 단순히 폐곡면(예: 구와 원통)의 교차 형태를 가질 때 구성된다. 이 경우 그래프는 P‑집합이 아니며, 엄격볼록성도 깨진다. 저자는 이러한 구체적인 예를 통해 일반적인 유한 차원 Banach 공간에서는 추가적인 기하학적 가정 없이는 문제에 긍정적인 해답을 기대할 수 없음을 강조한다.

마지막으로 Hilbert 공간에서 Lipschitz 연속 선택에 대한 근사 분할 문제를 다룬다. 여기서는 정확한 분할이 불가능할 경우, 임의의 $\varepsilon>0$에 대해 $|f(x)+g(x)-h(x)|\le\varepsilon$를 만족하는 Lipschitz 선택 $f,g,h$가 존재함을 보인다. 이는 Riesz 표현 정리와 변분법적 접근을 통해, 선택 함수들의 Lipschitz 상수를 제어하면서 근사 해를 구성하는 방법을 제시한다. 전체적으로 본 논문은 P‑집합과 엄격볼록성이라는 두 가지 강력한 기하학적 조건이 Repovš‑Semenov 분할 문제의 해결에 결정적 역할을 함을 입증하고, 동시에 일반적인 경우에 대한 한계를 명확히 제시한다.