3 Familles sommables à termes scalaires

Comme pour les séries, on se ramène au cas à valeur positif en prenant le module. On pourrait traiter de façon semblable le cas à valeurs vectorielles (par exemple dans $\mathbb{R}^{n}$ ou dans ce qu’on appelera au chapitre suivant un e.v.n. où toute suite de Cauchy converge, un e.v.n dit complet) en prenant la norme à la place du module. On note $\mathbb{K}=\mathbb{R}$ ou $\mathbb{K}=\mathbb{C}$ le corps de référence.

$\bigstar$ Définition 1.5.

Une famille $(z_{i})_{i\in I}$ de nombres complexes ou réels est dite sommable si la famille $(|z_{i}|)_{i\in I}$ est sommable. On note $\ell^{1}(I,\mathbb{K})$ l’ensemble des familles sommables d’éléments de $\mathbb{K}$ indexées par $I$ .

On note

||z||_{1}=\displaystyle\sum_{i\in I}|z_{i}|.

Lemme 1.17.

$\ell^{1}(I,\mathbb{K})$ est un espace vectoriel et de plus on a pour $u,v\in\ell^{1}(I,\mathbb{K}),\mu,\nu\in\mathbb{K}$ :

||\lambda u+\mu v||_{1}\leq|\lambda|||u||_{1}+|\mu|||v||_{1}.

Démonstration :

On voit que c’est un sous-espace vectoriel de l’ensemble des fonctions $\mathbb{K}^{I}$ . D’abord, la famille nulle est sommable et de plus si $\lambda,\mu\in\mathbb{K}$ , $(a_{i}),(b_{i})$ des familles sommables, pour $J$ fini, on a par l’inégalité triangulaire (des nombres):

\displaystyle\sum_{i\in J}|\lambda a_{i}+\mu b_{i}|\leq\displaystyle\sum_{i\in J% }|\lambda||a_{i}|+|\mu||b_{i}|=|\lambda|\displaystyle\sum_{i\in J}|a_{i}|+|\mu% |\displaystyle\sum_{i\in J}|b_{i}|\leq|\lambda|||a||_{1}+|\mu|||b||_{1}

donc comme la valeur est bornée, on obtient, la sommabilité de la famille $(\lambda a_{i}+\mu b_{i})$ , donc $\ell^{1}(I,\mathbb{K})$ est stable par combinaison linéaire et est donc un sous-espace vectoriel de $\mathbb{K}^{I}$ , puisqu’il contient aussi la famille nulle $(0)$ .

De plus en passant au sup sur $J$ on obtient $||\lambda a+\mu b||_{1}\leq|\lambda|||a||_{1}+|\mu|||b||_{1}$ . □

Comme d’habitude pour définir l’intégrale (ici on va définir de même la somme), on sépare les parties positives, négatives des parties réelles et imaginaires, pour définir la somme. On note donc $(a_{i})_{+}=\max(a_{i},0)$ , $(a_{i})_{-}=\max(-a_{i},0)$ de sorte que

z_{j}=(\Re z_{j})_{+}-(\Re z_{j})_{-}+i(\Im z_{j})_{+}-i(\Im z_{j})_{-}

