Sommes de Darboux
Soit f une fonction bornée
sur . On
considère une subdivision s de
qu’on note :
.
On pose pour .
Définitions. On appelle
|
Dans les démonstrations on omettra
et f
dans les notations concernant les sommes de Darboux, et on notera S
l’ensemble des subdivisions de
.
Propriétés des sommes de Darboux
Proposition 1. Quelle que soit la subdivision s Î S , on a :
|
Démonstration immédiate.
Proposition 2. Si s est une subdivision plus fine que s ’(s ’ Ì s ) alors :
|
Preuve : on passe de s ’ à s en ajoutant un nombre fini N de points, c’est à dire par N opérations qui consistent chacune à ajouter un point (Détails).
Proposition 3. Si s
et s ’sont deux subdivisions quelconques
de
|
Preuve : on a, d’après la proposition 2
.
Définition : L’ensemble non vide L’ensemble non vide
|
Groupe MMM Maths L'UTES Université Pierre et Marie Curie (Paris 6)