A Striktpositivstellensatz for measurable functions (corrected version)

A weighted sums of squares decomposition of positive Borel measurable functions on a bounded Borel subset of the Euclidean space is obtained via duality from the spectral theorem for tuples of commuting self-adjoint operators. The analogous result for polynomials or certain rational functions was amply exploited during the last decade in a variety of applications.