Metric separability and outer integrals. (Q2586396)

Zwei gegebene ebene Punktmengen \(\mathfrak M_1\), \(\mathfrak M_2\), welche endliches äußeres Maß \(m^*\) besitzen, heißen metrisch separabel, wenn das äußere Maß ihrer Summe gleich ist der Summe ihrer äußeren Maße. Eine reelle Funktion \(f(P)\) mit \(P\in\mathfrak M\) heiße metrisch separabel in \(\mathfrak M\), wenn für jedes reelle \(\lambda\) die Urbildmengen \(\underset {P} E(f(P)> \lambda)\) und \(\underset {P} E(f(P)\leqq\lambda)\) metrisch separabel sind. Als Oberintegral \(\int\limits_{\mathfrak M}^* f(P) dm^*\) bezeichne man den Limes der Summen \(\sum\limits_\nu a_\nu m^* \left(\underset {P} E(a_\nu\leqq f(P) < a_{\nu+1})\right)\), falls dieser Limes unabhängig von den benutzten Einteilungen existiert; dabei ist \(f(P)\) als beschränkt, aber nicht notwendig als meßbar angenommen. Es wird für den Fall des linearen Carathéodory- oder Gillespie-Maßes \(L\) bei ebenen Mengen gezeigt: 1. Es sei \(L^*(\mathfrak M)\) endlich, und es werde \(\mathfrak M'=\mathfrak M+\varGamma(\mathfrak M)\) gesetzt, wo \(\varGamma(\mathfrak M)\) die Menge aller Punkte des Komplements von \(\mathfrak M\) bezeichnet, in welchen \(\mathfrak M\) positive obere äußere Dichte besitzt. Ist \(f(P)\) beschränkt und metrisch separabel in \(\mathfrak M\), so existiert eine in \(\mathfrak M'\) meßbare Funktion \(\varPhi(P)\) mit \(\varPhi(P) =f(P)\) für \(P\in\mathfrak M\) und mit \(\int\limits_{\mathfrak M'} \varPhi(P)dL(\mathfrak M')= \int\limits_{\mathfrak M}^* f(P)dL^*(\mathfrak M)\) (das Integral rechterhand existiert also). 2. Es seien \(\mathfrak M_1\), \(\mathfrak M_2\) je von endlichem äußerem Maß derart, daß kein positives äußeres Maß besitzender, Teil der einen metrisch separabel ist zur anderen. Ist dann \(f(P)>0\), beschränkt und metrisch separabel in \(\mathfrak M_1\) und in \(\mathfrak M_2\), dann existiert \(\int\limits_{\mathfrak M_1+\mathfrak M_2}^* f(P)dL^*\). (Bezüglich anderer Maße vgl. \textit{Jeffery}, Ann. Math., Princeton, (2) 33 (1932), 443-559; F. d. M. \(58_{\text I}\), 252).