■平行多面体とミンコフスキー和(その3)
フェドロフの平行多面体とは平行移動するだけで3次元空間を埋めつくすことのできる単独の多面体であって,平行辺(したがって平行四辺形面,平行六辺形面に限られる),平行面から構成されている多面体である.フェドロフの平行多面体には立方体,6角柱,菱形12面体,長菱形12面体,切頂8面体の5種類しかないことが証明されている(1885年).
平行多面体による空間充填形はもっと高い次元の立方格子の3次元への射影になっている.平行多面体のうち14面体は切頂8面体だけであるが,切頂八面体には6組の平行な辺があり,6次元立方体と相同と考えることができる.切頂8面体(f=14,d=6)の辺を点に縮めることによって,長菱形12面体(f=12,d=5)→菱形12面体(f=12,d=4),6角柱(f=8,d=4)→立方体(f=6,d=3)ができる.すなわち,6角柱,菱形12面体は4次元立方体,長菱形12面体は5次元立方体,切頂8面体は6次元立方体を3次元空間に投影したものとなっていて,空間充填図形の基本形は切頂8面体と考えることができる.
平行多面体5種は6次元立方体の投影図から適当に線を間引いくことによって得ることができるのであるが,この方法は菱形n(n−1)面体の一部の辺を平面上に押しつぶすことと等価である.
また,特殊な作り方も可能である.
[1]立方体に四角柱や六角柱を次々に挟み込むことによって,5つの平行多面体すべてが得られる.
[2]平行六面体に頂点を付け加えたり,それを動かすことによって六角柱以外の平行多面体が得られる.
===================================
【2】ゾーン多面体
フェドロフの多面体はすべてゾーン多面体である.n方向ベクトル星でできているゾーン多面体は,すべての面を平行四辺形で置き換えた場合,
f=n(n−1)
の面をもつ.
また,
(n,3)=n(n−1)(n−2)/6
個の平行六面体に分解される.その分割方法には
N=2^(n-i)(n,i)/(n,3)
iは空間の次元数で,ゾーン多面体の場合は3
通りある.
3方向のベクトルが同一平面上にあるとき,平行六面体は平行六角形に退化する.
===================================
【3】ミンコフスキーの体積公式
n次元置換多面体は(n+1,2)次元の立方体のアフィン射影であるから,m=n(n+1)/2組の平行なn次元ベクトル
V={v1,・・・,vm}
をもつ.viは辺に沿ったベクトルである.したがって,この体積は線分のミンコフスキー和
vol(V)=Σ|det(vi1,・・・,vin)|
で与えられる.すなわち,(m,n)個の項をもつこの公式は,複体を平行体(parallelepiped)に分解してそのミンコフスキー和ととることを意味している.なお,このベクトル配置は1次従属になることもあり,その場合,ある項はゼロになるから(m,n)個以下の平行体に分解できることになる.
===================================