5.2 Limites e funções contínuas

Como visto na Proposição 5.1, se gg é contínua em aa, e se ff é contínua em g⁢(a)g(a), então f∘gf\circ g é contínua em aa. Isso pode ser dito da seguinte maneira: se g⁢(x)→Lg(x)\to L quando x→ax\to a e se ff é contínua em LL, então f⁢(g⁢(x))→f⁢(L)f(g(x))\to f(L) quando x→ax\to a. Isto é,

limx→af⁢(g⁢(x))=f⁢(limx→ag⁢(x)).\lim_{x\to a}f(g(x))=f\bigl{(}\lim_{x\to a}g(x)\bigr{)}\,.

Esse fato foi usado, sem sequer ser mencionado, em vários lugares nas seções anteriores. Por exemplo apareceu, no item (5) do Exercício 4.19, o limite de (sen⁡xx)2(\frac{\operatorname{sen}x}{x})^{2} quando x→0x\to 0. Aqui, a função é da forma f⁢(g⁢(x))f(g(x)), com g⁢(x)=sen⁡xxg(x)=\frac{\operatorname{sen}x}{x}, f⁢(x)=x2f(x)=x^{2}. Ora, como g⁢(x)→1g(x)\to 1 e como ff é contínua em 11, podemos “entrar o limite dentro do (⋅)2(\cdot)^{2}”:

limx→0(sen⁡xx)2=(limx→0sen⁡xx)2=(1)2=1.\lim_{x\to 0}\Bigl{(}\frac{\operatorname{sen}x}{x}\Bigr{)}^{2}=\Bigl{(}\lim_{x% \to 0}\frac{\operatorname{sen}x}{x}\Bigr{)}^{2}=(1)^{2}=1\,.

Também, no item (9) do Exercício 4.15, como x\sqrt{x} é contínua a direita em 0

limx→1+ln⁡x=limx→1+ln⁡x=0=0.\lim_{x\to 1^{+}}\sqrt{\ln x}=\sqrt{\lim_{x\to 1^{+}}{\ln x}}=\sqrt{0}=0\,.

Um resultado parecido vale para limites no infinito: se g⁢(x)→Lg(x)\to L quando x→∞x\to\infty e se ff é contínua em LL, então f⁢(g⁢(x))→f⁢(L)f(g(x))\to f(L) quando x→∞x\to\infty. Em outras palavras:

limx→∞f⁢(g⁢(x))=f⁢(limx→∞g⁢(x)).\lim_{x\to\infty}f(g(x))=f\bigl{(}\lim_{x\to\infty}g(x)\bigr{)}\,.

Por exemplo, em (4.23),

limz→+∞ln⁡((1+1z)z)=ln⁡(limz→+∞(1+1z)z)=ln⁡e=1.\lim_{z\to+\infty}\ln\bigl{(}(1+\tfrac{1}{z})^{z}\bigr{)}=\ln\Bigl{(}\lim_{z% \to+\infty}(1+\tfrac{1}{z})^{z}\Bigr{)}=\ln e=1\,. (5.1)