Let I be a non-empty Interval and $f:I\rightarrow \mathbb{R}$ a monoton function. Show that $f$ has countable many Classification of discontinuities.

My prove is nearly complete. But I'm missing one step. I showed that there is a injection between the set of points where $f$ is not continuous and the rationals. According to my assistant professor I'm only allowed to do that, if I show that there are rationals. I know I can do that by applying the Archimedean property but for that I need to show ( formally correct ) that for $f_−(x) = sup f(x′) | x′ ∈ [a,b], x′ < x$ ,

$ f_+(x) = inf (f(x′)) | x′ ∈ [a,b], x′ > x $,

where x is my point of Classification of discontinuities, that $f_+(x)<f_−(x)$

For me it's clear that $f_-(x)\leq f_+(x)$ can't be true, otherwise it wouldn't be a point of discontinuous so it has to be $f_-(x) < f_+(x)$ but how can this be proved?

thanks in advance

  • $\begingroup$ Don't you mean $f_+(x) > f_-(x)$? $\endgroup$ – Bungo Oct 31 '17 at 20:02
  • $\begingroup$ The proof is essentially four observations. (1) the only type of discontinuity that is possible for a monotone function is a jump discontinuity; (2) each jump corresponds to an interval in the codomain, consisting of the points that are "skipped"; (3) these intervals are pairwise disjoint; (4) each interval contains a rational. $\endgroup$ – Bungo Oct 31 '17 at 20:05
  • $\begingroup$ yes you're right, it's my mistake $\endgroup$ – the_asdf_word Nov 1 '17 at 20:08

Let $D$ be the set of point in which $f$ is not continuous and let $x \in D$. Without loss of generality, assume that $f$ is increasing and let $f(x^+)$ and $f(x^-)$ be the right and left hand-side limits of $f$ respectively. Since $\mathbb{Q}$ is dense in $\mathbb{R}$ (and therefore in $I$), there exists $y \in \mathbb{Q}$ such that $f(x^-)<y<g(x^+)$. Since this can be done for every $x \in D\subset I $, one can set $g(x)=y$. For $x_1<x_2$, one has that $f(x_1^+) \leq f(x_2^-)$, hence $g(x_1) \neq g(x_2)$ for $x_1 \neq x_2$. This shows that $g:D \to \mathbb{Q}$ is an injection. Since $\mathbb{Q}$ is countable, then $A$ is countable

  • $\begingroup$ to use Rationals I need to apply the archimedean property. For that I need to show that f(x-) is strict smaller than f(x+) $\endgroup$ – the_asdf_word Oct 31 '17 at 20:37
  • $\begingroup$ Since $f$ is monotone, it also can have what is called jump discontinuities, ($f$ is well-defined in $I$). Since the limit at $x$ of $f$ does not exists, for every $x \in D$, it follows that $f(x^-)<f(x^+)$. $\endgroup$ – Adrián Naranjo Oct 31 '17 at 20:43
  • $\begingroup$ assistant professor says no. We didn't define classification of discontinuities ,jump discontinuities nor limits. He said I still need to prove that $f_-(x)$ is strict smaller than $f_+(x)$ and I can do that with the property of the supremum and infimum. It's probably so simple and evident that I don't see it. Otherwise the proof is correct $\endgroup$ – the_asdf_word Nov 1 '17 at 19:59

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.