Linear Function is Continuous/Proof 1

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\alpha, \beta \in \R$ be real numbers.

Let $f : \R \to \R$ be a linear real function:

$\map f x = \alpha x + \beta$

for all $x \in \R$.


Then $f$ is continuous at every real number $c \in \R$.


Proof

First assume $\alpha \ne 0$.

Let $\epsilon \in \R_{>0}$.

Let $\delta = \dfrac \epsilon {\size \alpha}$.

Then, provided that $\size {x - c} < \delta$:

\(\ds \size {\map f x - \map f c}\) \(=\) \(\ds \size {\alpha \paren {x - c} }\)
\(\ds \) \(=\) \(\ds \size {\alpha} \cdot \size {x - c}\)
\(\ds \) \(<\) \(\ds \size {\alpha} \delta\)
\(\ds \) \(=\) \(\ds \epsilon\)

So, we have found a $\delta$ for a given $\epsilon$ so as to make $\size {\map f x - \map f c} < \epsilon$ provided $\size {x - c} < \delta$.

So $\ds \lim_{x \mathop \to c} \map f x = \map f c$ and so $f$ is continuous at $c$, whatever $c$ happens to be.


Now suppose $\alpha = 0$.

Then $\forall x \in \R: \map f x - \map f c = 0$.

So whatever $\epsilon \in \R_{>0}$ we care to choose, $\size {\map f x - \map f c} < \epsilon$, and whatever $\delta$ may happen to be is irrelevant.

Continuity follows for all $c \in \R$, as above.

$\blacksquare$