[논문 리뷰] Some remarks on convex analysis in topological groups

Jonathan M. Borwein, Ohad Giladi|arXiv (Cornell University)|2015. 10. 15.

Advanced Topology and Set Theory참고 문헌 11인용 수 3

한 줄 요약

이 논문은 군론적 게이지 함수기능을 도입하고 국소적으로 볼록한 위상군에서 분리, 크라인-밀만, 최소최대 정리들을 증명함으로써 고전적 볼록 해석학을 위상군과 모노이드로 확장한다. 벡터 공간에서의 볼록성과 쌍대성 결과들이 미묘한 위상적 및 대수적 조건 하에서 일반화됨을 입증하며, 특히 p-반나누어지지 않거나 나누어지는 모노이드에서 전결정된 볼록 쌍대체를 포함한다.

ABSTRACT

We discuss some key results from convex analysis in the setting of topological groups and monoids. These include separation theorems, Krein-Milman type theorems, and minimax theorems.

연구 동기 및 목표

• 국소적으로 볼록한 위상군과 모노이드의 맥락에서 분리 정리와 크라인-밀만 정리와 같은 볼록 해석학의 기본 결과들을 확장하는 것.
• 국소적으로 볼록한 위상벡터공간에서 사용되는 게이지 함수기능의 군론적 유사체를 정의하고 분석하는 것.
• 특히 p-반나누어지지 않거나 나누어지는 구조에서 최소최대 정리가 성립하는 조건을 확립하는 것.
• 비벡터 공간 맥락, 특히 하이퍼볼릭 유형의 군과 반군에서 볼록성과 위상적 구조의 역할을 조사하는 것.
• 나누어지는 모노이드에서 볼록 쌍대체가 전결정될 수 있음을 보여주며, 이를 통해 반연속성과 최소최대 결과를 가능하게 한다.

제안 방법

• 항등원에서의 이웃성 기저와 군 연산을 사용하여 국소적으로 볼록한 위상벡터공간에서의 고전적 게이지와 일반화된 위상군에 대한 게이지 함수기능을 도입한다.
• 게이지 함수기능을 사용하여 국소적으로 볼록한 위상군에서 서로소인 볼록 집합에 대한 분리 정리를 증명한다.
• 분리 결과를 응용하여, 국소적으로 볼록한 위상군에서 컴팩트 볼록 집합이 그 극단점들의 닫힌 볼록 쌍대체임을 보여주는 크라인-밀만 유사 정리를 도출한다.
• 볼록성, 하한/상한 반연속성, 볼록 쌍대체의 전결정성 조건을 가정하여 [BZ86]의 팬 최소최대 정리를 위상 모노이드로 일반화한다.
• p-반나누어지지 않는 모노이드의 구조를 활용하여 유리 볼록 조합을 근사하는 점의 수열을 구성함으로써 반연속성 증명에 활용한다.
• 예를 들어 양의 하이퍼볼릭 군에서와 같이 Λ: ℝ → X와 같은 맵을 통한 볼록 집합의 연속적 매개변수화를 사용하여 ℝ에서의 볼록성과 연속성 성질을 군으로 이행한다.

실험 결과

연구 질문

• RQ1 국소적으로 볼록한 위상벡터공간에서의 분리 정리는 위상군으로 일반화될 수 있는가?
• RQ2 국소적으로 볼록한 위상군에서 크라인-밀만 정리가 성립하는가? 그리고 컴팩트 볼록 집합이 극단점들의 닫힌 볼록 쌍대체가 되기 위한 조건은 무엇인가?
• RQ3 위상 모노이드에서 최소최대 정리가 성립하는 조건은 무엇인가? 특히 기저 공간이 벡터 공간이 아닌 경우에 대해.
• RQ4 나누어짐 성질(예: p-반나누어지지 않음)이 모노이드에서 볼록 함수의 행동과 볼록 쌍대체의 구조에 어떤 영향을 미치는가?
• RQ5 비선형 군(예: 양의 하이퍼볼릭 군)에서 볼록성과 연속성은 연속적 매개변수화를 통해 ℝ의 성질로 얼마나 줄일 수 있는가?

주요 결과

• 국소적으로 볼록한 위상벡터공간에서의 고전적 게이지와 유사하게 행동하는 위상군에 대한 게이지 함수기능이 정의되었으며, 이는 분리 정리를 가능하게 한다.
• 국소적으로 볼록하고 T₁인 위상군에서는 모든 싱글턴이 볼록이며, 0이 아닌 원소는 유한한 차수를 가지지 않아 군이 토르션-프리이고 극한에서 유일하게 나누어짐을 뜻한다.
• 국소적으로 볼록한 위상군에서 컴팩트 볼록 부분집합에 대해 크라인-밀만 정리가 성립한다: 이러한 집합은 그 극단점들의 닫힌 볼록 쌍대체이다.
• p-반나누어지지 않는 위상 모노이드에서 두 점의 볼록 쌍대체가 전결정될 경우, 볼록 함수는 조밀한 유리 조합에서의 값에 의해 결정된다.
• 볼록 쌍대체가 전결정되고 함수들이 반연속일 경우, p-반나두어지지 않는 위상 모노이드의 컴팩트 볼록 부분집합에서 볼록-볼록형 함수에 대해 최소최대 정리가 성립한다.
• Λ: ℝ → X로 매개변수화된 양의 하이퍼볼릭 군에서는 ℝ에서의 함수의 볼록성과 연속성이 군으로 이행되며, 표준적인 반연속성 및 컴팩트성 조건 하에서 최소최대 등식이 성립한다.