Further remarks on local \(K\)-boundedness of \(K\)-subadditive set-valued maps (Q6185257)
From MaRDI portal
scientific article; zbMATH DE number 7784698
Language | Label | Description | Also known as |
---|---|---|---|
English | Further remarks on local \(K\)-boundedness of \(K\)-subadditive set-valued maps |
scientific article; zbMATH DE number 7784698 |
Statements
Further remarks on local \(K\)-boundedness of \(K\)-subadditive set-valued maps (English)
0 references
8 January 2024
0 references
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\).
0 references
K-subadditivity
0 references
K-superadditivity
0 references
set-valued map
0 references
upper semicontinuous function
0 references
lower semicontinuous function
0 references
null-finite set
0 references
Haar-null set
0 references
Haar-Meager set
0 references
K-boundedness
0 references
0 references