■完全グラフと同色の三角形(その14)
(その8)に誤りがあったので訂正しておきたい.
n次元正単体,正軸体,超立方体のk次元胞の数を表す公式は古くから知られており,Coxeter, Regular Polytopesにも表がついています.
[1]n次元正単体は(n+1)個の点からなる完全グラフとみなすことができ,k次元胞の数はfk=(n+1,k+1)です.
Σfkx^k={(1+x)^n+1−1}/x
[2]n次元正軸体については,母関数が
Σfkx^k=x^n+{(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)です.
===================================
これにより,(その9)[2]3^n−1胞体は
Σfkx^k=x^n+{(1+2x)^n−1}/x
に1を代入すると,3^n.さらにfn=1を引くと
3^n−1
となって,
Σfkx^k=(2+x)^n
に1を代入すると,3^n.さらにfn=1を引くと
3^n−1
と一致する.
===================================