共查询到20条相似文献,搜索用时 921 毫秒
1.
偏序集上的局部极大理想 总被引:4,自引:0,他引:4
在偏序集上引入并考察了偏序集上的局部极大理想,证明了偏序集上的局部极大理想的存在性定理和偏序集上理想的分解定理,特别地,在满足理想降链条件的偏序集上理想的分解定理. 相似文献
2.
文章在偏序集上引入并考察局部弱极大理想,给出偏序集上的局部弱极大理想的存在性定理和偏序集上弱理想的一个分解定理,特别地,在满足弱理想降链条件的偏序集上弱理想的一个分解定理.这些定理推广有关文献中的相关结果. 相似文献
3.
文章在偏序集上引入偏序集上弱滤子弱极大理想,证明其存在性定理,并研究它的一些性质,得到弱理想在满足弱理想降链条件的偏序集上的一个分解定理. 相似文献
4.
沈阳刚 《上海师范大学学报(自然科学版)》2000,29(2):12-16
如果一个有限偏序集P的Hasse图在图论意义上同构于一条路,那么称这个有限偏序集P为路偏序集,令f(n)表示n个元素不同构的路偏序集的个数,作者证明了。 相似文献
5.
李娟 《宝鸡文理学院学报(自然科学版)》2005,25(4):256-258
引入了Z-连续偏序集的基的概念,给出了它的刻画定理.研究了Z-连续偏序集上的Z-Scott开集,Z-Lawson开集,Z-Scott拓扑及Z-Lawson拓扑的一些性质. 相似文献
6.
《山西师范大学学报:自然科学版》2021,(3)
本文给出了偏序集上的要求较弱收缩条件的Banach不动点定理并予以证明,该结论优化和改进了偏序集上的不动点定理和数字形式的不动点定理.本文接着研究了该结论在单纯复形模型上的应用. 相似文献
7.
8.
胡勇 《华中科技大学学报(自然科学版)》1983,(5)
本文在献文[1]、[2]的基础上,进一步研究偏序集上的反演,得到了偏序集上更一般的反演公式,使 M(?)bius反演、互反μ函数偶的反演和偏序集上的一般反演得到统一,并简化了某些定理的证明.文中给出了偏序集上一般反演公式成立的充要条件. 相似文献
9.
偏序集拟阵中的三类算子及十四滤子定理 总被引:1,自引:0,他引:1
在具有逆序对舍对应的有限偏序集上的偏序集拟阵中定义了闭包、内部和取补3种算子,研究了这3种算子的一些性质,最后证明了偏序集拟阵中的十四滤子定理。 相似文献
10.
研究对象是带有偏序逼近族的偏序集(poaets with families of approximating partial orders,简称R.偏序集),目的在于探索R-偏序集这一数学结构能否为语义域的研究提供一个较好的数学框架.Luis Monteiro在带有等价关系的集合(sets with families of equivalences,简称sfe)上重建了基于度量空间的语义域研究的部分理论.R-偏序集是较sfe更具普适性的结构.本文仿照Luis Monteiro在sfe上的结论及M.W.Mislove dcpo(directedly complete partial ordem)上Tarski不动点定理的证明,在R-偏序集上建立了逼近映射的不动点定理;同时构造了一个新的范畴R-POSET (即以R-偏序集为对象,R-单凋映射为态射的范畴),建立了范畴R-POSET与范畴GUMS(即以广义超度量空间为对象,非扩展映射为态射的范畴)之间的一个伴随,为从广义超度量空间角度研究R-偏序集提供了思路. 相似文献
11.
毛华 《郑州大学学报(理学版)》2004,36(1):25-28
众所周知,偏序集理论在研究广义拟阵论中起着重要作用.但是偏序集理论与不同种广义拟阵间的包含关系的直接联系是什么呢?怎样运用偏序集理论的手法去解决该问题呢?为得到答案,首先对于定义在同一集上的全体广义拟阵构造一个偏序关系,运用这种偏序关系讨论不同种的广义拟阵间的包含关系.多数结论是以构造方式给出,因此也使其在理论和运用方面更加简捷明了. 相似文献
12.
指出了Diestel关于图论的研究生教材中Thomas&Wollan定理的一个弱形式证明中存在的一个错误(第76页式(3)),并提供了一种改正方式。 相似文献
13.
给出了交换网络非阻塞特性图论形式上的定义,运用图论的概念和方法得到了4级Clos网络严格不阻塞的充分必要条件和可重排不阻塞的一个充分条件。并运用Hall定理,证明得到了代数学中的一个引理。 相似文献
14.
天贶殿壁画上部的建筑画与“西洋景”、“布景画”这两种民间艺术形式有着紧密的关联,主要表现在画面中的透视方法和明暗效果的运用,这一点可以从它们所共同采用的畸变的透视效果上得到验证。也就是说,壁画上部建筑画中变异的透视造型恰如“西洋景”和“布景画”透视造型的翻版。 相似文献
15.
徐新萍 《南京师大学报(自然科学版)》1995,(4)
证明了如下结果:设G是3—连通图,如果G满足如下之一:(i){K1,3,A,D)-free.(ii){K1,3,A,P5}-free.(iii){K1,3,I}-free.(iiii){K1,3,Z3,B}-free.则G是H-连通的. 相似文献
16.
1978年,Dirac 给出了从2-连通图 G 中的最长路判断 G 的周长下界的一个定理.在1983年的西安图论讲习班上,朱永津提出了一个与 Difac 定理形式相似但条件较强结论也较强的猜测.通过发现一个反例,本文得到了这一猜测的否定解答。 相似文献
17.
称图G是一个超爪,如果它同构于完全二部图K1,2。连接两个超爪的二度顶点而得到的图称为超双爪。一个图称为是超双爪无关图的,如果它没有导出的超双爪。证明了一个连通超双爪无关图的二部图G,当δ(G)≥4时是可折叠的,显然G是超欧拉的。最后,猜测定理1.1和1.2中的条件δ(G)≥4是最优的。 相似文献
18.
平面三次图哈米尔顿性的一个充要条件 总被引:1,自引:1,他引:0
许寿椿 《中央民族大学学报(自然科学版)》2008,17(3):11-16
本文证明平面三次图Dg有哈米尔顿圈的充分必要条件是与之对偶的极大平面图g有树树型四着色.即Dg的对偶极大平面图g有四着色C,该四着色的某组对偶二色子图Gk的两个分支都是树.据此得到求出图Dg全部哈米尔顿圈的算法,该方法已经成功处理了批量例图. 相似文献
19.
关于度量空间的formal balls构成的偏序集 总被引:1,自引:1,他引:0
赵红斌 《四川大学学报(自然科学版)》2010,47(1):31-34
formal ball构成的偏序集为度量空间理论和domain理论提供了联系.作者考察了Ω-范畴的tensor完备化,证明了当度量空间被视为Ω-范畴时,其formal ball构成的偏序集正好是它的tensor完备化. 相似文献