ترغب بنشر مسار تعليمي؟ اضغط هنا

Computability of the Radon-Nikodym derivative

124   0   0.0 ( 0 )
 نشر من قبل Klaus Weihrauch
 تاريخ النشر 2011
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

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.



قيم البحث

اقرأ أيضاً

59 - F. Gomez-Cubillo 2020
Admissible vectors lead to frames or coherent states under the action of a group by means of square integrable representations. This work shows that admissible vectors can be seen as weights with central support on the (left) group von Neumann algebr a. The analysis involves spatial and cocycle derivatives, noncommutative $L^p$-Fourier transforms and Radon-Nikodym theorems. Square integrability confine the weights in the predual of the algebra and everything may be written in terms of a (right selfdual) bounded element.
We clarify the relation between inverse systems, the Radon-Nikodym property, the Asymptotic Norming Property of James-Ho, and the GFDA spaces introduced in our earlier paper on differentiability of Lipschitz maps into Banach spaces.
If $mu_1,mu_2,dots$ are positive measures on a measurable space $(X,Sigma)$ and $v_1,v_2, dots$ are elements of a Banach space ${mathbb E}$ such that $sum_{n=1}^infty |v_n| mu_n(X) < infty$, then $omega (S)= sum_{n=1}^infty v_n mu_n(S)$ defines a vec tor measure of bounded variation on $(X,Sigma)$. We show ${mathbb E}$ has the Radon-Nikodym property if and only if every ${mathbb E}$-valued measure of bounded variation on $(X,Sigma)$ is of this form. As an application of this result we show that under natural conditions an operator defined on positive measures, has a unique extension to an operator defined on ${mathbb E}$-valued measures for any Banach space ${mathbb E}$ that has the Radon-Nikodym property.
We investigate the effectivizations of several equivalent definitions of quasi-Polish spaces and study which characterizations hold effectively. Being a computable effectively open image of the Baire space is a robust notion that admits several chara cterizations. We show that some natural effectivizations of quasi-metric spaces are strictly stronger.
Algorithmic randomness theory starts with a notion of an individual random object. To be reasonable, this notion should have some natural properties; in particular, an object should be random with respect to image distribution if and only if it has a random preimage. This result (for computable distributions and mappings, and Martin-Lof randomness) was known for a long time (folklore); in this paper we prove its natural generalization for layerwise computable mappings, and discuss the related quantitative results.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا