No history yet

Limit Foundations

Approaching the Point

In calculus, we're often interested in what happens to a function not just at a certain point, but as we get incredibly close to it. This idea of 'approaching' is the core concept of a limit. It allows us to analyse the behaviour of functions at points where they might be undefined or behave strangely.

A limit is the value that a function 'approaches' as the input gets closer and closer to some value.

Consider the function f(x)=x21x1f(x) = \frac{x^2 - 1}{x-1}. If we try to evaluate this function at x=1x=1, we get 00\frac{0}{0}, which is undefined. This is an example of an indeterminate form. Algebra tells us we've hit a wall, but limits let us peek over it. We can't plug in 1, but we can ask: what value does f(x)f(x) approach as xx gets closer and closer to 1?

xf(x) = (x² - 1)/(x-1)
0.91.9
0.991.99
0.9991.999
1.0012.001
1.012.01
1.12.1

As xx approaches 1 from either side, the value of f(x)f(x) gets closer to 2. We can see this algebraically, too. By factoring the numerator, we find that for any x1x \neq 1, the function is equivalent to f(x)=(x1)(x+1)x1=x+1f(x) = \frac{(x-1)(x+1)}{x-1} = x+1. So, as xx gets close to 1, f(x)f(x) gets close to 1+1=21+1=2. We express this using limit notation:

limx1x21x1=2\lim_{x \to 1} \frac{x^2 - 1}{x-1} = 2

The Epsilon-Delta Definition

The intuitive idea of 'getting closer' is useful, but mathematics requires rigour. In the 19th century, mathematicians like Augustin-Louis Cauchy and Karl Weierstrass formalised the concept of a limit with the epsilon-delta definition. It's a precise way of stating that you can make the function's value arbitrarily close to the limit, just by choosing an input close enough to the target point.

limxcf(x)=L    ϵ>0,δ>0 such that 0<xc<δ    f(x)L<ϵ\lim_{x \to c} f(x) = L \iff \forall \epsilon > 0, \exists \delta > 0 \text{ such that } 0 < |x - c| < \delta \implies |f(x) - L| < \epsilon

This definition is like a challenge. You give me an error tolerance (ϵ\epsilon), and I must be able to find a corresponding input range (\\[c-\delta, c+\delta\\]) that guarantees the function's output will be within that tolerance of the limit LL. The condition 0<xc0 < |x - c| is important; it means we don't care what happens at x=cx=c, only nearby.

Rules of Engagement

While the epsilon-delta definition is the bedrock, we rarely use it for everyday calculations. Instead, we rely on a set of Limit Laws that streamline the process. Assuming that limxcf(x)\lim_{x \to c} f(x) and limxcg(x)\lim_{x \to c} g(x) both exist:

LawFormula
Sum Rulelimxc[f(x)+g(x)]=limxcf(x)+limxcg(x)\lim_{x \to c} [f(x) + g(x)] = \lim_{x \to c} f(x) + \lim_{x \to c} g(x)
Difference Rulelimxc[f(x)g(x)]=limxcf(x)limxcg(x)\lim_{x \to c} [f(x) - g(x)] = \lim_{x \to c} f(x) - \lim_{x \to c} g(x)
Product Rulelimxc[f(x)g(x)]=limxcf(x)limxcg(x)\lim_{x \to c} [f(x) \cdot g(x)] = \lim_{x \to c} f(x) \cdot \lim_{x \to c} g(x)
Quotient Rulelimxcf(x)g(x)=limxcf(x)limxcg(x)\lim_{x \to c} \frac{f(x)}{g(x)} = \frac{\lim_{x \to c} f(x)}{\lim_{x \to c} g(x)}, if limxcg(x)0\lim_{x \to c} g(x) \neq 0
Power Rulelimxc[f(x)]n=[limxcf(x)]n\lim_{x \to c} [f(x)]^n = [\lim_{x \to c} f(x)]^n

These laws allow us to break down complex limits into simpler parts. For polynomial and rational functions, this often means we can just substitute the value cc directly, as long as the denominator isn't zero.

One-Sided Limits: A limit only exists if the function approaches the same value from both the left and the right.

We denote the limit as xx approaches cc from the left (smaller values) as limxcf(x)\lim_{x \to c^-} f(x) and from the right (larger values) as limxc+f(x)\lim_{x \to c^+} f(x). The overall limit limxcf(x)\lim_{x \to c} f(x) exists if and only if limxcf(x)=limxc+f(x)\lim_{x \to c^-} f(x) = \lim_{x \to c^+} f(x). This is crucial for analysing functions with jump discontinuities.

Sometimes, we need to know what happens when a function gets 'trapped' between two others. This is where the comes in. If we have three functions, g(x)f(x)h(x)g(x) \le f(x) \le h(x) for all xx near cc, and we know that limxcg(x)=limxch(x)=L\lim_{x \to c} g(x) = \lim_{x \to c} h(x) = L, then the Squeeze Theorem guarantees that the function in the middle must also approach the same limit.

Quiz Questions 1/5

What does the concept of a limit, limxcf(x)\text{lim}_{x \to c} f(x), primarily describe in calculus?

Quiz Questions 2/5

Evaluate the following limit: \text{lim}_{x \to 3} rac{x^2 - 9}{x - 3}

Limits are the engine of calculus. They provide the rigorous foundation needed to define continuity, derivatives, and integrals, turning the static world of algebra into the dynamic study of change.