The Hahn-Banach theorem for partially ordered totally convex, positively convex and superconvex modules (Q698055): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 10:54, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Hahn-Banach theorem for partially ordered totally convex, positively convex and superconvex modules |
scientific article |
Statements
The Hahn-Banach theorem for partially ordered totally convex, positively convex and superconvex modules (English)
0 references
18 September 2002
0 references
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.
0 references
Hahn-Banach theorem
0 references
partially ordered modules
0 references