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.

Could you guide me how to prove that any monotone function from $R\rightarrow R$ is Borel measurable? Should we separate the functions into continuous and non-continuous? How to prove for not continuous points?

Thanks for your help

share|improve this question
1  
I'd try to apply the definition directly. That is, try to show that sets of the form $\{x\in \mathbb{R}\ |\ F(x)\ge t\}$ are Borel. –  Giuseppe Negro Dec 6 '12 at 17:22
    
Hi @GiuseppeNegro, I actually have hard time understanding this method. I always use the basic definition of looking at pre-image. Could you explain this a little more. How we show/use this? –  Eli Dec 6 '12 at 17:23
1  
By definition, a function $\mathbb{R}\to \mathbb{R}$ is Borel-measurable when the preimages of open subsets of $\mathbb{R}$ are Borel sets of $\mathbb{R}$. Do you agree with this definition? –  Giuseppe Negro Dec 6 '12 at 17:24
1  
If you agree, then you can convince yourself that, actually, it is enough to check that the preimages of half-lines are Borel. More precisely, $F\colon \mathbb{R}\to \mathbb{R}$ is Borel measurable if and only if for every $t \in \mathbb{R}$ the following set is Borel: $$\{x\in \mathbb{R}\ |\ F(x)\ge t\}$$ (Cfr. Rudin, Real and complex analysis, 3rd ed., Theorem 1.12) –  Giuseppe Negro Dec 6 '12 at 17:28
    
Yes, it completely matches my definition of $\forall B \in \text{Borel Set} \{w: f(w)\in B\} \in F \text{ where F is also Borel Set}$ –  Eli Dec 6 '12 at 17:30
add comment

1 Answer

Hint: If $f$ is monotone, then for every real number $x$, the set $f^{-1}((-\infty,x])=\{t\mid f(t)\leqslant x\}$ is $\varnothing$ or $(-\infty,z)$ or $(-\infty,z]$ or $(z,+\infty)$ or $[z,+\infty)$ for some real number $z$.

To show this, assume for example that $f$ is nondecreasing and that $u$ is in $f^{-1}((-\infty,x])$, then show that $v$ is in $f^{-1}((-\infty,x])$ for every $v\leqslant u$.

share|improve this answer
add comment

Your Answer

 
discard

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

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