We show that the existence of measurable envelopes of all subsets of ℝⁿ with respect to the d-dimensional Hausdorff measure (0 < d < n) is independent of ZFC. We also investigate the consistency of the existence of -measurable Sierpiński sets.
Let be a real number and let denote the set of real numbers approximable at order at least by rational numbers. More than eighty years ago, Jarník and, independently, Besicovitch established that the Hausdorff dimension of is equal to . We investigate the size of the intersection of with Ahlfors regular compact subsets of the interval . In particular, we propose a conjecture for the exact value of the dimension of intersected with the middle-third Cantor set and give several results...
If (X,d) is a metric space then a map f: X → X is defined to be a weak contraction if d(f(x),f(y)) < d(x,y) for all x,y ∈ X, x ≠ y. We determine the simplest non-closed sets X ⊆ ℝⁿ in the sense of descriptive set-theoretic complexity such that every weak contraction f: X → X is constant. In order to do so, we prove that there exists a non-closed set F ⊆ ℝ such that every weak contraction f: F → F is constant. Similarly, there exists a non-closed set G ⊆ ℝ such that every weak contraction...
Motivated by the concept of tangent measures and by H. Fürstenberg’s definition of microsets of a compact set we introduce micro tangent sets and central micro tangent sets of continuous functions. It turns out that the typical continuous function has a rich (universal) micro tangent set structure at many points. The Brownian motion, on the other hand, with probability one does not have graph like, or central graph like micro tangent sets at all. Finally we show that at almost all points Takagi’s...
In many situations, both deterministic and probabilistic, one is interested in measure theory in local behaviours, for example in local dimensions, local entropies or local Lyapunov exponents. It has been relevant to study dynamical systems, since the study of multifractal can be further developed for a large class of measures invariant under some map, particularly when there exist strange attractors or repelers (hyperbolic case). Multifractal refers to a notion of size, which emphasizes the local...