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

[1]fベクトルとhベクトル

 d次元多面体のfベクトルは

  (f0,f1,・・・,fd-1)

あるいは,空集合に対応するf-1=1から始めると

  (f-1,f0,f1,・・・,fd-1)

  (f-1,f0,f1,・・・,fd-1,fd),fd=1

となり,オイラー・ポアンカレの公式は

  f0−f1+,・・・+(−1)^d-1fd-1=1+(−1)^d

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

  fj-1=Σ(0,j)(r−p,r−j)hp,0≦j<r

  fk-1=Σ(0,k)(d−i,k−i)hi,0≦i<k

=hk+(d−k+1)hk-1+・・・+(d−1,k−1)h1+(d,k)h0

逆にfベクトルからhベクトルを計算することもできる.

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

[1]f多項式

  f(x)=fd-1+fd-2x+・・・+f0x^d-1+f-1x^d=Σ(0,d)fi-1x^d-i

[2]h多項式

  h(x)=hd+hd-1x+・・・+h1x^d-1+h0x^d=Σ(0,d)hix^d-i

  fk-1==Σ(0,k)hi(d−i,k−i)

=hk+(d−k+1)hk-1+・・・+(d−1,k−1)h1+(d,k)h0

 h多項式はf多項式の(x+1)^d-iの項に貢献することより,

  f(x)=Σ(0,d)hi(x+1)^d-i=h(x+1)

  h(x)=f(x−1)

 この公式のx^d-kの係数を比較すると,fk-1をhiによって表す公式,hkをfiによって表す公式を得ることができる.

  hk=Σ(0,k)(−1)^k-i(d−i,d−k)fi-1

=fk-1−(d−k+1)fk-2+(d−k+2,2)fk-3−・・・+(−1)^k-1(d−1,k−1)f0+(−1)^k(d,k)

とくに

h0=1,h1=f0−d

hd=fd-1−fd-2+fd-3−・・・+(−1)^d-1f0+(−1)^d

 また,一般の複体について

  h0+h1+・・・+hd=fd-1,f(0)=h(1)

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