Fonction réglée

Fonction réglée

En mathématiques, une fonction réglée est une fonction qui est la limite uniforme d'une suite de fonctions en escalier.

Sommaire

Origine de la notion

Un enjeu important dans le développement des mathématiques a été la mesure des aires et des volumes. La méthode d'exhaustion d'Archimède consistait, par des constructions géométriques, à fournir des encadrements de l'aire ou du volume recherché. Exactement dans le même esprit, pour le calcul général de l'aire S délimitée dans le plan de coordonnées cartésiennes x et y, par l'axe des x, le graphe d'une fonction y = f(x), et les droites verticales x = a et x = b, et dont la valeur sera notée:

S=\int_a^b f(x)\mathrm{d}x\;,

l'idée de l'Intégrale de Riemann est de positionner des rectangles verticaux avec leurs bords supérieurs soit en dessous du graphe, soit au-dessus, pour obtenir des estimations par en dessous et par au-dessus de S. Si l'écart entre les estimations en excès et par défaut peut être rendu arbitrairement petit, alors on dit que la fonction f est intégrable au sens de Riemann. Et c'est seulement à ce moment-là que notre aire prend un sens précis, car jusqu'à présent elle n'était invoquée que comme une notion intuitive en attente de formalisation. Que cette formalisation soit loin d'être une trivialité se traduit déjà par le fait qu'elle nécessite avant toute chose d'avoir construit les nombres réels et compris ce qui se rattache aux concepts de suites et de limites.

Les fonctions dont les graphes sont justement les bords supérieurs de rectangles, à un nombre fini de points près dont l'existence ne change pas l'aire, sont les fonctions en escalier. Elles forment donc une première classe de fonctions pour lesquelles l'aire est définie.

D'après la description heuristique donnée plus haut, il semble clair que si l'on peut arbitrairement bien approcher une fonction f par des fonctions intégrables gn, alors f est intégrable. Autrement dit la classe des fonctions intégrables au sens de Riemann est stable par limite uniforme. Il est donc très naturel de s'intéresser aux fonctions qui s'obtiennent à partir des fonctions en escalier par des limites uniformes. Ce sont là précisément les fonctions dites réglées.

Fonctions à valeurs dans un Banach

