Constructible convex sets (Q1878313)

A closed convex subset of a Banach space \(X\) is called constructible if it can be written as a countable intersection of closed half-spaces in \(X\). A subset \(C\) of the dual \(X^*\) of \(X\) is called \(w^*\)-constructible if it can be written as a countable intersection of \(w^*\)-closed half-spaces in \(X^*\), i.e., half-spaces determined by elements of \(X\). The study of these sets is motivated by their relevance in semi-infinite convex programming (see \textit{J. Borwein} and \textit{A. S. Lewis} [Set-Valued Anal. 1, No. 4, 355--363 (1993; Zbl 0831.49016)]), as well as by some techniques used by \textit{D. Azagra} and \textit{J. Ferrera} [Proc. Am. Math. Soc. 30, 3687--3892 (2002; Zbl 1028.49003)] in the construction of a \(C^\infty\) smooth function \(f\) on a separable Banach space \(X\) such that \(\{x\in X: f(x) =0 \} = C,\) for a prescribed closed convex subset \(C\) of \(X.\) The authors give several characterizations of constructible and \(w^*\)-constructible sets along with some examples and counterexamples, and study their behavior with respect to various notions of set-convergence (Mosco and slice).