共查询到20条相似文献,搜索用时 0 毫秒
1.
陈金鑫 《四川大学学报(自然科学版)》2020,57(2):205-210
该文章探讨了以 Yoneda 完备度量空间为对象的范畴的完备性和余完备性. 证明了若态射是 Yoneda 连续映射或者 Yoneda 连续的非扩张映射, 则该范畴是完备且余完备的; 若态射是 Yoneda 连续的 Lipschitz 映射, 则该范畴是有限完备和有限余完备的, 但是它既不完备也不余完备. 最后证明了以实数值连续格为对象, Yoneda 连续的右伴为态射的范畴是完备的. 相似文献
2.
3.
范畴论是现代数学的基础,从Riesz模范畴出发,研究Riesz模的内部特征是研究Riesz模的重要方法。范畴的极限是范畴论的重要概念之一,范畴中乘积、等值子概念均可以看作是范畴的某种特殊的极限,余积、余等值子是特殊的余极限。范畴中极限的存在性决定了该范畴的完备性,余极限的存在性决定了余完备性。通过对以Riesz模为对象,Riesz模同态为态射的Riesz模范畴极限的研究,给出了Riesz模范畴中的乘积与余积、等值子与余等值子的具体表示形式,进而证明了Riesz模范畴具有完备性和余完备性。 相似文献
4.
余俊澈 《四川大学学报(自然科学版)》2020,(3):417-424
本文引入并研究了连续广义度量空间.本文首先证明了对于连续的广义度量空间,c-Scott拓扑和广义Scott拓扑相等,然后证明了连续度量空间之间的非扩张映射Yoneda连续当且仅当它关于广义Scott拓扑连续. 相似文献
5.
完备半格范畴的反射与余反射子范畴 总被引:1,自引:0,他引:1
寇辉 《四川大学学报(自然科学版)》1998,35(4):495-499
构造性地证明了以有左(右)伴随的Scott连续函数为态射的连续完备半格范畴和Scottdomain范围,是完备半格范畴的余反射(反射)子范畴。 相似文献
6.
朱顺荣 《南京理工大学学报(自然科学版)》1999,23(4):366-369
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
朱顺荣 《南京大学学报(自然科学版)》2001,37(1):12-16
最近Kada等人在度量空间中引入了w-距离、在完备度量空间和紧度量空间上引入了w-距离,从而得到了两个新的不动点定,这些定理推广了Kannan不动点定理以及Jeng-sheok Ume and Kada等人的不动点定理。 相似文献
8.
构造了一类函数集合的度量空间,给出其上面的一些性质,证明了此空间是一完备度量空间。 相似文献
9.
吴全华 《西华师范大学学报(哲学社会科学版)》1997,18(4):324-327
定义了Fuzzy向量间的Fuzzy距离,证明了它的一些基本性质,并在此基础上讨论了Fuzzy向量空间的完备性。 相似文献
10.
11.
何培均 《贵州大学学报(自然科学版)》1992,(4)
在Kaleva和Seikkala引入的模糊度量空间框架下,研究它的完备性特征。引入了模糊度量空间中子集的模糊有界性和模糊直径的概念,在此基础上证明了模糊度量空间的一个充分必要条件,它类似于表征通常度量空间完备性的G.Cantor定理。 相似文献
12.
通过构造混合单调映射,利用非线性压缩条件,研究了完备度量空间中耦合不动点的存在性和唯一性,改进了最近的一些结果. 相似文献
13.
14.
15.
16.
张庆政 《烟台师范学院学报(自然科学版)》1996,12(3):182-184
利用度量空间中映象对相容的条件,讨论了完备度量空间中四个映象的公共不动点的存在性,推广和统一了已有文献中的某些结果。 相似文献
17.
刘华文 《山东大学学报(理学版)》2003,38(3):49-52
给出区间值直觉Fuzzy数的定义,并引入区间值直觉Fuzzy数间的区间值直觉Fuzzy距离,建立区间值直觉Fuzzy度量空间并讨论其完备性.进一步对n维区间值直觉Fuzzy度量空间作了相应的讨论. 相似文献
18.
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.
张树义 《沈阳师范大学学报(自然科学版)》1999,(4)
通过给出完备度量空间X上的两个自映射的广义拟弱交换概念,把文献[1~2]中的主要结果推广到了广义拟弱交换的自映射的情形,并举例说明本文结果的广泛性. 相似文献