皮特里對偶
在拓樸圖論中,嵌入圖的皮特里對偶(Petrie Dual)是指所有面皆為2-流形盤面之嵌入圖的另一種嵌入,且是含有前述嵌入圖之嵌入物件的皮特里多邊形作為維面的圖嵌入[1]。皮特里對偶亦可以作為一種多面體變換,稱為皮特里變換(Petrie Operation),其會將原像的面以皮特里多邊形做替換,然而變換結果通常會因為面轉變為無法確定唯一封閉區域的皮特里多邊形而導致體積與表面積不存在。[2]
性質
編輯皮特里對偶與一般的對偶變換一樣,可做透過重複做兩次相同變換使其變回原像[4]。而皮特里對偶與一般的對偶變換不同之處在於,一般的對偶變換是在同一個曲面上嵌入不同的圖,而皮特里對偶是將相同圖的嵌入在不同的曲面上。[1]
正多面體的皮特里對偶
編輯對正多面體做皮特里變換可以得到正則地區圖[3]。其變換結果會有g/2h個扭歪h邊形,其中g為群的階數、h為群的考克斯特數。舉例來說,立方體的皮特里對偶是一個二分圖,由4個[註 1]扭歪六邊形組成,每個扭歪六邊形環繞於立方體的赤道面上。在拓撲上,這個變換等同將圖嵌入到環面上。[1]
凸正多面體的皮特里對偶列舉如下[2]:
- 皮特里正四面體,施萊夫利符號{3,3}π,是正四面體經皮特里變換的結果,由3個正扭歪四邊形組成,共有3個面、6條稜和4個頂點,其歐拉示性數χ為1,與立方體半形{4,3}/2拓樸同構[6]。
- 皮特里立方體,施萊夫利符號{4,3}π,是立方體經皮特里變換的結果,由4個正扭歪六邊形組成,共有4個面、12條稜和8個頂點,其歐拉示性數χ為0[7]。 其也可以視為由4個正六邊形鑲嵌之面構成的環形多面體{6,3}(2,0)[9]。
- 皮特里正八面體,施萊夫利符號{3,4}π,是正八面體經皮特里變換的結果,由4個正扭歪六邊形組成,共有4個面、12條稜和6個頂點,其歐拉示性數χ為−2[7],並存在有{6,4}3類型的四階六邊形雙曲鑲嵌之映射。[10]
- 皮特里正十二面體,施萊夫利符號{5,3}π,是正十二面體經皮特里變換的結果,由6個正扭歪十邊形組成,共有6個面、32條稜和20個頂點,其歐拉示性數χ為-4[7],並存在有{10,3}5類型的正十邊形雙曲鑲嵌之映射。[10]
- 皮特里正二十面體,施萊夫利符號{3,5}π,是正二十面體經皮特里變換的結果,由6個正扭歪十邊形組成,共有6個面、32條稜和12個頂點,其歐拉示性數χ為-12[7],並存在有{10,5}3類型的五階正十邊形雙曲鑲嵌之映射。[10]
名稱 | 皮特里正四面體 | 皮特里立方體 | 皮特里正八面體 | 皮特里正十二面體 | 皮特里正二十面體 |
---|---|---|---|---|---|
施萊夫利符號 | {3,3}π , {4,3}3 | {4,3}π , {6,3}4 | {3,4}π , {6,4}3 | {5,3}π , {10,3} | {3,5}π , {10,5} |
(頂點數,邊數,面數), χ | (4,6,3), χ = 1 | (8,12,4), χ = 0 | (6,12,4), χ = −2 | (20,30,6), χ = −4 | (12,30,6), χ = −12 |
面 | 3個正扭歪四邊形 |
4個正扭歪六邊形 | 6個正扭歪十邊形 | ||
圖像 | |||||
旋轉動畫 | |||||
相關圖 | {4,3}3 = {4,3}/2 = {4,3}(2,0) |
{6,3}3 = {6,3}(2,0) |
{6,4}3 = {6,4}(4,0) |
{10,3}5 |
{10,5}3 |
非凸正多面體也有對應的皮特里對偶列舉如下[2]:
名稱 | 皮特里大十二面體 | 皮特里小星形十二面體 | 皮特里大二十面體 | 皮特里大星形十二面體 |
---|---|---|---|---|
施萊夫利符號 | {5,5/2}π , {6,5/2} | {5/2,5}π , {6,5} | {3,5/2}π , {10/3,5/2} | {5/2,3}π , {10/3,3} |
(頂點數,邊數,面數), χ | (12,30,10), χ = -8 | (12,30,10), χ = -8 | (12,30,6), χ = -12 | (20,30,6), χ = -4 |
面 | 10個正扭歪六邊形 | 6個正扭歪十邊形 | ||
圖像 | ||||
旋轉動畫 |
半正多面體的皮特里對偶
編輯名稱 | 皮特里三角柱[10] | 皮特里截角四面體[10][7] | 皮特里截半立方體[10][7] |
---|---|---|---|
原像 | 正三角柱 | 截角四面體 | 截半立方體 |
(頂點數,邊數,面數) | (6,9,3) | (12,18,3) | (12,24,6) |
面 | 3個扭歪六邊形 |
3個扭歪十二邊形 |
6個扭歪八邊形 |
旋轉動畫 |
註解
編輯參考文獻
編輯- ^ 1.0 1.1 1.2 Gorini, Catherine A., Geometry at Work, MAA Notes 53, Cambridge University Press: 181, 2000, ISBN 9780883851647
- ^ 2.0 2.1 2.2 McMullen, P., Schulte, E. Regular Polytopes in Ordinary Space. Discrete & Computational Geometry. 1997/06/01, 17 (4): pp.449-478 [2020-08-09]. ISSN 1432-0444. doi:10.1007/PL00009304. (原始內容存檔於2018-06-03).
- ^ 3.0 3.1 McMullen, Peter; Schulte, Egon, Abstract Regular Polytopes, Encyclopedia of Mathematics and its Applications 92, Cambridge University Press: 192, 2002, ISBN 9780521814966
- ^ Cunningham, Gabe. Self-dual, self-petrie covers of regular polyhedra. Symmetry (Molecular Diversity Preservation International). 2012, 4 (1): 208–218.
- ^ Jones, G. A.; Thornton, J. S., Operations on maps, and outer automorphisms, Journal of Combinatorial Theory, Series B, 1983, 35 (2): 93–103, MR 0733017, doi:10.1016/0095-8956(83)90065-5
- ^ Petrie Duals. weddslist.com. [2020-08-09]. (原始內容存檔於2020-10-22).
- ^ 7.0 7.1 7.2 7.3 7.4 7.5 Deza, Michel and Dutour, Mathieu. Zigzag structure of complexes. arXiv preprint math/0405279. 2004.
- ^ 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
- ^ Coxeter 1980[8], 8.4 Maps of type {3,6} or {6,3} on a torus.
- ^ 10.0 10.1 10.2 10.3 10.4 10.5 10.6 Deza, Michel. Note on Petri duals and hypercube embeddings of semiregular polyhedra. Symmetry. 2011-01, 22.