Proof of Various Limit Properties — Question 4

PDF ↗

Question 4

Assume that 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, with M≠0M\neq 0. Prove that limx→af(x)g(x)=LM.\lim_{x\to a}\frac{f(x)}{g(x)}=\frac{L}{M}.

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

Question 4 - Solution

Let ε>0\varepsilon>0. Since g(x)→M≠0g(x)\to M\ne0, choose δ1>0\delta_1>0 such that |g(x)−M|<|M|/2|g(x)-M|<|M|/2 when 0<|x−a|<δ10<|x-a|<\delta_1. Then |g(x)|>|M|/2|g(x)|>|M|/2.

By the two assumed limits, choose δ2,δ3>0\delta_2,\delta_3>0 to ensure respectively

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

Take δ=min⁡(δ1,δ2,δ3)\delta=\min(\delta_1,\delta_2,\delta_3). For 0<|x−a|<δ0<|x-a|<\delta,

|f(x)g(x)−LM|≤|f(x)−L||g(x)|+|L||g(x)−M||M||g(x)|≤2|f(x)−L||M|+2|L||g(x)−M||M|2<ε2+ε|L|2(1+|L|)<ε.\begin{aligned} \left|\frac{f(x)}{g(x)}-\frac LM\right| &\leq\frac{|f(x)-L|}{|g(x)|}+\frac{|L|\,|g(x)-M|}{|M|\,|g(x)|}\\ &\leq\frac{2|f(x)-L|}{|M|}+\frac{2|L|\,|g(x)-M|}{|M|^2}\\ &<\frac\varepsilon2+\frac{\varepsilon|L|}{2(1+|L|)}<\varepsilon. \end{aligned}

(The first term makes the penultimate inequality strict even if L=0L=0.) This proves lim⁡x→af(x)/g(x)=L/M\displaystyle\lim_{x\to a}f(x)/g(x)=L/M.

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

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