« Intégration de Riemann/Intégrale de Riemann » : différence entre les versions

Contenu supprimé Contenu ajouté
Orodoth (discussion | contributions)
Orodoth (discussion | contributions)
Ligne 61 :
 
{{Définition
| titre = Définition : Fonctionfonction continue par morceaux
| contenu =
Une fonction <math>f : [a;b] \to \R</math> est dite '''continue par morceaux''' si, et seulement si, il existe une subdivision <math>a = a_1 < a_2 < \cdots < a_n = b \;\;(n \in \mathbb N)</math> de <math>[a;b]</math> telle que <math>f</math> soit continue sur chaque intervalle <math>]a_i;a_{i+1}[</math> et <math>f</math> admet une limite à gauche en <math>a_{i+1}</math> et une limite à droite en <math>a_i \, \forall i \in [1;n]\cap \mathbb N</math> .
}}
 
'''Notation :''' Onon notera <math>\mathcal {CM}([a;b])</math> l'ensemble des fonctions continues par morceaux sur <math>[a;b]</math> .<br />
 
{{Propriété
| titre = Propriété : Approximationapproximation d'une fonction continue par morceaux par une fonction en escalier
| contenu =
Soit <math>f\in \mathcal {CM}([a;b])</math> .<br />
Ligne 88 :
 
{{Définition
| titre = Définition : Fonctionfonction intégrable au sens de Riemann
| contenu =
On note :
Ligne 103 :
}}
 
<u>Remarque :</u> Lala variable d'intégration est "muette" : cela signifie que <br />
<center><math>\int_a^b f(x) \mathrm{d}x = \int_a^b f(t) \mathrm{d}t =\int_a^b f(u) \mathrm{d}u</math>.</center>
 
Ligne 119 :
<center><math>\inf \mathcal I^+ = \sup \mathcal I^-</math></center><br /> ce qui achève la démonstration.}}
 
<u>Remarque :</u> En fait, l'ensemble des fonctions Riemann-intégrables est plus vaste que l'ensemble des fonctions continues par morceaux et on ne peut le décrire précisément.<br /> Par exemple , la fonction <math>f : x \mapsto \begin{cases} 0, & \text{si } x \in \R-\mathbb Q \\ \frac{1}{q}, & \text{si } x = \frac{p}{q} \mathrm {\;avec\;}p\mathrm{\;et\;}q \mathrm{\;premiers \;entre \;eux} \end{cases}</math> est Riemann-intégrable sur <math>\R</math> , alors que la fonction <math>g : x \mapsto \begin{cases} 0, & \text{si } x \in \R-\mathbb Q \\ 1, & \text{si } x \in \mathbb Q \end{cases}</math> n'est pas Riemann-intégrable.
 
<noinclude>{{Bas de page