Abstract:For a computable measure space with computable σ-finite measure we study computability on the space of measurable functions. First we prove that for a natural multi-representation finite union and intersection and countable union are computable. We introduce a natural multi-representation of the measurable functions to a computable topological space and prove that composition with continuous functions is computable. Canonically, for a computable metric space the associated computable topological space has a basis of balls B(a,s) with center from the dense set and rational radius. From a given sequence (μk)k of finite Borel measures we can compute a dense sequence (rj)j of radii such that μk(S)=0 for all k and all spheres S=S(a,rj) with a from the dense set and j∈N. For measurable functions to computable compact computable metric spaces the natural multi-representation is equivalent to a multi-representation via fast uniformly converging sequences of simple functions. For non-negative measurable numerical functions the sequences can be chosen to be non-decreasing. Some results on integration are added.

THE REPRESENTATION OF MEASURABLE FUNCTIONS BY SERIES

Lp Computable Functions and Fourier Series

Computability on measurable functions

A Realization of Measurable Sets as Limit Points

Positive positive-definite functions and measures on locally compact abelian groups

On the Lebesgue measure of one generalised set of subsums of geometric series

Representations of Real Numbers by Alternating Perron Series and Their Geometry

Rearrangements, arrangements of signs, and convergence of sequences of operators

Complete Convergence of Measurable Function

Unimodality preservation by ratios of functional series and integral transforms

Non-linear functionals, deficient topological measures, and representation theorems on locally compact spaces

A Result on Convergence of Double Sequences of Measurable Functions

Rearrangement and Convergence in Spaces of Measurable Functions

Functional measures associated to operators

Bounded Power Series on the Real Line

Remarks on convergence of sequences of measurable functions

The inverse and the composition in the set of formal Laurent series

On the convergence of measurable set-valued function sequence on fuzzy measure space

Measures by means, means by measures

Measurable functions on charge spaces