■多面体の三角形分割(その8)
fベクトルとhベクトルは,母関数を使えば大変見通しよく説明することができる.
===================================
多面体Pの母関数を
F(t)=Σ(0,n)fj-1・t^j
で定義する.f-1=1
このとき,
H(t)=(1−t)^nF(t/(1−t))=Σ(0,n)fj-1・t^j(1−t)^(n-j)
はn次の多項式であり,
H(t)=Σ(0,n)hp・t^p
と書くことができる.
逆に,
F(t)=(1+t)^nH(t/(1+t))==Σ(0,n)fj-1・t^j
であり,
hp=Σ(0,p)(−1)^(p-j)(n−j,n−p)fjー1,0≦p≦n
fj-1=Σ(0,j)(n−p,n−j)hp,0≦j≦n
となる.
===================================
したがって,fjを与えることとhpを与えることは同値である.
n次単体的多面体に対しては,デーン・サマービル関係式
(−1)^(n-1)fk=Σ(k,n-1)(−1)^j(j+1,k+1)fj
が成り立つことは,
F(t−1)=(−1)^nF(−t)
H(t)=t^nH(1/t)
が成立すること,あるいは,
hp=hn-p
が成り立つことと同値である.
F(t/(1−t))=H(t)/(1−t)^n=Σ(0,n)fj-1・t^j/(1−t)^j
===================================