正图形列表

<image>

{5,3,3}｜

<image>

小星形一百二十胞体

正堆砌体（三维）

平面｜双曲

<image>

{4,3,4}｜

<image>

四阶十二面体堆砌

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

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

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

## 概观

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

请注意，平面密铺和双曲密铺的维数比预期多一维。这是因为它们是有限多胞形在不同维度的类比：凸正n胞形可以看作(n−1)维球面空间的镶嵌。因此，欧几里德平面的三个正镶嵌图（正三角形镶嵌、正方形镶嵌和正六边形镶嵌）列在第三维度而不是第二维下。

有限｜平面｜双曲｜复合｜抽象

维度｜凸｜非凸｜密铺

星形｜扭歪｜凸｜星形｜扭歪｜紧凑｜仿紧｜非紧

凸｜星形｜凸｜凸｜星形

-1｜0｜0｜0｜0｜0｜0｜0｜0｜0｜0｜0｜0｜1

0｜1｜0｜0｜0｜0｜0｜0｜0｜0｜0｜0｜1

1｜1｜0｜0｜1｜0｜0｜0｜0｜0｜0｜0｜1

2｜∞｜∞｜∞｜1｜1｜1｜0｜0｜0｜∞｜∞｜∞

3｜5｜4｜?｜3｜3｜∞｜∞｜∞｜∞｜5｜0｜∞

4｜6｜10｜?｜1｜?｜4｜0｜11｜∞｜26｜20｜∞

5｜3｜0｜?｜3｜?｜5｜4｜2｜186｜0｜0｜∞

6｜3｜0｜?｜1｜?｜0｜0｜5｜66｜0｜0｜∞

7｜3｜0｜?｜1｜?｜0｜0｜0｜36｜3｜0｜∞

8｜3｜0｜?｜1｜?｜0｜0｜0｜13｜6｜0｜∞

9｜3｜0｜?｜1｜?｜0｜0｜0｜10｜0｜0｜∞

10｜3｜0｜?｜1｜?｜0｜0｜0｜8｜0｜0｜∞

11｜3｜0｜?｜1｜?｜0｜0｜0｜4｜0｜0｜∞

12+｜3｜0｜?｜1｜?｜0｜0｜0｜≤2

$\begin{cases} 1, & \mbox{維 度 為 } \; 2^{k}-1 \\ 2, & \mbox{維 度 為 } \; 2^{k} \\ 0, & \mbox{otherwise}\\ \end{cases}$

0｜∞

## 零维或以下的正图形

<image>

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

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

另外，正零边形也可以视为零维或以下的正图形，或看做是虚无多胞形（Null polytope）。

## 一维正图形

<image>

｜考克斯特记号终结点代表一个镜射面，周围有环的节点表示其不位于一个平面。ditel, { }, node_1 是点 p和其镜射像 p并且中间被夹出一段线段

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

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

在柱体的定义里，线段（一维）可以被看做是点（零维）的柱体，在施莱夫利符号中以{ }×{p}表示，而在考克斯特记号中则以笛卡儿积的形式node_1表示一个线段和多边形Coxeter Regular Polytopes（1973）, p. 124。

## 二维正多边形

### 二维凸正多边形

名称｜正三角形（2-单体）｜正方形（2-正轴形）（2-立方形）｜正五边形｜正六边形｜正七边形｜正八边形

施莱夫利符号｜{3}｜{4}｜{5}｜{6}｜{7}｜{8}

考克斯特—迪肯符号｜node_1｜node_1｜node_1｜node_1｜node_1｜node_1

图像｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

名称｜正九边形｜正十边形｜正十一边形｜正十二边形｜正十三边形｜正十四边形

施莱夫利｜{9}｜{10}｜{11}｜{12}｜{13}｜{14}

考克—迪肯｜node_1｜node_1｜node_1｜node_1｜node_1｜node_1

图像｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

名称｜正十五边形｜正十六边形｜正十七边形｜正十八边形｜正十九边形｜正二十边形｜...正n边形

施莱夫利｜{15}｜{16}｜{17}｜{18}｜{19}｜{20}｜{n}

考克—迪肯｜node_1｜node_1｜node_1｜node_1｜node_1｜node_1｜node_1

图像｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

边数较大的正多边形

名称｜二百五十七边形｜正65537边形｜一百万边形

可作图？｜可作图｜可作图｜不可

