Partitions of a polytope and mappings of a point set to facets (Q2486861)

Generalizing own results, the author proves statements of the following type: Let \(P\) be a convex \(n\)-polytope with facets \(F_i\), \(i\in I_m\), and let \(A\subset\mathbb{R}^n\) be a finite point set of cardinality \(l\), where \(\{l_i\}\), \(i\in I_m\), is a set of positive integers with \(\sum_{i\in I_m} l_i= l\). Then there exists a partition of \(A\) into sets \(A_i\) \((i\in I_m)\) such that \(\text{card}\,A_i= l_i\) for any \(i\in I_m\), and that \(P\subseteq \bigcup_{i\in I_m} C_i\), where \(C_i:=\bigcap_{a\in A_i}\text{conv}(a\cup F_i)\). Similar theorems for polyhedral sets, but with \(C_i:= \text{conv}(A_i\cup F_i)\) instead, are proved, yielding \(\text{int\,}C_i\cap \text{int\,}P= \emptyset\) for any \(i\in I_m\) as well as \(\text{int\,}C_i\cap \text{int\,}C_j=\emptyset\) for all \(i\neq j\in I_m\). Also ``continuous analogues'' are derived, where the finite point set above is replaced by a measure. E.g., if \(\mu\) is a measure on \(P\), continuous with respect to the Hausdorff metric with \(\mu(P)= 1\), then for any set of positive numbers \(\mu_i\), \(i\in I_m\) \((\sum_{i\in I_m} \mu_i= 1)\), there exists a partition of \(P\) into convex sets \(A_i\), \(i\in I_m\), such that for all \(i\in I_m\) the relation \(A_i\cap \text{bd\,}P= F_i\) with \(\mu(A_i)= \mu_i\) holds.