首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 421 毫秒
1.
偏序集上的M(o)bius函数的反演公式及其应用   总被引:180,自引:0,他引:180  
本文把定义在自然数集N上的Mobius函数推广到偏序集上,并推导出反演公式,然后利用反演公式导出集{1,2,...n}的错位转换的个数,最后将Mobius函数和反演公式推广到n上局部有限偏离集上。  相似文献   

2.
借助非标准分析,本文讨论了在一般偏序集上的Mobius-Rota反演和Vloterra型积分方程的联系,提出了Zε-变换方法,并具体给出在Volterra型方程中的应用。  相似文献   

3.
Z-半连续偏序集的性质   总被引:1,自引:1,他引:0  
讨论了Z-半连续偏序集上一些映射性质,Z基于不同的映得到了相关的Z-半连续序集的等价刻划.同进还定义了Z-半连续偏序集的基和Z-半代数偏序集,并讨论了Z-半连续偏序集的基的性质和Z-半代数偏序集与Z-半连续偏序集间的刻划.  相似文献   

4.
如果一个有限偏序集P的Hasse图在图论意义上同构于一条路,那么称这个有限偏序集P为路偏序集,令f(n)表示n个元素不同构的路偏序集的个数,作者证明了。  相似文献   

5.
通过对偏序拟阵的偏序集性质和广义拟阵通的偏序集性质的分别研究,得到了偏序集拟阵和广义拟阵二的关系,即每个偏序集拟阵均为广义拟阵,但反之不然。又利用这种关系得出拟阵中的贪心算法能够推广到偏序集拟阵进而组合格式中,并阐述了利用这种关系对于研究偏序集拟阵理论和广义拟阵理论的一些其他作用。  相似文献   

6.
格路与组合恒等式   总被引:2,自引:2,他引:0  
给出格路集R_(n×m)的定义和其上的一种偏序关系;利用格路函数的性质计算出该偏序集的Mbius函数,从而建立其上的Mbius反演和一系列多元组合恒等式,使一些卷积公式成为其特例.  相似文献   

7.
首先引入偏序集上的基础蕴涵代数和蕴涵代数的概念,得到了偏序集上基础蕴涵代数和蕴涵代数的若干基本性质;给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的特征刻画,又从格论的角度出发;给出了偏序集上基础蕴涵代数和蕴涵代数之偏序集的一些格的性质以及蕴涵代数之偏序集成为格的一些条件.  相似文献   

8.
两类代数Domain范畴的等价   总被引:1,自引:0,他引:1  
首先证明了一个Domain范畴与它的等价范畴有相同的笛卡儿闭性,其次通过引入两类新的偏序集即L-偏序集和B-偏序集,构造了范畴LPOSa(由L-偏序集与逼近关系组成)和范畴BPOSA(由B-偏序集与逼近关系组成),并证明了它们分别与代数L-domain范畴ALD和代数be-domain范畴ABD等价.  相似文献   

9.
给定一个竞赛图T=(V,A),与T相关联的偏序集P是一个偏序集P1=(V,≤),使得V.x,y∈V(T),x≤y当且仅当x=y或者d(x,y)≥3.证明了每一个竞赛图都与一个偏序集相关联,但存在偏序集不与任何竞赛图相关联.此外,还对与竞赛图相关联的偏序集的性质进行了讨论.  相似文献   

10.
在偏序集上引入并考察了主理想连续性和闭区间连续性。证明了主理想连续性和通常的偏序集连续性的等价的,构造了反例说明闭区间连续性与通常的偏序集连续性互不涵。证明了连续偏序集如果非空有限集有多值并,则必定是闭区间连集;而闭区间连续性附加入方控制条件,则蕴函通常连结局续性得到了ScottDomain的两个新的等价刻画。  相似文献   

11.
偏序集上的局部极大理想   总被引:4,自引:0,他引:4  
在偏序集上引入并考察了偏序集上的局部极大理想,证明了偏序集上的局部极大理想的存在性定理和偏序集上理想的分解定理,特别地,在满足理想降链条件的偏序集上理想的分解定理.  相似文献   

12.
给出Z-完备集上的一个扩张定理.证明范畴ZP是一个笛卡儿闭范畴.  相似文献   

13.
广义Z-连续偏序集   总被引:1,自引:0,他引:1  
研究了广义Z连续偏序集在Z连续的闭包算子下的像还是广义z连续偏序集,证明了一个强广义Z连续偏序集在推广的lawson拓扑下是T2的  相似文献   

14.
文章在偏序集上引入偏序集上弱滤子弱极大理想,证明其存在性定理,并研究它的一些性质,得到弱理想在满足弱理想降链条件的偏序集上的一个分解定理.  相似文献   

15.
本文介绍了关系及关系矩阵等概念,并着重讨论了偏序关系及对应的偏序范畴、偏序矩阵,刻划了偏序范畴的始对象、终对象和零对象,偏序范畴的积范畴以及给出相应的矩阵的关系,即积范畴对应的偏序矩阵是原来两个偏序矩阵的张量积;讨论了等价的偏序范畴对应的偏序集之间的关系.  相似文献   

16.
证明了如果所有循环序S-系都是平坦的,则S是序正则的幺半群,并构造了一个序半群说明其逆不成立,从而利用范畴给出了序正则半群的-个充分条件.并把S-系中关于循环S-系的部分结果推广到序S系中,同时部分地回答了Bulman-Fleming等人提出的公开问题.  相似文献   

17.
偏序集上Z—态射的刻划   总被引:6,自引:3,他引:3  
该文引入了Z-Scott连续映射的概念,证明了Z-完备偏序集上的映射为Z-连续映射当且仅当它为Z-Scott连续映射,并由此得到了偏序集上Z-态射的刻划定理。  相似文献   

18.
给出了连续dcpo上测度的一个内在刻划定理,讨论了连续偏序集乘积上的测度,此外还引入了全有界测度的概念,并讨论了Lebesgue测度与全有界测度之间的关系,同时还研究了测度的核空间的拓扑性质。  相似文献   

19.
推广连续domain的特征与浓度的概念到连续偏序集上,探讨了连续偏序集及其定向完备化和Smyth幂的特征、浓度.得到了几个关系定理:1)连续偏序集的特征(浓度)等于其上Scott拓扑的特征(浓度),但小于等于其上Lawson拓扑的特征(浓度);2)连续偏序集的浓度大于或等于它的定向完备化的浓度,而特征小于或等于它的定向完备化的特征;3)连续domain的浓度大于或等于它的Smyth幂domain的浓度.  相似文献   

20.
借用形式概念分析中构造粗糙概念的方法,给出偏序集的几种完备化构造.然后由偏序集诱导一个形式背景,讨论该形式背景下的粗糙概念与完备化的关系.最后得到本文给出的完备化与经典的Dedekind-MacNeille完备化同构的结论.  相似文献   

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

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