首页 >
偏序关系
✍ dations ◷ 2025-06-06 20:52:17 #偏序关系
偏序集合(英语:Partially ordered set,简写poset)是数学中,特别是序理论中,指配备了部分排序关系的集合。
这个理论将排序、顺序或排列这个集合的元素的直觉概念抽象化。这种排序不必然需要是全部的,就是说不必要保证此集合内的所有对象的相互可比较性。部分排序集合定义了部分排拓扑。给定集合S,“≤”是S上的二元关系,若“≤”满足:则称“≤”是S上的非严格偏序或自反偏序。给定集合S,“<”是S上的二元关系,若“<”满足:则称“<”是S上的严格偏序或反自反偏序。严格偏序与有向无环图(dag)有直接的对应关系。一个集合上的严格偏序的关系图就是一个有向无环图。其传递闭包是它自己。容易证明以下结论:由上述可知,只要定义了“≤”、“<”、“≥”、“>”中的任何一个,其余三个关系的定义可以自然诱导而出,这四种关系实际上可以看成一体。故此在不严格区分的情况下,只需定义其一即可(通常是“≤”),称之为集合S上的偏序关系。(“偏序关系”通常被用来称呼非严格偏序关系。)若集合S上定义了一个偏序,则S称为偏序集(poset);若将其上的偏序关系改为其逆关系,得到的新偏序集S'称为S的序对偶。虽然通常术语“有序集”用来称呼全序集,但当上下文中不涉及其他序关系时,“有序集”也可用于称呼偏序集。下面是一些主要的例子:一般的说偏序集合的两个元素x和y可以处于四个相互排斥的关联中任何一个:要么x < y,要么x = y,要么x > y,要么x和y是“不可比较”的(三个都不是)。全序集合是用规则排除第四种可能的集合:所有元素对都是可比较的,并且声称三分法成立。自然数、整数、有理数和实数都关于它们代数(有符号)大小是全序的,而复数不是。这不是说复数不能全序排序;比如我们可以按词典次序排序它们,通过x+iy < u+iv当且仅当x < u或(x = u且y < v),但是这种排序没有合理的大小意义因为它使得1大于100i。按绝对大小排序它们产生在其中所有对都是可比较的预序,但这不是偏序因为1和i有相同的绝对大小但却不相等,违反了反对称性。全序T是偏序P的线性扩展,只要x ≤ y在P中成立则x ≤ y在T中也成立。在计算机科学中,找到偏序的线性扩展的算法叫做拓扑排序。
相关
- 丹麦王国邦联(丹麦语:Rigsfællesskabet)丹麦(丹麦语:Danmark),是北欧国家和主权国家丹麦王国(丹麦语:Kongeriget Danmarkn)下的主要构成国,政体为君主立宪制下的议会民主制,首都在哥本哈根,
- 病原学病原学又称为病因学是形成疾病的因素。因为不同性质的病原,大致上可以分成直接病因与助因两类。直接病因最常见的是创伤,或者是因为感染或辐射暴露导致的疾病。直接病因不一定
- 拉撒路综合症拉撒路综合征(Lazarus syndrome)是指在心肺复苏失败之后人体循环系统自发地恢复运作。自1982年以来,它已在医学文献中至少有了40-50次记载。又被称为拉撒路现象(Lazarus phenome
- 医院信息系统医院信息系统,亦称医院管理信息系统,是指利用计算机软硬件技术、网络通信技术等现代化手段,对医院及其所属各部门的人流、物流、财流进行综合管理,对在医疗、诊断活动各阶段产生
- 微孢子虫门微孢子虫(学名:Microsporidia)为罗兹菌门下的一纲。它是由孢子形成的单细胞寄生虫。目前多于一百万种微孢子虫中的1500种版命名。微孢子虫只能寄生于动物宿主。大部分的动物物
- 安理会联合国安全理事会决议由安理会十五个会员国投票产生。一个决议在其中九个以上(含九个)的会员国决议通过并且五个常任理事国全部没有使用否决权的情况下将视为通过。
- 雷打雪雷打雪(英语:thundersnow),又称雷雪或雷打冬,是指某个区域降雪过程中伴随着打雷或者在冬天打雷的天气现象。这种天气现象非常罕见,但平均而言北美比东亚常见。当某个区域冬季的气
- 铁氧化还原蛋白铁氧还蛋白(英语:Ferredoxin)是一类在多种代谢反应中介导电子转移的铁硫蛋白。“铁氧还蛋白”这个词由杜邦公司的D·C·沃顿所创,并将此名应用于默顿森、瓦伦丁与卡纳汉从厌氧菌
- 金花镇金花镇,是中华人民共和国四川省德阳市绵竹市下辖的一个乡镇级行政单位。2019年12月,撤销金花镇,将其所属行政区域划归广济镇管辖。金花镇下辖以下地区:金山村、三江村、玄郎村、
- 阿瓦尔汗国阿瓦尔汗国,是由来自东方的游牧民族阿瓦尔人以中欧潘诺尼亚平原为中心建立的政权。公元567年,伦巴底人寻求阿瓦尔人的帮助一同进攻格皮德人,胜利后阿瓦尔人又说服伦巴底人迁往