# Thread: Uniqueness of the Limit.

1. ## Uniqueness of the Limit.

I was thinking perhaps the limit of a function at a constant or at infinity is not unique. Thus by delta-epsilon I mean there exists another number L' such that satisfies the condition of the limit. Thus, prove that if the limit exists it is unique. I was able to show that if L is one limit and L' is another limit then (L+L')/2 is also a limit. Thus, this shows that if a limit is not unique there exists infinitely many limits for that function. But this is not true I was trying to proof that because my books on advanced calculus did not consider this concept.

2. Originally Posted by ThePerfectHacker
I was thinking perhaps the limit of a function at a constant or at infinity is not unique. Thus by delta-epsilon I mean there exists another number L' such that satisfies the condition of the limit. Thus, prove that if the limit exists it is unique. I was able to show that if L is one limit and L' is another limit then (L+L')/2 is also a limit. Thus, this shows that if a limit is not unique there exists infinitely many limits for that function. But this is not true I was trying to proof that because my books on advanced calculus did not consider this concept.
The limit of a real function $f(x)$ as $x \rightarrow a$ if it exists is unique. Suppose otherwise, then there exist $L_1$ and $L_2$ such that given any $\varepsilon >0$ there exist $\delta_1>0$ and $\delta_2>0$ such that when:

$|x-a|< \delta_1\ \Rightarrow \ |f(x)-L_1|<\varepsilon$

and:

$|x-a|< \delta_2\ \Rightarrow \ |f(x)-L_2|<\varepsilon$.

So let $\delta=min(\delta_1,\delta_2)$, then we have:

$|x-a|< \delta\ \Rightarrow \ |f(x)-L_1|<\varepsilon$,

and

$|x-a|< \delta\ \Rightarrow \ |f(x)-L_2|<\varepsilon$.

But $|L_1-L_2|=|(L_1-f(x))-(L_2-f(x))|$, then by the triangle inequality:

$|L_1-L_2| \leq |L_1-f(x)|+|L_2-f(x)| < 2 \varepsilon$.

Hence $|L_1-L_2|$ is less than any positive real number, so $L_1=L_2$.

RonL

3. Thank you CaptainBlack, is that your own proof because if it is you used the triangle inequality nicely.
I also have a question how can I use Equation Editor like you did.

4. It's called Latex and you type in these tags to use it on this site: [ math ] code here [ /math ] (but without the spaces). There's a tutorial on how to use it somewhere on this site, I'll do some searching.

Jameson

5. Originally Posted by ThePerfectHacker
Thank you CaptainBlack, is that your own proof because if it is you used the triangle inequality nicely.
I also have a question how can I use Equation Editor like you did.
Is it my own proof: yes and no, the ideas are recycled from things I have
see probably including proofs of this result.

Equation formatting uses this sites built in LaTeX facilties, see:

RonL

6. Thank you, the tutorial is rather complicated. Time for me to master it. Is Latex also used in other sites?
Funny if mathemations would have used latex code for real math (not interent) how messy it would have been.

7. Originally Posted by ThePerfectHacker
Thank you, the tutorial is rather complicated. Time for me to master it. Is Latex also used in other sites?
Funny if mathemations would have used latex code for real math (not interent) how messy it would have been.
The LaTeX used here is a version of what is the de facto standard for writing
mathematical text. Most papers are produced in some version of TeX.

RonL