哈斯图

✍ dations ◷ 2025-07-07 07:49: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的集合。最右图示展示了这个结构的某种内部对称性。

相关

  • 何启圣何启圣(1964年2月4日-)(英文:Chi-Sheng Ho)。台湾电视新闻节目主持人。前 TVBS-NEWS《整点新闻》主播、TVBS政论节目《13招待所》主持人。亦是一名资深的军事记者。2009年担任1
  • HIF缺氧诱导因子(Hypoxia-inducible factors,HIFs)是一种在细胞环境中的转录因子,因氧含量而产生不同反应的,主要是在氧气减少或缺氧 的情况下活化。缺氧大部分需要氧气呼吸的物种,都
  • 荷质比荷质比又称比荷、比电荷,是一个带电粒子所带电荷与其质量之比,其单位为C/kg。计算时,粒子无论带何种电荷,应一律代入正值计算。电子电荷 e
  • 图书分类学图书分类法(英语:Library classification)是图书馆为方便图书典藏和借阅而采取的一种分类方法,一般分类法分为基本法(按主题分类)和附加法(按年代、地域、语言分类),还可以人为按版本
  • 关系咨商婚姻咨商,英语中称做伴侣疗法(Couple's therapy)或是婚姻疗法(Marriage therapy)、伴侣咨商(Couples' counselling)指的是一种试图改善爱情关系和解决人际冲突的尝试。婚姻咨商的起
  • 庐陵庐陵郡是中国汉朝至唐朝的一个郡,其范围历代均有变化,但核心区域一直在吉泰盆地,大致相当于今吉安市辖境。东汉灵帝末(184-189),扬州刺史刘遵上书请置庐陵郡,初平二年(191),分豫章郡置
  • 黄淮海黑猪黄淮海黑猪,是起源于中国的古老地方品种。黄淮海黑猪体型较大。耳大、下垂超过鼻端,嘴筒长直。背腰平直狭窄,臀部倾斜。四肢坚实有力。皮、毛黑色,皮厚,毛粗而密,冬季密生棕红色绒
  • 埃姆里希·耶内埃姆里希·耶内(罗马尼亚语:Emerich Jenei,1937年3月22日-),罗马尼亚前足球运动员及足球教练,被认为是罗马尼亚最优秀的足球主教练之一。他在2000年以63岁高龄率领罗马尼亚国家足球
  • 小行星4039小行星4039(英语:4039 Souseki)是一颗围绕太阳公转的小行星。1987年9月17日,关勉在芸西天文台发现了此天体,以夏目漱石(Souseki)命名。这颗小行星的绝对星等为126.0777848631972等
  • 盲蛇下目详见内文盲蛇下目(学名:),是最原始的蛇类,身型细小,多藏身于地底,双眼视力甚差,甚至全盲。很多成员身长不到15厘米,但也有少数种类体型较大。