8
$\begingroup$

Let us consider real-valued functions on the bounded interval $[0,1]$. A "step function" means an element of the vector space spanned by indicator functions of (points and) intervals in $[0,1]$ (the integral of step functions is, of course, unproblematic). The following definitions/properties are standard, but are recalled to put my question in context:

  • A regulated function $f\colon [0,1]\to\mathbb{R}$ is one such that for every $\varepsilon>0$ there exists a step function $h$ such that for all $x$ we have $|f(x)-h(x)|\leq\varepsilon$. (Equivalently, this means that $f$ has a left limit and a right limit at each point.)

  • A Riemann-integrable function $f\colon [0,1]\to\mathbb{R}$ is one such that for every $\varepsilon>0$ there exist step functions $h,\psi$ such that for all $x$ we have $|f(x)-h(x)|\leq\psi(x)$ and $\int_0^1\psi\leq\varepsilon$. (Equivalently, this means that it is a bounded function whose set of points of discontinuity is of (Lebesgue-)measure zero.) In this case, the Riemann integral of $f$ can be defined as real number whose distance to $\int_0^1 h$ is $\leq\varepsilon$ for every such $h,\psi$.

  • One possible characterization of a Lebesgue-integrable function $f\colon [0,1]\to\mathbb{R}$ is that there exists a sequence $(h_n)$ of step functions such that $\sum_{n=0}^{+\infty}\int_0^1|h_n|$ converges and such that $f(x) = \sum_{n=0}^{+\infty} h_n(x)$ wherever the RHS converges absolutely. (In which case, the Lebesgue integral of $f$ can be defined as $\sum_{n=0}^{+\infty}\int_0^1 h_n$, which necessarily converges.)

Now the $\varepsilon$-definitions above are a bit tedious. We can reformulate the first and third as follows:

  • The space of regulated functions is the closure of the space of step functions in the topology given by uniform convergence.

  • The space of Lebesgue-integrable functions is the completion of the space of step functions for the $L^1$-norm (of course, this glosses over how we identify them with functions).

In either case, the integral is defined as the continuous linear function extending the trivially-defined integral of step functions.

So this suggests the following:

Question: Can we define the set of Riemann-integrable functions $[0,1]\to\mathbb{R}$ as the closure or completion of the space of step functions for some topology / uniform structure / norm (and so that the Riemann integral itself will then follow as the unique continuous extension of the integral of step functions)? Or is there some reason to think this is impossible?

Alternatively, is there a more sophisticated and more topological way to rephrase the elementary definition given in terms of $h,\psi$ above (and which seems to be a kind of mix between "uniform" and "$L^1$" notions)?

$\endgroup$
  • 1
    $\begingroup$ The french school does integration theory with the ''fonctions réglée'', which are uniform limits of step functions. $\endgroup$ – user1688 Dec 12 '17 at 12:08
  • 1
    $\begingroup$ Regard the space of step functions as embedded in L^infinity, If we devise a family of bounded functionals on L^infinity such that the intersection of their kernels consists precisely of the Riemann integrable functions, then we can regard that space as the closure of the step functions in the topology. generated by the corresponding seminorms. Mimicing the weak topology, I am trying to cook up two such functionals using one-sided limsup minus liminf (and the sup norm). The idea is that Riemann integrable means continuous 'almost everywhere'. $\endgroup$ – Chaitanya Dec 12 '17 at 14:41
  • 1
    $\begingroup$ @NateEldredge I think the simplest example is $x\mapsto \sin\frac{1}{x}$ (extended arbitrarily at $0$): it is not regulated because it has no right limit at $0$, but it is Riemann-integrable because it is bounded and discontinuous only at $0$. $\endgroup$ – Gro-Tsen Dec 12 '17 at 16:16
  • 1
    $\begingroup$ I wonder if the following helps. Riemann-integrable functions must be bounded by definition, so let's consider only those bounded by $1$ and supported in the unit interval. The $\ell^1$ norm is the weakest norm under which the integral is continuous, by definition, so any candidate norm that solves this problem must be stronger than the $\ell^1$ norm. By the example of $\sin 1/x$, it must also be weaker than the $\ell^\infty$ norm. Consider the quasimetric between functions $d(f,g) = \inf \{ \mu(K) + \lVert f - g \rVert_{\ell^\infty(K)} \mid K \text{ compact}\}$ /continued below $\endgroup$ – user54321 Dec 12 '17 at 19:49
  • 1
    $\begingroup$ This seems to require that the space of Riemann integrable functions admit a norm or uniform structure in which it is complete. Does it? $\endgroup$ – Francois Ziegler Dec 14 '17 at 17:09
1
$\begingroup$

Does $$\|f\|:=\inf \left\{ \int_0^1 g(x) dx : |f|\le g \text{ everywhere}, g \text{ a step function} \right\} $$ work? Then $\|\cdot\|$ is a norm on step functions, Cauchy sequences for $\|\cdot\|$ are Cauchy for $L^1$, and using completeness of $L^1$, pointwise convergence for subsequences of $L^1$ convergent functions, and something like Egorov's theorem, the Riemann integrability of the $L^1$ limit should follow. But I haven't worked out all details :)

$\endgroup$
  • $\begingroup$ sorry, I meant this to be a "comment", not an answer... $\endgroup$ – Kusma Dec 14 '17 at 16:03
  • $\begingroup$ And no, it doesn't work, as this is just the same as the $L^1$ norm on step functions so the closure is all of $L^1$. The sets you get from Egorov's theorem aren't good enough to create step functions. $\endgroup$ – Kusma Dec 14 '17 at 21:37

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.