對偶多面體
![本頁使用了標題或全文手工轉換](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e7/Dual_Cube-Octahedron.svg/240px-Dual_Cube-Octahedron.svg.png)
在幾何學,對偶多面體指的是兩種多面體間的一種關聯。若一個多面體的頂點能對應到另一個多面體的面,且每個與兩頂點相連的邊能對應到與兩面相鄰的邊,則這兩個多面體互為對偶多面體。[2]任何多面體都可以定義其對偶多面體,其基本屬性也都能被明確定義,例如一個多面體的有多少面,對偶多面體就會有多少頂點,但一個具體存在的多面體其對應的對偶多面體不一定能被具體構造[3]。對偶多面體也可以作為一種多面體變換,這個多面體變換的完的像就是找出給定多面體的對偶多面體。對偶變換滿足對合律,也就是說對偶多面體的對偶多面體等於自身。
兩個互為對偶的多面體擁有相同的對稱性,也因此許多由對稱性定義的多面體類,其對偶多面體仍屬於同一個多面體類,例如凸正多面體的對偶多面體還是柏拉圖立體、星形正多面體的對偶多面體還是星形正多面體。
對偶的種類
[編輯]多面體的對偶多面體有多種種類。最常見的是極點與極線的互換性和拓樸或抽象的對偶性。一種最簡單的定義就是若一種多面體的每個頂點均能對應到另一種多面體上的每個面的中心,它就是對方的對偶多面體。
極點與極線互換
[編輯]在歐幾里得空間中,多面體的對偶多面體可以基於一個已知的球之極點與極線互換來定義。在這個定義下,多面體的每個頂點(極點)都與一個平面(極平面)相關聯,每個頂點都在一個平面之上,使得由中心向頂點的射線都和平面垂直,且中心和每點的距離的平方等於半徑的平方[5][6]。
若球體的半徑為且幾何中心位於原點(此時球的方程式可以寫為),則多面體的極點對偶可以定義為:
其中,表示和的內積。
若多面體的面之方程式為:
則對應對偶多面體的頂點座標為。類似地,所有的頂點也可以用同樣的方式表達為的面。
相應的對偶多面體的頂點就是原來多面體的面的對應,而對偶多面體的面就是原來多面體的頂點的對應。另外,相鄰頂點定義出的棱能對應出兩個相鄰面,這些面的相交線亦定義出對偶多面體的一條棱。
對於具有對稱中心的多面體,取對偶所用的球體通常使用以該點為球心的球體,如多爾曼盧克構造(下文提到)。如果多面體無對稱中心,但有外接球、內切球或中分球,那麼這個多面體也有以使用這個方法來取對偶。而取對偶時也可以使用任意球體,由此產生的對偶多面體形式將取決於球體的大小和位置,隨着球體的變化,對偶多面體形式也會隨之變化。
推廣
[編輯]這些規則能一般化到維空間,以定義出對偶多胞形。多胞形的頂點能對應到對偶者的維的元素,而點能定義維元素,該元素能對應到超平面,超平面相交的位置能給出一個維元素。堆砌的對偶也能以近似方式定義。
自身對偶多面體
[編輯]在拓撲學上,自身對偶多面體是指對偶多面體在拓撲上與原始多面體相等的多面體,並具相同的面、邊和頂點的連接方式。理論上,自身對偶多面體和其對偶多面體會有相同的哈斯圖。
幾何學上的對偶多面體不止要滿足拓撲對偶多面體的定義,其要正好是關於某一個點的極倒數,通常是關於其幾何中心。幾何的自身對偶多面體會與其對偶多面體相似。例如正四面體是一個自身對偶多面體,其對偶多面體是另外一個正四面體,點對稱於其幾何中心。
參考文獻
[編輯]- ^ 1.0 1.1 Wenninger, Magnus, Dual Models, Cambridge University Press, 1983, ISBN 0-521-54325-8, MR 0730208
- ^ Wenninger (1983)[1], "Basic notions about stellation and duality", p. 1.
- ^ Grünbaum, Branko, Are your polyhedra the same as my polyhedra?, Aronov, Boris; Basu, Saugata; Pach, János; Sharir, Micha (編), Discrete and Computational Geometry: The Goodman–Pollack Festschrift, Algorithms and Combinatorics 25, Berlin: Springer: 461–488, 2003, CiteSeerX 10.1.1.102.755
, ISBN 978-3-642-62442-1, MR 2038487, doi:10.1007/978-3-642-55566-4_21
- ^ Cundy, H. Martyn; Rollett, A. P., Mathematical Models 2nd, Oxford: Clarendon Press, 1961, MR 0124167
- ^ Cundy & Rollett (1961)[4], 3.2 Duality, pp. 78–79
- ^ Wenninger (1983)[1], Pages 3-5. (Note, Wenninger's discussion includes nonconvex polyhedra.)
原像 | 截角 | 截半 | 過截角 | 對偶 | 擴展 | 全截 | 交錯 | ||
---|---|---|---|---|---|---|---|---|---|
半變換 | 扭稜 | ||||||||
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
t0{p,q} {p,q} |
t01{p,q} t{p,q} |
t1{p,q} r{p,q} |
t12{p,q} 2t{p,q} |
t2{p,q} 2r{p,q} |
t02{p,q} rr{p,q} |
t012{p,q} tr{p,q} |
ht0{p,q} h{q,p} |
ht12{p,q} s{q,p} |
ht012{p,q} sr{p,q} |