■n次元の立方体と直角三角錐(その152)
ファセットの縮退を考えると,k次元面の縮退数は
lf0+mf1+nf2,(1,m,n)は整数
の形で書くのが自然な拡張であろう.3次元正四面体系の場合検証してみたい.
===================================
[1](0,1,1)→(0,0,1)の場合
頂点数は8減,辺数は12減,面数は4減.
[0,2,0,0]−[0,0,0,2]
[1,3,0,0]−[1,0,0,3],[1,0,2,0]
[2,1,0,0]−[2,0,0,1]
[2](0,1,1)→(0,1,0)の場合
頂点数は6減,辺数は6,面数は不変.
[0,0,1,0]
[1,0,1,0]
[2,0,0,0]
[3](1,1,0)→(0,1,0)の場合
頂点数は6減,辺数は6減,面数は不変.
[0,0,1,0]
[1,0,1,0]
[2,0,0,0]
[4](1,1,0)→(1,0,0)の場合
頂点数は8減,辺数は12減,面数は4減.
[0,2,0,0]−[0,0,0,21
[0,3,0,0]−[0,0,0,3],[0,0,2,0]
[2,1,0,0]−[2,0,0,1]
[5](1,1,1)→(0,1,1)の場合
頂点数は12減,辺数は18減,面数は6減.
[0,3,0,0]−[0,0,0,3],[0,0,2,0]
[1,3,1,0]−[1,0,1,3],[1,0,3,0]
[2,0,1,01
[6](1,1,1)→(1,1,0)の場合
頂点数は12減,辺数は18減,面数は6減.
[0,3,0,0]−[0,0,0,3],[0,0,2,0]
[1,3,1,0]−[1,0,1,3],[1,0,3,0]
[2,0,1,01
[7](1,1,1)→(1,0,1)の場合
頂点数は12減,辺数は12減,面数は不変.
[0,3,0,01−[0,0,0,3],[0,0,2,0]
[1,3,0,01−[1,0,0,3],[1,0,2,0]
[2,0,0,0]
[8](1,0,1)→(0,0,1)の場合
頂点数は8減,辺数は18減,面数は10減
[0,2,0,01−[0,0,0,2]
[1,3,1,0]−[1,0,1,3],[1,0,3,0]
[2,1,1,0]−[1,0,1,1]
[9](1,0,1)→(1,0,0)の場合
頂点数は8減,辺数は18減,面数は10減
[0,2,0,01−[0,0,0,2]
[1,3,1,0]−[1,0,1,3],[1,0,3,0]
[2,1,1,0]−[2,0,1,1]
===================================