Infinite-dimensional generalised Riemann integrals

We show how to define a gauge, and hence an integral, in function space. Applying the theory to Feynman integration, we show that the Feynman integrals are path integrals.