To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Anderson–Kadec theorem

From Wikipedia, the free encyclopedia

In mathematics, in the areas of topology and functional analysis, the Anderson–Kadec theorem states[1] that any two infinite-dimensional, separable Banach spaces, or, more generally, Fréchet spaces, are homeomorphic as topological spaces. The theorem was proved by Mikhail Kadec (1966) and Richard Davis Anderson.

Statement

Every infinite-dimensional, separable Fréchet space is homeomorphic to the Cartesian product of countably many copies of the real line

Preliminaries

Kadec norm: A norm on a normed linear space is called a Kadec norm with respect to a total subset of the dual space if for each sequence the following condition is satisfied:

  • If for and then

Eidelheit theorem: A Fréchet space is either isomorphic to a Banach space, or has a quotient space isomorphic to

Kadec renorming theorem: Every separable Banach space admits a Kadec norm with respect to a countable total subset of The new norm is equivalent to the original norm of The set can be taken to be any weak-star dense countable subset of the unit ball of

Sketch of the proof

In the argument below denotes an infinite-dimensional separable Fréchet space and the relation of topological equivalence (existence of homeomorphism).

A starting point of the proof of the Anderson–Kadec theorem is Kadec's proof that any infinite-dimensional separable Banach space is homeomorphic to

From Eidelheit theorem, it is enough to consider Fréchet space that are not isomorphic to a Banach space. In that case there they have a quotient that is isomorphic to A result of Bartle-Graves-Michael proves that then

for some Fréchet space

On the other hand, is a closed subspace of a countable infinite product of separable Banach spaces of separable Banach spaces. The same result of Bartle-Graves-Michael applied to gives a homeomorphism

for some Fréchet space From Kadec's result the countable product of infinite-dimensional separable Banach spaces is homeomorphic to

The proof of Anderson–Kadec theorem consists of the sequence of equivalences

See also

Notes

References

  • Bessaga, C.; Pełczyński, A. (1975), Selected Topics in Infinite-Dimensional Topology, Monografie Matematyczne, Warszawa: Panstwowe wyd. naukowe.
  • Torunczyk, H. (1981), Characterizing Hilbert Space Topology, Fundamenta Mathematicae, pp. 247–262.
This page was last edited on 21 October 2023, at 00:52
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.