Computability of the Radon-Nikodym derivative

dc.contributor.author	Hoyrup, Mathieu
dc.contributor.author	Rojas, Cristóbal
dc.contributor.author	Weihrauch, Klaus
dc.date.accessioned	2014-01-29T15:19:56Z
dc.date.accessioned	2016-05-25T05:58:11Z
dc.date.available	2014-01-29T15:19:56Z
dc.date.available	2016-05-25T05:58:11Z
dc.date.issued	2011
dc.description	Pre-print	es
dc.description.abstract	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.	es
dc.identifier.citation	Datos de contacto: cristobal.rojas@unab.cl	es
dc.identifier.uri	http://repositorio.unab.cl/xmlui/handle/ria/2350
dc.language.iso	en_US	es
dc.publisher	Pre-print	es
dc.subject	Computational	es
dc.subject	Radon-Nokodym	es
dc.subject	Theorem	es
dc.subject	Functions	es
dc.subject	Non-computable	es
dc.title	Computability of the Radon-Nikodym derivative	es
dc.type	Artículo	es

Mostrando 1 - 1 de 1

Mostrando 1 - 2 de 2