施莱夫利符号｜{257}｜{65537}｜{1000000}

考克斯特—迪肯符号｜node_1｜node_1｜node_1

图像｜

<image>

｜

<image>

｜

<image>

#### 退化 （圆形）

名称｜正零边形｜正一边形｜正二边形

施莱夫利符号｜{1}｜{2}

考克斯特—迪肯符号｜node｜node_1

图像｜

<image>

｜

<image>

### 星形正多边形

名称｜五角星｜七角星｜八角星｜九角星｜十角星｜...n角星

施莱夫利符号｜{5/2}｜{7/2}｜{7/3}｜{8/3}｜{9/2}｜{9/4}｜{10/3}｜{p/q}

考克斯特—迪肯符号｜node_1｜node_1｜node_1｜node_1｜node_1｜node_1｜node_1｜node_1

图像｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

### 扭歪正多边形

扭歪六边形｜扭歪八边形｜扭歪十边形

D3d, 2+,6｜D4d, 2+,8｜D5d, 2+,10

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

## 三维正图形

### 三维凸正多面体

名称｜施莱夫利符号{p,q}｜考克斯特—迪肯符号node_1｜图像（透视图）｜图像（立体图）｜图像（球面投影）｜面{p}｜边｜顶点{q}｜对称群｜对偶

正四面体（3-单体）（三角锥）｜{3,3}｜node_1｜

<image>

｜

<image>

｜

<image>

｜4{3}｜6｜4{3}｜Td｜（自身对偶）

正方体 （3-立方形）（正六面体）（四角柱）｜{4,3}｜node_1｜

<image>

｜

<image>

｜

<image>

｜6{4}｜12｜8{3}｜Oh｜正八面体

正八面体（3-正轴体）（正三角反棱柱）｜{3,4}｜node_1｜

<image>

｜

<image>

｜

<image>

｜8{3}｜12｜6{4}｜Oh｜立方体

正十二面体｜{5,3}｜node_1｜

<image>

｜

<image>

｜

<image>

｜12{5}｜30｜20{3}｜Ih｜正二十面体

正二十面体｜{3,5}｜node_1｜

<image>

｜

<image>

｜

<image>

｜20{3}｜30｜12{5}｜Ih｜正十二面体

#### 退化 （球面）

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

他们包括：

名称｜施莱夫利{p,q}｜考克斯特-迪肯符号｜图像（球面）｜面{p}｜边｜顶点{q}｜球面对称性列表｜对偶

一边形一面体｜{1,1}｜node｜

<image>

｜1{1}｜0｜1{1}｜C1（、1）｜自身对偶

一边形二面体｜{1,2}｜node_1｜

<image>

｜2{1}｜1｜1{2}｜C1v（、22）｜一面形

一面形｜{2,1}｜node｜

<image>

｜1{2}｜1｜2{1}｜C1v（、22）｜一边形二面体

二边形二面体二面形｜{2,2}｜node_1｜

<image>

｜2{2}｜2｜2{2}｜D2h（、222）｜自身对偶

三面形｜{2,3}｜node_1｜

<image>

｜3{2}｜3｜2{3}｜D3h（、322）｜三角形二面体

三角形二面体｜{3,2}｜node_1｜

<image>

｜2{3}｜3｜3{2}｜D3h（、322）｜三面形

六面形｜{2,6}｜node_1｜

<image>

｜6{2}｜6｜2{6}｜D6h（、622）｜六边形二面体

六边形二面体｜{6,2}｜node_1｜

<image>

｜2{6}｜6｜6{2}｜D6h（、622）｜六面形

### 星形正多面体

名称｜半透明图像｜立体图像｜球面镶嵌图像｜星状图｜施莱夫利{p,q}考克斯特-迪肯符号｜面{p}｜边｜顶点{q}顶点图｜χ｜密度 (多胞形)｜对称姓｜对偶

小星形十二面体｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜{5/2,5}node｜12{5/2}

<image>

｜30｜12{5}

<image>

｜−6｜3｜Ih5,3（、532）｜大十二面体

大十二面体｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜{5,5/2}node_1｜12{5}

<image>

｜30｜12{5/2}

<image>

｜−6｜3｜Ih5,3（、532）｜小星形十二面体

大星形十二面体｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜{5/2,3}node｜12{5/2}

<image>

｜30｜20{3}

<image>

｜2｜7｜Ih5,3（、532）｜大二十面体

