哈斯图

✍ dations ◷ 2025-04-26 13:19:58 #序理论,图表

哈斯图(英语: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的集合。最右图示展示了这个结构的某种内部对称性。

相关

  • 5-羟色氨酸5-羟色氨酸(英语:5-Hydroxytryptophan, 5-HTP;INN商品名:oxitriptan)是一种天然的氨基酸代谢中间产物,同时也是神经递质5-羟色胺与褪黑素的生物合成前体。5-羟色氨酸在美英以及加
  • 干红葡萄酒干红葡萄酒(le vin rouge),“干”是从香槟酒酿造中借用的一个词,即不添加任何水、香料、酒精等添加剂,直接用纯葡萄汁酿造的酒。红葡萄榨汁后,不过滤葡萄皮核,葡萄汁酿成酒后再过
  • 不具特异性人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学症状(英语:symptom)又称病状,医学术语,在疾
  • 俄罗斯联邦自然资源与环境保护部俄罗斯联邦自然资源与环境保护部(俄语:Министерство природных ресурсов и экологии Российской Федерации)是俄罗
  • 君士坦丁堡竞技场坐标:41°00′23″N 28°58′33″E / 41.00639°N 28.97583°E / 41.00639; 28.97583君士坦丁堡赛马场(Hippodrome of Constantinople,土耳其语:Sultanahmet Meydanı, At Meyda
  • 袁树三袁树三,或作澍三。清代河南项城人,袁世凯的祖父。子袁保中为候补同知、另一子袁保庆官至二品金陵盐道观察使。树三幼年即与弟袁甲三两人苦读八股文,甲三中进士,但树三科举不利,仅
  • 费迪南德·冯·林德曼卡尔·路易斯·费迪南德·冯·林德曼(Carl Louis Ferdinand von Lindemann,1852年4月12日-1939年3月6日),德国数学家,1882年证明π是一个超越数,即不是任意整系数代数多项式的根。
  • 大谷站 (滋贺县)↑追分站↓上荣町站大谷站(日语:大谷駅/おおたにえき  */?)位于日本滋贺县大津市大谷町,是京阪电气铁道京津线的车站。车站号码是OT34。车内广播现在发音为“おただに”(在2018
  • 亚诺-奥伊米亚孔高地亚诺-奥伊米亚孔高地是俄罗斯的高原,横跨该国萨哈共和国、哈巴罗夫斯克边疆区和马加丹州,位于上扬斯克山脉和切尔斯基山脉之间,最高点波别达山海拔高度3,003米。
  • Baro车善玗(韩语:차선우,1992年9月5日-)曾为韩国男子团体B1A4组合的成员之一。出生于韩国光州广域市,是队中的Rapper。组合的专辑中也收录Baro创作歌曲。2016年ShareFakta_Kpop“韩国