偏序关系

✍ dations ◷ 2025-06-27 02:57:41 #偏序关系
偏序集合(英语: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中也成立。在计算机科学中,找到偏序的线性扩展的算法叫做拓扑排序。

相关

  • 病程人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学病程,是指一个疾病或者其治疗的持续时
  • 肾盂肾盂(英语:renal pelvis)是肾脏内侧的漏斗状空腔,下端连接至输尿管,上端连接二到三个肾大盏。如同输尿管,肾盂的表面被一层仅有数个细胞厚的黏膜所覆盖,而黏膜分别是由上方的移行上
  • 血细胞血细胞又称“血球”,是存在于血液中的细胞,能随血液的流动遍及全身。以哺乳动物来说,血细胞主要含下列三个部分:
  • 肱骨肱骨(humerus)是肩到肘的长骨,是上臂的一部分。它将肩胛骨和前臂的桡骨和尺骨连接起来。肱骨由三部分组成。肱骨上端(英语:Upper extremity of humerus)包括一个球型部分、一个较
  • 说文解字《说文解字》简称《说文》,是中国东汉时期由学者许慎编著的一部文字工具书,全书共分540个(俄语:Список ключей Шовэнь цзецзы)部首,收字9,353个,另有“重
  • 卡塔尼亚卡塔尼亚(意大利语:Catania)是意大利南部西西里的第二大城市,也是卡塔尼亚省的首府。卡塔尼亚位于西西里岛的东岸,墨西拿和锡拉库萨的半途、埃特纳火山的山脚。卡塔尼亚有306,000
  • 目的论论证目的论论证 (Teleological Argument) 是证明上帝存在的一种理论,属于后验性的证明方式,又可称作设计论证。该理论最早由古希腊哲学家苏格拉底提出。后世的神学家托马斯·阿奎
  • 小柴胡汤小柴胡汤是一种方剂,源自《伤寒杂病论》。柴胡半斤、黄芩三两、人参三两、甘草三两,炙、半夏半升,洗、生姜三两,切、大枣十二枚,擘上七味,以水一斗二升,煮取六升,去滓,再煎,取三升,温服
  • 先天性水痘症候群先天性水痘症候群(Costello syndrome),又名小黑人症、克斯提洛氏弹性蛋白缺陷症、科斯特洛综合症、面肌肉骨骼综合症(faciocutaneoskeletal syndrome)或FCS综合症等各种名称,是一
  • 前视人体解剖学方位是解剖学中用来描述人体器官的相对位置、以及运动方向的标准术语,以两手放在身体两侧且掌心面向前方的标准解剖姿势(英语:Standard anatomical position)为准。在