Spaces of measurable functions on the Levi-Civita field

Abstract

We introduce the ℒp spaces of measurable functions whose pth power is summable with respect to the uniform measure over the Levi-Civita field. These spaces are the counterparts of the real Lp spaces based upon the Lebesgue measure. Nevertheless, they lack some properties of the Lp spaces: for instance, the ℒp spaces are not sequentially complete with respect to the p-norm. This motivates the study of the completions of the ℒp spaces with respect to strong convergence, denoted by ℒsp. It turns out that the ℒsp spaces are Banach spaces and that it is possible to define an inner product over ℒs2, thus making it a Hilbert space. Despite these positive results, these spaces are still not rich enough to represent every real continuous function. For this reason, we settle upon the representation of real measurable functions as sequences of measurable functions in ℛ that weakly converge in measure. We also define a duality between measurable functions and representatives of continuous functions. This duality enables the study of some measurable functions that represent real distributions. We focus our discussion on the representatives of the Dirac distribution and on the well-known problem of the product between the Dirac and the Heaviside distribution, and we show that the solution obtained with measurable functions over ℛ is consistent with the result obtained with other nonlinear generalized functions.