首页 >
偏序关系
✍ dations ◷ 2025-08-28 17:15:25 #偏序关系
偏序集合(英语: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中也成立。在计算机科学中,找到偏序的线性扩展的算法叫做拓扑排序。
相关
- 镁3s22, 8, 2蒸气压第一:737.7 kJ·mol−1 第二:1450.7 kJ·mol−1 第三:7732.7 kJ·mol−1 (主条目:镁的同位素镁(Magnesium)是一种化学元素,它的化学符号是Mg,它的原子序数是12,是
- 食盐水生理盐水(生理食盐液、生理食盐水),生理学或临床上常用的渗透压与动物或人体血浆相等的氯化钠溶液,其浓度用于两栖类时是0.67~0.70%,用于哺乳类和人体时是0.85~0.90%。医学上,生理盐水
- 弗里德希氏共济失调弗里德赖希隐性遗传运动失调症(也称为FA)是一种罕见的遗传性疾病,会导致进行性神经系统损伤和运动问题。它是由于在FRDA基因的intron 1有CAA三核甘酸重复序列的过度扩增。它通
- 眼科用药人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学眼科学是医学上研究眼部疾患一个分支,
- 荷兰榆树病荷兰榆树病是一种由子囊菌导致的疾病。它由树皮甲虫传播,会影响榆属和榉属植物输水导管的功能,导致其枯萎及死亡。它从亚洲传播到美洲、欧洲及新西兰,导致之后这些地方没有抵抗
- 甲烷生成产甲烷作用,又称甲烷生成,指合成甲烷是微生物代谢的重要的和广泛的形式。可以生成甲烷的微生物称作产甲烷菌(英语:Methanogen)。这些微生物都属于原核生物中的古菌域,这是在系统发
- 威廉·霍华德·塔夫脱威廉·霍华德·塔夫脱(William Howard Taft ,1857年9月15日-1930年3月8日)是第27任美国总统。他当过律师、美国首席大法官和战争部长。塔夫脱是美国历史上最胖的总统。塔夫脱出
- 沸点沸点是指物质沸腾时的温度,更严格的定义是液体成为气体的温度。液体在未达到沸点温度时也会通过挥发变成气体。然而,挥发是一种液体表面的现象,也就是说只有液体表面的分子才会
- 多重宗教身份认同多重宗教身份认同提出一个人可同时属于多个宗教传统的概念。或许有些区域如亚洲早视此为正常现象,但不少宗教学者已开始讨论在不同宗教传统中,如华人民间信仰、犹太教、基督教
- 辅音辅音,或称子音,在调音语音学中是语音的一类,与元音相对,发音的调音环节中气流在调音器官某一部分受到完全或部分阻碍。辅音的发音都可以分为三个阶段:成阻——持阻——除阻。这三