Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

We know that the points of discontinuity of a monotone function on an interval $[a,b]$ are countable.Using this can we prov that:

  • Any bijection $f: \mathbb{R} \to [0,\infty)$ has infinitely many points of discontinuity.

If yes, how or otherwise how to prove the above result?

share|improve this question
1  
You don't even have a hunch? –  Mariano Suárez-Alvarez Oct 28 '10 at 5:42
    
@Mariano: What did you mean. –  anonymous Oct 28 '10 at 5:46

1 Answer 1

up vote 4 down vote accepted

Suppose to the contrary that $f$ has a finite number $n$ of discontinuities, at $x_1, x_2, \ldots x_n$. Then $\mathbb{R} - ( x_1, \ldots x_n )$ is a union of open intervals $I_1, \ldots I_{n + 1}$. $f$ restricted to each $I_m$ is continuous and injective, and therefore monotone, so each image $f|_{I_m}(I_m)$ is an open (in $\mathbb{R}$) interval $J_m$. The $J_m$ are non-empty, pairwise disjoint and contained in $(0, \infty)$; suppose that $J_{m_1} < J_{m_2} < \ldots < J_{m_{n + 1}}$. Then between each $J_{m_p}$ and $J_{m_{p + 1}}$ there is at least one point, which must be the image of some $x_q$. But this exhausts all the $x$'s, so that $0$ is not in the image of $f$.

BTW, can anybody tell me how to get the forum to display braces in math mode?

share|improve this answer
1  
Prepend them with a backslash. \{a,b\} gives $\{a,b\}$ –  J. M. Oct 28 '10 at 5:57
    
Huh. I tried that, and it didn't work in the preview. Let's try again: $\{ \}$ –  Rotwang Oct 28 '10 at 6:10
    
@Rotwang: Try this \\{a\\} –  anonymous Oct 28 '10 at 6:15
    
@Rotwang: Your test worked on my end. Try (hard) refreshing. –  J. M. Oct 28 '10 at 8:02
    
Thanks. It works for me too. –  Rotwang Oct 28 '10 at 8:14

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.