Eine stetige nicht differenzierbare Funktion im Gebiete der Henselschen Zahlen. (Q1460120)

Der Körper \(K(p)\) der Henselschen \(p\)-adischen Zahlen ist ein perfekter Erweiterungskörper des rationalen Zahlkörpers. Man kann in ihm (ebenso wie in dem durch die reellen Zahlen gebildeten perfekten Erweiterungskörper des rationalen Zahlkörpers) Analysis treiben. Verf. gibt ein außerordentlich einfaches Beispiel einer überall stetigen, aber nirgends differentiierbaren Funktion \(f(x)\) in \(K(p)\). Diese Funktion \(f(x)\) entsteht aus \(x\) einfach durch Auslassen aller Glieder, in denen \(p\) mit geradem Exponenten vorkommt, aus der \(p\)-adischen Entwicklung: \[ x=a_r p^r + a_{r+1} p^{r+1} + \cdots \;(0\leqq a_i \leqq p-1). \]