Characterization of closed and open \(C\)-convex sets \(C({\mathcal I}, \mathbb R^r)\) (Q4937963)

The purpose of this paper is to examine if some certain types of maps are or are not bijective. Some properties of \(c\)-convex subsets of \(\mathcal C(\mathcal I,\mathbb R^r)\) are presented and results from convex analysis are recalled and derived. For instance, the authors establish the intimate connection in finite dimensional spaces, between closed convex sets with nonempty interior and lower semicontinuous and sublinear functionals \(q\) with the property \(q(x^*)+q(-x^*)>0\) for each \(x^*\neq 0\). The main and interesting results of the paper are given in the last section, where it is proved that the set of nonempty, closed, \(c\)-convex subsets \(\mathbb Q\subset \mathcal C(\mathcal I,\mathbb R^r)\) is in one-to-one correspondence with each of the set of lower semicontinuous set-valued maps \(Q\) that have closed, convex and nonempty images and the set of lower semicontinuous functionals \(q:\tau\times \mathbb R^r\to(-\infty,\infty)\) with \(q(t,^-)\) sublinear. Furthermore, even if \(\operatorname {int} \mathbb Q\neq \emptyset\) and \(q\) has the property \(q(t,x^*)+q(t,-x^*)>0\) for \(x^*\neq\emptyset\), the authors show that \(Q\to\sigma _\tau(Q)=\mathbb Q\) and \(Q\to\Delta^*_Q=q\) remain bijective. An important consequence of this result is that the above mentioned maps also remain bijective when \(\mathbb Q\) is considered nonempty and open (as opposed to closed) and the set-valued \(Q\) has nonempty and open (as opposed to closed) images.