Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this community
Theorem: If $f: D \rightarrow \mathbb{R}$ a function and $a$ an accumulation point of $D$, then $\lim_{x\rightarrow a} f(x)$ exists and it is unique.
I assume that $\lim_{x\rightarrow a} f(x)$ is not unique when $a$ is not an accumulation point. Can you explain why it is true? Can you show an example where the limit is not unique when $a$ is not an accumulation point?
The issue is that the limit does not exist if $a$ is not an accumulation point. When a limit exists it is always unique.
It depends on your definition of a limit. There are three different versions. One says:
$L$ is the limit of $f(x)$ as $x\to a$ if for every $\varepsilon>0$, there is a $\delta>0$ such that $\vert f(x)-L\vert<\varepsilon$ if $\vert x-a\vert<\delta$.
The second definition says the same, except that "and $x\neq a$" is added at the end. And the third and most common definition also says that $a$ has to be an accumulation point of the domain in the first place.
In the first case, if $a$ is not an accumulation point, then the limit always exists, but it may or may not be unique. If $a$ is part of the domain, but not an accumulation point, then the limit is $L=f(a)$, and it's unique. If $a$ is not in the domain and not an accumulation point, then every number is vacuously a limit, since there is a $\delta>0$ such that no $x$ in the domain satisfies $\vert x-a\vert<\delta$, but then "$\vert f(x)-L\vert<\varepsilon$ if $\vert x-a\vert<\delta$" is always true, since the condition is never satisfied in the first place. So then the limit would not be unique.
In the second case, the limit always exists (caveat: if $a$ is not an accumulation point of the domain), but is never unique, using essentially the argument from the first case where $a$ is not in the domain.
In the third case, the limit does not exist by definition, since by definition it requires an accumulation point. The point of this third definition is exactly to exclude the possibility of a non-unique limit as it can occur with the other two definitions.
