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...
We prove that a set containing translates of every 2-plane must have full Hausdorff dimension.
We establish a decomposition of non-negative Radon measures on which extends that obtained by Strichartz [6] in the setting of -dimensional measures. As consequences, we deduce some well-known properties concerning the density of non-negative Radon measures. Furthermore, some properties of non-negative Radon measures having their Riesz potential in a Lebesgue space are obtained.
We study the Hausdorff dimension of measures whose weight distribution satisfies a Markov non-homogeneous property. We prove, in particular, that the Hausdorff dimensions of this kind of measures coincide with their lower Rényi dimensions (entropy). Moreover, we show that the packing dimensions equal the upper Rényi dimensions. As an application we get a continuity property of the Hausdorff dimension of the measures, when viewed as a function of the distributed weights under the norm.
The notion of NST domain and the closely related notion of ball condition, both topological in nature and quite useful within the theory of function spaces, are compared with each other (and with the older concept of porosity) and also with other notions of interest, like those of d-set and of interior regular domain, which have a measure-theoretical nature. Also, after extending the idea of NST (not so terrible) to a larger class of sets, the property is studied in the context of anisotropic self-affine...
We prove that the complement of a higher-dimensional Nikodym set must have full Hausdorff dimension.