3
$\begingroup$

A function $f:\mathbb{R}\rightarrow\mathbb{R}$ is a BV function if there exists $M<\infty$ for which $$\sum_{k=1}^N|f(x_k)-f(x_{k-1})|\leq M$$ for every sequence $x_0<x_1<\ldots<x_N$ and every $N$. Any BV function has only jump discontinuities. That is, at any point $a$, the limit $\lim_{x\rightarrow a^-}f(x)$ and $\lim_{x\rightarrow a^+}f(x)$ exist, but they may or may not be equal.

I want to use this to show that a BV function $f$ is continuous except at countably many points.

Suppose the function is discontinuous at uncountably many points. How can I choose $x_0,x_1,\ldots,x_N$ to contradict the definition of BV?

$\endgroup$
0

1 Answer 1

3
$\begingroup$

Any BV function can be written as a sum of two monotone functinos, so there is no loss in assuming that $f$ is increasing. Suppose there were more than countably many discontinuities, at points $x_{\alpha}$; each of these are jump discontinuities. Choose a rational $r_{\alpha}$ such that

$$f(x_{\alpha}-) < r_{\alpha} < f(x_{\alpha}+)$$

Do you see why this leads to a contradiction?

$\endgroup$
2
  • $\begingroup$ "Any BV function can be written as a sum of two monotone functinos" I've never seen that fact before, and can't find it in Wikipedia either. How can we prove it? $\endgroup$
    – JJ Beck
    Nov 28, 2013 at 22:00
  • $\begingroup$ @JJBeck See, e.g. here. $\endgroup$
    – user61527
    Nov 28, 2013 at 22:02

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .