Adelic versions of the Weierstrass approximation theorem

TL;DR

This paper develops adelic analogues of the Weierstrass approximation theorem, demonstrating density of certain polynomial rings in continuous functions over p-adic integers and establishing bases for approximation in the adelic setting.

Contribution

It introduces two adelic versions of the Weierstrass approximation theorem, including density results and the construction of regular bases for approximation of continuous functions.

Findings

Polynomial rings are dense in product spaces of continuous p-adic functions.

Existence of regular bases for the module of integer-valued polynomials over adelic sets.

Unique series expansion of functions in terms of these bases with coefficients tending to zero.

Abstract

Let $\underline{E}=\prod_{p\in\mathbb{P}}E_p$ be a compact subset of $\widehat{\mathbb{Z}}=\prod_{p\in\mathbb{P}}\mathbb{Z}_p$ and denote by $\mathcal C(\underline{E},\widehat{\mathbb{Z}})$ the ring of continuous functions from $\underline{E}$ into $\widehat{\mathbb{Z}}$. We obtain two kinds of adelic versions of the Weierstrass approximation theorem. Firstly, we prove that the ring ${\rm Int}_{\mathbb{Q}}(\underline{E},\widehat{\mathbb{Z}}):=\{f(x)\in\mathbb{Q}[x]\mid \forall p\in\mathbb{P},\;\;f(E_p)\subseteq \mathbb{Z}_p\}$ is dense in the direct product $\prod_{p\in\mathbb{P}}\mathcal C(E_p,\mathbb{Z}_p)\,$ for the uniform convergence topology. Secondly, under the hypothesis that, for each $n\geq 0$, $\#(E_p\pmod{p})>n$ for all but finitely many $p$, we prove the existence of regular bases of the $\mathbb{Z}$-module ${\rm Int}_{\mathbb{Q}}(\underline{E},\widehat{\mathbb{Z}})$, and show that, for such a basis $\{f_n\}_{n\geq 0}$, every function $\underline{\varphi}$ in $\prod_{p\in\mathbb{P}}\mathcal{C}(E_p,\mathbb{Z}_p)$ may be uniquely written as a series $\sum_{n\geq 0}\underline{c}_n f_n$ where $\underline{c}_n\in\widehat{\mathbb{Z}}$ and $\lim_{n\to \infty}\underline{c}_n\to 0$.