No history yet

Limit Foundations

The Language of Closeness

In algebra, we often care about what happens at a specific point. What is the value of f(x)f(x) when x=3x=3? Calculus is different. It's the study of change, which often requires us to understand what happens near a point. This is the job of a limit. A limit describes the value a function approaches as its input gets arbitrarily close to a certain number.

A limit doesn't care about the value of the function at the point, only the value it approaches near the point.

While the idea of "getting close" is intuitive, mathematics requires precision. The formal definition of a limit, known as the epsilon-delta (ϵδ\epsilon-\delta) definition, provides this rigor. It’s a way to state, with no ambiguity, that a function f(x)f(x) has a limit LL as xx approaches cc.

limxcf(x)=L\lim_{x \to c} f(x) = L

The epsilon-delta definition frames this as a challenge and response. For any tiny positive distance you choose (epsilon, ϵ\epsilon), I can find another tiny positive distance (delta, δ\delta) such that if xx is within δ\delta of cc, then f(x)f(x) will be within ϵ\epsilon of LL.

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

This definition is powerful because it works even when a function is undefined at a point, like a hole in a graph. For example, the function f(x)=(x21)/(x1)f(x) = (x^2 - 1)/(x-1) is undefined at x=1x=1. However, the limit as xx approaches 1 is 2, because for any xx value other than 1, the function simplifies to f(x)=x+1f(x)=x+1.

Navigating Indeterminate Forms

Sometimes, trying to evaluate a limit by direct substitution leads to a meaningless expression like 0/00/0 or /\infty/\infty. These are called indeterminate forms. They don't mean the limit is zero, one, or nonexistent; they mean we need to do more work.

A powerful tool for handling these forms is L'Hôpital's Rule. It states that if you have an indeterminate form of the type 0/00/0 or /\infty/\infty, you can take the derivative of the numerator and the derivative of the denominator separately, and then try to evaluate the limit again.

limxcf(x)g(x)=limxcf(x)g(x)\lim_{x \to c} \frac{f(x)}{g(x)} = \lim_{x \to c} \frac{f'(x)}{g'(x)}

Let's find the limit of sin(x)x\frac{\sin(x)}{x} as x0x \to 0. Direct substitution gives 0/00/0. Using L'Hôpital's Rule:

limx0sin(x)x=limx0cos(x)1=cos(0)1=1\lim_{x \to 0} \frac{\sin(x)}{x} = \lim_{x \to 0} \frac{\cos(x)}{1} = \frac{\cos(0)}{1} = 1

Continuity and Squeezing

A function is continuous at a point if you can draw its graph through that point without lifting your pencil. Formally, a function ff is continuous at a point cc if three conditions are met: f(c)f(c) is defined, the limit as xcx \to c exists, and the limit equals the function's value.

limxcf(x)=f(c)\lim_{x \to c} f(x) = f(c)

If any of these conditions fail, the function has a discontinuity. This can be a hole (removable discontinuity), a jump (jump discontinuity), or a vertical asymptote (infinite discontinuity).

But what if a function's limit is very difficult to calculate directly? If we can find two other functions that are simpler to evaluate and that "squeeze" our target function between them, we can use the Squeeze Theorem.

Lesson image

The theorem states that if a function f(x)f(x) is always between two other functions, g(x)g(x) and h(x)h(x), near a point cc, and if g(x)g(x) and h(x)h(x) have the same limit at cc, then f(x)f(x) must also have that same limit at cc.

If g(x)f(x)h(x) for all x near c, and limxcg(x)=limxch(x)=L, then limxcf(x)=L\text{If } g(x) \le f(x) \le h(x) \text{ for all } x \text{ near } c, \text{ and } \lim_{x \to c} g(x) = \lim_{x \to c} h(x) = L, \text{ then } \lim_{x \to c} f(x) = L

This theorem is especially useful for finding limits of functions involving trigonometric components, like x2sin(1/x)x^2 \sin(1/x) as xx approaches 0. We know that sin(1/x)\sin(1/x) oscillates wildly between -1 and 1, but by squeezing it between x2-x^2 and x2x^2, we can prove its limit is 0.

Quiz Questions 1/6

What does the limit of a function primarily describe?

Quiz Questions 2/6

Which of the following expressions is an 'indeterminate form', suggesting that more work (like using L'Hôpital's Rule) is needed to find the limit?

Limits provide the rigorous foundation for calculus. By understanding how to define and evaluate them, you have the tools to analyze the behavior of functions with a new level of precision, paving the way for derivatives and integrals.