哈斯图

✍ dations ◷ 2025-10-14 14:22:37 #序理论,图表

哈斯图(英语:Hasse 发音为/ˈhæsə/, 德语: /ˈhasə/)、在数学分支序理论中,是用来表示有限偏序集的一种数学图表,它是一种图形形式的对偏序集的传递简约。具体的说,对于偏序集合(S, ≤),把S的每个元素表示为平面上的顶点,并绘制从x到y向上的线段或弧线,只要y 覆盖x(就是说,只要x < y并且没有z使得x < z < y)。这些弧线可以相互交叉但不能触及任何非其端点的顶点。带有标注的顶点的这种图唯一确定这个集合的偏序。

哈斯图得名于Helmut Hasse(1898年–1979年);依据Birkhoff (1948),这么叫是因为Hasse有效的利用了它们。但是Hasse不是第一个使用它们的人,它们早就出现在如Vogt (1895)中。尽管哈斯图被设计为手工绘制偏序集合的技术,最近已经使用图绘制技术自动来生成它们了。

术语“哈斯图”还可以称呼作为抽象有向无环图的传递简约,独立于这个图的任何绘制形式,但是这里不采用这种用法。

尽管哈斯图是简单的处理有限偏序集的直观工具,绘制出好的哈斯图是非常困难的。原因是对于给定偏序集有任意多种可能的绘图方式。简单的技术就是开始于这个次序的最小元并逐步增加上更大的元素,这经常产生非常窘迫的结果:很容易丢失了这个次序的对称性和内部结构。

下面的例子展示这个问题。考虑集合S = {a, b, c, d}的幂集 P ( S ) {\displaystyle {\mathcal {P}}(S)\,} ,就是说S的所有自己的集合,按照子集包含 {\displaystyle \subseteq } 来排序。下面是这个偏序的三个不同哈斯图:

通过使得在这个幂集中每个集合的y坐标成比例于集合的势,最左图示展示了这个幂集是等级偏序集。中间图示有相同的等级结构,但使得某些边比其他边长,它把这个幂集的结构强调为两个三维立方体的联合:在两个立方体中下面的那个中的顶点表示不包含S的某个特定元素比如d的集合,而上面立方体的顶点表示包含d的集合。最右图示展示了这个结构的某种内部对称性。

相关

  • 泼尼松17-hydroxy-17-(2-hydroxyacetyl)-10,13-dimethyl-7,8,9,10,12,13,14,15,16,17- decahydro-3泼尼松(英语:Prednisone),又名“去氢可的松”或“强的松”,它是一种口服的糖皮质激
  • 中医诊断学中医诊断学是根据中医学理论,研究诊查病情、判断病种、辨别证候的基础理论、基本知识和基本技能的一门学科。中医诊断学主要包括诊法学和辨证学两部,两者相互渗透,相互联系。中
  • 玉部,为汉字索引中的部首之一,康熙字典214个部首中的第九十六个(五划的则为第二个)。俗称王字旁。就繁体中文中,玉部归于五划部首;简体中文拆分为玉部与王部。玉部通常是从下、左
  • 阿赛尔托比亚斯·米夏埃尔·卡雷尔·阿赛尔(荷兰语:Tobias Michael Carel Asser,1838年4月28日-1913年7月29日),荷兰法理学家。他与阿尔弗雷德·弗里德一起获得了1911年的诺贝尔和平奖。
  • 最后通谍最后通牒(拉丁语:Ultimatum),是指一个团体向另一个团体提出的最后的条件,是一种最高威胁:表明或意隐含着如果条件不被接受就以严厉的惩罚相威胁的声明,尤指在外交谈判中这样的声明
  • All My Love To You《All My Love To You》是日本嘻哈舞蹈歌唱团体DA PUMP的第16张单曲。2001年11月7日由avex tune发行。《All My Love To You》是DA PUMP自从上一张单曲《Steppin' and Shaki
  • 灯盏糕灯盏糕是浙江温州的特色名点,一种油炸食品。外形酷似古代扁圆形的菜油灯盏,故得名“灯盏糕”。外皮原料为大米与黄豆浸泡后磨成的米浆,内以萝卜刨成的细丝作主料再加上猪腿肉和
  • 东风水库 (瓦房店) 东风水库 ,位于中华人民共和国辽宁省瓦房店市,是复州河干流中游一座大型水库。水库工程曾于1958年和1976年两次动工兴建,均因各种原因停工。1992年6月动工复建,1995年6月竣工蓄
  • 阿拉泽伊高原阿拉泽伊高原是俄罗斯的山脉,位于萨哈共和国,全长约300公里,平均海拔高度200至400米,最高点海拔高度954米,是阿拉泽亚河和谢杰杰马河的发源地。
  • 火艾礁火艾礁位于南沙群岛道明群礁以东,在西月岛西南约17海里。环礁长7公里,宽2.2公里。退潮时露出,有礁湖,无礁门。中国渔民向称火哀,因环礁东北角伸出的礁体使整个礁形如"火哀"得名。