二十面體半形

在抽象幾何學中，二十面體半形是一種抽象正多面體，由一半數量的正二十面體面構成。二十面體半形可被視為是一種射影多面體（英语：projective polyhedron），可視為由十個三角形構成的實射影平面鑲嵌。 二十面體半形是一種抽象正多面體（英语：Abstract regular polytope），共由10個面、15條邊和6個頂點組成；其中所有10個面都是正三角形、每個頂點都是5個正三角形的公共頂點，在施萊夫利符號中可以用{3,5}5或{3,5}/2來表示，其中{3,5}代表且每個頂點都是5個正三角形的公共頂點，然而{3,5}代表正常的正二十面體，因此用{3,5}5符號來表示二十面體半形。二十面體半形的皮特里多邊形為五邊形。 二十面體半形的對偶多面體為十二面體半形。 二十面體半形的對稱群為A5考克斯特群。所有多面體中僅有2種多面體具備A5考克斯特群對稱性，另外一個與A5考克斯特群對應的半形體為大十二面體半形。 二十面體半形是一個抽象多面體，其無法實體存在，但可以透過一些手段來具象化。其中一種方式是使用其對應的正則地區圖來具象化。二十面體半形對應的正則地區圖可被具象為一個五維空間扭歪正多面體，該多面體所有6個頂點和15條邊皆位於五維正六胞體上，而原有五維正六胞體有20個三角形面，而對應的二十面體半形之扭歪多面體具象化則僅交錯地取其中10個面，並且相鄰的2個面位於相同三維平坦空間中，但整體立體不位於相同三維空間中，因此是一個扭歪多面體。在這個具象化中，其三角形-三角形二面角為3的反正割值（ sec − 1 ⁡ 3 ≈ 1.2309594 {\displaystyle \sec ^{-1}{3}\approx 1.2309594} 弧度，約70.5287795度），與一般正二十面體的三角形-三角形二面角（ π − sin − 1 ⁡ 2 3 ≈ 2.411865 {\displaystyle \pi -\sin ^{-1}{\frac {2}{3}}\approx 2.411865} 弧度，約138.189685度）不同。 在拓樸學上，二十面體半形與四面半六面體相關。若將四面半六面體的每一個正方形面替換為2個三角形，則所形成的立體若只看面之間的相鄰關係，會與二十面體半形無異，即每個頂點都是5個三角形的公共頂點，且由10個面（4個正三角形與6個直角三角形）、15條邊（12條四面半六面體的邊與3條正方形面替換為2個三角形時形成的邊）和6個頂點組成。 二十面體半形和五維正六胞體有著相同的邊以及頂點，但只有其一半數量的面。而五維正六胞體對應的骨架圖為 K 6 {\displaystyle K_{6}} 完全圖，即有著六個頂點的完全圖，因此從圖論的角度來看，二十面體半形可以視為是嵌入於實射影平面的 K 6 {\displaystyle K_{6}} 完全圖。其對應的對偶圖皮特森圖也對應到了二十面體半形的對偶多面體十二面體半形。 正二十面體可以經過一系列的多面體變換轉變為半正多面體，部分半正多面體也存在對應的半形體，例如截角二十面體半形、截半二十面體半形等。 截角二十面體半形是截角二十面體的半形體，又稱為足球半形（Hemi-Soccer Ball）。其出現在四維正五十七胞體的一種具象化的第二層結構中，由16個面、45條邊和30個頂點組成。其可透過將截角二十面體的每個頂點與對應的對蹠點合併構成。 截半二十面體半形是截半二十面體的半形體。其也可以透過將二十面體半形或十二面體半形進行截半變換構成。 部分皮特里對偶與正二十面體或其半形體相關，例如二十面體半形的皮特里對偶或正二十面體的皮特里對偶。 二十面體半形的皮特里多邊形為五邊形，其對應的皮特里對偶為每個頂點由5個五邊形（二十面體半形的皮特里多邊形）組成的抽象多面體，其在施萊夫利符號中可以用{5,5}3表示。這個抽象多面體是一個自身對偶多面體，並且可以被小星形十二面體、大十二面體或其他等價於虧格為5的{5,5}幾何結構（的表面）二重覆蓋。這個幾何體對應的骨架圖與二十面體半形相同，皆為K6完全圖。 皮特里二十面體是正二十面體的皮特里對偶，可以透過將原有正二十面體上取皮特里多邊形構成，換句話說，皮特里二十面體為由正二十面體的皮特里多邊形構成的立體。由於正二十面體的皮特里多邊形為扭歪十邊形，因此無法確立其封閉範圍，故無法計算其表面積和體積。 皮特里二十面體是一個不可定向且虧格為14的幾何結構。皮特里二十面體共有6個面、30條邊和12個頂點。其中面由6個扭歪十邊形面組成，每個頂點都是5個扭歪十邊形的公共頂點。 皮特里二十面體與正二十面體互為皮特里對偶，也就是說，皮特里二十面體的皮特里對偶為正二十面體，換句話說，即皮特里二十面體的皮特里多邊形為三角形。 皮特里大十二面體是大十二面體的皮特里對偶，由大十二面體的皮特里多邊形組成。由於大十二面體與小星形十二面體對應相同的正則地區圖，因此皮特里大十二面體對應的正則地區圖也與皮特里小星形十二面體相同，皆由10個面、30條邊和12個頂點組成。 其對應的骨架為正二十面體。 四維正十一胞體 - 一個由十一個二十面體半形構成的抽象多胞體。 十二面體半形 立方體半形 八面體半形 Ellers, Erich W. Erich W. Ellers, Branko Grünbaum, Peter McMullen, Asia Ivic Weiss. NOTICES OF THE AMS. 2003, 50 (10).  Schulte, Egon. Classification of locally toroidal regular polytopes. Polytopes: Abstract, convex and computational (Springer). 1994: 125––154.  McMullen, Peter; Schulte, Egon, 6C. Projective Regular Polytopes, Abstract Regular Polytopes 1st, Cambridge University Press: 162–165, December 2002, ISBN 0-521-81496-0  Monson, Barry and Ivić Weiss, Asia. Cayley graphs and symmetric 4-polytopes. Ars Mathematica Contemporanea. 2008, 1 (2).  Hartley, Michael I. The Classification of Rank 4 Locally Projective Polytopes and Their Quotients. arXiv preprint math/0310429. 2003.  Fernandes, Maria Elisa and Leemans, Dimitri and Mixer, Mark. Polytopes of high rank for the alternating groups. Journal of Combinatorial Theory, Series A (Elsevier). 2012, 119 (1): 42––56.  Fernandes, Maria Elisa and Leemans, Dimitri and Mixer, Mark. All Alternating Groups A n {\displaystyle A_{n}} with n ≥ 12 {\displaystyle n\geq 12} Have Polytopes of Rank ⌊ n − 1 2 ⌋ {\displaystyle \lfloor {\frac {n-1}{2}}\rfloor } . SIAM Journal on Discrete Mathematics (Society for Industrial and Applied Mathematics). 2012, 26 (2): 482. doi:10.1137/110838467.  Coxeter, Harold Scott Macdonald, Twelve geometric essays, Carbondale: Southern Illinois University Press: 80, 1968  Séquin, Carlo H, A 10-Dimensional Jewel, Gathering for Gardner G4GX, Atlanta, GA, 2012  Coxeter, HSM, A symmetrical arrangement of eleven hemi-icosahedra, North-Holland Mathematics Studies (Elsevier), 1984, 87: pp. 103–114  引文格式1维护：冗余文本 (link) Gailiunas, Paul; et al, Polyhedral Models of the Projective Plane, Bridges 2018 Conference Proceedings, 2018: 543–546  引文格式1维护：显式使用等标签 (link) Melikhov, Sergey A. Combinatorics of embeddings. arXiv preprint arXiv:1103.5457. 2011.  The Hemi-Soccer Ball. wmich.edu. [2021-08-05]. （原始内容存档于2021-08-05）.  （页面存档备份，存于互联网档案馆） The hemi-icosidodecahedron. Regular Map database - map details. [2021-07-30]. （原始内容存档于2021-08-02）.  （页面存档备份，存于互联网档案馆） Séquin, Carlo and Hamlin, James. The regular 4-dimensional 57-cell. ACM SIGGRAPH 2007 Sketches, SIGGRAPH'07. 2007-08. doi:10.1145/1278780.1278784.  Carlo H. Séquin; James F. Hamlin. The Regular 4-Dimensional 11-cell and 57-cell. SIGGRAPH 2007, San Diego, University of California, Berkeley. [2021-08-06]. （原始内容存档于2016-03-03）.  （页面存档备份，存于互联网档案馆） C5:{5,5}. Regular Map database - map details. [2021-07-30].  McMullen, P. and Schulte, E., A Universality Propetry of L k , g {\displaystyle {\mathcal {L}}^{\mathcal {k,g}}} , Abstract Regular Polytopes, Abstract Regular Polytopes (92 卷) (Cambridge University Press), 2002, (92 卷): 268, ISBN 9780521814966, LCCN 02017391  S4:{5,5}. Regular Map database - map details. [2021-07-30].  Gorini, Catherine A., Geometry at Work, MAA Notes 53, Cambridge University Press: 181, 2000, ISBN 9780883851647  N14.3′. Regular Map database - map details. [2021-08-05]. （原始内容存档于2021-08-05）.  （页面存档备份，存于互联网档案馆） The icosahedron. Regular Map database - map details. [2021-08-04]. （原始内容存档于2021-08-01）.  （页面存档备份，存于互联网档案馆） S4:{5,5}. Regular Map database - map details, weddslist.com. [2021-07-30].  N10.5′. Regular Map database - map details, weddslist.com. [2021-07-30]. （原始内容存档于2021-08-05）.  （页面存档备份，存于互联网档案馆） 二十面體半形（页面存档备份，存于互联网档案馆）