大二十面体｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜{3,5/2}node_1｜20{3}

<image>

｜30｜12{5/2}

<image>

｜2｜7｜Ih5,3（、532）｜大星形十二面体

### 扭歪正多面体

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

<image>

｜

<image>

｜

<image>

｜

<image>

## 四维正图形

### 四维凸正多胞体

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

名称｜施莱夫利{p,q,r}｜考克斯特-迪肯符号node｜胞 {p,q}｜面 {p}｜边 {r}｜顶点 {q,r}｜对偶 {r,q,p}

正五胞体（四维单纯形）｜{3,3,3}｜node_1｜5{3,3}｜10{3}｜10 {3}｜5 {3,3}｜自身对偶

正八胞体（四维超方形）（超立方体）｜{4,3,3}｜node_1｜8 {4,3}｜24 {4}｜32 {3}｜16 {3,3}｜正十六胞体

正十六胞体（四维正轴体）｜{3,3,4}｜node_1｜16 {3,3}｜32 {3}｜24 {4}｜8 {3,4}｜超立方体

正二十四胞体｜{3,4,3}｜node_1｜24 {3,4}｜96 {3}｜96 {3}｜24 {4,3}｜自身对偶

正一百二十胞体（四维类五边形体）｜{5,3,3}｜node_1｜120 {5,3}｜720 {5}｜1200 {3}｜600 {3,3}｜正六百胞体

正六百胞体（四维类二十面体体｜{3,3,5}｜node_1｜600 {3,3}｜1200 {3}｜720 {5}｜120 {3,5}｜正一百二十胞体

正五胞体｜超立方体｜正十六胞体｜正二十四胞体｜正一百二十胞体｜正六百胞体

{3,3,3}｜{4,3,3}｜{3,3,4}｜{3,4,3}｜{5,3,3}｜{3,3,5}

线架图 （皮特里多边形）歪斜正投影图

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

不透明正投影图

<image>

被正四面体包覆（以顶点与胞为中心）｜

<image>

被立方体包覆（以胞为中心）｜

<image>

被立方体包覆（以胞为中心）｜

<image>

被截半立方体包覆（以胞为中心）｜

<image>

被倒角十二面体包覆 （以胞为中心）｜

<image>

被五角化截半二十面体包覆（以顶点为中心）

施莱盖尔图线框 （透视投影）

<image>

（以胞为中心）｜

<image>

（以胞为中心）｜

<image>

（以胞为中心）｜

<image>

（以胞为中心）｜

<image>

（以胞为中心）｜

<image>

（以顶点为中心）

球极平面投影线框 （超球面堆砌）

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

｜

<image>

### 退化 （超球面）

施莱夫利{2,p,q}｜考克斯特—迪肯符号node_1｜胞{2,p}π/q｜面{2}π/p,π/q｜边｜顶点｜顶点图{p,q}｜对称性｜对偶多胞形

{2,3,3}｜node_1｜4{2,3}π/3

<image>

｜6{2}π/3,π/3｜4｜2｜{3,3}

<image>

｜2,3,3｜{3,3,2}

{2,4,3}｜node_1｜6{2,4}π/3

<image>

｜12{2}π/4,π/3｜8｜2｜{4,3}

<image>

｜2,4,3｜{3,4,2}

{2,3,4}｜node_1｜8{2,3}π/4

<image>

｜12{2}π/3,π/4｜6｜2｜{3,4}

<image>

｜2,4,3｜{4,3,2}

{2,5,3}｜node_1｜12{2,5}π/3

<image>

｜30{2}π/5,π/3｜20｜2｜{5,3}

<image>

｜2,5,3｜{3,5,2}

{2,3,5}｜node_1｜20{2,3}π/5

<image>

｜30{2}π/3,π/5｜12｜2｜{3,5}

<image>

｜2,5,3｜{5,3,2}

### 扭歪多胞体

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

## 五维正图形

### 五维凸正多胞体

名称｜施莱夫利{p,q,r,s}考克斯特-迪肯符号｜维面{p,q,r}｜胞{p,q}｜面{p}｜边｜顶点｜面图{s}｜边图{r,s}｜顶点图{q,r,s}

五维正六胞体｜{3,3,3,3}node_1｜6{3,3,3}｜15{3,3}｜20{3}｜15｜6｜{3}｜{3,3}｜{3,3,3}

