[논문 리뷰] Points of continuity of quasiconvex functions on topological vector spaces

Patrick J. Rabier|arXiv (Cornell University)|2012. 06. 25.

Optimization and Variational Analysis참고 문헌 6인용 수 3

한 줄 요약

이 논문은 Baire 위상선형공간 위의 실수값을 갖는 준볼록 함수의 하위수준 집합에 대한 필수적이고 충분한 위상적 조건을 설정하여, 함수가 잔여집합(밀도 Gδ)에서 연속임을 보장한다. 주요 결과는 불연속성이 제1종류임을 보여주며, 이는 각 하위수준 집합 $ F_\alpha = \{x : f(x) < \alpha\} $ 가 그 닫힘의 내부가 공집일 때마다 어디서도 조밀하지 않음을 뜻한다. 이는 연속성의 구조를 분석하기 위해 새로운 위상적 본질적 극값 개념을 도입함으로써 달성된다.

ABSTRACT

We give necessary and sufficient conditions for a real-valued quasiconvex function f on a Baire topological vector space X (in particular, Banach or Frechet space) to be continuous at the points of a residual subset of X. These conditions involve only simple topological properties of the lower level sets of f. A main ingredient consists in taking advantage of a remarkable property of quasiconvex functions relative to a topological variant of essential extrema on the open subsets of X. One application is that if f is quasiconvex and continuous at the points of a residual subset of X, then with a single possible exception, f^{-1}(a) is nowhere dense or has nonempty interior, as is the case for everywhere continuous functions. As a barely off-key complement, we also prove that every usc quasiconvex function is quasicontinuous in the (classical) sense of Kempisty since this interesting property does not seem to have been noticed before.

연구 동기 및 목표

• 실수값 준볼록 함수의 연속점 집합을 Baire 위상선형공간에서 특성화하는 것.
• 잔여집합에서 연속성을 보장하는 하위수준 집합에 대한 단순한 위상적 조건을 규명하는 것.
• 유한차원에서 Crouzeix의 미분 가능성 결과에 대한 범주론적 유사 결과를 수립하는 것.
• 준볼록성과 준연속성 사이의 관계를 분석하며, 특히 상부연속 함수의 경우를 중심으로 탐구하는 것.
• 하위수준 집합에 대한 약간의 위상적 조건이 만족될 경우, 이러한 함수의 불연속점 집합이 항상 제1종류임을 보여주는 것.

제안 방법

• 열린 부분집합에서 제1종류 집합을 통한 정의를 통해 위상적 본질적 극대값 $ \mathcal{T}\text{ess}\sup_U f $ 와 $ \mathcal{T}\text{ess}\inf_U f $ 의 개념을 도입하여 극값 행동을 분석하는 것.
• 위상선형공간의 맥락에서 Baire 범주정리와 하위수준 집합 $ F_\alpha $ 와 $ F_\alpha' $ 의 구조를 분석하는 데 응용하는 것.
• 잔여집합과 제1종류 집합의 개념을 활용하여 준볼록 함수의 연속점 집합을 특성화하는 것.
• 준볼록 함수가 잔여집합에서 연속임을 보여주는 것은 $ \overset{\circ}{F_\alpha'} = \emptyset $ 일 때마다 $ F_\alpha $ 가 어디서도 조밀하지 않음을 보장함으로써 하위수준 집합의 위상적 성질과 연속성 간의 연결 고리를 확립하는 것.
• 상부연속 준볼록 함수가 Kempisty의 의미에서 준연속임을 보여주기 위해, 열린 $ \Omega \subset \mathbb{R} $ 에 대해 $ f^{-1}(\Omega) $ 의 내부가 $ f^{-1}(\Omega) $ 에서 조밀함을 보이는 것으로 증명하는 것.
• 특히 $ \mathcal{T}\text{ess}\inf_X f $ 가 제1종류 집합에서의 수정에 대해 불변임을 이용하여 극값 행동에 대한 강건한 분석이 가능함을 활용하는 것.

실험 결과

연구 질문

• RQ1 Baire 위상선형공간에서 하위수준 집합에 대한 어떤 위상적 조건이 준볼록 함수가 잔여집합에서 연속이 되도록 보장하는가?
• RQ2 하위수준 집합 $ F_\alpha $ 와 $ F_\alpha' $ 의 구조는 불연속점 집합의 범주와 어떻게 관련되어 있는가?
• RQ3 위상적 본질적 극값 개념을 사용하여 준볼록 함수의 연속성 기준을 유도할 수 있는가?
• RQ4 모든 상부연속 준볼록 함수는 Kempisty 의미에서 준연속적인가?
• RQ5 무한차원 공간에서 준볼록 함수의 연속성 성질이 유한차원 공간에서의 성질과 어느 정도 유사한가?

주요 결과

• 실수값 준볼록 함수가 Baire 위상선형공간 위에 정의되어 있을 때, 모든 $ \alpha \in \mathbb{R} $ 에 대해 $ F_\alpha = \{x : f(x) < \alpha\} $ 가 $ F_\alpha' = \{x : f(x) \leq \alpha\} $ 의 내부가 공집일 경우 어디서도 조밀해야 하며, 이 조건이 성립할 때에만 함수는 잔여집합에서 연속이다.
• 제시된 하위수준 집합 조건 하에서 Baire 공간 위의 준볼록 함수의 불연속점 집합은 항상 제1종류이다.
• 모든 상부연속 준볼록 함수는 위상선형공간 위에서 Kempisty 의미에서 준연속이며, 이는 임의의 열린 $ \Omega \subset \mathbb{R} $ 에 대해 $ f^{-1}(\Omega) $ 의 내부가 $ f^{-1}(\Omega) $ 에서 조밀하다는 뜻이다.
• 이 결과는 Crouzeix 정리의 범주론적 유사 결과를 제공한다: 준볼록 함수는 미분 가능성 조건 없이도 Baire 공간에서 잔여집합에서 연속이다.
• 비메트릭화되거나 국소볼록이 아닌 공간, 예를 들어 $ 0 < p < 1 $ 에서의 $ L^p(0,1) $ 와 같은 공간에서는 조건이 성립할 경우, 잔여집합에서 연속인 준볼록 함수는 잔여집합에서 상수 함수여야 한다는 것을 의미한다.
• 위상적 본질적 극값 개념이 제1종류 집합에서의 수정에 대해 불변임이 입증되었으며, 이는 연속성의 구조를 특성화하는 데 핵심적인 역할을 한다.