Eine Charakterisierung des Lebesgueschen Maßes. (Q2614573)

``Ist \(\mu (M)\) eine für alle Teilmengen des \(R_{n}\) definierte Mengenfunktion mit folgenden Eigenschaften: (1) für jede Menge \(M\) gilt \(\mu (M)\geqq 0\), (2) aus \(M'\subset M\) folgt \[ \mu (M')\leqq \mu (M)\,, \] (3) sind \(A\) und \(B\) zwei fremde abgeschlossene Mengen, so gilt \(\mu(A)+\mu (B)=\mu (A+B)\), (4) ist \(\{A_i\}\) (\(i = 1\), 2,\dots ) eine Folge von abgeschlossenen Mengen, so gilt \[ \mu (\textstyle\sum A_i)\leqq \sum\mu (A_i)\,, \] (5) für die abgeschlossenen \(n\)-dimensionalen Intervalle \(I\) ist \(\mu (I)\) der elementargeometrische Inhalt, -- dann gilt für jede im \textit{Lebesgue}schen Sinne meßbare Menge \(M\), wenn \(\mu _L(M)\) ihr \textit{Lebesgue}sche Maß bezeichnet, \(\mu (M)=\mu _L(M)\).''