Given conditions: lim ? → ? ? ( ? ) = ? lim t→a g(t)=b lim ? → ? ? ( ? ) = ? lim x→b f(x)=c To prove: lim ? → ? ? ( ? ( ? ) ) = ? lim t→a f(g(t))=c
- Given conditions:
- limt→ag(t)=b\lim_{t \to a} g(t) = b
- limx→bf(x)=c\lim_{x \to b} f(x) = c
- To prove:
- limt→af(g(t))=c\lim_{t \to a} f(g(t)) = c
- Using the definition of the limit:
- limt→ag(t)=b\lim_{t \to a} g(t) = b means that for every ϵ′>0\epsilon’ > 0, there exists a δ′>0\delta’ > 0 such that for all tt satisfying 0<∣t−a∣<δ′0 < |t – a| < \delta’, we have ∣g(t)−b∣<ϵ′|g(t) – b| < \epsilon’.
- limx→bf(x)=c\lim_{x \to b} f(x) = c means that for every ϵ>0\epsilon > 0, there exists a δ>0\delta > 0 such that for all xx satisfying 0<∣x−b∣<δ0 < |x – b| < \delta, we have ∣f(x)−c∣<ϵ|f(x) – c| < \epsilon.
- Composition of limits:
- To prove limt→af(g(t))=c\lim_{t \to a} f(g(t)) = c, we need to show that for every ϵ>0\epsilon > 0, there exists a δ>0\delta > 0 such that for all tt satisfying 0<∣t−a∣<δ0 < |t – a| < \delta, we have ∣f(g(t))−c∣<ϵ|f(g(t)) – c| < \epsilon.
- Combining the given limits:
- Let ϵ>0\epsilon > 0 be given.
- Since limx→bf(x)=c\lim_{x \to b} f(x) = c, there exists a δ>0\delta > 0 such that for all xx satisfying 0<∣x−b∣<δ0 < |x – b| < \delta, we have ∣f(x)−c∣<ϵ|f(x) – c| < \epsilon.
- Now, since limt→ag(t)=b\lim_{t \to a} g(t) = b, there exists a δ′>0\delta’ > 0 such that for all tt satisfying 0<∣t−a∣<δ′0 < |t – a| < \delta’, we have ∣g(t)−b∣<δ|g(t) – b| < \delta.
- Putting it all together:
- Choose δ′>0\delta’ > 0 such that ∣g(t)−b∣<δ|g(t) – b| < \delta whenever 0<∣t−a∣<δ′0 < |t – a| < \delta’.
- Now, if 0<∣t−a∣<δ′0 < |t – a| < \delta’, then ∣g(t)−b∣<δ|g(t) – b| < \delta.
- Since ∣g(t)−b∣<δ|g(t) – b| < \delta, by the limit of ff, we have ∣f(g(t))−c∣<ϵ|f(g(t)) – c| < \epsilon.
- Conclusion:
- Thus, for every ϵ>0\epsilon > 0, we can find δ′>0\delta’ > 0 such that if 0<∣t−a∣<δ′0 < |t – a| < \delta’, then ∣f(g(t))−c∣<ϵ|f(g(t)) – c| < \epsilon.
- This proves that limt→af(g(t))=c\lim_{t \to a} f(g(t)) = c.
Hence, we have shown that if limt→ag(t)=b\lim_{t \to a} g(t) = b and limx→bf(x)=c\lim_{x \to b} f(x) = c, then limt→af(g(t))=c\lim_{t \to a} f(g(t)) = c