The continuity contract

A function f is continuous at a when all three statements hold:

  1. f(a) is defined.
  2. limx→a f(x) exists.
  3. limx→a f(x) = f(a).

The first condition concerns the point. The second concerns nearby behavior from both sides. The third connects them. Testing these separately prevents a hole, jump, asymptote, or oscillation from being treated as the same phenomenon.

Four failure signatures

TypeOne-sided behaviorCan a single point repair it?
RemovableFinite left and right limits agreeYes, define the point to equal the limit
JumpFinite left and right limits disagreeNo
InfiniteMagnitude grows without finite boundNo
OscillatoryValues do not settle to one resultNo

Representative models

Removable: (x²-1)/(x-1) = x+1 for x ≠ 1
Jump: f(x) = -1 for x<0 and 1 for x≥0
Infinite: f(x) = 1/x² near x=0
Oscillatory: f(x) = sin(1/x) near x=0

A graph is useful for recognizing these signatures, but the classification comes from limits. In particular, finite sampling cannot prove that oscillation has stopped or that growth remains bounded closer to the point.

One changed value cannot repair neighborhood behavior.Redefining f(a) can fill a removable hole because the nearby values already agree. It cannot reconcile unequal one-sided limits, cap an infinite asymptote, or force an oscillating neighborhood to settle.

Sources