First order tameness of measures (Q714724): Difference between revisions

This paper develops a framework for measure theory and integration in the setting of an o-minimal expansion of the real field, \(M\) say. The author takes as a starting point a result due to \textit{G. Comte} et al. [Ill. J. Math. 44, No. 4, 884--888 (2000; Zbl 0982.32009)], but this is viewed a property of the measure. So a measure \(\mu\) is said to be \(M\)-\textit{tame} if this result holds for \(M\)-definable functions when \(\mu\) is taken in place of Lebesgue measure. More precisely, a Borel measure \(\mu\) on \(\mathbb R^n\) is \(M\)-tame if there is an o-minimal expansion \(M'\) of \(M\) such that for any \(M\)-definable family of functions on \(\mathbb R^n\) the family obtained by integrating with respect to \(\mu\) is definable in \(M'\). With this definition, the result of Comte et al. [loc. cit.] says that for positive integers \(n\) the Lebesgue measure on \(\mathbb R^n\) is \(\mathbb R_{\text{an}}\)-tame. The paper gives further examples of tame measures and various variations on the definition, and then goes on to prove versions of classical theorems, such as the Radon-Nikodym theorem.