For $\lambda \in (0,\,1/2]$ let $K_\lambda \subset \mathbb {R}$ be a self-similar set generated by the iterated function system $\{\lambda x,\, \lambda x+1-\lambda \}$. Given $x\in (0,\,1/2)$, let $\Lambda (x)$ be the set of $\lambda \in (0,\,1/2]$ such that $x\in K_\lambda$. In this paper we show that $\Lambda (x)$ is a topological Cantor set having zero Lebesgue measure and full Hausdorff dimension. Furthermore, we show that for any $y_1,\,\ldots,\, y_p\in (0,\,1/2)$ there exists a full Hausdorff dimensional set of $\lambda \in (0,\,1/2]$ such that $y_1,\,\ldots,\, y_p \in K_\lambda$.

We consider the set of elements in a translation of the middle-third Cantor set which can be well approximated by algebraic numbers of bounded degree. A doubling dimensional result is given, which enables one to conclude an upper bound on the dimension of the set in question for a generic translation.

We consider a real-valued function f defined on the set of infinite branches X of a countably branching pruned tree T. The function f is said to be a limsup function if there is a function $u \colon T \to \mathbb {R}$ such that $f(x) = \limsup _{t \to \infty } u(x_{0},\dots ,x_{t})$ for each $x \in X$ . We study a game characterization of limsup functions, as well as a novel game characterization of functions of Baire class 1.

In this paper, we discuss a connection between geometric measure theory and number theory. This method brings a new point of view for some number-theoretic problems concerning digit expansions. Among other results, we show that for each integer k, there is a number $M>0$ such that if $b_{1},\ldots ,b_{k}$ are multiplicatively independent integers greater than M, there are infinitely many integers whose base $b_{1},b_{2},\ldots ,b_{k}$ expansions all do not have any zero digits.

Urysohn’s lemma is a crucial property of normal spaces that deals with separation of closed sets by continuous functions. It is also a fundamental ingredient in proving the Tietze extension theorem, another property of normal spaces that deals with the existence of extensions of continuous functions. Using the Cantor function, we give alternative proofs for Urysohn’s lemma and the Tietze extension theorem.

We obtain a lower bound on the largest prime factor of the denominator of rational numbers in the Cantor set. This gives a stronger version of a recent result of Schleischitz [‘On intrinsic and extrinsic rational approximation to Cantor sets’, Ergodic Theory Dyn. Syst. to appear] obtained via a different argument.

We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for some languages and spaces, no standard modal deductive system is strongly complete.

In 1984, K. Mahler asked how well elements in the Cantor middle third set can be approximated by rational numbers from that set and by rational numbers outside of that set. We consider more general missing digit sets $C$ and construct numbers in $C$ that are arbitrarily well approximable by rationals in $C$, but badly approximable by rationals outside of $C$. More precisely, we construct them so that all but finitely many of their convergents lie in $C$.

At the ANZIAM conference in Hobart in February 2018, there were several talks on the solution of Laplace problems in multiply connected domains by means of conformal mapping. It appears to be not widely known that such problems can also be solved by the elementary method of series expansions with coefficients determined by least-squares fitting on the boundary. (These are not convergent series; the coefficients depend on the degree of the approximation.) Here we give a tutorial introduction to this method, which converges at an exponential rate if the boundary data are sufficiently well-behaved. The mathematical foundations go back to Runge in 1885 and Walsh in 1929. One of our examples involves an approximate Cantor set with up to 2048 components.

Given a positive, decreasing sequence a, whose sum is L, we consider all the closed subsets of [0, L] such that the lengths of their complementary open intervals are in one-to-one correspondence with the sequence a. The aim of this paper is to investigate the possible values that Assouad-type dimensions can attain for this class of sets. In many cases, the set of attainable values is a closed interval whose endpoints we determine.

The group of ${\mathcal{C}}^{1}$ -diffeomorphisms of any sparse Cantor subset of a manifold is countable and discrete (possibly trivial). Thompson’s groups come out of this construction when we consider central ternary Cantor subsets of an interval. Brin’s higher-dimensional generalizations $nV$ of Thompson’s group $V$ arise when we consider products of central ternary Cantor sets. We derive that the ${\mathcal{C}}^{2}$ -smooth mapping class group of a sparse Cantor sphere pair is a discrete countable group and produce this way versions of the braided Thompson groups.

This paper presents the behavior of three iterations of a coplanar waveguide fed CANTOR Set fractal antenna. This kind of antennas allows having a broadband behavior and important gains. Also, the setup of slots allows having more lower resonant frequencies and therefore designing miniaturized antennas with good performances. The proposed antennas are suitable for 2.5/3.3/5/5.5 GHz worldwide interoperability for microwave access and for 2.4–2.5/4.9–5.9 GHz wireless local area networks applications. The simulations were performed in FEKO 6.3. The measurements were performed with Vector Network Analyzer HP 8719C.

The search for intelligent life or any type of life involves processes with nonlinear chaotic behaviours throughout the Universe. Through the sensitive dependence condition, chaotic dynamics are also difficult or impossible to duplicate, forecast and predict. Similar evolution patterns will result in completely different outcomes. Even, the intelligent life evolution pattern, based on carbon, DNA–RNA–protein, will differ from all possible sequences. In the present paper, the stochastic dyadic Cantor set models the many possible variations of such chaotic behaviours in the Universe, yielding to a tendency to zero, for any scenario of intelligent life evolution. The probability of the development of the exact microscopic and macroscopic scenario that is capable of supporting intelligent life or any other type of life in any planet is vanishingly small. Thus, the present analysis suggests that mankind, as an extremely statistically uncommon occurrence, is unique and alone in the Universe.

An open U ⊆ ℝ is produced such that (ℝ, +, ·, U) defines a Borel isomorph of (ℝ, +, ·, ℕ) but does not define ℕ. It follows that (ℝ, +, ·, U) defines sets in every level of the projective hierarchy but does not define all projective sets. This result is elaborated in various ways that involve geometric measure theory and working over o-minimal expansions of (ℝ, +, ·). In particular, there is a Cantor set E ⊆ ℝ such that (ℝ, +, ·, ℕ) defines a Borel isomorph of (ℝ, +, ·, ℕ) and, for every exponentially bounded o-minimal expansion of (ℝ, +, ·), every subset of ℝ definable in (, E) either has interior or is Hausdorff null.

Let be a collection of n uniform, independent, and identically distributed points on the Cantor ternary set. We consider the asymptotics for the expected total edge length of the directed and undirected nearest-neighbor graph on We prove convergence to a constant of the rescaled expected total edge length of this random graph. The rescaling factor is a function of the fractal dimension and has a log-periodic, nonconstant behavior.

We prove that it is relatively consistent with $ZFC$ that in any perfect Polish space, for every nonmeager set $A$ there exists a nowhere dense Cantor set $C$ such that $A\,\cap \,C$ is nonmeager in $C$. We also examine variants of this result and establish a measure theoretic analog.

In this paper we prove that if a Cantor set has ratios of dissection bounded away from zero, then there is a natural number N, such that its N-fold sum is an interval. Moreover, for each element z of this interval, we explicitly construct the N elements of C whose sum yields z. We also extend a result of Mendes and Oliveria showing that when s is irrational is an interval if and only if a /(1−2a) as/(1−2as) ≥ 1.

We consider maximal operators in the plane, defined by Cantor sets of directions, and show such operators are not bounded on ${{L}^{2}}$ if the Cantor set has positive Hausdorff dimension.