首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 390 毫秒
1.
该文证明了完备格L为连续格当且仅当L上的Scott开滤子拓扑σF(L)为连续格,且细于L上的上拓扑。特别地,若L的素元集是序生成集,则L为和当且仅当σF(L)为连续格。  相似文献   

2.
所为一个格具有Σcore紧性(ΣF-core紧性),是指在赋以scott拓扑(score开滤子拓扑)之后,这个格作为拓扑空间是core紧的。本文证明了若ΣF(L)为序相容拓扑空间,则L具有ΣF-core紧性当且仅当L为连续格。  相似文献   

3.
文中定义了半格上的算子,给出了半格上算子的几个等价描述,得到如下定理:设(L,∨)表示L是一并半格,F是L到自身的一个映射,则如下几条等价:(1)F是L上的闭包算子;(2)x,y∈L,x∨F(F(x)∨F(y))=F(x∨y);(3)F是L上的闭包算子,且满足F(F(x)∨F(y))=F(x∨y);(4)F满足:x≤F(x)且F(F(x)∨F(y))=F(x∨y).另外,还给出拓扑内部算子的方程描述:集X的幂集Su(X)到自身的映射I是X上的一个拓扑内部算子当且仅当方程X-A∩I(A)∩I2(B)=I(X)-I(A∩B)成立  相似文献   

4.
应用连续格理论来研究半连续函数空间,主要结果是:(1)拓扑空间X到单位区间[0,1]的下(上)半连续函数空间L(X)(U(X))的Wijsman收敛是拓扑的,当且仅当X局部紧。这时,诱导拓扑作为连续格与L(X)上的Lawson拓扑一致;(2)具有Wijsman拓扑(对偶Lawson拓扑)的X到[0,1]的上半连续函数空间U(X),是具有Kuratowski收敛的拓扑(对偶Lawson拓扑)的闭集构  相似文献   

5.
讨论了关于双Scott拓扑的一些性质.证明了范畴BICONT(即以双连续格为对象,以双Scott连续映射为态射的范畴)作为两个Cartesian闭范畴BICONTS(即以双连续格为对象,以Scott连续映射为态射的范畴)和BICONTSop(即以双连续格为对象,以对偶Scott连续映射为态射的范畴)的交范畴不是Cartesian闭范畴.  相似文献   

6.
对任意一族具有小元的dcpo{Li}i∈I,证明了若每个σ(Li)是连续格,则ⅡLi上的Scott拓扑恰是诸Scott拓扑σ(Li)的积拓扑,得到了关于连续函数way-below关系的一些结果。  相似文献   

7.
利用I(L)型诱导空间讨论L-Fuzzy拓扑群,得到了如下结论:(1)(LX,δ)是L-Fuzy拓扑群当且仅当(I(L)X,ω(δ))是L-Fuzy拓扑群;(2)诱导的I(L)型Fuzy拓扑群保持乘积与商运算。  相似文献   

8.
Fuzzy格上的Urysohn度量化定理   总被引:1,自引:0,他引:1  
当L是Fuzzy格时,证明了一个C;拓扑分子格(L,η)可点式p.度量化当且仅当其是正则的;可点式度量化当且仅当其是正则T1的。  相似文献   

9.
文中定义了半格上的算子,给出了半格上算子的几个等价描述,得到如下定理:设(L,V)表示L是一并半格,F是L到自身的一个映射,则如下几条等价:(1)F是L上的闭包算子。(2)Vx,y∈L,xVF(F(x)VF(y))=F(xVy);3)F是L上的闭包算子,且满足F(F(x)VF(y))=F(xVy);(4)F满足,x≤F(x)且F(F(x)VF(y))=F(xVy)。另外,还给出拓扑内部算子的方程描  相似文献   

10.
Z-拟代数Domain   总被引:1,自引:0,他引:1  
对一般的子集系统Z,引入Z-拟代数domain的概念,证明了Z-domain P是Z-拟代数的当且仅当P上的Z-Scott拓扑σz(P)在集包含序下是代数的超连续格,即超代数格;Z-拟代数domain P上的Z-Scottg拓朴σz(P)是Sober的当且仅当空间(P,σz(P))具有弱Rudin性质.  相似文献   

11.
在局部dcpo上引入了S-极限的概念,并利用S-极限来刻划Scott拓扑和连续的局部dcpo。其主要结果:证明了U是Scott开集当且仅当U∈O(S);D是连续的局部dcpo当且仅当,S-收敛是关于Scott拓扑的拓扑收敛。  相似文献   

