正图形列表

✍ dations ◷ 2025-04-25 02:11:57 #多胞形,对称

此页面列出了所有的欧几里得空间、双曲空间和球形空间的正图形或正多胞形。施莱夫利符号可以描述每一个正图形或正多胞形,他被广泛使用如下面的每一个紧凑的参考名称。

正图形或正多胞形可由其维度分类,也可以分成凸、非凸(星形、扭歪、复合或凹)和无穷等形式。非凸形式(或凹形式)使用与凸形式相同的顶点,但面(或边)有相交。无限的形式则是在一较低维的欧几里得空间中密铺(镶嵌或堆砌)。

无限的形式可以扩展到密铺双曲空间。双曲空间是和正常的空间有相同的规模,但平行线在一定的距离内会分岔得越来越远。这使得顶点值可以存在负角度的缺陷,例如制作一个由个正三角形组成的顶点,它们可以被平放。它不能在普通平面上完成的,但可以在一个双曲平面上构造。

此表显示正图形或正多胞形在各个维度的汇总。

在维数为零的空间能存在的多胞形只有点,无法有其他几何或拓朴组合,而为数比零更低则是在抽象理论(英语:Abstract_polytope)中的虚无多胞形(英语:Null polytope)代表一种空集合,在抽象理论(英语:Abstract_polytope)中被看作是一种负一维的多胞形,但其是一种抽象多胞形(英语:Abstract_polytope)。然而,在数学上,零维空间是按以下的不等价定义之一,维数为零的拓扑空间:按覆盖维数的概念,一个拓扑空间是零维空间,若空间的任何开覆盖,都有一个加细,使得空间内每一点,都在这个加细的恰好一个开集内;或者按小归纳维数的概念,一个拓扑空间是零维空间,若空间有一个由闭开集组成的基。这两个概念对可分可度量化空间为等价。而负一维空间仅是在抽象理论(英语:Abstract_polytope)表示一个比零维多胞形更低维度的一个元词。

依据正图形的定义,一个多胞形必须要具备严格的标记可递特性,对于该几何体内所有同维度的元素(如:点、线、面)都完全具有相同的性质,并且每一个元素皆为一个正图形,而零维多胞形的元素仅有{F−1, F0}、负一维多胞形的元素仅有{F−1},几何上所有零维多胞形都是正多胞形,一般地,维正图形被定义为有正维面和正顶点图,这两个条件已经能充分地保证所有面、所有顶点都是相似的,但这一定义并不适用于抽象多胞形(英语:抽象多胞形),而负一维的多胞形的仅有一种抽象多胞形(英语:Abstract_polytope)。

另外,正零边形也可以视为零维或以下的正图形,或看做是虚无多胞形(英语:Null polytope)。

在维数为一的一维空间里存在的多胞形是由两个端点包围住的一个封闭一维空间,即线段。在定义上,这个一维多胞形(或称1-多胞形)在施莱夫利符号中以: { } 表示,而在考克斯特记号中则以一个有环的节点:CDel node 1.png表示。诺曼·约翰逊(英语:Norman Johnson (mathematician))将之称为ditel,并在施莱夫利符号中以{ }表示。依据正图形的定义,一个多胞形必须要具备严格的标记可递特性,对于该几何体内所有同维度的元素(如:点、线、面)都完全具有相同的性质,并且每一个元素皆为一个正图形,而一维多胞形的旗包含{F−1, F0, F1}、其元素仅有{F−1, A, B, AB},其中,A、B为线段两端点,由于几何上所有零维多胞形都是正多胞形,因此所有的线段都会符合标记可递特以及所有同维度的元素(如:点、线、面)都完全具有相同的性质,并且每一个元素皆为一个正图形,因此在几何上所有的一维多胞形都是正多胞形。

虽然线段做为一个多胞形是微不足道的,但它似乎是多边形和其他更高维度图形形成边缘所需的一个元素。在一维以及以下(包括一维、零维、负一维)空间中的多胞形都是正多胞形,包含了一维的线段、零维的点和负一维的抽象虚无多胞形都是组成多边形和其他更高维度图形的重要元素之一,比如一维的线段组成多边形的边、零维的点组成多边形的顶点以及代表集合子集中空集合的抽象虚无多胞形都是多边形的组成元素(子集),依据正图形定义,若这些低为度不存在正图形,则也不会有正多边形和其他更高维度的正图形。

在柱体的定义里,线段(一维)可以被看做是点(零维)的柱体,在施莱夫利符号中以{ }×{p}表示,而在考克斯特记号中则以笛卡儿积的形式CDel node 1.pngCDel 2.pngCDel node 1.pngCDel p.pngCDel node.png表示一个线段和多边形。

在球面几何学中,多面形 {2,n} 和多边形二面体 {n,2} 以及一面体 {1,1} 也可以被视为是一种正多面体(正球面镶嵌)。

他们包括:

考克斯特在他的论文《三维和四维空间的正扭歪多面体极其类似物》中列出了较多的一系列扭歪多面体,其中有四种是正图形。

在四维空间中存在6种凸正图形。

四维的扭歪多胞体是一些位于五维或以上的扭歪图形。

自五维开始,正图形皆只有三种——单纯形、超方形以及正轴形。

从五维开始,凸正多包体都只有三种。

从五维开始就都不存在任何非凸多胞形。

