Sur l'intégrale définie et la mesure des ensembles. (Q1461611)

Bekanntlich ist bei \(f (x)\geqq 0\) das Lebesguesche Integral \( \int _a^bf (x)\,dx = \text{dem}\) zweidimensionalen Lebesgueschen Maße der zu \(f (x)\) gehörigen ``Ordinatenmenge'' \[ a<x<b,\quad 0<y<f (x). \] Verf. gibt den nicht tief liegenden Satz, daß das Maß \(M\) jeder zweidimensional meßbaren Menge \(E\) durch ein derartiges eindimensionales Integral dargestellt werden kann. Es ist nämlich, wie leicht zu sehen, \(E\) auf fast jeder vertikalen Geraden linear meßbar, und, wenn \(m(x)\) das zur Vertikalen der Abszisse \(x\) gehörige lineare Maß bezeichnet, \[ M=\int _{-\infty }^\infty m(x)\,dx. \]