[论文解读] Some remarks on convex analysis in topological groups

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

Advanced Topology and Set Theory参考文献 11被引用 3

一句话总结

本文通过引入群论意义上的规范泛函，在拓扑群和幺半群中将经典凸分析推广，证明了局部凸拓扑群中的分离定理、Krein-Milman 定理与极小极大定理。研究结果表明，在温和的拓扑与代数条件下，向量空间中的凸性与对偶性结果可被推广，尤其在具有预紧凸包的 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.

研究动机与目标

• 将凸分析中的基本结果（如分离定理与 Krein-Milman 定理）推广至拓扑群与幺半群的框架下。
• 定义并分析在局部凸拓扑线性空间中使用的规范泛函的群论类比。
• 建立在拓扑幺半群中极小极大定理成立的条件，尤其在 p-半可除或可除结构中。
• 研究在非向量空间设定下（特别是双曲型群与半群中）凸性与拓扑结构的作用。
• 证明在可除幺半群中，凸包可以是预紧的，从而支持下半连续性与极小极大结果。

提出的方法

• 在拓扑群上引入一个规范泛函，该泛函通过群运算与单位元处的邻域基，推广了局部凸向量空间中的经典规范泛函。
• 利用该规范泛函，证明了局部凸拓扑群中不相交凸集的分离定理。
• 将分离结果应用于推导出类似 Krein-Milman 的定理，表明局部凸拓扑群中的紧致凸集是其极值点的闭凸包。
• 通过假设凸性、下/上半连续性以及凸包的预紧性，将 [BZ86] 中 Fan 的极小极大定理推广至拓扑幺半群。
• 利用 p-半可除幺半群的结构，构造逼近有理凸组合的点列，从而支持下半连续性论证。
• 通过如 Λ: ℝ → X（例如在正双曲群中）的连续参数化方法，将凸集的性质从 ℝ 转移到群中。

实验结果

研究问题

• RQ1 能否将局部凸拓扑向量空间中的分离定理推广至拓扑群？
• RQ2 Krein-Milman 定理是否在局部凸拓扑群中成立？在何种条件下，紧致凸集是其极值点的闭凸包？
• RQ3 在拓扑幺半群中，极小极大定理在何种条件下成立，尤其当底空间不是向量空间时？
• RQ4 可除性性质（如 p-半可除性）如何影响幺半群中凸函数的行为与凸包的结构？
• RQ5 在非线性群（如正双曲群）中，凸性与连续性在多大程度上可通过连续参数化还原为 ℝ 上的性质？

主要发现

• 为拓扑群定义了一个规范泛函，其行为类似于局部凸向量空间中的经典规范泛函，从而支持分离定理。
• 在局部凸、T₁ 拓扑群中，所有单点集均为凸集，且任意非零元素均无有限阶，意味着该群为无挠群，并在极限意义下具有唯一可除性。
• Krein-Milman 定理对局部凸拓扑群中的紧致凸子集成立：此类集合是其极值点的闭凸包。
• 对于 p-半可除拓扑幺半群，若任意两点的凸包为预紧，则凸函数由其在稠密有理组合上的取值唯一确定。
• 在 p-半可除拓扑幺半群的紧致凸子集上，对于具有凸-凹性质的函数，若凸包为预紧且函数为半连续，则可建立极小极大定理。
• 在正双曲群（通过 Λ: ℝ → X 参数化）中，函数在 ℝ 上的凸性与连续性可提升至群中，且在标准下半连续性与紧致性假设下，极小极大等式成立。