TheoremBase

The Real Exponential Function

Defines the real exponential function as the map sending u to the sum of the absolutely convergent series of uk/ku^k/k! over k from 0, and the number e as exp(1).

Statement

In the setting of The Real Line: Standing Notation and Background for Calculus on Intervals, let convergence and sums of series be as in Series of Real Numbers: Partial Sums, Convergence, the Sum and Absolute Convergence, and for u∈Ru\in\mathbb{R} and k∈Nk\in\mathbb{N} let the powers uk−1u^{k-1}, the factorials (k−1)!(k-1)! and the quotients uk−1/(k−1)!u^{k-1}/(k-1)! be as in The Exponential Series Converges Absolutely, and Its Sum Is a Map on ℝ.

For u∈Ru\in\mathbb{R}, ∑k=0∞ukk!\sum_{k=0}^{\infty}\frac{u^{k}}{k!} denotes the series ∑k=1∞uk−1(k−1)!\sum_{k=1}^{\infty}\frac{u^{k-1}}{(k-1)!} of the sequence of The Exponential Series Converges Absolutely, and Its Sum Is a Map on ℝ (i), and also its sum, which exists as the series converges absolutely, and hence converges, by The Exponential Series Converges Absolutely, and Its Sum Is a Map on ℝ (ii).

The exponential function is the map

exp⁡:R→R,u↦exp⁡(u)=∑k=0∞ukk!,\exp:\mathbb{R}\to\mathbb{R},\qquad u\mapsto\exp(u)=\sum_{k=0}^{\infty}\frac{u^{k}}{k!},

of The Exponential Series Converges Absolutely, and Its Sum Is a Map on ℝ (iii).

The number ee is e=exp⁡(1)e=\exp(1).

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…