Computability of the Radon-Nikodym derivative
Cargando...
Archivos
Fecha
2011
Profesor/a Guía
Facultad/escuela
Idioma
en_US
Título de la revista
ISSN de la revista
Título del volumen
Editor
Pre-print
Nombre de Curso
Licencia CC
Licencia CC
Resumen
We study the computational content of the Radon-Nokodym theorem from measure theory in
the framework of the representation approach to computable analysis. We define computable measurable spaces and canonical representations of the measures and the integrable functions on such spaces. For functions f, g on represented sets, f is W-reducible to g if f can be computed by applying the function g at most once. Let RN be the Radon-Nikodym operator on the space under consideration and let EC be the non-computable operator mapping every enumeration of a set of natural numbers to its characteristic function. We prove that for every computable measurable space, RN is W-reducible to EC, and we construct a computable measurable space for which EC is W-reducible to RN.
Notas
Pre-print
Palabras clave
Computational, Radon-Nokodym, Theorem, Functions, Non-computable
Citación
Datos de contacto: cristobal.rojas@unab.cl