Theorem on the differentiability of the inverse function is false for homeomorphisms of nonnormable Fréchet spaces (Q921469)

Let X be locally convex metrisable nonnormable vector space and \(\beta\) be a family of bounded subsets of X such that \(\{\) \(x\}\in \beta\) for any x in X. A mapping f from X into X is said to be \(\beta\)-differentiable at x in X if there is a linear continuous map \(f'(x)\) from X into X such that for any B in \(\beta\) \[ \lim_{t\to 0}[t^{-1}(f(x+th)-f(x))- f'(x)h]=0 \] uniformly on h in B. The author proves that there is a map f from X into X and x in X such that f is \(\beta\)-differentiable at x, \(f^{-1}\) continuous at f(x) and \(f'(x)\) is a isomorphism from X onto X, but \(f^{-1}\) is not \(\beta\)-differentiable at f(x). In the case of \({\mathbb{R}}^{\infty}\), he can find such a f which is an analytic homeomorphism from \({\mathbb{R}}^{\infty}\) onto \({\mathbb{R}}^{\infty}\).