局部L-一致空间中下半连续映射的不动点定理

在没有任何线性结构的L-空间证明了一个L-KKM型定理,利用此L-KKM型定理在L-一致空间内对紧下半连续映射建立了一个新的几乎不动点定理,并进一步得到不动点定理.

L-不分明化一致空间和L-不分明化一致拓扑(英文)

通过应用完全剩余格值逻辑语义的方法把不分明化一致空间和不分明化一致拓扑推广为L-不分明化一致空间和L-不分明化一致拓扑。并且讨论了L-不分明化一致空间和L-不分明化一致拓扑的一些基本性质。

L-序水平一致极限空间

基于满层L-滤子的L-包含序,提出L-序一致极限空间的概念,证明L-序一致极限空间范畴作为拓扑范畴是笛卡儿闭的.同时利用"水平结构"的思想,发现了它的水平空间,即L-序水平一致极限空间.在证明L-序水平一致极限空间范畴与L-序一致极限空间范畴是范畴同构的同时,还建立了L-序水平一致极限空间范畴是文献中L-水平一致极限空间范畴的双反射子范畴这一深入联系.

L-拟一致空间的完备性

本文首先借助满层的L-滤对给出了L-拟一致空间中的Cauchy完备性,然后证明了其Cauchy完备性等价于Lawvere完备性,最后证明了L-拟一致空间是Cauchy完备的当且仅当其生成的L-一致空间是Cauchy完备的。

强化范畴在L-拟一致结构中的应用

本文在格值环境为完备Heyting代数时,借助满层的L-滤子将L-拟一致空间视为强化范畴。进而探讨了将概率拟一致空间、L-拟一致空间、概率拟度量空间都作为强化范畴后,它们Lawvere完备性之间的联系。