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

 k次元正単体の基本単体数は(k+1)!である.もし,同じ位置に複数の頂点がなければ,k次元正単体内の頂点数は(k+1)!のはずであるが,実際に存在するのはGk個である.

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

 3次元の場合について,同じk次元正単体内の基本単体が会合しているかどうかを調べてみるが,

  [1,0,0]→Gk=1(会合なし)

  [0,1,0]→Gk=1(会合数2)

  [0,0,1]→Gk=1(会合数6)

[1]形状ベクトル[1,1,0]の場合

  k=1,j=0→Gk=(k+1,j+1)=2(会合なし)

[2]形状ベクトル[1,0,1]の場合

  k=2,j=0→Gk=(k+1,j+1)=3(会合数2)

[3]形状ベクトル[0,1,1]の場合

  k=2,j=1→Gk=(k+1,j+1)=3(会合数2)

[4]形状ベクトル[1,1,1]の場合

  k=2,j=1,i=0→Gk=(k+1,j+1)(j+1,i+1)=6(会合なし)

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

 4次元の場合は

  [1,0,0,0]→Gk=1(会合なし)

  [0,1,0,0]→Gk=1(会合数2)

  [0,0,1,0]→Gk=1(会合数6)

  [0,0,0,1]→Gk=1(会合数24)

[1]形状ベクトル[1,1,0,0]の場合

  k=1,j=0→Gk=(k+1,j+1)=2(会合なし)

[2]形状ベクトル[1,0,1,0]の場合

  k=2,j=0→Gk=(k+1,j+1)=3(会合数2)

[3]形状ベクトル[1,0,0,1]の場合

  k=3,j=0→Gk=(k+1,j+1)=4(会合数6)

[4]形状ベクトル[0,1,1,0]の場合

  k=2,j=1→Gk=(k+1,j+1)=3(会合数2)

[5]形状ベクトル[0,1,0,1]の場合

  k=3,j=1→Gk=(k+1,j+1)=6(会合数4)

[6]形状ベクトル[0,0,1,1]の場合

  k=3,j=2→Gk=(k+1,j+1)=4(会合数6)

[7]形状ベクトル[1,1,1,0]の場合

  k=2,j=1,i=0→Gk=(k+1,j+1)(j+1,i+1)=6(会合なし)

[8]形状ベクトル[1,1,0,1]の場合

  k=3,j=1,i=0→Gk=(k+1,j+1)(j+1,i+1)=12(会合数2)

[9]形状ベクトル[1,0,1,1]の場合

  k=3,j=2,i=0→Gk=(k+1,j+1)(j+1,i+1)=12(会合数2)

[10]形状ベクトル[0,1,1,1]の場合

  k=3,j=2,i=1→Gk=(k+1,j+1)(j+1,i+1)=3(会合数8)

[11]形状ベクトル[1,1,1,1]の場合

  l=3,k=2,j=1,i=0→Gk=(l+1,k+1)(k+1,j+1)(j+1,i+1)=24(会合なし)

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