Proof of Various Limit Properties — Question 10

PDF ↗

Question 10

Assume that limx→af(x)=Landlimx→af(x)=M.\lim_{x\to a} f(x)=L \quad\text{and}\quad \lim_{x\to a} f(x)=M.

Prove that L=M.L=M.

Original worksheet page 1: question and worked solution for 7-1-010
Show solutionHide solution

Question 10 - Solution

We prove this by contradiction.

Assume, to the contrary, that L≠M.L\neq M.

Then the positive number ε=|L−M|2\varepsilon=\frac{|L-M|}{2} satisfies ε>0\varepsilon>0.

Since lim⁡x→af(x)=L\lim_{x\to a} f(x)=L, there exists δ1>0\delta_1>0 such that whenever 0<|x−a|<δ1,0<|x-a|<\delta_1, we have |f(x)−L|<ε.|f(x)-L|<\varepsilon.

Similarly, since lim⁡x→af(x)=M\lim_{x\to a} f(x)=M, there exists δ2>0\delta_2>0 such that whenever 0<|x−a|<δ2,0<|x-a|<\delta_2, we have |f(x)−M|<ε.|f(x)-M|<\varepsilon.

Let δ=min⁡(δ1,δ2).\delta=\min(\delta_1,\delta_2).

Then for all xx such that 0<|x−a|<δ0<|x-a|<\delta, both inequalities hold.

Using the triangle inequality, |L−M|=|L−f(x)+f(x)−M|≤|f(x)−L|+|f(x)−M|.|L-M| = |L-f(x)+f(x)-M| \le |f(x)-L|+|f(x)-M|.

Substitute the bounds: |L−M|<ε+ε=2ε=|L−M|.|L-M| < \varepsilon+\varepsilon =2\varepsilon =|L-M|.

This is a contradiction.

Therefore, our assumption that L≠ML\neq M is false. We conclude that L=M.L=M.

Original worksheet page 2: question and worked solution for 7-1-010

Original worksheet layout. Use Enlarge or open the PDF for a closer view.