Skip to main content

Question 6.12

Solutions

TZ
leumasicOfficial

3 months ago

a) Suppose we have functions gg and GG such that

limxag(x)=limxaG(x)=z.\lim_{x \to a}g(x)=\lim_{x \to a}G(x)=z.

Suppose further that

limyzf(y)=l\lim_{y \to z}f(y)=l

for some function ff.
Pick any ε>0\varepsilon>0. By definition, there exists δ>0\delta>0 such that for all yy,

0<yz<δ    f(y)l<ε.0<|y-z|<\delta \implies |f(y)-l|<\varepsilon.

There also exist α1\alpha_1 and α2\alpha_2 such that for all xx,

0<xa<α1    g(x)z<δ0<|x-a|<\alpha_1 \implies |g(x)-z|<\delta

and

0<xa<α2    G(x)z<δ.0<|x-a|<\alpha_2 \implies |G(x)-z|<\delta.

By picking α=min(α1,α2)\alpha=\min(\alpha_1,\alpha_2), we have

0<xa<α    g(x)z<δ    f(g(x))l<ε0<|x-a|<\alpha \implies |g(x)-z|<\delta \implies |f(g(x))-l|<\varepsilon

and

0<xa<α    G(x)z<δ    f(G(x))l<ε.0<|x-a|<\alpha \implies |G(x)-z|<\delta \implies |f(G(x))-l|<\varepsilon.

Hence,

limxaf(g(x))=limxaf(G(x))=l.\lim_{x \to a}f(g(x))=\lim_{x \to a}f(G(x))=l.

Now, suppose ff is continuous at ll and limxag(x)=l\lim_{x\to a}g(x)=l. We define GG as

G(x)=g(x) for xaandG(a)=l.G(x)=g(x) \text{ for } x\ne a \quad \text{and} \quad G(a)=l.

Combining the result we just proved and the theorem on the composition of continuous functions, we have

f(l)=limxaf(G(x))=limxaf(g(x)).f(l)=\lim_{x \to a}f(G(x))=\lim_{x \to a}f(g(x)).

b) Consider f(x)=0f(x)=0 for xlx\ne l and f(l)=1f(l)=1. We have

limxaf(g(x))=01=f(l)=f(limxag(x)).\lim_{x \to a}f(g(x))=0\ne 1=f(l)=f\left(\lim_{x \to a}g(x)\right).
0
Submit a solution
Optional • Markdown

Sign in to share your solution for this question.

Sign in

Navigate

Q 6.12

Navigate

Q 6.12