截半黑塞二十七面体
类别 | 复正多面体 |
---|---|
对偶多面体 | 双黑塞二十七面体 |
原像 | 黑塞二十七面体 (截半) |
数学表示法 | |
考克斯特符号 | 、. |
施莱夫利符号 | 3{3}3{4}2 |
性质 | |
面 | 54个 3{3}3 |
边 | 216条 3{} |
顶点 | 72 |
欧拉特征数 | F=54, E=216, V=72 (χ=-90) |
特殊面或截面 | |
皮特里多边形 | 十八边形 |
梵奥斯截面 | 9个3{4}3 |
组成与布局 | |
面的种类 | 莫比乌斯-坎特八边形 |
顶点图 | 3{4}2 |
边的种类 | 三元棱 |
对称性 | |
谢泼德群 | M3 = 3[3]3[4]2, order 1296 3[3]3[3]3, order 648 |
特性 | |
正 | |
在几何学中,截半黑塞二十七面体是一个复正多面体,其位于复希尔伯特空间中由54个莫比乌斯-坎特八边形组成,共有54个面、216条边和72个顶点。其梵奥斯多边形为施莱夫利符号计为3{4}3的二十四边形、顶点图为施莱夫利符号计为3{4}2的六边形、对偶多面体为双黑塞二十七面体。[2]
考克斯特指出,三个复正多面体黑塞二十七面体()、双黑塞二十七面体(,此多面体的对偶多面体)和截半黑塞二十七面体()可以视为实空间多面体正四面体()、立方体()和正八面体()在复空间的类比。[3]
截半黑塞二十七面体是一种位于复数空间的立体,其对应到实数空间同样也有一种实数空间的代表,其为122多胞体,考克斯特表示法计为。[2]
性质
[编辑]截半黑塞二十七面体位于复数空间中,由54个面、216条边和72个顶点所组成。其中54个面为全等的莫比乌斯-坎特八边形、216条边皆为连接了三个顶点的棱,称为三元棱或三元边(Trion)[注 1],在施莱夫利符号中可以用3{}来表示[4]、72个顶点皆为6个莫比乌斯-坎特八边形的公共顶点,在顶点图中,这种顶点可以用施莱夫利符号计为3{4}2的六边形表示;而其对多面体为由施莱夫利符号计为3{4}2的六边形组成的七十二面体,称为双黑塞二十七面体。[5]
截半黑塞二十七面体可以视为黑塞二十七面体经过截半变换的结果,在截半的过程中,会产生形状与原像的顶点图相同、数量为原像顶点各数的面,[6]因此,黑塞二十七面体在经过截半变换后,产生了27个莫比乌斯-坎特八边形的面,因此截半黑塞二十七面体共有54个面。[7]
面的组成
[编辑]截半黑塞二十七面体由54个全等的莫比乌斯-坎特八边形组成[8]。莫比乌斯-坎特八边形是一种由8个顶点和8条棱所组成的几何结构,其在施莱夫利符号中可以用3{3}3来表示、在考克斯特记号中可以用来表示。与一般的八边形不同,莫比乌斯-坎特八边形位于复希尔伯特平面,且构成这种形状的棱每个棱皆连接了三个顶点,称为三元棱或三元边(Trion),这种几何结构在施莱夫利符号中可以用3{}来表示。[4]
或由72个顶点、216条三元棱(或三元边)和54 个3{3}3面组成 |
的其中一个3{3}3 面以蓝色标示 |
的其中一个3{4}3形状之梵奥斯多边形以蓝色标示 |
结构
[编辑]截半黑塞二十七面体的元素在布局矩阵中可以表示为正和拟正两种形式[9]
M3 | k维面 | fk | f0 | f1 | f2 | k维顶点图 | 备注 | |
---|---|---|---|---|---|---|---|---|
( ) | f0 | 72 | 9 | 6 | 3{4}2 | M3/M2 = 1296/18 = 72 | ||
L1A1 | 3{ } | f1 | 3 | 216 | 2 | { } | M3/L1A1 = 1296/3/2 = 216 | |
L2 | 3{3}3 | f2 | 8 | 8 | 54 | ( ) | M3/L2 = 1296/24 = 54 |
L3 | k维面 | fk | f0 | f1 | f2 | k维顶点图 | 备注 | ||
---|---|---|---|---|---|---|---|---|---|
L1L1 | ( ) | f0 | 72 | 9 | 3 | 3 | 3{ }×3{ } | L3/L1L1 = 648/9 = 72 | |
L1 | 3{ } | f1 | 3 | 216 | 1 | 1 | { } | L3/L1 = 648/3 = 216 | |
L2 | 3{3}3 | f2 | 8 | 8 | 27 | * | ( ) | L3/L2 = 648/24 = 27 | |
8 | 8 | * | 27 |
对偶多面体
[编辑]类别 | 复正多面体 |
---|---|
对偶多面体 | 截半黑塞二十七面体 |
数学表示法 | |
考克斯特符号 | |
施莱夫利符号 | 2{4}3{3}3 |
性质 | |
面 | 72个 2{4}3 |
边 | 216 { } |
顶点 | 54 |
欧拉特征数 | F=72, E=216, V=54 (χ=-90) |
特殊面或截面 | |
皮特里多边形 | 十八边形 |
梵奥斯截面 | {6} |
组成与布局 | |
面的种类 | 2{4}3 |
顶点图 | 3{3}3 |
对称性 | |
对称群 | M3 = 3[3]3[4]2, order 1296 |
特性 | |
正 | |
截半黑塞二十七面体的对偶多面体又称为双黑塞二十七面体是一个位于复希尔伯特空间中由72个施莱夫利符号计为2{4}3的复多边形组成,共有72个面、216条边和54个顶点[5],其可以经由黑塞二十七面体透过交错变换构造而成,在考克斯特记号中可以用或表示,并与等价。
面的组成
[编辑]双黑塞二十七面体由72个全等且施莱夫利符号计为2{4}3的复多边形组成[8]。这种多边形位于复希尔伯特空间中由6个顶点和9条边组成,在图论中对应结构称为汤玛森图[10]或4-cage[11]。
双黑塞二十七面体的面是一个2{4}3多边形。图中将其6个顶点著上红色和蓝色,并由9条二元边相接形成完全二分图。 |
其边可分为三组,以不同颜色表示。 |
结构
[编辑]双黑塞二十七面体中的元素可以透过布局矩阵表示:
M3 | k维面 | fk | f0 | f1 | f2 | k顶点 | 说明 | |
---|---|---|---|---|---|---|---|---|
L2 | ( ) | f0 | 54 | 8 | 8 | 3{3}3 | M3/L2 = 1296/24 = 54 | |
L1A1 | { } | f1 | 2 | 216 | 3 | 3{ } | M3/L1A1 = 1296/6 = 216 | |
M2 | 2{4}3 | f2 | 6 | 9 | 72 | ( ) | M3/M2 = 1296/18 = 72 |
正交投影
[编辑]多面体 |
多面体的其中一面以蓝色表示。 |
多面体中52个顶点交替涂上两种颜色。 |
在正复合立体中以红色和蓝色的顶点呈现与多面体。 |
注释
[编辑]参考文献
[编辑]- Coxeter, H. S. M., Moser, W. O. J.; Generators and Relations for Discrete Groups (1965), esp pp 67–80.
- Coxeter, H. S. M.; Regular Complex Polytopes, Cambridge University Press, (1974).
- Coxeter, H. S. M., Shephard, G.C.; Portraits of a family of complex polytopes, Leonardo Vol 25, No 3/4, (1992), pp 239–244,
- ^ 1.0 1.1 1.2 1.3 1.4 1.5 Coxeter, H.S.M., Regular Complex Polytopes, Cambridge University Press, 1991, ISBN 0-521-39490-2
- ^ 2.0 2.1 Coxeter, 1991,[1] p.30, 47
- ^ Coxeter, 1991,[1] p.127
- ^ 4.0 4.1 Coxeter, Complex Regular Polytopes,[1] 11.1 Regular complex polygons p.103
- ^ 5.0 5.1 Coxeter, Regular Convex Polytopes, 1991,[1] p.30, 47
- ^ Coxeter, H.S.M. Regular Polytopes, (3rd edition, 1973), Dover edition, ISBN 0-486-61480-8 (pp. 145–154 Chapter 8: Truncation)
- ^ Duke, Andrew Cameron, Cube-like regular incidence complexes, Northeastern University, 2014
- ^ 8.0 8.1 Stacey, Blake C, Sporadic SICs and Exceptional Lie Algebras, sunclipse, December 30, 2018
- ^ Coxeter, Regular Convex Polytopes, 1991,[1] p.132
- ^ Coxeter, H. S. M., Self-dual configurations and regular graphs, Bulletin of the American Mathematical Society, 1950, 56: 413–455, MR 0038078, doi:10.1090/S0002-9904-1950-09407-5.
- ^ Coxeter, 1991,[1] p.110, 114