デーン–サマービル方程式

数学上で、デーン–サマービル方程式（テンプレート:Lang-en-short）とは、単体的多面体の異なる次元の面数の間の線形関係を表す方程式系である。次元が4、5の多面体に対しては、1905年にマックス・デーン (Max Dehn) により発見され、一般の次元に対してはダンカン・サマービル (Duncan Sommerville) により1927年に示された。　

命題

P を d 次元単体的多面体とする。i = 0, 1, ..., d−1 に対して f_i を P の i 次元面の数を表すものとする。列

$f(P)=(f_0,f_1,\dots ,f_{d-1})$

を 多面体P の f-列 と呼び、

$f_{-1}=1,f_d=1.$

とする。

このとき、任意の k = −1, 0, …, d−2 に対して、次の式（デーン–サマービル方程式）が成り立つ。

$\sum _{j=k}^{d-1}(-1{)}^j(\genfrac{}{}{0ex}{}{j+1}{k+1})f_j=(-1{)}^{d-1}{f}_k.$

k = −1 のとき、これは単体的 (d − 1) 次元球面のオイラー標数は 1 + (−1)^d−1 に等しいという事実を表す。

デーン–サマービル方程式は k の値に依存し、$\left[\frac{d+1}{2}\right]$ 個の方程式からなる最大の独立した集合を選ぶ方法がいくつか存在する。

参考文献

• Branko Grünbaum, Convex polytopes. Second edition. Graduate Texts in Mathematics, 221, Springer, 2003 ISBN 0-387-00424-6

• Richard Stanley, Combinatorics and commutative algebra. Second edition. Progress in Mathematics, 41. Birkhäuser Boston, Inc., Boston, MA, 1996. x+164 pp. ISBN 0-8176-3836-9

• G. Ziegler, Lectures on Polytopes, Springer, 1998. ISBN 0-387-94365-X