Epsilon-delta definition of continuity – Serlo

Among the sequence criterion, the epsilon-delta criterion is another way to define the continuity of functions. This criterion describes the feature of continuous functions, that sufficiently small changes of the argument cause arbitrarily small changes of the function value.

Motivation

In the beginning of this chapter, we learned that continuity of a function may - by a simple intuition - be considered as an absence of jumps. So if we are at an argument where continuity holds, the function values will change arbitrarily little, when we wiggle around the argument by a sufficiently small amount. So $f(x)\approx f(x_{0})$, for $x$ in the vicinity of $x_{0}$ . The function values $f(x)$ may therefore be useful to approximate $f(x_{0})$ .

Continuity when approximating function values

If a function has no jumps, we may approximate its function values by other nearby values . For this approximation, and hence also for proofs of continuity, we will use the epsilon-delta criterion for continuity. So how will such an approximation look in a practical situation?

Suppose, we make an experiment that includes measuring the air temperature as a function of time. Let $f$ be the function describing the temperature. So $f(x)$ is the temperature at time $x$. Now, suppose there is a technical problem, so we have no data for $f(x_{0})$ - or we simply did not measure $f$ at exactly this point of time. However, we would like to approximate the function value $f(x_{0})$ as precisely as we can:

At time x_0 , the temperature is f(x_0)

Suppose, a technical issue prevented the measurement of $f(x_{0})$ . Since the temperature changes continuously in time - and especially there is no jump at $x_{0}$ - we may instead use a temperature value measured at a time close to $x_{0}$ . So, let us approximate the value $f(x_{0})$ by taking a temperature $f(x)$ with $x$ close to $x_{0}$ . That means, $f(x)$ is an approximation for $f(x_{0})$. How close must $x$ come to $x_{0}$ in order to obtain a given approximation precision?

Suppose that for the evaluation of the temperature at a later time $x$ , the maximal error shall be $\epsilon =0{,}1\ \mathrm {^{\circ }C}$ . So considering the following figure, the measured temperature should be in the grey region . Those are all temperatures with function values between $f(x_{0})-\epsilon$ and $f(x_{0})+\epsilon$ , i.e. inside the open interval $(f(x_{0})-\epsilon ,f(x_{0})+\epsilon )$ :

Epsilon-region around the function value f(x_0)

In this graphic, we may see that there is a region around $x_{0}$ , where function values differ by less than $\epsilon$ from $f(x_{0})$ . So in fact, there is a time difference $\delta$, such that all function values are inside the interval $(x_{0}-\delta ,x_{0}+\delta )$ highlighted in grey:

Delta-region around x_0, where all function values lie in an epsilon-region around f(x_0)

Therefore, we may indeed approximate the missing data point $f(x_{0})$ sufficiently well (meaning with a maximal error of $\epsilon$) . This is done by taking a time $x$ differing from $x_{0}$ by less than $\delta$ and then, the error of $f(x)$ in approximating $f(x_{0})$ will be smaller than the desired maximal error $\epsilon$. So $f(x)$ will be the approximation for $f(x_{0})$ .

Conclusion: There is a $\delta >0$, such that the difference $|f(x)-f(x_{0})|$ is smaller than $\epsilon$ for all $|x-x_{0}|$ smaller than $\delta$ . I.e. $|x-x_{0}|<\delta \implies |f(x)-f(x_{0})|<\epsilon$

Increasing approximation precision

What will happen, if we need to know the temperature value to a higher precision due to increased requirements in the evaluation of the experiment? For instance, if the required maximal temperature error is set to $\epsilon _{2}=0{,}05\ \mathrm {^{\circ }C}$ instead of $\epsilon =0{,}1\ \mathrm {^{\circ }C}$ ?

Small epsilon-interval around the function value f(x_0)

In that case, thare is an interval around $x_{0}$, where function values do not deviate by more than $\epsilon _{2}$ from $f(x_{0})$ . Mathematically speaking, there a $\delta _{2}>0$ exists, such that $f(x)$ differs by a maximum amount of $\epsilon _{2}$ from $f(x_{0})$ , if there is $|x-x_{0}|<\delta _{2}$ :

Small delta-interval around x_0, where all function values are in a small interval around f(x_0)

No matter how small we choose $\epsilon$ , thanks to the continuous temperature dependence, we may always find a $\delta >0$ , such that $f(x)$ differs at most by $\epsilon$ from $f(x_{0})$ , whenever $x$ is closer to $x_{0}$ than $\delta$ . We keep in mind:

No matter which maximal error $\epsilon >0$ is required, there is always an interval around $x_{0}$ , which is $(x_{0}-\delta ,x_{0}+\delta )$ with size $\delta >0$, where all approximated function values $f(x)$ deviate by less than $\epsilon$ from the function value $f(x_{0})$ to be approximated.

This holds true , since the function $f$ does not have a jump at $x_{0}$ . In other words, since $f$ in continuous at $x_{0}$ . Even beyond that, we may always infer from the above characteristic that there is no jump in the graph of $f$ at $x_{0}$. Therefore, we may use it as a formal definition for continuity. As mathematicians frequently use the variables $\epsilon$ and $\delta$ when describing this characteristic, it is also called epsilon-delta-criterion for continuity.

Epsilon-delta-criterion for continuity

Why does the epsilon-delta-criterion hold if and only if the graph of the function doen not have a jump at some argument (i.e. it is continuous there)? The temperature example allows us to intuitively verify, that the epsilon-delta-criterion is satisfied for continuous functions. But will the epsilon-delta-criterion be violated, when a function has a jump at some argument? To answer this question, let us assume that the temperature as a function of time has a jump at some $x_{0}$ :

Function with a jump at x_0

Let $\epsilon$ be a given maximal error that is larger than the jump:

Epsilon-interval with an epsilon smaller than the jump

In that case, we may not choose a $\delta$-interval $(x_{0}-\delta ,x_{0}+\delta )$ around $x_{0}$ , where all function values have a deviation lower than $\epsilon$ from $f(x_{0})$ . If we, for instance, choose the following $\delta$ , then there certainly is an $x$ between $x_{0}-\delta$ and $x_{0}+\delta$ which a function value differing by more than $\epsilon$ from $f(x_{0})$ :

x is inside a delta-interval around x_0, but its function value f(x) has a distance larger than epsilon to f(x_0)

When choosing a smaller $\delta _{2}$ , we will find a $x\in (x_{0}-\delta _{2},x_{0}+\delta _{2})$ with $|f(x)-f(x_{0})|\geq \epsilon$, as well:

x is situated in a delta-interval around x_0, but f(x) differs by more than epsilon from f(x_0)

No matter how small we choose $\delta$ , there will always be an argument $x$ with a distance of less than $\delta$ to $x_{0}$, such that the function value $f(x)$ differs by more than $\epsilon$ from $f(x_{0})$ . So we have seen that in an intuitive example, the epsilon-delta-criterion is not satisfied, if the function has a jump. Therefore, the epsilon-delta-criterion characterizes whether the graph of the function has a jump at the considered argument $x_{0}$ or not. That means, we may consider it as a definition of continuity. Since this criterion only uses mathematically well-defined terms, it may be used not just as an intuitive, but also as a formal definition.

Definition

Epsilon-Delta criterion for continuity

The $\epsilon$-$\delta$ definition of continuity at an argument $x_{0}$ inside the domain of definition is the following:

Definition (Epsilon-Delta-definition of continuity)

A function $f:D\to \mathbb {R}$ with $D\subseteq \mathbb {R}$ is continuous at $x_{0}\in D$, if and only if for any $\epsilon >0$ there is a $\delta >0$ , such that $|f(x)-f(x_{0})|<\epsilon$ holds for all $x\in D$ with $|x-x_{0}|<\delta$ . Written in mathematical symbols, that means $f$ is continuous at $x_{0}\in D$ if and only if

$\forall \epsilon >0\,\exists \delta >0\,\forall x\in D:|x-x_{0}|<\delta \implies |f(x)-f(x_{0})|<\epsilon$

Explanation of the quantifier notation:

${\begin{aligned}{\begin{array}{l}\underbrace {{\underset {}{}}\forall \epsilon >0} _{{\text{For all }}\epsilon >0}\underbrace {{\underset {}{}}\exists \delta >0} _{{\text{ there is a }}\delta >0}\underbrace {{\underset {}{}}\forall x\in D} _{{\text{, such that for all }}x\in D}\\[1em]\quad \underbrace {{\underset {}{}}|x-x_{0}|<\delta } _{{\text{ with distance to }}x_{0}{\text{ smaller than }}\delta }\underbrace {{\underset {}{}}\implies } _{\text{ there is}}\underbrace {{\underset {}{}}|f(x)-f(x_{0})|<\epsilon } _{{\text{, such that the distance of }}f(x){\text{ to }}f(x_{0}){\text{ is smaller than }}\epsilon }\end{array}}\end{aligned}}$

The above definition describes continuity at a certain point (argument). An entire function $f:D\to \mathbb {R}$ is called continuous, when it is continuous - according to the epsilon-delta criterion - at each of its arguments in the domain of definition.

Derivation of the Epsilon-Delta criterion for discontinuity

We may also obtain a criterion of discontinuity by simply negating the above definition. Negating mathematical propositions has already been treated in chapter „Aussagen negieren“ . While doing so, an all quantifier $\forall$ gets transformed into an existential quantifier $\exists$ and vice versa. Concerning inner implication, we have to keep in mind that the negation of $A\implies B$ is equivalent to $A\land \neg B$ . Negating the epsilon-delta criterion of discontinuity, we obtain:

