Defines the real exponential function as the map sending u to the sum of the absolutely convergent series of ! over k from 0, and the number e as exp(1).
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 and let the powers , the factorials and the quotients be as in The Exponential Series Converges Absolutely, and Its Sum Is a Map on ℝ.
For , denotes the series 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
of The Exponential Series Converges Absolutely, and Its Sum Is a Map on ℝ (iii).
The number is .
Loading…
No relations recorded yet.