|
|
|
|
discontinuous
|
(Definition)
|
|
|
Suppose $A$ is an open set in $\sR$ (say an interval $A=(a,b)$ , or $A=\sR$ ), and $f:A\to \sR$ is a function. Then $f$ is discontinuous at $x\in A$ , if $f$ is not continuous at $x$ . One also says that $f$ is discontinuous at all boundary points of $A$ .
We know that $f$ is continuous at $x$ if and only if $\lim_{z\to x} f(z)=f(x)$ . Thus, from the properties of the one-sided limits, which we denote by $f(x+)$ and $f(x-)$ , it follows that $f$ is discontinuous at $x$ if and only if $f(x+)\neq f(x)$ , or $f(x-)\neq f(x)$ .
If $f$ is discontinuous at $x\in\overline{A}$ , the closure of $A$ , we can then distinguish four types of different discontinuities as follows [1,2]:
- If $f(x+)=f(x-)$ , but $f(x)\neq f(x\pm)$ , then $x$ is called a removable discontinuity of $f$ . If we modify the value of $f$ at $x$ to $f(x)=f(x\pm)$ , then $f$ will become continuous at $x$ . This is clear since the modified $f$ (call it $f_0$ ) satisfies $f_0(x) = f_0(x+)=f_0(x-).$
- If $f(x+)=f(x-)$ , but $x$ is not in $A$ (so $f(x)$ is not defined), then $x$ is also called a removable discontinuity. If we assign $f(x)=f(x\pm)$ , then this modification renders $f$ continuous at $x$ .
- If $f(x-)\neq f(x+)$ , then $f$ has a jump discontinuity at $x$ Then the number $f(x+)-f(x-)$ is then called the jump, or saltus, of $f$ at $x$ .
- If either (or both) of $f(x+)$ or $f(x-)$ does not exist, then $f$ has an essential discontinuity at $x$ (or a discontinuity of the second kind).
Note that $f$ may be continuous (continuous in all points in $A$ ), but still have discontinuities in $\overline{A}$
- Consider the function $f:\sR\to \sR$ given by
Since $f(0-)=1$ , $f(0)=0$ , and $f(0+)=1$ , it follows that $f$ has a removable discontinuity at $x=0$ . If we modify $f(0)$ so that $f(0)=1$ , then $f$ becomes the continuous function $f(x)=1$ .
- Let us consider the function defined by the formula$$ f(x) = \frac{\sin x }{x}$$ where $x$ is a nonzero real number. When $x=0$ , the formula is undefined, so $f$ is only determined for $x\neq 0$ . Let us show that this point is a removable discontinuity. Indeed, it is easy to see that $f$ is continuous for all $x\neq 0$ , and using L'Hôpital's rule we have $f(0+)=f(0-)=1$ . Thus, if we assign $f(0)=1$ , then $f$ becomes a continuous function defined for all real $x$ . In fact, $f$ can be made into an analytic function on the whole complex plane.
- The signum function $\signum\colon\sR\to \sR$ is defined as
Since $\signum(0+)=1$ , $\signum(0)=0$ , and since $\signum(0-)=-1$ , it follows that $\signum$ has a jump discontinuity at $x=0$ with jump $\signum(0+)-\signum(0-)=2$ .
- The function $f:\sR\to\sR$ given by
has an essential discontinuity at $x=0$ . See [2] for details.
Let $X,Y$ be topological spaces, and let $f$ be a mapping $f:X\to Y$ . Then $f$ is discontinuous at $x\in X$ , if $f$ is not continuous at $x$ .
In this generality, one generally does not classify discontinuities quite so closely, since they can have quite complicated behaviour.
A jump discontinuity is also called a simple discontinuity, or a discontinuity of the first kind. An essential discontinuity is also called a discontinuity of the second kind.
- 1
- R.F. Hoskins, Generalised functions, Ellis Horwood Series: Mathematics and its applications, John Wiley & Sons, 1979.
- 2
- P. B. Laval, http://science.kennesaw.edu/~plaval/spring2003/m4400_02/Math4400/contwork.pdf.
|
"discontinuous" is owned by mathwizard. [ full author list (3) | owner history (2) ]
|
|
(view preamble | get metadata)
| Also defines: |
removable discontinuity, saltus, jump, jump discontinuity, discontinuity of the second kind, discontinuity of the first kind, essential discontinuity |
This object's parent.
|
|
Cross-references: mapping, topological spaces, signum function, complex plane, analytic function, real number, continuous, number, modification, clear, closure, one-sided limits, properties, points, boundary, continuous at, function, interval, open set
There are 47 references to this entry.
This is version 11 of discontinuous, born on 2003-07-14, modified 2006-10-30.
Object id is 4447, canonical name is Discontinuous.
Accessed 26181 times total.
Classification:
| AMS MSC: | 54C05 (General topology :: Maps and general types of spaces defined by maps :: Continuous maps) | | | 26A15 (Real functions :: Functions of one variable :: Continuity and related questions ) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|