检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:罗清君[1]
出 处:《模糊系统与数学》2017年第1期35-38,共4页Fuzzy Systems and Mathematics
基 金:国家自然科学基金项目(61473336);陕西省自然科学基金项目(2014JQ1032);陕西省教育厅基金项目(16JK1302);西安财经学院基金项目(15JD01)
摘 要:利用理想诱导的弱同余关系在Quantale上构造一致结构与一致拓扑,证明了所得的一致拓扑空间是不连通的、零维的、局部紧的、完全正则的第一可数空间,并且Quantale中的运算关于导出的一致拓扑是连续的。同时,给出了商拓扑的等价刻画。In the present paper, we establish first uniformities and uniform topologies on quantales by using the weak congruence induced by ideals. It is proved that these topological spaces are disconnected, zero-dimensional, locally compact, completely regular and first-countable spaces. Furthermore, operations on quantales are continuous with respect to the uniform topologies. Finally, the equivalent characterization of quotient topology on quotient algebras of quantales under the weak congruence induced by ideals is also given.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.188.123.155