[Math] True or False? If the limit of $[f(x)-g(x)]$ as x approaches $a = 0$, then the limit of $f(x), g(x)$, as $x$ approaches $a$, are equal.

calculuslimits

TRUE OF FALSE?
$$\lim_{x\to\alpha}[f(x)-g(x)]=0\implies\lim_{x\to\alpha}f(x)=\lim_{x\to\alpha} g(x)$$

I'm in senior high school and just recently took a test with this as one of the questions. I initially answered true — I mean, it obviously looks too true. Simple distribution and manipulation of terms would easily show $\lim_{x\to\alpha}f(x)=\lim_{x\to\alpha}g(x)$ — but just before submitting, I changed it to false. I got a perfect score, but I do feel uneasy not knowing why my teacher remarked this as false.

Just for context, maybe the counterexample to make this statement false might involve infinities. When the limit is $+\infty$ or $-\infty$, we simply write is as "does not exist."
Also we only tackle real number. And our limit definition specifies that $\lim_{x\to\alpha}f(x)$ only exists when $\lim_{x\to\alpha^{+}}f(x)=\lim_{x\to\alpha^{-}}f(x)$.

Qn: The actual question looked like this Here. Link

Best Answer

The key is that you can only say two limits are equal if they exist, and the two limits on the RHS cannot be guaranteed to exist with the given information. You are right in suggesting that the answer can involve infinity, but there are finite examples that are badly behaved as well.

Consider the function $f(x)$ where $f(x)=1$ for $x$ rational and $f(x)=0$ for $x$ irrational. It is a well defined function, but has no limit anywhere. If we let $g(x)=f(x)$, then $f(x)-g(x)=0$ everywhere so the limit is zero for every $\alpha$, but $f(x)$ and $g(x)$ have no limit no matter what value of $\alpha$ is chosen.

Related Question