The Hahn-Banach theorem for partially ordered totally convex, positively convex and superconvex modules (Q698055)

Let \(C\) be a partially ordered convex module and let \(\widehat{O}^{\circ }\left( \mathbf{R}\right) \) be the partially ordered convex module associated to the unit ball \(O^{\circ}\left( \mathbf{R}\right) \) \(=\left\{ x\in\mathbf{R}:\left|x\right|\leq 1\right\} .\) Let \(p:C\rightarrow\) \(\widehat{O}^{\circ}\left( \mathbf{R}\right) \) be a sublinear mapping. If \(C_{0}\) is a submodule of \(C\) and \(f:C_{0}\rightarrow\) \(\widehat{O}^{\circ }\left( \mathbf{R}\right) \) is a morphism, then the following assertions are equivalent: (i) there exists a morphism \(\Phi:C\rightarrow\) \(\widehat {O}^{\circ}\left( \mathbf{R}\right) \) such that \(\Phi|_{C_{0}}=f\) and \(-p\left( -x\right) \leq\Phi\left( x\right) \leq p\left( x\right) \), \(\forall x\in C,\) and (ii) for \(y_{0}\in C_{0}\), \(x\in C\), \(y_{0}\leq x\) implies \(f\left( y_{0}\right) \leq p\left( x\right) \) (the Hahn-Banach extension theorem). The author also considers the categories of partially ordered positively convex and superconvex modules and transposes and proves the Hahn-Banach theorem in this framework.