多胞形

由平的邊界構成的幾何對象,可以存在於任意維中
多面體是一個3維多胞形

多胞形(英語:Polytope)是一類由平的邊界構成的幾何結構。多胞形可以存在於任意維中。多邊形為二維的多胞形,多面體為三維的多胞形,也可以延伸到三維以上的空間,如多胞體即為四維的多胞形

當提到n度空間下的多胞形時,常會用n-多胞形的名稱來表示,因此多邊形可稱為2-多胞形,多面體可稱為3-多胞形,多胞體即為4-多胞形。

多胞體的英文「polytope」是由數學家萊因霍爾德·霍普英語Reinhold Hoppe創造,其原文為德文,後來才由艾麗西亞·布爾·斯托特英語Alicia Boole Stott翻譯為英文。[1]

多胞形的種類

簡單多胞形

簡單多胞形在不同的情況下有不同的定義,例如在討論二維多邊形時,簡單多邊形是指自身元素中沒有互相相交情況的多邊形[2]。而在討論其他維度的立體時,簡單多胞形代表與每個頂點相鄰之邊或面數不會超過其維數的多胞形。[3]

複雜多胞形

複雜多胞形在不同的情況下有不同的定義,例如在討論二維多邊形時(尤其是四邊形),複雜多邊形(討論四邊形時稱複雜四邊形)是指自身元素中有互相相交情況的多邊形[4],同時也可以推廣到多胞形的情況,即指自身元素中有互相相交情況的多胞形。[5]在電腦圖學中,也可以用來指非簡單的幾何形狀[6]。此外,複雜多胞形在英語中稱為Complex Polytope,其亦可以代表位於複數(Complex Number)空間的複多胞形

凸多胞形

凸多胞形[7]是最簡單的多胞形,並且存在有幾種不同的概念性定義。例如凸多胞形有時被定義為一組半空間的交集,這個個定義下並不強制多胞形是有界的也不強制多胞形是有限的,其中有界的多胞形意味着存在一個能涵蓋整個多胞形且半徑是有限的球體或超球體[7]。若其為凸集且符合有界和有限的特性則可以稱為嚴格凸多胞形[8]。在線性規劃中通常會利用這種方式來定義多胞形[9]

正多胞形

正多胞形是對稱性最高的一種多胞形,在這種多胞形中,各種同維元素或同結構元素組皆可在其對稱性上傳遞,甚至其對稱性也能在標記(包含所有維度元素組)上傳遞,因此正多胞形的對偶多胞形也是一種正多胞形。[10]

星形多胞形

星形多胞形通常是指一系列的非凸多胞形,其中包括了一些正多胞形。[11]

廣義的多胞形

無窮多胞形

由於並非所有流形都是有限的[12],因此若將多胞體理解為在一個流形中由胞結構組成的空間填充,則可以將之擴展到無窮流形中[13]。平面密鋪、空間堆砌和雙曲鑲嵌多可以算是這類多胞形。這種解合結構因為有無限多個維面,因此有時會被稱為無限胞體[14]

實多胞形

實多胞形是指所有頂點皆位於 空間的多胞形[15],通常會和複多胞形進行比較,例如實多胞形可以定義內部而複多胞形無法。[16]另外,在抽象幾何學英語Abstract polytope中,實多胞形也可以表達與抽象多胞形相對的概念。[17]

複多胞形

實多胞形是指所有頂點皆位於 希爾伯特空間的多胞形,可以視為實數空間中的多胞形在複數空間的推廣。[19]而複正多胞形更適合被視為一種排佈結構。[18]

四元多胞形

在幾何中,四元多胞形是指位於四元數空間的多胞形。其可以視為是實數空間中的多胞形在四元數空間的推廣。其與複數空間類似,點不具有序性,因此沒有「位於...之間」的相互關係,因此一個四元數空間多胞形可以被理解為一組點、線和面等的排佈關係,其中,點維多條線的連接點、線連接了多個面。由於四元數的乘法不具有交換率,因此必須透過純量與向量相乘來構建乘法系統,通常會使用左乘法。[20]

其他空間的多胞形

多胞形通常可以定義於希爾伯特空間[21],如複多胞形(Complex polytope)[18]、四元多胞形(Quaternionic polytope)[20]或八元多胞形(Octonionic Polytope)等,不過在一些複雜的空間結構的多胞形,如八元多胞形的理論尚未被有系統的探討及解決。[22]

抽象多胞形

抽象多胞形是一種純粹只考慮多胞形各元素間的組合特性,將多胞形從其包含的空間幾何關係分離出來的一類多胞形。[23]這允許將多胞形各元素的定義擴展到包括一些位於難以在直觀下定義之空間的物件,例如四維正十一胞體[24][25]

抽象多胞形是遵守某些規則之元素的偏序集合,並且是一個純粹的代數結構,其發展的目的是為了避免或解決一些不同類型的幾何結構難以在一致的數學框架下協調的問題。[26]

拓樸多胞形

拓樸多胞形是一個可以分解為與凸多胞形拓樸等價的形狀、且可以規則方式分解為相互連接的形狀的拓樸空間[27]

參見

