■単純リー環を使った面数数え上げ(その11)
Xnのワイル群のオーダーをW(Xn)で表すことにする.
W(An)=(n+1)!
W(Bn)=2^nn!
W(Cn)=2^nn!
W(Dn)=2^n-1n!
===================================
【1】半立方体の要素数
4次元半立方体の頂点数は
f0=W(D4)/W(A3)=8
辺数は
f1=W(D4)/W(A1)^3=24
2次元面数は
f2=W(D4)/W(A2)=32
3次元面数は
f3=2W(D4)/W(A3)=16
で計算される.これは4次元正軸体とまったく同じである.
n次元半立方体では
f0=W(Dn)/W(An-1)=2^n-1
f1=W(Dn)/W(A1)^2W(An-3)=2^n-2(n,2)
が正しいようである.
===================================
【2】正軸体の要素数
4次元正軸体の頂点数は
f0=W(C4)/W(C3)=8
辺数は
f1=W(C4)/W(A1)W(C2)=24
2次元面数は
f2=W(C4)/W(A2)W(A1)=32
3次元面数は
f3=2W(C4)/W(A3)=16
で計算される.
n次元正軸体では
f0=W(Cn)/W(Cn-1)=2n
f1=W(Cn)/W(A1)^2W(Cn-2)=2^n-2(n,2)
が正しいようである.
===================================