${\begin{aligned}{\begin{array}{rrrrrcr}&\neg {\Big (}\forall \epsilon >0\,&\exists \delta >0\,&\forall x\in D:&|x-x_{0}|<\delta &\implies &|f(x)-f(x_{0})|<\epsilon {\Big )}\\[0.5em]\iff &\exists \epsilon >0\,&\neg {\Big (}\exists \delta >0\,&\forall x\in D:&|x-x_{0}|<\delta &\implies &|f(x)-f(x_{0})|<\epsilon {\Big )}\\[0.5em]\iff &\exists \epsilon >0\,&\forall \delta >0\,&\neg {\Big (}\forall x\in D:&|x-x_{0}|<\delta &\implies &|f(x)-f(x_{0})|<\epsilon {\Big )}\\[0.5em]\iff &\exists \epsilon >0\,&\forall \delta >0\,&\exists x\in D:&\neg {\Big (}|x-x_{0}|<\delta &\implies &|f(x)-f(x_{0})|<\epsilon {\Big )}\\[0.5em]\iff &\exists \epsilon >0\,&\forall \delta >0\,&\exists x\in D:&|x-x_{0}|<\delta &\land &\neg {\Big (}|f(x)-f(x_{0})|<\epsilon {\Big )}\\[0.5em]\iff &\exists \epsilon >0\,&\forall \delta >0\,&\exists x\in D:&|x-x_{0}|<\delta &\land &|f(x)-f(x_{0})|\geq \epsilon \end{array}}\end{aligned}}$

This gets us the negation of continuity (i.e. discontinuity):

$\exists \epsilon >0\,\forall \delta >0\,\exists x\in D:|x-x_{0}|<\delta \land |f(x)-f(x_{0})|\geq \epsilon$

Epsilon-Delta criterion for discontinuity

Definition (Epsilon-Delta definition of discontinuity)

A function $f:D\to \mathbb {R}$ with $D\subseteq \mathbb {R}$ is discontinuous at $x_{0}\in D$, if and only if there is an $\epsilon >0$ , such that for all $\delta >0$ a $x\in D$ with $|x-x_{0}|<\delta$ and $|f(x)-f(x_{0})|\geq \epsilon$ exists. Mathematically written, $f$ is discontinuous at $x_{0}\in D$ iff

$\exists \epsilon >0\,\forall \delta >0\,\exists x\in D:|x-x_{0}|<\delta \land |f(x)-f(x_{0})|\geq \epsilon$

Explanation of the quantifier notation:

${\begin{aligned}{\begin{array}{l}\underbrace {{\underset {}{}}\exists \epsilon >0} _{{\text{There is a }}\epsilon >0,}\underbrace {{\underset {}{}}\forall \delta >0} _{{\text{ such that for all }}\delta >0}\underbrace {{\underset {}{}}\exists x\in D} _{{\text{ there is an }}x\in D}\\[1em]\quad \underbrace {{\underset {}{}}|x-x_{0}|<\delta } _{{\text{ with distance to }}x_{0}{\text{ smaller than }}\delta }\underbrace {{\underset {}{}}\land } _{\text{ and}}\underbrace {{\underset {}{}}|f(x)-f(x_{0})|\geq \epsilon } _{{\text{the distance of }}f(x){\text{ to }}f(x_{0}){\text{ is bigger (or equal) }}\epsilon }\end{array}}\end{aligned}}$

Further explanations considering the Epsilon-Delta criterion

The inequality $|x-x_{0}|<\delta$ means that the distance between $x$ and $x_{0}$ is smaller than $\delta$ . Analogously, $|f(x)-f(x_{0})|<\epsilon$ tells us that the distance between $f(x)$ and $f(x_{0})$ is smaller than $\epsilon$ . Therefor, the implication $|x-x_{0}|<\delta \implies |f(x)-f(x_{0})|<\epsilon$ just says that whenever $f(x)$ and $f(x_{0})$ are closer together than $\epsilon$ , then we know that the distance between $x$ and $x_{0}$ before applying the function must have been smaller than $\delta$ . Thus we may interpret the epsilon-delta criterion in the following way:

No matter how small we set the maximal distance $\epsilon$ between function values $f(x)$ , there will always be a $\delta >0$, such that $f(x)$ and $f(x_{0})$ (after being mapped) are closer together than $\epsilon$ , whenever $x$ is closer to $x_{0}$ than $\delta$ .

For continuous functions, we can control the error $f(x)$ to be lower than $\epsilon$ by keeping the error in the argument sufficiently small (smaller than $\delta$). Finding a $\delta$ means answering the question: How low does my initial error in the argument have to be in order to get a final error smaller than $\epsilon$ . This may get interesting when doing numerical calculations or measurements. Imagine, you are measuring some $x_{0}$ and then using it to compute $f(x_{0})$ where $f$ is a continuous function. The epsilon-delta criterion allows you to find the maximal error $\delta$ in $x$ (i.e. $|x-x_{0}|<\delta$), which guarantees that the final error $|f(x)-f(x_{0})|$ will be smaller than $\epsilon$.

A $\delta$ may only be found if small changes around the argument $x_{0}$ also cause small changes around the function value $f(x_{0})$ . Hence, concerning functions continuous at $x_{0}$ , there has to be:

$x\approx x_{0}\implies f(x)\approx f(x_{0})$

I.e.: whenever $x$ is sufficiently close to $x_{0}$ , then $f(x)$ is approximately $f(x_{0})$. This may also be described using the notion of an $\epsilon$-neighborhood:

For every $\epsilon$-neighborhood $(f(x_{0})-\epsilon ,f(x_{0})+\epsilon )$ around $f(x_{0})$ - no matter how small it may be - there is always a $\delta$-neighborhood $(x_{0}-\delta ,x_{0}+\delta )$ around $x_{0}$, whose function values are all mapped into the $\epsilon$-neighborhood.

In topology, this description using neighborhoods will be generalized to a topological definition of continuity.

Visualization of the Epsilon-Delta criterion

Description of continuity using the graph

The epsilon-delta criterion may nicely be visualized by taking a look at the graph of a funtion. Let's start by getting a picture of the implication $|x-x_{0}|<\delta \implies |f(x)-f(x_{0})|<\epsilon$. This means, the distance between $f(x)$ and $f(x_{0})$ is smaller than epsilon, whenever $x$ is closer to $x_{0}$ than $\delta$ . So for $x\in (x_{0}-\delta ,x_{0}+\delta )$, there is $f(x)\in (f(x_{0})-\epsilon ,f(x_{0})+\epsilon )$. Hence, the point $(x,f(x))$ has to be inside the rectangle $(x_{0}-\delta ,x_{0}+\delta )\times (f(x_{0})-\epsilon ,f(x_{0})+\epsilon )$ . This is a rectangle with width $2\delta$ and height $2\epsilon$ centered at $(x_{0},f(x_{0}))$:

The 2epsilon-2delta-rectangle

We will call this the $2\epsilon$-$2\delta$-rectangle and only consider its interior. That means, the boundary does not belong to the rectangle. Following the epsilon-delta criterion, the implication $|x-x_{0}|<\delta \implies |f(x)-f(x_{0})|<\epsilon$ has to be fulfilled for all arguments $x$ . Thus, all points making up the graph of $f$ restricted to arguments inside the interval $(x_{0}-\delta ,x_{0}+\delta )$ (in the interior of the $2\epsilon$-$2\delta$-rectangle, which is marked green) must never be above or below the rectangle (the red area):

The 2epsilon-2delta-rectangle with allowed and forbidden areas

So graphically, we may describe the epsilon-delta criterion as follows:

For all rectangle heights $\epsilon >0$ , there is a sufficiently small rectangle width $\delta >0$, such that the graph of $f$ restricted to $(x_{0}-\delta ,x_{0}+\delta )$ (i.e. the width of the rectangle) is entirely inside the green interior of the $2\epsilon$-$2\delta$-rectangle, and never in the red above or below area.

Example of a continuous function

For an example, consider the function $f:\mathbb {R} \to \mathbb {R} :x\mapsto {\tfrac {1}{3}}x$ . This fucntion is continuous everywhere - and hence also at the argument $x_{0}=1$. There is $f(x_{0})=f(1)={\tfrac {1}{3}}\cdot 1={\tfrac {1}{3}}$. At first, consider a maximal final error of $\epsilon =1$ around $f(x_{0})$. With $\delta =2$ , we can find a $\delta >0$, such that the graph of $f$ is entirely situated inside the interior of the $2\epsilon$-$2\delta$-rectangle:

Visualization of epsilon-delta continuity

But not only for $\epsilon =1$, but for any $\epsilon >0$ we may find a $\delta >0$ , such that the graph of $f$ is situated entirely inside the respective $2\epsilon$-$2\delta$-rectangle:

• 
  For $\epsilon ={\tfrac {1}{2}}$ , one can choose $\delta =1$ and the graph is in the interior of the $2\epsilon$-$2\delta$-rectangle.
• 
  In case $\epsilon ={\tfrac {1}{3}}$, the width $\delta ={\tfrac {3}{4}}$ will be small enough to get the graph into the $2\epsilon$-$2\delta$-rectangle.

Example for a discontinuous function

What happens if the function is discontinuous? Let's take the signum function $\operatorname {sgn}$, which is discontinuous at 0:

$\operatorname {sgn} :\mathbb {R} \to \mathbb {R} :x\mapsto {\begin{cases}1&x>0\\0&x=0\\-1&x<0\end{cases}}$

And here is its graph:

Graph of the signum function

The graph intuitively allows to recognize that at $x_{0}=0$ , there certainly is a discontinuity. And we may see this using the rectangle visualization, as well. When choosing a rectangle height $\epsilon$, smaller than the jump height (i.e. $\epsilon <1$), then there is no $\delta$, such that the graph can be fitted entirely inside the $2\epsilon$-$2\delta$-rectangle. For instance if $\epsilon ={\tfrac {1}{2}}$ , then for any $\delta$ - no matter how small - there will always be function values above or below the $2\epsilon$-$2\delta$-rectangle. In fact, this apples to all values except for $f(0)=0$:

