● 摘要
令C为格序群G的容许子集，Gusić[Pro Amer Math Soc, 1998, 126(9)]证明G可以被赋予一个C-拓扑使得G成为拓扑群，杨[Sci China Ser A, 2009, 39(7)]揭示了C-群的自然性，并且证明C-拓扑使得G成为拓扑格序群．在此基础上, 一方面本文用类似方法构造MV-代数A的容许子集，证明了MV-代数A关于此容许子集也能够被赋予C-拓扑，成为拓扑MV-代数，并且给出了MV-代数上的序列收敛，C-收敛以及MV-代数子集的C-闭的概念，得出MV-代数A本身的C-闭上的一个性质以及A满足一定条件时与含有元素a的最小容许子集之间的关系．另一方面，由于MV-代数A与带有强单位u的交换格序群G之间是范畴等价的，即A可以写成A=T(G,u)．所以A作为(G,u)的子集不难被赋予诱导拓扑使得MV-代数A相对于G的容许子集C也可以构成C-拓扑，成为拓扑MV-代数．
相关内容
相关标签