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.

This paper presents a sufficient condition for a continuum in ℝn to be embeddable in ℝn in such a way that its image is not an attractor of any iterated function system. An example of a continuum in ℝ2 that is not an attractor of any weak iterated function system is also given.

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,...

1. Introduction. Given x in (0,1], let x = [d₁(x),d₂(x),...] denote the Engel expansion of x, that is, (1) $x=1/d₁\left(x\right)+1/\left(d₁\left(x\right)d₂\left(x\right)\right)+...+1/(d₁\left(x\right)d₂\left(x\right)...d_n\left(x\right))+...$, where $d_j\left(x\right),j\ge 1$ is a sequence of positive integers satisfying d₁(x) ≥ 2 and $d_{j+1}\left(x\right)\ge d_j\left(x\right)$ for j ≥ 1. (See [3].) In [3], János Galambos proved that for almost all x ∈ (0,1], (2) $li{m}_{n\to \infty }{d}_n^{1/n}\left(x\right)=e.$He conjectured ([3], P132) that the Hausdorff dimension of the set where (2) fails is one. In this paper, we prove this conjecture: Theorem. $di{m}_{H}x\in (0,1]:\left(2\right)fails=1$. We use L¹ to denote the one-dimensional Lebesgue measure on (0,1] and $di{m}_H$ to denote the Hausdorff...