In calculus, can the $\delta$ always be expressed in terms of $\epsilon$? This question is based on this question.
I was wondering why the author did not end the proof by expressing the $\delta$ in terms of $\epsilon$ like he did in prior examples.
Is this because it is not always possible to express the $\delta$ in terms of $\epsilon$ or is it to do so requires a higher level of mathematics that the author has not covered yet?
Thank you in advance for any help provided.
 A: In fact, it turns out that one can choose $\delta$ continuously in terms of $\varepsilon$. More precisely, the following result holds true : If $f:E\to F$ is a continuous map between two metric spaces $E$ and $F$, then there is a continuous function $\delta:E\times (0,\infty)\to (0,\infty)$ such that, for all $(x,y,\varepsilon)\in E\times E\times (0,\infty)$, $$d_E(x,y)<\delta(x,\varepsilon)\implies d_F(f(x),f(y))<\varepsilon\, . $$ 
I read this several years ago in an American Math. Monthly article, but I can remember neither the title of the article, nor the name(s) of the author(s). It would be nice if someone could give me the reference...
Here is one way of proving this result. Consider the set $$C=\{ (x,y,\varepsilon)\in E\times E\times (0,\infty);\; d(f(x),f(y))\geq \varepsilon\, . $$ 
Since $f$ is continuous, $C$ is closed in $E\times E\times (0,\infty)$ (endowed with the product topology), and clearly $(x,x,\varepsilon)\not\in C$ for any $(x,\varepsilon)\in E\times (0,\infty)$. It follows that if we fix a metric $\rho$ on $E\times E\times(0,\infty)$ (compatible with the product topology), then ${\rm dist}_\rho \left((x,x,\varepsilon),C\right)>0$.
We take for $\rho$ the metric 
$$\rho((x,y,\varepsilon), (x',y',\varepsilon'))=\max(d_E(x,x'),d_E(y,y'),\vert\varepsilon-\varepsilon'\vert) $$
and we define $\delta :E\times (0,\infty)\to (0,\infty)$ by 
$$\delta(x,\varepsilon)={\rm dist}_\rho \left((x,x,\varepsilon),C\right) $$ 
Then the dunction $\delta$ is continuous, and it is straightforward to check that it has the required property. Indeed, if $x,y\in E$ and $\varepsilon >0$, then $d_E(x,y)=\rho((x,x,\varepsilon), (x,y,\varepsilon))$ by the definition of the metric $\rho$. Hence, if $d_E(x,y)<\delta(x,\varepsilon)$, then $(x,y,\varepsilon)\not\in C$ by the very definition of $\delta(x,\varepsilon)$, i.e. $d_F(f(x),f(y))<\varepsilon$.
A: In these proofs, $\delta$ doesn't always need to be directly written as a function of $\epsilon$ in the usual sense.  However, you do need to show that for any $\epsilon$, you can find a satisfactory $\delta$, and the author does exactly that.
Namely, he says that for any $\epsilon>0$, you can follow the following process:


*

*choose an integer $n$ so that $1/n<\epsilon$ (or equivalently, $n>\frac{1}{\epsilon}$).

*list the numbers $$\frac{1}{2}; \frac{1}{3}, \frac{2}{3}; \frac{1}{4}, \frac{3}{4}; \frac{1}{5}, \frac{2}{5}, \frac{3}{5}, \frac{4}{5}; \dots ; \frac{1}{n}, \dots , \frac{n-1}{n}$$ and from those, let $\frac{p}q$ be the closest one not equal to $a$.

*let $\delta=\frac{p}q$


From there, the author proceeds to show that this choice of $\delta$ works. Can we create some function that takes any $\epsilon$ and does this, spitting out $\delta=\frac{p}q$?  Sure.  Is that necessary?  No; all we needed to show is that for any $\epsilon>0$, we can find this $\delta$.  
The reason for writing $\delta$ as some direct function of $\epsilon$ (such as $\epsilon/2$ or $1/\epsilon$) is that in other instances, this is the most concise way to describe the process of finding $\delta$.
A: If you are thinking about continuity of a function at a point $a$, you only need to find $\delta$ such that $d(x,a)<\delta$ implies $d(f(x),f(a))<\epsilon$. 
But it is possible to obtain $\delta$ which works for every $\epsilon$. 
For example, take $f:\mathbb{R}\to \mathbb{R}$ constant, e.g., $f(x)=2$, for all $x\in \mathbb{R}$. Then, given $\epsilon>0$, you can choose any $\delta>0$ and the statement above holds since $d(f(x),f(a))=d(2,2)=0<\epsilon$.
