Functions of class \(C^k\) without derivatives (Q1385186)

The author generalizes the notion of map of class \(C^k\), \(k\in {\mathbb{N}}\cup \{\infty\}\) on topological abelian groups. The definition is obtained in an axiomatic way and does coincide with the usual one in the category of Banach spaces. Let \({\mathcal C}\) be a category of topological abelian groups, stable under direct product, with the following properties: for any \(E\) in \({\mathcal C}\), addition is a continuous operator, for any \(E,F\) in \({\mathcal C}\) there exists the object Shom \((E,F)\) in \({\mathcal C}\), consisting of continuous homomorphisms from \(E\) to \(F\). A map \(f:U\rightarrow F\), where \(U\) is a subset in \(E\), has a linearizing factor \((V,\phi)\), with \(V\subset U\) open and \(\phi:V^2\rightarrow \text{Shom} (E,F)\) if \(f(x)-f(y)= \phi (x,y)(x-y)\), for all \(x,y\in V\). Then the families \({\mathcal F}_k\) of functions of class \(C^k\) are defined inductively by using linearizing factors.