偏序关系

✍ dations ◷ 2025-01-22 20:52:14 #偏序关系

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

相关

亚甲蓝亚甲蓝（Methylene blue），又称亚甲基蓝、次甲基蓝、次甲蓝、美蓝、品蓝、甲烯蓝、瑞士蓝（Swiss blue），国际非专利药品名称（INN）为methylthioninium chloride。是一种芳香杂环化合物。
弓形虫病弓虫症是一种由弓形虫造成的寄生虫病，成年感染一般无症状。弓虫症常会伴随持续几周或几月之久的类似于流感的症状（英语：flu-like illness），例如肌肉疼痛、淋巴结触痛。一小部分人
CREST综合征CREST综合征，即局限性硬皮病，是系统性硬皮病的一个亚型。它的名字来源于疾病的典型表现：钙质沉着（Calcinosis, C）、雷诺氏综合征（Raynaud's syndrome, R）、食道运动功能障碍（Esopha
LOINC观测指标标识符逻辑命名与编码系统（Logical Observation Identifiers Names and Codes，LOINC）是一部数据库和通用标准，用于标识检验医学及临床观测指标。LOINC数据库旨在促进临
妄想症妄想症（英语：Delusional disorder），又称妄想性障碍，是一种精神病学诊断，指“抱有一个或多个怪诞性的妄想，同时不存在任何其他精神病症状”。对于妄想症的概念，曾使用偏执狂一词。现
顺丁烯二酸酐顺丁烯二酸酐（MA），简称顺酐，或称马来酸酐，是顺丁烯二酸的酸酐，室温下为有酸味的无色或白色固体，分子式为C4H2O3。顺丁烯二酸酐以前用苯的催化氧化制备，但由于价格的缘故，现在大多用正
核事故依照国际原子能机构（IAEA）的标准，核事故是指对人、环境或设备造成严重后果的事件。核事故导致的后果有致死的影响、对自然环境造成的大量辐射泄漏、炉心熔毁等。“重大核事故”
现实治疗法异常心理学行为遗传学生物心理学心理药物学认知心理学比较心理学跨文化心理学文化心理学差异心理学（英语：Differential psychology）发展心理学演化心理学实验心理学
鼻涕鼻涕（又称为鼻水）是指鼻中的粘液。鼻涕由鼻粘膜的杯状细胞分泌，功能在于保护呼吸道。鼻涕的分泌是持续性的，但因鼻腔与食道相通，所以一般都在不知不觉中被咽下。呼吸道中粘液分泌
落枕颈部僵硬（英文：Neck Stiffness），又名落枕（“落”，拼音：lào，中医学病名）、失枕、瞓捩颈，西医上称作急性颈椎关节周围炎（Acute fibrositis）或颈部肌肉扭伤，伤者会感到头部转动困难，轻微扭动