n次単体的多面体に対しては,デーン・サマービル関係式
(-1)^(n-1)fk=Σ(k,n-1)(-1)^j(j+1,k+1)fj
が成り立つ.
また,このデーン・サマービル関係式の書き方はいくつかあるが
Σ(0,k)(-1)^k-j(n-j,n-k)fj-1=Σ(0,n-k)(-1)^n-k-j(n-j,k)fj-1
fk-1=Σ(k,n)(-1)^n-j(j,k)fj-1
===================================
Σ(0,k)(-1)^k-i(d-i,d-k)fi-1
=Σ(0,d-k)(-1)^d-kk-i(d-i,k)fi-1
は
hk=hd-k
の両辺をfiで記述しただけであるが,最もエレガントで単純なバージョンは
fk-1=Σ(k,d)(-1)^d-j(j,k)fj-1
である.
それでもhk=hd-kの単純さには比べるべくもない.
===================================