Una metrica per lo spazio delle funzioni misurabili. (Q2580908)

Es sei \(K\) eine im Lebesgueschen Sinne meßbare Menge des euklidischen Raumes \(E_n\), \(Q\) die Menge der auf \(K\) definierten meßbaren Funktionen. Verf. metrisiert \(Q\) derart, daß er einen vollständigen und separablen Raum gewinnt. Zu diesem Zwecke bestimmt er die Entfernung \(\varphi(f_1, f_2)\) zweier Elemente \(f_1\), \(f_2\) aus \(Q\) folgendermaßen Er legt eine positive Funktion \(F\) mit \(K\) als Definitionsbereich zugrunde, für die das Integral \(\int\limits_K F(x_1, \dots, x_n)\,dx_1 \cdots dx_n\) endlich ist. Jeder meßbaren Menge \(J \subseteqq K\) ordnet er dadurch ein \textit{endliches} Gewicht zu. Es heiße \(\mu(p)\) für \(p \geqq 0\) das Gewicht der Lebesgueschen Menge \([|f_1(z) - f_2(z)| \geqq p]\); \(\mu(p)\) ist eine nicht wachsende Funktion von \(p\). Dann gilt \[ \varphi (f_1, f_2) = \text{ untere Grenze der Werte }\, p \, \text{ mit } \;p - \mu(p) > 0. \]