# Famille sommable

La notion de famille sommable vise à étendre les calculs de sommes au cas d'un nombre infini de termes. Contrairement à la notion de série, on ne suppose pas que les termes sont donnés sous forme d'une suite ordonnée mais d'une famille indexée par un ensemble quelconque. Il s'agit donc de pouvoir en définir la somme de façon globale, sans préciser l'ordre dans lequel on procède. De ce fait la sommabilité est plus exigeante que la convergence de série, et a des propriétés supplémentaires.
La sommabilité donne notamment un cadre utile pour l'étude des séries doubles.

## Exemple préliminaire

La série harmonique alternée, de terme général (–1)$^n$/n pour n entier strictement positif, converge vers –ln(2), tandis que celle obtenue en réordonnant les termes de la suite de façon à sommer deux fois plus vite les termes pairs que les impairs converge vers –ln(2)/2.
On souhaite introduire une définition de la somme qui exclut ce genre de situation, et qui assure que la sommation donne le même résultat quel que soit l'ordre choisi.

## Définition

Pour parler d'une famille sommable il faut déjà une somme, c'est-à-dire une opération de groupe commutatif. Ensuite, comme le nombre de termes dans la famille est infini, la somme va se définir comme limite de sommes finies ; il faut donc avoir une topologie pour parler de limite. Le cadre le plus général pour les familles sommables est donc un groupe topologique commutatif. Dans la suite de cet article, on se restreint au cadre plus usuel d'un ℝ-espace vectoriel normé.
Définition —  On considère un espace vectoriel réel E muni d'une norme ║∙║. Soit (u$_i$)$_{i∈I}$ une famille de vecteurs de E. Cette famille est dite sommable lorsqu'il existe un vecteur S de E tel que
$\forall \varepsilon >0\quad \exists J_{\varepsilon }{\text{ fini }}\subset I\quad \forall J{\text{ fini }}\subset I\quad \left(J\supset J_{\varepsilon }\Rightarrow \left\|\sum _{i\in J}u_{i}-S\right\|\leq \varepsilon \right).$
$S=\sum _{i\in I}u_{i}.$
Autrement dit, J$_ε$ contient déjà tous les termes importants dans la somme vers le vecteur S ; rajouter un nombre fini quelconque de termes à J$_ε$ ne modifie plus la valeur de la somme, à ε près. La sommabilité des familles de vecteurs ressemble à un passage à la limite sur des ensembles finis de plus en plus gros. (Il s'agit en fait d'une limite suivant un filtre, ou de limite d'une suite généralisée.)

## Propriétés

* Bien sûr, si la famille admet seulement un nombre fini de valeurs non nulles (famille presque nulle), elle est sommable et l'on retrouve la valeur usuelle de la somme.
* Il n'y a aucun ordre sur les indices dans la définition de la sommabilité. Ainsi, si σ est une permutation de l'ensemble I, alors les familles (u$_i$)$_{i∈I}$ et (u$_{σ(i)}$)$_{i∈I}$ sont de même nature, et si elles sont sommables, ont la même somme. Cette propriété est la généralisation de la commutativité des sommes finies.
* Si la famille est sommable alors pour tout ε > 0, $\left\{i\in I\mid \Vert u_{i}\Vert >2\varepsilon \right\}$ est fini car inclus dans J$_ε$. Il en résulte que l'ensemble des indices des vecteurs non nuls est au plus dénombrable, comme réunion dénombrable d'ensembles finis :$\{i\in I\mid u_{i}\neq 0\}=\bigcup _{n\in \mathbb {N} ^{*}}\left\{i\in I\left|\Vert u_{i}\Vert >{\frac {1}{n}}\right.\right\}.$La théorie des familles sommables se ramène donc à celle des séries. Plus précisément :
Théorème — Une famille de vecteurs est sommable si et seulement si l'ensemble des indices de ses termes non nuls est au plus dénombrable et si les termes correspondants forment une série commutativement convergente. La somme de toute permutée de la série est alors égale à celle de la famille.
* Si une famille (u$_i$)$_{i∈I}$ est sommable, l'ensemble $\left\{\left.\sum _{i\in J}u_{i}\right|J{\text{ fini }}\subset I\right\}$ de ses sommes finies est borné.
* L'ensemble des familles sommables dans E indexées par un même ensemble I constitue un sous-espace vectoriel de E$^I$ et l'application qui à une famille associe sa somme est linéaire.
* Une famille à valeurs dans un produit fini d'espaces vectoriels normés est sommable si et seulement si chacune de ses composantes l'est, et les composantes de la somme sont alors les sommes des composantes.

## Exemples
### Cas des réels positifs

Une famille de réels positifs est sommable si (et seulement si) l'ensemble de ses sommes finies est majoré, la somme de la famille étant alors simplement la borne supérieure dans ℝ de cet ensemble.
Par conséquent :
* une famille de réels positifs est sommable si et seulement si l'ensemble des indices de ses termes non nuls est au plus dénombrable et si « la » série correspondante converge ;
* la somme de deux familles de réels positifs (indexées par un même ensemble I) est sommable si et seulement si chacune d'elles l'est.

### Cas de ℝ$^n$

À toute famille u de réels, on peut associer ses parties positive u$^+$ et négative u$^–$ : la valeur absolue |u| est la somme de ces deux familles de réels positifs et u est leur différence. Ainsi, si |u| est sommable alors u$^+$ et u$^–$ le sont, donc — par linéarité — u est sommable.
La réciproque est vraie aussi, d'après le théorème de réarrangement de Riemann, qui assure que toute série de réels commutativement convergente est absolument convergente. Cette équivalence s'étend par produit fini à ℝ$^n$. On peut donc ramener l'étude d'une famille de vecteurs de ℝ$^n$ muni d'une norme arbitraire à celle de n familles de réels ou d'une famille de réels positifs :
Théorème — Une famille (u$_i$)$_{i∈I}$ de vecteurs de ℝ$^n$ est sommable si et seulement si ses n composantes le sont, ce qui est équivalent à la sommabilité de la famille des normes (║u$_i$║)$_{i∈I}$.
De plus, de même que dans ℝ$^+$, on a encore dans ℝ (donc aussi dans ℝ$^n$) : une famille est sommable si et seulement si l'ensemble de ses sommes finies est borné.

### Cas particulier des complexes

Dans ℂ ≃ ℝ$^2$, les composantes sont les parties réelle et imaginaire et la norme préférée est le module.
* Soit α réel. La famille (1/(p$^2$ + q$^2$)$^α$), où (p, q) décrit l'ensemble des couples non nuls d'entiers relatifs, est sommable si et seulement si α > 1.
* Plus généralement, pour tout entier N strictement positif, la famille (1/(p$_1$$^2$ + … + p$_N$$^2$)$^α$), où (p$_1$, …, p$_N$) décrit l'ensemble des N-uplets non nuls d'entiers relatifs, est sommable si et seulement si α > N/2 (par comparaison série-intégrale). Si α est complexe, la condition de sommabilité est donc Re(α) > N/2.
* Soit n un entier et z$_1$, …, z$_n$ des complexes de modules strictement inférieurs à 1, alors la famille (z$_1$$^{k1}$, …, z$_n$$^{kn}$), où chaque exposant k$_i$ décrit ℕ, est sommable (comme produit de séries géométriques).

## Associativité

La linéarité ci-dessus admet comme cas particulier la généralisation suivante de l'associativité des sommes finies : si deux familles v et w sont sommables alors leur réunion disjointe u l'est aussi, et la somme de u s'obtient en additionnant celles de v et de w.
Dans un espace vectoriel normé non complet, la réciproque est fausse. En effet, on sait que dans un tel espace, il existe des suites (v$_n$)$_{n∈ℕ}$ telles que la somme des normes ║v$_n$║ soit finie mais que la série vectorielle ne converge pas. La famille u constituée d'une telle suite v et de son opposée est alors sommable (de somme nulle) mais la sous-famille v de u ne l'est pas.
Il faut donc ajouter l'hypothèse de sommabilité des sous-familles. Moyennant quoi, on a même une réciproque plus générale, puisqu'elle s'applique aussi bien à une partition infinie :
   Soit (I$_t$)$_{t∈T}$ une partition de I. Si la famille (u$_i$)$_{i∈I}$ est sommable de somme S et si chaque sous-famille (u$_i$)$_{i∈It}$ est sommable de somme S$_t$, alors la famille (S$_t$)$_{t∈T}$ est sommable, de somme S.
La généralisation analogue du sens direct est trivialement fausse dans ℝ mais vraie dans ℝ$^+$, c'est-à-dire que si chaque (u$_i$)$_{i∈It}$ est une famille de réels positifs de somme finie S$_t$ et si (S$_t$)$_{t∈T}$ est sommable alors (u$_i$)$_{i∈I}$ l'est.

## Familles sommables dans un espace de Banach
### Critère de Cauchy dans les espaces de Banach

Le critère de Cauchy est en général une condition nécessaire de sommabilité, mais dans le cadre des espaces de Banach, il fournit une condition nécessaire et suffisante d'où découlent les propriétés remarquables associées à la sommabilité.
Une famille (u$_i$)$_{i∈I}$ satisfait le critère de Cauchy lorsque
$\forall \varepsilon >0\quad \exists J_{\varepsilon }{\text{ fini }}\subset I\quad \forall K{\text{ fini }}\subset I\quad \left(K\cap J_{\varepsilon }=\varnothing \Rightarrow \left\|\sum _{k\in K}u_{k}\right\|<\varepsilon \right).$
En termes imagés, J$_ε$ contient presque toute la somme puisqu'avec ce qui est ailleurs on ne parvient pas à dépasser ε.
Une famille est de Cauchy si et seulement si l'ensemble des indices de ses termes non nuls est au plus dénombrable et si « la » série correspondante, ainsi que toutes ses permutées, vérifie le critère de Cauchy usuel.
Par conséquent, toute famille sommable vérifie le critère de Cauchy et lorsque E est complet, la réciproque est vraie. (Ceci montre que dans un espace de Banach, toute sous-famille d'une famille sommable est sommable.)
Exemple : dans l'espace ℓ$^p$(I) où I est un ensemble quelconque, pour toute famille (λ$_i$)$_{i∈I}$ de scalaires de puissance p-ième sommable, la famille (λ$_i$δ$_i$)$_{i∈I}$ est sommable, puisqu'elle vérifie le critère de Cauchy et que l'espace est complet.

### Absolue sommabilité

La famille (u$_i$)$_{i∈I}$ est dite absolument sommable — ou normalement sommable — si la famille de réels positifs (║u$_i$║)$_{i∈I}$ est sommable, autrement dit si l'ensemble des indices i des u$_i$ non nuls est au plus dénombrable et si « la » série correspondante est absolument convergente.
On déduit le corollaire suivant du critère de Cauchy, ou simplement du corollaire analogue pour les séries :
Corollaire — Dans un espace de Banach, toute famille absolument sommable est sommable, et vérifie l'inégalité triangulaire étendue
$\left\|\sum _{i\in I}u_{i}\right\|\leq \sum _{i\in I}\|u_{i}\|.$
Dans ℝ$^n$, on a déjà vu que réciproquement, toute famille sommable est absolument sommable. Dans tout espace vectoriel normé de dimension infinie, cette réciproque est fausse.
Contre-exemple : dans l'espace de Hilbert ℓ$^2$(ℕ*) muni de sa base hilbertienne canonique (δ$_n$)$_{n∈ℕ*}$, la suite (δ$_n$/n)$_{n∈ℕ*}$ est sommable (d'après le critère de Cauchy, puisque (1/n)$_{n∈ℕ*}$ est de carré sommable), mais pas absolument (puisque la série des normes est la série harmonique).

### Sommabilité et forme linéaire

Soient F un second espace vectoriel normé et λ une application linéaire continue de E dans F. Pour toute famille sommable (u$_i$)$_{i∈I}$ de vecteurs de E, la famille (λ(u$_i$))$_{i∈I}$ est sommable dans F, de somme $\sum _{i\in I}\lambda (u_{i})=\lambda \left(\sum _{i\in I}u_{i}\right).$
À partir de cette propriété, on peut développer la notion de sommabilité faible. Une famille de vecteurs (u$_i$)$_{i∈I}$ est dite faiblement sommable lorsque pour toute forme linéaire continue λ sur E, la famille de scalaires (λ(u$_i$))$_{i∈I}$ est sommable. La propriété précédente entraîne que toute famille sommable est faiblement sommable. Plus précisément, le critère de Cauchy est vérifié par une famille (u$_i$)$_{i∈I}$ de vecteurs de E si et seulement s'il est vérifié par les familles de scalaires (λ(u$_i$))$_{i∈I}$, uniformément par rapport à λ parcourant la boule unité du dual topologique E' de E.
Il n'existe pas toujours, pour une famille faiblement sommable, un vecteur S de E tel que les λ(S) soient les sommes des (λ(u$_i$))$_{i∈I}$, mais s'il en existe un alors il est unique (car E' sépare les points de E).

### Produit dans les algèbres de Banach

Dans une algèbre de Banach, si (u$_i$)$_{i∈I}$ et (v$_j$)$_{j∈J}$ sont deux familles absolument sommables, alors la famille produit (u$_i$v$_j$)$_{(i,j)∈I×J}$ est absolument sommable et l'on a :
$\left(\sum _{i\in I}u_{i}\right)\left(\sum _{j\in J}v_{j}\right)=\sum _{(i,j)\in I\times J}u_{i}v_{j}.$
Cette propriété peut se réinterpréter à l'aide des séries doubles.