偏序关系

✍ dations ◷ 2025-09-17 22:36:18 #偏序关系

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

相关

克拉霉素克拉霉素也称为甲红霉素，商品名为Biaxin，是一种用来治疗多种细菌感染的抗生素，包括了链球菌性喉炎、肺炎、皮肤感染、幽门螺旋杆菌感染、莱姆病等，大多是口服药物形式。常见副作
胃胃是人和脊椎动物消化系统的一部分，是贮藏和消化食物的器官。胃上接食道，下接十二指肠。位置大约位于人体的左上腹，肋骨以下。胃主要将大块食物研磨成小块，将食物中的大分子降解
半鞭毛虫门半鞭毛虫（Hemimastigophora）是一类单细胞真核生物，目前认为此支序为多貌生物的姊妹群。本支序于1988年由Foissner等人建立的一个门级分类元，其下仅有Spironemidae一科。当时该支
购买力平价购买力平价（英语：Purchasing Power Parity，缩写PPP），是一种根据各国不同的价格水平计算出来的货币之间的等值系数，使我们能够在经济学上对各国的国内生产总值进行合理比较，这种理论
真皮真皮层（拉丁语、德语、英语、西班牙语: Dermis、法语、葡萄牙语: Derme）是位于表皮与皮下组织之间的一层皮肤，其由两层组成——乳头层与网状层。真皮的结构组成是胶原蛋白、弹
那不勒斯那不勒斯（意大利语：Napoli；那不勒斯语：Nàpule）是意大利南部的第一大城市，坎帕尼亚大区以及那不勒斯省的首府。城市面积117平方公里，人口略低于100万。那不勒斯都会区有大约380万人
芽孢杆菌芽孢杆菌纲（学名：Bacilli）是厚壁菌门的一纲，包含有芽孢杆菌目和乳杆菌目两目，其下包含有芽孢杆菌属和其他如李斯特菌属等革兰氏阳性菌。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c／gr-o
妄想性障碍妄想症（英语：Delusional disorder），又称妄想性障碍，是一种精神病学诊断，指“抱有一个或多个怪诞性的妄想，同时不存在任何其他精神病症状”。对于妄想症的概念，曾使用偏执狂一词。现
鼻出血鼻衄，俗称流鼻血、淌大寒，称鼻出血，是指由于鼻孔内的毛细血管脆弱，血管受到破坏后，血液从鼻孔里流出，是一种医学上的疑难病症。大多数是从一个鼻孔里出，但偶尔也会两个鼻孔一起出。
日本国会政治主题国会（日语：国会／こっかい kokkai ?）为日本的最高权力机构与立法机构，现今依《日本国宪法》而设置，采两院制，由众议院与参议院构成。今众议院议员设465席、参议院议员设24