■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)
個になります.
===================================