正則地區圖

在數學中，正則地區圖（regular map）是指封閉曲面上的對稱鑲嵌圖。更精確地說，正則地區圖是將某個二維流形分解為具對稱性之拓樸盤面的分解結果，且該分解使得所有標記（含有點、邊與面的三元組）都能在對稱性上任意地變換為其他標記。舉例來說，立方體對應的圖結構是一個正則地區圖，因為立方體對應的可以透過將球面分解為由6個正方形組成的拓樸盤面，且構成該6個正方形的頂點、邊和面（前三者的組合為立方體的標記）可以在立方體的對稱性上任意地變換為其他標記，換句話說，這些頂點、邊和面在特定軸上旋轉90度可以重和一次。

某種意義上來說，正則地區圖也可以視為柏拉圖立體的概念在拓樸學上的一種推廣。地區圖理論及其分類與黎曼曲面理論、雙曲幾何理論和伽羅瓦理論有關。

 概述 
正則地區圖的定義和研究通常會透過拓樸、群論和圖論的三種方式進行。
 從拓樸討論 
在拓樸學中，地區圖（map）是封閉且緊湊之2-流形的2-胞複形分解。其虧格可以用欧拉示性数導出。若地區圖具備可定向性，則其值等於，否則為。除了環面之外，每個可定向虧格都有有限個（非零）正則地區圖。

 從群論討論 
在群論中，正則地區圖的排列是一個由標記構成的集合上的可遷格序置換群（transitive permutation group），由3個定點的自由對合r0, r1, r2，並滿足(r0r2)2= I。在這個定義下，面為F = <r0, r1>的軌道、邊為E = <r0, r2>的軌道、頂點為V = <r1, r2>的軌道。更抽象地，任何正則地區圖的自同構群都是 <2,m,n>-三角群的非退化同構圖。.
 從圖論討論 
在圖論中，地區圖是一種立方圖，其可以表示為以三種顏色染色的著色圖（下文以紅、黃、藍三種顏色表示之），是一種連通圖，且每個頂點都與所有顏色的邊相接，非黃色的邊出現週期為4。另外，這種圖也是一種定義於頂點集合或標記集合上的標記圖（flag graph）或（GEM），且非地區圖的骨架 G = (V,E)。一般來說，|| = 4|E|。

 例子 
大十二面體是一個由五邊形面組成且位於虧格為4的可定向曲面上的正則地區圖。
立方體半形是射影平面，形式為{4,3}的正則地區圖。
十二面體半形是將佩特森圖以五邊形嵌入實射影平面所產生的正則地區圖。
p面形（有p個面的多面形）是一個形式為{2,p}的正則地區圖。
以下是位於欧拉示性数為正之曲面上的正則地區圖完整列表
χ g 施萊夫利符號頂點邊面群階數圖備註2  0  {p,2}pp2  C2 × Dihp4p  Cp40px  多邊形二面體2  0  {2,p}2pp C2 × Dihp 4p  p-fold K2  多面形2  0  {3,3}464  S4 24  K440px  正四面體2  0  {4,3}8126  C2 × S4 48  K4  K240px  立方體2  0  {3,4}6128  C2 × S4 48  40px  正八面體2  0  {5,3}203012  C2 × A5120  40px  正十二面體2  0  {3,5}123020  C2 × A5 120  K6 × K240px  正二十面體1  n1  {2p,2}/2pp1  Dih2p 4p  Cp 40px  多邊形二面體半形1  n1  {2,2p}/22pp  Dih2p 4p  p-fold K2  多面形半形1  n1  {4,3}/2463  S4 24  K440px  立方體半形1  n1  {3,4}/2364  S4 24  2-fold K3 八面體半形1  n1  {5,3}/210156  A5 60  佩特森圖40px  十二面體半形1  n1  {3,5}/261510  A5 60  K640px  二十面體半形
下圖展示了3種在虧格為3之環面上的正則地區圖，並標上對應的施萊夫利符號。

 四維環形多面體 
正則地區圖也可以以的形式存在。這種幾何結構是包裹在表面上之歐氏平面鑲崁圖之有限部分。例如由正方形鑲嵌（施萊夫利符號：{4,4}）的局部包裹在圓柱體的四維柱表面上所構成的正則地區圖可以計為{4,4}b,c。同理，若與正三角形鑲嵌（施萊夫利符號：{3,6}）或其對偶正六邊形鑲嵌（施萊夫利符號：{6,3}）的正則地區圖則可以計為{3,6}b,c與{6,3}b,c，其中b與c皆為整數。
+ 正則地區圖對應的環形多面體的展開圖80px{4,4}1,0(v:1, e:2, f:1)80px{4,4}1,1(v:2, e:4, f:2)80px{4,4}2,0(v:4, e:8, f:4)80px{4,4}2,1(v:5, e:10, f:5)80px{4,4}2,2(v:8, e:16, f:8)80px{3,6}1,0(v:1, e:3, f:2)80px{3,6}1,1(v:3, e:9, f:6)80px{3,6}2,0(v:4, e:12, f:8)80px{3,6}2,1(v:7, e:21, f:14)80px{3,6}2,2(v:12, e:36, f:24)80px{6,3}1,0(v:2, e:3, f:1)80px{6,3}1,1(v:6, e:9, f:3)80px{6,3}2,0(v:8, e:12, f:4)80px{6,3}2,1(v:14, e:21, f:7)80px{6,3}2,2(v:24, e:36, f:12)
形式為{4,4}m,0的正則地區圖可以對應到形式為{4,4 | m}的扭歪正多面體，其代表每個面都是正方形，且每個頂點都是4個正方形的公共頂點，並形成m邊形孔洞的幾何結構。其可以由四維m角柱體柱的面建構。

下圖為{4,4}8,0從平面棋盤就構為環面的一個例子。這個例子可以不透過四維幾何結構完成建構。
File:Torus_from_rectangle.gif

 參考文獻 

Category:拓扑图论