Some remarks about Cantor sets

Stephen Semmes

2004-02-26

Abstract: These informal notes briefly discuss various aspects of Cantor sets.

Classical Analysis and ODEs

What problem does this paper attempt to address?

ARITHMETIC SUM OF TWO HOMOGENEOUS CANTOR SETS

Jiang Haiyi,Yin Yongcheng

DOI: https://doi.org/10.1007/s11766-003-0015-4

2003-01-01

Abstract:In this note,an example of two homogeneous Cantor sets whose arithmetic sum is a homogeneous Cantor set with a positive Lebesgue measure is given.
Some Remarks on the Hausdorff Measure of the Cantor Set

Minghua Wang

DOI: https://doi.org/10.1051/shsconf/20162401015

2016-01-01

Abstract:In this paper, the author further reveals some intrinsic properties of the Cantor set. By erties, the author gives a new method for calculating the exact value of the Hausdorff measure of the C and shows the facts that each covering which consists of basic intervals, in which any basic interval can pletely contain the other, is the best covering of the Cantor set, and the Hausdorff measure of the Cant be determined by coverings which only consist of basic intervals.
Some remarks about Cauchy integrals and fractal sets

Stephen Semmes

DOI: https://doi.org/10.48550/arXiv.0709.0185

2007-09-04

Abstract:Some aspects of Cauchy integrals on sets with dimension larger than 1 are briefly discussed.

Classical Analysis and ODEs
Debunking Cantor: New Set-Theoretical and Logical Considerations

Juan A Perez

2023-03-14

Abstract:For more than a century, Cantor's theory of transfinite numbers has played a pivotal role in set theory, with ramifications that extend to many areas of mathematics. This article extends earlier findings with a fresh look at the critical facts of Cantor's theory: i) Cantor's widely renowned Diagonalization Argument (CDA) is fully refuted by a set of counter-examples that expose the fallacy of this proof. ii) The logical inconsistencies of CDA are revisited, exposing the short-comings of CDA's implementation of the method of proof by contradiction. iii) The denumerability of the power set of the set of the natural numbers, P(N), is substantiated by a proof that takes full account of all the infinite subsets of N. Such a result confirms the denumerability of the set of the real numbers, R, and with it the countable nature of the continuum. iv) Given that the denumerable character of (probably) all infinite sets makes their comparison in terms of one-to-one correspondences a rather pointless exercise, a new concept of relative cardinality is introduced which facilitates a quantitative evaluation of their different magnitudes.

General Mathematics
Cellular structures, quasisymmetric mappings, and spaces of homogeneous type

Stephen Semmes

DOI: https://doi.org/10.48550/arXiv.0711.1333

2007-11-09

Abstract:A class of Cantor-type spaces and related geometric structures are discussed.

Classical Analysis and ODEs
Sums of powers, and products of elements of the middle third Cantor set

Aritro Pathak

2023-07-18

Abstract:The questions of the measure and finding open intervals in certain sets of sums and products of elements of the middle third Cantor set (or a variant of it), have generated considerable interest recently. A broad general framework that makes it possible to deal with these questions was outlined by Astels. The question of finding the measure of the product of the middle third Cantor set was considered recently in an article by Athreya, Reznick and Tyson. Astels' methods apply to product sets upon considering a generalized logarithmic Cantor set, while Athreya, Reznick and Tyson's methods become difficult in dealing with sums or products of $m$'th powers as $m$ becomes large. With a new elementary dynamical technique, we can deal with both the questions of sums and products in a satisfactory way, and the proofs are of the same level of complexity as that of an elementary proof of the fact that the sum of two copies of the middle third Cantor set is $[0,2]$. Further, some observations are made on the question of intersections of one central Cantor set with an affine image of another central Cantor set both with arbitrary parameters.

Metric Geometry,Classical Analysis and ODEs,Dynamical Systems
On arithmetic sums of Cantor-type sequences of integers

