4
$\begingroup$

Is right differentiable function almost everywhere continuous? If not, is it measurable?

  • 0
    For clarity, could you define "right differentiable" and "almost everywhere continuous"?2011-12-27
  • 0
    I think I retagged it properly. Measure theory was added2011-12-27
  • 0
    function f(x) is defined on [a,b). It is right differentiable which means for any x in [a,b), lim y->x (f(y)-f(x))/(y-x) exists.2011-12-27
  • 0
    And almost everywhere continuous means the discontinuous points of f(x) constitute a measure-zero set.2011-12-27

1 Answers 1

5

A right-differentiable function is easily seen to be right-continuous, so it has only countably many points of discontinuity and is therefore certainly continuous almost everywhere.

To see this, let $$\operatorname{osc}(x)=\limsup_{y_1,y_2\to x}|f(y_1)-f(y_2)|$$ be the oscillation of $f$ at $x$; clearly $f$ is continuous at $x$ iff $\operatorname{osc}(x)=0$. For $n\in\mathbb{N}$ let $D_n=\{x\in\mathbb{R}:\operatorname{osc}(x)>2^{-n}\}$, and let $D=\bigcup_{n\in\mathbb{N}}D_n$; $D$ is the set of points of discontinuity of $f$, so to show that $D$ is countable, it suffices to show that each $D_n$ is countable.

Fix $n\in\mathbb{N}$. For each $x\in\mathbb{R}$, $f$ is right-continuous at $x$, so there is an $\epsilon_x>0$ such that $|f(y)-f(x)|<2^{-n-1}$ whenever $y\in(x,x+\epsilon_x)$. But then $$|f(y_1)-f(y_2)|<2\cdot 2^{-n-1}=2^{-n}$$ whenever $y_1,y_2\in(x,x+\epsilon_x)$, so $(x,x+\epsilon_x)\cap D_n=\varnothing$.

Now let $x_1,x_2\in D_n$ with $x_1

  • 0
    Very clear and complete. Thanks. I've never been good at decomposing sets.2011-12-28