12.
半连续dcpo     
作为半连续格的推广,引入半素集和半连续dcpo的概念,并讨论半连续dcpo的性质,在半连续dcpo中得到类似于半连续格的一些主要结果.同时研究了dcpo的内蕴拓扑——半Scott拓扑、半Lawson拓扑,证明了上集U半Lawson开当且仅当U为半Scott开,下集U半Lawson闭当且仅当U为半Scott闭.最后研究了半连续映射,证明了若保序映射f半连续,则f关于半Scott拓扑是连续映射.  相似文献   

13.
引入了LF拓扑空间弱诱导化的概念,对一类更广的F格L证明了H(λ)单位区间I(L)的连通性,给出了I(L)的权与L的权之间的明确关系.定义了H(λ)实直线R(L),证明了R(L)的权等于I(L)的权,R(L)是非F紧的、强Hausdorff的H(λ)完全正则空间.并证明了当L的权可数,且L为链式满足条件L—{1}=U{↓e:e∈S}(其中S为L—{1}的有限子集)时R(L)是Ⅱ仿紧的.  相似文献   

14.
对分子格L上的自映射f:L→L,提出了一种新的映射道f-1:L→L,其中,对任意L中的元a,f-1(a)=∨{b∈M(L)|a∧f(b)≠0}.借助于此,引入了分子格上的一种对称的一致结构,证明了一个拓扑分子格(L,η)可一致化当且仅当它是全正则分子格.  相似文献   

15.
在L_Fuzzy拓扑空间研究中几种分离性是λ_截拓扑和λ_弱诱导空间的关系,直接证明ST1,ST2及强Hausdorf分离性与λ_可截性质,并得到,满层的λ_弱诱导空间(LX,δ)是ST1空间,当且仅当λ_截拓扑空间(X,ιλ(δ))是T1空间,当且仅当底空间(X,[δ])是T1空间;满层的λ_弱诱导空间(LX,δ)是ST2空间,当且仅当它是强Hausdorf空间,当且仅当λ_截空间(X,ιλ(δ))是Hausdorf空间,当且仅当底空间(X,[δ])是Hausdorf空间  相似文献   

16.
逆极限空间上移位映射的拓扑熵与混沌   总被引:7,自引:0,他引:7  
研究了紧致度量空间上连续映射f:X→X的逆极限空间上移位映射σf:lin(X,f)→lim(X,f)的拓扑熵与Li-Yorke意义下的混沌。证明了1)h(σf)=h(f);2)f为满射时,σf是Li-Yorke意义下混沌的当且仅当f是Li-Yorke意义下混沌的。  相似文献   

17.
测度空间的拓扑序列熵   总被引:1,自引:0,他引:1  
给定一个拓扑动力系统(X,T),记M(X)为X上Borel概率测度的全体,其上的拓扑由弱拓扑所诱导.如果系统(X,T)具有零拓扑序列熵,则它称为拓扑-null的.对于给定的一个伪度量空间以及其上的一个自映射(不必连续),引入并研究沿着给定序列的拓扑熵,包括由空间上连续实值函数所诱导的伪度量.作为应用可以证明,给定一个序列A包含于Z+,如果X为零维的,那么,系统(X,T)沿着A具有零拓扑熵当且仅当(M(X),T)沿着A具有零拓扑熵.特别的,当X为一个零维空间时,系统(X,T)为拓扑-null的当且仅当(M(X),T)为拓扑-null的.  相似文献   

18.
引进了极小UrysohnL-fuzy拓扑空间的概念.利用Urysohn理想基证明了一个L-fuzy拓扑空间(LX,δ)是极小Urysohn空间当且仅当(LX,δ)是UrysohnL-fuzy拓扑空间且LX上的每一个具有唯一聚点的Urysohn理想基收敛;极小UrysohnL-fuzy拓扑空间是Urysohn闭空间,而且也是L-fuzzy半正则空间.最后证明了UrysohnL-fuzzy极小性是拓扑不变性质.  相似文献   

19.
作者讨论在函数空间上Isbell拓扑和Scott拓扑何时一致的问题,给出了以下主要定理:设L 是带有性质m的含最小元的连续domain,则函数空间[X→ L]上Scott拓扑与Isbell拓扑对于所有核紧空间X一致当且仅当连续domain L是有界完备domain.  相似文献   

20.
本文研究了连续广义度量空间的基本性质。首先证明了对于连续的广义度量空间,c-Scott拓扑和广义Scott拓扑相等;其次证明了连续度量空间之间的非扩张映射Yoneda连续当且仅当它关于广义Scott拓扑连续。  相似文献   

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

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