五维超正方体｜{4,3,3,3}node_1｜10{4,3,3}｜40{4,3}｜80{4}｜80｜32｜{3}｜{3,3}｜{3,3,3}

五维正三十二胞体｜{3,3,3,4}node_1｜32{3,3,3}｜80{3,3}｜80{3}｜40｜10｜{4}｜{3,4}｜{3,3,4}

<image>

五维正六胞体｜

<image>

五维超正方体｜

<image>

五维正三十二胞体

## 六维正图形

### 六维凸正多胞体

名称｜施莱夫利｜顶点｜边｜面｜胞｜维脊｜维面｜χ

六维正七胞体｜{3,3,3,3,3}｜7｜21｜35｜35｜21｜7｜0

六维超立方体｜{4,3,3,3,3}｜64｜192｜240｜160｜60｜12｜0

六维正六十四胞体｜{3,3,3,3,4}｜12｜60｜160｜240｜192｜64｜0

<image>

六维正七胞体｜

<image>

六维超立方体｜

<image>

六维正六十四胞体

## 七维正图形

### 七维凸正多胞体

名称｜施莱夫利｜顶点｜边｜面｜胞｜维峰｜维脊｜维面｜χ

七维正八胞体｜{3,3,3,3,3,3}｜8｜28｜56｜70｜56｜28｜8｜2

七维超立方体｜{4,3,3,3,3,3}｜128｜448｜672｜560｜280｜84｜14｜2

七维正一百二十八胞体｜{3,3,3,3,3,4}｜14｜84｜280｜560｜672｜448｜128｜2

<image>

七维正八胞体｜

<image>

七维超立方体｜

<image>

七维正一百二十八胞体

## 七维以上正图形

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

### n维凸正多胞体

从五维开始，凸正多胞体都只有三种。

名称｜施莱夫利符号{p1,...,pn−1}｜考克斯特-迪肯符号记号｜k维胞 / 面｜维面｜顶点图｜对偶

n维单体｜{3n−1}｜node_1...3｜${{n+1} \choose {k+1}}$｜{3n−2}｜{3n−2}｜自身对偶

n维超立方体｜{4,3n−2}｜node_1...3｜$2^{n-k}{n \choose k}$｜{4,3n−3}｜{3n−2}｜n维正轴体

n维正轴体｜{3n−2,4}｜node_1...3｜$2^{k+1}{n \choose {k+1}}$｜{3n−2}｜{3n−3,4}｜n维超立方体

#### 八维

名称｜施莱夫利｜顶点｜边｜面｜胞｜4维胞｜维峰｜维脊｜维面｜χ

八维单体｜{3,3,3,3,3,3,3}｜9｜36｜84｜126｜126｜84｜36｜9｜0

八维超立方体｜{4,3,3,3,3,3,3}｜256｜1024｜1792｜1792｜1120｜448｜112｜16｜0

八维正轴体｜{3,3,3,3,3,3,4}｜16｜112｜448｜1120｜1792｜1792｜1024｜256｜0

<image>

八维单体｜

<image>

八维超立方体｜

<image>

八维正轴体

#### 九维

名称｜施莱夫利｜顶点｜边｜面｜胞｜4维胞｜5维胞｜维峰｜维脊｜维面｜χ

九维单体｜{38}｜10｜45｜120｜210｜252｜210｜120｜45｜10｜2

九维超立方体｜{4,37}｜512｜2304｜4608｜5376｜4032｜2016｜672｜144｜18｜2

九维正轴体｜{37,4}｜18｜144｜672｜2016｜4032｜5376｜4608｜2304｜512｜2

<image>

九维单体｜

<image>

九维超立方体｜

<image>

九维正轴体

#### 十维

名称｜施莱夫利｜顶点｜边｜面｜胞｜4维胞｜5维胞｜6维胞｜维峰｜维脊｜维面｜χ

十维单体｜{39}｜11｜55｜165｜330｜462｜462｜330｜165｜55｜11｜0

十维超立方体｜{4,38}｜1024｜5120｜11520｜15360｜13440｜8064｜3360｜960｜180｜20｜0

十维正轴体｜{38,4}｜20｜180｜960｜3360｜8064｜13440｜15360｜11520｜5120｜1024｜0

<image>

十维单体｜

<image>

十维超立方体｜

<image>

十维正轴体

#### 十一维

