# Exponential Function is Continuous/Real Numbers/Proof 1

Jump to navigation
Jump to search

## Theorem

The real exponential function is continuous.

That is:

- $\forall x_0 \in \R: \displaystyle \lim_{x \mathop \to x_0} \ \exp x = \exp x_0$

## Proof

This proof depends on the limit definition of the exponential function.

Let:

- $\displaystyle \map \exp x = \lim_{n \mathop \to \infty} \paren {1 + \dfrac x n}^n$

Fix $x_0 \in \R$.

Consider $I := \closedint {x_0 - 1} {x_0 + 1}$.

From Closed Bounded Subset of Real Numbers is Compact, $I$ is compact.

From Exponential Sequence is Uniformly Convergent on Compact Sets:

- $\paren {1 + \dfrac x n}^n$ is uniformly convergent on $I$.

By the Uniform Limit Theorem:

- $\displaystyle \lim_{n \mathop \to \infty} \paren {1 + \dfrac x n}^n = \exp$

is continuous on $I$.

In particular, $\map \exp x$ is continuous at $x_0$.

$\blacksquare$