正多面体

在几何学中，正多面体是同时具有等边、等角和等面特性的多面体。在经典语境中，有许多描述上不同但实际上等价的定义存在，最常见的定义是每个面都是全等的正多边形，且每个顶点都是相同数量且相同种类之正多边形的公共顶点。例如立方体是一种正多面体，其每个面都是正方形，且每个顶点都是3个正方形的公共顶点。在中文环境中，一般被大众认知的正多面体通常代表只有五种的凸正多面体，又称为柏拉图立体，其包括了正四面体、立方体、正八面体、正十二面体和正二十面体。然而在定义上，正多面体仅指每个面是正多边形、每条边等长每个角等角且每面全等的多面体，而符合上述定义的多面体不一定是凸多面体，也可能是星形多面体、抽象多面体或扭歪多面体等。这些多面体除了五种凸正多面体外，还有四种非凸正多面体（开普勒－庞索立体）、五种抽象正多面体和五种复合正多面体。在几何学中，正多面体是一类对称性可以在其各维度元素的集合（或称标记）上传递的多面体。正多面体通常具有高度对称性，其同时具有边可递，点可递和面可递的性质，换句话说，即正多面体是同时具有等边、等角和等面特性的多面体。在经典语境中，有许多描述上不同但实际上等价的定义存在，最常见的定义是每个面都是全等的正多边形，且每个顶点都是相同数量且相同种类之正多边形的公共顶点。例如立方体是一种正多面体，其每个面都是正方形，且每个顶点都是3个正方形的公共顶点。所有正多面体皆可以使用施莱夫利符号来表示，其可以计为{n, m}。其中n表示构成面的顶点数，m则表示与顶点相邻的多边形数量。在中文语境中，一般被大众认知的正多面体通常代表只有五种的凸正多面体，又称为柏拉图立体，其包括了正四面体、立方体、正八面体、正十二面体和正二十面体。然而在定义上，正多面体仅指每个面是正多边形、每条边等长每个角等角且每面全等的多面体，而符合上述定义的多面体不一定是凸多面体，也可能是星形多面体、抽象多面体或扭歪多面体等。这些多面体除了五种凸正多面体外，还有四种非凸正多面体（克普勒–庞索立体）、五种抽象正多面体和五种复合正多面体。一般常见的正多面体为五种正凸多面体，又称为柏拉图立体。除了这种凸多面体外，亦有非凸的正多面体，为四种星形正多面体，又称为克普勒–庞索立体；以及五种正多面体的复合体。广泛地出现在文化中的五种正多面体。开普勒－庞索立体的面同样由正多边形组成，但其面或边有自我相交的情形，即非凸多面体。由于外观如同星状，因此又称为星形正多面体。由多个同一种正多面体组合而成且具有高度对称性的结构也可以视为正多面体的一种。例如两个正四面体组成的星形八面体，其类似于由两个正三角形组成的大卫之星在三维空间中的类比。多个正多面体的复合结构也可以有其他种类，然而其未必会符合标记可递的特性，因此不能算是正多面体，例如三复合正八面体。正多面体最基本的特性就是每个面都是全等的正多边形、每条边等长且每角等角。在定义中，每个顶点周围有相似的面排布的性质可以替换成下列的等价条件：正多面体具有三个相关的球体（其他非正多面体至少缺少一种），其球心位于同一个点上：20世纪出现了一系列关于正多面体概念的概括，导致了正多面体出现了几个新的种类。在20世纪最初的几十年，考克斯特和皮特里考虑了顶点的排布以及角呈现马鞍形样式的多面体类型，并找到了三种由正多边形组成且无限延伸的折叠形几何结构，被命名为正扭歪无限面体。如同扭歪多边形的定义（不共面的多边形），有限面数的扭歪多面体则为其无法所有面或顶点皆位于同一个三维空间的多面体，因此会需要四维或以上的空间来构造限面数的扭歪多面体，就如同皮特里多边形为正多面体上的一个不共面封闭路径，有限面数的扭歪多面体可以从四维正多胞体中取一个不共三维空间的封闭区域来构造。在非欧几里德空间（双曲空间、椭圆空间等）以及诸如复数空间或四元数空间等其他空间被发现之后，对于这些空间几何学的研究导致了更多新种类的正多面体被发现，如复正多面体等，但这些正多面体只能在特定空间中维持其正的特性。在几何中，复数空间的多面体是实数空间中的多面体在复数空间的推广。在几何中，四元数空间的多面体是实数空间中的多面体在四元数空间的推广。其与复数空间类似，点不具有序性，因此没有“位于...之间”的相互关系，因此一个四元数空间多面体可以被理解为一组点、线和面等的排布关系，其中，点维多条线的连接点、线连接了多个面。由于四元数的乘法不具有交换率，因此必须透过标量与向量相乘来构建乘法系统，通常会使用左乘法。四元数空间的正多面体与实数空间的正多面体和复数空间的正多面体一样，其对称性皆可以被描述为反射群。例如，一个正的四元数空间直线可以与U1(H)的有限子群一一对应：二元循环群（英语：binary cyclic group）、二元二面体群（参阅一般四元数群（日语：一般四元数群）章节二元二面体群（英语：Dicyclic_group#Binary_dihedral_group）） 二元四面体群（英语：binary tetrahedral group）、二元八面体群（英语：binary octahedral group）和二元二十面体群（英语：binary icosahedral group）。在H3的双曲仿紧空间中的正堆砌体或蜂巢结构体通常具有正镶嵌图的胞或顶点图。在这样的结构中，这些镶嵌图可以视为存在角亏并在封闭于一个无穷远点。若当双曲正堆砌体或蜂巢结构体位于非紧空间时则其会封闭于2个或以上个无穷远点甚至是发散。另一组正多面体为实射影平面的镶嵌结构，其包括了立方体半形、八面体半形、十二面体半形和二十面体半形。其皆为（全域）投影多面体，并且对应到四个柏拉图立体的投影结构。由于正四面体不像其他四个柏拉图立体一样拥有相对面，因此正四面体无法形成多面体半形。到目前为止，多面体皆被认为是任意维度之多胞形在三维空间的例子。在20世纪下半叶出现了抽象代数概念的发展，如多面体组合学（英语：Polyhedral_combinatorics），最终形成抽像多胞形（英语：Abstract_polytope）作为元素偏序关系的概念。抽像多面体的元素包括了它的主体（最大元素）、面、边、顶点和空多胞形。这些抽像元素可以映射到普通空间或具体化成一个几何形状。一些抽象多面体具有良好具像化实例，但不一定所有的抽象多面体都能找到对应的具像化实例。抽象多面体与一般的多面体同样可以定义标记。若一抽象多面体的组合对称性可以在其标记上传递，则这个抽象多面体为抽象正多面体，换句话说，即任何标记都可以在多面体的对称性下映射到任何其他标记上。在考克斯特于1977年出版的著作《正多胞形（英语：Regular_Polytopes_(book)）》中列出了五种不存在良好具像化实例的抽象正多面体。后来在1987年耶尔格·迈克尔·威利（德语：Jörg Michael Wills）的论文又再次的确定了共存在五种有这种性质的抽象正多面体。这五种抽象多面体都具有C2×S5对称性，但只能具像化出一半的对称性，即C2×A5或二十面体群对称性。柏拉图立体的皮特里对偶（英语：皮特里對偶）是一种正则地区图（英语：Regular_map_(graph_theory)），其顶点和边对应于原始多面体的顶点和边，其面是扭歪皮特里多边形的集合。五个凸正多面体和四个星形多面体皆可以表示成球面多面体，或球面镶嵌：