• 
  For $\epsilon ={\tfrac {1}{2}}$ and $\delta =2$ , the signum function has values above or below the $2\epsilon$-$2\delta$-rectangle (colored in red).
• 
  For $\delta ={\tfrac {1}{2}}$ we will find points in the graph above or below the $2\epsilon$-$2\delta$-rectangle, as well.

Dependence of delta or epsilon choice

Continuity

How does the choice of $\delta >0$ depend on $x_{0}$ and $\epsilon$? Suppose, an arbitrary $\epsilon >0$ is given in order to check continuity of $f$. Now, we need to find a rectangle width $\delta >0$ , such that the restriction of the graph of $f$ to arguments inside the interval $(x_{0}-\delta ,x_{0}+\delta )$ entirely fits into the epsilon-tube $(f(x_{0})-\epsilon ,f(x_{0})+\epsilon )$ . This of course requires choosing $\delta$sufficiently small. When $\delta$ is too large, there may be an argument $x$ in $(x_{0}-\delta ,x_{0}+\delta )$, where $f(x)$ has escaped the tube, i.e. it has a distance to $f(x_{0})$ larger than $\epsilon$ :

• 
  If for a given $\epsilon$ , the respective $\delta$ is chosen too large, then there may be function values above or below the $2\epsilon$-$2\delta$-rectangle (marked red, here).
• 
  By contrast, if $\delta$ is re-scaled to be sufficiently small, the graph entirely fits into the $2\epsilon$-$2\delta$-rectangle.

How small $\delta$ has to be chosen, will depend on three factors: The function $f$, the given $\epsilon$ and the argument $x_{0}$. Depending on the function slope, a different $\delta$ chosen (steep functions require a smaller $\delta$). Furthermore, for a smaller $\epsilon$ we also have to choose a smaller $\delta$ . The following diagrams illustrate this: Here, a quadratic function is plotted, which is continuous at $x_{0}=1$ . For a smaller $\epsilon$ , we also need to choose a smaller $\delta$ :

Dependence of δ on ε: In general, δ has to be chosen smaller as ε shrinks.

The choice of $\delta$ will depend on the argument $x_{0}$, as well. The more a function changes in the neighborhood of a certain point (i.e. it is steep around it), the smaller we have to choose $\delta$ . The following graphic demonstrates this: The $\delta$-value proposed there is sufficiently small at $x_{0}$ , but too large at $x_{1}$ :

The value for delta is sufficiently small for x_0, but too large for x_1.

In the vicinity of $x_{1}$ , the function $f$ has a higher slope compared to $x_{0}$. Hence, we need to choose a smaller $\delta$ at $x_{1}$ . Let us denote the $\delta$-values at $x_{0}$ and $x_{1}$ correspondingly by $\delta _{0}$ and $\delta _{1}$ - and choose $\delta _{1}$ to be smaller:

Both interval widths delta_1 and delta_2 are small enough for the given epsilon.

So, we have just seen that the choice of $\delta$ depends on the function $f$ to be considered, as well as the argument $x_{0}$ and the given $\epsilon$ .

Discontinuity

For a discontinuity proof, the relations between the variables will interchange. This relates back to the interchange of the quantifiers under negation of propositions. In order to show discontinuity, we need to find an $\epsilon >0$ small enough, such that for no $\delta >0$ the graph of $f$ fits entirely into the $2\epsilon$-$2\delta$-rectangle. In particular, if the discontinuity is caused by a jump, then $\epsilon$ must be chosen smaller than the jump height. For $\epsilon$ too large, there might be a $\delta$, such that $f$ does fit into the $2\epsilon$-$2\delta$-rectangle:

• 
  Choosing $\epsilon$ too lage for the signum function, we get a $\delta$, such that the graph entirely fits into the $2\epsilon$-$2\delta$-rectangle.
• 
  If $\epsilon$ is chosen small enough, then for any $\delta >0$ there will be function values above or below the $2\epsilon$-$2\delta$-retangle.

Which $\epsilon$has to be chosen again depends on the function around $x_{0}$ . After $\epsilon$ has been chosen, an arbitrary $\delta >0$ will be considered. Then, an $x$ between $x_{0}-\delta$ and $x_{0}+\delta$ has to be found, such that $f(x)$ has a distance larger than (or equal to) $\epsilon$ to $f(x_{0})$ . That means, the point $(x,f(x))$ has to be situated above or below the $2\epsilon$-$2\delta$-rectangle. Which $x$ has to be chosen depends on a varety of parameters: the chosen $\epsilon$ and the arbitrarily given $\delta$, the discontinuity and the behavior of the function around it.

Example problems

Continuity

Exercise (Continuity of a linear function)

Prove that a linear function $f:\mathbb {R} \to \mathbb {R}$ with $f(x)={\tfrac {1}{3}}x$ is continuous.

How to get to the proof? (Continuity of a linear function)

Graph of a function $f:\mathbb {R} \to \mathbb {R}$ with $f(x)={\tfrac {1}{3}}x$. Considering the graph , we see that this function is continuous everywhere.

To actually prove continuity of $f$ , we need to check continuity at any argument $x_{0}\in \mathbb {R}$ . So let $x_{0}$ be an arbitrary real number. Now, choose any arbitrary maximal error $\epsilon >0$ . Our task is now to find a sufficiently small $\delta >0$ , such that $|f(x)-f(x_{0})|<\epsilon$ for all arguments $x$ with $|x-x_{0}|<\delta$ . Let us take a closer look at the inequality $|f(x)-f(x_{0})|<\epsilon$ :

${\begin{aligned}{\begin{array}{rrl}&|f(x)-f(x_{0})|&<\epsilon \\[0.5em]\iff &\left|{\frac {1}{3}}x-{\frac {1}{3}}x_{0}\right|&<\epsilon \\[0.5em]\iff &\left|{\frac {1}{3}}(x-x_{0})\right|&<\epsilon \\[0.5em]\iff &{\frac {1}{3}}|x-x_{0}|&<\epsilon \end{array}}\end{aligned}}$

That means, ${\tfrac {1}{3}}|x-x_{0}|<\epsilon$ has to be fulfilled for all $x$ with $|x-x_{0}|<\delta$ . How to choose $\delta$ , such that $|x-x_{0}|<\delta$ implies ${\tfrac {1}{3}}|x-x_{0}|<\epsilon$ ?

We use that the inequality ${\tfrac {1}{3}}|x-x_{0}|<\epsilon$ contains the distance $|x-x_{0}|$ . As $|x-x_{0}|<\delta$ we know that this distance is smaller than $\delta$ . This can be plugged into the inequality ${\tfrac {1}{3}}|x-x_{0}|$ :

${\frac {1}{3}}|x-x_{0}|{\stackrel {|x-x_{0}|<\delta }{<}}{\frac {1}{3}}\delta$

If $\delta$ is now chosen such that ${\tfrac {1}{3}}\delta \leq \epsilon$ , then ${\tfrac {1}{3}}|x-x_{0}|<{\tfrac {1}{3}}\delta$ will yield the inequality ${\tfrac {1}{3}}|x-x_{0}|<\epsilon$ which we wanted to show. The smallness condition for $\delta$ can now simply be found by resolving ${\tfrac {1}{3}}\delta \leq \epsilon$ for $\delta$:

${\tfrac {1}{3}}\delta \leq \epsilon \iff \delta \leq 3\epsilon$

Any $\delta$ satisfying $0<\delta \leq 3\epsilon$ could be used for the proof. For instance, we may use $\delta =3\epsilon$. As we now found a suitable $\delta$, we can finally conduct the proof:

Proof (Continuity of a linear function)

Let $f:\mathbb {R} \to \mathbb {R}$ with $f(x)={\tfrac {1}{3}}x$ and let $x_{0}\in \mathbb {R}$ be arbitrary. In addition, consider any $\epsilon >0$ to be given. We choose $\delta =3\epsilon$. Let $x\in \mathbb {R}$ with $|x-x_{0}|<\delta$. There is:

${\begin{aligned}|f(x)-f(x_{0})|&=\left|{\frac {1}{3}}x-{\frac {1}{3}}x_{0}\right|\\[0.5em]&=\left|{\frac {1}{3}}(x-x_{0})\right|\\[0.5em]&={\frac {1}{3}}|x-x_{0}|\\[0.5em]&\quad {\color {Gray}\left\downarrow \ |x-x_{0}|<\delta \right.}\\[0.5em]&<{\frac {1}{3}}\delta \\[0.5em]&\quad {\color {Gray}\left\downarrow \ \delta =3\epsilon \right.}\\[0.5em]&\leq {\frac {1}{3}}(3\epsilon )=\epsilon \end{aligned}}$

This shows $|f(x)-f(x_{0})|<\epsilon$, and establishes continuity of $f$ at $x_{0}$ by means of the epsilon-delta criterion. Since $x_{0}\in \mathbb {R}$ was chosen to be arbitrary, we also know that the entire function $f$ is continuous.

Discontinuity

Exercise (Discontinuity of the signum function)

Prove that the signum function is $\operatorname {sgn} :\mathbb {R} \to \mathbb {R}$ is discontinuous:

$\operatorname {sgn}(x)={\begin{cases}1&x>0\\0&x=0\\-1&x<0\end{cases}}$

How to get to the proof? (Discontinuity of the signum function)

In order to prove discontinuity of the entire function, we just have to find one single argument where it is discontinuous. Considering the graph of $\operatorname {sgn}$ , we can already guess, which argument this may be:

Graph of the signum function

The function has a jump at $x_{0}=0$ . So we expect it to be discontinuous, there. It remains to choose an $\epsilon >0$ that makes it impossible to find a $\delta >0$ , that makes the function fit into the $2\epsilon$-$2\delta$-rectangle. This is done by setting $\epsilon$ smaller than the jump height $1$ - for instance $\epsilon ={\tfrac {1}{2}}$. For that $\epsilon$, no matter how $\delta >0$ is given, there will be function values above or below the $2\epsilon$-$2\delta$-rectangle.

