Osservazioni sulla misurabilità secondo Carathéodory. (Q2590765)

Nach \textit{Carathéodory} (vgl. Vorlesungen über reelle Funktionen, 2. Aufl. (1927; F. d. M. 53, 225 (JFM 53.0225.*)), S. 246) heißt eine Punktmenge \(A\) des Raumes \(R\) in bezug auf eine gegebene Maßfunktion \(T(A)\) meßbar, wenn für jede willkürliche Punktmenge \(W \subset R\) von endlichem äußerem Inhalt die Gleichung \[ T(W) = T(AW) + T(W - AW) \tag{1} \] erfüllt ist; \(AW\) bedeutet dabei, wie üblich, den Durchschnitt der Punktmengen \(A\) und \(W\), \(W - AW\) die zu \(AW\) komplementäre Teilmenge von \textit{W.} Nach \textit{Tonelli} (Ist. Lombardo Sci. Lett., Rend., Cl. Sci. mat. natur. (2) 41 (1908), 773-778; F. d. M. 39, 459 (JFM 39.0459.*)) heißt \(A\) in bezug auf \(T(A)\) meßbar, wenn für jede zu \(A\) fremde Punktmenge \(X \in R\) die Beziehung \[ T(A)+T(X)=T(A+X) \tag{2} \] gilt. Verf. zeigt nun, daß für jede reguläre Maßfunktion \(T(A)\) (vgl. \textit{Carathéodory}, a. a. O., S. 258) und für jede Punktmenge \(A\) von endlichem äußerem Maß die Definitionen (1) und (2) äquivalent sind, daß dies aber bei unendlichem äußerem Maß nicht zutrifft; er gibt nämlich ein Beispiel einer Menge \(A\) von unendlichem äußerem Maß an, die zwar nach \textit{Tonelli}, aber nicht nach \textit{Carathéodory} meßbar ist.