Matemática · Glossário

O que é Limite em um ponto?

Também chamado de: Limite num ponto

Definição 21.2 Matemática do ensino médio · Capítulo 21 — Limites e continuidade

Seja aRa \in \R e seja ff definida perto de aa (exceto, talvez, em aa). Dizemos que ff tende a R\ell \in \R em aa, o que se escreve limxaf(x)=\lim\limits_{x \to a} f(x) = \ell, se, para todo ε>0\varepsilon > 0, existe δ>0\delta > 0 tal que, para todo xDx \in D com xaδ\abs{x - a} \leq \delta, f(x)ε\abs{f(x) - \ell} \leq \varepsilon.

Dizemos que ff tende a ++\infty em aa se, para todo MM, existe δ>0\delta > 0 tal que f(x)Mf(x) \geq M sempre que xDx \in D e xaδ\abs{x - a} \leq \delta. Os limites laterais (xa+x \to a^+, xax \to a^-) restringem xx a x>ax > a ou x<ax < a.

Ler no capítulo →
Definição 13.1 Matemática universitária — Graduação 1 · Capítulo 13 — Limites e Continuidade

Sejam x0Ix_0 \in \overline{I} e R\ell \in \R. Então f(x)f(x) \to \ell quando xx0x \to x_0 se

ε>0, δ>0, xI,xx0δ    f(x)ε.\forall \varepsilon > 0,\ \exists \delta > 0,\ \forall x \in I, \qquad \abs{x - x_0} \leq \delta \implies \abs{f(x) - \ell} \leq \varepsilon .

Os limites em ±\pm\infty e os limites infinitos são definidos pelo mesmo padrão (xx0δ\abs{x - x_0} \leq \delta passa a xMx \geq M; f(x)ε\abs{f(x) - \ell} \leq \varepsilon passa a f(x)Mf(x) \geq M'). Os limites laterais restringem xx a x>x0x > x_0 (escrito xx0+x \to x_0^+) ou a x<x0x < x_0. O limite é único quando existe (mesma demonstração da Proposição 11.4).

Exemplos

Exemplo 13.2 (Um limite pelo confronto)

Calcule limx0x1x\lim_{x \to 0} x\,\bigl\lfloor \frac1x \bigr\rfloor. O enquadramento da parte inteira 1x1<1x1x\frac1x - 1 < \lfloor \frac1x \rfloor \leq \frac1x dá, após multiplicar por xx (atenção ao sinal!):

1x<x1x1(x>0),1x1x<1x(x<0),1 - x < x\Bigl\lfloor \frac1x \Bigr\rfloor \leq 1 \quad (x > 0), \qquad 1 \leq x\Bigl\lfloor \frac1x \Bigr\rfloor < 1 - x \quad (x < 0),

e os dois confrontos laterais se fecham sobre 11: o limite é 11. Note o que aconteceu: 1x\lfloor \frac1x\rfloor sozinha tem saltos selvagens perto de 00, mas o fator xx doma cada salto (xx vezes um salto unitário é pequeno), e só o enquadramento sobrevive. A ideia de fechamento: limites de produtos de um fator pequeno por um fator de oscilação limitada são problemas de confronto, nunca problemas do teorema das operações — o teorema das operações precisa que ambos os fatores convirjam.

Exemplo 13.5 (Por que a ressalva da composição existe)

Sejam g(y)=0g(y) = 0 para y0y \neq 0 e g(0)=1g(0) = 1, e seja ff identicamente 00. Então f(x)0f(x) \to 0 quando x0x \to 0, e g(y)0g(y) \to 0 quando y0y \to 0; e, no entanto, g(f(x))=g(0)=1g(f(x)) = g(0) = 1 para todo xx, de modo que gf10g \circ f \to 1 \neq 0. A função interna fica exatamente sobre o valor proibido =0\ell = 0 para sempre, e o limite de gg em 00 ignora o que gg faz em 00. A ressalva do Corolário 13.4 — ou g()=mg(\ell) = m (isto é, gg contínua em \ell), ou ff \neq \ell perto de x0x_0 — é precisamente o que exclui isso. A ideia de fechamento: na prática compõem-se funções contínuas e a ressalva é gratuita; ela morde apenas quando os limites são tomados ao longo de vizinhanças perfuradas, e é por isso que a definição de limxx0\lim_{x \to x_0} usada neste livro inclui o ponto quando ele está no domínio.

Ler no capítulo →