Types of Discontinuities
A function is continuous at a point if you can draw its graph through that point without lifting your pencil. When this condition fails, the function has a discontinuity. Understanding exactly how and why a function breaks down at a point is essential for calculus, since many fundamental theorems — the Intermediate Value Theorem, the Mean Value Theorem, and the definition of the derivative itself — all require continuity on certain intervals. Mathematically, a function f(x) is continuous at x = a if three conditions hold simultaneously: (1) f(a) is defined, (2) the two-sided limit lim_{x→a} f(x) exists, and (3) the limit equals the function value, lim_{x→a} f(x) = f(a). A discontinuity occurs whenever at least one of these conditions fails. Depending on which condition fails and in what way, the discontinuity is classified into one of three main types: removable, jump, or infinite. Each type of discontinuity has a distinct graphical signature and requires different analytic techniques to identify. Recognizing the type of discontinuity in a function is not merely a classification exercise — it tells you whether the function can be patched up at that point, whether it can be integrated over an interval containing that point, and how the function behaves near its problematic values.
- Removable Discontinuities
- Jump Discontinuities
- Infinite Discontinuities
- Testing for Discontinuity: A Systematic Approach
Removable Discontinuities
A removable discontinuity occurs when the two-sided limit exists at x = a, but either f(a) is undefined, or f(a) is defined but does not equal the limit. Formally: lim_{x→a} f(x) = L exists, but f(a) ≠ L (or f(a) is undefined). The graph has a 'hole' at the point (a, L). The discontinuity is called 'removable' because you can fix it by redefining f(a) = L, making the function continuous. A classic example is f(x) = (x² − 4)/(x − 2). For x ≠ 2, this simplifies to f(x) = x + 2, so lim_{x→2} f(x) = 4, but f(2) is undefined. Redefining f(2) = 4 removes the discontinuity.
Jump Discontinuities
A jump discontinuity occurs when the left-hand and right-hand limits both exist at x = a, but they are not equal. That is: lim_{x→a⁻} f(x) = L₁ and lim_{x→a⁺} f(x) = L₂, but L₁ ≠ L₂. The graph literally 'jumps' from one finite value to another. Since the two-sided limit does not exist, no redefinition of f(a) can make this function continuous — the discontinuity cannot be removed. The size of the jump is |L₂ − L₁|. Piecewise functions frequently produce jump discontinuities. For example, the Heaviside step function H(x) = 0 for x < 0 and H(x) = 1 for x ≥ 0 has a jump of size 1 at x = 0.
Infinite Discontinuities
An infinite discontinuity occurs when at least one of the one-sided limits at x = a is ±∞. This typically appears at vertical asymptotes. For example, f(x) = 1/x has an infinite discontinuity at x = 0 because lim_{x→0⁻} 1/x = −∞ and lim_{x→0⁺} 1/x = +∞. Similarly, f(x) = 1/x² has lim_{x→0} 1/x² = +∞ from both sides. In either case, the function grows without bound near the point and cannot be made continuous there by any redefinition. Infinite discontinuities are sometimes called 'essential' discontinuities, and they make integration over any interval containing that point much more delicate (requiring improper integrals).
Testing for Discontinuity: A Systematic Approach
To classify a discontinuity at x = a: Step A — Check whether f(a) is defined. Step B — Compute lim_{x→a⁻} f(x) and lim_{x→a⁺} f(x) separately. Step C — If both one-sided limits are finite and equal, the two-sided limit L exists: if f(a) = L, the function is actually continuous; if f(a) ≠ L or is undefined, the discontinuity is removable. Step D — If both one-sided limits are finite but unequal, the discontinuity is a jump. Step E — If either one-sided limit is ±∞, the discontinuity is infinite. This systematic check prevents misclassification, especially for piecewise functions where multiple conditions may interact.
The Key Equation
- L_1 — Left-hand limit (same as f(x)): The value that f(x) approaches as x increases toward a from values less than a.
- L_2 — Right-hand limit (same as f(x)): The value that f(x) approaches as x decreases toward a from values greater than a.
- a — Point of discontinuity (x-axis units): The x-value at which the function fails to be continuous.
Worked Example
Problem. Classify the discontinuity of the function f(x) = (x² − x − 6)/(x − 3) at x = 3, and determine whether it can be removed.
Answer. Removable discontinuity at x = 3; removed by defining f(3) = 5.
Origins · 1 minAugustin-Louis Cauchy and how this was discovered
Cauchy was the first mathematician to give a rigorous definition of continuity, formulating it in terms of limits in his 1821 textbook Cours d'analyse. He defined a function as continuous at a point if an infinitely small change in x produces an infinitely small change in f(x) — a precursor to the modern epsilon-delta definition. His work made it possible to distinguish and formally classify the different ways a function can fail to be continuous. Cauchy published over 800 mathematical papers — more than any other mathematician in history — covering topics from complex analysis to celestial mechanics, often working so rapidly that the Paris Academy had to limit his submissions to prevent other authors from being crowded out.
Related Concepts
- Definition of a Limit — Discontinuities are defined in terms of limits; understanding limits is prerequisite to classifying discontinuities.
- Definition of Continuity — Discontinuities are exactly the points where the conditions for continuity fail; the two concepts are complementary.
- One-Sided Limits — Identifying jump and infinite discontinuities requires computing separate left-hand and right-hand limits.
- Improper Integrals — Integrating over an interval containing an infinite discontinuity requires the technique of improper integration.