×

Computability of the Radon-Nikodym derivative. (English) Zbl 1277.03043

In this paper the authors study the Radon-Nikodym theorem from a computational perspective. To achieve this aim, they define computable measurable spaces and canonical representations of the measures and of integrable functions on such spaces. Using these tools, they show that the Radon-Nikodym operator is non-computable and characterize the degree of non-computability through the use of Weihrauch reducibility.

MSC:

03D78 Computation over the reals, computable analysis
28B05 Vector-valued set functions, measures and integrals