无限阶三角形镶嵌
在几何学中，无限阶三角形镶嵌是一种位于双曲平面仿紧空间镶嵌图形[1]，由正三角形组成，在施莱夫利符号中用{3,∞}来表示，考克斯特-迪肯符号中以
表示。每个顶点都是无限多个三角形的公共顶点[注 1]，也因此使这个图形无法存于平面上。这个图形每一条线都可以做为整个图形的对称线。
 庞加莱圆盘模型 | ||
| 类别 | 双曲正镶嵌 | |
|---|---|---|
| 对偶多面体 | 三阶无限边形镶嵌 | |
| 识别 | ||
| 鲍尔斯缩写 | aztrat | |
| 数学表示法 | ||
| 考克斯特符号 |    | |
| 施莱夫利符号 | {3,∞} | |
| 威佐夫符号 | ∞ | 3 2 | |
| 组成与布局 | ||
| 顶点图 | 3∞ | |
| 对称性 | ||
| 对称群 | [∞,3], (*∞32) | |
| 特性 | ||
| 点可递、 边可递、 面可递 | ||
| 图像 | ||
| ||
无限阶三角形镶嵌可以视为一系列由三角形组成的多面体之几何极限，但也可以达到更高阶数，利用虚阶数表示其阶数比无穷大更多，即超无限阶三角形镶嵌，在考克斯特-迪肯符号中以
表示。
性质 编辑
无限阶三角形镶嵌中，无限阶指的是三角形的公共顶点的三角形个数为无限多个，由于每个顶点都是无限多个三角形的公共顶点[注 1]，因此最理想的状态是每个顶点都位于庞加莱双曲盘[注 2]投影的边界上，即无穷远处，否则将无法绘制出包含无限多个三角形的顶点。无限阶三角形镶嵌是三阶无限边形镶嵌的对偶镶嵌，因此每个三角形的公共顶点包含的三角形数量为可数集的数量，因此若要计算其角度总合的话将会计算出正无穷大[注 3]，有时会被记为 ，因为其为正三角形内角的整数倍，顶点图以 或 表示每个顶点是无限多个三角形的公共顶点。
每个顶点都是无限多个三角形的公共顶点是一个抽象概念，其应视为正四面体（每个顶点都是三个三角形的公共顶点）、正八面体（每个顶点都是四个三角形的公共顶点）、正二十面体（每个顶点都是五个三角形的公共顶点）、正六边形镶嵌（每个顶点都是六个三角形的公共顶点）系列的极限，无限阶三角形镶嵌则为“顶点都是无限多个三角形的公共顶点”抽象概念被可视化的结果，因此无法于平面或一般常见的几何学讨论，只能在双曲面几何（罗氏几何）中讨论[2]。
由于无限阶三角形镶嵌是一个位于双曲面上的形状，因此要上它显示于平面上必须使用投影，因此从不同位置投影出来的结果也不尽相同。下表列出一些不同位置投影的结果：
|
|
|
|
对称群 编辑
对称性比较低的形式[注 4]就是在该图形表面交替地涂上不同颜色，如下图，以黄色及蓝色交替上色，可以利用循环表式的考克斯特符号{(3,∞,3)}或威佐夫符号 来表示，也可以看成分别图上三种颜色的镜射线[注 5]，如下图，以红色、绿色以及蓝色表示，他们代表了*∞∞∞对称群的根本域。
 交错涂色镶嵌 |
 *∞∞∞对称群 |
 Apollonian gasket与*∞∞∞对称群 |
