A real-valued univariate function has a jump discontinuity at a point in its domain provided that
(1)
|
and
(2)
|
both exist and that .
The notion of jump discontinuity shouldn't be confused with the rarely-utilized convention whereby the term jump is used to define any sort of functional discontinuity.
The figure above shows an example of a function having a jump discontinuity at a point in its domain.
Though less algebraically-trivial than removable discontinuities, jump discontinuities are far less ill-behaved than other types of singularities such as infinite discontinuities. This fact can be seen in a number of scenarios, e.g., in the fact that univariate monotone functions can have at most countably many discontinuities (Royden and Fitzpatrick 2010), the worst of which can be jump discontinuities (Zakon 2004).
Unsurprisingly, the definition given above can be generalized to include jump discontinuities in multivariate real-valued functions as well. For example, the function shown in this figure is the piecewise function
(3)
|
a function which is monotone in each of and separately and has jump discontinuity along the entire line .