3
$\begingroup$

Lebesgue's criterion for Riemann-integrability:

Let $f$ be defined and bounded on $[a,b]$ and let $D$ denote the set of discontinuities of $f$ in $[a,b]$.Then $f\in R$ on $[a,b]$ if,and only if,$D$ has measure zero.

My question is,does the Lebesgue's criterion for Riemann-integrability also hold for Riemann-Stieltjes integral?That is,does the following hold?

Let $f$ be defined and bounded on $[a,b]$ and let $D$ denote the set of discontinuities of $f$ in $[a,b]$.Then $f\in \mathcal{R}(\alpha)$ on $[a,b]$ if,and only if,$D$ has measure zero.($\alpha$ is a monotonically increasing function on $[a,b]$).

  • 0
    @LeonidKovalev: Perhaps a better conjecture would be that $f \in \mathcal{R}(\alpha)$ iff $D$ has $\alpha$-measure zero. Of course, one must correct this based on your discussion below about one-sided continuity.2012-06-22

1 Answers 1

2

Chances are that we are using the definition of R-S integral as found in Rudin's Principle of Mathematical Analysis. That is, the upper R-S sum is $U(P,f,\alpha)=\sum_{i=1}^nM_i (\alpha(x_i)-\alpha(x_{i-1}))$ where $M_i=\sup\{f(x): x\in [x_{i-1},x_i]\}$. The upper integral is the infimum of all upper sums. The lower integral is defined similarly, and when both are equal, we declare the function integrable wrt $\alpha$.

Confession: I hate the above definition. It leads to ridiculous hair-splitting: the functions $\alpha_1(t)=\begin{cases} 1,\qquad t>0 \\ 0,\qquad t\le 0\end{cases}$ $\alpha_2(t)=\begin{cases} 1,\qquad t\ge 0 \\ 0,\qquad t< 0\end{cases}$ $\alpha_3(t)=\frac{1}{2}(\alpha_1+\alpha_2)$ are all different ways to assign unit mass to the point at $0$. The first puts all mass on the "right half of the point", the second puts it all on the "left half", and the third gives $1/2$ to each half of the point.

So, a function $g$ is integrable with respect to $\alpha_1$ iff $g(0)=g(0+)$ - it does not have to be continuous from the left at $0$. Similarly, it is integrable wrt $\alpha_2$ iff $g(0)=g(0-)$. In both of these examples the set of discontinuities may well be all of $\mathbb R$, yet we have integrability as long as one-sided continuity at $0$ holds. Thus, integrability cannot be expressed in terms of the set of discontinuity $D$: you have to look at the set of right discontinuities $D_+$ and left discontinuities $D_-$. And it's not about measure in the usual sense, because we are "measuring" half-points.

Honestly, I don't know why people do this to themselves instead of assuming one-sided continuity of $\alpha$ and defining $M_i$ in terms of half-open intervals.