正则地区图
在数学中,正则地区图(regular map)是指封闭曲面上的对称镶嵌图。更精确地说,正则地区图是将某个二维流形分解为具对称性之拓朴盘面的分解结果,且该分解使得所有标记(含有点、边与面的三元组)都能在对称性上任意地变换为其他标记。举例来说,立方体对应的图结构是一个正则地区图,因为立方体对应的球面镶嵌可以透过将球面分解为由6个正方形组成的拓朴盘面,且构成该6个正方形的顶点、边和面(前三者的组合为立方体的标记)可以在立方体的对称性上任意地变换为其他标记,换句话说,这些顶点、边和面在特定轴上旋转90度可以重和一次。
某种意义上来说,正则地区图也可以视为帕雷托立体的概念在拓朴学上的一种推广。地区图理论及其分类与黎曼曲面理论、双曲几何理论和伽罗瓦理论有关。
概述
正则地区图的定义和研究通常会透过拓朴、群论和图论的三种方式进行。
从拓朴讨论
在拓朴学中,地区图(map)是封闭且紧凑之2-流形的2-胞复形分解。其亏格可以用欧拉示性数导出 。若地区图具备可定向性,则其值等于 ,否则为 。[1][2]除了环面之外,每个可定向亏格都有有限个(非零)正则地区图。[3]
从群论讨论
在群论中,正则地区图的排列是一个由标记构成的集合 上的可迁格序置换群(transitive permutation group),由3个定点的自由对合r0, r1, r2,并满足(r0r2)2= I。在这个定义下,面为F = <r0, r1>的轨道、边为E = <r0, r2>的轨道、顶点为V = <r1, r2>的轨道。更抽象地,任何正则地区图的自同构群都是 <2,m,n>-三角群的非退化同构图。[2]
从图论讨论
在图论中,地区图是一种立方图,其可以表示为以三种颜色染色的着色图(下文以红、黄、蓝三种颜色表示之),是一种连通图,且每个顶点都与所有颜色的边相接,非黄色的边出现周期为4。另外,这种图也是一种定义于顶点集合或标记集合 上的标记图(flag graph)或图编码图(GEM),且非地区图的骨架 G = (V,E)。一般来说,| | = 4|E|。[4]
例子
- 大十二面体是一个由五边形面组成且位于亏格为4的可定向曲面上的正则地区图。[3]
- 立方体半形是射影平面,形式为{4,3}的正则地区图。[5]
- 十二面体半形是将佩特森图以五边形嵌入实射影平面所产生的正则地区图。[6]
- p面形(有p个面的多面形)是一个形式为{2,p}的正则地区图。[7]
χ | g | 施莱夫利符号 | 顶点 | 边 | 面 | 群 | 阶数 | 图 | 备注 | |
---|---|---|---|---|---|---|---|---|---|---|
2 | 0 | {p,2} | p | p | 2 | C2 × Dihp | 4p | Cp | 多边形二面体 | |
2 | 0 | {2,p} | 2 | p | p | C2 × Dihp | 4p | p-fold K2 | 多面形 | |
2 | 0 | {3,3} | 4 | 6 | 4 | S4 | 24 | K4 | 正四面体 | |
2 | 0 | {4,3} | 8 | 12 | 6 | C2 × S4 | 48 | K4 × K2 | 立方体 | |
2 | 0 | {3,4} | 6 | 12 | 8 | C2 × S4 | 48 | K2,2,2 | 正八面体 | |
2 | 0 | {5,3} | 20 | 30 | 12 | C2 × A5 | 120 | 正十二面体 | ||
2 | 0 | {3,5} | 12 | 30 | 20 | C2 × A5 | 120 | K6 × K2 | 正二十面体 | |
1 | n1 | {2p,2}/2 | p | p | 1 | Dih2p | 4p | Cp | 多边形二面体半形[9] | |
1 | n1 | {2,2p}/2 | 2 | p | p | Dih2p | 4p | p-fold K2 | 多面形半形[9] | |
1 | n1 | {4,3}/2 | 4 | 6 | 3 | S4 | 24 | K4 | 立方体半形 | |
1 | n1 | {3,4}/2 | 3 | 6 | 4 | S4 | 24 | 2-fold K3 | 八面体半形 | |
1 | n1 | {5,3}/2 | 10 | 15 | 6 | A5 | 60 | 佩特森图 | 十二面体半形 | |
1 | n1 | {3,5}/2 | 6 | 15 | 10 | A5 | 60 | K6 | 二十面体半形 |
下图展示了3种在亏格为3之环面上的正则地区图,并标上对应的施莱夫利符号。
-
{6,4}
-
{4,8}
-
{8,4}
四维环形多面体
正则地区图也可以以环形多面体的形式存在。这种几何结构是包裹在圆柱体的四维柱表面上之欧氏平面镶崁图之有限部分。例如由正方形镶嵌(施莱夫利符号:{4,4})的局部包裹在圆柱体的四维柱表面上所构成的正则地区图可以计为{4,4}b,c[10]。同理,若与正三角形镶嵌(施莱夫利符号:{3,6})或其对偶正六边形镶嵌(施莱夫利符号:{6,3})的正则地区图则可以计为{3,6}b,c与{6,3}b,c,其中b与c皆为整数[11]。
{4,4}1,0 (v:1, e:2, f:1) |
{4,4}1,1 (v:2, e:4, f:2) |
{4,4}2,0 (v:4, e:8, f:4) |
{4,4}2,1 (v:5, e:10, f:5) |
{4,4}2,2 (v:8, e:16, f:8) |
{3,6}1,0 (v:1, e:3, f:2) |
{3,6}1,1 (v:3, e:9, f:6) |
{3,6}2,0 (v:4, e:12, f:8) |
{3,6}2,1 (v:7, e:21, f:14) |
{3,6}2,2 (v:12, e:36, f:24) |
{6,3}1,0 (v:2, e:3, f:1) |
{6,3}1,1 (v:6, e:9, f:3) |
{6,3}2,0 (v:8, e:12, f:4) |
{6,3}2,1 (v:14, e:21, f:7) |
{6,3}2,2 (v:24, e:36, f:12) |
形式为{4,4}m,0的正则地区图可以对应到形式为{4,4 | m}的扭歪正多面体,其代表每个面都是正方形,且每个顶点都是4个正方形的公共顶点,并形成m边形孔洞的几何结构。其可以由四维m角柱体柱的面建构。[12]
下图为{4,4}8,0从平面棋盘就构为环面的一个例子。这个例子可以不透过四维几何结构完成建构。
参考文献
- ^ Conder, Marston; Dobcsányi, Peter, Determination of all regular maps of small genus, Journal of Combinatorial Theory, Series B, 2001, 81 (2): 224–242, doi:10.1006/jctb.2000.2008
- ^ 2.0 2.1 Nedela, Roman, Maps, Hypermaps, and Related Topics (PDF), 2007 [2020-08-14], (原始内容存档 (PDF)于2016-03-04).
- ^ 3.0 3.1 van Wijk, Jarke J., Symmetric tiling of closed surfaces: visualization of regular maps (PDF), Proc. SIGGRAPH (ACM Transactions on Graphics), 2009, 28 (3): 12, doi:10.1145/1531326.1531355, (原始内容 (PDF)存档于2011-06-09)
- ^ Marston D.E. Conder and Jicheng Ma. Regular maps with simple underlying graphs. Journal of Combinatorial Theory, Series B. 2015, 110: 1 – 18 [2020-08-14]. ISSN 0095-8956. doi:10.1016/j.jctb.2014.07.001. (原始内容存档于2020-08-24).
- ^ The hemicube. weddslist.com. [2020-08-14]. (原始内容存档于2019-05-02).
- ^ Gailiunas, Paul; et al. Polyhedral Models of the Projective Plane. Bridges 2018 Conference Proceedings (Tessellations Publishing). 2018: 543–546.
- ^ Weisstein, Eric W. (编). Hosohedron. at MathWorld--A Wolfram Web Resource. Wolfram Research, Inc. (英语).
- ^ 8.0 8.1 8.2 Coxeter, H. S. M.; Moser, W. O. J., Generators and Relations for Discrete Groups, Ergebnisse der Mathematik und ihrer Grenzgebiete 14 4th, Springer Verlag, 1980, ISBN 978-0-387-09212-6
- ^ 9.0 9.1 Séquin, Carlo. Symmetrical immersions of low-genus non-orientable regular maps (PDF). Berkeley University. [2020-08-14]. (原始内容存档 (PDF)于2015-09-23).
- ^ Coxeter 1980[8], 8.3 Maps of type {4,4} on a torus.
- ^ Coxeter 1980[8], 8.4 Maps of type {3,6} or {6,3} on a torus.
- ^ Schulte, Egon and Wills, Jörg M. On Coxeter's regular skew polyhedra. Discrete mathematics (Elsevier). 1986, 60: 253–262.