Abstract <p> The Levi-Civita field <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1133_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{R}\)</EquationSource> </InlineEquation> is the smallest non-Archimedean ordered field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order. In this paper we develop a new theory of integration over <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1133_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{R}\)</EquationSource> </InlineEquation> that generalizes previous work done in the subject while circumventing the fact that not every bounded subset of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1133_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{R}\)</EquationSource> </InlineEquation> admits either an infimum or a supremum. We define a new family of measurable functions and a new integral over measurable subsets of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1133_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{R}\)</EquationSource> </InlineEquation> that satisfies some very important results analogous to those of the Lebesgue and Riemann integrals for real-valued functions. In particular, we show that the family of measurable functions forms an algebra that is closed under taking absolute values, that the integral is linear, countably additive and monotone, that the integral of a non-negative function <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1133_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\(f:A\to\mathcal{R}\)</EquationSource> </InlineEquation> is zero if and only if <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1133_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(f=0\)</EquationSource> </InlineEquation> almost everywhere in <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12607_2025_1133_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(A\)</EquationSource> </InlineEquation> and that the analogous versions for the uniform convergence theorem and the fundamental theorem of calculus hold true. </p>

On a Lebesgue-Like Integral over the Levi-Civita Field \(\mathcal{R}\)

期刊论文
发表日期：

2025年11月10日

查看全文

M. Restrepo Borrero,
Khodr Shamseddine

摘要

Abstract

The Levi-Civita field \(\mathcal{R}\) is the smallest non-Archimedean ordered field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order. In this paper we develop a new theory of integration over \(\mathcal{R}\) that generalizes previous work done in the subject while circumventing the fact that not every bounded subset of \(\mathcal{R}\) admits either an infimum or a supremum. We define a new family of measurable functions and a new integral over measurable subsets of \(\mathcal{R}\) that satisfies some very important results analogous to those of the Lebesgue and Riemann integrals for real-valued functions. In particular, we show that the family of measurable functions forms an algebra that is closed under taking absolute values, that the integral is linear, countably additive and monotone, that the integral of a non-negative function \(f:A\to\mathcal{R}\) is zero if and only if \(f=0\) almost everywhere in \(A\) and that the analogous versions for the uniform convergence theorem and the fundamental theorem of calculus hold true.