■n次元の立方体と直角三角錐(その243)
以前,私が示した面数公式は,縮退のない多面体(1,1,・・・,1)に対して
正単体の面数公式: gk^(n)=n+1Ck+1
正軸体の面数公式: gk^(n)=2^(k+1)nCk+1
fk^(n)=Σ(j=0~k)gj^(n)f(k-j)^(n-1ーj)
というものであって,その多面体が再帰的な構造を有していることを前提として構成したものである.
縮退した多面体についても,面数公式
fk^(n)=Σ(j=0~k)gj^(n)f(k-j)^(n-1ーj)bj
が成り立つかもしれないと考えるのは自然な発想であろう.各bjには0か1以外の整数値も許すことにする.
一方,(その236)〜(その241)では,縮退の有する多面体についても,ある程度再帰的な構造を有していることが確認されている.
もう一度
正単体の面数公式: gk^(n)=n+1Ck+1
正軸体の面数公式: gk^(n)=2^(k+1)nCk+1
fk^(n)=Σ(j=0~k)gj^(n)f(k-j)^(n-1ーj)bj
に類似した式が得られるか調べてみたい.
===================================
【1】f0公式再考
[Y]=[1,X]あるいは[Y]=[0,X]の場合を3次元準正多面体X,4次元準正多胞体Yについて調べてみる.[Y]=[0,X]の場合,b=1/2にしている.
[1]4次元正単体系(g0=5)
[1,0,0](f0=4)→[1,1,0,0](f0=20)
[1,0,0](f0=4)→[0,1,0,0](f0=10)
[0,1,0](f0=6)→[1,0,1,0](f0=30)
[0,1,0](f0=6)→[0,0,1,0](f0=10,NG)
[0,0,1](f0=4)→[1,0,0,1](f0=20)
[0,0,1](f0=4)→[0,0,0,1](f0=5,NG)
[1,1,0](f0=12)→[1,1,1,0](f0=60)
[1,1,0](f0=12)→[0,1,1,0](f0=30)
[1,0,1](f0=12)→[1,1,0,1](f0=60)
[1,0,1](f0=12)→[0,1,0,1](f0=30)
[0,1,1](f0=12)→[1,0,1,1](f0=60)
[0,1,1](f0=12)→[0,0,1,1](f0=20,NG)
[1,1,1](f0=24)→[1,1,1,1](f0=120)
[1,1,1](f0=24)→[0,1,1,1](f0=60)
[2]4次元正軸体系(g0=8)
[1,0,0](f0=6)→[1,1,0,0](f0=48)
[1,0,0](f0=6)→[0,1,0,0](f0=24)
[0,1,0](f0=12)→[1,0,1,0](f0=96)
[0,1,0](f0=12)→[0,0,1,0](f0=32,NG)
[0,0,1](f0=8)→[1,0,0,1](f0=64)
[0,0,1](f0=8)→[0,0,0,1](f0=16,NG)
[1,1,0](f0=24)→[1,1,1,0](f0=192)
[1,1,0](f0=24)→[0,1,1,0](f0=96)
[1,0,1](f0=24)→[1,1,0,1](f0=192)
[1,0,1](f0=24)→[0,1,0,1](f0=96)
[0,1,1](f0=24)→[1,0,1,1](f0=192)
[0,1,1](f0=24)→[0,0,1,1](f0=64,NG)
[1,1,1](f0=48)→[1,1,1,1](f0=384)
[1,1,1](f0=48)→[0,1,1,1](f0=192)
===================================
【2】f0公式再考
[Y]=[X,1]あるいは[Y]=[X,0]の場合を3次元準正多面体X,4次元準正多胞体Yについて調べてみる.[Y]=[X,0]の場合,b=1/2にしている.
[1]4次元正単体系(g0=5)
[1,0,0](f0=4)→[1,0,0,1](f0=20)
[1,0,0](f0=4)→[1,0,0,0](f0=5,NG)
[0,1,0](f0=6)→[0,1,0,1](f0=30)
[0,1,0](f0=6)→[0,1,0,0](f0=10,NG)
[0,0,1](f0=4)→[0,0,1,1](f0=20)
[0,0,1](f0=4)→[0,0,1,0](f0=10)
[1,1,0](f0=12)→[1,1,0,1](f0=60)
[1,1,0](f0=12)→[1,1,0,0](f0=20,NG)
[1,0,1](f0=12)→[1,0,1,1](f0=60)
[1,0,1](f0=12)→[1,0,1,0](f0=30)
[0,1,1](f0=12)→[0,1,1,1](f0=60)
[0,1,1](f0=12)→[0,1,1,0](f0=30)
[1,1,1](f0=24)→[1,1,1,1](f0=120)
[1,1,1](f0=24)→[1,1,1,0](f0=60)
[2]4次元正軸体系(g0=8)
[1,0,0](f0=6)→[1,0,0,1](f0=64,NG)
[1,0,0](f0=6)→[1,0,0,0](f0=8,NG)
[0,1,0](f0=12)→[0,1,0,1](f0=96)
[0,1,0](f0=12)→[0,1,0,0](f0=24,NG)
[0,0,1](f0=8)→[0,0,1,1](f0=64)
[0,0,1](f0=8)→[0,0,1,0](f0=32)
[1,1,0](f0=24)→[1,1,0,1](f0=192)
[1,1,0](f0=24)→[1,1,0,0](f0=48,NG)
[1,0,1](f0=24)→[1,0,1,1](f0=192)
[1,0,1](f0=24)→[1,0,1,0](f0=96)
[0,1,1](f0=24)→[0,1,1,1](f0=192)
[0,1,1](f0=24)→[0,1,1,0](f0=96)
[1,1,1](f0=48)→[1,1,1,1](f0=384)
[1,1,1](f0=48)→[1,1,1,0](f0=192)
===================================