A discontinuity is point at which a mathematical object is discontinuous. The left figure above illustrates a discontinuity in a one-variable function while
the right figure illustrates a discontinuity of a two-variable function plotted as
a surface in 
.
In the latter case, the discontinuity is a branch cut
along the negative real axis of the natural
logarithm 
for complex 
.
Some authors refer to a discontinuity of a function as a jump, though this is rarely utilized in the literature.
Though defined identically, discontinuities of univariate functions are considerably different than those of multivariate functions. One of the main differences between these cases exists with regards to classifying the discontinuities, a caveat discussed more at length below.
In the case of a one-variable real-valued function 
, there are precisely three families of discontinuities
that can occur.
1. The simplest type is the so-called removable discontinuity.
2. A univariate function 
may also have what's known as a jump discontinuity
(not to be confused with the rarely-utilized term jump mentioned
above). This discontinuity is algebraically less-trivial than a removable discontinuity
but is, in some sense, still a "not terrible" discontinuity. In particular,
univariate monotone functions can have at most countably many discontinuities (Royden
and Fitzpatrick 2010), the worst of which can be jump discontinuities (Zakon 2004).
3. The "worst" kind of discontinuity a univariate function can possess is the so-called infinite discontinuity.
Even with this classification, the sets of discontinuity of univariate real-valued functions may be stranger than unexpected. Indeed, functions may be discontinuous at finite sets of points, at countable sets of points which may be either isolated or dense, and on uncountable proper subsets of their domain. Other functions, such as the Dirichlet function, are discontinuous everywhere. Even so, the size of the discontinuity set of a function can say a lot about its analytic properties. For example, a theorem of Lebesgue states that a bounded univariate real-valued function defined on a bounded interval is Riemann integrable if and only if it is continuous almost everywhere (Royden and Fitzpatrick 2010); similarly, the sets of discontinuities of univariate monotone real-valued functions defined on open intervals are at most countable subsets of their domain.
With functions of two or more variables, however, no simple discontinuity classification is possible. There are a number of caveats which hinder any classification of the discontinuities of multivariate functions, chief among which is the fact that multivariate functions need neither jump nor "blow up" at points of discontinuity (Lady 1998). What's more, discontinuities of several-variable functions may occur along entire curves in the plane rather than at individual points. Various examples of discontinuous behavior are shown below.
The two functions above both have infinite discontinuities at the origin. The leftmost example is the function 
,
which has the property that each of the directional limits
of 
tends to 
as 
approaches 
. On the other hand, the rightmost function is
 |
(1)
|
a function which has also a discontinuity as 
and for which 
fails to exist. The function 
represents the surface
obtained by revolving the function 
about the 
-axis.
The two functions shown in the above figure are in some ways similar to the functions 
and 
described above. More precisely, the function 
on the left has infinite
discontinuity along the entire line 
and the limit of 
approaches 
from both sides of that line. On the other hand, the
function 
on the right has infinite discontinuity along the same line, but the limits of the
values of 
disagree on either side of that line.
The function shown above is the piecewise function
 |
(2)
|
In particular, note that 
is monotone in each of 
and 
separately and has jump discontinuity along the entire line
. This is in stark contrast to the
univariate case, as discussed above.
The function 
defined by
 |
(3)
|
is shown in the figure immediately above. Like the functions 
and 
defined previously, the function 
has a discontinuity at the point 
, though unlike those functions, the point discontinuity
of 
is more difficult to recognize. One way to observe and understand the discontinuity
of 
is by converting 
to a function of the polar coordinates 
and 
, the result of which is the function 
having the form
 |
(4)
|
Among other things, the expression in (3) above shows that 
(and hence 
) is constant on all lines through the origin (Lady 1998),
thereby confirming the existence of a discontinuity there. This example is also unlike
the cases outlined for univariate functions due to the fact that its discontinuity
is essential (i.e., it is not removable) and is neither a jump nor an infinite discontinuity.
Despite behaving very differently in terms of continuity, the sets of discontinuities of all real-valued functions in any dimension share certain properties. For example,
the collection of discontinuities of such a function is always an 
set; this is due to the fact that the set of all points
at which a function is continuous form a 
set (Royden and Fitzpatrick 2010).
