Correspondence Between Semi-Measures and Small Systems
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.
Gruenhage asked if it was possible to cover the real line by less than continuum many translates of a compact nullset. Under the Continuum Hypothesis the answer is obviously negative. Elekes and Stepr mans gave an affirmative answer by showing that if is the well known compact nullset considered first by Erdős and Kakutani then ℝ can be covered by cof() many translates of . As this set has no analogue in more general groups, it was asked by Elekes and Stepr mans whether such a result holds for...
An irreducible partition of a space is a partition of that space into solid sets with a certain minimality property. Previously, these partitions were studied using the cup product in cohomology. This paper obtains similar results using the fundamental group instead. This allows the use of covering spaces to obtain information about irreducible partitions. This is then used to generalize Knudsen's construction of topological measures on the torus. We give examples of such measures that are invariant...
We construct a compact set C of Hausdorff dimension zero such that cof(𝒩) many translates of C cover the real line. Hence it is consistent with ZFC that less than continuum many translates of a zero-dimensional compact set can cover the real line. This answers a question of Dan Mauldin.
In some recent work, fractal curvatures and fractal curvature measures , , have been determined for all self-similar sets in , for which the parallel neighborhoods satisfy a certain regularity condition and a certain rather technical curvature bound. The regularity condition is conjectured to be always satisfied, while the curvature bound has recently been shown to fail in some concrete examples. As a step towards a better understanding of its meaning, we discuss several equivalent formulations...