Weifeng Yang

数学论文用算子示例挑战Rockafellar的和猜想

本文提出了Rockafellar和猜想的数学反例，特别关注极大单调算子的行为。作者在$c_0$和$\ell^1$空间上构造了两个这样的算例，它们满足内域条件，但它们的和并不表现出极大单调性。引入了一个通用的构造定理来计算某些图的单调极和建立极大单调性的条件，然后将其应用于在$c_0$上生成反例。此外，使用有界线性满射来推导$\ell^1$的反例。该工作包括$c_0$反例的正式化以及Lean中的相关引理。