Intégrales d’une fonction continue sur un segment : Construction M
Construction des intégrales
On commence d’abord par définir l’intégrale d’une fonction en escalier, puis on étend cette
définition au fonctions continues par un théorème d’approximation.
1 Fonctions en escaliers
1.1 Subdivision d’un segment
Définition 1
a) Une subdivision du segment [a, b], est une famille σ = (ai )0≤i≤n d’éléments de
[a, b] tels que n ∈ N∗ et a0 = a < a1 < · · · < an = b.
b) Le réel δ(σ) = max |ai+1 − ai | s’appelle le pas de subdivision σ.
0≤i≤n
a b
...
a0 a1 a2 an−1 an x
−→ Exemples :
b−a
1. Si ∀k ∈ J1, nK, ak = a + k · alors σ = (ak )0≤k≤n est dite une subdivision à pas
n
b−a
constant ou aussi une subdivision régulière de [a, b]. Le pas est δ(σ) = car
n
∀k ∈ J0, n − 1K, ak+1 − ak = b−a
n .
2. En particulier pour a = 0 et b = 1, σ = (k/n)0≤k≤n est la subdivision régulière de
[0, 1] de pas δ(σ) = 1/n.
1.2 Fonctions en escaliers
Définition 2
Une fonction φ : [a, b] → R est dite en escalier s’il existe une subdivision σ =
(ak )0≤k≤n de [a, b] tel que :
∀k ∈ J0, n − 1K, ∃ck ∈ R tel que φ|[ak ,ak+1 [ = ck .
On note par E([a, b], R) ou tout simplement E l’ensemble des fonctions en escaliers
sur [a, b].
EL BARKANY MOHAMMED 1 [Link]
Intégrales d’une fonction continue sur un segment : Construction M
Définition 3
Soit σ ′ = (bk )0≤k≤m une subdivision de [a, b] et φ ∈ E. On dit que σ ′ est adaptée à
φ si ∀k ∈ J0, m − 1K, ∃dk ∈ R tel que φ|[bk ,bk+1 [ = dk .
1.3 Intégrales des fonctions en escaliers
Proposition et définition
Soit φ ∈ E([a, b]) et σ = (ak )1⩽k⩽n une subdivision adaptée, et ck = φ|[ak ,ak+1 [ . Alors
n−1
X
le réel I = ck (ak+1 − ak ) est indépendant du choix de σ et on l’appelle intégrale
k=1
Z b Z b
de φ sur [a, b] et on le note φ(t)dt ou φ.
a a
EL BARKANY MOHAMMED 2 [Link]
Intégrales d’une fonction continue sur un segment : Construction M
L’intégrale est en effet la somme des aires de ces rectangles avec "signe".
De cette définition découlent toutes les propriétés sur les intégrales vues en cours : Chasles,
linéarité, positivité (l’intégrale d’une fonction positive est ⩾ 0.
2 Intégrales des fonctions continues
2.1 Approximation
Théorème
Soit f continue de [a, b] vers R. Alors ∃(φn ) ∈ (E([a, b]))N une suite de fonctions en
escaliers sur [a, b], telle que :
lim max |φn (x) − f (x)| = 0
n→+∞ x∈[a,b]
2.2 Extension de la fonction intégrale
Définition et proposition
Soit f continue de [a, b] vers R et (φn ) une suite de fonction en escalier qui vérifie le
Z b
théorème précédant. Alors le réel If = lim φn (t)dt existe et ne dépend que de
n→+∞ a
f c’est-à-dire indépendant du choix de la suite (φn ) et s’appelle l’intégrale de f sur
Z b Z b
[a, b] et se note f ou f (t)dt
a a
Il y a d’autres façons, sur le net, de définir l’intégrale mais je vois que c’est la manière
la plus simple.
EL BARKANY MOHAMMED 3 [Link]