■ワイソフ計量空間(その16)

 これまで,

[1]空間充填2^n+2n胞体

[2]空間充填2(2^n−1)胞体

[3]3^n−1胞体

を取り上げたが,ここでは点Qの座標が等差数列をなす切頂切稜正軸体

[4]3^n−1−2^(n-1)n胞体

について考えてみよう.

===================================

 正軸体系の(1,・・・,1,0)の座標は,

  (0,±1,±2,・・・,±n−1)

の置換2^n-1・n!個である.たとえば,n=4の場合,

  (0,±1,±2,,±3)→192個

単純多面体で辺数はn/2・2^n-1・n!,ファセット数は3^n−1−2^(n-1)nとなる.

 それに対して,置換多面体とは,正単体系の(1,・・・1,1)で,その座標は(n+1)!,単純多面体で辺数はn/2・(n+1)!,ファセット数は2(2^n−1)である.

 正軸体系の(1,・・・,1,01)は置換多面体としばしば誤解されるが,平行多面体とも混同されているようだ.

n   3^n−1−2^(n-1)n   2(2^n−1)

2      4            6

3     14           14

4     48           30

5    152           62

6    536          126

であって,正軸体系の(1,・・・,1,0)は2次元・3次元では空間充填図形であるが,4次元以上ではそうはならない.

===================================