Further remarks on local \(K\)-boundedness of \(K\)-subadditive set-valued maps (Q6185257)

Firstly, let us present some notations and definitions which are used in this paper. Let \(X\) be an abelian metric group with an invariant metric and \(Y\) be a real topological vector space. Let \(K\) be a semigroup of \(Y\), i.e., \(K+K\subset K\). By \(n(Y)\) we denote the family of all nonempty subsets of \(Y\); by \(B(Y)\) and \(CC(Y)\) we denote its subfamilies of all bounded subsets of \(Y\) and all convex compact subsets of \(Y\), respectively. A set-valued map \(F:X\rightarrow n(Y)\) is called \(K\)-subadditive if \(F(x_1)+F(x_2) \subset F(x_1+x_2)+K\) for all \(x_1,x_2 \in X\). If \(F\) satisfies \(F(x_1+x_2)\subset F(x_1)+F(x_2)+K\) for all \(x_1,x_2 \in X\), then \(F\) is called \(K\)-superadditive. The set-valued map \(F:X\rightarrow n(Y)\) is called \(K\)-lower semicontinuous at \(x_0\in X\) if for every neighborhood \(W\) of \(0\) in \(Y\) there exists a neighborhood \(U\) of \(0\) in \(X\) such that \[ F(x_0)\subset F(x)+W+K, \ \mbox{ for } x\in x_0+U.\] \(F\) is called \(K\)-upper semicontinuous at \(x_0\) if for every neighborhood \(W\) of \(0\) in \(Y\) there exists a neighborhood \(U\) of \(0\) in \(X\) such that \[ F(x)\subset F(x_0)+W+K, \ \mbox{ for } x\in x_0+U.\] The set-valued map \(F:X\rightarrow B(Y)\) is called: -- Weakly \(K\)-upper bounded on a set \(A\subset X\) if there is \(B\in B(Y)\) such that \[ F(x)\cap (B-K) \not= \emptyset \ \mbox{ for all } \ x\in A;\] -- \(K\)-upper bounded on a set \(A\subset X\) if there is \(B\in B(Y)\) such that \[ F(x)\subset B-K \ \mbox{ for all } x\in A;\] -- Weakly \(K\)-lower bounded on a set \(A\subset X\) if there is \(B\in B(Y)\) such that \[ F(x)\cap (B+K) \not= \emptyset \ \mbox{ for all } \ x\in A;\] -- \(K\)-lower bounded on a set \(A\subset X\) if there is \(B\in B(Y)\) such that \[ F(x)\subset B+K \ \mbox{ for all } x\in A;\] -- Locally (weakly) \(K\)-upper (\(K\)-lower) bounded at \(x\in X\) if it is (weakly) \(K\)-upper (\(K\)-lower, resp.) bounded on some neighborhood of \(x\); -- Locally \(K\) bounded at \(x\in X\) if it is both locally weakly \(K\)-upper bounded and locally \(K\)-lower bounded at \(x\); -- Locally \(K\) bounded on \(X\) if it is locally \(K\)-bounded at each point of \(X\). The following theorems connect the above-described properties. {Theorem.} Let \(X\) be an abelian metric group with an invariant metric, and \(A\subset X\) be a non-null-finite set. Assume that \(Y\) is a locally convex real topological vector space, \(K\) is a semigroup of \(Y\), and \(F:X\rightarrow B(Y)\) is a set-valued map. If one of the following conditions holds: (i) \(F\) is \(K\)-subadditive and weakly \(K\)-upper bounded on \(A\); (ii) \(F\) is \(K\)-superadditive and weakly \(K\)-lower bounded on \(A\). Then for every \(y^*\in K^*\) the functional \(f_{y^*}:X \rightarrow \mathbb{R}\) defined by \(f_{y^*}(x)= \inf y^* (F(x))\) is locally bounded on \(X\). {Theorem.} Let \(X\) be a complete metric space with an invariant metric. Assume that \(Y\) is a real normed space, \(K\) is a convex cone in \(Y\), and \(F:X\rightarrow CC(Y)\) is a set-valued map. If \(F\) is \(K\)-subadditive and for every \(y^*\in K^*\) the functional \(f_{y^*}\) is lower semicontinuous on \(X\), then \(F\) is locally \(K\)-bounded on \(X\).