So let $\delta >0$ be arbitrary. We need to show that there is an $x$ with $|x-x_{0}|<\delta$ but $|f(x)-f(x_{0})|\geq \epsilon$ . Let us take a look at the inequality $|x-x_{0}|<\delta$ :

$|x-x_{0}|<\delta {\stackrel {x_{0}=0}{\iff }}|x|<\delta$

This inequality classifies all $x$ that can be used for the proof. The particular $x$ we choose has to fulfill $|f(x)-f(x_{0})|\geq \epsilon$ :

${\begin{aligned}{\begin{array}{rrl}&|f(x)-f(x_{0})|&\geq \epsilon \\[0.5em]\iff &|\operatorname {sgn}(x)-\operatorname {sgn}(x_{0})|&\geq {\frac {1}{2}}\\[0.5em]\iff &|\operatorname {sgn}(x)-\operatorname {sgn}(0)|&\geq {\frac {1}{2}}\\[0.5em]\iff &|\operatorname {sgn}(x)|&\geq {\frac {1}{2}}\end{array}}\end{aligned}}$

So our $x$ needs to fulfill both $|x|<\delta$ and $|\operatorname {sgn}(x)|\geq {\tfrac {1}{2}}$ . The second inequality $|\operatorname {sgn}(x)|\geq {\tfrac {1}{2}}$ may be achieved quite easily: For any $x\neq 0$ , the value $\operatorname {sgn}(x)$ is either $1$ or $-1$. So $x\neq 0$ does always fulfill $|\operatorname {sgn}(x)|=1\geq {\tfrac {1}{2}}$.

Now we need to fulfill the first inequality $|x|<\delta$. From the second inequality, we have just concluded $x\neq 0$ . This is particularly true for all $x$ with $0<x<\delta$ . Therefore, we choos $x$ to be somewhere between $0$ and $\delta$ , for instance $x={\tfrac {0+\delta }{2}}={\tfrac {\delta }{2}}$.

The following figure shows that this is a sensible choice. The $2\epsilon$-$2\delta$-rectangle with $\epsilon ={\tfrac {1}{2}}$ and $\delta ={\tfrac {1}{2}}$ is drawn here. All points above or below that rectangle are marked red. These are exactly all $x$ inside the interval $(-\delta ,\delta )$ excluding $0$. Our chosen $x={\tfrac {\delta }{2}}$ (red dot) is situated directly in the middle of the red part of the graph above the rectangle:

At x=δ/2, the graph is above the 2ϵ-2δ-rectangle

So choosing $x={\tfrac {\delta }{2}}$ is enough to complete the proof:

Proof (Discontinuity of the signum function)

We set $x_{0}=0$ (this is where $f$ is discontinuous). In addition, we choose $\epsilon ={\tfrac {1}{2}}$. Let $\delta >0$ be arbitrary. For that given $\delta$, we choose $x={\tfrac {\delta }{2}}$. Now, on one hand there is:

${\begin{aligned}{\begin{array}{rrl}&{\frac {1}{2}}&<1\\[0.5em]\implies &{\frac {1}{2}}\delta &<\delta \\[0.5em]\implies &\left|{\frac {1}{2}}\delta \right|&<\delta \\[0.5em]\implies &\left|{\frac {1}{2}}\delta -0\right|&<\delta \\[0.5em]\implies &|x-x_{0}|&<\delta \end{array}}\end{aligned}}$

But on the other hand:

${\begin{aligned}|f(x)-f(x_{0})|&=|\operatorname {sgn}(x)-\operatorname {sgn}(x_{0})|\\[0.5em]&=\left|\operatorname {sgn} \left({\frac {\delta }{2}}\right)-\operatorname {sgn}(0)\right|\\[0.5em]&=\left|1-0\right|\\[0.5em]&=1\\[0.5em]&\geq {\frac {1}{2}}=\epsilon \end{aligned}}$

So indeed, $\operatorname {sgn}$ is discontinuous at $x_{0}=0$ . Hence, the function $\operatorname {sgn}$ is discontinuous itself.

Relation to the sequence criterion

Now, we have two definitions of continuity: the epsilon-delta and the sequence criterion. In order to show that both definitions describe the same concept, we have to prove their equivalence. If the sequence criterion is fulfilled, it must imply that the epsilon-delta criterion holds and vice versa.

Epsilon-delta criterion implies sequence criterion

Theorem (The epsilon-delta criterion implies the sequence criterion)

Let $f:D\to \mathbb {R}$ with $D\subseteq \mathbb {R}$ be any function. If this function satisfies the epsilon-dela criterion at $x_{0}\in D$ , then the sequence criterion is fulfilled at $x_{0}$ , as well.

How to get to the proof? (The epsilon-delta criterion implies the sequence criterion)

Let us assume that the function $f:D\to \mathbb {R}$ satisfies the epsilon-delta criterion at $x_{0}\in D$ . That means:

For every $\epsilon >0$ , there is a $\delta >0$ such that $|f(x)-f(x_{0})|<\epsilon$ for all $x\in D$ with $|x-x_{0}|<\delta$ .

We now want to prove that the sequence criterion is satisfied, as well. So we have to show that for any sequence of arguments $(x_{n})_{n\in \mathbb {N} }$ converging to $x_{0}$ , there also has to be $\lim _{n\to \infty }f(x_{n})=f(x_{0})$ . We therefor consider an arbitrary sequence of arguments $(x_{n})_{n\in \mathbb {N} }$ in the domain $x_{n}\in D$ with $\lim _{n\to \infty }x_{n}=x_{0}$. Our job is to show that the sequence of function values $\left(f(x_{n})\right)_{n\in \mathbb {N} }$ converges to $f(x_{0})$ . So by the definition of convergence:

For any $\epsilon >0$ there has to be an $N\in \mathbb {N}$ such that $|f(x_{n})-f(x_{0})|<\epsilon$ for all $n\geq N$.

Let $\epsilon >0$ be arbitrary. We have to find a suitable $N\in \mathbb {N}$ with $|f(x_{n})-f(x_{0})|<\epsilon$ for all sequence elements beyond that $N$ , i.e. $n\geq N$ . The inequality $|f(x_{n})-f(x_{0})|<\epsilon$ seems familiar, recalling the epsilon-delta criterion. The only difference is that the argument $x$ is replaced by a sequence element $x_{n}$ - so we consider a special case for $x$ . Let us apply the epsilon-delta criterion to that special case, with our arbitrarily chosen $\epsilon$ being given:

There is a $\delta >0$, such that $|f(x_{n})-f(x_{0})|<\epsilon$ for all sequence elements $x_{n}$ fulfilling $|x_{n}-x_{0}|<\delta$ .

Our goal is coming closer. Whenever a sequence element $x_{n}$ is close to $x_{0}$ with $|x_{n}-x_{0}|<\delta$ , it will satisfy the inequality which we want to show, namely $|f(x_{n})-f(x_{0})|<\epsilon$. It remains to choose an $N\in \mathbb {N}$, where this is the case for all sequence elements beyond $x_{N}$ . The convergence $\lim _{n\to \infty }x_{n}=x_{0}$ implies that $|x_{n}-x_{0}|$ gets arbitrarily small. So by the definition of continuity, we may find an ${\tilde {N}}\in \mathbb {N}$, with $|x_{n}-x_{0}|<\delta$ for all $n\geq {\tilde {N}}$ . This ${\tilde {N}}$ now plays the role of our $N$. If there is $n\geq N={\tilde {N}}$, it follows that $|x_{n}-x_{0}|<\delta$ and hence $|f(x_{n})-f(x_{0})|<\epsilon$ by the epsilon-delta criterion. In fact, any $N\geq {\tilde {N}}$ will do the job. We now conclude our considerations and write down the proof:

Proof (The epsilon-delta criterion implies the sequence criterion)

Let $f:D\to \mathbb {R}$ e a function satisfying the epsilon-delta criterion at $x_{0}\in D$ . Let $(x_{n})_{n\in \mathbb {N} }$ be a sequence inside the domain of definition, i.e. $x_{n}\in D$ for all $n\in \mathbb {N}$ coverging as $\lim _{n\to \infty }x_{n}=x_{0}$. We would like to show that for any given $\epsilon >0$ there exists an $N\in \mathbb {N}$ , such that $|f(x_{n})-f(x_{0})|<\epsilon$ holds for all $n\geq N$ .

So let $\epsilon >0$ be given. Following the epsilon-delta criterion, there is a $\delta >0$, with $|f(x)-f(x_{0})|<\epsilon$ for all $x\in D$ close to $x_{0}$ , i.e. $|x-x_{0}|<\delta$ . As $(x_{n})_{n\in \mathbb {N} }$ converges to $x_{0}$ , we may find an $N\in \mathbb {N}$ with $|x_{n}-x_{0}|<\delta$ for all $n\geq N$ .

Now, let $n\geq N$ be arbitrary. Hence, $|x_{n}-x_{0}|<\delta$. The epsilon-delta criterion now implies $|f(x_{n})-f(x_{0})|<\epsilon$. This proves $\lim _{n\to \infty }f(x_{n})=f(x_{0})$ and therefore establishes the epsilon-delta criterion.

Sequence criterion implies epsilon-delta criterion

Theorem (The sequence criterion implies the epsilon-delta criterion)

Let $f:D\to \mathbb {R}$ with $D\subseteq \mathbb {R}$ be a function. If $f$ satisfies the sequence criterion at $x_{0}\in D$ , then the epsilon-delta criterion is fulfilled there, as well.

How to get to the proof? (The sequence criterion implies the epsilon-delta criterion)

We need to show that the following implication holds:

$f{\text{ satisfies the sequence criterion in }}x_{0}\in D\implies f{\text{ satisfies the epsilon-delta criterion in }}x_{0}\in D$

