正十六胞体堆砌

在四维空间几何学中，正十六胞体堆砌是三种四维空间正堆砌体之一，由正十六胞体独立堆砌而成，每个条棱周围都环绕着3个正十六胞体，其顶点图为正二十四胞体。正十六胞体堆砌的对偶多胞体是正二十四胞体，换句话说即正二十四胞体的顶点恰位于正十六胞体堆砌每个胞的几何中心，反之正十六胞体堆砌的顶点也位于正二十四胞体每个胞的几何中心。

正十六胞体堆砌
类型	正四维堆砌
维度	4
对偶多胞形	正二十四胞体堆砌
数学表示法
考克斯特符号 （英语：Coxeter-Dynkin diagram）
施莱夫利符号	{3,3,4,3}
性质
四维胞	{3,3,4}
胞	{3,3}
面	{3}
欧拉示性数	0
组成与布局
棱图	立方体
顶点图	正二十四胞体
对称性
考克斯特群	${\displaystyle {\tilde {F}}_{4}}$ = [3,3,4,3]
特性
正

由于正十六胞体堆砌是一种完全密铺完四维空间的一种几何结构，就像是二维空间的平面三角形网格在四维空间的类比。正十六胞体堆砌的顶点排布（英语：vertex arrangement）所形成的四维网格又称为${\displaystyle {\mbox{B}}_{4}}$, D₄或F₄网格（英语：F4 (mathematics)#F4_lattice）^[1][2]

性质

正十六胞体堆砌是一种由正十六胞体完全密铺于四维空间的几何结构，每个三角形面周围都有3个正十六胞体，在施莱夫利符号中以 ${\displaystyle \left\{3\,,3\,,4\,,3\right\}}$ 表示；每条棱周围都有6个正十六胞体，棱图为立方体；每个顶点都是24个正十六胞体的公共顶点，顶点图为正二十四胞体。其对称性为考克斯特群的${\displaystyle {\tilde {F}}_{4}}$群，在考克斯特表示法（英语：Coxeter_notation）中可记为 ${\displaystyle \left[3\,,3\,,4\,,3\right]}$。

顶点坐标

正十六胞体堆砌是一个正堆砌体，与二维的三角形镶嵌类似，可视为{4,3,3,4}通过交错变换的结果，并且与四面体-八面体堆砌（英语：Tetrahedral-octahedral honeycomb）相关。

正十六胞体堆砌可以被放置在整数坐标 ${\displaystyle \left(i\,,j\,,k\,,l\right)}$ 上，其中i、j,k,l的和必须是偶数。

D₄网格

正十六胞体堆砌的顶点排布（英语：vertex arrangement）称为D₄网格或F₄网格^[2]。以这些顶点为几何中心的三维超球可以构成四维空间中可能的正超球体填充中最紧密的一种排布^[3]，其牛顿数（英语：Kissing number）为24。

=

另一种网格，D+
4网格（又称为D2
4网格）可以透过两个半超立方体网格并集构成，且与超立方体堆砌相关：

∪ = =

这种空间填充网格仅能存于偶数维度的空间。其牛顿数（英语：Kissing number）为二的三次方等于8^{[注 1][5]}。

The D*
4网格（也称为D4
4或C2
4）可以透过所有四个D₄网格的并集来构成，但其与D₄网格相同，同时他也是2个超立方体堆砌放置在对方的对偶位置的并集，也就是四维空间中立方晶系结构^[6]。

∪ ∪ ∪ = = ∪

D*
4网格的牛顿数（英语：Kissing number）为24^[7]，其沃罗诺伊图为正二十四胞体堆砌（），并包含所有的截半正十六胞体（即正二十四胞体）之沃罗诺伊胞，在考克斯特记号中计为或^[8]。

不同对称性的结构

名称	考克斯特群	施莱夫利符号	考克斯特记号	顶点图 对称性	维面
正十六胞体堆砌	${\displaystyle {\tilde {F}}_{4}}$ = [3,3,4,3]	{3,3,4,3}		[3,4,3], 1152阶	24： 正十六胞体
四维堆砌	${\displaystyle {\tilde {B}}_{4}}$ = [31,1,3,4]（英语：Template:B4 honeycombs）	= h{4,3,3,4}	=	[3,3,4], 384阶	16+8： 正十六胞体
	${\displaystyle {\tilde {D}}_{4}}$ = [31,1,1,1]（英语：Template:D4 honeycombs）	{3,31,1,1} = h{4,3,31,1}	=	[31,1,1], 192阶	8+8+8： 正十六胞体

相关多胞体与堆砌

正十六胞体堆砌是四维空间三种正堆砌体之一，其他的四维空间正堆砌体有：

图像	超立方体堆砌	正十六胞体堆砌	正二十四胞体堆砌
施莱夫利符号	{4,3,3,4}	{3,3,4,3}	{3,4,3,3}

D5堆砌体
扩展对称性（英语：Coxeter notation#Extended_symmetry）	扩展符号	扩展群	堆砌体
[31,1,3,31,1]		${\displaystyle {\tilde {D}}_{5}}$
<[31,1,3,31,1]> ↔ [31,1,3,3,4]	↔	${\displaystyle {\tilde {D}}_{5}}$×21 = ${\displaystyle {\tilde {B}}_{5}}$	, , , , , ,
[[31,1,3,31,1]]		${\displaystyle {\tilde {D}}_{5}}$×22	,
<2[31,1,3,31,1]> ↔ [4,3,3,3,4]	↔	${\displaystyle {\tilde {D}}_{5}}$×41 = ${\displaystyle {\tilde {C}}_{5}}$	, , , , ,
[<2[31,1,3,31,1]>] ↔ [[4,3,3,3,4]]	↔	${\displaystyle {\tilde {D}}_{5}}$×8 = ${\displaystyle {\tilde {C}}_{5}}$×2	, ,

参见

• 无限胞体
• 超立方体堆砌