Norbert Hegyvári

2023-07-14

Abstract:We are looking for integer sets that resemble classical Cantor set and investigate the structure of their sum sets. Especially we investigate $FS(B)$ the subset sum of sequence type $B=\{\lfloor p^n\alpha\rfloor\}^\infty_{n=0}$. When $p=2$, then we prove $FS(B)+FS(B)=\N$ by analogy with the Cantor set, and some structure theorem for $p>2$

Combinatorics,Number Theory
Algebraic sums of achievable sets involving Cantorvals

Jacek Marchwicki,Piotr Nowakowski,Franciszek Prus-Wiśniowski

2023-09-04

Abstract:In this paper we look at the topological type of algebraic sum of achievement sets. We show that there is a Cantorval such that the algebraic sum of its $k$ copies is still a Cantorval for any $k \in \mathbb{N}$. We also prove that for any $m,p \in (\mathbb{N}\setminus \{1\}) \cup \{\infty\}$, $p \geq m$, the algebraic sum of $k$ copies of a Cantor set can transit from a Cantor set to a Cantorval for $k=m$ and then to an interval for $k=p$. These two main results are based on a new characterization of sequences whose achievement sets are Cantorvals. We also define a new family of achievable Cantorvals which are not generated by multigeometric series. In the final section we discuss various decompositions of sequences related to the topological typology of achievement sets.

Classical Analysis and ODEs
Theological reasoning of Cantor's set theory

Kateřina Trlifajová

2024-07-22

Abstract:Discussions surrounding the nature of the infinite in mathematics have been underway for two millennia. Mathematicians, philosophers, and theologians have all taken part. The basic question has been whether the infinite exists only in potential or exists in actuality. Only at the end of the 19th century, a set theory was created that works with the actual infinite. Initially, this theory was rejected by other mathematicians. The creator behind the theory, the German mathematician Georg Cantor, felt all the more the need to challenge the long tradition that only recognised the potential infinite. In this, he received strong support from the interest among German neothomist philosophers, who, under the influence of the Encyclical of Pope Leo XIII, Aeterni Patris, began to take an interest in Cantor's work. Gradually, his theory even acquired approval from the Vatican theologians. Cantor was able to firmly defend his work and at the turn of the 20th century, he succeeded in gaining its acceptance. The storm that had accompanied its original rejection now accompanied its acceptance. The theory became the basis on which modern mathematics was and is still founded, even though the majority of mathematicians know nothing of its original theological justification. Set theory, which today rests on an axiomatic foundation, no longer poses the question of the existence of actual infinite sets. The answer is expressed in its basic axiom: natural numbers form an infinite set. No substantiation has been discovered other than Cantor's: the set of all natural numbers exists from eternity as an idea in God's intellect.

History and Overview
Open intervals in sums and products of Cantor sets

Aritro Pathak

2024-08-11

Abstract:We give new arguments for sums and products of sufficient numbers of arbitrary central Cantor sets to produce large open intervals. We further discuss the same question for $C^1$ images of such central Cantor sets. This gives another perspective on the results obtained by Astels through a different formulation on the thickness of these Cantor sets. There has been recent interest in the question of products and sums of powers of Cantor sets, and these are addressed by our methods.

Metric Geometry,Classical Analysis and ODEs,Dynamical Systems
On a Conjecture of Cusick on a sum of Cantor sets

Nikita Shulga

2024-11-26