參考文獻

  1. ^ A. Boole Stott: Geometrical deduction of semiregular from regular polytopes and space fillings, Verhandelingen of the Koninklijke academy van Wetenschappen width unit Amsterdam, Eerste Sectie 11,1, Amsterdam, 1910
  2. ^ Dumitrescu, Adrian; Tóth, Csaba D. Light orthogonal networks with constant geometric dilation. Thomas, Wolfgang; Weil, Pascal (編). STACS 2007: 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings illustrated. Springer. 2007: 177 [2019-09-20]. ISBN 3540709177. (原始內容存檔於2019-12-20). 
  3. ^ Ziegler, Günter M., Lectures on Polytopes, Graduate Texts in Mathematics 152, Springer: 8, 2012, ISBN 9780387943657 
  4. ^ Complex quadrilaterals, Quadrilaterals. technology UK. [2019-09-20]. (原始內容存檔於2017-07-06). 
  5. ^ Paul Bourke; Polygons and meshes:Surface (polygonal) Simplification頁面存檔備份,存於互聯網檔案館) 1997. (retrieved May 2016)
  6. ^ Rae Earnshaw, Brian Wyvill (Ed); New Advances in Computer Graphics: Proceedings of CG International 』89, Springer, 2012, page 654.
  7. ^ 7.0 7.1 Wei-Ta Chu. Concepts from Geometry (PDF). 2015. 
  8. ^ Kaufmann, M. and Wagner, D. Graph Drawing: 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006, Revised Papers. Lecture Notes in Computer Science. Springer Berlin Heidelberg. 2007. ISBN 9783540709046. LCCN 2007920270. 
  9. ^ Dmitris Alevras and Manfred W. Padberg, Linear Optimization and Extensions: Problems and Solutions頁面存檔備份,存於互聯網檔案館, Universitext, Springer-Verlag, 2001. (Problems from Padberg with solutions.)
  10. ^ Sommerville, D. M. Y. Chapter X: The Regular Polytopes. An Introduction to the Geometry of n Dimensions Dover Publications. New York: E. P. Dutton. 1958 [1930]. 
  11. ^ Coxeter, Harold Scott MacDonald, Regular Polytopes, New York: Dover Publications, 1973, ISBN 978-0-486-61480-9 
  12. ^ Suyama, Yusuke. Examples of smooth compact toric varieties that are not quasitoric manifolds. Algebraic & Geometric Topology (Mathematical Sciences Publishers). 2014, 14 (5): 3097––3106. 
  13. ^ Martelli, Bruno. Hyperbolic four-manifolds. arXiv preprint arXiv:1512.03661. 2015. 
  14. ^ Grünbaum, B.; "Regular Polyhedra—Old and New", Aeqationes mathematicae, Vol. 16 (1977), pp 1–20.
  15. ^ DeSario, David and Robins, Sinai. A solid angle theory for real polytopes. arXiv preprint arXiv:0708.0042. 2007. 
  16. ^ Shephard, G.C.; Regular complex polytopes, Proc. London math. Soc. Series 3, Vol 2, (1952), pp 82–97.
  17. ^ Norman Johnson. Guy Inchbald , 編. Polytopes - abstract and real (PDF). steelpillow. [2019-09-17]. (原始內容存檔 (PDF)於2012-03-14). 
  18. ^ 18.0 18.1 18.2 Coxeter, H.S.M., Regular Complex Polytopes, Cambridge University Press, 1991, ISBN 0-521-39490-2 
  19. ^ Coxeter, Complex Regular polytopes,[18] Table V. The nonstarry regular polyhedra and 4-polytopes. p. 180.
  20. ^ 20.0 20.1 Davis, C.; Grünbaum, B.; Sherk, F.A. The Geometric Vein: The Coxeter Festschrift - Google Books. 2012-12-06 [2016-04-15]. ISBN 9781461256489. 
  21. ^ Haga, Tim and Pegel, Christoph. Polytopes of eigensteps of finite equal norm tight frames. Discrete & Computational Geometry (Springer). 2016, 56 (3): 727––742. 
  22. ^ Boya, Luis J and Rivera, Cristian. On regular polytopes. Reports on Mathematical Physics (Elsevier). 2013, 71 (2): 149––161. 
  23. ^ Mark Mixer. Introduction to abstract polytopes (PDF). Tapas Seminar. May 19, 2009 [2019-09-17]. (原始內容存檔 (PDF)於2021-08-06). 
  24. ^ [1]頁面存檔備份,存於互聯網檔案館) 2007 ISAMA paper: Hyperseeing the Regular Hendecachoron, Carlo H. Séquin & Jaron Lanier, Also Isama 2007, Texas A&m hyper-Seeing the Regular Hendeca-choron. (= 11-Cell)
  25. ^ Jaron's World: Shapes in Other Dimensions頁面存檔備份,存於互聯網檔案館), Discover mag., Apr 2007
  26. ^ McMullen, Peter; Schulte, Egon, Abstract Regular Polytopes 1st, Cambridge University Press, December 2002, ISBN 0-521-81496-0 
  27. ^ Grünbaum, Branko, Kaibel, Volker; Klee, Victor; Ziegler, Günter M. , 編, Convex polytopes 2nd, New York & London: Springer-Verlag, 2003, ISBN 0-387-00424-6 .

外部連結