A metric for the space of measurable functions. (Q572477)

Verf. gibt für den Raum der meßbaren Funktionen eine Metrik an, die der Dreiecksbedingung genügt, quasi-homogen ist, und für welche der Raum vollständig wird. Eine meßbare komplexwertige Funktion \(f(x)\) der reellen Variablen \(x\), \(-\infty < x <\infty\), soll zum Raum \(M\) gehörig heißen, wenn die untere Grenze \(l(f)\) aller reellen Zahlen, für die \[ \text{Maß} \;\{|f(x)|>\varepsilon\}\leqq \varepsilon \] ist, endlich ist. Diese Zahl \(l(f)\), als Betrag von \(f\) genommen, genügt der Dreiecksbedingung \(l(f+ g) \leqq l(f) + l(g)\) und besitzt ``Quasihomogenität'': Es ist \(l (af)\leqq |a|l(f)\), wenn \(|a|\geqq 1\). In dieser Metrik ist \(M\) vollständig, und jeder Raum \(L_p\), definiert durch die Metrik \[ \begin{aligned} l^{(p)}(f)=& \left\{\int\limits_{-\infty}^\infty |f(x)|^pdx\right\}^{\frac1p}\qquad (1\leqq p<\infty),\\ l^{(\infty)}(f)=& \;\text{Untere Grenze Maß} \;\{|f(x)|>\varepsilon\} = 0 \end{aligned} \] ist in \(M\) enthalten.