本文提出了Rockafellar和猜想的数学反例,特别关注极大单调算子的行为。作者在$c_0$和$\ell^1$空间上构造了两个这样的算例,它们满足内域条件,但它们的和并不表现出极大单调性。引入了一个通用的构造定理来计算某些图的单调极和建立极大单调性的条件,然后将其应用于在$c_0$上生成反例。此外,使用有界线性满射来推导$\ell^1$的反例。该工作包括$c_0$反例的正式化以及Lean中的相关引理。 AI
排序理由 该条目是提交到arXiv cs.LG的研究论文。[lever_c_demoted from research: ic=1 ai=0.1]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →