[논문 리뷰] On extensions of d.c. functions and convex functions

Libor Veselý, Luděk Zaj́ıček|ArXiv.org|2008. 10. 08.

Advanced Banach Space Theory참고 문헌 6인용 수 8

한 줄 요약

이 논문은 노름 선형 공간의 볼록 부분집합이나 닫힌 부분공간으로부터 d.c. 함수와 연속 볼록 함수가 전체 공간으로 확장될 수 있는 조건을 설정한다. 이전 연구에서 확립된 d.c. 사상의 조합 결과를 활용하여, $L_p(\mu)$ 공간에서 $1 < p \leq 2$ 이면, 유계 부분집합에서 리프시츠 조건을 만족하는 연속 볼록 함수는 d.c. 확장이 가능하다고 증명한다. 또한, 닫힌 부분공간에서 연속 볼록 함수를 전체 공간으로 확장할 수 있는 새로운 필요충분조건을 제시하며, 분리 가능 몫공간에서 알려진 결과에 대한 더 단순한 증명을 제공한다.

ABSTRACT

We show how our recent results on compositions of d.c. functions (and mappings) imply positive results on extensions of d.c. functions (and mappings). Examples answering two natural relevant questions are presented. Two further theorems, concerning extendability of continuous convex functions from a closed subspace of a normed linear space, complement recent results of J.Borwein, V.Montesinos and J.Vanderwerff.

연구 동기 및 목표

• 노름 선형 공간의 볼록 부분집합으로부터 전체 공간으로 d.c. 함수와 사상의 확장 가능성 문제를 다루는 것.
• 노름 선형 공간의 닫힌 부분공간에서 연속 볼록 함수가 전체 공간으로 확장될 수 있는지 조사하는 것.
• 기존의 특성화와 다름없이, 닫힌 부분공간에서 연속 볼록 함수의 확장 가능성에 대한 새로운 필요충분조건을 제공하는 것.
• 분리 가능 몫공간일 경우 Borwein 등이 제시한 결과에 대해 더 단순하고 직접적인 증명을 제공하는 것. 이 증명은 완비 공간이 아닐 경우에도 적용 가능하다.

제안 방법

• 이전 연구에서 확립된 d.c. 함수 및 사상에 관한 조합 정리들을 활용하여, $1 < p \leq 2$ 인 $L_p(\mu)$ 공간에서 d.c. 함수의 확장 결과를 도출한다.
• 볼록 집합 $D_n \nearrow\!\!\!\nearrow C$ 로의 점진적 고갈을 기반으로 하는 구성적 방법을 적용하여 국소 리프시츠 정규성 확보 및 확장 가능성을 보장한다.
• 닫힌 부분공간 $Y$ 에서 전체 공간 $X$ 로 연속 볼록 함수의 확장 가능성을 판단하기 위한 새로운 기준을 도입하며, 이는 특정 볼록 셸 포함 조건을 만족하는 볼록 집합의 수열 존재성에 기반한다.
• 로젠탈의 확장 정리와 볼록 셸 및 구를 포함한 기하학적 추론을 활용하여 새로운 기준을 검증한다.
• 공간 $X/Y$ 에서 컴팩트 볼록 집합 $Z_n = \mathrm{conv}\{z_1,\dots,z_n\}$ 의 수열을 이용해 $X$ 에서 밀도를 가진 볼록 집합의 수열을 구성함으로써, $X$ 의 고갈 $D_j$ 를 구성한다.
• 부분공간 제약 조건 하에서 볼록성과 교차 성질을 유지하기 위해 레마 1.5 를 적용하여, 구성된 집합 $D_j$ 가 $Y \cap D_j \subset C_j$ 를 만족하도록 보장한다.

실험 결과

연구 질문

• RQ1 노름 선형 공간 $X$ 의 볼록 부분집합 $C$ 에서 정의된 d.c. 함수가 전체 공간 $X$ 에서 d.c. 함수로 확장될 수 있는 조건은 무엇인가?
• RQ2 노름 선형 공간 $X$ 의 닫힌 부분공간 $Y$ 에서 연속 볼록 함수가 전체 공간 $X$ 에서 연속 볼록 함수로 확장될 수 있는가?
• RQ3 유계 부분집합에서 국소 리프시츠 연속성 조건이 연속 볼록 함수의 확장 존재성에 충분한가, 아니면 더 강한 정규성 조건이 필요한가?
• RQ4 모든 연속 볼록 함수가 $Y$ 에서 $X$ 로 연속 볼록 함수로 확장 가능한 부분공간 $Y$ 의 새로운 내재적 특성은 무엇인가?
• RQ5 만일 $X/Y$ 가 분리 가능하다면, 기존에 알려진 확장 결과를 더 단순하고 직접적인 방법으로 재증명할 수 있는가?

주요 결과

• 모든 연속 볼록 함수가 내부가 비어 있지 않은 볼록 집합 $C$ 에서 정의되고, $\mathrm{int}\,C$ 의 유계 부분집합에서 리프시츠 조건을 만족하는 경우, $L_p(\mu)$ 공간에서 $1 < p \leq 2$ 이면 전체 공간으로 d.c. 확장이 가능하다.
• 이러한 함수가 연속 볼록 확장이 되지 않을 수 있음을 보여주는 예시가 존재하며, 이는 $\mathbb{R}^2$ 에서조차도 리프시츠 조건이 필수적임을 시사한다.
• 유계 부분집합에서의 리프시츠 조건은 $C$ 에서의 국소 리프시츠 조건으로 약화될 수 없으며, 국소 리프시츠 조건이 성립하지 않는 반례를 통해 이는 확장 가능성 보장이 되지 않음을 보여준다.
• 닫힌 부분공간 $Y$ 에서 전체 공간 $X$ 로 연속 볼록 함수의 확장 가능성을 판단하기 위한 새로운 필요충분조건이 도입되었으며, 이는 특정 볼록 셸 포함 조건을 만족하는 볼록 집합의 수열 존재성에 기반한다.
• 분리 가능 몫공간 $X/Y$ 이면, $Y$ 에서의 모든 연속 볼록 함수가 전체 공간 $X$ 로 연속 볼록 함수로 확장 가능하다는 결과에 대해 간단하고 구성적인 증명을 제시한다. 이 증명은 $X$ 가 완비 공간이 아닐 경우에도 유효하다.
• 고급 도구인 로젠탈의 정리를 피하고, $X/Y$ 의 수열의 볼록 셸과 그 $X$ 로의 릿지화를 통해 $X$ 의 구성적 고갈을 이용한 증명 기법을 사용한다.