首页 >
偏序关系
✍ dations ◷ 2025-11-18 14:30:39 #偏序关系
偏序集合(英语: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中也成立。在计算机科学中,找到偏序的线性扩展的算法叫做拓扑排序。
相关
- 口服口服给药(英语:Oral administration) (per os) 是一种给药途径,通过嘴吞服药物使其在体内发挥作用。许多药物都可以口服给药,因为其往往在全身产生作用,通过血流输送到身体的各个
- 皮肤癌皮肤癌是一种生长在皮肤上的癌症,它是由异常的细胞发展而来,甚至有可能会侵犯扩散到身体不同部位。由于皮肤癌常常在表皮层中发展,肿瘤常常清晰可见,因此大部分时间,可以在早期发
- C-反应蛋白n/an/an/an/an/an/an/an/an/an/aC反应蛋白(英语:C-Reactive Protein,CRP) 是由肝脏生成的血浆蛋白,主要被当作发炎的指标。LOINC术语标准对于血清/血浆CRP检测项目的定义和编码请
- 头孢羟氨苄头孢羟氨苄是一种杀菌的头孢菌素类广谱抗生素,对革兰氏阳性和革兰氏阴性细菌的感染有效。它由头孢氨苄羟基段衍生而来。可用于治疗轻度至中度易受感染,如因细菌化脓性链球菌引
- 伪真菌总门伪真菌总门(Pseudofungi)是一个不等鞭毛类的子类群,又被称为丝壶菌总门(Heterokontimycotina) ,由卵菌纲和丝壶菌纲组成。虽然它们的生长形式(菌丝)和营养模式类似于真菌,但大量的生
- 获得性免疫缺陷(英语:immunodeficiency)是指免疫系统抵抗传染病的能力失常或欠缺。免疫缺陷还可能降低肿瘤免疫监视功能。免疫缺陷多为继发性(secondary)免疫缺陷,不过也有些人生来就有
- 溴苯那敏溴苯那敏(Brompheniramine)是一种用于过敏症状的药物,属于第一代组胺H1受体拮抗剂(又称抗组织胺药),化学式C16H19BrN2。其盐类马来酸溴苯那敏(Brompheniramine maleate)常用于药
- 费尔巴哈路德维希·安德列斯·费尔巴哈(德语:Ludwig Andreas von Feuerbach,1804年7月28日-1872年9月13日),德国哲学家。出生于拜仁州(巴伐利亚)下拜恩区的首府兰茨胡特,逝于同一州的纽伦堡,是
- 海星见内文海星是一种棘皮动物。海星一般都会有5个触手/腕,从身体中间伸出。海星的骨骼不能动,靠它的水管系统(英语:water vascular system)移动。在它胳膊上的水管系统上有很多凸出
- 语料库语言学语料库语言学(英语:corpus linguistics)是基于语言运用的实例(即语料库)的语言研究。语料库语言学可以对自然语言进行语法与句法分析,还可以研究它与其他语言的关系。语料库最初由
