■巡回多面体と上限定理(その2)

d単体的多面体に対して,

f(λ)=Σ(−1)^ifi-1λ^i

と定義すると

f(1-λ)=(−1)^df(λ)

が従う。

また、hベクトルを

Σfi-1(x-1)^d-i=Σhix^d-i

と定義すると

hi=Σ(d-j,d-i)(-1)^(i-j)fj-1

fi=Σ(d-j,d-i-1)hj

が従う。hベクトルは単体的多面体のfベクトルを探求するときの強力な武器となる

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

d=3のとき、h0=1,h1=f0-3,h2=f1-2f0+3,h3=f2-f1+f0-1

一般に

h0=1,h1=f0-d

hd=(-1)^d-1Σ(-1)^ i-1fi-1

hd-1(-1)^(d-i)

fd=h0+h1+・・・+hd

hi=hd-i

単体的多面体のfベクトルをベクトルに変換すると著しく簡単な方程式になる

デーン・サマービル関係式は煩雑であるが、ささやかなりとも簡単になる。

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