This time, we do not show the implication directly, but using a contraposition. So we will prove the following implication (which is equivalent to the first one):

$\neg \left(f{\text{ satisfies the epsilon-delta criterion in }}x_{0}\in D\right)\implies \neg \left(f{\text{ satisfies the sequence criterion in }}x_{0}\in D\right)$

Or in other words:

$f{\text{ violates the epsilon-delta criterion in }}x_{0}\in D\implies f{\text{ violates the sequence criterion in }}x_{0}\in D$

So let $f:D\to \mathbb {R}$ be a function that violates the epsilon-delta criterion at $x_{0}\in D$ . Hence, $f$ fulfills the discontinuity version of the epsilon-delta criterion at $x_{0}$. We can find an $\epsilon >0$,such that for any $\delta >0$ there is a $x\in D$ with $|x-x_{0}|<\delta$ but $|f(x)-f(x_{0})|\geq \epsilon$ . It is our job now to prove, that the sequence criterion is violated, as well. This requires choosing a sequence of aguments $(x_{n})_{n\in \mathbb {N} }$ , converging as $\lim _{n\to \infty }x_{n}=x_{0}$ but $\lim _{n\to \infty }f(x_{n})\neq f(x_{0})$ .

This choice will be done exploiting the discontinuity version of the epsilon-delta criterion. That version provides us with an $\epsilon >0$ , where $|f(x)-f(x_{0})|\geq \epsilon$ holds (so continuity is violated) for certain arguments $x$ . We will now construct our sequence exclusively out of those certain $x$ . This will automatically get us $\lim _{n\to \infty }f(x_{n})\neq f(x_{0})$.

So how to find a suitable sequence of arguments $(x_{n})_{n\in \mathbb {N} }$, converging to $x_{0}$ ? The answer is: by choosing a null sequence $(\delta _{n})_{n\in \mathbb {N} }$. Practically, this is done as follows: we set $\delta _{n}={\tfrac {1}{n}}$ . For any $\delta _{n}$ , we take one of the certain $x$ for $\delta =\delta _{n}$ as our argument $x_{n}$ . Then, $|x_{n}-x_{0}|<\delta _{n}$ but also $|f(x_{n})-f(x_{0})|\geq \epsilon$. These $x_{n}$ make up the desired sequence $(x_{n})_{n\in \mathbb {N} }$. On one hand, there is $|x_{n}-x_{0}|<\delta _{n}$ and as $\lim _{n\to \infty }\delta _{n}=0$ , the convergence $\lim _{n\to \infty }x_{n}=x_{0}$ holds. But on the other hand $|f(x_{n})-f(x_{0})|\geq \epsilon$ , so the sequence of function values $\left(f(x_{n})\right)_{n\in \mathbb {N} }$ does not converge to $f(x_{0})$ . Let us put these thoughts together in a single proof:

Proof (The sequence criterion implies the epsilon-delta criterion)

We establish the theorem by contraposition. It needs to be shown that a function $f:D\to \mathbb {R}$ violating the epsilon-delta criterion at $x_{0}\in D$ also violates the sequence criterion at $x_{0}$ . So let $f:D\to \mathbb {R}$ with $D\subseteq \mathbb {R}$ be a function violating the epsilon-delta criterion at $x_{0}\in D$ . Hence, there is an $\epsilon >0$, such that for all $\delta >0$ an $x\in D$ exists with $|x-x_{0}|<\delta$ but $|f(x)-f(x_{0})|\geq \epsilon$ .

So for any $\delta _{n}={\tfrac {1}{n}}$ , there is an $x_{n}\in D$ with $|x_{n}-x_{0}|<\delta _{n}$ but $|f(x_{n})-f(x_{0})|\geq \epsilon$. The inequality $|x_{n}-x_{0}|<\delta _{n}$ can also be written $x_{0}-\delta _{n}\leq x_{n}\leq x_{0}+\delta _{n}$. As $\lim _{n\to \infty }\delta _{n}=0$ , there is both $\lim _{n\to \infty }x_{0}-\delta _{n}=x_{0}$ and $\lim _{n\to \infty }x_{0}+\delta _{n}=x_{0}$. Thus, by the sandwich theorem, the sequence $(x_{n})_{n\in \mathbb {N} }$ converges to $x_{0}$.

But since $|f(x_{n})-f(x_{0})|\geq \epsilon$ for all $n\in \mathbb {N}$ , the sequence $\left(f(x_{n})\right)_{n\in \mathbb {N} }$ can not converge to $f(x_{0})$ . Therefore, the sequence criterion is violated at $x_{0}$ for the function $f$ : We have found a sequence of arguments $(x_{n})_{n\in \mathbb {N} }$ with $\lim _{n\to \infty }x_{n}=x_{0}$ but $\lim _{n\to \infty }f(x_{n})\neq f(x_{0})$.

Exercises

Quadratic function

Exercise (Continuity of the quadratic function)

Prove that the function $f:\mathbb {R} \to \mathbb {R}$ with $f(x)=x^{2}$ is continuous.

How to get to the proof? (Continuity of the quadratic function)

For this proof, we need to show that the square function is continuous at any argument $x_{0}\in \mathbb {R}$ . Using the proof structure for the epsilon-delta criterion, we are given an arbitrary $\epsilon >0$ . Our job is to find a suitable $\delta >0$ , such that the inequality $|f(x)-f(x_{0})|<\epsilon$ holds for all $|x-x_{0}|<\delta$.

In order to find a suitable $\delta$ , we plug in the definition of the function $f(x)=x^{2}$ into the expression $|f(x)-f(x_{0})|$ which shall be smaller than $\epsilon$:

$|f(x)-f(x_{0})|=\left|x^{2}-x_{0}^{2}\right|$

The expression $|x-x_{0}|$ may easily be controlled by $\delta$. Hence, it makes sense to construct an upper estimate for $\left|x^{2}-x_{0}^{2}\right|$ which includes $|x-x_{0}|$ and a constant. The factor $|x-x_{0}|$ appears if we perform a factorization using the third binomial formula:

$|x^{2}-x_{0}^{2}|=|x+x_{0}||x-x_{0}|$

The requirement $|x-x_{0}|<\delta$ allows for an upper estimate of our expression:

$|x+x_{0}||x-x_{0}|<|x+x_{0}|\cdot \delta$

The $\delta$ we are looking for may only depend on $\epsilon$ and $x_{0}$ . So the dependence on $x$ in the factor $|x+x_{0}|\cdot \delta$ is still a problem. We resolve it by making a further upper estimate for the factor $|x-x_{0}|$ . We will use a simple, but widely applied "trick" for that: A $x_{0}$ is subtracted and then added again at another place (so we are effectively adding a 0) , such that the expression $x-x_{0}$ appears:

$|x+x_{0}|\cdot \delta =|x\underbrace {-x_{0}+x_{0}} _{=\ 0}+x_{0}|\cdot \delta =|x-x_{0}+2x_{0}|\cdot \delta$

The absolute $|x-x_{0}|$ is obtained using the triangle inequality. This absolute $|x-x_{0}|$ is again bounded from above by $\delta$ :

$|x-x_{0}+2x_{0}|\cdot \delta \leq (|x-x_{0}|+|2x_{0}|)\cdot \delta <(\delta +2|x_{0}|)\cdot \delta$

So reshaping expressions and applying estimates, we obtain:

$|f(x)-f(x_{0})|<(\delta +2|x_{0}|)\cdot \delta$

With this inequality in hand, we are almost done. If $\delta$ is chosen in a way that $(\delta +2|x_{0}|)\cdot \delta \leq \epsilon$ , we will get the final inequality $|f(x)-f(x_{0})|<\epsilon$ . This $\delta$ is practically found solving the quadratic equation $\delta ^{2}+2|x_{0}|\delta =\epsilon$ for $\delta$ . Or even simpler, we may estimate $(\delta +2|x_{0}|)\cdot \delta$ from above. We use that we may freely impose any condition on $\delta$ . If we, for instance, set $\delta \leq 1$, then $\delta +2|x_{0}|\leq 1+2|x_{0}|$ which simplifies things:

$|f(x)-f(x_{0})|<(\underbrace {\delta +2|x_{0}|} _{\leq 1+2|x_{0}|})\cdot \delta \leq (1+2|x_{0}|)\cdot \delta$

So $(1+2|x_{0}|)\cdot \delta \leq \epsilon$ will also do the job. This inequality can be solved for $\delta$ to get the second condition on $\delta$(the first one was $\delta \leq 1$):

$(1+2|x_{0}|)\cdot \delta \leq \epsilon \iff \delta \leq {\frac {\epsilon }{1+2|x_{0}|}}$

So any $\delta$ fulfilling both conditions does the job: $\delta \leq 1$ and $\delta ={\tfrac {\epsilon }{1+2|x_{0}|}}$ have to hold. Ind indeed, both are true for $\delta :=\min \left\{1,{\tfrac {\epsilon }{1+2|x_{0}|}}\right\}$. This choice will be included into the final proof:

Proof (Continuity of the quadratic function)

Let $\epsilon >0$ be arbitrary and $\delta :=\min \left\{1,{\tfrac {\epsilon }{1+2|x_{0}|}}\right\}$. If an argument $x$ fulfills $\left|x-x_{0}\right|<\delta$ then:

