量化Domain理论的L-Fuzzy式处理(II) L-Fuzzy拟序集的表示

本文是文献[4]的续。对于固定的FrameL,本文证明了每个LF-拟序集可以等价地表示为拟序的层,该结果与L-Fuzzy集的分解和表示定理类似。由这此定理可得出以下结论:一类量化Domain(例如,广义超度量Domain)实际上是将满足一定条件的拟序族进行"粘贴"的结果(按照层论的语言叙述,就是拟序的层),而通常的拟序则是常值拟序层的特例。

量化Domain中的反向层次收敛

在LF-拟序集中引进了反向层次收敛理论.给出了反向层次收敛序列的性质和若干等价条件,得出了经典序伴随理论中一个重要性质的层次化版本.此外,还引进了紧性和全有界性等概念,它们是度量空间中相应概念在LF-伪序集中的对应形式.最后研究了可变层次结构的若干性质.