Nonstandard Measure Spaces with Values in non-Archimedean Fields

TL;DR

This paper develops a nonstandard measure theory with values in non-Archimedean fields, connecting p-adic analysis and nonstandard analysis, and provides explicit series expansions for p-adic functions.

Contribution

It introduces a framework for nonstandard measures in non-Archimedean fields and relates standard and internal measures, extending measure theory to p-adic contexts.

Findings

Constructed a nonstandard measure theory for non-Archimedean fields.

Established a correspondence between internal and Loeb measures.

Derived explicit series expansions for p-adic zeta and Euler-Mascheroni constants.

Abstract

The aim of this contribution is to bring together the areas of $p$-adic analysis and nonstandard analysis. We develop a nonstandard measure theory with values in a complete non-Archimedean valued field $K$, e.g. the $p-$adic numbers $\mathbb{Q}_p$. The corresponding theory for real-valued measures is well known by the work of P. A. Loeb, R. M. Anderson and others. We first review some of the standard facts on non-Archimedean measures and briefly sketch the prerequisites from nonstandard analysis. Then internal measures on rings and algebras with values in a nonstandard field ${^*K}$ are introduced. We explain how an internal measure induces a $K$-valued Loeb measure. The standard-part map between a Loeb space and the underlying standard measure space is measurable almost everywhere. We establish liftings from measurable functions to internal simple functions. Furthermore, we prove that standard measure spaces can be described as push-downs of hyperfinite internal measure spaces. This result is an analogue of a well-known Theorem on hyperfinite representations of Radon spaces. Then standard integrable functions are related to internal $S$-integrable functions and integrals are represented by hyperfinite sums. Finally, the results are applied to measures and integrals on $\mathbb{Z}_p$ and $\mathbb{Z}_p^{\times}$. We obtain explicit series expansions for the $p$-adic zeta function and the $p$-adic Euler-Mascheroni constant which we use for computations.