偏序关系

✍ dations ◷ 2025-12-08 20:13:10 #偏序关系

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

相关

登革热登革热（法語：La fièvre de la dengue ; 英語：dengue fever），也称为骨痛热症、断骨热、天狗热，是一种由登革热病毒引起的由蚊媒热带病（英语：tropical disease）。患者大约会在感染后3
丛集性头痛丛集性头痛又称丛发性头痛 (英文：Cluster headache) ，是一种神经性疾病，常见症状为反复性的严重单侧头痛，常见在眼眶周围。通常会伴随着流眼泪、鼻塞、患侧眼眶红肿。一般而言
脊髓丘脑束脊髓丘脑束（spinothalamic tract），又称前外侧系统（anterolateral system）或腹外侧系统（ventrolateral system）属于感觉神经途径，负责将皮肤信息传回丘脑，丘脑的腹外侧核（英语：ventral p
咽喉癌头颈癌（Head and Neck Cancers）是指位于头颈部位，除了脑癌以外的其他恶性肿瘤。较常见有口腔癌、鼻咽癌，另外还有口咽癌、下咽癌、喉癌、鼻窦癌、唾液腺癌以及甲状腺癌等。头颈
ChemSpiderChemspider是一个网络化学数据库。它试运行于2007年3月，并于一年后的2008年3月正式发布。 ChemSpider数据库记录了超过两千万的分子，与其他传统化学数据库不同的地方在于，它通
阿拉伯地区阿拉伯世界主要城市阿拉伯世界（阿拉伯语：العالم العربي‎）是指分布于西亚和北非，主要以阿拉伯语作为主要语言的国家。从西边的毛里塔尼亚延伸至东边的阿曼，横跨非洲
阿克苏姆人阿克苏姆（Kingdom of Aksum、መንግስቲ ኣኽሱም）是公元前或公元初在东北非洲的国家，首都为阿克苏姆城（今属埃塞俄比亚的提格雷省）。公元1世纪，一位古希腊商人写的《红海环航记》
创伤学创伤学（traumatology）也称为外伤学，是研究因为意外事故或是暴力而产生的伤口及创伤，以及受损部位的手术治疗（英语：Trauma surgery）及复原。创伤学是医学的一个分支，一般会归类在外科
人造丝嫘萦（léi yíng/ㄌㄟˊ ㄧㄥˊ），英文Rayon或Viscose，又译人造丝，中文译名是发想自中国传说中发明养蚕的嫘祖而来。嫘萦是一种人工制造的纤维。由天然的植物棉加工制造而成，所以属
民族语“民族语：全世界的语言”（Ethnologue: Languages of the World），又译为“民族语言网”，是一个语言学的相关网站，是基督教以传教为目的的少数语言研究服务机构“美国国际语言暑期学