Discontinuity of Monotonic Function is Jump Discontinuity

From ProofWiki
Jump to: navigation, search

Theorem

Let $X$ be an open subset of $\R$.

Let $f: X \to Y$ be a monotone real function.


Then $f$ is discontinuous at a point $c \in X$ if and only if $c$ is a jump discontinuity of $f$.


Proof