■DE群多面体の面数公式(その6)

【1】Dnの局所幾何学

 n−k<3で成り立たない理由は,明らかにn−1次元の半立方体にある.

  fn-k={k(n,k)/(n−k+1)+(n,k)/2^n-k-1}f0

そこで,2^n-k-1を変えることによって,正しい公式を導き出せるかもしれない.

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

[2]n−k=2

  f3={(n−2)(n,n−2)/3+(n,n−2)/2}f0

  f3={(n−2)(n,2)/3+(n,2)/2}f0

={(n−2)n(n−1)/6+n(n−1)/4}f0

=n(n−1)/2{(n−2)/3+1/2}f0

=n(n−1)(2n−1)/12・f0   (NG)

 正しくは

  f2=n(n−1)(n−2)/6・f0,n>3

したがって,

  f3={(n−2)(n,n−2)/3+0}f0

すればよい.

[3]n−k=1

  f3={(n−1)(n,n−1)/2+(n,n−1)/1}f0

  f3={(n−1)(n,1)/2+(n,1)/1}f0

={(n−1)n/2+n}f0

=n/2{(n−1)+2}f0

=n(n+1)/2・f0   (NG)

 正しくは

  f1=n(n−1)/4・f0

したがって,

  f3={(n−1)(n,n−1)/4+0}f0

すればよい.

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