Related papers: A Non-Constructive Proof of Cantor's Theorem
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 study Cantor's powerset theorem from a graph-theoretic perspective, consider some alternative proofs to Cantor's original, and provide a new proof.
It is proved in $\mathsf{ZF}$ (without the axiom of choice) that, for all infinite sets $M$, there are no surjections from $\omega\times M$ onto $\mathscr{P}(M)$.
We apply an inductive argument to three theorems of Cantor on (1) the uncountability of infinite binary sequences, (2) the uncountability of real numbers, and (3) the non-equinumerosity of sets with their powersets. This technique proves…
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,…
We present a short proof of Cantor's Theorem (circa 1870s): if $a_n \cos nx + b_n \sin nx \to 0$ for each $x$ in some (nonempty) open interval, where $a_n, b_n$ are sequences of complex numbers, then $a_n$ and $b_n$ converge to 0.
This work presents theorems which state (i) Z is a proper subset for any bijection f between A and Z, where Z is contained in P(A), A is a non-finite set and |Z|=|A|, and (ii) being Z a proper subset of P(A) nothing affirms or denies that…
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…
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…
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…
A Cantor set is a non-empty, compact set that has neither interior nor isolated points. In this paper a Cantor set $K\subseteq \mathbb{R}$ is constructed such that every set definable in $(\mathbb{R},<,+,\cdot,K)$ is Borel. In addition, we…
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…
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…
This article critically reappraises arguments in support of Cantor's theory of transfinite numbers. The following results are reported: i) Cantor's proofs of nondenumerability are refuted by analyzing the logical inconsistencies in…
Cantor's famous proof of the non-denumerability of real numbers does apply to any infinite set. The set of exclusively all natural numbers does not exist. This shows that the concept of countability is not well defined. There remains no…
In this paper I introduce a new and intuitive first-order foundational theory (where the concept of set is not primitive) and use it to show that the power set of an infinite set does not exist. In particular, proofs of uncountability of a…
In an earlier paper, we established a natural connection between the Baum-Connes conjecture and noncommutative Bloch theory, viz. the spectral theory of projectively periodic elliptic operators on covering spaces. We elaborate on this…
We prove a Khintchine type theorem for approximation of elements in the Cantor set, as a subset of the formal Laurent series over $\mathbb{F}_3$, by rational functions of a specific type. Furthermore we construct elements in the Cantor set…
Cantor sets are constructed from iteratively removing sections of intervals. This process yields a cumulative distribution function (CDF), constructed from the invariant measure associated with their iterated function systems. Under…
Generalizing a geometric idea due to J. Sondow, we give a geometric proof for the Cantor's Theorem. Moreover, it is given an irrationality measure for some Cantor series.