Properties of \(K\)-additive set-valued maps (Q6052392)

The authors define \(K\)-additive set-valued maps and study their fundamental properties. Let us give some definitions and statements. Definition. Let \(X\) and \(Y\) be commutative monoids and \(K\subset Y\) be a submonoid. Denote by \(n(Y)\) the family of all non-empty subsets of \(Y\). A set-valued map \(F:X\rightarrow n(Y)\) is called \(K\)-subadditive if \[ F(x)+F(y) \subset F(x+y)+K, \quad \quad x,y\in X, \] and \(K\)-superadditive if \[ F(x+y) \subset F(x)+F(y) +K, \quad \quad x,y\in X. \] A map \(F\) is called \(K\)-additive if it is simultaneously \(K\)-subadditive and \(K\)-superadditive. A relation \(=_K\) is defined as \[ A=_K B \Leftrightarrow (A\subset B+K \mbox{ and } B\subset A+K) \] for every \(A,B\in n(Y)\). Definition. Let \(X\) and \(Y\) be uniquely 2-divisible commutative monoids and \(K\subset Y\) be a submonoid. A set-valued map \(F:X\rightarrow n(Y)\) is called \(K\)-Jensen if it is simultaneously \(K\)-midconvex and \(K\)-midconcave, i.e., \[ F\left( \frac{x+y}{2} \right) =_K \frac 12 (F(x)+F(y)), \quad x,y\in X. \] It is easy to see that if \(F\) is \(K\)-additive midconvex-valued map, then \(F\) is \(K\)-Jensen. The converse statement reads: Theorem. Let \(X\) and \(Y\) be uniquely 2-divisible commutative monoids and \(K\subset Y\) be a submonoid. If \(F:X\rightarrow n(Y)\) is a \(K\)-Jensen mid-convex-valued map such that \(0\in F(0) \subset K\), then it is \(K\)-additive. In the next theorem, we denote by \(CC(Y)\) the family of all non-empty compact convex subsets of \(Y\). Also, we say that \(F\) is \(K\)-continuous at \(x_0\in X\), if for every neighborhood \(W\subset Y\) of \(0\) there is a neighborhood \(U\) of \(x_0\) such that \[ F(x)\subset F(x_0) +W+K \quad \mbox{and} \quad F(x_0)\subset F(x)+W+K \] for all \(x\in U\). The relationship between \(K\)-homogeneous and \(K\)-additive set-valued functions is given in the next theorem. Theorem. Let \(X\) and \(Y\) be real vector metric spaces and \(K\) be a closed convex cone in \(Y\) such that \(K \cap (-K) =\{ 0\}\). If \(F:X\rightarrow CC(Y)\) is a \(K\)-continuous and \(K\)-additive set-valued map, then it is \(K\)-homogeneous, i.e., \[ F(tx)=_K tF(x), \quad x\in X, t\geq 0. \] Moreover, if \(F\) is not single-valued, \[ \{ t\in \mathbb{R} \ : \ F(tx)=_K tF(x) \ \mbox{ for }\ x\in X \} =[0,\infty). \] Additional properties of \(K\)-additive set-valued maps are proved in the paper.