In calculus, a limit is the value that a function "approaches" as the input "approaches" some value. Limits are essential to calculus and are used to define continuity, derivatives, and integrals. The concept describes the behavior of a function near a particular point, rather than at the point itself. It is the mathematical way to describe "getting arbitrarily close" with precise control over accuracy.
| Symbol | Description |
|---|---|
| \[ \lim_{x \to a} \] | Limit Notation - Describes the behavior of a function as its input \(x\) approaches a value \(a\). |
| \[ L \] | Limit Value - The value that \(f(x)\) approaches as \(x\) approaches \(a\). |
| \[ \epsilon \] | Epsilon - An arbitrarily small positive number representing the desired accuracy or tolerance for the output \(f(x)\). |
| \[ \delta \] | Delta - A small positive number controlling how close the input \(x\) must be to \(a\) to ensure \(f(x)\) is within \(\epsilon\) of \(L\). |
| \[ a^+ / a^- \] | One-Sided Limits - Approaching \(a\) from values greater than \(a\) (right-hand) or less than \(a\) (left-hand). |
| \[ \infty \] | Infinity - Represents a process of unlimited growth, not a specific number. |
A limit is visualized on a graph of a function \( y = f(x) \). As the x-value gets closer and closer to a point \(a\) from both the left and the right, the y-value of the function gets closer and closer to a specific value \(L\). The function does not need to be defined at \(x=a\) for the limit to exist; there could be a hole in the graph at \((a, L)\). The epsilon-delta definition creates a "box" around the point \((a, L)\) with width \(2\delta\) and height \(2\epsilon\), guaranteeing that if \(x\) is within the \(\delta\)-interval of \(a\), then \(f(x)\) will be within the \(\epsilon\)-interval of \(L\).
| Property | Description |
|---|---|
| Uniqueness | If the limit of a function at a point exists, it is unique. A function cannot approach two different values at the same point. |
| Locality | The limit of a function at a point \(a\) depends only on the values of the function in the immediate neighborhood of \(a\). It is not affected by the value of the function at \(a\) itself. |
| Composition | If \(f\) is continuous at \(L\) and \(\lim_{x \to a} g(x) = L\), then \(\lim_{x \to a} f(g(x)) = f(L)\). This allows passing a limit inside a continuous function. |
| Preservation of Inequalities | If \(f(x) \le g(x)\) for all \(x\) near \(a\), and the limits of both functions exist, then \(\lim_{x \to a} f(x) \le \lim_{x \to a} g(x)\). |
We want to prove that if \(\lim_{x \to a} f(x) = L\) and \(\lim_{x \to a} g(x) = M\), then \(\lim_{x \to a} [f(x) + g(x)] = L + M\). We will use the formal epsilon-delta definition of a limit.
1. State the goal: For any given \(\epsilon > 0\), we need to find a \(\delta > 0\) such that if \(0 < |x - a| < \delta\), then \(|(f(x) + g(x)) - (L + M)| < \epsilon\).
2. Use the given limits: Since \(\lim_{x \to a} f(x) = L\), for \(\epsilon/2 > 0\), there exists a \(\delta_1 > 0\) such that if \(0 < |x - a| < \delta_1\), then \(|f(x) - L| < \epsilon/2\).
Similarly, since \(\lim_{x \to a} g(x) = M\), for \(\epsilon/2 > 0\), there exists a \(\delta_2 > 0\) such that if \(0 < |x - a| < \delta_2\), then \(|g(x) - M| < \epsilon/2\).
3. Choose \(\delta\): Let \(\delta = \min(\delta_1, \delta_2)\). This ensures that if \(0 < |x - a| < \delta\), both conditions above are satisfied simultaneously.
4. Apply the Triangle Inequality: We can rearrange the expression from our goal and apply the triangle inequality \(|A+B| \le |A| + |B|\).
5. Conclude the proof: For \(0 < |x - a| < \delta\), we can substitute the inequalities from step 2:
Thus, we have shown that for any \(\epsilon > 0\), there exists a \(\delta\) such that if \(0 < |x - a| < \delta\), then \(|(f(x) + g(x)) - (L + M)| < \epsilon\). This completes the proof.
Engineering & Physics: Limits are fundamental to defining instantaneous velocity and acceleration. They are also used to analyze stress concentrations in materials near a crack or hole, and to determine critical thresholds for structural failure.
Economics & Finance: In economics, limits are used in marginal analysis to find the marginal cost or marginal revenue, representing the change in cost or revenue from producing one additional unit. In finance, the formula for continuously compounded interest is derived from a limit.
Biology & Medicine: Limits model population growth approaching a carrying capacity (logistic growth). In pharmacology, they describe the concentration of a drug in the bloodstream over time, approaching a steady-state or zero.
Computer Science: Limits are used to analyze the complexity of algorithms (Big O notation), describing their performance as the input size approaches infinity. They are also used in optimization algorithms, such as gradient descent in machine learning, to find the minimum of a function.
Terminal Velocity
As a skydiver falls, their speed increases due to gravity but is counteracted by air resistance, which grows with speed. The skydiver's velocity approaches a maximum constant value called terminal velocity. This terminal velocity is the limit of the speed function as time approaches infinity.
Chemical Equilibrium
In a reversible chemical reaction, the rate of the forward reaction decreases as reactants are consumed, while the rate of the reverse reaction increases as products are formed. The system approaches a state of equilibrium where the concentrations of reactants and products become constant. These equilibrium concentrations are the limits of the concentration functions over time.
Zeno's Paradox
The ancient Greek paradox of Achilles and the tortoise illustrates a limit. To finish a race, a runner must first cover half the distance, then half the remaining distance, and so on. The total distance covered is the limit of the infinite series \(1/2 + 1/4 + 1/8 + ...\), which converges to 1, showing that the runner does indeed finish the race.
Limits can be classified based on how the input variable approaches its target value and the behavior of the function's output.
| Limit Type | Notation | Description |
|---|---|---|
| Two-Sided Limit | \[ \lim_{x \to a} f(x) \] | The function approaches the same value L from both the left and the right of \(a\). |
| Right-Hand Limit | \[ \lim_{x \to a^+} f(x) \] | The input \(x\) approaches \(a\) from values greater than \(a\). |
| Left-Hand Limit | \[ \lim_{x \to a^-} f(x) \] | The input \(x\) approaches \(a\) from values less than \(a\). |
| Limit at Infinity | \[ \lim_{x \to \infty} f(x) \] | Describes the end behavior of a function as \(x\) grows without bound. |
| Infinite Limit | \[ \lim_{x \to a} f(x) = \infty \] | The function's value grows without bound as \(x\) approaches \(a\) (e.g., a vertical asymptote). |
Indeterminate Forms
When direct substitution yields one of the following forms, it does not mean the limit does not exist, but that further analysis (like algebraic manipulation or L'Hôpital's Rule) is required.
Assuming the Limit Equals the Function Value: A common error is to assume \(\lim_{x \to a} f(x)\) is always equal to \(f(a)\). This is only true if the function is continuous at \(a\). The limit can exist even if \(f(a)\) is undefined.
Incorrectly Applying L'Hôpital's Rule: L'Hôpital's Rule only applies to indeterminate forms of \(0/0\) or \(\infty/\infty\). Applying it to other forms (like \(\infty - \infty\) without first converting it to a quotient) will lead to an incorrect answer.
Treating Infinity as a Number: Infinity (\(\infty\)) is a concept of unbounded growth, not a real number. Algebraic operations like \(\infty - \infty = 0\) are invalid. Indeterminate forms involving infinity must be handled with proper limit techniques.