名称｜施莱夫利｜顶点｜边｜面｜胞｜4维胞｜5维胞｜6维胞｜7维胞｜维峰｜维脊｜维面｜χ

十一维单体｜{310}｜12｜66｜220｜495｜792｜924｜792｜495｜220｜66｜12｜2

十一维超立方体｜{4,39}｜2048｜11264｜28160｜42240｜42240｜29568｜14784｜5280｜1320｜220｜22｜2

十一维正轴体｜{39,4}｜22｜220｜1320｜5280｜14784｜29568｜42240｜42240｜28160｜11264｜2048｜2

<image>

十一维单体｜

<image>

十一维超立方体｜

<image>

十一维正轴体

#### 十二维

名称｜施莱夫利｜顶点｜边｜面｜胞｜4维胞｜5维胞｜6维胞｜7维胞｜8维胞｜维峰｜维脊｜维面｜χ

十二维单体｜{311}｜13｜78｜286｜715｜1287｜1716｜1716｜1287｜715｜286｜78｜13｜0

十二维超立方体｜{4,310}｜4096｜24576｜67584｜112640｜126720｜101376｜59136｜25344｜7920｜1760｜264｜24｜0

十二维正轴体｜{310,4}｜24｜264｜1760｜7920｜25344｜59136｜101376｜126720｜112640｜67584｜24576｜4096｜0

<image>

十二维单体｜

<image>

十二正轴体

#### 更高维度

种类｜维度｜名称｜施莱夫利｜顶点｜边｜面｜维峰｜维脊｜维面｜χ

单纯形｜13｜十三维单体｜{312}｜14｜91｜364｜364｜91｜14｜2

14｜十四维单体｜{313}｜15｜105｜455｜455｜105｜15｜0

15｜十五维单体｜{314}｜16｜120｜560｜560｜120｜16｜2

16｜十六维单体｜{315}｜17｜136｜680｜680｜136｜17｜0

17｜十七维单体｜{316}｜18｜153｜816｜816｜153｜18｜2

18｜十八维单体｜{317}｜19｜171｜969｜969｜171｜19｜0

19｜十九维单体｜{318}｜20｜190｜1140｜1140｜190｜20｜2

20｜二十维单体｜{319}｜21｜210｜1330｜1330｜210｜21｜0

超方形｜13｜十三维超立方体｜{4,311}｜8192｜53248｜159744｜2288｜312｜26｜2

14｜十四维超立方体｜{4,312}｜16384｜114688｜372736｜2912｜364｜28｜0

15｜十五维超立方体｜{4,313}｜32768｜245760｜860160｜3640｜420｜30｜2

16｜十六维超立方体｜{4,314}｜65536｜524288｜1966080｜4480｜480｜32｜0

17｜十七维超立方体｜{4,315}｜131072｜1114112｜4456448｜5440｜544｜34｜2

18｜十八维超立方体｜{4,316}｜262144｜2359296｜10027008｜6528｜612｜36｜0

19｜十九维超立方体｜{4,317}｜524288｜4980736｜22413312｜7752｜684｜38｜2

20｜二十维超立方体｜{4,318}｜1048576｜10485760｜49807360｜9120｜760｜40｜0

正轴形｜13｜十三维正轴体｜{311,4}｜26｜312｜2288｜159744｜53248｜8192｜2

14｜十四维正轴体｜{312,4}｜28｜364｜2912｜372736｜114688｜16384｜0

15｜十五维正轴体｜{313,4}｜30｜420｜3640｜860160｜245760｜32768｜2

16｜十六维正轴体｜{314,4}｜32｜480｜4480｜1966080｜524288｜65536｜0

17｜十七维正轴体｜{315,4}｜34｜544｜5440｜4456448｜1114112｜131072｜2

18｜十八维正轴体｜{316,4}｜36｜612｜6528｜10027008｜2359296｜262144｜0

19｜十九维正轴体｜{317,4}｜38｜684｜7752｜22413312｜4980736｜524288｜2

20｜二十维正轴体｜{318,4}｜40｜760｜9120｜49807360｜10485760｜1048576｜0

### n维正非凸多胞形

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

## 正无穷多胞形

### 一维

#### 密铺

对应的欧几里得密铺只有一种，密铺于一维欧几里得空间，即直线，即正无限边形。其施莱夫利符号以{∞}表示、考克斯特—迪肯符号以node_1表示。

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

...

<image>

...

#### 双曲密铺

