Théorème de réarrangement de Steinitz

Le théorème de réarrangement de Steinitz est un théorème d'analyse mathématique dû à Ernst SteinitzModèle:,, sur les sommes des permutées d'une série dans ℝModèle:Exp. Il généralise le théorème de réarrangement de Riemann, qui concerne les séries de réels.

Énoncé

Pour une suite fixée Modèle:Math de vecteurs dans [[Topologie d'un espace vectoriel de dimension finie|ℝModèle:Exp muni de n'importe quelle norme]] :

• une permutation Modèle:Math : ℕ → ℕ est appelée un réarrangement convergent si la série $\sum _{n=0}^{\mathrm{\infty }}{a}_{\sigma (n)}$ converge ;
• une forme linéaire Modèle:Math : ℝModèle:Exp → ℝ est appelée une forme convergente si la série Modèle:Math est absolument convergente ;
• les formes convergentes constituent un sous-espace vectoriel, noté Modèle:Math, de l'espace dual (ℝModèle:Exp)* ;
• on note Modèle:Math l'annulateur de Modèle:Math, c'est-à-dire l'intersection des noyaux de toutes les formes convergentes.

Remarque : dans tout espace vectoriel normé (et même dans tout groupe topologique abélien), si le premier ensemble n'est pas réduit au singleton $\{\sum _{n=0}^{\mathrm{\infty }}{a}_n\}$, la série n'est pas commutativement convergente mais en dimension infinie, la réciproque est fausse.

Liens avec le théorème de réarrangement de Riemann

Un sous-espace affine de ℝ est soit un singleton, soit ℝ tout entier. Le cas m = 1 du théorème de réarrangement de Steinitz contient donc l'essentiel de celui de Riemann.

Un corollaire du théorème de réarrangement de Riemann est qu'une série de réels est absolument convergente si (et seulement si) elle est commutativement convergente. Les formes convergentes sont donc les formes linéaires Modèle:Math telles que les réels Modèle:Math forment une famille sommable. Ceci démontre, dans le théorème ci-dessus, l'inclusion du premier ensemble dans le second, donc l'égalité lorsque le second est un singleton (c'est-à-dire lorsque toutes les formes sont convergentes). Ceci prouve en outre que dans ce cas, tous les réarrangements sont convergents, ce que ne prouve pas le théorème de Steinitz. Mais ce dernier fournit une condition plus subtile : pour que la série de vecteurs soit commutativement convergente, il suffit que les réarrangements qui convergent aient tous même somme.

Cas de la dimension infinie

En 1935, dans le problème 106 du Livre écossais, Stefan Banach posa pour la première fois la question de la structure de l'ensemble des sommes en dimension infinie, conjecturant que c'était encore un sous-espace affine. Il promettait une bouteille de vin pour la réponse. On trouve déjà dans ce livre un contre-exemple, anonyme mais vraisemblablement écrit — d'après une analyse graphologique — par Józef Marcinkiewicz.

Ce n'est qu'en 1989 que furent fournis des exemples de séries dont l'ensemble des sommes n'était même pas le translaté d'un sous-groupe additif de l'espace : dans tout espace de Banach de dimension infinie, il existe des séries dont l'ensemble des sommes contient exactement deux élémentsModèle:,. Il en existe même dont l'ensemble des sommes est un ensemble fini arbitraire de points affinement indépendants.

Il existe aussi des séries dont l'ensemble des sommes n'est pas fermé.

Le théorème de Dvoretzky-Rogers montre qu'en dimension infinie, l'équivalence entre convergence absolue et convergence commutative disparaît, elle aussi.

Cependant, la conclusion du théorème de Steinitz — l'ensemble des sommes est un sous-espace affine de direction Modèle:Math — est vraie en dimension infinie, sous des hypothèses supplémentaires variées sur l'espace ou sur la série :

• si l'espace est [[Espace Lp|LModèle:Exp([0, 1])]] avec Modèle:Math et si Modèle:Math ;
• dans n'importe quel espace de Banach, si aucun réarrangement ne rend la série « parfaitement divergente », c'est-à-dire si pour toute permutation Modèle:Math de ℕ, il existe une suite Modèle:Math, avec Modèle:Math = ±1, telle que la série $\sum _{n=0}^{\mathrm{\infty }}{\epsilon }_n{a}_{\sigma (n)}$ convergeModèle:, ;
• dans n'importe quel espace localement convexe métrisable nucléaire.