Académique Documents
Professionnel Documents
Culture Documents
Analyse
Analyse
Mathmatique I
II
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
20
20
29
30
34
38
38
41
53
55
57
71
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
103
103
110
112
113
115
iv
Compacit
1 Introduction . . . . . . . . . . .
2 Dfinitions quivalentes . . . .
3 Thorme des bornes atteintes .
4 quivalence des normes sur RN
5 Exercices . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
119
119
125
127
134
.
.
.
.
.
143
143
147
154
157
159
.
.
.
.
.
.
163
163
171
181
187
188
190
.
.
.
.
195
195
197
199
204
.
.
.
.
.
.
.
211
211
213
213
215
215
218
219
225
225
229
230
233
233
240
242
244
246
249
Notations
.
.
.
.
.
.
.
.
.
.
.
.
251
Chapitre I
Limite de suites dans R
I.1
Introduction
...
tape 1
tape 2
tape 3
F IGURE I.1 Remplissage dun verre par tapes
vide, cest--dire que jajoute 1/8 de liquide, ce qui me donne que 1/2+1/4+1/8
du verre est plein tandis que 1/8 = 1/23 est vide (voir Fig. I.2). En continuant de
1/8
1/4
1/2
1/2
1/4
1/8
1/4
1/2
1/2
...
tape 1
tape 2
tape 3
F IGURE I.2 Dcompte des quantits de liquide
I.1 Introduction
1
0.841470984808...
1/10
0.998334166468...
1/100
0.999983333417...
x
(sin x)/x
1/1000
0.999999833333...
1/104
0.999999998333...
1/105
0.999999999983...
1
0.8
0.6
0.4
0.2
0
-0.2
-0.4
-6
-4
-2
I.1 Introduction
simplement la distance parcourue divise par le temps mis la parcourir. Cependant, durant mon voyage, jai sans aucun doute acclr, ralenti, et mme peut-tre
me suis-je arrt. Ces variations ne sont pas du tout prises en compte par la vitesse
moyenne. Ce quon voudrait donc faire, cest dfinir la vitesse (instantane, pour
la diffrentier de moyenne) du vhicule chaque moment du voyage. Lide est la
suivante : si un moment t donn on regarde la distance parcourue par le vhicule
durant un temps trs court, alors la vitesse moyenne durant ce temps, savoir
distance parcourue
,
temps coul
reflte assez bien ma vitesse au moment t puisquil est peu probable que jai russi
acclrer ou dclrer durant le petit intervalle de temps. Nanmoins, cela ne
reste quune approximation de ma vitesse. Et cette approximation est plus ou
moins bonne selon que je conduise un vlo, une voiture ou un avion ! Ce nest
donc pas une dfinition satisfaisante de la vitesse ! Quel est le remde ? Simplement amliorer lapproximation ! Plus prcisment, on va faire des mesures de la
distance parcourue di durant des intervalles de temps ti de plus en plus petits. On
obtient une suite de nombres qui sont les vitesses moyennes sur ces intervalles,
d1 d2 d3
di
, , , ..., , ...,
t1 t2 t3
ti
et qui (nous lesprons) se rapprochent de plus en plus de la vitesse instantane. Autrement dit, si la suite des vitesses moyennes se stabilise autour dun
nombre donn, ce nombre est appel la vitesse instantane. Une formalisation plus
pousse de cette explication conduit au concept de drive dont nous reparlerons
au chapitre VI.
4. Ce genre de mthode, o on dfinit approximativement une quantit pour ensuite la raffiner , est au cur mme de lanalyse. Une utilisation trs ancienne
de ce type de mthode est due Archimde. Les grecs savaient que laire dun
disque de rayon r est r2 et que sa circonfrence est 2r o est un nombre qui
ne dpend pas du rayon du cercle. Mais toute la question tait : quelle est la valeur
de ? Lide gniale dArchimde fut la suivante : sil est difficile de calculer
exactement, au moins peut-on lapprocher ! En effet, considrons le disque de
rayon unit. On peut lui inscrire un polygone avec un grand nombre de cts.
c1 =
1
I
@
q@
1 14 c22
a1 = 2
q
a2 = 2c2 4 c22
et donc son aire a1 vaut 2. Divisons chaque ct du carr en deux et poussons les
milieux sur le cercle. Nous obtenons un octogone (Fig. I.5). Pour calculer son aire
a2 , il suffit de connatre la q
longueur c2 du ct de loctogone
car on en dduit que
q
laire du triangle vaut 12 c2 1 14 c22 , do a2 = 8 14 c2 4 c22 . Reste dterminer c2 . Cependant, comme nous allons ensuite rpter la procdure de division des
cts, mieux vaut chercher un argument gnral.
Supposons donc que nous ayons dj effectu n tapes. Nous avons un polygone 2n+1 cts dont nous connaissons laire an et le ct cn . Nous divisons
chaque ct en deux selon la procdure ci-dessus, ce qui nous donne un polygone 2n+2 cts dont nous voudrions dterminer laire an+1 et le ct cn+1 . Par
un raisonnement analogue celui fait pour loctogone, nous savons que ces deux
quantits sont lies et quen fait
q
q
an+1 = 2n+2 21 cn+1 1 14 c2n+1 = 2n cn+1 4 c2n+1 .
Pour dterminer cn+1 , regardons la figure I.6. valuons de deux manires diffrentes laire du triangle gris. Cest le mme triangle
q qui nous a servi calculer
laire totale du polygone, donc son aire vaut 12 cn+1 1 14 c2n+1 . Dautre part, on
peut considrer quil a comme base un rayon du cercle et comme hauteur cn /2.
I.1 Introduction
1
cn+1
q
1 41 c2n+1
cn
1
1
(I.1)
(I.2)
Cest une quation du second degr en c2n+1 dont les racines sont
q
= 2 4 c2n
et
q
+ = 2 + 4 c2n .
1 c2n+1 /4.
deux racines refltent donc les deux possibilits. Comme ici cest le ct quon a
nomm cn+1 , on a gomtriquement quil est plus petit que la hauteur. Ainsi 5
c2n+1
q
2
1 2
2 1 4 cn+1 = + .
et
(I.3)
On conclut que
r
cn+1 =
q
4 c2n
an+1 = 2n cn+1
et
q
4 c2n+1 .
4 c2n
et
an+1 = 2n cn .
(I.4)
On peut donc, en partant de c1 = 2, calculer la main ou laide dun ordinateur 6 les quantits a2 , a3 , a4 ,... Daprs la construction de ces quantits, on espre
quelles se rapprochent du nombre , ce qui scrit
an .
Regardons plutt :
a1 = 2
a2 = 2.8284271247...
a3 = 3.0614674589...
a4 = 3.1214451523...
a5 = 3.1365484905...
a10 = 3.1415877253...
a15 = 3.1415926488...
a20 = 3.1415926536...
a25 = 3.1415926536...
La suite des valeurs semble en effet se stabiliser prs dun nombre qui commence
par 3,14159... videmment, seule notre intuition gomtrique nous dit que la suite
des valeurs an converge (vers ). Et comme nous ne pouvons calculer une infinit
de ces an , il ne nous est pas possible de voir quen effet on na pas de mauvaise
q
2
5. On peut vrifier que cest cohrent. La formule 2 1 14 c2n+1 = + se rduit 4 =
+ cest--dire + + = 4, ce qui se lit sur lquation (I.2).
6. Attention cependant, telles qucrites, les formules (I.4) possdent une instabilit numrique qui engendre une amplification des erreurs et produit ainsi des rsultats compltement
errons. (Voir aussi la note 2 en bas de la page 4.)
I.1 Introduction
surprise, ni pour a1000 , ni pour a1030 ,... Ce chapitre vous donnera les outils qui
permettent de prouver que les an convergent.
5. Supposons que nous voulions crire un programme qui calcule les cn et an de
lexemple prcdent. Pour cela, il faudrait une procdure de calcul pour la racine
carre. En gnral, les langages de programmation fournissent une telle fonction
souvent appele sqrt pour square root . Comment fonctionne-t-elle ? Et
galement, comment faire si ce nest pas de la racine carre mais de la racine
cubique dont nous avons besoin ? Nous allons ci-aprs proposer une mthode de
calcul un algorithme pour la racine ke dun nombre positif et montrer le
rle de la notion de convergence dans sa justification. Le point de dpart est de
x1
f (x) = xk a
x0
x3 x2
x1
x0
a
f (x0 )
= (1 1k )x0 + k1 =: N (x0 )
x f (x0 )
kx0
(I.5)
10
o x f (x0 ) dsigne la drive de f au point x0 par rapport la variable x. videmment, rien ne nous empche de rpter la mme opration sur x1 pour obtenir
N (x1 ) qui est encore une meilleure approximation de la racine. De manire gnrale, lalgorithme est le suivant. On part dune valeur x0 quon raffine progressivement grce la fonction N . Comment choisir x0 ? Daprs le graphique, il est
utile de choisir x0 > k a mais pas trop loin. Un choix simple est de prendre x0 = a
si a > 1 et x0 = 1 si a 6 1, cest--dire x0 = max{a, 1}. En rsum, lalgorithme
scrit
x0 = max{a, 1}
et
xn+1 = N (xn ) pour n N.
Daprs le procd de construction, on a envie de dire que xn se rapproche dautant
plus de la racine que n est grand, autrement dit que
xn
k
a
En tout cas, si xn se rapproche dune valeur, disons b R, alors b doit tre racine
de lquation. En effet, si xn b et xn+1 b, on a 7 b xn+1 = N (xn ) N (b).
I.1 Introduction
11
x1 = F(x0 ) = x0 /2,
x2 = x1 /2 = x0 /22 , ...,
xn = x0 /2n , ...
Plus n est grand, plus 2n est grand et donc plus le quotient x0 /2n est petit (proche
de 0). Autrement dit :
xn 0.
Ce qui est remarquable, cest que cette conclusion ne dpend pas de x0 . Ainsi les
orbites de tous les points convergent vers 0. Pourquoi 0 ? Qua-t-il de particulier ?
Cest un point fixe, un point qui ne bouge pas sous laction de F : F(0) = 0. Si on
regarde lorbite de 0, on obtient :
x0 = 0,
x1 = F(x0 ) = 0,
x2 = F(x1 ) = 0, ...,
xn = 0, ...
12
y=
y=
Peut-on reprsenter graphiquement ce phnomne ? Tout dabord, comment identifier les points fixes sur le graphe de F ? Rappelons que le graphe de F est lensemble des couples (x, y) [0, 1] [0, 1] tels que y = F(x). Un point fixe x est
un point tel que x = F(x), donc il correspond un point (x, y) du graphe de F
avec y = x. Autrement dit, un point fixe de F est obtenu comme lintersection du
graphe de F avec la droite dquation y = x, cest--dire avec le graphe de la fonction identit x 7 x. La figure I.9 confirme que lunique point fixe de F est bien 0.
(xn+1 , xn+1 )
F
xn+1
0
F IGURE I.9 Points fixes de F
@
R
@
F
(xn , F(xn ))
xn+1
xn
F IGURE I.10 Une itration
Intressons nous maintenant aux orbites. Comment les voir ? Pour cela, il faut
comprendre comment on peut construire graphiquement xn+1 partir de xn . Cest
trs simple : puisque xn+1 = F(xn ), lordonne du point du graphe de F en labscisse xn vaut prcisment xn+1 (voir Fig. I.10) ! Le problme est que, pour pouvoir
rpter la construction, il faut faire redescendre xn+1 sur laxe des x. Pour cela
la droite dquation y = x va de nouveau nous tre dune grande utilit. En effet, le
point dintersection de la droite horizontale passant par (0, xn+1 ) et la droite y = x
est (xn+1 , xn+1 ). Autrement dit, labscisse de ce point est prcisment la valeur
xn+1 reporte sur laxe des x. Une fois cela compris, il est facile de visualiser les
orbites : il suffit de rpter la construction ci-dessus. Par exemple, la figure I.11,
nous avons reprsent les orbites de deux points x0 et x00 . On voit clairement que le
comportement de nimporte quelle orbite sera toujours le mme : elle va dcrotre
et tendre vers 0. Dans ce premier exemple, lapproche analytique et graphique
conduisent toutes deux assez rapidement la mme conclusion. Lavantage de
13
y=
y=
I.1 Introduction
... x3 x2
x1
x0
0 ... x20
x10
x00
0.8
0.8
0.6
0.6
0.4
0.4
0.2
0.2
0
0
0.2
0.4
0.6
0.8
0.2
0.4
0.6
0.8
14
dtre soutenu par un raisonnement plus approfondi que nous ne ferons pas.
Jusqu prsent, les systmes dynamiques abords avaient un comportement
simple : toutes les orbites convergent vers lunique point fixe. Les fonctions F
considres taient des polynmes du premier degr. Quen est-il pour les polynmes du second degr. Considrons par exemple la fonction F : [0, 1] [0, 1] :
x 7 x(1 x). Pour que F ([0, 1]) [0, 1], il faut que [0, 4]. Quels comportements pouvons nous avoir ? Pour [0, 1], le graphe de F est entirement en
dessous de la diagonale ; F na quun seul point fixe dans [0, 1] qui est 0. Comme
prcdemment, toutes les orbites convergent vers 0 (voir Fig. I.13).
1
= 0,7
=1
0.8
0.8
0.6
0.6
0.4
0.4
0.2
0.2
0
0
0.2
0.4
0.6
0.8
0.2
0.4
0.6
0.8
I.1 Introduction
15
= 1,4
= 1,8
0.8
0.8
0.6
0.6
(x , x )
0.4
A
0.4
A
U
A
0.2
0.2
0
0
0.2
0.4
0.6
0.8
0.2
0.4
0.6
0.8
= 2,8
=2
0.8
0.8
(0,5; 0,5)
0.6
0.6
AA
U
0.4
0.4
0.2
0.2
0
0
0
0.2
0.4
0.6
0.8
0.2
0.4
0.6
0.8
quelque chose dtrange a lieu : le point fixe x est toujours l mais les orbites
ne convergent plus vers lui (Fig. I.17) ! Que sest-il pass ? Lorsque augmente,
la valeur absolue de la pente de F au point fixe x augmente galement si bien
16
= 3,1
= 3,3
0.8
0.8
0.6
0.6
0.4
0.4
0.2
0.2
0
0
0.2
0.4
0.6
0.8
0.2
0.4
0.6
0.8
x,2
x,1
x,2
7
7
7
7
,i
Puisque F F (x,i
) = x pour i = 1, 2, on peut trouver les valeurs de points de
cette orbite en rsolvant F (F (x)) = x, ce qui donne 9 :
p
p
2 2 3
+
1
+
2 2 3
+
1
,2
et
x
=
x,1
=
2
2
(le radicant est positif pour > 3). En rsum, pour > 3 et proche de 3,
,2
toutes les orbites convergent vers le cycle dordre 2 (x,1
, x ) except bien sr
les orbites de 0, 1 et x .
On peut voir les transitions de convergence vers 0 convergence vers
I.1 Introduction
17
x,2
0.8
0.6
x,1
0.4
0.2
0
0
0.5
1.5
2.5
3.5
18
sent par la branche en pointill sur la Fig. I.18) et une bifurcation vers un cycle
dordre 4 apparat (Fig. I.19). Ce dernier devient lui-mme bientt instable et bifurque vers un cycle dordre 8, etc. chaque bifurcation, on passe dun cycle
dordre 2n un cycle dordre 2n+1 . Ce phnomne est appel doublement de
priode. Il est illustr par le diagramme de bifurcation de la figure I.19. Quand
tous ces dveloppements sont finis, on nest pas encore = 4 mais seulement
= 3,56994567184... Que se passe-t-il ensuite ? Comme on le voit sur la fi-
x,2
x
x,1
I.1 Introduction
19
= 3,9
= 3,8
0.8
0.8
0.6
0.6
0.4
0.4
0.2
0.2
0
0
0.2
0.4
0.6
0.8
0.2
0.4
x,2
x,1
0.6
0.8
20
I.2
I.2.1
Dans lintroduction, nous nous sommes intresss au comportement de certaines suites en mettant laccent sur leur convergence. prsent, nous voulons
formaliser ces diffrentes notions. Par exemple, comment dfinir rigoureusement
ce quest une suite de nombres, ou bien comment crire prcisment quune suite
converge vers un point ? Ce paragraphe rpond ce genre de questions.
Intuitivement, une suite est un ensemble de nombres placs dans un certain
ordre, ventuellement avec des rptitions. Lide tant dtudier ce qui se passe
plus loin , les suites seront infinies. Exemples :
21
3
2
1
(iv) (zn )n>3 = nn3
,
,
=
0,
2
16 25 36 , . . . ) ;
n>3
(v) (pn )n>1990 o pn dsigne la population de la Belgique recense le premier
janvier de lanne n ;
(vi) les suites arithmtiques de raison a : (na + b)n>0 o b R ;
(vii) la suite gomtrique de raison a : (an )n>0 ;
(viii) la suite de Fibonacci ( fn )nN = (1, 1, 2, 3, 5, 8, 13, . . . ) dfinie rcursivement par f0 = f1 = 1 et fn+1 = fn + fn1 pour n > 1.
Remarquons que pour construire une suite, il nest pas ncessaire dimposer que
tous les naturels soient utiliss comme indices. Dautre part, on nimpose aucun
procd de construction, cest--dire que le terme gnral ne doit pas ncessairement tre dfini par une formule (voir ex. (v)). Mais, dans chaque exemple,
on note quune fois lindice n donn, le nombre xn (ou yn ,...) qui lui est associ
est univoquement dtermin. En dautres termes, un n on peut associer xn sans
risque de confusion : n 7 xn est une fonction. Nous en arrivons la dfinition :
Dfinition I.1. Une suite de rels est une application
I R : n 7 xn
(I.6)
22
xn0 +1
xn0 +2
xn0
xn0
n > n0 |xn a| 6 .
(I.7)
23
n > n0 |xn a| 6 ,
(I.8)
n00 , n I,
(I.9)
Soit n I tel que n > max{n0 , n00 } (pourquoi un tel n existe-t-il ?). Les formules
(I.8) et (I.9) impliquent que
|xn a| 6
et
|xn b| 6 .
Exemples I.5. (i) La suite (xn )nN dfinie par xn = a pour tout n N o a R
(cest la suite constante) converge vers a, cest--dire limn a = a. En effet, soit
> 0. Il sagit de trouver un n0 tel que, si n > n0 , alors on a |a a| 6 , ce qui
est quivalent 0 6 . Cette dernire condition tant toujours satisfaite, nimporte
quelle valeur pour n0 convient. Donc la suite constante, de constante a, converge
vers a.
(ii) Montrons que limn 1/n = 0.
Pour dabord se convaincre du rsultat, on peut visualiser la suite (1/n)n>1
graphiquement, soit en plaant les lments sur la droite relle (Fig. I.24), soit en
mettant en abscisses les valeurs de n et en ordonnes les valeurs prises par 1/n
(Fig. I.25). Utilisons maintenant la dfinition. Fixons nous un > 0 (arbitraire)
et cherchons un n0 tel que, si n > n0 , alors |1/n 0| 6 , cest--dire |1/n| 6 ,
ou encore n > 1/. Prenons n0 = d1/e o d1/e est le plus petit entier suprieur
ou gal 1/. Alors, n > n0 implique que |1/n| 6 (faites les dtails !). Par
consquent, on a limn 1/n = 0.
12. Remarquons que a 6= b implique > 0.
24
1
4
...
1/2
xn = 1/n
10
12
14
16
18
20
n
F IGURE I.25 1/n 0
(iii) Soit (xn )nN la suite dfinie par xn = (1)n . On a (xn )nN = (1, 1, 1, . . . ).
On voit graphiquement que cette suite ne converge pas (Fig. I.26). En effet, les
lments xn ne sapprochent daucun nombre. Comment montrer cela partir de
la dfinition ? Cela semble un peu plus difficile que dans les exemples prcdents
car il faut montrer que (I.7) nest satisfait pour aucun a. Autrement dit, il faut voir
que, pour tout a, (I.7) est faux, cest--dire
> 0, n0 , n > n0 ,
|xn a| > .
25
2
1.5
xn = (1)n
1
0.5
0
-0.5
-1
-1.5
-2
0
10
12
14
16
18
20
n
F IGURE I.26 Divergence de ((1)n : n N)
Dfinition I.6. Soient (xn )nI et (yn )nJ deux suites de R et R. On a :
(xn )nI + (yn )nJ := (xn + yn )nIJ
(xn )nI := (xn )nI
Lensemble des suites relles muni de cette addition et cette multiplication
scalaire est un espace vectoriel (vrifiez le !). Llment neutre pour laddition est
la suite (0)nN = (0, 0, 0, . . . ).
De manire similaire on peut dfinir la suite des produits et la suite des quotients de (xn )nI et (yn )nJ comme respectivement (xn yn : n I J) et (xn /yn :
n I J, yn 6= 0). Remarquons que la suite des quotients ne mrite son nom que
si I J {n : yn 6= 0} n0 + N, cest--dire si
n0 , n > n0 ,
yn 6= 0
(I.10)
auquel cas la suite est correctement dfinie par xn /yn : n I J (n0 + N) o
n0 est le plus petit des n0 tels que (I.10) est vrifi.
Voyons maintenant comment se comporte la limite sous ces oprations arithmtiques.
Proposition I.7. Soient (xn )nI et (yn )nJ deux suites de R telles que xn n
a
et yn n
b pour certains a, b R. Alors xn + yn n
a + b et xn yn n
a b.
En particulier cxn ca pour tout c R. Si, de plus b 6= 0, alors xn /yn a/b.
26
Dmonstration.
(i) Prouvons dabord que xn + yn a + b.
Soit > 0. Il faut montrer quon peut trouver un n0 N tel que, pour tout
n > n0 , on a |xn + yn (a + b)| 6 . Par dfinition de la convergence de (xn ) et
(yn ), on a
1 > 0, n1 , n > n1 ,
|xn a| 6 1
(I.11)
2 > 0, n2 , n > n2 ,
|yn b| 6 2
(I.12)
|xn a| 6 /2
n2 , n > n2 ,
|yn b| 6 /2
et
(1 + |a|)2 6 /2.
27
(I.12) avec 2 = |b|/2 > 0, on obtient lexistence dun n tel que |yn b| 6 |b|/2
pour n > n . On en dduit que |b|/2 6 |yn | |b| 6 |b|/2, do 0 < |b|/2 6 |yn |
pour n > n . En choisissant 2 dans (I.12) tel que 22 /|b|2 6 , on obtient
1 1 |b y | 2
n
2
6
6 .
=
yn b
|yn | |b|
|b|2
Do la thse.
Les conclusions de cette proposition peuvent se rcrire avec la notation
lim introduite ci-dessus :
lim (xn + yn ) = lim xn + lim yn
xn limn xn
=
n yn
limn yn
lim
Insistons sur le fait que ces formules sont valables sous lhypothse que les limites
figurant dans les membres de droite existent. Par exemple, il ne faut pas conclure
du fait que la limite de la suite (xn ) = (n) nexiste pas que celle de la suite (xn yn )
avec (yn ) = (1/n) nexiste pas non plus !
La propostion I.7 nous impose de connatre la limite des diffrents termes
dune expression algbrique pour dterminer la limite de celle-ci. Ce nest pas
toujours possible ni dailleurs souhaitable. Par exemple, pour la suite xn = 1n sin n,
vu que 1 6 sin n 6 1, on a 1/n 6 xn 6 1/n et donc intuitivement la suite doit
tendre vers zro comme les bornes suprieures et infrieures lindiquent. Cependant, la proposition I.7 ne peut tre utilise pour le justifier car on ne connait pas 13
la limite de la suite (sin n)nN . Les deux rsultats suivants vont nous apporter une
solution ce problme.
Proposition I.8. Soit (xn )nI R et a R. Lquivalence suivante est vraie :
xn n
a
|xn a| n
0.
28
Proposition I.9. Soient (xn )nI , (yn )nJ et (zn )nK trois suites de nombres rels
telles que
n I J K, xn 6 yn 6 zn .
(I.13)
Si xn a et zn a pour un certain a R, alors yn a.
Dmonstration. Soit > 0. Il faut trouver un n0 N tel que, si n > n0 , alors
|yn a| 6 . Les hypothses xn a et zn a impliquent respectivement que
n1 , n > n1 , |xn a| 6
et
n2 , n > n2 , |zn a| 6 .
n > n xn 6 yn 6 zn .
|xn a| 6 yn .
Si yn 0, alors xn a.
Nous pouvons maintenant traiter le cas de la suite ( 1n sin n)n>1 . En effet,
puisque 0 6 | 1n sin n| 6 1/n et que 1/n 0, la proposition I.9 implique que
| 1n sin n| 0 et alors la propostion I.8 avec a = 0 nous dit que n1 sin n 0.
Exemple I.12. Montrons que, si |a| < 1, alors an n
0. Pour commencer remarquons que grce la proposition I.8, il suffit de montrer que |an | = |a|n 0
et que donc nous pouvons sans perte de gnralit supposer a > 0. Puisque a < 1,
1/a > 1 et nous pouvons crire 1/a = 1 + pour un certain ]0, +[. Il est
facile (faites-le !) de prouver par rcurrence que
n N,
(1 + )n > 1 + n.
29
Ainsi donc,
0 6 an =
1
1
1
1 1
6
6
=
0
n
(1 + )
1 + n
n
n n
.
1r
Remarquez que le rsultat pour r = 1/2 quon avait trouv graphiquement dans
lintroduction est ici retrouv comme cas particulier.
I.2.2
Limites dingalits
xn 6 yn ,
alors a 6 b.
Dmonstration. Supposons au contraire que a > b et dduisons en une contradiction. En prenant = 31 (a b) > 0 dans les dfinitions de xn a et yn b,
on a
n1 , n > n1 , |xn a| 6
et
n2 , n > n2 , |yn b| 6 .
30
1
n
1
3
1/2
I.2.3
Sous-suites
Examinons plus en dtail la suite (xn ) = (1)n nN dont on a vu (page 24)
quelle ne convergeait pas. Daprs la figure I.26, on a envie de dire que les limites
de la suite sont +1 et 1. Dire cela cependant est malheureux car on sait que la
31
limite est unique... En fait, si on y regarde de plus prs, ce nest pas la suite (xn ) qui
converge mais des parties de celle-ci : les nombres dindices pairs x2n convergent
vers 1 tandis que ceux dindices impairs x2n+1 convergent vers 1. Les suites
(x2n )nN et (x2n+1 )nN sont des exemples de ce quon appelle des sous-suites.
Essayons maintenant de dfinir cette notion avec plus de prcision.
Comme on vient de le voir, une sous-suite consiste choisir certains lments
de la suite de dpart. Pas nimporte comment cependant. En effet, si on part de
la suite (xn )n>1 = (1/n)n>1 , on pourrait vouloir choisir uniquement llment x1
pour former la suite constante (x1 )nN = (1, 1, 1, . . . ). Cependant, ce qui nous intresse ici est que les limites des sous-suites, lorsquelles existent, disent quelque
chose sur la limite ventuelle de la suite de dpart. Il faut donc une manire dexprimer que les lments choisis disent quelque chose sur la fin de celle-ci.
Choisir des lments dans une suite (xn )nI revient slectionner des indices n.
Supposons que lon ait dcid de prendre les indices n0 , n1 , n2 , . . . si bien que
la nouvelle suite forme soit (xnk )kN . Pour que (xnk )kN parle de la fin de
(xn )nI , il faut avoir slectionn des lments dindices assez grands ou, plus prcisment, il faut que les nk deviennent de plus en plus grands. Pour voir cette
proprit, nous allons imposer 14 que la suite des nk soit strictement croissante.
Graphiquement, cela donne
(xn )nN :
(xnk )kN :
Remarquez que cette dfinition insiste sur le fait quune sous-suite est ellemme une suite. Rappelons quune fonction : J I est strictement croissante si
m1 , m2 J, m1 < m2 (m1 ) < (m2 ). Ici, puisque J est de la forme {m0 , m0 +
14. Cest en effet plus restrictif que les ides intuitives qui prcdent. Celles-ci se traduisent
exactement nk +.
k
32
1, m0 + 2, m0 + 3, . . . } pour un certain m0 N, il faut et il suffit de vrifier (voyezvous pourquoi ?) que m J, (m) < (m + 1).
Les sous-suites ont la proprit intressante suivante.
0 )
Proposition I.17. Soit (xm
mJ une sous-suite de (xn )nI . Si (xn )nI converge vers
0
a, alors (xm )mJ aussi.
On peut reformuler cette proprit en disant que, si une suite converge, toutes
ses sous-suites convergent vers la mme limite.
Dmonstration. Par dfinition de sous-suite, il existe une fonction strictement
0 =x
croissante : J I telle que m J, xm
(m) . Nous savons que I = {n
N : n > n0 } et J = {m N : m > m0 } pour certains n0 , m0 N. Commenons par
montrer que
m N, (m + m0 ) > m + n0 .
(I.14)
Faisons le par rcurrence. Pour m = 0, il est vident que (m0 ) > n0 puisque
(m0 ) I. Prouvons le maintenant pour m + 1 en supposant que ce soit vrai
pour m. En utilisant la croissance stricte de , on obtient (m + 1 + m0 ) > (m +
m0 ) > m + n0 et donc que (m + 1 + m0 ) > m + n0 + 1 comme dsir.
0 a, cest--dire que
Supposons maintenant que xn a et prouvons que xm
0 a| 6 . Soit > 0. Par dfinition de x a
> 0, m1 N, m > m1 , |xm
n
avec ce , on obtient
n1 , n > n1 , |xn a| 6 .
(I.15)
Choisissons m1 := max{n1 n0 , 0} + m0 N. Si m > m1 , m m0 N et (I.14)
impliquent que (m) = (m m0 + m0 ) > m m0 + n0 > n1 et donc, au vu de
0 a| = |x
(I.15), on a |xm
(m) a| 6 .
Grce ce rsultat, nous pouvons donner une preuve simple de la divergence
de (xn )nN = (1)n nN . En effet, les sous-suites (x2n )nN et (x2n+1 )nN ( quels
correspondent-elles ?) sont les suites constantes (1)nN et (1)nN et donc
convergent vers 1 et 1 respectivement. En consquence (xn ) ne peut converger,
sinon les limites des deux sous-suites seraient gales.
Notons que la rciproque de la proposition I.17 est vraie : si toute sous-suite
converge vers la mme limite, alors la suite de dpart converge vers cette limite.
Nous allons en fait prouver une quivalence un peu plus forte qui est plus utile
dans la pratique.
33
Proposition I.18. Soit (xn )nI une suite de nombres rels et a R. On a lquivalence suivante : xn a si et seulement si, de toute sous-suite de (xn )nI , on peut
extraire une sous-sous-suite qui converge vers a.
Notez que la limite des sous-sous-suites est a et est donc indpendante de
celles-ci.
Dmonstration. Condition ncessaire : Il suffit de montrer quune sous-soussuite de (xn ) est une sous-suite de (xn ) car on peut alors appliquer la propo0 )
00
0
sition I.17. Soit (xm
mJ (xn )nI et (x p ) pK (xm )mJ . Il faut montrer que
(x00p ) pK (xn )nI . Par dfinition, il existe des applications strictement croissantes
: J I et : K J telles que
0
xm
= x(m)
m J,
et
p K,
0
x00p = x(p)
.
(I.16)
0
|xm
a| > .
La proposition I.14 nous permet de passer la limite sur cette ingalit, ce qui
donne
0
0 = lim |xm
a| > .
n
34
I.3
(I.17)
n > n0 xn >
ce quon note xn n
+. Pour la convergence vers , on remplace xn > par
xn 6 .
Remarquez que si une suite converge vers + ou , elle est ncessairement non-borne. Il ny a donc pas de conflit avec la dfinition I.2 et la proprit
dunicit de la limite subsiste. On peut donc sans risque de confusion employer la
notation lim .
Pour insister sur le fait quon accepte comme limites, on dira quune suite
converge au sens large si elle converge vers un nombre rel, vers + ou vers
et quelle converge ou converge au sens strict si elle converge vers un nombre rel
35
(mais pas vers ). Dans la pratique, il arrive quon emploie le verbe converger au lieu de lexpression converger au sens large , le contexte permettant de
le comprendre. Dans ces notes cependant, nous nous efforcerons de ne pas faire
usage de cet abus.
Puisque nous venons dtendre la notion de convergence, il serait bon de passer en revue les diverses proprits que nous avons vues prcdemment et de voir
comment elles sadaptent. Commenons par les analogues des propositions I.7
et I.9. Nous aurons besoin pour cel du concept suivant.
Dfinition I.21. Soit (xn )nI R. On dit que (xn )nI est majore ou borne suprieurement (resp. minore ou borne infrieurement) sil existe un R R tel que,
pour tout n I, xn 6 R (resp. xn > R). Un tel R est appel un majorant ou une
borne suprieure (resp. un minorant ou une borne infrieure) de (xn )nI .
Proposition I.22. Soit (xn )nI et (yn )nJ deux suites de nombres rels.
(i) Si xn + et yn +, alors xn + yn +.
(ii) Si xn + et (yn ) est borne infrieurement, alors xn + yn +.
(iii) Si xn + et > 0, n N, n > n , yn > (en particulier si (yn )
converge au sens large et lim yn > 0), alors xn yn +.
(iv) Si xn + et > 0, n N, n > n , yn 6 (en particulier si (yn )
converge au sens large et lim yn < 0), alors xn yn .
Ces quatres proprits restent vraies si on change + et et remplace
borne infrieurement par borne suprieurement .
(v) Si xn + ou xn , alors 1/xn 0.
(vi) Si xn 0 et n N, n > n , xn > 0 (resp. xn < 0) alors 1/xn + (resp.
1/xn ).
Proposition I.23. Soit (xn )nI et (yn )nJ deux suites de nombres rels. Si xn +
(resp. xn ) et
n I J,
alors yn + (resp. yn ).
xn 6 yn (resp. xn > yn )
36
yn > 0.
xn > /.
xn > .
37
prendre n0 := n car alors, pour tout n > n0 , 1/xn > 0 > . Si > 0, nous utilisons
la dfinition de xn 0 avec = 1/ > 0 pour obtenir
n1 , n > n1 , |xn | 6 .
Prenons n0 := max{n1 , n }. Si n > n0 , on a xn > 0 et donc |xn | 6 implique que
1/xn = 1/|xn | > 1/ = .
Comme dhabitude, il est intressant de considrer les suites constantes : les
points (ii) et (iii) de la proposition I.22 impliquent respectivement que, si c R,
xn + xn + c +
(
+ si c > 0
xn + cxn
si c < 0
xn xn + c
(
si c > 0
xn cxn
+ si c < 0
Cest cette proposition aussi qui motive les rgles de calcul sur les infinis. Par
exemple, on pose (+)+(+) = + parce que (i) est vrai pour nimporte quelles
suites. On justifie (ne restez pas les bras croiss...) de la mme manire les rgles
suivantes :
(+) + (+) = +,
c R,
() + () = ,
+ + c = + et
(+)(+) = ()() = +,
+ c = ,
(+)() = ()(+) =
c > 0,
c(+) = + et
c() = ,
c < 0,
c(+) = et
c() = +.
Certaines oprations ne sont pas dfinies parce quon na pas de raison de leur
attribuer une valeur plutt quune autre. Par exemple, pour 0(+), on peut trouver
des suites (xn ) et (yn ) telles que xn 0, yn + et lim xn yn peut valoir nimporte
quel rel, +, , ou mme peut ne pas exister. Donnons des exemples de suites
pour ces quatres cas :
si c R, xn := c/n 0, yn := n + et xn yn = c c ;
xn := 1/n 0, yn := n2 + et xn yn = n + ;
xn := 1/n 0, yn := n2 + et xn yn = n ;
xn := (1)n /n 0, yn := n + et xn yn = (1)n ne converge pas (mme
pas au sens large).
38
De la mme manire, les proprits des limites ne permettent pas dattribuer une
valeur 0(), (+) (+), (+) + (), () (), +/ + , +/
, / qui sont par consquent laisss indtermins. (Pouvez-vous faire le
mme travail que pour 0(+) : pour chaque opration, dterminer lensemble des
limites possibles et donner un exemple de suite pour chacune dentre elles ?)
Finissons notre passage en revue des proprits vues pour la convergence
stricte et de leur adaptation la convergence au sens large. La proposition I.14
continue dtre valable si les suites (xn ) et (yn ) convergent au sens large. Son intrt est cependant rduit pour des limites infinies. Enfin, les propositions I.17
et I.18 restent vraies dans les cas a = + et a = . Le lecteur sen convaincra
facilement en reprenant les dmonstrations et en remplaant > 0 par R et
|xn a| > par xn > ou xn 6 (selon le signe de a).
I.4
I.4.1
39
(I.19)
Il faut montrer que (xn ) est de Cauchy. Soit > 0. En prenant 1 = /2 > 0 dans
(I.19), on a
n1 N, n > n1 , |xn a| 6 /2.
(I.20)
40
Comme on peut le voir sur la figure I.8 (page 9), la suite (xn ) est strictement
dcroissante et minore par 1 :
n N,
xn+1 < xn
(I.21)
n N,
xn > 1.
(I.22)
2 < xn2 .
(I.23)
Dautre part, il est facile de prouver par rcurrence (faites le !) que xn > 0 pour
tout n. Ds lors, (I.23) implique que xn2 > 2 > 1 et donc que xn > 1. Il reste donc
tablir (I.23). Faisons le par rcurrence. Pour n = 0, lingalit devient 2 < 4
2 . En remplaant
ce qui est vrai. Supposons que 2 < xn2 et montrons que 2 < xn+1
2
xn+1 par xn /2 + 1/xn , on trouve que xn+1
> 2 est quivalent (faites les calculs !)
(xn2 2)2 > 0 ce qui est vrai puisque, par hypothse de rcurrence, xn2 6= 2.
Nous verrons la section suivante (thorme I.30) que les proprits (I.21) et
(I.22) impliquent que la suite (xn ) soit de Cauchy. Supposons que celle-ci converge
vers un lment a. Bien sr on a alors aussi que xn+1 a (pouvez-vous le montrer ?). De plus, par les rgles de calcul de la proposition I.7, on a
x
1 a 1
n
a = lim xn+1 = lim
+
(I.24)
= + .
n
n 2
xn
2 a
On pouvait appliquer la rgle concernant le quotient 1/xn car de (I.22) on dduit
que a > 1 et donc a 6= 0. On peut rcrire (I.24) sous la forme :
a2 = 2.
Or il ny a aucune solution a Q cette quation. 15 Cela montre bien que la suite
(xn ) Q ne peut converger vers un lment de Q.
Lavantage de lexemple prcdent est quil nutilise que Q. Si on accepte
quon connait R, on peut donner un exemple qui est peut-tre plus facile com
prendre. Considrons a = 2 dont on vient de voir quil nappartient pas Q. On
15. Soit p/q Q une solution, cest--dire que p2 = 2q2 avec p, q Z. En simplifiant par 2
autant de fois que ncessaire la fraction p/q, on peut supposer que p ou q est impair. Mais p2 = 2q2
implique que p2 et donc p est pair (faites les dtails). Donc, p = 2r pour un r Z et q2 = 2r2 .
Mais alors q est aussi pair ce qui contredit le fait quun des deux devait tre impair.
41
a = 2 = 1,414213562 . . . = 1,a1 a2 a3 . . .
1a1 . . . an
Q
10n
/ Q.
bien de Cauchy en vertu de la proposition I.25 tend vers a = 2
Ces deux exemples montrent que les suites de Cauchy de Q ne convergent pas
ncessairement dans Q en fait elles convergent dans R. Les espaces dont les
suites de Cauchy possdent une limite dans ce mme espace sont fondamentaux
en Analyse. Ils sont dit complets .
Dfinition I.26. Un espace X est dit complet si toute suite de Cauchy dans X
converge vers un lment de X.
Daprs ce qui vient dtre dit, Q nest pas complet. Par contre lespace R lest
et cest sa caractristique essentielle par rapport Q. Plus prcisment :
Axiome I.27. R est le plus petit espace complet qui contient Q. On dit que R est
le complt de Q.
ce stade, il nest pas clair quun tel complt de Q existe ni quil puisse
tre muni dune structure de corps. Pour ceux qui sont intresss, une construction
de R et la preuve de diverses proprits sera donne la section 6. Pour les autres,
vous pouvez penser que R est essentiellement Q auquel on a rajout des lments
pour boucher les trous afin que toutes les suites de Cauchy convergent.
I.4.2
Nous allons maintenant tirer diverses consquences du fait que R est complet.
Commenons par dfinir clairement quelques notions.
Dfinition I.28. Soit (xn )nI une suite de nombres rels. On dit que (xn )nI est
42
43
0.12
7
0.1
0.9
6
0.8
0.08
5
0.7
0.06
0.6
0.5
0.4
0.3
0.04
0.02
0.2
1
0.1
10
15
20
25
30
0
0
10
12
14
16
18
20
12
15
18
F IGURE
n
I.30
25 + n2
|xn xm | > .
xm > xn + .
(I.25)
0 > 0
et x0 > x0 + .
1 > 1 > 0
et
x1 > x1 + .
k > k > k1
et
xk > xk +
(I.26)
44
>
...
|
|
xk
x k
>
|
|
xk+1
xk+1 . . .
>
xk+1 > xk + .
Une simple preuve par rcurrence (faites la !) permet alors de conclure que
k N,
xk > x0 + k.
(I.27)
Rappelons maintenant que (xn ) est borne suprieurement, cest--dire quil existe
un R R tel que xn 6 R pour tout n. En particulier,
k N,
xk 6 R.
(I.28)
k6
R x0
.
45
a
|
a0
|
1
[
46
Thorme I.33. Soit A R. Si A 6= est born suprieurement (resp. infrieurement), alors le suprmum (resp. linfinum) de A existe.
Nous ne ferons la dmonstration que pour le suprmum celle pour linfimum tant similaire.
Afin de faciliter la preuve de ce thorme, introduisons la notion de maximum approximatif . Si a R est le maximum de A R, cest que a A et
A ], a]. Lide de maximum approximatif est quon va garder la proprit
a A mais on va seulement demander que A soit approximativement recouvert
par ], a]. Plus prcidment, on a
Dfinition I.34. Soit A R, a R et > 0. On dit que a est un -maximum de A
si a A et A ], a + [.
Autrement dit, a A et a + est un majorant de A. Cela est illustr la figure I.33. Contrairement aux maximums, les -maximums ne sont pas uniques.
A
a
a+
XXX
X
9
z
X
], a + ]
F IGURE I.33 -maximum
Par exemple, pour ]0, 1[ et < 1, 1 /2, 1 /3, 1 /4,... sont tous des maximums. En fait, si a est un -maximum et a0 A est plus grand que a, alors a0
est aussi un -maximum. Lavantage des -maximums par rapport aux maximums
est quil leur faut trs peu dhypothses pour exister.
Proposition I.35. Soit A 6= un sous-ensemble de R. Si A est born suprieurement alors, quel que soit > 0, A possde (au moins) un -maximum.
Dmonstration. Soit > 0. Procdons par labsurde et supposons que A ne possde aucun -maximum. En niant la dfinition a A, a + soit un majorant
de A , on obtient :
a A, a0 A, a0 > a + .
(I.29)
Puisque A est non vide, on peut prendre (au hasard) un lment a0 A. En employant (I.29) avec a = a0 , on dduit lexistence dun a0 A, que nous allons noter
47
a1 , tel que a1 > a0 +. On peut de nouveau appliquer (I.29) avec a = a1 pour avoir
lexistence dun a2 A tel que a2 > a1 + . En continuant de la sorte, on construit
une suite
(an )nN A telle que n N, an+1 > an + .
(Pouvez-vous expliciter la construction par rcurrence qui se cache derrire ce
quon vient de dire ?) De cette proprit, on tire aisment par rcurrence que
n N, an > a0 + n.
(I.30)
R a0
48
sup A
a1 + 1
a2 + 1/2
a1
a2
...
an
an + 1/n
49
Dmonstration. Comme dhabitude, nous ne donnerons des preuves que des relations concernant le suprmum les autres tant similaires.
Commenons par montrer A B sup A 6 sup B. Si sup B = +, cest vident.
On peut donc supposer sup B < +. Puisque A B, tout a A appartient aussi
B et, vu que sup B est un majorant de B, a 6 sup B. Donc sup B est un majorant de
A. Comme le suprmum est le plus petit des majorants, on a sup A 6 sup B.
sup(A B) = max{sup A, sup B}. Vu que A et B sont inclus A B, sup A 6
sup(A B) et sup B 6 sup(A B) do max{sup A, sup B} 6 sup(A B). Dautre
part, si x A B, x appartient A auquel cas x 6 sup A 6 max{sup A, sup B},
ou x appartient B auquel cas x 6 sup B 6 max{sup A, sup B}. Autrement dit,
max{sup A, sup B} est un majorant de A B et la dfinition du suprmum implique
que sup(A B) 6 max{sup A, sup B}.
sup(A B) 6 min{sup A, sup B}. Cela dcoule du premier point car A B est
inclus A et B.
Remarquons que lingalit de la proprit dintersection nest en gnral pas
une galit. Par exemple, si A = {1, 2} et B = {1, 3}, on a sup(A B) = sup{1} =
1 < min{sup A, sup B} = min{2, 3} = 2.
Revenons maintenant la question de la valeur attribuer sup . Nous voudrions que la proposition prcdente reste valable cest pourquoi nous navons
pas mis des restrictions du type A 6= dans son nonc. Soit r R. Comme
{r}, nous voudrions que sup 6 sup{r} = r. tant donn que r est quelconque, cela signifie que sup doit tre plus petit que nimporte quel rel et ne
peut donc tre un rel. Au vu de ceci, il est naturel dadopter la dfinition suivante.
Dfinition I.38. On pose sup = et inf = +.
50
Le lecteur est invit vrifier que, grce cette dfinition, les autres proprits
de la propostion I.37 sont vraies mme si A ou B est vide.
ce moment, il est bon de rpter que le travail quon vient de faire nous
permet dattribuer une valeur dans [, +] sup A et inf A pour un ensemble
arbitraire A R. Nous avons vu que la compltude de R tait une condition suffisante pour lexistence de sup A et inf A. En fait, elle est essentielle. Par exemple,
dans Q, le suprmum de {x Q : x2 6 2} nexiste pas.
Dans le discours qui prcdait la dfinition de suprmum, nous avions not
que le suprmum tait le meilleur des majorants car il tait le plus petit ou le seul
qui collait lensemble. Explicitons cette seconde caractrisation.
Proposition I.39. Soit A R et a R. Le rel a est le suprmum (resp. linfimum)
de A si et seulement si a est un majorant (resp. minorant) de A et lune des trois
proprits (quivalentes) suivantes est vrifie :
(i) il existe une suite (xn )nI A telle que xn a ;
(ii) il existe une suite croissante (resp. dcroissante) (xn )nI A telle que xn
a;
(iii) > 0, a0 A, a 6 a0 (resp. a0 6 a + ).
Dmonstration. Il est clair que (ii) (i). On a aussi (i) (iii). En effet, tant
donn un > 0, le dfinition de xn a implique quil existe un xn A tel que
|xn a| 6 et donc tel que a 6 xn .
Condition ncessaire. Il suffit de prouver que si a = sup A, alors a satisfait (ii). Le preuve du thorme I.33 (page 47) construit en effet une suite croissante de A convergeant vers le suprmum.
Condition suffisante. Il suffit de montrer que si a est un majorant satisfaisant (iii), alors a = sup A. Comme a est un majorant, il reste prouver que cest
le plus petit dentre eux. Soit b un majorant de A. Soit n N \ {0}. En appliquant
(iii) avec = 1/n, on a lexistence dun a0 A tel que a 1/n 6 a0 . Puisque b est
un majorant, on en dduit que a 1/n 6 b. Vu que n est arbitraire, on peut passer
la limite n ce qui donne a = lim(a 1/n) 6 b comme dsir.
Remarque I.40. Il faut faire attention au fait que lquivalence de (i), (ii) et (iii) a
lieu sous lhypothse que a est un majorant de A.
51
Il est facile de dmontrer directement (i) (ii). En effet, tant donn (xn )nI ,
il suffit de considrer la suite max{xn : n I, n 6 k} kI .
Strictement parlant, on na pas dmontr que (iii) (ii). Pour le faire, il suffit de reprendre les ides qui permettent la construction de la suite (an ) dans la
dmonstration du thorme I.33 (page 6) mais demployer (iii) au lieu de lexistence des -maximums. Les dtails sont laisss au lecteur (cest un bon exercice !).
Comme nous avons prcis a R dans lnonc de la proposition prcdente,
celle-ci ne sapplique pas au cas o le suprmum prend une valeur infinie. videmment, si A = , il ny a aucune chance de trouver des suites dans A ! Lorsque
A est non-born suprieurement cependant, on peut trouver un analogue la proposition I.39. Le voici.
Proposition I.41. Soit A R. Le suprmum (resp. infimum) de A vaut + (resp.
) si et seulement si une des proprits (quivalentes) suivantes est satisfaite :
(i) il existe une suite (xn )nI A telle que xn + (resp. xn ) ;
(ii) il existe une suite croissante (resp. dcroissante) (xn )nI A telle que xn
+ (resp. xn ) ;
(iii) R, a0 A, a0 > (resp. a0 6 ).
Dmonstration. Comme dhabitude nous ne ferons la dmonstration que pour le
suprmum. Puisque (iii) ne veut rien dire dautre que A est non-born suprieurement, on a par dfinition que sup A = + (iii). De plus il est clair que (ii) (i).
Il reste donc prouver que (i) (iii) (ii).
(i) (iii). Soit > 0. Comme xn +, il existe au moins un n tel que
xn > (pouvez-vous faire les dtails ?). De plus xn A puisque la suite est inclue
A. Il suffit donc de prendre a0 := xn .
(iii) (ii). Construisons dabord une suite (xn0 )nN A. En utilisant (iii)
avec = n, on obtient lexistence dun xn0 A tel que xn0 > n. Posons xn :=
0 : m 6 n}. Clairement, (x )
max{xm
n nN est une suite croissante. De plus xn +.
Il suffit en effet dutiliser la proposition I.23 et de remarquer que, pour tout n N,
xn > xn0 > n n
+.
Les deux propositions prcdentes montrent que le suprmum dun ensemble
non-vide est la limite dune suite croissante dlments de cet ensemble. Inversment, tant donn une suite croissante, le suprmum peut caractriser sa limite.
52
Proposition I.42. Soit (xn )nI R. Si (xn )nI est croissante (resp. dcroissante),
alors, au sens large, xn n
sup{xn : n I} (resp. xn n
inf{xn : n I}).
Dmonstration. Nous ne ferons la preuve que pour les suites croissantes, le cas
des suites dcroissantes est laiss au lecteur. Distinguons deux cas.
Si sup{xn ; n I} = +, cest que lensemble {xn : n I} nest pas major.
Montrons que xn +, cest--dire que R, n0 N, n > n0 , xn > . Soit
R. Puisque ne peut tre un majorant de {xn : n I}, il existe un n0 I tel
que xn0 > . Pour tout n > n0 , la croissance de la suite implique que xn > xn0 et
donc que xn > comme dsir.
Lautre possibilit est que a := sup{xn ; n I} R (en effet le suprmum ne peut
valoir car lensemble nest pas vide). Il faut prouver que xn a, cest--dire
que > 0, n0 N, n > n0 , |xn a| 6 . Soit > 0. En vertu du point (iii) de
la proposition I.39, il existe un xn0 {xn : n I} tel que a 6 xn0 . Soit n > n0 .
Vu que la suite est croissante, on a xn > xn0 . De plus, comme a est le suprmum
de {xn : n I}, on a en particulier que xn 6 a. Ainsi
a 6 xn0 6 xn 6 a < a +
et donc |xn a| 6 comme voulu.
Intressons nous maintenant la prservation ou non des ingalits par passage au suprmum. Au vu des propositions I.39 et I.41 qui disent que les suprmums peuvent sobtenir par un processus de limite, on sattend ce que la
situation soit semblable celle de la proposition I.14 : les ingalits larges sont
prserves tandis que les ingalits strictes peuvent devenir larges. Cest effectivement ce qui se passe.
Proposition I.43. Soient A et B deux sous ensembles de R. Si a A, b B, a 6
b (resp. b 6 a), alors sup A 6 sup B (resp. inf A > inf B).
Cette proposition est une gnralisation de A B sup A 6 sup B.
Dmonstration. Soit a A. Par hypothse, on sait quil existe un b B tel que
a 6 b. Vu que sup B est un majorant de B, on a b 6 sup B et donc a 6 sup B.
Puisque a est arbitraire, cela signifie que sup B est un majorant de A. Par dfinition
du suprmum de A, on a sup A 6 sup B.
53
Ce nest pas parce quon aurait a A, b B, a < b quon pourrait en dduire que sup A < sup B. Il suffit pour sen convaincre de prendre A = B = ]1, 0[.
Quel que soit a ]1, 0[, on peut prendre b := a/2 ]1, 0[ qui est > a. Pourtant
sup A = sup B.
Dans cette section, nous avons prsent le suprmum comme une gnralisation du maximum qui a lavantage de toujours exister. Terminons en expliquant
quand le suprmum dun ensemble est en fait un maximum.
Proposition I.44. Soit A R. Lensemble A possde un maximum (resp. minimum) si et seulement si sup A A (resp. inf A A), auquel cas sup A = max A
(resp. inf A = min A).
Dmonstration. Comme dhabitude, nous ne ferons la dmonstration que pour le
suprmum.
Condition ncessaire. Soit a A le maximum de A. Par dfinition, a est un
majorant de A. De plus, si b est un autre majorant de A, a 6 b puisque a A. Ds
lors a satisfait la dfinition du suprmum et on a sup A = a = max A A.
Condition suffisante. Posons a := sup A. Par hypothse a A. Par dfinition
du suprmum, a est un majorant de A. Donc a satisfait la dfinition du maximum
qui ds lors existe.
I.4.3
Dans cette section, nous allons utiliser les notions de suprmum et dinfimum
pour crer des limites qui existent toujours au sens large. Nous verrons les liens
avec le concept de limite vu prcdemment, ce qui nous donnera un outil supplmentaire pour prouver lexistence de limites.
Lide de base est dessayer de dfinir la limite par au-dessus et par endessous dune suite. Si (xn ) est une suite et n0 N, toutes les valeurs de xn pour
n > n0 se trouvent dans lintervalle inf{xn : n > n0 }, sup{xn : n > n0 } . Ainsi,
on peut voir cet intervalle comme lespace dans lequel xn peut se mouvoir pour
n > n0 . Pour que cet intervalle soit reprsentatif de ce qui se passe la fin
de la suite, il faut prendre n0 de plus en plus grand, cest--dire passer la limite
n0 +. Cela conduit la dfinition suivante.
54
Dfinition I.45. La limite suprieure (resp. limite infrieure) dune suite (xn )nI
R, note limn xn (resp. limn xn ), est dfinie comme
lim xn := lim sup xn
n0 n>n
n0 n>n0
Comme cest lusage, nous avons not supn>n0 xn (resp. infn>n0 xn ) au lieu de
sup{xn : n > n0 } (resp. inf{xn : n > n0 }). Certains auteurs utilisent les notations
lim supn xn (resp. lim infn xn ) la place de limn xn (resp. limn xn ). Nous
avons dit que ces limites existent toujours. En effet, puisque {xn : n > n0 } {xn :
n > n0 + 1}, la proposition I.37 implique que la suite (sup{xn : n > n0 })n0 N est
dcroissante et donc que sa limite existe et vaut linfimum de ses valeurs (voir la
propostition I.42). On peut faire le mme raisonnement pour la limite infrieure.
En rsum, on peut crire
lim xn = inf sup xn
et
n0 N n>n0
Il est aussi facile de voir que lim xn 6 lim xn . Puisque les limites suprieure et
infrieure sont des estimations du comportement de la suite linfini par le dessus
et par le dessous respectivement, il est naturel de penser que la suite aura une
limite si et seulement si les limites suprieure et infrieure concident.
Proposition I.46. Soit (xn )nI une suite de nombres rels. La suite (xn )nI
converge au sens large si et seulement si lim xn = lim xn , auquel cas lim xn =
n
lim xn = lim xn .
Dmonstration. Condition suffisante.
Puisque
n I,
inf xm 6 xn 6 sup xm
m>n
m>n
et que les suites (infm>n xm )nI et (supm>n xm )nI convergent toutes deux vers a,
la proposition I.9 ou I.23 implique que xn a.
Condition ncessaire. Ceci dcoule des propositions I.47 et I.17. En effet,
les limites suprieures et infrieures tant des limites de sous-suites et les soussuites ayant mme limite que la suite de dpart (qui existe par hypothse), on a
lim xn = lim xn = lim xn .
55
Posons n := max{n0 , n1 }. Par la dfinition quivalente du suprmum (proposition I.39), on sait quil existe un > n tel que
/2 + sup xm 6 x 6 sup xm .
m>n
(I.32)
m>n
(I.33)
I.4.4
56
un point la limite . Plus prcisment, si ([an , bn ])nN est une suite dintervalles (avec an , bn R) emboits, i.e., [an+1 , bn+1 ] [an , bn ] pour tout n, alors
T
nN [an , bn ] 6= (voir figure I.35). Cette proprit, qui sappelle la proprit des
a0
nN [an , bn ]
a1
b0
b1
a2
b2
a3
b3
..
.
F IGURE I.35 Proprit des intervalles emboits
intervalles emboits, est quivalente la compltude de R.
Proposition I.48. De la compltude de R on peut dduire la proprit des intervalles emboits et vice-versa.
Dmonstration. () Supposons quon sache que R est complet et dduisons-en
la proprit des intervalles emboits. Soit ([an , bn ])nN une suite dintervalles emboits. Sans perte de gnralit, on peut supposer que an 6 bn (sinon les changer).
Linclusion des intervalles sexprime alors par
n N,
an 6 an+1 6 bn+1 6 bn .
Autrement dit (an )nN et (bn )nN sont des suites croissante et dcroissante respectivement. Vu que (an )nN est majore par b0 et (bn )nN est minore par a0 ,
ces deux suites convergent respectivement vers a := supnN an R et b :=
infnN bn R (proposition I.42). Comme an 6 bn pour tout n, on a en passant
la limite que a 6 b . On va montrer que
\
[an , bn ] = [a , b ]
nN
nN
57
(I.34)
Quitte remplacer nk par max{n` : ` 6 k}, on peut supposer que la suite (nk )k>1
T
est croissante. Posons Jk := [xnk 1/k, xnk + 1/k] et Ik := `6k J` . Lensemble Ik
tant une intersection dintervalles, cen est un lui-mme. De plus, il est non-vide
car (I.34) implique que |xnk xn` | 6 1/` si k > ` (vu qualors nk > n` ) et donc que
nk J` pour tout ` 6 k. Enfin, Ik+1 = Ik Jk+1 Ik ce qui signifie que la suite
T
dintervalles (Ik )k>1 est emboite. Par hypothse, il existe donc un x k>1 Ik .
Nous allons montrer que xn x en vrifiant la dfinition de convergence.
Soit > 0. Il existe un k > 1 tel que 1/k 6 /2 par exemple k = d2/e. Posons
n0 = nk . Soit n > n0 . Par (I.34), |xn xnk | 6 1/k. Dautre part, comme x Ik Jk ,
on a |x xnk | 6 1/k. Donc
|x xn | 6 |x xnk | + |xnk xn | 6 1/k + 1/k = 2/k 6 .
I.4.5
Annexe : construction de R
Comme promis, nous expliquons ici une manire de construire R partir des
suites de Cauchy de Q. Il y en a dautres. On peut par exemple construire R partir
de coupures de Q. Le lecteur intress se reportera [1] pour plus de dtails.
Comment peut-on ajouter des lments Q de manire assurer une limite
toutes les suites de Cauchy de Q ? Aprs tout, nous navons aucune ide en
gnral de la valeur de cette limite ! Si on rflchit un peu, on se rend compte
que les valeurs ajouter existent par le fait quelles sont pointes par les suites de
Cauchy. Cependant, il faut bien se rendre compte quune mme valeur peut tre
pointe par diverses suites : par exemple, les deux suites (1/n) et (1/n2 ) tendent
toutes deux vers zro. Comment exprimer que deux suites de Cauchy pointent
vers le mme lment ? Il ne faut pas oublier en effet quil faut le faire sans parler
de la limite elle-mme. Intuitivement, deux suites vont avoir la mme limite si et
58
seulement si leurs lments sont proches les uns des autres. On peut montrer ceci
dans le cas o on suppose quon connait R.
Proposition I.49. Soit (xn )nI et (yn )nJ deux suites convergentes de nombres
rels. Alors les deux proprits suivantes sont quivalentes :
lim xn = lim yn ;
> 0, n0 N, n I J,
n > n0 |xn yn | 6 .
(I.35)
(I.36)
(Nous sommes forcs cette dfinition vu que nous ne pouvons pas parler des
nombres rels.) Dfinissons la relation dquivalence sur C par
(xn )nN (yn )nN
ssi
Q : > 0, n0 N, n N,
n > n0 |xn yn | 6 .
59
Soit Q, > 0. Les dfinitions de (xn ) (yn ) et (yn ) (zn ) impliquent respectivement que
n1 , n > n1 , |xn yn | 6 /2
et
(I.38)
(dmontrez-le !). On identifie les rationnels aux classes dquivalence des suites
constantes. Plus prcisment, on dfinit linjection
i : Q R : q 7 (q)nN .
Cest bien une injection car [(p)nN ] = [(q)nN ] implique que p = q (adaptez la
preuve de lunicit de la limite).
Le lemme suivant renforce lide quon considre les nombres qui sont points par les suites de Cauchy au sens o, si la suite converge dans Q, alors le
nombre vers lequel elle pointe est prcisment cette limite.
Lemme I.51. Soit (xn )nN C et q Q. Si (xn )nN Q-converge vers q au sens o
Q : > 0, n0 N, n > n0 , |xn q| 6
(I.39)
60
Nous avons vu la proposition I.17 que toute sous-suite dune suite convergente avait mme limite que celle-ci. Il est donc naturel quune sous-suite dune
suite de Q-Cauchy pointe vers le mme nombre rel. Ce rsultat sera utile diverses reprises.
0 )
Lemme I.52. Soit (xn )nN C . Si (xm
mN est une sous-suite de (xn )nN alors
0
0
0 )
(xm )mN C et (xm )mN (xn )nN , cest--dire [(xm
mN ] = [(xn )nN ].
0 )
Dmonstration. Comme (xm
mN (xn )nN , on a par dfinition quil existe une
fonction strictement croissante : N N telle que
m N,
0
xm
= x(m) .
(m) > m.
(I.40)
(I.41)
0 ) C , cest--dire que
Commenons par prouver que (xm
0
0
Q : > 0, m0 N, m1 , m2 > m0 , |xm
xm
| 6 .
1
2
Soit Q, > 0. Par (I.41) avec 1 = , on trouve quil existe un n0 N tel que
n1 , n2 > n0 , |xn1 xn2 | 6 . Prenons m0 := n0 . Si m1 , m2 > m0 , par (I.40) (m1 ) et
0 x0 | = |x
(m2 ) sont plus grand ou gaux m0 = n0 et donc |xm
(m1 ) x(m2 ) | 6
m2
1
comme dsir.
0 ) (x ), cest--dire que
Montrons maintenant que (xm
n
61
La suite de lexpos sagence comme suit. Nous allons dabord donner un sens
aux dfinitions de convergence et dtre de Cauchy en munissant R doprations
algbriques et dune relation dordre qui tendent celles de Q. Ensuite nous montrerons que toute suite (xn )nN Q de Cauchy pour ces dfinitions est en fait de
Q-Cauchy et donc converge dans R. Enfin, un argument diagonal sera utilis pour
prouver que toute suite de Cauchy (xn )nI R converge cest--dire que R est
complet.
Commenons par dfinir les oprations daddition et de multiplication sur R
par
[(xn )] + [(yn )] := [(xn + yn )] et [(xn )] [(yn )] := [(xn yn )]
(I.42)
Ces dfinitions posent nanmoins priori un problme. En effet, nous avons dfini laddition de deux classes dquivalence [(xn )] et [(yn )] en choisissant des
reprsentants (xn ) et (yn ) de celles-ci et en constituant la classe [(xn + yn )]. Mais
si on avait pris dautres reprsentants (xn0 ) et (y0n ) de ces mmes classes, cest-dire si [(xn0 )] = [(xn )] et [(y0n )] = [(yn )], aurait-on eu le mme rsultat : [(xn0 + y0n )] =
[(xn +yn )] ? Au vu de (I.38), rpondre positivement cette question revient montrer
(xn0 ) (xn ) et (y0n ) (yn ) (xn0 + y0n ) (xn + yn ).
(I.43)
De mme, pour que la multiplication soit bien dfinie, il faut vrifier que :
(xn0 ) (xn ) et (y0n ) (yn ) (xn0 y0n ) (xn yn ).
(I.44)
Proposition I.53. (I.43) et (I.44) sont vraies quelles que soient les suites (xn ),
(xn0 ), (y0n ), (yn ) C .
Nous aurons besoin du lemme suivant.
Lemme I.54. Toute suite (xn )nN de C est borne au sens o R Q, n
N, |xn | 6 R.
Dmonstration. En prenant = 1 Q dans la dfinition du fait que (xn ) est de
Q-Cauchy, on obtient
n0 N, m, n > n0 , |xn xm | 6 1.
(I.45)
62
et
et
Q Q Q
(p, q) 7
p+q
ii
63
[(p)], [(q)] 7
R R R
R R R
ii
(p, q) 7
pq
[(p)], [(q)] 7
64
(I.46)
et k N, k = 0.
(I.47)
Ainsi (k ) est une sous-suite de (xn ) et donc (k ) (xn ) ce qui implique que
x = [(k )kN ] = [(0)nN ] = 0R .
Dfinissons maintenant une relation dordre sur R qui tend celle de Q.
Dfinition I.56. Soit x R. On dit que x > 0R si et seulement si x = 0R ou x > 0R
o x > 0R est dfinit comme
(xn ) x, Q : > 0, n0 N, n > n0 , xn > .
(I.48)
(I.49)
65
66
x > 0 ou x > 0.
En effet, soit x R. Il suffit de montrer que si x 6> 0 alors x > 0. Puisque lordre
est total, on a x > 0 0 > x. Comme x 6> 0, on a ncessairement que 0 > x. Il suffit
dajouter x aux deux membres de cette ingalit. Comme troisime exemple,
montrons que
x R, x > 0 0 > x.
(I.50)
Cest vident car il suffit dajouter x (pour ) ou x (pour ) aux deux membres
de lingalit. De la mme manire, on peut dduire (essayez !) les rgles habituelles :
x, y, z, (x > y z > 0) xz > yz ;
x, y, z, (x > y z 6 0) xz 6 yz ;
x, x2 > 0.
On peut bien entendu dfinir la valeur absolue dun nombre rel par
(
x
si x > 0
|x| :=
x si x 6 0
et montrer, grce (I.50), que x, |x| > 0.
Revenons la preuve de la proposition I.58.
Dmonstration de la proposition I.58. Puisque x > y est dfini comme x y K
o K := {x R : x > 0}, il suffit de montrer que K vrifie
(i) x, y K, x + y K ;
(ii) x, y K, xy K ;
(iii) K (K) = {0} ;
(iv) K (K) = R
o K := {x R : x K} En effet, supposons que K vrifie (i)(iv) et montrons
que > est une relation dordre total compatible avec laddition et la multiplication :
rflexivit : x > x car 0 K (vu que 0 {0} = K (K) K) ;
antisymtrie : si x y K et y x K, on a x y K (K) = {0} et donc
xy = 0;
67
et n > n2 , yn > 2 .
(I.51)
|zn (xn + yn )| 6 3 .
(I.52)
68
(I.53)
En prenant = 1 et n0 = 1, (I.53) nous dit quil existe un n, que nous appellerons 0 , tel que x0 < 1. Ensuite, en rutilisant (I.53) avec = 1/2 et
n0 = 0 + 1, nous obtenons lexistence dun 1 > 0 tel que x1 < 1/2. En
continuant de la sorte, on cre une suite (k )kN telle que
k N,
k < k+1
et
x k <
1
.
k+1
Comme (xk )kN est une sous-suite de (xn ), on a que x = [(xk )kN ]. En
utilisant le lemme I.57 et x 6> 0, on peut recommencer la mme procdure
partir de la suite (xk )kN x pour obtenir une sous-suite (x(`) )`N de
(xk ) telle que
` N,
x(`) >
1
`+1
et x(`) <
1
.
(`) + 1
69
(I.54)
70
On peut faire le mme raisonnement pour lingalit 1/p < xn r. Vu que (xn )
est de Q-Cauchy, on sait quil existe un n1 N tel que
m, n > n1 ,
|xn xm | 6 1/(2p).
(I.55)
Prenons n0 := n1 . Soit n > n0 . Nous allons prouver que xn r < 1/p, cest--dire
que (I.54) est vrifi lingalit 1/p < xn r est laisse au lecteur. Prenons
:= 1/(2p) et k0 := n1 . Si k > k0 , (I.55) implique que
|xn xk | 6 1/(2p).
Ds lors on a xn xk 6 1/(2p) ou encore 1/p (xn xk ) > 1/(2p) = ce qui est
bien lingalit recherche.
Proposition I.61. Soit (xn )nI Q une suite de Cauchy. Alors, il existe un r R
tel que xn r.
Dmonstration. On sait que I = {n N : n > nI } pour un certain nI N. Puisque
Q R, le fait que (xn ) soit de Cauchy entrane que (xn ) soit de Q-Cauchy (on
considre moins d) et donc que (xn+nI )nN C . Posons r := [(xn+nI )nN ].
Daprs le lemme I.60, xn+nI r, cest--dire xn r.
On peut aussi voir que R nest pas trop gros : il consiste juste en les points
quil faut ajouter Q pour que les suites de Cauchy de ce dernier convergent.
Proposition I.62 (Densit de Q dans R). Tout rel r R est limite dune suite de
rationnels (xn )nN Q.
Dmonstration. Cest vident au vu du lemme I.60 car il suffit de prendre une
suite (xn ) r.
Pour finir, voici le rsultat qui a motiv toute la construction ci-dessus.
Thorme I.63. R est complet.
Dmonstration. Soit (xn )nI R une suite de Cauchy. Sans perte de gnralit,
on peut supposer I = N sinon considrer (xn+nI )nN si I = {n : n > nI }. Grce
la propostion I.62, pour tout n N, il existe un xn0 Q tel que
|xn0 xn | 6
1
.
n+1
(I.56)
I.5 Exercices
71
Commenons par prouver que (xn0 )nN est de Q-Cauchy. Soit Q, > 0.
Il faut trouver un n0 N tel que m, n > n0 , |xn0 xn | 6 . Puisque (xn ) est de
Cauchy, on sait quil existe un n1 N tel que
m, n > n1 ,
|xn xm | 6 /3.
(I.57)
1
1
+ +
6 + + = .
6
n+1 3 m+1 3 3 3
Posons r := [(xn0 )nN ] et montrons que xn r. Nous savons par le lemme I.60
que xn0 r. Soit R, > 0. Il faut trouver un n0 N tel que n > n0 , |xn r| 6 .
Par dfinition de xn0 r, nous savons quil existe un n1 N tel que
n > n1 ,
|xn0 r| 6 /2.
(I.58)
6
+ 6 + = .
n+1 2 2 2
I.5
Exercices
Exercice I.1. crivez les quatre premiers termes des suites dfinies par les expressions suivantes :
(i) xn = n + (1)n
(2)n
(ii) xn =
n!
3n
(iii) xn =
2 4 6 (2n)
n
1
(iv) xn = k
k=0 2
n3
(v) xn =
n2
72
I.5 Exercices
73
3n + 2
3
5n 4
5
(vi) xn 1 avec xn = 0, |9 .{z
. . 9}
1
0
n+1
1
(ii) 2 0
n
1
(iii) p 0, o p R>0
n
n
(iv)
1
n+5
(v)
(i)
n fois
(vii) n n
+
(viii) ln
1
n
3n+1 + 4n+1
n
3n + 4n
(i) lim
(iii) lim
2n3 3
(ii) lim
n (n 1)(n + 2)(2n + 3)
(iv) lim xn o xn =
n
n
2k
k=0
Exercice I.9. Utilisez le thorme de convergence domine pour tablir la convergence des suites ci-dessous.
5n
2
5n + 2
r
1
(v) xn = 1 +
n
n
sin n
2 + cos 2
(i) xn =
n2
n
sin 6 + 1
(ii) xn =
n2
sin n
(iii) xn = 1 +
n
(iv) xn =
Exercice I.10. Soit (xn )nN une suite de nombres rels. Peut-on affirmer que
si xn 0, alors n xn 0 ?
si xn a pour un a R, alors xn + 1/n a ?
si xn a pour un a R, alors xn2 a2 ?
1/2
|xn a| <
(I.59)
> 0, n0 N, n > n0 ,
|xn a| 6
(I.60)
> 0, n0 N, n > n0 ,
|xn a| 6 /2
(I.61)
74
Exercice I.12. Soit (xn ) une suite de R convergeant vers a. Montrez que |xn |
|a|. La rciproque est-t-elle vraie ? Pour quel(s) a ?
Exercice I.13. Prouvez que an n
lorque a > 1.
Exercice I.14. Soit (xn ) R dfinie par
x0 =
2r
xn + 1
xn+1 =
2
(i) Montrez que, pour tout n N, xn peut tre dfinie par xn = cos n pour un
unique n [0, /2].
(ii) Calculez limn xn .
Exercice I.15. tudiez la convergence des suites suivantes.
3
an = 2
n (2 + cos n)
4 + sin2 n
bn =
n3
n + (1)n (n + 1)
cn =
2n + 1n
n (1)
dn =
n + (1)n
4n2
en = n 2
2 (n + 1)
(3n + 2)(n2 + 5)
fn =
(2n2 + 3)(4 + 3n)
gn = cos(n/4)
n! cos(n!)
hn =
(n + 1)!
(in )nN = (1, 21 , 1, 12 , 13 , 14 , 31 , 14 , . . . )
1
10n 0
jn =
11n
Exercice I.16. Prouvez les affirmations suivantes.
n
a n
1 o a ]0, +[ ;
n
a
0 quel que soit a R ;
n! n
I.5 Exercices
75
nk an n
0 quel que soit k N et |a| < 1 ;
n
n n
1.
Exercice I.17. Les suites suivantes sont-elles bornes ? Justifiez. (Lorsque vous
rpondez par laffirmative, veuillez donner explicitement une borne.)
(i) xn = (1)n +
2
n+1
4n + 2
4 + 3n
xn = cos n + sin n
5n
xn =
n!
n!
xn =
(2n)!
n!
xn = n
3 + 4n
n2 + 1
xn =
n
xn = ( 5)2n
(ii) xn =
(iii)
(iv)
(v)
(vi)
(vii)
(viii)
(2)n
(ix) xn =
n ( 7)2n
r
2
xn + 1
(x) x0 =
, xn+1 =
2
2
n
(xi) xn =
k2 + k
k=1
( n)2n
(xiii) xn =
3n
an
o a R.
(xiv) xn =
n!
n
2
Exercice I.18. Soit (xn )nN R. On suppose que les sous-suites dfinies par
yn = x2n ,
zn = x2n+1 ,
un = x3n
convergent. Montrez que ces trois sous-suites convergent vers la mme limite et
que (xn ) converge aussi vers cette limite.
Exercice I.19. On dit que deux suites (xn ) et (yn ) sont quivalentes 17 si et seulement si
xn
lim
= 1.
n yn
Ceci se note (xn ) (yn ). Montrez que si yn a et (xn ) (yn ) alors xn a.
Exercice I.20 (aot 2007). Soit (xn )nN R. Dites, pour chacune des affirmations suivantes, si elle est vraie ou fausse et justifiez votre rponse par un court
argument ou un contre exemple.
17. Cette dfinition suppose que les yn ne sannulent pas pour n suffisament grand.
76
(a) Vrai :
Faux :
(b) Vrai :
Faux :
(c) Vrai :
Faux :
(d) Vrai :
Faux :
x0 = 0,
x1 = 2,
6 x 6 +
(I.62)
I.5 Exercices
77
Exercice I.24. Soit (xn )nN la suite dfinie par xn = 1 + 12 + 14 + + 21n . Montrez
que (xn )nN est de Cauchy.
Exercice I.25. On dfinit la suite (xn )nN par xn = nk=0 k!1 .
(i) Montrez que la suite (xn )nN est convergeante. On note e := limn xn .
n
(ii) Prouvez que e = limn 1 + 1n .
Exercice I.26 (janvier 2002).
an +
n + 1
1
n
a .
2n + 5
2
inf B
min A
sup A
sup B
max B
xn = n .
Pour quelles valeurs de la suite (xn ) converge-t-elle et quelle est alors sa limite ?
Justifiez en dtail votre rponse.
18. Cela signifie que vous pouvez utiliser (i) la dfinition I.2 mais que tout le reste doit tre
dmontr.
78
Exercice I.30 (janvier 2003). tudiez la convergence de la suite (xn )nN\{0} dfinie par :
r
(1)n
xn = 1 +
.
n
Justifiez en dtail. Toute affirmation non vue au cours doit tre dmontre.
Exercice I.31 (janvier 2003). Soit (xn )nN R. Supposons que (xn )nN converge vers 2. Montrez, en utilisant la dfinition en termes de , que la suite (yn )nN
dfinie par
yn := 2xn + 3
converge vers 1.
Exercice I.32 (janvier 2003). tudiez la convergence de la suite (vn )n>1 dfinie
par
1
v1 = 2,
vn+1 = 3
si n > 1.
vn
Calculez sa limite, si elle existe.
Exercice I.33 (janvier 2003). Soit lensemble
n
E := 2
o
3n
:nN .
(n + 1)!
Calculez, sils existent, inf E, min E, sup E, max E. Toutes vos rponses doivent
tre justifies.
Exercice I.34 (janvier 2003). Pour chacune des affirmations suivantes, cochez la
case adquate selon que vous pensez quelle est vraie ou fausse. Justifiez par un
bref argument ou un contre-exemple. Les rsultats du cours utiliss doivent tre
clairement identifis.
(a) Vrai :
Faux :
(b) Vrai :
Faux :
(c) Vrai :
Faux :
(d) Vrai :
Faux :
I.5 Exercices
79
(e) Vrai :
Faux :
(f) Vrai :
Faux :
(g) Vrai :
Faux :
(h) Vrai :
Faux :
Exercice I.35 (janvier 2002). Soit R et (xn )nN la suite dfinie par
xn :=
1 n
.
1
Pour quelle(s) valeur(s) de la suite (xn )nN converge-t-elle et quelle est alors sa
limite ? Justifiez en dtail.
Exercice I.36 (juin 2003). Soit a R et (xn )nN la suite dfinie par
a n
.
xn =
5
Pour quelle(s) valeur(s) de a la suite converge-t-elle et quelle est alors sa limite ?
Justifiez en dtail votre rponse.
Exercice I.37 (juin 2003). Soient (xn )nN , (yn )nN deux suites convergeant respectivement vers les rels a et b. Montrez, en utilisant la dfinition en termes de
que 2xn yn n+
2a b.
Exercice I.38 (juin 2003). Considrons la fonction
(
2x 3 si x > 1
g : R R : x 7
x + 5 si x < 1
En utilisant la dfinition et - de la continuit, montrez que la fonction g est
continue en 2. La fonction g est-elle continue sur R ? Justifiez en dtail votre
rponse.
Exercice I.39 (aot 2006). Indentifiez la ou les phrases quantifies (en cochant
la case qui prcde) qui tradui(sen)t le fait x + x5 > 1 pour x suffisament proche
de 1 :
80
(a)
(b)
(c)
(d)
(e)
(f)
3xn + 1
xn + 3
Montrez que (xn )nN converge et donnez la valeur de sa limite. Justifiez les diffrentes tapes de votre raisonnement.
Exercice I.42 (janvier 2007). Soit la suite (xn )nN dfinie par
n N,
xn = n2 ( 2)n
I.5 Exercices
81
Exercice I.43 (janvier 2007). Soit la suite (xn )nN dfinie par
n N,
xn =
5n+3
(n + 1)!
Dites si la suite (xn )nN vrifie ou non chacune des affirmations suivantes. Donnez
pour chacune dentre elles une preuve de votre rponse.
(a) Vrai :
Faux :
(b) Vrai :
Faux :
R1 , R2 R, n N, R1 6 xn 6 R2
(c) Vrai :
Faux :
n N, R R, xn 6 R
Chapitre II
Limite de suites dans RN
II.1
Normes
d(x1 , x2 ) = d(x2 , x1 ) ;
x2
84
x3
d( x1 , x2 )
d(x1 ,x2 )
x2
x2
= d(x1 ,x2 )
0 x1
x1 + x3
x3
d(x1 ,x2 )
x2
x1
d( 0 x1 , 0 x2 )
=| 0 |d(x1 ,x2 )
x1
x1
0 x2
kxk = 0 x = 0 ;
(ii) x RN , R,
(iii) x, y RN ,
k xk = | | kxk ;
kx + yk 6 kxk + kyk.
La distance engendre par une norme est dfinie par d(x, y) := kx yk. Limplication inverse de la premire proprit est vraie cest une consquence de la
seconde avec = 0. On appellera souvent la troisime proprit ingalit triangulaire puisquelle provient de celle pour les distances. La consquence suivante
de cette proprit est abondamment utilise.
II.1 Normes
85
Lemme II.2. Quel que soit x, y RN , kxk kyk 6 kx yk.
Dmonstration. De kxk = kx y + yk 6 kx yk + kyk, on dduit que kxk kyk 6
kx yk. En changeant x et y, on a aussi que (kxk kyk) 6 kx yk. Les deux
dernires ingalits impliquent la thse.
Il y a trois normes que nous utiliserons tout particulirement dans ce cours. Si
x = (x1 , . . . , xN ) RN , on dfinit
s
N
|x|1 := |xi |,
|x|2 :=
i=1
xi2,
i=1
la norme ||1 correspond ce qui est appel la taxi distance car cest celle
quun taxi parcourerait dans une ville o toutes les rues sont soit horizontales soit
verticales (voir figure II.3). la norme ||2 correspond la distance Euclidienne
(cest celle de la gomtrie Euclidienne) qui mesure la distance entre deux points
2 1/2 (voir figure II.4). Avant daller plus loin, vrifions
x et y par N
i=1 (xi yi )
|x|2 =
q
x12 + x22
x2
x2
x1
x1
86
Enfin, si x, y RN , on dduit du fait que |xi + yi | 6 |xi | + |yi | pour tout i, que
N
|x + y|1 = N
i=1 |xi + yi | 6 i=1 (|xi | + |yi |) = |x|1 + |y|1 .
Proposition II.4. || est une norme sur RN .
Dmonstration. De nouveau, il est clair que |x| > 0 quel que soit x RN .
Si |x| = 0, on dduit aisment de |xi | 6 |x| pour tout i, que x = 0.
Soit x RN et R. Par dfinition, |x| = |xi | pour un certain i {1, . . . , N}
qui vrifie |xi | > |xi | pour tout i. On en dduit que | xi | = | | |xi | > | | |xi | =
| xi | pour tout i et donc que | x| = | xi | = | | |xi | = | | |x| .
Soient x, y Rn . Puisque |xi + yi | 6 |xi | + |yi | 6 |x| + |y| pour tout i et |x +
y| = |xi + yi | pour un certain i , on a forcment que |x + y| 6 |x| + |y| .
Avant de faire la preuve du fait que ||2 est une norme, introduisons la notion
de produit scalaire. Si x, y RN , on dfinit leur produit scalaire par
N
(x|y) := xi yi .
i=1
|x|2 =
p
(x|x).
Nous supposerons que le lecteur est familier avec la notion de produit scalaire
(au moins dans R2 et R3 ) et le fait quil dfinisse une relation dorthogonalit :
x y (x|y) = 0. Nous supposerons aussi connues les proprits suivantes (qui
sinon sont des exercices simples) :
x RN , (x|x) > 0 ;
x, y RN ,
(x|y) = (y|x) ;
x, y RN , R,
( x|y) = (x|y) ;
II.1 Normes
87
Proposition II.5 (Ingalit de Cauchy-Schwarz). (x|y) 6 |x|2 |y|2 quels que
soient x, y RN .
Dmonstration. Soit x, y RN . On peut supposer que x 6= 0 et y 6= 0 sinon la
thse est vidente. Le fait que le produit scalaire soit dfini positif implique que
(tx + y|tx + y) > 0 quel que soit t R. En dveloppant cette ingalit grce la
bilinarit et la symtrie du produit scalaire, on trouve quelle est quivalente
t R,
88
B(x, r) = x + B(0, r)
x
r
1
B(0, 1)
B(0, r) = rB(0, 1)
F IGURE II.5 Translation et dilatation de la boule unit
cer Bkk (0, 1) ou Bkk [0, 1] pour se rendre compte de la forme de toutes les boules.
Les boules unit ouvertes pour les trois normes ||1 , ||2 et || sont traces la
figure II.6 (pouvez-vous expliquer comment construire ces graphiques ?). Les in(1, 0)
(1, 0)
B||2 (0, 1)
B||1 (0, 1)
(1, 0)
B|| (0, 1)
(1, 0)
II.1 Normes
89
Dfinition II.8. Soit kk et kk0 deux normes sur RN . On dit que kk est quivalente kk0 si une des deux proprits quivalentes suivantes est vrifie :
(i) R, R0 ]0, +[, x RN , Rkxk 6 kxk0 6 R0 kxk
(ii) R, R0 ]0, +[, Bkk0 (0, R) Bkk (0, 1) Bkk0 (0, R0 )
Lquivalence de ces deux dfinitions est assez facile montrer et nous
verrons que les quantits R et R0 de (i) et (ii) sont les mmes. Tout dabord, une
ingalit du type kxk0 6 R0 kxk implique que kxk < 1 kxk0 < R0 et donc que
Bkk (0, 1) Bkk0 (0,R0 ) . En utilisant lingalit Rkxk 6 kxk0 de manire similaire,
on trouve que Bkk0 (0, R) Bkk (0, 1). Ceci prouve que (i) (ii). Pour (ii) (i)
il suffit de retourner le raisonnement. Supposons que Bkk (0, 1) Bkk0 (0, R0 ).
Soit x 6= 0 et ]0, 1[. Puisque (1 )x/kxk Bkk (0, 1), il sensuit que (1
)x/kxk Bkk0 (0, R0 ) et donc que (1 )kxk0 6 R0 kxk. Comme cest vrai pour
tout ]0, 1[, on peut passer la limite 0 et on obtient kxk 6 R0 kxk. On
a tabli cette ingalit pour x 6= 0 mais elle est bien sr valable pour x = 0. En
procdant de la mme manire, on dduit de Bkk0 (0, R) Bkk (0, 1) que Rkxk 6
kxk0 pour tout x RN . Ceci finit de montrer que (ii) (i).
Comme son nom lindique, la relation tre quivalent sur lensemble des
normes sur RN est bien une relation dquivalence. Nous laissons au lecteur le
soin de prouver quelle est en effet rflexive, symtrique et transitive.
la vue des dessins des boules units (figure II.6), il apparat immdiatement
que B||1 (0, 1) B||2 (0, 1) B|| (0, 1) B||1 (0, 2) (voir la figure II.7). Ces inclusions traduisent certaines ingalits entre les normes. Le facteur 2 est particulier
la dimension deux. Plus gnralement, on a :
Proposition II.9. Pour tout x RN , |x| 6 |x|2 6 |x|1 6 N|x| . En particulier, les
trois normes || , ||2 et ||1 sont quivalentes.
Dmonstration. Les fait que les trois ingalits impliquent que les trois normes
sont quivalentes deux deux est un exercice simple laiss au lecteur. Soit x =
(x1 , . . . , xN ) RN .
Montrons |x| 6 |x|2 . Par dfinition, |x| = |xi | pour un certain i {1, . . . , N}.
2
Comme |xi |2 6 N
i=1 |xi | , en prenant la racine carre des deux membres, on conclut que |x| = |xi | 6 |x|2 .
90
B||1 (0, 2)
B|| (0, 1)
@
@
R
@
B||2 (0, 1)
B||1 (0, 1)
HH
(0,1)
(1,1)
@
@
R
@
H
H
j
H
(1,0)
(2,0)
2
N
=
|x
|
|xi|2 + 2
i
N
i=1
i=1
|xi | |x j |.
i, j
16i< j6N
Terminons avec |x|1 6 N|x| . En utilisant le fait que |x| est plus grand que
N
toutes les composantes |xi |, on dduit |x|1 = N
i=1 |xi | 6 i=1 |x| = N|x| .
Remarque II.10. On dira dune ingalit du type x RN , kxk 6 Ckxk0 entre deux
normes kk et kk0 est optimale si le C qui y figure est le plus petit possible. Ce
C vaut sup{kxk : kxk0 = 1}. Une fois que nous aurons vu la notion de compacit, nous pourrons montrer (en dimension finie) que loptimalit est quivalente
lexistence dun x tel que kx k = Ckx k0 . Au sens ci-dessus, les trois ingalits de la proposition prcdente sont optimales. Gomtriquement, cela correspond au fait que les frontires des boules se touchent (voir figure II.7). Par
contre, lingalit |x|2 6 N|x| quon peut dduire de ces trois ingalits nest pas
91
Il y a dautres normes sur RN que les trois que nous avons prsentes ci-dessus.
Par exemple, pour p ]0, +[, on peut dfinir
|x| p :=
|xi| p
1/p
pour tout x RN .
i=1
On peut montrer (voir lexercice II.17) que, si p [1, +[, || p est une norme. Ce
nest pas le cas si p ]0, 1[ (exercice II.13). Comme cas particuliers, on retrouve
||1 et ||2 . En ce qui concerne || , il est facile de voir que, pour tout x RN , |x| 6
|x| p 6 N 1/p |x| et donc, en passant la limite p , que |x| = lim p |x| p . Ceci
explique la notation || . Il y a encore bien dautres normes possibles sur RN .
Une question naturelle et particulirement importante pour la convergence,
voir section II est de savoir si elles sont quivalentes celles connues ou non.
Cest clairement le cas pour || p puisque, comme on la dit, |x| 6 |x| p 6 N 1/p |x| .
En fait, cest toujours le cas en dimension finie.
Thorme II.11. Toutes les normes sur RN sont quivalentes.
ce stade, nous navons pas encore les outils ncessaires pour prouver ce
thorme. Nous y reviendrons dans le chapitre traitant de la compacit (page 157).
II.2
Dans cette section, nous allons employer la notion de norme que nous venons
de dfinir pour gnraliser le concept de convergence RN . Nous verrons que les
proprits prouves en dimension 1 passent en gnral plusieurs dimensions.
Comme leurs preuves consistent essentiellement en un simple recopiage de celles
en dimension 1 cel prt quon a remplac la valeur absolue par une norme, elles
seront la plupart du temps laisses au lecteur (qui y verra lopportunit de tester
sa comprhension en faisant les adaptations ncessaires).
Tout dabord, pour viter toute confusion, donnons explicitement la dfinition
dune suite dans RN .
Dfinition II.12. Une suite dans RN est une application I RN : n 7 xn o
I = {n N : n > n0 } pour un certain n0 N. On emploie les notations (xn )nI RN
ou (xn : n I) RN , ou encore, (xn ) RN ou (xn ) si le contexte supple aux
lments manquants.
92
n > n0 kxn ak 6
kk
kk
si n , xn n
a ou simplement xn a . On appelle a une limite
de (xn )nI .
priori, il faut donc faire attention. Une suite pourrait converger pour une
norme et pas pour une autre. Le rsultat suivant dit quand deux normes induisent
le mme type de convergence.
Proposition II.14. Soient kk et kk0 deux normes sur RN . Si kk et kk0 sont
quivalentes, alors quels que soient (xn )nI RN et a RN , on a
kk
xn n
a
kk0
xn n
a.
93
Lunicit de la limite se prouve comme dans le cas unidimensionnel (proposition I.3). On peut donc employer la notation
lim xn
i = 1, . . . , N, xn,i n
ai .
Dmonstration. Condition suffisante. Comme toutes les normes sont quivalentes, nous pouvons choisir celle qui nous convient le mieux. On va tablir que
||1
xn a, cest--dire |xn a|1 0. Comme |xn a|1 = N
i=1 |xn,i ai | et que par
hypothse |xn,i ai | 0 pour tout i, la proposition I.7 implique que |xn a|1 0.
Condition ncessaire. Puisque, pour tout i, |xn,i ai | 6 |xn a|1 0, il dcoule de la convergence domine (corollaire I.11) que xn,i n
ai .
94
On dfinit une sous-suite dune suite de RN comme pour le cas de R (dfinition I.16). Les proprits associes les propositions I.17 et I.18 subsistent
telles quelles (leurs dmonstrations sont facilement adaptes).
On peut aussi dfinir la convergence au sens large pour les suites de RN . Bien
sr, comme il ny a pas dordre sur RN , il nest pas question de parler de + et de
. Nanmoins, on peut dire quune suite tends vers linfini quand elle finit par
quitter nimporte quelle boule.
Dfinition II.17. Soit (xn )nI RN et kk une norme sur RN . On dit que (xn )nI
converge vers linfini pour la norme kk si
R, n0 N, n > n0 , kxn k >
kk
.
ou, de manire quivalente, si kxn k n
+. Dans ce cas, on notera xn n
De nouveau, lquivalence des normes sur RN implique que le fait de tendre
vers linfini ne dpend pas de la norme les dfinitions pour diffrentes normes
sont quivalentes. Notez que, pour N = 1, tendre vers linfini nest pas qui
valent tendre vers + ou vers . En effet, (xn ) = (1)n n nN tend vers
linfini puisque |xn | = n + mais ne tend ni vers +, ni vers . Par contre,
limplication inverse est vraie : si xn + ou xn , alors (xn ) tends vers
linfini (|xn | +). Comme il y a risque de confusion entre xn et xn
dans R, on tchera toujours dtre prcis. On laisse au lecteur le soin dtablir la
proposition suivante.
Proposition II.18. Soit (xn )nI = (xn,1 , . . . , xn,N ) nI RN . On a
i = 1, . . . , N, |xn,i | n
+
xn n
.
II.3 Exercices
95
Encore une fois, lquivalence de toutes les normes sur RN fait qutre de
Cauchy au sens dune norme ou au sens dune autre est quivalent (pouvez-vous
crire les dtails ?). Nous pouvons donc dire tre de Cauchy dans RN sans
risque de confusion. Le lecteur prouvera sans peine lanalogue suivant de la proposition I.25.
Proposition II.21. Toute suite convergente de RN est de Cauchy.
Terminons en montrant que la compltude de R se transmet RN .
Thorme II.22. RN est complet.
Dmonstration. Soit (xn )nI RN une suite de Cauchy. Puisquon peut choisir la
norme, travaillons avec ||1 . Dtaillons les composantes de xn : xn = (xn,1 , xn,2 , . . . ,
xn,N ). Puisque, pour tout i, |xm,i xn,i | 6 |xm xn |1 , il est ais de montrer que les
suites (xn,i )nI , i = 1, . . . , N, sont toutes de Cauchy dans R. Grce la compltude
de R, elles convergent :
i = 1, . . . , N,
xn,i n
xi
II.3
Exercices
96
na b
o
Exercice II.3. Rappelons que
=
: a, b, c, d R . Pour A R22 ,
c d
posons kAk = max{|a| + |b|, |c| + |d|}. Montrer que kk est une norme sur R22 .
R22
Exercice II.4. Montrez que kk est une norme sur R si et seulement sil existe
une constante c R>0 telle que x R, kxk = x|x|.
Exercice II.5. Rappelons que P2 dsigne lensemble des fonctions polynomiales
de degr 2. Pour P P2 , on dfinit kPk := |a0 | + |a1 | + |a2 | o a0 , a1 , a2 sont les
coefficients de P i.e., P = a0 + a1 x + a2 x2 . P 7 kPk est-il une norme sur P2 ?
Exercice II.6. Prouvez la convergence des suites ci-dessous grce la dfinition II.13.
n + 1 2n + 1
xn =
,
n r n
r
1
1
,
yn =
n
n3
Exercice II.7. tudiez la convergence des suites suivantes :
n 2n
xn =
,
n + 1 n!
n4
n5
n
yn =
n,
,
3 + 2n4
3n
1 (1)n
zn =
,
2
n
Exercice II.8. tudiez la convergence des suites de nombres complexes ci-dessous :
(i) xn =
n+i
n+1
i
(ii) xn = 2n +
n
n
n+2
+
(iii) xn =
n+1 1i n
(iv) xn =
in
n
(1 i)2n
n3n
2
n n
(vi) xn =
i+
i
2
n+1
n + ( 3i + 1)n
(vii) xn =
2n
(n + 3)( 3 i)n
(viii) xn =
(2n2 + 1)2n
(v) xn =
II.3 Exercices
97
x Bkk (a, r)
x Bkk [a, r0 ]
Soit A RN . Considrons les deux proprits suivantes :
(i) r > 0, Bkk (0, r) A
(ii) r0 > 0, Bkk [0, r0 ] A
Montrez, en dtaillant votre raisonnement, que (i) (ii).
Exercice II.13.
Soit kk une norme sur RN , x RN et r > 0. Prouvez que la
boule Bkk [x, r] est convexe.
98
Dduisez-en que || p ne peut tre une norme pour p < 1. (Pour vous aider,
B|| p [0, 1] pour p < 1 est trace la figure II.8.)
1
0.5
-0.5
-1
-1
-0.5
0.5
x2
1 x1
1
F IGURE II.9 Boule pour la moyenne gomtrique de ||1 et ||
II.3 Exercices
99
Exercice II.15 (Ingalit de Hlder). Soient p, q [1, +] tels que 1/p + 1/q =
1. Prouvez que,
x, y RN , (x|y) 6 |x| p |y|q .
(II.2)
I NDICATION : On peut supposer sans perte de gnralit que 1 6 p 6 q 6 +.
Commencez par le cas p = 1, q = +. Ensuite, pour p, q ]1, +[, prouvez lingalit de Young :
, R,
| | 6 1p | | p + 1q ||q
|y|q 61
i=1
i=1
i=1
100
II.3 Exercices
101
Chapitre III
Notions de topologie
Nous allons nous intresser ici la relation entre les ensembles et la convergence des suites. Ce faisant, nous dfinirons des notions qui ne sont pas lies une
mtrique (une manire de mesurer les distances) particulire mais qui expriment
des relations lies une notion abstraite de proximit. Do le nom de topologie
(de topos : lieu et logos : langage).
III.1
Considrons une suite convergente (xn ) dans un intervalle ]a, b[. La proposition I.14 nous dit que sa limite se trouve dans ]a, b[ ou dans {a, b} qui est le
bord de ]a, b[. Ceci est-il juste un cas particulier ou au contraire un exemple reprsentatif ? Et comment dfinir le bord dun ensemble de RN ? Si lensemble est
simple, comme par exemple Bkk (0, 1), cest facile : son bord est la sphre unit
Skk := {x RN : kxk = 1}. Mais cela a-t-il encore un sens de parler du bord dun
ensemble plus complexe, voire trs irrgulier ? Si lon se base sur lexemple de
lintervalle, il est plus facile de dfinir lensemble avec son bord que le bord
tout seul [a, b] est lensemble des limites des suites convergentes de ]a, b[. Cest
ce que nous allons faire. Si A est un sous-ensemble de RN , nous dfinissons A
avec son bord , ou techniquement ladhrence de A, comme lensemble des limites des suites convergentes de A (voir figure III.1), cest--dire lensemble A
lui-mme auquel on a ajout tous les points qui collent A.
Intressons nous maintenant un concept apparent : lintrieur dun ensemble. On a envie de dire quon est lintrieur dun ensemble si on nest pas
103
104
sur son bord, cest--dire si on a un peu despace autour de soi. Par exemple, on a
envie de dire que x est lintrieur de A sur la figure III.2 car non seulement cest
un point de A mais toute la zone grise autour de lui est aussi dans A. Quest-ce
que cela a voir avec la notion de convergence ? La figure III.2 le montre : un
point x est lintrieur dun ensemble si nimporte quelle suite convergeant vers x
finit par entrer dans lensemble. Autrement dit, si xn x, alors xn A lorsque n
est grand. Au contraire, le x0 de la figure III.2 est sur le bord et non pas lintrieur
A
x0
/ adh A
xn0
xn0
xn
x int A
xn
int A 63 x0
adh A 3 x
F IGURE III.1 Adhrence
de A et il existe une suite (xn0 ) qui converge vers lui sans jamais entrer dans A. Les
dfinitions formelles qui suivent devraient maintenant vous paratre naturelles.
Dfinition III.1. Soit A RN . Lintrieur de A, not int A, et ladhrence de A,
not adh A, sont les sous-ensembles de RN dfinis par
int A := x RN : (xn )nI RN , xn x n0 N, n > n0 , xn A
adh A := x RN : (xn )nI A, xn x
105
Daprs les dessins, le bord dun ensemble est ce quil faut ajouter lintrieur
pour avoir ladhrence. Cest ce que nous allons prendre comme dfinition.
Dfinition III.2. Le bord ou la frontire dun ensemble A RN est lensemble
(adh A) \ (int A).
Les inclusions int A A adh A situent lensemble A par rapport int A qui ne
comprend aucun point du bord, et adh A qui les inclus tous. Les deux cas dgalit
sont importants.
Dfinition III.3. Soit A RN . On dit que A est ouvert si A = int A et que A est
ferm si A = adh A.
Ainsi un ensemble ouvert est un ensemble qui na pas de bord et donc dont
tous les points ont un peu despace autour deux (de taille variable selon le point).
Un ensemble ferm contient toutes les limites des suites convergentes qui sont
dans cet ensemble. Autrement dit, les limites ne peuvent pas schapper dun
ensemble ferm.
La dfinition de lintrieur traduisait en termes de suites le fait quun point x
intrieur un ensemble avait de la place autour de lui. Mais on pourrait vouloir
exprimer cela directement en disant quil y a une petite boule B(x, r) centre en
x et qui est dans A (voir figure III.4). De mme, le fait quun point x soit dans
ladhrence dun ensemble A, quil colle A, peut sexprimer en termes de
boules en disant que toutes les boules B(x, r) centres en x, mme les trs petites,
intersectent A (voir figure III.3). Ceci nous mne naturellement prouver :
x adh A
B(x, r) A 6=
HH
j
x0
/ adh A
B(x, r) A
x0
/ int A
x int A
A
F IGURE III.3 Adhrence
106
107
Pour finir, supposons que r > 0, Bkk (x, r) A 6= et dduisons que x adh A.
En prenant r = 1/n, n > 1, dans lhypothse, on construit une suite (xn )n>1
A telle que xn Bkk (x, 1/n) pour tout n. Ds lors kxn xk < 1/n 0 ce qui
implique que xn x et donc x satisfait la dfinition de x adh A.
Exemple III.5. Nous allons montrer que
adh Bkk (x, r) = Bkk [x, r] et
Si (yn ) B(x, r) est une suite convergeant vers y, alors kyn xk ky xk et,
puisque kyn xk < r pour tout n, il sensuit que ky xk 6 r. Nous venons de
montrer que adh Bkk (x, r) Bkk [x, r]. Pour linclusion inverse, prenons y B[x, r]
et considrons yn := (1 1/n)y. Vu que kyn k = (1 1/n)kyk < kyk 6 r, on a que
yn B(x, r). Bien sr, yn n
y.
Soit y int B[x, r] et montrons que y B(x, r). Si y = x, il ny a rien faire.
Reste le cas y 6= x. Le fait que y soit lintrieur implique que B(y, ) B[x, r]
, et
pour un certain > 0. On a y + (y x) B(y, ) B[x, r], avec := 2kyxk
donc (1 + )ky xk 6 r. Comme 1 < 1 + , cela implique ky xk < r comme
dsir. Inversment, si y B(x, r), alors B(y, ) B[x, r] avec := r ky xk, ce
qui montre bien que y int B[x, r].
Corollaire III.6. Soit A un sous-ensemble de RN et kk une norme sur RN . Les
quivalences suivantes sont vraies :
A est ouvert x A, r > 0, Bkk (x, r) A ;
A est ferm x RN , r > 0, Bkk (x, r) A 6= x A.
Dmonstration. Les formules droite des symboles dquivalence expriment respectivement que A int A et adh A A.
Exemple III.7. Bkk (x, r) est ouverte et Bkk [x, r] est ferme. Ceci explique les
noms donns ces boules.
B(x, r) est ouverte car, si y B(x, r), alors B(y, ) B(x, r) o := (r ky
xk)/2. En effet, si z B(y, ), alors kz xk 6 kz yk + ky xk 6 + ky xk =
(r + ky xk)/2 < r.
Pour que B[x, r] soit ferm, il suffit que adh B[x, r] B[x, r]. Soit y RN pour
lequel il existe une suite (yn ) B[x, r] telle que yn y. Il faut voir que y B[x, r].
Par hypothse, kyn xk 6 r pour tout n. En passant la limite, on trouve ky xk =
limn kyn xk 6 r.
108
Exemple III.8. Comme cas particuliers de ce que nous avons fait ci-dessus, ]a, b[
est un sous-ensemble ouvert de R, [a, b] est un sous-ensemble form, adh]a, b[ =
[a, b] et int[a, b] = ]a, b[. En effet, ]a, b[ = B|| (a + b)/2, |b a|/2 et [a, b] =
B|| (a + b)/2, |b a|/2 .
Lemme III.9. Soient A et B deux sous-ensembles de RN . Si A B alors int A
int B et adh A adh B.
Dmonstration. Si x int A, cela veut dire quil existe un r > 0 tel que B(x, r) A
et donc B(x, r) B, ce qui implique que x int B.
Soit x adh A. Pour montrer que x adh B, prenons un r > 0 arbitraire et
tablissons que B(x, r) B 6= . Cest le cas car, par hypothse, B(x, r) A 6=
et B(x, r) A B(x, r) B.
Avant daller plus loin, tablissons une forme de dualit antre lintrieur et
ladhrence qui nous permettra de dduire dun nonc sur lun des deux, un
nonc sur lautre.
Proposition III.10. Pour tout A RN , adh A = { int {A et int A = { adh {A.
La seconde galit est une consquence de la premire : celle-ci avec {A au
lieu de A implique adh {A = { int {{A = { int A et il suffit de prendre le complmentaire des deux membres de lgalit.
Rcrivons adh A = { int {A comme { adh A = int {A. Cette galit est intuitivement vraie. En effet, si un point x nest pas dans ladhrence de A, sil ne colle
pas A, cest quil a un peu despace autour de lui dans le complmentaire de A,
cest--dire quil est dans lintrieur de {A (voir figure III.5).
{A
A
x int {A
109
Dmonstration. Nous allons utiliser les caractrisations quivalentes de lintrieur et de ladhrence donnes par la proposition III.4. Quel que soit x RN ,
on a
x { int {A x int {A
r > 0, y Bkk (x, r), y
/A
r > 0, y Bkk (x, r), y A
r > 0, Bkk (x, r) A 6=
x adh A
Cette dualit existe aussi entre les ensembles ouverts et ferms.
Corollaire III.11. Soit A RN . A est ouvert si et seulement si {A est ferm.
Bien videmment, en remplaant A par {A, on a aussi que A est ferm si et
seulement si {A est ouvert.
Dmonstration. Cest une consquence directe de la proposition III.10.
La proposition suivante montre que les oprateurs int et adh sont idempotents.
Proposition III.12. Soit A RN . int(int A) = int A et adh(adh A) = adh A.
Dmonstration. Montrons que int(int A) = int A. Comme int(int A) int A, il suffit
de prouver linclusion inverse. Soit x int A. Il faut montrer quon peut trouver un
r > 0 tel que
B(x, r) int A.
Comme x int A, il existe un > 0 tel que B(x, ) A. Prenons r := /2. Soit y
B(x, r). Il faut prouver que y int A. Ce sera le cas si on tablit que B(y, /2) A.
Soit z B(y, /2). Puisque kz xk 6 kz yk + ky xk < /2 + r = , on a bien
z B(x, ) A (voir figure III.6).
Le cas de ladhrence se dduit par dualit. En effet, lgalit adh(adh A) =
adh A est quivalente { adh(adh A) = { adh A, cest--dire int(int {A) = int {A ce
qui est vrai daprs la premire partie.
110
x
r
B(x, r)
B(x, )
III.2
Union et intersection
111
\
\
adh
B
adh B ;
A
A
[
[
adh
B
adh B et on a lgalit si A est fini.
A
Dmonstration.
Si x A int B , cela veut dire que x int B pour un certain A et donc il existe un r > 0 tel que B(x, r) B . Ds lors B(x, r)
S
S
A B .
A B et par consquent x int
T
T
Si x int A B , il existe un r > 0 tel que B(x, r) A B . Ds lors, quel
T
que soit A, B(x, r) B et donc x int B . Par consquent, x A int B .
S
int
B
.
A
A
T
Les deux autres affirmations se dduisent des premires par dualit. Dtaillons
celle qui concerne lintersection. Vu les quivalences
\
\
\
\
adh
B
adh B { adh
B {
adh B
A
\
[
B
{ adh B
int {
A
[
[
{B
int
int {B
A
et le fait que les dernire formule est vraie par les proprits de lintrieur, la
premire formule de la chaine dquivalences est aussi vraie.
Remarque III.15. Cette proposition est optimale au sens o les inclusions non
nonces ne sont pas toujours vraies.
Pour lintrieur de lunion, considrons B1 = [1, 0] et B2 = [0, 1]. On a sans
peine (faites les justifications !) que
]1, 1[ = int(B1 B2 ) ! int B1 int B2 = ]1, 0[ ]0, 1[ = ]1, 1[ \ {0}.
Pour lintrieur de lintersection, il faut montrer quon na pas ncessairement
lgalite si A est infini. Considrons Bn := ]1/n, 1/n[, n A := N \ {0}. ClaireT
T
T
ment nA Bn = {0}. En effet, 0 Bn pour tout n, do 0 Bn et, si x Bn ,
112
alors |x| < 1/n pour tout n do, en passant la limite n +, on trouve que
T
T
T
x = 0. On a donc = int nA Bn
nA int Bn = nA Bn = {0}.
Des exemples qui montrent quon na pas toujours lgalit pour les deux dernires inclusions se trouvent par dualit de ceux ci-dessus. Nous invitons le lecteur
crire le dtail de cet argument de dualit et/ou a chercher ses propres contreexemples.
Comme dhabitude, ce qui est prouv sur lintrieur et ladhrence a des consquences pour les ouverts et les ferms.
Corollaire III.16. Si (O )A est une famille douverts de RN , alors
[
O est ouvert ;
A
Une famille douverts (resp. de ferms) est bien entendu une famille de sousensembles qui sont tous ouverts (resp. ferms).
Dmonstration. La proposition prcdente implique que int( O ) int O =
S
O . Comme par ailleurs lintrieur dun ensemble est toujours inclus cet enS
S
semble, on a int( O ) = O .
Pour lintersection douverts, la proposition prcdente nous donne de suite la
T
T
T
rponse : int( O ) = int O = O .
Les affirmations sur les ferms se dduisent par dualit. (Le lecteur est invit
en imaginer une preuve directe.)
S
III.3
Densit
III.4 Voisinages
113
approxim par des points de A. En dautres mots, pour tout b B, il existe une
suite (an ) A telle que an b. Plus succinctement, on peut dfinir la densit
comme suit.
Dfinition III.17. Soient A et B deux sous-ensembles de RN . On dit que A est
dense dans B si et seulement si A B adh A.
Par exemple, la proposition I.62 dit que Q est dense dans R. Le lecteur pourra
facilement vrifier que QN est dense dans RN . Lintrt de la densit est que si une
proprit ou une fonction est dfinie sur A, que celle-ci est suffisament continue
et que A est dense dans B, alors on peut en gnral ltendre B. Cette dmarche
a t abondamment utilise la section 6 o on a tendu diverses proprits et
fonctions de Q R. Elle le sera de nouveau dans des cours dAnalyse plus avancs.
III.4
Voisinages
Finalement, abordons la notion de voisinage. Daprs le terme, si V est un voisinage dun point x, cest que x a un peu despace autour de lui. Plus prcisment :
Dfinition III.18. Soit V RN , x RN et kk une norme sur RN . On dit que V
est un voisinage de x si il existe un r > 0 tel que Bkk (x, r) V .
Une fois de plus, lquivalence de toutes les normes sur RN fait que la notion
de voisinage est indpendante de la norme. Dailleurs, V est un voisinage de x si
et seulement si x intV . On peut alors dire quun ouvert est un ensemble qui est
un voisinage de chacun de ses points.
Les voisinages sont fort flexibles : part x intV , on nimpose pas de forme
V e.g., que V soit une boule ni de proprits du type V ouvert, ferm,...
Les voisinages offrent nanmoins un langage naturel pour exprimer les proprits
topologiques. Bien souvent les boules peuvent tre remplaces par des voisinages.
Lavantage de ceux-ci est quils ne dpendent pas dune norme sous-jacente. Pour
appuyer laffirmation ci-dessus, intressons nous aux deux propositions suivantes.
Proposition III.19. Soit (xn )nI RN et x RN . Alors xn x si et seulement si
V voisinage de x, n0 N, n > n0 , xn V .
(III.1)
114
O0 : O0 ouvert et O0 A .
[
III.5 Exercices
115
III.5
Exercices
Exercice III.1.
116
Exercice III.11.
un ouvert.
(III.3)
Exercice III.19. Nous savons quune intersection finie douverts est encore ouverte. Montrez que ce nest plus vrai en gnral pour une intersection infinie.
(Indication : pensez faire simple, en particulier ce qui se passe en dimension
un pour commencer.)
III.5 Exercices
117
>0 A<
>0 A6
= adh(A).
Faux :
(b) Vrai :
Faux :
(c) Vrai :
Faux :
Chapitre IV
Limites de fonctions et continuit
IV.1
Limites
Notre but ici est de passer des limites de suites aux limites de fonctions. Pour
motiver ceci, repensons lexemple de lintroduction f (x) := sin(x)/x. Rappelons
que le graphique I.3 montre que si x est proche de zro alors f (x) doit tre proche
de 1. Pour donner un sens prcis cette assertion, on pourrait prendre une suite
xn 0 et regarder si f (xn ) 1. Cependant, considrer une unique suite ne suffit
pas. Une suite ne peut parler que de certains x proches de 0, en aucun cas de tous
les x dans un voisinage 1 de 0. Il est donc ncessaire de regarder, pour nimporte
quelle suite (xn )nI qui tend vers 0 si f (xn ) 1. Si cest le cas, nous dirons que 1
est la limite de f (x) lorsque x tends vers 0. Une remarque avant de donner la
dfinition formelle : pour pouvoir parler de la limite de f en 0 nous avons pris des
suites du domaine de f qui convergaient vers 0. Si de telles suites nexistaient pas,
la dmarche naurait pas grand intrt ! Par exemple, un fonction f (x) dfinie pour
x [0, 1] ne nous permet pas de dire grand chose sur le point x = 2 ! Il faut donc
que le point auquel on veut calculer la limite soit dans ladhrence du domaine.
La dfinition suivante permet la subtilit supplmentaire de spcifier une direction
(en contraignant les suites appartenir un ensemble A) dans laquelle on prend
la limite.
1. En effet, un voisinage V de 0 doit contenir un intervalle du type ], [. Un tel intervalle est
en bijection avec R (par exemple par la fonction ], [ R : x 7 tg( 21 x/)) et est donc nondnombrable. Or lensemble {xn : n I} des valeurs dune suite (xn )nI est au plus dnombrable
et ne peut donc pas recouvrir ], [, fortiori V .
119
120
f (x) xa
b
ou
xA
si, quelle que soit la suite (xn )nI A Dom f convergeant vers a, f (xn ) n
b.
Notez que le b ne peut dpendre de la suite (xn )nI . Lorsque A = RN , on
dit simplement f converge vers b lorsque x tend vers a et on omet les x
A dans les critures symboliques qui suivent. Lunicit du b qui satisfait cette
dfinition dcoule immdiatement de lunicit de la limite pour les suites. On
lappelle la limite de f (x) lorsque x tends vers a dans la direction A et, lorsquil
existe, on le note
lim f (x).
xa
xA
xa
x>a
(resp. xa
lim f (x)).
x<a
xA
xA
Si P = 1, alors f (x) xa
b et g(x) xa
c ( f g)(x) xa
bc.
xA
xA
xA
Si P = 1 et c 6= 0, alors f (x) xa
b et g(x) xa
c ( f /g)(x) xa
b/c.
xA
xA
xA
IV.1 Limites
121
f /g : RN RM : x 7 f (x)/g(x),
k f (x) ak 6 g(x).
i = 1, . . . , k, fi (x) xa
bi .
xA
Nous nnoncerons pas les autres propositions quon pourrait dduire de celles
sur la convergence des suites. Nous invitons le lecteur passer ces dernires en
revue et crire les noncs correspondants pour les fonctions.
Rappelons une opration fondamentale sur les fonctions : la composition. La
compose g f de deux fonctions f : RN RM et g : RM RP est dfinie par
g f : RN RP : x 7 g f (x) ,
Dom(g f ) = {x RN : x Dom f et f (x) Dom g}.
Les limites se comportent vis vis de la composition comme suit.
122
et
g(y) c lorsque y b, y B
kx ak 6 k f (x) bk0 6 ;
IV.1 Limites
123
Lhypothse (i) implique que f (xn ) b. Mais alors 0 = limk f (xn ) bk0 > ce
qui contredit la stricte positivit de .
(ii) (iii). Soit V un voisinage de b. Par la dfinition dun voisinage, il
existe un > 0 tel que Bkk0 (x, 2) V . Par (ii), il existe un > 0 tel que
x A Dom f ,
kx ak 6 k f (x) bk0 6 .
Sk
i=1 Ai ;
124
kx ak 6 i k f (x) bk0 6 .
(IV.1)
IV.2 Continuit
IV.2
125
Continuit
126
127
ces fonctions que nous connaissons sont essentiellement intuitives et donc ne nous
permettent pas de donner des preuves de leur continuit. Nous reviendrons sur
cette question dans le chapitre VII lorsque les sries nous donneront lopportunit
de donner des dfinitions prcises de ces fonctions.
IV.3
Le thorme des valeurs intermdiaires est fort intuitif. Jugez plutt. Il dit que
si f : [a, b] R est une fonction continue qui prend en a une valeur ngative et
en b une valeur positive, alors elle sannule en un certain point [a, b] (voir
figure IV.1). Il est clair que si la fonction nest pas continue, si on peut lever
f (b) > 0
a
a
f (a) < 0
F IGURE IV.1 Valeur intermdiare
son crayon , on na aucune chance davoir un tel rsultat (voir la figure IV.2).
Tout aussi ncessaire mais moins vident est quil est important que lespace sur
lequel on travaille soit complet. 3 Par exemple, la fonction f : Q Q : x 7 x2 2
est bien continue, change de signe puisque f (0) = 2 < 0 et f (2) = 2 > 0 mais
il nexiste aucun Q tel que f ( ) = 0 (voir page 40). Lextension continue
f : R R : x 7 x2 2 de f R (une fonction continue f : R R telle que
x Q, f(x) = f (x) qui est unique 4 car Q est dense dans R) possde bien elle
128
129
Si f (xn ) = 0, on sarrte.
Pour la suite de la preuve, on peut considrer que f (xn ) 6= 0 pour tout n sinon,
on prend pour le premier xn qui annule f .
Commenons par tablir que les deux suites (an )nN et (bn )nN convergent
vers la mme limite. Remarquons que, par construction, on a
I
et
(IV.2)
quel que soit le signe de f (xn ). Montrons que la suite (an ) est de Cauchy. Soit
> 0. Puisque 2n |b0 a0 | 0, nous savons quil existe un n0 tel que n >
n0 , 2n |b0 a0 | 6 . Soient m > n > n0 . De (IV.2), on dduit par rcurrence que
[am , bm ] [an , bn ] et donc que am , an [an , bn ]. Ds lors, |am an | 6 |bn an | et,
en utilisant de nouveau (IV.2) rcursivement, on dduit que
|am an | 6 |bn an | =
1
|b0 a0 | 6 .
2n
De la mme manire, on montre que (bn ) est de Cauchy. Puisque R est complet,
il existe des rels a et b qui sont limites des suites (an ) et (bn ) respectivement.
Mais comme |bn an | = 2n |b0 a0 |, on trouve en passant la limite n que
|b a | = lim 2n |b0 a0 | = 0. Donc a = b . Posons := a = b .
Montrons que est une racine de f . tablissons dabord que les conditions se
signe sur lintervalle de dpart sont prserves, savoir
n N,
Cela rsulte dune simple dmonstration par rcurrence. En effet, cest clairement
vrai si n = 0 et il est facile de voir que si f (an ) < 0 et f (bn ) > 0 alors il en est
de mme pour an+1 et bn+1 quel que soit le signe de f (xn ). Comme an et
bn , on a en utilisant la continuit de f que f ( ) = lim f (an ) 6 0 et f ( ) =
lim f (bn ) > 0. En conclusion f ( ) = 0.
Ce thorme montre que la valeur 0 [ f (a), f (b)] est limage par f dun certain . En fait, 0 na rien de spcial et toutes les valeurs c entre f (a) et f (b)
130
sont atteintes, cest--dire sont limage dun certain x. Ceci explique le nom de
valeurs intermdiaires donn au thorme.
Corollaire IV.16. Soit f : [a, b] R une fonction continue. Quelle que soit la
valeur c [ f (a), f (b)], il existe un x [a, b] tel que f (x) = c.
Remarque IV.17. Les intervalles ne sont pas orients . Par lintervalle [, ],
nous voulons dire lensemble des points x entre et , que 6 ou > . On
peut dfinir [, ] sans distinguer ces deux cas en posant
[, ] := (1 t) + t : 0 6 t 6 1 .
Cette dfinition a aussi un sens si , RN auquel cas [, ] est le segment de
droite joignant .
Dmonstration. Il suffit dappliquer le thorme prcdent g(x) := f (x)c.
Il est possible de gnraliser le thorme des valeurs intermdiaires RN .
Nous avons dj remarqu quil tait indispensable que f soit continue. Il faut
aussi que le domaine de f soit en un seul morceau. Par exemple, la fonction
f : [0, 1] [2, 3] R qui vaut 1 sur [0, 1] et 1 sur [2, 3] est continue et change
de signe mais ne sannule jamais (voir figure IV.3). Cest pourquoi nous nous
sommes restreints un intervalle [a, b] dans le thorme ci-dessus. La question
est : comment dire quun ensemble A RN est compos dun seul morceau ? La
solution la plus simple est de dire qutant donn deux points x et y de A, on peut
aller de x y en restant dans A. Autrement dit, il existe un chemin dans A joignant
x y. Pensez un chemin comme la donne du point (t) quoccupera la personne
linstant t ; en t = 0, on part de x, i.e. (0) = x, on se dplace dans A pour arriver
en t = 1 y, i.e. (1) = y (voir la figure IV.4). Formellement, on a
Dfinition IV.18. Un ensemble A RN est dit connexe par arcs si, quels que
soient les points x, y A, il existe une fonction C ([0, 1]; A) telle que (0) = x
et (1) = y.
Cette dfinition nous permet de proposer une extension du thorme des valeurs intermdiaires RN .
131
y
1
t
2
3
(t)
0
Thorme IV.19 (Thorme des valeurs intermdiaires). Soit f : A R une fonction continue dfinie sur un ensemble A connexe par arcs de RN . Si f (x) f (y) < 0
pour certains x, y A, alors il existe un A tel que f ( ) = 0.
Dmonstration. Puisque lensemble A est connexe par arcs, il existe un chemin
C ([0, 1]; A) tel que (0) = x et (1) = y. Considrons la fonction
f : [0, 1] R : t 7 f ((t)).
Cette fonction vrifie (faites les dtails !) les hypothses du thorme IV.15 et
donc, il existe un t [0, 1] tel que f (t) = 0. Il suffit de prendre := (t).
Terminons par quelques exemples densembles connexes par arcs. Tout
dabord, tous les intervalles (ouverts, ferms, semi-ouverts, avec des bornes infinies) de R sont connexes par arcs. En effet, tant donn deux points x, y dun tel
intervalle I, la fonction [0, 1] I : t 7 x + t(y x) dfinit un chemin qui les joint.
Cela implique que le thorme IV.19 gnralise le thorme IV.15.
Plus gnralement, on dfinit :
Dfinition IV.20. Un ensemble A RN est convexe si, quels que soient x, y A,
le segment joignant x y est aussi dans A :
t [0, 1],
(1 t)x + ty A.
Tout ensemble convexe est connexe par arcs (faites les dtails). Les boules
ouvertes et fermes sont des ensembles convexes et donc connexes. En effet, si
132
y
y
A
yx
x
a
r
x + (y x)
= (1 )x + y
x
133
Proposition IV.23. Soit (A ) B une famille densembles connexes par arcs. Supposons que pour tout , 0 B, il existe une famille finie 0 , . . . , k dlments de
S
B tels que 0 = , k = 0 et i = 1, . . . , k, Ai1 Ai 6= . Alors, B A est
connexe par arcs.
Dmonstration. Soient x, y A . Il existe , 0 B tels que x A et y
A 0 . Par hypohtse, on a alors lexistence de 0 , . . . , k tels que x A0 , y Ak et,
pour i = 1, . . . , k, il existe un lment, disons xi , tel que xi Ai1 Ai . Posons
x0 := x et xk+1 := y. Pour i {0, . . . , k}, vu que xi et xi+1 sont dans Ai , il existe un
chemin i C ([0, 1], Ai ) tel que i (0) = xi et i (1) = xi+1 . Dfinissons : [0, 1]
S
B A par
S
A2
A0
2
0
x1
x2
x0 = x
x3 = y
lim
t (i+1)
>
lim
t (i+1)
(t).
134
A qui joint x y.
Enfin, on peut dformer les ensembles connexes par des fonctions continues.
Proposition IV.24. Soit A RN un ensemble connexe par arcs et f : A RM une
fonction continue. Alors f (A) est connexe par arcs.
Dmonstration. Soient y0 , y1 f (A). Il existe x0 , x1 A tels que f (xi ) = yi , i =
0, 1. Par hypothse, il existe un chemin C ([0, 1]; A) tel que (0) = x0 et (1) =
x1 . Alors f C ([0, 1]; f (A)) est tel que f (0) = y0 et f (1) = y1 .
IV.4
Exercices
Exercice IV.1. Prouvez les affirmations suivantes (sachez le faire en utilisant diffrents critres) :
(i) f : R R : x 7 x2 est continue en 2 ;
(ii) f : R R : x 7 x + 1 est continue en a R ;
3
1
(iii) limx1 xx1
= 3;
lim
1
(x2 + y2 ) sin p
(x,y)(0,0)
x2 + y2
x2 y2
(iv)
lim
(x,y)(0,0) x2 + y2
(iii)
lim
(v)
xy
(x,y)(0,0) |x| + |y|
(vi)
x4 + y2
(x,y)(0,0) x2 y
(vii)
x5 y + xy5
(x,y)(0,0) x4 + y4
lim
lim
lim
IV.4 Exercices
135
Exercice IV.3 (janvier 2002). Montrez, partir dune dfinition au choix de continuit, que
(i) la fonction f : R R : x 7 |x| est continue en 3.
(ii) la fonction g : R2 R : (x, y) 7 cos(xy)(x2 + y2 ) est continue en (0, 0).
Exercice IV.4 (aot 2006). Soit la fonction f : R R dfinie par
f (x) = 1 4ex + 3e2x
(i) Calculez f (0), f (0), lim f (x) et lim f (x).
x+
yy0 xx0
(x,y)(x0 ,y0 )
si x 6
si x >
136
= 1
=0
1
1
1
1
=1
1
1
si x 6 0
si x > 0
o R est un paramtre.
(i) Esquissez le graphe de la fonction f pour = 1, = 0 et = 1.
IV.4 Exercices
137
= 1
=0
1
1
2
1
1
1
1
=1
(IV.3)
138
x2 + y2
(x,y)(0,0) x y
lim
Exercice IV.10 (aot 2007). Calculez les limites suivantes si elles existent. Justifiez les diffrentes tapes de vos calculs.
4x3 y2
lim
(x,y)(0,0) 2x5 2y5
1
lim (x + y) cos 2
x + y2
(x,y)(0,0)
y
lim
(x,y)(0,0) x
Exercice IV.11 (mars 2008). On considre la fonction f : R R dfinie par
(
x2 2 2 si x < 0
f (x) =
x+
si x > 0
o est un paramtre rel.
(i) Esquissez le graphe de la fonction f pour = 1, = 0 et = 1.
(ii) Dites pour quelle(s) valeur(s) de la fonction f est continue sur son domaine. Pour la ou les valeurs de donne(s), montrez que la fonction f est
continue en tout point de son domaine. Citez les dfinitions et les rsultats
que vous utilisez et dtaillez vos calculs.
(iii) Dites si la fonction f est continue sur son domaine lorsque = . Justifiez
votre rponse.
Exercice IV.12 (mars 2008). Calculez les limites suivantes, si elles existent. Dtaillez vos calculs et noncez les rsultats que vous utilisez.
(i)
(x 2)4 y2
(x,y)(2,0) (x 2)4 + y4
lim
(ii)
x3 y
(x,y)(0,0) x y
lim
IV.4 Exercices
139
Exercice IV.14 (juin 2008). Pour chacune des limites suivantes, tracez le domaine de dfinition de la fonction dont on prend la limite et calculez la valeur de
cette limite, si elle existe. Dtaillez vos calculs et noncez les rsultats que vous
utilisez.
(i)
x(y + 1)3
(x,y)(0,1) 2x2 + (y + 1)2
(ii)
lim
(x + y)3
xy
(x,y)(0,0)
Domaine de (i)
y
lim
Domaine de (ii)
y
(1, 0)
(0, 0)
(1, 0)
Exercice IV.16. Soit A RN un ensemble connexe par arcs (voir la dfinition IV.18). Rappelons quon dit quun ensemble I est un intervalle de R si et
seulement sil peut scrire sous lune des formes suivantes ]a, b[, [a, b[, ]a, b],
[a, b], ], b], [a, +[ ou ], +[ pour certains a, b R. Prouvez les affirmations suivantes :
(i) Si I est un intervalle, alors I est connexe.
(ii) Si A R est un ensemble connexe, alors quels que soient x, y A et
[0, 1], on a x + (1 )y A.
140
=0
y
=1
y
1
1
2
1
1
2
1
1
IV.4 Exercices
141
Exercice IV.19 (aot 2008). Pour chacune des limites suivantes, tracez le domaine de dfinition de la fonction dont on prend la limite. Calculez la valeur de
cette limite, si elle existe. Dtaillez vos calculs et noncez les rsultats que vous
utilisez.
(i)
x3 y2
(x,y)(0,0) x + y2
lim
(ii)
Domaine de (i)
y
(y 1)(x + 1)3
(x,y)(1,1) (x + 1)2 + (y 1)6
lim
Domaine de (ii)
y
1
1
1
1
3
2
(ii) Montrez (cette fois analytiquement, sans aucune justification graphique) que
lquation e2x = sin x possde une et une seule solution sur [0, /2]. Expliquez votre dmarche et noncez les rsultats utiliss.
Chapitre V
Compacit
La compacit est un concept cl qui se retrouve dans de nombreuses branches
des mathmatiques. De manire trs grossire, mais qui illustre bien son importance, on peut dire que la compacit permet de ramener ltude dune infinit
dobjets ou de cas possibles un nombre fini dentre eux. Ce chapitre la dcrit
dans le cadre de la topologie usuelle sur RN .
Nous allons commencer par donner diffrentes visions, priori disparates, de
cette notion. Nous formaliserons ces approches et en prouverons lquivalence.
Nous montrerons ensuite comment cela permet de rsoudre diverses questions
importantes.
V.1
Introduction
144
Chapitre V Compacit
I0
nN In
I1
I2
I3
..
.
F IGURE V.1 Intersection dintervalles
Il suffit alors de remarquer que
nN Jn
nN In
In0 := ], n]
et
(voir aussi les figures V.2 et V.3). Les intersections finies de In ou de In0 sont nonvides (pouvez-vous le montrer ?). De plus, ces intervalles sont embots : In+1 In
T
T
0
et In+1
In0 . Nanmoins nN In = et nN In0 = . Dans le premier cas, le point
dintersection schappe par le bord gauche des intervalles tandis que dans le
second, il schappe linfini. Pour viter ce genre de situations, on va avoir
0
]
]
]
I0
I1
I2
[1/2
[ 1/3
F IGURE V.2
I00
1
[
nN In
I20
=
I10
0
[
[1
[ 2
F IGURE V.3
0
nN In
besoin de mieux contrler les intersections. Nous allons demander quelles aient
lieu dans un ensemble C. De plus, nous allons nous restreindre aux ferms (mais
pas ncessairement des intervalles) pour viter le problme de la premire suite
ci-dessus.
Dfinition V.1. Nous dirons quun ensemble C RN possde la proprit des
intersections finies (PIF) si, quelle que soit la famille de ferms (F )A dont les
intersections finies sont non-vides au-dessus de C i.e., si
B A, B fini,
\
B
F C 6= ,
V.1 Introduction
145
Tous les ensembles C nont pas la PIF. Daprs les exemples ci-dessus, on se
dit quil est ncessaire que C soit born pour viter que le point dintersection ne
schappe linfini et quil soit ferm afin que le point dintersection ne schappe
pas par le bord de C. Nous verrons que ces conditions C ferm et born sont
exactement celles qui caractrisent les ensembles ayant la PIF.
2. Nous allons maintenant prsenter une approche diffrente qui mne la mme
notion. Il arrive souvent en analyse que les proprits ne soient pas seulement
ponctuelles mais locales. Par exemple, prenons une fonction f : R R telle que
f (x) > 0 pour tout x R. On peut dire que :
x R, cx > 0, f (x) > cx .
(V.1)
En effet, il suffit de prendre cx = f (x) ! Comme indiqu par son indice, cx peut
dpendre de x. La contrainte que cx doit satisfaire, f (x) > cx , ne dpend que de
la valeur de f en x. Pour cette raison, on dira que cette proprit est ponctuelle.
Lanalogue local de (V.1) est le suivant :
x R, cx > 0, V voisinage de x, y V, f (y) > cx .
(V.2)
146
Chapitre V Compacit
Posons cx = f (x)/2 et Vx = B(x, ). Il est facile de dduire (faites le !) de la formule ci-dessus que
y Vx , f (y) > cx .
(V.3)
0 < f (x)
cx = f (x)/2
x }
| {z
Vx = B(x, )
F IGURE V.4 f > cx localement
nous permet de passer dune proprit ponctuelle, f (x) > cx > 0, une proprit
locale : f (y) > cx > 0 pour tout y proche de x.
Voulant continuer tendre le domaine de validit de cette proposition, il est
naturel de se demander si on peut trouver un c > 0 tel que f (y) > c soit vrai pour
des y pas uniquement proches dun x fix. Plus prcisment, on voudrait savoir
pour quels C R on peut avoir
c > 0, y C, f (y) > C.
(V.4)
147
Vx .
xC
Cependant, pour un nombre infini de Vx , on ne peut reproduire largument cidessus. Le problme vient du fait que min{cx : x C} pourrait ne pas exister. Si
on cherche contourner la difficult en dfinissant c := inf{cx : x C}, il se peut
que c = 0 bien que tous les cx soient strictement positifs. En vrit, on ne peut
esprer adapter largument au cas dune infinit de Vx puisquon a vu que bien que
R soit recouvrable par une infinit de Vx vrifiant (V.3), (V.4) nest pas vrai pour
f (x) = ex .
Cest donc que les ensembles C pour lesquels on peut tendre largument ont
une proprit particulire. Cette proprit cest justement que dun recouvrement
infini on puisse extraire un sous-recouvrement fini. De tels ensembles sont appels
compacts.
Dfinition V.2. Un ensemble C RN est dit compact si de tout recouvrement de
C par une famille douverts (O )A , on peut extraire un sous-recouvrement fini
O1 , . . . , Ok pour certains 1 , . . . , k A bien choisis.
Plus symboliquement, si C A O o les O sont des ouverts, alors il
est possible de trouver un nombre fini k N dindices 1 , . . . , k A tels que
S
C ki=1 Oi .
S
V.2
Dfinitions quivalentes
Dans cette section nous allons montrer que les deux dfinitions prcdentes
sont quivalentes entre elles ainsi qu deux autres proprits, la premire faisant le lien avec les suites et la seconde permettant de facilement les vrifier en
pratique.
Thorme V.3 (Dfinitions quivalentes de compacit). Soit C un sous-ensemble
de RN . Les proprites suivantes sont quivalentes :
(i) C possde la proprit des intersections finies ;
(ii) C est compact ;
148
Chapitre V Compacit
(iii) C est squentiellement compact, cest--dire que, de toute suite (xn )nI
C, on peut extraire une sous-suite (xn0 )nI 0 telle que (xn0 ) converge vers un
certain x C.
(iv) C est ferm et born.
Dmonstration. Commenons par montrer que (i) (ii).
(i) (ii). Supposons que C ait la proprit des intersections finies et montrons quil est compact. Soit donc (O )A un recouvrement ouvert de C. Argumentons par contradiction et supposons au contraire quon ne puisse trouver de
sous-recouvrement fini adquat, cest--dire que
[
B A, B fini,
O ne recouvre pas C.
Le fait que lunion ne recouvre pas C veut dire quau moins un point de C nest
pas dans lunion. La proprit prcdente est donc quivalente
B A, B fini, x C,
x
/
O .
x
/
{{O = {
{O .
{O 6= .
Autrement dit, les intersections finies des ({O )A sont non-vides au dessus de
C et (i) implique que
\
C
{O 6=
A
ou encore que
x C,
{O = {
O .
149
(ii) (i). Le principe argument par contradiction et passage au complmentaire est le mme que pour (i) (ii). Les dtails sont laisss au lecteur.
Nous allons maintenant prouver que (ii) (iii) (iv) (ii)
(ii) (iii). Supposons que C soit compact et montrons quil est squentiellement compact. Soit (xn )nI C. Supposons par contradiction quaucune soussuite de (xn )nI ne converge vers un lment de C, cest--dire que, quel que soit
x C, il ne peut tre la limite daucune sous-suite de (xn )nI :
x C, (xn0 ) (xn ),
xn0 6 x .
(V.5)
Montrons que cela implique que (xn ) reste ultimement une certaine distance
de x :
x C, = (x ) > 0, n0 = n0 (x ), n > n0 ,
xn
/ B(x , ).
(V.6)
xn B(x , ).
xn
/ B(xj , (xj )).
(V.7)
150
Chapitre V Compacit
Posons n := max{n0 (xj ) : j = 1, . . . , k}. Puisque n > n n > n0 (xj ), laffirmation prcdente implique que
j = 1, . . . , k, n > n ,
xn
/ B(xj , (xj ))
ou encore que
n > n ,
xn
/
k
[
j=1
En particulier, xn ne peut appartenir lunion des boules et donc pas non plus
C au vu de (V.7). Ceci contredit le fait quon avait choisi une suite (xn ) C.
(iii) (iv). Supposons que C soit squentiellement compact et montrons
quil est ferm et quil est born.
Pour voir que C est ferm, prenons une suite (xn ) C qui converge vers un
a RN et prouvons que a C. Vu que C est squentiellement compact, il existe
une sous-suite (xn0 ) (xn ) et x C tel que xn0 x . La proposition I.17 implique
que xn0 a. Ds lors, de lunicit de la limite, on dduit a = x C.
Pour montrer que C est born, procdons par labsurde. Si C nest pas born,
on a
R > 0, x C, kxk > R.
En particulier en prenant successivement R = 0, 1, 2, . . . , on obtient une suite
(xn )nN C telle que
n N, kxn k > n.
(V.8)
Puisque C est squentiellement compact, il existe une sous-suite (xnk )k (xn ) et
x C tels que xnk x . Par (V.8), on a
k
kxnk k > nk +.
k
151
Graphiquement, lide est trs simple. La figure V.5 en tmoigne deux dimensions : la boule B [x, R] est simplement un carr de cot 2R centr en x et on
peut le recouvrir laide de 4 carrs de cot R, cest--dire 22 boules B [y, R/2]
pour certains y bien choisis.
R/2
y1
B [y1 , R/2]
R/2
y2
R
x
R/2
y3
R/2
y4
yP
Reste voir linclusion inverse. Soit z B [x, R]. Il faut montrer quil existe
un y P tel que z B [y, R/2]. Choisissons y = x + (1 , . . . , N )R/2 avec les i
152
Chapitre V Compacit
B [y, R/2]
yP1
pour un certain ensemble fini P1 B [x, R]. Au moins une des boules B [y, R/2]
ne peut tre recouverte par un nombre fini de O . En effet, si chacune des boules
B [y, R/2], y P1 , pouvait tre recouverte par un nombre fini de O , en prenant
tous ces O (qui sont en nombre fini puisquil y en a un nombre fini par boule et un
S
nombre fini de boules), on recouvrirait yP1 B [y, R/2] = B [x, R], ce quon avait
suppos ne pas pouvoir faire. Notons B [y1 , R/2] une des boules non-recouvrables
par un nombre fini de O .
153
S
B [yn , R/2n ].
n>1
154
Chapitre V Compacit
dont on a construit B [yn , R/2n ] qui garantissait quil ntait pas recouvrable par
un nombre fini de O .
En conclusion, on ne pouvait pas supposer quil tait impossible de recouvrir
B [x, R] par un nombre fini de O . Ceci termine largument tablissant la compacit de B [x, R].
(iv) (ii). Montrons que si C est ferm et born, alors C est compact. Soit
(O )A un recouvrement de C. Puisque C est born, il existe un R > 0 tel que
C B [x, R]. Posons O0 := RN \C = {C. Cest un ouvert. De plus
B [x, R] O0
/ C et
puisque, si y B [x, R], soit y C auquel cas il est dans A O , soit y
0
donc y O . Comme B [x, R] est compact, on peut extraire un sous-recouvrement
fini de (O0 , O : A), cest--dire quil existe 1 , . . . , k A tels que
S
B [x, R] O1 Ok
ou
B [x, R] O0 O1 Ok .
Dans le premier cas, on a fini puisque C B [x, R]. Dans le second, on va montrer
que
C O1 Ok .
Quel que soit y C, on a y B [x, R] et donc y Oi pour un i, ce qui est ce quon
veut, ou y O0 = {C, ce qui est impossible vu que y C.
V.3
Dans cette section, nous allons montrer quune fonction continue sur un compact possde une valeur maximale et une valeur minimale. Nous allons donner
plusieurs dmonstrations de ce fait afin de voir les diverses formulations de la
compacit en uvre.
Thorme V.5 (Thorme des bornes atteintes). Soit C RN un compact nonvide et f : C R une fonction continue. Alors f atteint ses bornes, cest--dire
quil existe au moins un xmin C et un xmax C tels que, pour tout x C, f (xmin ) 6
f (x) 6 f (xmax ).
155
Remarque V.6.
On peut de manire quivalente dire quune fonction f : C
R atteint ses bornes si min f (C) et max f (C) existent et en fait, avec les
notations du thorme, on a f (xmin ) = min f (C) et f (xmax ) = max f (C).
Lhypothse de compacit ne peut tre enleve. En effet, considrons la fonction f : ]0, 1] R : x 7 1/x. Cette fonction est continue et pourtant elle natteint pas son maximum vu que sup f (]0, 1]) = sup[1, +[ = +. (Atteint-elle
son minimum ?)
Toutes les dmonstrations qui suivent vont seulement montrer le fait que f
atteint son maximum. Les dmonstrations pour le minimum sont similaires on
peut aussi utiliser la relation min f = max( f ).
Dmonstration utilisant la PIF. Notons s := sup f (C) [, +]. Puisque C 6=
, f (C) 6= et donc s 6= . Pour n N \ {0}, posons
(
s 1/n si s R
n :=
n
si s = +
Fn := {x C : f (x) > n }.
Les ensembles Fn sont ferms. En effet, si (xk ) Fn converge vers x , alors en
passant la limite sur k, f (xk ) > n et en utilisant la continuit de f , on obtient
f (x ) = f (lim xk ) = lim f (xk ) > n et donc x Fn .
De plus, aucun Fn nest vide. En effet, puisque n < sup f (C), on sait quil
existe un lment de f (C), cest--dire un f (x) pour un x C, tel que f (x) > n
(propositions I.39 (iii) et I.41 (iii)). Ce x appartient Fn .
Par ailleurs, comme les n sont croissants, les ensembles Fn sont dcroissants :
F1 F2 F3 Si on fait lintersection dun nombre fini dentre eux, disons
Fn1 , Fn2 , . . . , Fnk , on a
k
\
i=1
(voyez-vous pourquoi ? pouvez-vous le montrer ?). Par consquent, les intersections finies des Fn sont non-vides au dessus de C (puisque Fmax{n1 ,...,nk } C).
En vertu de la PIF, lintersection de tous les Fn est non-vide au dessus de C,
cest--dire quil existe un xmax C tel que
xmax
\
n=1
Fn .
156
Chapitre V Compacit
Reste montrer que f (xmax ) est bien le maximum de f (C). Comme xmax Fn veut
dire que f (xmax ) > n , en passant la limite on a f (xmax ) > lim n = sup f (C).
Donc f (xmax ) = sup f (C) et cest bien le maximum (proposition I.44).
Dmonstration utilisant la dfinition de compacit. Supposons au contraire que f
natteigne pas son maximum sur C, cest--dire que
x C, y C,
(V.9)
(V.10)
| f (x0 ) f (x)| 6 .
La compacit de C implique alors quil suffit dun nombre fini douverts pour
recouvrir C i.e.,
C Vx1 Vxn
pour certains x1 , . . . , xn C. Puisque C 6= , on a n > 1. Notons y1 , . . . , yn des y
correspondant chacun de ces xi par (V.10). Parmi les f (yi ), 1 6 i 6 n, il y en a
un qui est le plus grand, disons que cest f (y j ) :
f (y j ) = max f (yi ).
16i6n
Ce y j appartient C qui est recouvert par les Vxi , 1 6 i 6 n, donc y j Vxi pour un
certain i. Mais ce fait combin avec la proprit (V.10) implique que
f (y j ) < f (yi ) 6 max f (yi ) = f (y j ).
16i6n
157
Cette contradiction montre quon ne pouvait pas supposer que f natteignait pas
son maximum.
La dmonstration suivante porte le nom de mthode directe du calcul des variations parce quon recherche le maximum directement, comme limite dune suite
bien conrtruite.
Dmonstration base sur la compacit squentielle. Posons s := sup f (C). Comme C 6= , on a f (C) 6= et donc s 6= . Les proprits du suprmum (propositions I.39 (ii) et I.41 (ii)) impliquent quil existe une suite (sn )nI f (C) telle que
sn s. Par dfinition de f (C), chaque lment sn scrit comme f (xn ) pour un
certain xn C. Puisque C est squentiellement compact, il existe une sous-suite
(xn0 ) de (xn ) qui converge vers un x C. Comme f est continue, f (xn ) f (x ).
Puisque f (xn0 ) est une sous-suite de f (xn ) = (sn ), on a f (xn0 ) s. Lunicit
de la limite implique alors
f (x ) = s = sup f (C)
et donc, vu que f (x ) f (C), on a f (x ) = max f (C).
V.4
Nous avons affirm la page 91 que toutes les normes sur RN taient quivalentes. Nous avons maintenant les outils pour le dmontrer. Heureusement, jusqu prsent nous navons pas utilis le fait que toutes les normes sur RN taient
quivalentes. Ce que nous avons dit est que certaines proprits ne dpendaient
pas de la norme tant quon se restreignait des normes quivalentes et nous avons
plusieurs reprises particularis la norme ||1 , ||2 ou || . En dautres termes,
nous avons jusqu prsent travaill avec toutes les normes quivalentes ||1 , ||2
et || (dont on sait quelles sont quivalentes, cf. proposition II.9). Ce que nous
allons maintenant prouver est que, si kk est une norme quelconque sur RN dont
nous ne savons pas priori si elle est quivalente ||1 , ||2 et || et donc pour
laquelle nous ne sommes pas srs que les thormes prcdents soient valides,
cette norme kk na en ralit pas dautre choix que dtre quivalente ||1 , ||2
et || ce qui nous permet de dire posteriori que les thormes prouvs pour
les normes quivalentes ||1 , ||2 et || sont valables pour toutes les normes.
158
Chapitre V Compacit
Thorme V.7 (quivalence des normes en dimension finie). Toutes les normes
sur RN sont quivalentes.
Dmonstration. Soit kk : RN [0, +[ une norme arbitraire sur RN . Nous allons
montrer que kk est quivalente ||1 , cest--dire quil existe des constantes C > 0
et C0 > 0 telles que
x RN ,
kxk 6 C|x|1
et |x|1 6 C0 kxk.
(V.11)
o C := max{kei k : 1 6 i 6 N}. Ceci tablit aussi que kk est continue (par rapport
||1 ) : quelle que soit (xn ) RN et x RN ,
||1
xn n
x kxn k n
R kx k.
(V.12)
En effet, kxn k kx k 6 kxn x k 6 C|xn x |1 0 et une simple application
de la convergence domine donne le rsultat.
Passons maintenant la preuve de la seconde ingalit de (V.11). Procdons
par labsurde et supposons quil nexiste pas de C0 qui marche pour tous les x,
cest--dire :
C0 > 0, x RN , |x|1 > C0 kxk.
Pour chaque n N, en considrant C0 = n dans cette proposition, on trouve quil
existe un xn RN tel que |xn |1 > nkxn k. Posons n := xn /|xn |1 . Nous avons que
|n |1 = 1
kn k =
et
kxn k 1
< .
|xn |1 n
Comme la sphre unit S||1 (0, 1) := {x RN : |x|1 = 1} est compacte (on vrifie
facilement quelle est ferme est borne), on peut trouver une sous-suite (n0 ) de
||1
V.5 Exercices
159
V.5
Exercices
B est compact.
160
Chapitre V Compacit
V.5 Exercices
161
(vii) Prouvez que si A R2 est ferm et sil existe un R > 0 tel que A [R, R]
R, alors f (A) est ferm. (Indication : Un dessin de la situation peut vous
aider.)
Exercice V.14. On dit quune fonction f : A RN RM est uniformment continue sur A si on peut choisir un dans la dfinition de continuit qui marche pour
tous les points i.e., si
> 0, > 0, x A, x0 B(x, ), k f (x0 ) f (x)k 6 .
Montrez que si f : A RN RM est continue et que A est compact, alors f est
uniformment continue sur A.
Exercice V.15 (aot 2008). Soient f : R R une fonction continue arbitraire sur
R et deux rels a < b. Considrons les ensembles
n
o
N := x ]a, b[ f (x) = inf f (x)
x]a,b[
et
n
o
M := x [a, b] f (x) = sup f (x)
x[a,b]
Chapitre VI
Drive des fonctions dune variable
La notion de drive a provoqu une rvolution de lanalyse mathmatique.
Elle a t invente indpendamment par Newton et Leibniz au XVIIe sicle. Cest
grce la drive que Newton a pu crire les quations du mouvement dun corps
soumis des forces et quil a pu calculer le mouvement des plantes autour du
soleil. Comme nous le verrons par la suite, la drive est aussi utile pour le calcul
daires, de volumes,...
Dans ce chapitre, nous allons nous intresser la dfinition et aux proprits de
base de la drive. Dans le suivant nous apprendrons comment approcher les fonctions par des polynmes construits grce aux drives. Enfin dans le chapitre VIII,
nous nous intresserons la rsolution de certaines quations comprenant des drives.
VI.1
Dfinitions et interprtations
164
Plus h est petit, moins f a le temps de varier et donc meilleure est lapproximation
de la vitesse de variation de f en a. Cette dernire sera donc dfinie en passant
la limite h 0.
Dfinition VI.1. Soit f : R RN et a int Dom f . On dit que f est drivable en
a si la limite suivante existe :
lim
6=
h0
f (a + h) f (a)
h
ou, si on prfre,
lim
6=
xa
f (x) f (a)
.
xa
f (a + h)
f (a+h) f (a)
f (a)
f (a+h) f (a)
h
a+h
165
de cette tangente :
y = f (a) + f (a)(x a).
(VI.1)
y2
f (a+h)
f (a+h) f (a)
h
y1
R2 3 f (a+h) f (a)
Remarquons que cela corrobore ce que nous avions dit sur la vitesse de variation
instantane de f . En effet, au voisinage de a, f (x) est proche de la valeur de la
tangente f (a) + f (a)(x a). Donc, si on fait une petite variation h de a, la valeur
de la tangente sera f (a) + f (a)(a + h a) = f (a) + f (a)h, cest--dire un cart
f (a)h de f (a), ce qui exprime bien que f (a) est le taux de variation de f en a.
La seule diffrence pour les fonctions valeurs vectorielles est que la variation
de f , f (a + h) f (a), est un vecteur de RN . Le quotient f (a + h) f (a) /h est
donc le vecteur de variation normalis : il donne la variation en y de la droite passant par (a, f (a)) et (a+h, f (a+h)) lorsquon parcourt une unit dans la direction
des x (voir figure VI.2). On peut aussi dire que h, f (a + h) f (a) R RN est
f (a)
a+h
166
donc que, si x a, alors f (x) f (a) + f (a)(x a). Il est possible de rendre
cette ide plus prcise. La drive est le coefficient b RN tel que f (x) soit bien
approxim par f (a) + b(x a). En dautres mots, parmi toutes les droites passant par (a, f (a)), qui ont donc une quation du type y = f (a) + b(x a), il y en a
une qui colle bien la fonction et quon appelle la tangente (voir figure VI.3).
Le b correspondant la tangente est justement f (a). Pour tre compltement
f
tangente
f (a)
a
F IGURE VI.3 Droites passant par (a, f (a))
rigoureux, il faut encore prciser ce que bien approxim veut dire. En effet,
f (x) f (a) + b(x a) xa
0 ne suffit pas ; cest quivalent la continuit en a
et nimpose aucune contrainte sur b. En fait, dire que f (a) + b(x a) approxime
au mieux f (x) signifie quon ne peut amliorer lapproximation en modifiant b.
Lerreur f (x) f (a) + b(x a) pour le b optimal doit donc tre ngligeable
vis--vis de x a, sinon on pourrait modifier le coefficient b pour amliorer lapproximation. Voici la dfinition prcise dtre ngligeable vis--vis de (xa)n .
Dfinition VI.2. Soit f : R RN , a adh(Dom f \ {a}) et n N. On dit que f
est un petit o de (x a)n si
> 0, > 0, x B(x, ) Dom f , k f (x)k 6 |(x a)n |
(VI.2)
On crit cela : f (x) = o (x a)n lorsque x a.
Comme toutes les normes sont quivalentes sur RN , (VI.2) ne dpend pas de
la norme kk choisie (prouvez le !).
Il est facile de prouver que (VI.2) est quivalent
f (a) = 0 (si a Dom f ) et
f (x)
6=
0 lorsque x a.
(x a)n
(VI.3)
167
La notation f (x) = o (x a)n est abusive. En effet, (x a)2 et (x a)3 sont
tous les deux des petit o de x a et pourtant on ne voudrait pas conclure de (x
a)2 = o(x a) = (x a)3 que (x a)2 = (x a)3 ! Comme il y a de nombreuses
fonctions qui sont des petits o de (x a)n , il vaudrait mieux crire f o (x
a)n . Nous ne le ferons pas pour des raisons daisance de calcul. Expliquons.
partir de maintenant, nous allons penser chaque occurrence de o (x a)n comme
reprsentant une fonction qui a la proprit (VI.3), cette fonction pouvant changer
chaque apparition de o (x a)n . Cette convention permet dcrire
o (x a)n + o (x a)n = o (x a)n
pour signifier que si f et g sont deux o (x a)n , alors f + g est aussi un o (x
a)n . Lavantage de dsigner toutes ces fonctions ( f , g, et f + g) par o (x a)n
est quil nest pas ncessaire dinventer des noms pour dsigner des fonctions
propos desquelles la proprit importante est (VI.3). La difficult est quil faut
bien comprendre ce quon crit et lordre dans lequel se droulent les calculs. Afin
de vous y aider, voici quelques galits frquemment utilises et leur traduction
avec des noms explicites :
(i) o (x a)n = o (x a)m si m 6 n ;
(ii) o (x a)n o (x a)m = o (x a)n+m ;
m
(iii) o((x a)n ) = o (x a)nm ;
(iv) o (x a)n = o(1) (x a)n ;
(v) o(1) (x a)n = o (x a)n .
De manire plus dtaille :
(i) si f est un petit o de (x a)n et m 6 n, alors f est un petit o de (x a)m ;
(ii) si f est un petit o de (x a)n et g est un petit o de (x a)m , alors f g est un
petit o de (x a)n+m ;
(iii) Si f est un petit o de (x a)n , alors f m est un petit o de (x a)nm ;
(iv) si f est un petit o de (xa)n , alors il existe un g qui est un o(1) (i.e., g(x) 0
si x a) tel que f = g (x a)n ;
(v) si f est un o(1), alors f (x a)n est un petit o de (x a)n .
168
Nous invitons le lecteur crire des arguments montrant la vrit de ces proprits ; ils sont simples et le familiariseront avec les petit o .
Cette notion maintenant introduite, revenons lexpression du fait que la tangente est la droite qui approxime bien la fonction.
Proposition VI.3. Soit f : R RN et a int Dom f . La fonction f est drivable
en a si et seulement si il existe un b RN tel que
f (x) = f (a) + b(x a) + o(x a) lorsque x a.
(VI.4)
169
Im f
t +h
f (a + h) f (a) f (t + h)
f (t)
R
f
f (t)
f (t)
R
f
R.
Remarquons que lorsque f (t) = 0, la tangente limage de f semble mal dfinie. Ce nest pas ncessairement le cas. Par exemple, considrons f : R R2 :
t 7 (t 3 ,t 3 ). Son image est simplement la diagonale principale (voir figure VI.6) et
donc la tangente en chaque point est cette droite elle-mme. Pourtant, on calcule
aisment que f (t) = (3t 2 , 3t 2 ) (voir ci-aprs pour les rgles de calcul) et donc
f (0) = (0, 0). Ainsi, ce nest pas parce que la drive sannule que la tangente
1. Pour rappel, une fonction affine est la somme dune constante, ici f (a) ba, et dune application linaire, ici x 7 bx.
2. Cest surtout vrai si le domaine de f est un intervalle. Si Dom f est compos de multiples
intervalles, f peut tracer plusieurs courbes. Il peut galement y avoir des points isols,...
170
f (0) = 0
F IGURE VI.6 f : R R2 : t 7 (t 3 ,t 3 )
nest pas bien dfinie gomtriquement. Cest parce que, du point de vue de la
gomtrie, qui est statique, le paramtre t nest pas important. Dans lexemple
prcdent, limage de f : R R2 : t 7 (t 3 ,t 3 ) est la mme que celle de la reparamtrisation g : R R2 : 7 g() := f ( 1/3 ) = (, ) et cette dernire donne
bien g(0) = (1, 1) comme vecteur directeur de la tangente cette image au point
g(0) = f (0) = (0, 0).
Le rle du paramtre t est donn par une vision dynamique de la fonction
f . Comme nous lavons dit, on peut voir f (t) comme la position dun mobile
linstant t. Ainsi, f (t + h) f (t) reprsente la distance vol doiseau entre f (t)
et f (t + h). Notons que ce vecteur ne donne pas seulement la longueur parcourue,
qui est k f (t + h) f (t)k, mais galement la direction du dplacement. Le quotient
f (t + h) f (t) /h est donc la vitesse moyenne. De nouveau ce vecteur donne
non seulement lamplitude de la vitesse mais aussi sa direction. Plus h est petit,
moins le mobile a le temps de faire varier sa vitesse, ce qui implique que la vitesse
moyenne est dautant plus proche de la vitesse linstant t. En passant la limite
h 0, on obtient que f (t) est la vitesse instantane linstant t.
Nous avons jusqu prsent parl de la drive en un point. Dans de nombreuses situations, nous voudrons que la drive existe en tous les points dun
ensemble.
Dfinition VI.4. Soit f : R RN et A int Dom f . Nous dirons que f est drivable sur A si f est drivable en tout point a A. Dans ce cas, nous pouvons
parler de la fonction drive sur A : f : A RN : a 7 f (a).
VI.2
171
Proprits de base
Tout dabord nous allons tablir que la drivabilit est une proprit de rgularit plus forte que la continuit.
Proposition VI.5. Soit f : R RN et a int Dom f . Si f est drivable en a, alors
f est continue en a.
6=
Dmonstration. Il faut montrer que f (x) f (a) lorsque x a. Grce aux rgles
de calcul sur les limites (proposition I.7), on a
f (x) f (a)
(x a)
lim f (x) f (a) = lim
6=
6=
xa
xa
xa
= lim
6=
xa
f (x) f (a)
lim (x a) = f (a) 0 = 0.
6=
xa
xa
et
|x| |0|
x
= lim
= 1.
>
x0 x 0
x0 x
lim
>
f
f (a) g(a) f (a) g(a)
(a) =
.
g
g(a)2
172
Dmonstration. (i)
pliquent que
( f + g)(a + h) ( f + g)(a)
f (a + h) f (a) + g(a + h) g(a)
= lim
6=
6=
h
h
h0
h0
lim
= lim
6=
h0
g(a + h) g(a)
f (a + h) f (a)
+ lim
=
6
h
h
h0
= f (a) + g(a).
Ce calcul montre que la limite du quotient diffrentiel de f + g existe, donc que
f + g est drivable en a, et que ( f + g)(a) = f (a) + g(a).
(ii) Nous dmontrerons sous une forme gnralise cette affirmation dans la
proposition suivante.
(iii) Il suffit de montrer que (1/g)(a) = g(a)/g(a)2 car f /g = f (1/g)
et la formule gnrale dcoule alors de la rgle (ii) faites le calcul ! Puisque
g est continue en a (proposition VI.5) et que g(a) 6= 0, il existe un voisinage V
de a tel que g(x) 6= 0 pour tout x V (voyez-vous pourquoi ?). Par consquent,
a int Dom(1/g). De nouveau, les rgles de calcul sur les limites (proposition I.7)
impliquent que
(1/g)(a + h) (1/g)(a)
1 g(a) g(a + h)
= lim
6=
6=
h
h0
h0 h g(a + h) g(a)
lim
g(a + h) g(a)
h
h0
lim
6=
6=
g(a)
.
g(a) g(a)
h0
173
Quest-ce que tous ces produits ont en commun qui fasse quils ont la mme rgle
de drivation ? Ce sont des applications bilinaires. Une application bilinaire est
une fonction b : RN RM RP qui est linaire en chacune des deux variables
prise sparment, cest--dire qui vrifie
1 , 2 R, x1 , x2 RN , y RM ,
b(1 x1 + 2 x2 , y) = 1 b(x1 , y) + 2 b(x2 , y)
1 , 2 R, x RN , y1 , y2 RM ,
b(x, 1 y1 + 2 y2 ) = 1 b(x, y1 ) + 2 b(x, y2 )
Les rgles de drivation prcdentes proviennent de la formule gnrale suivante.
Proposition VI.7. Soit b : RN RM RP une application bilinaire, f : R
RN , g : R RM et a int Dom f int Dom g. On note b( f , g) lapplication R
RP : x 7 b( f (x), g(x)). Si f et g sont drivables en a, alors b( f , g) est drivable
en a et
b( f , g) (a) = b f (a), g(a) + b f (a), g(a) .
Nous aurons besoin du lemme suivant dans la preuve de cette proposition.
Lemme VI.8 (Continuit des applications bilinaires). Soit b : RN RM RP
une application bilinaire. Il existe une constante C R telle que
x RN , y RM ,
(VI.5)
Cela implique que b est continue au sens o, si (xn , yn ) nI RN RM converge
vers (x , y ), alors b(xn , yn ) b(x , y ).
Dmonstration. Notons (e1 , . . . , eN ) la base canonique de RN et (e01 , . . . , e0M ) la
M
0
base canonique de RM . On a donc x = N
i=1 xi ei et y = j=1 y j e j . En utilisant la
bilinarit de b, on a
N
N
|b(x, y)| = b xi ei , y = xi b(ei , y)
i=1
i=1
N
N
M
M
= xi b ei , y j e0j = xi y j b(ei , e0j )
i=1
j=1
i=1
j=1
174
i=1 j=1
6 |x| |y|
|b(ei, e0j )|
i=1 j=1
M
0
Il suffit de poser C := N
i=1 j=1 |b(ei , e j )| qui est bien une constante indpendante de x et y.
Soit maintenant (xn , yn ) (x , y ) dans RN RM . Puisque la convergence a
lieu composante par composante (proposition II.16), cela implique que xn x et
yn y . Puisque toutes les normes sont quivalentes, on peut choisir la norme ||
pour exprimer la convergence, ce qui donne |xn x | 0 et |yn y | 0. Par
ailleurs, nous savons aussi que tout suite convergente est borne (proposition I.19
et (II.1)) ; donc il existe un R > 0 tel que |yn | 6 R pour tout n. Ds lors, en
utilisant la bilinarit de b et (VI.5), on peut crire
|b(xn , yn ) b(x , y )| = b(xn , yn ) b(x , yn ) + b(x , yn ) b(x , y )
6 |b(xn x , yn )| + |b(x , yn y )|
6 C|xn x | |yn | +C|x | |yn y | n
0
et la convergence domine permet de conclure que |b(xn , yn ) b(x , y )| 0.
175
Une autre manire de construire des fonctions est de substituer une expression
une variable. Voici la rgle de drivation associe.
Proposition VI.9 (Drivation des fonctions composes). Soient f : R R, g :
R RN et a int Dom f tel que f (a) int Dom g. Si f est drivable en a et g est
drivable en f (a), alors g f : R RN : x 7 g( f (x)) est drivable en a et
g f (a) = g f (a) f (a).
Dmonstration. Plutt que de regarder le quotient diffrentiel de g f , nous allons suivre lapproche alternative donne par la proposition VI.3. Les hypothses
scrivent comme
f (x) = f (a) + f (a)(x a) + o(1)(x a) lorsque x a
(VI.6)
176
.
f f 1 (y0 )
177
Nous ne considrerons que le premier cas, le second se traitant de manire similaire. Puisque f est injective, on a ncessairement que f (1 ) 6= f (2 ) et f (2 ) 6=
f (3 ). Prenons y tel que max{ f (1 ), f (2 )} < y < f (2 ). Par la proprit des valeurs intermdiaires, il existe un 1 [1 , 2 ] et un 2 [2 , 3 ] tels que f (1 ) =
y = f (2 ). Puisque y 6= f (2 ), on a 1 6= 2 et 2 6= 2 . Ds lors, 1 6= 2 et
f (1 ) = f (2 ). Ceci contredit linjectivit de f .
Pour le reste de la preuve, nous allons considrer le cas o f est strictement
croissante, celui o f est strictement dcroissante tant laiss au lecteur. Notons
6 a < b 6 + les bornes de I : I = ]a, b[. Nous allons montrer que
f (I) = ]inf f (I), sup f (I)[.
Tout dabord, il est clair que si x I, alors inf f (I) 6 f (x) 6 sup f (I). De plus,
on ne peut avoir aucune des deux galits. En effet, si inf f (I) = f (x) pour un
certain x ]a, b[, on peut prendre x0 I tel que x0 < x et la stricte croissance de
f implique que f (x0 ) < f (x). Comme dautre part inf f (I) 6 f (x0 ), on arrive
la contradiction inf f (I) 6 f (x0 ) < f (x) = inf f (I). On exclu de mme lgalit
f (x) = sup f (I). Ceci montre linclusion .
Pour linclusion inverse, prenons y R tel que
inf f (I) < y < sup f (I).
Les proprits de linfimum et du suprmum (propositions I.39 (iii) et I.41 (iii))
impliquent quil existe un f (x1 ) f (I) et un f (x2 ) f (I) tels que
inf f (I) 6 f (x1 ) 6 y 6 f (x2 ) 6 sup f (I).
Par la proprit des valeurs intermdiaires, il existe un x [x1 , x2 ] I tel que
f (x) = y. Donc y f (I) et linclusion est tablie.
Pour finir, nous allons montrer la continuit de f 1 : J = f (I) I. Soit y0 I
et > 0. Il faut trouver un > 0 tel que
y [y0 , y0 + ],
Prenons 0 < 0 6 tel que f 1 (y0 ) 0 et f 1 (y0 ) + 0 appartiennent I (voyezvous pourquoi cest possible ?). Puisque f est strictement croissante,
y1 := f f 1 (y0 ) 0 < y0 = f ( f 1 (y0 )) < f f 1 (y0 ) + 0 =: y2 .
178
(VI.8)
1
lim
yy0
f ( f 1 (y))
f (x0 )
1
.
f (x0 )
f 1 (y) x0
179
n
i
a
x
=
i
ai i xi1
i=1
i=1
x xi = lim
= |xi1 + xi1 + {z
+ xi1 + xi1} = ixi1 .
i termes
sin x
cos x
et
cos x > 0.
180
Comme le sinus est impair et le cosinus pair, si x [/2, 0], on peut crire
|sin x| = sin(x) et |cos x| = cos x. Ds lors, si x [/2, /2], on a
|sin x| 6 |x| 6
|sin x|
.
cos x
(VI.10)
tg x
sin x
{z
}
cos x
F IGURE VI.7 Estimations sur sin x
(cos x)2 = 1, cos x = |cos x| 1. De plus, (VI.10) implique que, pour tout x
[/2, /2],
sin x
cos x 6
6 1.
x
Comme sin x et x sont tous deux ngatifs ou tous deux positifs, on peut enlever
les valeurs absolues. Il suffit alors de passer la limite x 0 pour obtenir (VI.9)
(cf. proposition I.9).
De (VI.9) et (sin x)2 + (cos x)2 = 1, on dduit que
sin x 2
cos x 1 cos x + 1 cos2 x 1
=
=
1.
x0
x
x
x2
x
Par consquent
cos2 x 1
cos x 1
x
= lim
x0
x0
x
x2
cos x + 1
2
cos x 1
x
0
= lim
lim
= 1
= 0.
2
x0 cos x + 1
x0
x
1+1
lim
En utilisant lidentit sin(a + b) = sin a cos b + sin b cos a et les rsultats prc-
181
Proposition VI.15. x ex = ex .
VI.3
Thormes de la moyenne
Les rgles tablies dans la section prcdente permettent, partir dinformations sur f , de calculer sa drive. Ici, nous voudrions aller dans la direction oppose : y-a-t-il des informations sur la drive partir desquelles on peut dduire
certaines caractristiques de la fonction ? cette fin, nous allons tablir deux thormes de la moyenne et en montrer certaines consquences.
Commenons par le rsultat suivant qui restreint les points auxquels une fonction drivable peut avoir un maximum ou un minimum.
Proposition VI.16. Soit f : R R et a int Dom f un point o f est drivable.
Si a est un maximum local ou un minimum local de f , alors a est un point critique
de f , cest--dire f (a) = 0.
Un point a est dit maximum local (resp. minimum local) de f si f (a) est plus
grand (resp. plus petit) que tous les f (x) pour x proche de a. Plus prcisment, a
est un maximum local (resp. minimum local) de f sil existe un voisinage V de a
tel que, pour tout x Dom f V , f (x) 6 f (a) (resp. f (x) > f (a)).
Gomtriquement, cette proposition dit quen un point de maximum ou de
minimum local, la tangente au graphe de f est horizontale (voir figure VI.8). Remarquons quil est important que le point se trouve lintrieur du domaine de f .
En effet, la fonction f : [0, 1] R : x 7 x atteint son maximum en x = 1 et pourtant
f (1) = 1 6= 0.
182
f (x) 6 f (a).
Ds lors, quel que soit x ]a , a + [ \ {a}, f (x) f (a) est ngatif et le signe
du quotient diffrentiel dpend du dnominateur :
(
f (x) f (a) > 0 si x < a
(VI.11)
xa
6 0 si x > a
Comme on sait que la limite de ce quotient diffrentiel existe pour x a, les
<
>
limites pour x
a et x
a existent aussi et sont gales :
lim
<
xa
f (x) f (a)
f (x) f (a)
f (x) f (a)
= lim
= f (a) = lim
.
>
xa
xa
xa
xa
xa
Au vu de (VI.11), la limite de gauche est > 0 est celle de droite est 6 0. Ds lors,
f (a) doit tre la fois > 0 et 6 0 et donc nul.
Thorme VI.17 (Thorme de Rolle). Soient a 6= b R. Si f : [a, b] R est une
fonction continue sur [a, b] et drivable sur ]a, b[ telle que f (a) = f (b), alors il
existe un ]a, b[ tel que f ( ) = 0.
On peut interprter ce thorme en disant que si une fonction prend les mmes
valeurs au bord dun intervalle, alors la tangente au graphe de f doit tre horizontale en au moins un point (voir figure VI.9).
183
f ( ) = 0
(VI.12)
184
f (b)
f (b) f (a)
(x a)
ba
f ( )
f (a)
a
f (b) f (a)
ba
et donc la thse.
Voici maintenant quelques consquences de ce thorme.
Proposition VI.19. Soit I un intervalle, ventuellement infini, de R et f : I R
une fonction continue sur I et drivable sur int I. Si x int I, f (x) = 0, alors f
est constante sur I.
Dmonstration. Il suffit de montrer que, quels que soient x, y I, f (x) = f (y).
Soient x, y I. On peut sans perte de gnralit supposer que x 6= y. Puisque I
est un intervalle, [x, y] I et donc ]x, y[ = int[x, y] int I. Par consquent, f est
continue sur [x, y] et drivable sur ]x, y[. Le thorme de la moyenne implique
quil existe un ]x, y[ tel que
f (x) f (y) = f ( )(x y).
Par hypothse, f ( ) = 0, do f (x) = f (y) comme voulu.
185
(VI.13)
186
(VI.14)
Ce thorme admet aussi une interprtation gomtrique. On peut en effet voir la fonction (g, f ) : [a, b] R2 : x 7 (g(x), f (x)) comme traant une
courbe partant de (g(a), f (a)) et aboutissant (g(b), f (b)). Le couple (g(b)
g(a), f (b) f (a)) est un vecteur directeur de la droite passant par (g(a), f (a))
et (g(b), f (b)). Par ailleurs, puisque la drive se fait composante par composante, on a (g, f )(x) = ( g(x), f (x)). Cette drive est un vecteur directeur de
la tangente Im(g, f ) au point (g(x), f (x)). Lgalit (VI.14) signifie que les vecteurs (g(b) g(a), f (b) f (a)) et ( g( ), f ( )) sont colinaires, cest--dire
que la tangente en (g( ), f ( )) est parallle la droite passant par (g(a), f (a))
et (g(b), f (b)) (voir figure VI.11). Ce thorme gnralise le thorme de la
moyenne qui correspond g(x) = x.
Dmonstration. Dfinissons h : [a, b] R par
h(x) := f (b) f (a) g(x) f (x) g(b) g(a) .
Clairement, h est continue sur [a, b] et drivable sur ]a, b[. De plus, un simple
calcul montre que h(a) = f (b)g(a) f (a)g(b) = h(b). Le thorme de Rolle implique ds lors quil existe un ]a, b[ tel que h( ) = 0. Les rgles de drivation
montrent que h( ) = f (b) f (a) g( ) f ( ) g(b) g(a) do on dduit
aisment (VI.14).
187
g( ), f ( )
g( ), f ( )
g(b), f (b)
g(a), f (a)
VI.4
Rgle de lHospital
f (x)
x ]a , a + [
b 6 .
g(x)
et
(VI.15)
(
g(x) si x I
g(x)
:=
0
si x = a
f (x)
b 6 .
g(x)
(VI.16)
188
= g()(x
a)
f(x) f(a) g(
) = f( ) g(x)
g(a)
(VI.17)
(VI.18)
= g(), f( ) = f ( ) et g(
) = g( ). Ds lors, (VI.17)
devient g(x) = g()(x a) do on dduit que g(x) 6= 0 puisque g() 6= 0
par hypothse et x 6= a. Par ailleurs, (VI.18) devient f (x) g( ) = f ( ) g(x), ou
encore
f (x) f ( )
=
.
g(x) g( )
Vu que ]a, x[ I ]a , a + [, il suffit dutiliser (VI.16) pour conclure :
f (x)
f ( )
b =
b 6 .
g(x)
g( )
VI.5
189
f
0.1
0.5
-0.5
-0.1
-1
-0.2
-0.4
-0.2
0.2
0.4
-0.4
-0.2
0.2
0.4
190
VI.6
Exercices
Exercice VI.1. Soient f (x) = sin x et g(x) = xn o n N \ {0}. Montrez que, pour
tout a R, on a
x f (a) = cos a
et
x g(x) = nxn1 .
VI.6 Exercices
191
Exercice VI.3. Soit f (t) = (t 2 + 1,t 2 1). Donnez les quations cartsiennes des
tangentes limage et au graphe de f en t = 0.
Exercice VI.4. tudiez les points critiques de la fonction f : R R dfinie par
f (x) =
3x5 5x3
15
1
5
3
15 (3x 5x ).
192
VI.6 Exercices
193
xx0
Chapitre VII
Dveloppement de Taylor et sries
VII.1
Dfinitions
lorsque x a, x Dom f .
(VII.1)
195
196
(VII.3)
pour certains an , . . . , a1 , a0 R. Nous allons montrer par rcurrence que tous les
ai sont nuls. Cela concluera la preuve car alors q = 0, cest--dire p1 = p2 .
Pour a0 cest facile : de (VII.2) et (VII.3), il vient
a0 = q(a) = lim q(x) = lim o (x a)n = 0.
xa
xa
6=
xa
q(x)
= lim o(1)(x a)ni1 = 0
i+1
6=
6=
(x
a)
xa
xa
= lim
ai (x a)i si n < m
0
si n > m
197
m
(x a)n+1
ai (x a)in1
si n < m
i=n+1
si n > m
= (x a)n o(1).
De plus cette technique nous permet dobtenir des dveloppements de Taylor en
combinant ceux des fonctions plus simples. Plus spcifiquement, nous invitons le
lecteur tablir que si p est le dveloppepent de Taylor dordre n de f en a et que
q le dveloppement de Taylor dordre m de g en a, alors
p + q est le dveloppement de Taylor dordre min{n, m} de f + g et a ;
p q est le dveloppement de Taylor dordre min{n, m} de f g en a.
Ces rgles ne sont en gnral pas utilises comme telles mais reprouves dans le
cours des calculs. En effet, il arrive souvent que les rsultats puissent tre amliors dans des cas particuliers.
VII.2
Formule du reste
Thorme VII.3 (Formule du reste du dveloppement de Taylor). Soit I un intervalle de R, f : I R, a int I et n N. Supposons que f , . . . , n+1 f existent sur
int I. Alors, pour tout x I, il existe un [a, x] tel que
n
i f (a)
n+1 f ( )
(x a)i +
(x a)n+1 .
i!
(n + 1)!
i=0
f (x) =
(VII.4)
198
i! xik si k 6 i
= (i k)!
0
si k > i
(ceci se dmontre aisment par rcurrence sur k). Ds lors, pour 0 6 k 6 n, on a
i
(y
a)
y (y a)n+1
i! y
n+1
(x
a)
i=0
n
yk F(y) = k f (y)
i f (a)
(y a)ik
(i
k)!
i=k
= k f (y)
(y a)n+1k (VII.5)
(x a)n+1
(n + 1 k)!
En remplaant y par a, le terme (y a)n+1k sannule ainsi que tous les termes de
la somme sauf celui pour lequel lexposant de y a est nul. On a donc
yk F(a) = k f (a)
k f (a)
(a a)0 = k f (a) k f (a) = 0.
(k k)!
n)!
y=
i=n
i
y (y a)|y=
(x a)n+1
1!
i
199
i f (a)
i! (x a)i
i=0
(VII.6)
lorsque x a.
f (x) =
n f (x )
i f (a)
i
(x
a)
+
(x a)n
i!
n!
i=0
= p(x) +
n f (x ) n f (a)
(x a)n
n!
VII.3
N
(xn )n=n0 est une suite de R .
Dfinition VII.6. On dit que la srie
n=n0 xn converge si la suite des sommes
m
partielles xn
converge, auquel cas on dsignera la limite par xn .
n=n0
m>n0
n=n0 xn
n=n0
200
qui na pas de valeur. Cest seulement lorsquon sait que la srie converge que ce
mme symbole acquiert une valeur :
m
lim xn
xn = m+
n=n0
n=n0
Proposition VII.9. Si
n=n0 xn converge absolument, alors n=n0 xn converge.
Dmonstration. Pour montrer que la suite des sommes partielles m
n=n0 xn m>n0
converge, nous allons montrer quelle est de Cauchy, cest--dire
m2
m1
xn
n=n0
n=n0
xn
=
m2
n=m1
xn
6 .
m>n0
converge,
m2
kxnk 6 .
n=m1
m2
2
Prenons m0 := m00 . Si m2 > m1 > m0 , on a km
n=m1 xn k 6 n=m1 kxn k 6 .
kxn k 6 yn .
Si
n=n0 yn converge, alors n=n0 xn converge absolument.
201
Dmonstration. En effet, comme (yn ) est une suite de nombre positifs, la suite
des sommes partielles m
n=n0 yn m>n0 est croissante et donc sa limite est son sum
prmum. Ds lors, on a m
n=n0 kxn k 6 n=n0 yn 6 n=n0 yn R. Par consquent, la
suite m
n=n0 kxn k m>n est croissante et majore, donc converge dans R.
0
n
Proposition VII.11. Soit a R. La srie
n=0 a converge (absolument) si et
seulement si |a| < 1.
n
() Si n=0 a converge, la proposition VII.7 implique que an 0 dont on
sait que a a lieu uniquement si |a| < 1.
Proposition VII.12.
n=1 1/n converge si et seulement si > 1.
dx 6
1
n 6
n=2
Z m
2
1
dx =
(x 1)
Z m1
1
1
dx 6
Z 2
1
1
dx +
Z m
1
2
dx
Rm
dx
sont croissantes,
et
1/x
Comme les deux suites m
1/n
n=1
2
m>2
m>2
les ingalits prcdentes impliquent quelles convergent ou divergent en mme
temps. Or
1 1
1
Z m
si 6= 1
1
dx = 1 m1 21
2 x
ln m ln 2
si = 1
De ceci, on dduit aisment la thse.
Voici deux critres frquemment utiliss pour prouver la convergence absolue
dune srie.
N
Thorme VII.13 (Critre de dAlembert). Soit
n=n0 xn une srie de R .
kxn+1 k
< 1, alors la srie converge absolument.
n kxn k
kxn+1 k
(ii) Si lim
> 1, alors la srie diverge.
n kxn k
(On suppose donc implicitement que xn 6= 0 pour n grand.)
(i) Si lim
202
Dmonstration. (i) Prenons c limn kxn+1 k/kxn k, 1 . Par dfinition de la limite suprieure, il existe un n0 tel que supn>n0 kxn+1 k/kxn k 6 c. Ds lors,
n > n0 ,
kxn+1 k 6 ckxn k.
Or la srie
n=n0 yn converge puisque 0 6 c < 1. La srie des xn converge donc
absolument par convergence domine.
(ii) Prenons c 1, limn kxn+1 k/kxn k . Par dfinition de la limite infrieure,
il existe un n0 N tel que infn>n0 kxn+1 k/kxn k > c. Par consquent,
n > n0 ,
De nouveau, un simple argument par rcurrence implique que, pour tout n > n0 ,
kxn k > cnn0 kxn0 k. Comme c > 1, on a kxn k n
+ ce qui ne permet pas la
srie des xn de converger car ceci impliquerait xn 0.
N
Thorme VII.14 (Critre de Cauchy). Soit
n=n0 xn une srie de R .
p
(i) Si lim n kxn k < 1, alors la srie converge absolument.
n
p
(ii) Si lim n kxn k > 1, alors la srie diverge.
n
p
Dmonstration. (i) Prenons un c limn n kxn k, 1 . Par dfinition de la limite
p
suprieure, il existe un n0 N tel que supn>n0 n kxn k 6 c. Ds lors,
n > n0 ,
kxn k 6 cn
et, tenant compte du fait que 0 < c < 1, le thorme de convergence domine pour
les sries implique que
xn converge absolument.
n=0
p
n
(ii) Soit c 1, limn kxn k . Par dfinition de la limite suprieure, il existe
p
un n0 N tel que, pour tout n > n0 , supn>n0 n kxn k > c. Par dfinition du suprmum, on a
n > n0 , m > n, kxm k > cm .
(VII.7)
Prenons, dans (VII.7), n = n0 + 1. On trouve lexistence dun n1 > n0 tel que
kxn1 k > cn1 . Prenons ensuite n = n1 + 1, ce qui donne un n2 > n1 tel que kxn2 k >
203
e = exp x :=
xn
n! ;
n=0
sin x :=
n=0
cos x :=
x2n+1
(1)n (2n)! .
n=0
Il est ais, en utilisant le critre de dAlembert, de montrer que ces sries convergent absolument. La puissance de ces dfinitions est quelles peuvent tre recopies telles quelles si x C ou pour une matrice. Pour x C, on peut montrer
que
exp x = ex cos(x) + i sin(x)
et, en particulier, que ei = cos + i sin .
Dfinition VII.15. Soit A RNN ou A CNN . On dfinit lexponentielle de la
matrice A, note exp A ou eA , par
An
RNN .
n=0 n!
exp A :=
204
Pour cette norme, on a kAxk 6 kAk kxk. Ds lors, kAn /n!k 6 kAkn /n! et il suffit
dappliquer le critre de convergence domine.
Lexponentielle possde les proprits suivantes.
Proposition VII.16. Soient A, B RNN . On a
(i) exp(A + B) = exp A exp B si A et B commutent, cest--dire si AB = BA.
(ii) A 7 exp A est une fonction continue.
(iii) t 7 exp(tA) est une fonction drivable sur R et sa drive vaut
t exp(tA) = A exp(tA) = exp(tA) A.
VII.4
Exercices
Exercice VII.1. (i) Soit f : R R : x 7 1 + 4x3 + 3x4 . Calculez les dveloppements de Taylor dordre 1, 2, 3, 4 et 5 de f au point x = 0.
(ii) Mme question quau point (i) avec f (x) = 1 + 2x3 en x = 0.
(iii) Mme question quau point (i) avec f (x) = 1 + 2x3 en x = 1.
Exercice VII.2.
Calculez les dveloppements de Taylor dordre 1, 2, 3, 4, 5 et
10 de la fonction f (x) = sin x au point x = 0.
Donnez une formule gnrale pour le dveloppement de Taylor de f (x) = sin x
en x = 0 dun ordre n N quelconque.
Exercice VII.3. Mmes questions qu lexercice VII.2 pour chacune des fonctions suivantes :
(i) f (x) = cos x ;
(ii) f (x) = ex ;
(iii) f (x) = ln(1 + x).
Exercice VII.4. Mmes questions qu lexercice VII.2 pour f (x) = (1 + x) o
R. En particulier, crivez explicitement le dveloppement de Taylor de x 7
1/(1 + x) au voisinage de x = 0.
VII.4 Exercices
205
On peut en dduire que f est drivable en un certain point x0 . Quel est ce x0 et que
vaut f (x0 ) ?
Exercice VII.7. On considre une fonction f ayant un dveloppement limit
f (x) = 2 + 2(x + 1) 5(x + 1)4 + 5(x + 2)5 9(x + 1)6 + O (x + 1)7
au voisinage de 3.
Exercice VII.9. Estimez ln(1,1) grce un dveloppement de Taylor dordre 3.
Majorez lerreur commise.
Exercice VII.10. Estimez cos(61 ) grce un dveloppement de Taylor de cos
dordre 2 au voisinage de /2. Majorez lerreur commise.
206
VII.4 Exercices
207
Exercice VII.16. Prouvez que, pour tout k pair et pour tout x > 0,
k+1
(1)i
i=0
k
x2i+1
x2i+1
6 sin x 6 (1)i
.
(2i + 1)!
(2i + 1)!
i=0
1 ecos x1
;
x0 1 cos2 x
cos2 x + x sh x 1
(iv) lim
.
x0
ch x 1
(iii) lim
Exercice VII.21. Montrez que si f est une fonction paire (resp. impaire), alors
son dveloppement de Taylor dordre n en 0 ne contient que des exposants pairs
(resp. impairs). (Pouvez-vous le faire sans supposer que f est n fois drivable ?)
Exercice VII.22. tudiez la convergence des sries suivantes :
(i)
ai o a R ;
i=0
(ii)
4i ;
i=0
208
(iii)
(iv)
(v)
i=1
(vi)
2i ;
i=0
4 + cos2 i
;
i3
i=1
(viii)
(ix)
i=1
1
1
.
i i+1
22i
i i;
i=1 2 + e
(x)
i p o p ]0, +[ ;
i=1
(vii)
i+1
2i2 + 5i + 3 ;
i+1
2i + 3 ;
i=1
(xi)
ln i .
i=2
Exercice VII.23. tudiez la convergence des sries suivantes grce aux critres
de dAlembert et de Cauchy.
(i)
(ii)
(iii)
(iv)
n=0
n
a ln n
n=1
n4
n=0
(v)
in
(vi) 2 ;
n=1 n
o a ]0, +[ ;
n + a n2
o a, b ]0, +[ ;
n+b
n=1
n 3n+1
2 a
n+1
n(2i 1)n
3n ;
n=1
nun o u ]0, +[ ;
(vii)
an o a R.
n=1
o a ]0, +[ ;
(1 3i)2n 22n1
10n (2n)! .
n=1
Exercice VII.25 (juin 2002). tudiez la convergence de la srie
+
(2i 1)n
.
n
n=1 1 + 3 i
n(i 1)n
.
n
n=1 2 + 3i
VII.4 Exercices
209
(x 1)2 e5(x1)
1 + sh(x 1)
Exercice VII.29. Prouvez que, pour tout x, y [0, +[ et pour tout > 1,
x + y 6 (x + y)
N
En dduire que N
i=1 xi 6 i=1 xi
Chapitre VIII
quations diffrentielles ordinaires
linaires
Les quations diffrentielles sont simplement des quations o interviennent
des drives. Elles ont t prsentes ds linvention des drives. En fait, les drives ont t cres pour pouvoir crire des quations diffrentielles, en particulier
la clbre loi de la mcanique de Newton F = mt2 x. Aujourdhui, les quations
diffrentielles sont prsentes dans bien dautres domaines que la physique thorique (qui ne pourrait exister sans elles) : on les trouve en chimie, en biologie, en
conomie, en traitement de limage,...
Dans ce chapitre, nous allons apprendre rsoudre une classe dquations fort
simples : les quations diffrentielles ordinaires linaires coefficients constants.
Mais tout dabord, nous allons prsenter les concepts de base et discuter de la
mthode dite des variables spares.
VIII.1
Dfinitions
Nous allons considrer dans ce chapitre des quations diffrentielles ordinaires (EDO), cest--dire o ne figurent que des drives par rapport une variable donne. Nous allons appeler cette variable x mais il faut savoir quen physique ce x tiendra souvent la place du temps. Nous prendrons comme modle
gnral dune quation diffrentielle ordinaire :
xn u = f (x, u, x u, . . . , xn1 u).
211
(VIII.1)
212
Parfois on dit que (VIII.1) est explicite car la drive dont lordre est le plus lv
est isole, contrairement une forme du type f x, u, x u, . . . , xn1 u, xn u = 0.
Dans (VIII.1), f est une fonction dfinie sur un ouvert R (RN )n valeurs
dans RN .
Une solution de (VIII.1) est une fonction u : I RN , o I est un intervalle
ouvert de R, telle que
x u, . . . , xn u existent sur I ;
x I, x, u(x), x u(x), . . . , xn1 u(x) ;
x I, xn u(x) = f x, u(x), x u(x), . . . , xn1 u(x) .
Dans le cas o N = 1 et n = 1, une interprtation graphique simple est possible.
Lquation (VIII.1) prend alors la forme x u = f (x, u). Si u est une solution et
quon regarde un point (x0 , u(x0 )) de son graphe, lgalit x u(x0 ) = f (x0 , u(x0 ))
dit que le vecteur directeur (1, x u(x0 )) de la tangente au graphe en ce point est
gal 1, f (x0 , u(x0 )) . Donc, si le graphe dune solution u passe par le point
(x0 , u0 ), alors 1, f (x0 , u0 ) doit tre un vecteur directeur de la tangente au graphe
de u en ce point. Par consquent, tracer en chaque point (x0 , u0 ) le vecteur
(1, f (x0 , u0 )) permet de deviner la forme du graphe de la solution car (1, f (x0 , u0 ))
donne la direction que la graphe suit au point (x0 , u0 ) (voir figure VIII.1).
4
3
2
2
-1
-2
-2
-3
-4
-4
-4
-2
-8
-6
-4
-2
F IGURE VIII.1 Champ de vecteurs (x, u) 7 (1, f (x, u)) et une solution
Souvent, on est intress trouver une solution qui obit une condition initiale. Du point de vue de la mcanique, donner une condition initiale revient
prescrire la position et la vitesse du mobile un temps donn. Pour (VIII.1), une
213
(0)
u(x0 ) = u0
u(x ) = u(1)
x
0
0
.
.
n1
(n1)
x u(x0 ) = u0
(0)
(VIII.2)
(n1)
o x0 R et u0 , . . . , u0
sont des vecteurs de RN fixs. On dira quune solution u : I RN satisfait la condition initiale (VIII.2) si x0 I et u vrifie les
galits (VIII.2). Le problme consistant rechercher les solutions dune quation
diffrentielle obissant une condition initiale est appel problme de Cauchy.
VIII.2
Existence de solutions
VIII.3
(VIII.3)
214
f ()
Z x
x u(x)
x0
f (u(x))
Z x
dx =
g(x) dx.
x0
(VIII.4)
VIII.4
215
Dfinition VIII.4. Une quation diffrentielle ordinaire linaire dordre n coefficients constants est une quation du type
n
ai xi u(x) = f (x)
(VIII.5)
i=0
u 7 Du := ai xi u
i=0
est linaire. Ceci signifie que si on prend deux fonctions u et v et deux scalaires
et , alors D(u + v) = Du + Dv. Grce ceci, on a un principe de superposition : si u est une solution de Du = f et v est une solution de Dv = g, alors
u + v est une solution pour le second membre f + g.
Le fait que lquation soit linaire a des consquences importantes sur les
ensembles de solutions. Tout dabord, lensemble des solutions de lquation homogne
Ker D := {u : Du = 0} est un espace vectoriel.
De plus, si on trouve up une solution particulire de Du = f , alors toutes les solutions de Du = f sont de la forme up + v o Dv = 0 :
{u : Du = f } = up + Ker D = {up + v : Dv = 0}.
VIII.5
Cas simples
216
x u(x) =
ai xi
i=0
u(x) =
1j a j1 x j + c Pn(K).
j=1
217
,d,m
,d,m1
,d,mn+1
,d,mn
EK
EK
EK
EK
.
,d,m
,d,mn
Puisque dim EK
= d + 1 = dim EK
, un rsultat dalgbre linaire dit quil
suffit de montrer que 1 est injective. Soit donc xm qe x tel que
( 1)(xm qe x ) = 0.
Comme ( 1)(xm qe x ) = x (xm q)e x , cette quation devient x (xm q) = 0. La
proposition VI.19 implique quil existe un c K tel que
x R,
xm q(x) = c.
,d,0
,d,0
EK
218
VIII.6
quation homogne
p( ) = ai i = an ( i )mi
i=0
i=1
i=0
i=1
p( ) = ai i = an ( i 1)mi
o le produit doit tre compris comme une composition. On peut donc crire
ni=0 ai i u = 0 ki=1 ( i 1)mi u = 0.
Tout dabord, on rsoud ( i 1)mi u = 0.
On obtient que u est solution ssi u(x) = pi (x)ei x avec deg pi < mi .
Ensuite, on prouve que u(x) = ki=1 pi (x)ei x est solution de lquation homogne (principe de superposition).
Il reste prouver quon a toutes les solutions.
Esquisse de preuve. Par rcurrence sur le nombre k de facteurs de ki=1 (
i 1)mi .
Pour k = 1, cest OK.
Il reste donc prouver que si cest vrai pour k facteurs, alors cest vrai pour k +
k+1
mi
i x
1 facteurs. Autrement dit, les solutions de k+1
i=1 ( i 1) u = 0 sont i=1 pi e .
Nous pouvons crire :
k+1
( i1)
mi
i=1
k+1
u = 0 ( i 1)mi ( 1 1)m1 u = 0.
|
{z
}
i=2
(VIII.6)
=:v
k+1
Par hypothse de rcurrence : v(x) = i=2
pi ei x .
i x
Il reste donc rsoudre : ( 1 1)m1 u = k+1
i=2 pi e .
Nous avons dj rsolu lEH. Toute solution est de la forme u(x) = p1 (x)e1 x .
219
,m
1,0
,m
part, nous savons que lapplication ( 1 1)m1 : EKi i
EKi i 1,0 est
bijective si i 6= 1 , ce qui est bien le cas. Cette application est donc en
i ,mi 1,0
particulier surjective. Ainsi, il existe un lment ui dans EK
tel que
( 1 1)m1 ui = pi ei x , cd ui = qi ei x avec deg qi 6 mi 1.
Les solutions de (VIII.6) sont donc de la forme :
k+1
u(x) =
qi(x)eix
i=1
VIII.7
VIII.7.1
avec d = deg q.
( i1)mi u = q(x)ex
i=1
o i = 1, . . . , k, 6= i .
Proposition VIII.10. Il existe une solution particulire de la forme r(x)ex o
deg r 6 deg q.
Ide de preuve. On sait que ( i 1)mi : EK EK est une bijection si 6=
,d,0
,d,0
i pour tout i. Par composition, ki=1 ( i 1)mi : EK
EK
est aussi une
,d,0
x
bijection. Puisque q(x)e EK , il existe donc un unique lment r(x)ex dans
,d,0
EK tel que ki=1 ( i 1)mi r(x)ex = q(x)ex .
,d,0
,d,0
220
pi(x)eix + r(x)ex
i=1
VIII.7.2
3 6=1
( k 1)mk 1 ,d,0
EK
k 6=1
VIII.8
Exercices
Exercice VIII.1. Rsolvez les problmes de Cauchy suivants par la mthode des
variables spares.
(i) u = u, u(t0 ) = u0 R ;
(ii) u = u, u(t0 ) = u0 R ;
(iii) u = 1/u, u(t0 ) = u0 R ;
(iv) u = u/t, u(t0 ) = u0 R ;
VIII.8 Exercices
(v) u =
221
u, u(t0 ) = u0 R ;
(vi) u = u2 , u(t0 ) = u0 R ;
(vii) u = eu , u(t0 ) = u0 R.
Exercice VIII.2. Donnez toutes les solutions complexes et relles des quations
diffrentielles suivantes :
(i) x2 u 3x u 10u = 0 ;
(ii) x3 u 16x u = 0 ;
(iii) x2 u + u = e2x ;
(iv) x2 u 6x u + 9u = x2 e3x .
Exercice VIII.3 (Examen du 5 juin 2001). Considrons lquation diffrentielle :
x2 u + x u 6u = x2 + 2e2x
(VIII.7)
(VIII.8)
222
40
0,30m
2m30
3m05
4m60
F IGURE VIII.2 Lancer-franc
Le lancer-franc, dit parfait, est lorsque le ballon rentre dans le panier sans toucher
ni lanneau ni le panneau et forme un angle de 40 avec lhorizontale au moment
de rentrer. Sachant que Jim Potter mesure 2,04 mtres et librera la balle 0,3 m au
dessus de sa tte, quelle vitesse doit-il donner la balle et avec quel angle doit-il
la lancer pour russir le lancer-franc parfait et donner la victoire son quipe ?
(i) En ngligeant le frottement de lair, crivez lquation diffrentielle et les
conditions initiales auxquelles la trajectoire du ballon doit satisfaire.
(ii) Trouvez la solution de lquation diffrentielle prcdemment crite en
fonction de v et .
VIII.8 Exercices
223
(iii) crivez les quations qui expriment que le lancer-franc parfait a t russi.
Rsolvez les pour dterminer les valeurs appropries de v et .
(iv) Dterminez la hauteur minimale de la salle afin que le ballon ne touche le
toit. Y a-t-il vraiment un risque ?
(v) Rpondez aux questions prcdentes en tenant compte du frottement de lair
que, pour la simplicit, nous supposerons proportionnel la vitesse avec
un coefficient de proportionalit =. La masse m dun ballon de basket
est de 0,6 kg (en pratique, on tolre une masse comprise entre 0,567 kg et
0,624 kg).
Exercice VIII.8 (aot 2006). Donnez toutes les solutions relles de lquation
diffrentielle
t2 u(t) 5t u(t) = cost + t
Exercice VIII.9 (juin 2007). Donnez toutes les solutions relles de lquation
diffrentielle linaire suivante :
t2 u(t) + 16u(t) = cos(4t) + te2t
Exercice VIII.10 (aot 2007). Donnez toutes les solutions relles de lquation
diffrentielle linaire suivante :
t2 u(t) + 9u(t) = sin(2t) + t 2 e4t
Chapitre IX
Diffrentielle totale
IX.1
Dfinition et interprtations
225
226
(IX.1)
227
228
dk f (a)(ek ) =
dk k f (a)
k=1
k=1
f (a) =
k f (a) d xk
k=1
En fait ce calcul se gnralise au cas o les xk ne sont pas des scalaires mais
des sous-vecteurs de x. Plus prcisment, si f : RN1 RNp RM :
(x1 , . . . , x p ) 7 f (x1 , . . . , x p ) est drivable en a = (a1 , . . . , a p ) RN1 RNp ,
on a pour tout d = (d1 , . . . , d p ) RN1 RNp ,
p
f (a)(d1 , . . . , d p ) =
xk f (a)(dk )
(IX.3)
k=1
1 f1 (a) N f1 (a)
f
..
..
MN
(a) =
.
R
.
.
x
1 fM (a) N fM (a)
IX.2
229
Rgles de calcul
A(a)(d) =
(IX.4)
230
IX.3
Exercices
2
2
,
.
2
2
IX.3 Exercices
231
g(0) = 1
h(0) = 2
x f (1, 2) = 2
t g(0) = 4
t h(0) = 8
y f (1, 2) =
Calculez t f (g(t), h(t)) t=0 .
Exercice IX.10 (juin 2001). Soit f : R R une fonction de classe C 1 . Appelons
z : R2 R la fonction dfinie par
z(x, y) := y f (x2 y2 ).
Montrez que
y
z xz
z
+x =
.
x
y
y
et v(t, y) = y + bt.
Montrez que
w
w
w
=a
+b
.
t
x
y
Exercice IX.12 (aot 2006). Calculez la drive totale et la matrice Jacobienne
de la fonction
p
u
f : R3 R2 : (u, v,t) 7 cos u2 + v3 t, ln
v+t
au point (1, 1, 1).
Exercice IX.13 (juin 2007). Calculez la drive totale et la matrice Jacobienne
de la fonction
2
3
f : R2 R2 : (u, v) 7 (1 + u) cos uv2 , eu v
au point ( 2 , 1).
232
p
3
2
2
2
v u2
, (1 u) tg(uv)
f : R R : (u, v) 7 (1 + v)e
au point (/2, /2).
Exercice IX.15. Montrez que det(1 + A) = 1 + tr A + o(A) lorsque A 0 dans
RNN .
Indication : Utilisez la formule de Leibniz du dterminant (cest celle base sur
les permutations).
Chapitre X
Introduction lintgration de
fonctions de plusieurs variables
La thorie de lintgration occupe une place importante en Analyse mathmatique. Cest elle qui permet de calculer des longueurs, des aires, des volumes,
lnergie dun systme, le travail effectu par un objet en dplacement,... Nous ne
prsenterons dans ce cours quune introduction au sujet.
Lapproche que nous avons choisie est celle de prsenter les concepts et les
thormes un niveau intuitif une approche plus complte vous sera offerte
dans dautres cours. En particulier, ce chapitre ne comporte pas de dmonstrations
ni dailleurs de dfinition prcise de lintgrale. Nous prsenterons nanmoins
quelques argumentations visant vous convaincre que les formules donnes sont
naturelles .
X.1
f (x) dx
ou simplement
[a,b]
f
[a,b]
laire signe comprise entre le graphe de f est laxe des x. Le fait que laire soit
signe signifie que les parties au-dessus de laxe des x y contribuent positivement
tandis que celles en dessous y contribuent ngativement. Ceci est illustr la fi233
1
[0,3] 1 2 x dx
f
+
1 x/2
+1
3
1
21
F IGURE X.1 Intgrale de f
F IGURE X.2
41
1
[0,3] 1 2 x dx
235
f (i )(xi+1 xi )
(X.1)
06i<n
Cette quantit reprsente laire signe des rectangles ayant comme base les intervalles [xi , xi+1 ] et comme hauteurs respectives f (i ) (voir figure X.3) et approxime
donc laire signe entre le graphe de f et laxe des x. Cette approximation est dautant meilleure que la base des rectangles est petite car on espre alors que le profil
en escalier se rapproche de celui de la fonction f (voir figure X.4). Lintgrale de
f (1 )
f
f (2 )
x0
x1
x2
x3
x4
f (3 )
f (4 )
F IGURE X.3 Ix0 ,...,xn ( f )
f sera alors la limite des valeurs Ix0 ,...,xn ( f ) lorsque toutes les longueurs des sousintervalles tendent vers 0, cest--dire lorsque max{|xi+1 xi | : 0 6 i < n} 0.
Cela conduit la dfinition suivante.
Dfinition X.1 (Intgrale de Riemann). Une fonction f : [a, b] R est dite int(k)
grable sil existe un c R, tel que, quelle que soit la suite de divisions a = x0 <
(k)
< xn(k) : k N , telle que
(k)
(k)
max |xi+1 xi | : 0 6 i < n(k) 0,
k
n(k)
[a,b]
f.
f (x) + g(x) dx =
f (x) dx +
[a,b]
[a,b]
g(x) dx
[a,b]
| f (x)| 6 g(x)
et que g est intgrable sur [a, b], alors f est galement intgrable sur [a, b].
Un tel rsultat peut se comprendre par le fait qur lingalit implique que
laire entre f et laxe des x est borne par celle entre g et laxe des x. Si
cette dernire est finie, alors la premire doit ltre aussi. Cest analogue la
convergence domine pour les sries. Malheureusement ce rsultat nest pas
vrai pour lintgrale de Riemann (voir le point suivant pour un exemple).
Il faut passer une intgrale plus puissante (cest--dire qui peut intgrer
plus de fonctions), appele intgrale de Lebesgue, et supposer que f est
mesurable. La notion de fonction mesurable sera dfinie dans un autre cours
mais il suffit de savoir ici que toutes les fonctions usuelles le sont. De
plus une fonction intgrable est ncessairement mesurable.
(iii) Soit f : [a, b] R une fonction. Alors
f est intgrable | f | est intgrable.
(X.2)
237
| f (x)| 6 c
Z e
f+
c
Z e
f=
d
f.
(X.3)
Il suffit de montrer cette ingalit dans le cas c < d < e. Les autres cas sen
R
R
R
dduisent. Par exemple, si c < e < d, on peut crire ce f + ed f = cd f et
R
R
donc (X.3) en faisant passer ed f = de f dans le membre de droite. Il en
va de mme pour les autres possibilits (quelles sont-elles et comment les
rsoud-on ?).
Pour c < d < e, lgalit (X.3) est reprsente la figure X.5.
Z d
Z e
Z d
Z e
f+
c
Z e
f=
d
f
c
f6
g
[a,b]
g
f
b
a
F IGURE X.6 Croissance de lintgrale
Graphiquement, on peut voir que laire signe sous le graphe de f est plus
petite ou plus ngative que celle de g (voir figure X.6). Ceci dcoule
239
aussi dun passage la limite sur lingalit (facile tablir) : Ix0 ,...,xn ( f ) 6
Ix0 ,...,xn (g).
R
Z b
1 dx = b a
mes(A) :=
[a,b]
o a, b R sont tels que A [a, b] (ils existent puisque A est born) et o A est
la fonction caractristique de lensemble A, cest--dire
(
1 si x A
A : R R : x 7 A (x) :=
0 sinon.
En utilisant la proprit (vi) ci-dessus, il est ais de prouver que mes(A) ne dpend
pas du choix de a et b.
Plus gnralement, si A est un ensemble born et f : A R, on dira que f est
intgrable sur A si la fonction
(
f (x) si x A
f : [a, b] R : x 7 f(x) :=
0
sinon
est intgrable sur [a, b] o a et b sont tels que A [a, b]. Lintgrale de f sur A,
R
note A f , est alors dfinie comme
Z
f :=
A
f.
[a,b]
Comme prcdemment, il est facile de montrer que ces deux dernires dfinitions
ne dpendent pas des valeurs particulires de a et b (tant que [a, b] contient A).
X.2
Les ides de la section prcdente peuvent tre tendues aux fonctions de plusieurs variables. On appelle un pav un produit dintervalles ferms de mme
dimension que lespace. Donc, si P est un pav de RN , il existe certains rels
a1 , . . . , aN , b1 , . . . , bN tels que P = N
i=1 [ai , bi ] = [a1 , b1 ] [aN , bN ]. Si P est
un pav et f : P R : x 7 f (x) une fonction, on note
Z
f (x) dx
P
ou simplement
f
P
x1
F IGURE X.8 Intgrale dune fonction deux variables
au-dessus ou en-dessous de lespace des x. On peut donc crire que
Z
f (x) dx = volume (x, y) RN R : 0 6 y 6 f (x)
P
volume (x, y) RN R : f (x) 6 y 6 0
Une dfinition prcise de lintgrale suit les mmes lignes qu une dimension.
On dfinit un dcoupage dun pav P comme un ensemble de pavs {P1 , . . . , Pn }
S
tel que ni=1 Pi = P et int Pi int Pj = pour tout i 6= j (voir figure X.9). Un
dcoupage point dun pav P est un ensemble de couples {(1 , P1 ), . . . , (n , Pn )}
tel que {P1 , . . . , Pn } est un dcoupage de P et i Pi pour tout i (voir figure X.10).
On appelle le diamtre dun ensemble A au sens de la norme kk la quantit
diamkk A := sup kx1 x2 k : x1 , x2 A .
P1
P4
P4
4
P6
P2
P3
P1
P3
P5
241
P5
P6
P2
F IGURE X.10 Dcoupage
point
vol(P) = |bi ai |.
i=1
on a
n(k)
IP(k) ( f ) :=
(k)
f (i
(k)
) vol(Pi ) c.
k
i=1
f :=
A
f.
| f (x)| 6 g(x)
Z
A
f=
f.
i=1 Ai
X.3
f6
g.
A
243
1
h
Z x0
1
f =
h
Z x0 +h
x0
f f (x0 ).
h0
(X.4)
(X.5)
h f (x0 ) =
6
Z x0 +h
x0
Z x0 +h
Z x0 +h
f (x) dx 6
x0
Ds lors
f (x0 ) dx
x0
f (x0 ) + dx = f f (x0 ) + .
1 Z x0 +h
f f (x0 ) 6
h x0
Une telle fonction F est appele une primitive de f sur [a, b].
Dmonstration. Posons G(x) := ax f . Le thorme X.3 affirme que G : [a, b]
R est continue sur [a, b], drivable sur ]a, b[ et G = f . Par consquent, F G
R
X.4
Fubini
A2
X.4 Fubini
245
Bien sr, lnonc o les intgrales sont faites dabord par rapport y et ensuite
par rapport x est aussi vrai.
Bien que ce ne soit pas apparent au vu de
y
lnonc, le thorme de Fubini a une application
[0, 1] [0, 1]
plus vaste que celui o f est dfinie sur un rectangle A1 A2 . La remarque fondamentale est
que, si f : A R est intgrable et que A A1 A2 ,
alors
Z
Z
A
f (x, y) d(x, y) =
f(x, y) d(x, y)
A1 A2
b(x)
0 f (x, y) dy. Calculer cette intgrale signifie fixer
A
x [0, 1] et faire varier y de 0 1. On le voit sur le
dessin, lorsque y varie, le point (x, y) appartient
0
A si 0 6 y 6 b(x) auquel cas f = f , et (x, y)
/ A si
0
x
1
Z b(x)
f(x, y) dy =
f(x, y) dy +
Z 1
f(x, y) dy =
Z b(x)
f (x, y) dy
0
b(x)
Reste dterminer b(x). On voit sur le dessin que le point (x, b(x)) est lintersection de la droite verticale dabcisse x et de la diagonale principale. Ds lors,
b(x) = x. En rassemblant les rsultats prcdents, on trouve
Z
f (x, y) d(x, y) =
Z 1 Z x
0
f (x, y) dy dx.
Ceci marche pour nimporte quelle fonction f intgrable sur A car cest la gomtrie du domaine qui dtermine les bornes dintgration, non la forme de la
fonction.
X.5
Changement de variables
f (x) dx =
A
f (u) |det (u)| du.
f
B A R
Pi
Ai = (Pi )
ui
xi = (ui )
On veut intgrer f sur tous les x A. Ces x sont paramtrs par u. Lorsque x
parcourt A, u parcourt B. Donc, puisque lintgrale en x porte sur A, celle en u se
fait sur B. Un dcoupage point {(ui , Pi ) : 1 6 i 6 n} de B engendre naturellement
un recouvrement de A par des Ai = (Pi ) (tels que i 6= j, int Ai int A j = ) avec
des points xi = (ui ) Ai . Puisquon va sintresser aux aires des Ai et Pi , il faut
comprendre la relation quil y a entre les deux. Mais puisque chaque Pi est trs
petit, il est concentr autour du point ui . Or une bonne approximation de
prs de ui est le dveloppement de Taylor dordre 1, cest--dire :
Ai = (Pi ) (ui ) + h (ui ), Pi ui i.
Puisquadditionner un vecteur constant un ensemble consiste juste le translater
de ce vecteur, laire de lensemble ne change pas. On peut donc affirmer que
vol(Ai ) volh (ui ), Pi ui i et
vol(Pi ui ) = vol(Pi ).
Ainsi on est rduit comprendre comment laire dun ensemble se transforme par
passage travers une application linaire. La valeur absolue du dterminant de
lapplication linaire donne le facteur de multiplication. Donc,
volh (ui ), Pi ui i = |det (ui )| vol(Pi ui ).
En mettant ensemble les ides prcdentes, on trouve
Z
A
D \ D
: ]0, 1[ ]0, 2[ D,
o D := {(x, y) : x2 + y2 < 1 et y 6= 0 si x > 0}, est un diffomorphisme (voir le calcul de det ci-dessous). Heureusement, comme D \ D
R
R
est daire nulle, D = D . La matrice Jacobienne de est aise calculer :
cos r sin
(r, ) =
.
sin r cos
(r, )
2
2
Ds lors, det (r, ) = det (r,
) (r, ) = r cos + r sin = r > 0. Finalement,
le thorme de changement de variables dit :
1 d(x, y) =
1 r d(r, ).
]0,1[]0,2[
Puisque lintgrale de droite porte sur un rectangle, on peut lui appliquer le thorme de Fubini, ce qui donne
Z
Z
Z 1 Z 2
Z
1 d(x, y) =
1 r d dr =
r
d dr =
D
]0,1[
]0,2[
X.6 Exercices
249
Ai
Pi
r
r + r
X.6
Exercices
Exercice X.1. Calculez laire de lellipse (pleine) dont lquation est (x/a)2 +
(y/b)2 6 1.
Exercice X.2. En utilisant un changement de variables en coordonnes sphriques, calculez le volume dune sphre de rayon R > 0. (Expliquez en dtail comment vous contournez le fait que ce changement de variables nest pas un C 1 -diffomorphisme.)
Exercice X.3. Soit une fonction f : [a, b] R>0 : x 7 f (x) une fonction continue.
Montrez que le volume de lensemble A dlimit par rotation de f autour de laxe
des x, i.e., de
p
A = (x, y, z) R3 : x [a, b] et y2 + z2 6 f (x) ,
est donn par
Rb
a
f (x)2 dx.
Notations
Ensembles
N
Fonctions
f |A restriction de la fonction f lensemble A. Si f : X Y , sa restriction
A X est la fonction f |A : A Y : x 7 f (x) avec Dom( f |A ) = A Dom f .
1X lidentit sur un ensemble X dfinie comme 1X : X X : x 7 x.
pri la projections sur la ie composante : pri (x1 , . . . , xN ) = xi .
de dxe est le plus petit entier plus grand ou gal x R. (Son existence dpend
de laxiome dArchimde, voir page 68).
Alphabet grec
A
B
E
Z
alpha
beta
gamma
delta
epsilon
zeta
I
K
ta
theta
iota
kappa
lambda
mu
251
nu
T
xi
Y
omicron
pi
X
rho
sigma
tau
upsilon
phi
chi
psi
omega
Bibliographie
[1] E. L ANDAU Foundations of analysis, Chelsea Publishing company New
York.
[2] J. M AWHIN, Analyse. Fondements, techniques, volution, De Boeck & Larcier (1997).
[3] E.W. S WOKOWSKI, Analyse, 5e dition (1993), De Boeck Universit.
253
Index
||1 , 85
||2 , 85
|| , 85
|| p , 91, 99
de, 23
1, 126
(|), 86
[a, b], 130
kk, 84
Bkk (x, r), 87
Bkk [x, r], 87
C (A; B), 126
C 1 (O; RN ), 189
C k (O; RN ), 190
Cb (A; B), 96
K, 215
Pn , 195
Pn (K), 215
Skk , 103, 158
accroissements finis
thorme, 183
adhrence, 104
application
bilinaire, 173
bilinaire, 173
bord, 105
born, 34
infrieurement, 35, 42
suprieurement, 35, 42
borne
infrieure, 35, 42
suprieure, 35, 42
boule
ferme, 87
ouverte, 87
Cauchy
critre de, 202
problme de, 213
suite de, 95
suite de, 39
Cauchy-Schwarz
ingalit de, 87
champ de vecteurs, 212
classe C 1 , 189
classe C n , 190
compact, 147
squentiellement, 148
complt, 41
complet, 41, 70, 95
compose, 121
condition initiale, 213
connexe, 125
par arcs, 130
continue, 125, 126
254
INDEX
255
ferm, 105
ouvert, 105
quivalence
classe d, 59
exponentielle, 203
matricielle, 203
dAlembert
critre de, 201
dcoupage, 240
point, 240
dcroissant, 42, 185
strictement, 42, 185
drive, 164
drivable, 164
Frchet, 226
Gateau, 226
sur un ensemble, 170
dense, 70, 113
diamtre, 240
diffrentiable, 226
distance, 83
Euclidienne, 85
taxi-, 85
diverger
srie, 199
Hlder
ingalit de, 99
homomorphisme, 116
EDO, 211
ensemble
ingalit
de Minkowski, 99
de Cauchy-Schwarz, 87
de Hlder, 99
de Young, 99
triangulaire, 83
infimum, 45, 4850
existence, 46
intgrable, 235, 239, 241
intgrale, 241
intrieur, 104
intervalle, 130
intervalles emboits
proprit des, 56
Jacobienne, 228
256
droite, 120
gauche, 120
infrieure, 54
suprieure, 54
locale, 145
major, 35, 42
majorant, 35, 42
maximum, 44, 53
local, 181
mesurable, 236
minimum, 44, 53
local, 181
Minkowski
ingalit de, 99
minor, 35, 42
minorant, 35, 42
monotone, 42
strictement, 42
moyenne
thorme, 183
INDEX
proprit
des intersections finies, 144
des intervalles emboits, 56
Rolle (thorme), 182
srie, 199
sinus, 203
sous-suite, 31, 94
suite, 21, 91
quivalence, 75
de Cauchy, 39, 95
suprmum, 45, 4851
existence, 46
tangente, 164, 165
limage, 169
thorme
de la moyenne, 183
de Rolle, 182
des accroissements finis, 183
norme, 84
quivalente, 89, 158
Young
ingalit de, 99
pav, 240
point critique, 181, 207
ponctuelle, 145
primitive, 243
principe de superposition, 215
problme de Cauchy, 213
produit scalaire, 172
produit scalaire, 86