Notes CDI1 V2 PDF

Calcul diffrentiel et Intgral I
Math-F-101
Denis Bonheure & Joel Fine
BA1 en sciences mathmatiques et physiques
Table des matires

1 Motivations
2 Prliminaires
2.1 Rappels lmentaires . . . . . . . . . . . .
Les symboles et les quantificateurs
Oprations sur les ensembles . . . .
2.2 Un peu de logique de base . . . . . . . . .
Les implications . . . . . . . . . . .
Le raisonnement par labsurde . . .
Le raisonnement par induction . . .
2.3 Les fonctions . . . . . . . . . . . . . . . .
2.4 Relation dordre et champ ordonn . . . .
Ensembles ordonns . . . . . . . .
Champs ordonns . . . . . . . . . .
2.5 Les naturels, les entiers et les rationnels . .
2.6 Ensembles dnombrables . . . . . . . . . .
2.7 Notations . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
7
9
10
10
11
13
15
18
18
19
22
23
26
3 Les nombres rels et les nombres complexes

3.1 Compltude pour lordre . . . . . . . . . . .
Lextension R . . . . . . . . . . . . .
3.2 Quelques notations et proprits de R . . . .
Intervalles . . . . . . . . . . . . . . .
Proprit dArchimde . . . . . . . .
Densit de Q et de R \ Q . . . . . . .
3.3 Les nombres complexes . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
27
28
29
30
31
31
32
33
4 Suites et sries
4.1 Suites . . . . . . . . . . . . . . . . . . . . . . . . . .
Sous-suites . . . . . . . . . . . . . . . . . . . .
4.2 Convergence dans un espace mtrique . . . . . . . . .
Distance et espace mtrique . . . . . . . . . .
Suites bornes et suites convergentes . . . . .
Critre dexistence de sous-suites convergentes
Suites de Cauchy . . . . . . . . . . . . . . . .
4.3 Suites relles ou complexes . . . . . . . . . . . . . . .
Convergence . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
37
37
38
38
38
39
42
43
44
44
Table des matires

Rgles de calcul . . . . . . . . . . .
Comparaison des suites relles . . .
Limites infinies . . . . . . . . . . .
Suites monotones, lim inf et lim sup
Critre de Cauchy . . . . . . . . . .
Exemples importants . . . . . . . .
4.4 Sries . . . . . . . . . . . . . . . . . . . . .
Critres de convergence . . . . . . .
Convergence absolue . . . . . . . .
Critres de convergence absolue . .
Critres de Dirichlet et dAbel . . .
Oprations sur les sries . . . . . .
Sries de puissances . . . . . . . . .
R nest pas dnombrable . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
46
47
48
49
52
53
54
56
58
59
62
63
67
69
Chapitre 1
Motivations
Quest-ce que lanalyse ? Pourquoi faire de lanalyse ?
Chapitre 1 - Motivations
Chapitre 2
Prliminaires
Motivation
Ce chapitre contient en partie des notions lmentaires qui vous sont normalement familires.
Toutes les notions contenues dans ce chapitre ne seront pas systmatiquement
prsentes telles quelles au cours oral mais le plus souvent insres dans un contexte
prcis au moment o elles apparaissent pour la premire fois dans la suite logique
du cours.
Ce chapitre sert galement rappeler un certain nombre de notations courantes
qui seront utilises dans ce texte.
2.1
Rappels lmentaires
Les symboles et les quantificateurs

Considrons un ensemble X. Si x est un lment de X, nous crivons
x X,
et on lit x appartient X. Il nous arrive dcrire lenvers
X x,
qui se lit X contient x. Si au contraire, nous voulons signifier que x nest pas un
lment de lensemble X, nous crivons
x 6 X,
cest--dire x nappartient pas X, ou bien
X 6 x,
cest--dire X ne contient pas x.
Pour dsigner le sous-ensemble des lments de X qui satisfont une proprit P ,
nous crivons
{x X : x satisfait P },
7
Chapitre 2 - Prliminaires
o le symbole : se lit tel que. Le symbole : est parfois remplac par |. Pour crire
quil existe un lment x dans X qui vrifie la proprit P , nous crivons
( x X) : x satisfait P,
o le symbole se lit il existe. Du point de vue logique, lorsque nous disons quil
existe un lment de X tel que P est satisfait, cela signifie quil existe au moins
un lment de X qui satisfait la proprit P . Si nous voulons attirer lattention sur
lunicit dun tel lment, nous disons il existe un et un seul lment de X tel que
P est satisfait et nous crivons
( ! x X) : x satisfait P.
Pour signifier quil nexiste pas dlment de X vrifiant la proprit P , nous crivons
( x X) : x satisfait P,
o le symbole se lit il nexiste pas.

Nous utilisons le symbole pour dire pour tout. Par exemple, lexpression
(x X) : x satisfait P,
signifie que tous les lments de X satisfont la proprit P . Dans ce cas-ci, le symbole
: se lit plutt on a.
Attention lordre des quantificateurs. Lorsquune affirmation contient plusieurs
quantificateurs, un changement dans lordre de ceux-ci modifie le sens de laffirmation. Ainsi, les affirmations
pour tout entier x, il existe un entier y tel que x + y = 0
et
il existe un entier y tel que pour tout entier x on a x + y = 0
ne sont pas quivalentes. La premire assertion scrit
(x Z) (y Z) : x + y = 0
et signifie que tout entier x possde un inverse pour laddition (x). La deuxime
assertion scrit
(y Z)(x Z) : x + y = 0
et nest videmment pas satisfaite puisquun nombre entier ne peut pas tre simultanment linverse pour laddition de tous les nombres entiers.
On veillera donc ne pas confondre les affirmations
et
(x X)(y Y ) : P (x, y) est vraie

(y Y )(x X) : P (x, y) est vraie,
o P (x, y) est une proprit qui dpend de x et y. Dans le premier cas, on affirme
que chaque fois que lon choisit un lment x X, on peut trouver un lment y Y
tel que P (x, y) est vraie et cet lment y peut dpendre de x (cest dire que ce
ne doit pas tre le mme pour tous les x), tandis que dans le second cas, on affirme
quil existe un lment y Y tel que P (x, y) est vraie pour tous les x X (ce qui
implique cette fois que y ne peut pas dpendre de x).
2.1. Rappels lmentaires
Oprations sur les ensembles

Considrons prsent deux ensembles X et Y . La notation est utilise pour
indiquer une inclusion. Ainsi, lexpression
X Y
signifie que X est un sous-ensemble de Y (ou encore X est contenu dans Y ), ce qui
veut dire que
(x X) : x Y.
Nous utilisons aussi la notation Y X, Y contient X au lieu de X Y .

