等價的對稱性]]
是一個球面上的正則地區圖,因為六面形可以透過將球面用2個頂點和6條邊分割為6個球面二角形。]]
在數學中,正則地區圖(regular map)是指封閉曲面上的對稱鑲嵌圖。更精確地說,正則地區圖是將某個二維流形分解為具對稱性之拓樸盤面的分解結果,且該分解使得所有標記(含有點、邊與面的三元組)都能在對稱性上任意地變換為其他標記。舉例來說,立方體對應的圖結構是一個正則地區圖,因為立方體對應的可以透過將球面分解為由6個正方形組成的拓樸盤面,且構成該6個正方形的頂點、邊和面(前三者的組合為立方體的標記)可以在立方體的對稱性上任意地變換為其他標記,換句話說,這些頂點、邊和面在特定軸上旋轉90度可以重和一次。
某種意義上來說,正則地區圖也可以視為柏拉圖立體的概念在拓樸學上的一種推廣。地區圖理論及其分類與黎曼曲面理論、雙曲幾何理論和伽羅瓦理論有關。
概述
正則地區圖的定義和研究通常會透過拓樸、群論和圖論的三種方式進行。
從拓樸討論
在拓樸學中,地區圖(map)是封閉且緊湊之2-流形的2-胞複形分解。其虧格可以用欧拉示性数導出 \chi (M) = |V| - |E| +|F| 。若地區圖具備可定向性,則其值等於 2 -2g ,否則為 2 -g 。
從群論討論
在群論中,正則地區圖的排列是一個由標記構成的集合\Omega上的可遷格序置換群(transitive permutation group),由3個定點的自由對合r0, r1, r2,並滿足(r0r2)2= I。在這個定義下,面為F = 0, r1>的軌道、邊為E = 0, r2>的軌道、頂點為V = 1, r*2>的軌道。更抽象地,任何正則地區圖的自同構群都是 -三角群的非退化同構圖。
從圖論討論
在圖論中,地區圖是一種立方圖,其可以表示為以三種顏色染色的著色圖(下文以紅、黃、藍三種顏色表示之),是一種連通圖,且每個頂點都與所有顏色的邊相接,非黃色的邊出現週期為4。另外,這種圖也是一種定義於頂點集合或標記集合\Omega上的標記圖(flag graph)或(GEM),且非地區圖的骨架 G = (V,E)。一般來說,|\Omega| = 4|E|。
例子
*大十二面體是一個由五邊形面組成且位於虧格為4的可定向曲面上的正則地區圖。
*十二面體半形是將佩特森圖以五邊形嵌入實射影平面所產生的正則地區圖。
*p面形(有p個面的多面形)是一個形式為{2,p}的正則地區圖。
以下是位於欧拉示性数為正之曲面上的正則地區圖完整列表
{| class="wikitable sortable"
|-
!χ|| g|| 施萊夫利符號||頂點||邊||面||群||階數|| colspan=2|圖||備註
|- align=center
|2 || 0 || {p,2}||p||p||2 || C2 × Dihp||4p || Cp|| || 多邊形二面體
|- align=center
|2 || 0 || {2,p}||2||p||p|| C2 × Dihp ||4p || p-fold K2|| || 多面形
|- align=center
|2 || 0 || {3,3}||4||6||4 || S4 ||24 || K4|| || 正四面體
|- align=center
|2 || 0 || {4,3}||8||12||6 || C2 × S4 ||48 || K4 K2|| || 立方體
|- align=center
|2 || 0 || {3,4}||6||12||8 || C2 × S4 ||48 || || || 正八面體
|- align=center
|2 || 0 || {5,3}||20||30||12 || C2 × A5||120 || || || 正十二面體
|- align=center
|2 || 0 || {3,5}||12||30||20 || C2 × A5 ||120 || K6 × K2|| || 正二十面體
|- align=center
|1 || n1 || {2p,2}/2||p||p||1 || Dih2p ||4p || Cp|| || 多邊形二面體半形
|- align=center
|1 || n1 || {2,2p}/2||2||p||p || Dih2p ||4p || p-fold K2|| || 多面形半形
下圖為{4,4}8,0從平面棋盤就構為環面的一個例子。這個例子可以不透過四維幾何結構完成建構。
:
參考文獻
评论 (0)