■n次元の立方体と直角三角錐(その234)

[1]n次元正単体において,k次元胞に接する(それを含む)m次元胞(m>k)は,双対を考えて,n−k次元胞内のn−m次元胞と同数,

  (n−k,n−m)

です.

 (その224)において,

[2]n次元正軸体において,k次元胞に接する(それを含む)m次元胞(m>k)は,その双対であるn次元超立方体を考えて,n−1−k次元胞内のn−1−m次元胞と同数,

  2^m(n−1−k,n−1−m)

です・・・と誤って考えたのは,

  超立方体の面数公式   正軸体の面数公式

      k     →  n−k−1

    n−k−1   ←    k

と変換するからであるが,どうやら変数の値がずれていたようで,正しくは(その226)で一松信先生に教えていただいた

[2]n次元正軸体において,k次元胞に接する(それを含む)m次元胞(m>m>k)は,2項係数を使って,

  2^m-k(n−1−k,m−k)

です.

 なお,m<kのときは,k次元正単体の含むm次元胞の数は

  (k+1,m+1)

個になります.

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