Page 1  sur  3

Doute sur une équivalence

Posté : 19 déc. 2010 18:07
par Hoetre
Bonjour,

J'ai un DM à faire dont un des exercices traites le thème des expansions.

On y définit une expansion comme une application
f : R -> R continue telle que |f(x)-f(x')| > |x - x'| (pour tout réel x, x')

Et je me dis que ce serait pas mal de montrer que (f expansion dérivable <=> | f'(x) | > 1 | ) --- Si tant est que ce soit vrai... :roll:

Sens direct :
x =/= x' ==>
|f(x)-f(x')| / |x - x'| > 1
Passage à la limite (avec l'hypothèse de dérivabilité) et voilà.

Mais dans l'autre sens je bloque ;

si pour tout x' |f'(x)| > 1
alors lim |f(x)-f(x')| / |x - x'| > 1 (quand x -> x')

Mais comment "virer" la limite ?

Re: Doute sur une équivalence

Posté : 19 déc. 2010 18:24
par Silvere Gangloff
Quand tu passe à la limite, l'inégalité devient large.. L'équivalence est évidemment fausse..
Par contre l'implication retour est vraie, en utilisant le théorème des accroissements finis.

Re: Doute sur une équivalence

Posté : 19 déc. 2010 18:55
par sotwafits
Hoetre a écrit :Et je me dis que ce serait pas mal de montrer que (f expansion dérivable <=> | f'(x) | > 1 | ) --- Si tant est que ce soit vrai... :roll:
C'est aussi vrai que l'équivalence $ (f $ est strictement croissante $ \Leftrightarrow \forall x\in\mathbb{R}, f'(x)>0) $

D'ailleurs, en rajoutant l'identité à une fonction strictement croissante, on obtient une expansion : les 2 notions sont très liées

Re: Doute sur une équivalence

Posté : 19 déc. 2010 19:00
par Silvere Gangloff
sotwafits a écrit :
Hoetre a écrit :Et je me dis que ce serait pas mal de montrer que (f expansion dérivable <=> | f'(x) | > 1 | ) --- Si tant est que ce soit vrai... :roll:
C'est aussi vrai que l'équivalence $ (f $ est strictement croissante $ \Leftrightarrow \forall x\in\mathbb{R}, f'(x)>0) $

D'ailleurs, en rajoutant l'identité à une fonction strictement croissante, on obtient une expansion : les 2 notions sont très liées
Equivalence qui est fausse en fait (Un contre exemple classique : la fonction cube..)

Re: Doute sur une équivalence

Posté : 19 déc. 2010 23:27
par Philippe PATTE
Silvere Gangloff a écrit :Equivalence qui est fausse en fait (Un contre exemple classique : la fonction cube..)
C'est peut-être bien de le préciser, en effet.

Re: Doute sur une équivalence

Posté : 20 déc. 2010 14:14
par Grisha
C'est pour cela qu'il ne vaut mieux écrire que des implications!!:)

Re: Doute sur une équivalence

Posté : 20 déc. 2010 14:27
par Eliiiiiiiiite
Grisha a écrit :C'est pour cela qu'il ne vaut mieux écrire que des implications!!:)
Pour n'avoir aucun point lorsque la résolution par équivalence s'avère nécessaire, c'est la bonne méthode effectivement. A moins que tu ne résolves systématiquement tes systèmes (entre autre) par double implication ...

Re: Doute sur une équivalence

Posté : 20 déc. 2010 14:33
par Grisha
Mon message était évidemment fallacieux!

Re: Doute sur une équivalence

Posté : 21 déc. 2010 00:09
par bunte_kuh
Soit f une fonction de D dans R;
f strictement croissante sur D <=> Quel que soit x dans D, f'(x)>0 sauf peut-être en un nombre dénombrable de points.

Re: Doute sur une équivalence

Posté : 21 déc. 2010 01:19
par sotwafits
bunte_kuh a écrit :Soit f une fonction de D dans R;
f strictement croissante sur D <=> Quel que soit x dans D, f'(x)>0 sauf peut-être en un nombre dénombrable de points.
Le sens $ \Rightarrow $ est faux