Can the Riemann integral be defined through a closure/completion process? 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)?
 A: The process described in this comment actually works, and defines Riemann-Loomis integration for functions valued in Banach spaces. When the Banach space is finite-dimensional, a function is Riemann-Loomis integrable if and only if it is Riemann integrable. (For general Banach spaces as the codomain, the "standard" Riemann integrable functions (defined by tagged partitions) forms a strict superset.)
(The following definitions are taken from Chapter III of Dunford-Schwartz, Linear Operators)
Given a function $f:[0,1]\to\mathbb{R}$, set
$$ \|f\| := \inf_{\alpha > 0} \left( \alpha + \mu^*(\{x||f(x)| > \alpha\})\right) $$
Here $\mu^*$ is the outer measure
$$ \mu^*(A) = \inf_{\mathscr{S}} \sum_{I\in \mathscr{S}} |I| $$
where the infimum is taken over all covers of $A$ by finite collections $\mathscr{S}$ of intervals.
It is not too hard to check that $\|f\|$ defines a semi-norm on $\mathbb{R}^{[0,1]}$.
We say that $f$ is Riemann-Loomis integrable if there exists a sequence of step functions $\varphi_n$ such that $\lim \|\varphi_n - f\| = 0$ and $\varphi_n$ is Cauchy with respect to the $L^1$ integral (which is well-defined for step functions).

One feature of this definition is that it works over any finitely-additive measure space (so you just need an algebra of measurable sets instead of a $\sigma$-algebra).

Another feature of this definition is that Riemann-Loomis integrable functions obey Lebesgue's characterization theorem (which holds for Riemann integrable functions when the codomain is finite dimensional, but fails in general when the codomain is infinite dimensional). This is how you know that in the finite dimensional case it agrees with Riemann integrability.
Let $D_r\subseteq [0,1]$ be the set on which the function $f$ has oscillation   at least $r$ (oscillation of $f$ at a point $x$ being $\limsup_{y\to x} |f(y)-f(x)|$).
Theorem.  A function $f$ is Riemann-Loomis integrable if and only if for every $r > 0$, the set $D_r$ satisfies $\mu^*(D_r) = 0$.
(I unfortunately don't have a handy reference for this except my own lecture notes; and the proof is too long [3 pages] to post here.)
A: 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 :)
A: Here's a potentially trivial answer.
Notations
Let $X = \mathbb{R}^{[0,1]}$ be the space of all real valued functions. Let $S\subsetneq X$ be the subspace of step functions. Elements of $X$ may be partially ordered by the product order:
$$f \preceq g \iff \forall z\in[0,1] (f(z) \leq g(z)).$$
Given $f,g\in X$ denote by $[f,g]$ the closed order interval
$$ [f,g] := \{h\in X | f\preceq h \preceq g\}. $$
Denote by $I_S$ the set of all (non-empty) intervals with both end points in $S$.
We can define a width functional $w:I_S \to [0,\infty)$ by
$$ w([s_1, s_2]) := \int s_2 - s_1 ~dx $$
This is well-defined as $s_2 - s_1$ is a step function.
Pseudo-metric
Consider the function $\rho:X^2 \to [0,\infty]$ defined by
$$ \rho(f,g) = \begin{cases}
0 & f = g \\
\inf \{ w(i) | i\in I_S; f\in i; g\in i\} & f\neq g\end{cases} $$
We take the convention that the infimum of the empty set is $+\infty$.
This function is trivially symmetric and non-negative.
It vanishes on the diagonal by definition.
And triangle inequality is satisfied  by the observation that if $[s_1, s_2] \cap [t_1,t_2] \neq \emptyset$, then at every point $x\in [0,1]$,
$$ \max(s_2(x), t_2(x)) - \min(s_1(x), t_1(x)) \leq s_2(x) - s_1(x) + t_2(x) - t_1(x) $$
So $\rho$ defines a pseudo-metric on $X$.
Closure of $S$ under $\rho$
The closure of $S$ under $\rho$ is simply the set of all points $f\in X$ such that
$\inf_{s\in S} \rho(s,f) = 0$. This is in particular satisfied if for every $\epsilon > 0$ there exists $s_1 \preceq f \preceq s_2$ such that $w([s_1,s_2]) < \epsilon$. This is precisely the statement that $f$ is Darboux integrable.
Extension of Riemann integral
The Riemann integral is uniformly continuous on $S$, pretty much by definition.
Let $s_1 \neq s_2\in S$, the smallest interval in $I_S$ that contains both $s_1$ and $s_2$ is $[s_1\wedge s_2, s_1\vee s_2]$. Its width is $\int |s_2 - s_1| ~dx$.
In other words, restricted to $S$, we have that $\rho$ is the $L^1$ distance between step functions. And so the Riemann integral is Lipschitz continuous with respect to the pseudometric $\rho$, and hence uniformly continuous with respect to it, and hence has unique continuous extension to the closure of $S$.
Final Remarks
A key point is that the pseudometric $\rho$ is not translation invariant in $X$. Let $f = 0$ and $g$ be the characteristic function of $x = 1/2$, then $\rho(f,g) = 0$. But $\rho(f + D, g+D) = 1$ where $D$ is the Dirichlet function.
Indeed, this is why this answer is sort of "fake". The pseudometric is designed so that every non-Riemann integrable function is an isolated point: if $f$ is not Riemann integrable, then there exists some $\epsilon > 0$ such that for every pair of step functions $s_1 \preceq f \preceq s_2$ we have that $\int s_2 - s_1 ~dx \geq \epsilon$. And therefore for any $g \neq f$, we have that $\rho(f,g) \geq \epsilon$.
