《Fuzzy Sets and Systems》：Locally Convex Topological MV-Algebras and Pseudometrizability
编辑推荐：
摘要本文通过发展基于MV-伪范数的分析框架，研究了局部凸拓扑MV-代数（LCT MV-代数）的拓扑与一致结构。尽管由0处的凸邻域基诱导的相容伪度量族刻画了LCT MV-代数的拓扑与伪可度量化性质，但任意的伪度量族由于代数运算可能出现不连续性，未必能产生LCT MV-代数。为克服这
摘要
本文通过发展基于MV-伪范数的分析框架，研究了局部凸拓扑MV-代数（LCT MV-代数）的拓扑与一致结构。尽管由0处的凸邻域基诱导的相容伪度量族刻画了LCT MV-代数的拓扑与伪可度量化性质，但任意的伪度量族由于代数运算可能出现不连续性，未必能产生LCT MV-代数。为克服这一局限，我们引入了MV-伪范数的概念。我们证明了MV-代数上的拓扑构成LCT MV-代数当且仅当该拓扑由一族连续的MV-伪范数诱导。进一步地，我们证明了任意MV-伪范数族一致地诱导等价的局部凸与一致结构，其中Hausdorff性质对应于该族的分离性。最后，MV-伪范数提供了拓扑收敛的分析刻画，从而为LCT MV-代数的可度量化给出了新的判据。
引言
自Chang的开创性工作[1]以来，MV-代数已成为?ukasiewicz无穷值逻辑的代数对应物，在模糊逻辑研究中发挥着关键作用。过去几十年间，代数结构与拓扑性质之间的交互作用已成为一个富有成效的研究领域，促成了拓扑MV-代数的发展[2], [3], [4], [5], [6], [7]。其中，LCT MV-代数尤为引人关注。LCT MV-代数的拓扑既与其代数运算相容，又与其底层序结构相容，从而构成有序拓扑空间。值得注意的是，这些结构与经典的局部固体Riesz空间密切类似。
拓扑群理论中的一个经典结论是：可度量化由局部性质决定；具体而言，一个T0拓扑群可度量化当且仅当它在单位元处具有可数开基[8, Theorem 8.3]。在拓扑向量空间中，局部凸性由一族半范数诱导的拓扑来刻画[9, p. II.24]。类似地，在局部固体Riesz空间框架下，拓扑与序之间的相容性——即局部固体性——由Riesz伪范数族所支配[10], [11]。然而，将这些刻画推广到LCT MV-代数面临非平凡挑战。在此背景下，“凸性”严格指“序凸性”，且缺乏线性结构使得经典泛函分析方法无法直接应用。关键在于，在MV-代数的非线性代数结构中，任何给定的伪度量都必须与代数运算满足特定的相容性，以确保底层结构的连续性。已知LCT MV-代数的拓扑由源自其0处凸邻域基的相容伪度量族所刻画，伪可度量化则对应于存在可数基（注记2.9）。然而，由于任意的伪度量族可能无法保持MV-代数的代数运算（见例3），我们引入MV-伪范数以提供更内在的框架。与一般伪度量不同，MV-伪范数自然适应代数结构，为研究LCT MV-代数提供了坚实基础。我们的主要结果（定理4.2）表明：拓扑MV-代数是局部凸的当且仅当其拓扑由一族连续的MV-伪范数诱导，从而为局部凸性的拓扑定义建立了分析对应。
本文其余部分组织如下。在预备知识之后，第2.2节表明LCT MV-代数伪可度量化当且仅当它在0处具有可数凸邻域基，且其拓扑由诱导的伪度量族决定（参见Kelley [12, Chapter 6 Theorem 15]）。反之则不成立：任意的伪度量族未必产生LCT MV-代数，因为代数运算可能不连续（例3）。因此，仅凭伪度量不足以完全刻画LCT MV-代数的结构。为弥补这一缺陷，第3节引入了MV-伪范数（定义3.5），这是通过放宽态（state）的归一化和可加性公理而得到的推广。这提供了一个更灵活的分析框架，涵盖了比态更广泛的对象类别（例6–8）。
在第4节中，我们建立了MV-伪范数族诱导LCT MV-代数结构的充分必要条件。定理4.2表明拓扑MV-代数是局部凸的当且仅当其拓扑由一族连续的MV-伪范数决定。此外，我们研究了局部凸拓扑与由该MV-伪范数族生成的一致性之间的关系。特别地，定理4.6表明MV-代数上的任意MV-伪范数族一致地诱导等价的局部凸与一致结构；Hausdorff性质以MV-伪范数族的分离性来刻画。最后，定理4.8利用分离MV-伪范数的概念，从分析角度刻画了LCT MV-代数的可度量化性质。
章节片段
预备知识
本节简要回顾本文所需的MV-代数和拓扑MV-代数的基本定义与性质。关于更全面的背景，我们推荐读者参阅文献[1], [13]。
MV-代数上的MV-伪范数
在第2.2节中，基于注记2.9，我们指出LCT MV-代数的拓扑可由0处凸邻域基诱导的伪度量族完全刻画。然而，其逆一般不成立（见例4）。由MV-代数上任意伪度量族诱导的拓扑未必使其成为LCT MV-代数；特别地，这样的拓扑可能无法保证代数运算的连续性。因此，一族
通过MV-伪范数构造LCT MV-代数
在第2.2节中，基于注记2.9，我们观察到LCT MV-代数中0的每个凸邻域都对应一个伪度量，从而提供了与该代数内在相关的伪度量族。然而，由于MV-代数上任意伪度量族未必诱导LCT MV-代数，确定这种构造何时有效便具有重要意义。本节旨在解决这一问题。
结论与未来工作
本文对LCT MV-代数的拓扑与分析结构进行了系统研究。我们的结果为拓扑的局部凸性与MV-代数的内在代数结构之间建立了严格联系。
我们研究的第一部分提供了LCT MV-代数伪可度量的完全刻画，表明其等价于在0处存在可数凸邻域基（注记2.9）。然而，由于一般
CRediT作者贡献声明
李强：撰写—审阅与编辑、撰写—初稿、可视化、验证、方法学、研究、形式分析、概念化。穆欢：研究。杨一川：撰写—审阅与编辑、撰写—初稿、验证、监督、资源、项目管理、方法学、研究、经费获取、形式分析。
利益冲突声明
作者声明，他们不存在可能影响本文所报告工作的已知竞争经济利益或个人关系。
李强|穆欢|杨一川
