对偶多面体
在几何学,对偶多面体指的是两种多面体间的一种关联。若一个多面体的顶点能对应到另一个多面体的面,且每个与两顶点相连的边能对应到与两面相邻的边,则这两个多面体互为对偶多面体。[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} |