Related papers: A Proof Of Cantor's Theorem

Let $(C(t))\in\mathbb{R}}$ be a cosine function in a unital Banach algebra. We give a simple proof of the fact that if lim sup$\_{t\to 0}\vert C(t)-1\_A\vert\textless{}2,$ then $lim sup\_{t\to 0}\Vert C(t)-1\_A\Vert=0.$

Let B_n denote the nth Bell number. We use well-known recursive expressions for B_n to give a generalizing recursion that can be used to prove Touchard's congruence.

We prove an asymptotic Cram\'er's theorem, that is, if the sequence $(X_{n}+ Y_{n})_{n\geq 1}$ converges in law to the standard normal distribution and for every $n\geq 1$ the random variables $X_{n}$ and $Y_{n}$ are independent, then…

We investigate the connections between computability theory and Nonstandard Analysis. In particular, we investigate the two following topics and show that they are intimately related. (T.1) A basic property of Cantor space $2^{\mathbb{N}}$…

We provide a Kingman-like Theorem for arbitrary finite measures and a version of Birkhoff's Theorem for bounded observable. As an application, we show that Birkhoff's limit exists for some continuous observable, in an example of Bowen.

Given $l>2\nu>2d\geq 4$, we prove the persistence of a Cantor--family of KAM tori of measure $O(\varepsilon^{1/2-\nu/l})$ for any non--degenerate nearly integrable Hamiltonian system of class $C^l(\mathscr D\times\mathbb{T}^d)$, where…

For a Cantor set $X$, let $Homeo(X)$ denote the group of all homeomorphisms of $X$. The main result of this note is the following theorem. Let $T\in Homeo(X)$ be an aperiodic homeomorphism, let $\mu_1,\mu_2,...,\mu_k$ be Borel probability…

Let $X = [0,1]^{n}$, $n \geq1$. We show that the typical (in the sense of Baire category) compact subset of $X$ is not only a zero dimensional Cantor space but it satisfies the property of being strongly microscopic, which is stronger than…

A Cantor series expansion for a real number $x$ with respect to a basic sequence $Q=(q_1,q_2,\dots)$, where $q_i \geq 2$, is a representation of the form $x=a_0 + \sum_{i=1}^\infty \frac{a_i}{q_1q_2\cdots q_i}$ where $0 \leq a_i<q_i$. These…

We present a short new proof of Cobham's theorem without using Kronecker's approximation theorem, making it suitable for generalization beyond automatic sequences.

We prove Euler's theorem of number theory developing an argument based on quandles. A quandle is an algebraic structure whose axioms mimic the three Reidemeister moves of knot theory.

We present a simplification of Jensen's proof of his Coding Theorem (even in the case where 0# exists). The proof avoids Jensen's split into cases according to whether or not 0# exists. In addition, the paper contains self-contained proofs…

Kronecker's 1856 paper contains a solvability theorem that is useful to construct unsolvable algebraic equations. We show how Kronecker's solvability theorem can be derived naturally via a polynomial complete decomposition method. This…

Let $f$ be a holomorphic function on the unit disc, and $(S_{n_{k}})$ be a subsequence of its Taylor polynomials about $0$. It is shown that the nontangential limit of $f$ and lim$_{k\rightarrow \infty }S_{n_{k}}$ agree at almost all points…

We present finitary formulations of two well known results concerning infinite series, namely Abel's theorem, which establishes that if a series converges to some limit then its Abel sum converges to the same limit, and Tauber's theorem,…

For any integer $r \geq 1$, the sequence of numbers $\{{c^{(r)}_{k}}\}_{k \geq 0} $ is defined implicitly by [\sum_k\binom{n}{k}^r\binom{n+k}{k}^r = \sum_k\binom{n}{k}\binom{n+k}{k}c^{(r)}_k,\quad n=0,1,2,...] Asmus Schmidt conjectured that…

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…

Let $f$ be a finite Blaschke product with $f(0)=0$ which is not a rotation and let $f^{n}$ be its $n$-th iterate. Given a sequence $\{a_{n}\}$ of complex numbers consider $F= \sum a_n f^{n}$. If $\{a_n\}$ tends to $0$ but $\sum |a_n| =…

Definitions of dense linear orders (with/without endpoints), separable linear orders, complete linear orders, the countable chain condition for linear orders, a Suslin line/Suslin tree and Suslin's problem Statement and proof of Cantor's…

In this paper we prove that if a closed set in R^N is close to a cone over a simplicial complex at each point and at each scale, then it is locally bi-H\"older equivalent to such a cone. This generalizes Reifenberg's Topological Disk…