哈斯图

✍ dations ◷ 2025-07-08 16:34:17 #序理论,图表

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

相关

  • 良性前列腺增生良性前列腺增生症(英语:Benign Prostatic Hyperplasia,缩写BPH),俗称前列腺肥大症或前列腺肥大,以前列腺中叶增生为实质改变而引起的一组综合征,良性前列腺增生症是属于男性常见的
  • 修昔底德修昔底德(古希腊语:Θουκυδίδης,约前460年—约前400年)古希腊历史学家、思想家,以《伯罗奔尼撒战争史》传世,该书记述了公元前5世纪斯巴达和雅典之间的战争。因为修昔底
  • 英国大学列表下面是英国各大学的列表,这个列表包括了苏格兰、北爱尔兰、威尔士、英格兰和英国海外领土的大学:贝尔法斯特女王大学(Queen's University)安圭拉英属维尔京群岛开曼群岛直布罗陀
  • 南丹麦大学南丹麦大学是一所位于丹麦的大学,在多个丹麦城市有校区。其历史可追溯至1966年,不过现在的南丹麦大学正式成立于1998年,是由欧登塞大学(1966年)、南丹麦商业工程学院和南日德兰大
  • 赫农王希伦二世 (希腊语:Ἱέρων Β΄; 前307年 – 前215年),是西西里的希腊人。伊庇鲁斯联军统帅皮洛士远征西西里迦太基人时,担任他的部将。随着皮洛士离开西西里返国,希伦被叙拉古
  • 量子物理学量子力学(英语:quantum mechanics)是物理学的分支学科。它主要描写微观的事物,与相对论一起被认为是现代物理学的两大基本支柱,许多物理学理论和科学,如原子物理学、固体物理学、
  • 南斯拉夫人南斯拉夫人(波斯尼亚语:Jugosloveni/Jugoslaveni;马其顿语、塞尔维亚语,以西里尔字母书写:Југословени,以拉丁字母书写:Jugosloveni;克罗地亚语:Jugoslaveni;斯洛文尼亚语:J
  • 福特剧院福特剧院(Ford's Theatre)是美国华盛顿哥伦比亚特区的一个历史悠久的剧院,位于西北区10街511号。1865年在4月14日美国总统亚伯拉罕·林肯在此遇刺,在街对面的彼得森住所死亡。此
  • X射线管X射线管是能够发生X射线的一个设备或设备的部件。X射线管都包含阴极和阳极组件,其皆位于真空的材料密封罩内亦即为真空管。其是由钨丝绕成线圈的形式装在一个浅的聚焦杯(focus
  • 许亚芬 許亞芬出生於歌仔戲世家,祖父許乞為歌仔戲的武場指導,祖母董周紋為著名花旦,藝名「白瓠仔」,父親郭鴻輝(綽號「康輝」)是歌仔戲團的首席樂師,不論是撥的、拉的、彈的,西樂或國樂