Order versions of the Hahn-Banach theorem and envelopes. II: Applications to function theory (Q2047418)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Order versions of the Hahn-Banach theorem and envelopes. II: Applications to function theory |
scientific article |
Statements
Order versions of the Hahn-Banach theorem and envelopes. II: Applications to function theory (English)
0 references
20 August 2021
0 references
Given a Banach space \(X\), one denotes by \(\operatorname*{Conv}(X)\) the cone of all extended real-valued lower semicontinuous proper convex functions defined on \(X\). The main results of the paper under review are as follows: Theorem 1.6 asserts that there is a fully order-reversing mapping from \(\operatorname*{Conv}(X)\) onto itself if and only if \(X\) is reflexive and linearly isomorphic to its dual \(X^{\ast}\); Theorem 1.7 is a generalization of the Artstein-Avidan-Milman representation theorem [\textit{S. Artstein-Avidan} and \textit{V. Milman}, Ann. Math. (2) 169, No. 2, 661--674 (2009; Zbl 1173.26008)]: For every fully order-reversing mapping \(S:\operatorname*{Conv}(X)\rightarrow\operatorname*{Conv}(X)\) there exist a linear isomorphism \(U:X\) \(\rightarrow\) \(X^{\ast},\) two functionals \(x_{0}^{\ast},\) \(\varphi_{0}\in X^{\ast}\), and real numbers \(\alpha>0\) and \(r_{0}\in\mathbb{R}\) such that \((Sf)(x)=\alpha(\mathcal{F}f)(Ux+x_{0}^{\ast })+\langle\varphi_{0},x\rangle+r_{0}\) for all \(x\in X\) and \(f\in \operatorname*{Conv}(X)\); here, \(\mathcal{F}:\operatorname*{Conv} (X)\rightarrow\operatorname*{Conv}(X^{\ast})\) is the Legendre-Fenchel transform. The paper also includes similar results for three important cones of extended real-valued lower semicontinuous convex functions: cones of sublinear functions, of Minkowski functionals, and of seminorms on~\(X\).
0 references
vector lattice
0 references
Hahn-Banach theorem
0 references
projective limit
0 references
(pluri)subharmonic function
0 references
holomorphic function
0 references
zero subset
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references