Professional Documents
Culture Documents
ANALYSE MP
Cours, mthodes et exercices corrigs
Jean-Marie Monier
Professeur en classe de Spciales
au lyce La Martinire-Montplaisir Lyon
5e dition
*4#/
Cours
CHAPITRE 1
1.1
1.1.1
1.1.2
1.1.3
1.1.4
1.1.5
1.1.6
1.1.7
1.1.8
1.1.9
1.2
1.3
1.4
4
11
13
14
15
19
26
29
31
Limites, continuit
39
1.2.1
1.2.2
1.2.3
1.2.4
1.2.5
39
42
49
49
52
Limites
Continuit
Continuit uniforme
Applications lipschitziennes
Applications linaires continues
Compacit
58
1.3.1
1.3.2
58
62
Gnralits
Cas de la dimension finie
Compltude
66
1.4.1
1.4.2
1.4.3
66
68
71
Suites de Cauchy
Parties compltes
Supplment : thorme du point fixe
1.5
72
1.6
Espaces prhilbertiens
76
1.6.1
1.6.2
1.6.3
1.6.4
1.6.5
76
79
83
88
Produit scalaire
Ingalits, normes euclidiennes
Orthogonalit
Procd dorthogonalisation de Schmidt
Projection orthogonale sur un sous-espace vectoriel
de dimension finie
1.6.6 Norme dun endomorphisme dun espace euclidien
Problmes
90
95
98
V
CHAPITRE 2
2.1
Gnralits
2.1.1
2.1.2
2.1.3
2.1.4
2.1.5
2.1.6
2.2
2.3
2.4
CHAPITRE 3
3.1
3.2
VI
Structure de E X
Parit
Priodicit
Applications bornes
Limites
Continuit par morceaux
99
100
100
101
102
103
105
106
Drivation
109
2.2.1
2.2.2
2.2.3
2.2.4
2.2.5
2.2.6
2.2.7
109
110
112
115
116
120
121
Drive en un point
Proprits algbriques des applications drivables en un point
Application drive
Drives successives
Classe dune application
Diffrentielle
Drivation des fonctions valeurs matricielles
122
2.3.1
2.3.2
2.3.3
122
124
129
135
136
139
142
143
145
146
Comparaison locale
148
148
150
151
152
153
154
3.1.1
3.1.2
3.1.3
154
156
158
Dfinition
Proprits algbriques
Intgrabilit sur un intervalle semi-ouvert
127
165
3.2.1
3.2.2
3.2.3
165
167
173
Gnralits
Proprits
Intgrabilit sur un intervalle semi-ouvert ou ouvert
3.3
182
183
3.4
Intgrales impropres
184
3.5
189
3.5.1
3.5.2
3.5.3
189
192
200
3.6
CHAPITRE 4
4.1
4.2
4.3
CHAPITRE 5
5.1
Continuit
Drivation
La fonction dEuler
Intgrales doubles
206
206
207
212
217
Sries
219
220
4.1.1
4.1.2
220
223
Gnralits
Structure algbrique de lensemble des sries convergentes
225
4.2.1
4.2.2
4.2.3
4.2.4
226
226
227
230
Lemme fondamental
Thormes de comparaison
Sries de Riemann
Srie gomtrique
242
242
244
247
248
250
252
255
262
269
275
283
287
Suites dapplications
288
5.1.1
5.1.2
5.1.3
5.1.4
5.1.5
5.1.6
288
292
293
296
299
Convergences
Convergence uniforme et limite
Convergence uniforme et continuit
Convergence uniforme et intgration sur un segment
Convergence uniforme et drivation
Convergence dune suite dapplications
et intgration sur un intervalle quelconque
301
VII
5.2
5.3
CHAPITRE 6
6.1
6.2
307
307
312
Sries dapplications
314
5.3.1
5.3.2
5.3.3
5.3.4
5.3.5
5.3.6
Convergences
Convergence uniforme et limite
Convergence uniforme et continuit
Convergence uniforme et intgration sur un segment
Convergence uniforme et drivation
Convergence dune srie dapplications
et intgration sur un intervalle quelconque
Problmes
314
325
326
330
334
Sries entires
351
Rayon de convergence
352
6.1.1
6.1.2
6.1.3
6.1.4
352
352
355
356
341
345
367
6.2.1
6.2.2
6.2.3
367
368
369
Structure vectorielle
Drivation
Produit de deux sries entires
6.3
Convergence
371
6.4
372
6.5
376
6.5.1
6.5.2
6.5.3
376
378
381
6.6
CHAPITRE 7
7.1
Gnralits
Oprations sur les fonctions dveloppables en srie entire
DSE(0) usuels
395
395
398
399
402
Sries de Fourier
403
Gnralits
404
7.1.1
7.1.2
7.1.3
VIII
307
Ensemble CMT
Coefficients de Fourier dun lment de CMT
Srie de Fourier dun lment de CMT
404
405
409
7.2
Structure prhilbertienne
7.2.1
7.2.2
7.2.3
7.3
7.4
CHAPITRE 8
8.1
8.3
419
7.3.1
7.3.2
419
420
423
Problmes
428
quations diffrentielles
431
Gnralits
432
8.1.1
8.1.2
432
9.1
Dfinitions
Remplacement thorique dune quation diffrentielle
dordre n par une quation diffrentielle dordre 1
quations diffrentielles autonomes
433
433
Le thorme de Cauchy-Lipschitz
435
8.2.1
8.2.2
435
440
Thorie
Exemples dutilisation du thorme de Cauchy-Lipschitz
450
8.3.1
8.3.2
451
8.3.7
CHAPITRE 9
Convergence normale
Le thorme de Dirichlet
Exemples
8.3.3
8.3.4
8.3.5
8.3.6
8.4
412
414
415
Convergence ponctuelle
8.1.3
8.2
Espace prhilbertien DT
Famille orthonormale (en )nZ
Le thorme de Parseval
412
Gnralits
Existence et unicit dune solution du problme de Cauchy
sur tout lintervalle I
Structures de S0 et de S
Rsolution de (E0 )
Rsolution de (E)
Systmes diffrentiels linaires du premier ordre
coefficients constants
Systmes diffrentiels autonomes linaires dordre 1,
deux inconnues, coefficients constants et sans second membre
455
456
457
458
462
473
478
8.4.1
8.4.2
8.4.3
8.4.4
8.4.5
478
480
482
485
487
Gnralits
Rsolution de (E0 )
Rsolution de (E)
Problme des raccords
Utilisation de sries entires
493
496
9.1.1
9.1.2
9.1.3
9.1.4
496
498
499
506
Dfinitions
Applications de classe C 1 sur un ouvert
Diffrentielle dune application de classe C 1
Diffrentiabilit
IX
9.1.5
9.1.6
9.1.7
9.2
9.3
509
512
515
521
9.2.1
9.2.2
9.2.3
9.2.4
9.2.5
521
522
523
527
Dfinition
Applications de classe C k sur un ouvert
Interversion des drivations
C k-diffomorphismes
Exemples de rsolution dquations aux drives partielles
dordre 2
528
533
9.3.1
9.3.2
9.3.3
9.3.4
533
534
534
540
Dfinitions
tude lordre 1
tude lordre 2
Extremums globaux
9.4
Fonctions implicites
543
9.5
Formes diffrentielles
546
9.5.1 Dfinition
9.5.2 Formes diffrentielles exactes
9.5.3 Formes diffrentielles fermes
Problme
546
546
547
552
Chapitre 1
Chapitre 2
Chapitre 3
Chapitre 4
Chapitre 5
Chapitre 6
Chapitre 7
Chapitre 8
Chapitre 9
554
777
Index alphabtique
779
574
584
618
648
701
723
738
757
Prface
Jeune lycen, j'avais, pour les manuels scolaires, une vnration quasi-religieuse. Que reprsentaient pour moi ces livres
qu'une main zle avait soigneusement recouverts en dbut d'anne ? Je ne saurais le dire avec prcision : ils contenaient, sans doute, la Vrit. A mon sens, par exemple, un thorme ne pouvait tre nonc que dans le scrupuleux respect des termes de l'ouvrage ; approximative, la restitution n'tait pas valable. L'utilisation, par les professeurs, des polycopis (rappels et complments de cours, noncs de problmes ...) n'tait pas, alors, habituelle ; je pense, aujourd'hui,
que cela tait d bien plus aux difficults de reprographie qu' un non-dsir de ces professeurs d'imprimer leur griffe
personnelle par le choix d'exercices originaux. Ils se rfraient constamment aux manuels, en suivaient fidlement la
progression, y puisaient les exercices. Je me souviens, d'ailleurs, d'avoir t troubl quand, en Terminale, mon professeur de Math., que je rvrais aussi, se permettait parfois quelques critiques l'gard d'un ouvrage qu'il nous avait pourtant conseill ! Quant aux auteurs de ces livres, ils restaient nigmatiques : qui taient ces demi-dieux dtenteurs du
Savoir ?
Plus tard, mes rapports d'tudiant avec les manuels didactiques ont, videmment, volu, mais je crois avoir, navement
sans doute, conserv cette approche faite d'envie et de respect qui m'empche, par exemple, de porter des annotations
en marge je ne jouerai pas la farce d'un Pierre de Fermat ! et cet a priori favorable qui me rendrait difficile la rdaction d'une critique objective.
Heureusement, tel n'est pas mon propos aujourd'hui ! Mais j'ai voulu, par ces quelques mots, souligner l'importance capitale mme dans le subconscient de chacun de ces livres de cours sur lesquels vous travaillez durant vos tudes et
qui vous accompagnent toute votre vie.
Aucun professeur, ft-il auteur de manuels, ne songerait conseiller un livre en remplacement d'un enseignement vivant et vcu. Mais, le cours imprim, s'il est fidle la lettre et l'esprit du programme d'une classe, peut aider, de faon
trs importante, l'tudiant consciencieux. Celui-ci, surtout lorsqu'il est dbutant, trouvera la scurit dont il a besoin dans
un plan clair, prcis, rigoureux, dans une prsentation particulirement soigne o les diverses polices de caractres sont
judicieusement alternes, dans la vision d'ensemble des questions dont traite l'ouvrage. Il y recherchera, avec la certitude de les obtenir, telle dmonstration qu'il n'a pas bien comprise, tel exemple ou contre-exemple qui l'aidera mieux
assimiler une notion, la rponse telle question qu'il n'a pas os poser sinon lui-mme...
Pour que le livre joue ce rle d'assistant certes passif mais constamment disponible il doit, je pense, tre proche des
proccupations immdiates de l'tudiant, ne pas exiger, pour sa lecture, un savoir qui n'a pas encore t acquis, ne pas
rebuter par l'expos trop frquent de notions trop dlicates ; mais il doit, cependant, contenir une substance suffisante
pour constituer les solides fondations sur lesquelles s'chafaude la pyramide du savoir scientifique.
On l'imagine, ds lors, aisment : l'criture d'un tel manuel, l'intention des tudiants des classes prparatoires ou d'un
premier cycle universitaire, demande, ct de la ncessaire comptence, des qualits pdagogiques certaines, affines
par une longue exprience professionnelle dans ces sections, une patience et une minutie rdactionnelles inoues.
Jean-Marie Monier a eu le courage de se lancer dans ce gigantesque travail et les ouvrages qu'il nous propose aujourd'hui aprs les recueils d'exercices qui ont eu le succs que l'on sait montrent qu'il a eu raison : il a, me semble-t il,
pleinement atteint le but qu'il s'tait fix, savoir rdiger des livres de cours complets l'usage de tous les tudiants
et pas seulement des polytechniciens en herbe. Les nombreux ouvrages d'approfondissement ou de spcialit seront,
videmment, lus et savours plus tard, ... par ceux qui poursuivront. Pour l'instant, il faut, l'issue de la Terminale,
assimiler compltement les nouvelles notions de base (la continuit, la convergence, le linaire...) ; le lecteur est guid,
pas pas, par une main sre qui le tient plus fermement ds qu'il y a danger : les mises en garde contre certaines erreurs
sont le fruit de l'observation rpte de celles-ci chez les lves.
A tout instant, des exercices sont proposs qui vont l'interpeller : il sera heureux de pouvoir, quelques dizaines de pages
plus loin, soit s'assurer que, par une bonne dmarche il est parvenu au bon rsultat, soit glaner une prcieuse indication pour poursuivre la recherche : le livre forme un tout, efficace et cohrent.
XI
Prface
J'ai dit quel rle majeur dans la formation d'un jeune esprit scientifique peut jouer un manuel qui lui servira de rfrence pendant longtemps. Sa conception, sa rdaction, sa prsentation sont, alors, essentielles : on ne peut que viser
la perfection !
C'est tout le sens du travail effectu par Jean-Marie Monier avec une comptence, un got, une constance admirables,
depuis le premier manuscrit jusqu'aux ultimes corrections, dans les moindres dtails, avant la version dfinitive.
Ces ouvrages qui rpondent un rel besoin aujourd'hui, seront, j'en suis persuad, apprcis par tous ceux qui ils
s'adressent par d'autres aussi sans doute ceux-l mmes qui, plus tard, diront : Ma formation mathmatique de
base, je l'ai faite sur le MONIER ! .
H. Durand
Professeur en Mathmatiques Spciales PT*
au lyce La Martinire Monplaisir Lyon
XII
Avant-propos
Ce Cours de Mathmatiques avec exercices corrigs s'adresse aux lves des classes prparatoires aux grandes coles
(2e anne MP-MP*), aux tudiants du premier cycle universitaire scientifique et aux candidats aux concours de recrutement de professeurs.
Le plan en est le suivant :
Analyse MPSI :
Algbre MPSI :
Gomtrie MPSI :
Analyse MP :
Algbre et gomtrie MP :
Cette nouvelle dition rpond aux besoins et aux proccupations des tudiant(e)s.
Une nouvelle maquette, la convivialit accrue, assure un meilleur accompagnement pdagogique. Le programme
officiel est suivi de prs ; les notions ne figurant pas au programme ne sont pas tudies dans le cours. Des exercicestypes rsolus et comments, incontournables et cependant souvent originaux, aident le lecteur franchir le passage du
cours aux exercices. Les trs nombreux exercices, progressifs et tous rsolus, se veulent encore plus accessibles et permettent au lecteur de vrifier sa bonne comprhension du cours.
Des complments situs la limite du programme sont traits, en fin de chapitre, sous forme de problmes corrigs.
J'accueillerai avec reconnaissance les critiques et suggestions que le lecteur voudra bien me faire parvenir aux bons
soins de Dunod, diteur, 5, rue Laromiguire, 75005 Paris.
Jean-Marie Monier
XIII
Le cours
r
e Monie
gbr
r Al
n ie
Le cours aborde toutes les notions du programme de faon structure afin den faciliter
la lecture.
La colonne de gauche fournit des remarques
pdagogiques qui accompagnent ltudiant
dans lassimilation du cours. Il existe quatre
types de remarques, chacun tant identifi par
un pictogramme.
om
bre G
r Alg
onier
tr ie M
om
onier
bre M
r A lg
n ie
Mo
tr i e
Gom
XIV
cet ouvrage
Les mthodes retenir
Rgulirement dans le cours,cette rubrique propose une synthse des principales mthodes
connatre.
XV
Remerciements
Je tiens ici exprimer ma gratitude aux nombreux collgues qui ont accept de rviser des parties du manuscrit ou de
la saisie: Robert AMBLARD, Bruno ARSAC, Chantal AURAY, Henri BAROZ, Alain BERNARD, Isabelle
BIGEARD, Jacques BLANC, Grard BOURGIN, Grard-Pierre BOUVIER, Grard CASSAYRE, Gilles CHAFFARD, Jean-Yves CHEVROLAT, Jean-Paul CHRISTIN, Yves COUTAREL, Catherine DONY, Hermin DURAND,
Jean FEYLER, Nicole GAILLARD, Marguerite GAUTHIER, Daniel GENOUD, Christian GIRAUD, Alain GOURET, Andr GRUZ, Andr LAFFONT, Jean-Marc LAPIERRE, Jean-Paul MARGIRIER, Annie MICHEL, Rmy
NICOLA, Michel PERNOUD, Jean REY, Ren ROY, Philippe SAUNOIS, Patrice SCHWARTZ et Grard SIBERT.
Enfin, je remercie vivement les ditions Dunod, Gisle Maus, Bruno Courtet, Michel Mounic, Nicolas Leroy et
Dominique Decobecq, dont la comptence et la persvrance ont permis la ralisation de ces volumes.
Jean-Marie Monier
XVI
Cours
Espaces vectoriels
norms
Plan
1.3 Compacit
Exercices
1.4 Compltude
Exercices
39
1.6 Espaces
prhilbertiens
48, 51, 57
58
62, 66
66
67, 71
75
Prrequis
Les nombres rels (Analyse MPSI, ch. 1)
Les nombres complexes (Analyse MPSI, ch. 2)
Suites numriques (Analyse MPSI, ch. 3)
Espaces vectoriels (Algbre MPSI, ch. 6)
Espaces vectoriels (Algbre MPSI, ch. 6)
Applications linaires (Algbre MPSI, ch. 7).
Objectifs
76
Problmes
98
Introduction
1.1 Vocabulaire
de la topologie
dun espace
vectoriel norm
Exercices
CHAPITRE
ni
Mo
er A
n ie
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
onier
bre M
r Alg
Mo
n ie
Mo
(i) : positive-homognit
(ii) : non-dgnrescence
ni
Mo
er A
n ie
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
ier
bre Mon
Alg
n ier
Mo
Mo
tr i e
Gom
(i) K, x E,
(ii) x E, (N (x) = 0 x = 0)
On rajoute quelquefois :
tr i e
Gom
On appelle espace vectoriel norm (en abrg evn) tout couple (E,N ) o E est un
Exemples :
1) Les trois normes usuelles sur Kn (dites aussi normes standard sur Kn ).
Soit n N . Considrons, pour tout x = (x1 ,. . . ,xn ) de Kn , les rels ||x||1 , ||x||2 , ||x||
dfinis par :
||x||1 =
|xk |,
||x||2 =
k=1
n
1
|xk |
k=1
1k n
Vrifions que les applications ||.||1 , ||.||2 , ||.|| : Kn R ainsi dfinies sont des
normes. Les calculs suivants sont valables pour tous x = (x1 ,. . . ,xn ),y = (y1 ,. . . ,yn )
de Kn et de K .
a) (i)
||x||1 =
|xk | = ||
k=1
(ii)
||x||1 = 0
|xk | = || ||x||1
k=1
n
k=1
(k {1,. . . ,n}, xk = 0) x = 0
4
(iii)
||x + y||1 =
|xk + yk |
k=1
n
b) (i) ||x||2 =
n
k=1
1
2
|xk |2
n
k=1
k=1
|xk | +
k=1
1
1
n
n
2
2
= ||2
|xk |2 = ||
|xk |2 = || ||x||2
k=1
(ii) ||x||2 = 0
(|xk | + |yk |) =
k=1
k=1
ni
Mo
er A
n ie
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
onier
bre M
r Alg
Mo
n ie
Mo
tr i e
Gom
ni
Mo
er A
n ie
Mo
re Monie
lgb
om
bre G
r Alg
tr ie
om
n ie
Mo
er
Moni
onier
bre M
r Alg
tr i e
Gom
n ie
Mo
om
bre G
r Alg
onier
tr ie M
om
onier
bre M
r Alg
n ie
Mo
tr i e
Gom
ni
Mo
e Monie
gbr
r Al
(iii) L'ingalit ||x + y||2 ||x||2 + ||y||2 est acquise pour K = R d'aprs l'tude des produits scalaires (cf. Algbre MPSI, 10.1.2 Th. 2). Nous allons cependant en donner une preuve lmentaire.
||x + y||2 ||x||2 + ||y||2 ||x + y||22 ||x||22 + 2||x||2 ||y||2 + ||y||22
|xk + yk |2 |xk |2 |yk |2 2||x||2 ||y||2
k=1
n
n
R
x k yk ||x||2 ||y||2
x k yk ||x||2 ||y||2
k=1
k=1
1k,l n
xk y k x l yl
|xk |2 |yl |2
1k,l n
|xk |2 |yl |2 + |xl |2 |yk |2 xk y k x l yl xl y l x k yk 0
1k<l n
|xk yl xl yk |2 0.
1k<l n
La norme ||.||2 est appele la norme euclidienne usuelle sur Rn si K = R , la norme hermitienne usuelle sur Cn si K = C .
c) (i) ||x|| = Max (|xk |) = || Max |xk | = || ||x||
1k n
1k n
= Max |xk + yk |
1k n
1k n
1k n
= ||x|| + ||y|| .
2) Pour tout n de N et tout p de [1; +[, l'application :
||.|| p :
Kn R
x = (x1 ,. . . ,xn )
n
1
|xk | p
k=1
ni
Mo
er A
n ie
Mo
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
n ie
Mo
onier
bre M
r Alg
Kn ,
tr i e
Gom
Les normes ||.||1 et ||.||2 de l'exemple 1) sont des cas particuliers de ||.|| p , p = 1, p = 2 .
Pour tout x = (x1 ,. . . ,xn ) de Kn , on a ||x|| p Max |xk | , ce qui justifie la
G
r
e Monie
gbr
r Al
n ie
Mo
om
bre G
r Alg
n ie
Mo
onier
tr ie M
om
ier
bre Mon
Alg
n ier
Mo
p 1k n
notation ||.||.
3) Soit X un ensemble non vide ; l'ensemble B(X; K) des applications bornes de X dans K
est un K -ev.
tr i e
Gom
ni
Mo
er A
ie
on
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
onier
bre M
r Alg
n ie
Mo
tr i e
Gom
ni
Mo
er A
n ie
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
onier
bre M
r Alg
Mo
n ie
Mo
tr i e
Gom
xX
(ii)
|| f || = 0 (x X, | f (x)| = 0) f = 0
(iii)
|| f + g||
xX
xX
La norme ||.|| sur B(X; K) est appele norme de la convergence uniforme car
(cf. 5.1.1) une suite ( f n )n converge uniformment vers f sur X si et seulement si :
Il existe N N tel que, pour tout n N , f n f B(X; K)
|| f n f || 0.
n
4) Soient (a,b) R2 , tel que a < b, et E = C([a; b],K) le K -ev des applications continues
de [a; b] dans K . Considrons, pour toute f de E , les rels || f ||1 , || f ||2 dfinis par :
|| f ||1 =
| f |,
|| f ||2 =
|f|
12
Vrifions que les applications ||.||1 ,||.||2 : C([a; b],K) R ainsi dfinies sont des
normes. On a, pour tous f,g de C([a; b],K) et tout de K :
b
b
| f | = ||
| f | = || || f ||1
a) (i) || f ||1 =
a
ni
Mo
er A
n ie
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
onier
bre M
r Alg
Mo
n ie
Mo
(ii) || f ||1 = 0
| f | = 0 f = 0 ,
tr i e
Gom
ni
Mo
er A
n ie
Mo
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
onier
bre M
r Alg
n ie
Mo
tr i e
Gom
|| f + g||1
| f + g|
|f|+
=
a
b) (i)
|| f ||2
(| f | + |g|)
a
| f |
12
= ||2
|f|
12
= ||
(ii) || f ||2 = 0
|f|
12
= || || f ||2
| f |2 = 0 f = 0,
er A
n ie
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
ier
bre Mon
Alg
n ier
Mo
Mo
tr i e
Gom
ni
Mo
er A
n ie
Mo
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
onier
bre M
r Alg
n ie
Mo
tr i e
Gom
(iii) L'ingalit || f + g||2 || f ||2 + ||g||2 est consquence de l'ingalit de CauchySchwarz pour les intgrales :
b 2
b
b
2
2
f
g
|
f
|
|g|
.
a
5) Plus gnralement, avec les notations de 4), pour tout p de [1,+[, l'application :
ni
Mo
n ie
Mo
r
e Monie
gbr
r Al
om
bre G
r Alg
onier
tr ie M
om
onier
bre M
r Alg
n ie
Mo
tr i e
Gom
|f|
a
ni
Mo
er A
n ie
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
ier
bre Mon
Alg
n ier
Mo
Mo
tr i e
Gom
ni
Mo
n ie
Mo
r
e Monie
gbr
r Al
om
bre G
r Alg
onier
tr ie M
om
onier
bre M
r Alg
n ie
Mo
tr i e
Gom
Pour toute f de C([a; b],K), || f || p Sup | f (x)|, ce qui justifie ici la notation || f || .
p x[a;b]
r
e Monie
gbr
r Al
n ie
Mo
om
bre G
r Alg
n ie
Mo
onier
tr ie M
om
ier
bre Mon
Alg
n ier
Mo
tr i e
Gom
La formule
Dfinition
Soit (E,||.||) un evn ; on appelle distance associe ||.||l'application d : E 2 R
dfinie par : (x,y) E 2 , d(x,y) = ||x y||.
||x|| = d(0,x)
exprime la norme laide de la distance.
x E, d(0,x) = ||x|| .
En particulier :
Proposition 1
Soient (E,||.||) un evn et d la distance associe ||.||.
On a :
ni
Mo
er A
n ie
Mo
re Monie
lgb
om
bre G
r Alg
1) : symtrie
2) : sparation
2) (x,y) E 2 , (d(x,y) = 0 x = y)
3) : ingalit triangulaire
4) : positive homognit
onier
tr ie M
om
onier
bre M
r Alg
n ie
Mo
tr i e
Gom
Preuve
1) d(y,x) = ||y x|| = || (x y)|| = ||x y|| = d(x,y)
2) d(x,y) = 0 ||x y|| = 0 x y = 0 x = y
3) d(x,z) = ||x z|| = ||(x y) + (y z)|| ||x y|| + ||y z|| = d(x,y) + d(y,z)
4) d(x,y) = ||x y|| = ||(x y)|| = || ||x y|| = ||d(x,y)
5) d(x + z,y + z) = ||(x + z) (y + z)|| = ||x y|| = d(x,y).
Remarques :
1) Soit E un ensemble ; on appelle distance sur E toute application d : E 2 R satisfaisant
les conditions 1), 2), 3) prcdentes. On appelle espace mtrique tout couple (E,d) o E est
un ensemble et d une distance sur E .
2) Si E est un K -ev et d : E 2 R une application satisfaisant les cinq conditions 1), 2), 3),
4), 5) prcdentes, alors il existe une norme et une seule ||.|| sur E telle que :
er A
n ie
re Monie
lgb
(x,y) E 2 ,
om
bre G
r Alg
onier
tr ie M
om
onier
bre M
r Alg
n ie
Mo
tr i e
Gom
3) Les proprits 3), 4), 5) peuvent tre interprtes graphiquement (pour la norme euclidienne usuelle dans R2 ) :
y
d (
, y)
Mo
d(
d (x
ni
Mo
y,
z)
x, y
x
y
d (x,
x+y
y)
x
d(x, z)
z
0
z
Proprit 3) :
ingalit triangulaire
Proprit 4) :
positive homognit
x+z
Proprit 5) :
invariance par translation
7
Proposition 2
2) d(x,y) = ||x y|| = ||(x z) (y z)|| ||x z|| ||y z|| = d(x,z) d(y,z).
Exercice 1.1.2.
3) Construction de normes
a) Norme induite sur un sous-ev
Soient (E,||.||) un evn, d la distance associe ||.||.
ni
Mo
er A
n ie
Mo
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
onier
bre M
r Alg
n ie
Mo
x
||x||
tr i e
Gom
ni
Mo
er A
n ie
Mo
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
onier
bre M
r Alg
n ie
Mo
tr i e
Gom
(x,y)
d(x,y)
n
Ek = E1 . . . En .
k=1
Les dfinitions de v1 ,2 ,
gnralisent celles de || ||1 , || ||2 ,
|| || vues sur Kn (exemple 1) p.4).La
preuve du fait que ce sont des normes est
analogue celle de lexemple 1).
n
k=1
1
n
2
2
Nk (xk ), 2 (x) =
(Nk (xk ))
, (x) = Max Nk (xk ).
k=1
k=1
1k n
Les applications 1 ,2 , sont des normes sur E, appeles normes standard sur
n
E k associes N1 ,. . . ,Nn .
k=1
4) Algbres normes
Rappels dalgbre gnrale, cf. Algbre
MPSI.
Rappelons qu'une algbre (ou K -algbre) est un K -ev A muni d'une loi interne, note ici
ou par l'absence de symbole, telle que :
x(y + z) = x y + x z
(x,y,z) A3 ,
(y
+ z)x = yx + zx
2
(ii) K, (x,y) A , (x)y = (x y) = x(y).
Si de plus est commutative (resp. associative, resp. admet un neutre), on dit que A est une K algbre commutative (resp. associative, resp. unitaire).
Dfinition
Soient A une K -algbre, N une norme sur le K -ev A.
ni
Mo
er A
n ie
Mo
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
onier
bre M
r Alg
n ie
Mo
tr i e
Gom
(x,y) A2 ,
N (x y) C N (x)N (y) ,
C R+ , (x,y) A2 ,
et lapplication
(x,y) A2 ,
N : A R dfinie par :
x A, N (x) = C N (x)
est une norme dalgbre sur A.
N (x y) C N (x)N (y).
N (x y) N (x)N (y).
On appelle K -algbre norme tout couple (A,N ) o A est une K -algbre et N une
norme d'algbre sur A.
Proposition
Pour tout ensemble non vide X, B(X; K) est une algbre norme, la troisime loi
tant la multiplication.
Preuve
On sait dj que B(X; K), || || est un evn.
ni
Mo
er A
n ie
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
ier
bre Mon
Alg
n ier
Mo
Mo
tr i e
Gom
2
( f,g) B(X,K) ,
|| f g|| || f || ||g|| .
Nous verrons plus loin ( 1.2.5 p. 53) que, si (E,|| ||) est un K -evn, alors (LC(E),||| |||) est
une K -algbre norme.
d(x,y) = N (x y),
et, pour exprimer une norme N partir distance associe d sur E, utiliser :
x E,
N (x) = d(0,x) ,
(ex. 1.1.2).
Pour tablir une ingalit faisant intervenir une norme (ex. 1.1.10), on pourra essayer dappliquer judicieusement lingalit triangulaire.
9
Exercices
1.1.1 Trouver toutes les normes sur le R -espace
vectoriel R .
1.1.2 Soient E un K -ev, d : E 2 R une application
telle que, pour tout (x,y,z) de E 3 et tout de K :
1) d(y,x) = d(x,y)
2) d(x,y) = 0 x = y
3) d(x,z) d(x,y) + d(y,z)
4) d(x,y) = ||d(x,y)
5) d(x + z,y + z) = d(x,y) .
Montrer qu'il existe une norme unique N sur E telle que :
(x,y) E 2 ,
d(x,y) = N (x y).
N (x) > 0
2) N (0) = 0
3) (x,y) E 2 , K, N (x + y) ||N (x) + N (y) .
k Nk (x).
k=1
n
1
|xk | p
k=1
et
|| f || p =
| f (t)| dt
1p
) || f + g|| p || f || p + ||g|| p .
c) En dduire que ||.|| p est une norme sur E , appele
norme de Hlder.
d) Montrer, pour tout f de E : || f || || f ||
o || f || = Sup | f (t)|.
k=0
p
Soient n N , p ]1; +[, q =
p1
1
1
(donc + = 1 ).
p
q
10
(x1 ,. . . ,xn ) Kn ,
ab
1k n
x E,
1 p 1 q
a + b .
p
q
n
On note ||.|| p : K R l'application dfinie par :
(a,b) (R+ )2 ,
a) Montrer :
p+
t[a;b]
lim f = +.
1.1.2
Boules, sphres
Soient (E,||.||) un K -evn et d la distance associe.
Dfinition
Soient a E , r R+ ; on dfinit les parties suivantes de E, appeles respectivement boule ouverte, boule ferme, de centre a et de rayon r :
B(a; r) = {x E; d(a,x) < r}
ni
Mo
er A
n ie
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
ier
bre Mon
Alg
n ier
Mo
Mo
B(a; r) = B(b; s)
ou
B (a; r) = B (b; s)
ou
S(a; r) = S(b; s)
tr i e
Gom
a=b
r =s
Ainsi, une boule ouverte (resp. boule ferme, resp. sphre) de E n'a qu'un centre et qu'un
rayon .
On peut noter B E (a; r)au lieu de B(a; r) pour viter des confusions, si plusieurs evn interviennent.
Exemples :
Dans R2 , on peut reprsenter graphiquement les boules fermes de centre O et de rayon 1
pour les trois normes usuelles :
1
B'. (0; 1)
B'. (0; 1)
B'. (0; 1)
Exercice-type rsolu
Un exemple de norme sur R2 , trac de la boule unit ferme
On considre lapplication
N : R2 R, (x,y)
N (x,y) = Sup
tR
|x + t y|
.
1 + t2
Solution
Conseils
a) Existence
Soit (x,y) R .
2
Soit t R.
Si |t| 1, alors :
|x + t y|
|x| + |t||y|
|x| + |y|
|x| + |y|.
1 + t2
1 + t2
1 + t2
Si |t| 1, alors :
|x + t y|
|x| + |t||y|
|x| + t 2 |y|
|x| + |y|.
2
2
1+t
1+t
1 + t2
|x + t y|
|x| + |y|,
1 + t2
Ceci montre :
t R,
donc l'application t
|x + t y|
est borne, d'o l'existence de N (x,y).
1 + t2
|x + ty|
|x + t y|
= || Sup
= ||N (x,y).
N (x,y) = Sup
2
2
1
+
t
tR
tR 1 + t
(ii) On a, pour tout (x,y) R2 :
N (x,y) = 0 Sup
tR
|x + t y|
|x + t y|
= 0 t R,
=0
2
1+t
1 + t2
t R, x + t y = 0 (x,y) = (0,0).
(x + x ) + t (y + y )
N (x,y) + (x ,y ) = N (x + x ,y + y ) = Sup
1 + t2
tR
|x + t y| |x + t y |
Sup
+
1 + t2
1 + t2
tR
Sup
tR
|x + t y|
|x + t y |
+ Sup
= N (x,y) + N (x ,y ).
2
1+t
1 + t2
tR
|x + t y|
|x + t y|
1 t R,
1
2
1+t
1 + t2
t R, 1 t 2 x + t y 1 + t 2
2
t + yt + (1 + x) 0
t R,
t 2 yt + (1 x) 0
12
y 2 4(1 + x) 0
(y)2 4(1 x) 0
y 2 4(x + 1)
y 2 4(x + 1).
Solution
Conseils
Les courbes
C1 : y 2 = 4(x + 1)
C2 : y 2 = 4(x + 1)
2
Trac de B'N (0; 1) (en bleu fonc)
Exercices
1.1.11 Soient (E,|| ||) un evn, (a,b) E 2 , (r,s) (R+ )2 ,
K {0}. Montrer :
1.1.12
Soient E un K -ev, N1 ,N2 deux normes sur E ,
(a; r)= B (a; r).
a E, r R+ ; on suppose B N
N2
1
1) B (a; r) + B (b; s) = B (a + b; r + s)
Montrer N1 = N2 .
1.1.3
Dfinition 1
ni
Mo
er A
n ie
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
ier
bre Mon
Alg
n ier
Mo
Mo
tr i e
Gom
M R+ , (x,y) A2 , d(x,y) M.
Proposition 1
ni
Mo
er A
n ie
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
ier
bre Mon
Alg
n ier
Mo
Mo
tr i e
Gom
Preuve
1) Supposons A borne ; il existe M R+ tel que : (x,y) A2 ,
d(x,y) M.
Remarque : Une partie A de E est borne si et seulement s'il existe une boule ferme (ou
une boule ouverte) contenant A.
Dfinition 2
Soient X un ensemble, f : X E une application ; on dit que f est borne si et
seulement si f (X) est une partie borne de E.
Ainsi : f : X E est borne si et seulement s'il existe C R+ tel que :
x X, || f (x)|| C .
Dfinition 3
ni
Mo
er A
n ie
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
ier
bre Mon
Alg
n ier
Mo
Mo
tr i e
Gom
diam(A) =
Sup d(x,y).
(x,y)A2
On peut noter, pour toute partie A non borne et non vide de E : diam (A) = +. Alors, pour
toute partie non vide A de E : A est borne si et seulement si diam (A) < +.
Proposition 2
1) Soient A,B P(E) telles que A B. Si B est borne, alors A est borne ; si,
de plus, A = , alors : diam (A) diam (B).
n
Ai est borne.
2) Soient n N ,A1 ,. . . An des parties bornes de E ; alors :
i=1
i=1
1.1.4
i=1
Voisinages
Soient (E,||.||) un K -evn, d la distance associe ||.||.
ni
Mo
er A
n ie
Mo
re Monie
lgb
om
bre G
r Alg
onier
tr ie M
om
onier
bre M
r Alg
n ie
Mo
tr i e
Gom
Dfinition 1
Soient a E , V P(E) ; on dit que V est un voisinage de a (dans E) si et seulement s'il existe r R+ tel que B(a; r) V.
On note V E (a) (ou V(a)) l'ensemble des voisinages de a (dans E).
14