Méthode 1 : Montrer qu’un ensemble est dénombrable
- Utiliser la définition :
Un ensemble est dénombrable s’il est en bijection avec $\mathbb N$.
Théorème : Un ensemble est fini ou dénombrable si et seulement s’il est en bijection avec une partie de $\mathbb N$.
Un tel ensemble est dit au plus dénombrable.
- Utiliser des opérations
- Identifier des ensembles dénombrables connus
Théorème :
- Un produit cartésien fini d’ensembles dénombrables est dénombrable.
- Une réunion finie ou dénombrable d’ensembles finis ou dénombrables est finie ou dénombrable.
Les parties infinies de $\mathbb N$ sont dénombrables.
Les ensembles $\mathbb N^p$ ($p\in\mathbb N*$), $\mathbb Z$, $\mathbb Q$ sont dénombrables.
Attention, l’ensemble $\mathbb R$ n’est pas dénombrable.
Méthode 2 : Étudier la convergence d’une série numérique
- Utiliser la définition :
Définition :
Une série $\displaystyle\sum u_{\rm n}$ converge si la suite de ses sommes partielles $\displaystyle\mathrm{(S_n)_{n\in\mathbb N}}$ avec $\displaystyle \mathrm{S_n=\sum_{k=0}^n} u_{\rm k}$ converge.
On note $\mathrm{\displaystyle \sum_{k=0}^{+\infty}}u_{\mathrm k}$ $\displaystyle =\lim_{\rm n\to +\infty}\displaystyle\sum_{\mathrm k=0}^{\mathrm n}u_{\rm k}$.
Théorème :
Si la série $\displaystyle\sum u_{\rm n}$ converge, alors la suite $\displaystyle(u_{\rm n})_{\rm n}$ tend vers $0$.
Remarque :
Si $(u_{\rm n})_{\rm n}$ ne tend pas vers $0$, on dit que la série $\displaystyle\sum u_{\rm n}$ diverge grossièrement.
- Utiliser des opérations :
Théorème :
Soient $\displaystyle\sum u_{\rm n}$ et $\displaystyle\sum v_{\rm n}$ deux séries convergentes et $\mathrm{\lambda \in \mathbb K}$.
Alors $\displaystyle\sum \lambda u_{\rm n}$ et $\displaystyle\sum u_{\mathrm n}+v_{\mathrm n}$ sont des séries convergentes.
Théorème :
Soit $\displaystyle\sum z_{\rm n}$ une série complexe.
Si $\displaystyle\sum z_{\rm n}$ converge, alors $\displaystyle\sum \overline{z_{\rm n}}$ converge.
- Cas des séries à termes positifs :
Théorème :
Soient $\displaystyle\sum u_{\rm n}$ et $\displaystyle\sum v_{\rm n}$ deux séries à termes positifs telles que pour tout $\displaystyle\mathrm n\in\mathbb N$, $u_{\mathrm n} \leq v_{\mathrm n}$.
- Si $\displaystyle\sum v_{\rm n}$ converge, alors $\displaystyle\sum u_{\rm n}$ converge.
- Si $\displaystyle\sum u_{\rm n}$ diverge, alors $\displaystyle\sum v_{\rm n}$ diverge.
Théorème :
Soient $\displaystyle\sum u_{\rm n}$ et $\displaystyle\sum v_{\rm n}$ deux séries à termes positifs.
Si $\displaystyle u_{\mathrm n} \sim v_{\mathrm n}$, alors les séries $\displaystyle\sum u_{\rm n}$ et $\displaystyle\sum v_{\rm n}$ ont même nature.
Définition :
Soit $(u_{\rm n})$ une suite réelle ou complexe.
$\displaystyle\sum u_{\rm n}$ converge absolument si $\displaystyle\sum |u_{\rm n}|$ converge.
Théorème :
Si $\displaystyle\sum u_{\rm n}$ converge absolument, alors la série converge.
- Utiliser des séries de références :
Théorème (séries de Riemann) :
$\mathrm{\displaystyle \sum_{n\geq 1}\frac{1}{n^{\alpha}}}$ converge si et seulement si $\alpha >1$.
Théorème (séries géométriques) :
Soit $\mathrm{q\in\mathbb C}$.
- Si $\rm |q|\geq 1$, alors $\displaystyle\rm \sum q^n$ diverge grossièrement.
- Si $\rm |q|\ < 1$, alors $\displaystyle\rm \sum q^n$ converge absolument et $\displaystyle\rm \sum_{n=0}^{+\infty}q^n=\frac{1}{1-q}$
- Règle de d’Alembert :
Soit $\displaystyle \sum u_{\rm n}$ une série de termes non nuls.
On suppose que $\displaystyle \left|\frac{u_{\mathrm n+1}}{u_\rm n}\right|\to \rm I$ avec $\rm I\in\mathbb R^+ \cup \{+\infty\}$.
Si $\mathrm{I>1}$, $\displaystyle\sum u_{\rm n}$ diverge grossièrement.
Si $\mathrm{I=1}$, on ne peut rien conclure.
Si $\mathrm{I<1}$, $\displaystyle\sum u_{\rm n}$ converge absolument.
- Identifier une série alternée :
Définition :
Une série $\displaystyle\sum u_{\rm n}$ est alternée si pour tout $\mathrm{n\in\mathbb N}$, $u_{\rm n}=(-1)^n$ $|u_{\rm n}|$ ou $u_{\rm n}=(-1)^{\rm n+1}$ $|u_{\rm n}|$.
Théorème (critère spécial des séries alternées) :
Soit $\displaystyle\sum u_{\rm n}$ une série alternée.
Si $\left(|u_{\rm n}|\right)_{n\geq 0}$ est une série décroissante tendant vers $0$, alors $\displaystyle\sum u_{\rm n}$ converge.
De plus, le reste $\mathrm{R_n} =\displaystyle \sum_{\mathrm{k=n+1}}^{+\infty} u_{\rm k}$ est du signe de $u_{\rm n+1}$ et $\mathrm{|R_n|}\leq |u_{\rm n+1}|$.
- Utiliser le lien suite et série :
Théorème :
La suite $(u_{\rm n})$ et la série $\displaystyle\sum (u_{\mathrm n+1}-u_{\mathrm n})$ sont de même nature.
Méthode 3 : Comparer série et intégrale
Théorème :
Soit $f :[0~;+\infty[ \to \mathbb R$ continue par morceaux, décroissante et positive.
La série de terme général $\displaystyle w_{\rm n}=\int_{n-1}^{\rm n}$ $f(\mathrm{t)dt}-f(\rm n)$ est convergente.
Corollaire :
Sous les mêmes hypothèses, $\displaystyle\sum f_{\rm n}$ et $\displaystyle\int_0^{+\infty}f(\rm t)dt$ sont de même nature.
Méthode 4 : Étudier la convergence d’une série d’éléments d’un espace normé
Remarque :
Les séries numériques sont un cas particulier des séries d’éléments d’un espace normé.
Soit $\mathrm{(u_n)}$ suite d’éléments de l’espace normé $\mathrm{\left(E,\|\cdot\|\right)}$.
Définition :
La série $\displaystyle\sum u_{\rm n}$ converge si la suite de ses sommes partielles $\mathrm{(S_n)_{n\in\mathbb N}}$ avec $\displaystyle\mathrm{S_n}=\sum_{\mathrm k=0}^\mathrm n u_{\rm k}$ converge.
On note $\displaystyle \sum_{\mathrm k=0}^{+\infty}u_{\rm k}$ $\displaystyle=\lim_{\mathrm n\to +\infty}\sum_{\mathrm k=0}^{\mathrm n}u_{\rm k}$.
Définition :
La série $\displaystyle\sum u_{\rm n}$ d’éléments de $\mathrm{E}$ converge absolument si $\displaystyle\sum \left\|u_\rm n\right\|$ converge.
Théorème :
Si $\mathrm{E}$ est de dimension finie, si $\displaystyle\sum u_{\rm n}$ converge absolument alors $\displaystyle\sum u_{\rm n}$ converge.
