共查询到19条相似文献,搜索用时 93 毫秒
1.
研究了幂等左半可换Quantale Q中的滤予以及幂等Quantale上滤子空间的一些性质.在幂等左半可换Quantale的条件下,通过核映射证明了Fil(Q)是2Q的幂等商Quantale,并且∏Fil(Qi)是∏2Qi的幂等商Quantale,最后在幂等Quantale中证明了滤子空间是可分空间.i(ε)I i(ε)I 相似文献
2.
研究了Quantale与单位Quantale Q[e]上的Localic核与Localic余核映射。证明了Quantale Q上的Localic核映射可以惟一地扩张为Q[e]上的Localic核映射,双侧的可换Quantale存在最大的Localic子Quantale。 再将以上结论应用于研究Quantale Q上的最大的Localic余核映射到Q[e]的扩张,给出了Q上的最大的Localic余核映射到Q[e]的扩张的所有形式,并且证明了Q[e]有最大Localic子Quantale当且仅当Q是平凡Quantale。 相似文献
3.
首先引入弱幂等Quantale及Quantale上弱幂等核映射的概念, 给出Quantale的最大弱幂等商的等价刻画; 然后证明弱幂等Quantale范畴是Quantale范畴的反射子范畴, 幂等Quantale范畴是弱幂等Quantale范畴的反射子范畴; 最后得到幂等Quantale范畴是Quantale范畴的反射子范畴. 相似文献
4.
应用Quantale和Quantale模理论引入Quantale代数核映射的概念, 给出Quantale代数核映射的若干性质, 并讨论Quantale代数核映射与Quantale代数同余之间的关系, 得到了Quantale代数核映射的扩张定理. 相似文献
5.
本文首先证明了Quantale模范畴有交且是平衡范畴;其次得到了Quantale模上的核(余核)映射与其在Quantale模范畴中的商(子)对象是一一对应的,从而证明了Quantale模范畴是极端余良幂的和极端良幂的;最后,讨论了Quantale模范畴的定向极限,并给出具体结构. 相似文献
6.
基于完备格L,在Quantale中引入了L-模糊滤子的概念,并研究了L-模糊滤子的基本性质.在L是闭集格的条件下,得到了Quantale中的L-模糊滤子的等价刻画;在L是空间式Frame且Q是幂等左半可换Quantale的条件下,证明了LQ上的生成滤子映射是Quantale核映射,进而全体L-模糊滤子构成的Quantale FilL(Q)是LQ的幂等的商Quantale;在Quantale中定义了L-模糊滤子拓扑,并得到了Quantale同态关于相应的L-模糊滤子拓扑连续的结论. 相似文献
7.
Quantale中的理想 总被引:5,自引:0,他引:5
给出了Quantale中(左,右)理想的概念,讨论了Quantale中任意子集生成的(左,右)理想的具体结构,研究了Quantale中的理想与它的格意义下理想之间的关系,得到了当Q是可换Quantale时,Id(Q)中元是幂等的充要条件。 相似文献
8.
作者给出了双Quantale模的定义,讨论了双Quantale模的一些相关性质并在此基础上给出了双Quantale模中的同余及核映射的概念,探讨了它们的一些性质,得到了双Quantale模的满同态像同构于某一双Quantale模核映射,证明了双Quantale模上所有的同余构成的完备格与所有的核映射构成的完备格是同构的. 相似文献
9.
引入Quantale系统的概念,给出了Quantale系统的连续映射和同胚映射的定义,证明了同胚映射的逆仍为同胚映射.探讨Quantale系统的空间化和Q-Locale化,并在Quantale系统范畴和量子空间范畴之间建立伴随.证明了Quantale系统关于Quantale的Q-Locale是Quantale系统,Quantale系统的Q-Locale化是Q-Locale.建立了Quantale系统范畴和Q-Loc范畴之间的伴随. 相似文献
10.
在模糊Quantale上引入模糊同余关系的概念,证明了模糊Quantale上的模糊同余关系与模糊核映射是一一对应的,而且模糊同余关系之集模糊序同构于该模糊Quantale上的模糊核映射之集.基于模糊同余关系引入商模糊Quantale的概念,证明了任一模糊Quantale同余关系诱导的模糊Quantale商与基于该模糊同余关系的商模糊Quantale是同构的. 相似文献
11.
梁少辉 《山东大学学报(理学版)》2015,50(12):47-53
引入了E-quantale的定义及其一些相关概念, 讨论了E-quantale的一些重要性质。 证明了Quantale的幂集和E-quantale的乘积均可构成E-quantale, 给出了Quantale的一种自然扩张,由E-quantale可以扩张成一个Quantale。 在Quantale子范畴和E-quantale范畴之间定义了一个嵌入函子K, 并在函子K与遗忘函子U之间构造了一个自然变换, 证明了在一定条件下一个E-quantale和某个单位Quantale的幂集同构。 相似文献
12.
利用模糊Quantale上的模糊预核映射,证明模糊Quantale范畴是模糊Z-Quantale范畴的反射子范畴,给出由万有映射像集生成的模糊Quantale的具体结构,并讨论由反射子构造的模糊Galois伴随. 相似文献
13.
基于一个拟幂等的交换单位Quantale,用模糊集的方法重新研究了量化Domain理论,主要定义了模糊DCPO上的模糊Scott拓扑,建立了满层的L-滤子的Scott收敛理论,证明了模糊DCPO范畴的笛卡尔闭性。虽然所得结论和已有文献中的基本一样,但是证明过程却有很大不同。结果表明,拟幂等的交换单位Quantale是用模糊集方法研究量化Domain的最宽泛的格。 相似文献
14.
讨论了幂等左侧Quantale的若干性质,给出了空间式Quantale的积和子Quantale是空间式Quantale.利用简单幂等左侧Quantale是空间式Quantale的结论,证明了幂等左侧Quantale是空间式Quantale当且仅当它是简单幂等左侧Quantale的乘积的子Quantale。 相似文献
15.
Quantale矩阵可逆性的刻画 总被引:1,自引:0,他引:1
研究了Quantale矩阵及其行列式的相关性质,给出了Quantale矩阵的逆的定义,并对Quantale矩阵的逆进行了研究,证明了Quantale矩阵是可逆的当且仅当Quantale矩阵的每行每列是正交的,并且每行每列都是1的分解. 相似文献
16.
本文讨论了Girard Quantale范畴中的极限,并且给出了该极限的结构,同时得到了此范畴是完备范畴,且具有拉回等性质. 相似文献
17.
李静 《烟台师范学院学报(自然科学版)》2006,22(1):21-24
研究了QuantRle在幂等条件下,代数Quantale与空间式Quantale的关系,得到了Quantale及其子Quantale是空间式的充分条件,并且给出了幂等Quantale的子Quantale具体事例. 相似文献
18.
19.
刘智斌 《浙江师范大学学报(自然科学版)》2006,29(3):241-246
讨论了Quantale满同态的性质,给出了Quantale同余和Quantale商之间的关系,并在幂等左侧Quan-tale中给出了单纯Quantale的特征条件. 相似文献