A function that is not continuous at a point c of its domain is called discontinuous at c. Usually this concept of discontinuity is used also in a larger sense: if a point c is an accumulation point of the domain that does not belong to the domain, then the function is called discontinuous at c. For example the function f(x)=lnx is called discontinuous at zero. But pay attention because, as zero does not belong to the domain, it makes no sense to ask whether the functions is continuous or not at zero. So, strictly speaking, the function is neither continuous not discontinuous at zero: the word discontinuous is used here in a somewhat improper sense.
A function may be discontinuous at a point c (that belongs to the domain or is an accumulation point for the domain) for one of the following reasons:
, but l≠f(c). In this case the function is almost the same than f and is continuous at c: it is called a continuous extension of f. The discontinuity is removable.
and , but l1≠l2. In this case we'll say that function jumps between l1 and l2 and |l1-l2| is the height of the jump.
does not exist or is infinite.
Examples
Consider the function . As zero does not belong to the domain but is an accumulation point for the domain, the function is discontinuous at zero. The function is continuous everywhere and is a continuous extension of f.
Consider the function . As -1 does not belong to the domain but is an accumulation point for the domain, the function is discontinuous at -1. The function g(x)=x-1 is a continuous extension of f.
Consider the function f(x)=|sign(x)|. The function is not continuous at zero because while f(0)=0. The constant function f(x)=1 is a continuous extension of f.
Consider the function f(x)=sign(x). As and , the function has a jump at zero with height two.
Consider the function . As and , the function has a jump at zero with height two. Observe that, unlike the previous example, zero does not belong to the domain.
Consider the function . As the function is discontinuous at zero (observe that zero does not belong to the domain of the function).
Consider the function . As does not exist, the function is discontinuous at zero.