Spaces of measurable functions on the Levi-Civita field (Q783659)

The Levi-Civita field \(\mathcal R\) is the smallest non-Archimedean ordered field extension of the field \(\mathbb R\) of real numbers that is both real closed and sequentially complete. The author introduces and studies spaces of measurable functions whose \(p\)th power is summable with respect to the uniform measure over the Levi-Civita field. These \(L^p\)-type spaces are not sequentially complete. This motivates the study of their completions with respect to strong convergence. It turns out that the resulting spaces are Banach spaces and that, for \(p=2\), it is possible to define an inner product obtaining a Hilbert space. These spaces are still not rich enough to represent every real continuous function. For this reason, the author uses the representation of real measurable functions as sequences of measurable functions in \(\mathcal R\) that weakly converge in measure. The duality between measurable functions and representatives of continuous functions enables the study of some measurable functions that represent real distributions. The author considers the representatives of the Dirac distribution and the problem of defining a product between the Dirac and the Heaviside distribution.