Abstract
The Levi-Civita field \( \mathcal{R} \) is the smallest non-Archimidean ordered field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order. In an earlier paper [13], a measure was defined on \( \mathcal{R} \) in terms of the limit of the sums of the lengths of inner and outer covers of a set by countable unions of intervals as those inner and outer sums get closer together. That definition proved useful in developing an integration theory over \( \mathcal{R} \) in which the integral satisfies many of the essential properties of the Lebesgue integral of real analysis. Nevertheless, that measure theory lacks some intuitive results that one would expect in any reasonable definition for a measure; for example, the complement of a measurable set within another measurable set need not be measurable. In this paper, we will give a characterization for the measurable sets defined in [13]. Then we will introduce the notion of an outer measure on \( \mathcal{R} \) and show some key properties the outer measure has. Finally, we will use the notion of outer measure to define a new measure on \( \mathcal{R} \) that proves to be a better generalization of the Lebesgue measure from \( \mathbb{R} \) to \( \mathcal{R} \) and that leads to a family of measurable sets in \( \mathcal{R} \) that strictly contains the family of measurable sets from [13], and for which most of the classic results for Lebesgue measurable sets in \( \mathbb{R} \) hold.
References
M. Berz, “Calculus and numerics on Levi-Civita fields,” in M. Berz, C. Bischof, G. Corliss, and A. Griewank, editors, Computational Differentiation: Techniques, Applications, and Tools, pp. 19–35 (SIAM, Philadelphia, 1996).
A. Barríia Comicheo and K. Shamseddine, “Summary on non-archimedean valued fields,” Contemp. Math. 704, 1–36 (2018).
W. Krull, “Allgemeine Bewertungstheorie,” J. Reine Angew. Math. 167, 160–196 (1932).
S. Priess-Crampe, Angeordnete Strukturen: Gruppen, Körper, projektive Ebenen (Springer, Berlin, 1983).
P. Ribenboim, “Fields: Algebraically closed and others,” Manuscripta Math. 75, 115–150 (1992).
W. H. Schikhof, Ultrametric Calculus: An Introduction to p-Adic Analysis (Cambridge University Press, 1985).
K. Shamseddine, New Elements of Analysis on the Levi-Civita Field, PhD thesis, Michigan State University, East Lansing (Michigan, USA, 1999). Also Michigan State University report MSUCL-1147.
K. Shamseddine, “A brief survey of the study of power series and analytic functions on the Levi-Civita fields,” Contemp. Math. 596, 269–280 (2013).
K. Shamseddine, “New results on integration on the Levi-Civita field,” Indag. Math. (N.S.) 24 (1), 199–211 (2013).
K. Shamseddine, “Analysis on the Levi-Civita field and computational applications,” J. Appl. Math. Comp. 255, 44–57 (2015).
K. Shamseddine and M. Berz, “Exception handling in derivative computation with non-Archimedean calculus,” in Computational Differentiation: Techniques, Applications, and Tools, pp. 37–51 (SIAM, Philadelphia, 1996).
K. Shamseddine and M. Berz, “Convergence on the Levi-Civita field and study of power series,” in Proc. Sixth International Conference on \(p\)-adic Functional Analysis, pp. 283–299 (Marcel Dekker, New York, NY, 2000).
K. Shamseddine and M. Berz, “Measure theory and integration on the Levi-Civita field,” Contemp. Math. 319, 369–387 (2003).
K. Shamseddine and M. Berz, “Analytical properties of power series on Levi-Civita fields,” Ann. Math. Blaise Pascal 12 (2), 309–329 (2005).
Funding
The first two authors were supported by the MITACS Globalink program; and the research of the third author was funded by the Natural Sciences and Engineering Research Council of Canada (NSERC, Grant # RGPIN/4965-2017).
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
About this article
Cite this article
Restrepo Borrero, M., Srivastava, V. & Shamseddine, K. On a New Measure on the Levi-Civita Field \( \mathcal{R} \). P-Adic Num Ultrametr Anal Appl 15, 1–22 (2023). https://doi.org/10.1134/S2070046623010016
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S2070046623010016