Séries et familles sommables en dimension finie

Séries et familles sommables en dimension finie

Ce cours aborde les notions fondamentales de sommabilité dans les espaces de dimension finie, les critères de dénombrabilité, les propriétés de convergence des familles numériques, ainsi que les identités exponentielles dans les algèbres normées. Chaque section reprend les concepts testés dans le questionnaire et les développe de façon pédagogique, tout en intégrant des bonnes pratiques SEO (mots‑clés pertinents, balises sémantiques).

1. Dénombrabilité des sous‑ensembles de ℕ

Dans le cadre de l’analyse réelle, on s’intéresse souvent aux parties de l’ensemble des entiers naturels ℕ. Une partie S ⊂ ℕ est dite dé­nom­brable si elle possède une bijection avec ℕ. Autrement dit, il existe une fonction f : ℕ → S qui est à la fois injective et surjective.

• Cette caractérisation exclut les ensembles finis, qui sont dé­nom­brables au sens large mais ne nécessitent pas de bijection avec ℕ.
• Une partie infinie de ℕ qui n’a pas de bijection avec ℕ (par exemple, un sous‑ensemble non‑dé­nom­brable) ne satisfait pas ce critère.

En résumé, le critère qui caractérise une partie de ℕ dénombrable est qu’elle possède une bijection avec ℕ.

2. Comparaison de deux familles de réels positifs

Considérons deux familles (x_i)_{i∈I} et (y_i)_{i∈I} de nombres réels positifs telles que x_i ≤ y_i pour tout indice i. Le principe de domination s’applique :

• Si la famille majorante (y_i) est sommable, alors la famille minorée (x_i) l’est également.
• La réciproque n’est pas vraie en général : une famille (x_i) sommable n’impose pas la sommabilité de (y_i).

Cette propriété est cruciale pour établir la convergence de séries par comparaison.

3. Critère de sommation par paquets

Le critère de sommation par paquets fournit une méthode pratique pour vérifier la sommabilité d’une famille numérique (x_k)_{k∈I}. On partitionne l’ensemble d’indices I en sous‑ensembles disjoints I_n (paquets) et on définit les sommes partielles T_n = ∑_{k∈I_n} x_k. Le critère stipule :

• Chaque sous‑famille (x_k)_{k∈I_n} doit être sommable (c’est‑à‑dire que la somme finie T_n existe).
• La série ∑_n T_n doit converger.

Lorsque ces deux conditions sont réunies, la famille originale (x_k) est sommable. Ce critère est souvent utilisé lorsqu’une bijection explicite σ : ℕ → I est difficile à construire.

4. Identité exponentielle dans une algèbre normée commutative

Dans une algèbre normée finie A, les éléments a et b commutent (ab = ba). Dans ce contexte, l’exponential de la somme se factorise :

exp(a+b) = exp(a)·exp(b)

Cette identité découle de la série de Taylor de l’exponential et de la commutativité qui permet d’interchanger les termes lors du développement du produit des séries.

5. Convergence absolue d’une série double

Pour une famille (a_{m,n})_{(m,n)∈ℕ²}, la convergence absolue de la série double ∑_{m,n} |a_{m,n}| est équivalente à la sommabilité de la famille. En effet :

• Si la série double converge absolument, alors la somme totale ∑_{(m,n)} a_{m,n} est bien définie et indépendante de l’ordre de sommation.
• Réciproquement, la sommabilité de la famille implique la convergence absolue de la série double.

Cette équivalence justifie l’utilisation du critère de convergence absolue pour les séries à plusieurs indices.

6. Opérations linéaires sur les familles sommables

Si (x_k)_{k∈I} et (y_k)_{k∈I} sont deux familles sommables et λ∈K (où K désigne le corps des scalaires, généralement ℝ ou ℂ), alors la combinaison linéaire λx_k + y_k reste sommable. De plus, la somme totale satisfait la propriété linéaire :

∑_{k∈I} (λx_k + y_k) = λ∑_{k∈I} x_k + ∑_{k∈I} y_k

Ceci est une conséquence directe de la définition de la sommabilité et de la linéarité de la somme.

7. Sommabilité d’une suite numérique (cas I = ℕ)

Lorsque l’ensemble d’indices est I = ℕ, la notion de famille sommable coïncide avec celle de série absolument convergente. Ainsi, une suite (x_n) est sommable si et seulement si la série ∑_{n=0}^{∞} x_n converge absolument, c’est‑à‑dire que ∑ |x_n| est finie.

8. Produit de Cauchy et convergence absolue

Le produit de Cauchy de deux séries ∑ u_n et ∑ v_n est défini par la série ∑_{n=0}^{∞} (∑_{k=0}^{n} u_k v_{n-k}). Pour garantir la convergence absolue du produit, il faut que les deux séries soient absolument convergentes. En effet, la convergence absolue assure que les sommes partielles sont bornées et que le réarrangement des termes (nécessaire dans le produit) ne perturbe pas la limite.

9. Synthèse des concepts clés

• Dénombrabilité : existence d’une bijection avec ℕ.
• Domination : si une famille majorante est sommable, la famille minorée l’est aussi.
• Sommation par paquets : sommabilité des sous‑familles et convergence de la série des sommes partielles.
• Identité exponentielle dans une algèbre commutative : exp(a+b)=exp(a)·exp(b).
• Convergence absolue d’une série double ↔ sommabilité de la famille.
• Linéarité des sommes : λx_i + y_i reste sommable avec somme λ∑x_i + ∑y_i.
• Série absolument convergente = suite sommable pour I=ℕ.
• Produit de Cauchy : nécessite la convergence absolue des deux séries impliquées.

Ces notions constituent le socle de l’analyse fonctionnelle en dimension finie et sont essentielles pour la maîtrise des séries, des familles numériques et des algèbres normées.