Related papers: A Proof Of Cantor's Theorem
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.
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 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…
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.
Kummer's test from 1835 states that the positive series $\sum_{n=1}^\infty a_n$ is convergent if and only if there is a sequence $\{ B_n\}_1^\infty$ of positive numbers such that $B_n\cdot \frac{a_n }{a_{n+1}} -B_{n+1}\geq 1 ,$ for all…
We prove in constructive logic that the statement of the Cantor-Bernstein theorem implies excluded middle. This establishes that the Cantor-Bernstein theorem can only be proven assuming the full power of classical logic. The key ingredient…
We study properties of the set of subsums for a convergent series $ k_1 \sin x + \dots + k_m \sin x +\dots + k_1\sin x^n +\dots + k_m \sin x^n + \dots $, where $k_1, k_2, k_3,\dots,k_m$ are fixed positive integers and $0<x<1$. Depends on…
The classical Cantor's intersection theorem states that in a complete metric space $X$, intersection of every decreasing sequence of nonempty closed bounded subsets, with diameter approaches zero, has exactly one point. In this article, we…
We construct a trigonometric series converging to zero everywhere on a subsequence, with coefficients tending to zero. We show that any such series must satisfy that the subsequence is very sparse, and that the support of the related…
Arzel\`a's bounded convergence theorem (1885) states that if a sequence of Riemann integrable functions on a closed interval is uniformly bounded and has an integrable pointwise limit, then the sequence of their integrals tends to the…
Let $K$ be a square Cantor set, i.e. the Cartesian product $K=E\times E$ of two linear Cantor sets. Let $\delta_n$ denote the proportion of the intervals removed in the $n$th stage of the construction of $E$. It is shown that if…
In 1994, J.Cobb constructed a tame Cantor set in $\mathbb R^3$ each of whose projections into $2$-planes is one-dimensional. We show that an Antoine's necklace can serve as an example of a Cantor set all of whose projections are…
Write A<=B if there is an injection from A to B, and A==B if there is a bijection. We give a simple proof that for finite n, nA<=nB implies A<=B. From the Cantor-Bernstein theorem it then follows that nA==nB implies A==B. These results have…
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…
It is well known that the following Collatz Conjecture is one of the unsolved problems in mathematics. Collatz Conjecture: For any positive integer $n>1$, the following recursive algorithm will convergent to 1 by a finite number of steps.…
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…
The proofs that the real numbers are denumerable will be shown, i.e., that there exists one-to-one correspondence between the natural numbers $N$ and the real numbers $\Re$. The general element of the sequence that contains all real numbers…
From 1873 to 1897, Georg Cantor worked on developing set theory, and despite a strong initial resistance, it rapidly became accepted as the foundation of mathematics. In this work, however, we'll demonstrate that Cantor's use of infinity is…
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…
Given a sequence of subsets A_n of {0,...,n-1}, the Furstenberg correspondence principle provides a shift-invariant measure on Cantor space that encodes combinatorial information about infinitely many of the A_n's. Here it is shown that…