■n次元の立方体と直角三角錐(その193)
k次元胞数をfkとおく.
n次元正軸体:fk=(n,k+1)2^(k+1)
n次元正単体:gk=(n+1,k+1)
(その192)の考察は誤りであったが,Pk-1Pk(j<k)の場合は正しいと考えられた.すなわち,Pk-2Pkのまわりに集まる基本単体数は,正軸体では
2^nn!/k(k+1)/2(n,k+1)2^(k+1)=2^(n-k)(k−1)!(n−k−1)!
k=2のとき,2^(n-2)1!(n−3)!
k=3のとき,2^(n-3)2!(n−4)!
正単体では
(n+1)!/k(k+1)/2(n+1,k+1)=2(k−1)!(n−k)!
k=2のとき,2・1!(n−2)!
k=3のとき,2・2!(n−3)!
になるはずである.実際に計算してみることにした.
===================================
【1】正軸体の場合
2^nn!/k(k+1)/2(n,k+1)2^(k+1)=2^(n-k)(k−1)!(n−k−1)!
k=2のとき,2^(n-2)1!(n−3)!
k=3のとき,2^(n-3)2!(n−4)!
k=4のとき,2^(n-4)3!(n−5)!
k=5のとき,2^(n-5)4!(n−6)!
n=3 n=4 n=5 n=6
k=2 2 4 16 76
k=3 − 4 8 32
k=4 − − 12 24
k=5 − − − 48
===================================
【2】正単体の場合
(n+1)!/k(k+1)/2(n+1,k+1)=2(k−1)!(n−k)!
k=2のとき,2・1!(n−2)!
k=3のとき,2・2!(n−3)!
k=4のとき,2・3!(n−4)!
k=5のとき,2・4!(n−5)!
n=3 n=4 n=5 n=6
k=2 2 4 12 48
k=3 − 4 8 24
k=4 − − 12 24
k=5 − − − 48
===================================
【3】まとめ
この表に斜線を引いて,斜線上に共通して
2→4→12→・・・
と並ぶ.これ以降も同じ数列になるのだろうか?
k=n−2を代入すると,
2^(n-k)(k−1)!(n−k−1)!=4(n−3)!
2(k−1)!(n−k)!=4(n−3)!
となり,同じ数が順番に現れることがわかる.
k=n−1を代入すると,
2^(n-k)(k−1)!(n−k−1)!=2(n−2)!
2(k−1)!(n−k)!=2(n−2)!
となり,同じ数が順番に現れることがわかる.
n次元の正軸体も正単体もファセットは等しく,(n−1)次元正単体であることの別表現になっているのである.
===================================