Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am to show the continuity of this function with the help of $\epsilon$-$\delta$ argument.

The function is: $g: \Bbb{R} \rightarrow \Bbb{R}$, $x \mapsto x^2$.

Given the $\epsilon$-$\delta$ definition of limit, I tried as follows:

We must have: $|f(x)-f(x_0)|<\epsilon$, so then $|x^2-x_0^2|=|(x-x_0)(x+x_0)|=|(x-x_0)||(x+x_0)|$, so $|x-x_0|<\frac{\epsilon}{|x+x_0|}$. So now I will choose $\delta=\frac{\epsilon}{|x+x_0|}$.

Is it enough? I am writing this sentences like a machine, but I am not understanding intuitively.

share|cite|improve this question
up vote 8 down vote accepted

No. $\delta$ must only depend on $x_0,\epsilon$ and never on $x$. Here is what we will do:

The problematic term is $\left|x+x_0\right|$. We have that \begin{equation} \left|x+x_0\right|= \left|x-x_0+2x_0\right|\le \left|x-x_0\right|+\left|2x_0\right|<\delta+2\left|x_0\right|\end{equation} Thus, \begin{equation}\left|x-x_0\right|<\delta\implies \left|f(x)-f(x_0)\right|=\left|x+x_0\right|\left|x-x_0\right|<(\delta+2\left|x_0\right|)\delta\end{equation} We must choose a $\delta$ so that $$(\delta+2\left|x_0\right|)\delta<\epsilon$$ Choosing a $\delta$ by the above might be complicating. But because $\delta$ is ours to choose we can simplify things a bit by demanding $\delta<1$. Then, $$(\delta+2\left|x_0\right|)\delta<(1+2\left|x_0\right|)\delta$$ and so it suffices to choose $0<\delta<1$ so that $$(1+2\left|x_0\right|)\delta<\epsilon$$ Things should be straighforward now.

For the sake of completion we have $$(1+2\left|x_0\right|)\delta<\epsilon\iff \delta<\frac{\epsilon}{1+2\left|x_0\right|}$$ But because $\delta<1$ we must choose $\delta>0$ so that $$\delta<\min\left\{1,\frac{\epsilon}{1+2\left|x_0\right|}\right\}$$ Taking $$\delta=\frac12\min\left\{1,\frac{\epsilon}{1+2\left|x_0\right|}\right\}$$ completes the proof

share|cite|improve this answer
it is getting bigger than $\epsilon$ if i take $\frac{\epsilon}{2}$ – doniyor Dec 23 '12 at 12:28
@doniyor I updated my answer with the last details – Nameless Dec 23 '12 at 13:06
thanks a lot. it was a little bit confusing the whole topic – doniyor Dec 23 '12 at 13:25

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.