Historical Context & Motivation
The rigorous study of continuity and its failures emerged from centuries of mathematical debate about what it means for a function to behave "smoothly." Early practitioners of calculus — Newton and Leibniz among them — operated with an intuitive notion that functions were inherently continuous curves, but by the early nineteenth century, mathematicians began constructing examples that shattered this assumption. Functions with isolated holes, sudden jumps, and vertical asymptotes demanded a precise vocabulary and classification system, ultimately forging the modern epsilon-delta framework and the taxonomy of discontinuities that every calculus student studies today.
This historical arc raises the central question for our lesson: given a function that is not continuous at a point, how exactly does it fail? Identifying the type of discontinuity tells us whether the break is "fixable," represents a fundamental gap in the function's behavior, or signals an unbounded explosion — distinctions that matter profoundly when we later study derivatives, integrals, and the theorems (like the Intermediate Value Theorem) that require continuity as a hypothesis.
Core Definitions & Principles
Before classifying discontinuities, recall the three-part definition of continuity at a point x = c: (1) f(c) is defined, (2) lim as x → c of f(x) exists, and (3) lim as x → c of f(x) equals f(c). A discontinuity occurs whenever at least one of these conditions fails. The specific condition (or conditions) that break determines the type of discontinuity.
Removable Discontinuity
Jump Discontinuity
Infinite Discontinuity
Continuity Checklist
Visual Explanation — Graphing Discontinuities
The diagram below places all three discontinuity types side by side on a single coordinate system, making the visual distinctions immediately clear. Study how the behavior of the curve near the point of discontinuity differs in each case.
Notice that in the removable case the two pieces of the curve approach the same height — the limit exists — but the function value is either missing or placed elsewhere. In the jump case, each side of the curve levels off at a finite value, yet those values disagree. In the infinite case, the curve escapes the finite plane entirely, making any notion of a finite limit impossible.
Mathematical Framework
We now express each discontinuity type in precise limit notation. Understanding these formal statements is essential for exam-level reasoning, especially when a problem asks you to justify why a function is or is not continuous at a point.
Detailed Classification & Decision Flowchart
The flowchart below provides a systematic algorithm for classifying discontinuities. Starting from the top, you evaluate one-sided limits and follow the decision path. This procedural approach is especially helpful under exam time pressure, where a clear mental model prevents errors.
| Type | Two-Sided Limit | One-Sided Limits | f(c) | Graphical Feature |
|---|---|---|---|---|
| Removable | Exists (= L) | L⁻ = L⁺ = L | ≠ L or undefined | Hole (open circle) |
| Jump | Does not exist | L⁻ ≠ L⁺, both finite | Equals one side, or other | Break / step |
| Infinite | Does not exist | At least one is ±∞ | Usually undefined | Vertical asymptote |
Worked Example — Classifying Discontinuities
Consider the piecewise function below. We will classify every discontinuity using the decision framework from Section 5.
Comparing Discontinuity Types — Strengths & Limitations
Different discontinuity types have different consequences for the theorems and techniques of calculus. A removable discontinuity is a minor nuisance — the limit machinery still works — whereas jump and infinite discontinuities present more serious obstacles.
| Feature | Removable | Jump | Infinite |
|---|---|---|---|
| Two-sided limit exists? | Yes | No | No |
| Can be "fixed"? | Yes — redefine f(c) | No | No |
| IVT applies? | After removal, yes | No — hypothesis fails | No — hypothesis fails |
| Derivative exists? | Possibly, after repair | No | No |
| Common algebraic cause | 0/0 after substitution | Piecewise rules disagree | Nonzero / 0 |
Connection to Advanced Theory
The discontinuity classification you learn in AP Calculus AB is the entry point to a richer taxonomy used in real analysis and topology. In those courses, removable and jump discontinuities are grouped together as discontinuities of the first kind (because both one-sided limits are finite), while infinite discontinuities and oscillating discontinuities (such as sin(1/x) near x = 0) are called discontinuities of the second kind. This distinction becomes important when studying Riemann integrability and measure theory.
| Concept | AP Calculus AB | Real Analysis / Beyond |
|---|---|---|
| Discontinuity classes | Removable, jump, infinite | First kind (removable + jump) vs. second kind (infinite + oscillating) |
| Continuity definition | Three-condition check at a point | ε–δ definition; topological (preimage of open sets) |
| Integrability | Assumed for standard functions | A bounded function is Riemann integrable iff its discontinuities form a set of measure zero |
| Oscillating discontinuity | Not tested on AP exam | sin(1/x) at x = 0 — neither one-sided limit exists |
For now, the three-type classification — removable, jump, and infinite — covers every discontinuity scenario you will encounter on the AP exam. Mastering this taxonomy prepares you to state precise hypotheses for the Intermediate Value Theorem, the Extreme Value Theorem, and later, the Fundamental Theorem of Calculus, all of which require continuity on a closed interval.