偏序关系

✍ dations ◷ 2024-07-05 10:04:49 #偏序关系

偏序集合（英语：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中也成立。在计算机科学中，找到偏序的线性扩展的算法叫做拓扑排序。

相关

乔纳斯·索尔克乔纳斯·爱德华·索尔克（英语：Jonas Edward Salk，乔纳斯·爱德华·索尔克，港澳称为乔纳斯·索尔克，台湾称为约纳斯·沙克，1914年10月28日－1995年6月23日），美国实验医学家、病毒学家，主
脾脏脾脏是脊椎动物的一种外周淋巴器官。人类的脾脏位于腹腔的左上方，由红髓、白髓、边缘区，以及将之被覆的被膜、小梁组成。健康成人的脾脏约重150-200克:68。活体时，脾为暗红色，质
发育生物学发育生物学（英语：Developmental biology）是对于生物体生长和发育过程的研究。发育生物学研究基因对细胞生长，分化和形态发生（Morphogenesis）的调控，这些过程使生物体形成组织和器官
帕罗西汀帕罗西汀（Paroxetine）是一种选择性5-羟色胺再吸收抑制剂（SSRI）型的抗抑郁药，其药物形态为盐酸帕罗西汀（Paroxetine hydrochloride），商品名为“赛乐特”（Seroxat）。在临床上常用于社交
神秘主义神秘主义（英语：Mysticism），也有较模糊的称为密契主义，包涵人类与神明或某种超自然力量结合为一的各种形式、经验、体验，并且强调这是一切宗教共有的现象。神秘主义者的基本信条是
切哈努夫切哈努夫（波兰语：Ciechanów）位于波兰中部马佐夫舍省内。位于华沙北部约100公里处。坐标：52°53′N 20°37′E / 52.883°N 20.617°E / 52.883; 20.617
甲基蓝甲基蓝（C37H27N3Na2O9S3）是一种组织学上使用的染料。可以用于胶原质和植物细胞壁的染色，也可作原生生物的染色，缺点是经日光照射容易褪色且容易氧化。甲基蓝和水溶蓝混合后称作
先天性无子宫先天性无子宫（英语：congenital absence of uterus），是一种女性生理缺陷，是两侧副中肾管中段及尾段未发育和未会合造成。常合并先天性无阴道及泌尿系统发育异常，如单肾、异位肾等。
托里切利语族托里切利语族(Torricelli languages)是一个由大约五十个巴布亚新几内亚北岸的语言所组成的语族，这些语言的总使用人数只有约80,000人。此语族以托里切利山脉为名。托里切利语
形态上的分类语言的形态分类（英语：morphological typology），是根据它们共同的形态结构对世界上的语言进行分类（参见语言类型学）的一种方法。该领域根据这些语言组合语素构成单词的方式来把语言