TheoremBase

The Exponential Series Converges Absolutely, and Its Sum Is a Map on ℝ

For every real u the terms u(k−1)/(k−1)u^(k-1)/(k-1)! form a sequence whose series converges absolutely with first term 1, and the sums of these series form a map from the reals to the reals.

Statement

In the setting of The Real Line: Standing Notation and Background for Calculus on Intervals, let partial sums, convergence and sums of series and absolute convergence be as in Series of Real Numbers: Partial Sums, Convergence, the Sum and Absolute Convergence. For k∈N0k\in\mathbb{N}_{0} let k!k! be the factorial of kk, and for u∈Ru\in\mathbb{R} let uku^{k} be the power of uu, with u0=1u^{0}=1 as in Powers with Exponents in the Natural Numbers with Zero (ii). Elements of N0\mathbb{N}_{0} standing in real expressions are read in R\mathbb{R} by The Real Line: Standing Notation and Background for Calculus on Intervals (vii); read there, 1≤k!1\le k!, so k!≠0k!\neq0, by Natural Numbers and Factorials Read in the Reals: the Order Carries Over, One Is Least, and Factorials Are Positive, Recursive and Nondecreasing (iii). For k∈Nk\in\mathbb{N}, k−1∈N0k-1\in\mathbb{N}_{0} is the difference, defined, since 1≤k1\le k by Arithmetic and Order of the Natural Numbers (x).

For every u∈Ru\in\mathbb{R} there is exactly one sequence in R\mathbb{R} whose kk-th term is uk−1/(k−1)!u^{k-1}/(k-1)! for every k∈Nk\in\mathbb{N}.

For every u∈Ru\in\mathbb{R}, the series ∑k=1∞uk−1(k−1)!\sum_{k=1}^{\infty}\frac{u^{k-1}}{(k-1)!} of the sequence of (i) converges absolutely, and in particular converges; its first term is 11.

There is exactly one map h:R→Rh:\mathbb{R}\to\mathbb{R} with h(u)=∑k=1∞uk−1(k−1)!h(u)=\sum_{k=1}^{\infty}\frac{u^{k-1}}{(k-1)!} for every u∈Ru\in\mathbb{R}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…