A metric space (X,d) is monotone if there is a linear order < on X and a constant c such that d(x,y) ≤ cd(x,z) for all x < y < z in X, and σ-monotone if it is a countable union of monotone subspaces. A planar set homeomorphic to the Cantor set that is not σ-monotone is constructed and investigated. It follows that there is a metric on a Cantor set that is not σ-monotone. This answers a question raised by the second author.

Let m,n be positive integers such that m < n and let G(n,m) be the Grassmann manifold of all m-dimensional subspaces of ℝⁿ. For V ∈ G(n,m) let ${\pi }_V$ denote the orthogonal projection from ℝⁿ onto V. The following characterization of purely unrectifiable sets holds. Let A be an ${}^m$-measurable subset of ℝⁿ with ${}^m\left(A\right)<\infty$. Then A is purely m-unrectifiable if and only if there exists a null subset Z of the universal bundle $(V,v)\left|V\in G\right(n,m),v\in V$ such that, for all P ∈ A, one has ${}^{m(n-m)}\left(V\in G(n,m)\left|\right(V,{\pi }_V\left(P\right))\in Z\right)>0$. One can replace “for all P ∈ A” by “for ${}^m$-a.e. P ∈...

We study a parameterized family of singular functions which appears in a paper by H. Okamoto and M. Wunsch (2007). Various properties are revisited from the viewpoint of fractal geometry and probabilistic techniques. Hausdorff dimensions are calculated for several sets related to these functions, and new properties close to fractal analysis and strong negations are explored.

Let Γ be a closed set in ${ℝ}^n$ with Lebesgue measure |Γ| = 0. The first aim of the paper is to give a Fourier analytical characterization of Hausdorff dimension of Γ. Let 0 < d < n. If there exist a Borel measure µ with supp µ ⊂ Γ and constants $c_1>0$ and $c_2>0$ such that $c_1{r}^d\le \mu \left(B(x,r)\right)\le c_2{r}^d$ for all 0 < r < 1 and all x ∈ Γ, where B(x,r) is a ball with centre x and radius r, then Γ is called a d-set. The second aim of the paper is to provide a link between the related Lebesgue spaces $L_p\left(\Gamma \right)$, 0 < p ≤ ∞, with respect to...

Various methods may be used to define the Minkowski-Bouligand dimension of a compact subset E in the plane. The best known is the box method. After introducing the notion of ε-connected set $E_{\epsilon }$, we consider a new method based upon coverings of $E_{\epsilon }$ with crosses of diameter 2ε. To prove that this cross method gives the fractal dimension for all E, the main argument consists in constructing a special pavement of the complementary set with squares. This method gives rise to a dimension formula using integrals,...

We find a condition for a Borel mapping $f:{ℝ}^m\to {ℝ}^n$ which implies that the Hausdorff dimension of $f^{-1}\left(y\right)$ is less than or equal to m-n for almost all $y\in {ℝ}^n$.

Given a two-dimensional fractional multiplicative process ${\left(F_t\right)}_{t\in [0,1]}$ determined by two Hurst exponents $H_1$ and $H_2$, we show that there is an associated uniform Hausdorff dimension result for the images of subsets of $[0,1]$ by $F$ if and only if $H_1=H_2$.