■巡回多面体と上限定理(その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ベクトルをベクトルに変換すると著しく簡単な方程式になる
デーン・サマービル関係式は煩雑であるが、ささやかなりとも簡単になる。
===================================