A separation theorem for nonconvex sets and its applications (Q2199366)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A separation theorem for nonconvex sets and its applications
scientific article

    Statements

    A separation theorem for nonconvex sets and its applications (English)
    0 references
    16 September 2020
    0 references
    The paper is concerned with the separation of closed subsets of a Banach space \(E\) by spheres or by boundaries of quasi-balls (a quasi-ball is a ball corresponding to an asymmetric norm). Denote by \(\mathfrak{B}_r(x)\) the closed ball in \(E\) of center \(x\) and radius \(r>0\) and by \(\mathfrak{B}_r\) the ball with center 0. A set \(C\) is called a summand of \(\mathfrak{B}_r\) if \(\mathfrak{B}_r=C+D\) for some \(D\subset E\). As a sample we mention Theorem~2.1: Let \(E\) be a uniformly convex and uniformly smooth Banach space, \(0< r < R\), \(A\subset E\) closed and uniformly prox-regular, \(C\subset E\) a convex closed summand of \(\mathfrak{B}_r \) with nonempty interior and such that \(A\cap\mathrm{int}\, C=\emptyset\). Then there exist \(a,c\in E\) such that \[ \mathrm{int}\, C\subset\mathrm{int}\,\mathfrak{B}_r(c)\subset\mathrm{int}\,\mathfrak{B}_R(a)\subset E\setminus A\,. \] The separation by quasi-balls of weakly convex sets (see, for instance, [\textit{G. E. Ivanov}, Weakly convex sets and functions. Theory and applications. (Russian). Moskva: Fizmatlit (2006; Zbl 1171.26006)]) is treated in Section~3. From the authors' abstract: ``These separation theorems are applied for proving some theorems on the continuity (with respect to Hausdorff metric) of the intersection of two multifunctions, the values of one of them being prox-regular or weakly convex (nonconvex, in general), and the values of the other being convex and summands of a ball or quasi-ball. As a corollary, a theorem on the continuity of a multifunction with values bounded by the graphs of two functions is obtained (in Section~4).''
    0 references
    convex set
    0 references
    weakly convex set
    0 references
    uniformly prox-regular set
    0 references
    proximally smooth set
    0 references
    separation of convex sets
    0 references
    asymmetric norm
    0 references
    multifunction
    0 references
    Hausdorff metric
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references