Definição Formal de Limite

Entendendo o Conceito Passo a Passo

Quando começamos o estudo de Cálculo, logo nos deparamos com um conceito fundamental: o limite. Muitas vezes, ele é apresentado diretamente junto da derivada, pois a derivada é definida como o limite da taxa de variação. No entanto, para compreender de forma profunda, é preciso separar essas ideias e entender primeiro o que é o limite em si.

De onde surge a noção de limite?

Quando analisamos a inclinação de uma curva em um ponto, não podemos usar a fórmula de inclinação usual porque precisamos de dois pontos distintos. Por isso, criamos uma função auxiliar, que mede a inclinação da reta secante entre dois pontos da curva, e estudamos o comportamento dessa função quando os dois pontos se aproximam. Esse comportamento é formalizado pelo conceito de limite.

O exemplo da parábola \( y = x^2 \)

Considere a função \( f(x) = x^2 \). A inclinação da secante que passa pelos pontos \( (x_0, x_0^2) \) e \( (x, x^2) \) é:

Aplicando a diferença de quadrados, obtemos:

Ao aproximar \( x \) de \( x_0 \), temos:

Esse processo é a essência do conceito de limite: entender o comportamento de uma função em torno de um ponto, mesmo quando ela não está definida naquele ponto.

A Definição Formal (\(\varepsilon\)-\(\delta\))

Para uma função \( g(x) \) e um ponto \( x_0 \), dizemos que:

se, para todo número positivo \( \varepsilon \), existe um número \( \delta > 0 \) tal que:

Essa definição formaliza a ideia intuitiva de que podemos tornar \( g(x) \) tão próximo de \( L \) quanto quisermos, bastando restringir \( x \) suficientemente perto de \( x_0 \).

Exemplo 1: Função Constante

Se \( f(x) = a \), uma constante, então:

Não importa quão próximo \( x \) esteja de \( x_0 \), o valor de \( f(x) \) é sempre \( a \).

Exemplo 2: Função Identidade

Para \( f(x) = x \), temos:

Este é o caso mais simples, servindo de base para o cálculo de limites de funções mais complexas.

Propriedades dos Limites

Uma vez que entendemos limites básicos, podemos usar propriedades para funções somadas, multiplicadas ou divididas:

• \( \lim_{x \to x_0} [f(x) + g(x)] = \lim_{x \to x_0} f(x) + \lim_{x \to x_0} g(x) \).
• \( \lim_{x \to x_0} [f(x) \cdot g(x)] = \lim_{x \to x_0} f(x) \cdot \lim_{x \to x_0} g(x) \).
• \( \lim_{x \to x_0} \frac{f(x)}{g(x)} = \frac{\lim_{x \to x_0} f(x)}{\lim_{x \to x_0} g(x)} \), desde que \( \lim_{x \to x_0} g(x) \neq 0 \).

Conclusão

A definição formal de limite garante que podemos controlar a aproximação de uma função a um valor desejado. Com esse conceito, conseguimos definir rigorosamente derivadas e integrais, que são os próximos passos no estudo do cálculo.