哈斯图

✍ dations ◷ 2025-10-19 08:14:31 #序理论,图表

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

相关

  • 居斯塔夫·库尔贝古斯塔夫·库尔贝(Gustave Courbet;1819年6月10日-1877年12月31日)是法国著名画家,现实主义画派的创始人。主张艺术应以现实为依据,反对粉饰生活,他的名言是:“我不会画天使,因为我从
  • PRPP5-磷酸核糖-1α-焦磷酸(Phosphoribosyl pyrophosphate,缩写PRPP)是一种核糖衍生物。它是核糖C1的活化形式,由核糖-5-磷酸与ATP在核糖磷酸焦磷酸激酶催化下生成。磷酸核糖焦磷酸
  • 女用保险套女性避孕套(英语:Female Condom,因在英国等市场上市初期使用Femidom的品牌名称行销,而成为此类产品的代称)是一种供女性使用的避孕套,同男性避孕套一样,是一种一次性使用的可抛式用
  • 达哈努बाप तहसील घंटियाली 城镇达哈努(Dahanu),是印度马哈拉施特拉邦帕尔加尔县的一个城镇。总人口44393(2001年)。该地2001年总人口44393人,其中男性22926人,女性21467
  • 密西西比州立密西西比州立大学(Mississippi State University)位于密西西比州斯塔克韦利。1878年2月28日,由密西西比州立法机构创建,原名密西西比州农业及机械学院,以满足培训“农业、园艺、
  • 华盛顿首都South Carolina Stingrays (ECHL)华盛顿首都队(Washington Capitals)是位于美国华盛顿特区的国家冰球联盟队伍,隶属于国家冰球联盟(NHL)的东大区(the Eastern Conference(英语:Easte
  • 外滩群岛外滩群岛(英语:Outer Banks)是美国的群岛,位于北卡罗莱纳州对开的大西洋海域,全长320公里,该群岛因温和气候和沙滩成为主要的旅游目的地。坐标:35°22′25″N 75°29′43″W / 35.3
  • 在活体In vivo为拉丁文“在活体内”之意。在科学文献中,in vivo常指进行于完整且存活的个体内的组织的实验,以区别在生物体上移除下来的组织或死亡的组织上进行的实验(对应的拉丁文为
  • 马来西亚联邦政府首席秘书马来西亚政府首席秘书(马来语:Ketua Setiausaha Negara),又称马来西亚联邦政府首席秘书,是公共服务机制当中的最高领导,同时担任马来西亚内阁秘书与首相署秘书长。此职位由最高元
  • 高春育高春育(越南语:Cao Xuân Dục/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","Mi