I am trying to figure out what I know to be an easy proof but I am having troubles.

Let $f:D \subset \mathbb{R} \rightarrow \mathbb{R}$ and $c$ be a limit point of $D$. If $$\lim\limits_{x \to c}\; [f(x)]^2 = 0,$$ prove that $$\lim\limits_{x \to c}\; f(x) = 0.$$

I understand this should be an easy proof but for some reason I am having trouble. One way I thought was assuming that $\lim_{x \to c} f(x)$ exists we must have that it equals zero because of the algebraic limit laws. But I feel that assuming the limit exists is using what I want to show.

Also I have looked at the fact that since $|f^2(x) - 0 | \epsilon$ whenever $|x - c| < \delta$ I know that $f(x)f(x) < \epsilon$ but I don't know how I could break that up more. Any help would be appreciated. Thank you!

  • $\begingroup$ If $-\epsilon^2 \leq f(x)^2\leq \epsilon^2$, what happens if you take square roots? $\endgroup$ – Alex R. Dec 4 '12 at 4:22
  • $\begingroup$ Yeah, wow I can't believe I forgot that I get to pick the epsilon. All though wouldn't I need to keep it in the form $|f(x)|^2 < \epsilon^2$ to take the square root so there is no problems with $-\epsilon^2$? Thanks! $\endgroup$ – Differintegral Dec 4 '12 at 4:29
  • $\begingroup$ pardon, the left bound should indeed be 0 $\endgroup$ – Alex R. Dec 4 '12 at 4:30

For any $\epsilon>0$, there is a $\delta>0$ such that when $0<|x-c|<\delta$, we have $|f(x)|^2=|f(x)^2-0|<\epsilon ^2$, so that $|f(x)-0|=|f(x)|<\epsilon$.


This can actually be easily accomplished without an $\epsilon$ $\delta$ proof. Because $\lim_{x \to c} \frac{f(x)}{g(x)}=\frac{\lim_{x \to c} f(x)}{\lim_{x \to c} g(x)}$, then $\lim _{x \to c} f(x)=\frac{\lim_{x \to c} f(x)^{2}}{\lim_{x \to c} f(x)}$ so that $(\lim_{x \to c} f(x))^2=\lim_{x \to c} f(x)^{2}=0$ so that $\lim_{x \to c} f(x) =0$ as desired.

  • 1
    $\begingroup$ Wouldn't this be assuming that $\lim_{x \to c} f(x)$ exists before we actually know it does? Also, can we really write that ratio $\dfrac{\lim_{x \to c} f(x)^2}{\lim_{x \to c} f(x)}$ because the denominator might be zero which in this case it actually is? $\endgroup$ – Differintegral Dec 4 '12 at 5:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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