scientific article; zbMATH DE number 3266082

From MaRDI portal
Publication:5550657





L'A. apporte une démonstration complète d'une conjecture faite par Fréchet en 1928 et reprise ensuite par Banach; ceci explique l'importance du ré- sultat: il y a équivalence topologique entre tous les espaces de Banach séparables de dimension infinie. Le principe de la méthode est le suivant: d'abord on peut toujours se ramener au cas où l'espace de Banach considéré \(X\) admet une base dénombrable \(\{e_{n}\}\); \(X\) est alors homéomorphe à \(l^{2} ;\) pour ce dernier point il suffit de se borner aux sphères unités de \(X\) et de \(l^{2}\). A cette fin l'A. définit sur la boule unité de \(X\) une fonctionnelle \(F\) nulle sur la frontière, \(>0\) à l'intérieur, prenant la valeur 1 à l'origine et vérifiant les propriétés suivantes: une série \(\Sigma \lambda_{n} e_{n}\) converge si l'image par \(F\) de sa somme partielle d'ordre \(p\) tend vers 0 avec \(1 / p\); si \(a\) est un vecteur dont, seules, les \(n-1\) premières coordonnées peuvent être différentes de 0, la fonction \(\lambda \mapsto F\left(a+\lambda e_{n}\right)\) est strictement croissante pour \(\lambda<0\) et strictement décroissante pour \(\lambda>0\). D'autre part l'A. construit sur \(X\) une norme équivalente à la norme donnée et possédant les propriétés suivantes: \(X\) est alors localement uniformément convexe; la base donnée est orthogonale; sur la sphère unité il y a identité entre la convergence en coordonnées et celle en norme; on a \[ \left\| \sum_1^{p-1} \lambda_{n} e_{n}\right\|<\left\| \sum_{1}^{p} \lambda_{n} e_{n} \right\| \] si \(\lambda_{p}\) n'est pas nul. On remarquera en particulier la diversité des méthodes utilisées dans cette démonstration.





Cited in
(23)








This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5550657)