Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userComputability of the Radon-Nikodym derivative
136
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic 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.
rate research
Read More
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 algebra. 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 vector 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 characterizations. 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.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