${\begin{aligned}|f(x)-f(x_{0})|&=|x^{2}-x_{0}^{2}|\\[0.5em]&=|x+x_{0}||x-x_{0}|\\[0.5em]&\quad {\color {OliveGreen}\left\downarrow \ |x-x_{0}|<\delta \right.}\\[0.5em]&<|x+x_{0}|\cdot \delta \\[0.5em]&=|x\underbrace {-x_{0}+x_{0}} _{=\ 0}+x_{0}|\cdot \delta \\[0.5em]&=|x-x_{0}+2x_{0}|\cdot \delta \\[0.5em]&\leq (|x-x_{0}|+2|x_{0}|)\cdot \delta \\[0.5em]&\quad {\color {OliveGreen}\left\downarrow \ |x-x_{0}|<\delta \right.}\\[0.5em]&<(\delta +2|x_{0}|)\cdot \delta \\[0.5em]&\quad {\color {OliveGreen}\left\downarrow \ \delta \leq 1\right.}\\[0.5em]&\leq (1+2|x_{0}|)\cdot \delta \\[0.5em]&\quad {\color {OliveGreen}\left\downarrow \ \delta ={\frac {\epsilon }{1+2|x_{0}|}}\right.}\\[0.5em]&=(1+2|x_{0}|)\cdot {\frac {\epsilon }{1+2|x_{0}|}}\\[0.5em]&=\epsilon \end{aligned}}$

This shows that the square function is continuous by the epsilon-delta criterion.

Concatenated absolute function

Exercise (Example for a proof of continuity)

Prove that the following function is continuous at $x_{0}=1$:

$f:\mathbb {R} \to \mathbb {R} :x\mapsto f(x)=5\left|x^{2}-2\right|+3$

How to get to the proof? (Example for a proof of continuity)

We need to show that for each given $\epsilon >0$ , there is a $\delta >0$ , such that for all $x\in \mathbb {R}$ with $|x-x_{0}|<\delta$ the inequality $|f(x)-f(x_{0})|<\epsilon$ holds. In our case, $x_{0}=1$. So by choosing $|x-1|<\delta$ for $\delta$ small enough, we may control the expression $|x-1|$ . First, let us plug $x_{0}=1|$ into $|f(x)-f(x_{0})|$ in order to simplify the inequality to be shown $|f(x)-f(x_{0})|<\epsilon$ :

${\begin{aligned}|f(x)-f(x_{0})|&=|f(x)-f(1)|\\[0.5em]&=|5\cdot |x^{2}-2|+3-(5|1^{2}-2|+3)|\\[0.5em]&=|5\cdot |x^{2}-2|-5|\\[0.5em]&=5\cdot ||x^{2}-2|-1|\end{aligned}}$

The objective is to "produce" as many expressions $|x-1|$ as possible, since we can control $|x-1|<\delta$. It requires some experience with epsilon-delta proofs in order to "directly see" how this is achieved. First, we need to get rid of the double absolute. This is done using the inequality $||a|-|b||\leq |a-b|$ . For instance, we could use the following estimate:

${\begin{aligned}|f(x)-f(x_{0})|&=\ldots \\[0.3em]&=5\cdot ||x^{2}-2|-1|\\[0.3em]&=5\cdot ||x^{2}-2|-|1||\\[0.3em]&\ {\color {Gray}\left\downarrow \ ||a|-|b||\leq |a-b|\right.}\\[0.3em]&\leq 5\cdot |x^{2}-2-1|\\[0.3em]&=5\cdot |x^{2}-3|\end{aligned}}$

However, this is a bad estimate as the expression $|x^{2}-3|$ no longer tends to 0 as $x\to 1$ . To resolve this problem, we use $1=|-1|$ before applying the inequality $||a|-|b||\leq |a-b|$ :

${\begin{aligned}|f(x)-f(x_{0})|&=\ldots \\[0.3em]&=5\cdot |x^{2}-2|-1|\\[0.3em]&=5\cdot |x^{2}-2|-|-1||\\[0.3em]&\quad {\color {Gray}\left\downarrow \ |a-b|\geq ||a|-|b||\right.}\\[0.3em]&\leq 5\cdot |x^{2}-2-(-1)|\\[0.3em]&=5\cdot |x^{2}-1|\end{aligned}}$

A factor of $|x-1|$ can be directly extracted out of this with the third binomial fomula:

${\begin{aligned}|f(x)-f(x_{0})|&=\ldots \\[0.5em]&\leq 5\cdot |x^{2}-1|\\[0.5em]&=5\cdot |x+1||x-1|\end{aligned}}$

And we can control it by $|x-1|<\delta$:

${\begin{aligned}|f(x)-f(x_{0})|&=\ldots \\[0.5em]&\leq 5\cdot |x^{2}-1|\\[0.5em]&=5\cdot |x+1||x-1|\\[0.5em]&<5\cdot |x+1|\cdot \delta \end{aligned}}$

Now, the required $\delta$ must only depend on $\epsilon$ and $x_{0}$ . Therefore, we have to get rid of the $x$-dependence of $5|x+1|\cdot \delta$. This can be done by finding an upper bound for $5|x+1|$ which does not depend on $x$. As we are free to chose any $\delta$ for our proof, we may also impose any condition to it which helps us with the upper bound. In this case, $\delta \leq 1$ turns out to be quite useful. In fact, $\delta \leq 2$ or an even higher bound would do this job, as well. What follows from this choice?

As before, there has to be $|x-1|<\delta$. As $\delta \leq 1$ , we now have $|x-1|<1$ and as $x\in [1-1;1+1]$ , we obtain $1+x\in [1;3]$ and $|x+1|\leq 3$. This is the upper bound we were looking for:

${\begin{aligned}|f(x)-f(x_{0})|&=\ldots \\[0.5em]&<5\cdot |x+1|\cdot \delta \\[0.5em]&\quad {\color {Gray}\left\downarrow \ |x+1|\leq 3\right.}\\[0.5em]&\leq 15\cdot \delta \end{aligned}}$

As we would like to show $|f(x)-f(1)|<\epsilon$ , we set $\delta ={\tfrac {\epsilon }{15}}$. And get that our final inequality holds:

${\begin{aligned}|f(x)-f(x_{0})|&=\ldots \\[0.5em]&<15\cdot \delta \\[0.5em]&\leq 15\cdot {\frac {\epsilon }{15}}\\[0.5em]&\leq \epsilon .\end{aligned}}$

So if the two conditions for $\delta$ are satisfied, we get the final inequality. In fact, both conditions will be satisfied if $\delta =\min \left\{1,{\tfrac {\epsilon }{15}}\right\}$, concluding the proof. So let's conclude our ideas and write them down in a proof:

Proof (Example for a proof of continuity)

Let $\epsilon >0$ be arbitrary and let $\delta =\min \left\{1,{\tfrac {\epsilon }{15}}\right\}$. Further, let $x\in \mathbb {R}$ with $|x-1|<\delta$. Then:

Step 1: $|x+1|\leq 3$

As $\delta =\min \left\{1,{\tfrac {\epsilon }{15}}\right\}$ , there is $\delta \leq 1$. Hence $|x-1|\leq 1$ and $x\in [1-1;1+1]$. It follows that $1+x\in [1;3]$ and therefore $|x+1|\leq 3$.

Step 2: $|f(x)-f(x_{0})|<\epsilon$

${\begin{aligned}|f(x)-f(x_{0})|&=|f(x)-f(1)|\\[0.5em]&=|5\cdot |x^{2}-2|+3-(5|1^{2}-2|+3)|\\[0.5em]&=|5\cdot |x^{2}-2|-5|\\[0.5em]&=5\cdot ||x^{2}-2|-1|\\[0.5em]&\quad {\color {Gray}\left\downarrow \ 1\iff |-1|\right.}\\[0.5em]&=5\cdot ||x^{2}-2|-|-1||\\[0.5em]&\quad {\color {Gray}\left\downarrow \ |a-b|\geq ||a|-|b||\right.}\\[0.5em]&\leq 5\cdot |x^{2}-2-(-1)|\\[0.5em]&=5\cdot |x^{2}-1|\\[0.5em]&\quad {\color {Gray}\left\downarrow \ a^{2}-b^{2}=(a+b)(a-b)\right.}\\[0.5em]&=5\cdot (|x+1|\cdot \underbrace {|x-1|} _{<\delta })\\[0.5em]&<5\cdot |x+1|\cdot \delta \\[0.5em]&\quad {\color {Gray}\left\downarrow \ |x+1|\leq 3\right.}\\[0.5em]&\leq 15\delta \\[0.5em]&\quad {\color {Gray}\left\downarrow \ \delta ={\frac {\epsilon }{15}}\right.}\\[0.5em]&=15\cdot {\frac {\epsilon }{15}}\\[0.5em]&\leq \epsilon \end{aligned}}$

Hence, the function is continuous at $x_{0}=1$ .

Hyperbola

Exercise (Continuity of the hyperbolic function)

Prove that the function $f:\mathbb {R} ^{+}\to \mathbb {R}$ with $f(x)={\tfrac {1}{x}}$ is continuous.

How to get to the proof? (Continuity of the hyperbolic function)

The basic pattern for epsilon-delta proofs is applied here, as well. We would like to show the implication $|x-x_{0}|<\delta \implies |f(x)-f(x_{0})|<\epsilon$ . Forst, let us plug in what we know and reshape our terms a bit until a $|x-x_{0}|$ appears:

${\begin{aligned}|f(x)-f(x_{0})|&=\left|{\frac {1}{x}}-{\frac {1}{x_{0}}}\right|\\[0.5em]&=\left|{\frac {x-x_{0}}{x\cdot x_{0}}}\right|\\[0.5em]&={\frac {|x-x_{0}|}{|x||x_{0}|}}\\[0.5em]&={\frac {1}{|x||x_{0}|}}\cdot |x-x_{0}|\end{aligned}}$

By assumption, there will be $|x-x_{0}|<\delta$, of which we can make use:

$|f(x)-f(x_{0})|=\ldots ={\frac {1}{|x||x_{0}|}}\cdot |x-x_{0}|<{\frac {1}{|x||x_{0}|}}\cdot \delta$

The choice of $\delta$ may again only depend on $\epsilon$ and $x_{0}$ so we need a smart estimate for ${\tfrac {1}{|x|}}$ in order to get rid of the $x$-dependence. To do so, we consider $\delta \leq {\tfrac {x_{0}}{2}}$.

