Aproximar-se de um valor não é o mesmo que atingi-lo
Um limite pergunta a que valor uma função se aproxima cada vez mais à medida que sua entrada se aproxima cada vez mais de um ponto c, sem exigir que a função esteja de fato definida em c, nem que ela seja igual a esse valor-limite ali mesmo que esteja definida. Essa distinção -- aproximar-se versus atingir -- é a ideia central que separa os limites da simples substituição: a substituição pergunta «qual é o valor de f(c)?»; um limite pergunta «do que f(x) se aproxima à medida que x se aproxima arbitrariamente de c?», e as duas perguntas podem ter respostas diferentes, ou uma pode ter resposta quando a outra não tem.
Para uma função bem-comportada (contínua), aproximar-se e atingir dão a mesma resposta, motivo pelo qual a simples substituição funciona para a maioria das funções encontradas na álgebra introdutória. Os limites se tornam genuinamente necessários exatamente nos pontos em que uma função não é bem-comportada -- indefinida, descontínua, ou construída a partir de uma razão que produz uma forma indeterminada como 0/0 naquele ponto específico -- que é precisamente onde a substituição falha, mas o limite ainda pode existir.
Limites laterais vs. bilaterais
Um limite lateral examina o comportamento da função a partir de apenas uma direção: o limite pela esquerda, escrito lim(x→c⁻) f(x), observa os valores de f à medida que x se aproxima de c por baixo (por valores menores que c); o limite pela direita, escrito lim(x→c⁺) f(x), observa os valores de f à medida que x se aproxima de c por cima (por valores maiores que c). Um limite bilateral, escrito lim(x→c) f(x) sem nenhum sobrescrito, existe apenas quando o limite pela esquerda e o limite pela direita existem e são iguais entre si.
A função f(x) = |x| / x ilustra um caso em que os limites laterais discordam em c = 0: para qualquer x negativo, |x| / x = −1, então o limite pela esquerda é −1; para qualquer x positivo, |x| / x = 1, então o limite pela direita é 1. Como −1 ≠ 1, o limite bilateral em x = 0 não existe, mesmo que ambos os limites laterais existam individualmente e sejam perfeitamente bem definidos.
| Direção da aproximação | Comportamento de f(x) = |x| / x | Limite |
|---|---|---|
| Pela esquerda (x → 0⁻) | f(x) = −1 para todo x < 0 | lim = −1 |
| Pela direita (x → 0⁺) | f(x) = 1 para todo x > 0 | lim = 1 |
| Bilateral (x → 0) | Os limites pela esquerda e pela direita discordam (−1 ≠ 1) | Não existe |
O caso clássico: por que sin(x)/x exige um limite, não substituição
Substituir x = 0 diretamente em sin(x)/x dá sin(0)/0 = 0/0, uma forma indeterminada que não carrega, por si só, nenhum valor numérico definido -- 0/0 não é automaticamente 0, nem 1, nem «indefinido para sempre»; isso simplesmente significa que a substituição direta não consegue responder à pergunta e que um limite deve ser calculado em seu lugar. Avaliar sin(x)/x em uma sequência de valores de x que diminuem em direção a 0 pelos dois lados mostra o valor da função tendendo consistentemente a 1, e não a 0 ou a qualquer outro número.
Numericamente: em x = 0,1, sin(x)/x ≈ 0,998334; em x = 0,01, sin(x)/x ≈ 0,999983; em x = 0,001, sin(x)/x ≈ 0,9999998; em x = 0,0001, sin(x)/x ≈ 0,99999998. Tanto a tendência pela esquerda quanto pela direita convergem para 1, então lim(x→0) sin(x)/x = 1, mesmo que a própria função sin(x)/x seja indefinida exatamente em x = 0. Esse resultado é um resultado padrão do cálculo e costuma ser demonstrado rigorosamente usando um argumento geométrico do teorema do confronto (squeeze/sandwich), e não apenas a avaliação numérica.
Quando um limite não existe: 1/x em x = 0
Nem todo limite existe. A função f(x) = 1/x, quando c = 0, ilustra um limite que falha por causa de um crescimento ilimitado, e não por uma simples divergência de valores: à medida que x se aproxima de 0 pela direita (valores positivos pequenos), 1/x cresce sem limite em direção ao infinito positivo; à medida que x se aproxima de 0 pela esquerda (valores negativos pequenos), 1/x cresce sem limite em direção ao infinito negativo. Como os dois comportamentos laterais divergem para infinitos opostos em vez de se estabilizarem em um número finito comum, o limite bilateral em x = 0 não existe.
Um limite também pode não existir por causa de oscilação, e não de divergência para o infinito -- por exemplo, sin(1/x), quando x se aproxima de 0, oscila entre −1 e 1 infinitas vezes, não importa o quão perto x chegue de 0, sem nunca se estabilizar em um único valor por nenhum dos dois lados. Tanto o crescimento ilimitado quanto a oscilação persistente são motivos padrão e bem documentados para um limite não existir, distintos do caso de discordância entre limites laterais mostrado acima por |x|/x.
Por que os limites são o alicerce sobre o qual derivadas e integrais são construídas
A definição formal de derivada é, ela mesma, um limite -- o limite da inclinação de uma reta secante à medida que os dois pontos que a definem se aproximam -- e a definição formal de integral definida também é um limite, o limite de uma soma de Riemann à medida que o número de retângulos cresce sem limite. Entender o que é um limite e quando ele existe ou não é, portanto, longe de ser um tópico secundário no cálculo; é o mecanismo por trás das duas operações centrais dessa disciplina.
É também por isso que uma calculadora de limites numérica, como a deste site, é construída conceitualmente da mesma forma que sin(x)/x foi avaliada acima: ela estima o comportamento pela esquerda e pela direita avaliando a função em pontos progressivamente mais próximos do valor de aproximação de cada lado, e depois verifica se essas duas tendências concordam o suficiente para reportar um limite bilateral.
Perguntas frequentes
O que significa um limite não existir?
Significa que o comportamento da função à medida que x se aproxima de um ponto específico não se estabiliza em um único valor bem definido -- geralmente porque as aproximações pela esquerda e pela direita discordam (como em |x|/x em x = 0), porque a função cresce sem limite em direções opostas de cada lado (como em 1/x em x = 0), ou porque a função oscila persistentemente perto daquele ponto sem se estabilizar.
Qual é a diferença entre um limite lateral e um limite bilateral?
Um limite lateral examina o comportamento de uma função ao se aproximar de um ponto por apenas uma direção -- o limite pela esquerda a partir de valores menores, o limite pela direita a partir de valores maiores. Um limite bilateral existe apenas quando os dois limites laterais existem e são iguais entre si; se discordam, o limite bilateral não existe, mesmo que cada limite lateral, isoladamente, ainda possa ser perfeitamente bem definido.
Por que lim(x→0) sin(x)/x = 1 mesmo sendo sin(0)/0 indefinido?
Porque um limite pergunta a que valor uma função se aproxima, não qual valor ela assume no próprio ponto. A substituição direta dá a forma indeterminada 0/0, que não carrega nenhum valor definido por si só, mas avaliar sin(x)/x em pontos progressivamente mais próximos de 0 pelos dois lados mostra o valor convergindo consistentemente para 1, que é o valor do limite, mesmo que a própria função seja indefinida exatamente em x = 0.
Quando um limite deixa de existir?
Um limite deixa de existir quando as aproximações pela esquerda e pela direita discordam (como em |x|/x em x = 0), quando a função cresce sem limite em direção a infinitos opostos de cada lado (como em 1/x em x = 0), ou quando a função oscila persistentemente perto do ponto sem se estabilizar em nenhum valor único (como em sin(1/x) perto de x = 0).
Uma função pode ter um limite em um ponto onde ela não é definida?
Sim. Um limite descreve o valor do qual uma função se aproxima à medida que sua entrada se aproxima de um ponto, não o valor que a função assume ali, então as duas perguntas podem ter respostas diferentes. A função sin(x)/x é indefinida em x = 0, mas seu limite quando x se aproxima de 0 é exatamente 1, porque os valores da função convergem para 1 a partir das duas direções, mesmo que o próprio x = 0 esteja excluído do seu domínio.
Referências
- Stewart J. Calculus. Cengage Learning (the formal definition of a limit, one-sided limits, and the squeeze theorem).
- Spivak M. Calculus (4th ed). Publish or Perish, 2008 (rigorous treatment of limits and continuity).
- Thomas GB, Weir MD, Hass J. Thomas' Calculus. Pearson (limits, one-sided limits, and indeterminate forms).
- NIST Digital Library of Mathematical Functions (DLMF), Chapter 3: Numerical Methods. dlmf.nist.gov.