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 fgf\circ g é contínua em aa. Isso pode ser dito da seguinte maneira: se g(x)Lg(x)\to L quando xax\to a e se ff é contínua em LL, então f(g(x))f(L)f(g(x))\to f(L) quando xax\to a. Isto é,

limxaf(g(x))=f(limxag(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 (senxx)2(\frac{\operatorname{sen}x}{x})^{2} quando x0x\to 0. Aqui, a função é da forma f(g(x))f(g(x)), com g(x)=senxxg(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}”:

limx0(senxx)2=(limx0senxx)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

limx1+lnx=limx1+lnx=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 xx\to\infty e se ff é contínua em LL, então f(g(x))f(L)f(g(x))\to f(L) quando xx\to\infty. Em outras palavras:

limxf(g(x))=f(limxg(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)=lne=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)