Why was $\delta \leq {\tfrac {x_{0}}{2}}$ and not $\delta \leq 1$ chosen? The explanation is quite simple: We need a $\delta$-neighborhood inside the domain of definition of $f$. If we had simply chosen $\delta \leq 1$ , we might have get kicked out of this domain. For instance, in case$x_{0}={\tfrac {1}{2}}$, the following problem appears:

The biggest $x$-value with $\left|x-{\tfrac {1}{2}}\right|<1$ is $x_{\mathrm {max} }={\tfrac {3}{2}}$ and the smallest one is $x_{\mathrm {min} }=-{\tfrac {1}{2}}$. However, $x_{\mathrm {min} }$ is not inside the domain of definition as $f:\mathbb {R} ^{+}\to \mathbb {R}$. In particular, $x=0$ is element of that interval, where $f(x)={\tfrac {1}{x}}$ cannot be defined at all.

A smarter choice for $\delta$, such that the $\delta$-neighborhood doesn't touch the $y$-axis is half of the distance to it, i.e. $\delta \leq {\tfrac {x_{0}}{2}}$. A third of this distance or other fractions smaller than 1 would also be possible: $\delta \leq {\tfrac {x_{0}}{3}}$, $\delta <{\tfrac {x_{0}}{20}}$ or $\delta <{\tfrac {x_{0}}{5321}}$.

As we chose $\delta \leq {\tfrac {x_{0}}{2}}$ and by $|x-x_{0}|<\delta$ , there is $x\in \left[{\tfrac {x_{0}}{2}};{\tfrac {3x_{0}}{2}}\right]$. This allows for an upper bound: ${\tfrac {1}{|x|}}\leq {\tfrac {2}{|x_{0}|}}$ and we may write:

${\begin{aligned}|f(x)-f(x_{0})|&=\ldots <{\frac {1}{|x||x_{0}|}}\cdot \delta \\[0.5em]&\quad {\color {Gray}\left\downarrow \ \delta ={\frac {\epsilon \cdot |x_{0}|^{2}}{2}}\right.}\\[0.5em]&\leq {\frac {2}{|x_{0}|^{2}}}\cdot \delta \end{aligned}}$

So we get the estimate:

$|f(x)-f(x_{0})|\leq {\frac {2}{|x_{0}|^{2}}}\cdot \delta$

Now, we want to prove $|f(x)-f(x_{0})|<\epsilon$ . Hence we choose $\delta \leq {\tfrac {\epsilon \cdot |x_{0}|^{2}}{2}}$. Plugging this in, our final inequality $|f(x)-f(x_{0})|<\epsilon$ will be fulfilled.

So again, we imposed two conditions for $\delta$ : $\delta \leq {\tfrac {x_{0}}{2}}$ and $\delta \leq {\tfrac {\epsilon \cdot |x_{0}|^{2}}{2}}$. Both are fulfilled by $\delta =\min \left\{{\tfrac {x_{0}}{2}},{\tfrac {\epsilon \cdot |x_{0}|^{2}}{2}}\right\}$, which we will use in the proof:

Proof (Continuity of the hyperbolic function)

Let $f:\mathbb {R} ^{+}\to \mathbb {R}$ with $f(x)={\tfrac {1}{x}}$ and let $x_{0}\in \mathbb {R} ^{+}$ be arbitrary. Further, let $\epsilon >0$ be arbitrary. We choose $\delta :=\min \left\{{\tfrac {x_{0}}{2}},{\tfrac {\epsilon \cdot |x_{0}|^{2}}{2}}\right\}$. For all $x\in \mathbb {R}$ with $|x-x_{0}|<\delta$ there is:

${\begin{aligned}|f(x)-f(x_{0})|&=\left|{\frac {1}{x}}-{\frac {1}{x_{0}}}\right|\\[0.5em]&=\left|{\frac {x-x_{0}}{x\cdot x_{0}}}\right|\\[0.5em]&={\frac {|x-x_{0}|}{|x||x_{0}|}}\\[0.5em]&={\frac {1}{|x||x_{0}|}}|x-x_{0}|\\[0.5em]&\quad {\color {Gray}\left\downarrow \ {\frac {1}{|x|}}\leq {\frac {2}{|x_{0}|}}\right.}\\[0.5em]&\leq {\frac {2}{|x_{0}|^{2}}}|x-x_{0}|\\[0.5em]&\quad {\color {Gray}\left\downarrow \ |x-x_{0}|<\delta \right.}\\[0.5em]&<{\frac {2\delta }{|x_{0}|^{2}}}\\[0.5em]&\quad {\color {Gray}\left\downarrow \ \delta ={\frac {\epsilon \cdot |x_{0}|^{2}}{2}}\right.}\\[0.5em]&={\frac {2}{|x_{0}|^{2}}}\cdot {\frac {\epsilon \cdot |x_{0}|^{2}}{2}}\\[0.5em]&=\epsilon \end{aligned}}$

Hence, the function $f$ is continuous at $x_{0}$ . And as $x_{0}$ was chosen to be arbitrary, the whole function $f$ is continuous.

Concatenated square root function

Exercise (Epsilon-Delta proof for the continuity of the Square Root Function)

Show, using the epsilon-delta criterion, that the following function is continuous:

$f:\mathbb {R} \to \mathbb {R} ,x\mapsto {\sqrt {5+x^{2}}}$

How to get to the proof? (Epsilon-Delta proof for the continuity of the Square Root Function)

We need to show, that for any given $\epsilon >0$ , there is a $\delta >0$ , such that all $x\in \mathbb {R}$ with $|x-a|<\delta$ satisfy the inequality $|f(x)-f(a)|<\epsilon$ . So let us take a look at the target inequality $|f(x)-f(a)|<\epsilon$ and estimate the absolute $|f(x)-f(a)|$ from above. We are able to control the term $|x-a|$ . Therefor, would like to get an upper bound for $|f(x)-f(a)|$ including the expression $|x-a|$ . So we are looking for an inequality of the form

$|f(x)-f(a)|\leq K(x,a)\cdot |x-a|$

Here, $K(x,a)$ is some expression depending on $x$ and $a$ . The second factor is smaller than $\delta$ and can be made arbitrarily small by a suitable choice of $\delta$ . Such a bound is constructed as follows:

${\begin{aligned}|f(x)-f(a)|&=\left|{\sqrt {5+x^{2}}}-{\sqrt {5+a^{2}}}\right|\\[0.3em]&\quad {\color {Gray}\left\downarrow \ {\text{expand with}}\left|{\sqrt {5+x^{2}}}+{\sqrt {5+a^{2}}}\right|\right.}\\[0.3em]&={\frac {\left|{\sqrt {5+x^{2}}}-{\sqrt {5+a^{2}}}\right|\cdot \left|{\sqrt {5+x^{2}}}+{\sqrt {5+a^{2}}}\right|}{\left|{\sqrt {5+x^{2}}}+{\sqrt {5+a^{2}}}\right|}}\\[0.3em]&\quad {\color {Gray}\left\downarrow \ {\sqrt {5+x^{2}}}+{\sqrt {5+a^{2}}}\geq 0\right.}\\[0.3em]&={\frac {\left|x^{2}-a^{2}\right|}{{\sqrt {5+x^{2}}}+{\sqrt {5+a^{2}}}}}\\[0.3em]&={\frac {\left|x+a\right|}{{\sqrt {5+x^{2}}}+{\sqrt {5+a^{2}}}}}\cdot |x-a|\\[0.3em]&\quad {\color {Gray}\left\downarrow \ K(x,a):={\frac {\left|x+a\right|}{{\sqrt {5+x^{2}}}+{\sqrt {5+a^{2}}}}}\right.}\\[0.3em]&=K(x,a)\cdot |x-a|\end{aligned}}$

Since $|x-a|<\delta$ , there is:

$|f(x)-f(a)|=K(x,a)\cdot |x-a|<K(x,a)\cdot \delta$

If we now choose $\delta$ small enough, such that $K(x,a)\cdot \delta \leq \epsilon$ , then we obtain our target inequality $|f(x)-f(a)|\leq \epsilon$. But $K(x,a)$ still depends on $x$ , so $\delta$ would have to depend on , too - and we required one choice of $\delta$ which is suitable for all $x$ . THerefore, we need to get rid of the $x$-dependence. This is done by an estimate of the first factor, such that our inequality takes the form $K(x,a)\leq {\tilde {K}}(a)$ :

${\begin{aligned}K(x,a)&={\frac {\left|x+a\right|}{{\sqrt {5+x^{2}}}+{\sqrt {5+a^{2}}}}}\\[0.3em]&\quad {\color {Gray}\left\downarrow \ {\text{triangle inequality}}\right.}\\[0.3em]&\leq {\frac {\left|x\right|}{{\sqrt {5+x^{2}}}+{\sqrt {5+a^{2}}}}}+{\frac {\left|a\right|}{{\sqrt {5+x^{2}}}+{\sqrt {5+a^{2}}}}}\\[0.3em]&\quad {\color {Gray}\left\downarrow \ {\frac {a}{b+c}}\leq {\frac {a}{b}}{\text{ for }}a,c\geq 0,b>0\right.}\\[0.3em]&\leq {\frac {\left|x\right|}{\sqrt {5+x^{2}}}}+{\frac {\left|a\right|}{\sqrt {5+a^{2}}}}\\[0.3em]&\quad {\color {Gray}\left\downarrow \ {\frac {|a|}{\sqrt {5+a^{2}}}}\leq 1{\text{, since }}{\sqrt {5+a^{2}}}\geq {\sqrt {a^{2}}}=|a|\right.}\\[0.3em]&\leq 2=:{\tilde {K}}(a)\end{aligned}}$

We even made ${\tilde {K}}(a)$ independent of $a$ , which would in fact not have been necessary. So we obtain the following inequality

$|f(x)-f(a)|\leq 2\cdot |x-a|<2\cdot \delta$

