Proof of Various Limit Properties — Question 1

PDF ↗

Question 1

Assume lim⁡x→af(x)=L\lim_{x\to a} f(x)=L and lim⁡x→ag(x)=M\lim_{x\to a} g(x)=M. Prove that limx→a(f(x)g(x))=LM.\lim_{x\to a}\bigl(f(x)g(x)\bigr)=LM.

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

Question 1 - Solution

Let ε>0\varepsilon>0 be given.

We must show there exists δ>0\delta>0 such that if 0<|x−a|<δ0<|x-a|<\delta, then

|f(x)g(x)−LM|<ε.|f(x)g(x)-LM|<\varepsilon.

Start by adding and subtracting Lg(x)L g(x):

f(x)g(x)−LM=f(x)g(x)−Lg(x)+Lg(x)−LM=g(x)(f(x)−L)+L(g(x)−M).f(x)g(x)-LM = f(x)g(x)-Lg(x)+Lg(x)-LM = g(x)\bigl(f(x)-L\bigr)+L\bigl(g(x)-M\bigr).

Take absolute values and use the triangle inequality:

|f(x)g(x)−LM|≤|g(x)||f(x)−L|+|L||g(x)−M|.|f(x)g(x)-LM| \le |g(x)|\,|f(x)-L|+|L|\,|g(x)-M|.

To control |g(x)||g(x)|, use the fact that g(x)→Mg(x)\to M.

Since lim⁡x→ag(x)=M\lim_{x\to a}g(x)=M, there exists δ1>0\delta_1>0 such that if 0<|x−a|<δ10<|x-a|<\delta_1, then

|g(x)−M|<1.|g(x)-M|<1.

Then, for 0<|x−a|<δ10<|x-a|<\delta_1,

|g(x)|=|g(x)−M+M|≤|g(x)−M|+|M|<1+|M|.|g(x)| = |g(x)-M+M| \le |g(x)-M|+|M| < 1+|M|.

Now choose δ2>0\delta_2>0 such that if 0<|x−a|<δ20<|x-a|<\delta_2, then

|f(x)−L|<ε2(1+|M|).|f(x)-L|<\frac{\varepsilon}{2(1+|M|)}.

This is possible because lim⁡x→af(x)=L\lim_{x\to a}f(x)=L.

Next choose δ3>0\delta_3>0 such that if 0<|x−a|<δ30<|x-a|<\delta_3, then

|g(x)−M|<ε2(1+|L|).|g(x)-M|<\frac{\varepsilon}{2(1+|L|)}.

This is possible because lim⁡x→ag(x)=M\lim_{x\to a}g(x)=M.

Let

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

Then whenever 0<|x−a|<δ0<|x-a|<\delta, we have simultaneously:

|g(x)|<1+|M|,|f(x)−L|<ε2(1+|M|),|g(x)−M|<ε2(1+|L|).|g(x)|<1+|M|, \quad |f(x)-L|<\frac{\varepsilon}{2(1+|M|)}, \quad |g(x)-M|<\frac{\varepsilon}{2(1+|L|)}.

Substitute into the estimate:

|f(x)g(x)−LM|≤|g(x)||f(x)−L|+|L||g(x)−M|.|f(x)g(x)-LM| \le |g(x)|\,|f(x)-L|+|L|\,|g(x)-M|.

For the first term:

|g(x)||f(x)−L|<(1+|M|)⋅ε2(1+|M|)=ε2.|g(x)|\,|f(x)-L| < (1+|M|)\cdot\frac{\varepsilon}{2(1+|M|)} =\frac{\varepsilon}{2}.

For the second term:

|L||g(x)−M|≤ε|L|2(1+|L|)<ε2.|L|\,|g(x)-M| \le \frac{\varepsilon|L|}{2(1+|L|)} <\frac{\varepsilon}{2}.

Therefore,

|f(x)g(x)−LM|<ε2+ε2=ε.|f(x)g(x)-LM|<\frac{\varepsilon}{2}+\frac{\varepsilon}{2}=\varepsilon.

Since ε>0\varepsilon>0 was arbitrary, it follows that

limx→a(f(x)g(x))=LM.\lim_{x\to a}\bigl(f(x)g(x)\bigr)=LM.

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

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