The spaces \(L^p\) with \(0 < p < 1\). (Q2587260)

\(E\) sei eine meßbare Menge im \(R_n\), \(L^q (E)\) der Raum der reellwertigen meßbaren Funktionen \(f\) auf \(E\) mit \(\int\limits_E |f |^q < \infty\). Ist \(0 < q < 1\), so wird \(L^q (E)\) durch \[ \|f\| = \left(\int\limits_E |f |^q\right)^{\tfrac 1q} \] nicht metrisch, wohl aber wird \(L^q(E)\) durch die Umgebungen \(\|f - f_0\| < \varepsilon \) zu einem linearen topologischen Raum. Es wird bewiesen, daß es außer der Null kein lineares Funktional auf \(L^q (E)\) gibt. Dies ergibt sich im Rahmen einer allgemeinen Untersuchung: \(Y\) sei eine Menge von Elementen \(y, \mathfrak X\) sei eine additive Familie von Teilmengen von \(Y\), \(\mu\) sei eine additive Mengenfunktion auf \(\mathfrak X\). \(L^p_\mu (Y)\) sei die Menge der reell-wertigen, \(\mathfrak X\)-meßbaren Funktionen \(f\) auf \(Y\) mit \(\| f \|_p = (\int\limits_Y |f |^p\,d\mu)^{\tfrac 1p} <\infty\). Für alle diese \(L^p_\mu (Y)\) mit \(0< p< 1\) werden ebenfalls die linearen Funktionale aufgestellt. Dann und nur dann gibt es im Fall \(\mu (Y) < \infty\) keine, wenn es keine Menge \(E \in \mathfrak X\) gibt mit \(0 < \mu (E) < \infty\) und \(\mu (E\cdot E^\prime) = 0\) oder \(\mu (E - E^\prime) = 0 \) für jedes \(E^\prime \) in \(\mathfrak X\). Mengen \(E\) mit dieser Eigenschaft kann es bis auf Verschiedenheit vom Maß Null höchstens abzählbar viele, \(E_i\), geben, falls \(\mu(Y) < \infty\) ist. Sei \(b_i = \mu (E_i)\), und sei \(\bar{f}_i\) der Wert der meßbaren Funktion \(f\) fast überall auf \(E_i\). Jedes lineare Funktional auf \(L^p_\mu (Y)\) hat dann die Form \(U(f) = \sum\limits_i u_i \bar{f}_i\), mit \(\| U \| = \sup\limits_i |u_i| b_i^{-1/p}\). Sind \(u_i\) mit \(| u_i| < Kb_i^{1/p}\) gegeben, so ist \(U(f) = \sum\limits_i u_i \bar{f}_i\) ein lineares Funktional. Ähnliche Ergebnisse im Fall \(\mu (Y) = \infty\).