Comme $(\Re z_{j})_{+}+(\Re z_{j})_{-},(\Im z_{j})_{+}+(\Im z_{j})_{-}\leq|z_{j}|$ on déduit que si $(z_{j})$ est sommable, alors $((\Re z_{j})_{+}),((\Re z_{j})_{-},((\Im z_{j})_{+}),((\Im z_{j})_{-})$ le sont aussi par domination.

Définition 1.6.

La somme d’une famille sommable $(z_{i})_{i\in I}$ est la valeur:

\displaystyle\sum_{j\in I}z_{j}:=\displaystyle\sum_{j\in I}(\Re z_{j})_{+}-% \displaystyle\sum_{j\in I}(\Re z_{j})_{-}+i\displaystyle\sum_{j\in I}(\Im z_{j% })_{+}-i\displaystyle\sum_{j\in I}(\Im z_{j})_{-}.

Exercice 1.1.

Vérifier que la somme d’une famille sommable est une application linéaire. (indication: considérer une suite exhaustive de parties finies pour se ramener au cas des sommes finies).

On a le résultat qui résume les propriétés élémentaires:

Proposition 1.18.

21.

Une famille $(z_{i})_{i\in I}$ est sommable si et seulement si $(\Re z_{i})_{i\in I}$ et $(\Im z_{i})_{i\in I}$ sont sommables.
22.

$(z_{i})_{i\in I}$ est sommable si et seulement si $(\overline{z_{i}})_{i\in I}$ est sommable et on a :

$\overline{\displaystyle\sum_{j\in I}z_{j}}=\displaystyle\sum_{j\in I}\overline% {z_{j}},$
23.

Pour $(z_{i})_{i\in I}$ sommable, on a l’inégalité triangulaire généralisée:

$\left|\displaystyle\sum_{j\in I}z_{j}\right|\leq\displaystyle\sum_{j\in I}|z_{% j}|.$
24.

(lemme de permutation) Si $(z_{i})_{i\in I}$ est sommable et $\sigma:I\to I$ est une bijection, alors $(z_{\sigma(i)})_{i\in I}$ est sommable de même somme. En particulier, si $\displaystyle\sum a_{n}$ est une série absolument convergente et $\sigma$ une permutation de $\mathbb{N}$ alors $\displaystyle\sum a_{\sigma(n)}$ est absolument convergente de même somme.

Démonstration :

1/ Les bornes $|\Re z_{i}|\leq|z_{i}|$ et $|\Im z_{i}|\leq|z_{i}|$ donnent la condition nécessaire par domination. Réciproquement $|z_{i}|=\sqrt{|\Re z_{i}|^{2}+|\Im z_{i}|^{2}}\leq|\Re z_{i}|+|\Im z_{i}|$ et comme $\ell^{1}$ est un e.v, on a vu que l’hypothèse implique $(|\Re z_{i}|+|\Im z_{i}|)_{i\in I}$ sommable d’où le résultat à nouveau par domination.

2/ l’équivalence est évidente en utilisant 2 fois le 1. L’égalité vient directement de la définition.

3/ On fixe une suite exhaustive $J_{n}$ de $I$ . D’après le critère des suites exhaustives pour les quatre séries à termes positives intervenant dans la somme, $\displaystyle\sum_{j\in I}z_{j}=\lim_{n\to\infty}\displaystyle\sum_{j\in J_{n}% }z_{j},\displaystyle\sum_{j\in I}|z_{j}|=\lim_{n\to\infty}\displaystyle\sum_{j% \in J_{n}}|z_{j}|$ donc par l’inégalité triangulaire pour les sommes finies (et continuité du module)

\left|\displaystyle\sum_{j\in I}z_{j}\right|=\left|\lim_{n\to\infty}% \displaystyle\sum_{j\in J_{n}}z_{j}\right|=\lim_{n\to\infty}\left|% \displaystyle\sum_{j\in J_{n}}z_{j}\right|\leq\lim_{n\to\infty}\displaystyle% \sum_{j\in J_{n}}|z_{j}|=\displaystyle\sum_{j\in I}|z_{j}|.

4/ Tout vient du cas positif, soit par la définition de sommabilité soit par la définition de la somme en terme de somme de familles à termes positifs. Le cas particulier vient du fait que si la famille est indicée par $\mathbb{N}$ , le critère des suites exhaustives (appliqué à la suite $[\![0,n]\!]$ ) implique qu’être sommable équivaut à être absolument convergente. □

Remarque 1.7.

Une série $\displaystyle\sum a_{n}$ telle que pour tout $\sigma$ permutation de $\mathbb{N}$ on ait $\displaystyle\sum a_{\sigma(n)}$ convergeant est dite inconditionnellement convergente. Un résultat classique qu’on trouve par exemple dans Bourbaki Topologie Générale IV.44 [2]dit qu’une série numérique inconditionnellement convergente est absolument convergente. Il n’y a donc pas d’extension possible du dernier énoncé.

On finit avec les résultats de sommation par paquets et de Fubini. Dans les deux cas, on n’a plus d’équivalence comme dans le cas à terme positif. On utilise alors souvent/toujours le cas à terme positif pour montrer la sommabilité nécessaire à appliquer le cas avec signe/complexe.

$\bigstar$ Théorème 1.19 (de sommation par paquets - Cas Général).

Soit $(I_{\lambda})_{\lambda\in\Lambda}$ une partition de $I$ . Si une famille $(z_{i})_{i\in I}$ est sommable alors on a les deux propriétés suivantes:

25.

pour chaque $\lambda\in\Lambda$ , $(z_{i})_{i\in I_{\lambda}}$ est sommable, disons de somme $\sigma_{\lambda}$
26.

et $(\sigma_{\lambda})_{\lambda\in\Lambda}$ est sommable.

De plus, on a l’égalité:

\displaystyle\sum_{i\in I}z_{i}=\displaystyle\sum_{\lambda\in\Lambda}\sigma_{% \lambda}\equiv\displaystyle\sum_{\lambda\in\Lambda}\left(\displaystyle\sum_{i% \in I_{\lambda}}z_{i}\right).

Démonstration :

Comme $(|z_{i}|)_{i\in I}$ , la sommabilité de $(|z_{i}|)_{i\in I_{\lambda}}$ vient du cas positif. De plus, par l’inégalité triangulaire des familles sommables (proposition 1.18), $|\displaystyle\sum_{i\in I_{\lambda}}z_{i}|\leq\displaystyle\sum_{i\in I_{% \lambda}}|z_{i}|$ et le théorème de sommation par paquets assure la sommabilité du membre de droite, donc par comparaison, celle de $(\sigma_{\lambda})_{\lambda\in\Lambda}$ comme voulu. L’égalité vient du cas positif appliqué aux parties positives et négatives des parties réelle et imaginaire. □

En appliquant la sommation par paquets à la même partition que dans le cas positif, on obtient:

$\bigstar$ Théorème 1.20 (de Fubini).

Si une famille double $(z_{i,j})_{i\in I,j\in J}$ est sommable alors on a les deux propriétés suivantes:

27.

pour tout $i\in I$ , $(z_{i,j})_{j\in J}$ est sommable et la famille des sommes $(\displaystyle\sum_{j\in J}z_{i,j})_{i\in I}$ est sommable
28.

pour tout $j\in J$ , $(z_{i,j})_{i\in I}$ est sommable et la famille des sommes $(\displaystyle\sum_{i\in I}z_{i,j})_{j\in J}$ est sommable

De plus, on a l’égalité:

\displaystyle\sum_{(i,j)\in I\times J}z_{i,j}=\displaystyle\sum_{i\in I}\left(% \displaystyle\sum_{j\in J}z_{i,j}\right)=\displaystyle\sum_{j\in J}\left(% \displaystyle\sum_{i\in I}z_{i,j}\right).

3 Familles sommables à termes scalaires

★ Définition 1.5.

Lemme 1.17.

Définition 1.6.

Exercice 1.1.

Proposition 1.18.

Remarque 1.7.

★ Théorème 1.19 (de sommation par paquets - Cas Général).

★ Théorème 1.20 (de Fubini).

$\bigstar$ Définition 1.5.

$\bigstar$ Théorème 1.19 (de sommation par paquets - Cas Général).

$\bigstar$ Théorème 1.20 (de Fubini).