J'ai vu récemment sur le net un beau problème que je soumets à votre sagacité :
Soit une fonction (réels), telle que , et soit une fonction continue.
Montrer que si la fonction est croissante alors
-----
04/10/2007, 10h23
#2
invite35452583
Date d'inscription
janvier 1970
Messages
2 523
Re : Beau problème d'analyse
Joli en effet :
Cliquez pour afficher
ésumé :
1) f n'a que des "sauts" comme points de discontuité
2) ces sauts sont toujours positifs
3) f ne devient donc "défininitivement" inférieures à une valeur que continuement
1) on montre que f n'a que des points de discontinuité du 1er type : fd(x) et fg(x) existent pour tout x intérieur, sur les bords le seul qui peut être défini existe.
En effet :
pour les points autres que 0, f+g est croissante donc pour y tendant vers x en croissant (y<x) (f+g)(y) est croissant donc cela admet une borne supérieure et existe. Or g est continue donc gg(x) existe et vaut g(x). Et comme f=(f+g)-g f admet aussi une limite pour y->x, y<x, et fg(x)=(f+g)g(x)-gg(x).
Il en est de même pour les limites à droite pour les points autres que 1.
2) En tout point x intérieur on a fd(x)<=f(x)<=fg(x), aux points 0 et 1 l'inégalité entre les deux quantités définies est vraie.
En effet, pour y<x<y' ona par croissance f+g :
(f+g)(y')<=(f+g)(x)<=(f+g)(y) en prenant les limites
(f+g)g(x) <= (f+g)(x) <= (f+g)d(x) d'où
fg(x)+g(x) <= f(x)+g(x) <= fd(x)+g(x) et en retranchant g(x)
fg(x) <= f(x) <= fd(x)
3) f atteint toutes les valeurs comprises entre f(0) et f(1)
En effet :
Pour f(0) et f(1) c'est clair
soit m strictement comprise entre f(1) et f(0), l'ensemble Xm={x dans [0,1], tel que f(x)>m} n'est pas vide car contient au moins 0. Il admet donc une borne supérieure xm.
On a pour ce xm et y, y' tels que y<xm<y' on a par définition de Xm et de xm :
f(y)>m>=f(y')* d'où fg(x)>=m>=fd(x).
Or d'après 2) on a fg(x)<=fd(x) donc fd(x)=fg(x), et toujours d'après 2), =f(x).
Comme m est entre ces deux limites on a m=fd(x)=fg(x)=f(x). CQFD
* :
remarque 1 : on ne peut encore rien dire sur f(xm) car on ne sait pas si xm est dans Xm ou non.
remarque 2 : si xm=1 on peut remplacer y' par xm car par hypothèse m>f(1) (dans ce cas on sait) ce qui finit la preuve.
04/10/2007, 10h42
#3
invite35452583
Date d'inscription
janvier 1970
Messages
2 523
Re : Beau problème d'analyse
Corrections de quelques imprécisions :
Cliquez pour afficher
Pour la point 3 :
y<=xm<=y' implique bien que f(y')<=m mais pas que f(y)>=m pour tous les y. Mais on remplace par une suite ym de réels convergeant vers xm en croissant existe par définition d'une borne supérieure tantq ue xm<0; (Je me disais bien que c'était bizzare que ce point ne soit pas un cas particulier).
Pour xm=0, on a f(xm)>m qui permet de résoudre ce cas également.