A theorem on independence (Q687141)

A finite collection \(\{A_ i:1\leq i\leq n\}\) of sets is called independent if each of the \(2^ n\) sets of the form \(\text{cap}_{i=1}^ nX_ i\), where \(X_ i\) is either \(A_ i\) or its complement \(A_ i^ c\), is nonempty. The authors prove several results about upper bounds of independent collections of sets in Euclidean spaces, positively answering the conjecture of \textit{B. Grünbaum} [Math. Mag. 48, 12-23 (1975; Zbl 0305.05004)], stating that the maximum nunber of sets in an independent family of \(d\)-dimensional simplices in \(\mathbb{R}^ d\) having parallel bounding hyperplanes is \(d+1\).