Related papers: Building Cantor's Bijection
In this note, we investigate the regularity of Cantor's one-to-one mapping between the irrational numbers of the unit interval and the irrational numbers of the unit square. In particular, we explore the fractal nature of this map by…
The famous contradiction of a bijection between a set and its power set is a consequence of the impredicative definition involved. This is shown by the fact that a simple mapping between equivalent sets does also fail to satisfy the…
Czachor's recent proposal introduces a form of non-Newtonian calculus built by pulling back arithmetic operations through arbitrary bijections between continua. Although the idea is mathematically inventive, it runs into serious conceptual…
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…
We examinate, formalize and extend the reasoning behind the Cantor's first diagonal argument, obtaining a simple closed-form expression for a bijection between $\mathbb{N}^k$ and $\mathbb{N}$.
For any particularly interesting theorem one proof is never enough. Instead, the first proof sets the challenge to find a more elegant method that illuminates subtle features of the math, is simpler to understand, or even avoids using…
Four constructions result from a desire to create enhancements to Cantor's infinite real set cardinality. Each continues to keep Cantor's cardinality formulation in place while providing new comparisons of arbitrary infinite sets. To…
In this paper we discuss several variations and generalizations of the Cantor set and study some of their properties. Also for each of those generalizations a Cantor-like function can be constructed from the set. We will discuss briefly the…
This paper is an investigation into Cantor works about representing a function with trigonometric series, and his proofs about its uniqueness. These works are important, because they cause invention of point-set topology, and foundation of…
In 1891 Cantor presented two proofs with the purpose to establish a general theorem that any set can be replaced by a set of greater power. Cantor's power set theorem can be considered to be an extension of Cantor's 1891 second proof and…
We introduce two notions of a contractive orbit of a set-valued map defined in a first countable space. The first defines the contraction with respect to the topology of the underlying space while the second defines the contraction with…
We offer a new proof (and review some known proofs) of Cantor's Powerset Theorem (1891), which concerns the non-existence of a surjective function from a set onto its powerset.
It is shown that the pillars of transfinite set theory, namely the uncountability proofs, do not hold. (1) Cantor's first proof of the uncountability of the set of all real numbers does not apply to the set of irrational numbers alone, and,…
Here is an example of a plane set of vanishing area and consisting of line-segments whose directions cover an angle : let E be a Cantor set of dissection ratio 1/4 (therefore dimension 1/2) carried by the horizontal axis and E' the image of…
We construct homotopically non-trivial maps from the unit m-sphere to the unit (m-1)-sphere with arbitrarily small k-dilation for each k greater than (m + 1)/2. We prove that homotopically non-trivial maps from the unit m-sphere to the unit…
Remarks on the Cantor's nondenumerability proof of 1891 that the real numbers are noncountable will be given. By the Cantor's diagonal procedure, it is not possible to build numbers that are different from all numbers in a general assumed…
Cantor's diagonal method is traditionally used to prove the uncountability of the set of all infinite binary sequences. This paper analyzes the expressive limits of this method. It is shown that under any constructive application --…
We construct "large" Cantor sets whose complements resemble the unit disk arbitrarily well from the point of view of the squeezing function, and we construct "large" Cantor sets whose complements do not resemble the unit disk from the point…
In this paper we give a bijective proof for a relation between uni- bi- and tricellular maps of certain topological genus. While this relation can formally be obtained using Matrix-theory as a result of the Schwinger-Dyson equation, we here…
We construct the unitary analogue of orthogonal calculus developed by Weiss, utilising model categories to give a clear description of the intricacies in the equivariance and homotopy theory involved. The subtle differences between real and…