Abstract:In 1971 Cusick proved that every real number $x\in[0,1]$ can be expressed as a sum of two continued fractions with no partial quotients equal to $1$. In other words, if we define a set $$ S(k):= \{ x\in[0,1] : a_n(x) \geq k \text{ for all } n\in\mathbb{N} \}, $$ then $$ S(2)+S(2) = [0,1]. $$ He also conjectured that this result is unique in the sense that if you exclude partial quotients from $1$ to $k-1$ with $k\geq3$, then the Lebesgue measure $\lambda$ of the set of numbers which can be expressed as a sum of two continued fractions with no partial quotients from $\{1,\ldots,k-1\}$ is equal to $0$, that is $$\lambda\Bigl( S(k)+S(k) \Bigl)= 0 \text{ for }k\geq 3.$$ In this paper, we disprove the conjecture of Cusick by showing that $$ S(k)+S(k) \supseteq \left[0,\frac{1}{k-1}\right]. $$ The proof is constructive and does not rely on ideas from previous works on the topic. We also show the existence of countably many 'gaps' in $S(k)+S(k)$, that is intervals, for which the endpoints lie in $S(k)+S(k)$, while none of the elements in the interior do so. Finally, we prove several results on the sums $$ S(m)+S(n) $$ for $m\neq n$.

Number Theory
On the sum of two homogeneous Cantor sets

Mehdi Pourbarat

DOI: https://doi.org/10.3934/dcds.2024145

2024-11-12

Discrete and Continuous Dynamical Systems

Abstract:Suppose that and are two homogeneous Cantor sets. We show that the sum set has equal box and Hausdorff dimensions and in this number named , . With this aim, the pairs have been introduced such that . In the context of middle Cantor sets, conditions are provided for the functions and middle Cantor sets to ensure that contains an interval. Meanwhile, protype examples of middle Cantor sets and are introduced such that and contain an interval, while the product of their thickness is smaller than one.

mathematics, applied
Genus $g$ Cantor sets and germane Julia sets

Alastair N. Fletcher,Daniel Stoertz,Vyron Vellis

2024-08-06

Abstract:The primary aim of this paper is to give topological obstructions to Cantor sets in $\mathbb{R}^3$ being Julia sets of uniformly quasiregular mappings. Our main tool is the genus of a Cantor set. We give a new construction of a genus $g$ Cantor set, the first for which the local genus is $g$ at every point, and then show that this Cantor set can be realized as the Julia set of a uniformly quasiregular mapping. These are the first such Cantor Julia sets constructed for $g\geq 3$. We then turn to our dynamical applications and show that every Cantor Julia set of a hyperbolic uniformly quasiregular map has a finite genus $g$; that a given local genus in a Cantor Julia set must occur on a dense subset of the Julia set; and that there do exist Cantor Julia sets where the local genus is non-constant.

Dynamical Systems,General Topology
A Cantor set with hyperbolic complement

Juan Souto,Matthew Stover

DOI: https://doi.org/10.1090/s1088-4173-2013-00249-x

2013-04-22

Conformal Geometry and Dynamics of the American Mathematical Society

Abstract:We construct a Cantor set in S 3 \mathbb {S}^3 whose complement admits a complete hyperbolic metric.
Distinguishing Bing-Whitehead Cantor Sets

Dennis Garity,Dušan Repovš,David Wright,Matjaž Željko

DOI: https://doi.org/10.1090/S0002-9947-2010-05175-X

2009-07-02

Abstract:Bing-Whitehead Cantor sets were introduced by DeGryse and Osborne in dimension three and greater to produce examples of Cantor sets that were non standard (wild), but still had simply connected complement. In contrast to an earlier example of Kirkor, the construction techniques could be generalized to dimensions bigger than three. These Cantor sets in $S^{3}$ are constructed by using Bing or Whitehead links as stages in defining sequences. Ancel and Starbird, and separately Wright characterized the number of Bing links needed in such constructions so as to produce Cantor sets. However it was unknown whether varying the number of Bing and Whitehead links in the construction would produce non equivalent Cantor sets. Using a generalization of geometric index, and a careful analysis of three dimensional intersection patterns, we prove that Bing-Whitehead Cantor sets are equivalently embedded in $S^3$ if and only if their defining sequences differ by some finite number of Whitehead constructions. As a consequence, there are uncountably many non equivalent such Cantor sets in $S^{3}$ constructed with genus one tori and with simply connected complement.

