Let [A,B] be the family of pairs of compact convex sets equivalent to (A,B). We prove that the cardinality of the set of minimal pairs in [A,B] that are not translates of one another is either 1 or greater than ℵ₀.
Let X be a Hausdorff topological vector space. For nonempty bounded closed convex sets A,B,C,D ⊂ X we denote by A ∔ B the closure of the algebraic sum A + B, and call the pairs (A,B) and (C,D) equivalent if A ∔ D = B ∔ C. We prove two main theorems on reduction of equivalent pairs. The first theorem implies that, in a finite-dimensional space, a pair of nonempty compact convex sets with a piecewise smooth boundary and parallel tangent spaces at some boundary points is not minimal. The second theorem...
Let pi: P --> Q be an affine projection map between two polytopes P and Q. Billera and Sturmfels introduced in 1992 the concept of polyhedral subdivisions of Q induced by pi (or pi-induced) and the fiber polytope of the projection: a polytope Sygma(P,pi) of dimension dim(P)-dim(Q) whose faces are in correspondence with the coherent pi-induced subdivisions (or pi-coherent subdivisions). In this paper we investigate the structure of the poset of pi-induced refinements of a pi-induced subdivision....
Let X be an arbitrary set, and γ: X × X → ℝ any function. Let Φ be a family of real-valued functions defined on X. Let be a cyclic -monotone multifunction with non-empty values. It is shown that the following generalization of the Rockafellar theorem holds. There is a function f: X → ℝ such that Γ is contained in the -subdifferential of f, .
We investigate diverse separation properties of two convex polyhedral sets for the case when there are parameters in one row of the constraint matrix. In particular, we deal with the existence, description and stability properties of the separating hyperplanes of such convex polyhedral sets. We present several examples carried out on PC. We are also interested in supporting separation (separating hyperplanes support both the convex polyhedral sets at given faces) and permanent separation (a hyperplane...