4.3 Limites limx→afⁱ(x)\lim_{x\to a}f(x)

Definição 4.5.

Se uma função ff possui limites laterais iguais em a∈ℝa\in\mathbb{R}, isto Ă©, se limx→a+f⁹(x)=limx→a−f⁹(x)=ℓ\lim_{x\to a^{+}}f(x)=\lim_{x\to a^{-}}f(x)=\ell, entĂŁo diremos que f⁹(x)f(x) tende a ℓ\ell quando xx tende a aa, e escreveremos simplesmente

limx→afⁱ(x)=ℓ.\lim_{x\to a}f(x)=\ell\,.

Observe que nesse caso, f⁹(x)f(x) tende a ℓ\ell Ă  medida que xx tende a aa, qualquer que seja o lado: para todo Ï”>0\epsilon>0, existe ÎŽ>0\delta>0 tal que se |x−a|≀Ύ|x-a|\leq\delta, x≠ax\neq a, entĂŁo |f⁹(x)−ℓ|≀ϔ|f(x)-\ell|\leq\epsilon. O limite limx→af⁹(x)\lim_{x\to a}f(x) serĂĄ Ă s vezes chamado de bilateral.

Por definição, o limite bilateral satisfaz às mesmas propriedades que aquelas para os limites laterais descritas na Proposição 4.3.

ExercĂ­cio 4.15.

Estude os limites abaixo. (Em particular, comece verificando se o tipo de limite considerado é compatível com o domínio da função.)

  1. 1.
    ​

    limx→7(7−x)\lim_{x\to 7}(7-x)

  2. 2.
    ​

    limx→0+x\lim_{x\to 0^{+}}\sqrt{x}

  3. 3.
    ​

    limx→0cos⁡x\lim_{x\to 0}\cos x

  4. 4.
    ​

    limx→3x2−1x2+1\lim_{x\to 3}\frac{x^{2}-1}{x^{2}+1}

  5. 5.
    ​

    limx→4x−4x−4\lim_{x\to 4}\frac{x-4}{x-4}

  6. 6.
    ​

    limx→4|x−4|x−4\lim_{x\to 4}\frac{|x-4|}{x-4}

  7. 7.
    ​

    limx→−5x−5|x−5|\lim_{x\to-5}\frac{x-5}{|x-5|}

  8. 8.
    ​

    limx→11−xx2−1\lim_{x\to 1}\frac{1-x}{x^{2}-1}

  9. 9.
    ​

    limx→1ln⁡x\lim_{x\to 1}\sqrt{\ln x}

  10. 10.
    ​

    limx→−22−xx−2\lim_{x\to-2}\frac{2-x}{\sqrt{x-2}}

Vejamos agora o anĂĄlogo do Teorema 4.1 para limites laterais e bilaterais.

Teorema 4.2.

Suponha que ff, gg e hh sejam trĂȘs funçÔes que satisfazem

g⁹(x)≀f⁹(x)≀h⁹(x), para todo x numa vizinhança de a.g(x)\leq f(x)\leq h(x)\,,\text{ para todo $x$ numa vizinhan\c{c}a de $a$}\,.

Suponha tambĂ©m que limx→a+g⁹(x)=limx→a+h⁹(x)=ℓ\lim_{x\to a^{+}}g(x)=\lim_{x\to a^{+}}h(x)=\ell. EntĂŁo limx→a+f⁹(x)=ℓ\lim_{x\to a^{+}}f(x)=\ell. (O mesmo resultado vale trocando todos os x→a+x\to a^{+} por x→a−x\to a^{-} ou por x→ax\to a.)

Exemplo 4.21.

O limite limx→0x2⁹sen⁥1x\lim_{x\to 0}x^{2}\operatorname{sen}\tfrac{1}{x} pode ser calculado, observando que −1≀sen⁥1x≀+1-1\leq\operatorname{sen}\tfrac{1}{x}\leq+1 para todo x≠0x\neq 0. Logo, multiplicando por x2x^{2} (que Ă© >0>0),

−x2≀x2⁹sen⁥1x≀x2.-x^{2}\leq x^{2}\operatorname{sen}\tfrac{1}{x}\leq x^{2}\,.

Quando x→0x\to 0, −x2-x^{2} e x2x^{2} ambos tendem a zero.

Pelo Teorema 4.2, concluimos que limx→0x2ⁱsen⁡1x=0\lim_{x\to 0}x^{2}\operatorname{sen}\tfrac{1}{x}=0.

ExercĂ­cio 4.16.

Determine se o limite x→0{x\to 0} da função existe. Se for o caso, dĂȘ o seu valor.

f⁹(x)={x2 se x é racional diĂĄdico,0 caso contrĂĄrio,g⁹(x)={1+x1+x2 se ⁹x<0,−1 se ⁹x=0,sen⁥(π2+x) se ⁹x>0.f(x)=\begin{cases}x^{2}&\text{ se $x$ \'{e} racional di\'{a}dico}\,,\\ 0&\text{ caso contr\'{a}rio}\,,\end{cases}\quad\quad g(x)=\begin{cases}\frac{1% +x}{1+x^{2}}&\text{ se }x<0\,,\\ -1&\text{ se }x=0\,,\\ \operatorname{sen}(\frac{\pi}{2}+x)&\text{ se }x>0\,.\end{cases}