Related papers: Cantor set arithmetic

The paper contains two results pointing to the lack of symmetry between measure and category. Assume CH. There exists a strongly meager subset of the Cantor set that can be mapped onto the Cantor set by a uniformly continuous function. (It…

We prove that these Cantor sets are made up of transcendental numbers, apart from their endpoints $0$ and $1$, under some arithmetical assumptions on the data. To that purpose, we establish a criterion of linear independence over the field…

We construct a geometrically self-similar Cantor set $X$ of genus $2$ in $\mathbb{R}^3$. This construction is the first for which the local genus is shown to be $2$ at every point of $X$. As an application, we construct, also for the first…

The article is devoted to the alternating Cantor series. It is proved that any real number belonging to $[a_0-1;a_0]$, where $a_0=\sum^{\infty} _{k=1} {\frac{d_{2k}-1}{d_1d_2...d_{2k}}} $, has no more than two representations by the series…

Consider $d$ disjoint closed subintervals of the unit interval and consider an orientation preserving expanding map which maps each of these subintervals to the whole unit interval. The set of points where all iterates of this expanding map…

Let $m\in\mathbb N_{\ge 2}$, and let $\mathcal K=\{K_\lambda: \lambda\in(0, 1/m]\}$ be a class of Cantor sets, where $K_{\lambda}=\{\sum_{i=1}^\infty d_i\lambda^i: d_i\in\{0,1,\ldots, m-1\}, i\ge 1\}$. We investigate in this paper the…

We construct a combinatorially large measure zero subset of the Cantor set.

We determine the sets definable in expansions of the ordered real additive group by generalized Cantor sets. Given a natural number $r\geq 3$, we say a set $C$ is a generalized Cantor set in base $r$ if there is a non-empty…

This paper examines the possibilities of extending Cantor's two arguments on the uncountable nature of the set of real numbers to one of its proper denumerable subsets: the set of rational numbers. The paper proves that, unless certain…

It is well-known that every commutative separable unital C*-algebra of real rank zero is a quotient of the C*-algebra of all compex continous functions defined on the Cantor cube. We prove a non-commutative version of this result by showing…

The sets used to construct other mathematical objects are pure sets, which means that all of their elements are sets, which are themselves pure. One set may therefore be within another, not as an element, but as an element of an element, or…

Let $C$ be the middle third Cantor set and $\mu$ be the $\frac{\log 2}{\log 3}$-dimensional Hausdorff measure restricted to $C$. In this paper we study approximations of elements of $C$ by dyadic rationals. Our main result implies that for…

An open set U of the real numbers R is produced such that the expansion (R,+,x,U) of the real field by U defines a Borel isomorph of (R,+,x,N) but does not define N. It follows that (R,+,x,U) defines sets in every level of the projective…

It was discovered some years ago that there exist non-integer real numbers $q>1$ for which only one sequence $(c_i)$ of integers $c_i \in [0,q)$ satisfies the equality $\sum_{i=1}^\infty c_iq^{-i}=1$. The set of such "univoque numbers" has…

Since the theory developed by Georg Cantor, mathematicians have taken a sharp interest in the sizes of infinite sets. We know that the set of integers is infinitely countable and that its cardinality is Aleph0. Cantor proved in 1891 with…

For any positive integer $p\geq 3$, let $A$ be a proper subset of $\{0,1,\ldots, p-1\}$ with $\sharp A=s\geq 2$. Suppose $h: \{0,1,\ldots,s-1\}\to A$ is a one-to-one map which is strictly increasing with $A=\{h(0),h(1),\ldots,h(s-1)\}$. We…

Let $K$ denote the middle third Cantor set and ${\cal A}:= \{3^n : n = 0,1,2, >... \} $. Given a real, positive function $\psi$ let $ W_{\cal A}(\psi)$ denote the set of real numbers $x$ in the unit interval for which there exist infinitely…

Based on continued fractions with subtractions, we identify the set of real numbers with the set of infinite integer sequences with all terms but the first one greater or equal to two. Each such sequence produces in a canonical way a unique…

Hausdorff measure and Hausdorff dimension are useful tools to describe fractals. This paper investigates the bounds on the $d\log_32$-dimensional Hausdorff measure of the $d$-fold Cartesian product of the $1/3$ Cantor set, $\mathcal C^d$.…

In the present article, modeling certain rational numbers, that are represented in terms of Cantor series, are described. The statements on relations between digits in the representations of rational numbers by Cantor series (for the case…