A point in the domain of a real (or one-dimensional) function where both one-sided limits exist and are finite but unequal, producing a finite 'jump' in the function's values at that point.

Principle

A jump discontinuity occurs when lim_{x→a^-} f(x) and lim_{x→a^+} f(x) both exist as finite numbers but differ; the function may be defined or undefined at a, but continuity cannot be achieved by redefining the value at a unless the one-sided limits coincide.

Demonstration

The Heaviside step H(x), defined by H(x)=0 for x<0 and H(x)=1 for x>0, exhibits a jump discontinuity at x=0 because the left-hand limit is 0, the right-hand limit is 1, and the two are not equal.

Misapplication

Calling a jump discontinuity 'removable' and redefining the point to an intermediate value ignores the directional limits and will not restore continuity on both sides; likewise treating it as an infinite discontinuity mischaracterizes integrability properties.

Consequence

A jump discontinuity implies bounded but noncontinuous behavior at the point; many integrals remain well-defined (Riemann or Lebesgue) while pointwise operations like differentiation fail at the jump and distributional interpretations may be used.

Reversal

If the one-sided limits are equal, the discontinuity is removable; if one or both one-sided limits are infinite or fail to exist, the point is an infinite or essential discontinuity respectively — these are logical opposites of a jump.

Boundary

The notion is primarily for real-valued functions of a single real variable or along a directed path; in higher-dimensional or complex settings directional limits depend on approach path and the concept must be refined accordingly.

Semantic Tension

Distinguish jump discontinuity from removable discontinuity (where redefining can restore continuity) and from infinite discontinuity (where unbounded behavior occurs); jump sits between these by having finite unequal one-sided limits.

Synthesis

A jump discontinuity is a finite mismatch of left and right limits at a point in a one-dimensional domain, producing a bounded but noncontinuous step that affects differentiation and requires mindful handling in analysis and integration.