For functions that are “normal” enough, we know immediately whether or not they are continuous at a given point. Nevertheless, the continuity of a function is such an important property that we need a precise definition of continuity at a point:

**continuous at $c$**if and only if $\displaystyle\lim_{x\to c} f(x)=f(c).$

That is, $f$ is continuous at $c$ if and only if for all $\varepsilon > 0$ there exists a $\delta > 0$ such that \[{\small\textrm{if }} |x-c|<\delta \quad{\small\textrm{then }} |f(x)-f(c)|<\varepsilon.\] In words, for $x$ close to $c$, $f(x)$ should be close to $f(c)$.

#### Notes

- If $f$ is continuous at every real number $c$, then $f$ is said
to be
**continuous**. - If $f$ is
*not*continuous at $c$, then $f$ is said to be**discontinuous at $c$**. The function $f$ can be discontinuous for two distinct reasons:- $f(x)$ does not have a limit as $x\to c$. (Specifically, if the
left- and right-hand limits exist but are different, the discontinuity
is called a
**jump discontinuity**.) - $f(x)$ has a limit as $x\to c$, but $\lim_{x\to c} f(x)\neq
f(c)$ or $f(c)$ is undefined. (This is called a
**removable discontinuity**, since we can “remove” the discontinuity at $c$ by redefining $f(c)$ as $\lim_{x\to c} f(x)$.)

- $f(x)$ does not have a limit as $x\to c$. (Specifically, if the
left- and right-hand limits exist but are different, the discontinuity
is called a

Rather than returning to the $\varepsilon$-$\delta$ definition whenever we want to prove a function is continuous at a point, we build up our collection of continuous functions by combining functions we know are continuous:

If $f$ and $g$ are continuous at $c$, then

- $f+g$ is continuous at $c$.
- $\alpha f$ is continuous at $c$ for any real number $\alpha$.
- $fg$ is continous at $c$.
- $f/g$ is continuous at $c$ if $g(c)\neq 0$.

###### Example

The function $\displaystyle f(x)=\frac{x^2-4}{(x-2)(x-1)}$ is continuous everywhere except at $x=2$ and at $x=1$. The discontinuity at $x=2$ is removable, since $\displaystyle \frac{x^2-4}{(x-2)(x-1)}$ can be simplified to $\displaystyle \frac{x+2}{x-1}$. To remove the discontinuity, define \[f(2)=\frac{2+2}{2-1}=4.\]

We can also look at the composition $f\circ g$ of two functions, \[(f\circ g)(x)=f(g(x)).\]

If $g$ is continuous at $c$ and $f$ is continuous at $g(c)$, then the composition $f\circ g$ is continuous at $c$.

We’d also like to speak of continuity on a closed interval $[a,b]$.
To deal with the endpoints $a$ and $b$, we define
**one-sided continuity**:

A function $f$ is **continuous from the left at $c$** if and only
if $\displaystyle\lim_{x\to c^-} f(x)=f(c)$. It is **continuous from the
right at $c$** if and only if $\displaystyle\lim_{x\to c^+} f(x)=f(c)$.

We say that $f$ is **continuous on $[a,b]$** if and only if

- $f$ is continuous on $(a,b)$,
- $f$ is continuous from the right at $a$, and
- $f$ is continuous from the left at $b$.

Note that $f$ is continuous at $c$ if and only if the right- and left-hand limits exist and both equal $f(c)$.

###### Example

The function \[ f(x)=\left\{\begin{array}{ll} x, & x\leq 0\\ x^2, & 0 < x\leq 1\\ \frac{2}{x}, & 1 < x\leq 2\\ x-1, & x > 2 \end{array}\right. \] is continuous everywhere except at $x=1$, where $f$ has a jump discontinuity.

#### Key Concepts

A function $f$ is continuous at $c$ if and only if $\displaystyle\lim_{x \to c} f(x) = f(c)$.

That is, $f$ is **continuous** at $c$ if and only if for all
$\varepsilon > 0$ there exists a $\delta > 0$ such that
\[{\small\textrm{if }} |x-c| < \delta {\small\textrm{ then }} |f(x)-f(c)| <
\varepsilon{\small\textrm{.}}\]
In words, for $x$ close to $c$, $f(x)$ should be close to $f(c)$.