对应的双曲密铺只有一种，即由一维正图形“线段”完成一维罗氏空间（即二维双曲线）的密铺，类似于无限边形，称为超无限边形，但又因为它是发散的，因此又称为伪多边形。在施莱夫利符号以{iπ/λ}表示、考克斯特—迪肯符号以node_1表示。

<image>

### 二维

#### 平面正镶嵌图

名称｜正方形镶嵌｜正三角形镶嵌｜正六边形镶嵌

平面对称群列表｜p4m, 4,4, （、442）｜p6m, 6,3, （、632）

施莱夫利 {p,q}｜{4,4}｜{3,6}｜{6,3}

考克斯特狄肯记号｜node_1｜node｜node_1

图像｜

<image>

｜

<image>

｜

<image>

#### 双曲凸正镶嵌图

双曲正镶嵌图球面 （退化/柏拉图）/平面/双曲面 （庞加莱圆盘：紧凑/仿紧凑/非紧凑）镶嵌图与其施莱夫利符号

p \ q｜2｜3｜4｜5｜6｜7｜8｜...｜∞｜...｜iπ/λ

2｜

<image>

{2,2}node_1｜

<image>

{2,3}node_1｜

<image>

{2,4}node_1｜

<image>

{2,5}node_1｜

<image>

{2,6}node_1｜

<image>

{2,7}node_1｜

<image>

{2,8}node_1｜

<image>

{2,∞}node_1｜

<image>

2,iπ/λnode_1

3｜

<image>

{3,2}node_1｜

<image>

（正四面体）{3,3}node_1｜

<image>

（正八面体）{3,4}node_1｜

<image>

（正二十面体）{3,5}node_1｜

<image>

（三角镶嵌）{3,6}node_1｜

<image>

{3,7}node_1｜

<image>

{3,8}node_1｜

<image>

{3,∞}node_1｜

<image>

3,iπ/λnode_1

4｜

<image>

{4,2}node_1｜

<image>

（立方体）{4,3}node_1｜

<image>

（方形镶嵌）{4,4}node_1｜

<image>

{4,5}node_1｜

<image>

{4,6}node_1｜

<image>

{4,7}node_1｜

<image>

{4,8}node_1｜

<image>

{4,∞}node_1｜

<image>

4,iπ/λnode_1

5｜

<image>

{5,2}node_1｜

<image>

（十二面体）{5,3}node_1｜

<image>

{5,4}node_1｜

<image>

{5,5}node_1｜

<image>

{5,6}node_1｜

<image>

七阶五边形镶嵌node_1｜

<image>

八阶五边形镶嵌node_1｜

<image>

{5,∞}node_1｜

<image>

5,iπ/λnode_1

6｜

<image>

{6,2}node_1｜

<image>

（六角镶嵌）{6,3}node_1｜

<image>

{6,4}node_1｜

<image>

{6,5}node_1｜

<image>

{6,6}node_1｜

<image>

七阶六边形镶嵌node_1｜

<image>

{6,8}node_1｜

<image>

无限阶六边形镶嵌node_1｜

<image>

6,iπ/λnode_1

7｜7,2node_1｜

<image>

{7,3}node_1｜

<image>

{7,4}node_1｜

<image>

五阶七边形镶嵌node_1｜

<image>

六阶七边形镶嵌node_1｜

<image>

{7,7}node_1｜

<image>

八阶七边形镶嵌node_1｜

<image>

无限阶七边形镶嵌node_1｜7,iπ/λnode_1

8｜8,2node_1｜

<image>

{8,3}node_1｜

<image>

{8,4}node_1｜

<image>

五阶八边形镶嵌node_1｜

<image>

{8,6}node_1｜

<image>

七阶八边形镶嵌node_1｜

<image>

{8,8}node_1｜

<image>

无限阶八边形镶嵌node_1｜8,iπ/λnode_1

⋮

∞｜

<image>

{∞,2}node_1｜

<image>

{∞,3}node_1｜

<image>

{∞,4}node_1｜

<image>

{∞,5}node_1｜

<image>

六阶无限边形镶嵌node_1｜

<image>

七阶无限边形镶嵌node_1｜

<image>

八阶无限边形镶嵌node_1｜

<image>

{∞,∞}node_1｜

<image>

∞,iπ/λnode_1

⋮

iπ/λ｜

<image>

iπ/λ,2node_1｜

<image>

iπ/λ,3node_1｜

