Characterization of f-vectors of families of convex sets in \({\mathbb{R}}^ d\). II: Sufficiency of Eckhoff's conditions (Q1080184): Difference between revisions

In 1974 J. Eckhoff conjectured a characterization by inequalities for those sequences - called f-vectors - \((f_ 0,f_ 1,...)\) of natural numbers \(f_ k\), for which a family of \(f_ 0\) convex sets in \({\mathbb{R}}^ d\) exists having exactly \(f_ k\) nonempty intersections of \(k+1\) members of \(k\in {\mathbb{N}}\). In part I of this paper [Isr. J. Math. 48, 175-195 (1984; Zbl 0572.52006)] the author proved the necessity of Eckhoff's conditions, this part shows their sufficiency. For given \((f_ 0,f_ 1,...)\) the author first constructs an abstract simplicial complex, called d-canonical, on the subset \(\{1,...,f_ 0\}\) of \({\mathbb{N}}\) as set of vertices, having the given sequence as its f-vector. Then he proves that a family of polyhedral convex sets in \({\mathbb{R}}^ d\) exists having this simplicial complex as its nerve. This final construction uses the ordered ring \({\mathbb{R}}[t_ 1,...,t_ n]\) of real polynomials and depends on the fact that \(t_ 1,...,t_ n\in {\mathbb{R}}\) may be chosen ''sufficiently large''.