8
$\begingroup$

Does this right-handed limit exist or not? $$\lim_{x\to 0^+} \sqrt{x}$$

Schaum's Easy Outline of Calculus (Second Edition) says it does. And doesn't.

An example in the book states:

The function $f(x)=\sqrt{x}$; then $f$ is defined only to the right of zero.

Okay. So the right-handed limit does exist.

Hence, $\lim_{x\to 0} \sqrt{x}=\lim_{x\to 0^+} \sqrt{x}=0$.

Okay. I'm still with you. The limit is $0$.

Of course, $\lim_{x\to 0^+} \sqrt{x}$ does not exist,...

Qué, Mr. Fawlty?

... since $\sqrt{x}$ is not defined when $x<0$.

Okay, so are they messing with me? Is my coffee too weak? Too strong? Is there some subtle truth about limits that escapes me?

Or is that a typo? Did they mean in that last line to omit the '$+$' by the '$0$' and write "Of course, $\lim_{x\to 0} \sqrt{x}$ does not exist,..."?

EDIT:
I think a minus sign is intended instead of a plus sign in that last limit.

Schaums limit

|cite|improve this question
$\endgroup$
  • 5
    $\begingroup$ That's probably a typo. Are you absolutely sure that's what the textbook says? Can you provide a screenshot? $\endgroup$ – 5xum Sep 10 '15 at 12:16
  • $\begingroup$ I did question my aging eyes... I'll see what I can come up with. $\endgroup$ – Adam Hrankowski Sep 10 '15 at 12:18
  • 2
    $\begingroup$ It is a typo. Take a look at: math.stackexchange.com/a/637299/137035 $\endgroup$ – user137035 Sep 10 '15 at 12:21
  • $\begingroup$ Looking at the book (I found only 1st edition), there seem to be a misprint, yes. $\endgroup$ – mickep Sep 10 '15 at 12:22
  • 1
    $\begingroup$ @Quality - The typos keep you on your toes. :D $\endgroup$ – Adam Hrankowski Sep 10 '15 at 12:41
8
$\begingroup$

Both $$ \lim_{x\to 0} \sqrt{x} \quad \text{and}\quad \lim_{x\to 0^+}\sqrt{x} $$ exist. In general for a function $f$ with domain $D(f)$, recall the definition of the $$ \lim_{x\to a} f(x) = L. $$ The definition says that this means that: For all $\epsilon >0$ there is a $\delta >0$ such that if $x\in D(f)$ and $0<\lvert x - a \rvert < \delta$ then $\lvert f(x) - L\rvert<\epsilon$. Often we don't write in the requirement that $x$ be in the domain of $f$, but this is a requirement.

Likewise the right hand limit exists.

See this Wikipedia article for more on this: https://en.wikipedia.org/wiki/%28%CE%B5,_%CE%B4%29-definition_of_limit#Precise_statement

|cite|improve this answer
$\endgroup$
  • 1
    $\begingroup$ The key element here seems to be the stipulation that $x\in D(f)$. That makes sense to me. We don't have to worry about whether the left handed limit exists, because we're not expected to look there. $\endgroup$ – Adam Hrankowski Sep 10 '15 at 13:02
  • $\begingroup$ @AdamHrankowski: That's right. $\endgroup$ – Thomas Sep 10 '15 at 13:03
1
$\begingroup$

Yes it exists, as you can check by $\varepsilon$-analysis.

Taking any $\varepsilon > 0$, we have $\sqrt{x} < \varepsilon$ if $0 < x < \varepsilon^{2}$.

|cite|improve this answer
$\endgroup$
0
$\begingroup$

Put a comma after "defined" in the last sentence. Or equivalently, brackets between "since" and "defined".

enter image description here

Shows why textbook authors really need good English as well as good maths! This happens an awful lot in academia. Very often when there's a bump, you're spending time solving a grammar problem! Understandable for research papers, but who killed off all the editors when it came to textbooks?

|cite|improve this answer
$\endgroup$
  • 1
    $\begingroup$ It seems to me that there is a typographical error in the last sentence, which should say that $\lim_{x \to 0^-} \sqrt{x}$ does not exist. $\endgroup$ – N. F. Taussig Sep 9 '18 at 11:34
  • $\begingroup$ the problem is not resolved with putting the comma, because first it states the limit exists (=0) and then it says the same limit does not exist. So, the last limit must read $x\to 0-$ $\endgroup$ – farruhota Sep 9 '18 at 12:56

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.