Si x est un lment de X, nous notons {x} le sous-ensemble de X ne contenant
que llment x. Nous appelons ce sous-ensemble, le singleton x. Il convient de
distinguer la notation x X, qui signifie que x est un lment de X, de la notation
{x} X qui signifie que le singleton {x} est un sous-ensemble de X.
Une fois que la relation dinclusion est dfinie, nous pouvons dfinir lgalit
ensembliste par
X = Y si et seulement si X Y et Y X.
Remarquez que la relation dinclusion est transitive, cest--dire que si X Y
et Y Z, alors X Z.
Dfinition 2.1. Soient deux ensembles X et Y . Si X Y et X 6= Y , on dit que X
est un sous-ensemble propre de Y .
Le sous-ensemble vide de X est lunique sous-ensemble de X qui ne contient
aucun lment. On le note . Une faon de le dfinir est dcrire
:= {x X : x 6= x}.
Remarquez que nous avons utilis le symbole := pour est dfini par. Ainsi, lexpression ci-dessus signifie lensemble vide est dfini par lensemble des lments x
de X tels que x 6= x (il ny a pas de tels lments).
Dfinitions 2.2. Soient A, B deux sous-ensembles dun ensemble X. Lunion de
A et B est lensemble
A B := {x X : x A ou x B}.
Lintersection de A et B est lensemble
A B := {x X : x A et x B}.
Si A B est lensemble vide, on dit que A et B sont disjoints. La diffrence de
A et de B est lensemble
A \ B := {x X : x A et x 6 B}.
Lensemble X \ A est not Ac et est appel le complmentaire de A.
10
En construction...
Fig. 2.1 Union, intersection et diffrence ensembliste
Ces dfinitions stendent des familles densembles. Considrons un ensemble
I dindices (pas forcment des nombres entiers). La collection
A = {Ai : i I}
est appele une famille densembles. Si X est un ensemble et A une famille de
sous-ensembles de X, lintersection et lunion de cette famille se dfinissent par
\
Ai := {x X : (i I : x Ai )}
iI
et
[
iI
Ai := {x X : (i I : x Ai )}
Nous ferons parfois usage des lois de De Morgan :

!c
!c
\
[
[
\
Ai =
Aci et
Ai =
Aci .
iI
iI
iI
iI
Terminons ce paragraphe en rappelant la dfinition du produit cartsien de deux

ensembles X et Y , not X Y . Il sagit de lensemble des pairs (x, y) o x X et
y Y . Si X1 , X2 , . . . , Xn sont des ensembles, on dfinit
n
Y
i=1
2.2
Xi = X1 . . . Xn := {(x1 , . . . , xn ) : xi Xi , i = 1, . . . , n}.
Un peu de logique de base
Il est trs important de savoir manier les quelques lments de logique qui suivent
sans hsitation.
Les implications
Considrons deux affirmations ou proprits A et B. Nous notons
A B,
et lisons A implique B, si laffirmation A entrane laffirmation B. Dans ce cas, si nous
voulons vrifier que laffirmation B est vraie, il suffit de vrifier que laffirmation A
est vraie (puisque ds que A est vraie, B lest aussi). On dit que A est une condition
suffisante pour B. Dautre part, pour que A soit vraie, il faut que B le soit (puisque
2.2. Un peu de logique de base
11
si A tait vraie, B le serait aussi). On dit que B est une condition ncessaire pour
A.
Deux affirmations A et B sont dites quivalentes si
A B et B A.
Dans ce cas, on dit que A est une condition ncessaire et suffisante pour B (et vice
versa). On note
A B,
o se lit est quivalent ou encore si et seulement si. Par exemple, lassertion

AB
(2.1)
B est fausse A est fausse .
(2.2)
est quivalente lassertion
Laffirmation (2.2) est appele la contrapose de laffirmation (2.1). On retiendra

le diagramme suivant
A est vraie B est vraie
m
B est fausse A est fausse.
Le raisonnement par labsurde
Pour vrifier lquivalence entre une affirmation et sa contrapose, on peut raisonner par labsurde ou par contradiction. Nous dcrivons prsent cette technique de dmonstration. Pour dmontrer lassertion A B, on suppose que B est
fausse. Ensuite, tout en utilisant que A est vrai, on dduit du fait que B est fausse
une contradiction, par exemple quune tierce affirmation C, dont on sait quelle est
fausse, est vraie.
Raisonnons par labsurde pour dmontrer lquivalence des assertions (2.1) et
(2.2). Montrons pour commencer que
(2.1) (2.2).
Supposons que (2.2) est fausse, cest--dire que B est fausse nimplique pas A est
fausse. Mais si A est vraie, alors lassertion (2.1) entrane que B est vraie ce qui est
contradictoire.
Pour montrer la rciproque (2.2) (2.1), supposons que (2.1) est fausse, cest-dire que A nentrane pas B. Mais si B est fausse, alors A est fausse, ce qui est de
nouveau contradictoire.
Exemples 1. 1. Il existe une infinit de nombres premiers1.
Raisonnons par labsurde. Supposons donc quil y a un nombre fini de nombres
premiers. crivons les dans une liste 2, 3, 5, 7, 11, 13, . . . , p. Considrons le nombre
N = (2 3 5 7 11 13 . . . p) + 1.
1
Un nombre premier est un nombre entier n 2 qui na dautres diviseurs que 1 et n. Les
nombres 2, 3, 5, 7 sont premiers. Le nombre 6 nest pas premier, il est divisible par 2 et 3.
12
Par construction, N nest pas dans la liste des nombres premiers. Si N est premier,
on a obtenu une contradiction et le raisonnement est termin. Si N nest pas premier,
alors N est un produit de nombres premiers2 plus petits que N. Mais aucun des
nombres premiers de la liste ne sont des diviseurs de N, car le reste est 1. Il existe
donc (au moins) un nombre premier qui nest pas dans la liste. Ceci conclut le
raisonnement par labsurde.
2. Il nexiste pas de nombre rationnel3 x tel que x2 = 2. Autrement dit, 2 nest pas
rationnel.
Dmontrons ceci par labsurde. Supposons quil existe deux entiers p et q tels que
2
p
= 2.
(2.3)
q
Nous pouvons supposer sans perte de gnralit que la fraction est irrductible (sinon
on simplifie les facteurs communs). Il sensuit que p2 = 2q 2 , ce qui nous apprend
que p2 est un nombre pair et par consquent p est un nombre pair galement. Cette
dernire affirmation dcoule du fait que si p = 2k + 1 est impair, alors p2 = 4k 2 +
4k + 1 est impair. Le nombre p tant pair, il scrit 2n o n est un entier. Mais dans
ce cas, p2 = 4n2 et on dduit de (2.3) que q 2 = 2n2 . Par le raisonnement prcdent,
on conclut que q est pair. Ceci contredit lirrductibilit de la fraction p/q.
Pour bien manier la technique de dmonstration par labsurde, il est indispensable de savoir nier correctement laffirmation dmontrer et en particulier lorsque
celle-ci est dcrite laide de quantificateurs et de conjonctions. Nions par exemple
laffirmation tous les tudiants trouvent que le cours de CDI est ennuyeux. Cela
donne il existe (au moins) un tudiant qui ne trouve pas le cours de CDI ennuyeux.
La ngation de pour tout donne il existe. Rciproquement, la ngation de il existe donne pour tout. Nions laffirmation il existe un tudiant qui aime le cours
de CDI. Cela donne aucun tudiant naime le cours de CDI ou encore tous les
tudiants naiment pas le cours de CDI. En termes de quantificateurs, nous retiendrons les exemples suivants qui sont extrmement importants.
(i) La ngation de
est
(x X) : x satisfait P
(x X) : x ne satisfait pas P.
(ii) La ngation de
est
ce qui scrit aussi
(x X) : x satisfait P
(x X) : x satisfait P,
(x X) : x ne satisfait pas P.
2
3
Voir la preuve par induction dans les Exemples 2.

Voir la definition 2.8.
2.2. Un peu de logique de base
13
(iii) Si P (x, y) est une proprit qui dpend de x et y, la ngation de

(x X)(y Y ) : x, y satisfont P (x, y)
est
ce qui donne
(x X)(y Y ) : x, y satisfont P (x, y),

(x X)(y Y ) : x, y ne satisfont pas P (x, y).
(iv) Si P (x, y) est une proprit qui dpend de x et y, la ngation de

(x X)(y Y ) : x, y satisfont P (x, y)
est
ce qui donne
(x X)(y Y ) : x, y satisfont P (x, y),

(x X)(y Y ) : x, y ne satisfont pas P (x, y).
Nier correctement les conjonctions et et ou est galement capital dans bien

des situations. Si P1 et P2 sont deux proprits, on retiendra que
(i) la ngation de
P1 est vraie et P2 est vraie
est
P1 est fausse ou P2 est fausse,
(ii) la ngation de
P1 est vraie ou P2 est vrai
est
P1 est fausse et P2 est fausse.
Le raisonnement par induction
La preuve par induction ou rcurrence consiste dmontrer une affirmation
A(n) qui dpend dun entier positif n en deux tapes. Dans la premire tape, on
montre que laffirmation A(0) est correcte. Dans la seconde tape on suppose que
laffirmation A(n) est vraie et on montre quelle entrane laffirmation A(n + 1). Ce
raisonnement peut sillustrer par limage suivante : imaginez que vous devez gravir
un escalier qui possde une infinit de marches. Si vous pouvez gravir la premire
marche et que partant dune marche donne vous pouvez gravir la suivante, alors
vous tes thoriquement capable de monter sur toutes les marches.
Schmatiquement, la preuve par induction se prsente comme suit
(i) prouver que A(0) est vraie : cest le pas initial ;
14
En construction...
Fig. 2.2 Induction
(ii) (a) supposer que A(n) est vraie : cest lhypothse dinduction ;
(b) prouver que A(n) A(n + 1) : cest le pas dinduction.
Dans certains cas, il est possible de dduire A(n+1) des affirmations A(n0 ), A(n0 +1),
. . ., A(n). Laffirmation A(n) est alors vraie pour tout n n0 si on peut vrifier
A(n0 ). Plus gnralement, la preuve par induction consiste
(i) prouver que A(n0 ) est vraie : cest le pas initial ;
(ii) (a) supposer que A(k) est vraie pour tout n0 k n : cest lhypothse
dinduction ;
(b) prouver que laffirmation A(n+1) se dduit des affirmations A(n0 ), A(n0 +
1), . . . , A(n) : cest le pas dinduction.
Exemples 2. 1. Montrons que pour n 1, on a n2 = 1 + 3 + 5 + . . . + (2n 1).
Le pas initial est montrer que le rsultat est vrai pour n0 = 1. Si n = 1,
lgalit est trivialement satisfaite. Vient ensuite lhypothse dinduction : n2 =
1 + 3 + 5 + . . . + (2n 1) pour un entier n donn. Le pas dinduction consiste
montrer que si
n2 = 1 + 3 + 5 + . . . + (2n 1)
(2.4)
pour un entier n donn, alors
(n + 1)2 = 1 + 3 + 5 + . . . + (2(n + 1) 1)
= 1 + 3 + 5 + . . . + (2n 1) + (2n + 1).
Comme lhypothse (2.4) est vraie (cest lhypothse dinduction), en ajoutant 2n+ 1
de chaque ct de lgalit, nous obtenons
n2 + 2n + 1 = 1 + 3 + 5 + . . . + (2n 1) + (2n + 1).
La conclusion suit maintenant de lidentit n2 + 2n + 1 = (n + 1)2 .
2. Montrons que pour tout n N, on a
n(n + 1)
= 1 + 2 + . . . + n.
2
Ceci peut se prouver dune faon directe. Notons x la somme 1 + 2 + . . . + n. En
regroupant les termes de faon judicieuse, on observe que
1
+
2
+ . . . + (n 1) + n
+
n
+ (n 1) + . . . +
2
+
1
=
(n + 1) + (n + 1) + . . . + (n + 1) + (n + 1)
= n(n + 1),
2x =
2.3. Les fonctions
15
et le rsultat est dmontr. Testons la technique dinduction. Pour n = 1, le rsultat

est vrai. Supposons que la formule est correcte pour un entier n donn, cest dire
que
n(n + 1)
.
1 + 2 +...+ n =
2
Ajoutons n + 1 au deux membres de cette galit. Nous obtenons
n(n + 1)
+ (n + 1)
2
n(n + 1) + 2(n + 1)
=
2
(n + 1)(n + 2)
,
=
2
1 + 2 + . . . + n + (n + 1) =
ce qui prouve que la formule est correcte pour n + 1.

3. Montrons que pour tout n 5, on a 2n > n2 . Commenons linduction avec
n0 = 5. On observe que
25 = 32 > 25 = 52 .
Lhypothse dinduction est 2n > n2 pour un entier donn n 5. Multiplions lingalit par 2. Il vient
2n+1 = 2 2n > 2n2 = n2 + n2 .
(2.5)
Comme n 5, on a
n2 = n n 5n = 2n + 3n > 2n + 1.
En remplaant dans le membre de droite de (2.5), on en dduit que
2n+1 > n2 + n2 > n2 + 2n + 1 = (n + 1)2 ,
ce qui complte le pas dinduction.
4. Tout nombre entier n 2 est un produit de nombres premiers. Linduction commence avec n = 2 qui est premier. Le pas initial est donc satisfait. Nous prenons
ici comme hypothse dinduction que laffirmation est correcte pour tout k n. Si n
est premier, alors laffirmation vaut aussi pour n. Si n nest pas premier, n possde
deux diviseurs n1 et n2 tels que n = n1 .n2 et n1 , n2 < n. Lhypothse dinduction
entrane que n1 et n2 sont des produits de nombres premiers. Il sensuit que n est
lui-mme produit de nombres premiers.
2.3
Les fonctions
Le concept de fonction est fondamental dans tous les domaines des mathmatiques et bien plus encore en analyse.
Dans cette section, les lettres capitales A, B, C, X, Y, Z reprsentent des ensembles.
16
Dfinitions 2.3. Une fonction f : A X Y, x 7 f (x) est une relation qui,

chaque lment x de A, associe un et un seul lment f (x) de Y ; f (x) est l image
de x, ou encore la valeur de f en x. Lensemble A est le domaine de f , not aussi
dom(f ) ; lensemble Y est le codomaine ; lensemble
im(f ) := {y Y | x A : y = f (x)}
est limage de f . Si B im(f ), les lments x A pour lesquels f (x) B sont les
primages de B et lensemble des primages
f 1 (B) := {x A | f (x) B},
est appel limage rciproque de lensemble B. Le graphe de la fonction f est le
sous-ensemble de X Y dfini par
G(f ) := {(x, y) X Y | x A et y = f (x)} = {(x, f (x)) X Y | x A}.
Si C A, nous utilisons la notation f (C) pour dsigner lensemble des images
des lments de C, cest--dire
f (C) = {f (x) | x C} = {y Y | x C : f (x) = y}.
Certaines fonctions qui sont utilises frquemment possdent un nom bien prcis
et une notation (plus ou moins) standard.
Dfinitions 2.4. La fonction idX : X X dfinie par f (x) = x pour tout x X
est appele lidentit sur X. Si X Y , la fonction iX,Y : X Y dfinie par
f (x) = x pour tout x X est appele linjection de X dans Y . Si X 6= et
A X, la fonction A : X {0, 1} dfinie par

1 si x A,
A (x) =
0 si x Ac ,
est appele la fonction caractristique de lensemble A.
Nous utiliserons aussi souvent les dfinitions suivantes.
Dfinitions 2.5. Soient une fonction f : X Y et un sous-ensemble A X. La
fonction f|A : A Y dfinie par dom(f|A ) = A et f|A (x) = f (x) pour tout x A
est appele la restriction de f lensemble A. Si X Z et g : Z Y est une
fonction telle que g|X (x) = f (x) pour tout x X, on dit que g est une extension
de f sur lensemble Z.
Rappelons la loi de composition des fonctions.
Dfinition 2.6. Soient g : A X B Y et f : B Y Z deux fonctions.
La fonction compose de f et g est la fonction f g : A X Z dfinie par
(f g)(x) = f (g(x)).
2.3. Les fonctions
17
B
Fig. 2.3 Compose de f et g.
On peut se reprsenter cette dfinition sur la base de la Figure 2.3. Si on considre

quappliquer g consiste suivre la flche g partir de A et appliquer f suivre la
flche f partir de B alors appliquer la compose f g revient suivre les flches
g puis f partir de A.
Rappelons aussi quune fonction f : A X Y est surjective sur B Y si
tout lment de B est limage par f dun lment de A, cest--dire
(y B)(x A) : f (x) = y.
Une fonction f : A X Y est injective si deux lments diffrents de A ont des

images diffrentes, i.e.
(x1 A)(x2 A | x2 6= x1 ) : f (x1 ) 6= f (x2 ).
En pratique, on vrifie la contrapose, cest--dire
f (x1 ) = f (x2 ) x1 = x2 .
Une fonction, qui est la fois injective et surjective est dite bijective. Nous avons
le rsultat4 suivant.
Proposition 2.7. Une fonction f : A X B Y est bijective si et seulement
si il existe une fonction g : B Y A X telle que
g f = idA et f g = idB .
(2.6)
Dmonstration. Prouvons en premier lieu la condition ncessaire. Supposons que f

est bijective. Par surjectivit de f , chaque lment y B possde une primage
x A. Comme dautre part, f est injective, cette primage x est dtermine de
faon unique par y. Ceci dfinit une fonction g : B A telle que f (g(y)) = y pour
tout y B et g(f (x)) = x pour tout x A.
Vrifions prsent la condition suffisante. Supposons lexistence de g : B A
satisfaisant (2.6). Comme f g = idB , il est clair que f est surjective sur B. En effet,
si y B, on vrifie que g(y) f 1 ({y}). Pour ce qui est de linjectivit, considrons
x1 , x2 A tels que f (x1 ) = f (x2 ). Puisque g f = idA , on a x1 = g(f (x1 )) =
g(f (x2)) = x2 , ce qui montre que f est injective.
4
Tout au long du cours, les affirmations qui ont de limportance seront nonces sous la forme
dun thorme, dune proposition, dun lemme ou dun corollaire. De coutume, un thorme est
un rsultat auquel on accorde beaucoup dimportance ; un lemme est un rsultat plutt technique
qui prcde en gnral un thorme ; un corollaire est le plus souvent un rsultat qui se dduit
directement dun thorme. Le mot proposition est passe-partout, il sert qualifier un rsultat que
lon veut mettre en avant mais auquel on ne dsire pas donner le statut de thorme.
18
En vertu de la proposition prcdente, une fonction bijective f est galement

dite inversible et la fonction g correspondante, note f 1 , est appele linverse de
f . Il conviendra de ne pas confondre la fonction f 1 et la fonction 1/f .
Proposition 2.8. Soient g : A X B Y et f : B Y C Z deux
fonctions bijectives. La fonction f g : A X C Z est inversible et son
inverse est
(f g)1 = g 1 f 1 .
Dmonstration. En vertu de la Proposition 2.7, il nous suffit de vrifier que
(g 1 f 1 ) (f g) = idA et (f g) (g 1 f 1 ) = idC .
Ces deux galits dcoulent immdiatement de lassociativit de la compose et des
dfinitions de f 1 et g 1 .
2.4
Relation dordre et champ ordonn
Ensembles ordonns
Une relation sur un ensemble X est un ordre si pour tout x, y, z X, on a
(i) x x (rflexivit),
(ii) x y et y z implique x z (transitivit),
(iii) x y et y x implique x = y (antisymtrie).
Un ensemble X muni dune relation dordre est dit ordonn. Lordre est total
si pour tout x, y X, on a x y ou y x. Les notations suivantes sont pratiques :
on note x y si et seulement si y x ; x < y si et seulement si x y et x 6= y ;
x > y si et seulement si y < x.
Exemples 3. Les ensembles N, Z, Q et R sont ordonns.
Dans un ensemble ordonn, on peut comparer les lments et donc essayer de
dterminer le plus petit et le plus grand lment dun ensemble.
Dfinitions 2.9. Soient (X, ) un ensemble ordonn et A X. Un lment s X
est un majorant de A si a s pour tout a A. Llment m X est un maximum de A, not max A si m A et m est un majorant de A. Un lment s X
est un minorant de A si s a pour tout a A. Llment m X est un minimum de A, not min A si m A et m est un minorant de A. Un ensemble A est
dit born suprieurement sil possde un majorant, il est dit born infrieurement sil possde un minorant et simplement born sil est born suprieurement
et infrieurement.
Si s est un majorant (resp. minorant) de A, on dit que s majore (resp. minore)
A. Remarquons que si le maximum et le minimum existent (ce qui nest pas ncessairement le cas), ils sont uniques. La dfinition suivante joue un rle essentiel en
analyse.
2.4. Relation dordre et champ ordonn
19
Dfinitions 2.10. Soient (X, ) un ensemble ordonn et A X un sous-ensemble

born. Si lensemble des majorants de A possde un minimum, celui-ci est appel le
supremum de A, not sup A. Si lensemble des minorants de A possde un maximum, celui-ci est appel linfimum de A, not inf A.
Autrement dit, le supremum et linfimum, sils existent, sont le plus petit des
majorants et le plus grand des minorants, cest--dire
sup A := min{s X | s majore A}
et
inf A := max{s X | s minore A}.
Ces notions stendent naturellement aux fonctions de la faon suivante. Si (X, )

et (Y, )5 sont des ensembles ordonns, on dit que la fonction f : X Y est borne
infrieurement, borne suprieurement ou borne si lensemble im(f ) Y
est respectivement born infrieurement, born suprieurement ou born. On dfinit
les notions de minimum, maximum, infimum et supremum de f en consquence.
Sur des espaces ordonns, il est utile de dfinir le concept de monotonie dune
fonction.
Dfinition 2.11. Soient (X, ), (Y, ) des ensembles ordonns. La fonction f :
X Y est croissante si chaque fois que x1 x2 , on a f (x1 ) f (x2 ) ; f est
dcroissante si chaque fois que x1 x2 , on a f (x1 ) f (x2 ) ; f est strictement
croissante (resp. strictement dcroissante) si chaque fois que x1 < x2 , on a
f (x1 ) < f (x2 ) (resp. f (x1 ) > f (x2 )). La fonction f est dite (strictement) monotone si elle est (strictement) croissante ou (strictement) dcroissante.
Champs ordonns
Un ensemble E dot de deux lois internes, + et , est un champ ou corps
commutatif si les proprites suivantes sont satisfaites :
1. E, + est un groupe commutatif dont llment neutre est not 0,
2. E \ {0}, est un groupe commutatif dont llment neutre est not 1,
3. la multiplication est distributive pour laddition, cest--dire
e1 (e2 + e3 ) = (e1 e2 ) + (e1 e3 ),
(e1 + e2 ) e3 = (e1 e3 ) + (e2 e3 ),
pour tout e1 , e2 , e3 E.
Rappelons que
1. E, + est un groupe commutatif si la loi + est

(i) interne et partout dfinie,
(ii) associative, cest--dire que si e1 , e2 , e3 E, on peut crire
e1 + (e2 + e3 ) = (e1 + e2 ) + e3 ,
5
Nous utilisons le mme symbole pour dsigner lordre sur Y mais il ne doit pas pour autant
tre dfini de la mme faon.
20
(iii) telle quil existe un lment neutre (not 0) satisfaisant e + 0 = 0 + e = e
pour tout e E,
(iv) telle que pour tout e E, il existe un inverse e E satisfaisant e +
(e) = (e) + e = 0,
(v) commutative, cest--dire que si e1 , e2 E, on peut crire
e1 + e2 = e2 + e1 .
2. E \ {0}, est un groupe commutatif si la loi est
(i) interne et partout dfinie,
(ii) associative, cest--dire que si e1 , e2 , e3 E \ {0}, on peut crire

e1 (e2 e3 ) = (e1 e2 ) e3 ,
(iii) telle quil existe un lment neutre (not 1) satisfaisant e 1 = 1 e = e
pour tout e E \ {0},
(iv) telle que pour tout e E \ {0}, il existe un inverse e1 E \ {0}

satisfaisant e e1 = e1 e = 1,
(v) commutative, cest--dire que si e1 , e2 E \ {0}, on peut crire
e1 e2 = e2 e1 .
Si en plus des lois daddition et de multiplication, lensemble E est muni dun

ordre , on dit que cet ordre est compatible si
(a) e1 e2 implique e1 + e3 e2 + e3 pour tout e3 E,
(b) e1 , e2 0 implique e1 e2 0.
Un champ ordonn est un champ muni dun ordre total compatible avec laddition
et la multiplication.
Exemples 4. Les ensembles N et Z sont ordonns mais ce ne sont pas des champs.
Les ensembles Q et R sont des champs, lensemble R tant lexemple de champ le
plus important dans ce cours.
Dans un champ ordonn, on peut dfinir les fonctions valeur absolue, || : E
E, et sign, sign : E {1, 0, 1} E, par
e, si e > 0,
1, si e > 0,
|e| := 0, si e = 0,
sign(e) := 0, si e = 0,
e, si e < 0,
1, si e < 0.
Il convient de bien retenir les proprits de ces fonctions. Nous omettons systmatiquement de noter le de la loi multiplicative.
Proposition 2.12. Soient (E, ) un champ ordonn et x, y, a, 6 E, o > 0.

Nous avons les proprits
6
Ce symbole est une lettre grecque qui se lit epsilon.
2.4. Relation dordre et champ ordonn
21
(i) x = |x|sign(x) et |x| = xsign(x),
(ii) |x| = | x| et x |x|,
(iii) |xy| = |x||y|,
(iv) |x| 0 et |x| = 0 si et seulement si x = 0,
(v) |x a| < si et seulement si a < x < a + ,
(vi) |x + y| |x| + |y|,

(vii) |x y| |x| |y|.
Dmonstration. Les cinq premires proprits dcoulent directement des dfinitions

et des axiomes de compatibilit de lordre avec laddition et la multiplication. Vrifions les deux dernires. Pour dmontrer (vi), supposons dans un premier temps que
x + y 0. On dduit alors de la proprit (ii) que
|x + y| = x + y |x| + |y|.
Si x + y < 0, alors
|x + y| = | (x + y)| = |(x) + (y)| | x| + | y| = |x| + |y|,
ce qui achve la preuve de cette proprit.
Dmontrons finalement la proprit (vii). Pour ce faire, appliquons la proprit
(vi) la somme (x y) + y, ce qui donne
|x| = |(x y) + y| |x y| + |y|
ou encore
|x y| |x| |y|.
En changeant le rle de x et y dans cette ingalit, on obtient

|x y| = |y x| |y| |x| = (|x| |y|).
Lingalit (vi) porte le nom dingalit triangulaire. Nous lutiliserons abondamment dans les prochains chapitres. En raisonnant par induction, on dmontre
lingalit gnralise

n
n
X X

|xi |,
xi

i=1
i=1
o nous avons utilis les notations condenses

n
X
xi = x1 + x2 + . . . + xn
i=1
et
n
X
i=1
|xi | = |x1 | + . . . + |xn |.
22
2.5
Les naturels, les entiers et les rationnels
Lensemble des nombres naturels7 (ou entiers positifs) est lensemble

N := {0, 1, 2, . . .}.
(2.7)
Il existe une addition +, une multiplication et un ordre sur N. Nous supposons

connues toutes les rgles classiques de larithmtique des nombres entiers (ce sont
celles que vous connaissez depuis lcole primaire).
Les lments de N ne possdent pas dinverse pour laddition et donc N, + nest
pas un groupe. Ceci nous conduit considrer une premire extension de N : lensemble des entiers8
Z := {. . . , 2, 1, 0, 1, 2, . . .}.
Lensemble Z, + est un groupe commutatif. Cependant, dans Z, nous ne pouvons
rsoudre lquation 2x = 1, cest--dire que 2 na pas dinverse pour la multiplication.
Il sensuit que Z \ {0}, nest pas un groupe. Ce nouveau dfaut nous conduit
considrer un ensemble encore plus grand : lensemble des rationnels9
p
Q := { | p, q Z et q 6= 0}.
q
(2.8)
Puisque Q est une extension de N, les oprations + et stendent sur Q. Rappelons

que
p m
pn + qm
p m
pm
+
=
et
=
.
q
n
qn
q n
qn
Nous avons corrig les dfauts de N et Z pour que Q, +, soit un champ. Cest un
champ ordonn. Lordre est dfini par extension de lordre sur N :
p
m
si et seulement si mq pn N.
q
n
Nous avons vu dans lExemple 1 que lquation x2 = 2 ne possde pas de solution
dans Q. Cette quation peut se rsoudre dans R que nous dcrivons dans le Chapitre
3.
Terminons cette section par quelques notations courantes que nous utiliserons
dans ce texte :
N0
Z0
Z
Z
0
:=N \ {0},
:=Z \ {0},
:={z Z | z 0},
:={z Z | z < 0}.
Voir [1, section I.5] ou [7, Chapitre 2] pour une approche constructive de N.
Z est le plus petit anneau commutatif contenant N, voir par exemple [1, section I.9].
9
Q est le plus petit champ contenant Z, voir par exemple [1, section I.9].
2.6. Ensembles dnombrables
2.6
23
Ensembles dnombrables
Dans ce paragraphe, nous discutons brivement la notion de dnombrement. Une

premire approche nave consiste dire quun ensemble est dnombrable si on peut
compter ses lments.
Dfinitions 2.13. Un ensemble X est
(i) fini sil existe un entier positif m et une fonction bijective f : X {1, . . . , m},
(ii) infini sil nest pas fini,
(iii) dnombrable sil existe une fonction bijective f : X N,

(iv) au plus dnombrable sil est fini ou dnombrable.
Cette dfinition traduit lide que les lments dun ensemble au plus dnombrable peuvent tre numrots (ou rangs) dans une liste (peut-tre infinie). Un
ensemble non dnombrable est un ensemble pour lequel il nest pas possible de
construire une bijection avec N, cest--dire quil est impossible de numroter les
lments.
Il est facile de montrer que deux ensembles finis sont en bijection si et seulement
si ils ont le mme nombre dlments. Lide nave est de penser quun ensemble
infini est dnombrable sil a le mme nombre dlments que N. Cette ide est trop
simpliste car lensemble des nombres pairs est dnombrable et il y a clairement plus
dentiers positifs que de nombres pairs. De mme Z est dnombrable. Lide est
plutt quil y a la mme infinit (ou une infinit comparable) dlments.
Exemples 5. 1. Lensemble N est infini. Supposons le contraire, cest--dire quil
existe une bijection f : N {1, . . . , m}. Considrons les nombres 0, 1, . . . , m.
Puisque f est injective, les nombres f (0), f (1), . . . , f (m) sont tous diffrents, ce
qui est impossible puisque im(f ) = {1, . . . , m} ne contient que m lments.
2. Lensemble 2N := {0, 2, 4, . . .} des nombres pairs est dnombrable. En effet, lapplication f : N 2N : n 7 2n est une bijection.
3. Lensemble Z est dnombrable car lapplication f : Z N dfinie par

2z
si z 0,
f (z) =
2z 1 si z < 0,
est une bijection.
Dfinition 2.14. Deux ensembles X et Y sont dits quipotents lorsquil existe une
bijection f : X Y .
Il est clair que si X est dnombrable et Y est quipotent X, alors Y est
dnombrable. Il suffit dinvoquer le fait que la compose de deux bijections est une
bijection.
Proposition 2.15. Soient X et Y deux ensembles au plus dnombrables. On a les
proprits suivantes :
(i) si A X, A est au plus dnombrable,
(ii) X Y est au plus dnombrable,
24
(iii) X Y est au plus dnombrable.
Dmonstration. (i) Si A est fini (cest le cas si X est fini), il ny a rien dmontrer.
Supposons donc que A est infini (cela entrane que X est infini). Supposons dans
un premier temps que X = N. Comme N est ordonn, les lments de A peuvent
tre numrots par ordre croissant, cest--dire que lon peut dfinir rcursivement
f : A N par f (a0 ) = 0, o a0 = min A et pour m 1, f (am ) = m, o am =
min{a A | a > am1 }. Par construction, f est une bijection.
Considrons prsent le cas gnral. Comme X est dnombrable, il existe une
bijection g : X N. Il est clair que g|A : A g(A) est une bijection. Comme
g(A) N, il suit du cas X = N que g(A) = g|A (A) est dnombrable. Pour conclure,
on observe que A et g(A) sont quipotents.
(ii) Si X et Y sont finis, X Y est fini. Si X est fini et Y est infini, il existe deux
bijections f : X {1, . . . , m} et g : Y N. On vrifie facilement que la fonction
h : X Y N dfinie par

f (x) 1 si x X,
h(x) =
g(x) + m si x Y,
est une bijection.
Si X et Y sont dnombrables, il existe deux applications bijectives f : X N
et g : Y N. Dfinissons h : X Y N par

2f (x) si x X,
h(x) =
2g(x) + 1 si x Y.
Lapplication h est bijective.
(iii) Si X et Y sont dnombrables, il existe deux applications bijectives f : N X
et g : N Y . Dfinissons h : X Y N par
h(f (0), g(0)) = 0
h(f (0), g(2)) = 3
h(f (3), g(0)) = 6
h(f (0), g(3)) = 9
h(f (1), g(0)) = 1

h(f (1), g(1)) = 4
h(f (2), g(1)) = 7
h(f (0), g(4)) = 10
h(f (0), g(1)) = 2

h(f (2), g(0)) = 5
h(f (1), g(2)) = 8
...........................
Cela revient lister les lments de X Y dans un tableau deux entres, en

ordonnant les lments de X et de Y par les numros attribus par les bijections f
et g puis en numrotant les entres en suivant les flches :
h(f (0), g(1)) h(f (0), g(2))
h(f (0), g(0))
h(f (1), g(0)) h(f (1), g(1)) h(f (1), g(2))
h(f (2), g(0)) h(f (2), g(1)) h(f (2), g(2))
..
h(f (3), g(0)) h(f (3), g(1))
.
..
.
h(f (4), g(0))
..
.
h(f (0), g(3)) h(f (0), g(4))

..
.
h(f (1), g(3))
..
2.6. Ensembles dnombrables
25
Par construction, lapplication h est bijective.

Si X est fini et Y est dnombrable, on argumente de la mme faon. Schmatiquement, on obtient un classement dans un tableau deux entres contenant un
nombre infini de colonnes et un nombre fini de lignes.
Si X et Y sont finis, alors X Y est fini.
Par induction, les proprits (ii) et (iii) sont vraies pour une union finie ou un
produit fini densembles dnombrables. La proprit (ii) est encore vraie pour une
union dnombrable.
Proposition 2.16. Une union dnombrable densembles au plus dnombrables est
un ensemble au plus dnombrable.
Dmonstration. On peut par exemple argumenter en utilisant les proprits (i) et
(iii) de la Proposition 2.15. Soit I un ensemble dnombrable dindices. Notons X =
iI Xi , o {Xi : i I} est une famille densembles dnombrables. Supposons dans
un premier temps que les ensembles Xi sont disjoints 2 2. Dans ce cas, x X
sil existe (un unique) i I tel que x Xi . Dfinissons alors g : X I N par
g(x) = (i, fi (x)), o fi : Xi im(fi ) N est une bijection. Par construction,
lapplication g est une bijection entre X et un sous-ensemble (dnombrable par (i)
et (ii)) de I N.
Montrons prsent que nous pouvions, sans perte de gnralit, supposer les
ensembles disjoints. En effet, I tant dnombrable, on peut numroter les lments
de I = (i(0), i(1), i(2), . . .), o i : N I est une bijection. On dfinit alors rcursi 0 = Xi(0) et X
n = Xi(n) \ (X
0 . . . X
n1 ) pour n 1. Les ensembles X
n
vement X
sont 2 2 disjoints et au plus dnombrables par la proprit (i) de la Proposition
n.
2.15. On peut donc se ramener au cas prcdent puisque X = nN X
La proprit (iii) ne stend pas au produit dnombrable mme sil sagit dun
produit densembles finis.
Exemples 6. Lensemble {0, 1}N = {0, 1} {0, 1} . . . nest pas dnombrable. Un
lment de {0, 1}N est une squence infinie x de 0 ou 1, cest--dire x = (x0 , x1 , x2 , . . .),
o chaque xi vaut 0 ou 1. Supposons par labsurde que cet ensemble est dnombrable.
Dans ce cas, il existe une bijection f : N {0, 1}N . Regardons la liste des lments
f (0) = (f (0)0 , f (0)1 , . . .), f (1) = (f (1)0, f (1)1 , . . .), f (2) = (f (2)0 , f (2)1, . . .), . . . et
construisons llment x {0, 1}N de la faon suivante :

0 si f (i)i = 1,
xi =
1 si f (i)i = 0.
Puisque xi 6= f (i)i pour tout i N, on a construit un lment de {0, 1}N qui nest
pas dans limage de N par f . Ceci contredit la surjectivit de f et donc {0, 1}N nest
pas dnombrable.
Il suit de la Proposition 2.15 que lensemble Z Z est dnombrable. Nous allons
utiliser ce fait pour dmontrer que Q est dnombrable.
Proposition 2.17. Lensemble Q est dnombrable.
26
Dmonstration. Lensemble Q est lensemble des fractions et nous pouvons supposer

que les fractions ont t rduites. Do
p
Q = { | p, q Z, p et q nont pas de facteurs communs et q 6= 0}.
q
Soit f : Q Z Z0 : pq (p, q). Il est vident que f est injective. Il existe donc
une bijection entre Q et im(f ) Z Z0 , cest--dire que Q est quipotent un
sous-ensemble de Z Z qui est dnombrable. La conclusion se dduit prsent de
la Proposition 2.15 et du fait que N Q entrane que Q nest pas fini.
2.7
Notations
Outre les notations

PdjQintroduites dans les paragraphes prcdents, nous utiliserons les symboles
et
pour la somme et le produit de plusieurs termes. En
particulier, on utilisera
m
X
an := a0 + a1 + . . . + am1 + am ,
n=0
pour une somme sur les indices de 0 m et

X
ai ,
iI
pour indiquer que la somme est prise sur lensemble des indices dans I. On utilisera
pour les produits de plusieurs termes les notations analogues :
m
Y
n=0
an := a0 a1 . . . am1 am ,
pour un produit sur les indices de 0 m et

Y
ai ,
iI
pour indiquer que le produit est pris sur lensemble des indices dans I.
Chapitre 3
Les nombres rels et les nombres
complexes
Motivation
Les nombres entiers positifs sont appropris pour compter les objets ou le nombre
dlments dun ensemble. Les nombres rels apparaissent dans la mesure des longueurs. Les rationnels, encore appels les fractions, suffisent pour situer convenablement un point sur une droite ou partager un segment en plusieurs morceaux. Le
rapport de la longueur
de la diagonale dun carr celle de son ct ncessite dintroduire le nombre 2 qui nest pas une fraction. Le nombre est ncessaire pour
calculer le rapport entre le primtre dun cerle et son diamtre. Les mathmaticiens
sont donc confronts un ensemble de nombres imposs par la nature. La plupart des
traits danalyse dbutent par une discussion rigoureuse sur le concept de nombres.
Nous supposerons que le lecteur est familier avec les nombres naturels1 , les nombres
entiers, les nombres rationnels ainsi quavec leurs proprits lies aux oprations
daddition et de multiplication. Nous nous attardons par contre sur les nombres
rels et leurs proprits car lanalyse mathmatique se base sur une dfinition rigoureuse de cet ensemble. Nous adoptons une approche axiomatique, cest--dire que
nous donnons une liste de proprits que nous supposons tre vraies et nous btissons
le cours sur ces bases prcises. Il est possible de suivre une dmarche constructive
de lensemble des rels, cest--dire den donner une construction comme extension
de lensemble des rationnels. Le lecteur intress par cette approche pourra consulter la construction de Dedekind prsente par exemple dans Amann et Escher [1,
section I.10] ou la construction par compltion prsente dans Tao [7, Chapitre 5].
Ces deux ouvrages contiennent galement une description dtaille (et constructive)
des ensembles N, Z et Q.
Lquation x2 = 1 na pas de solution dans le champ des rels (et dans aucun
autre champ ordonn). Une nouvelle extension permet dobtenir un champ, le champ
des complexes C, dans lequel toute quation du second degr a au moins une solution. Contrairement lextension de Q vers R qui demande une construction assez
dlicate, lextension de R C est relativement simple. Nous adoptons nouveau
une approche descriptive et nous ninsistons pas sur le fait que C est la bonne
1
Voir les quelques rappels dans le Chapitre 2.
27
28
Chapitre 3 - Les nombres rels et les nombres complexes
extension. Nous renvoyons le lecteur Amann et Escher [1, section I.11] pour de
plus amples dtails.
3.1
Compltude pour lordre
Lensemble R, +, est un champ ordonn. Rappelons que cela signifie que R, +

est un groupe commutatif (dont llment neutre est not 0), R \ {0}, est un groupe
commutatif (dont llment neutre est not 1), que la multiplication est distributive
pour laddition et quil existe une relation dordre total sur R. Toutes ces notions
sont rappeles dans le Chapitre 2.
Nous avons vu au Chapitre 2 que 2 nest pas un rationnel. Par consquent

lensemble
Q = {x Q : x > 0 et x2 < 2}
ne possde pas de supremum. En effet, si s est le supremum
de Q, on doit avoir
s2 < 2 ou bien s2 > 2 (le cas s2 = 2 est exclut puisque 2 6 Q). Dans le premier
cas, on observe que
2s
1
1
s2 +
+ 2 = (s + )2 < 2
k
k
k
si k N est choisi assez grand. Ceci contredit le fait que s est un majorant de Q. Si
s2 > 2, on observe que
2s
1
1
s2
+ 2 = (s )2 > 2
k
k
k
si k N est choisi assez grand. Cela contredit cette fois le fait que s est le plus petit
des majorants.
Dans lensemble des nombres rels, un tel accident ne se produit pas : toute
partie non vide borne suprieurement possde un supremum. Cest laxiome de
compltude2 .
Dfinition 3.1. Un ensemble X totalement ordonn est complet pour lordre si
tout sous-ensemble de X non vide et born suprieurement admet un supremum.
Remarquons quil est quivalent de formuler laxiome comme suit : tout ensemble
non vide born infrieurement possde un infimum, ou encore tout ensemble born
possde un infimum et un supremum. Daprs lexemple prcdent, Q nest pas
complet. Lensemble R des nombres rels est une extension de Q qui satisfait laxiome
de compltude : R est un champ ordonn complet3 . Nous utiliserons souvent la
caractrisation suivante du supremum dune partie de R.
Proposition 3.2. Si A R, x R est le supremum de A si et seulement si
(i) x majore A ;
(ii) pour tout > 0, il existe a A tel que a > x .

On peut construire une extension de Q par exemple par lapproche dite des coupures de
Dedekind et dmontrer que lensemble obtenu, not R, satisfait laxiome de compltude. Voir
Amann et Escher [1, section I.10].
3
Cest le seul champ ordonn complet ( isomorphisme prs) qui contient Q.
2
3.1. Compltude pour lordre
29
Dmonstration. Commenons par la condition ncessaire. Supposons que x = sup A.

La condition (i) est satisfaite par dfinition du supremum. Pour prouver (ii), supposons par labsurde que (ii) na pas lieu. Alors il existe > 0 tel que pour tout a A,
a x . Donc, x est un majorant de A, ce qui contredit le fait que x est le
plus petit des majorants de A.
Passons la condition suffisante. Supposons que x satsifait (i) et (ii). Argumentons de nouveau par contradiction et supposons que x nest pas le plus petit
des majorants, cest--dire quil existe un majorant y de A tel que y < x. Notons
= x y. Par (ii), il existe a A tel que a > x = x (x y) = y. Ceci contredit
le fait que y est un majorant.
Il est clair que linfimum dun ensemble A R satisfait une caractrisation
analogue : x R est linfimum de A si et seulement si
(i) x minore A ;
(ii) pour tout > 0, il existe a A tel que a < x + .

Nous avons motiv notre intrt pour lensemble R par le fait quil nest pas
possible de rsoudre lquation x2 = 2 dans Q. Il est quivalent de dire que nous
ne pouvons pas dfinir dans Q la racine carre de nimporte quel nombre rationnel
positif. Dans R, nous pouvons non seulement dfinir la racine carre de tout nombre
rel, mais bien plus.
Dfinition 3.3. Soient n 1 et x R tel que x > 0. La racine nime de x est le
nombre
x1/n := sup{y R | y 0 et y n x}.
Nous ne dmontrons pas ici lexistence de la racine nime . Cette preuve4 consiste
dmontrer que lensemble {y R | y 0 et y n x} est non vide et major.
Si q Q, on dfinit lexponentielle rationnelle par
xq = (x1/n )m ,
o q = m/n est sous forme irrductible. Les rgles usuelles des exposants entiers
stendent aux exposants rationnels :
(xp )q = xpq et xp xq = xp+q ,
o x > 0 et p, q Q.
Lextension R
Il est commode dadjoindre R deux lments, nots et +, tels que pour
tout x R,
< x < +.
(3.1)
Lensemble R {} se note R. Avec la convention (3.1), (R, ) est totalement

ordonn.
Lintrt premier dintroduire rside dans lextension de la proprit de
compltude toute partie de R, borne ou non.
4
Voir Amann et Escher [1, Proposition 10.9] ou Tao [7, Lemma 5.6.5.].
30
Proposition 3.4. Tout ensemble A R possde un supremum et un infimum dans

R.
Dmonstration. Si A R est non vide et born, la conclusion dcoule de laxiome
de compltude.
Si A R nest pas born suprieurement ou contient +, alors + est le seul
majorant et donc sup A = +.
Si A R est vide ou gal {}, alors tout lment de R majore A. Le plus
petit lment de R est et donc sup A = .
On raisonne de mme pour montrer lexistence dun infimum. En particulier, si
A nest pas borne infrieurement, inf A = tandis que inf = +.
Il convient de faire trs attention avec les rgles de larithmtique dans R. Nous
insistons sur le fait que ne sont pas des nombres rels. Les oprations + et
stendent partiellement R de la faon suivante :
(i) si x R, alors
x + = + pour tout x > ,
x = pour tout x < +,
(ii) la multiplication par donne
x (+) =
+ pour tout x > 0,

pour tout x < 0,
x () =
pour tout x > 0,

+ pour tout x < 0,
et
(iii) pour tout x R,
x
x
x
=
= 0 et
=
+
+ si x > 0,
si x < 0.
Nous supposons aussi que les oprations + et sont commutatives. Il suit de ces
dfinitions que
+ = +, = , = +,
() = () = , () () = +,
mais par contre les expressions
,
0 (),
0
,
0
ne sont pas dfinies. En particulier, R nest pas un champ.
3.2
Quelques notations et proprits de R
Nous prsentons dans cette section des notations courantes et des proprits
importantes de lensemble R.
3.2. Quelques notations et proprits de R
31
Intervalles
Un intervalle est un sous-ensemble I de R qui satisfait la proprit suivante :
si x, y I et x < z < y, alors z I. Lensemble des rels tout entier satisfait cette
proprit. On utilise souvent la notation ] , +[ pour le dsigner. Lensemble
R0 := R \ {0} nest pas un intervalle.
Plus gnralement, on note pour a < b +,
]a, b[ := {x R | a < x < b},
et pour < a < b < +,
[a, b] := {x R | a x b}.
Dans le premier cas, on dit que lintervalle est ouvert, dans le second on dit quil
est ferm. On dfinit galement les notations
]a, b] := {x R | a < x b}
pour a < b < +, et
[a, b[ := {x R | a x < b}
pour < a < b +. On dit dans ces deux derniers cas que lintervalle est semiouvert (ou semi-ferm) respectivement gauche et droite (ou respectivement
droite et gauche).
Lintervalle I est dit born si ces deux extrmits sont des nombres rels. Il est
dit non born dans le cas contraire.
Les ensembles R+ := [0, +[ et R+
0 :=]0, +[ sont des intervalles non borns
respectivement semi-ouvert et ouvert.
Proprit dArchimde
Notre premire proposition affirme que N nest pas major dans R.
Proposition 3.5. Pour tout rel x R, il existe n N tel que n > x.
Dmonstration. Supposons par labsurde quil existe un rel x qui majore N, cest-dire n x pour tout n N. Dans ce cas, tant donn que R satisfait laxiome
de compltude, N possde un supremum dans R. Notons le x0 . Considrons n N.
Comme n + 1 N et x0 majore N, on a n + 1 x0 ou encore n x0 1. Ce
raisonnement ne dpend pas du choix de n donc x0 1 est encore un majorant de
N, ce qui contredit le fait que x0 est le plus petit des majorants.
Corollaire 3.6. Pour tout x R+
0 , il existe n N0 tel que
1
n
< x.
Dmonstration. Cest une rcriture de la Proprit dArchimde. Supposons quil

1
1
existe x R+
0 tel que pour tout n N0 , n x. Alors n x pour tout n N et
1
donc x est un majorant de N, ce qui est impossible.
Nous utiliserons ce corollaire de la faon suivante : si x R est tel que 0 x
pour tout n N0 , alors x = 0.
1
n
32
x x
Fig. 3.1 Illustrations du plancher et du plafond dun nombre rel positif.
Densit de Q et de R \ Q
Soit X R. On dit que X est dense dans R si tout intervalle ouvert contient
un lment de X, cest--dire pour tout a, b R tels que a < b, il existe x X tel
que a < x < b.
Nous utilisons le lemme suivant pour dmontrer la densit des rationnels.
Lemme 3.7. Si x R+ , il existe m N tel que m = max{n N | n x}.
Dmonstration. Par la Proprit dArchimde, il existe n N tel que n > x. On en
dduit que m = max{k {0, 1, . . . , n 1} | k x}.
Ce lemme montre lexistence de la partie entire des nombres rels positifs.
On peut tendre cette dfinition R tout entier en dmontrant lexistence du plus
grand nombre entier infrieur x. On note souvent la partie entire de x par x
quon appelle aussi le plancher de x. On peut dfinir de mme le plafond de x, not
x comme tant le plus petit nombre entier suprieur x.
Proposition 3.8. Lensemble Q est dense dans R.
Dmonstration. Soient a, b R tels que a < b. Montrons quil existe q Q tel que
a < q < b.
Par le corollaire de la Proprit dArchimde, il existe n N0 tel que
1
ba
<
.
n
2
Soit m =
n(a+b)
2
(3.2)
. Par dfinition du plancher, on a

m
ou encore
n(a + b)
<m+1
2
m
a+b
m+1
<
.
n
2
n
On dduit prsent des ingalits (3.2) et (3.3) que

a<
Le nombre rationnel q =
m+1
a+b ba
a+b
<
<
+
= b.
2
n
2
2
m+1
n
a la proprit recherche.
(3.3)
3.3. Les nombres complexes
33
En construction...
Fig. 3.2 Densit des rationnels
En itrant la construction prcdente, on dmontre quil existe une infinit de
nombres rationnels entre deux nombres rels quelconques. Il suit galement de la
densit de Q dans R que tout nombre rel peut-tre approxim daussi prs que lon
dsire par un nombre rationnel, cest--dire que pour tout rel x, pour tout > 0,
il existe q Q tel que q < x < q + .
Lensemble des nombres rels qui ne sont pas rationnels sont appels les nombres
irrationnels. Cet ensemble est aussi dense dans R.
Proposition 3.9. Lensemble R \ Q est dense dans R.
Dmonstration. Soient a, b R tels que a < b. Montrons quil existe R \ Q tel
que a < < b.
Par densit de Q dans R, il existe p, q Q tels que a < p < b et p < q < b.
Posons
qp
= p + > p.
2
On observe que
21
q = (p q)( ) < 0
2
et que 6 Q. En effet, si Q, alors
2=
qp
Q,
p
ce qui est absurde.
3.3
Les nombres complexes
Notre point de dpart pour dfinir lensemble des complexes est lhypothse de
lexistence dun nouvel lment, que nous notons i, tel que i2 = 1. Bien entendu,
i 6 R. partir de cette hypothse, nous dfinissons C par R + iR, cest--dire
C := {x + iy | x, y R}.
Tout complexe z scrit donc x + iy et cette reprsentation est unique. En effet, si z
peut scrire de deux faons diffrentes z = x + iy et z = u + iv avec x 6= u et y 6= v,
alors on observe que i = xu
R ce qui est impossible. Puisque la reprsentation
vy
z = x + iy est unique, on peut dfinir la partie relle de z par Re z := x et la
partie imaginaire de z par Im z := y.
34
Les oprations + et stendent simplement en utilisant la rgle i2 = 1 :

(x + iy) + (u + iv) = x + u + i(y + v)
(x + iy) (u + iv) = xu + ixv + iyu + i2 yv = xu yv + i(xv + yu).
En particulier, on observe que (x + iy)(x iy) = x2 + y 2 R+ . Cette observation
permet de calculer linverse du nombre z si Re z 6= 0 et Im z 6= 0,
1
1
x iy
x
y
=
=
= 2
+i 2
2
z
x + iy
(x + iy)(x iy)
x +y
x + y2
(3.4)
Dfinitions 3.10. Le conjugu complexe de z = x + iy est le

nombrepcomplexe
z = xiy. Le module de z = x+iy est le nombre rel positif |z| := zz = x2 + y 2.
Comme chaque nombre complexe z possde une reprsentation unique a + bi, on
peut reprsenter graphiquement C dans le plan (voir Fig. 3.3) en reprant la partie
relle de z sur laxe horizontal et la partie imaginaire de z sur laxe vertical.
Fig. 3.3 Plan complexe souvent appel plan de Gauss

Les proprits suivantes se dduisent de calculs lmentaires et sinterprtent
gomtriquement : pour tout z, w C, on a
zz
z+z
et Im z =
;
(i) Re z =
2
2i
(ii) z R si et seulement si z = z ;
(iii) z = z ;
(iv) z + w = z + w et zw = z w.
On sapperoit aussi que le module de z est la longueur euclidienne du vecteur
(x, y) et possde des proprits semblables la valeur absolue. De plus, si Im z = 0,
on a |z|C = |z|R , ce qui justifie dutiliser la mme notation pour le module et la
valeur absolue.
Proposition 3.11. Soient z, w C. Alors
(i) |zw| = |z||w| ;
(ii) |Re z| |z|, |Im z| |z| et |z| = |z| ;
(iii) |z| = 0 si et seulement si z = 0 ;
3.3. Les nombres complexes
35
(iv) |z + w| |z| + |w| (ingalit triangulaire) ;

(v) |z w| |z| |w| ;
(vi) si z 6= 0, z 1 =
z
.
|z|2

Dmonstration. (i) Calculons |zw| = zwzw = zzww = p
zz ww = |z||w|.
x2 + y 2 = |z| et de
(ii) Soit z = x + iy. On observe que |Re z| = |x|
mmepour lemodule de la partie imaginaire. Enfin, lidentit z = z implique que
|z| = zz = z z = |z|.
La proprit (iii) se dduit directement de la proprit quivalente pour la valeur
absolue compte tenu du fait que |z| = 0 si et seulement si |Re z| = |Im z| = 0.
(iv) Calculons
|z + w|2 =(z + w)(z + w) = (z + w)(z + w)
=zz + zw + wz + ww = |z|2 + zw + zw + |w|2
=|z|2 + 2Re zw + |w|2.
La proprit (ii) et les galits prcdentes entranent prsent que
|z + w|2 |z|2 + 2|zw| + |w|2 = |z|2 + 2|zw| + |w|2 = (|z| + |w|)2,
ce qui conclut la preuve de cette affirmation.
Lingalit (v) se dduit de lingalit triangulaire comme dans la preuve de la
Proposition 2.12.
La proprit (vi) est une rcriture de (3.4).
Nous terminons cette section en dfinissant les coordonnes polaires dans le plan,
qui mnent la reprsentation sous forme trigonomtrique des nombres
comp
plexes dans le plan de Gauss. Si (x, y) R R, nous notons r = x2 + y 2 et
langle, compt positivement, entre laxe horizontal y = 0 et le vecteur (x, y). Le
couple (r, ) donne les coordonnes polaires du point (x, y). Il est courant de
noter les coordonnes polaires dun nombre complexe par (|z|, arg z) o arg z est
appel largument de z (voir Fig. 3.3).
On calcule aisment que x = r cos et y = r sin . Tout nombre complexe z peut
alors scrire
z = r cos + ir sin = r(cos + i sin ).
On observe quavec cette criture, le produit de deux nombres complexes z1 , z2 se
rduit multiplier les modules et additionner les angles :
z1 z2 = r1 (cos 1 + i sin 1 )r2 (cos 2 + i sin 2 )
= r1 r2 (cos 1 cos 2 sin 1 sin 2 + i(cos 1 sin 2 + sin 1 cos 2 ))
= r1 r2 (cos(1 + 2 ) + i sin(1 + 2 )).
En particulier, on obtient la formule suivante pour les puissances :
z n = |z|n (cos n + i sin n),
36
valable galement pour la racine nime . Comme est dtermin 2 prs, on dduit
de cette formule quun nombre complexe possde n racines nimes :
zk = |z|1/n (cos
o k = 0, 1, . . . , n 1.
+ 2k
+ 2k
+ i sin
),
n
n
Chapitre 4
Suites et sries
Motivation
Dans ce chapitre, nous rentrons dans le vif du sujet. Nous abordons la notion de
convergence (ou limite) qui est au coeur de lanalyse mathmatique. En particulier,
les concepts fondamentaux de continuit, de drive et dintgrale se basent sur la
notion de limite.
Nous tudions la convergence des suites et des sries. Nous dfinissons dans
un premier temps une notion gnrale de convergence des suites dans les espaces
mtriques puis nous particularisons aux suites de nombres rels ou complexes que
nous tudions plus en profondeur. Nous analysons les rgles de calcul des limites, des
critres de convergence et le Thorme fondamental de Bolzano-Weierstrass (dans
R).
Nous tudions ensuite les sries de nombres rels ou complexes. La notion la plus
importante concernant les sries est celle de convergence absolue. Nous analysons
tout dabord les proprits de base et les critres de convergence. Ensuite nous
tudions en dtail le cas particulier des sries de puissances qui sont trs importantes
en pratique. Nous faisons finalement un retour aux proprits de lensemble des
nombres rels en montrant, laide des dveloppements dcimaux, que R est non
dnombrable.
4.1
Suites
Une suite est une squence infinie dlments (ou dobjets), cest--dire une famille dlments (ou dobjets) indexe par N.
Dfinition 4.1. Soit un ensemble X. Une suite est une fonction de N dans X.
Si : N X est une suite qui prend la valeur xn en n, cest--dire (n) = xn ,
on la note tout simplement (xn ) ou (xn )n ou (xn )nN ou encore = (x0 , x1 , . . .). On
dit que xn est le nime terme ou le terme dindice n de la suite (xn ).
Pour rappeler que la suite (x0 , x1 , . . .) est une suite dlments de lensemble X,
on note souvent (xn )n X. Pour une suite de nombres rels (xn )n R, on parle de
suite relle et pour une suite de nombres complexes (zn )n C, on parle de suite
complexe.
37
38
Chapitre 4 - Suites et sries
En construction...
Fig. 4.1 vision intuitive de convergence
Remarquons que les lments xn dune suite ne sont pas forcment distincts. En
particulier, il convient de distinguer la suite (x0 , x1 , . . .) qui est un lment de X N
(produit cartsien X X . . .) de son image {xn | n N} qui est un sous-ensemble
de X. Si est une suite constante, cest--dire quil existe x X tel que xn = x
pour tout n N, alors (xn ) = (x, x, x, . . .) X N tandis que {xn | n N} est le
singleton {x}.
Exemples 7. 1. (0, 1, 2, 3, . . .) est la
suite (n)
n N.
2. (1, 1, 1, 1, . . .) est la suite (1)n+1 Z.
n
3. (1, i, 1, i, 1, i, . . .) est la suite (in )n C.
Sous-suites
Nous serons souvent amens extraire une partie dune suite (xk ). Si (k0 , k1 , . . .)
est une suite croissante de naturels, cest--dire k0 < k1 < . . ., on dit que la suite
(xk0 , xk1 , . . .) est une sous-suite (ou encore une suite partielle) de la suite (xn )n .
On la note couramment par (xk )N ou simplement par (xk ) ou (xk ) ou encore
par (xk ) (xk )k pour rappeler quil sagit dune sous-suite de la suite originale
(xk ).
Exemples 8. Soit (xn )n X.
1. La suite (x2n )n est une suite partielle. Cest la suite des lments dindices
pairs : (x0 , x2 , x4 , . . .).
2. La suite (xn+m )n est une suite partielle. Il sagit de la suite originale prive
des m premiers termes. On note couramment (xj )jm .
3. La suite (x1 , x0 , x2 , x4 , x3 , x6 , x5 , . . .) nest pas une sous-suite de la suite (xn )n .
4.2
Convergence dans un espace mtrique
Nous prsentons dans cette section un cadre assez gnral despaces dans lesquels
la notion naturelle de convergence dune suite (xn )n exprime le fait que les termes
xn se rapprochent dun lment x par le fait que la distance entre xn et x est
arbitrairement petite pourvu que n soit suffisamment grand.
Distance et espace mtrique
Dfinition 4.2. Soit X un ensemble. Une mtrique ou distance dfinie sur X est
une application
d : X X R : (x, y) d(x, y)
4.2. Convergence dans un espace mtrique
39
telle que, pour tout x, y, z X,
(i) d(x, y) = 0 si et seulement si x = y ;
(ii) d(x, y) 0 ;
(iii) d(x, y) = d(y, x) ;

(iv) d(x, z) d(x, y) + d(y, z).
Laxiome (iii) est appel axiome de symtrie, tandis que la dernire condition
porte communment le nom dingalit triangulaire.
Dfinition 4.3. Un ensemble X muni dune distance d est appel un espace mtrique. On le note (X, d).
Exemples 9. 1. Soit X un ensemble non vide. Lapplication d : X X R dfinie
par
d(x, x) = 0,
d(x, y) = 1 si x 6= y,
est une distance (appele distance discrte) sur X.
2. Dans R, lapplication d : R R R dfinie par
d(x, y) = |x y|
est une distance. Les conditions (i) (iv) se dduisent des proprits de la valeur
absolue.
3. Dans C, lapplication d : C C R dfinie par
d(z, w) = |z w|
est une distance. Les conditions (i) (iv) se dduisent des proprits du module.
4. Lchiquier muni de la distance aux checs. Cette distance stend naturellement
dans le plan.
5. Le plan muni de la distance de Manhattan (city-block distance).
6. Le plan muni de la distance du mtro parisien.
7. Si (X, dX ) et (Y, dY ) sont des espaces mtriques, alors la fonction dfinie par
d ((x1 , y1), (x2 , y2)) = max(dX (x1 , x2 ), dY (y1, y2 )),
est une distance sur X Y . Lapplication d2 : X Y R dfinie par
p
d2 ((x1 , y1 ), (x2 , y2 )) = dX (x1 , x2 )2 + dY (y1 , y2 )2 ,
est une autre distance sur X Y .
Suites bornes et suites convergentes

Nous dirons que la suite (xn )n est borne si son image {xn | n N} est un
ensemble born au sens suivant.
40
Dfinitions 4.4. Soit (X, d) un espace mtrique. Un ensemble A X est dit born
(au sens de la distance d) sil existe M > 0 tel que d(x, y) M pour tout x, y A.
Le diamtre de A X est dfini par
diam(A) = sup{d(x, y) : x, y A}.
Le nom diamtre est choisi par analogie avec le cas dun disque ou dune sphre
o la distance maximale entre deux points est bien donne par le diamtre. Si A nest
pas born, diam(A) = +. On peut donc reformuler la dfinition dun ensemble
born en crivant A est born si diam(A) < +.
une distance est associe naturellement une notion de convergence ou limite.
Dfinition 4.5. Soit (X, d) un espace mtrique. Une suite (xk )k X converge
vers x (au sens de la distance d) si et seulement si
( > 0)(k() N)(k k()) : d(xk , x) < .
On dit que x est la limite de la suite (xk )k .
La condition se lit pour tout strictement positif, il existe un entier positif k()
tel que pour tout k k() la distance de xk x est strictement infrieure . On
note souvent de faon abrge
xk x lorsque k ou lim xk = x
k
pour indiquer que la suite (xk )k converge vers x.

La suite (xk )k est convergente sil existe un lment x tel que xk x lorsque
k . Dans le cas contraire, la suite est dite divergente.
Par ailleurs, sauf indication contraire, lorsque nous parlons de la convergence
dune suite dlments dun espace mtrique, il est sous-entendu que la convergence
a lieu au sens de la distance que lon a choisie pour dfinir lespace.
Exemples 10. 1. Dans R ou C muni de la distance usuelle |x y| (valeur absolue
ou module), la condition scrit
( > 0)(k N)(k k()) : |xk x| < ,
et peut scrire limk xk = x ou de faon quivalente limk (xk x) = 0. Dans R,
cela signifie que chaque fois que lon fixe un intervalle de longueur 2 autour de x,
il existe un indice k() (qui dpend en gnral de ) au del duquel tous les termes
de la suite se trouvent dans cet intervalle. Dans C la condition exprime le fait que
chaque fois que lon fixe un disque de rayon autour de x, il existe un indice k()
(qui dpend en gnral de ) au del duquel tous les termes de la suite se trouvent
dans ce disque.
2. Si on muni un ensemble X de la mtrique discrte, la convergence de xk x
signifie quil existe un indice k0 au del duquel xk = x pour tout k k0 .
Nous avons crit que si la suite xn converge vers x, alors x est la limite de cette
suite, ce qui sous-entend quil y a unicit de la limite, cest--dire quune suite ne
peut pas converger en mme temps vers deux limites diffrentes. Avant de justifier
notre affirmation, nous introduisons la dfinition dun point daccumulation.
41
Dfinition 4.6. Soient (X, d) un espace mtrique et (xn )n X. On dit que a X

est un point daccumulation de la suite (xn )n si
( > 0)(n N)( m(, n) n) : d(xm(,n) , a) < .
Un point daccumulation est un lment prs duquel la suite passe arbitrairement proche une infinit de fois.

n n
possde deux points daccumulations : 1
Exemples 11. 1. La suite (1) n+1
n
et 1.

n
2. La suite n(1)
possde un seul point daccumulation mais nest pas convern
gente.
Si une suite (xn )n X possde plus dun point daccumulation, alors elle diverge.
En effet, cest la contrapose de la proposition suivante.
Proposition 4.7. Soient (X, d) un espace mtrique et (xn )n une suite convergente.
Alors la suite (xn )n possde un et un seul point daccumulation. En particulier, la
limite est unique.
Dmonstration. Observons tout dabord que si (xn )n converge vers x X, alors x
est un point daccumulation. En effet, par dfinition de limite, on a
( > 0)(n() N)(n n()) : d(xn , x) < .
En particulier, pour tout > 0 et tout m N, on a d(xn , x) < ds que n
n(, m) = max(n(), m), do x est un point daccumulation.
Lexistence dun point daccumulation se dduit directement de lobservation
prcdente. Tournons-nous vers lunicit. Supposons par labsurde quil existe au
moins deux points daccumulations distincts que nous notons x et y. Puisque la
suite est convergente, nous pouvons supposer, en vertu de lobservation prcdente,
quelle converge vers lun dentre eux. Comme x 6= y, la distance de x y est
strictement positive. Supposons que (xn )n converge vers x et posons = 21 d(x, y).
Pour ce choix de , il existe n() N tel que d(xn , x) < ds que n n(). Par
ailleurs, par dfinition dun point daccumulation, il existe m() n() tel que
d(xm() , y) < .
En utilisant lingalit triangulaire, on en dduit que
d(x, y) d(x, xm() ) + d(xm() , y) < + = 2,
ce qui est impossible vu notre choix initial de .
Finalement, lunicit de la limite se dduit de lunicit du point daccumulation.
Montrons que la rciproque de la proposition prcdente nest pas vraie. Il suffit
pour cela de considrer la suite relle (xn )n R dfinie par x2k = 1/k et x2k+1 = k
pour tout k N. Cette suite possde 0 comme unique point daccumulation bien
quon soit tent de dire que + est un autre point daccumulation (mais + nest
pas un rel). Dautre part, elle nest pas convergente. Ceci se dduit par exemple de
la proposition qui suit.
42
Proposition 4.8. Soient (X, d) un espace mtrique et (xn )n une suite convergente.
Alors la suite (xn )n est borne.
Dmonstration. Par hypothse, il existe x X tel que
( > 0)(n() N)(n n()) : d(xn , x) < .
Choisissons = 1/2. Lingalit triangulaire entrane que
d(xn , xm ) d(xn , x) + d(x, xm ) < 1
ds que m, n n(1/2). Notons d = max{d(xi , xj ) | i, j n(1/2)}. En utilisant
nouveau lingalit triangulaire, on conclut que
d(xn , xm ) 1 + d,
pour tout n, m N.
Critre dexistence de sous-suites convergentes
Nous avons observ prcdemment que si une suite (xn )n converge, alors sa limite
est un point daccumulation. Nous dmontrons prsent que lexistence dune soussuite convergente implique ncessairement lexistence dun point daccumulation et
vice versa.
Proposition 4.9. Soient (X, d) un espace mtrique et (xn )n X. Alors, a X est
un point daccumulation de (xn )n si et seulement si il existe une sous-suite (xnk )k
qui converge vers a.
Dmonstration. Commenons par dmontrer la condition ncessaire. Si a est un
point daccumulation, alors il existe m(1) N tel que d(xm(1) , a) < 1, m(2)
m(1) + 1 tel que d(xm(2) , a) < 1/2, m(3) m(2) + 1 tel que d(xm(3) , a) < 1/3 et
ainsi de suite. On peut donc dfinir une suite croissante dindices (m(j))j N telle
que d(xm(j) , a) < 1/j pour tout j 1. Montrons que la sous-suite (xm(j) )j converge
vers a. Soit > 0. Par le Corollaire 3.6, il existe k N0 tel que 1/k < . Ds lors,
pour tout j k, on a
1
1
d(xm(j) , a) < < .
j
k
Do limj xm(j) = a.
La preuve de la condition suffisante est immdiate. En effet, sil existe une suite
partielle (xnk )k qui converge vers a, alors, par la Proposition 4.7, a est lunique point
daccumulation de la suite (xnk )k . En particulier, a est un point daccumulation de
la suite originale (xn )n .
La proposition prcdente a pour consquence que toutes les suites partielles
convergentes dune suite convergente, convergent vers la limite de la suite originale.
Montrons prsent que si une suite est convergente, toutes les suites partielles le
sont.
Proposition 4.10. Soient (X, d) un espace mtrique et (xn )n X une suite qui
converge vers x X. Alors toute sous-suite (xnk )k (xn )n converge vers x.
43
Dmonstration. Soit (xnk )k (xn )n . Il faut montrer que

( > 0)(k() N)(k k()) : d(xnk , x) < .
(4.1)
Comme la suite (xn )n converge vers x, pour tout > 0, il existe n() N tel que
d(xn , x) < ds que n n(). Ds lors, on a d(xnk , x) < ds que nk n(). Comme
nk k pour tout k N, la condition (4.1) est satisfaite en prenant k() = n().
Suites de Cauchy
Soient (X, d) un espace mtrique et (xn )n X. Si (xn )n est convergente, alors il
existe x X tel que
( > 0)(n() N)(n n()) : d(xn , x) < .

2
Nous en dduisons que si m, n n() alors
d(xn , xm ) d(xn , x) + d(x, xm ) <

+ = .
2 2
Cette observation est tout fait intuitive : si une suite converge, les lments de
celle-ci doivent tre arbitrairement proches deux deux lorsque n tend vers linfini.
Dfinition 4.11. Soient (X, d) un espace mtrique et (xn )n X. La suite (xn )n
est une suite de Cauchy si
( > 0)(n() N)(m, n n()) : d(xn , xm ) < .
Nous avons dj dmontr la proposition suivante.
Proposition 4.12. Soient (X, d) un espace mtrique. Toute suite convergente est
une suite de Cauchy.
La rciproque nest pas vraie en gnral. Mais par contre, si une suite de Cauchy
possde une sous-suite convergente, alors elle est elle-mme convergente.
Proposition 4.13. Soient (X, d) un espace mtrique et (xn )n X une suite de
Cauchy. Supposons quil existe une suite partielle (xnk )k (xn )n qui converge. Alors
la suite complte (xn )n est convergente.
Dmonstration. Vu que la suite partielle (xnk )k est convergente, il existe x X tel
que
( > 0)(k() N)(k k()) : d(xnk , x) < .

2
Fixons > 0. Puisque la suite (xn )n est de Cauchy, il existe n() N tel que pour
tout m, n n()), d(xn , xm ) < /2. Posons m() = max(n(), k()). On observe que
d(xn , x) d(xn , xnm() ) + d(xnm() , x) <
ds que n m().

+ = ,
2 2
44

Le corollaire suivant est un consquence immdiate de la Proposition 4.13.
Corollaire 4.14. Soient (X, d) un espace mtrique et (xn )n X une suite de

Cauchy. La suite (xn )n possde au plus un point daccumulation.
Proposition 4.15. Soit (X, d) un espace mtrique. Si (xn )n X est une suite de
Cauchy, alors elle est borne.
Dmonstration. Puisque (xn )n est une suite de Cauchy, il existe N N tel que
d(xm , xn ) < 1 ds que m, n N. Notons M = max1nN d(xn , xN ). On observe que
pour tout m, n N, d(xm , xn ) < 1 + M. En effet, si m, n N, on a d(xm , xn ) M,
si m, n N, on a d(xm , xn ) < 1 et si m < N < n, on a d(xm , xn ) d(xm , xN ) +
d(xN , xn ) < M + 1.
4.3
Suites relles ou complexes
Nous avons dfini une notion gnrale de convergence dans les espaces mtriques.
Nous particularisons prsent cette notion aux suites de nombres (rels ou complexes).
Dans la suite, K dsigne R ou C et nous munissons K de la distance naturelle
d : K K R+ dfinie par
d(x, y) = |x y|,
o | | dsigne respectivement la valeur absolue dans R ou le module dans C.
Il suit de la Dfinition 4.4 quun ensemble A K est born sil existe M > 0
tel que |x y| M pour tout x, y A. Fixons x0 A. Si A est born, alors,
|x| |x0 | |x x0 | M pour tout x A. On en dduit que |x| |x0 | + M = M .
Rciproquement, sil existe M > 0 tel que |x| M pour tout x A, alors |y z|
|y| + |z| 2M pour tout x, y X. Nous venons dobserver quun ensemble A K
est born si et seulement si il existe M > 0 tel que |x| M pour tout x A1 . En
particulier, une suite (xk )k K est borne si et seulement si il existe M > 0 tel que
|xk | M pour tout k N.
Convergence
Nous choisissons2 la dfinition suivante de convergence dans K.
Dfinition 4.16. La suite (xk )k K converge vers x si et seulement si
( > 0)(k() N)(k k()) : |xk x| < .
Comparer cette dernire condition avec la Dfinition 2.9 dans R.
La distance naturelle est un choix possible (et naturel) de distance sur K mais ce nest pas le
seul. On peut dmontrer (voir par exemple [4]) que toutes les distances induites par une norme (voir
la dfinition dans le Chapitre 7) mnent des dfinitions quivalentes de convergence, cest--dire
que la dfinition de convergence ne dpend pas du choix dune telle distance.
1
4.3. Suites relles ou complexes
45
Exemples 12. 1. La suite (1/np )n R converge vers 0 pour tout p N. En effet,

pour > 0, on observe que
1
<
np
ds que
1
n > 1/p .
1/p
On peut donc choisir
n()

= 1/ + 1.
2. La suite (1)n
ne converge pas. Soit x R. Montrons que la suite ne
n
converge pas vers x cest--dire quil existe > 0 tel que pour tout n N, il existe
un entier m n tel que |(1)m x| . Si x = 1 ou x = 1, on observe que la
valeur = 1 convient. Faisons le raisonnement complet pour x = 1. Soit n N fix.
Prenons m = 2n+1. Il est clair que m n et |(1)m 1| = 2 1. Si x R\{1, 1},
il suffit de choisir = min(| 1 x|, |1 x|). Remarquons quun argument bien plus
rapide consiste observer que la suite possde deux points daccumulation et ne peut
donc pas converger.
Les observations suivantes sont lmentaires mais fort utiles.
Proposition 4.17. Soit (xk )k K. Nous avons les proprits suivantes :
(i) (xk )k converge vers a si et seulement si (xk a)k converge vers 0 ;
(ii) si (xk )k converge vers a, alors (|xk |)k R converge vers |a| ;
(iii) (xk )k converge vers 0 si et seulement si (|xk |)k R converge vers 0 ;
(iv) sil existe a K, K N et (rk )k R+ tels que |xk a| rk pour tout k K

et limk rk = 0, alors limk xk = a.
Dmonstration. La proprit (i) est vidente. Pour dmontrer (ii), observons quen
utilisant la proprit (vii) de la Proposition 2.12 ou la proprit (v) de la Proposition
3.11, il vient

( > 0)(k() N)(k k()) : |xk | |a| |xk a| < .
La proprit (iii) se dduit directement de la dfinition. Dmontrons (iv). Par hypothse, nous savons que
( > 0)(k() N)(k k()) : rk < .
Il sensuit que
ds que k max(K, k()).
|xk a| rk <
Proposition 4.18. La suite (xk )k C converge si et seulement si les suites (Re xk )k

R et (Im xk )k R convergent. Dans ces conditions, on a
lim xk = lim Re xk + i lim Im xk .
Nous laissons la preuve de cette proposition en guise dexercice.
46
Rgles de calcul
Les rgles de calcul des limites sont fondamentales et extrmement utiles en
pratique. Nous utiliserons le lemme suivant.
Lemme 4.19. Soit (xk )k K et (yk )k K telles que (xk )k est borne et (yk )k
converge vers 0. Alors la suite (xk yk )k converge vers 0.
Dmonstration. Comme (xk )k est borne, il existe M > 0 tel que |xk | M pour
tout k N. Par consquent, on observe que
(4.2)
|xk yk | M|yk |
pour tout k N. Fixons > 0. Comme limk yk = 0, il existe k() N tel que
|yk | <
(4.3)
ds que k k(). La conclusion se dduit prsent de (4.2) et (4.3) :

|xk yk | M|yk | < M
= ,
M
ds que k k().
Remarque 4.20. Il suit de ce lemme que si (xn )n K converge vers 0, alors
(xn )n K converge encore vers 0 quel que soit K.
Thorme 4.21 (Rgles de calcul des limites). Soient (xk )k K et (yk )k K des
suites convergentes telles que limk xk = x et limk yk = y.
(i) la suite (xk + yk )k converge et sa limite vaut x + y ;
(ii) la suite (xk yk )k converge et sa limite vaut xy ;
(iii) si y 6= 0 alors il existe K N tel que yk 6= 0 pour k K et la suite (xk /yk )kK
converge vers x/y.
Dmonstration. (i) Fixons > 0. Par hypothse, il existe k1 = k1 () N et k2 =
k2 () N tels que |xk x| < /2 pour tout k k1 et |yk y| < /2 pour tout
k k2 . Il sensuit que
|xk + yk (x + y)| |xk x| + |yk y| <

+ =
2 2
ds que k max(k1 , k2 ).
(ii) Par la Proposition 4.8, la suite (xk )k est borne. Il sensuit que
xk yk xy = xk (yk y) + y(xk x)
est la somme de deux suites convergentes. En effet, la Proposition 4.17 entrane que
(xk x)k et (yk y)k convergent vers 0 et le Lemme 4.19 entrane la convergence vers
0 des suites (xk (yk y))k et (y(xk x))k . Nous pouvons donc appliquer la proprit
(i) qui implique que (xk yk xy)k converge vers 0. La conclusion se dduit de la
Proposition 4.17.
47
(iii) Daprs (ii), il suffit de dmontrer quil existe K N tel que yk 6= 0 pour
k K et que (1/yk )kK converge vers 1/y. Choisissons ]0, |y|/2]. Comme (yk )k
converge vers y, il existe K N tel que |y||yk | |y yk | < ds que k K. Notre
choix de implique que |yk | > |y| |y|/2 > 0 pour tout k K. Calculons, pour
k K,
1
1
y yk
2|y yk |
| |=|
|
.
yk y
yk y
|y|2
La conclusion se dduit prsent de la Proposition 4.17 et de la Remarque 4.20.

Par la Proposition 4.17, la suite relle (|y yk |)k converge vers 0 ; la Remarque 4.20
k|
)k et finalement laffirmation (iv)
montre quil en est de mme pour la suite ( 2|yy
|y|2
de la Proposition 4.17 permet de conclure.
On dduit en particulier de ce thorme que si (xn )n K converge vers x, alors,
pour tout K, la suite (xn )n K converge vers x.
Exemples 13.
Comparaison des suites relles
Nous venons de voir sous quelles conditions il est permis de passer la limite
dans une somme, un produit ou un quotient. Nous considrons prsent le problme
du passage la limite dans les ingalits entre suites relles.
Proposition 4.22. Soient (xk )k R et (yk )k R des suites convergentes telles
que limk xk = x et limk yk = y. Sil existe K N tel que xk yk pour tout
k K, alors x y.
Dmonstration. Raisonnons par labsurde. Supposons que x > y. Dans ce cas nous
pouvons choisir = xy > 0 et il suit de la dfinition de limite quil existe k() K
tel que |xk x| < /4 et |yk y| < /4 ds que k k(). En particulier, nous avons
x
< xk yk < y + ,
4
4
ou encore = x y < /2, ce qui est absurde.

Attention, ce rsultat nest pas vrai si on remplace lingalit non stricte par
lingalit stricte. Mme si xk < yk pour tout k K, il se peut que x = y. Cest le
cas pour les suites (1/k 2 )k1 et (1/k)k1 .
Il suit de la Proposition 4.22 que si (xn )n , (yn )n et (zn )n sont des suites convergentes telles que
xn yn zn ,
alors
lim xn lim yn lim zn .
48
En particulier, si (xn )n et (zn )n ont mme limite a, alors la suite (yn )n converge vers
a galement. Nous montrons dans le thorme qui suit quil est inutile dans ce cas
de supposer que la suite (yn )n est convergente. En effet, si (xn )n et (zn )n ont mme
limite a, la suite (yn )n est prise en sandwich et ne peut faire que converger vers a.
Thorme 4.23 (Test de comparaison). Soient (xk )k R, (yk )k R et (zk )k R
telles que limk xk = a, limk zk = a et xk yk zk pour tout k K N.
Alors limk yk = a.
Dmonstration. Fixons > 0. Il nous faut montrer quil existe k() N tel que
|yk a| < pour tout k k(). Nous savons quil existe k1 () N et k2 () N tels
que |xk a| < pour tout k k1 () et |zk a| < pour tout k k2 (). Ds lors,
nous en dduisons que
< xk a yk a zk a <
ds que k k() = max(k1 (), k2()).
Observons que le test de comparaison gnralise, pour les suites relles, la proprit (iv) de la Proposition 4.17. Il sagit dun rsultat trs utile pour les calculs
explicites.
Limites infinies
Certaines suites relles non bornes peuvent tre considres comme convergentes
dans R.
Dfinitions 4.24. La suite (xk )k R converge dans R vers + si
(R > 0)(k(R) N)(k k(R)) : xk > R.
Elle converge dans R vers si
(R > 0)(k(R) N)(k k(R)) : xk < R.
Il est clair que si (xk )k converge dans R vers + ou , alors (|xk |)k converge
dans R vers +. Il existe des suites relles non bornes qui ne convergent ni vers
+, ni vers . Dans ce cas, + ou sont des points daccumulation dans R.
On dira que est un point daccumulation de (xk )k dans R si
(R > 0)(n N)(k(R, n) n) : xk(R,n) < R
tandis que + est un point daccumulation de (xk )k dans R si
(R > 0)(n N)(k(R, n) n) : xk(R,n) > R.
On peut tendre la Proposition 4.9 aux suites non bornes : + (respectivement
) est un point daccumulation de la suite (xk )k dans R si et seulement si il existe
une suite partielle qui converge dans R vers + (respectivement ).
49
Exemples 14. 1. La suite (n2 n)n R converge dans R vers +.

n
2. La suite (2
R converge dans R vers .
)n
n
3. La suite (n)
R diverge dans R. Elle a deux points daccumulation
dans R : .
Il convient de manier les limites infinies avec prcaution. Les rgles du calcul des
limites dans R ne sappliquent pas toujours dans R. En particulier, il y a des rgles
propres aux limites infinies.
Proposition 4.25. Soit (xk )k R0 . Alors
(i) la suite (1/xk )k converge vers 0 si xk + ou xk ;
(ii) la suite (1/xk )k converge dans R vers + si xk 0 et sil existe K N tel

que xk > 0 pour tout k K ;
(iii) la suite (1/xk )k converge dans R vers si xk 0 et sil existe K N tel

que xk < 0 pour tout k K.
Dmonstration. (i) Fixons > 0. Comme (|xk |)k converge vers +, il existe k()
N tel que |xk | > 1/ ds que k k(). Il sensuit que |1/xk | < ds que k k().
(ii) Fixons R > 0. Vu que (xk )k converge vers 0, il existe k(R) N tel que |xk | <
1/R ds que k k(R). On en dduit que 1/xk > R ds que k max(k(R), K).
On argumente de la mme faon pour dmontrer laffirmation (iii).
Suites monotones, lim inf et lim sup
Rappelons quune suite est une fonction de N dans X. Si cette fonction est
monotone, on dit que la suite est monotone. Ceci peut se formuler de la faon
suivante.
Dfinitions 4.26. Une suite relle (xk )k est dite croissante si xk xk+1 pour tout
k N ; dcroissante si xk xk+1 pour tout k N. On dit que (xk )k est monotone
si elle est croissante ou dcroissante.
Nous allons dmontrer que la monotonie est une condition suffisante de convergence. Pour ce faire, nous introduisons les notions de supremum et infimum dune
suite.
Dfinitions 4.27. Soit (xk )k R. Les supremum et infimum de la suite partielle
(xk )km sont dfinis par
sup(xk )km := sup{xk | k m}
inf(xk )km := inf{xk | k m}.
Pour la suite complte, nous utilisons simplement les notations sup(xk ) et inf(xk ).
La Proposition 3.4 nous apprend que sup(xk ), inf(xk ) R sont bien dfinis. Si la
suite est borne, alors sup(xk ), inf(xk ) R.
Si une suite monotone est borne, elle converge dans R vers sup(xk ) ou inf(xk ).
Si elle est non borne, elle converge vers + ou dans R. Cest une consquence
de laxiome de compltude et des dfinitions de .
50
Proposition 4.28. Toute suite monotone (xn )n R converge dans R et

sup(xn ) si (xn )n est croissante,
lim xn =
inf(xn ) si (xn )n est dcroissante.
n
Dmonstration. Nous considrons le cas dune suite croissante, celui dune suite
dcroissante pouvant tre trait de faon identique. Nous devons distinguer deux
cas.
(i) x = sup(xn ) R. Par la caractrisation du supremum (Proposition 3.2), quel
que soit > 0, il existe n() N tel que xn() > x . Comme la suite est croissante,
on en dduit que
x < xn() xn x,
ds que n n().
(ii) sup(xn ) = +. Dans ce cas, la suite est non borne et pour tout R > 0, il
existe n(R) tel que xn(R) > R. Il suit de la monotonie de la suite que xn > R ds
que n n(R).
Comme application de la proposition prcdente, nous introduisons deux nombres
particulirement importants associs toute suite relle. cette fin, nous dfinissons
deux suites auxiliaires associes tout suite relle (xn )n :
an = sup(xk )kn
bn = inf(xk )kn .
Observons que ces nouvelles suites sont monotones. En effet, comme on a linclusion
{xk | k n + 1} {xk | k n}, on a ncessairement an+1 an et bn+1 bn . Il
sensuit que (an )n et (bn )n convergent dans R :
a = lim an = lim (sup(xk )kn )
n
est appel la limite suprieure de la suite (xn )n et est note

lim sup xn ou lim xn ,
n
et
b = lim bn = lim (inf(xk )kn )
n
est appel la limite infrieure de la suite (xn )n et est note

lim inf xn ou lim xn .
n
Remarquons que pour toute suite relle (xn )n , on a

lim inf xn lim sup xn .
n
Nous pouvons donner un critre de convergence partir du calcul des limites

suprieure et infrieure.
51
Proposition 4.29. Soient (xn )n R,

x = lim inf xn et x = lim sup xn .
n
Alors
(i) x et x sont des points daccumulation dans R ;
(ii) si x est un point daccumulation dans R, on a x x x ;
(iii) la suite (xn )n converge dans R si et seulement si x = x . Dans ce cas, on a

lim xn = lim inf xn = lim sup xn .
Dmonstration. Pour dmontrer (i), il suffit de construire une sous-suite qui converge
vers x et une sous-suite qui converge vers x . En effet, la Proposition 4.9 (et
son extension dans R) permet alors de conclure. Construisons une sous-suite qui
converge vers x . Lexistence dune suite partielle qui converge vers x se dduit
dune construction semblable. Rappelons que x = limn (sup(xk )kn ), i.e. x est
la limite de la suite (an )n o an = sup(xk )kn . Comme la suite (an )n est dcroissante,
x = inf nN an . Nous distinguons trois cas.
1er cas : x = . Alors, pour tout m N, il existe n(m) N tel que an(m) <
m. Comme xk an(m) pour tout k n(m), on a xn(m) < m. La suite partielle
(xn(m) )m converge vers .
2me cas : x R. En utilisant la caractrisation du supremum (Proposition
3.2), nous construisons une suite partielle (xn(m) )m de la faon suivante. Il existe
n(0) N tel que |xn(0) a0 | < 1, puis de faon rcursive n(m) > n(m 1) tel que
|xn(m) an(m1)+1 | < 1/2m pour tout m 1. Comme la suite (an )n converge vers x ,
il en est de mme pour sa sous-suite (an(m1)+1 )m1 . Par construction, on en dduit
que (xn(m) )m converge vers x .
3me cas : x = +. Dans ce cas, am = + pour tout m N. Il sensuit que
pour tout R > 0 et tout m N, il existe n(R, m) m tel que xn(R,m) > R. Donc
+ est un point daccumulation de la suite (xn )n .
(ii) Montrons que si x est un point daccumulation de la suite (xn )n , alors x x .
Nous pouvons supposer sans perte de gnralit que x 6= + sinon la conclusion est
trivialement satisfaite. Par la Proposition 4.9, il suffit de dmontrer que si x > x ,
alors il nexiste aucune suite partielle de (xn )n qui converge vers x . Fixons =
(x x )/2 > 0. Comme (an ) converge vers x , il existe n() N tel que pour tout
n n(), an x < . Par dfinition de la suite (an )n , il vient
xn an < x + < x
x x
=x
2
pour tout n n(). On en conclut que x ne peut pas tre la limite dune suite
partielle de (xn )n .
On argumente de manire analogue pour dmontrer que si x est un point daccumulation de la suite (xn )n , alors x x .
(iii) Commenons par examiner la condition ncessaire. Si (xn )n converge, alors
la Proposition 4.7 (et son extension dans R) entrane lexistence dun unique point
daccumulation. Il sensuit que x = x .
52
Si x = x , alors les assertions (i) et (ii) entranent que lunique point daccumulation de la suite est x = x = x . Si x = , alors pour tout R > 0, il existe
n(R) R tel que
xn sup(xk )kn < R
ds que n n(R), cest--dire limn xn = . Si x = +, alors pour tout R > 0,
il existe n(R) R tel que
xn inf(xk )kn > R
ds que n n(R), cest--dire limn xn = +. Considrons finalement le cas o
x R. Soit > 0. Par la caractrisation du supremum (Proposition 3.2), il existe
n() N tel que
x < inf(xk )kn xn sup(xk )kn < x + ,
ds que n n(), ce qui implique la convergence de (xn )n vers x.
Le rsultat suivant est une consquence immdiate de la Proposition 4.29.
Thorme 4.30 (Thorme de Bolzano-Weierstrass). Toute suite relle borne possde au moins un point daccumulation (dans R).
Par la Propostion 4.9, cet nonc est quivalent toute suite relle borne
possde au moins une suite partielle convergente (dans R).
Critre de Cauchy
Pour vrifier quune suite relle converge, nous avons vu jusqu prsent deux
alternatives. La premire consiste simplement vrifier la dfinition ce qui suppose
de connatre a priori la limite de la suite. La seconde consiste calculer les limites
infrieure et suprieure et vrifier que ces dernires sont gales. Pour calculer
les limites infrieure et suprieure, nous sommes ramen la premire alternative.
Nous prsentons dans ce paragraphe un critre qui permet de reconnatre si une
suite relle converge sans connatre sa limite. Rappelons quune suite (xn )n R est
dite de Cauchy si
( > 0)(n() N)(m, n n()) : |xn xm | < .
Thorme 4.31 (Critre de Cauchy dans R). Une suite relle converge (dans R)
si et seulement si elle est de Cauchy.
Dmonstration. La condition ncessaire est vraie dans tout espace mtrique (voir
Proposition 4.12). La condition suffisante est une consquence du Thorme de
Bolzano-Weierstrass. En effet, la Proposition 4.15 nous apprend que toute suite
de Cauchy est borne. Le Thorme de Bolzano-Weierstrass assure alors lexistence
dune sous-suite partielle convergente. La conclusion se dduit ensuite de la Proposition 4.13.
53
Le critre de Cauchy est galement valable pour les suites complexes. Une suite
(xn )n C est de Cauchy si
( > 0)(n() N)(m, n n()) : |xn xm | < .
Il suit des proprits du module que
|Re xn Re xm | |xn xm | et |Im xn Im xm | |xn xm |,
si bien que (Re xn )n R et (Im xn )n R sont des suites de Cauchy. Nous pouvons
donc tendre le Thorme 4.31 C
Thorme 4.32 (Critre de Cauchy dans C). Une suite complexe converge si et
seulement si elle est de Cauchy.
Dmonstration. Comme nous lavons dj mentionn, la condition ncessaire est
vraie dans tout espace mtrique (voir Proposition 4.12).
Nous avons observ que si (xn )n C est de Cauchy alors (Re xn )n R et
(Im xn )n R sont des suites de Cauchy dans R. Il suit du Thorme 4.31 que cette
condition est suffisante pour que (Re xn )n et (Im xn )n convergent. La conclusion se
dduit prsent de la Proposition 4.18.
Exemples importants
Les limites suivantes interviennent frquemment. Les justifications sont laisses
en guise dexercices.
(i) Soit a C. Alors
0
si |a| < 1,
1
si a = 1,
lim a =
n
nexiste pas si |a| 1 et a 6= 1.

n
(ii) Soient a C et k N. Si |a| > 1, alors
nk
= 0.
n an
lim
(iii) Pour tout a C,
(iv) Pour tout a R+

0 , on a
an
= 0.
lim
n n!
lim a1/n = 1
et
lim (an)1/n = 1.
54
4.4
Sries
Nous avons vu jusqu prsent deux faons de vrifier quune suite relle ou
complexe converge. On peut soit deviner la limite et vrifier que la dfinition est
satisfaite ou bien vrifier le critre de Cauchy. Nous allons utiliser ces deux approches
pour tudier les sries, cest--dire les sommes infinies du type
ak = a0 + a1 + a2 + a3 + . . . ,
k=0
o le terme gnral ak est un nombre rel ou complexe. La question essentielle

que nous nous posons est de savoir sous quelles conditions une telle somme infinie
converge, cest--dire donne un nombre rel ou complexe, lorsque lon regarde la
limite des sommes partielles
s0 := a0 , s1 := a0 + a1 , s2 := a0 + a1 + a2 , . . . .
Dans la suite, nous reprenons la notation K pour dsigner R ou C.
P
Dfinitions 4.33. Soit (ak )k K. La srie
k=0 ak converge si la suite des
sommes partielles (sn )n K dfinie par
sn :=
n
X
ak
k=0
est convergente dans K. La limite s de la suite (sn )n est appele la somme de la

srie et se note
s=
X
k=0
ak ou plus simplement
X
k
ak ou
ak .
Si la suite des sommes partielles ne converge pas, la srie est dite divergente.
Il est important de remarquer que tous les rsultats relatifs aux sries seront
construits
sur ltude de la convergence dune P
suite puisque, par dfinition, la srie
P
n
a
converge
si
et
seulement
si
la
suite
(
k=0 k
k=0 ak )nN K converge. Rciproquement, observons quune suite (xk )k K converge si et seulement si la srie
x0 +
X
k=0
converge.
(xk+1 xk ) = x0 + (x1 x0 ) + (x2 x1 ) + (x3 x2 ) + . . .
P
Exemples 15. 1. La srie k1 1/k 2 est convergente. Observons tout dabord que
la suite des sommes partielles (sn )n est monotone croissante. La Proposition 4.28
nous apprend que la limite de la suite (sn )n existe dans R et pour sassurer quil
sagit dun nombre rel, il suffit de montrer que la suite (sn )n est borne. Calculons

n
n
n
X
X
X
1
1
1
1
1
= 1 + 1 < 2.
1+
=1+
sn =
2
k
k(k 1)
k1 k
n
k=2
k=2
k=1
4.4. Sries
55
P
k
2. La srie
k 1/2 est convergente. En effet, la suite des sommes partielles
tant de nouveau croissante, il suffit de vrifier quelle est borne. Or
sn+1
ce qui montre que
n+1
X
1
1
1
= sn + n+1 = 1 + sn ,
=
k
2
2
2
k=0
1
< 2.
2n
Comme la convergence dune srie se base sur la convergence P
dune suite,
P la
linarit du calcul des limites sapplique directement aux sries. Si k ak et k bk
sont deux sries convergentes et si K, alors
sn 2
X
k=0
(ak + bk ) =
ak +
bk et
(ak ) =
ak .
k=0
k=0
k=0
k=0
Les observations suivantes sont lmentaires.

P
P
(i) La srie k ak converge si et seulement si la srie
k=m ak converge (mais la
somme de la premire srie nest bien entendu pas la mme que la somme de
la seconde).
P
P
(ii) Si (z
Pk )k C, la srie k zk converge si et seulement si les deux sries k Re zk
et k Im zk convergent, et dans ce cas, on a
X
k=0
zk =
Re zk + i
Im zk .
k=0
k=0
+
(iii) Soit (xk )k R
P . Sil existe K N et > 0 tels que xk pour tout k K,
alors la srie k xk diverge.
P
P
(iv) Si la srie k ak converge, alors le reste
k=n ak tend vers 0 lorsque n tend
vers linfini.
Lobservation (iii) correspond lide intuitive quune srie ne peut converger

que si le terme gnral tend vers 0. Cette observation est lmentaire lorsque la srie
est termes positifs mais lest nettement moins en toute gnralit.
P
Proposition 4.34. Soit (ak )k K. Si la srie k ak converge, alors limk ak = 0.
Dmonstration. Par dfinition, si la srie converge, alors la suite des sommes partielles converge et est donc une suite de Cauchy, cest--dire que pour tout > 0, il
existe n() N tel que

m
X

|sm sn | =
ak <

k=n+1
pour tout m > n n(). En particulier, en prenant m = n + 1, on conclut que pour

tout > 0, il existe n() N tel que
|sn+1 sn | = |an+1 | <
pour tout n n(), cest--dire que limn an = 0.
56
La proposition prcdente donne une condition ncessaire de convergence fort

utile mais elle nest cependant pas suffisante comme le montre lexemple de la srie
harmonique. Il sagit de la srie
X
1 1 1
1
= 1 + + + + ...
k
2 3 4
k=1
qui diverge. En effet, observons que pour tout n N0 , on a

2n
X
n
1
1
= .
|s2n sn | =
k
2n
2
k=n+1
Il sensuit que la suite des sommes partielles (sn )n nest pas une suite de Cauchy et
donc elle ne peut pas converger. Ds lors la srie harmonique diverge.
La Proposition 4.34 permet galement de donner une description
complte du
P k
comportement des sries gomtriques. Il sagit des sries k z , o z C. Dune
part, on observe que
n+1
X
z k = sn + z n+1 = 1 + z + . . . + z n+1 = 1 + z(1 + z + . . . + z n ) = 1 + zsn ,
k=0
ce qui entrane que

sn =
1 z n+1
.
1z
Si |z| < 1, alors (z n+1 )n converge vers 0 et on peut conclure que
X
k=0
zk =
1
.
1z
Si |z| 1, alors le terme gnral ne tend pas vers 0 et on dduit de la Proposition

4.34 que la srie gomtrique diverge.
Critres de convergence
Nous pouvons directement dduire, des rsultats que nous connaissons pour les
suites, des critres de convergence pour les sries. Nous avons anticip dans les
Exemples 15 le critre suivant pour les sries relles termes positifs.
Thorme 4.35 (Convergence des sries
P termes positifs). Soit (ak )k R telle
que ak 0 pour tout k N. La srie k ak converge si et seulement si la suite des
sommes partielles est borne.
Dmonstration. Puisque chaque ak est un nombre rel positif, la suite (sn )n des
sommes partielles est croissante. Elle converge donc dans R (Proposition 4.28) et
la limite est relle si et seulement si la suite (sn )n est borne. Dans ce cas la limite
vaut sup(sn ).
4.4. Sries
57
P
Le critre de Leibniz concerne les sries alternes. Une srie relle k ak est
dite alterne si ak et ak+1 sont de
Psignes opposs pour tout k N. Toute srie alterne
peut scrire sous la forme k (1)k ak , o (ak )k est une suite de nombres rels
positifs. Le critre se base indirectement sur la convergence des suites monotones.
Thorme 4.36 (Critre de Leibniz). Si (ak )k R est telle P
que ak 0 pour tout
k N, (ak )k est dcroissante et limk ak = 0, alors la srie k (1)k ak converge.
Dmonstration. Calculons
s2n+2 s2n =
2n+2
X
s2n+3 s2n+1 =
2n+3
X
et
k=0
k=0
ak
2n
X
ak = a2n+2 a2n+1 0
ak
2n+1
X
ak = a2n+3 + a2n+1 0.
k=0
k=0
La suite (s2n )n des sommes partielles dindices pairs est donc dcroissante tandis
que la suite (s2n+1 )n des sommes partielles dindices impairs est croissante. Nous
pourrons donc dduire de la Proposition 4.28 que ces suites convergent dans R
condition que la premire soit minore et que la deuxime soit majore. Pour vrifier
ces conditions, observons que
s2n+1 = s2n a2n+1 s2n .
Ds lors, (s2n )n tant dcroissante, nous en dduisons que s2n+1 s2n s0 tandis
que la croissance de la suite (s2n+1 )n implique s2n s2n+1 s1 . Il sensuit que
s = inf(s2n ) et t = sup(s2n+1 ) sont des nombres rels.
Afin de dmontrer la convergence de la suite des sommes partielles (sn )n , remarquons que t = s. En effet, ceci se dduit du fait que
t s = lim (s2n+1 s2n ) = lim a2n+1 = 0.
n
Il est maintenant ais de conclure que (sn )n converge vers t puisque pour tout > 0,
il existe n1 () N tel que |s2n+1 t| < ds que n n1 () et n2 () N tel
que |s2n t| < ds que n n2 (). Il sensuit que |sn t| < ds que n
max(2n1 () + 1, 2n2 ()).
Le critre de Leibniz sapplique par exemple la srie harmonique alterne
X (1)k+1
k
Nous avons utilis dans la Proposition 4.34 le fait que si la srie converge alors
la suite des sommes partielles est une suite de Cauchy. Il suit du critre de Cauchy
pour les suites (Thorme 4.31 et Thorme 4.32) que la suite des sommes partielles
converge si et seulement si elle est de Cauchy.
58
Thorme 4.37 (Critre de Cauchy pour les sries). Soit (ak )k K. La srie
converge si et seulement si

m

X

ak < .
( > 0)(n() N)(m > n n()) :

ak
k=n+1
Dmonstration. La preuve se dduit directement du fait que la suite des sommes

partielles converge si et seulement si cest une suite de Cauchy, cest--dire que pour
tout > 0, il existe n() N tel que

m
X

ak <
|sm sn | =

k=n+1
pour tout m > n n().
Convergence absolue
Nous savons que si une suite relle ou complexe (ak )k converge, alors la suite
relle (|ak |)k converge galement (la rciproque nestPpas vraie). Il est donc naturel
danalyser
P les liens entre la convergence de la srie k |ak | et la convergence de la
srie k ak . La convergence de la premire implique la convergence
de la seconde
P
mais
P linverse nest pas vrai. De plus, une srie convergente k ak qui est telle que
k |ak | converge galement a de bien meilleures proprits quune srie convergente
quelconque. Ceci motive donc la dfinition suivante.
P
P
Dfinition 4.38. Soit (ak )k K. La srie k ak converge absolument si k |ak |
converge.
P
Nous avons vu que la srie gomtrique k z k converge si et seulement si |z| < 1.
Le mme raisonement montre que la convergence est absolue. Pour une srie relle
termes positifs, la convergence absolue est bien entendu quivalente la convergence.
La proposition suivante justifie dautant plus la prsence du mot convergence
dans la Dfinition 4.38.
Proposition 4.39. Toute srie absolument convergente est convergente.
P
Dmonstration.
Soit k ak une srie absolument convergente. tant donn que la
P
srie k |ak | converge, elle satisfait le critre de cauchy (Thorme 4.37), cest--dire
que

m
m
X

X

( > 0)(n() N)(m > n n()) :
|ak | =
|ak | < .

k=n+1
Comme pour tout m, n N, on a

m
m

X
X

ak
|ak |,

k=n+1
on en dduit que
k=n+1

m

X

a

k <

k=n+1
k=n+1
4.4. Sries
59
P
ds que m > n n(), cest--dire que
k ak satisfait galement le critre de
Cauchy. Le Thorme 4.37 permet de conclure.
La rciproque nest pas vraie (sinon pourquoi dfinir deux notions diffrentes).
En effet, nous avons vu que la srie harmonique ne converge pas malgr que la
srie harmonique alterne converge. Remarquons aussi que les sries absolument
convergentes satisfont une ingalit du triangle gnralise puisquon observe par
passage la limite dans lingalit triangulaire que

X
X

ak
|ak |.

k=0
k=0
Critres de convergence absolue
Le critre le plus simple et le plus important est le critre de comparaison

encore appel le critre du majorant. Si (akP
)k K et (bk )k R+ sont telles que
|ak | Pbk au del dun indice K N, la srie k bk est appel un majorant de la
srie k ak .
P
Thorme 4.40 (critre de comparaison). Soit (ak )k K. Si la srie k ak possde
un majorant qui converge, alors elle est absolument convergente.
P
Dmonstration. Soit un majorant k bk qui converge. Il suit du critre de Cauchy
que
m
X
bk < .
( > 0)(n() N)(m > n n()) :
k=n+1
Comme k bk est un majorant, il existe K N tel que |ak | bk pour tout k K.

Ds lors, on en dduit que
P
m
X
k=n+1
|ak |
m
X
bk < ,
k=n+1
ds que m > n max(n(), K). Le Thorme 4.37 permet nouveau de conclure.

P
La contrapose
du
critre
de
comparaison
nous
apprend
que
si
k bk est un
P
majorant de k ak et que cetteP
dernire srie ne converge pas absolument, alors
P
k bk diverge. En particulier, si
k ak est une srie termes positifs, sa divergence
implique la divergence de tous ses majorants.
P
m
Exemples 16. 1. Si m 2, la srie
est convergente. Nous avons vu
k1 1/k
P
2
dans les Exemples 15 que P
la srie k1 1/k est convergente. Comme k m k 2
pour tout k 1, la srie k1 1/k 2 est un majorant et la conclusion se dduit du
critre de comparaison. P
2. Si m 1, la srie k 1/k m diverge. Comparons cette srie la srie harmonique. Puisque m 1, on a k m k 1 pour tout k P
1. La divergence de la srie
harmonique entrane ds lors la divergence de la srie k 1/k m .
60
Exercice 4.1. Montrez que la srie
k1 1/k
converge si et seulement si m > 1.
Le critre de comparaison permet galement dobtenir le corollaire suivant.

P
P
Corollaire 4.41 (Critre dquivalence). Soient k ak et k bk deux sries relles
termes positifs. Supposons que bk 6= 0 pour tout k N et
ak
= [0, +].
k bk
lim
(4.4)
P
(i) Si
]0,
[,
alors
k ak converge (respectivement diverge) si et seulement si
P
k bk converge (respectivement diverge).
P
P
(ii) Si = 0 et k bk converge, alors k ak converge.
P
P
(iii) Si = + et k bk diverge, alors k ak diverge.
Dmonstration. Considrons laffirmation (i). Soient , R tels que 0 < <

k K, ak bk
< < +. En vertu de (4.4),
P il existe K N tel que pour P
et bk ak /. Il sensuit que Pk (bk ) est un majorant pour
k ak tandis que
P
k (ak /) est un majorant pour
k bk . La conclusion se dduit prsent du critre
de comparaison. Les affirmations (ii) et (iii) se dmontrent de faon similaire.
Dautres critres importants se basent sur lexistence dun majorant convergeant.
Nous dmontrons successivement le critre de la racine et le critre du quotient
qui se basent sur une comparaison avec les sries gomtriques.
Thorme 4.42 (Critre de la racine). Soient (ak )k K et
p
= lim sup k |ak | [0, +].
k
(i) Si < 1, alors
(ii) Si > 1, alors
Pk
ak converge absolument.
ak diverge.
Dmonstration. (i) Soit < a < 1. La Proposition

4.29 nous apprend que est
p
k
le plus grand point
daccumulation
de
la
suite
(
|a
|)
k k et par consquent, il existe
p
k
K N tel que
|ak | < a pour tout k P
K ou encore tel que |ak | < ak pour
k
tout k K. Comme la srie gomtrique P
k a converge, le critre de comparaison
entrane la convergence absolue de la srie k ak .
p
(ii) Vu que est un point daccumulation de la suite ( k |ak |)k , quel que soit
n N, il existe k n tel que |ak | 1. Il sensuit que lim supk |ak | 1, ce qui,
en vertu de la Proposition 4.29, montre que le terme gnral ak ne tend pas vers
P 0.
La condition ncessaire de la Proposition 4.34 ntant pas satisfaite, la srie k ak
diverge.
Le thorme ne dit rien lorsque = 1 car il P
nest pas possible de tirer de conclusion dansP
ce cas. En effet, la srie harmonique k 1/k diverge, la srie harmonique
k
alterne
k (1) (1/k) converge mais ne converge pas absolument et la srie
P
2
k 1/k converge (absolument). Pour ces trois sries, on observe que = 1.
Thorme 4.43 (Critre du quotient). Soient (ak )k K et K0 N tels que ak 6= 0

pour tout k K0 .
4.4. Sries
61
(i) Supposons quil existe K K0 et a < 1 tels que

|ak+1 |
a pour tout k K.
|ak |
P
Alors la srie k ak converge absolument.
(ii) Supposons quil existe K K0 tel que
Alors
ak diverge.
|ak+1|
1 pour tout k K.
|ak |
Dmonstration. (i) Par hypothse, |ak+1| a|ak | pour tout k K. Montrons par
induction que pour tout k > K, on a
|ak | akK |aK | =
|aK | k
a .
aK
Pour k = K + 1, cest vrai par hypothse. Supposons que laffirmation est vraie pour
k N tel que k K + 1, cest--dire que
|ak |
|aK | k
a .
aK
Ds lors, on observe que

|ak+1 | a|ak | a
|aK | k |aK | k+1

a = K a .
aK
a
P k
P
K|
La srie gomtrique |aaK
a
est
donc
un
majorant
de
la
srie
k
k ak . Comme
a < 1, la conclusion se dduit du critre de comparaison.
(ii) Lhypothse entrane que |ak+1 | |aK | > 0 si bien
P que la condition ncessaire
de la Proposition 4.34 ntant pas satisfaite, la srie k ak diverge.
P
Exemples 17. 1. La srie k k 2 2k converge. Appliquons le critre du quotient. Il
suffit dobserver que

2
(k + 1)2 2k
1
1
1
1
+
=
.
2k+1
k2
2
k
2
P (k+(1)k )
2. La srie
converge. Le critre du quotient ne permet pas de
k2
conclure (le vrifier). Par contre le critre de la racine sapplique car
r
r
1
1
1
1
k
k
=
=
lim
sup
.
lim sup
k
k
2 k
2
2k+(1)
2(1)
k
P
3. Pour tout z C, la srie k z k /k! converge absolument. Appliquons le critre
du quotient. On vrifie que pour z 6= 0,
k!
|z|
1
|z k+1 |
k =
,
(k + 1)! |z|
k+1
2
P
ds que k 2|z|. La srie k z k /k! dfinit la fonction exp z.
62
Critres de Dirichlet et dAbel

Les critres de comparaison, dquivalence, de la racine ou du quotient concernent
la convergence absolue (ou la convergence des sries termes positifs). Le critre de
comparaison permet aussi de dduire des critres de convergence non ncessairement
P
absolue. Dans les deux critres suivants, on crit la srie sous la forme k ak bk , o
(ak )k R et (bk )k C.
Thorme 4.44 (Critre de Dirichlet). Soient (ak )k R et (bk )k C telles que
(i) limk ak = 0,
P
(ii)
k |ak+1 ak | converge,
(iii) la suite des sommes partielles (

P
Alors la srie k ak bk converge.
Pn
k=0 bk )n
est borne dans C.
P
Dmonstration. Notons (Bn )n la suite des sommes
partielles
de
la
srie
k bk et
P
(sn )n la suite des sommes partielles de la srie k ak bk dont nous devons montrer
la convergence. Observons que
sn = a0 b0 + a1 b1 + . . . + an bn = a0 B0 + a1 (B1 B0 ) + . . . + an (Bn Bn1 )
o nous pouvons regrouper les termes de la faon suivante
sn = (a0 a1 )B0 + (a1 a2 )B1 + . . . + (an1 an )Bn1 + an Bn .
Nous allons montrer que (sn ) converge en tudiant sparment les termes
(a0 a1 )B0 + (a1 a2 )B1 + . . . + (an1 an )Bn1 et an Bn .
Comme la suite (Bn )n est borne, il existe M > 0 tel que
|(aj aj+1 )Bj | M|aj aj+1 |,
P
et puisque par hypothse, j |aj a
Pj+1 | converge, le critre de comparaison entrane
la convergence absolue de la srie j (aj aj+1 )Bj . En particulier, on en dduit que

lim (a0 a1 )B0 + (a1 a2 )B1 + . . . + (an1 an )Bn1 R.
Dautre part, comme (an )n converge vers 0 et (Bn )n est borne, le Lemme 4.19 nous
apprend que (an Bn )n converge vers 0. On peut prsent conclure en utilisant les
rgles de calcul.
Si la suite (ak )k est dcroissante, le critre de Dirichlet peut snoncer de faon
plus simple.
Corollaire 4.45 (Critre dAbel). Soient (ak )k R et (bk )k C telles que
(i) limk ak = 0,
(ii) ak+1 ak pour tout k N,
(iii) la suite des sommes partielles (
Pn
k=0 bk )n
est borne dans C.
4.4. Sries
Alors la srie
63
P
ak bk converge.
Dmonstration. Comme (ak )k est dcroissante, on observe que

n
X
k=0
|ak+1 ak | =
n
X
k=0
ak ak+1 = a0 an+1 .
P
Il sensuit que
k=0 |ak+1 ak | = a0 puisque limn an+1 = 0. Les hypothses du
critre de Dirichlet sont donc satisfaites, ce qui permet de conclure la dmonstration.
Il est facile de vrifier que le critre de Leibniz peut tre obtenu comme corollaire
immdiat du critre dAbel.
Exercice 4.2. Montrer que la srie
X sin(k)
k1
kp
, 6= n (n Z)
converge pour tout p > 0. La convergence est absolue si p > 1. Utiliser le critre de
comparaison pour p > 1 et le critre de Dirichlet ou dAbel pour le cas 0 < p 1.
Oprations sur les sries
Comme annonc prcdemment, les sries absolument convergentes se comportent
bien mieux que les sries convergentes mais non absolument convergentes. Lexemple
suivant est quelque peu surprenant. Il montre que laddition nest pas commutative
lorsquon considre des
non absolument convergentes. Considrons la srie
P sriesk+1
harmonique alterne k (1) /k. Rorganisons les termes de la srie de la faon
suivante :
1 1 1 1 1 1
1
1
1 + +
+ ...
2 4 3 6 8 5 10 12
Cela revient numroter les lments ak = (1)k+1/k dans un autre ordre, savoir
bk = a(k) , o (1) = 1, (2) = 2 et pour k 3,
k + k/3 si k est divisible par 3,
si k 1 est divisible par 3,

(k) = k k1
3
si k 2 est divisible par 3.

k + k2
3
64
Observons que si n 6= 0, (3n) = 4n, (3n 1) = 4n 2 et (3n 2) = 2n 1. Ds

lors, on a
3n
X
k=1
1 1 1 1 1
1
1
1
+ + ...+
2 4 3 6 8
2n 1 4n 2 4n

1 1
1 1 1
1
1
1
= 1
+
+ ...+

2 4
3 6 8
2n 1 4n 2 4n

1 1
1 1
1
1
=
+
+ ...+
2 4
6 8
4n 2 4n

1 1 1
1
1
1
1 + + ...+
=
2
2 3 4
2n 1 2n
2n
1X
=
ak .
2 k=1
bk = 1
P
Si (tnP
)n dsigne la suite des sommes partielles de la srie k bk et (sn )n celle de la
srie k ak , on peut rcrire lgalit prcdente t3n = s2n /2. Nous savons que la
suite s2n converge. Si la suite tn converge, alors nous obtenons le rsultat surprenant
X
a(k) =
X
k
bk =
1X
s
ak = ,
2 k
2
cest--dire quen rarrangeant les termes de la srie, nous avons modifi sa somme.
Montrons que (tn )n converge. Nous savons dj que la sous-suite (t3n )n converge vers
s/2. Observons aussi que
|t3n+1 t3n | 0 et |t3n+2 t3n | 0.
Ds lors, pour tout > 0, il existe n() N tel que si n n(), on a
s
et |t3n+2 t3n | < .
|t3n | < , |t3n+1 t3n | <
2
2
2
2
On en conclut que si n n(), on a
s
|t3n | < ,
2
2
s
s
|t3n+1 | |t3n+1 t3n | + |t3n | <
2
2
et
s
s
|t3n+2 | < |t3n+2 t3n | + |t3n | < ,
2
2
ce qui dmontre la convergence de la suite (tn )n vers s/2.

Dfinition 4.46. Soit (ak )k K. Si : N
P N est une bijection, la srie
sappelle un rarrangement de la srie k ak .
a(k)
4.4. Sries
65
Il est vident que si : N P

N est une bijection telle que (k) = k saufPpour
un nombre fini dindices, la srie k a(k) converge si et seulement si la srie k ak
converge et leurs sommes sont gales. Lexemple de la srie harmonique alterne
montre quil en est tout autrement lorsque la bijection permute une infinit dindices. Le thorme qui suit est donn sans dmonstration. Celle-ci se base sur lobservation suivante o nousP
utilisons la notation a+ = max(a, 0) et a = max(a, 0).
Si akP R estP
telle que
les sk ak converge sans converger absolument, alors P
ries k a+
et
a
divergent
toutes
les
deux.
En
effet,
si
les
deux
sries
k
k k
k ak
P
convergent, alors la srie kP
ak converge absolument. Par contre si une seule de ces
sries diverge, alors la srie k ak diverge galement.
Thorme 4.47 (Thorme de rarrangement de Riemann). Soit (ak )k R. Si

P
k ak converge mais ne converge pas absolument, alors pour tout s R, il existe un
rarrangement de la srie dont la somme vaut s. De plus, il existe un rarrangement
divergeant.
P
Ce thorme justifie la terminologie suivante : si une srie k ak converge sans
converger absolument, on dit que la convergence de cette srie est conditionnelle.
La situation est beaucoup plus satisfaisante pour les sries absolument convergentes. Notre prochaine proccupation est de montrer que la somme dune srie
absolument convergente est indpendante du rarrangement. On parle dans ce cas
de convergence inconditionnelle.
P
Thorme
4.48. Si k ak converge absolument et : N N est une bijection,
P
alors k a(k) est absolument convergente et la somme est indpendante de .
Dmonstration. Soit une bijection : N N. Pour tout n N, il existe n
N tel
que
{(0), (1), . . . , (n)} {0, 1, . . . , n
}.
Il sensuit que
n
X
k=0
|a(k) |
X
k=0
|ak |
k=0
|ak |,
P
cest--dire que la suite des sommes partielles de k |a(k) | est borne suprieurement, et donc la convergence absolue est assure. Montrons prsent que la somme
ne dpend pas deP
. Notons respectivement
(
sn )n et (sn )n les suites des sommes parP
tielles des sries k |a(k) | et k |ak |. Fixons > 0. Le critre de Cauchy entrane
lexistence de n() N tel que
m
X
|ak | < ,
2
k=n+1
ds que m > n n(). Prenons n
() n() tel que
{0, 1, . . . , n()} {(0), (1), . . . , (
n())}.
Pour n n
(), on obtient

n
n
n
X
X
X

ak
a(k) =
|sn sn | =

k=0
k=0

n
X
X

|ak |,
|ak | +
ak
ak
k=n()+1
kAn
kAn
k=n()+1
X
66
o An = ({0, . . . , n}) \ {0, . . . , n()}. Notons N = max{(0), . . . , (n)}. Observons

prsent que
|sn sn |
n
X
k=n()+1
|ak | +
|ak |
kAn
n
X
k=n()+1
|ak | +
N
X
k=n()+1
|ak | <

+ ,
2 2
ds que n n
(). Il est maintenant ais de conclure que la suite (
sn )n converge vers
la limite de la suite (sn )n .
Comme application du thorme prcdent, considrons les sries doubles,
cest--dire les sommes infinies o laPsommation est prise sur deux familles dindices. Une srie double scrit donc
. Il est naturel de considrer de telles
P i,j aijP
sries car le produit de deux sries k ak et k bk nous amne considrer tous les
produits possibles ak b , o k, N, puis en faire la somme.
Une question essentielle se pose pour les sries doubles : dans quel ordre sommer.
Cette question est importante car nous avons vu que si la convergence est conditionnelle, elle dpend crucialement de lordre dans lequel la somme est calcule.
Rappelons que N N est dnombrable. Si : N N N est une bijection, elle
dfinit un ordrePsur N et la question prcdente
revient donc se demander si la
P
double somme i,j ai,j peut se calculer n a(n) et surtout si le rsultat dpend du
choix de .
Dfinition 4.49. Soit (aij )i,jN K. La srie double
sup
nN
n
X
i,j=0
i,j
aij est sommable si
|aij | < .
La preuve de la proposition suivante est laisse titre dexercice.

P
P
Proposition 4.50. P
Si k ak et k bk sont deux sries absolument convergentes,
alors la srie double i,j ai bj est sommable.
Il rsulte du thorme suivant que pour des sries absolument convergentes
P
et k bk , on a
!
!
X
X
X
ai bj =
ai
bj .
i,j
ak
Thorme 4.51
P (Thorme de Fubini pour
P les sries). Soit (aij )i,jN K. Si la
srie double i,j aij est sommable, alors n a(n) converge absolument pour toute
bijection : N P
N N et P
la limite s est indpendante de . De plus, pour tout
i, j N, les sries k aik et k akj sont absolument convergentes et
X X
i
aik
X X
j
akj
= s.
4.4. Sries
67
Nous omettons la dmonstration de ce rsultat. La consquence importante

retenir de ce thorme est que lorsquune srie double est sommable, la double
somme peut se calculer comme deux sommes simples rptes et que lon peut
choisir lindice sur lequel on somme en premier.
Lorsque les termes aij dune srie double sont les produits
des termes ai et bj
P
de deux sries absolument convergentes, la srie produit i,j ai bj peut se calculer
en ordonnant N N de la faon que lon dsire. Un ordre bien adapt au produit
consiste sommer sur le premier indice dans lordre croissant et sur le second dans
lordre inverse.
P
P
Dfinition 4.52. Le produit de Cauchy de deux sries k ak et k bk est la srie
!
n
X
X
ak bnk .
n=0
k=0
P
P
Le Thorme de Fubini a pour consquence que si k ak et k bk convergent
absolument, alors
produit de Cauchy est une srie absolument convergente qui
P leurP
a pour somme i ai j bj . Nous attirons lattention (sans justification) sur le fait
que le produit de Cauchy de deux sries conditionnellement convergentes peut ne
pas converger.
P
Considrons nouveau la srie k z k /k! qui dfinit la fonction exp z. Nous avons
vu que le critre du quotient montre que cette srie converge absolument. Nous
pouvons donc appliquer les rsultats prcdents pour calculer exp yexp z. Effectuons
le produit de Cauchy des deux sries. En utilisant la formule du binme de Newton,
nous obtenons
!
n
X
X
y k z nk
exp y exp z =
k! (n k)!
n=0
k=0
!
n
X
1 X n k nk
=
y z
n!
k
n=0
k=0
X
n=0
(y + z)n
= exp(y + z).
n!
Cette formule dadditivit justifie la notation exp z = ez . En effet, dfinissons e par

exp 1. La formule donne
exp 2 = exp(1 + 1) = exp 1 exp 1 = (exp 1)2 .
Exercice 4.3. Montrez que pour tout q Q, exp(q) = eq .
Sries de puissances
Si (ak )k K et z0 K, la srie
X
k=0
ak (z z0 )k , o z K
68
est appele une srie de puissances. Nous allons voir que la convergence dune
telle srie dpend de la valeur de z. En z = z0 , la srie est nulle. Dans certains
cas, cest le seul point pour lequel la srie converge dans dautres, la srie converge
absolument pour tout z z0 .
Thorme 4.53. Soit (aP

k )k K. Il existe a [0, +], appel rayon de converk
gence, tel que la srie
k=0 ak (z z0 ) converge absolument si |z z0 | < a et
diverge si |z z0 | > a . De plus, on a la formule de Hadamard
a =
lim sup
k
p
.
k
|ak |
Dmonstration. La preuve consiste appliquer le critre de la racine :

p
p
|z z0 |
.
lim sup k |ak (z z0 )k | = |z z0 | lim sup k |ak | =
a
k
k
Lintrieur3 duP
disque de rayon a centr en z0 est appel le disque de converk
gence de la srie
k=0 ak (z z0 ) . La proposition qui suit donne bien souvent une
formule alternative pour calculer le rayon de convergence.
Proposition 4.54. Soit (ak )k K P

telle que limk |ak /ak+1 | existe dans R. Alors
k
le rayon de convergence de la srie
k=0 ak (z z0 ) est donn par

ak
.
a = lim
k ak+1
Dmonstration. Calculons

ak+1 (z z0 )k+1
=
lim
k
ak (z z0 )k
|z z0 |

ak .

lim
k ak+1

ak
Si |z z0 | < limk ak+1
, alors le critre du quotient entrane la convergence

P
ak
k
absolue de la srie
k=0 ak (z z0 ) . Si |z z0 | > limk ak+1 , alors le mme
P
k
critre montre que la srie
k=0 ak (z z0 ) diverge. En vertu du Thorme 4.53,
nous en dduisons que

ak

.
a = lim
k ak+1
P
Exemples 18. 1. Le rayon de convergence de la srie k (z z0 )k /k! est infini. En
effet, on observe que

1/k!

1/(k + 1)! = k + 1 +.
P 2
2. Le rayon de convergence de la srie k z k /k! est 1.
Dans ce contexte, lintrieur dun disque de rayon R centr en p est lensemble {x K | |xp| <
R}. La notion prcise dintrieur dun ensemble sera aborde dans le chapitre sur la topologie.
3
4.4. Sries
69
R nest pas dnombrable

La thorie des sries permet de justifier la reprsentation des nombres rels
laide des dveloppements dcimaux. Par exemple, le nombre rationnel
2+
1
5
7
+
+
10 100 10000
scrit de faon unique sous la forme 2, 1507. Pour donner un sens aux dveloppements dcimaux illimits, il faut recourir aux sries. Par exemple, lcriture 1, 9999 . . .
dsigne le nombre 2 car
1+
X
9
9
9 X k
1
10
=
1
+
=
1
+
1 = 2
k
10
10
10
1
10
k=0
k=1
et le dveloppement 0, 6666 . . . dsigne la fraction 2/3 car
X
6
6 X k
1
6
2
10 =
=
1 = .
k
10
10 k=0
10 1 10
3
k=1
Nous avons utilis les dveloppements dcimaux, cest--dire en base 10. Nous pouvons utiliser dautres bases (toujours entires). Ainsi un nombre rel x [0, 1] peut
se dvelopper dans une base b 2 en crivant
x=
xk bk ,
k=1
o xk {0, 1, . . . , b 1}. Comme xk b 1, on a

0
n
X
k=1
xk b
(b 1)
n
X
bk = 1,
k=1
ce qui assure la convergence de la srie.

Exercice 4.4. Montrer que x [0, 1] est rationnel si et seulement si son dveloppement en base b 2 est priodique, cest--dire quil existe n N et p N tel que
xk+p = xk pour tout k n.
Exercice 4.5. crire le dveloppement de 1/7 et 1/11 en base 2, 3 et 10.
Exercice 4.6. Dans la base de lalphabet (base 26), en le supposant ordonn par les
relations A = 1, B = 2, . . . , Y = 25 et Z = 0, montrer que 1/2 scrit Z, M, 1/10
scrit Z, BOO . . . et 1/9 scrit Z, BW BW . . ..
Lutilisation des dveloppements dcimaux fournit une dmonstration aise du
rsultat suivant en se basant sur la construction faite dans lExemple 6. Nous admettrons sans justification que le dveloppement dcimal dun nombre rel est unique
si on exclut les dveloppements tels que xk = g 1 pour tout k au del dun certain
indice K.
70
Thorme 4.55. Lensemble des nombres rels nest pas dnombrable.

Dmonstration. Notons quil est suffisant de montrer que [0, 1[ nest pas dnombrable. Argumentons par contradiction et supposons quil existe une bijection f :
N [0, 1[. Cette bijection ordonne [0, 1[ dans une suite f (0), f (1), f (2), . . .. Chacun
de ces nombres possde un dveloppement dcimal unique (on exclut les dveloppements se terminant par une infinit de 9) :
f (0) =
X
k=1
x0k 10k , f (1) =
X
k=1
x1k 10k , . . . , f (n) =
xnk 10k , . . .
k=1
P
k
o
Considrons le nombre rel a [0, 1[ dfini par
k=1 ak 10

0 si xk1 k 6= 0,
ak =
1 si xk1 k = 0.
Par construction, pour tout k N, on a a 6= f (k) puisquau moins un coefficient
dans le dveloppement dcimal diffre. Le nombre a nappartient donc pas limage
de N par f ce qui contredit la surjectivit de f .
Corollaire 4.56. Lensemble des nombres irrationnels nest pas dnombrable.
Dmonstration. Cest une consquence directe de la dnombrabilit de Q et du thorme prcdent. En effet, si R \ Q tait dnombrable, alors R = Q R \ Q serait
dnombrable comme union densembles dnombrables.
Tout intervalle [a, b] R contient donc plus de nombres irrationnels que de
nombres rationnels, mais rappelons que [a, b] Q et [a, b] (R \ Q) sont tous les deux
des sous-ensembles denses de [a, b].
Bibliographie
[1] Amann, Herbert ; Escher, Joachim. Analysis I. Birkhuser Verlag, Basel, 2005.
22, 27, 28, 29
[2] Amann, Herbert ; Escher, Joachim. Analysis II. Birkhuser Verlag, Basel, 2008.
[3] Amann, Herbert ; Escher, Joachim. Analysis III. Birkhuser Verlag, Basel,
2009.
[4] Choquet, Gustave. Cours danalyse. Tome II, Masson et Cie , 1964. 44
[5] Mawhin, Jean. Analyse : Fondements, techniques et volution, 2e dition, De
Boeck Universit, 1997.
[6] Protter, Murray H. A first course in real analysis, Springer, 1991.
[7] Tao, Terence. Analysis I. Texts and Readings in Mathematics, 37. Hindustan
Book Agency, New Delhi, 2006. 22, 27, 29
[8] Tao, Terence. Analysis II. Texts and Readings in Mathematics, 38. Hindustan
Book Agency, New Delhi, 2006.
71

Notes CDI1 V2 PDF

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Notes CDI1 V2 PDF

Transféré par

Droits d'auteur :

Formats disponibles

Calcul diffrentiel et Intgral I

Denis Bonheure & Joel Fine

BA1 en sciences mathmatiques et physiques

Table des matires

3 Les nombres rels et les nombres complexes

Table des matires

Les symboles et les quantificateurs

o le symbole se lit il nexiste pas.

(x X)(y Y ) : P (x, y) est vraie

2.1. Rappels lmentaires

Oprations sur les ensembles

Nous utilisons aussi la notation Y X, Y contient X au lieu de X Y .

Nous ferons parfois usage des lois de De Morgan :

Terminons ce paragraphe en rappelant la dfinition du produit cartsien de deux

Un peu de logique de base

2.2. Un peu de logique de base

o se lit est quivalent ou encore si et seulement si. Par exemple, lassertion

B est fausse A est fausse .

est quivalente lassertion

Laffirmation (2.2) est appele la contrapose de laffirmation (2.1). On retiendra

Voir la preuve par induction dans les Exemples 2.

2.2. Un peu de logique de base

(iii) Si P (x, y) est une proprit qui dpend de x et y, la ngation de

(x X)(y Y ) : x, y satisfont P (x, y),

(iv) Si P (x, y) est une proprit qui dpend de x et y, la ngation de

(x X)(y Y ) : x, y satisfont P (x, y),

Nier correctement les conjonctions et et ou est galement capital dans bien

pour un entier n donn, alors

2.3. Les fonctions

et le rsultat est dmontr. Testons la technique dinduction. Pour n = 1, le rsultat

ce qui prouve que la formule est correcte pour n + 1.

Dfinitions 2.3. Une fonction f : A X Y, x 7 f (x) est une relation qui,

2.3. Les fonctions

On peut se reprsenter cette dfinition sur la base de la Figure 2.3. Si on considre

Une fonction f : A X Y est injective si deux lments diffrents de A ont des

En pratique, on vrifie la contrapose, cest--dire

Dmonstration. Prouvons en premier lieu la condition ncessaire. Supposons que f

En vertu de la proposition prcdente, une fonction bijective f est galement

Relation dordre et champ ordonn

(ii) x y et y z implique x z (transitivit),

(iii) x y et y x implique x = y (antisymtrie).

2.4. Relation dordre et champ ordonn

Dfinitions 2.10. Soient (X, ) un ensemble ordonn et A X un sous-ensemble

Ces notions stendent naturellement aux fonctions de la faon suivante. Si (X, )

1. E, + est un groupe commutatif si la loi + est

(ii) associative, cest--dire que si e1 , e2 , e3 E \ {0}, on peut crire

(iv) telle que pour tout e E \ {0}, il existe un inverse e1 E \ {0}

Si en plus des lois daddition et de multiplication, lensemble E est muni dun

Proposition 2.12. Soient (E, ) un champ ordonn et x, y, a, 6 E, o > 0.

Ce symbole est une lettre grecque qui se lit epsilon.

2.4. Relation dordre et champ ordonn

(i) x = |x|sign(x) et |x| = xsign(x),

(ii) |x| = | x| et x |x|,

(iii) |xy| = |x||y|,

(iv) |x| 0 et |x| = 0 si et seulement si x = 0,

(v) |x a| < si et seulement si a < x < a + ,

(vi) |x + y| |x| + |y|,

Dmonstration. Les cinq premires proprits dcoulent directement des dfinitions

En changeant le rle de x et y dans cette ingalit, on obtient

o nous avons utilis les notations condenses

|xi | = |x1 | + . . . + |xn |.

Les naturels, les entiers et les rationnels

Lensemble des nombres naturels7 (ou entiers positifs) est lensemble