Topological, metric and fractal properties of one family of self-similar sets

Abstract

Depending on a natural parameter $l$, we study the topological, metric, and fractal properties of the homogeneous self-similar set $$K_{l}=\left\{\sum_{i=1}^{\infty} \frac{\varepsilon_i}{(2l+2)^i} : (\varepsilon_i) \in \{0, 2, 4, \dots, 2l, 2l+1, 2l+3, \dots, 4l+1 \}^{\mathbb{N}} \right\}.$$ In particular, we prove that $K_l$ is a Cantorval, that is, a perfect set on the real line with a non-empty interior and fractal boundary. Additionally, we compute the Lebesgue measure of $K_l$ and the Hausdorff dimension of its boundary.

Figures (1)

• Figure :

Theorems & Definitions (14)

• Theorem A
• Theorem B
• Corollary 1
• Theorem C
• Lemma 1
• Lemma 2
• proof
• Corollary 2
• proof
• Lemma 3