Convergence of conditional expectations
We give a definition of uniform PU-integrability for a sequence of -measurable real functions defined on an abstract metric space and prove that it is not equivalent to the uniform -integrability.
Answering a question of Kłopotowski, Nadkarni, Sarbadhikari, and Srivastava, we characterize the Borel sets S ⊆ X × Y with the property that every Borel function f: S → ℂ is of the form f(x,y) = u(x) + v(y), where u: X → ℂ and v: Y → ℂ are Borel.
We prove a classification theorem of the “Glimm-Effros” type for Borel order relations: a Borel partial order on the reals either is Borel linearizable or includes a copy of a certain Borel partial order which is not Borel linearizable.
In the paper (n,2)-sets have full Hausdorff dimension, appeared in Rev. Mat. Iberoamericana 20 (2004), 381-393, the author claimed that an (n,2)-set must have full Hausdorff dimension. However, as pointed out by Terence Tao and John Bueti, the proof contains an error.
We consider a complete metric space (X, d) and a countable number of contraction mappings on X, F = {F i: i ∈ ℕ}. We show the existence of a smallest invariant set (with respect to inclusion) for F. If the maps F i are of the form F i(x) = r i x + b i on X = ℝd, we prove a converse of the classic result on contraction mappings, more precisely, there exists a unique bounded invariant set if and only if r = supi r i is strictly smaller than 1. Further, if ρ = {ρ k}k∈ℕ is a probability sequence, we...
We prove that if K is a compact space and the space P(K × K) of regular probability measures on K × K has countable tightness in its weak* topology, then L₁(μ) is separable for every μ ∈ P(K). It has been known that such a result is a consequence of Martin's axiom MA(ω₁). Our theorem has several consequences; in particular, it generalizes a theorem due to Bourgain and Todorčević on measures on Rosenthal compacta.