On separated families of convex bodies (Q2638530)

A family \({\mathcal B}\) of convex sets in a real affine d-space \(A^ d\), \(d\geq 2\) is called separated provided any m-flat, \(0\leq m\leq d-2\) in \(A^ d\) intersects at most \(m+1\) members of \({\mathcal B}\). By definition, a hyperplane in \(A^ d\) fully supports \({\mathcal B}\) if it supports each member of \({\mathcal B}\). The author proves that for any separated family \({\mathcal B}\) of d compact convex bodies in \(A^ d\), there are exactly \(2^ d\) hyperplanes fully supporting \({\mathcal B}\).