<image>

iπ/λ,4node_1｜

<image>

iπ/λ,5node_1｜

<image>

iπ/λ,6node_1｜iπ/λ,7node_1｜iπ/λ,8node_1｜

<image>

iπ/λ,∞node_1｜

<image>

iπ/λ,iπ/λnode_1

#### 双曲星形正镶嵌图

名称｜施莱夫利符号｜考克斯特狄肯记号｜图像｜面的种类{p}｜顶点图{q}｜密度 (多胞形)｜对称｜对偶

七阶七角星镶嵌｜{7/2,7}｜node_1｜

<image>

｜{7/2}

<image>

｜{7}

<image>

｜3｜、7327,3｜二分之七阶七边形镶嵌

二分之七阶七边形镶嵌｜{7,7/2}｜node_1｜

<image>

｜{7}

<image>

｜{7/2}

<image>

｜3｜、7327,3｜七阶七角星镶嵌

九阶九角星镶嵌｜{9/2,9}｜node_1｜

<image>

｜{9/2}

<image>

｜{9}

<image>

｜3｜、9329,3｜二分之九阶九边形镶嵌

二分之九阶九边形镶嵌｜{9,9/2}｜node_1｜

<image>

｜{9}

<image>

｜{9/2}

<image>

｜3｜、9329,3｜九阶九角星镶嵌

十一阶十一角星镶嵌｜{11/2,11}｜node_1｜

<image>

｜{11/2}

<image>

｜{11}

<image>

｜3｜、11.3.211,3｜二分之十一阶十一边形镶嵌

二分之十一阶十一边形镶嵌｜{11,11/2}｜node_1｜

<image>

｜{11}

<image>

｜{11/2}

<image>

｜3｜、11.3.211,3｜十一阶十一角星镶嵌

p阶p角星镶嵌｜{p/2,p}｜node_1｜ ｜{p/2}｜{p}｜3｜、p32p,3｜二分之p阶p边形镶嵌

二分之p阶p边形镶嵌｜{p,p/2}｜node_1｜ ｜{p}｜{p/2}｜3｜、p32p,3｜p阶p角星镶嵌

...

无限阶无限角星镶嵌｜{∞/2,∞}｜node_1｜

<image>

｜{∞/2}｜{∞}｜3｜、∞.3.2∞,3｜二分之无限阶无限边形镶嵌

二分之无限阶无限边形镶嵌｜{∞,∞/2}｜node_1｜

<image>

｜{∞}｜{∞/2}｜3｜、∞.3.2∞,3｜无限阶无限角星镶嵌

### 三维

<image>

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

名称｜施莱夫利{p,q,r}｜考克斯特-迪肯符号node｜胞{p,q}｜面{p}｜边图{r}｜顶点图{q,r}｜χ｜对偶

立方体堆砌｜{4,3,4}｜node_1｜{4,3}｜{4}｜{4}｜{3,4}｜0｜自身对偶

### 四维

名称｜施莱夫利{p,q,r,s}｜维面{p,q,r}｜胞{p,q}｜面{p}｜面图{s}｜边图{r,s}｜顶点图{q,r,s}｜对偶

超立方体堆砌｜{4,3,3,4}｜{4,3,3}｜{4,3}｜{4}｜{4}｜{3,4}｜{3,3,4}｜自身对偶

正十六胞体堆砌｜{3,3,4,3}｜{3,3,4}｜{3,3}｜{3}｜{3}｜{4,3}｜{3,4,3}｜{3,4,3,3}

正二十四胞体堆砌｜{3,4,3,3}｜{3,4,3}｜{3,4}｜{3}｜{3}｜{3,3}｜{4,3,3}｜{3,3,4,3}

<image>

超立方体堆砌｜

<image>

正十六胞体堆砌｜

<image>

正二十四胞体堆砌

### 五维

五维空间的正堆砌仅有五维超立方体堆砌{4,3,3,3,4}Coxeter Regular Polytopes（1973）, p. 296, Table II: Regular honeycombs

名称｜施莱夫利{p,q,r,s,t}｜考克斯特-迪肯符号node｜维面{p,q,r,s}｜维脊{p,q,r}｜胞{p,q}｜面{p}｜边图{t}｜顶点图{s,t}｜对偶

五维超立方体堆砌｜{4,3,3,3,4}｜node_1｜{4,3,3,3}｜{4,3,3}｜{4,3}｜{4}｜{4}｜{3,4}｜自身对偶

