■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)

===================================