偏序关系

✍ dations ◷ 2024-12-22 17:53:48 #偏序关系

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

相关

核苷酸核苷酸（英语：Nucleotide）是核酸的基本组成单位。核苷酸以一个含氮碱基为核心，加上一个五碳糖和一个或者多个磷酸基团组成。含氮碱基有五种，分别是腺嘌呤（A）、鸟嘌呤（G）、胞嘧啶（C）、胸
麦迪霉素麦迪霉素又称为“米地霉素”，是一种大环内酯类抗生素。该抗生素由生米卡链霉菌（Streptomyces mycarofaciens）合成。麦迪霉素的抗菌谱及作用机制与红霉素相似，抗菌作用稍低于红霉
螨虫见内文蠕形螨属（学名：Demodex），又称毛囊螨或毛囊虫，亦即俗称的“螨虫”的一部分，是小型寄生螨类的一个属。常寄生于哺乳动物的毛囊内。目前已知蠕形螨有约65个种，140多个亚种；它们
联合国日联合国日，于1948年由联合国大会宣布设立，以纪念于联合国宪章生效三周年。联合国日定为每年10月24日。联合国日的设立是意图让人们记住联合国的目标和成就。联合国日是10月20日
计划行为理论计划行为理论 (Theory of Planned Behavior，TPB) 是一个由Icek Ajzen所提出的行为决策模型，主要用以预测和了解人类的行为。计划行为理论的模型中主要由行为信念、行为态度、
甘油醛甘油醛（glyceraldehyde (glyceral)）是一个丙糖，化学式为C3H6O3，是最简单的醛糖。它是有甜味的无色晶体，作为糖类代谢的中间产物，同时也在D-/L-标记中作为标准物。甘油醛与二羟基丙
荷兰语荷兰语（英语：Dutch），又称尼德兰语（荷兰语：Nederlands），属于印欧语系日耳曼语族的西日耳曼语支，主要通行于荷兰，在比利时与苏里南有六成人口使用（这三个国家共同组成荷兰语联盟）；也是荷兰
精神胜利法精神胜利法，也称为阿Q精神，是鲁迅所著的《阿Q正传》所批判的一个自我安慰法，这个方法侧面以讽刺的姿态描写了中国人的心态，也有贬义之意。精神胜利法其实是在讽刺当时中国人在精
皮下气肿皮下气肿（英语：Subcutaneous emphysema），亦被称为组织气肿，是指因空气或气体积存于皮下组织而形成的气肿。皮下气肿中的皮下是指位于皮肤表面下的组织，而气肿则是指积存在皮下组织
简单扩散扩散作用是一个基于分子热运动的输运现象，是分子通过布朗运动从高浓度区域(或高化势)向低浓度区域(或低化势)的运输的过程。它是趋向于热平衡态的驰豫过程，是熵驱动的过程。菲