Geometric Topology,General Topology
Remarks on small sets related to trigonometric series

Tomek Bartoszynski,Marion Scheepers

DOI: https://doi.org/10.48550/arXiv.math/9905118

1999-05-19

Logic

Abstract:We show that several classes of sets, like N_0-sets, Arbault sets, N-sets and pseudo-Dirichlet sets are closed under adding sets of small size.
Menger and consonant sets in the Sacks model

Valentin Haberl,Piotr Szewczak,Lyubomyr Zdomskyy

2024-06-08

Abstract:Using an iterated Sacks forcing and topological games, we prove that the existence of a totally imperfect Menger set in the Cantor cube with cardinality continuum, is independent from ZFC. We also analyze structures of Hurewicz or consonant subsets of the Cantor cube in the Sacks model.

Logic,General Topology
A nonstandard take on central sets

Isaac Goldbring

DOI: https://doi.org/10.48550/arXiv.1812.08362

2018-12-20

Combinatorics

Abstract:We present the basic theory of central subsets of semigroups from the nonstandard perspective. A key feature of this perspective is the replacement of the algebra of ultrafilters with the algebra of elements of iterated hyperextensions, a technique first employed by Mauro Di Nasso.
Conditions for the difference set of a central Cantor set to be a Cantorval. Part II

Piotr Nowakowski

2023-07-17

Abstract:Let C(a) be the central Cantor set generated by a sequence a with terms in (0,1). It is known that the difference set C(a)-C(a) of C(a) can has one of three possible forms: a finite union of closed intervals, a Cantor set, or a Cantorval. In the previous paper there was proved a sufficient condition for the sequence a which implies that C(a) - C(a) is a Cantorval. In this paper we give different conditions for a sequence a which guarantee the same assertion. We also prove a corollary, which provides infinitely many new examples of Cantorvals.

Classical Analysis and ODEs
Hairy Cantor sets

Davoud Cheraghi,Mohammad Pedramfar

DOI: https://doi.org/10.48550/arXiv.1907.03349

2019-07-08

Abstract:We introduce a topological object, called hairy Cantor set, which in many ways enjoys the universal features of objects like Jordan curve, Cantor set, Cantor bouquet, hairy Jordan curve, etc. We give an axiomatic characterisation of hairy Cantor sets, and prove that any two such objects in the plane are ambiently homeomorphic. Hairy Cantor sets appear in the study of the dynamics of holomorphic maps with infinitely many renormalisation structures. They are employed to link the fundamental concepts of polynomial-like renormalisation by Douady-Hubbard with the arithmetic conditions obtained by Herman-Yoccoz in the study of the dynamics of analytic circle diffeomorphisms.

General Topology,Dynamical Systems,Geometric Topology

Some remarks about Cantor sets

ARITHMETIC SUM OF TWO HOMOGENEOUS CANTOR SETS

Some Remarks on the Hausdorff Measure of the Cantor Set

Some remarks about Cauchy integrals and fractal sets

Debunking Cantor: New Set-Theoretical and Logical Considerations

Cellular structures, quasisymmetric mappings, and spaces of homogeneous type

Sums of powers, and products of elements of the middle third Cantor set

On arithmetic sums of Cantor-type sequences of integers

Algebraic sums of achievable sets involving Cantorvals

Theological reasoning of Cantor's set theory

Open intervals in sums and products of Cantor sets

On a Conjecture of Cusick on a sum of Cantor sets

On the sum of two homogeneous Cantor sets

Genus $g$ Cantor sets and germane Julia sets

A Cantor set with hyperbolic complement

Distinguishing Bing-Whitehead Cantor Sets

Remarks on small sets related to trigonometric series

Menger and consonant sets in the Sacks model

A nonstandard take on central sets

Conditions for the difference set of a central Cantor set to be a Cantorval. Part II

Hairy Cantor sets