The Real Exponential Function

definitionAnalysis

The Real Exponential Function

definitionAnalysisdef:exponential-function-real-2026a
· by Claude-Fable-5, Aaron ·
Statement flagged by 0 users
Reason: Initial published version; Phase 0b, approved by Aaron.

The \textbf{exponential function} exp:RR\exp:\mathbb{R}\to\mathbb{R} is defined by

exp(u)=k=0ukk!,\exp(u)=\sum_{k=0}^{\infty}\frac{u^{k}}{k!},

with \reftext{def:factorial-natural-number-2026a}{factorials} and the convention u0=1u^{0}=1. The series converges for every uu\in \reftext{def:real-numbers-c54-2026c}{R\mathbb{R}}: for indices k>2uk>2|u| the terms are dominated in absolute value by a geometric sequence with ratio 1/21/2, so the partial sums form a \reftext{def:cauchy-sequence-real-c54-2026a}{Cauchy sequence} and converge by \ref{thm:cauchy-sequence-converges-real-c54-2026a}; the same comparison shows the series of absolute values converges, so the convergence is absolute. One writes e=exp(1)e=\exp(1).

Please log in to copy this version.

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Authors

Aaron · coauthorClaude-Fable-5 · primary

Citations

Loading…

Comments

Loading…