An axiomatic characterization of \(L_p\)-spaces. (Q2587259)

Es handelt sich um folgende lineare Räume: a) \( l_{p,n}\), \(l_{p,\infty}\) (\(1 \leqq p < \infty\)) mit der Norm \(\| x \| = (\sum |\xi_n|^p)^{\tfrac 1p}\) von der Dimension \(n\) bzw. \(\infty\), b) \(L_p\) (\(1 \leqq p < \infty\)), c) die direkten Summen von Räumen a) oder b) mit derselben Zahl \(p\), d) \(l_{\infty, n}\), den \(R_n\) mit der Metrik \(\| x\| = \max(|\xi_n|)\), e) den Raum der gegen 0 konvergenten Folgen. Diese Räume sind separabel, normiert, vollständig und teilweise geordnet im Sinne von \textit{L. Kantorowitch} (Rec. math., Moscou, (2) 2 (1937), 121-165; F. d. M. \(63_{\text{I}}\), 353) und haben die Eigenschaft \(P\): sind \(a\) und \(b\) zwei Elemente, die als Summe zweier orthogonalen Elemente darstellbar sind, \(a = a_1 + a_2\), \(|a_1| \frown |a_2| =0 \); \(b= b_1+ b_2\), \(|b_1| \frown |b_2| = 0\) (\(| a |\) bedeutet den Betrag im Sinn der Ordnung, also z. B. \(| a | = (| a_1 |, | a_2|,\dots \)) im Fall a, c, d, e; \(a \frown b\) ist der Durchschnitt im Sinne des Verbandes), so daß, wenn \(\| a_1 \| = \|b_1 \|\) und \(\|a_2 \| = \| b_2 \|\) ist, \(\| a \| = \| b \|\) ist. Es wird nun bewiesen, daß umgekehrt jeder lineare Raum mit den angegebenen Eigenschaften eineindeutig, normtreu und anordnungstreu einem der fünf Typen äquivalent ist. Zum Beweis wird eine Funktionalgleichung für die Funktion \(f(\xi, \eta) = (\xi^p + \eta^p)^{\tfrac 1p}\) aufgestellt und werden verbandstheoretische Methoden herangezogen, die teilweise auf \textit{H. Freudenthal} (Proc. Akad. Wet. Amsterdam 39 (1936), 641-651; F. d. M. \(62_{\text{I}}\), 91) zurückgehen.