Effectivizing Lusin's Theorem

DOI10.4115/JLA.2022.14.3MaRDI QIDQ6323801arXivFDO

Authors Russell Miller

Publication date 17 August 2019

Published in arXiv

Full work available at URL https://doi.org/10.4115/JLA.2022.14.3

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Applications of computability and recursion theory (03D80) Descriptive set theory (03E15) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Classification of real functions; Baire classification of sets and functions (26A21)

arXiv classification

math.LO

Abstract: Lusin's Theorem states that, for every Borel-measurable function $$ on $mathbbR$ and every $epsilon>0$, there exists a continuous function $$ on $mathbbR$ which is equal to $$ except on a set of measure $<epsilon$. We give a proof of this result using computability theory, relating it to the near-uniformity of the Turing jump operator, and use this proof to derive several uniform computable versions. Easier results, which we prove by the same methods, include versions of Lusin's Theorem with Baire category in place of Lebesgue measure and also with Cantor space $2^{mathbbN}$ in place of $mathbbR$. The distinct processes showing generalized lowness for generic sets and for a set of full measure are seen to explain the differences between versions of Lusin's Theorem.

This page was built for publication: Effectivizing Lusin's Theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6323801)