En
Mathématiques, une
fonction réglée est une application
réelle qui est
limite uniforme d'une
Suite de
Fonction en escalier.
Approche intuitive et positionnement du problème
Un enjeu majeur des
Mathématiques est la mesure d'une
aire. Commençons par le cas du plan réel. Soit a et b deux
nombres réels tels que
a<b soit une fonction fdéfinie sur l'intervalle
. On définit l'intégrale de f sur l'intervalle
comme l'aire limitée par les droites d'équation
y = a,
y = b, par l'axe des abscisses et par le
Graphe de la fonction f. L'aire est mesurée négativement là où f est négative et positivement sinon. Si Sest la mesure de cette aire, on utilisera la notation suivante:
On parlera alors de l'intégrale de la fonction fsur l'intervalle est égal à S . L'enjeu est alors de définir l'intégrale sur un ensemble de fonctions le plus vaste possible.
Il existe un ensemble de fonctions pour lequel l'intégrale se définit simplement, ce sont les fonctions en escalier. L'article sur l'Intégrale de Riemann indique de manière rigoureuse comment ces fonctions ainsi que leurs intégrales sont définies.
Pour prolonger la définition de l'intégrale à un espace plus vaste, il existe une méthode un peu différente de celle de Riemann et qui dérive de la Topologie. Cette méthode consiste à considérer l'adhérence de l'ensemble des fonctions en escalier pour la norme de la Convergence uniforme.
Définition
Soit E un
Espace de Banach et soit a et b deux nombres réels tels que
a<b. Soit
E l'ensemble des fonctions en escaliers de
dans E. L'ensemble
E est un sous-ensemble de
F(,E), l'ensemble des applications de
à valeurs dans E, muni de la norme de la
norme infinie @• @ ∞ . L' adhérence
de ce sous-ensemble est appelé ensemble des fonctions réglées de
dans E.
Propriétés
- est un R- sous-espace vectoriel de F(,E)
overline {E n</div><div style = "clear : both;"> n</div> est non vide car il contient la fonction constante 0.
Soit f et g deux éléments de et soit λ un réel quelconque. Il nous suffit de montrer que . Il nous suffit pour cela de montrer qu'il existe une fonction en escalier arbitrairement proche de λ f+g.
Soit ε un réel strictement positif et arbitrairement proche de 0. Soit M un réel vérifiant M>1 et M>| λ |. Comme f (resp. g) sont des fonctions réglées, il existe une fonction en escalier f e (resp. g e ) tel que:
| @f e - f @ ∞ < | ε
–––
2M | et @g e - g @ ∞ < | ε
––
2 |
donc
| @( λ f + g ) - ( λ f e + g e )@ ∞ ≤ | λ | @f - f e @ ∞ + @g - g e @ ∞ < | ε
––
2 | + | ε
––
2 | = ε |
Nous avons donc démontré qu'il existe une fonction en escalier λ f e +g e arbitrairement proche de la fonction λ f+g, ce qui démontre la proposition.}}
- La Forme linéaire intégrale définie sur E se prolonge par continuité sur .
Pour cela démontrons la continuité de la fonction intégrale sur l'ensemble des fonctions en escalier. Pour montrer qu'une forme linéaire est continue, il faut et il suffit de montrer que l'image de la boule unité (c'est-à-dire les fonctions de norme inférieures ou égales à 1) par l'intégrale est bornée. Soit f une fonction de la boule unité. Dire que f est élément de la boule unité, c'est dire que:
∀ x ∈, n</div><div style = "clear : both;"> n</div> n n* Le sous-ensemble des fonctions continues de <math>F(,E) est inclus dans .
C'est essentiellement une conséquence du
Théorème de Heine. Soit f une fonction continue sur
, alors le théorème de Heine nous indique qu'elle est uniformément continue. Si l'on reprend la définition de la
Continuité uniforme, on obtient:
∀ ε > 0 , ∃ η > 0, ∀ x,y ∈, n</div><div style = "clear : both;"> n</div> n<br><h 2>Intérêt des fonctions réglées</h2> n nLa notion de fonctions réglées permet de construire de manière élégante une théorie de l 'intégrale un peu moins générale que l 'Intégrale de Riemann. Deux théorèmes puissants sur les fonctions uniformément continues : celui de Heine et celui du prolongement, ont permis de définir l 'intégrale. n nEnfin presque, une analyse attentive montre que la construction classique plus laborieuse permet néanmoins d 'intégrer une classe de fonctions plus vastes. Ainsi la fonction <math>f définie sur par si n est un entier strictement positif et 0 sinon, n'est pas une fonction réglée mais elle est intégrable au sens de Riemann.
On peut légitimement se demander si l'intégrale de fonctions étranges comme celle citée correspond à un besoin pertinent. La réponse est clairement oui. De manière générale, est-il possible de prolonger par continuité des intégrales qui ne se définissent que sur un espace restreint de fonctions. Hélas, le monde des fonctions réglées est par trop limité et si une suite f n de fonctions réglées converge dans un sens plus restreint que la convergence uniforme alors la limite n'est pas toujours une fonction réglée. En fait, même l'espace des fonctions intégrables au sens de Riemann est bien trop petit pour que ce type de méthode soit fructueuse. C'est donc une autre approche, celle de l'Intégrale de Lebesgue qui permet de généraliser convenablement l'espace des fonctions intégrables. Comme ce type d'approche est depuis le XXe siècle une des méthodes les plus productives, c'est l'Intégrale de Lebesgue qui est très généralement utilisée par les mathématiciens.
Il existe néanmoins un cas ou l'on doit se contenter de la construction de l'intégrale par les fonctions réglées. C'est le cas ou l'espace d'arrivée est trop complexe pour utiliser les méthodes de Riemann ou Lebesgue. Ces deux méthodes supposent en effet que l'espace d'arrivée soit ordonné. Dans le cas général ou l'espace d'arrivée est un espaces de Banach un peu complexe, alors seule l'approche par les fonctions réglées reste opérationnelle.