■デーン・サマービル関係式(その52)

 一般に,自然数a,iにに対して

  a=(a(i),i)+(a(i−1),i−1)+・・・+(a(j),j)

  a(i)>a(i−1)>・・・>a(j)≧j≧1

が唯一存在することが知られている.

 このとき,

  a<i>=(a(i)+1,i+1)+(a(i−1)+1,i)+・・・+(a(j)+1,j+1)

と定義する.

 非負整数列(ν0,ν1,ν2,・・・)がO列とは

  ν0=1,0≦νi+1≦νi<i>

が成立することである.

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

 非整数列{fj},0≦j≦r−1が与えられたとき,それがr次元コンパクト凸多面体の面数として実現されるための必要十分条件は

[1]デーン・サマービル関係式

が成立することに加えて

[2]{fj}から構成される数式がO列になることである.

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