A real-valued measure on non-Archimedean field extensions of R

From MaRDI portal
Publication:2126142

DOI10.1134/S2070046622010022zbMATH Open1494.26063arXiv2009.14086OpenAlexW3090035801MaRDI QIDQ2126142FDOQ2126142


Authors: Emanuele Bottazzi Edit this on Wikidata


Publication date: 14 April 2022

Published in: \(p\)-Adic Numbers, Ultrametric Analysis, and Applications (Search for Journal in Brave)

Abstract: We introduce a real-valued measure mL on non-Archimedean ordered fields (mathbbF,<) that extend the field of real numbers (mathbbR,<). The definition of mL is inspired by the Loeb measures of hyperreal fields in the framework of Robinson's analysis with infinitesimals. The real-valued measure mL turns out to be general enough to obtain a canonical measurable representative in mathbbF for every Lebesgue measurable subset of mathbbR, moreover, the measure of the two sets is equal. In addition, mL it is more expressive than a class of non-Archimedean uniform measures. We focus on the properties of the real-valued measure in the case where mathbbF=mathcalR, the Levi-Civita field. In particular, we compare mL with the uniform non-Archimedean measure over mathcalR developed by Shamseddine and Berz, and we prove that the first is infinitesimally close to the second, whenever the latter is defined. We also define a real-valued integral for functions on the Levi-Civita field, and we prove that every real continuous function has an integrable representative in mathcalR. Recall that this result is false for the current non-Archimedean integration over mathcalR. The paper concludes with a discussion on the representation of the Dirac distribution by pointwise functions on non-Archimedean domains.


Full work available at URL: https://arxiv.org/abs/2009.14086




Recommendations




Cites Work


Cited In (6)





This page was built for publication: A real-valued measure on non-Archimedean field extensions of \(\mathbb{R}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2126142)