### 六维以上

δn｜维度｜名称｜施莱夫利｜考克斯特-迪肯符号

原位{∞}n(2m色, m{4,3n-1,4}(1色、n色)｜网格{4,3n-4,31,1}(2色)

δ6｜五维（退化六维）｜五维超立方体堆砌｜{∞}5{4,33,4}{4,32,31,1}｜labelinfin｜node_1node_1｜node_1

δ7｜六维（退化七维）｜六维超立方体堆砌｜{∞}6{4,34,4}{4,33,31,1}｜labelinfin｜node_1node_1｜node_1

δ8｜七维（退化八维）｜七维超立方体堆砌｜{∞}7{4,35,4}{4,34,31,1}｜labelinfin｜node_1node_1｜node_1

δ9｜八维（退化九维）｜八维超立方体堆砌｜{∞}8{4,36,4}{4,35,31,1}｜labelinfin｜node_1node_1｜node_1

δn｜n-1维（退化n维）｜n-1维超立方体堆砌｜{∞}n{4,3n-3,4}{4,3n-4,31,1}｜...

#### 双曲

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

##### 非紧镶嵌

维｜总数｜群

三维（退化四维）｜∞｜3,3,7 ... ∞,∞,∞: node ... node 4,33 ... ∞,∞3: node ... node 5,41,1 ... ∞1,1,1: node ... node ... (5,4,3,3) ... ∞4: ... label5 ... labelinfin ... 4× ... ∞×: ... node ... 43,3 ... ∞3,3

四维（退化五维）｜186｜...33,3,3:pent ...

五维（退化六维）｜66

六维（退化七维）｜36｜31,1,1,1,1,1: node ...

七维（退化八维）｜13｜3,3,36:node 3,36,3:node 3,32+4,3:nodea 3,31+5,3:nodes 3 e×3:node｜4,3,3,33,1:nodea 31,1,3,33,1:nodea 3,(3,3,4)1,1:nodea nodea nodea 32,1,3,32,1:nodea｜4,3,3,32,2:node 31,1,3,32,2:nodes

八维（退化九维）｜10｜3,33+4,3:nodea 3,39:node 3,32+5,3:nodea｜32,1,32,32,1:nodea｜33,1,33,4:nodea 33,1,3,3,31,1:nodea｜33,3,2:nodes 32,2,4:nodes 32,2,33,4:nodes 32,2,3,3,31,1:nodes

九维（退化十维）｜8｜3,38,3:node 3,33+5,3:nodea 3,39:node｜32,1,33,32,1:nodea｜35,3,1:nodea 33,1,34,4:nodea 33,1,33,31,1:nodea｜34,4,1:nodes

十维（退化十一维）｜4｜32,1,34,32,1:nodea｜32,1,36,4:nodea 32,1,35,31,1:nodea｜37,2,1:nodea

## 复合正图形

### 二维复合正多边形

<image>

2{14}｜

<image>

2{14/3}｜

<image>

2{14/5}｜

<image>

三十角星｜

<image>

2{15/2}｜

<image>

2{15/4}｜

<image>

2{15/7}

## 抽象正图形

多面体｜

<image>

内侧菱形三十面体｜

<image>

十二合十二面体｜

<image>

内侧三角星化二十面体｜

<image>

双三斜十二面体｜

<image>

凹五角锥十二面体

顶点图｜{5}, {5/2}

<image>

<image>

｜(5.5/2)2

<image>

｜{5}, {5/2}

<image>

<image>

｜(5.5/3)3

<image>

｜

<image>

面｜30个菱形

<image>

｜12个五边形12个五角星

<image>

<image>

｜20个六边形

<image>

｜12个五边形12个五角星

<image>

<image>

｜20个六边形

<image>

镶嵌｜

<image>

{4, 5}｜

<image>

{5, 4}｜

<image>

{6, 5}｜

<image>

{5, 6}｜

<image>

{6, 6}

χ｜−6｜−6｜−16｜−16｜−20

## 外部链接

- The Platonic Solids
- Kepler-Poinsot Polyhedra
- Regular 4d Polytope Foldouts
- Multidimensional Glossary （Look up Hexacosichoron and Hecatonicosachoron）
- Polytope Viewer
- Polytopes and optimal packing of p points in n dimensional spheres
- An atlas of small regular polytopes