0

let $f$ be a function of bounded variation on a closed and bounded interval $[a,b]$.then $f$ is measurable.

the proof is as follows: let $f$ be a function of bounded variation on a closed and bounded interval $[a,b],$ then by Jordan's theorem , $f$ is the difference of 2 increasing functions on $[a,b].$ EDIT: I found the proof here:

Bounded variation implies Borel measurable

Intuition
  • 3,043

1 Answers1

2

I think you need to be more careful. Do it from scratch: without loss of generality, $f$ is increasing. Fix $a\in \mathbb R$ and consider $f^{-1}((-\infty,a)).$ If this set is empty, then it is measurable. Otherwise, there is a $t\in f^{-1}((-\infty,a))$ and if $s\le t,$ then $f(s)\le f(t)<a$ so $s\in f^{-1}((-\infty,a))$ so $ f^{-1}((-\infty,a))$ is an interval. In fact, if $z:=\sup\{t:t\in f^{-1}((-\infty,a))\},$ then $f^{-1}((-\infty,a))$ is either $(\infty, z)$ or $(\infty, z]$ where $z$ may be $\infty$ (why?). It follows that $f^{-1}((-\infty,a))$ is measurable.

Matematleta
  • 30,081
  • 1
    Your proof is unclear. Why is the the set of points of continuity (Borel) measurable? It's true because it is a $G_δ$, Can you prove this? – Matematleta Nov 12 '19 at 01:56
  • 1
    I think you should write out your proof in detail: take a set $f^{-1}(-\infty, a)$ and show it is measurable. – Matematleta Nov 12 '19 at 02:06