排序方式: 共有24条查询结果,搜索用时 13 毫秒
1.
一类局部定向完备集及其范畴的性质 总被引:4,自引:0,他引:4
本文给出了局部定向完备集的概念及其在此结构下的一种新的双小于关系,从而进一步给出了一种新的连续性概念,接着讨论了局部定向完备集,连续的局部定向完备集等对象的一些性质,最后考察了三种范畴的笛卡儿闭性,并证明了范畴LDCPO是范畴ALG的反射满子范畴. 相似文献
2.
关于Fuzzy度量点式刻画的一点注记 总被引:3,自引:0,他引:3
本文中重新定义由一个点式Fuzzyp.q.度量d所诱导的Fuzzyp.q.度量{Dr|r>0}(代替[1]中的相关重域映射族).在新的定义下,点式Fuzzyp.q.(p.)度量与Fuzzyp.p.(p.)度量之间有令人满意的──对应关系. 相似文献
3.
Kubiak^[9]与王戈平^[2]分别独立地引进了诱导I(L)-拓扑空间概念。本文用在[1]定义的L-拓扑空间的可数性、分离性与仿紧性等来刻画由它诱导的I(L)-拓扑空间的相应的这些性质。 相似文献
4.
5.
完全分配格上的弱辅助序与广义序同态 总被引:23,自引:2,他引:21
为研究格上的拓扑学,王国俊在[1]中定义了完全分配格上广义序同态概念,并得到一系列重要的结果。刘应明在这方面也进行了深入的研究。本文利用完全分配格上一个逼近的弱辅助序给出广义序同态的一个内在的特征性质与极小集的刻划,并得到保极小集映射的两个等价条件。在此基础上,我们建立了广义序同态的新的扩张定理,然后讨论了以广义序同态为态射的完全分配格范畴的对偶定理,并在乘积范畴上引进一个重要而有趣的函子。 相似文献
6.
Erceg in [1] extended the Hausdorff distance function betwen subsets of a set X to fuzzy settheory, and introduced a fuzzy pseudo-quasi-metric(p. q. metric) p: L~x xL~x -[0,∞] where L is acompletely distributive lattice, and the associated family of neighborhood mappings {Dr |r>O}. Thefuzzy metric space in Erceg's sense is denoted by (L~x, p, Dr) since there exists a one to one correspondence between fuzzy p. q. metrics and associatcd families of neighborhood mapping, a family{Dr|r>0}satisfying certain conditions is also callcd a (standard) fuzzy p. q metric. In [2] Liang defimed apointwise fuzzy p. q. metric d: P(L~x)×P(L~x)-[0, ∞) and applicd it to the construction of theproduct fuzzy metric. In this paper, we give axiomatic definitions of molcculewise and fuzzy 相似文献
7.
In this paper, we introduce the concept of φ-order-homomorphisms which is a gener-alization of the concept of generalized order-homomorphisms and give some applications of φ-order-jomomorphisms to the theory of φ-continuous lattices. 相似文献
8.
本文指出文献[1]中关于下半连续函数格LSC(X,R*)上Way-below关系的一个结论是错误的,并且给出一个修正的命题及其证明. 相似文献
9.
定义 L- fuzzy非负扩充实直线 R+( L)与 R+( L)值半连续映射 ,证明在一个 L- core紧的 L- fuzzy拓扑空间 ( LX,δ)上的 R+( L)值下半连续映射的全体关于点式序、加法运算与数乘运算构成一个连续 d锥 ,推广了文献 [6]中的结果 相似文献
10.
定义L-fuzzy非负扩充实直线R+(L)与R+(L)值半连续映射,证明在一个L-core紧的L-fuzzy拓扑空间(L^x,δ)上的R+(L)值下半连续映射的全体关于点式序,加法运算与数乘运算的构成一个连续d锥,推广了文献[6]中的结果。 相似文献