正图形列表

✍ dations ◷ 2025-08-26 09:49:23 #多胞形,对称

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

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

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

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

在维数为零的空间能存在的多胞形只有点,无法有其他几何或拓朴组合,而为数比零更低则是在抽象理论(英语: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

相关

  • 螨传播螨(英语:mite, 音mán)是一种八足生物,是蜘蛛的近亲。螨的体形极小,必须借助显微镜观察。螨又可分为尘螨(dust mite)与农业螨,其中农业螨又有叶螨(spider mite)、拟叶螨(false spider mi
  • 北极大陆北极大陆(Arctica)是个远古大陆,形成于约25亿年前的新太古代,由现今的西伯利亚与加拿大地盾所构成,位置相当于现今的北极地区。北极大陆后来先后成为大西洋大陆、妮娜大陆的一部
  • 达尔文-华莱士奖章达尔文-华莱士奖章(英语:Darwin–Wallace Medal)是一个由伦敦林奈学会设立的、旨在奖励在进化生物学领域里作出过重要贡献的科学家的奖项。奖章的正反两面分别印有达尔文和华莱
  • 攻占巴士底狱攻占巴士底监狱(法语:Prise de la Bastille)发生于1789年7月14日,巴士底狱被巴黎市民攻下和占领。此监狱是巴黎的一座中世纪城堡和监狱,被认为是法国封建专制统治的象征。攻占巴
  • 代码在通信和信息处理中,代码(code)是指一套转换信息的规则系统,例如将一个字母、单词、声音、图像或手势转换为另一种形式或表达,有时还会缩短或加密以便通过某种信道或存储媒体通信
  • 滤心滤心,为白色滚筒状,主要用于过滤液体杂质。日常生活用于饮水机过滤水中杂质;工厂使用过滤桶(可放置八到十二支滤心),用于过滤液体使液体保持干净。有些滤心材质也会使用竹炭,可净化
  • 自卫队伊拉克复兴支持群自卫队伊拉克复兴支援群(日语:自衛隊イラク復興支援群,英语:Japanese Iraq Reconstruction and Support Group)是日本自卫队因应伊拉克战争而派外的一支营级人道救援部队。于2004
  • 企业识别企业识别(英语:Corporate Identity),常简称为CI,一般指品牌的物理表现。通常来说,这一概念包含了标志(包括标准字和标准图形)和一系列配套设计。一套企业识别系统(Corporate Identity
  • 台铁CK80型蒸汽机车台铁CK80型蒸汽机车为台湾总督府铁道部引进的B6型(日语:国鉄2100形蒸気機関車)饱合式机车(即日本国铁2120型(日本或英国制)与2500型(美国制))。引进时编为80型,台铁接收后编为CK80型。
  • 青柠青柠,又称青柠柠檬,文献中也称来檬、绿檬,是芸香科柑橘属其中数种植物的统称,其果实的特征是淡黄绿色的球形、椭球形或倒卵形,直径约4至5厘米。由于亚热带与热带地区出产的柠檬也