偏序关系

✍ dations ◷ 2024-11-05 16:29:36 #偏序关系

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

相关

290–319这是ICD码290–319列表：精神疾病。出处为国际疾病与相关健康问题统计分类第九版（ICD-9, 1977）。本列表基于1975年第九次修改会议作出的建议和第二十九届世界卫生大会的认可。Te
βsub2/sub肾上腺素受体激动药β2肾上腺素受体激动药（英语：β2-adrenergic receptor agonists）常常简称β2激动药（英语：β2-adrenergic agonists），是一类可与β2肾上腺素受体结合，并形成刺激效应的药物。β2受体
吸入性吸入性肺炎是一种肺部感染，这是由于胃或口腔进入肺部的物质相对较多引起的。症状通常包括相对较快发作的发热和咳嗽。并发症可能包括肺脓肿。其中一些病例为化学性肺炎亚型，由
加夫里洛·普林西普加夫里洛·普林西波（塞尔维亚语：Гаврило Принцип；拉丁化：Gavrilo Princip，1894年7月25日－1918年4月28日），波斯尼亚人，塞尔维亚民族主义者。经过两个月的预谋，1914年6月2
过敏青霉素（Penicillin，或音译盘尼西林）是指分子中含有青霉烷、能破坏细菌的细胞壁并在细菌细胞的繁殖期起杀菌作用的一类抗生素，是由青霉菌中提炼出的抗生素。青霉素属于β-内酰胺
乳腺炎乳腺炎（Mastitis）是发生在女性乳房或乳腺部位的炎症，常因喂哺母乳而引起。典型的症状为乳房红肿及疼痛，也常伴随发烧与全身不适。通常女性在开始哺乳的前几个月会比较容易罹患此
核电站核电站即核能发电厂，或称核电站。是一种以核反应为热力源的热电厂，和其他的热电厂一样，以热能驱动蒸汽涡轮发动机并连接至发电机发电。根据国际原子能机构的报告，截至2014年4月2
卡罗尼亚卡罗尼亚（意大利语：Caronia），是意大利墨西拿省的一个市镇。总面积226平方公里，人口3463人，人口密度15.3人/平方公里（2009年）。ISTAT代码为083011。
克尔凯郭尔索伦·奥贝·克尔凯郭尔（丹麦语：Søren Aabye Kierkegaard，又译齐克果、祈克果、克尔凯郭尔、吉尔凯高尔等；1813年5月5日－1855年11月11日）是丹麦神学家、哲学家及作家，一般被视为存
无机无机化学是研究无机化合物的化学分支学科。通常，无机化合物与有机化合物相对，指不含C-H键的化合物，因此一氧化碳、二氧化碳、二硫化碳、氰化物、硫氰酸盐、碳酸及碳酸盐等都属