Adelic versions of the Weierstrass approximation theorem

From MaRDI portal

Publication:2411665

Jump to:navigation, search

DOI10.1016/J.JPAA.2017.04.020MaRDI QIDQ2411665zbMATH OpenOpenAlexFDO

Authors Jean-Luc Chabert, Giulio Peruginelli

Publication date 24 October 2017

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

\(p\)-adic numbers ring of adèles Weierstrass approximation theorem

Mathematics Subject Classification ID

Polynomials (11S05) Non-Archimedean valued fields (12J25) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Functional analysis over fields other than (mathbb{R}) or (mathbb{C}) or the quaternions; non-Archimedean functional analysis (46S10)

Abstract: Let

u n d e r l i n e E = p r o d_{p i n m a t h b b P} E_{p}

be a compact subset of

w i d e h a t m a t h b b Z = p r o d_{p i n m a t h b b P} m a t h b b Z_{p}

and denote by

m a t h c a l C (u n d e r l i n e E, w i d e h a t m a t h b b Z)

the ring of continuous functions from

u n d e r l i n e E

into

w i d e h a t m a t h b b Z

. We obtain two kinds of adelic versions of the Weierstrass approximation theorem. Firstly, we prove that the ring

{m I n t}_{m a t h b b Q} (u n d e r l i n e E, w i d e h a t m a t h b b Z) := f (x) i n m a t h b b Q [x] m i d f o r a l l p i n m a t h b b P,;; f (E_{p}) s u b s e t e q m a t h b b Z_{p}

is dense in the direct product

p r o d_{p i n m a t h b b P} m a t h c a l C (E_{p}, m a t h b b Z_{p}),

for the uniform convergence topology. Secondly, under the hypothesis that, for each

n g e q 0

,

for all but finitely many

p

, we prove the existence of regular bases of the

m a t h b b Z

-module

{m I n t}_{m a t h b b Q} (u n d e r l i n e E, w i d e h a t m a t h b b Z)

, and show that, for such a basis

{f_{n}}_{n g e q 0}

, every function

u n d e r l i n e v a r p h i

in

p r o d_{p i n m a t h b b P} m a t h c a l C (E_{p}, m a t h b b Z_{p})

may be uniquely written as a series

s u m_{n g e q 0} u n d e r l i n e c_{n} f_{n}

where

u n d e r l i n e c_{n} i n w i d e h a t m a t h b b Z

and

l i m_{n o i n f t y} u n d e r l i n e c_{n} o 0

.

This paper deals with a generalization of the Weierstrass approximation theorem. Let us recall that the classical Weierstrass approximation theorem asserts that the set of polynomial functions defined on a compact set is dense in the space of real valued continuous functions with respect to the uniform convergence topology. Dieudonné generalized this statement to continuous functions defined on a compact subset of \(\mathbb Q_p\) with values in the \(p\)-adic number field \(\mathbb Q_p\). Then Kaplansky proved the same result for the continuous functions defined on a compact subset of \(\mathbb Q_p\) but with values in the ring of \(p\)-adic integers \(\mathbb Z_p\). Finally Mahler, Amice, and Bhargava et Kedlaya gave effective version of this last statement. The aim of this paper is to give adelic versions of these results, i.e. for continuous functions with values in the ring of finite adèles \(A_f(\mathbb Q)\) of \(\mathbb Q\): \[ A_f(\mathbb Q):=\{(x_p)\in\prod_{p \text{ prime}}\mathbb Q_p\mid x_p\in\mathbb Z_p \text{ for almost all }p\}. \]

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Adelic versions of the Weierstrass approximation theorem

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2411665&oldid=15059770"