Euler integration over definable functions

Abstract

We extend the theory of Euler integration from the class of constructible functions to that of "tame" R-valued functions (definable with respect to an o-minimal structure). The corresponding integral operator has some unusual defects (it is not a linear operator); however, it has a compelling Morse-theoretic interpretation. In addition, it is an advantageous setting in which to integrate in applications to diffused and noisy data in sensor networks.