首页 >
偏序关系
✍ dations ◷ 2025-08-07 22:06:57 #偏序关系
偏序集合(英语: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中也成立。在计算机科学中,找到偏序的线性扩展的算法叫做拓扑排序。
相关
- 毒素本文所指的毒素(英语:Toxin),是指生物体所生产出来的毒物(poison),这个术语最早是由有机化学家路德维希(Ludwig Brieger)所提出。这些物质通常是一些会干扰生物体中其他大分子作用的
- 加利福尼亚州加利福尼亚州(英语:State of California),简称加州,是美国西部太平洋沿岸的一个州。面积位列美国第三;人口为3,930万,位列美国各州第一。州首府是萨克拉门托。在地理、地貌、物产、
- 肋骨肋骨(拉丁语Costa,复数Costae,形容词costalis)是胸腔中枝状的骨,背起于脊柱胸部。是肋的组成部分,肋包括肋骨和肋软骨。一种正常的畸变为叉状肋骨。每条肋由肋骨(Os costale)和肋软
- 苯妥英钠苯妥英(Phenytoin,或称diphenyl hydantoin),常见商品名大仑丁(Dilantin),是一种抗惊厥药物(英语:anticonvulsant)。该药在治疗强直-阵挛性发作及部分发作(英语:partial seizure)有治疗效果
- 卵囊黄素囊肿卵囊黄素囊肿(英语:Theca lutein cyst),是一种妇科疾病,双侧卵巢有功能性囊肿,充满了清晰的淡黄色液体。此类肿块至少直径有三厘米。这些囊肿起源于β-人绒毛膜促性腺激素升高到一
- 固体废弃物的处理与处置固体废物的处理和处置是解决固体废物污染与控制问题的环境工程学科。固体废物处理是指将固体废物变成适于运输、利用、贮存或最终处置的过程。其方法包括物理处理、化学处理
- 大都市区大都市带(英语:megalopolis,亦作megapolis、megaregion或supercity),又译大都市区,通指大致相邻的都会区的链,它们可能在某种程度上分离,也可能连成一片连续的城市区域。中文的城市
- 胸腔外科胸腔外科学或称心胸肺外科(英语:Cardiothoracic Surgery),是一门医学专科,专门研究胸腔内器官,包括心脏、肺、气道与呼吸系统、胸壁、纵隔、膈肌和食道等,以及这些器官与部位的诊断
- 经验经验(英语:Experience)在一般概念包括了知识、技巧。是体验或观察某一事或某一事件后所获得的心得并应用于后续作业。而这些以前获取的知识技巧,对于工作或教授学问上,掌握相当重
- 漂白水漂白剂是一些化学物品,可透过氧化还原反应将有色分子反应成无色分子,来将颜色去除或变淡以达至漂白物品的功用。漂白剂依据其在漂白过程发生的氧化还原反应所担任的角色来区分