PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Revision difference : Mahler's theorem for continuous functions on the $p$-adic integers
Version 2 Version 1
\begin{thm*} \begin{thm}
(Mahler)
Let $f$ be a continuous function on the $p$-adic integers taking values in some finite extension $K$ of $\mathbb{Q}_p$, and for each $n\in\mathbb{N}$, put $a_n=\sum_{i=0}^n(-1)^{n-i}\tbinom{n}{i}f(i)$. Then $a_n\rightarrow 0$ as $n\rightarrow\infty$, the series $\sum_{n=0}^\infty a_n\tbinom{\cdot}{n}$ converges uniformly to $f$ on $\mathbb{Z}_p$, and $\norm{f}_\infty=\sup_{n\geq 0}\abs{a_n}_p$, where $\norm{\cdot}_\infty$ denotes the sup norm. Let $f$ be a continuous function on the $p$-adic integers taking values in some finite extension $K$ of $\mathbb{Q}_p$, and for each $n\in\mathbb{N}$, put $a_n=\sum_{i=0}^n(-1)^{n-i}\tbinom{n}{i}f(i)$. Then $a_n\rightarrow 0$ as $n\rightarrow\infty$, the series $\sum_{n=0}^\infty a_n\tbinom{\cdot}{n}$ converges uniformly to $f$ on $\mathbb{Z}_p$, and $\norm{f}_\infty=\sup_{n\geq 0}\abs{a_n}_p$, where $\norm{\cdot}_\infty$ denotes the sup norm.
\end{thm*} \end{thm}