对应的欧几里得密铺只有一种,密铺于一维欧几里得空间,即直线,即正无限边形。其施莱夫利符号以{∞}表示、考克斯特符号(英语:Coxeter-Dynkin diagram)以CDel node 1.pngCDel infin.pngCDel node.png表示。

该镶嵌是由一维正图形“线段”(即二维二边形)完成一维欧几里得空间的密铺。

...Regular apeirogon.png...

对应的双曲密铺只有一种,即由一维正图形“线段”完成一维罗氏空间(即二维双曲线)的密铺,类似于无限边形,称为超无限边形,但又因为它是发散的,因此又称为伪多边形。在施莱夫利符号以{iπ/λ}表示、考克斯特符号(英语:Coxeter-Dynkin diagram)以CDel node 1.pngCDel ultra.pngCDel node.png表示。

Regular Pseudogon.png

三维空间中只有一种正堆砌体,即立方体堆砌{4, 3, 4}:

五维空间的正堆砌仅有五维超立方体堆砌{4,3,3,3,4}

六维或以上的维度皆不存在紧空间与仿紧空间的双曲堆砌。不过,任何的{p,q,r,s,...}形式(其中p,q,r,s,...是大于二的自然数或无限大)以上并不包括n维空间的非紧镶嵌。

] ... ]: CDel node.pngCDel 4.pngCDel node.pngCDel split1.pngCDel branch.png ... CDel node.pngCDel infin.pngCDel node.pngCDel split1-ii.pngCDel branch.pngCDel labelinfin.png
... : CDel node.pngCDel 5.pngCDel node.pngCDel split1-44.pngCDel nodes.png ... CDel node.pngCDel infin.pngCDel node.pngCDel split1-ii.pngCDel nodes.png
... ... ]: ... CDel label5.pngCDel branch.pngCDel 4a3b.pngCDel branch.png ... CDel labelinfin.pngCDel branch.pngCDel iaib.pngCDel branch.pngCDel labelinfin.png
... ×] ... ×]: ... CDel node.pngCDel split1-ii-i.pngCDel branch.pngCDel split2-ii.pngCDel node.png
... ] ... ]

]:CDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.png
,3]:CDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.png
,3]:CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.pngCDel 3a.pngCDel nodea.png
,3]:CDel nodes.pngCDel 3ab.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.png
e×]:CDel node.pngCDel splitsplit1.pngCDel nodeabc.pngCDel 3abc.pngCDel nodeabc.pngCDel splitsplit2.pngCDel node.png

:CDel nodea.pngCDel 4a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
:CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png
:CDel nodea.pngCDel 4a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 4a.pngCDel nodea.png
CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 4a.pngCDel nodea.png
CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.png
:CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.png

:CDel node.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.png
:CDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.png

,3]:CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.png
]:CDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.png
,3]:CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split5b.pngCDel nodes.png

:CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.png

:CDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
:CDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
:CDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png

,3]:CDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.pngCDel 3a.pngCDel nodea.png
]:CDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel 3ab.pngCDel branch.png

:CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 4a.pngCDel nodea.png
:CDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel nodea.pngCDel 3a.pngCDel branch.pngCDel 3a.pngCDel nodea.pngCDel 3a.png

相关

  • 子集子集,为某个集合中一部分的集合,故亦称部分集合。若 A {\displaystyle A} 和 B {\displ
  • 罪惟录《罪惟录》,原名《明书》,作者查继佐,为明朝—南明史事的纪传体史书。传世唯有一部,齐鲁书社对其进行点校。查继佐于崇祯十七年(1644年)始修明史,易稿数十次,初名明书,因牵连庄廷鑨私
  • 心灵感应心灵感应(telepathy)佛学中所属神通,意为“远距(tele-)感应(-pathy)”, 是指不借助任何感官或物理途径,将信息传递给另一个人的现象或能力;在报导中,这些讯息往往被描述为和普通感官接
  • 绿色工团主义绿色工团主义(英文:Green syndicalism)或生态工团主义是无政府工团主义的一种形式,他们的主要观点是废除资本主义并建立工人控制的民主政权,他们认为这是有效地解决气候变化和自
  • 松原忠司松原忠司(天保五年(1835年)-庆应元年(1865年))。为新选组队士(第四队组长、柔术师傅)。名字的念法有“ただじ”、“ただし”等。号柳赵斋。松原出生于播州(播磨),是播州小野藩藩士之子,
  • 超原子超原子是一个表现出元素的原子性质的原子团簇。钠原子从蒸汽冷却时自然凝结成团簇时优先含有原子个数为(2,8,20,40,58等)的幻数。前两个可以被看作是需要分别填充的第一和第二壳的
  • 约拿约拿,天主教译为约纳(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsov
  • 北爱尔兰民主统一党民主统一党(英语:Democratic Unionist Party,缩写为DUP)是北爱尔兰亲英政党,成立于1971年。目前是北爱尔兰两大政党之一,与主张整个爱尔兰(爱尔兰共和国及北爱尔兰)完全脱离英国的新
  • 金桥开发片区金桥经济技术开发区,位于上海浦东新区中部,是浦东新区下辖的一个类乡级行政单位,也是中华人民共和国的国家级经济技术开发区,前身为金桥出口加工区,于1990年经国务院批准建立。该
  • 强直性肌肉失养症强直性肌肉失养症(Myotonic dystrophy)也称为肌强直性营养不良,是一种影响肌肉功能的慢性遗传性疾病。其症状包括逐渐恶化的肌肉损失(英语:Muscle atrophy)和虚弱,肌肉经常收缩而且