Theorem on the differentiability of the inverse function is false for homeomorphisms of nonnormable Fréchet spaces (Q921469): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: The various definitions of the derivative in linear topological spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The class of spaces in which the theorem on the bounded differentiability of the inverse mapping is valid / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5533795 / rank | |||
Normal rank |
Latest revision as of 11:27, 21 June 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