Sur la décomposition des fonctionnelles en composantes positives. (Q2591611)

\(E\) sei ein Banachraum, \(K\) eine Teilmenge von \(E\), die 1) mit \(x\) und \(y\) auch \(x + y\) enthält, 2) mit \(x\) auch \(\lambda x\) für jedes \(\lambda > 0\) enthält, 3) mit \(x\neq 0\) nicht \(-x\) enthält. \(E\) wird teilweise geordnet, wenn man \(x < y\) durch \(y - x \in k\) erklärt. Der konjugierte Raum \(E^*\) ist teilweise geordnet, wenn man \(g<f\) setzt, wenn \(g(x) \leqq f(x)\) für \(x> 0\). \(K\) erfüllt die Bedingung \(C\), wenn aus \(y< x < z\), \(|y| \leqq 1\), \(|z|\leqq 1\) folgt, daß \(|x|\leqq C\) ist. Ein Funktional \(f\) aus \(E^*\) gestattet eine \(C\)-Zerlegung, wenn \(f=g-h\) ist, \(g\), \(h \in E^*\), \(g \geqq 0\), \(h \geqq 0\), \(|g|+|h| \leqq C|f|\). Es gilt nun: \(K\) erfülle 1), 2), 3). Dann und nur dann gestattet jedes \(f\in E^*\) eine \(C\)-Zerlegung, wenn \(K\) die Bedingung \(C\) erfüllt. Als Anwendung wird gezeigt: \(K\in E\) erfülle 1), 2), 3). Dafür daß \(E\) einem Teilraum des Raumes aller in \([0,1]\) stetigen Funktionen ähnlich-isomorph ist, ist notwendig und hinreichend, daß \(E\) separabel ist und daß \(K\) für ein \(C \geqq 1\) die Bedingung \(C\) erfüllt.