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
0 references
0 references