■n次元の立方体と直角三角錐(その224)
目的の点(点あるいは辺の中点)に隣接する胞の数も,2項係数を活用して求めることができると思われたのだが,・・・
===================================
[1]n次元正単体において,k次元胞に接する(それを含む)m次元胞(m>k)は,双対を考えて,n−k次元胞内のn−m次元胞と同数,
(n−k,n−m)
です.
nが小さい例で検してみると
[a]n=3,k=0,m=1→(3,2)=3 (OK)
[b]n=3,k=0,m=2→(3,1)=3 (OK)
[c]n=3,k=1,m=2→(2,1)=2 (OK)
===================================
同様に,
[2]n次元正軸体において,k次元胞に接する(それを含む)m次元胞(m>k)は,その双対であるn次元超立方体を考えて,n−1−k次元胞内のn−1−m次元胞と同数,
2^m(n−1−k,n−1−m)
です.
[a]n=3,k=0,m=1→2(2,1)=4 (OK)
[b]n=3,k=0,m=2→4(2,0)=4 (OK)
[c]n=3,k=1,m=2→4(1,0)=4≠2 (NG)
===================================