首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 0 毫秒
1.
该文章探讨了以 Yoneda 完备度量空间为对象的范畴的完备性和余完备性. 证明了若态射是 Yoneda 连续映射或者 Yoneda 连续的非扩张映射, 则该范畴是完备且余完备的; 若态射是 Yoneda 连续的 Lipschitz 映射, 则该范畴是有限完备和有限余完备的, 但是它既不完备也不余完备. 最后证明了以实数值连续格为对象, Yoneda 连续的右伴为态射的范畴是完备的.  相似文献   

2.
证明了完全分配格范畴是完备的和余完备的格范畴。  相似文献   

3.
范畴论是现代数学的基础,从Riesz模范畴出发,研究Riesz模的内部特征是研究Riesz模的重要方法。范畴的极限是范畴论的重要概念之一,范畴中乘积、等值子概念均可以看作是范畴的某种特殊的极限,余积、余等值子是特殊的余极限。范畴中极限的存在性决定了该范畴的完备性,余极限的存在性决定了余完备性。通过对以Riesz模为对象,Riesz模同态为态射的Riesz模范畴极限的研究,给出了Riesz模范畴中的乘积与余积、等值子与余等值子的具体表示形式,进而证明了Riesz模范畴具有完备性和余完备性。  相似文献   

4.
本文引入并研究了连续广义度量空间.本文首先证明了对于连续的广义度量空间,c-Scott拓扑和广义Scott拓扑相等,然后证明了连续度量空间之间的非扩张映射Yoneda连续当且仅当它关于广义Scott拓扑连续.  相似文献   

5.
完备半格范畴的反射与余反射子范畴   总被引:1,自引:0,他引:1  
构造性地证明了以有左(右)伴随的Scott连续函数为态射的连续完备半格范畴和Scottdomain范围,是完备半格范畴的余反射(反射)子范畴。  相似文献   

6.
Fisher B证明了如下的不动点定理:设( X,d) 和( Y,ρ) 是完备的度量空间,T是X到Y的连续映射,S是Y到X的映射,并满足下列不等式,即对所有x,x′∈X,y,y′∈Y,0 ≤C≤1。d(STx,STx′) ≤Cmax{d(x,x′) ,d(x,STx),d(x′,STx′),ρ( Tx,Tx′)},ρ(TSy,TSy′) ≤Cmax{ρ(y,y′),ρ(y,TSy),ρ(y′,TSy′),d(Sy,Sy′)},则ST在X中有唯一不动点z,TS在Y中有唯一不动点w 。并且有Tz = w 和Sw = z。该文对此定理作一推广,从而得到了完备度量空间与紧度量空间上2 个新的不动点定理。  相似文献   

7.
完备度量空间与紧度量空间上的不动点定理   总被引:3,自引:0,他引:3  
最近Kada等人在度量空间中引入了w-距离、在完备度量空间和紧度量空间上引入了w-距离,从而得到了两个新的不动点定,这些定理推广了Kannan不动点定理以及Jeng-sheok Ume and Kada等人的不动点定理。  相似文献   

8.
构造了一类函数集合的度量空间,给出其上面的一些性质,证明了此空间是一完备度量空间。  相似文献   

9.
定义了Fuzzy向量间的Fuzzy距离,证明了它的一些基本性质,并在此基础上讨论了Fuzzy向量空间的完备性。  相似文献   

10.
11.
在Kaleva和Seikkala引入的模糊度量空间框架下,研究它的完备性特征。引入了模糊度量空间中子集的模糊有界性和模糊直径的概念,在此基础上证明了模糊度量空间的一个充分必要条件,它类似于表征通常度量空间完备性的G.Cantor定理。  相似文献   

12.
通过构造混合单调映射,利用非线性压缩条件,研究了完备度量空间中耦合不动点的存在性和唯一性,改进了最近的一些结果.  相似文献   

13.
引入了有限Fuzzy数及其Fuzzy距离的概念,证明了它们的一些基本性质,讨论了F一空间的完备性。  相似文献   

14.
15.
给出了完备度量凸空间上非自映射的一个新的不动点定理。  相似文献   

16.
利用度量空间中映象对相容的条件,讨论了完备度量空间中四个映象的公共不动点的存在性,推广和统一了已有文献中的某些结果。  相似文献   

17.
给出区间值直觉Fuzzy数的定义,并引入区间值直觉Fuzzy数间的区间值直觉Fuzzy距离,建立区间值直觉Fuzzy度量空间并讨论其完备性.进一步对n维区间值直觉Fuzzy度量空间作了相应的讨论.  相似文献   

18.
在Hausdorff度量空间上研究了Hausdorff距离,证明了一些基本性质及定理。  相似文献   

19.
设(E,t)=ind(En,tn)为(LF)-空间,我们证明了下述结果:(i)(E,t)为正则当且仅当存在(En,tn)中O的圆凸领域Un,使U1∪→U2∪→…且(SP[U↑-n^E],ηn)为速完备,这里ηn是以{εU↑-n^E∩U:ε〉0,U∈U}为O-邻域基的局部凸拓扑,而U为(E,t)中O-领域基;(ii)若对于任意n∈N,存在(En,tn)中O的圆凸领域Un及m=m(n)≥n,使U↑-n  相似文献   

20.
通过给出完备度量空间X上的两个自映射的广义拟弱交换概念,把文献[1~2]中的主要结果推广到了广义拟弱交换的自映射的情形,并举例说明本文结果的广泛性.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号