Linear metric Lebesgue spaces. (Q2612342)

Verf. führt eine neue Art von Funktionalräumen ein, die einen großen Teil der bisher betrachteten einbegreifen. Die Elemente dieser Räume sind die komplexwertigen meßbaren Funktionen der reellen Variablen \(x\), \(- \infty < x < \infty\), für die die Entfernung \(l_{\varphi,\psi} (f)\), definiert durch die untere Grenze aller positiven Zahlen \(\varepsilon\), für die die Ungleichung \[ \int\varphi\left( \frac{|f(x)|}\varepsilon\right) \,dx \leqq \psi(\varepsilon) \] gilt, eine endliche Zahl ist. Dabei müssen die beiden Metrikfunktionen \(\varphi (u)\), \(\psi (u)\) gewissen Bedingungen genügen: Sie sind für \(0 \leqq u \leqq\infty\) bzw. \(0 < u < \infty\) definiert, durchweg nicht negativ und nicht abnehmend und können auch den Wert \(\infty\) annehmen. Sie genügen ferner für \(0<s\), \(0 < t\), \(s + t = 1\), \(0\leqq u < \infty\), \(0 \leqq v < \infty\), \(0 < w < \infty\) der Ungleichung \[ \psi (sw) \psi (tw) \varphi (su + tv) \leqq \psi (w) \{s \psi (tw) \varphi (u) + t \psi (sw) \varphi (v)\}. \] Um einige ausgeartete Metriken auszuschließen, wird ohne weitere Beschränkung der Allgemeinheit noch vorausgesetzt, daß \[ \varphi(0) = 0,\quad \varphi(1) = 1,\quad \varphi(\infty) = \lim_{n\to\infty} \varphi(u)\quad \text{und}\quad 0 < \psi(1) < \infty \] ist. Anschließend an diese Definitionen zeigt Verf., daß diese Räume alle wichtigeren bisher untersuchten Funktionalräume subsumieren, daß sie alle vollständige, lineare, metrische Räume sind, und daß die zugleich notwendige und hinreichende Bedingung für ihre Separabilität die zusätzliche Eigenschaft \((S)\) ist, welche besagt: Es ist \(\varphi (0+) = 0\) und \(0 < \psi(u) < \infty\) für \(0 < u < \infty\), und es existiert eine Konstante \(C\), \(1\leqq C<\infty\), derart, daß durchweg \(\varphi (2u) \leqq C \varphi(u)\) ist. Verf. verspricht, in zwei weiteren Abhandlungen auf die Räume \(L_{\varphi,\psi}\) zurückzukommen und insbesondere gewisse Konvexitätsrelationen und die linearen Funktionale in diesen Räumen zu behandeln.