Best Approximation from the Intersection of a Closed Convex Set and a Polyhedron in Hilbert Space, Weak Slater Conditions, and the Strong Conical Hull Intersection Property

Let X be a (real) Hilbert space, C be a closed convex subset, and Hᵢ =∈ X x, hᵢ ≤ bᵢ\ (i=1,2,..., m) be a finite collection of half-spaces. Under the assumption that K:=C∩ (∩₁ᵐHᵢ) is not empty, the problem of characterizing the best approximation from K to any x∈ X is considered. The "strong conical hull intersection property" (strong CHIP), which was introduced by us in 1997, is shown to be both necessary and sufficient for the following "perturbation property" to hold: for each x∈ X, an element x₀∈ K satisfies x₀=PK(x) if and only if x₀=PC(x-∑₁ᵐλᵢhᵢ) for some scalars λᵢ≥ 0 with λᵢ[ x₀, hᵢ -bᵢ]=0 for each i. Here PD(z) denotes the unique best approximation from D to z. In other words, determining the best approximation from the set K to any point is equivalent to the (generally easier) problem of determining the best approximation from the set C to a perturbation of that point. Moreover, even when the strong CHIP does not hold, the perturbation property still holds, except now C must be replaced by a certain convex extremal subset of C. We also show that the strong CHIP is weaker than any of the weak Slater conditions that one can naturally impose on the sets in question. These results generalize the main results of our 1997 paper [J. Approx. Theory, 90, pp. 385--444] and hence those of several other papers as well.