■多面体の三角形分割(その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

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