We need the estimate $2\cdot \delta \leq \epsilon$, in order to fulfill the target inequality $|f(x)-f(a)|<\epsilon$ . The choice of $\delta ={\tfrac {\epsilon }{2}}$ is sufficient for that. So let us write down the proof:

Proof (Epsilon-Delta proof for the continuity of the Square Root Function)

Let $f:\mathbb {R} \to \mathbb {R}$ with $f(x)={\sqrt {5+x^{2}}}$. Let $a\in \mathbb {R}$ and an arbitrary $\epsilon >0$ be given. We choose $\delta ={\tfrac {\epsilon }{2}}$. For all $x\in \mathbb {R}$ with $|x-a|<\delta$ there is:

${\begin{aligned}|f(x)-f(a)|&=\left|{\sqrt {5+x^{2}}}-{\sqrt {5+a^{2}}}\right|\\[0.3em]&={\frac {\left|{\sqrt {5+x^{2}}}-{\sqrt {5+a^{2}}}\right|\cdot \left|{\sqrt {5+x^{2}}}+{\sqrt {5+a^{2}}}\right|}{\left|{\sqrt {5+x^{2}}}+{\sqrt {5+a^{2}}}\right|}}\\[0.3em]&={\frac {\left|x^{2}-a^{2}\right|}{{\sqrt {5+x^{2}}}+{\sqrt {5+a^{2}}}}}\\[0.3em]&={\frac {\left|x+a\right|}{{\sqrt {5+x^{2}}}+{\sqrt {5+a^{2}}}}}\cdot |x-a|\\[0.3em]&\leq \left({\frac {\left|x\right|}{{\sqrt {5+x^{2}}}+{\sqrt {5+a^{2}}}}}+{\frac {\left|a\right|}{{\sqrt {5+x^{2}}}+{\sqrt {5+a^{2}}}}}\right)\cdot |x-a|\\[0.3em]&\leq \left({\frac {\left|x\right|}{\sqrt {5+x^{2}}}}+{\frac {\left|a\right|}{\sqrt {5+a^{2}}}}\right)\cdot |x-a|\\[0.3em]&\leq (1+1)\cdot |x-a|\\[0.3em]&\leq 2\cdot |x-a|\\[0.3em]&\quad {\color {Gray}\left\downarrow \ |x-a|<\delta ={\frac {\epsilon }{2}}\right.}\\[0.3em]&<2\cdot {\frac {\epsilon }{2}}=\epsilon \end{aligned}}$

Hence, $f$ is a continuous function.

Discontinuity of the topological sine function

Exercise (Discontinuity of the topological sine fucntion)

Prove the discontinuity at $x_{0}=0$ for the topological sine function:

$f:\mathbb {R} \to \mathbb {R} :x\mapsto {\begin{cases}\sin \left({\frac {1}{x}}\right)&x\neq 0\\0&x=0\end{cases}}$

How to get to the proof? (Discontinuity of the topological sine fucntion)

In this exercise, discontinuity has to be shown for a given function. This is done by the negation of the epsilon-delta criterion. Our objective is to find both an $\epsilon >0$ and an $x\in \mathbb {R}$, such that $|x-x_{0}|<\delta$ and $|f(x)-f(x_{0})|\geq \epsilon$ . Here, $x$ may be chosen depending on $\delta$ , while $\epsilon$ has to be the same for all $\delta >0$ . For a solution, we may proceed as follows

Step 1: Simplify the target inequality

First, we may simplify the two inequalities which have to be fulfilled by plugging in $x_{0}=0$ and $f(x_{0})=0$. We therefore get: $|x|<\delta$ and $|f(x)|\geq \epsilon$.

Step 2: Choose a suitable $\epsilon >0$

We consider the graph of the function $f$ . It will help us finding the building bricks for our proof:

Graph of the topological sine function

We need to find an $\epsilon >0$ , such that there are arguments in each arbitrarily narrow interval $(x_{0}-\delta ,x_{0}+\delta )=(-\delta ,\delta )$ whose function values have a distance larger than $\epsilon$ from $f(x_{0})=f(0)=0$ . Visually, no matter how small the width $\delta$ of the $2\epsilon$-$2\delta$-rectangle is chosen, there will always be some points below or above it.

Taking a look at the graph, we see that our function oscillates between $-1$ and $1$ . Hence, $\epsilon \leq 1$ may be useful. In that case, there will be function values with $|f(x)|\geq 1$ in every arbitrarily small neighborhood around $x_{0}=0$. We choose $\epsilon ={\tfrac {1}{2}}$. This is visualized in the following figure:

The topological sine function oscillates between -1 and 1 nea the origin. Hence, in each neighborhood around 0, there will be arguments x , where f(x) has a distance larger than 1/2 to 0.

After $\epsilon$ has been chosen, an arbitrary $\delta >0$ will be assumed, for which we need to find a suitable $x$. This is what we will do next.

Step 3: Choice of a suitable $x\in \mathbb {R}$

We just set $\epsilon ={\tfrac {1}{2}}$ . Therefore, $\left|\sin \left({\tfrac {1}{x}}\right)\right|\geq {\tfrac {1}{2}}$ has to hold. So it would be nice to choose an $x$ with $\sin \left({\tfrac {1}{x}}\right)=1$ . Now, $\sin(a)=1$ is obtained for any $a={\tfrac {\pi }{2}}+2k\pi$ with $k\in \mathbb {Z}$ . The condition for $x$ such that the function gets 1 is therefore:

${\frac {1}{x}}={\frac {\pi }{2}}+2k\pi \iff x={\frac {1}{{\frac {\pi }{2}}+2k\pi }}$

So we found several $x$ , where $|f(x)|\geq \epsilon$ . Now we only need to select one among them, which satisfies $|x|<\delta$ for the given $\delta$ . Our $x$ depend on $k$ . So we have to select a suitable $k\in \mathbb {Z}$ , where $|x|<\delta$ . To do so, let us plug $x={\tfrac {1}{{\tfrac {\pi }{2}}+2k\pi }}$ into this inequality and solve it for $k$ :

${\begin{aligned}\left|x\right|<\delta &\iff \left|{\frac {1}{{\frac {\pi }{2}}+2k\pi }}\right|<\delta \\[0.5em]&\iff {\frac {1}{{\frac {\pi }{2}}+2k\pi }}<\delta \\[0.5em]&\iff 2k\pi +{\frac {\pi }{2}}>{\frac {1}{\delta }}\\[0.5em]&\iff 2k\pi >{\frac {1}{\delta }}-{\frac {\pi }{2}}\\[0.5em]&\iff k>{\frac {1}{2\pi }}\left({\frac {1}{\delta }}-{\frac {\pi }{2}}\right)\end{aligned}}$

So the condition on $k$ is $k>{\tfrac {1}{2\pi }}\left({\tfrac {1}{\delta }}-{\tfrac {\pi }{2}}\right)$. If we choose just any natural number $k$ above this threshold ${\tfrac {1}{2\pi }}\left({\tfrac {1}{\delta }}-{\tfrac {\pi }{2}}\right)$ , then $|x|<\delta$ will be fulfilled. Such a $k$ has to exist by Archimedes' axiom (for instance by flooring up the right-hand expression). So let us choose such a $k$ and define $x$ via $x={\tfrac {1}{{\tfrac {\pi }{2}}+2k\pi }}$ . This gives us both $|x|<\delta$ and $|f(x)|\geq \epsilon$ . So we got all building bricks together, which we will now assemble to a final proof:

Proof (Discontinuity of the topological sine fucntion)

Choose $\epsilon ={\tfrac {1}{2}}$ and let $\delta >0$ be arbitrary. Choose a natural number $k$ with $k>{\tfrac {1}{2\pi }}\left({\tfrac {1}{\delta }}-{\tfrac {\pi }{2}}\right)$. Such a natural number $k$ has to exist by Archimedes' axiom. Further, let $x={\tfrac {1}{{\frac {\pi }{2}}+2k\pi }}$. Then:

${\begin{aligned}k>{\frac {1}{2\pi }}\left({\frac {1}{\delta }}-{\frac {\pi }{2}}\right)&\implies 2k\pi >{\frac {1}{\delta }}-{\frac {\pi }{2}}\\[0.5em]&\implies 2k\pi +{\frac {\pi }{2}}>{\frac {1}{\delta }}\\[0.5em]&\quad {\color {OliveGreen}\left\downarrow \ {\frac {1}{a}}>{\frac {1}{b}}>0\iff 0<a<b\right.}\\[0.5em]&\implies {\frac {1}{{\frac {\pi }{2}}+2k\pi }}<\delta \\[0.5em]&\quad {\color {OliveGreen}\left\downarrow \ {\frac {1}{{\frac {\pi }{2}}+2k\pi }}>0\right.}\\[0.5em]&\implies \left|{\frac {1}{{\frac {\pi }{2}}+2k\pi }}\right|<\delta \\[0.5em]&\quad {\color {OliveGreen}\left\downarrow \ x={\frac {1}{{\frac {\pi }{2}}+2k\pi }}\right.}\\[0.5em]&\implies \left|x\right|<\delta \end{aligned}}$

In addition:

${\begin{aligned}\left|f(x)-f(0)\right|&=\left|\sin \left({\frac {1}{x}}\right)-0\right|\\[0.5em]&\quad {\color {OliveGreen}\left\downarrow \ x={\frac {1}{{\frac {\pi }{2}}+2k\pi }}\right.}\\[0.5em]&=\left|\sin \left({\frac {\pi }{2}}+2k\pi \right)\right|\\[0.5em]&\quad {\color {OliveGreen}\left\downarrow \ \sin \left({\frac {\pi }{2}}+2k\pi \right)=1\right.}\\[0.5em]&=\left|1\right|\geq {\frac {1}{2}}=\epsilon \end{aligned}}$

Hence, the function is discontinuous at $x_{0}=0$.