四维凸正多胞体

在数学中，四维凸正多胞体（）是指一类既是凸的又是正的的四维多胞体（4-多胞形）。它们是正多面体（三維）和正多边形（二维）的四维类比。它们最先在19世纪被数学家路德维希·施莱夫利所发现，其中五个与五个柏拉图立体一一对应，另外一个（正二十四胞体）没有好的三维类比。

每个四维凸正多胞体必须有同种的同样大小的凸正多面体胞面面相接构成，并且每个顶点周围必须有相同数量的胞。

 特性 
下面的表格描述了六个四维凸正多胞体的基本特性，表格的最后一列给出了它们所属的考克斯特群，形象化描述了它们在一系列镜面反射中的抽象群；及这个群的阶。
  名称  家族  施莱夫利符号  顶点  边  面  胞  顶点图  对偶 对称群 正五胞体超棱锥超正四面体四维单纯形  单纯形（n-单纯形）  {3,3,3}  5  10  10正三角形  5正四面体  正四面体  （自身对偶）  A4  120 正八胞体超正方体超立方体四维立方体  立方形（n-立方形）  {4,3,3}  16  32  24正四边形  8正六面体  正四面体  正十六胞体  B4  384 正十六胞体超正八面体四维正轴形  正轴形（n-正轴形）  {3,3,4}  8  24  32正三角形  16正四面体  正八面体  正八胞体  B4  384 正二十四胞体截半正十六胞体重正八面体  （沒有好的其他維度類比）  {3,4,3}  24  96  96正三角形  24正八面体  正六面体  （自身对偶）  F4  1152 正一百二十胞体超正十二面体重正十二面体  正十二面体形类五边形形（n-类五边形形）  {5,3,3}  600  1200  720正五边形  120正十二面体  正四面体  正六百胞体  H4  14400 正六百胞体重正四面体超正二十面体  正二十面体形类二十面体形（n-类二十面体形）  {3,3,5}  120  720  1200正三角形  600正四面体  正二十面体  正一百二十胞体  H4  14400
这6个四维凸正多胞体都是表面与三维球面（S3）同胚的单连通多胞体，所以它们的欧拉示性数都为0，因此我们有以下欧拉公式的四维类比：

其中代表零维顶点数，代表一维棱数，代表二维面数，代表三维胞数。

 可视化 
以下的表格展示了6个四维凸正多胞体的多种二维投影（更多图像可以在各自的页面里找到）。表头给出了多胞体的施莱夫利符号和。
 正五胞体  正八胞体  正十六胞体  正二十四胞体  正一百二十胞体  正六百胞体 {3,3,3}  {4,3,3}  {3,3,4}  {3,4,3}  {5,3,3}  {3,3,5}皮特里多边形正对的正交线架投影. 105px 105px 105px 105px 105px 105px三维固体填充正交投影 105px正四面体凸包（胞在前／顶点在前） 105px立方体凸包（胞在前） 105px立方体凸包（胞在前） 105px截半立方体凸包（胞在前） 105px截角菱形三十面体凸包（胞在前） 105px五角化截半十二面体凸包（顶点在前）线架（透视投影） 105px（胞在前） 105px（胞在前） 105px（胞在前） 105px（胞在前） 105px（胞在前） 105px（顶点在前） 线架球极投影（四维超球球极投影） 105px 105px 105px 105px 105px 105px

 参考 
 H. S. M. Coxeter, Introduction to Geometry, 2nd ed., John Wiley & Sons Inc., 1969. ISBN 0-471-50458-0.
 H. S. M. Coxeter, Regular Polytopes, 3rd. ed., Dover Publications, 1973. ISBN 0-486-61480-8.
 D. M. Y. Sommerville, An Introduction to the Geometry of n Dimensions. New York, E. P. Dutton, 1930. 196 pp. (Dover Publications edition, 1958) Chapter X: The Regular Polytopes

 外部链接 

Category:多胞体