Plus généralement: soit E un espace de Banach et soit a < b deux nombres réels. Soit \mathcal{E} l'ensemble des fonctions en escalier de \left[ a, b \right] dans E. L'ensemble \mathcal{E} est un sous-ensemble de \mathcal{F}(\left[ a, b \right],E), l'ensemble des applications de [a,b] à valeurs dans E, que l'on munit de la norme de la convergence uniforme ||\cdot||_{\infty} (les éléments f de \mathcal{F} n'ont pas tous \|f\|_\infty<\infty, bien sûr). Une fonction de \left[ a, b \right] dans E est dite réglée si elle appartient à l' adhérence \overline {\mathcal{E}} du sous-ensemble des fonctions en escalier.

Propriétés

Démonstration

\overline {\mathcal{E}} est non vide car il contient la fonction constante 0.

Soit f et g deux éléments de \overline {\mathcal{E}} et soit λ un réel quelconque. Il nous suffit de montrer que \lambda f+g\in\overline {\mathcal{E}}. 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 fe (resp. ge) tel que:

||f_e - f ||_\infty \leq \frac {\varepsilon } {2M} \quad \mathrm{et} \quad ||g_e - g ||_\infty \leq \frac {\varepsilon } {2} \;

donc

||(\lambda f + g ) - (\lambda f_e + g_e)||_\infty \le |\lambda | ||f - f_e||_\infty + ||g - g_e ||_\infty \leq \frac {\varepsilon } {2} + \frac {\varepsilon } {2} = \varepsilon

Nous avons donc démontré qu'il existe une fonction en escalier λfe + ge arbitrairement proche de la fonction λf + g, ce qui démontre la proposition.

  • Il existe une unique application linéaire U\mapsto L(U) sur \mathcal{E} à valeurs dans E telle que L(U) = (d − c)u lorsque U(x) = u pour c < x < d et U(x) = 0 lorsque x < c ou x > d, a\leq c \leq d \leq b. On appelle L l'intégrale et on la note L(U) = \int_a^b U(x)\,dx.
Démonstration

On dit qu'une subdivision a=x_0 \leq x_1 \leq \dots \leq x_n = b est adaptée à U si U est constante sur chaque ]xi − 1,xi[. La quantité

L(U) = ∑ (xi − xi − 1)U(ξi),
i

où la somme ne porte que sur les indices i avec xi − xi − 1 > 0 et \xi_i\in \;]x_{i-1}, x_i[ ne dépend pas des choix faits. En effet il est facile de voir qu'elle ne change pas si on rajoute un nouveau point à la subdivision. Si donc deux subdivisions toutes deux adaptées à U sont données, les deux sommes sont identiques à celle donnée par l'union des deux subdivisions. À nouveau on prenant une subdivision suffisamment fine pour être adaptée aux deux fonctions en escalier U et V, il est immédiat que L(λU + μV) = λL(U) + μL(V), pour tous scalaires λ,μ. Ainsi L est une application linéaire sur \mathcal{E} à valeurs dans E.

Démonstration

Comme dans la démonstration précédente

L(U) = ∑ (xi − xi − 1)U(ξi)
i

et donc \|L(U)\| \leq \sum_i (x_i - x_{i-1})\|U(\xi_i)\| = \int_{a}^{b} ||U(x)|| \,dx \le |b - a|\|U\|_\infty. Donc L est Lipschitzienne, et par conséquent uniformément continue sur \mathcal {E}. Toute fonction uniformément continue sur une partie d'un espace métrique et à valeurs dans un espace complet se prolonge de manière unique par continuité à son adhérence. Comme L est linéaire son prolongement le sera aussi.

  • Si f:[a,b]\to E est réglée alors \|f\|:[a,b]\to \R l'est aussi et \|\int_a^b f(x)\,dx\| \leq \int_a^b \|f(x)\|\,dx.
Démonstration

Si U:[a,b]\to E est une fonction en escalier, alors \|U\|, à valeurs dans \R l'est aussi. Et par les propriétés de la norme pour les sommes finies, \|\int_a^b U(x)\,dx\| \leq \int_a^b \|U(x)\|\,dx. Si f est réglée, et si on prend pour chaque entier n une fonction en escalier Un avec \|f - U_n\|_\infty \leq 1/n, alors, compte tenu du fait que l'application u\mapsto \|u\| est continue, de \int_a^b f(x)\,dx = \lim \int_a^b U_n(x)\,dx on déduit \| \int_a^b f(x)\,dx \| = \lim \|\int_a^b U_n(x)\,dx\|. Par ailleurs pour tout x on a \left| \| f(x)\| - \|U_n(x)\|\right| \leq \| f(x) - U_n(x)\| \leq \|f - U_n\|_\infty \leq 1/n donc il y a convergence uniforme sur [a,b] des fonctions en escalier \|U_n\| vers la fonction \|f\| (qui est donc réglée), et \int_a^b \|f(x)\|\,dx = \lim \int_a^b \|U_n(x)\|\,dx. Combinant tout cela il vient \|\int_a^b f(x)\,dx\| \leq \int_a^b \|f(x)\|\,dx.

Démonstration

On va utiliser le théorème de Heine. Soit f une fonction continue sur \left[ a, b \right], 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:

\forall \varepsilon > 0 ,\ \exists \eta > 0,\ \forall x,y\in [a, b],\ |x - y| \leq \eta \Rightarrow ||f(x) - f(y)|| \leq \varepsilon

Cette valeur η > 0 va nous permettre de construire une fonction en escalier proche de f au sens de la norme de la convergence uniforme.

Soit (xi), i \in \{ 0 ,\ldots, n\}, une subdivision de [a,b] (a=x_0 < x_1 < \dots < x_n = b) telle que \forall \ i\ |x_{i}-x_{i-1}| \leq \eta . Soit alors U définie par:

\forall i \ \forall x \in [ x_{i-1},x_i[,\ U(x) = f(x_{i-1})\ \mathrm{et}\ U(b) = f(b)

Par construction \|f - U\|_\infty\leq \varepsilon. Ce qui montre la proposition.

Intérêt des fonctions réglées

Leur intérêt principal a été montré dans la section précédente, pour des fonctions à valeurs dans un espace de Banach E, puisque l'on a pu définir une notion d'intégrale, d'abord pour les fonctions en escalier (l'intégrale est une somme finie), puis pour leurs limites uniformes f = \lim f_n. Ces limites uniformes de fonctions en escalier sont les fonctions réglées, et parmi elles se trouvent les fonctions continues à valeurs dans E.

Il n'est pas toujours possible d'imiter pour les fonctions à valeurs dans E ce que l'Intégrale de Riemann fait pour les fonctions à valeurs réelles (ou complexes), puisque pour cela il faudrait pouvoir parler de sommes supérieures et de sommes inférieures.

Par contre, pour les fonctions réelles (ou complexes), déjà l'Intégrale de Riemann intègre plus de fonctions que les seules fonctions réglées, et avec l'Intégrale de Lebesgue ou celle de l'intégrale de Kurzweil-Henstock, on va encore plus loin.

Caractérisation des fonctions réglées

On prouve qu'une fonction f sur [a,b] à valeurs dans un espace de Banach est réglée si et seulement si elle admet en tout point une limite à droite et aussi une limite à gauche (on retrouve que toute fonction continue est réglée, et on voit de plus, pour les fonctions réelles, que toute fonction monotone est réglée, ce qui peut se vérifier élémentairement). Il en résulte que l'intégrale indéfinie \int_a^x f(t)\,dt d'une fonction réglée admet en tout point une dérivée à droite et une dérivée à gauche.

Pour les fonctions réelles ou complexes réglées, on peut de plus affirmer que la limite à droite et celle à gauche coïncident en presque (au sens de la théorie de la mesure) tous les points, puisque toute fonction réglée est Riemann intégrable, et que toute fonction Riemann intégrable est presque partout continue.

Comme exemple d'une fonction non réglée, prenons f définie sur ]0,1] par f(x) = \sin(\tfrac1x) et f(0) = 0. Cette fonction n'est pas réglée: elle n'admet pas de limite à droite en zéro. Mais elle est intégrable au sens de Riemann.


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Fonction réglée de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Fonction Réglée — En mathématiques, une fonction réglée est une application réelle qui est limite uniforme d une suite de fonction en escalier. Sommaire 1 Approche intuitive et positionnement du problème 2 Définition …   Wikipédia en Français

  • Fonction reglee — Fonction réglée En mathématiques, une fonction réglée est une application réelle qui est limite uniforme d une suite de fonction en escalier. Sommaire 1 Approche intuitive et positionnement du problème 2 Définition …   Wikipédia en Français

  • Fonction reglée — Fonction réglée En mathématiques, une fonction réglée est une application réelle qui est limite uniforme d une suite de fonction en escalier. Sommaire 1 Approche intuitive et positionnement du problème 2 Définition …   Wikipédia en Français

  • Fonction de Thomae — Graphe de la fonction de Thomae sur [0,1] En mathématiques, la fonction de Thomae est une variante de la fonction de Dirichlet. Elle a été définie en 1875 par le mathématicien Carl Johannes Thomae  …   Wikipédia en Français

  • Surface réglée standard — En mathématiques, et plus précisément en géométrie algébrique, une surface réglée standard est une variété algébrique, qui propose un modèle simple de surface réglée. On obtient ainsi une classification de toutes les surfaces réglées à… …   Wikipédia en Français

  • Grandeur réglée — Automatique L automatique fait partie des sciences de l ingénieur. Cette discipline traite de la modélisation, de l analyse, de la commande et, de la régulation des systèmes dynamiques. Elle a pour fondements théoriques les mathématiques, la… …   Wikipédia en Français

  • CALCUL INFINITÉSIMAL - Calcul à une variable — Créée au XVIIe siècle par Newton, Leibniz et leurs prédécesseurs immédiats, transformée au XVIIIe, par Euler, en un prodigieux instrument de calcul, débarrassée, sous la Restauration, de sa métaphysique par le baron Cauchy, l’analyse… …   Encyclopédie Universelle

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • SÉRIES ET PRODUITS INFINIS — La notion de limite d’une suite est à la base de l’analyse. Le langage des séries, équivalent à celui des suites, s’est imposé dès le XVIIe siècle à propos du développement des fonctions en série entière. Cependant, les fondements rigoureux de la …   Encyclopédie Universelle

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”