更高阶数 编辑
即使无限阶已经是最多阶数的了，但仍可以利用伪多边形群构造更高阶数的图形，即阶数使用虚数表示其所包含的三角形数量比无限大还要多。他们的对偶为三阶超无限边形镶嵌，其边数也是以iπ/λ[3]表示，代表其边数比无限大还要多，同样属于非紧凑的双曲镶嵌，并且有无穷多种组合（整个虚数集）。
虽然是变为“超无限阶”，但其实际上是变为每个顶点都不存在了，即不相交了，所组成的三角形则变成由三条在双曲面上不将交的三条直线组成，如同无限面形中，二角形顶点因退化而不存在的情形，此三角形也是类似的情形。但由于三角形必须是由三条线段顺次首尾相连，组成的一个闭合图形，因此严格来说，那些三角形都不存在。
这些阶数为复的三角形镶嵌由于其形成了不闭合且不是有界的的空间，因此不属于紧空间。
复阶数的三角形镶嵌也构成了一个无穷系列，从i、2i一直到虚无穷。也因此无限阶三角形镶嵌也可使视为两个系列的极限。
| 类别 | 仿紧凑双曲镶嵌 | 非紧凑双曲镶嵌 | |||
|---|---|---|---|---|---|
| 阶数 | 无限 | ∞i | ... | 12i | 11i |
| 图像 |
|
|
... | 
|
|
| 顶点布局 | 3∞ | 3∞i | ... | 312i | 311i |
| 类别 | 非紧凑双曲镶嵌 | ||||
| 阶数 | 10i | 9i | 8i | 7i | 6i |
| 图像 | 
|
|
|
|
|
| 顶点布局 | 310i | 39i | 38i | 37i | 36i |
| 类别 | 非紧凑双曲镶嵌 | ||||
| 阶数 | 5i | 4i | 3i | 2i | i |
| 图像 | 
|
|
|
|
|
| 顶点布局 | 35i | 34i | 33i | 32i | 3i |
相关多面体及镶嵌 编辑
在几何学中，无限阶三角形镶嵌跟其他几何图形中有一些关联，下面列出两种关联:同样由三角形组成与无限变形镶嵌的变换形。
三角形镶嵌系列 编辑
无限阶三角形镶嵌在拓扑上与一系列用施莱夫利符号{3,n}表示的（广义）多面体一直延伸到双曲镶嵌拥有相似的结构：
| 多面体 | 欧式镶嵌 | 双曲镶嵌 | |||||||
|---|---|---|---|---|---|---|---|---|---|
 {3,2} |
 {3,3} |
 {3,4} |
 {3,5} |
 {3,6} |
 {3,7} |
 {3,8} |
 {3,9} |
... | {3,∞) |
这一系列图形全部都是正图形。在这一系列中，从n=2开始，n介于3到5是三维欧几里得空间的多面体，这些面体同时也是帕雷托立体，n为6时是欧几里得平面镶嵌图，是正镶嵌图之一，n从7开始是二维罗氏几何平面镶嵌图，即双曲镶嵌图，直至无限大的无限阶三角形镶嵌，为此系列终点。
无限边形镶嵌的变换形 编辑
无限阶三角形镶嵌可以透过三阶无限变形镶嵌透过对偶变换构成。其他可以经由无限边形镶嵌变换成的几何图形列于下表:
| 对称群：[∞,3], (*∞32) | [∞,3]+ (∞32) |
[1+,∞,3] (*∞33) |
[∞,3+] (3*∞) | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
 =  
|
=
|
=
|
|
=  or 
|
= or
|
= 
| ||||
|
|
|
|
|
|
|
|
|
||
| {∞,3} | t{∞,3} | r{∞,3} | t{3,∞} | {3,∞} | rr{∞,3} | tr{∞,3} | sr{∞,3} | h{∞,3} | h2{∞,3} | s{3,∞} |
| 半正对偶 | ||||||||||
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
||
| V∞3 | V3.∞.∞ | V(3.∞)2 | V6.6.∞ | V3∞ | V4.3.4.∞ | V4.6.∞ | V3.3.3.3.∞ | V(3.∞)3 | V3.3.3.3.3.∞ | |
| 对称性: [(∞,3,3)], (*∞33) | [(∞,3,3)]+, (∞33) | ||||||
|---|---|---|---|---|---|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| {(∞,∞,3)} | t0,1{(∞,3,3)} | t1(∞,3,3) | t1,2(∞,3,3) | t2{(∞,3,3)} | t0,2(∞,3,3) | t0,1,2 {(∞,3,3)} | s(∞,3,3) |
| 对偶镶嵌 | |||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
| V(3.∞)3 | V3.∞.3.∞ | V(3.∞)3 | V3.6.∞.6 | V(3.3)∞ | V3.6.∞.6 | V6.6.∞ | V3.3.3.3.3.∞ |
其他无限阶三角形镶嵌 编辑
非正无限阶三角形镶嵌[注 6]可以从中央三角形经过境射的迭代过程中产生，如下图所示：
参见 编辑
| 维基共享资源上的相关多媒体资源：无限阶三角形镶嵌 |
注释 编辑
参考文献 编辑
- ^ John H. Conway, Heidi Burgiel, Chaim Goodman-Strass, The Symmetries of Things 2008, ISBN 978-1-56881-220-5 (Chapter 19, The Hyperbolic Archimedean Tessellations)
- ^ Arlan Ramsay, Robert D. Richtmyer, Introduction to Hyperbolic Geometry, Springer; 1 edition (December 16, 1995)
- ^ Norman Johnson, Geometries and symmetries, (2015), Chapter 11. Finite symmetry groups, Section 11.2 The polygonal groups. p.141
- Chapter 10: Regular honeycombs in hyperbolic space. The Beauty of Geometry: Twelve Essays. Dover Publications. 1999. ISBN 0-486-40919-8. LCCN 99035678.