1

Define $$\operatorname{sgn}(x)=\begin{cases} 1 & \text { if } x>0 \\-1 & \text { if } x<0 \\ 0 & \text { if } x=0 \end{cases}.$$ Let $f: \mathbb{R} \rightarrow \mathbb{R}$ given by $$f(x)=(x+1) \operatorname{sgn}\left(x^{2}-1\right)$$ where $\Bbb R$ be the set of real numbers. Then find all the discontinuities of $f$ (if any).

Whenever, I encounter these sort of problems, I jump to determine the continuities at the "suspicious points". By "suspicious points", I mean those points where we might face some difficulty to determine the continuity simply by inspection, or the points which at least gives us some sort of a "feeling" as to whether "Will the function be discontinuous at these points?".

Similarly, I tried the problem as :

Given, $$f(x)=(x+1) \operatorname{sgn}\left(x^{2}-1\right).$$ The function is continuous at all points but, we will proceed by doing a little inspection upon the points $x=0,1,-1$.

We find, $$\lim_{x\to 0}f(x)=f(0)=-1,$$ $$\lim_{x\to 1}f(x)=f(1)=0$$ and $$\lim_{x\to -1}f(x)=f(-1)=0.$$

Thus, the function $f$ is continuous at all points $0,1,-1$ and this suggests, that $f$ is continuous everywhere.

Now, the problem is that the answer says, $f$ is discontinuous at only point. But I don’t understand where the function is discontinuous. My calculations allowed me to conclude that $f$ is continuous everywhere. Is there something that I have missed (that should've been taken into consideration) ?

I have a genuine feeling, that the evaluation of $\lim_{x\to 1}f(x)=f(1)=0$ is not correct, due to the fact that $\lim_{x\to 0}\text{sgn}(x^2-1)$ does not exist. I found this piece of information, by doing a quick evaluation on Wolfram Alpha( a site designed for "computational intelligence" ).

It was when, I started to analyze the Right and Left Hand limits of $f$ at $1$. (I am using $R$ to denote the right-hand limit and $L$ to denote the left-hand limit ). We have,

$$L=\lim_{x\to 1-}\text{sgn}(x^2-1)=-1$$ and $$R=\lim_{x\to 1+}\text{sgn}(x^2+1)=1.$$

Now, this was strange. It appears strange, to me for this:

Reason : If I proceeded to do calculation of $L$ and $R$ (above) as : $$L=\lim_{x\to 1-}\text{sgn}(x^2-1)=\lim_{h\to 0+}\text{sgn}((1-h)^2-1)=\lim_{h\to 0+}\text{sgn}(h^2-2h)=0$$ and $$R=\lim_{x\to 1+}\text{sgn}(x^2+1)=\lim_{h\to 0+}\text{sgn}((1+h)^2-1)=\lim_{h\to 0+}\text{sgn}(h^2+2h)=0.$$ Due to which, $L=R=f(1)=0$.

Now, I am sure that the above method of evaluation of limits have some loopholes. But the thing is, in many books I found limits calculated in same way as above (i.e in the "Reason" section of this post). So, the only possible thing might be, is that I did some errors in calulation (,is it) ? I am looking for a possible explanation, of this absurdity/anomaly (and a possible way to avoid this absurdity).

  • 2
    Can you justify that $\lim_{x\to 1}f(x)=f(1)=0$ ? – TheSilverDoe May 12 '23 at 09:46
  • What is $f(\sqrt{1+\varepsilon})$ for arbitrary (small) $\varepsilon>0$? – Gary May 12 '23 at 09:48
  • @TheSilverDoe A justification might be that, when evaluating limits of the form $\lim_{x\to 0}f(x)g(x)$ where, $f(x)$ is an infinitesimal ($\lim_{x\to 0}f(x)=0$ ) and $g(x)$ is bounded, then $\lim_{x\to 0}f(x)g(x)=0$. – Thomas Finley May 12 '23 at 09:49
  • @ThomasFinley If you check what I asked, you can see that in an arbitrary small punctured neighbourhood of $1$, $f$ is far from $0$. How can $f\to 0$ as $x\to 1$ then? – Gary May 12 '23 at 09:50
  • @ThomasFinley Neither of $x+1$ or $\mathrm{sgn}(x^2-1)$ tends to $0$ as $x$ tends to $1$. – TheSilverDoe May 12 '23 at 09:51
  • @Gary I see, how things turn out. But even then, I have a little trouble while encountering the pseudo anomaly , which I added in my post. – Thomas Finley May 12 '23 at 10:13
  • @TheSilverDoe I completely agree with you, but I still have a thing to say, about a quirky thing I got while the evaluation of limits. I considered it adding to the post. – Thomas Finley May 12 '23 at 10:14
  • Define $L=\lim_{x \rightarrow 1- \ x \neq 1} sgn(x^2-1)$ and R analog then your quirky thing will disappear. – Keine_Maschine May 12 '23 at 10:28
  • @ThomasFinley Why would $\lim_{h\to 0+}\text{sgn}(h^2\pm 2h)=0$? You are making the same mistake again. – Gary May 12 '23 at 11:13
  • 1
    @Gary My bad. Sure, $R=\lim_{x\to 0+}\text{sgn}(h^2+2h)=1\neq 0$ and $R\neq f(1)=0$. So, $f$ is not continuous at $1$. – Thomas Finley May 12 '23 at 11:42

1 Answers1

2

There is a theorem saying that, if $f(x)$ is defined and continuous at $x=x_0$ and $g(x)$ is defined and continuous at $x=f(x_0)$ then $(g\circ f)(x)=g(f(x))$ is defined and continuous at $x=x_0$. (See: Real Analysis: Continuity of a Composition Function)

The function $\operatorname{sgn}(x)$ is continuous at all points $x\ne 0$. So, whenever you calculate $f(x)=(x+1)\operatorname{sgn}(x^2-1)$ and you don't "hit" the argument $0$ of $\operatorname{sgn}$, then continuity of $f(x)$ follows directly from the above theorem. This is basically the logic behind your "suspicious" points. Note that:

By "suspicious points", I mean those points where we might face some difficulty to determine the continuity simply by inspection, or the points which at least gives us some sort of a "feeling" as to whether "Will the function be discontinuous at these points?".

  • This has nothing to do with "difficulty" or "feeling", and
  • $x=0$ is not suspicious.

So, the "suspicious" points here should be those where the argument of $\operatorname{sgn}$ is zero, which is when $x^2-1=0$, which is when $x=1$ or $x=-1$. For those two points, the above theorem is not applicable, and you must use some different approach.

As it happens:

  • For $x=-1$: as $x\to -1$, the function $x+1\to 0$, and the function $\operatorname{sgn}$ is bounded, so $\lim_{x\to -1}f(x)=0=f(-1)$ and so $f(x)$ is continuous at $x=-1$.
  • For $x=1$, you can try to calculate $\lim_{x\to 1-} f(x)=-2$ and $\lim_{x\to 1+} f(x)=2$. (I will leave it to you. Use the fact that $x^2-1$ is negative on $(1-\epsilon, 1)$ and positive on $(1, 1+\epsilon)$ for a small enough $\epsilon$.) As those two limits are not equal to each other, the function $f$ is not continuous at $x=1$.