■世界で二番目(その5)

 n次元正単体,正軸体,蝶立方体のk次元胞の数を表す公式は古くから知られており,Coxeter, Regular Polytopesにも表がついています.

[1]n次元正単体は(n+1)個の点からなる完全グラフとみなすことができ,k次元胞の数は(n+1,k+1)です.

[2]n次元正軸体については,母関数が

  Σfkx^k={(1+2x)^n−1}/x

という形になります.すなわち,fk=2^(k+1)(n,k+1)です.

[3]n次元超立方体はこの双対で,母関数が

  Σfkx^k=(2+x)^n

という形になります.すなわち,fk=2^(n-k)(n,k)です.

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

 正軸体の場合,

  Σfkx^k={(1+2x)^n−1}/x

において,x=−1とおくと,

  nC1・2^1−nC2・2^2+nC3・2^3−nC4・2^4+・・・+(-1)^n)nCn・2^0

すなわち,オイラー標数は,nが奇数のとき2,偶数のとき0になることが理解されます.

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