区间上的凸代数及其半连续单调运算
计算机科学中的逻辑
2026-03-17 v1 逻辑
摘要
在 Matteo Mio 关于紧致定量范等式理论的最新工作中（紧致意为其所有后果均可通过有限证明推导而得），我们关注的是载体集合为 [0,1] 且运算为单调且满足特定半连续性条件的凸代数。我们通过给出所有可能凸运算的显式构造，完全对该类代数结构进行分类。因此，本结果准确描述了 Mio 定理适用的理论范围。
引用
@article{arxiv.2603.14955,
title = {Convex algebras on an interval with semicontinuous monotone operations},
author = {Ana Sokolova and Harald Woracek},
journal= {arXiv preprint arXiv:2603.14955},
year = {2026}
}