Is possible to construct a bounded non Riemann integrable real function such that the set of discontinuity points has empty interior? I know that if the set of discontinuity points is a null set then the answer is no. Every null set has empty interior but the converse is not true.
1 Answer
Certainly. Say $K$ is a "fat Cantor set". So in particular $K$ is compact, has empty interior and positive Lebesgue measure.
Now define, for example, $$ f(x) = \begin{cases} 0,&(x \in K), \\\sin(1 / (1+d(x,K))),&(x\notin K). \end{cases}$$Then $f$ is discontinuous precisely on $K$ (and hence $f$ is not Riemann integrable, since $K$ is not a null set).
Note This is fairly stupid; as zhw points out we could simply let $f=\chi_K$ (that is, $f(t)=1$ for $t\in K$, $0$ for $t\notin K$). Replacing my stupidity with his non-stupidity seems like cheating, so I'll leave the above as it is.
-
1
-
$\begingroup$ @zhw. Good question. No good answer available, sorry. $\endgroup$ May 19, 2016 at 2:36
-
-