Cones locally isomorphic to the positive cone of \(\ell _ 1(\Gamma)\) (Q1822007): Difference between revisions

Let \(X\) be a Banach space, ordered by an infinite-dimensional closed cone \(P\). Definition: The cone \(P\) has the continuous projection property (C.P.P) if the existence of an extremal point \(x_ 0\) of \(P\) implies the existence of a continuous positive projection \(P_{x_ 0}\) of \(X\) onto the one-dimensional subspace \([x_ 0]\) with the property: \(P_{x_ 0}(x)\leq x\), \(\forall x\in P\). If the cone P is generating, i.e. \(X=P-P\), then the Riesz decomposition property implies the C.P.P. It is assumed that the cone \(P\) has the C.P.P. and it is proved that the statements (i) and (ii) below are equivalent. If moreover \(P\) has the Krein-Milman (resp. the Radon-Nikodým) property then it is proved that the statements (i) to (iv), (resp. all the statements) below are equivalent: (i) \(P\) is locally-isomorphic to \(\ell_ 1^+(\Gamma)\) (ii) \(P\) has a closed and bounded base with the Krein-Milman property. (iii) \(\text{sep}(P)\neq \emptyset\) for at least one base \(B\) for \(P\) which is defined by a continuous linear functional of \(X\) (iv) \(0\in\text{sep}(P)\) (v) there exists a dentable base \(B\) for \(P\) which is defined by a continuous linear functional of X (vi) \(P\) is dentable (vii) \(\text{sep}(K)\neq\emptyset\) for each closed and convex subset \(K\) of \(P\).