Cones locally isomorphic to the positive cone of \(\ell _ 1(\Gamma)\) (Q1822007)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cones locally isomorphic to the positive cone of \(\ell _ 1(\Gamma)\) |
scientific article |
Statements
Cones locally isomorphic to the positive cone of \(\ell _ 1(\Gamma)\) (English)
0 references
1986
0 references
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\).
0 references
Radon-Nikodým property
0 references
continuous projection property
0 references
existence of an extremal point
0 references
Krein-Milman property
0 references
dentable
0 references