Computable randomness and monotonicity
We show that is computably random if and only if every computable monotone function on is differentiable at .
Source author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We show that z∈Rn is computably random if and only if every computable monotone function on Rn is differentiable at z.
We present two theorems concerned with algorithmic randomness and differentiability of functions of several variables. Firstly, we prove an effective form of the Rademacher's Theorem: we show that computable randomness implies differentiability of computable Lipschitz functions of several variables. Secondly, we show that weak 2-randomness is equivalent to differentiability of computable a.e. differentiable functions of several variables.
This report consists of two parts. The first part is a brief exposition of classical descriptive set theory. This part introduces some fundamental concepts, motivations and results from the classical theory and ends with a section on the important result of Addison that established the correspondence between classical and effective notions. The second part is about invariant descriptive set theory. It consists of a brief introduction to notions relevant to this branch of descriptive set theory and then describes in details some of the relatively recent results concerning equivalence relations between Polish metric spaces.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.