Theorem on the differentiability of the inverse function is false for homeomorphisms of nonnormable Fréchet spaces (Q921469): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 18:31, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Theorem on the differentiability of the inverse function is false for homeomorphisms of nonnormable Fréchet spaces |
scientific article |
Statements
Theorem on the differentiability of the inverse function is false for homeomorphisms of nonnormable Fréchet spaces (English)
0 references
1990
0 references
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}\).
0 references
locally convex metrisable nonnormable vector space
0 references
bounded subsets
0 references
\(\beta \) -differentiable
0 references
analytic homeomorphism
0 references