In this paper,we first show that for a Banach space X,there is a fully order-reversing mapping T from conv(X)(the cone of all the extended real-valued lower semicontinuous proper convex functions defined on X)onto its...In this paper,we first show that for a Banach space X,there is a fully order-reversing mapping T from conv(X)(the cone of all the extended real-valued lower semicontinuous proper convex functions defined on X)onto itself if and only if X is reflexive and linearly isomorphic to its dual X^(*).Then we further prove the following generalized Artstein-Avidan-Milman representation theorem:For every fully order-reversing mapping T:conv(X)→conv(X),there exist a linear isomorphism U:X→X^(*),x_(0)^(*),φ_(0)∈X^(*),α>0 and r_0∈R so that(Tf)(x)=α(Ff)(Ux+x_(0)^(*))+<φ_(0),x>+r_(0),■x∈X where T:conv(X)→conv(X^(*))is the Fenchel transform.Hence,these resolve two open questions.We also show several representation theorems of fully order-preserving mappings defined on certain cones of convex functions.For example,for every fully order-preserving mapping S:semn(X)→semn(X),there is a linear isomorphism U:X→X so that(Sf)(x)=f(Ux),■f∈semn(X),x∈X where semn(X)is the cone of all the lower semicontinuous seminorms on X.展开更多
In this paper,we establish a characterization of the polarity mapping for convex bodies for 1-dimensional convex bodies,which is a supplement to the result for such a characterization obtained by B?r?czky and Schneider.
基金supported by National Natural Science Foundation of China(Grant Nos.11731010 and 11371296)。
文摘In this paper,we first show that for a Banach space X,there is a fully order-reversing mapping T from conv(X)(the cone of all the extended real-valued lower semicontinuous proper convex functions defined on X)onto itself if and only if X is reflexive and linearly isomorphic to its dual X^(*).Then we further prove the following generalized Artstein-Avidan-Milman representation theorem:For every fully order-reversing mapping T:conv(X)→conv(X),there exist a linear isomorphism U:X→X^(*),x_(0)^(*),φ_(0)∈X^(*),α>0 and r_0∈R so that(Tf)(x)=α(Ff)(Ux+x_(0)^(*))+<φ_(0),x>+r_(0),■x∈X where T:conv(X)→conv(X^(*))is the Fenchel transform.Hence,these resolve two open questions.We also show several representation theorems of fully order-preserving mappings defined on certain cones of convex functions.For example,for every fully order-preserving mapping S:semn(X)→semn(X),there is a linear isomorphism U:X→X so that(Sf)(x)=f(Ux),■f∈semn(X),x∈X where semn(X)is the cone of all the lower semicontinuous seminorms on X.
基金Supported in part by the Natural Science Foundation of Hunan Province(2021JJ30235)the Scientific Research Fund of Hunan Provincial Education Department(21B0479)Postgraduate Scientific Research Innovation Project of Hunan Province(QL20220228)。
文摘In this paper,we establish a characterization of the polarity mapping for convex bodies for 1-dimensional convex bodies,which is a supplement to the result for such a characterization obtained by B?r?czky and Schneider.