Bourbaki

Exercise 2, § 2

Functions of a Real Variable, I, 37

In the field Qp\mathbf{Q}_p of pp-adic numbers (Gen. Top., III, p. 322, exerc. 23) every pp-adic integer x∈Zpx \in \mathbf{Z}_p has one and only one expansion in the form x=a0+a1p+⋯+anpn+⋯x = a_0 + a_1 p + \cdots + a_n p^n + \cdots, where the aja_j are rational integers such that 0≤aj≤p−10 \leq a_j \leq p - 1 for each jj. For each z∈Zpz \in \mathbf{Z}_p put

f(x)=a0+a1p2+⋯+anp2n+⋯ ; f(x) = a_0 + a_1 p^2 + \cdots + a_n p^{2n} + \cdots;
show that, on Zp\mathbf{Z}_p, ff is a continuous function which is not constant on a neighbourhood of any point yet has a zero derivative at every point.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.